414

   251    0.7142    3.4897   ((3 . 1) (4 . 2) (5 . 4) (6 . 5) (7 . 6))
   340    0.4454    6.1081   ((1 . 1) (4 . 2) (6 . 4) (8 . 9))
   414    1.0000    0.0000   ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8))
   501    0.5709    6.9786   ((3 . 13) (4 . 14) (6 . 16) (7 . 19))
  1648    0.3789    7.7094   ((3 . 15) (4 . 16) (5 . 17) (6 . 19))
  1715    0.5711    6.0139   ((5 . 15) (6 . 16) (7 . 17) (8 . 19))
  2073    0.7142    3.5921   ((3 . 1) (4 . 2) (6 . 5) (7 . 6) (8 . 8))
  2363    0.4455    5.1099   ((1 . 2) (4 . 3) (7 . 6) (8 . 8))
  2900    0.8206    3.4069   ((1 . 8) (3 . 9) (4 . 10) (6 . 11) (7 . 12) (8 . 13))
  2913    0.7140    4.4987   ((3 . 2) (5 . 4) (6 . 5) (7 . 6) (8 . 8))
  2916    0.5712    5.3202   ((1 . 6) (3 . 7) (5 . 8) (6 . 9))
  3300    0.5714    2.4197   ((3 . 1) (4 . 2) (6 . 4) (7 . 5))
  3303    0.8088    3.5584   ((1 . 1) (3 . 3) (4 . 4) (6 . 5) (7 . 6) (8 . 8))
  3326    0.2477    8.2361   ((3 . 3) (4 . 4) (6 . 5) (8 . 7))
  3693    0.5707    7.4743   ((3 . 2) (4 . 3) (6 . 4) (8 . 7))
  3783    0.5712    5.5386   ((4 . 1) (6 . 2) (7 . 4) (8 . 5))
  3838    0.7688    4.9740   ((3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 14) (8 . 16))
  3892    0.3789    8.9747   ((3 . 35) (4 . 37) (5 . 38) (6 . 39))
  4112    0.7142    3.1612   ((3 . 1) (4 . 2) (6 . 3) (7 . 4) (8 . 6))
  4209    0.5713    5.1072   ((4 . 2) (6 . 5) (7 . 7) (8 . 8))
  4236    0.7142    3.1345   ((3 . 5) (4 . 6) (6 . 7) (7 . 8) (8 . 10))
  4665    0.5712    5.6987   ((3 . 11) (5 . 12) (6 . 13) (7 . 14))
  4842    0.5710    6.4023   ((3 . 4) (5 . 5) (6 . 6) (7 . 8))
  4843    0.5712    5.7052   ((3 . 15) (5 . 16) (6 . 17) (7 . 19))
  5014    0.7141    4.0673   ((3 . 1) (4 . 2) (6 . 6) (7 . 7) (8 . 9))
  5548    0.7133    6.1648   ((3 . 3) (4 . 4) (6 . 7) (7 . 8) (8 . 12))
  5668    0.8088    3.6045   ((1 . 6) (3 . 8) (4 . 11) (6 . 12) (7 . 13) (8 . 14))
  5805    0.7139    4.6942   ((3 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 10))
  5957    0.4338    5.9916   ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6))
  6009    0.2945    6.1297   ((1 . 4) (3 . 5) (4 . 6) (5 . 8))
  6325    0.5707    7.5475   ((3 . 6) (5 . 8) (6 . 9) (7 . 11))
  6604    0.5713    4.4875   ((4 . 1) (6 . 2) (7 . 3) (8 . 4))
END