586

    56    0.8750    2.1457   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 9))
   147    0.7490    5.8023   ((1 . 2) (2 . 3) (5 . 5) (6 . 7) (7 . 8) (8 . 9))
   148    0.7492    5.4615   ((1 . 2) (2 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8))
   197    0.8749    2.8805   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8))
   259    0.8749    2.7575   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8))
   317    0.7138    4.7424   ((1 . 3) (2 . 4) (5 . 6) (6 . 8) (7 . 9) (8 . 10))
   586    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8))
   656    0.8745    4.0434   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7))
   876    0.7635    4.9846   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7))
   877    0.7496    4.5821   ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7))
  1098    0.8750    2.2275   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8))
  1282    0.8628    3.9293   ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 9) (8 . 10))
  1503    0.8749    2.4352   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8))
  1795    0.8750    2.0145   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8))
  1796    0.8750    1.4942   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7))
  2126    0.7290    6.6853   ((1 . 3) (2 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 11))
  2142    0.9175    3.0240   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9))
  2233    0.7500    2.4118   ((1 . 1) (2 . 2) (5 . 6) (6 . 7) (7 . 8) (8 . 9))
  2465    0.7498    3.6982   ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8))
  2580    0.8749    2.6171   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8))
  2597    0.8653    2.6861   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8))
  2598    0.8669    3.6009   ((1 . 1) (2 . 3) (3 . 4) (5 . 6) (6 . 8) (7 . 9) (8 . 10))
  2815    0.8725    6.0083   ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 7) (7 . 8) (8 . 9))
  2816    0.7139    4.6293   ((1 . 3) (2 . 4) (5 . 6) (6 . 8) (7 . 9) (8 . 10))
  2956    0.8654    2.2553   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7))
  3283    0.7480    6.8903   ((2 . 15) (3 . 16) (5 . 17) (6 . 18) (7 . 20) (8 . 21))
  3406    0.7499    3.4162   ((2 . 1) (3 . 2) (5 . 4) (6 . 5) (7 . 6) (8 . 7))
  3899    0.8749    2.6421   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8))
  4216    0.4997    7.0675   ((5 . 13) (6 . 14) (7 . 15) (8 . 16))
  4241    0.7498    4.0000   ((2 . 2) (3 . 3) (5 . 4) (6 . 6) (7 . 7) (8 . 8))
  4675    0.8750    1.9520   ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8))
  4759    0.8745    3.9434   ((1 . 4) (2 . 5) (3 . 6) (5 . 7) (6 . 9) (7 . 10) (8 . 11))
  5374    0.4983   10.8971   ((2 . 11) (5 . 12) (6 . 15) (8 . 18))
  6457    0.8652    3.3428   ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7))
  6595    0.8749    2.2978   ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (8 . 9))
END