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

      4.800     3.800     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (  segid "   A" and resid 1    and name  HB# )

      2.800     1.800     2.000
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (  segid "   A" and resid 1    and name  HE# )

      4.000     3.000     2.000
 assi 
   (( segid "   A" and resid 39   and name  HA  ))
   (  segid "   A" and resid 1    and name  HE# )

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 1    and name  HA  ))
   (  segid "   A" and resid 1    and name  HZ# )

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (  segid "   A" and resid 1    and name  HZ# )

      4.800     3.800     2.000
 assi 
   (( segid "   A" and resid 39   and name  HA  ))
   (  segid "   A" and resid 1    and name  HZ# )

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 39   and name  HB  ))
   (  segid "   A" and resid 1    and name  HZ# )

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 32   and name  HB# )
   (( segid "   A" and resid 2    and name  HA  ))

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 2    and name  HA  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 34   and name  HA  ))
   (  segid "   A" and resid 2    and name  HB# )

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 1    and name  HA  ))
   (( segid "   A" and resid 2    and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 1    and name  HB# )
   (( segid "   A" and resid 2    and name  HN  ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 1    and name  HD# )
   (( segid "   A" and resid 2    and name  HN  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 1    and name  HG# )
   (( segid "   A" and resid 2    and name  HN  ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 1    and name  HZ# )
   (( segid "   A" and resid 2    and name  HN  ))

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 2    and name  HN  ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 1    and name  HD# )
   (( segid "   A" and resid 3    and name  HA  ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (  segid "   A" and resid 3    and name  HB# )

      3.400     2.400     2.000
 assi 
   (  segid "   A" and resid 33   and name  HG1#)
   (  segid "   A" and resid 3    and name  HB# )

      3.400     2.400     1.800
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (  segid "   A" and resid 3    and name  HB# )

      3.400     2.400     2.000
 assi 
   (  segid "   A" and resid 1    and name  HD# )
   (( segid "   A" and resid 3    and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 2    and name  HA  ))
   (( segid "   A" and resid 3    and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 2    and name  HB# )
   (( segid "   A" and resid 3    and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 4    and name  HN  ))
   (( segid "   A" and resid 3    and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (( segid "   A" and resid 3    and name  HN  ))

      4.800     3.800     0.000
 assi 
   (  segid "   A" and resid 32   and name  HB# )
   (( segid "   A" and resid 3    and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 3    and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 34   and name  HA  ))
   (( segid "   A" and resid 3    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 3    and name  HN  ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 3    and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 3    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (( segid "   A" and resid 4    and name  HA  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB2 ))
   (( segid "   A" and resid 4    and name  HA  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 5    and name  HA  ))
   (( segid "   A" and resid 4    and name  HA  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (( segid "   A" and resid 4    and name  HA  ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 32   and name  HB# )
   (( segid "   A" and resid 4    and name  HA  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (( segid "   A" and resid 4    and name  HB1 ))

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 3    and name  HA  ))
   (( segid "   A" and resid 4    and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 3    and name  HB# )
   (( segid "   A" and resid 4    and name  HN  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (( segid "   A" and resid 4    and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB2 ))
   (( segid "   A" and resid 4    and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 4    and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 44   and name  HA  ))
   (( segid "   A" and resid 5    and name  HA  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 45   and name  HD# )
   (( segid "   A" and resid 5    and name  HA  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 44   and name  HA  ))
   (  segid "   A" and resid 5    and name  HB# )

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 44   and name  HA  ))
   (  segid "   A" and resid 5    and name  HD# )

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 5    and name  HN  ))
   (( segid "   A" and resid 5    and name  HE  ))

      4.800     3.800     0.000
 assi 
   (  segid "   A" and resid 31   and name  HB# )
   (  segid "   A" and resid 5    and name  HG# )

      3.400     2.400     1.800
 assi 
   (( segid "   A" and resid 4    and name  HA  ))
   (( segid "   A" and resid 5    and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (( segid "   A" and resid 5    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB2 ))
   (( segid "   A" and resid 5    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 4    and name  HN  ))
   (( segid "   A" and resid 5    and name  HN  ))

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

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (( segid "   A" and resid 5    and name  HN  ))

      2.800     1.800     1.100
 assi 
   (  segid "   A" and resid 31   and name  HB# )
   (( segid "   A" and resid 5    and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (( segid "   A" and resid 5    and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 44   and name  HA  ))
   (( segid "   A" and resid 5    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 44   and name  HB# )
   (( segid "   A" and resid 5    and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 44   and name  HD2 ))
   (( segid "   A" and resid 5    and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (( segid "   A" and resid 6    and name  HA  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 46   and name  HB1 ))
   (( segid "   A" and resid 6    and name  HA  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 46   and name  HB2 ))
   (( segid "   A" and resid 6    and name  HA  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 5    and name  HG# )
   (  segid "   A" and resid 6    and name  HB# )

      4.000     3.000     1.800
 assi 
   (( segid "   A" and resid 7    and name  HB  ))
   (  segid "   A" and resid 6    and name  HB# )

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (  segid "   A" and resid 6    and name  HB# )

      4.000     3.000     2.000
 assi 
   (  segid "   A" and resid 45   and name  HG# )
   (  segid "   A" and resid 6    and name  HB# )

      4.000     3.000     1.800
 assi 
   (  segid "   A" and resid 5    and name  HB# )
   (  segid "   A" and resid 6    and name  HD2#)

      4.800     3.800     1.800
 assi 
   (  segid "   A" and resid 5    and name  HG# )
   (  segid "   A" and resid 6    and name  HD2#)

      4.000     3.000     1.800
 assi 
   (( segid "   A" and resid 7    and name  HN  ))
   (  segid "   A" and resid 6    and name  HD2#)

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 8    and name  HD# )
   (  segid "   A" and resid 6    and name  HD2#)

      4.000     3.000     3.300
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (  segid "   A" and resid 6    and name  HD2#)

      4.000     3.000     2.000
 assi 
   (( segid "   A" and resid 9    and name  HN  ))
   (  segid "   A" and resid 6    and name  HD2#)

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 4    and name  HA  ))
   (( segid "   A" and resid 6    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (( segid "   A" and resid 6    and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB2 ))
   (( segid "   A" and resid 6    and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 5    and name  HA  ))
   (( segid "   A" and resid 6    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 5    and name  HB# )
   (( segid "   A" and resid 6    and name  HN  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 5    and name  HG# )
   (( segid "   A" and resid 6    and name  HN  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 7    and name  HN  ))
   (( segid "   A" and resid 6    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (( segid "   A" and resid 6    and name  HN  ))

      2.300     1.300     1.100
 assi 
   (( segid "   A" and resid 9    and name  HN  ))
   (( segid "   A" and resid 6    and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 6    and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 46   and name  HB1 ))
   (( segid "   A" and resid 6    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 46   and name  HB2 ))
   (( segid "   A" and resid 6    and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 6    and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 7    and name  HB  ))
   (( segid "   A" and resid 7    and name  HA  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 10   and name  HB# )
   (( segid "   A" and resid 7    and name  HA  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 10   and name  HD# )
   (( segid "   A" and resid 7    and name  HA  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 46   and name  HB2 ))
   (( segid "   A" and resid 7    and name  HA  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 6    and name  HA  ))
   (( segid "   A" and resid 7    and name  HN  ))

      2.300     1.300     0.000
 assi 
   (  segid "   A" and resid 6    and name  HB# )
   (( segid "   A" and resid 7    and name  HN  ))

      2.300     1.300     0.900
 assi 
   (( segid "   A" and resid 7    and name  HB  ))
   (( segid "   A" and resid 7    and name  HN  ))

      2.300     1.300     0.000
 assi 
   (( segid "   A" and resid 8    and name  HB2 ))
   (( segid "   A" and resid 7    and name  HN  ))

      4.800     3.800     0.000
 assi 
   (  segid "   A" and resid 10   and name  HB# )
   (( segid "   A" and resid 7    and name  HN  ))

      4.800     3.800     0.900
 assi 
   (( segid "   A" and resid 46   and name  HB1 ))
   (( segid "   A" and resid 7    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 46   and name  HB2 ))
   (( segid "   A" and resid 7    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 11   and name  HB# )
   (( segid "   A" and resid 8    and name  HA  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 8    and name  HA  ))
   (( segid "   A" and resid 8    and name  HB1 ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 6    and name  HB# )
   (( segid "   A" and resid 8    and name  HB2 ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 6    and name  HA  ))
   (( segid "   A" and resid 8    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 6    and name  HB# )
   (( segid "   A" and resid 8    and name  HN  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 7    and name  HG2#)
   (( segid "   A" and resid 8    and name  HN  ))

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 7    and name  HN  ))
   (( segid "   A" and resid 8    and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 8    and name  HB1 ))
   (( segid "   A" and resid 8    and name  HN  ))

      2.300     1.300     0.000
 assi 
   (( segid "   A" and resid 8    and name  HB2 ))
   (( segid "   A" and resid 8    and name  HN  ))

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

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 5    and name  HG# )
   (( segid "   A" and resid 9    and name  HA  ))

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 8    and name  HD# )
   (( segid "   A" and resid 9    and name  HA  ))

      4.000     3.000     2.400
 assi 
   (  segid "   A" and resid 12   and name  HB# )
   (( segid "   A" and resid 9    and name  HA  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 4    and name  HB2 ))
   (  segid "   A" and resid 9    and name  HB# )

      2.800     1.800     1.100
 assi 
   (  segid "   A" and resid 8    and name  HD# )
   (  segid "   A" and resid 9    and name  HB# )

      2.800     1.800     3.500
 assi 
   (( segid "   A" and resid 10   and name  HA  ))
   (  segid "   A" and resid 9    and name  HB# )

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 31   and name  HB# )
   (  segid "   A" and resid 9    and name  HB# )

      3.400     2.400     2.000
 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (  segid "   A" and resid 9    and name  HB# )

      4.800     3.800     1.100
 assi 
   (( segid "   A" and resid 4    and name  HB2 ))
   (( segid "   A" and resid 9    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 6    and name  HA  ))
   (( segid "   A" and resid 9    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 7    and name  HA  ))
   (( segid "   A" and resid 9    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 7    and name  HG2#)
   (( segid "   A" and resid 9    and name  HN  ))

      4.800     3.800     1.100
 assi 
   (( segid "   A" and resid 7    and name  HN  ))
   (( segid "   A" and resid 9    and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 8    and name  HA  ))
   (( segid "   A" and resid 9    and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 8    and name  HB1 ))
   (( segid "   A" and resid 9    and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 8    and name  HB2 ))
   (( segid "   A" and resid 9    and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 8    and name  HD# )
   (( segid "   A" and resid 9    and name  HN  ))

      4.000     3.000     2.400
 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 9    and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (( segid "   A" and resid 10   and name  HA  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB2 ))
   (( segid "   A" and resid 10   and name  HA  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 10   and name  HD# )
   (( segid "   A" and resid 10   and name  HA  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 4    and name  HA  ))
   (  segid "   A" and resid 10   and name  HB# )

      4.800     3.800     0.900
 assi 
   (( segid "   A" and resid 10   and name  HA  ))
   (  segid "   A" and resid 10   and name  HB# )

      2.800     1.800     0.900
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (  segid "   A" and resid 10   and name  HD# )

      4.800     3.800     0.900
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (( segid "   A" and resid 10   and name  HE  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 10   and name  HA  ))
   (( segid "   A" and resid 10   and name  HE  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 10   and name  HG# )
   (( segid "   A" and resid 10   and name  HE  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 13   and name  HE# )
   (( segid "   A" and resid 10   and name  HE  ))

      3.400     2.400     2.500
 or 
   (  segid "   A" and resid 13   and name  HD# )
   (( segid "   A" and resid 10   and name  HE  ))
 assi 
   (  segid "   A" and resid 2    and name  HB# )
   (  segid "   A" and resid 10   and name  HH1#)

      4.800     3.800     1.800
 or 
   (  segid "   A" and resid 2    and name  HB# )
   (  segid "   A" and resid 10   and name  HH2#)
 assi 
   (( segid "   A" and resid 3    and name  HA  ))
   (  segid "   A" and resid 10   and name  HH1#)

      4.000     3.000     0.900
 or 
   (( segid "   A" and resid 3    and name  HA  ))
   (  segid "   A" and resid 10   and name  HH2#)
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (  segid "   A" and resid 10   and name  HH1#)

      4.800     3.800     0.900
 or 
   (( segid "   A" and resid 4    and name  HB1 ))
   (  segid "   A" and resid 10   and name  HH2#)
 assi 
   (( segid "   A" and resid 4    and name  HN  ))
   (  segid "   A" and resid 10   and name  HH1#)

      4.000     3.000     0.900
 or 
   (( segid "   A" and resid 4    and name  HN  ))
   (  segid "   A" and resid 10   and name  HH2#)
 assi 
   (( segid "   A" and resid 10   and name  HA  ))
   (  segid "   A" and resid 10   and name  HH1#)

      4.800     3.800     0.900
 or 
   (( segid "   A" and resid 10   and name  HA  ))
   (  segid "   A" and resid 10   and name  HH2#)
 assi 
   (  segid "   A" and resid 13   and name  HE# )
   (  segid "   A" and resid 10   and name  HH2#)

      3.400     2.400     3.400
 or 
   (  segid "   A" and resid 13   and name  HD# )
   (  segid "   A" and resid 10   and name  HH2#)
 or 
   (  segid "   A" and resid 13   and name  HD# )
   (  segid "   A" and resid 10   and name  HH1#)
 or 
   (  segid "   A" and resid 13   and name  HE# )
   (  segid "   A" and resid 10   and name  HH1#)
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (( segid "   A" and resid 10   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 6    and name  HA  ))
   (( segid "   A" and resid 10   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 7    and name  HA  ))
   (( segid "   A" and resid 10   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 9    and name  HA  ))
   (( segid "   A" and resid 10   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (( segid "   A" and resid 10   and name  HN  ))

      2.800     1.800     1.100
 assi 
   (  segid "   A" and resid 10   and name  HB# )
   (( segid "   A" and resid 10   and name  HN  ))

      2.800     1.800     0.900
 assi 
   (  segid "   A" and resid 10   and name  HD# )
   (( segid "   A" and resid 10   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   A" and resid 10   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 46   and name  HB2 ))
   (( segid "   A" and resid 10   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 14   and name  HB# )
   (( segid "   A" and resid 11   and name  HA  ))

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 7    and name  HG2#)
   (  segid "   A" and resid 11   and name  HB# )

      4.000     3.000     2.000
 assi 
   (  segid "   A" and resid 15   and name  HB# )
   (  segid "   A" and resid 11   and name  HB# )

      4.000     3.000     2.000
 assi 
   (( segid "   A" and resid 7    and name  HA  ))
   (  segid "   A" and resid 11   and name  HD2#)

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 7    and name  HG2#)
   (  segid "   A" and resid 11   and name  HD2#)

      2.800     1.800     2.000
 assi 
   (( segid "   A" and resid 8    and name  HA  ))
   (  segid "   A" and resid 11   and name  HD2#)

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 8    and name  HD# )
   (  segid "   A" and resid 11   and name  HD2#)

      4.000     3.000     3.300
 assi 
   (  segid "   A" and resid 7    and name  HG2#)
   (( segid "   A" and resid 11   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 8    and name  HA  ))
   (( segid "   A" and resid 11   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (( segid "   A" and resid 11   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 10   and name  HA  ))
   (( segid "   A" and resid 11   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 10   and name  HB# )
   (( segid "   A" and resid 11   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 10   and name  HD# )
   (( segid "   A" and resid 11   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 10   and name  HG# )
   (( segid "   A" and resid 11   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 11   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 15   and name  HB# )
   (( segid "   A" and resid 12   and name  HA  ))

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 9    and name  HA  ))
   (( segid "   A" and resid 12   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 13   and name  HB# )
   (( segid "   A" and resid 12   and name  HN  ))

      4.800     3.800     0.900
 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   A" and resid 12   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 15   and name  HB# )
   (( segid "   A" and resid 12   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 16   and name  HB# )
   (( segid "   A" and resid 13   and name  HA  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 26   and name  HB# )
   (( segid "   A" and resid 13   and name  HA  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 30   and name  HB# )
   (( segid "   A" and resid 13   and name  HA  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 10   and name  HA  ))
   (  segid "   A" and resid 13   and name  HB# )

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 30   and name  HB# )
   (  segid "   A" and resid 13   and name  HB# )

      3.400     2.400     1.800
 assi 
   (  segid "   A" and resid 2    and name  HB# )
   (  segid "   A" and resid 13   and name  HD# )

      4.000     3.000     3.400
 assi 
   (( segid "   A" and resid 10   and name  HA  ))
   (  segid "   A" and resid 13   and name  HE# )

      4.000     3.000     2.500
 or 
   (( segid "   A" and resid 10   and name  HA  ))
   (  segid "   A" and resid 13   and name  HD# )
 assi 
   (( segid "   A" and resid 13   and name  HA  ))
   (  segid "   A" and resid 13   and name  HE# )

      2.800     1.800     2.500
 or 
   (( segid "   A" and resid 13   and name  HA  ))
   (  segid "   A" and resid 13   and name  HD# )
 assi 
   (( segid "   A" and resid 17   and name  HB1 ))
   (  segid "   A" and resid 13   and name  HE# )

      4.000     3.000     2.500
 or 
   (( segid "   A" and resid 17   and name  HB1 ))
   (  segid "   A" and resid 13   and name  HD# )
 assi 
   (( segid "   A" and resid 17   and name  HB2 ))
   (  segid "   A" and resid 13   and name  HE# )

      3.400     2.400     2.500
 or 
   (( segid "   A" and resid 17   and name  HB2 ))
   (  segid "   A" and resid 13   and name  HD# )
 assi 
   (  segid "   A" and resid 17   and name  HG# )
   (  segid "   A" and resid 13   and name  HE# )

      3.400     2.400     3.400
 assi 
   (( segid "   A" and resid 26   and name  HA  ))
   (  segid "   A" and resid 13   and name  HE# )

      3.400     2.400     2.500
 or 
   (( segid "   A" and resid 26   and name  HA  ))
   (  segid "   A" and resid 13   and name  HD# )
 assi 
   (  segid "   A" and resid 26   and name  HB# )
   (  segid "   A" and resid 13   and name  HE# )

      2.800     1.800     3.400
 assi 
   (  segid "   A" and resid 27   and name  HA# )
   (  segid "   A" and resid 13   and name  HD# )

      2.800     1.800     3.400
 assi 
   (  segid "   A" and resid 30   and name  HB# )
   (  segid "   A" and resid 13   and name  HE# )

      3.400     2.400     3.400
 assi 
   (  segid "   A" and resid 32   and name  HB# )
   (  segid "   A" and resid 13   and name  HE# )

      2.800     1.800     3.400
 assi 
   (( segid "   A" and resid 9    and name  HA  ))
   (( segid "   A" and resid 13   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (( segid "   A" and resid 13   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 10   and name  HA  ))
   (( segid "   A" and resid 13   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 10   and name  HB# )
   (( segid "   A" and resid 13   and name  HN  ))

      4.800     3.800     0.900
 assi 
   (( segid "   A" and resid 11   and name  HA  ))
   (( segid "   A" and resid 13   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 12   and name  HA  ))
   (( segid "   A" and resid 13   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 12   and name  HB# )
   (( segid "   A" and resid 13   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 13   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 13   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 26   and name  HB# )
   (( segid "   A" and resid 13   and name  HN  ))

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 30   and name  HB# )
   (( segid "   A" and resid 13   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 15   and name  HB# )
   (  segid "   A" and resid 14   and name  HB# )

      4.000     3.000     2.000
 assi 
   (  segid "   A" and resid 10   and name  HB# )
   (  segid "   A" and resid 14   and name  HD2#)

      3.400     2.400     1.800
 assi 
   (  segid "   A" and resid 10   and name  HD# )
   (  segid "   A" and resid 14   and name  HD2#)

      3.400     2.400     1.800
 assi 
   (  segid "   A" and resid 10   and name  HG# )
   (  segid "   A" and resid 14   and name  HD2#)

      4.000     3.000     1.800
 assi 
   (( segid "   A" and resid 11   and name  HA  ))
   (  segid "   A" and resid 14   and name  HD2#)

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 11   and name  HA  ))
   (( segid "   A" and resid 14   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 13   and name  HA  ))
   (( segid "   A" and resid 14   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 13   and name  HB# )
   (( segid "   A" and resid 14   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 13   and name  HE# )
   (( segid "   A" and resid 14   and name  HN  ))

      4.000     3.000     2.500
 or 
   (  segid "   A" and resid 13   and name  HD# )
   (( segid "   A" and resid 14   and name  HN  ))
 assi 
   (  segid "   A" and resid 14   and name  HB# )
   (( segid "   A" and resid 14   and name  HN  ))

      2.800     1.800     0.900
 assi 
   (  segid "   A" and resid 14   and name  HD2#)
   (( segid "   A" and resid 14   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 14   and name  HN  ))

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

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 11   and name  HA  ))
   (( segid "   A" and resid 15   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 14   and name  HA  ))
   (( segid "   A" and resid 15   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 14   and name  HB# )
   (( segid "   A" and resid 15   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 15   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 19   and name  HB  ))
   (( segid "   A" and resid 16   and name  HA  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 15   and name  HB# )
   (  segid "   A" and resid 16   and name  HB# )

      4.000     3.000     2.000
 assi 
   (( segid "   A" and resid 26   and name  HA  ))
   (  segid "   A" and resid 16   and name  HB# )

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 26   and name  HB# )
   (  segid "   A" and resid 16   and name  HB# )

      3.400     2.400     1.800
 assi 
   (  segid "   A" and resid 29   and name  HD# )
   (  segid "   A" and resid 16   and name  HB# )

      3.400     2.400     3.300
 assi 
   (( segid "   A" and resid 12   and name  HA  ))
   (( segid "   A" and resid 16   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 13   and name  HA  ))
   (( segid "   A" and resid 16   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 15   and name  HA  ))
   (( segid "   A" and resid 16   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 15   and name  HB# )
   (( segid "   A" and resid 16   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   A" and resid 16   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 26   and name  HA  ))
   (( segid "   A" and resid 16   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (  segid "   A" and resid 26   and name  HB# )
   (( segid "   A" and resid 16   and name  HN  ))

      4.800     3.800     0.900
 assi 
   (( segid "   A" and resid 14   and name  HA  ))
   (( segid "   A" and resid 17   and name  HB1 ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 14   and name  HA  ))
   (( segid "   A" and resid 17   and name  HB2 ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 17   and name  HB1 ))
   (( segid "   A" and resid 17   and name  HE  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 17   and name  HB2 ))
   (( segid "   A" and resid 17   and name  HE  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 17   and name  HG# )
   (( segid "   A" and resid 17   and name  HE  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   A" and resid 17   and name  HE  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 22   and name  HA  ))
   (( segid "   A" and resid 17   and name  HE  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 23   and name  HG# )
   (( segid "   A" and resid 17   and name  HE  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 17   and name  HA  ))
   (  segid "   A" and resid 17   and name  HH1#)

      4.000     3.000     0.900
 or 
   (( segid "   A" and resid 17   and name  HA  ))
   (  segid "   A" and resid 17   and name  HH2#)
 assi 
   (( segid "   A" and resid 22   and name  HA  ))
   (  segid "   A" and resid 17   and name  HH1#)

      3.400     2.400     0.900
 or 
   (( segid "   A" and resid 22   and name  HA  ))
   (  segid "   A" and resid 17   and name  HH2#)
 assi 
   (  segid "   A" and resid 23   and name  HB# )
   (  segid "   A" and resid 17   and name  HH1#)

      4.000     3.000     1.800
 or 
   (  segid "   A" and resid 23   and name  HB# )
   (  segid "   A" and resid 17   and name  HH2#)
 assi 
   (  segid "   A" and resid 23   and name  HG# )
   (  segid "   A" and resid 17   and name  HH1#)

      4.800     3.800     1.800
 or 
   (  segid "   A" and resid 23   and name  HG# )
   (  segid "   A" and resid 17   and name  HH2#)
 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (  segid "   A" and resid 17   and name  HH1#)

      4.000     3.000     0.900
 or 
   (( segid "   A" and resid 23   and name  HN  ))
   (  segid "   A" and resid 17   and name  HH2#)
 assi 
   (( segid "   A" and resid 13   and name  HA  ))
   (( segid "   A" and resid 17   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 15   and name  HA  ))
   (( segid "   A" and resid 17   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 17   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 16   and name  HB# )
   (( segid "   A" and resid 17   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 17   and name  HB1 ))
   (( segid "   A" and resid 17   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 17   and name  HB2 ))
   (( segid "   A" and resid 17   and name  HN  ))

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

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 19   and name  HG2#)
   (( segid "   A" and resid 17   and name  HN  ))

      4.800     3.800     1.100
 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 17   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 26   and name  HB# )
   (( segid "   A" and resid 17   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 15   and name  HA  ))
   (( segid "   A" and resid 18   and name  HB1 ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 15   and name  HB# )
   (( segid "   A" and resid 18   and name  HB1 ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 19   and name  HG2#)
   (( segid "   A" and resid 18   and name  HB1 ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 15   and name  HA  ))
   (( segid "   A" and resid 18   and name  HB2 ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 15   and name  HB# )
   (( segid "   A" and resid 18   and name  HB2 ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 19   and name  HG2#)
   (( segid "   A" and resid 18   and name  HB2 ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 15   and name  HB# )
   (  segid "   A" and resid 18   and name  HD# )

      4.000     3.000     3.900
 or 
   (  segid "   A" and resid 15   and name  HB# )
   (  segid "   A" and resid 18   and name  HE# )
 or 
   (  segid "   A" and resid 15   and name  HB# )
   (( segid "   A" and resid 18   and name  HZ  ))
 assi 
   (( segid "   A" and resid 18   and name  HA  ))
   (( segid "   A" and resid 18   and name  HZ  ))

      2.800     1.800     2.800
 or 
   (( segid "   A" and resid 18   and name  HA  ))
   (  segid "   A" and resid 18   and name  HD# )
 or 
   (( segid "   A" and resid 18   and name  HA  ))
   (  segid "   A" and resid 18   and name  HE# )
 assi 
   (( segid "   A" and resid 19   and name  HA  ))
   (  segid "   A" and resid 18   and name  HE# )

      3.400     2.400     2.800
 or 
   (( segid "   A" and resid 19   and name  HA  ))
   (  segid "   A" and resid 18   and name  HD# )
 or 
   (( segid "   A" and resid 19   and name  HA  ))
   (( segid "   A" and resid 18   and name  HZ  ))
 assi 
   (  segid "   A" and resid 19   and name  HG2#)
   (  segid "   A" and resid 18   and name  HE# )

      2.800     1.800     3.900
 or 
   (  segid "   A" and resid 19   and name  HG2#)
   (( segid "   A" and resid 18   and name  HZ  ))
 or 
   (  segid "   A" and resid 19   and name  HG2#)
   (  segid "   A" and resid 18   and name  HD# )
 assi 
   (( segid "   A" and resid 17   and name  HB1 ))
   (( segid "   A" and resid 18   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 18   and name  HB1 ))
   (( segid "   A" and resid 18   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 18   and name  HB2 ))
   (( segid "   A" and resid 18   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 18   and name  HZ  ))
   (( segid "   A" and resid 18   and name  HN  ))

      4.000     3.000     2.800
 or 
   (  segid "   A" and resid 18   and name  HE# )
   (( segid "   A" and resid 18   and name  HN  ))
 or 
   (  segid "   A" and resid 18   and name  HD# )
   (( segid "   A" and resid 18   and name  HN  ))
 assi 
   (  segid "   A" and resid 19   and name  HG2#)
   (( segid "   A" and resid 18   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 18   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 19   and name  HB  ))
   (( segid "   A" and resid 19   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 15   and name  HB# )
   (( segid "   A" and resid 19   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 18   and name  HA  ))
   (( segid "   A" and resid 19   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 18   and name  HB1 ))
   (( segid "   A" and resid 19   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 18   and name  HB2 ))
   (( segid "   A" and resid 19   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 19   and name  HB  ))
   (( segid "   A" and resid 19   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 19   and name  HG2#)
   (( segid "   A" and resid 19   and name  HN  ))

      2.800     1.800     1.100
 assi 
   (( segid "   A" and resid 19   and name  HA  ))
   (  segid "   A" and resid 20   and name  HA# )

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 21   and name  HA# )
   (  segid "   A" and resid 20   and name  HA# )

      4.800     3.800     1.800
 assi 
   (  segid "   A" and resid 20   and name  HA# )
   (( segid "   A" and resid 20   and name  HN  ))

      2.800     1.800     0.900
 assi 
   (  segid "   A" and resid 21   and name  HA# )
   (( segid "   A" and resid 20   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 20   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 25   and name  HB  ))
   (  segid "   A" and resid 21   and name  HA# )

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 25   and name  HG2#)
   (  segid "   A" and resid 21   and name  HA# )

      4.000     3.000     2.000
 assi 
   (( segid "   A" and resid 19   and name  HA  ))
   (( segid "   A" and resid 21   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 19   and name  HB  ))
   (( segid "   A" and resid 21   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 19   and name  HG2#)
   (( segid "   A" and resid 21   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 20   and name  HA# )
   (( segid "   A" and resid 21   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 21   and name  HA# )
   (( segid "   A" and resid 21   and name  HN  ))

      2.800     1.800     0.900
 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 25   and name  HG2#)
   (( segid "   A" and resid 21   and name  HN  ))

      4.800     3.800     1.100
 assi 
   (( segid "   A" and resid 22   and name  HB1 ))
   (( segid "   A" and resid 22   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 22   and name  HB2 ))
   (( segid "   A" and resid 22   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 24   and name  HD2 ))
   (( segid "   A" and resid 22   and name  HB2 ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 20   and name  HA# )
   (( segid "   A" and resid 22   and name  HN  ))

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 21   and name  HA# )
   (( segid "   A" and resid 22   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 22   and name  HA  ))
   (( segid "   A" and resid 22   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 22   and name  HB1 ))
   (( segid "   A" and resid 22   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 22   and name  HB2 ))
   (( segid "   A" and resid 22   and name  HN  ))

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

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 25   and name  HB  ))
   (( segid "   A" and resid 22   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 25   and name  HG2#)
   (( segid "   A" and resid 22   and name  HN  ))

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 22   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 23   and name  HG# )
   (( segid "   A" and resid 23   and name  HA  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 24   and name  HD2 ))
   (  segid "   A" and resid 23   and name  HB# )

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 22   and name  HA  ))
   (( segid "   A" and resid 23   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 22   and name  HB1 ))
   (( segid "   A" and resid 23   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 23   and name  HB# )
   (( segid "   A" and resid 23   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 23   and name  HG# )
   (( segid "   A" and resid 23   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 24   and name  HD1 ))
   (( segid "   A" and resid 23   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 24   and name  HD2 ))
   (( segid "   A" and resid 23   and name  HN  ))

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

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 24   and name  HB2 ))
   (( segid "   A" and resid 24   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 22   and name  HB1 ))
   (( segid "   A" and resid 24   and name  HD1 ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 22   and name  HB2 ))
   (( segid "   A" and resid 24   and name  HD1 ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 22   and name  HB1 ))
   (( segid "   A" and resid 24   and name  HD2 ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 23   and name  HG# )
   (( segid "   A" and resid 24   and name  HD2 ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 25   and name  HB  ))
   (( segid "   A" and resid 25   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 28   and name  HB  ))
   (( segid "   A" and resid 25   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 28   and name  HD1#)
   (( segid "   A" and resid 25   and name  HA  ))

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

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 28   and name  HG2#)
   (( segid "   A" and resid 25   and name  HA  ))

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 22   and name  HA  ))
   (( segid "   A" and resid 25   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 22   and name  HB1 ))
   (( segid "   A" and resid 25   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 22   and name  HB2 ))
   (( segid "   A" and resid 25   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 24   and name  HA  ))
   (( segid "   A" and resid 25   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 24   and name  HB1 ))
   (( segid "   A" and resid 25   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 24   and name  HB2 ))
   (( segid "   A" and resid 25   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 24   and name  HD2 ))
   (( segid "   A" and resid 25   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 24   and name  HG# )
   (( segid "   A" and resid 25   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 25   and name  HB  ))
   (( segid "   A" and resid 25   and name  HN  ))

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

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 28   and name  HD1#)
   (( segid "   A" and resid 25   and name  HN  ))

      4.800     3.800     1.100
 assi 
   (  segid "   A" and resid 25   and name  HG2#)
   (( segid "   A" and resid 26   and name  HA  ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 29   and name  HB# )
   (( segid "   A" and resid 26   and name  HA  ))

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 29   and name  HD# )
   (( segid "   A" and resid 26   and name  HA  ))

      4.000     3.000     2.400
 assi 
   (( segid "   A" and resid 29   and name  HG  ))
   (( segid "   A" and resid 26   and name  HA  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 25   and name  HA  ))
   (( segid "   A" and resid 26   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 25   and name  HB  ))
   (( segid "   A" and resid 26   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 25   and name  HG2#)
   (( segid "   A" and resid 26   and name  HN  ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 30   and name  HB# )
   (  segid "   A" and resid 27   and name  HA# )

      3.400     2.400     1.800
 assi 
   (  segid "   A" and resid 32   and name  HB# )
   (  segid "   A" and resid 27   and name  HA# )

      3.400     2.400     1.800
 assi 
   (  segid "   A" and resid 13   and name  HE# )
   (( segid "   A" and resid 27   and name  HN  ))

      3.400     2.400     2.500
 or 
   (  segid "   A" and resid 13   and name  HD# )
   (( segid "   A" and resid 27   and name  HN  ))
 assi 
   (( segid "   A" and resid 23   and name  HA  ))
   (( segid "   A" and resid 27   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 24   and name  HA  ))
   (( segid "   A" and resid 27   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 26   and name  HA  ))
   (( segid "   A" and resid 27   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 26   and name  HB# )
   (( segid "   A" and resid 27   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 27   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 32   and name  HB# )
   (( segid "   A" and resid 27   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 28   and name  HB  ))
   (( segid "   A" and resid 28   and name  HA  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 28   and name  HD1#)
   (( segid "   A" and resid 28   and name  HA  ))

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

      2.800     1.800     1.100
 assi 
   (  segid "   A" and resid 28   and name  HD1#)
   (( segid "   A" and resid 28   and name  HB  ))

      2.800     1.800     1.100
 assi 
   (( segid "   A" and resid 29   and name  HA  ))
   (  segid "   A" and resid 28   and name  HG2#)

      2.800     1.800     1.100
 assi 
   (( segid "   A" and resid 24   and name  HA  ))
   (( segid "   A" and resid 28   and name  HN  ))

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

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 25   and name  HG2#)
   (( segid "   A" and resid 28   and name  HN  ))

      4.800     3.800     1.100
 assi 
   (( segid "   A" and resid 26   and name  HA  ))
   (( segid "   A" and resid 28   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (  segid "   A" and resid 27   and name  HA# )
   (( segid "   A" and resid 28   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 28   and name  HB  ))
   (( segid "   A" and resid 28   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 28   and name  HD1#)
   (( segid "   A" and resid 28   and name  HN  ))

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

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

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 28   and name  HB  ))
   (( segid "   A" and resid 29   and name  HA  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 29   and name  HD# )
   (( segid "   A" and resid 29   and name  HA  ))

      2.800     1.800     2.400
 assi 
   (( segid "   A" and resid 29   and name  HA  ))
   (( segid "   A" and resid 29   and name  HG  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 25   and name  HA  ))
   (( segid "   A" and resid 29   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 25   and name  HG2#)
   (( segid "   A" and resid 29   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 26   and name  HA  ))
   (( segid "   A" and resid 29   and name  HN  ))

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

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 28   and name  HA  ))
   (( segid "   A" and resid 29   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 28   and name  HB  ))
   (( segid "   A" and resid 29   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 28   and name  HD1#)
   (( segid "   A" and resid 29   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 28   and name  HG2#)
   (( segid "   A" and resid 29   and name  HN  ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 29   and name  HD# )
   (( segid "   A" and resid 29   and name  HN  ))

      3.400     2.400     2.400
 assi 
   (( segid "   A" and resid 29   and name  HG  ))
   (( segid "   A" and resid 29   and name  HN  ))

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

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 25   and name  HG2#)
   (( segid "   A" and resid 30   and name  HN  ))

      4.800     3.800     1.100
 assi 
   (( segid "   A" and resid 26   and name  HA  ))
   (( segid "   A" and resid 30   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 29   and name  HA  ))
   (( segid "   A" and resid 30   and name  HN  ))

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

      2.800     1.800     0.900
 assi 
   (  segid "   A" and resid 29   and name  HD# )
   (( segid "   A" and resid 30   and name  HN  ))

      3.400     2.400     2.400
 assi 
   (( segid "   A" and resid 29   and name  HG  ))
   (( segid "   A" and resid 30   and name  HN  ))

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

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

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

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 28   and name  HA  ))
   (( segid "   A" and resid 31   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 28   and name  HG2#)
   (( segid "   A" and resid 31   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 29   and name  HA  ))
   (( segid "   A" and resid 31   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 30   and name  HA  ))
   (( segid "   A" and resid 31   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 30   and name  HB# )
   (( segid "   A" and resid 31   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 31   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 4    and name  HA  ))
   (( segid "   A" and resid 32   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 27   and name  HA# )
   (( segid "   A" and resid 32   and name  HA  ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 33   and name  HG1#)
   (( segid "   A" and resid 32   and name  HA  ))

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 33   and name  HG2#)
   (( segid "   A" and resid 32   and name  HA  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 4    and name  HA  ))
   (( segid "   A" and resid 32   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (  segid "   A" and resid 9    and name  HB# )
   (( segid "   A" and resid 32   and name  HN  ))

      4.800     3.800     1.100
 assi 
   (  segid "   A" and resid 13   and name  HE# )
   (( segid "   A" and resid 32   and name  HN  ))

      4.000     3.000     2.500
 or 
   (  segid "   A" and resid 13   and name  HD# )
   (( segid "   A" and resid 32   and name  HN  ))
 assi 
   (  segid "   A" and resid 27   and name  HA# )
   (( segid "   A" and resid 32   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 28   and name  HA  ))
   (( segid "   A" and resid 32   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 30   and name  HB# )
   (( segid "   A" and resid 32   and name  HN  ))

      4.800     3.800     0.900
 assi 
   (( segid "   A" and resid 31   and name  HA  ))
   (( segid "   A" and resid 32   and name  HN  ))

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

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 33   and name  HB  ))
   (( segid "   A" and resid 33   and name  HA  ))

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

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (( segid "   A" and resid 33   and name  HB  ))

      2.800     1.800     1.100
 assi 
   (  segid "   A" and resid 33   and name  HG2#)
   (( segid "   A" and resid 33   and name  HB  ))

      2.800     1.800     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 33   and name  HB  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 41   and name  HB1 ))
   (  segid "   A" and resid 33   and name  HD1#)

      4.800     3.800     1.100
 assi 
   (( segid "   A" and resid 2    and name  HA  ))
   (( segid "   A" and resid 33   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 3    and name  HB# )
   (( segid "   A" and resid 33   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 4    and name  HA  ))
   (( segid "   A" and resid 33   and name  HN  ))

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

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

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 33   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 33   and name  HB  ))
   (( segid "   A" and resid 33   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (( segid "   A" and resid 33   and name  HN  ))

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

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 34   and name  HA  ))
   (( segid "   A" and resid 33   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 44   and name  HD2 ))
   (( segid "   A" and resid 33   and name  HN  ))

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

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 33   and name  HB  ))
   (( segid "   A" and resid 34   and name  HA  ))

      4.800     3.800     0.000
 assi 
   (  segid "   A" and resid 33   and name  HG1#)
   (( segid "   A" and resid 34   and name  HA  ))

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 34   and name  HA  ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 34   and name  HA  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 33   and name  HA  ))
   (  segid "   A" and resid 34   and name  HB# )

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 35   and name  HA  ))
   (  segid "   A" and resid 34   and name  HB# )

      4.800     3.800     0.900
 assi 
   (( segid "   A" and resid 35   and name  HA  ))
   (( segid "   A" and resid 34   and name  HD2 ))

      4.000     3.000     2.200
 or 
   (( segid "   A" and resid 35   and name  HA  ))
   (( segid "   A" and resid 34   and name  HE1 ))
 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 34   and name  HD2 ))

      4.000     3.000     2.200
 or 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 34   and name  HE1 ))
 assi 
   (  segid "   A" and resid 36   and name  HG2#)
   (( segid "   A" and resid 34   and name  HD2 ))

      3.400     2.400     3.300
 or 
   (  segid "   A" and resid 36   and name  HG2#)
   (( segid "   A" and resid 34   and name  HE1 ))
 assi 
   (( segid "   A" and resid 33   and name  HA  ))
   (( segid "   A" and resid 34   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 33   and name  HB  ))
   (( segid "   A" and resid 34   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 33   and name  HG1#)
   (( segid "   A" and resid 34   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 33   and name  HG2#)
   (( segid "   A" and resid 34   and name  HN  ))

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

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 35   and name  HA  ))

      2.800     1.800     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 35   and name  HA  ))

      2.800     1.800     1.100
 assi 
   (  segid "   A" and resid 37   and name  HG2#)
   (( segid "   A" and resid 35   and name  HB  ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (  segid "   A" and resid 35   and name  HG1#)

      2.800     1.000     2.200
 assi 
   (( segid "   A" and resid 37   and name  HA  ))
   (  segid "   A" and resid 35   and name  HG1#)

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 40   and name  HA  ))
   (  segid "   A" and resid 35   and name  HG1#)

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 1    and name  HD# )
   (  segid "   A" and resid 35   and name  HG2#)

      3.400     2.400     2.000
 assi 
   (( segid "   A" and resid 3    and name  HA  ))
   (  segid "   A" and resid 35   and name  HG2#)

      4.800     3.800     1.100
 assi 
   (( segid "   A" and resid 37   and name  HA  ))
   (  segid "   A" and resid 35   and name  HG2#)

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 37   and name  HB  ))
   (  segid "   A" and resid 35   and name  HG2#)

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 40   and name  HA  ))
   (  segid "   A" and resid 35   and name  HG2#)

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 1    and name  HA  ))
   (( segid "   A" and resid 35   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (  segid "   A" and resid 1    and name  HD# )
   (( segid "   A" and resid 35   and name  HN  ))

      4.800     3.800     0.900
 assi 
   (( segid "   A" and resid 2    and name  HA  ))
   (( segid "   A" and resid 35   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 34   and name  HA  ))
   (( segid "   A" and resid 35   and name  HN  ))

      2.300     1.300     0.000
 assi 
   (  segid "   A" and resid 34   and name  HB# )
   (( segid "   A" and resid 35   and name  HN  ))

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

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

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 35   and name  HN  ))

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

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

      4.800     3.800     1.100
 assi 
   (( segid "   A" and resid 37   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 35   and name  HA  ))
   (( segid "   A" and resid 36   and name  HN  ))

      2.300     1.300     0.000
 assi 
   (( segid "   A" and resid 35   and name  HB  ))
   (( segid "   A" and resid 36   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 36   and name  HN  ))

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

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

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 37   and name  HB  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 37   and name  HA  ))
   (( segid "   A" and resid 37   and name  HB  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 35   and name  HA  ))
   (( segid "   A" and resid 37   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 35   and name  HB  ))
   (( segid "   A" and resid 37   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 37   and name  HN  ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 37   and name  HN  ))

      2.800     1.800     1.100
 assi 
   (  segid "   A" and resid 36   and name  HG2#)
   (( segid "   A" and resid 37   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 37   and name  HB  ))
   (( segid "   A" and resid 37   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 37   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 38   and name  HB  ))
   (( segid "   A" and resid 38   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 37   and name  HA  ))
   (( segid "   A" and resid 38   and name  HN  ))

      2.300     1.300     0.000
 assi 
   (( segid "   A" and resid 37   and name  HB  ))
   (( segid "   A" and resid 38   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 38   and name  HB  ))
   (( segid "   A" and resid 38   and name  HN  ))

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

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 39   and name  HA  ))
   (( segid "   A" and resid 39   and name  HB  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 39   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 37   and name  HB  ))
   (( segid "   A" and resid 39   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 37   and name  HG2#)
   (( segid "   A" and resid 39   and name  HN  ))

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 38   and name  HB  ))
   (( segid "   A" and resid 39   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 39   and name  HB  ))
   (( segid "   A" and resid 39   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 39   and name  HG2#)
   (( segid "   A" and resid 39   and name  HN  ))

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

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 41   and name  HD1 ))
   (( segid "   A" and resid 40   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 41   and name  HD2 ))
   (( segid "   A" and resid 40   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 3    and name  HB# )
   (  segid "   A" and resid 40   and name  HB# )

      4.000     3.000     1.800
 assi 
   (( segid "   A" and resid 45   and name  HA  ))
   (  segid "   A" and resid 40   and name  HB# )

      2.800     1.800     0.900
 assi 
   (  segid "   A" and resid 1    and name  HZ# )
   (( segid "   A" and resid 40   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 39   and name  HA  ))
   (( segid "   A" and resid 40   and name  HN  ))

      2.300     1.300     0.000
 assi 
   (( segid "   A" and resid 39   and name  HB  ))
   (( segid "   A" and resid 40   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 41   and name  HD1 ))
   (( segid "   A" and resid 40   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 41   and name  HD2 ))
   (( segid "   A" and resid 40   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (  segid "   A" and resid 3    and name  HB# )
   (( segid "   A" and resid 41   and name  HD1 ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (( segid "   A" and resid 41   and name  HD1 ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 41   and name  HD1 ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 41   and name  HD1 ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 40   and name  HB# )
   (( segid "   A" and resid 41   and name  HD1 ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 44   and name  HB# )
   (( segid "   A" and resid 41   and name  HD1 ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (( segid "   A" and resid 41   and name  HD2 ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 41   and name  HD2 ))

      2.800     1.800     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 41   and name  HD2 ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 40   and name  HB# )
   (( segid "   A" and resid 41   and name  HD2 ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 44   and name  HB# )
   (( segid "   A" and resid 41   and name  HD2 ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 3    and name  HB# )
   (( segid "   A" and resid 41   and name  HG1 ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (( segid "   A" and resid 41   and name  HG1 ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 41   and name  HG1 ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (( segid "   A" and resid 41   and name  HG2 ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 33   and name  HG1#)
   (( segid "   A" and resid 41   and name  HG2 ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (( segid "   A" and resid 41   and name  HG2 ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 35   and name  HG2#)
   (( segid "   A" and resid 41   and name  HG2 ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 41   and name  HA  ))
   (( segid "   A" and resid 42   and name  HN  ))

      2.300     1.300     0.000
 assi 
   (( segid "   A" and resid 41   and name  HB1 ))
   (( segid "   A" and resid 42   and name  HN  ))

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

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 43   and name  HB1 ))
   (( segid "   A" and resid 43   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 43   and name  HB2 ))
   (( segid "   A" and resid 43   and name  HA  ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 45   and name  HD# )
   (( segid "   A" and resid 43   and name  HA  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 41   and name  HA  ))
   (( segid "   A" and resid 43   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 41   and name  HB1 ))
   (( segid "   A" and resid 43   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 41   and name  HB2 ))
   (( segid "   A" and resid 43   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 41   and name  HG1 ))
   (( segid "   A" and resid 43   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 41   and name  HG2 ))
   (( segid "   A" and resid 43   and name  HN  ))

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

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 43   and name  HB1 ))
   (( segid "   A" and resid 43   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 43   and name  HB2 ))
   (( segid "   A" and resid 43   and name  HN  ))

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

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 45   and name  HD# )
   (( segid "   A" and resid 44   and name  HA  ))

      2.800     1.800     0.900
 assi 
   (  segid "   A" and resid 3    and name  HB# )
   (  segid "   A" and resid 44   and name  HB# )

      3.400     2.400     1.800
 assi 
   (( segid "   A" and resid 4    and name  HA  ))
   (  segid "   A" and resid 44   and name  HB# )

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 5    and name  HA  ))
   (  segid "   A" and resid 44   and name  HB# )

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (  segid "   A" and resid 44   and name  HB# )

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (  segid "   A" and resid 44   and name  HB# )

      3.400     2.400     2.000
 assi 
   (  segid "   A" and resid 33   and name  HG1#)
   (  segid "   A" and resid 44   and name  HB# )

      4.000     3.000     1.800
 assi 
   (  segid "   A" and resid 35   and name  HG1#)
   (  segid "   A" and resid 44   and name  HB# )

      4.800     3.800     2.000
 assi 
   (( segid "   A" and resid 41   and name  HG1 ))
   (  segid "   A" and resid 44   and name  HB# )

      3.400     2.400     0.900
 assi 
   (  segid "   A" and resid 45   and name  HD# )
   (  segid "   A" and resid 44   and name  HB# )

      4.800     3.800     1.800
 assi 
   (( segid "   A" and resid 4    and name  HA  ))
   (( segid "   A" and resid 44   and name  HD2 ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 5    and name  HA  ))
   (( segid "   A" and resid 44   and name  HD2 ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 5    and name  HD# )
   (( segid "   A" and resid 44   and name  HD2 ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 5    and name  HG# )
   (( segid "   A" and resid 44   and name  HD2 ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 31   and name  HB# )
   (( segid "   A" and resid 44   and name  HD2 ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (( segid "   A" and resid 44   and name  HD2 ))

      2.800     1.800     0.000
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (( segid "   A" and resid 44   and name  HD2 ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 33   and name  HG1#)
   (( segid "   A" and resid 44   and name  HD2 ))

      4.000     3.000     0.900
 assi 
   (  segid "   A" and resid 33   and name  HG2#)
   (( segid "   A" and resid 44   and name  HD2 ))

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 44   and name  HA  ))
   (( segid "   A" and resid 44   and name  HD2 ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 44   and name  HB# )
   (( segid "   A" and resid 44   and name  HD2 ))

      2.800     1.800     0.900
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (( segid "   A" and resid 44   and name  HE1 ))

      3.400     2.400     1.100
 assi 
   (  segid "   A" and resid 33   and name  HG2#)
   (( segid "   A" and resid 44   and name  HE1 ))

      3.400     2.400     1.100
 assi 
   (( segid "   A" and resid 43   and name  HB1 ))
   (( segid "   A" and resid 44   and name  HE1 ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 33   and name  HD1#)
   (( segid "   A" and resid 44   and name  HN  ))

      4.000     3.000     1.100
 assi 
   (( segid "   A" and resid 41   and name  HB1 ))
   (( segid "   A" and resid 44   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 41   and name  HD1 ))
   (( segid "   A" and resid 44   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 41   and name  HG2 ))
   (( segid "   A" and resid 44   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 42   and name  HB# )
   (( segid "   A" and resid 44   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 44   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 43   and name  HA  ))
   (( segid "   A" and resid 44   and name  HN  ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 43   and name  HB1 ))
   (( segid "   A" and resid 44   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 43   and name  HB2 ))
   (( segid "   A" and resid 44   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 45   and name  HD# )
   (( segid "   A" and resid 44   and name  HN  ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 6    and name  HA  ))
   (  segid "   A" and resid 45   and name  HD# )

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 6    and name  HA  ))
   (  segid "   A" and resid 45   and name  HG# )

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (( segid "   A" and resid 46   and name  HB1 ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 7    and name  HA  ))
   (( segid "   A" and resid 46   and name  HB1 ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 7    and name  HG2#)
   (( segid "   A" and resid 46   and name  HB1 ))

      4.000     3.000     1.100
 assi 
   (  segid "   A" and resid 10   and name  HB# )
   (( segid "   A" and resid 46   and name  HB1 ))

      3.400     2.400     0.900
 assi 
   (( segid "   A" and resid 46   and name  HA  ))
   (( segid "   A" and resid 46   and name  HB1 ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (( segid "   A" and resid 46   and name  HB2 ))

      3.400     2.400     0.000
 assi 
   (  segid "   A" and resid 10   and name  HB# )
   (( segid "   A" and resid 46   and name  HB2 ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 46   and name  HA  ))
   (( segid "   A" and resid 46   and name  HB2 ))

      3.400     2.400     0.000
 assi 
   (( segid "   A" and resid 4    and name  HA  ))
   (( segid "   A" and resid 46   and name  HN  ))

      4.800     3.800     0.000
 assi 
   (( segid "   A" and resid 4    and name  HB1 ))
   (( segid "   A" and resid 46   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 5    and name  HA  ))
   (( segid "   A" and resid 46   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 6    and name  HA  ))
   (( segid "   A" and resid 46   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (( segid "   A" and resid 44   and name  HA  ))
   (( segid "   A" and resid 46   and name  HN  ))

      4.000     3.000     0.000
 assi 
   (  segid "   A" and resid 44   and name  HB# )
   (( segid "   A" and resid 46   and name  HN  ))

      4.800     3.800     0.900
 assi 
   (  segid "   A" and resid 45   and name  HD# )
   (( segid "   A" and resid 46   and name  HN  ))

      4.000     3.000     0.900
 assi 
   (( segid "   A" and resid 46   and name  HB1 ))
   (( segid "   A" and resid 46   and name  HN  ))

      2.800     1.800     0.000
 assi 
   (( segid "   A" and resid 46   and name  HB2 ))
   (( segid "   A" and resid 46   and name  HN  ))

      2.800     1.800     0.000
