997

   288    0.7260    3.4144   ((1 . 1) (3 . 2) (5 . 3) (6 . 4) (7 . 5))
   328    0.8330    3.7813   ((1 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 7))
   410    0.8332    2.8224   ((1 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6))
   424    0.8327    4.4349   ((1 . 1) (3 . 2) (5 . 3) (6 . 4) (7 . 5))
   509    0.5285    6.9999   ((1 . 2) (3 . 5) (4 . 6) (5 . 7))
   576    0.6650    7.5551   ((3 . 1) (5 . 3) (6 . 5) (7 . 6))
   904    0.3312    4.8734   ((1 . 1) (3 . 4) (5 . 5) (6 . 6) (7 . 7))
   997    1.0000    0.0000   ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7))
  1461    0.5288    4.7339   ((1 . 1) (3 . 2) (4 . 3) (5 . 4))
  1576    0.4409    4.2705   ((1 . 21) (3 . 23) (5 . 24) (6 . 25) (7 . 26))
  1595    0.8329    4.0536   ((1 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8))
  1597    0.6662    5.6476   ((1 . 2) (5 . 6) (6 . 7) (7 . 8))
  1973    0.7258    4.4471   ((1 . 3) (3 . 7) (5 . 8) (6 . 9) (7 . 10))
  1999    0.4850    4.4766   ((1 . 5) (3 . 7) (5 . 8) (6 . 10) (7 . 11))
  2162    0.7258    4.4801   ((1 . 1) (3 . 5) (5 . 6) (6 . 7) (7 . 8))
  2224    0.6648    7.8345   ((1 . 2) (3 . 5) (5 . 6) (6 . 8))
  2278    0.2970    5.8295   ((1 . 34) (3 . 36) (5 . 37) (6 . 39))
  2410    0.7260    3.6276   ((1 . 12) (3 . 14) (5 . 15) (6 . 16) (7 . 17))
  2482    0.2970    8.7022   ((1 . 3) (3 . 5) (4 . 4) (5 . 6))
  2544    0.8333    2.5547   ((1 . 18) (3 . 19) (5 . 20) (6 . 22) (7 . 23))
  2862    0.1665   12.4214   ((1 . 1) (4 . 3) (5 . 4) (7 . 6))
  2871    0.5282    8.1670   ((1 . 3) (3 . 4) (4 . 5) (5 . 6))
  3237    0.4666    6.8157   ((1 . 1) (5 . 4) (6 . 5) (7 . 6))
  3296    0.6663    5.3203   ((1 . 15) (5 . 18) (6 . 19) (7 . 20))
  3338    0.4666    7.1543   ((1 . 1) (3 . 2) (4 . 3) (5 . 4))
  3438    0.2969    9.7750   ((1 . 1) (3 . 2) (5 . 4) (7 . 7))
  3604    0.4843    9.1082   ((1 . 38) (3 . 40) (5 . 41) (6 . 42) (7 . 43))
  3639    0.1996   11.1849   ((1 . 1) (3 . 2) (5 . 4) (7 . 7))
  3681    0.8331    3.4498   ((1 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6))
  3746    0.4667    6.1909   ((3 . 1) (5 . 4) (6 . 5) (7 . 6))
  3748    0.6665    4.4547   ((1 . 13) (5 . 15) (6 . 16) (7 . 17))
  3960    0.8330    3.8159   ((1 . 1) (3 . 2) (5 . 3) (6 . 4) (7 . 5))
  4082    0.8330    3.7267   ((1 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6))
  4537    0.4850    3.4716   ((1 . 16) (3 . 20) (5 . 21) (6 . 22) (7 . 23))
  4697    0.7551    3.3512   ((1 . 1) (3 . 3) (5 . 4) (6 . 5) (7 . 6))
  4714    0.6665    4.4381   ((1 . 12) (5 . 16) (6 . 17) (7 . 18))
  4745    0.7548    4.5538   ((1 . 5) (3 . 7) (5 . 8) (6 . 9) (7 . 10))
  4840    0.8332    2.7491   ((1 . 33) (3 . 34) (5 . 36) (6 . 37) (7 . 39))
  4872    0.4409    3.8432   ((1 . 15) (3 . 17) (5 . 18) (6 . 19) (7 . 20))
  4894    0.5287    5.8487   ((3 . 2) (5 . 5) (6 . 6) (7 . 7))
  4895    0.4667    5.8519   ((3 . 10) (5 . 13) (6 . 14) (7 . 15))
  5074    0.4667    5.1755   ((1 . 2) (3 . 4) (4 . 5) (5 . 8))
  5110    0.6665    4.3604   ((1 . 1) (5 . 5) (6 . 6) (7 . 7))
  5180    0.8329    4.0170   ((1 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6))
  5508    0.2488    7.3581   ((1 . 3) (3 . 4) (4 . 5) (5 . 8))
  5612    0.5289    3.1793   ((1 . 3) (3 . 5) (6 . 9) (7 . 10))
  5613    0.4667    6.0281   ((1 . 14) (3 . 16) (5 . 19) (7 . 21))
  5750    0.6662    5.5708   ((1 . 1) (5 . 7) (6 . 8) (7 . 9))
  5764    0.5287    6.2910   ((3 . 2) (5 . 5) (6 . 6) (7 . 7))
  5776    0.5287    5.8726   ((1 . 1) (3 . 5) (5 . 7) (7 . 9))
  5829    0.8331    3.3734   ((1 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6))
  5959    0.4667    6.2687   ((3 . 3) (5 . 6) (6 . 7) (7 . 8))
  5972    0.6665    4.4410   ((1 . 1) (5 . 5) (6 . 6) (7 . 7))
  6450    0.7260    3.6679   ((1 . 1) (3 . 7) (5 . 8) (6 . 9) (7 . 10))
  6476    0.6664    4.9997   ((1 . 1) (3 . 5) (5 . 7) (7 . 9))
  6480    0.4849    4.8054   ((1 . 1) (3 . 5) (5 . 6) (6 . 7) (7 . 8))
END