5805

   251    0.1987    7.9398   ((6 . 1) (7 . 2) (8 . 4) (10 . 5))
   340    0.6250    2.7427   ((5 . 1) (6 . 2) (7 . 4) (8 . 7) (10 . 9))
   414    0.6248    4.6942   ((5 . 3) (6 . 5) (7 . 6) (8 . 7) (10 . 8))
   501    0.6250    2.1361   ((5 . 13) (6 . 15) (7 . 16) (8 . 17) (10 . 19))
  1648    0.6250    2.5805   ((5 . 12) (6 . 15) (7 . 16) (8 . 17) (10 . 19))
  1715    0.6250    2.4457   ((5 . 12) (6 . 15) (7 . 16) (8 . 17) (10 . 19))
  2363    0.6250    1.9552   ((5 . 2) (6 . 3) (7 . 5) (8 . 6) (10 . 8))
  2581    0.2907   13.9386   ((1 . 5) (2 . 6) (5 . 8) (6 . 10))
  2900    0.6250    2.0494   ((5 . 9) (6 . 10) (7 . 11) (8 . 12) (10 . 13))
  2913    0.6250    1.9915   ((5 . 2) (6 . 4) (7 . 5) (8 . 6) (10 . 8))
  2916    0.6249    3.9824   ((5 . 7) (6 . 8) (7 . 9) (8 . 11) (10 . 13))
  3300    0.1987    7.4389   ((5 . 1) (6 . 2) (8 . 4) (10 . 5))
  3303    0.5774    3.4913   ((5 . 3) (6 . 4) (7 . 5) (8 . 6) (10 . 8))
  3326    0.4999    5.3457   ((3 . 2) (6 . 3) (7 . 4) (8 . 5))
  3693    0.2462    5.8444   ((3 . 1) (5 . 2) (6 . 3) (8 . 4))
  3783    0.1987    8.8798   ((5 . 1) (6 . 2) (7 . 4) (10 . 5))
  3838    0.4201    8.9506   ((6 . 5) (7 . 6) (8 . 7) (10 . 8))
  3892    0.6250    3.2965   ((5 . 31) (6 . 35) (7 . 37) (8 . 38) (10 . 39))
  4209    0.4999    5.2551   ((5 . 4) (7 . 5) (8 . 7) (10 . 8))
  4236    0.6250    1.7528   ((5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10))
  4665    0.5000    2.4905   ((5 . 11) (6 . 12) (7 . 13) (8 . 14))
  4842    0.6024    7.2743   ((2 . 1) (5 . 4) (6 . 5) (7 . 6) (8 . 8))
  4843    0.5000    2.5576   ((5 . 15) (6 . 16) (7 . 17) (8 . 19))
  5548    0.4530    6.7422   ((6 . 3) (7 . 4) (8 . 5) (10 . 7))
  5668    0.6250    1.5743   ((5 . 8) (6 . 11) (7 . 12) (8 . 13) (10 . 14))
  5805    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10))
  5957    0.1987    8.6774   ((5 . 1) (6 . 2) (7 . 4) (10 . 5))
  6325    0.7344    5.8098   ((3 . 2) (5 . 5) (6 . 6) (7 . 11) (8 . 12) (10 . 14))
  6604    0.4998    6.0200   ((5 . 3) (7 . 4) (8 . 5) (10 . 7))
END