509

   328    0.4968   12.8525   ((2 . 4) (5 . 5) (7 . 8) (8 . 9))
   410    0.6247    5.5115   ((2 . 1) (5 . 2) (7 . 3) (8 . 4) (9 . 7))
   509    1.0000    0.0000   ((1 . 1) (2 . 2) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10))
   997    0.4530    6.9999   ((2 . 1) (5 . 3) (6 . 4) (7 . 5))
  1461    0.7497    4.4273   ((2 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 8))
  1576    0.4995    8.1536   ((6 . 20) (7 . 21) (9 . 23) (10 . 24))
  1595    0.4530    6.0814   ((5 . 2) (6 . 3) (7 . 4) (8 . 6))
  1597    0.4530    6.5190   ((5 . 2) (6 . 3) (7 . 5) (8 . 6))
  1973    0.4989    9.8150   ((1 . 2) (2 . 3) (5 . 7) (7 . 8))
  1999    0.2910    4.4232   ((5 . 5) (7 . 7) (8 . 8) (9 . 9))
  2162    0.4204    6.3986   ((6 . 1) (7 . 2) (9 . 5) (10 . 6))
  2224    0.4995    7.9886   ((1 . 1) (2 . 2) (5 . 5) (7 . 6))
  2278    0.6246    5.6344   ((2 . 33) (5 . 34) (7 . 36) (8 . 37) (9 . 40))
  2482    0.6307    2.6755   ((2 . 1) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7))
  2544    0.2910    5.6703   ((5 . 18) (7 . 20) (8 . 21) (9 . 24))
  2703    0.6026    6.6731   ((2 . 1) (5 . 3) (7 . 4) (8 . 5) (9 . 6))
  2862    0.6241    7.0217   ((2 . 1) (5 . 2) (7 . 3) (8 . 4) (9 . 7))
  2871    0.2462    8.3622   ((1 . 1) (2 . 2) (5 . 3) (8 . 6))
  3237    0.2910    8.0696   ((5 . 1) (7 . 3) (9 . 4) (10 . 8))
  3338    0.7305    3.0640   ((2 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 6))
  3438    0.4999    5.8291   ((2 . 1) (5 . 2) (7 . 4) (8 . 5))
  3639    0.4994    8.5721   ((7 . 1) (8 . 2) (9 . 4) (10 . 5))
  3681    0.4993    8.8418   ((7 . 1) (8 . 2) (9 . 3) (10 . 4))
  3746    0.4996    7.4075   ((5 . 1) (7 . 3) (8 . 4) (10 . 7))
  3748    0.3670    7.0254   ((5 . 13) (7 . 14) (8 . 15) (10 . 18))
  3934    0.4992    9.0997   ((5 . 1) (8 . 3) (9 . 4) (10 . 5))
  3960    0.2908   13.2421   ((2 . 1) (5 . 2) (7 . 3) (9 . 6))
  4082    0.5000    3.9374   ((2 . 1) (5 . 2) (7 . 3) (8 . 4))
  4697    0.4996    7.7207   ((2 . 3) (7 . 7) (8 . 8) (10 . 9))
  4714    0.4200    9.5664   ((2 . 12) (6 . 19) (8 . 20) (9 . 21))
  4840    0.4996    7.6073   ((5 . 33) (7 . 35) (8 . 36) (9 . 38))
  4894    0.4999    5.8456   ((2 . 1) (5 . 2) (7 . 4) (8 . 5))
  4895    0.4999    5.5836   ((2 . 9) (5 . 10) (7 . 12) (8 . 13))
  4986    0.4943   14.9073   ((5 . 3) (7 . 4) (8 . 5) (10 . 6))
  5074    0.4997    7.2181   ((5 . 1) (7 . 4) (8 . 8) (10 . 9))
  5180    0.5773    4.7345   ((2 . 1) (5 . 2) (7 . 3) (8 . 4) (9 . 7))
  5508    0.4531    5.3691   ((5 . 2) (6 . 3) (7 . 4) (8 . 5))
  5612    0.5772    5.7958   ((2 . 2) (5 . 3) (7 . 5) (8 . 6) (9 . 11))
  5613    0.5000    3.8385   ((5 . 14) (7 . 16) (8 . 18) (9 . 19))
  5750    0.4997    6.8184   ((6 . 1) (8 . 3) (9 . 6) (10 . 7))
  5764    0.6241    7.1100   ((2 . 1) (5 . 2) (7 . 4) (8 . 5) (9 . 8))
  5776    0.4204    6.2639   ((5 . 1) (6 . 3) (7 . 5) (8 . 7))
  5972    0.3671    5.1554   ((5 . 1) (7 . 4) (8 . 5) (10 . 8))
  6025    0.4999    5.3898   ((5 . 1) (7 . 4) (8 . 5) (10 . 7))
  6450    0.1987    9.3193   ((2 . 2) (5 . 6) (7 . 7) (8 . 8))
  6451    0.3665   12.6351   ((6 . 12) (7 . 13) (8 . 15) (10 . 16))
  6476    0.4999    5.8160   ((1 . 1) (5 . 2) (7 . 5) (8 . 7))
END