3914

   635    0.3975    4.9623   ((3 . 2) (11 . 5) (14 . 13) (15 . 14) (16 . 15) (18 . 18))
   672    0.8608    2.4290   ((3 . 8) (4 . 9) (6 . 12) (8 . 15) (9 . 16) (10 . 17) (11 . 18) (12 . 19) (14 . 21) (15 . 23) (16 . 24) (17 . 25) (18 . 26))
   688    0.7183    5.2787   ((1 . 1) (3 . 2) (4 . 3) (6 . 5) (9 . 6) (10 . 7) (11 . 8) (14 . 9) (15 . 11) (16 . 12) (18 . 14))
   816    0.7332    2.4546   ((3 . 3) (4 . 4) (6 . 7) (9 . 12) (10 . 13) (11 . 14) (12 . 15) (14 . 17) (15 . 19) (16 . 20) (18 . 22))
   861    0.6662    4.4901   ((3 . 6) (4 . 10) (6 . 11) (9 . 12) (10 . 14) (11 . 15) (14 . 16) (15 . 17) (16 . 18) (18 . 19))
  1007    0.3332    8.7818   ((4 . 4) (14 . 12) (15 . 13) (16 . 14) (18 . 17))
  1272    0.2667    5.3442   ((9 . 2) (10 . 5) (15 . 11) (16 . 12))
  1993    0.3940    5.0342   ((7 . 13) (8 . 14) (11 . 17) (14 . 18) (15 . 19) (16 . 20))
  2607    0.3489    8.4540   ((3 . 8) (6 . 11) (14 . 16) (15 . 18) (16 . 19) (17 . 20))
  3306    0.7938    1.3875   ((3 . 2) (4 . 3) (6 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 8) (14 . 10) (15 . 11) (16 . 12) (17 . 13) (18 . 14))
  3912    0.3227    5.3712   ((3 . 9) (7 . 11) (9 . 18) (10 . 19) (11 . 20) (14 . 22) (15 . 23) (16 . 26) (17 . 27) (18 . 28))
  3914    1.0000    0.0000   ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18))
  4188    0.3317    7.5152   ((6 . 11) (7 . 16) (14 . 23) (15 . 24) (16 . 25))
  4300    0.2667    6.3918   ((12 . 1) (14 . 4) (15 . 5) (16 . 6))
  5392    0.5999    3.9127   ((3 . 3) (4 . 5) (6 . 6) (9 . 8) (11 . 10) (14 . 11) (15 . 12) (16 . 13) (18 . 15))
  5910    0.7979    3.6191   ((3 . 3) (4 . 4) (6 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (14 . 14) (15 . 16) (16 . 17) (17 . 18) (18 . 19))
  5970    0.3333    7.6220   ((1 . 4) (12 . 5) (14 . 10) (15 . 11) (16 . 12))
  6041    0.3330   11.9830   ((1 . 2) (3 . 3) (4 . 4) (11 . 10) (16 . 15))
  6286    0.2666    8.3775   ((3 . 17) (7 . 21) (11 . 26) (14 . 28))
  6414    0.6731    5.7752   ((3 . 6) (4 . 7) (6 . 9) (9 . 18) (10 . 21) (11 . 22) (14 . 27) (15 . 28) (16 . 29) (17 . 30) (18 . 31))
  6571    0.7235    5.2782   ((3 . 7) (4 . 8) (6 . 10) (9 . 18) (10 . 21) (11 . 22) (14 . 27) (15 . 28) (16 . 29) (17 . 30) (18 . 31))
END