Verification of protein structures: Patterns of nonbonded atomic interactions | Synapse