2078

   162    0.8322    5.2138   ((1 . 12) (3 . 16) (5 . 17) (6 . 18) (8 . 22))
   239    0.9992    3.8544   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 7) (8 . 10))
   508    0.9999    1.9927   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 7) (8 . 9))
   715    0.9990    4.0527   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 7) (8 . 10))
   746    0.8333    2.6144   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5))
   896    0.9985    4.4344   ((1 . 1) (2 . 4) (3 . 5) (5 . 6) (6 . 9) (8 . 12))
  1067    0.8333    1.9321   ((1 . 5) (2 . 6) (3 . 7) (5 . 8) (8 . 11))
  1218    0.9984    4.5378   ((1 . 14) (2 . 16) (3 . 18) (5 . 19) (6 . 20) (8 . 24))
  1257    0.9994    3.6028   ((1 . 10) (2 . 12) (3 . 14) (5 . 15) (6 . 16) (8 . 19))
  1263    0.8320    5.4426   ((1 . 13) (3 . 17) (5 . 18) (6 . 19) (8 . 23))
  1354    0.8326    4.6346   ((1 . 1) (3 . 3) (5 . 4) (6 . 5) (8 . 8))
  1481    0.9996    3.2310   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7))
  1556    0.8331    3.4733   ((1 . 1) (2 . 3) (3 . 4) (5 . 6) (8 . 8))
  1582    0.9995    3.4113   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7))
  1815    0.8332    2.8696   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 6))
  1881    0.8332    3.0071   ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (8 . 8))
  2078    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8))
  2385    0.6664    4.7582   ((3 . 15) (5 . 17) (6 . 18) (8 . 21))
  2421    0.9991    3.9657   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 7) (8 . 8))
  2554    0.8333    2.6143   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 6))
  2764    0.9558    2.4485   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7))
  2786    0.9998    2.6599   ((1 . 20) (2 . 21) (3 . 22) (5 . 24) (6 . 27) (8 . 28))
  3015    0.8325    4.8062   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 6))
  3219    0.9999    2.2068   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6))
  3282    0.9994    3.4904   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 8))
  3408    0.9994    3.5989   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 8) (8 . 10))
  3533    0.8317    5.7153   ((1 . 1) (2 . 3) (3 . 6) (5 . 7) (8 . 11))
  3544    0.9989    4.0902   ((1 . 1) (2 . 2) (3 . 4) (5 . 5) (6 . 7) (8 . 11))
  3565    0.8332    2.9007   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 7))
  3616    0.9998    2.5739   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8))
  3626    0.6666    3.8175   ((1 . 2) (2 . 3) (5 . 8) (8 . 11))
  3837    0.9959    5.7273   ((1 . 10) (2 . 11) (3 . 13) (5 . 14) (6 . 15) (8 . 19))
  3886    0.8332    2.7792   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 7))
  3919    0.8333    2.4007   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 6))
  4135    0.9994    3.5071   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 8))
  4215    0.9989    4.1270   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6))
  4619    0.8332    2.8816   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8))
  4620    0.9996    3.2342   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7))
  4648    0.8333    2.2390   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8))
  4754    0.9993    3.6979   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6) (8 . 9))
  5081    0.6666    2.5686   ((3 . 2) (5 . 3) (6 . 4) (8 . 6))
  5304    0.8331    3.6085   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6))
  5373    0.9995    3.4422   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 8))
  5427    0.8313    6.0579   ((1 . 1) (2 . 2) (3 . 4) (5 . 5) (8 . 11))
  5872    0.9999    2.2998   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6))
  5914    0.6860    3.2718   ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (8 . 6))
  5987    0.8333    2.4851   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 7))
  6159    0.8330    3.7365   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8))
  6195    0.8329    4.0526   ((1 . 1) (2 . 3) (3 . 4) (5 . 8) (8 . 12))
  6509    0.9988    4.2516   ((1 . 19) (2 . 20) (3 . 21) (5 . 22) (6 . 24) (8 . 26))
  6526    0.9885    7.4562   ((1 . 1) (2 . 2) (3 . 4) (5 . 6) (6 . 7) (8 . 9))
  6597    0.6665    4.3853   ((1 . 11) (2 . 12) (3 . 14) (8 . 16))
  6602    0.9947    6.1206   ((1 . 11) (2 . 12) (3 . 15) (5 . 16) (6 . 17) (8 . 21))
END