3751

   281    0.7777    2.9210   ((16 . 1) (17 . 2) (18 . 3) (19 . 17) (21 . 19) (22 . 20) (24 . 22))
   594    0.8688    2.8141   ((16 . 2) (17 . 3) (18 . 4) (19 . 7) (20 . 8) (21 . 9) (22 . 11) (24 . 29))
   756    0.4444    3.5949   ((19 . 23) (21 . 24) (22 . 25) (24 . 27))
   767    0.7778    2.0602   ((16 . 1) (17 . 2) (18 . 3) (20 . 8) (21 . 9) (22 . 10) (24 . 12))
  1092    0.9999    2.0122   ((15 . 18) (16 . 19) (17 . 20) (18 . 21) (19 . 22) (20 . 23) (21 . 24) (22 . 25) (24 . 27))
  1201    0.8888    2.6860   ((16 . 1) (17 . 2) (18 . 3) (19 . 13) (20 . 14) (21 . 15) (22 . 16) (24 . 18))
  1439    0.4444    2.7735   ((19 . 22) (21 . 24) (22 . 25) (24 . 27))
  1465    0.5554    5.1813   ((15 . 2) (16 . 3) (19 . 8) (20 . 9) (22 . 11))
  1466    0.9772    3.0483   ((15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (24 . 24))
  1478    0.4444    5.7651   ((16 . 1) (17 . 2) (18 . 3) (19 . 4))
  1479    0.9999    2.1042   ((15 . 17) (16 . 18) (17 . 19) (18 . 20) (19 . 21) (20 . 22) (21 . 23) (22 . 24) (24 . 26))
  1544    0.8888    2.5933   ((16 . 1) (17 . 2) (18 . 3) (19 . 7) (20 . 8) (21 . 9) (22 . 10) (24 . 12))
  1545    0.9998    2.6883   ((15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (24 . 24))
  1896    0.4444    5.8223   ((19 . 21) (20 . 22) (21 . 23) (22 . 24))
  2112    0.8885    3.6484   ((16 . 1) (17 . 2) (18 . 3) (19 . 6) (20 . 7) (21 . 8) (22 . 9) (24 . 11))
  2113    0.9998    2.5402   ((15 . 14) (16 . 15) (17 . 16) (18 . 17) (19 . 18) (20 . 19) (21 . 20) (22 . 21) (24 . 23))
  2128    0.8884    3.8567   ((15 . 25) (16 . 26) (17 . 27) (18 . 28) (19 . 30) (20 . 31) (21 . 32) (22 . 33))
  2837    0.9999    1.8156   ((15 . 16) (16 . 17) (17 . 18) (18 . 19) (19 . 20) (20 . 21) (21 . 22) (22 . 23) (24 . 25))
  2994    0.7777    2.9413   ((16 . 3) (17 . 4) (18 . 5) (19 . 10) (21 . 13) (22 . 14) (24 . 16))
  3060    0.8559    3.1214   ((16 . 5) (17 . 6) (18 . 7) (19 . 20) (20 . 21) (21 . 22) (22 . 23) (24 . 42))
  3113    0.5553    5.8364   ((16 . 1) (17 . 2) (18 . 3) (19 . 6) (20 . 14))
  3270    0.4440    8.8553   ((16 . 1) (17 . 2) (18 . 3) (19 . 5))
  3702    0.5545    8.5556   ((15 . 19) (19 . 23) (20 . 24) (21 . 25) (22 . 26))
  3728    0.8559    3.1945   ((16 . 1) (17 . 2) (18 . 3) (19 . 25) (20 . 26) (21 . 27) (22 . 28) (24 . 30))
  3751    1.0000    0.0000   ((15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (24 . 24))
  3859    0.6371    4.5012   ((15 . 2) (16 . 3) (20 . 9) (21 . 10) (22 . 12) (24 . 14))
  3860    0.8460    1.9354   ((16 . 20) (17 . 21) (18 . 22) (19 . 23) (20 . 24) (21 . 25) (22 . 26) (24 . 28))
  3989    0.8883    4.1343   ((16 . 4) (17 . 5) (18 . 6) (19 . 9) (20 . 10) (21 . 11) (22 . 12) (24 . 14))
  3990    0.9999    2.0605   ((15 . 17) (16 . 18) (17 . 19) (18 . 20) (19 . 21) (20 . 22) (21 . 23) (22 . 24) (24 . 26))
  4127    0.8887    3.1076   ((16 . 1) (17 . 2) (18 . 3) (19 . 17) (20 . 18) (21 . 19) (22 . 20) (24 . 22))
  4213    0.8887    3.2246   ((16 . 2) (17 . 3) (18 . 4) (19 . 13) (20 . 14) (21 . 15) (22 . 16) (24 . 18))
  4237    0.4443    6.9461   ((16 . 8) (17 . 9) (18 . 10) (19 . 11))
  4257    0.8560    2.5561   ((16 . 1) (17 . 2) (18 . 3) (19 . 6) (20 . 7) (21 . 8) (22 . 9) (24 . 11))
  4258    0.9848    2.4839   ((15 . 14) (16 . 15) (17 . 16) (18 . 17) (19 . 18) (20 . 19) (21 . 20) (22 . 21) (24 . 23))
  4559    0.9999    1.8862   ((15 . 40) (16 . 41) (17 . 42) (18 . 43) (19 . 45) (20 . 46) (21 . 47) (22 . 48) (24 . 50))
  4680    0.9775    1.4636   ((15 . 16) (16 . 17) (17 . 18) (18 . 19) (19 . 20) (20 . 21) (21 . 22) (22 . 23) (24 . 25))
  4728    0.9999    1.4521   ((15 . 11) (16 . 12) (17 . 13) (18 . 14) (19 . 15) (20 . 16) (21 . 17) (22 . 18) (24 . 20))
  5024    0.8887    2.9152   ((16 . 1) (17 . 2) (18 . 3) (19 . 17) (20 . 18) (21 . 19) (22 . 20) (24 . 22))
  5057    0.4444    5.8997   ((16 . 2) (17 . 3) (18 . 4) (19 . 6))
  5095    0.9816    2.2746   ((15 . 35) (16 . 36) (17 . 37) (18 . 41) (19 . 42) (20 . 43) (21 . 44) (22 . 45) (24 . 47))
  5181    0.8888    2.2040   ((16 . 1) (17 . 2) (18 . 3) (19 . 6) (20 . 7) (21 . 8) (22 . 9) (24 . 11))
  5182    0.9774    2.0871   ((15 . 16) (16 . 17) (17 . 18) (18 . 19) (19 . 20) (20 . 21) (21 . 22) (22 . 23) (24 . 25))
  5262    0.8888    2.8295   ((16 . 10) (17 . 11) (18 . 12) (19 . 20) (20 . 21) (21 . 22) (22 . 23) (24 . 25))
  5370    0.5555    3.6558   ((19 . 15) (20 . 16) (21 . 17) (22 . 18) (24 . 20))
  5760    0.5555    2.3042   ((16 . 1) (17 . 2) (18 . 3) (19 . 19) (24 . 24))
  5803    0.5556    1.9555   ((16 . 1) (17 . 2) (18 . 3) (19 . 21) (24 . 26))
  5930    0.8888    2.6853   ((16 . 2) (17 . 3) (18 . 4) (19 . 6) (20 . 7) (21 . 8) (22 . 9) (24 . 11))
  5931    0.9994    3.4881   ((15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (24 . 24))
  6209    0.9998    2.5599   ((15 . 16) (16 . 18) (17 . 19) (18 . 20) (19 . 21) (20 . 22) (21 . 23) (22 . 24) (24 . 26))
  6572    0.4444    4.5875   ((19 . 8) (20 . 9) (22 . 11) (24 . 13))
  6573    0.9999    1.6256   ((15 . 16) (16 . 17) (17 . 18) (18 . 19) (19 . 20) (20 . 21) (21 . 22) (22 . 23) (24 . 25))
  6576    0.8884    3.9033   ((16 . 1) (17 . 2) (18 . 3) (19 . 9) (20 . 10) (21 . 11) (22 . 12) (24 . 14))
  6577    0.9999    1.5574   ((15 . 17) (16 . 18) (17 . 19) (18 . 20) (19 . 21) (20 . 22) (21 . 23) (22 . 24) (24 . 26))
END