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

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 7    and name  HN  ))
   (( segid "   A" and resid 10   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 7    and name  HN  ))
   (( segid "   A" and resid 11   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 9    and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 11   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 12   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 11   and name  HN  ))
   (( segid "   A" and resid 9    and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 12   and name  HN  ))
   (( segid "   A" and resid 7    and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 12   and name  HN  ))
   (( segid "   A" and resid 11   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 12   and name  HN  ))
   (( segid "   A" and resid 14   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 10   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 13   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 16   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 10   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 14   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 16   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 17   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 17   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 18   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   A" and resid 18   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 18   and name  HN  ))
   (( segid "   A" and resid 15   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 18   and name  HN  ))
   (( segid "   A" and resid 19   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 18   and name  HN  ))
   (( segid "   A" and resid 20   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 17   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 20   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 20   and name  HN  ))
   (( segid "   A" and resid 21   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 22   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 19   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 20   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 23   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 24   and name  HN  ))
   (( segid "   A" and resid 25   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 26   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 27   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 29   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 26   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 28   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 26   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 29   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 30   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (( segid "   A" and resid 30   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 30   and name  HN  ))
   (( segid "   A" and resid 31   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 29   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 31   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 33   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 34   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 32   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 36   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (( segid "   A" and resid 37   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (( segid "   A" and resid 38   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 37   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 37   and name  HN  ))
   (( segid "   A" and resid 39   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 35   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 37   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 36   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 38   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 42   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 39   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 41   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 42   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   A" and resid 42   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   A" and resid 44   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 43   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 44   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 39   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 44   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 45   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 43   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 46   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 47   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 47   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 48   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (( segid "   A" and resid 48   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 49   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 49   and name  HN  ))
   (( segid "   A" and resid 47   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 49   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 51   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 5    and name  HN  ))
   (( segid "   A" and resid 4    and name  HA  ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 5    and name  HN  ))
   (( segid "   A" and resid 5    and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 6    and name  HN  ))
   (( segid "   A" and resid 4    and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 6    and name  HN  ))
   (( segid "   A" and resid 5    and name  HA  ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 6    and name  HN  ))
   (( segid "   A" and resid 6    and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 7    and name  HN  ))
   (( segid "   A" and resid 4    and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 7    and name  HN  ))
   (( segid "   A" and resid 6    and name  HA  ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 7    and name  HN  ))
   (( segid "   A" and resid 7    and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 9    and name  HN  ))
   (( segid "   A" and resid 7    and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 9    and name  HN  ))
   (( segid "   A" and resid 9    and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 8    and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 9    and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 10   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 10   and name  HN  ))
   (( segid "   A" and resid 11   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 11   and name  HN  ))
   (( segid "   A" and resid 8    and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 11   and name  HN  ))
   (( segid "   A" and resid 10   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 11   and name  HN  ))
   (( segid "   A" and resid 11   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 12   and name  HN  ))
   (( segid "   A" and resid 9    and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 12   and name  HN  ))
   (( segid "   A" and resid 11   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 12   and name  HN  ))
   (( segid "   A" and resid 12   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   A" and resid 11   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   A" and resid 12   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   A" and resid 13   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 13   and name  HN  ))
   (( segid "   A" and resid 14   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 11   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 13   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 14   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 14   and name  HN  ))
   (( segid "   A" and resid 15   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 11   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 13   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 14   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 15   and name  HN  ))
   (( segid "   A" and resid 15   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 13   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 14   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 16   and name  HA  ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 16   and name  HN  ))
   (( segid "   A" and resid 17   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   A" and resid 13   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   A" and resid 14   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   A" and resid 16   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 17   and name  HN  ))
   (( segid "   A" and resid 17   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 18   and name  HN  ))
   (( segid "   A" and resid 14   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 18   and name  HN  ))
   (( segid "   A" and resid 15   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 18   and name  HN  ))
   (( segid "   A" and resid 17   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 18   and name  HN  ))
   (( segid "   A" and resid 18   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 18   and name  HN  ))
   (( segid "   A" and resid 19   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 18   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 19   and name  HN  ))
   (( segid "   A" and resid 19   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 20   and name  HN  ))
   (( segid "   A" and resid 19   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 20   and name  HN  ))
   (( segid "   A" and resid 20   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 19   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 20   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 22   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 20   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 22   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 23   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 23   and name  HN  ))
   (( segid "   A" and resid 23   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 24   and name  HN  ))
   (( segid "   A" and resid 24   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 24   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 25   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 26   and name  HN  ))
   (( segid "   A" and resid 25   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 28   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 29   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (( segid "   A" and resid 24   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (( segid "   A" and resid 28   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 29   and name  HN  ))
   (( segid "   A" and resid 29   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 30   and name  HN  ))
   (( segid "   A" and resid 29   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 30   and name  HN  ))
   (( segid "   A" and resid 30   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 30   and name  HN  ))
   (( segid "   A" and resid 31   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 31   and name  HN  ))
   (( segid "   A" and resid 31   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 28   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 29   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 32   and name  HN  ))
   (( segid "   A" and resid 32   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 29   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 32   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 33   and name  HN  ))
   (( segid "   A" and resid 33   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 31   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 34   and name  HN  ))
   (( segid "   A" and resid 34   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 31   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 34   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 35   and name  HN  ))
   (( segid "   A" and resid 35   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (( segid "   A" and resid 33   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (( segid "   A" and resid 35   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (( segid "   A" and resid 36   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 36   and name  HN  ))
   (( segid "   A" and resid 37   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 37   and name  HN  ))
   (( segid "   A" and resid 36   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 37   and name  HN  ))
   (( segid "   A" and resid 37   and name  HA  ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 35   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 36   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 37   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 38   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 38   and name  HN  ))
   (( segid "   A" and resid 39   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 36   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 37   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 38   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 39   and name  HN  ))
   (( segid "   A" and resid 39   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 39   and name  HA  ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 40   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   A" and resid 39   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   A" and resid 40   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   A" and resid 42   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 39   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 40   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 42   and name  HA  ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 39   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 40   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 42   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 43   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 44   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 42   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 44   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 45   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 46   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 43   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 44   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 45   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 46   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 46   and name  HN  ))
   (( segid "   A" and resid 50   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (( segid "   A" and resid 43   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (( segid "   A" and resid 44   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (( segid "   A" and resid 46   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 47   and name  HN  ))
   (( segid "   A" and resid 47   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 44   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 47   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 48   and name  HN  ))
   (( segid "   A" and resid 48   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 49   and name  HN  ))
   (( segid "   A" and resid 44   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 49   and name  HN  ))
   (( segid "   A" and resid 49   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 49   and name  HA  ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 50   and name  HN  ))
   (( segid "   A" and resid 50   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 51   and name  HN  ))
   (( segid "   A" and resid 49   and name  HA  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 51   and name  HN  ))
   (( segid "   A" and resid 50   and name  HA  ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 51   and name  HN  ))
   (( segid "   A" and resid 51   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 51   and name  HN  ))
   (( segid "   A" and resid 52   and name  HA  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 52   and name  HN  ))
   (( segid "   A" and resid 51   and name  HA  ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 52   and name  HN  ))
   (( segid "   A" and resid 52   and name  HA  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 21   and name  HA1 ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 21   and name  HA1 ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 26   and name  HA1 ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 26   and name  HN  ))
   (( segid "   A" and resid 26   and name  HA1 ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 26   and name  HN  ))
   (( segid "   A" and resid 27   and name  HA1 ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 26   and name  HA1 ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 27   and name  HA1 ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 27   and name  HA1 ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 41   and name  HA1 ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   A" and resid 41   and name  HA1 ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 41   and name  HA1 ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 43   and name  HN  ))
   (( segid "   A" and resid 41   and name  HA1 ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 20   and name  HN  ))
   (( segid "   A" and resid 21   and name  HA2 ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 21   and name  HN  ))
   (( segid "   A" and resid 21   and name  HA2 ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 22   and name  HN  ))
   (( segid "   A" and resid 21   and name  HA2 ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 25   and name  HN  ))
   (( segid "   A" and resid 26   and name  HA2 ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 26   and name  HN  ))
   (( segid "   A" and resid 26   and name  HA2 ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 26   and name  HA2 ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 27   and name  HN  ))
   (( segid "   A" and resid 27   and name  HA2 ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 28   and name  HN  ))
   (( segid "   A" and resid 26   and name  HA2 ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 40   and name  HN  ))
   (( segid "   A" and resid 41   and name  HA2 ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 41   and name  HN  ))
   (( segid "   A" and resid 41   and name  HA2 ))

      2.500     0.700     0.500
 assi 
   (( segid "   A" and resid 42   and name  HN  ))
   (( segid "   A" and resid 41   and name  HA2 ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 44   and name  HN  ))
   (( segid "   A" and resid 41   and name  HA2 ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 45   and name  HN  ))
   (( segid "   A" and resid 41   and name  HA2 ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 8    and name  HA  ))
   (( segid "   A" and resid 9    and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 9    and name  HA  ))
   (( segid "   A" and resid 9    and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 11   and name  HA  ))
   (( segid "   A" and resid 11   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 12   and name  HA  ))
   (( segid "   A" and resid 12   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 14   and name  HA  ))
   (( segid "   A" and resid 14   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 17   and name  HA  ))
   (( segid "   A" and resid 17   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 18   and name  HA  ))
   (( segid "   A" and resid 18   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 18   and name  HA  ))
   (( segid "   A" and resid 22   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 19   and name  HA  ))
   (( segid "   A" and resid 19   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 22   and name  HA  ))
   (( segid "   A" and resid 23   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 23   and name  HA  ))
   (( segid "   A" and resid 24   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 24   and name  HA  ))
   (( segid "   A" and resid 25   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 30   and name  HA  ))
   (( segid "   A" and resid 30   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 31   and name  HA  ))
   (( segid "   A" and resid 31   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 32   and name  HA  ))
   (( segid "   A" and resid 32   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 33   and name  HA  ))
   (( segid "   A" and resid 33   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 35   and name  HA  ))
   (( segid "   A" and resid 35   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 36   and name  HA  ))
   (( segid "   A" and resid 36   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 37   and name  HA  ))
   (( segid "   A" and resid 37   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 38   and name  HA  ))
   (( segid "   A" and resid 38   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 39   and name  HA  ))
   (( segid "   A" and resid 39   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 40   and name  HA  ))
   (( segid "   A" and resid 40   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 42   and name  HA  ))
   (( segid "   A" and resid 42   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 43   and name  HA  ))
   (( segid "   A" and resid 43   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 44   and name  HA  ))
   (( segid "   A" and resid 44   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 46   and name  HA  ))
   (( segid "   A" and resid 46   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 48   and name  HA  ))
   (( segid "   A" and resid 48   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 48   and name  HA  ))
   (( segid "   A" and resid 49   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 49   and name  HA  ))
   (( segid "   A" and resid 49   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 50   and name  HA  ))
   (( segid "   A" and resid 50   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 21   and name  HA1 ))
   (( segid "   A" and resid 21   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 27   and name  HA1 ))
   (( segid "   A" and resid 27   and name  HN  ))

      5.000     3.200     0.500
 assi 
   (( segid "   A" and resid 41   and name  HA1 ))
   (( segid "   A" and resid 41   and name  HN  ))

      2.800     1.000     0.500
 assi 
   (( segid "   A" and resid 21   and name  HA2 ))
   (( segid "   A" and resid 21   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 27   and name  HA2 ))
   (( segid "   A" and resid 27   and name  HN  ))

      4.000     2.200     0.500
 assi 
   (( segid "   A" and resid 41   and name  HA2 ))
   (( segid "   A" and resid 41   and name  HN  ))

      4.000     2.200     0.500
