1932

    84    0.6997    4.6277   ((1 . 1) (3 . 2) (4 . 3) (8 . 6) (10 . 8) (11 . 9) (13 . 12))
   304    0.2955    3.5249   ((1 . 1) (3 . 2) (4 . 3) (10 . 5) (11 . 6) (13 . 7))
   947    0.6998    4.2421   ((1 . 1) (3 . 2) (4 . 3) (8 . 6) (10 . 9) (11 . 10) (13 . 12))
  1031    0.6993    5.7653   ((1 . 1) (3 . 2) (4 . 3) (7 . 4) (8 . 5) (11 . 9) (13 . 10))
  1158    0.5999    4.2500   ((1 . 1) (3 . 2) (4 . 3) (10 . 7) (11 . 8) (13 . 9))
  1932    1.0000    0.0000   ((1 . 1) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (11 . 11) (12 . 12) (13 . 13))
  1940    0.6996    4.9727   ((1 . 1) (3 . 2) (4 . 3) (8 . 5) (10 . 7) (11 . 8) (13 . 11))
  2422    0.6737    4.2691   ((1 . 1) (3 . 2) (4 . 4) (6 . 6) (7 . 7) (10 . 9) (11 . 10))
  2552    0.5999    4.5814   ((1 . 1) (3 . 2) (4 . 3) (10 . 5) (11 . 6) (13 . 7))
  3322    0.6999    3.8658   ((1 . 1) (3 . 2) (4 . 3) (8 . 5) (10 . 7) (11 . 8) (13 . 10))
  3776    0.7991    5.1488   ((1 . 15) (3 . 16) (4 . 17) (8 . 19) (10 . 21) (11 . 23) (12 . 24) (13 . 25))
  5967    0.6000    1.7911   ((1 . 1) (3 . 2) (4 . 3) (10 . 7) (11 . 8) (13 . 10))
END