3912

   635    0.2000    6.1647   ((21 . 12) (22 . 13) (25 . 17) (26 . 18))
   672    0.4487    5.6489   ((9 . 8) (15 . 9) (18 . 16) (19 . 17) (20 . 18) (22 . 21) (23 . 23) (26 . 24) (28 . 26))
   688    0.4499    5.0876   ((9 . 2) (15 . 3) (18 . 6) (19 . 7) (20 . 8) (22 . 10) (23 . 11) (26 . 12) (28 . 14))
   816    0.2500    7.2699   ((9 . 13) (11 . 19) (12 . 20) (15 . 21) (22 . 22))
   861    0.4499    5.4163   ((9 . 6) (15 . 10) (18 . 12) (19 . 14) (20 . 15) (22 . 16) (23 . 17) (26 . 18) (28 . 19))
  1007    0.2500   10.2408   ((15 . 4) (20 . 7) (23 . 11) (26 . 14) (28 . 17))
  1272    0.2500    8.0747   ((19 . 7) (23 . 12) (25 . 14) (26 . 15) (27 . 16))
  1993    0.2499   10.9056   ((9 . 5) (10 . 6) (18 . 12) (20 . 14) (21 . 15))
  2607    0.2000    6.7428   ((22 . 16) (23 . 18) (25 . 20) (26 . 21))
  3306    0.4908    5.1863   ((9 . 2) (15 . 3) (18 . 5) (19 . 6) (20 . 7) (22 . 10) (23 . 11) (26 . 12) (27 . 13) (28 . 14))
  3912    1.0000    0.0000   ((3 . 3) (5 . 5) (6 . 6) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (15 . 15) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28))
  3914    0.3138    5.3712   ((9 . 3) (11 . 7) (18 . 9) (19 . 10) (20 . 11) (22 . 14) (23 . 15) (26 . 16) (27 . 17) (28 . 18))
  4188    0.2000    9.3911   ((11 . 18) (12 . 19) (20 . 27) (21 . 28))
  4300    0.2500    5.5215   ((22 . 4) (23 . 5) (24 . 7) (25 . 8) (26 . 9))
  5392    0.3999    6.5195   ((9 . 3) (15 . 5) (18 . 7) (20 . 10) (22 . 11) (23 . 12) (26 . 13) (28 . 15))
  5910    0.3119    5.5509   ((9 . 3) (18 . 9) (19 . 10) (20 . 14) (22 . 15) (23 . 16) (26 . 17) (28 . 19))
  5970    0.2000    6.9417   ((25 . 1) (26 . 2) (27 . 3) (28 . 4))
  6041    0.4998    6.6676   ((9 . 3) (15 . 5) (18 . 8) (19 . 9) (20 . 10) (22 . 11) (23 . 12) (26 . 13) (27 . 14) (28 . 15))
  6286    0.2000    6.9815   ((3 . 17) (6 . 21) (11 . 26) (12 . 28))
  6414    0.4874    5.0162   ((9 . 6) (12 . 14) (18 . 18) (19 . 21) (20 . 22) (22 . 27) (23 . 28) (26 . 29) (27 . 30) (28 . 31))
  6571    0.2849    4.3450   ((15 . 17) (19 . 21) (20 . 22) (26 . 29) (27 . 30) (28 . 31))
END