6324

    62    0.4999    4.9138   ((1 . 9) (3 . 12) (5 . 13) (6 . 15))
   222    0.4995    7.9462   ((1 . 6) (9 . 15) (10 . 16) (11 . 17))
   250    0.4990    9.6747   ((1 . 7) (3 . 8) (5 . 10) (7 . 13))
   336    0.6238    7.5817   ((1 . 5) (5 . 10) (6 . 12) (7 . 13) (9 . 15))
   581    0.6225    9.1718   ((1 . 13) (5 . 14) (6 . 15) (7 . 17) (9 . 18))
   621    0.4999    4.8113   ((1 . 2) (3 . 7) (5 . 8) (7 . 11))
   717    0.7433    9.3425   ((3 . 6) (5 . 7) (6 . 10) (7 . 11) (9 . 13) (10 . 14))
   788    0.7450    8.6382   ((1 . 10) (3 . 14) (5 . 15) (7 . 18) (9 . 19) (10 . 20))
   825    0.7431    9.4095   ((1 . 6) (5 . 10) (6 . 11) (7 . 12) (9 . 13) (10 . 14))
   886    0.6244    6.4506   ((1 . 5) (3 . 7) (5 . 9) (10 . 15) (11 . 17))
   982    0.7496    4.5602   ((1 . 1) (3 . 5) (5 . 7) (6 . 9) (7 . 10) (10 . 13))
  1276    0.4960   13.5664   ((1 . 13) (6 . 17) (10 . 22) (11 . 23))
  1367    0.6227    8.9475   ((1 . 6) (5 . 7) (7 . 12) (9 . 14) (10 . 15))
  1512    0.6225    9.1296   ((3 . 8) (6 . 11) (7 . 12) (9 . 13) (10 . 14))
  1665    0.1497   19.0131   ((6 . 1) (7 . 6) (9 . 7) (10 . 8))
  1808    0.4999    5.3681   ((1 . 1) (3 . 4) (5 . 5) (6 . 7))
  2210    0.6249    4.3563   ((1 . 1) (3 . 3) (5 . 4) (6 . 7) (9 . 13))
  2707    0.6246    5.7326   ((1 . 3) (5 . 6) (6 . 8) (7 . 11) (9 . 12))
  3258    0.4994    8.2500   ((1 . 1) (5 . 4) (7 . 9) (10 . 10))
  3365    0.6230    8.6195   ((1 . 16) (5 . 17) (6 . 18) (7 . 20) (9 . 21))
  4182    0.4999    5.7916   ((1 . 21) (5 . 23) (6 . 26) (9 . 30))
  5514    0.4999    5.8006   ((1 . 1) (3 . 2) (5 . 4) (6 . 5))
  5516    0.4999    4.5792   ((1 . 16) (3 . 19) (5 . 21) (6 . 22))
  5795    0.4992    9.1168   ((1 . 5) (7 . 10) (9 . 12) (10 . 13))
  5867    0.3665   12.5026   ((3 . 2) (5 . 3) (7 . 6) (11 . 10))
  6324    1.0000    0.0000   ((1 . 1) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 9) (10 . 10) (11 . 11))
  6453    0.8653    8.4457   ((1 . 33) (3 . 35) (5 . 36) (6 . 37) (7 . 39) (9 . 40) (10 . 41))
  6592    0.0999    7.9197   ((1 . 2) (5 . 4) (6 . 6) (9 . 11))
END