BMRB

NMR Restraints Grid

Result table
 (Save to zip file containing files for each block)

image mrblock_id pdb_id bmrb_id cing stage program type subtype subsubtype
555240 2ly0 RC 18706 cing 3-converted-DOCR XPLOR/CNS distance general distance ambi


 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 24   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 24   and name  HA  ))
   (  segid "   A" and resid 25   and name  HD# )
      2.650     0.850     0.850

 assi 
   (( segid "   A" and resid 25   and name  HA  ))
   (  segid "   A" and resid 28   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 25   and name  HA  ))
   (  segid "   A" and resid 28   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 26   and name  HA  ))
   (  segid "   A" and resid 26   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 26   and name  HN  ))
   (( segid "   A" and resid 26   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 26   and name  HD2#)
   (( segid "   B" and resid 28   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 27   and name  HA  ))
   (  segid "   A" and resid 27   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 27   and name  HA  ))
   (  segid "   A" and resid 27   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 27   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (  segid "   A" and resid 27   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 28   and name  HA  ))
   (  segid "   A" and resid 28   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 28   and name  HA  ))
   (  segid "   A" and resid 28   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 28   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 28   and name  HG1#)
   (( segid "   A" and resid 28   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 28   and name  HG2#)
   (( segid "   A" and resid 28   and name  HN  ))
      2.800     1.000     1.000

 assi 
   (  segid "   A" and resid 28   and name  HG2#)
   (( segid "   A" and resid 29   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 29   and name  HA  ))
   (  segid "   A" and resid 29   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 29   and name  HA  ))
   (( segid "   A" and resid 32   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 29   and name  HA  ))
   (( segid "   A" and resid 32   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 29   and name  HA  ))
   (  segid "   A" and resid 32   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (( segid "   A" and resid 28   and name  HB  ))
      2.650     0.850     0.850

 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (  segid "   A" and resid 28   and name  HG1#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (( segid "   A" and resid 29   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (  segid "   A" and resid 29   and name  HB# )
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 29   and name  HB# )
   (( segid "   A" and resid 30   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 29   and name  HB# )
   (  segid "   B" and resid 35   and name  HD1#)
      2.800     1.200     1.200

 assi 
   (( segid "   A" and resid 30   and name  HA  ))
   (  segid "   A" and resid 30   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 30   and name  HA  ))
   (( segid "   A" and resid 33   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 30   and name  HA  ))
   (  segid "   A" and resid 33   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 30   and name  HB# )
   (( segid "   B" and resid 31   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 30   and name  HN  ))
   (( segid "   A" and resid 30   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 30   and name  HN  ))
   (  segid "   A" and resid 30   and name  HB# )
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 30   and name  HB# )
   (( segid "   A" and resid 31   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 30   and name  HB# )
   (  segid "   A" and resid 33   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (( segid "   A" and resid 32   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (  segid "   A" and resid 32   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (( segid "   A" and resid 35   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (  segid "   A" and resid 35   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 32   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 32   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (  segid "   A" and resid 32   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (  segid "   A" and resid 32   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 33   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 32   and name  HG2#)
   (( segid "   A" and resid 33   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 33   and name  HA  ))
   (( segid "   A" and resid 33   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 33   and name  HA  ))
   (  segid "   A" and resid 33   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 33   and name  HA  ))
   (  segid "   A" and resid 36   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 33   and name  HA  ))
   (  segid "   A" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 33   and name  HA  ))
   (  segid "   A" and resid 36   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 33   and name  HA  ))
   (  segid "   B" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 33   and name  HA  ))
   (  segid "   B" and resid 38   and name  HD2#)
      3.650     1.850     1.850

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 33   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 33   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (  segid "   A" and resid 33   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (  segid "   A" and resid 33   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 33   and name  HB  ))
   (  segid "   B" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (( segid "   B" and resid 35   and name  HA  ))
      3.650     1.850     1.850

 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (  segid "   B" and resid 35   and name  HG1#)
      3.650     1.850     1.850
 or   
   (  segid "   A" and resid 33   and name  HD1#)
   (  segid "   B" and resid 35   and name  HG2#)

 assi 
   (  segid "   A" and resid 33   and name  HG2#)
   (( segid "   B" and resid 35   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 33   and name  HG2#)
   (( segid "   B" and resid 35   and name  HN  ))
      3.650     1.850     1.850

 assi 
   (  segid "   A" and resid 33   and name  HG2#)
   (( segid "   B" and resid 38   and name  HG  ))
      3.650     1.850     1.850

 assi 
   (  segid "   A" and resid 33   and name  HG2#)
   (  segid "   B" and resid 38   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 34   and name  HA1 ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 34   and name  HA2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 35   and name  HA  ))
   (( segid "   A" and resid 35   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 35   and name  HA  ))
   (  segid "   A" and resid 35   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 35   and name  HA  ))
   (( segid "   A" and resid 38   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 35   and name  HA  ))
   (  segid "   A" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 35   and name  HA  ))
   (  segid "   A" and resid 38   and name  HD2#)
      3.650     1.850     1.850

 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 35   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 35   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (  segid "   A" and resid 35   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 36   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 36   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 36   and name  HA  ))
   (  segid "   A" and resid 36   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 36   and name  HA  ))
   (  segid "   A" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 36   and name  HA  ))
   (( segid "   A" and resid 39   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 36   and name  HA  ))
   (  segid "   A" and resid 39   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (( segid "   A" and resid 36   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (  segid "   A" and resid 36   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (  segid "   A" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (  segid "   A" and resid 36   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (( segid "   A" and resid 37   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 36   and name  HB# )
   (  segid "   B" and resid 38   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (  segid "   A" and resid 36   and name  HB# )
   (  segid "   B" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 36   and name  HB# )
   (( segid "   A" and resid 37   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 37   and name  HA  ))
   (  segid "   A" and resid 37   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 37   and name  HA  ))
   (  segid "   B" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 37   and name  HA  ))
   (  segid "   B" and resid 38   and name  HD2#)
      2.650     0.850     0.850

 assi 
   (( segid "   A" and resid 37   and name  HN  ))
   (( segid "   A" and resid 37   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 37   and name  HN  ))
   (  segid "   A" and resid 37   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 37   and name  HN  ))
   (( segid "   A" and resid 38   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 37   and name  HN  ))
   (  segid "   B" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 37   and name  HN  ))
   (  segid "   B" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 37   and name  HB# )
   (  segid "   B" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 37   and name  HB# )
   (  segid "   B" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 37   and name  HD2 ))
   (  segid "   A" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 37   and name  HD2 ))
   (  segid "   A" and resid 38   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 37   and name  HE1 ))
   (  segid "   B" and resid 41   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 37   and name  HE1 ))
   (( segid "   B" and resid 41   and name  HE3 ))
      3.650     1.850     1.850

 assi 
   (( segid "   A" and resid 38   and name  HA  ))
   (  segid "   A" and resid 38   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 38   and name  HA  ))
   (  segid "   A" and resid 38   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (( segid "   A" and resid 38   and name  HA  ))
   (  segid "   A" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 38   and name  HA  ))
   (  segid "   A" and resid 41   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 38   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (  segid "   A" and resid 38   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (  segid "   A" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (  segid "   A" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 39   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 39   and name  HA  ))
   (( segid "   A" and resid 39   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 39   and name  HA  ))
   (  segid "   A" and resid 39   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 39   and name  HA  ))
   (  segid "   A" and resid 39   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 39   and name  HA  ))
   (  segid "   A" and resid 42   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 39   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 39   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (  segid "   A" and resid 39   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (  segid "   A" and resid 39   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 40   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 39   and name  HG2#)
   (( segid "   A" and resid 40   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 40   and name  HA  ))
   (  segid "   A" and resid 40   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 40   and name  HA  ))
   (  segid "   A" and resid 40   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 40   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (  segid "   A" and resid 40   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (  segid "   A" and resid 40   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 41   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 41   and name  HA  ))
   (  segid "   A" and resid 41   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 41   and name  HA  ))
   (( segid "   A" and resid 44   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   A" and resid 41   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (  segid "   A" and resid 41   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   A" and resid 42   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 42   and name  HA  ))
   (( segid "   A" and resid 42   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 42   and name  HA  ))
   (  segid "   A" and resid 42   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 42   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 42   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (  segid "   A" and resid 42   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 43   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 42   and name  HD1#)
   (( segid "   A" and resid 41   and name  HE3 ))
      3.150     1.350     1.350

 assi 
   (  segid "   A" and resid 42   and name  HD1#)
   (( segid "   A" and resid 41   and name  HZ3 ))
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 42   and name  HG2#)
   (( segid "   A" and resid 43   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 42   and name  HG2#)
   (( segid "   A" and resid 43   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 42   and name  HG2#)
   (  segid "   A" and resid 46   and name  HD1#)
      3.150     1.350     1.350

 assi 
   (( segid "   A" and resid 43   and name  HA  ))
   (  segid "   A" and resid 43   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 43   and name  HA  ))
   (  segid "   A" and resid 43   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 43   and name  HA  ))
   (( segid "   A" and resid 44   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 43   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (  segid "   A" and resid 43   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 44   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 43   and name  HA  ))
   (  segid "   A" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (  segid "   A" and resid 43   and name  HD2#)
   (  segid "   A" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (( segid "   A" and resid 44   and name  HA  ))
   (  segid "   A" and resid 44   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 44   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (  segid "   A" and resid 44   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 45   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (  segid "   B" and resid 45   and name  HH1#)
      3.650     1.850     1.850

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (  segid "   B" and resid 45   and name  HH2#)
      3.650     1.850     1.850

 assi 
   (( segid "   A" and resid 45   and name  HA  ))
   (  segid "   A" and resid 45   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 45   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (  segid "   A" and resid 45   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 46   and name  HA  ))
   (  segid "   A" and resid 46   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 46   and name  HA  ))
   (  segid "   A" and resid 46   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 46   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (  segid "   A" and resid 46   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (  segid "   A" and resid 47   and name  HD# )
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 46   and name  HD1#)
   (  segid "   A" and resid 47   and name  HE# )
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 46   and name  HD1#)
   (  segid "   A" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (  segid "   A" and resid 46   and name  HD2#)
   (  segid "   A" and resid 47   and name  HE# )
      3.400     1.600     1.600

 assi 
   (  segid "   A" and resid 46   and name  HD2#)
   (  segid "   A" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (( segid "   A" and resid 47   and name  HA  ))
   (  segid "   A" and resid 47   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 47   and name  HA  ))
   (  segid "   A" and resid 47   and name  HD# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (( segid "   A" and resid 47   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (  segid "   A" and resid 47   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (  segid "   A" and resid 47   and name  HD# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (( segid "   A" and resid 48   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 47   and name  HA  ))
   (  segid "   A" and resid 48   and name  HD# )
      3.150     1.350     1.350

 assi 
   (  segid "   A" and resid 47   and name  HB# )
   (  segid "   A" and resid 47   and name  HD# )
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 47   and name  HB# )
   (  segid "   A" and resid 48   and name  HD# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 48   and name  HA  ))
   (  segid "   A" and resid 48   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 48   and name  HA  ))
   (  segid "   A" and resid 48   and name  HD# )
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 48   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (  segid "   A" and resid 48   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 48   and name  HD2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 49   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 48   and name  HA  ))
   (( segid "   A" and resid 49   and name  HA  ))
      3.150     1.350     1.350

 assi 
   (  segid "   A" and resid 48   and name  HB# )
   (  segid "   A" and resid 48   and name  HD# )
      2.900     1.100     1.100

 assi 
   (  segid "   A" and resid 48   and name  HB# )
   (( segid "   A" and resid 49   and name  HA  ))
      3.150     1.350     1.350

 assi 
   (( segid "   A" and resid 49   and name  HN  ))
   (( segid "   A" and resid 49   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 49   and name  HN  ))
   (  segid "   A" and resid 49   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 24   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 24   and name  HA  ))
   (  segid "   B" and resid 25   and name  HD# )
      2.650     0.850     0.850

 assi 
   (( segid "   B" and resid 25   and name  HA  ))
   (  segid "   B" and resid 28   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 25   and name  HA  ))
   (  segid "   B" and resid 28   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 26   and name  HA  ))
   (  segid "   B" and resid 26   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 26   and name  HN  ))
   (( segid "   B" and resid 26   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 26   and name  HD2#)
   (( segid "   C" and resid 28   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 27   and name  HA  ))
   (  segid "   B" and resid 27   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 27   and name  HA  ))
   (  segid "   B" and resid 27   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 27   and name  HN  ))
   (( segid "   B" and resid 27   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 27   and name  HN  ))
   (  segid "   B" and resid 27   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 27   and name  HN  ))
   (( segid "   B" and resid 28   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 28   and name  HA  ))
   (  segid "   B" and resid 28   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 28   and name  HA  ))
   (  segid "   B" and resid 28   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 28   and name  HN  ))
   (( segid "   B" and resid 28   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 28   and name  HG1#)
   (( segid "   B" and resid 28   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 28   and name  HG2#)
   (( segid "   B" and resid 28   and name  HN  ))
      2.800     1.000     1.000

 assi 
   (  segid "   B" and resid 28   and name  HG2#)
   (( segid "   B" and resid 29   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 29   and name  HA  ))
   (  segid "   B" and resid 29   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 29   and name  HA  ))
   (( segid "   B" and resid 32   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 29   and name  HA  ))
   (( segid "   B" and resid 32   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 29   and name  HA  ))
   (  segid "   B" and resid 32   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 29   and name  HN  ))
   (( segid "   B" and resid 28   and name  HB  ))
      2.650     0.850     0.850

 assi 
   (( segid "   B" and resid 29   and name  HN  ))
   (  segid "   B" and resid 28   and name  HG1#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 29   and name  HN  ))
   (( segid "   B" and resid 29   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 29   and name  HN  ))
   (  segid "   B" and resid 29   and name  HB# )
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 29   and name  HB# )
   (( segid "   B" and resid 30   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 29   and name  HB# )
   (  segid "   C" and resid 35   and name  HD1#)
      2.800     1.200     1.200

 assi 
   (( segid "   B" and resid 30   and name  HA  ))
   (  segid "   B" and resid 30   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 30   and name  HA  ))
   (( segid "   B" and resid 33   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 30   and name  HA  ))
   (  segid "   B" and resid 33   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 30   and name  HB# )
   (( segid "   C" and resid 31   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 30   and name  HN  ))
   (( segid "   B" and resid 30   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 30   and name  HN  ))
   (  segid "   B" and resid 30   and name  HB# )
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 30   and name  HB# )
   (( segid "   B" and resid 31   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 30   and name  HB# )
   (  segid "   B" and resid 33   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (( segid "   B" and resid 32   and name  HA  ))
   (( segid "   B" and resid 32   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 32   and name  HA  ))
   (  segid "   B" and resid 32   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 32   and name  HA  ))
   (( segid "   B" and resid 35   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 32   and name  HA  ))
   (  segid "   B" and resid 35   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 32   and name  HN  ))
   (( segid "   B" and resid 32   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 32   and name  HN  ))
   (( segid "   B" and resid 32   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 32   and name  HN  ))
   (  segid "   B" and resid 32   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 32   and name  HN  ))
   (  segid "   B" and resid 32   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 32   and name  HN  ))
   (( segid "   B" and resid 33   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 32   and name  HG2#)
   (( segid "   B" and resid 33   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 33   and name  HA  ))
   (( segid "   B" and resid 33   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 33   and name  HA  ))
   (  segid "   B" and resid 33   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 33   and name  HA  ))
   (  segid "   B" and resid 36   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 33   and name  HA  ))
   (  segid "   B" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 33   and name  HA  ))
   (  segid "   B" and resid 36   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 33   and name  HA  ))
   (  segid "   C" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 33   and name  HA  ))
   (  segid "   C" and resid 38   and name  HD2#)
      3.650     1.850     1.850

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (( segid "   B" and resid 33   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (( segid "   B" and resid 33   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (  segid "   B" and resid 33   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (  segid "   B" and resid 33   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 33   and name  HB  ))
   (  segid "   C" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 33   and name  HD1#)
   (( segid "   C" and resid 35   and name  HA  ))
      3.650     1.850     1.850

 assi 
   (  segid "   B" and resid 33   and name  HD1#)
   (  segid "   C" and resid 35   and name  HG1#)
      3.650     1.850     1.850
 or   
   (  segid "   B" and resid 33   and name  HD1#)
   (  segid "   C" and resid 35   and name  HG2#)

 assi 
   (  segid "   B" and resid 33   and name  HG2#)
   (( segid "   C" and resid 35   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 33   and name  HG2#)
   (( segid "   C" and resid 35   and name  HN  ))
      3.650     1.850     1.850

 assi 
   (  segid "   B" and resid 33   and name  HG2#)
   (( segid "   C" and resid 38   and name  HG  ))
      3.650     1.850     1.850

 assi 
   (  segid "   B" and resid 33   and name  HG2#)
   (  segid "   C" and resid 38   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 34   and name  HA1 ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 34   and name  HA2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 35   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 35   and name  HA  ))
   (( segid "   B" and resid 35   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 35   and name  HA  ))
   (  segid "   B" and resid 35   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 35   and name  HA  ))
   (( segid "   B" and resid 38   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 35   and name  HA  ))
   (  segid "   B" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 35   and name  HA  ))
   (  segid "   B" and resid 38   and name  HD2#)
      3.650     1.850     1.850

 assi 
   (( segid "   B" and resid 35   and name  HN  ))
   (( segid "   B" and resid 35   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 35   and name  HN  ))
   (( segid "   B" and resid 35   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 35   and name  HN  ))
   (  segid "   B" and resid 35   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 35   and name  HN  ))
   (( segid "   B" and resid 36   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 35   and name  HG2#)
   (( segid "   B" and resid 36   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 36   and name  HA  ))
   (  segid "   B" and resid 36   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 36   and name  HA  ))
   (  segid "   B" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 36   and name  HA  ))
   (( segid "   B" and resid 39   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 36   and name  HA  ))
   (  segid "   B" and resid 39   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 36   and name  HN  ))
   (( segid "   B" and resid 36   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 36   and name  HN  ))
   (  segid "   B" and resid 36   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 36   and name  HN  ))
   (  segid "   B" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 36   and name  HN  ))
   (  segid "   B" and resid 36   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 36   and name  HN  ))
   (( segid "   B" and resid 37   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 36   and name  HB# )
   (  segid "   C" and resid 38   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (  segid "   B" and resid 36   and name  HB# )
   (  segid "   C" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 36   and name  HB# )
   (( segid "   B" and resid 37   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 37   and name  HA  ))
   (  segid "   B" and resid 37   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 37   and name  HA  ))
   (  segid "   C" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 37   and name  HA  ))
   (  segid "   C" and resid 38   and name  HD2#)
      2.650     0.850     0.850

 assi 
   (( segid "   B" and resid 37   and name  HN  ))
   (( segid "   B" and resid 37   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 37   and name  HN  ))
   (  segid "   B" and resid 37   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 37   and name  HN  ))
   (( segid "   B" and resid 38   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 37   and name  HN  ))
   (  segid "   C" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 37   and name  HN  ))
   (  segid "   C" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 37   and name  HB# )
   (  segid "   C" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 37   and name  HB# )
   (  segid "   C" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 37   and name  HD2 ))
   (  segid "   B" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 37   and name  HD2 ))
   (  segid "   B" and resid 38   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 37   and name  HE1 ))
   (  segid "   C" and resid 41   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 37   and name  HE1 ))
   (( segid "   C" and resid 41   and name  HE3 ))
      3.650     1.850     1.850

 assi 
   (( segid "   B" and resid 38   and name  HA  ))
   (  segid "   B" and resid 38   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 38   and name  HA  ))
   (  segid "   B" and resid 38   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (( segid "   B" and resid 38   and name  HA  ))
   (  segid "   B" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 38   and name  HA  ))
   (  segid "   B" and resid 41   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (( segid "   B" and resid 38   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (  segid "   B" and resid 38   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (  segid "   B" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (  segid "   B" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (( segid "   B" and resid 39   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 39   and name  HA  ))
   (( segid "   B" and resid 39   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 39   and name  HA  ))
   (  segid "   B" and resid 39   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 39   and name  HA  ))
   (  segid "   B" and resid 39   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 39   and name  HA  ))
   (  segid "   B" and resid 42   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (( segid "   B" and resid 39   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (( segid "   B" and resid 39   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (  segid "   B" and resid 39   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (  segid "   B" and resid 39   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (( segid "   B" and resid 40   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 39   and name  HG2#)
   (( segid "   B" and resid 40   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 40   and name  HA  ))
   (  segid "   B" and resid 40   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 40   and name  HA  ))
   (  segid "   B" and resid 40   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 40   and name  HN  ))
   (( segid "   B" and resid 40   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 40   and name  HN  ))
   (  segid "   B" and resid 40   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 40   and name  HN  ))
   (  segid "   B" and resid 40   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 40   and name  HN  ))
   (( segid "   B" and resid 41   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 41   and name  HA  ))
   (  segid "   B" and resid 41   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 41   and name  HA  ))
   (( segid "   B" and resid 44   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 41   and name  HN  ))
   (( segid "   B" and resid 41   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 41   and name  HN  ))
   (  segid "   B" and resid 41   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 41   and name  HN  ))
   (( segid "   B" and resid 42   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 42   and name  HA  ))
   (( segid "   B" and resid 42   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 42   and name  HA  ))
   (  segid "   B" and resid 42   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 42   and name  HN  ))
   (( segid "   B" and resid 42   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 42   and name  HN  ))
   (( segid "   B" and resid 42   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 42   and name  HN  ))
   (  segid "   B" and resid 42   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 42   and name  HN  ))
   (( segid "   B" and resid 43   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 42   and name  HD1#)
   (( segid "   B" and resid 41   and name  HE3 ))
      3.150     1.350     1.350

 assi 
   (  segid "   B" and resid 42   and name  HD1#)
   (( segid "   B" and resid 41   and name  HZ3 ))
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 42   and name  HG2#)
   (( segid "   B" and resid 43   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 42   and name  HG2#)
   (( segid "   B" and resid 43   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 42   and name  HG2#)
   (  segid "   B" and resid 46   and name  HD1#)
      3.150     1.350     1.350

 assi 
   (( segid "   B" and resid 43   and name  HA  ))
   (  segid "   B" and resid 43   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 43   and name  HA  ))
   (  segid "   B" and resid 43   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 43   and name  HA  ))
   (( segid "   B" and resid 44   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 43   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (  segid "   B" and resid 43   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 44   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 43   and name  HA  ))
   (  segid "   B" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (  segid "   B" and resid 43   and name  HD2#)
   (  segid "   B" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (( segid "   B" and resid 44   and name  HA  ))
   (  segid "   B" and resid 44   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (( segid "   B" and resid 44   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (  segid "   B" and resid 44   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (( segid "   B" and resid 45   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (  segid "   C" and resid 45   and name  HH1#)
      3.650     1.850     1.850

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (  segid "   C" and resid 45   and name  HH2#)
      3.650     1.850     1.850

 assi 
   (( segid "   B" and resid 45   and name  HA  ))
   (  segid "   B" and resid 45   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 45   and name  HN  ))
   (( segid "   B" and resid 45   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 45   and name  HN  ))
   (  segid "   B" and resid 45   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 46   and name  HA  ))
   (  segid "   B" and resid 46   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 46   and name  HA  ))
   (  segid "   B" and resid 46   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 46   and name  HN  ))
   (( segid "   B" and resid 46   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 46   and name  HN  ))
   (  segid "   B" and resid 46   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 46   and name  HN  ))
   (  segid "   B" and resid 47   and name  HD# )
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 46   and name  HD1#)
   (  segid "   B" and resid 47   and name  HE# )
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 46   and name  HD1#)
   (  segid "   B" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (  segid "   B" and resid 46   and name  HD2#)
   (  segid "   B" and resid 47   and name  HE# )
      3.400     1.600     1.600

 assi 
   (  segid "   B" and resid 46   and name  HD2#)
   (  segid "   B" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (( segid "   B" and resid 47   and name  HA  ))
   (  segid "   B" and resid 47   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 47   and name  HA  ))
   (  segid "   B" and resid 47   and name  HD# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 47   and name  HN  ))
   (( segid "   B" and resid 47   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 47   and name  HN  ))
   (  segid "   B" and resid 47   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 47   and name  HN  ))
   (  segid "   B" and resid 47   and name  HD# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 47   and name  HN  ))
   (( segid "   B" and resid 48   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 47   and name  HA  ))
   (  segid "   B" and resid 48   and name  HD# )
      3.150     1.350     1.350

 assi 
   (  segid "   B" and resid 47   and name  HB# )
   (  segid "   B" and resid 47   and name  HD# )
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 47   and name  HB# )
   (  segid "   B" and resid 48   and name  HD# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 48   and name  HA  ))
   (  segid "   B" and resid 48   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 48   and name  HA  ))
   (  segid "   B" and resid 48   and name  HD# )
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 48   and name  HN  ))
   (( segid "   B" and resid 48   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 48   and name  HN  ))
   (  segid "   B" and resid 48   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 48   and name  HN  ))
   (( segid "   B" and resid 48   and name  HD2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 48   and name  HN  ))
   (( segid "   B" and resid 49   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 48   and name  HA  ))
   (( segid "   B" and resid 49   and name  HA  ))
      3.150     1.350     1.350

 assi 
   (  segid "   B" and resid 48   and name  HB# )
   (  segid "   B" and resid 48   and name  HD# )
      2.900     1.100     1.100

 assi 
   (  segid "   B" and resid 48   and name  HB# )
   (( segid "   B" and resid 49   and name  HA  ))
      3.150     1.350     1.350

 assi 
   (( segid "   B" and resid 49   and name  HN  ))
   (( segid "   B" and resid 49   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 49   and name  HN  ))
   (  segid "   B" and resid 49   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 24   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 24   and name  HA  ))
   (  segid "   C" and resid 25   and name  HD# )
      2.650     0.850     0.850

 assi 
   (( segid "   C" and resid 25   and name  HA  ))
   (  segid "   C" and resid 28   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 25   and name  HA  ))
   (  segid "   C" and resid 28   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 26   and name  HA  ))
   (  segid "   C" and resid 26   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 26   and name  HN  ))
   (( segid "   C" and resid 26   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 26   and name  HD2#)
   (( segid "   D" and resid 28   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 27   and name  HA  ))
   (  segid "   C" and resid 27   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 27   and name  HA  ))
   (  segid "   C" and resid 27   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 27   and name  HN  ))
   (( segid "   C" and resid 27   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 27   and name  HN  ))
   (  segid "   C" and resid 27   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 27   and name  HN  ))
   (( segid "   C" and resid 28   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 28   and name  HA  ))
   (  segid "   C" and resid 28   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 28   and name  HA  ))
   (  segid "   C" and resid 28   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 28   and name  HN  ))
   (( segid "   C" and resid 28   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 28   and name  HG1#)
   (( segid "   C" and resid 28   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 28   and name  HG2#)
   (( segid "   C" and resid 28   and name  HN  ))
      2.800     1.000     1.000

 assi 
   (  segid "   C" and resid 28   and name  HG2#)
   (( segid "   C" and resid 29   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 29   and name  HA  ))
   (  segid "   C" and resid 29   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 29   and name  HA  ))
   (( segid "   C" and resid 32   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 29   and name  HA  ))
   (( segid "   C" and resid 32   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 29   and name  HA  ))
   (  segid "   C" and resid 32   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 29   and name  HN  ))
   (( segid "   C" and resid 28   and name  HB  ))
      2.650     0.850     0.850

 assi 
   (( segid "   C" and resid 29   and name  HN  ))
   (  segid "   C" and resid 28   and name  HG1#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 29   and name  HN  ))
   (( segid "   C" and resid 29   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 29   and name  HN  ))
   (  segid "   C" and resid 29   and name  HB# )
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 29   and name  HB# )
   (( segid "   C" and resid 30   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 29   and name  HB# )
   (  segid "   D" and resid 35   and name  HD1#)
      2.800     1.200     1.200

 assi 
   (( segid "   C" and resid 30   and name  HA  ))
   (  segid "   C" and resid 30   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 30   and name  HA  ))
   (( segid "   C" and resid 33   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 30   and name  HA  ))
   (  segid "   C" and resid 33   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 30   and name  HB# )
   (( segid "   D" and resid 31   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 30   and name  HN  ))
   (( segid "   C" and resid 30   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 30   and name  HN  ))
   (  segid "   C" and resid 30   and name  HB# )
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 30   and name  HB# )
   (( segid "   C" and resid 31   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 30   and name  HB# )
   (  segid "   C" and resid 33   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (( segid "   C" and resid 32   and name  HA  ))
   (( segid "   C" and resid 32   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 32   and name  HA  ))
   (  segid "   C" and resid 32   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 32   and name  HA  ))
   (( segid "   C" and resid 35   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 32   and name  HA  ))
   (  segid "   C" and resid 35   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 32   and name  HN  ))
   (( segid "   C" and resid 32   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 32   and name  HN  ))
   (( segid "   C" and resid 32   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 32   and name  HN  ))
   (  segid "   C" and resid 32   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 32   and name  HN  ))
   (  segid "   C" and resid 32   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 32   and name  HN  ))
   (( segid "   C" and resid 33   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 32   and name  HG2#)
   (( segid "   C" and resid 33   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 33   and name  HA  ))
   (( segid "   C" and resid 33   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 33   and name  HA  ))
   (  segid "   C" and resid 33   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 33   and name  HA  ))
   (  segid "   C" and resid 36   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 33   and name  HA  ))
   (  segid "   C" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 33   and name  HA  ))
   (  segid "   C" and resid 36   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 33   and name  HA  ))
   (  segid "   D" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 33   and name  HA  ))
   (  segid "   D" and resid 38   and name  HD2#)
      3.650     1.850     1.850

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (( segid "   C" and resid 33   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (( segid "   C" and resid 33   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (  segid "   C" and resid 33   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (  segid "   C" and resid 33   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 33   and name  HB  ))
   (  segid "   D" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 33   and name  HD1#)
   (( segid "   D" and resid 35   and name  HA  ))
      3.650     1.850     1.850

 assi 
   (  segid "   C" and resid 33   and name  HD1#)
   (  segid "   D" and resid 35   and name  HG1#)
      3.650     1.850     1.850
 or   
   (  segid "   C" and resid 33   and name  HD1#)
   (  segid "   D" and resid 35   and name  HG2#)

 assi 
   (  segid "   C" and resid 33   and name  HG2#)
   (( segid "   D" and resid 35   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 33   and name  HG2#)
   (( segid "   D" and resid 35   and name  HN  ))
      3.650     1.850     1.850

 assi 
   (  segid "   C" and resid 33   and name  HG2#)
   (( segid "   D" and resid 38   and name  HG  ))
      3.650     1.850     1.850

 assi 
   (  segid "   C" and resid 33   and name  HG2#)
   (  segid "   D" and resid 38   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 34   and name  HA1 ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 34   and name  HA2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 35   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 35   and name  HA  ))
   (( segid "   C" and resid 35   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 35   and name  HA  ))
   (  segid "   C" and resid 35   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 35   and name  HA  ))
   (( segid "   C" and resid 38   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 35   and name  HA  ))
   (  segid "   C" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 35   and name  HA  ))
   (  segid "   C" and resid 38   and name  HD2#)
      3.650     1.850     1.850

 assi 
   (( segid "   C" and resid 35   and name  HN  ))
   (( segid "   C" and resid 35   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 35   and name  HN  ))
   (( segid "   C" and resid 35   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 35   and name  HN  ))
   (  segid "   C" and resid 35   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 35   and name  HN  ))
   (( segid "   C" and resid 36   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 35   and name  HG2#)
   (( segid "   C" and resid 36   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 36   and name  HA  ))
   (  segid "   C" and resid 36   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 36   and name  HA  ))
   (  segid "   C" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 36   and name  HA  ))
   (( segid "   C" and resid 39   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 36   and name  HA  ))
   (  segid "   C" and resid 39   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 36   and name  HN  ))
   (( segid "   C" and resid 36   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 36   and name  HN  ))
   (  segid "   C" and resid 36   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 36   and name  HN  ))
   (  segid "   C" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 36   and name  HN  ))
   (  segid "   C" and resid 36   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 36   and name  HN  ))
   (( segid "   C" and resid 37   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 36   and name  HB# )
   (  segid "   D" and resid 38   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (  segid "   C" and resid 36   and name  HB# )
   (  segid "   D" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 36   and name  HB# )
   (( segid "   C" and resid 37   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 37   and name  HA  ))
   (  segid "   C" and resid 37   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 37   and name  HA  ))
   (  segid "   D" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 37   and name  HA  ))
   (  segid "   D" and resid 38   and name  HD2#)
      2.650     0.850     0.850

 assi 
   (( segid "   C" and resid 37   and name  HN  ))
   (( segid "   C" and resid 37   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 37   and name  HN  ))
   (  segid "   C" and resid 37   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 37   and name  HN  ))
   (( segid "   C" and resid 38   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 37   and name  HN  ))
   (  segid "   D" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 37   and name  HN  ))
   (  segid "   D" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 37   and name  HB# )
   (  segid "   D" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 37   and name  HB# )
   (  segid "   D" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 37   and name  HD2 ))
   (  segid "   C" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 37   and name  HD2 ))
   (  segid "   C" and resid 38   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 37   and name  HE1 ))
   (  segid "   D" and resid 41   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 37   and name  HE1 ))
   (( segid "   D" and resid 41   and name  HE3 ))
      3.650     1.850     1.850

 assi 
   (( segid "   C" and resid 38   and name  HA  ))
   (  segid "   C" and resid 38   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 38   and name  HA  ))
   (  segid "   C" and resid 38   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (( segid "   C" and resid 38   and name  HA  ))
   (  segid "   C" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 38   and name  HA  ))
   (  segid "   C" and resid 41   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (( segid "   C" and resid 38   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (  segid "   C" and resid 38   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (  segid "   C" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (  segid "   C" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (( segid "   C" and resid 39   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 39   and name  HA  ))
   (( segid "   C" and resid 39   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 39   and name  HA  ))
   (  segid "   C" and resid 39   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 39   and name  HA  ))
   (  segid "   C" and resid 39   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 39   and name  HA  ))
   (  segid "   C" and resid 42   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (( segid "   C" and resid 39   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (( segid "   C" and resid 39   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (  segid "   C" and resid 39   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (  segid "   C" and resid 39   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (( segid "   C" and resid 40   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 39   and name  HG2#)
   (( segid "   C" and resid 40   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 40   and name  HA  ))
   (  segid "   C" and resid 40   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 40   and name  HA  ))
   (  segid "   C" and resid 40   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 40   and name  HN  ))
   (( segid "   C" and resid 40   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 40   and name  HN  ))
   (  segid "   C" and resid 40   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 40   and name  HN  ))
   (  segid "   C" and resid 40   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 40   and name  HN  ))
   (( segid "   C" and resid 41   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 41   and name  HA  ))
   (  segid "   C" and resid 41   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 41   and name  HA  ))
   (( segid "   C" and resid 44   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 41   and name  HN  ))
   (( segid "   C" and resid 41   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 41   and name  HN  ))
   (  segid "   C" and resid 41   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 41   and name  HN  ))
   (( segid "   C" and resid 42   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 42   and name  HA  ))
   (( segid "   C" and resid 42   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 42   and name  HA  ))
   (  segid "   C" and resid 42   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 42   and name  HN  ))
   (( segid "   C" and resid 42   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 42   and name  HN  ))
   (( segid "   C" and resid 42   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 42   and name  HN  ))
   (  segid "   C" and resid 42   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 42   and name  HN  ))
   (( segid "   C" and resid 43   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 42   and name  HD1#)
   (( segid "   C" and resid 41   and name  HE3 ))
      3.150     1.350     1.350

 assi 
   (  segid "   C" and resid 42   and name  HD1#)
   (( segid "   C" and resid 41   and name  HZ3 ))
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 42   and name  HG2#)
   (( segid "   C" and resid 43   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 42   and name  HG2#)
   (( segid "   C" and resid 43   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 42   and name  HG2#)
   (  segid "   C" and resid 46   and name  HD1#)
      3.150     1.350     1.350

 assi 
   (( segid "   C" and resid 43   and name  HA  ))
   (  segid "   C" and resid 43   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 43   and name  HA  ))
   (  segid "   C" and resid 43   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 43   and name  HA  ))
   (( segid "   C" and resid 44   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 43   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (  segid "   C" and resid 43   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 44   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 43   and name  HA  ))
   (  segid "   C" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (  segid "   C" and resid 43   and name  HD2#)
   (  segid "   C" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (( segid "   C" and resid 44   and name  HA  ))
   (  segid "   C" and resid 44   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (( segid "   C" and resid 44   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (  segid "   C" and resid 44   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (( segid "   C" and resid 45   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (  segid "   D" and resid 45   and name  HH1#)
      3.650     1.850     1.850

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (  segid "   D" and resid 45   and name  HH2#)
      3.650     1.850     1.850

 assi 
   (( segid "   C" and resid 45   and name  HA  ))
   (  segid "   C" and resid 45   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 45   and name  HN  ))
   (( segid "   C" and resid 45   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 45   and name  HN  ))
   (  segid "   C" and resid 45   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 46   and name  HA  ))
   (  segid "   C" and resid 46   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 46   and name  HA  ))
   (  segid "   C" and resid 46   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 46   and name  HN  ))
   (( segid "   C" and resid 46   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 46   and name  HN  ))
   (  segid "   C" and resid 46   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 46   and name  HN  ))
   (  segid "   C" and resid 47   and name  HD# )
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 46   and name  HD1#)
   (  segid "   C" and resid 47   and name  HE# )
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 46   and name  HD1#)
   (  segid "   C" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (  segid "   C" and resid 46   and name  HD2#)
   (  segid "   C" and resid 47   and name  HE# )
      3.400     1.600     1.600

 assi 
   (  segid "   C" and resid 46   and name  HD2#)
   (  segid "   C" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (( segid "   C" and resid 47   and name  HA  ))
   (  segid "   C" and resid 47   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 47   and name  HA  ))
   (  segid "   C" and resid 47   and name  HD# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 47   and name  HN  ))
   (( segid "   C" and resid 47   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 47   and name  HN  ))
   (  segid "   C" and resid 47   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 47   and name  HN  ))
   (  segid "   C" and resid 47   and name  HD# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 47   and name  HN  ))
   (( segid "   C" and resid 48   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 47   and name  HA  ))
   (  segid "   C" and resid 48   and name  HD# )
      3.150     1.350     1.350

 assi 
   (  segid "   C" and resid 47   and name  HB# )
   (  segid "   C" and resid 47   and name  HD# )
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 47   and name  HB# )
   (  segid "   C" and resid 48   and name  HD# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 48   and name  HA  ))
   (  segid "   C" and resid 48   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 48   and name  HA  ))
   (  segid "   C" and resid 48   and name  HD# )
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 48   and name  HN  ))
   (( segid "   C" and resid 48   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 48   and name  HN  ))
   (  segid "   C" and resid 48   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 48   and name  HN  ))
   (( segid "   C" and resid 48   and name  HD2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 48   and name  HN  ))
   (( segid "   C" and resid 49   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 48   and name  HA  ))
   (( segid "   C" and resid 49   and name  HA  ))
      3.150     1.350     1.350

 assi 
   (  segid "   C" and resid 48   and name  HB# )
   (  segid "   C" and resid 48   and name  HD# )
      2.900     1.100     1.100

 assi 
   (  segid "   C" and resid 48   and name  HB# )
   (( segid "   C" and resid 49   and name  HA  ))
      3.150     1.350     1.350

 assi 
   (( segid "   C" and resid 49   and name  HN  ))
   (( segid "   C" and resid 49   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 49   and name  HN  ))
   (  segid "   C" and resid 49   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 23   and name  HN  ))
   (( segid "   D" and resid 24   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 24   and name  HA  ))
   (  segid "   D" and resid 25   and name  HD# )
      2.650     0.850     0.850

 assi 
   (( segid "   D" and resid 25   and name  HA  ))
   (  segid "   D" and resid 28   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 25   and name  HA  ))
   (  segid "   D" and resid 28   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 26   and name  HA  ))
   (  segid "   D" and resid 26   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 26   and name  HN  ))
   (( segid "   D" and resid 26   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 26   and name  HD2#)
   (( segid "   A" and resid 28   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 27   and name  HA  ))
   (  segid "   D" and resid 27   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 27   and name  HA  ))
   (  segid "   D" and resid 27   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 27   and name  HN  ))
   (( segid "   D" and resid 27   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 27   and name  HN  ))
   (  segid "   D" and resid 27   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 27   and name  HN  ))
   (( segid "   D" and resid 28   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 28   and name  HA  ))
   (  segid "   D" and resid 28   and name  HG1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 28   and name  HA  ))
   (  segid "   D" and resid 28   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 28   and name  HN  ))
   (( segid "   D" and resid 28   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 28   and name  HG1#)
   (( segid "   D" and resid 28   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (  segid "   D" and resid 28   and name  HG2#)
   (( segid "   D" and resid 28   and name  HN  ))
      2.800     1.000     1.000

 assi 
   (  segid "   D" and resid 28   and name  HG2#)
   (( segid "   D" and resid 29   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 29   and name  HA  ))
   (  segid "   D" and resid 29   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 29   and name  HA  ))
   (( segid "   D" and resid 32   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 29   and name  HA  ))
   (( segid "   D" and resid 32   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 29   and name  HA  ))
   (  segid "   D" and resid 32   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 29   and name  HN  ))
   (( segid "   D" and resid 28   and name  HB  ))
      2.650     0.850     0.850

 assi 
   (( segid "   D" and resid 29   and name  HN  ))
   (  segid "   D" and resid 28   and name  HG1#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 29   and name  HN  ))
   (( segid "   D" and resid 29   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 29   and name  HN  ))
   (  segid "   D" and resid 29   and name  HB# )
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 29   and name  HB# )
   (  segid "   A" and resid 35   and name  HD1#)
      2.800     1.200     1.200

 assi 
   (  segid "   D" and resid 29   and name  HB# )
   (( segid "   D" and resid 30   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 30   and name  HA  ))
   (  segid "   D" and resid 30   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 30   and name  HA  ))
   (( segid "   D" and resid 33   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 30   and name  HA  ))
   (  segid "   D" and resid 33   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   D" and resid 30   and name  HB# )
   (( segid "   A" and resid 31   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 30   and name  HN  ))
   (( segid "   D" and resid 30   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 30   and name  HN  ))
   (  segid "   D" and resid 30   and name  HB# )
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 30   and name  HB# )
   (( segid "   D" and resid 31   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 30   and name  HB# )
   (  segid "   D" and resid 33   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (( segid "   D" and resid 32   and name  HA  ))
   (( segid "   D" and resid 32   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 32   and name  HA  ))
   (  segid "   D" and resid 32   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 32   and name  HA  ))
   (( segid "   D" and resid 35   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 32   and name  HA  ))
   (  segid "   D" and resid 35   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 32   and name  HN  ))
   (( segid "   D" and resid 32   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 32   and name  HN  ))
   (( segid "   D" and resid 32   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 32   and name  HN  ))
   (  segid "   D" and resid 32   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 32   and name  HN  ))
   (  segid "   D" and resid 32   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 32   and name  HN  ))
   (( segid "   D" and resid 33   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 32   and name  HG2#)
   (( segid "   D" and resid 33   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 33   and name  HA  ))
   (  segid "   A" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 33   and name  HA  ))
   (  segid "   A" and resid 38   and name  HD2#)
      3.650     1.850     1.850

 assi 
   (( segid "   D" and resid 33   and name  HA  ))
   (( segid "   D" and resid 33   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 33   and name  HA  ))
   (  segid "   D" and resid 33   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 33   and name  HA  ))
   (  segid "   D" and resid 36   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 33   and name  HA  ))
   (  segid "   D" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 33   and name  HA  ))
   (  segid "   D" and resid 36   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 33   and name  HN  ))
   (( segid "   D" and resid 33   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 33   and name  HN  ))
   (( segid "   D" and resid 33   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 33   and name  HN  ))
   (  segid "   D" and resid 33   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 33   and name  HN  ))
   (  segid "   D" and resid 33   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 33   and name  HB  ))
   (  segid "   A" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   D" and resid 33   and name  HD1#)
   (( segid "   A" and resid 35   and name  HA  ))
      3.650     1.850     1.850

 assi 
   (  segid "   D" and resid 33   and name  HD1#)
   (  segid "   A" and resid 35   and name  HG1#)
      3.650     1.850     1.850
 or   
   (  segid "   D" and resid 33   and name  HD1#)
   (  segid "   A" and resid 35   and name  HG2#)

 assi 
   (  segid "   D" and resid 33   and name  HG2#)
   (( segid "   A" and resid 35   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (  segid "   D" and resid 33   and name  HG2#)
   (( segid "   A" and resid 35   and name  HN  ))
      3.650     1.850     1.850

 assi 
   (  segid "   D" and resid 33   and name  HG2#)
   (( segid "   A" and resid 38   and name  HG  ))
      3.650     1.850     1.850

 assi 
   (  segid "   D" and resid 33   and name  HG2#)
   (  segid "   A" and resid 38   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 34   and name  HN  ))
   (( segid "   D" and resid 34   and name  HA1 ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 34   and name  HN  ))
   (( segid "   D" and resid 34   and name  HA2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 34   and name  HN  ))
   (( segid "   D" and resid 35   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 35   and name  HA  ))
   (( segid "   D" and resid 35   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 35   and name  HA  ))
   (  segid "   D" and resid 35   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 35   and name  HA  ))
   (( segid "   D" and resid 38   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 35   and name  HA  ))
   (  segid "   D" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 35   and name  HA  ))
   (  segid "   D" and resid 38   and name  HD2#)
      3.650     1.850     1.850

 assi 
   (( segid "   D" and resid 35   and name  HN  ))
   (( segid "   D" and resid 35   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 35   and name  HN  ))
   (( segid "   D" and resid 35   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 35   and name  HN  ))
   (  segid "   D" and resid 35   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 35   and name  HN  ))
   (( segid "   D" and resid 36   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 35   and name  HG2#)
   (( segid "   D" and resid 36   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 36   and name  HA  ))
   (  segid "   D" and resid 36   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 36   and name  HA  ))
   (  segid "   D" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 36   and name  HA  ))
   (( segid "   D" and resid 39   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 36   and name  HA  ))
   (  segid "   D" and resid 39   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 36   and name  HN  ))
   (( segid "   D" and resid 36   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 36   and name  HN  ))
   (  segid "   D" and resid 36   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 36   and name  HN  ))
   (  segid "   D" and resid 36   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 36   and name  HN  ))
   (  segid "   D" and resid 36   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 36   and name  HN  ))
   (( segid "   D" and resid 37   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 36   and name  HB# )
   (  segid "   A" and resid 38   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (  segid "   D" and resid 36   and name  HB# )
   (  segid "   A" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (  segid "   D" and resid 36   and name  HB# )
   (( segid "   D" and resid 37   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 37   and name  HA  ))
   (  segid "   A" and resid 38   and name  HD1#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 37   and name  HA  ))
   (  segid "   A" and resid 38   and name  HD2#)
      2.650     0.850     0.850

 assi 
   (( segid "   D" and resid 37   and name  HA  ))
   (  segid "   D" and resid 37   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 37   and name  HN  ))
   (  segid "   A" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 37   and name  HN  ))
   (  segid "   A" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 37   and name  HN  ))
   (( segid "   D" and resid 37   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 37   and name  HN  ))
   (  segid "   D" and resid 37   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 37   and name  HN  ))
   (( segid "   D" and resid 38   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 37   and name  HB# )
   (  segid "   A" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (  segid "   D" and resid 37   and name  HB# )
   (  segid "   A" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 37   and name  HD2 ))
   (  segid "   D" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 37   and name  HD2 ))
   (  segid "   D" and resid 38   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 37   and name  HE1 ))
   (  segid "   A" and resid 41   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 37   and name  HE1 ))
   (( segid "   A" and resid 41   and name  HE3 ))
      3.650     1.850     1.850

 assi 
   (( segid "   D" and resid 38   and name  HA  ))
   (  segid "   D" and resid 38   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 38   and name  HA  ))
   (  segid "   D" and resid 38   and name  HD1#)
      3.650     1.850     1.850

 assi 
   (( segid "   D" and resid 38   and name  HA  ))
   (  segid "   D" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 38   and name  HA  ))
   (  segid "   D" and resid 41   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 38   and name  HN  ))
   (( segid "   D" and resid 38   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 38   and name  HN  ))
   (  segid "   D" and resid 38   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 38   and name  HN  ))
   (  segid "   D" and resid 38   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 38   and name  HN  ))
   (  segid "   D" and resid 38   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 38   and name  HN  ))
   (( segid "   D" and resid 39   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 39   and name  HA  ))
   (( segid "   D" and resid 39   and name  HB  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 39   and name  HA  ))
   (  segid "   D" and resid 39   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 39   and name  HA  ))
   (  segid "   D" and resid 39   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 39   and name  HA  ))
   (  segid "   D" and resid 42   and name  HG2#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 39   and name  HN  ))
   (( segid "   D" and resid 39   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 39   and name  HN  ))
   (( segid "   D" and resid 39   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 39   and name  HN  ))
   (  segid "   D" and resid 39   and name  HD1#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 39   and name  HN  ))
   (  segid "   D" and resid 39   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 39   and name  HN  ))
   (( segid "   D" and resid 40   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 39   and name  HG2#)
   (( segid "   D" and resid 40   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 40   and name  HA  ))
   (  segid "   D" and resid 40   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 40   and name  HA  ))
   (  segid "   D" and resid 40   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 40   and name  HN  ))
   (( segid "   D" and resid 40   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 40   and name  HN  ))
   (  segid "   D" and resid 40   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 40   and name  HN  ))
   (  segid "   D" and resid 40   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 40   and name  HN  ))
   (( segid "   D" and resid 41   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 41   and name  HA  ))
   (  segid "   D" and resid 41   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 41   and name  HA  ))
   (( segid "   D" and resid 44   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 41   and name  HN  ))
   (( segid "   D" and resid 41   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 41   and name  HN  ))
   (  segid "   D" and resid 41   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 41   and name  HN  ))
   (( segid "   D" and resid 42   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 42   and name  HA  ))
   (( segid "   D" and resid 42   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 42   and name  HA  ))
   (  segid "   D" and resid 42   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 42   and name  HN  ))
   (( segid "   D" and resid 42   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 42   and name  HN  ))
   (( segid "   D" and resid 42   and name  HB  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 42   and name  HN  ))
   (  segid "   D" and resid 42   and name  HG2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 42   and name  HN  ))
   (( segid "   D" and resid 43   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 42   and name  HD1#)
   (( segid "   D" and resid 41   and name  HE3 ))
      3.150     1.350     1.350

 assi 
   (  segid "   D" and resid 42   and name  HD1#)
   (( segid "   D" and resid 41   and name  HZ3 ))
      3.400     1.600     1.600

 assi 
   (  segid "   D" and resid 42   and name  HG2#)
   (( segid "   D" and resid 43   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 42   and name  HG2#)
   (( segid "   D" and resid 43   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 42   and name  HG2#)
   (  segid "   D" and resid 46   and name  HD1#)
      3.150     1.350     1.350

 assi 
   (( segid "   D" and resid 43   and name  HA  ))
   (  segid "   D" and resid 43   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 43   and name  HA  ))
   (  segid "   D" and resid 43   and name  HD2#)
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 43   and name  HA  ))
   (( segid "   D" and resid 44   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 43   and name  HN  ))
   (( segid "   D" and resid 43   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 43   and name  HN  ))
   (  segid "   D" and resid 43   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 43   and name  HN  ))
   (( segid "   D" and resid 44   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 43   and name  HA  ))
   (  segid "   D" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (  segid "   D" and resid 43   and name  HD2#)
   (  segid "   D" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (( segid "   D" and resid 44   and name  HA  ))
   (  segid "   D" and resid 44   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 44   and name  HN  ))
   (  segid "   A" and resid 45   and name  HH1#)
      3.650     1.850     1.850

 assi 
   (( segid "   D" and resid 44   and name  HN  ))
   (  segid "   A" and resid 45   and name  HH2#)
      3.650     1.850     1.850

 assi 
   (( segid "   D" and resid 44   and name  HN  ))
   (( segid "   D" and resid 44   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 44   and name  HN  ))
   (  segid "   D" and resid 44   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 44   and name  HN  ))
   (( segid "   D" and resid 45   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 45   and name  HA  ))
   (  segid "   D" and resid 45   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 45   and name  HN  ))
   (( segid "   D" and resid 45   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 45   and name  HN  ))
   (  segid "   D" and resid 45   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 46   and name  HA  ))
   (  segid "   D" and resid 46   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 46   and name  HA  ))
   (  segid "   D" and resid 46   and name  HD2#)
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 46   and name  HN  ))
   (( segid "   D" and resid 46   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 46   and name  HN  ))
   (  segid "   D" and resid 46   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 46   and name  HN  ))
   (  segid "   D" and resid 47   and name  HD# )
      3.400     1.600     1.600

 assi 
   (  segid "   D" and resid 46   and name  HD1#)
   (  segid "   D" and resid 47   and name  HE# )
      3.400     1.600     1.600

 assi 
   (  segid "   D" and resid 46   and name  HD1#)
   (  segid "   D" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (  segid "   D" and resid 46   and name  HD2#)
   (  segid "   D" and resid 47   and name  HE# )
      3.400     1.600     1.600

 assi 
   (  segid "   D" and resid 46   and name  HD2#)
   (  segid "   D" and resid 47   and name  HD# )
      3.650     1.850     1.850

 assi 
   (( segid "   D" and resid 47   and name  HA  ))
   (  segid "   D" and resid 47   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 47   and name  HA  ))
   (  segid "   D" and resid 47   and name  HD# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 47   and name  HN  ))
   (( segid "   D" and resid 47   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 47   and name  HN  ))
   (  segid "   D" and resid 47   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 47   and name  HN  ))
   (  segid "   D" and resid 47   and name  HD# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 47   and name  HN  ))
   (( segid "   D" and resid 48   and name  HN  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 47   and name  HA  ))
   (  segid "   D" and resid 48   and name  HD# )
      3.150     1.350     1.350

 assi 
   (  segid "   D" and resid 47   and name  HB# )
   (  segid "   D" and resid 47   and name  HD# )
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 47   and name  HB# )
   (  segid "   D" and resid 48   and name  HD# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 48   and name  HA  ))
   (  segid "   D" and resid 48   and name  HB# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 48   and name  HA  ))
   (  segid "   D" and resid 48   and name  HD# )
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 48   and name  HN  ))
   (( segid "   D" and resid 48   and name  HA  ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 48   and name  HN  ))
   (  segid "   D" and resid 48   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 48   and name  HN  ))
   (( segid "   D" and resid 48   and name  HD2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 48   and name  HN  ))
   (( segid "   D" and resid 49   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 48   and name  HA  ))
   (( segid "   D" and resid 49   and name  HA  ))
      3.150     1.350     1.350

 assi 
   (  segid "   D" and resid 48   and name  HB# )
   (  segid "   D" and resid 48   and name  HD# )
      2.900     1.100     1.100

 assi 
   (  segid "   D" and resid 48   and name  HB# )
   (( segid "   D" and resid 49   and name  HA  ))
      3.150     1.350     1.350

 assi 
   (( segid "   D" and resid 49   and name  HN  ))
   (( segid "   D" and resid 49   and name  HA  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 49   and name  HN  ))
   (  segid "   D" and resid 49   and name  HB# )
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 37   and name  HD2 ))
   (( segid "   A" and resid 37   and name  HA  ))
      2.650     0.850     0.850

 assi 
   (( segid "   B" and resid 37   and name  HD2 ))
   (( segid "   B" and resid 37   and name  HA  ))
      2.650     0.850     0.850

 assi 
   (( segid "   C" and resid 37   and name  HD2 ))
   (( segid "   C" and resid 37   and name  HA  ))
      2.650     0.850     0.850

 assi 
   (( segid "   D" and resid 37   and name  HD2 ))
   (( segid "   D" and resid 37   and name  HA  ))
      2.650     0.850     0.850

 assi 
   (( segid "   A" and resid 37   and name  HE1 ))
   (( segid "   B" and resid 37   and name  HD2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 37   and name  HE1 ))
   (( segid "   C" and resid 37   and name  HD2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 37   and name  HE1 ))
   (( segid "   D" and resid 37   and name  HD2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 37   and name  HE1 ))
   (( segid "   A" and resid 37   and name  HD2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 37   and name  HD2 ))
   (  segid "   A" and resid 41   and name  HB# )
      2.650     0.850     0.850

 assi 
   (( segid "   B" and resid 37   and name  HD2 ))
   (  segid "   B" and resid 41   and name  HB# )
      2.650     0.850     0.850

 assi 
   (( segid "   C" and resid 37   and name  HD2 ))
   (  segid "   C" and resid 41   and name  HB# )
      2.650     0.850     0.850

 assi 
   (( segid "   D" and resid 37   and name  HD2 ))
   (  segid "   D" and resid 41   and name  HB# )
      2.650     0.850     0.850

 assi 
   (( segid "   A" and resid 37   and name  HD2 ))
   (( segid "   B" and resid 41   and name  HH2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 37   and name  HD2 ))
   (( segid "   C" and resid 41   and name  HH2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 37   and name  HD2 ))
   (( segid "   D" and resid 41   and name  HH2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 37   and name  HD2 ))
   (( segid "   A" and resid 41   and name  HH2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 37   and name  HD2 ))
   (( segid "   B" and resid 41   and name  HZ3 ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 37   and name  HD2 ))
   (( segid "   C" and resid 41   and name  HZ3 ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 37   and name  HD2 ))
   (( segid "   D" and resid 41   and name  HZ3 ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 37   and name  HD2 ))
   (( segid "   A" and resid 41   and name  HZ3 ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 41   and name  HD1 ))
   (( segid "   A" and resid 41   and name  HA  ))
      2.650     0.850     0.850

 assi 
   (( segid "   B" and resid 41   and name  HD1 ))
   (( segid "   B" and resid 41   and name  HA  ))
      2.650     0.850     0.850

 assi 
   (( segid "   C" and resid 41   and name  HD1 ))
   (( segid "   C" and resid 41   and name  HA  ))
      2.650     0.850     0.850

 assi 
   (( segid "   D" and resid 41   and name  HD1 ))
   (( segid "   D" and resid 41   and name  HA  ))
      2.650     0.850     0.850

 assi 
   (( segid "   A" and resid 41   and name  HD1 ))
   (  segid "   A" and resid 41   and name  HB# )
      2.650     0.850     0.850

 assi 
   (( segid "   B" and resid 41   and name  HD1 ))
   (  segid "   B" and resid 41   and name  HB# )
      2.650     0.850     0.850

 assi 
   (( segid "   C" and resid 41   and name  HD1 ))
   (  segid "   C" and resid 41   and name  HB# )
      2.650     0.850     0.850

 assi 
   (( segid "   D" and resid 41   and name  HD1 ))
   (  segid "   D" and resid 41   and name  HB# )
      2.650     0.850     0.850

 assi 
   (( segid "   A" and resid 41   and name  HD1 ))
   (( segid "   A" and resid 41   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 41   and name  HD1 ))
   (( segid "   B" and resid 41   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 41   and name  HD1 ))
   (( segid "   C" and resid 41   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 41   and name  HD1 ))
   (( segid "   D" and resid 41   and name  HN  ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 41   and name  HD1 ))
   (( segid "   B" and resid 41   and name  HZ2 ))
      2.650     0.850     0.850

 assi 
   (( segid "   B" and resid 41   and name  HD1 ))
   (( segid "   C" and resid 41   and name  HZ2 ))
      2.650     0.850     0.850

 assi 
   (( segid "   C" and resid 41   and name  HD1 ))
   (( segid "   D" and resid 41   and name  HZ2 ))
      2.650     0.850     0.850

 assi 
   (( segid "   D" and resid 41   and name  HD1 ))
   (( segid "   A" and resid 41   and name  HZ2 ))
      2.650     0.850     0.850

 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   B" and resid 41   and name  HZ2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 41   and name  HN  ))
   (( segid "   C" and resid 41   and name  HZ2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 41   and name  HN  ))
   (( segid "   D" and resid 41   and name  HZ2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 41   and name  HN  ))
   (( segid "   A" and resid 41   and name  HZ2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   B" and resid 41   and name  HH2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   B" and resid 41   and name  HN  ))
   (( segid "   C" and resid 41   and name  HH2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   C" and resid 41   and name  HN  ))
   (( segid "   D" and resid 41   and name  HH2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   D" and resid 41   and name  HN  ))
   (( segid "   A" and resid 41   and name  HH2 ))
      3.400     1.600     1.600

 assi 
   (( segid "   A" and resid 41   and name  HA  ))
   (( segid "   B" and resid 41   and name  HZ2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 41   and name  HA  ))
   (( segid "   C" and resid 41   and name  HZ2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 41   and name  HA  ))
   (( segid "   D" and resid 41   and name  HZ2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 41   and name  HA  ))
   (( segid "   A" and resid 41   and name  HZ2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 41   and name  HA  ))
   (( segid "   B" and resid 41   and name  HH2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   B" and resid 41   and name  HA  ))
   (( segid "   C" and resid 41   and name  HH2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   C" and resid 41   and name  HA  ))
   (( segid "   D" and resid 41   and name  HH2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   D" and resid 41   and name  HA  ))
   (( segid "   A" and resid 41   and name  HH2 ))
      2.900     1.100     1.100

 assi 
   (( segid "   A" and resid 37   and name  HE1 ))
   (( segid "   B" and resid 41   and name  CD2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   A" and resid 37   and name  HE1 ))
   (( segid "   B" and resid 41   and name  CE3 ))
      2.800     1.000     1.000

 assi 
   (( segid "   A" and resid 37   and name  HE1 ))
   (( segid "   B" and resid 41   and name  CZ3 ))
      2.800     1.000     1.000

 assi 
   (( segid "   A" and resid 37   and name  HE1 ))
   (( segid "   B" and resid 41   and name  CH2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   A" and resid 37   and name  HE1 ))
   (( segid "   B" and resid 41   and name  CZ2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   A" and resid 37   and name  HE1 ))
   (( segid "   B" and resid 41   and name  CE2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   B" and resid 37   and name  HE1 ))
   (( segid "   C" and resid 41   and name  CD2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   B" and resid 37   and name  HE1 ))
   (( segid "   C" and resid 41   and name  CE3 ))
      2.800     1.000     1.000

 assi 
   (( segid "   B" and resid 37   and name  HE1 ))
   (( segid "   C" and resid 41   and name  CZ3 ))
      2.800     1.000     1.000

 assi 
   (( segid "   B" and resid 37   and name  HE1 ))
   (( segid "   C" and resid 41   and name  CH2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   B" and resid 37   and name  HE1 ))
   (( segid "   C" and resid 41   and name  CZ2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   B" and resid 37   and name  HE1 ))
   (( segid "   C" and resid 41   and name  CE2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   C" and resid 37   and name  HE1 ))
   (( segid "   D" and resid 41   and name  CD2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   C" and resid 37   and name  HE1 ))
   (( segid "   D" and resid 41   and name  CE3 ))
      2.800     1.000     1.000

 assi 
   (( segid "   C" and resid 37   and name  HE1 ))
   (( segid "   D" and resid 41   and name  CZ3 ))
      2.800     1.000     1.000

 assi 
   (( segid "   C" and resid 37   and name  HE1 ))
   (( segid "   D" and resid 41   and name  CH2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   C" and resid 37   and name  HE1 ))
   (( segid "   D" and resid 41   and name  CZ2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   C" and resid 37   and name  HE1 ))
   (( segid "   D" and resid 41   and name  CE2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   D" and resid 37   and name  HE1 ))
   (( segid "   A" and resid 41   and name  CD2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   D" and resid 37   and name  HE1 ))
   (( segid "   A" and resid 41   and name  CE3 ))
      2.800     1.000     1.000

 assi 
   (( segid "   D" and resid 37   and name  HE1 ))
   (( segid "   A" and resid 41   and name  CZ3 ))
      2.800     1.000     1.000

 assi 
   (( segid "   D" and resid 37   and name  HE1 ))
   (( segid "   A" and resid 41   and name  CH2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   D" and resid 37   and name  HE1 ))
   (( segid "   A" and resid 41   and name  CZ2 ))
      2.800     1.000     1.000

 assi 
   (( segid "   D" and resid 37   and name  HE1 ))
   (( segid "   A" and resid 41   and name  CE2 ))
      2.800     1.000     1.000