5011

    44    0.9981    4.7035   ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (6 . 24) (7 . 25) (8 . 26) (9 . 27) (10 . 28) (11 . 29) (12 . 30))
    83    0.4545    1.1779   ((2 . 5) (4 . 7) (7 . 10) (8 . 11) (9 . 12))
   791    0.8180    3.1571   ((2 . 27) (3 . 28) (4 . 29) (6 . 30) (7 . 31) (8 . 32) (9 . 33) (10 . 35) (11 . 36))
  1616    0.9979    4.8502   ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (6 . 12) (7 . 13) (8 . 14) (9 . 15) (10 . 16) (11 . 17) (12 . 18))
  2109    0.9978    4.9154   ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (6 . 14) (7 . 15) (8 . 16) (9 . 17) (10 . 18) (11 . 19) (12 . 20))
  2111    0.9978    4.8804   ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (6 . 11) (7 . 12) (8 . 13) (9 . 14) (10 . 15) (11 . 16) (12 . 17))
  2488    0.5454    3.1779   ((1 . 3) (2 . 5) (4 . 7) (7 . 10) (9 . 12) (11 . 15))
  2490    0.4545    3.8160   ((1 . 35) (2 . 37) (4 . 39) (7 . 41) (8 . 42))
  2547    0.9999    1.9191   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11))
  2955    0.5454    3.1764   ((1 . 2) (2 . 4) (4 . 5) (7 . 6) (9 . 7) (11 . 8))
  3856    0.5454    3.1399   ((2 . 3) (3 . 4) (4 . 6) (7 . 9) (9 . 12) (11 . 14))
  3857    0.7272    2.7356   ((1 . 27) (2 . 29) (3 . 31) (4 . 33) (6 . 34) (7 . 36) (9 . 38) (11 . 40))
  3890    0.7266    5.4441   ((3 . 3) (4 . 5) (6 . 6) (7 . 8) (8 . 9) (9 . 11) (10 . 12) (11 . 14))
  4167    0.6363    3.4089   ((1 . 2) (2 . 4) (3 . 5) (4 . 7) (7 . 9) (9 . 11) (11 . 14))
  4169    0.7272    2.8320   ((1 . 28) (2 . 30) (3 . 32) (4 . 34) (6 . 35) (7 . 37) (9 . 39) (11 . 41))
  4516    0.9978    4.8973   ((1 . 25) (2 . 26) (3 . 27) (4 . 28) (6 . 29) (7 . 30) (8 . 31) (9 . 32) (10 . 33) (11 . 34) (12 . 35))
  4645    0.8170    5.3922   ((1 . 15) (2 . 19) (3 . 21) (4 . 22) (7 . 25) (9 . 28) (10 . 30) (11 . 31) (12 . 33))
  4850    0.6359    5.9336   ((2 . 9) (4 . 10) (7 . 12) (9 . 14) (10 . 15) (11 . 16) (12 . 18))
  4940    0.5455    1.7224   ((2 . 2) (4 . 3) (6 . 5) (7 . 6) (9 . 8) (11 . 9))
  5011    1.0000    0.0000   ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12))
  6362    0.9990    4.0604   ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (6 . 19) (7 . 20) (8 . 21) (9 . 22) (10 . 23) (11 . 24) (12 . 25))
END