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
	570486	2lp7 RC	18237	cing	3-converted-DOCR	XPLOR/CNS	distance	general distance	ambi

 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 37   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 35   and name  HN  ))
   (( segid "   B" and resid 37   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 35   and name  HN  ))
   (( segid "   C" and resid 37   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (( segid "   A" and resid 37   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 36   and name  HN  ))
   (( segid "   B" and resid 37   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 36   and name  HN  ))
   (( segid "   C" and resid 37   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 33   and name  HA  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 32   and name  HN  ))
   (( segid "   B" and resid 33   and name  HA  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 32   and name  HN  ))
   (( segid "   C" and resid 33   and name  HA  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (( segid "   A" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 32   and name  HA  ))
   (( segid "   B" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 32   and name  HA  ))
   (( segid "   C" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 36   and name  HG  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 36   and name  HG  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 36   and name  HG  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (( segid "   A" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 32   and name  HA  ))
   (( segid "   B" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 32   and name  HA  ))
   (( segid "   C" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 26   and name  HN  ))
   (( segid "   A" and resid 29   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 26   and name  HN  ))
   (( segid "   B" and resid 29   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 26   and name  HN  ))
   (( segid "   C" and resid 29   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (  segid "   A" and resid 27   and name  HB# )
   (( segid "   A" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   B" and resid 27   and name  HB# )
   (( segid "   B" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   C" and resid 27   and name  HB# )
   (( segid "   C" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   A" and resid 27   and name  HB# )
   (( segid "   A" and resid 29   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   B" and resid 27   and name  HB# )
   (( segid "   B" and resid 29   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   C" and resid 27   and name  HB# )
   (( segid "   C" and resid 29   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   A" and resid 36   and name  HD2#)
   (( segid "   A" and resid 31   and name  HN  ))
      6.500     6.500     0.000
 or   
   (  segid "   A" and resid 36   and name  HD1#)
   (( segid "   A" and resid 31   and name  HN  ))

 assi 
   (  segid "   B" and resid 36   and name  HD2#)
   (( segid "   B" and resid 31   and name  HN  ))
      6.500     6.500     0.000
 or   
   (  segid "   B" and resid 36   and name  HD1#)
   (( segid "   B" and resid 31   and name  HN  ))

 assi 
   (  segid "   C" and resid 36   and name  HD2#)
   (( segid "   C" and resid 31   and name  HN  ))
      6.500     6.500     0.000
 or   
   (  segid "   C" and resid 36   and name  HD1#)
   (( segid "   C" and resid 31   and name  HN  ))

 assi 
   (  segid "   A" and resid 36   and name  HD2#)
   (( segid "   A" and resid 32   and name  HN  ))
      6.500     6.500     0.000
 or   
   (  segid "   A" and resid 36   and name  HD1#)
   (( segid "   A" and resid 32   and name  HN  ))

 assi 
   (  segid "   B" and resid 36   and name  HD2#)
   (( segid "   B" and resid 32   and name  HN  ))
      6.500     6.500     0.000
 or   
   (  segid "   B" and resid 36   and name  HD1#)
   (( segid "   B" and resid 32   and name  HN  ))

 assi 
   (  segid "   C" and resid 36   and name  HD2#)
   (( segid "   C" and resid 32   and name  HN  ))
      6.500     6.500     0.000
 or   
   (  segid "   C" and resid 36   and name  HD1#)
   (( segid "   C" and resid 32   and name  HN  ))

 assi 
   (  segid "   A" and resid 36   and name  HD2#)
   (( segid "   A" and resid 34   and name  HN  ))
      6.500     6.500     0.000
 or   
   (  segid "   A" and resid 36   and name  HD1#)
   (( segid "   A" and resid 34   and name  HN  ))

 assi 
   (  segid "   B" and resid 36   and name  HD2#)
   (( segid "   B" and resid 34   and name  HN  ))
      6.500     6.500     0.000
 or   
   (  segid "   B" and resid 36   and name  HD1#)
   (( segid "   B" and resid 34   and name  HN  ))

 assi 
   (  segid "   C" and resid 36   and name  HD2#)
   (( segid "   C" and resid 34   and name  HN  ))
      6.500     6.500     0.000
 or   
   (  segid "   C" and resid 36   and name  HD1#)
   (( segid "   C" and resid 34   and name  HN  ))

 assi 
   (  segid "   A" and resid 33   and name  HG# )
   (( segid "   A" and resid 31   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   B" and resid 33   and name  HG# )
   (( segid "   B" and resid 31   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   C" and resid 33   and name  HG# )
   (( segid "   C" and resid 31   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   A" and resid 31   and name  HA# )
   (( segid "   A" and resid 32   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (  segid "   B" and resid 31   and name  HA# )
   (( segid "   B" and resid 32   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (  segid "   C" and resid 31   and name  HA# )
   (( segid "   C" and resid 32   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (  segid "   A" and resid 31   and name  HA# )
   (( segid "   A" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   B" and resid 31   and name  HA# )
   (( segid "   B" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   C" and resid 31   and name  HA# )
   (( segid "   C" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   A" and resid 40   and name  HB# )
   (( segid "   A" and resid 38   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   B" and resid 40   and name  HB# )
   (( segid "   B" and resid 38   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   C" and resid 40   and name  HB# )
   (( segid "   C" and resid 38   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 51   and name  HA  ))
   (( segid "   A" and resid 54   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 51   and name  HA  ))
   (( segid "   B" and resid 54   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 51   and name  HA  ))
   (( segid "   C" and resid 54   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   A" and resid 51   and name  HG2#)
   (( segid "   A" and resid 48   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (  segid "   B" and resid 51   and name  HG2#)
   (( segid "   B" and resid 48   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (  segid "   C" and resid 51   and name  HG2#)
   (( segid "   C" and resid 48   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (  segid "   A" and resid 51   and name  HG1#)
   (( segid "   A" and resid 48   and name  HE1 ))
      6.000     6.000     0.000

 assi 
   (  segid "   B" and resid 51   and name  HG1#)
   (( segid "   B" and resid 48   and name  HE1 ))
      6.000     6.000     0.000

 assi 
   (  segid "   C" and resid 51   and name  HG1#)
   (( segid "   C" and resid 48   and name  HE1 ))
      6.000     6.000     0.000

 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (( segid "   A" and resid 31   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 29   and name  HN  ))
   (( segid "   B" and resid 31   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 29   and name  HN  ))
   (( segid "   C" and resid 31   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 50   and name  HN  ))
   (( segid "   B" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 50   and name  HN  ))
   (( segid "   C" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 46   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 46   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 46   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 31   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 31   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 31   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 40   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 40   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 40   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 41   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 41   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 41   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 42   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 45   and name  HN  ))
   (( segid "   B" and resid 42   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 45   and name  HN  ))
   (( segid "   C" and resid 42   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 47   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (( segid "   B" and resid 47   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (( segid "   C" and resid 47   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 50   and name  HN  ))
   (( segid "   B" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 50   and name  HN  ))
   (( segid "   C" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (( segid "   A" and resid 38   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 36   and name  HN  ))
   (( segid "   B" and resid 38   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 36   and name  HN  ))
   (( segid "   C" and resid 38   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 38   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 35   and name  HN  ))
   (( segid "   B" and resid 38   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 35   and name  HN  ))
   (( segid "   C" and resid 38   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 30   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 30   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 30   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 20   and name  HE1 ))
   (( segid "   A" and resid 5    and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 20   and name  HE1 ))
   (( segid "   B" and resid 5    and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 20   and name  HE1 ))
   (( segid "   C" and resid 5    and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 25   and name  HA  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 28   and name  HN  ))
   (( segid "   B" and resid 25   and name  HA  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 28   and name  HN  ))
   (( segid "   C" and resid 25   and name  HA  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 12   and name  HN  ))
   (  segid "   A" and resid 22   and name  HD2#)
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 12   and name  HN  ))
   (  segid "   B" and resid 22   and name  HD2#)
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 12   and name  HN  ))
   (  segid "   C" and resid 22   and name  HD2#)
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 31   and name  HN  ))
   (  segid "   A" and resid 32   and name  HB# )
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 31   and name  HN  ))
   (  segid "   B" and resid 32   and name  HB# )
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 31   and name  HN  ))
   (  segid "   C" and resid 32   and name  HB# )
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 31   and name  HN  ))
   (  segid "   A" and resid 33   and name  HG# )
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 31   and name  HN  ))
   (  segid "   B" and resid 33   and name  HG# )
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 31   and name  HN  ))
   (  segid "   C" and resid 33   and name  HG# )
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 31   and name  HN  ))
   (  segid "   A" and resid 33   and name  HB# )
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 31   and name  HN  ))
   (  segid "   B" and resid 33   and name  HB# )
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 31   and name  HN  ))
   (  segid "   C" and resid 33   and name  HB# )
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (  segid "   A" and resid 36   and name  HD1#)
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (  segid "   B" and resid 36   and name  HD1#)
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (  segid "   C" and resid 36   and name  HD1#)
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 24   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 28   and name  HN  ))
   (( segid "   B" and resid 24   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 28   and name  HN  ))
   (( segid "   C" and resid 24   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 48   and name  HE1 ))
   (  segid "   A" and resid 45   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 48   and name  HE1 ))
   (  segid "   B" and resid 45   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 48   and name  HE1 ))
   (  segid "   C" and resid 45   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 34   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 39   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 36   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 34   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 36   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 39   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 43   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 26   and name  HN  ))
   (( segid "   A" and resid 27   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 19   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 56   and name  HN  ))
   (( segid "   A" and resid 57   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 57   and name  HN  ))
   (( segid "   A" and resid 58   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 58   and name  HN  ))
   (( segid "   A" and resid 59   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 33   and name  HA  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (  segid "   A" and resid 43   and name  HB# )
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 34   and name  HA  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 48   and name  HA  ))
      3.000     3.000     0.000

 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (  segid "   A" and resid 28   and name  HA# )
      3.000     3.000     0.000

 assi 
   (  segid "   A" and resid 31   and name  HA# )
   (( segid "   A" and resid 32   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (  segid "   A" and resid 32   and name  HB# )
   (( segid "   A" and resid 33   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 42   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 42   and name  HE1 ))
      4.750     4.750     0.000

 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 54   and name  HN  ))
   (( segid "   A" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 20   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 15   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   A" and resid 14   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 18   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 24   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 20   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 24   and name  HN  ))
   (( segid "   A" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 8    and name  HN  ))
   (( segid "   A" and resid 9    and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 31   and name  HN  ))
   (( segid "   A" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 31   and name  HN  ))
   (( segid "   A" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 30   and name  HN  ))
   (( segid "   A" and resid 31   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 9    and name  HN  ))
   (( segid "   A" and resid 10   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 9    and name  HN  ))
   (( segid "   A" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (( segid "   A" and resid 30   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 44   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 29   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 51   and name  HN  ))
   (( segid "   A" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (( segid "   A" and resid 48   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 42   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 54   and name  HN  ))
   (( segid "   A" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   A" and resid 14   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 15   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 18   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 20   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 24   and name  HN  ))
   (( segid "   A" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 24   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 31   and name  HN  ))
   (( segid "   A" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 31   and name  HN  ))
   (( segid "   A" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 30   and name  HN  ))
   (( segid "   A" and resid 31   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 42   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 9    and name  HN  ))
   (( segid "   A" and resid 10   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 9    and name  HN  ))
   (( segid "   A" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 8    and name  HN  ))
   (( segid "   A" and resid 9    and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (( segid "   A" and resid 30   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 44   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 29   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 44   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (( segid "   A" and resid 48   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 51   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 49   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 47   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 52   and name  HN  ))
   (( segid "   A" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 51   and name  HN  ))
   (( segid "   A" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 51   and name  HN  ))
   (( segid "   A" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 53   and name  HN  ))
   (( segid "   A" and resid 55   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 26   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 55   and name  HN  ))
   (( segid "   A" and resid 57   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 26   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 54   and name  HN  ))
   (( segid "   A" and resid 55   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 53   and name  HN  ))
   (( segid "   A" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 47   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 52   and name  HN  ))
   (( segid "   A" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 20   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 49   and name  HN  ))
   (( segid "   A" and resid 50   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 18   and name  HN  ))
   (( segid "   A" and resid 19   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 50   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 56   and name  HN  ))
   (( segid "   A" and resid 56   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 56   and name  HN  ))
   (( segid "   A" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 54   and name  HN  ))
   (( segid "   A" and resid 56   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 55   and name  HN  ))
   (( segid "   A" and resid 56   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 56   and name  HN  ))
   (( segid "   A" and resid 58   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 57   and name  HN  ))
   (( segid "   A" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 24   and name  HN  ))
   (( segid "   A" and resid 27   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 27   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 30   and name  HA  ))
   (( segid "   A" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 36   and name  HG  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 29   and name  HA  ))
   (( segid "   A" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 36   and name  HG  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 39   and name  HG  ))
   (( segid "   A" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 27   and name  HA  ))
   (( segid "   A" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 19   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 57   and name  HN  ))
   (( segid "   A" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 58   and name  HN  ))
   (( segid "   A" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 24   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 39   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 41   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 39   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 51   and name  HN  ))
   (( segid "   A" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 51   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 54   and name  HN  ))
   (( segid "   A" and resid 56   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 56   and name  HN  ))
   (( segid "   A" and resid 57   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 57   and name  HN  ))
   (( segid "   A" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 56   and name  HN  ))
   (( segid "   A" and resid 57   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 27   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 57   and name  HN  ))
   (( segid "   A" and resid 58   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 58   and name  HN  ))
   (( segid "   A" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 52   and name  HN  ))
   (( segid "   A" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 57   and name  HN  ))
   (( segid "   A" and resid 58   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   A" and resid 27   and name  HB# )
   (( segid "   A" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   A" and resid 27   and name  HB# )
   (( segid "   A" and resid 29   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   A" and resid 31   and name  HA# )
   (( segid "   A" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   A" and resid 32   and name  HB# )
   (( segid "   A" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   A" and resid 32   and name  HB# )
   (( segid "   A" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (  segid "   A" and resid 40   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (  segid "   A" and resid 40   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (  segid "   A" and resid 40   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (  segid "   A" and resid 45   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 53   and name  HN  ))
   (  segid "   A" and resid 53   and name  HB# )
      4.500     4.500     0.000

 assi 
   (  segid "   A" and resid 53   and name  HB# )
   (( segid "   A" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 36   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 29   and name  HA  ))
   (( segid "   A" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 30   and name  HA  ))
   (( segid "   A" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   A" and resid 31   and name  HA# )
   (( segid "   A" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   A" and resid 18   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 42   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 48   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 8    and name  HN  ))
   (( segid "   A" and resid 10   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   A" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 24   and name  HN  ))
   (( segid "   A" and resid 26   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 20   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 24   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 25   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 48   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 6    and name  HN  ))
   (( segid "   A" and resid 20   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 8    and name  HN  ))
   (( segid "   A" and resid 10   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 12   and name  HN  ))
   (( segid "   A" and resid 13   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   A" and resid 18   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 24   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 20   and name  HN  ))
   (( segid "   A" and resid 20   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 20   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 25   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   A" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 49   and name  HN  ))
   (( segid "   A" and resid 51   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 12   and name  HN  ))
   (( segid "   A" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 12   and name  HN  ))
   (( segid "   A" and resid 24   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 24   and name  HN  ))
   (( segid "   A" and resid 26   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (( segid "   A" and resid 50   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 5    and name  HN  ))
   (( segid "   A" and resid 6    and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 54   and name  HN  ))
   (( segid "   A" and resid 57   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 29   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 30   and name  HN  ))
   (( segid "   A" and resid 32   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 56   and name  HN  ))
   (( segid "   A" and resid 59   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 25   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 45   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 45   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 52   and name  HN  ))
   (( segid "   A" and resid 54   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 9    and name  HN  ))
   (( segid "   A" and resid 11   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 50   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 53   and name  HN  ))
   (( segid "   A" and resid 55   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 27   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 56   and name  HN  ))
   (( segid "   A" and resid 58   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 46   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 26   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 56   and name  HN  ))
   (( segid "   A" and resid 58   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 44   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 24   and name  HN  ))
   (( segid "   A" and resid 27   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 46   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   A" and resid 31   and name  HA# )
   (( segid "   A" and resid 34   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   A" and resid 40   and name  HB# )
   (( segid "   A" and resid 43   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   A" and resid 31   and name  HA# )
   (( segid "   A" and resid 34   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 17   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 42   and name  HE1 ))
   (( segid "   A" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 49   and name  HN  ))
   (( segid "   A" and resid 48   and name  HE1 ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 54   and name  HE1 ))
   (( segid "   A" and resid 55   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 51   and name  HN  ))
   (( segid "   A" and resid 54   and name  HE1 ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 20   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 26   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 42   and name  HE1 ))
   (( segid "   A" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 51   and name  HN  ))
   (( segid "   A" and resid 54   and name  HE1 ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 17   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 26   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 11   and name  HN  ))
   (( segid "   A" and resid 12   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   A" and resid 19   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 55   and name  HN  ))
   (( segid "   A" and resid 58   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 42   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 27   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 30   and name  HN  ))
   (( segid "   A" and resid 33   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 52   and name  HN  ))
   (( segid "   A" and resid 55   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (  segid "   A" and resid 42   and name  HB# )
   (( segid "   A" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (  segid "   A" and resid 42   and name  HB# )
   (( segid "   A" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 54   and name  HA  ))
   (( segid "   A" and resid 57   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 40   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 25   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 54   and name  HN  ))
   (( segid "   A" and resid 57   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 52   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 35   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (( segid "   B" and resid 34   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (( segid "   B" and resid 39   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 35   and name  HN  ))
   (( segid "   B" and resid 36   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (( segid "   B" and resid 34   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 35   and name  HN  ))
   (( segid "   B" and resid 36   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 35   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (( segid "   B" and resid 39   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 42   and name  HN  ))
   (( segid "   B" and resid 43   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 26   and name  HN  ))
   (( segid "   B" and resid 27   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 19   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 56   and name  HN  ))
   (( segid "   B" and resid 57   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 57   and name  HN  ))
   (( segid "   B" and resid 58   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 58   and name  HN  ))
   (( segid "   B" and resid 59   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (( segid "   B" and resid 33   and name  HA  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (  segid "   B" and resid 43   and name  HB# )
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 34   and name  HA  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 48   and name  HN  ))
   (( segid "   B" and resid 48   and name  HA  ))
      3.000     3.000     0.000

 assi 
   (( segid "   B" and resid 28   and name  HN  ))
   (  segid "   B" and resid 28   and name  HA# )
      3.000     3.000     0.000

 assi 
   (  segid "   B" and resid 31   and name  HA# )
   (( segid "   B" and resid 32   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (  segid "   B" and resid 32   and name  HB# )
   (( segid "   B" and resid 33   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (( segid "   B" and resid 42   and name  HN  ))
   (( segid "   B" and resid 42   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (( segid "   B" and resid 42   and name  HE1 ))
      4.750     4.750     0.000

 assi 
   (( segid "   B" and resid 50   and name  HN  ))
   (( segid "   B" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 54   and name  HN  ))
   (( segid "   B" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 20   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 21   and name  HN  ))
   (( segid "   B" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 10   and name  HN  ))
   (( segid "   B" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 15   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 13   and name  HN  ))
   (( segid "   B" and resid 14   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 18   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 24   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 19   and name  HN  ))
   (( segid "   B" and resid 20   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 24   and name  HN  ))
   (( segid "   B" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 22   and name  HN  ))
   (( segid "   B" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 8    and name  HN  ))
   (( segid "   B" and resid 9    and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 31   and name  HN  ))
   (( segid "   B" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 31   and name  HN  ))
   (( segid "   B" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 30   and name  HN  ))
   (( segid "   B" and resid 31   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 9    and name  HN  ))
   (( segid "   B" and resid 10   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 9    and name  HN  ))
   (( segid "   B" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (( segid "   B" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (( segid "   B" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 29   and name  HN  ))
   (( segid "   B" and resid 30   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (( segid "   B" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (( segid "   B" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 44   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 28   and name  HN  ))
   (( segid "   B" and resid 29   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 51   and name  HN  ))
   (( segid "   B" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 47   and name  HN  ))
   (( segid "   B" and resid 48   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 42   and name  HN  ))
   (( segid "   B" and resid 42   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 54   and name  HN  ))
   (( segid "   B" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 13   and name  HN  ))
   (( segid "   B" and resid 14   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 15   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 18   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 20   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 24   and name  HN  ))
   (( segid "   B" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 24   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 22   and name  HN  ))
   (( segid "   B" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 21   and name  HN  ))
   (( segid "   B" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (( segid "   B" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 31   and name  HN  ))
   (( segid "   B" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 31   and name  HN  ))
   (( segid "   B" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 30   and name  HN  ))
   (( segid "   B" and resid 31   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 40   and name  HN  ))
   (( segid "   B" and resid 42   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 9    and name  HN  ))
   (( segid "   B" and resid 10   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 10   and name  HN  ))
   (( segid "   B" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 9    and name  HN  ))
   (( segid "   B" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 32   and name  HN  ))
   (( segid "   B" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 8    and name  HN  ))
   (( segid "   B" and resid 9    and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (( segid "   B" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 29   and name  HN  ))
   (( segid "   B" and resid 30   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (( segid "   B" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 42   and name  HN  ))
   (( segid "   B" and resid 44   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 28   and name  HN  ))
   (( segid "   B" and resid 29   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 44   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 47   and name  HN  ))
   (( segid "   B" and resid 48   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 50   and name  HN  ))
   (( segid "   B" and resid 51   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 48   and name  HN  ))
   (( segid "   B" and resid 49   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 45   and name  HN  ))
   (( segid "   B" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 46   and name  HN  ))
   (( segid "   B" and resid 47   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 52   and name  HN  ))
   (( segid "   B" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 51   and name  HN  ))
   (( segid "   B" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 51   and name  HN  ))
   (( segid "   B" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 53   and name  HN  ))
   (( segid "   B" and resid 55   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 25   and name  HN  ))
   (( segid "   B" and resid 26   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 55   and name  HN  ))
   (( segid "   B" and resid 57   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 26   and name  HN  ))
   (( segid "   B" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (( segid "   B" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 54   and name  HN  ))
   (( segid "   B" and resid 55   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 53   and name  HN  ))
   (( segid "   B" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 45   and name  HN  ))
   (( segid "   B" and resid 47   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 52   and name  HN  ))
   (( segid "   B" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 19   and name  HN  ))
   (( segid "   B" and resid 20   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 49   and name  HN  ))
   (( segid "   B" and resid 50   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 18   and name  HN  ))
   (( segid "   B" and resid 19   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 50   and name  HN  ))
   (( segid "   B" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 48   and name  HN  ))
   (( segid "   B" and resid 50   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 50   and name  HN  ))
   (( segid "   B" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 56   and name  HN  ))
   (( segid "   B" and resid 56   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 56   and name  HN  ))
   (( segid "   B" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 54   and name  HN  ))
   (( segid "   B" and resid 56   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 55   and name  HN  ))
   (( segid "   B" and resid 56   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 56   and name  HN  ))
   (( segid "   B" and resid 58   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 57   and name  HN  ))
   (( segid "   B" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 27   and name  HN  ))
   (( segid "   B" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 24   and name  HN  ))
   (( segid "   B" and resid 27   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 25   and name  HN  ))
   (( segid "   B" and resid 27   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 32   and name  HN  ))
   (( segid "   B" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 50   and name  HN  ))
   (( segid "   B" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 30   and name  HA  ))
   (( segid "   B" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (( segid "   B" and resid 36   and name  HG  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 29   and name  HA  ))
   (( segid "   B" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 36   and name  HG  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 39   and name  HG  ))
   (( segid "   B" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 27   and name  HA  ))
   (( segid "   B" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 19   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 57   and name  HN  ))
   (( segid "   B" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 58   and name  HN  ))
   (( segid "   B" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 24   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (( segid "   B" and resid 39   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (( segid "   B" and resid 41   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (( segid "   B" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 45   and name  HN  ))
   (( segid "   B" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (( segid "   B" and resid 39   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 33   and name  HN  ))
   (( segid "   B" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 51   and name  HN  ))
   (( segid "   B" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 50   and name  HN  ))
   (( segid "   B" and resid 51   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 54   and name  HN  ))
   (( segid "   B" and resid 56   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 56   and name  HN  ))
   (( segid "   B" and resid 57   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 27   and name  HN  ))
   (( segid "   B" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 57   and name  HN  ))
   (( segid "   B" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 56   and name  HN  ))
   (( segid "   B" and resid 57   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 25   and name  HN  ))
   (( segid "   B" and resid 27   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 57   and name  HN  ))
   (( segid "   B" and resid 58   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 58   and name  HN  ))
   (( segid "   B" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 52   and name  HN  ))
   (( segid "   B" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 57   and name  HN  ))
   (( segid "   B" and resid 58   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (( segid "   B" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 27   and name  HN  ))
   (( segid "   B" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   B" and resid 27   and name  HB# )
   (( segid "   B" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   B" and resid 27   and name  HB# )
   (( segid "   B" and resid 29   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   B" and resid 31   and name  HA# )
   (( segid "   B" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   B" and resid 32   and name  HB# )
   (( segid "   B" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   B" and resid 32   and name  HB# )
   (( segid "   B" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (  segid "   B" and resid 40   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (  segid "   B" and resid 40   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 40   and name  HN  ))
   (  segid "   B" and resid 40   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 45   and name  HN  ))
   (  segid "   B" and resid 45   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 53   and name  HN  ))
   (  segid "   B" and resid 53   and name  HB# )
      4.500     4.500     0.000

 assi 
   (  segid "   B" and resid 53   and name  HB# )
   (( segid "   B" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 34   and name  HN  ))
   (( segid "   B" and resid 36   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (( segid "   B" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 29   and name  HA  ))
   (( segid "   B" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 30   and name  HA  ))
   (( segid "   B" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   B" and resid 31   and name  HA# )
   (( segid "   B" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 17   and name  HN  ))
   (( segid "   B" and resid 18   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 48   and name  HN  ))
   (( segid "   B" and resid 48   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 13   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 15   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 19   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 8    and name  HN  ))
   (( segid "   B" and resid 10   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 13   and name  HN  ))
   (( segid "   B" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 24   and name  HN  ))
   (( segid "   B" and resid 26   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 20   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 22   and name  HN  ))
   (( segid "   B" and resid 24   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 22   and name  HN  ))
   (( segid "   B" and resid 25   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 21   and name  HN  ))
   (( segid "   B" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 15   and name  HN  ))
   (( segid "   B" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 25   and name  HN  ))
   (( segid "   B" and resid 28   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (( segid "   B" and resid 42   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 48   and name  HN  ))
   (( segid "   B" and resid 48   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 6    and name  HN  ))
   (( segid "   B" and resid 20   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 15   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 21   and name  HN  ))
   (( segid "   B" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 19   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 8    and name  HN  ))
   (( segid "   B" and resid 10   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 12   and name  HN  ))
   (( segid "   B" and resid 13   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 13   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 17   and name  HN  ))
   (( segid "   B" and resid 18   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 22   and name  HN  ))
   (( segid "   B" and resid 24   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 20   and name  HN  ))
   (( segid "   B" and resid 20   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 20   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 15   and name  HN  ))
   (( segid "   B" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 22   and name  HN  ))
   (( segid "   B" and resid 25   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 13   and name  HN  ))
   (( segid "   B" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 32   and name  HN  ))
   (( segid "   B" and resid 35   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 25   and name  HN  ))
   (( segid "   B" and resid 28   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 49   and name  HN  ))
   (( segid "   B" and resid 51   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 12   and name  HN  ))
   (( segid "   B" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 12   and name  HN  ))
   (( segid "   B" and resid 24   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 24   and name  HN  ))
   (( segid "   B" and resid 26   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 47   and name  HN  ))
   (( segid "   B" and resid 50   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 5    and name  HN  ))
   (( segid "   B" and resid 6    and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 54   and name  HN  ))
   (( segid "   B" and resid 57   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 27   and name  HN  ))
   (( segid "   B" and resid 29   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 30   and name  HN  ))
   (( segid "   B" and resid 32   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 56   and name  HN  ))
   (( segid "   B" and resid 59   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 25   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 45   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 45   and name  HN  ))
   (( segid "   B" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 43   and name  HN  ))
   (( segid "   B" and resid 45   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 52   and name  HN  ))
   (( segid "   B" and resid 54   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 9    and name  HN  ))
   (( segid "   B" and resid 11   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 48   and name  HN  ))
   (( segid "   B" and resid 50   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 53   and name  HN  ))
   (( segid "   B" and resid 55   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 25   and name  HN  ))
   (( segid "   B" and resid 27   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 56   and name  HN  ))
   (( segid "   B" and resid 58   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (( segid "   B" and resid 46   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 26   and name  HN  ))
   (( segid "   B" and resid 28   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 45   and name  HN  ))
   (( segid "   B" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 56   and name  HN  ))
   (( segid "   B" and resid 58   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 42   and name  HN  ))
   (( segid "   B" and resid 44   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 24   and name  HN  ))
   (( segid "   B" and resid 27   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 44   and name  HN  ))
   (( segid "   B" and resid 46   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   B" and resid 31   and name  HA# )
   (( segid "   B" and resid 34   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   B" and resid 40   and name  HB# )
   (( segid "   B" and resid 43   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   B" and resid 31   and name  HA# )
   (( segid "   B" and resid 34   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 17   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 42   and name  HE1 ))
   (( segid "   B" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 49   and name  HN  ))
   (( segid "   B" and resid 48   and name  HE1 ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 54   and name  HE1 ))
   (( segid "   B" and resid 55   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 51   and name  HN  ))
   (( segid "   B" and resid 54   and name  HE1 ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (( segid "   B" and resid 20   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 26   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 42   and name  HE1 ))
   (( segid "   B" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 51   and name  HN  ))
   (( segid "   B" and resid 54   and name  HE1 ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 17   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 26   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 11   and name  HN  ))
   (( segid "   B" and resid 12   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 17   and name  HN  ))
   (( segid "   B" and resid 19   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 55   and name  HN  ))
   (( segid "   B" and resid 58   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 39   and name  HN  ))
   (( segid "   B" and resid 42   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 27   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 30   and name  HN  ))
   (( segid "   B" and resid 33   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 52   and name  HN  ))
   (( segid "   B" and resid 55   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (  segid "   B" and resid 42   and name  HB# )
   (( segid "   B" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (  segid "   B" and resid 42   and name  HB# )
   (( segid "   B" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 54   and name  HA  ))
   (( segid "   B" and resid 57   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 16   and name  HN  ))
   (( segid "   B" and resid 21   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (( segid "   B" and resid 40   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 40   and name  HN  ))
   (( segid "   B" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (( segid "   B" and resid 25   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 54   and name  HN  ))
   (( segid "   B" and resid 57   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 50   and name  HN  ))
   (( segid "   B" and resid 52   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 25   and name  HN  ))
   (( segid "   B" and resid 28   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 35   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (( segid "   C" and resid 34   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (( segid "   C" and resid 39   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 35   and name  HN  ))
   (( segid "   C" and resid 36   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (( segid "   C" and resid 34   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 35   and name  HN  ))
   (( segid "   C" and resid 36   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 35   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (( segid "   C" and resid 39   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 42   and name  HN  ))
   (( segid "   C" and resid 43   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 26   and name  HN  ))
   (( segid "   C" and resid 27   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 19   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 56   and name  HN  ))
   (( segid "   C" and resid 57   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 57   and name  HN  ))
   (( segid "   C" and resid 58   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 58   and name  HN  ))
   (( segid "   C" and resid 59   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (( segid "   C" and resid 33   and name  HA  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (  segid "   C" and resid 43   and name  HB# )
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 34   and name  HA  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 48   and name  HN  ))
   (( segid "   C" and resid 48   and name  HA  ))
      3.000     3.000     0.000

 assi 
   (( segid "   C" and resid 28   and name  HN  ))
   (  segid "   C" and resid 28   and name  HA# )
      3.000     3.000     0.000

 assi 
   (  segid "   C" and resid 31   and name  HA# )
   (( segid "   C" and resid 32   and name  HN  ))
      3.000     3.000     0.000

 assi 
   (  segid "   C" and resid 32   and name  HB# )
   (( segid "   C" and resid 33   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (( segid "   C" and resid 42   and name  HN  ))
   (( segid "   C" and resid 42   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (( segid "   C" and resid 42   and name  HE1 ))
      4.750     4.750     0.000

 assi 
   (( segid "   C" and resid 50   and name  HN  ))
   (( segid "   C" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 54   and name  HN  ))
   (( segid "   C" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 20   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 21   and name  HN  ))
   (( segid "   C" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 10   and name  HN  ))
   (( segid "   C" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 15   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 13   and name  HN  ))
   (( segid "   C" and resid 14   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 18   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 24   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 19   and name  HN  ))
   (( segid "   C" and resid 20   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 24   and name  HN  ))
   (( segid "   C" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 22   and name  HN  ))
   (( segid "   C" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 8    and name  HN  ))
   (( segid "   C" and resid 9    and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 31   and name  HN  ))
   (( segid "   C" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 31   and name  HN  ))
   (( segid "   C" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 30   and name  HN  ))
   (( segid "   C" and resid 31   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 9    and name  HN  ))
   (( segid "   C" and resid 10   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 9    and name  HN  ))
   (( segid "   C" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (( segid "   C" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (( segid "   C" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 29   and name  HN  ))
   (( segid "   C" and resid 30   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (( segid "   C" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (( segid "   C" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 44   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 28   and name  HN  ))
   (( segid "   C" and resid 29   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 51   and name  HN  ))
   (( segid "   C" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 47   and name  HN  ))
   (( segid "   C" and resid 48   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 42   and name  HN  ))
   (( segid "   C" and resid 42   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 54   and name  HN  ))
   (( segid "   C" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 13   and name  HN  ))
   (( segid "   C" and resid 14   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 15   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 18   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 20   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 24   and name  HN  ))
   (( segid "   C" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 24   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 22   and name  HN  ))
   (( segid "   C" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 21   and name  HN  ))
   (( segid "   C" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 22   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (( segid "   C" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 31   and name  HN  ))
   (( segid "   C" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 23   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 31   and name  HN  ))
   (( segid "   C" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 30   and name  HN  ))
   (( segid "   C" and resid 31   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 25   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 40   and name  HN  ))
   (( segid "   C" and resid 42   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 9    and name  HN  ))
   (( segid "   C" and resid 10   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 10   and name  HN  ))
   (( segid "   C" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 9    and name  HN  ))
   (( segid "   C" and resid 11   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 32   and name  HN  ))
   (( segid "   C" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 8    and name  HN  ))
   (( segid "   C" and resid 9    and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (( segid "   C" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 29   and name  HN  ))
   (( segid "   C" and resid 30   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (( segid "   C" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 42   and name  HN  ))
   (( segid "   C" and resid 44   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 28   and name  HN  ))
   (( segid "   C" and resid 29   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 44   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 47   and name  HN  ))
   (( segid "   C" and resid 48   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 50   and name  HN  ))
   (( segid "   C" and resid 51   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 48   and name  HN  ))
   (( segid "   C" and resid 49   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 45   and name  HN  ))
   (( segid "   C" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 46   and name  HN  ))
   (( segid "   C" and resid 47   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 52   and name  HN  ))
   (( segid "   C" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 51   and name  HN  ))
   (( segid "   C" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 51   and name  HN  ))
   (( segid "   C" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 53   and name  HN  ))
   (( segid "   C" and resid 55   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 25   and name  HN  ))
   (( segid "   C" and resid 26   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 55   and name  HN  ))
   (( segid "   C" and resid 57   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 26   and name  HN  ))
   (( segid "   C" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (( segid "   C" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 54   and name  HN  ))
   (( segid "   C" and resid 55   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 53   and name  HN  ))
   (( segid "   C" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 45   and name  HN  ))
   (( segid "   C" and resid 47   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 52   and name  HN  ))
   (( segid "   C" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 19   and name  HN  ))
   (( segid "   C" and resid 20   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 49   and name  HN  ))
   (( segid "   C" and resid 50   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 18   and name  HN  ))
   (( segid "   C" and resid 19   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 50   and name  HN  ))
   (( segid "   C" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 48   and name  HN  ))
   (( segid "   C" and resid 50   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 50   and name  HN  ))
   (( segid "   C" and resid 54   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 56   and name  HN  ))
   (( segid "   C" and resid 56   and name  HE1 ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 56   and name  HN  ))
   (( segid "   C" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 54   and name  HN  ))
   (( segid "   C" and resid 56   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 55   and name  HN  ))
   (( segid "   C" and resid 56   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 56   and name  HN  ))
   (( segid "   C" and resid 58   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 57   and name  HN  ))
   (( segid "   C" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 27   and name  HN  ))
   (( segid "   C" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 24   and name  HN  ))
   (( segid "   C" and resid 27   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 25   and name  HN  ))
   (( segid "   C" and resid 27   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 32   and name  HN  ))
   (( segid "   C" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 50   and name  HN  ))
   (( segid "   C" and resid 53   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 30   and name  HA  ))
   (( segid "   C" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (( segid "   C" and resid 36   and name  HG  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 29   and name  HA  ))
   (( segid "   C" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 36   and name  HG  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 39   and name  HG  ))
   (( segid "   C" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 27   and name  HA  ))
   (( segid "   C" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 19   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 57   and name  HN  ))
   (( segid "   C" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 58   and name  HN  ))
   (( segid "   C" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 24   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (( segid "   C" and resid 39   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (( segid "   C" and resid 41   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (( segid "   C" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 45   and name  HN  ))
   (( segid "   C" and resid 46   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (( segid "   C" and resid 39   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 33   and name  HN  ))
   (( segid "   C" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 51   and name  HN  ))
   (( segid "   C" and resid 52   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 50   and name  HN  ))
   (( segid "   C" and resid 51   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 54   and name  HN  ))
   (( segid "   C" and resid 56   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 56   and name  HN  ))
   (( segid "   C" and resid 57   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 27   and name  HN  ))
   (( segid "   C" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 57   and name  HN  ))
   (( segid "   C" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 56   and name  HN  ))
   (( segid "   C" and resid 57   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 25   and name  HN  ))
   (( segid "   C" and resid 27   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 57   and name  HN  ))
   (( segid "   C" and resid 58   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 58   and name  HN  ))
   (( segid "   C" and resid 59   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 52   and name  HN  ))
   (( segid "   C" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 57   and name  HN  ))
   (( segid "   C" and resid 58   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (( segid "   C" and resid 45   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 27   and name  HN  ))
   (( segid "   C" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   C" and resid 27   and name  HB# )
   (( segid "   C" and resid 28   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   C" and resid 27   and name  HB# )
   (( segid "   C" and resid 29   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   C" and resid 31   and name  HA# )
   (( segid "   C" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   C" and resid 32   and name  HB# )
   (( segid "   C" and resid 34   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   C" and resid 32   and name  HB# )
   (( segid "   C" and resid 35   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (  segid "   C" and resid 40   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (  segid "   C" and resid 40   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 40   and name  HN  ))
   (  segid "   C" and resid 40   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 45   and name  HN  ))
   (  segid "   C" and resid 45   and name  HB# )
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 53   and name  HN  ))
   (  segid "   C" and resid 53   and name  HB# )
      4.500     4.500     0.000

 assi 
   (  segid "   C" and resid 53   and name  HB# )
   (( segid "   C" and resid 54   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 34   and name  HN  ))
   (( segid "   C" and resid 36   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (( segid "   C" and resid 40   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 29   and name  HA  ))
   (( segid "   C" and resid 32   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 30   and name  HA  ))
   (( segid "   C" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (  segid "   C" and resid 31   and name  HA# )
   (( segid "   C" and resid 33   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 17   and name  HN  ))
   (( segid "   C" and resid 18   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 48   and name  HN  ))
   (( segid "   C" and resid 48   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 13   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 15   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 19   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 8    and name  HN  ))
   (( segid "   C" and resid 10   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 13   and name  HN  ))
   (( segid "   C" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 24   and name  HN  ))
   (( segid "   C" and resid 26   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 20   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 22   and name  HN  ))
   (( segid "   C" and resid 24   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 22   and name  HN  ))
   (( segid "   C" and resid 25   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 21   and name  HN  ))
   (( segid "   C" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 15   and name  HN  ))
   (( segid "   C" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 25   and name  HN  ))
   (( segid "   C" and resid 28   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (( segid "   C" and resid 42   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 48   and name  HN  ))
   (( segid "   C" and resid 48   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 6    and name  HN  ))
   (( segid "   C" and resid 20   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 15   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 21   and name  HN  ))
   (( segid "   C" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 19   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 8    and name  HN  ))
   (( segid "   C" and resid 10   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 12   and name  HN  ))
   (( segid "   C" and resid 13   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 13   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 17   and name  HN  ))
   (( segid "   C" and resid 18   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 22   and name  HN  ))
   (( segid "   C" and resid 24   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 20   and name  HN  ))
   (( segid "   C" and resid 20   and name  HE1 ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 20   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 15   and name  HN  ))
   (( segid "   C" and resid 16   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 22   and name  HN  ))
   (( segid "   C" and resid 25   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 13   and name  HN  ))
   (( segid "   C" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 32   and name  HN  ))
   (( segid "   C" and resid 35   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 25   and name  HN  ))
   (( segid "   C" and resid 28   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 49   and name  HN  ))
   (( segid "   C" and resid 51   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 12   and name  HN  ))
   (( segid "   C" and resid 23   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 12   and name  HN  ))
   (( segid "   C" and resid 24   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 24   and name  HN  ))
   (( segid "   C" and resid 26   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 47   and name  HN  ))
   (( segid "   C" and resid 50   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 5    and name  HN  ))
   (( segid "   C" and resid 6    and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 54   and name  HN  ))
   (( segid "   C" and resid 57   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 27   and name  HN  ))
   (( segid "   C" and resid 29   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 30   and name  HN  ))
   (( segid "   C" and resid 32   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 56   and name  HN  ))
   (( segid "   C" and resid 59   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 25   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 45   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 45   and name  HN  ))
   (( segid "   C" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 43   and name  HN  ))
   (( segid "   C" and resid 45   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 52   and name  HN  ))
   (( segid "   C" and resid 54   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 9    and name  HN  ))
   (( segid "   C" and resid 11   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 48   and name  HN  ))
   (( segid "   C" and resid 50   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 53   and name  HN  ))
   (( segid "   C" and resid 55   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 25   and name  HN  ))
   (( segid "   C" and resid 27   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 56   and name  HN  ))
   (( segid "   C" and resid 58   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (( segid "   C" and resid 46   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 26   and name  HN  ))
   (( segid "   C" and resid 28   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 45   and name  HN  ))
   (( segid "   C" and resid 47   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 56   and name  HN  ))
   (( segid "   C" and resid 58   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 42   and name  HN  ))
   (( segid "   C" and resid 44   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 24   and name  HN  ))
   (( segid "   C" and resid 27   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 44   and name  HN  ))
   (( segid "   C" and resid 46   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   C" and resid 31   and name  HA# )
   (( segid "   C" and resid 34   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   C" and resid 40   and name  HB# )
   (( segid "   C" and resid 43   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (  segid "   C" and resid 31   and name  HA# )
   (( segid "   C" and resid 34   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 17   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 42   and name  HE1 ))
   (( segid "   C" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 49   and name  HN  ))
   (( segid "   C" and resid 48   and name  HE1 ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 54   and name  HE1 ))
   (( segid "   C" and resid 55   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 51   and name  HN  ))
   (( segid "   C" and resid 54   and name  HE1 ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (( segid "   C" and resid 20   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 26   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 42   and name  HE1 ))
   (( segid "   C" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 51   and name  HN  ))
   (( segid "   C" and resid 54   and name  HE1 ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 17   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 26   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 11   and name  HN  ))
   (( segid "   C" and resid 12   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 17   and name  HN  ))
   (( segid "   C" and resid 19   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 55   and name  HN  ))
   (( segid "   C" and resid 58   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 39   and name  HN  ))
   (( segid "   C" and resid 42   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 27   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 30   and name  HN  ))
   (( segid "   C" and resid 33   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 52   and name  HN  ))
   (( segid "   C" and resid 55   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (  segid "   C" and resid 42   and name  HB# )
   (( segid "   C" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (  segid "   C" and resid 42   and name  HB# )
   (( segid "   C" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 54   and name  HA  ))
   (( segid "   C" and resid 57   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 16   and name  HN  ))
   (( segid "   C" and resid 21   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (( segid "   C" and resid 40   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 40   and name  HN  ))
   (( segid "   C" and resid 43   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (( segid "   C" and resid 25   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 54   and name  HN  ))
   (( segid "   C" and resid 57   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 50   and name  HN  ))
   (( segid "   C" and resid 52   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 25   and name  HN  ))
   (( segid "   C" and resid 28   and name  HN  ))
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 42   and name  HE1 ))
   (  segid "   C" and resid 39   and name  HD1#)
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 42   and name  HE1 ))
   (  segid "   B" and resid 39   and name  HD1#)
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 42   and name  HE1 ))
   (  segid "   A" and resid 39   and name  HD1#)
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (  segid "   C" and resid 27   and name  HD2#)
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 28   and name  HN  ))
   (  segid "   B" and resid 27   and name  HD2#)
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 28   and name  HN  ))
   (  segid "   A" and resid 27   and name  HD2#)
      6.500     6.500     0.000

 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (  segid "   C" and resid 27   and name  HD2#)
      5.500     5.500     0.000
 or   
   (( segid "   A" and resid 27   and name  HN  ))
   (  segid "   C" and resid 27   and name  HD1#)

 assi 
   (( segid "   C" and resid 27   and name  HN  ))
   (  segid "   B" and resid 27   and name  HD2#)
      5.500     5.500     0.000
 or   
   (( segid "   C" and resid 27   and name  HN  ))
   (  segid "   B" and resid 27   and name  HD1#)

 assi 
   (( segid "   B" and resid 27   and name  HN  ))
   (  segid "   A" and resid 27   and name  HD2#)
      5.500     5.500     0.000
 or   
   (( segid "   B" and resid 27   and name  HN  ))
   (  segid "   A" and resid 27   and name  HD1#)

 assi 
   (( segid "   A" and resid 26   and name  HN  ))
   (  segid "   C" and resid 27   and name  HD2#)
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 26   and name  HN  ))
   (  segid "   B" and resid 27   and name  HD2#)
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 26   and name  HN  ))
   (  segid "   A" and resid 27   and name  HD2#)
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (  segid "   C" and resid 39   and name  HD2#)
      6.500     6.500     0.000

 assi 
   (( segid "   C" and resid 38   and name  HN  ))
   (  segid "   B" and resid 39   and name  HD2#)
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 38   and name  HN  ))
   (  segid "   A" and resid 39   and name  HD2#)
      6.500     6.500     0.000

 assi 
   (( segid "   B" and resid 9    and name  HN  ))
   (( segid "   C" and resid 17   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (( segid "   B" and resid 13   and name  HN  ))
   (( segid "   C" and resid 15   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   C" and resid 13   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   C" and resid 9    and name  HN  ))
      3.500     3.500     0.000

 assi 
   (( segid "   A" and resid 9    and name  HN  ))
   (( segid "   B" and resid 17   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   B" and resid 15   and name  HN  ))
      3.500     3.500     0.000

 assi 
   (( segid "   A" and resid 5    and name  HN  ))
   (  segid "   B" and resid 3    and name  HD1#)
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 5    and name  HN  ))
   (  segid "   C" and resid 3    and name  HD1#)
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 5    and name  HN  ))
   (  segid "   A" and resid 3    and name  HD1#)
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 18   and name  HN  ))
   (  segid "   C" and resid 8    and name  HD# )
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 18   and name  HN  ))
   (  segid "   B" and resid 8    and name  HD# )
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 18   and name  HN  ))
   (  segid "   A" and resid 8    and name  HD# )
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   C" and resid 10   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 17   and name  HN  ))
   (( segid "   B" and resid 10   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 17   and name  HN  ))
   (( segid "   A" and resid 10   and name  HN  ))
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   C" and resid 14   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   C" and resid 15   and name  HN  ))
   (( segid "   B" and resid 14   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   B" and resid 15   and name  HN  ))
   (( segid "   A" and resid 14   and name  HN  ))
      5.500     5.500     0.000

 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (  segid "   B" and resid 14   and name  HG2#)
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 23   and name  HN  ))
   (  segid "   C" and resid 14   and name  HG2#)
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 23   and name  HN  ))
   (  segid "   A" and resid 14   and name  HG2#)
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (  segid "   B" and resid 14   and name  HG2#)
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 14   and name  HN  ))
   (  segid "   C" and resid 14   and name  HG2#)
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 14   and name  HN  ))
   (  segid "   A" and resid 14   and name  HG2#)
      4.500     4.500     0.000

 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (  segid "   B" and resid 14   and name  HG2#)
      4.500     4.500     0.000

 assi 
   (( segid "   B" and resid 13   and name  HN  ))
   (  segid "   C" and resid 14   and name  HG2#)
      4.500     4.500     0.000

 assi 
   (( segid "   C" and resid 13   and name  HN  ))
   (  segid "   A" and resid 14   and name  HG2#)
      4.500     4.500     0.000