2552

    84    0.7140    4.5830   ((2 . 2) (3 . 6) (4 . 7) (6 . 9) (7 . 12))
   304    0.7141    3.8622   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (7 . 7))
   947    0.7141    3.7834   ((1 . 1) (3 . 6) (4 . 8) (6 . 10) (7 . 12))
  1031    0.8571    2.2023   ((1 . 1) (2 . 2) (3 . 3) (5 . 8) (6 . 9) (7 . 10))
  1158    0.6633    2.9369   ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (5 . 7) (6 . 8) (7 . 9))
  1932    0.8564    4.5814   ((1 . 1) (2 . 3) (3 . 4) (5 . 10) (6 . 11) (7 . 13))
  1940    0.7123    7.3225   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5))
  2422    0.7139    4.7974   ((1 . 1) (2 . 2) (3 . 4) (5 . 9) (6 . 10))
  2552    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7))
  3322    0.7138    5.1097   ((2 . 2) (3 . 5) (4 . 6) (6 . 8) (7 . 10))
  3776    0.9987    4.3228   ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 21) (6 . 23) (7 . 25))
  5967    0.8567    3.9588   ((1 . 1) (2 . 2) (3 . 3) (5 . 7) (6 . 8) (7 . 10))
END