6195

   162    0.4999    4.7723   ((1 . 12) (4 . 16) (8 . 17) (12 . 18))
   239    0.6247    5.3084   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 7))
   330    0.5000    2.6694   ((1 . 1) (3 . 2) (4 . 3) (12 . 8))
   508    0.6250    3.2454   ((1 . 1) (3 . 2) (4 . 3) (8 . 5) (12 . 9))
   715    0.6249    3.8066   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 10))
   746    0.5000    4.3315   ((1 . 1) (3 . 2) (4 . 3) (8 . 4))
   896    0.6250    2.7959   ((1 . 1) (3 . 4) (4 . 5) (8 . 6) (12 . 12))
  1067    0.6249    3.4683   ((1 . 5) (3 . 6) (4 . 7) (8 . 8) (12 . 11))
  1218    0.6246    5.9180   ((1 . 14) (3 . 16) (4 . 18) (8 . 19) (12 . 20))
  1257    0.6247    5.2335   ((1 . 10) (3 . 12) (4 . 14) (8 . 15) (12 . 16))
  1263    0.4999    4.8393   ((1 . 13) (4 . 17) (8 . 18) (12 . 19))
  1354    0.3669    8.8530   ((3 . 1) (5 . 3) (8 . 5) (12 . 8))
  1481    0.6250    2.9252   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 7))
  1556    0.8750    1.4327   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 6) (12 . 8))
  1582    0.6249    3.4494   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 7))
  1815    0.6250    2.7503   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 6))
  1881    0.6249    3.8842   ((1 . 3) (3 . 4) (4 . 5) (8 . 6) (12 . 8))
  2078    0.6249    4.0526   ((1 . 1) (3 . 2) (4 . 3) (8 . 5) (12 . 8))
  2385    0.4999    4.6925   ((1 . 11) (4 . 15) (8 . 17) (12 . 18))
  2421    0.6250    2.2072   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 8))
  2554    0.6249    4.2090   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 6))
  2764    0.6250    3.3377   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 7))
  2786    0.7236    4.0270   ((1 . 20) (3 . 21) (4 . 22) (5 . 23) (8 . 24) (12 . 28))
  3015    0.6249    4.4071   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 6))
  3219    0.6249    3.6635   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 6))
  3282    0.6249    3.9059   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 8))
  3408    0.6247    5.3290   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 8))
  3533    0.1662    9.5712   ((1 . 1) (3 . 3) (5 . 6) (13 . 10))
  3544    0.6250    2.4927   ((1 . 1) (3 . 2) (4 . 4) (8 . 5) (12 . 11))
  3565    0.6248    4.5358   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 7))
  3616    0.6248    4.7784   ((1 . 1) (3 . 2) (4 . 3) (8 . 5) (12 . 8))
  3626    0.5000    4.3754   ((1 . 2) (3 . 3) (8 . 8) (12 . 11))
  3837    0.6248    4.5192   ((1 . 10) (3 . 11) (4 . 13) (8 . 14) (12 . 19))
  3886    0.6250    3.4237   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 7))
  3919    0.6250    3.3715   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 6))
  4135    0.6249    3.8536   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 8))
  4215    0.6250    2.5917   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 6))
  4619    0.6250    2.7812   ((1 . 1) (3 . 2) (4 . 3) (8 . 5) (12 . 8))
  4620    0.6249    3.8764   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 7))
  4648    0.6250    2.3293   ((1 . 1) (3 . 2) (4 . 3) (8 . 5) (12 . 8))
  4754    0.6250    2.4396   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 9))
  5081    0.2910    4.3298   ((1 . 3) (3 . 4) (4 . 5) (8 . 6))
  5304    0.4240    3.0422   ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (8 . 5))
  5373    0.6250    3.3303   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 8))
  5427    0.4998    6.5719   ((1 . 1) (3 . 2) (4 . 4) (8 . 6))
  5872    0.6249    3.8231   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 6))
  5914    0.5000    2.4956   ((1 . 2) (3 . 3) (8 . 5) (12 . 6))
  5987    0.6250    2.3169   ((1 . 1) (3 . 2) (4 . 3) (8 . 4) (12 . 7))
  6159    0.7494    5.0037   ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (8 . 5) (12 . 8))
  6195    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (12 . 12) (13 . 13))
  6509    0.6250    3.3555   ((1 . 19) (3 . 20) (4 . 21) (8 . 22) (12 . 26))
  6526    0.6247    5.3503   ((1 . 1) (3 . 2) (4 . 4) (8 . 5) (12 . 9))
  6597    0.6248    5.1192   ((1 . 11) (3 . 12) (4 . 14) (8 . 15) (12 . 19))
  6602    0.6239    7.3981   ((1 . 11) (3 . 13) (4 . 15) (8 . 16) (12 . 17))
END