6592

    62    0.6246    5.6809   ((2 . 9) (4 . 13) (6 . 15) (7 . 16) (8 . 17))
   222    0.4999    5.4943   ((4 . 12) (6 . 15) (7 . 16) (8 . 17))
   250    0.8739    4.8792   ((2 . 3) (4 . 5) (6 . 7) (7 . 8) (8 . 10) (9 . 11) (11 . 17))
   336    0.4979   11.4978   ((4 . 1) (6 . 2) (9 . 3) (11 . 5))
   581    0.4997    6.9291   ((4 . 6) (8 . 9) (9 . 10) (11 . 11))
   621    0.4179   15.0067   ((4 . 3) (6 . 5) (8 . 7) (11 . 9))
   717    0.3668   10.6959   ((1 . 1) (2 . 2) (8 . 7) (11 . 10))
   788    0.4963   13.3525   ((1 . 9) (4 . 15) (7 . 18) (9 . 19))
   825    0.4998    6.1643   ((6 . 3) (7 . 4) (8 . 5) (9 . 6))
   886    0.4994    8.3581   ((1 . 3) (2 . 5) (4 . 7) (7 . 9))
   982    0.4995    8.2202   ((6 . 3) (7 . 5) (8 . 7) (11 . 12))
  1276    0.8031    5.6176   ((1 . 3) (2 . 5) (4 . 8) (6 . 9) (7 . 10) (8 . 11) (11 . 13))
  1367    0.4978   11.6982   ((1 . 1) (4 . 7) (7 . 12) (9 . 14))
  1512    0.4999    5.5093   ((2 . 11) (4 . 12) (7 . 14) (11 . 18))
  1665    0.4993    8.6294   ((4 . 6) (7 . 8) (9 . 9) (11 . 11))
  1808    0.6249    3.7957   ((2 . 1) (4 . 5) (6 . 7) (7 . 8) (8 . 9))
  2210    0.7470    7.5951   ((2 . 1) (4 . 4) (6 . 7) (7 . 8) (8 . 9) (11 . 13))
  2707    0.4996    7.4202   ((2 . 3) (4 . 6) (6 . 8) (11 . 12))
  3258    0.4991    9.3487   ((1 . 1) (2 . 3) (6 . 8) (8 . 9))
  3365    0.4995    7.9042   ((2 . 13) (6 . 16) (9 . 18) (11 . 21))
  4182    0.5142    6.8057   ((1 . 20) (2 . 21) (4 . 23) (7 . 25) (11 . 29))
  5514    0.6248    4.7828   ((2 . 1) (4 . 4) (6 . 5) (7 . 6) (8 . 7))
  5516    0.6245    6.0702   ((2 . 16) (4 . 21) (6 . 22) (7 . 23) (8 . 24))
  5795    0.4983   10.9769   ((1 . 3) (2 . 5) (4 . 9) (6 . 11))
  5867    0.4999    5.2142   ((6 . 1) (7 . 2) (8 . 3) (9 . 4))
  6324    0.0999    7.9197   ((2 . 1) (4 . 5) (6 . 6) (11 . 9))
  6453    0.4997    6.8301   ((2 . 33) (4 . 36) (6 . 37) (11 . 42))
  6592    1.0000    0.0000   ((1 . 1) (2 . 2) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 11))
END