947

    84    0.8885    3.6187   ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (8 . 7) (9 . 8) (10 . 10) (12 . 12))
   304    0.4443    6.9418   ((8 . 2) (9 . 5) (10 . 6) (12 . 7))
   947    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 10) (12 . 12))
  1031    0.6666    3.8188   ((1 . 1) (2 . 2) (3 . 3) (9 . 8) (10 . 9) (12 . 10))
  1158    0.7776    3.4333   ((1 . 1) (2 . 2) (3 . 3) (8 . 6) (9 . 7) (10 . 8) (12 . 9))
  1932    0.7774    4.2421   ((1 . 1) (2 . 3) (3 . 4) (6 . 8) (9 . 10) (10 . 11) (12 . 13))
  1940    0.9994    3.5523   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 9) (12 . 11))
  2422    0.6648    7.8648   ((1 . 1) (2 . 2) (3 . 4) (6 . 8) (9 . 9) (12 . 10))
  2552    0.6170    3.5779   ((1 . 1) (2 . 2) (3 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7))
  3322    0.9998    2.8097   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (12 . 10))
  3776    0.5555    3.4356   ((1 . 15) (2 . 16) (3 . 17) (9 . 21) (12 . 25))
  5967    0.6169    4.7818   ((3 . 1) (5 . 2) (6 . 3) (8 . 6) (9 . 7) (10 . 8) (12 . 10))
END