5987

   162    0.5713    4.8903   ((1 . 12) (3 . 16) (4 . 17) (7 . 18))
   239    0.7142    3.0568   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 10))
   330    0.5714    2.9548   ((1 . 1) (2 . 2) (3 . 3) (7 . 8))
   508    0.4883   13.4033   ((2 . 1) (6 . 3) (7 . 5) (8 . 8))
   715    0.7142    3.5336   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 10))
   746    0.6316    3.4254   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6))
   896    0.7142    3.4910   ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (7 . 12))
  1067    0.7143    2.1042   ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (7 . 11))
  1218    0.5713    4.9191   ((1 . 14) (3 . 18) (4 . 19) (7 . 20))
  1257    0.7139    4.7014   ((1 . 10) (2 . 12) (3 . 14) (4 . 15) (7 . 16))
  1263    0.5714    3.6741   ((1 . 13) (3 . 17) (4 . 18) (7 . 23))
  1354    0.5714    3.9511   ((1 . 1) (3 . 3) (4 . 4) (7 . 7))
  1481    0.7142    2.8075   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7))
  1556    0.7143    1.8727   ((1 . 1) (2 . 3) (3 . 4) (4 . 6) (7 . 8))
  1582    0.7142    3.2475   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7))
  1815    0.8571    1.8172   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (7 . 6))
  1881    0.8570    3.1753   ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (6 . 7) (7 . 8))
  2078    0.7143    2.4851   ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (7 . 8))
  2385    0.7141    3.9928   ((1 . 11) (2 . 12) (3 . 15) (4 . 17) (7 . 21))
  2421    0.7137    5.3823   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7))
  2554    0.7142    2.9383   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6))
  2764    0.7143    1.7339   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7))
  2786    0.7143    2.5073   ((1 . 20) (2 . 21) (3 . 22) (4 . 24) (7 . 28))
  3015    0.7140    4.5384   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6))
  3219    0.7143    2.5333   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6))
  3282    0.7142    3.3717   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 8))
  3408    0.7143    2.4665   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 10))
  3533    0.7135    5.6844   ((1 . 1) (2 . 3) (3 . 6) (4 . 7) (7 . 11))
  3544    0.7142    2.6684   ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (7 . 11))
  3565    0.8569    3.4488   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7))
  3616    0.7142    3.0932   ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (7 . 8))
  3626    0.2977    5.8130   ((1 . 2) (2 . 3) (3 . 5) (4 . 8) (7 . 11))
  3837    0.7139    4.7762   ((1 . 10) (2 . 11) (3 . 13) (4 . 14) (7 . 19))
  3886    0.8571    1.8393   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7))
  3919    0.7143    2.3748   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6))
  4135    0.6051    4.2533   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 7) (7 . 8))
  4215    0.7142    3.3212   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6))
  4619    0.7143    2.3176   ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (7 . 8))
  4620    0.7142    2.6758   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7))
  4648    0.8571    0.7589   ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (6 . 7) (7 . 8))
  4754    0.7142    2.8022   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 9))
  5081    0.5714    4.0182   ((2 . 1) (3 . 2) (4 . 3) (7 . 6))
  5304    0.5714    2.8746   ((1 . 1) (2 . 2) (3 . 3) (4 . 5))
  5373    0.7142    3.1597   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 8))
  5427    0.7131    6.4639   ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (7 . 11))
  5872    0.7143    2.3282   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 6))
  5914    0.5944    3.3681   ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (7 . 6))
  5987    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8))
  6159    0.5712    5.8452   ((1 . 1) (2 . 2) (3 . 3) (6 . 4))
  6195    0.7143    2.3169   ((1 . 1) (2 . 3) (3 . 4) (4 . 8) (7 . 12))
  6509    0.7142    3.6145   ((1 . 19) (2 . 20) (3 . 21) (4 . 22) (7 . 26))
  6597    0.7137    5.3756   ((1 . 11) (2 . 12) (3 . 14) (4 . 15) (7 . 16))
  6602    0.7137    5.3247   ((1 . 11) (2 . 12) (3 . 15) (4 . 16) (7 . 17))
END