1031

    84    0.3999    6.5285   ((3 . 1) (5 . 3) (6 . 6) (9 . 9))
   304    0.3999    6.4482   ((1 . 1) (2 . 2) (3 . 3) (5 . 5))
   947    0.5999    3.8188   ((1 . 1) (2 . 2) (3 . 3) (8 . 9) (9 . 10) (10 . 12))
  1031    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10))
  1158    0.6000    1.6622   ((1 . 1) (2 . 2) (3 . 3) (8 . 7) (9 . 8) (10 . 9))
  1932    0.6993    5.7653   ((1 . 1) (2 . 3) (3 . 4) (4 . 7) (5 . 8) (9 . 11) (10 . 13))
  1940    0.4531    4.6927   ((1 . 1) (2 . 2) (3 . 3) (8 . 7) (9 . 8) (10 . 11))
  2422    0.7077    6.0595   ((1 . 1) (2 . 2) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10))
  2552    0.6000    2.2023   ((1 . 1) (2 . 2) (3 . 3) (8 . 5) (9 . 6) (10 . 7))
  3322    0.3999    7.0626   ((1 . 1) (2 . 2) (3 . 3) (9 . 10))
  3776    0.4998    6.0454   ((1 . 15) (2 . 16) (5 . 19) (9 . 23) (10 . 25))
  5967    0.5999    4.0352   ((1 . 1) (2 . 2) (3 . 3) (8 . 7) (9 . 8) (10 . 10))
END