864

    31    0.7272    3.3915   ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 7) (19 . 8) (20 . 9) (23 . 10))
   497    0.7268    4.9487   ((13 . 6) (14 . 7) (15 . 8) (16 . 10) (17 . 12) (19 . 13) (20 . 14) (23 . 15))
   863    0.9981    3.2081   ((13 . 1) (14 . 2) (15 . 3) (16 . 4) (17 . 5) (19 . 6) (20 . 7) (22 . 8) (23 . 9) (24 . 11) (25 . 12))
   864    1.0000    0.0000   ((13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (19 . 19) (20 . 20) (22 . 22) (23 . 23) (24 . 24) (25 . 25))
   920    0.7262    6.0875   ((13 . 5) (14 . 6) (15 . 7) (17 . 11) (19 . 12) (20 . 13) (23 . 15) (25 . 18))
  1101    0.8178    4.1192   ((13 . 25) (14 . 26) (15 . 27) (16 . 28) (17 . 30) (19 . 31) (20 . 32) (23 . 35) (25 . 36))
  1619    0.7137    5.9233   ((13 . 8) (14 . 9) (15 . 10) (16 . 11) (17 . 13) (19 . 14) (20 . 15) (23 . 16))
  1703    0.7271    3.8654   ((13 . 6) (14 . 7) (15 . 8) (16 . 10) (17 . 11) (19 . 12) (20 . 13) (24 . 14))
  2209    0.7271    3.6534   ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 7) (19 . 8) (20 . 9) (23 . 10))
  2755    0.6363    3.3359   ((13 . 3) (14 . 4) (15 . 5) (17 . 6) (19 . 7) (20 . 8) (23 . 10))
  2960    0.5454    3.4239   ((13 . 7) (14 . 8) (15 . 9) (19 . 14) (23 . 16) (24 . 19))
  3517    0.8178    4.1366   ((13 . 6) (14 . 7) (15 . 8) (16 . 10) (17 . 12) (19 . 13) (20 . 15) (22 . 17) (23 . 18))
  3628    0.9083    4.2562   ((13 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 10) (19 . 11) (20 . 12) (22 . 13) (23 . 14) (25 . 15))
  4398    0.8180    3.1888   ((13 . 4) (14 . 5) (15 . 6) (16 . 7) (17 . 8) (19 . 9) (20 . 10) (22 . 11) (23 . 12))
  4494    0.7194    4.6209   ((13 . 11) (14 . 12) (15 . 13) (16 . 15) (17 . 17) (19 . 18) (20 . 19) (23 . 20))
  4502    0.5454    4.1966   ((13 . 6) (14 . 7) (15 . 9) (19 . 13) (23 . 14) (24 . 17))
  5277    0.5454    3.8417   ((13 . 9) (14 . 10) (15 . 11) (20 . 15) (23 . 17) (24 . 20))
  5892    0.7271    3.6703   ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 7) (19 . 8) (20 . 9) (23 . 10))
END