6009

   251    0.6665    4.3914   ((3 . 1) (4 . 2) (5 . 5) (6 . 6))
   340    0.8333    1.6152   ((3 . 1) (4 . 2) (5 . 4) (6 . 7) (8 . 9))
   414    0.2970    6.1297   ((4 . 1) (5 . 3) (6 . 4) (8 . 5))
   501    0.8333    2.4542   ((3 . 13) (4 . 15) (5 . 16) (6 . 17) (8 . 19))
  1648    0.8333    2.3803   ((3 . 12) (4 . 15) (5 . 16) (6 . 17) (8 . 19))
  1715    0.8332    2.7626   ((3 . 12) (4 . 15) (5 . 16) (6 . 17) (8 . 19))
  2073    0.8332    2.9260   ((3 . 1) (4 . 2) (5 . 5) (6 . 6) (8 . 8))
  2363    0.8333    2.1716   ((3 . 2) (4 . 3) (5 . 5) (6 . 6) (8 . 8))
  2581    0.6640    8.5436   ((1 . 9) (3 . 8) (5 . 12) (8 . 14))
  2900    0.8333    2.1026   ((3 . 9) (4 . 10) (5 . 11) (6 . 12) (8 . 13))
  2913    0.8331    3.3740   ((3 . 2) (4 . 4) (5 . 5) (6 . 6) (8 . 8))
  2916    0.8328    4.3947   ((3 . 7) (4 . 8) (5 . 9) (6 . 11) (8 . 13))
  3300    0.6667    2.3104   ((3 . 1) (4 . 2) (5 . 4) (6 . 5))
  3303    0.6666    2.7797   ((3 . 3) (4 . 4) (5 . 5) (6 . 6))
  3326    0.6663    5.2421   ((3 . 1) (4 . 3) (5 . 4) (8 . 5))
  3693    0.8333    1.8670   ((3 . 2) (4 . 3) (5 . 4) (6 . 7) (8 . 9))
  3783    0.6613   10.2297   ((1 . 3) (3 . 4) (4 . 6) (6 . 9))
  3838    0.6655    7.0146   ((3 . 2) (4 . 3) (5 . 5) (6 . 6))
  3892    0.8333    2.5301   ((3 . 31) (4 . 35) (5 . 37) (6 . 38) (8 . 39))
  4112    0.8333    1.6731   ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (8 . 6))
  4209    0.8331    3.4203   ((3 . 1) (4 . 2) (5 . 4) (6 . 8) (8 . 10))
  4236    0.8333    1.2376   ((3 . 5) (4 . 6) (5 . 7) (6 . 8) (8 . 10))
  4665    0.6663    5.0797   ((3 . 11) (4 . 12) (5 . 13) (8 . 14))
  4842    0.6664    4.9732   ((3 . 4) (4 . 5) (5 . 6) (8 . 8))
  4843    0.6667    2.3276   ((3 . 15) (4 . 16) (5 . 17) (6 . 19))
  5014    0.8331    3.4029   ((3 . 1) (4 . 2) (5 . 6) (6 . 7) (8 . 9))
  5548    0.6660    5.9544   ((3 . 3) (4 . 4) (5 . 7) (6 . 8))
  5668    0.8333    2.3846   ((3 . 8) (4 . 11) (5 . 12) (6 . 13) (8 . 14))
  5957    0.8330    3.9247   ((3 . 1) (4 . 2) (5 . 4) (6 . 7) (8 . 9))
  6009    1.0000    0.0000   ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (8 . 8))
  6325    0.6655    6.9183   ((3 . 5) (4 . 6) (5 . 8) (6 . 9))
  6391    0.2488    7.0609   ((3 . 6) (4 . 8) (6 . 10) (8 . 12))
  6604    0.8330    3.6961   ((3 . 1) (4 . 2) (5 . 3) (6 . 7) (8 . 9))
END