153 51 0.8850 6.5489 ((1 . 1) (5 . 2) (6 . 6) (7 . 7) (8 . 10) (9 . 11) (10 . 13) (12 . 14)) 62 0.4443 6.7778 ((7 . 10) (8 . 12) (9 . 13) (12 . 16)) 64 0.4444 5.9232 ((7 . 9) (8 . 10) (9 . 12) (10 . 13)) 77 0.4443 6.9993 ((5 . 6) (6 . 7) (7 . 8) (10 . 13)) 91 0.4443 7.3567 ((1 . 16) (4 . 19) (5 . 21) (10 . 28)) 96 0.4443 7.2097 ((1 . 1) (4 . 3) (7 . 5) (8 . 6)) 129 0.5541 9.2931 ((6 . 2) (7 . 3) (8 . 5) (9 . 8) (12 . 12)) 136 0.4443 6.2522 ((1 . 3) (4 . 5) (5 . 7) (6 . 8)) 153 1.0000 0.0000 ((1 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 12)) 157 0.4422 13.5411 ((1 . 1) (6 . 5) (8 . 8) (9 . 9)) 161 0.4443 7.2029 ((6 . 2) (7 . 4) (8 . 6) (9 . 8)) 162 0.4443 6.6559 ((6 . 15) (7 . 17) (8 . 18) (10 . 22)) 169 0.7762 6.1373 ((1 . 1) (6 . 4) (7 . 5) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 177 0.6661 5.7544 ((1 . 1) (5 . 3) (6 . 4) (7 . 5) (9 . 7) (10 . 8)) 191 0.4444 4.9774 ((1 . 2) (7 . 6) (8 . 7) (9 . 8)) 198 0.4443 6.3181 ((4 . 7) (5 . 8) (6 . 9) (7 . 10)) 207 0.4443 6.7022 ((1 . 8) (6 . 13) (8 . 15) (10 . 18)) 233 0.4443 6.8596 ((1 . 2) (5 . 5) (6 . 7) (7 . 8)) 300 0.4442 8.1499 ((1 . 7) (4 . 9) (5 . 10) (10 . 18)) 305 0.4443 6.8411 ((5 . 15) (6 . 16) (9 . 21) (10 . 22)) 307 0.4443 7.2700 ((1 . 1) (4 . 3) (6 . 7) (8 . 9)) 315 0.4444 5.2712 ((7 . 4) (8 . 5) (9 . 6) (12 . 9)) 350 0.5537 9.8515 ((6 . 11) (7 . 13) (9 . 17) (10 . 18) (12 . 20)) 360 0.5552 6.4401 ((1 . 3) (7 . 9) (8 . 10) (9 . 12) (12 . 14)) 365 0.6660 6.0245 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (10 . 6) (12 . 8)) 367 0.5553 6.0118 ((7 . 38) (8 . 40) (9 . 42) (10 . 43) (12 . 44)) 372 0.4443 6.5362 ((4 . 2) (5 . 3) (7 . 7) (8 . 8)) 387 0.7754 6.8432 ((5 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 11) (10 . 12) (12 . 15)) 405 0.5550 7.2852 ((1 . 33) (4 . 37) (5 . 38) (6 . 39) (7 . 40)) 417 0.4440 9.1171 ((4 . 2) (5 . 3) (8 . 7) (9 . 9)) 420 0.6658 6.4636 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5) (12 . 12)) 433 0.5547 8.1802 ((4 . 1) (7 . 5) (8 . 6) (9 . 7) (12 . 9)) 442 0.4443 6.4123 ((1 . 6) (4 . 10) (7 . 12) (9 . 14)) 460 0.4437 10.4099 ((7 . 2) (8 . 3) (9 . 6) (12 . 8)) 472 0.4422 13.5427 ((1 . 20) (4 . 22) (8 . 25) (9 . 27)) 495 0.5550 7.3305 ((1 . 3) (4 . 5) (7 . 8) (8 . 9) (9 . 11)) 541 0.4443 6.6153 ((7 . 2) (8 . 3) (9 . 5) (12 . 7)) 543 0.8846 6.7096 ((1 . 1) (5 . 2) (6 . 5) (7 . 6) (8 . 8) (9 . 10) (10 . 15) (12 . 16)) 561 0.4444 5.9042 ((6 . 1) (8 . 3) (9 . 4) (12 . 6)) 584 0.4439 9.7111 ((6 . 3) (7 . 4) (8 . 5) (12 . 10)) 587 0.4444 4.5413 ((4 . 9) (7 . 10) (8 . 11) (10 . 14)) 609 0.4441 8.2827 ((4 . 1) (6 . 3) (8 . 6) (10 . 8)) 619 0.4442 7.5242 ((1 . 6) (6 . 11) (9 . 15) (12 . 18)) 624 0.4443 6.6389 ((1 . 11) (4 . 13) (6 . 15) (7 . 16)) 635 0.4443 7.3254 ((6 . 13) (7 . 14) (8 . 15) (10 . 18)) 672 0.4443 7.0672 ((6 . 20) (7 . 22) (8 . 23) (9 . 24)) 683 0.4441 8.3916 ((4 . 1) (5 . 2) (7 . 5) (8 . 6)) 719 0.4443 7.1382 ((4 . 23) (6 . 25) (7 . 27) (9 . 30)) 729 0.4443 6.5098 ((1 . 13) (4 . 15) (6 . 17) (7 . 20)) 735 0.6652 7.4013 ((6 . 29) (7 . 31) (8 . 32) (9 . 33) (10 . 36) (12 . 37)) 740 0.4441 8.3036 ((4 . 2) (5 . 3) (6 . 4) (7 . 7)) 765 0.5552 6.5045 ((1 . 3) (5 . 7) (9 . 17) (10 . 19) (12 . 20)) 767 0.4442 7.8922 ((7 . 3) (9 . 8) (10 . 10) (12 . 13)) 795 0.4442 7.5320 ((4 . 1) (6 . 3) (8 . 5) (9 . 6)) 801 0.4441 8.4504 ((1 . 1) (4 . 4) (5 . 5) (7 . 7)) 818 0.5551 7.0272 ((1 . 7) (4 . 10) (6 . 12) (8 . 14) (9 . 16)) 819 0.4441 8.4654 ((1 . 2) (6 . 5) (9 . 8) (10 . 9)) 824 0.4442 8.1118 ((1 . 45) (6 . 49) (7 . 51) (8 . 53)) 861 0.4442 7.7535 ((6 . 12) (7 . 15) (8 . 16) (10 . 19)) 901 0.4441 8.6327 ((1 . 12) (6 . 15) (8 . 17) (10 . 20)) 928 0.4443 6.4525 ((1 . 14) (4 . 16) (5 . 18) (7 . 20)) 943 0.4443 7.0330 ((1 . 6) (4 . 9) (8 . 14) (9 . 15)) 945 0.4443 6.5551 ((1 . 14) (4 . 17) (6 . 19) (8 . 22)) 960 0.4443 6.4000 ((1 . 4) (7 . 8) (8 . 9) (10 . 12)) 978 0.4442 8.0861 ((1 . 13) (4 . 16) (8 . 19) (10 . 22)) 980 0.4439 9.5508 ((1 . 1) (6 . 5) (8 . 7) (9 . 9)) 1007 0.4444 4.8737 ((7 . 7) (8 . 8) (9 . 9) (12 . 13)) 1008 0.5552 6.4958 ((1 . 3) (6 . 8) (9 . 13) (10 . 15) (12 . 16)) 1034 0.4418 14.1428 ((6 . 20) (7 . 21) (8 . 22) (12 . 26)) 1043 0.4444 6.0596 ((1 . 6) (6 . 10) (8 . 12) (9 . 14)) 1082 0.4443 6.2911 ((1 . 4) (7 . 8) (8 . 9) (10 . 12)) 1084 0.4441 8.3906 ((1 . 10) (6 . 17) (8 . 18) (9 . 20)) 1121 0.4443 7.0358 ((8 . 2) (9 . 3) (10 . 4) (12 . 6)) 1165 0.4442 7.4099 ((4 . 2) (5 . 3) (6 . 4) (10 . 10)) 1167 0.4443 6.2494 ((5 . 20) (6 . 21) (7 . 22) (10 . 27)) 1169 0.4443 6.5003 ((4 . 33) (5 . 34) (6 . 35) (7 . 37)) 1195 0.4443 6.2729 ((8 . 2) (9 . 4) (10 . 5) (12 . 6)) 1201 0.4442 7.8119 ((1 . 7) (4 . 9) (5 . 11) (6 . 12)) 1204 0.4436 10.4854 ((5 . 1) (7 . 3) (9 . 5) (12 . 11)) 1211 0.5551 6.6995 ((4 . 8) (6 . 10) (7 . 11) (8 . 14) (9 . 15)) 1217 0.4443 6.2806 ((6 . 3) (7 . 5) (8 . 7) (9 . 9)) 1224 0.5550 7.1157 ((6 . 5) (7 . 6) (8 . 7) (9 . 9) (10 . 10)) 1233 0.5530 10.6079 ((1 . 14) (4 . 17) (6 . 20) (8 . 22) (9 . 23)) 1267 0.4443 7.2398 ((1 . 31) (4 . 33) (6 . 36) (8 . 38)) 1294 0.6663 5.2311 ((6 . 40) (7 . 41) (8 . 43) (9 . 44) (10 . 46) (12 . 47)) 1324 0.4433 11.4521 ((6 . 1) (7 . 2) (8 . 3) (9 . 4)) 1345 0.5548 7.7128 ((4 . 5) (6 . 7) (8 . 9) (10 . 12) (12 . 13)) 1366 0.5549 7.6009 ((1 . 14) (4 . 16) (7 . 20) (8 . 21) (9 . 22)) 1388 0.4444 5.8038 ((6 . 1) (8 . 4) (9 . 5) (12 . 8)) 1410 0.4443 7.2512 ((6 . 19) (7 . 21) (8 . 22) (10 . 25)) 1425 0.4443 6.1562 ((7 . 4) (9 . 8) (10 . 10) (12 . 12)) 1447 0.4441 8.7420 ((5 . 1) (7 . 3) (9 . 5) (12 . 7)) 1451 0.4443 6.3562 ((8 . 3) (9 . 4) (10 . 5) (12 . 6)) 1476 0.4444 6.0123 ((1 . 14) (4 . 15) (6 . 18) (8 . 20)) 1481 0.4444 5.7717 ((4 . 1) (5 . 2) (7 . 4) (8 . 5)) 1501 0.4443 6.2845 ((1 . 3) (4 . 5) (5 . 6) (6 . 7)) 1513 0.4443 6.4316 ((1 . 11) (4 . 13) (6 . 15) (8 . 18)) 1514 0.4443 6.5903 ((6 . 1) (8 . 3) (9 . 4) (12 . 6)) 1577 0.4441 8.5382 ((1 . 3) (4 . 5) (8 . 10) (10 . 12)) 1591 0.1980 8.0318 ((1 . 1) (4 . 4) (7 . 6) (10 . 8)) 1604 0.4444 6.1441 ((4 . 1) (5 . 3) (9 . 10) (12 . 12)) 1622 0.4444 5.8522 ((1 . 18) (6 . 20) (8 . 22) (9 . 23)) 1624 0.0999 7.1537 ((7 . 3) (8 . 5) (9 . 6) (10 . 8)) 1643 0.7736 7.9115 ((1 . 8) (4 . 10) (6 . 12) (7 . 15) (8 . 16) (9 . 17) (10 . 18)) 1644 0.4444 4.9834 ((4 . 48) (5 . 49) (7 . 51) (8 . 52)) 1665 0.4370 18.4950 ((6 . 3) (7 . 6) (9 . 8) (12 . 10)) 1690 0.4444 5.6685 ((1 . 8) (4 . 11) (6 . 13) (8 . 16)) 1692 0.4442 7.3701 ((4 . 6) (5 . 7) (7 . 8) (8 . 9)) 1731 0.4443 6.1579 ((1 . 3) (4 . 6) (6 . 8) (10 . 12)) 1736 0.4442 7.7697 ((6 . 3) (7 . 5) (9 . 7) (12 . 10)) 1738 0.5550 7.1166 ((1 . 4) (4 . 6) (6 . 9) (8 . 11) (12 . 18)) 1747 0.6625 9.5817 ((4 . 12) (5 . 13) (6 . 15) (7 . 16) (8 . 18) (9 . 19)) 1756 0.4444 6.0087 ((6 . 23) (7 . 25) (9 . 30) (10 . 31)) 1759 0.6658 6.4561 ((4 . 1) (5 . 2) (6 . 4) (7 . 5) (8 . 6) (12 . 13)) 1761 0.5543 8.8760 ((1 . 9) (4 . 11) (6 . 13) (8 . 16) (10 . 19)) 1776 0.5551 7.0150 ((1 . 7) (4 . 9) (6 . 12) (8 . 14) (12 . 20)) 1777 0.4442 7.6783 ((7 . 31) (8 . 34) (9 . 37) (12 . 43)) 1778 0.5553 5.7946 ((4 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 5)) 1793 0.4444 6.1318 ((6 . 3) (7 . 4) (9 . 6) (12 . 8)) 1805 0.4444 4.1301 ((7 . 11) (8 . 12) (10 . 15) (12 . 16)) 1808 0.5550 7.1276 ((6 . 5) (7 . 6) (8 . 8) (9 . 9) (10 . 10)) 1817 0.4443 6.2786 ((4 . 14) (5 . 15) (7 . 19) (8 . 20)) 1867 0.4443 6.3643 ((1 . 1) (4 . 3) (5 . 6) (12 . 7)) 1894 0.4443 6.7870 ((5 . 19) (6 . 20) (7 . 23) (9 . 26)) 1896 0.1980 12.1552 ((4 . 17) (8 . 22) (9 . 23) (10 . 25)) 1897 0.4421 13.7950 ((4 . 34) (9 . 39) (10 . 40) (12 . 43)) 1908 0.4443 6.3597 ((1 . 7) (6 . 10) (8 . 15) (9 . 17)) 1909 0.4443 6.3293 ((1 . 25) (4 . 29) (6 . 31) (8 . 34)) 1913 0.4443 6.8293 ((8 . 20) (9 . 21) (10 . 23) (12 . 25)) 1944 0.4443 6.5277 ((4 . 13) (6 . 16) (7 . 17) (10 . 22)) 1957 0.4443 7.0166 ((1 . 11) (4 . 13) (6 . 15) (8 . 17)) 1961 0.4443 6.2840 ((7 . 14) (8 . 15) (9 . 16) (12 . 19)) 1967 0.4440 8.8480 ((1 . 1) (7 . 7) (9 . 10) (12 . 14)) 1972 0.4444 6.0819 ((1 . 18) (4 . 20) (6 . 24) (8 . 27)) 1992 0.4443 6.6869 ((1 . 3) (7 . 9) (9 . 12) (10 . 14)) 1995 0.4444 4.7478 ((7 . 3) (8 . 7) (9 . 8) (12 . 12)) 2003 0.5551 6.8180 ((5 . 5) (7 . 8) (8 . 9) (9 . 10) (10 . 12)) 2006 0.5549 7.6225 ((5 . 4) (7 . 7) (8 . 8) (9 . 9) (12 . 11)) 2063 0.4443 6.3131 ((4 . 42) (5 . 43) (6 . 44) (9 . 50)) 2065 0.4444 5.5758 ((4 . 16) (5 . 17) (7 . 22) (8 . 23)) 2067 0.4444 5.9030 ((6 . 54) (7 . 55) (8 . 57) (12 . 60)) 2072 0.4443 6.8660 ((1 . 1) (7 . 4) (8 . 6) (9 . 7)) 2081 0.4444 4.0823 ((4 . 5) (5 . 6) (7 . 9) (8 . 10)) 2083 0.4442 7.7280 ((4 . 1) (5 . 2) (7 . 4) (9 . 7)) 2097 0.4439 9.6864 ((1 . 6) (7 . 14) (8 . 16) (9 . 18)) 2114 0.4442 7.9215 ((4 . 28) (5 . 29) (6 . 32) (9 . 36)) 2116 0.8865 5.7815 ((1 . 1) (5 . 5) (6 . 6) (7 . 7) (8 . 9) (9 . 10) (10 . 11) (12 . 12)) 2117 0.4444 4.8530 ((1 . 6) (4 . 9) (6 . 12) (8 . 14)) 2118 0.4441 8.6672 ((7 . 1) (8 . 4) (9 . 5) (12 . 7)) 2122 0.4443 6.6430 ((1 . 12) (4 . 14) (5 . 15) (7 . 18)) 2166 0.5550 7.1714 ((1 . 12) (5 . 13) (7 . 15) (8 . 16) (9 . 17)) 2179 0.5550 7.2391 ((1 . 1) (4 . 5) (5 . 6) (7 . 9) (10 . 13)) 2196 0.5551 6.8837 ((1 . 10) (4 . 12) (5 . 13) (6 . 14) (8 . 18)) 2203 0.4444 5.7193 ((6 . 1) (8 . 5) (9 . 7) (12 . 10)) 2205 0.6660 5.9776 ((1 . 13) (5 . 16) (6 . 17) (7 . 18) (9 . 22) (10 . 23)) 2209 0.4443 6.7805 ((1 . 3) (4 . 5) (5 . 6) (6 . 7)) 2243 0.5546 8.2266 ((4 . 51) (5 . 52) (6 . 53) (7 . 54) (8 . 55)) 2244 0.5552 6.4857 ((7 . 69) (8 . 70) (9 . 71) (10 . 74) (12 . 75)) 2248 0.4443 7.0769 ((1 . 16) (6 . 22) (10 . 27) (12 . 28)) 2249 0.4444 5.5246 ((1 . 12) (6 . 16) (8 . 20) (9 . 23)) 2269 0.5537 9.8038 ((4 . 6) (5 . 7) (6 . 8) (8 . 10) (10 . 12)) 2279 0.5551 6.8085 ((4 . 10) (5 . 11) (7 . 19) (8 . 20) (10 . 22)) 2298 0.4443 6.7404 ((1 . 4) (6 . 6) (8 . 10) (10 . 12)) 2308 0.4441 8.6466 ((7 . 4) (8 . 5) (9 . 6) (12 . 8)) 2314 0.6642 8.3779 ((1 . 2) (5 . 3) (6 . 4) (7 . 7) (8 . 8) (12 . 11)) 2340 0.4443 6.6532 ((7 . 9) (9 . 11) (10 . 13) (12 . 14)) 2344 0.4442 8.0825 ((7 . 1) (8 . 3) (10 . 6) (12 . 7)) 2364 0.5554 5.5588 ((1 . 9) (4 . 12) (6 . 18) (7 . 19) (8 . 20)) 2381 0.4443 7.0012 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 2389 0.4444 4.7421 ((7 . 9) (8 . 10) (9 . 11) (12 . 14)) 2408 0.8873 5.2118 ((1 . 34) (5 . 39) (6 . 40) (7 . 41) (8 . 42) (9 . 45) (10 . 46) (12 . 47)) 2422 0.4442 8.1382 ((1 . 4) (4 . 6) (5 . 7) (6 . 8)) 2423 0.5552 6.6921 ((5 . 19) (6 . 20) (7 . 21) (9 . 25) (10 . 26)) 2440 0.4440 9.0044 ((7 . 4) (9 . 7) (10 . 8) (12 . 9)) 2447 0.4443 7.1835 ((6 . 13) (7 . 15) (9 . 18) (12 . 21)) 2462 0.4443 6.8308 ((7 . 6) (8 . 7) (10 . 11) (12 . 12)) 2510 0.4444 5.9341 ((1 . 3) (4 . 5) (6 . 7) (8 . 9)) 2525 0.4439 9.3550 ((6 . 43) (7 . 45) (9 . 47) (10 . 48)) 2529 0.4443 6.8785 ((7 . 1) (9 . 3) (10 . 5) (12 . 6)) 2533 0.4442 7.8014 ((5 . 4) (7 . 6) (9 . 9) (12 . 13)) 2551 0.0999 7.9767 ((7 . 9) (8 . 11) (9 . 12) (10 . 14)) 2556 0.4443 6.4178 ((1 . 13) (4 . 16) (6 . 18) (8 . 22)) 2561 0.4444 5.1293 ((6 . 6) (7 . 7) (8 . 8) (9 . 9)) 2595 0.4443 6.2077 ((1 . 6) (4 . 9) (6 . 11) (8 . 13)) 2619 0.4443 6.4601 ((1 . 1) (4 . 3) (6 . 5) (8 . 7)) 2650 0.4444 5.0536 ((6 . 5) (7 . 6) (8 . 7) (9 . 8)) 2658 0.0999 7.6589 ((7 . 10) (8 . 12) (9 . 13) (10 . 14)) 2675 0.4444 5.3456 ((1 . 3) (5 . 4) (10 . 5) (12 . 8)) 2682 0.0999 8.5737 ((4 . 12) (5 . 13) (7 . 17) (9 . 19)) 2696 0.6664 4.6386 ((6 . 31) (7 . 32) (8 . 34) (9 . 35) (10 . 36) (12 . 38)) 2733 0.4439 9.6113 ((7 . 1) (8 . 2) (9 . 4) (12 . 8)) 2755 0.4443 6.1623 ((1 . 3) (4 . 5) (6 . 6) (8 . 8)) 2773 0.4442 8.0215 ((7 . 2) (8 . 3) (10 . 5) (12 . 6)) 2783 0.5551 6.8496 ((1 . 1) (7 . 6) (8 . 7) (9 . 8) (12 . 12)) 2804 0.4443 6.5672 ((4 . 32) (5 . 31) (6 . 34) (7 . 36)) 2821 0.4439 9.6748 ((6 . 1) (7 . 2) (8 . 3) (9 . 5)) 2830 0.4442 7.4577 ((1 . 13) (4 . 15) (6 . 17) (8 . 19)) 2834 0.4443 6.2893 ((4 . 3) (5 . 5) (6 . 6) (8 . 8)) 2840 0.6639 8.6251 ((4 . 1) (6 . 5) (7 . 6) (9 . 8) (10 . 9) (12 . 11)) 2842 0.4428 12.5589 ((1 . 1) (4 . 4) (6 . 5) (10 . 9)) 2867 0.4443 6.4165 ((1 . 2) (6 . 7) (7 . 8) (10 . 12)) 2879 0.5542 9.0362 ((6 . 51) (7 . 52) (8 . 53) (9 . 54) (12 . 59)) 2886 0.8871 5.3888 ((1 . 30) (5 . 35) (6 . 37) (7 . 38) (8 . 39) (9 . 41) (10 . 43) (12 . 44)) 2940 0.4442 7.6891 ((4 . 1) (8 . 4) (9 . 5) (10 . 6)) 2947 0.4444 6.0803 ((7 . 2) (8 . 3) (9 . 4) (12 . 6)) 2955 0.4442 7.7763 ((1 . 3) (4 . 4) (5 . 5) (6 . 6)) 2966 0.5542 9.1066 ((5 . 1) (6 . 3) (7 . 4) (10 . 9) (12 . 11)) 2990 0.4443 6.1574 ((1 . 12) (4 . 14) (5 . 15) (6 . 16)) 2999 0.4442 7.8390 ((4 . 2) (6 . 4) (8 . 6) (9 . 7)) 3019 0.4442 7.6252 ((7 . 9) (8 . 10) (9 . 11) (12 . 14)) 3034 0.4442 7.6445 ((1 . 1) (6 . 5) (8 . 7) (10 . 9)) 3041 0.4443 6.4875 ((6 . 12) (7 . 14) (9 . 16) (12 . 18)) 3055 0.5552 6.4759 ((7 . 15) (8 . 16) (9 . 19) (10 . 20) (12 . 21)) 3063 0.7774 4.2491 ((1 . 31) (6 . 37) (7 . 38) (8 . 39) (9 . 41) (10 . 42) (12 . 46)) 3070 0.4442 7.7935 ((4 . 32) (5 . 33) (7 . 35) (8 . 36)) 3084 0.4443 6.4919 ((7 . 3) (9 . 5) (10 . 7) (12 . 9)) 3102 0.7658 10.3559 ((1 . 62) (5 . 70) (6 . 71) (7 . 72) (8 . 75) (9 . 76) (12 . 80)) 3103 0.5552 6.2582 ((6 . 3) (7 . 5) (9 . 9) (10 . 11) (12 . 13)) 3114 0.4438 10.1040 ((8 . 22) (9 . 23) (10 . 24) (12 . 25)) 3127 0.4444 5.8735 ((1 . 6) (4 . 8) (6 . 11) (8 . 13)) 3147 0.5554 5.2242 ((1 . 12) (4 . 15) (6 . 17) (7 . 18) (8 . 19)) 3187 0.5554 4.9784 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6)) 3190 0.4443 7.2550 ((1 . 3) (4 . 6) (6 . 9) (8 . 11)) 3197 0.4442 7.6855 ((6 . 19) (7 . 21) (9 . 24) (12 . 26)) 3200 0.1980 10.6510 ((4 . 1) (6 . 3) (7 . 4) (10 . 9)) 3212 0.4444 5.8466 ((8 . 2) (9 . 3) (10 . 5) (12 . 9)) 3222 0.5543 8.8607 ((1 . 6) (4 . 8) (8 . 15) (9 . 16) (12 . 19)) 3256 0.6662 5.5708 ((5 . 18) (6 . 19) (8 . 24) (9 . 25) (10 . 26) (12 . 28)) 3261 0.4444 4.4501 ((6 . 1) (7 . 2) (8 . 3) (12 . 6)) 3286 0.4444 5.8104 ((6 . 3) (7 . 4) (8 . 5) (10 . 7)) 3289 0.4437 10.2494 ((6 . 25) (7 . 27) (8 . 29) (9 . 30)) 3297 0.6657 6.5665 ((1 . 4) (7 . 8) (8 . 9) (9 . 11) (10 . 12) (12 . 13)) 3322 0.4443 6.5337 ((6 . 1) (7 . 3) (8 . 5) (10 . 7)) 3334 0.4441 8.3887 ((8 . 1) (9 . 4) (10 . 5) (12 . 6)) 3339 0.4443 6.3735 ((1 . 17) (4 . 19) (6 . 21) (7 . 22)) 3344 0.5546 8.4044 ((4 . 18) (6 . 21) (9 . 24) (10 . 26) (12 . 27)) 3358 0.4443 6.4885 ((1 . 4) (4 . 8) (6 . 10) (8 . 12)) 3362 0.4443 7.2578 ((1 . 6) (4 . 8) (5 . 10) (6 . 11)) 3366 0.4443 6.4134 ((6 . 22) (8 . 26) (10 . 28) (12 . 29)) 3391 0.4444 5.6901 ((1 . 6) (4 . 8) (6 . 10) (8 . 13)) 3410 0.4444 5.6275 ((1 . 21) (4 . 24) (6 . 28) (8 . 30)) 3418 0.4443 6.6198 ((7 . 2) (8 . 5) (9 . 6) (10 . 7)) 3472 0.6661 5.8692 ((5 . 2) (6 . 3) (7 . 4) (9 . 9) (10 . 11) (12 . 12)) 3481 0.4444 6.0694 ((1 . 4) (4 . 8) (6 . 10) (8 . 12)) 3489 0.4443 6.8271 ((1 . 1) (9 . 10) (10 . 12) (12 . 14)) 3495 0.4444 5.7734 ((7 . 1) (8 . 2) (9 . 3) (12 . 7)) 3496 0.4438 10.0660 ((4 . 18) (6 . 19) (9 . 22) (10 . 23)) 3533 0.4441 8.5616 ((4 . 3) (5 . 5) (8 . 8) (9 . 11)) 3537 0.4425 13.1870 ((6 . 5) (7 . 7) (9 . 9) (10 . 10)) 3538 0.4443 6.3164 ((1 . 15) (5 . 23) (10 . 25) (12 . 26)) 3548 0.5546 8.2576 ((4 . 2) (8 . 6) (9 . 8) (10 . 9) (12 . 10)) 3549 0.4442 7.4080 ((4 . 2) (5 . 3) (6 . 5) (9 . 8)) 3561 0.5549 7.5318 ((1 . 20) (4 . 22) (6 . 26) (8 . 28) (10 . 31)) 3570 0.5553 6.2124 ((1 . 1) (4 . 3) (6 . 4) (7 . 7) (8 . 8)) 3585 0.5552 6.4334 ((5 . 8) (7 . 12) (8 . 13) (9 . 14) (12 . 16)) 3613 0.4443 6.5511 ((4 . 36) (5 . 35) (7 . 40) (8 . 41)) 3625 0.4444 6.1171 ((5 . 2) (6 . 3) (7 . 5) (8 . 6)) 3626 0.4443 7.1194 ((4 . 2) (5 . 3) (6 . 6) (7 . 8)) 3628 0.4443 6.5551 ((7 . 8) (8 . 9) (9 . 10) (12 . 12)) 3651 0.4444 5.2061 ((1 . 8) (4 . 11) (5 . 13) (10 . 21)) 3658 0.5537 9.7552 ((6 . 1) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 3659 0.4443 7.0394 ((1 . 5) (4 . 8) (7 . 12) (8 . 13)) 3661 0.4443 7.3092 ((5 . 7) (6 . 8) (7 . 11) (8 . 12)) 3688 0.4434 11.1453 ((1 . 5) (4 . 8) (7 . 12) (8 . 14)) 3697 0.4442 8.1240 ((1 . 4) (6 . 6) (7 . 7) (9 . 10)) 3703 0.5551 6.7927 ((6 . 1) (7 . 2) (8 . 3) (9 . 4) (12 . 6)) 3732 0.4442 7.9622 ((1 . 7) (4 . 9) (5 . 11) (6 . 12)) 3733 0.4443 6.8042 ((1 . 1) (4 . 3) (6 . 6) (8 . 8)) 3740 0.5553 6.2286 ((7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 3741 0.5539 9.5107 ((4 . 10) (6 . 13) (7 . 14) (8 . 16) (9 . 17)) 3776 0.4443 6.9075 ((4 . 19) (5 . 20) (6 . 21) (8 . 24)) 3778 0.4443 6.5153 ((7 . 2) (8 . 3) (9 . 4) (12 . 6)) 3787 0.4443 7.2186 ((1 . 17) (4 . 19) (6 . 21) (8 . 23)) 3790 0.6633 9.0462 ((4 . 18) (6 . 21) (7 . 22) (8 . 24) (9 . 25) (10 . 26)) 3810 0.4443 6.9277 ((7 . 4) (8 . 6) (10 . 10) (12 . 11)) 3817 0.4444 5.8826 ((1 . 1) (6 . 5) (8 . 7) (10 . 9)) 3818 0.4442 7.6685 ((4 . 20) (6 . 23) (10 . 28) (12 . 29)) 3831 0.4443 6.8303 ((5 . 2) (8 . 5) (9 . 6) (12 . 9)) 3847 0.4443 7.2365 ((6 . 9) (9 . 13) (10 . 16) (12 . 17)) 3849 0.4440 9.0347 ((7 . 2) (8 . 3) (9 . 5) (10 . 8)) 3856 0.5549 7.6880 ((1 . 3) (5 . 7) (6 . 9) (7 . 10) (8 . 12)) 3870 0.4444 5.8910 ((5 . 3) (7 . 5) (10 . 8) (12 . 10)) 3933 0.2861 10.0695 ((4 . 2) (5 . 3) (8 . 8) (12 . 14)) 3938 0.4443 6.9737 ((1 . 4) (4 . 6) (5 . 8) (6 . 9)) 3968 0.4443 6.3432 ((1 . 3) (4 . 5) (6 . 9) (8 . 11)) 3986 0.4443 7.3442 ((4 . 1) (5 . 2) (8 . 6) (9 . 9)) 3990 0.4441 8.1916 ((4 . 18) (6 . 20) (8 . 22) (10 . 26)) 4005 0.4443 7.2171 ((4 . 3) (5 . 4) (8 . 9) (9 . 12)) 4009 0.4438 9.9888 ((5 . 11) (6 . 13) (7 . 15) (12 . 19)) 4019 0.6659 6.1596 ((1 . 34) (5 . 39) (6 . 42) (7 . 43) (8 . 44) (9 . 45)) 4034 0.5552 6.5639 ((1 . 6) (6 . 9) (7 . 10) (8 . 12) (9 . 13)) 4067 0.4443 6.5366 ((7 . 20) (9 . 22) (10 . 24) (12 . 25)) 4082 0.5550 7.3827 ((4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 10)) 4087 0.4444 4.7230 ((7 . 5) (8 . 6) (9 . 7) (10 . 8)) 4112 0.4444 5.6151 ((7 . 1) (8 . 2) (9 . 3) (10 . 6)) 4115 0.4437 10.2973 ((1 . 8) (4 . 10) (8 . 13) (10 . 15)) 4151 0.4443 7.2765 ((1 . 5) (4 . 7) (8 . 12) (10 . 15)) 4154 0.4443 6.3093 ((8 . 51) (9 . 52) (10 . 53) (12 . 56)) 4177 0.4443 6.2893 ((1 . 1) (7 . 7) (8 . 8) (9 . 9)) 4190 0.4430 12.2340 ((4 . 1) (6 . 3) (10 . 8) (12 . 9)) 4194 0.4444 5.5193 ((1 . 1) (6 . 5) (7 . 6) (8 . 7)) 4204 0.4443 6.2274 ((1 . 5) (4 . 7) (8 . 13) (9 . 15)) 4209 0.4441 8.4649 ((6 . 1) (8 . 4) (9 . 7) (12 . 10)) 4210 0.4443 6.4566 ((7 . 4) (8 . 5) (9 . 6) (12 . 8)) 4226 0.4443 6.2408 ((1 . 1) (6 . 6) (7 . 8) (8 . 9)) 4232 0.5540 9.4284 ((6 . 2) (7 . 3) (8 . 5) (9 . 6) (10 . 8)) 4246 0.4443 7.2144 ((1 . 3) (4 . 5) (5 . 6) (8 . 11)) 4254 0.4442 7.8171 ((6 . 9) (7 . 11) (9 . 13) (12 . 18)) 4255 0.4442 7.4534 ((1 . 21) (4 . 23) (5 . 24) (7 . 26)) 4257 0.0999 8.1576 ((1 . 1) (4 . 3) (8 . 9) (9 . 10)) 4265 0.4442 7.4029 ((1 . 21) (4 . 23) (6 . 26) (8 . 29)) 4266 0.4443 6.6117 ((1 . 6) (6 . 8) (7 . 11) (8 . 12)) 4275 0.4444 5.0608 ((1 . 21) (4 . 25) (5 . 27) (10 . 28)) 4281 0.4442 8.0855 ((7 . 3) (8 . 4) (9 . 5) (12 . 10)) 4284 0.4444 5.7893 ((6 . 1) (7 . 3) (8 . 4) (9 . 5)) 4299 0.5547 8.1436 ((1 . 11) (4 . 14) (6 . 16) (8 . 20) (9 . 22)) 4301 0.8860 6.0678 ((1 . 1) (5 . 2) (6 . 3) (7 . 4) (8 . 6) (9 . 8) (10 . 9) (12 . 10)) 4326 0.4440 9.1329 ((1 . 7) (4 . 10) (8 . 15) (10 . 19)) 4332 0.1495 8.2219 ((7 . 2) (8 . 4) (10 . 6) (12 . 9)) 4338 0.4443 6.3944 ((4 . 2) (8 . 6) (9 . 7) (10 . 8)) 4359 0.5549 7.6163 ((1 . 9) (4 . 11) (5 . 12) (7 . 13) (9 . 17)) 4380 0.4444 5.6600 ((8 . 1) (9 . 2) (10 . 3) (12 . 4)) 4383 0.5553 6.0553 ((6 . 16) (7 . 17) (8 . 18) (9 . 21) (10 . 22)) 4386 0.4443 7.1915 ((1 . 16) (5 . 18) (6 . 19) (7 . 21)) 4388 0.5551 6.8029 ((1 . 5) (4 . 8) (5 . 9) (6 . 10) (8 . 12)) 4398 0.5550 7.1378 ((1 . 4) (4 . 6) (5 . 7) (6 . 8) (8 . 12)) 4405 0.4444 5.4131 ((6 . 14) (8 . 18) (9 . 19) (12 . 22)) 4408 0.4444 6.0861 ((4 . 2) (6 . 4) (8 . 6) (9 . 7)) 4415 0.4444 5.9932 ((6 . 1) (8 . 3) (9 . 4) (12 . 9)) 4419 0.4443 6.9539 ((5 . 7) (6 . 8) (7 . 9) (8 . 10)) 4470 0.5539 9.5134 ((1 . 14) (6 . 18) (7 . 19) (8 . 20) (12 . 25)) 4491 0.4444 4.2991 ((6 . 1) (8 . 5) (9 . 6) (12 . 8)) 4492 0.4443 6.3169 ((1 . 13) (4 . 18) (6 . 21) (8 . 23)) 4495 0.4438 9.9377 ((1 . 8) (4 . 10) (8 . 14) (10 . 16)) 4497 0.8869 5.5223 ((4 . 18) (5 . 23) (6 . 24) (7 . 25) (8 . 26) (9 . 27) (10 . 28) (12 . 30)) 4502 0.5549 7.6443 ((1 . 6) (4 . 9) (5 . 10) (6 . 11) (8 . 14)) 4503 0.1980 6.7820 ((7 . 5) (8 . 7) (9 . 9) (10 . 10)) 4504 0.5548 7.8590 ((1 . 15) (4 . 17) (6 . 19) (7 . 21) (8 . 22)) 4505 0.4444 5.8980 ((4 . 25) (5 . 26) (9 . 30) (12 . 34)) 4516 0.4441 8.1910 ((1 . 14) (4 . 16) (6 . 18) (8 . 22)) 4538 0.4444 4.5847 ((1 . 30) (5 . 31) (6 . 32) (12 . 38)) 4551 0.4443 6.4795 ((1 . 1) (4 . 2) (6 . 4) (8 . 8)) 4560 0.4443 6.7266 ((1 . 6) (4 . 8) (6 . 11) (10 . 17)) 4561 0.4444 5.6829 ((1 . 5) (4 . 7) (6 . 9) (8 . 12)) 4562 0.4443 6.2716 ((1 . 19) (6 . 25) (7 . 27) (8 . 29)) 4563 0.4442 7.8326 ((1 . 26) (4 . 28) (7 . 31) (10 . 34)) 4577 0.5538 9.6448 ((1 . 32) (8 . 39) (9 . 41) (10 . 42) (12 . 43)) 4588 0.4443 6.2214 ((1 . 3) (4 . 7) (5 . 8) (6 . 9)) 4589 0.4441 8.1956 ((6 . 18) (8 . 19) (9 . 22) (10 . 23)) 4621 0.5542 9.0744 ((4 . 4) (6 . 7) (7 . 8) (8 . 9) (9 . 11)) 4630 0.4444 6.0441 ((1 . 28) (4 . 31) (5 . 33) (10 . 39)) 4648 0.4443 7.2536 ((4 . 1) (5 . 2) (7 . 5) (8 . 8)) 4653 0.4444 5.4616 ((8 . 6) (9 . 7) (10 . 8) (12 . 9)) 4665 0.4443 6.6067 ((7 . 11) (8 . 12) (9 . 13) (10 . 14)) 4668 0.4443 7.1029 ((1 . 1) (4 . 3) (8 . 9) (10 . 11)) 4669 0.4443 6.9642 ((6 . 15) (7 . 17) (9 . 19) (12 . 21)) 4671 0.4443 6.3939 ((1 . 7) (8 . 18) (9 . 19) (12 . 21)) 4674 0.4443 6.1885 ((4 . 2) (8 . 6) (9 . 8) (10 . 9)) 4713 0.4443 6.7822 ((4 . 5) (5 . 6) (6 . 7) (8 . 9)) 4731 0.4442 7.4310 ((1 . 18) (6 . 22) (7 . 23) (8 . 24)) 4734 0.1980 7.5668 ((8 . 2) (9 . 5) (10 . 6) (12 . 8)) 4857 0.4443 6.2366 ((1 . 3) (7 . 9) (8 . 11) (10 . 13)) 4886 0.4443 6.1775 ((8 . 29) (9 . 30) (10 . 31) (12 . 32)) 4888 0.4441 8.5800 ((1 . 4) (5 . 9) (9 . 14) (10 . 15)) 4889 0.4443 7.1179 ((7 . 2) (8 . 3) (9 . 4) (12 . 6)) 4907 0.4443 6.3431 ((8 . 1) (9 . 3) (10 . 4) (12 . 5)) 4914 0.4443 6.8747 ((4 . 9) (5 . 10) (6 . 11) (7 . 12)) 4921 0.5539 9.5183 ((4 . 7) (5 . 8) (6 . 9) (8 . 12) (9 . 14)) 4929 0.8863 5.9520 ((1 . 26) (5 . 28) (6 . 29) (7 . 31) (8 . 32) (9 . 33) (10 . 34) (12 . 35)) 4932 0.4443 6.9102 ((4 . 2) (6 . 5) (7 . 6) (9 . 8)) 4940 0.4443 7.1462 ((8 . 1) (9 . 2) (10 . 3) (12 . 6)) 4944 0.4444 6.0744 ((4 . 13) (5 . 14) (6 . 15) (7 . 16)) 4961 0.4444 5.4105 ((4 . 14) (5 . 15) (6 . 17) (8 . 20)) 4978 0.4443 6.5790 ((7 . 18) (9 . 21) (10 . 22) (12 . 24)) 4982 0.4442 8.0777 ((4 . 6) (6 . 9) (7 . 10) (9 . 14)) 4992 0.4444 5.5042 ((7 . 1) (8 . 2) (9 . 3) (12 . 6)) 5029 0.4443 7.1132 ((1 . 2) (4 . 4) (6 . 8) (8 . 10)) 5036 0.8888 2.1328 ((1 . 1) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 5038 0.4444 6.0795 ((5 . 9) (6 . 10) (8 . 15) (9 . 16)) 5039 0.4444 5.9998 ((1 . 39) (4 . 41) (6 . 44) (7 . 45)) 5046 0.4443 6.3954 ((6 . 1) (8 . 4) (10 . 7) (12 . 10)) 5053 0.4443 6.6880 ((6 . 2) (7 . 3) (8 . 5) (9 . 6)) 5065 0.5550 7.3070 ((4 . 3) (7 . 8) (8 . 9) (9 . 10) (10 . 11)) 5068 0.4443 6.5712 ((7 . 2) (9 . 4) (10 . 7) (12 . 10)) 5069 0.4444 5.4546 ((1 . 15) (4 . 17) (5 . 18) (10 . 19)) 5073 0.4444 5.4830 ((1 . 36) (6 . 39) (8 . 42) (10 . 44)) 5083 0.4437 10.1420 ((6 . 1) (8 . 5) (9 . 6) (10 . 9)) 5101 0.4444 6.0917 ((1 . 3) (4 . 5) (6 . 7) (8 . 9)) 5103 0.4443 7.0799 ((1 . 2) (4 . 4) (6 . 6) (8 . 9)) 5121 0.4443 6.9129 ((4 . 26) (6 . 27) (7 . 30) (8 . 31)) 5132 0.4442 7.8498 ((4 . 16) (6 . 18) (8 . 20) (10 . 22)) 5134 0.5553 5.7293 ((1 . 3) (6 . 6) (7 . 10) (10 . 14) (12 . 17)) 5145 0.4441 8.5175 ((4 . 3) (6 . 5) (8 . 8) (9 . 10)) 5167 0.4442 8.1626 ((5 . 1) (7 . 3) (8 . 4) (12 . 9)) 5176 0.4443 6.5754 ((1 . 82) (6 . 86) (7 . 87) (12 . 91)) 5183 0.5540 9.3168 ((4 . 34) (5 . 35) (6 . 36) (7 . 37) (8 . 38)) 5198 0.4442 7.6935 ((1 . 24) (4 . 26) (7 . 31) (8 . 32)) 5199 0.4444 5.4792 ((1 . 4) (6 . 8) (9 . 9) (10 . 10)) 5209 0.4444 5.1514 ((6 . 7) (7 . 8) (8 . 9) (9 . 10)) 5215 0.4444 3.9367 ((1 . 2) (4 . 4) (5 . 5) (12 . 12)) 5223 0.4443 6.3184 ((1 . 1) (4 . 3) (8 . 8) (10 . 10)) 5231 0.4444 6.0719 ((7 . 8) (8 . 12) (9 . 13) (10 . 14)) 5266 0.4444 5.6023 ((1 . 4) (4 . 6) (6 . 8) (8 . 10)) 5278 0.4443 6.6279 ((7 . 8) (8 . 9) (9 . 10) (10 . 12)) 5307 0.4444 5.0794 ((1 . 51) (4 . 55) (5 . 57) (10 . 58)) 5312 0.4443 6.5717 ((6 . 2) (7 . 3) (8 . 4) (10 . 7)) 5324 0.4444 6.0446 ((1 . 7) (4 . 10) (6 . 12) (8 . 14)) 5344 0.5546 8.3985 ((1 . 1) (4 . 3) (8 . 7) (9 . 8) (10 . 9)) 5345 0.5551 6.7766 ((1 . 2) (4 . 4) (6 . 7) (8 . 12) (9 . 13)) 5368 0.6660 6.0469 ((1 . 16) (4 . 18) (6 . 20) (7 . 21) (8 . 22) (9 . 25)) 5378 0.4443 6.2450 ((1 . 6) (4 . 7) (9 . 15) (10 . 16)) 5414 0.4444 4.8722 ((8 . 14) (9 . 15) (10 . 16) (12 . 18)) 5418 0.4444 5.2700 ((8 . 1) (9 . 2) (10 . 3) (12 . 5)) 5433 0.4442 7.6045 ((7 . 7) (8 . 8) (9 . 10) (12 . 16)) 5479 0.5554 5.3590 ((4 . 52) (5 . 53) (6 . 54) (7 . 55) (12 . 62)) 5487 0.4438 9.9335 ((6 . 4) (7 . 7) (8 . 9) (10 . 11)) 5489 0.5552 6.6617 ((4 . 5) (5 . 6) (7 . 9) (8 . 10) (10 . 14)) 5500 0.4439 9.7266 ((1 . 1) (4 . 3) (5 . 4) (10 . 14)) 5501 0.4436 10.7224 ((1 . 16) (4 . 20) (8 . 24) (9 . 25)) 5535 0.4443 7.0527 ((7 . 8) (8 . 9) (9 . 11) (10 . 12)) 5540 0.4443 7.3253 ((4 . 7) (5 . 8) (9 . 14) (10 . 16)) 5557 0.5536 9.9300 ((6 . 1) (7 . 2) (8 . 3) (9 . 4) (12 . 6)) 5560 0.4443 6.9842 ((4 . 11) (5 . 13) (9 . 17) (12 . 20)) 5562 0.4443 6.7171 ((1 . 7) (6 . 11) (8 . 14) (10 . 17)) 5567 0.4442 7.4642 ((1 . 11) (4 . 15) (7 . 18) (8 . 19)) 5594 0.4443 6.6023 ((6 . 1) (8 . 3) (9 . 4) (12 . 6)) 5600 0.4444 4.6005 ((6 . 3) (8 . 5) (9 . 6) (12 . 9)) 5601 0.5550 7.3627 ((1 . 7) (4 . 10) (6 . 12) (8 . 15) (9 . 16)) 5640 0.6649 7.6867 ((1 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 5644 0.5548 7.7150 ((1 . 1) (4 . 4) (7 . 8) (10 . 13) (12 . 14)) 5656 0.4444 5.3645 ((1 . 16) (6 . 21) (7 . 23) (8 . 24)) 5700 0.5553 5.8800 ((5 . 2) (6 . 3) (7 . 4) (9 . 6) (10 . 8)) 5701 0.4442 7.6821 ((7 . 4) (8 . 5) (9 . 6) (12 . 8)) 5703 0.4444 5.4200 ((4 . 2) (7 . 6) (8 . 7) (9 . 8)) 5711 0.5547 7.9997 ((4 . 35) (5 . 36) (6 . 37) (8 . 42) (9 . 43)) 5713 0.6648 7.8470 ((1 . 3) (4 . 5) (6 . 7) (7 . 10) (8 . 11) (9 . 13)) 5718 0.4444 5.6373 ((6 . 16) (7 . 17) (8 . 18) (9 . 21)) 5731 0.4443 6.5104 ((7 . 2) (8 . 3) (9 . 5) (10 . 7)) 5746 0.5551 6.7258 ((1 . 6) (4 . 9) (5 . 10) (7 . 13) (8 . 14)) 5749 0.4443 6.6371 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 5761 0.5554 5.5007 ((6 . 28) (7 . 30) (8 . 31) (9 . 32) (12 . 36)) 5770 0.0999 10.8081 ((1 . 1) (6 . 6) (9 . 12) (10 . 15)) 5771 0.4435 10.9895 ((1 . 9) (4 . 13) (8 . 17) (10 . 20)) 5782 0.5549 7.5145 ((1 . 15) (4 . 18) (5 . 21) (6 . 22) (8 . 24)) 5794 0.4443 6.2909 ((7 . 18) (8 . 19) (10 . 23) (12 . 24)) 5795 0.4441 8.2039 ((1 . 6) (6 . 10) (8 . 13) (10 . 16)) 5809 0.4444 5.9986 ((1 . 7) (4 . 9) (8 . 14) (9 . 15)) 5822 0.4433 11.4047 ((6 . 1) (7 . 2) (8 . 4) (10 . 7)) 5827 0.4444 5.9228 ((4 . 14) (5 . 15) (6 . 16) (7 . 17)) 5830 0.8851 6.5203 ((1 . 2) (5 . 3) (6 . 7) (7 . 8) (8 . 10) (9 . 13) (10 . 17) (12 . 18)) 5847 0.4443 6.4406 ((7 . 1) (9 . 5) (10 . 7) (12 . 8)) 5861 0.5555 4.6041 ((1 . 15) (6 . 20) (7 . 21) (8 . 22) (10 . 25)) 5865 0.4444 5.7991 ((7 . 1) (8 . 4) (9 . 5) (12 . 7)) 5888 0.5552 6.6937 ((1 . 6) (4 . 8) (5 . 9) (6 . 10) (7 . 11)) 5896 0.4443 7.1812 ((1 . 26) (4 . 28) (5 . 29) (7 . 31)) 5904 0.4434 11.2328 ((1 . 4) (6 . 7) (8 . 9) (9 . 11)) 5913 0.5549 7.5512 ((1 . 13) (4 . 15) (6 . 17) (8 . 20) (9 . 22)) 5914 0.4438 9.7698 ((6 . 2) (7 . 3) (8 . 5) (9 . 6)) 5922 0.9999 1.6698 ((1 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 8) (8 . 9) (9 . 10) (10 . 11) (12 . 13)) 5930 0.4442 8.0745 ((5 . 1) (6 . 2) (10 . 7) (12 . 9)) 5939 0.4442 7.9997 ((1 . 4) (6 . 8) (7 . 9) (10 . 14)) 5945 0.4442 7.6758 ((5 . 11) (8 . 16) (9 . 19) (12 . 23)) 5949 0.1980 9.7217 ((7 . 9) (8 . 10) (9 . 12) (10 . 14)) 5955 0.4444 5.7923 ((1 . 9) (6 . 14) (7 . 16) (8 . 17)) 5977 0.4443 7.1734 ((4 . 1) (6 . 3) (8 . 5) (9 . 6)) 6000 0.0999 10.4774 ((1 . 17) (4 . 21) (9 . 28) (12 . 31)) 6011 0.5553 5.8915 ((4 . 9) (5 . 10) (6 . 11) (7 . 13) (8 . 14)) 6022 0.5544 8.7904 ((7 . 2) (8 . 4) (9 . 5) (10 . 7) (12 . 8)) 6029 0.4443 7.2999 ((7 . 5) (8 . 6) (10 . 10) (12 . 11)) 6041 0.4444 5.6555 ((8 . 10) (9 . 11) (10 . 12) (12 . 13)) 6046 0.4444 5.5375 ((4 . 2) (5 . 3) (6 . 5) (7 . 6)) 6061 0.5553 5.9785 ((4 . 14) (5 . 15) (7 . 17) (9 . 20) (10 . 21)) 6074 0.4443 6.6074 ((4 . 6) (6 . 8) (8 . 11) (10 . 13)) 6075 0.4443 6.1580 ((1 . 20) (4 . 21) (6 . 24) (8 . 27)) 6079 0.4443 6.4875 ((8 . 6) (9 . 7) (10 . 8) (12 . 9)) 6089 0.4439 9.3081 ((1 . 3) (4 . 5) (7 . 11) (8 . 12)) 6094 0.4443 6.3968 ((6 . 2) (9 . 7) (10 . 10) (12 . 11)) 6099 0.5554 4.8186 ((1 . 6) (4 . 9) (6 . 11) (7 . 13) (8 . 14)) 6123 0.4442 7.6059 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 6142 0.6648 7.8304 ((1 . 6) (4 . 8) (6 . 10) (7 . 11) (8 . 12) (10 . 14)) 6148 0.4444 5.8600 ((6 . 32) (7 . 33) (8 . 36) (9 . 37)) 6167 0.4443 6.4051 ((4 . 12) (5 . 14) (7 . 20) (8 . 21)) 6173 0.5551 6.7869 ((6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8)) 6191 0.4440 8.7979 ((7 . 6) (8 . 9) (9 . 10) (12 . 13)) 6215 0.4444 5.7396 ((6 . 17) (7 . 18) (8 . 19) (12 . 24)) 6225 0.4442 7.8584 ((5 . 3) (6 . 4) (7 . 5) (12 . 10)) 6228 0.4443 6.7350 ((6 . 1) (7 . 3) (8 . 5) (10 . 7)) 6234 0.6660 6.0946 ((4 . 6) (5 . 7) (6 . 9) (7 . 10) (10 . 13) (12 . 15)) 6238 0.4442 7.7361 ((6 . 3) (7 . 4) (10 . 8) (12 . 9)) 6243 0.4443 7.1571 ((4 . 3) (6 . 6) (8 . 8) (10 . 10)) 6251 0.4443 6.5468 ((1 . 8) (4 . 10) (8 . 15) (10 . 17)) 6258 0.4444 5.7353 ((1 . 7) (4 . 10) (5 . 12) (10 . 13)) 6261 0.4444 5.4962 ((1 . 11) (6 . 19) (7 . 21) (8 . 22)) 6266 0.4443 6.5373 ((1 . 3) (4 . 5) (6 . 6) (8 . 8)) 6270 0.4443 6.7726 ((5 . 13) (8 . 17) (9 . 18) (12 . 20)) 6271 0.4443 6.6804 ((1 . 4) (4 . 7) (7 . 10) (8 . 11)) 6273 0.4443 6.9196 ((5 . 2) (6 . 3) (9 . 6) (12 . 12)) 6294 0.4428 12.5492 ((6 . 2) (8 . 6) (10 . 9) (12 . 11)) 6306 0.4442 7.9285 ((6 . 15) (7 . 16) (9 . 19) (10 . 21)) 6309 0.4444 5.7610 ((6 . 18) (7 . 20) (10 . 25) (12 . 27)) 6311 0.4443 6.2935 ((1 . 9) (4 . 11) (6 . 13) (7 . 14)) 6326 0.4444 5.6051 ((4 . 2) (5 . 3) (9 . 9) (10 . 10)) 6338 0.6658 6.4733 ((6 . 1) (7 . 2) (8 . 4) (9 . 5) (10 . 7) (12 . 8)) 6344 0.4444 6.0439 ((1 . 4) (6 . 8) (9 . 12) (10 . 13)) 6345 0.4443 6.8187 ((1 . 5) (4 . 6) (5 . 7) (12 . 14)) 6355 0.4442 8.1585 ((1 . 4) (6 . 9) (7 . 10) (10 . 15)) 6356 0.5547 8.0008 ((1 . 4) (4 . 6) (6 . 9) (8 . 11) (10 . 13)) 6369 0.4442 7.7517 ((7 . 20) (9 . 22) (10 . 24) (12 . 26)) 6376 0.5551 6.7721 ((1 . 19) (4 . 21) (6 . 26) (7 . 27) (8 . 28)) 6399 0.5552 6.5204 ((5 . 25) (6 . 26) (7 . 27) (8 . 28) (12 . 33)) 6403 0.5552 6.3744 ((1 . 4) (8 . 12) (9 . 13) (10 . 14) (12 . 15)) 6434 0.4443 6.7910 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 6462 0.4443 6.7361 ((1 . 18) (4 . 20) (6 . 22) (7 . 24)) 6498 0.4442 7.5927 ((1 . 16) (4 . 19) (5 . 21) (10 . 29)) 6520 0.5548 7.7374 ((5 . 1) (7 . 3) (8 . 6) (9 . 8) (10 . 9)) 6539 0.4442 7.5736 ((1 . 2) (4 . 4) (5 . 5) (7 . 8)) 6540 0.5554 5.6311 ((1 . 2) (6 . 6) (9 . 9) (10 . 11) (12 . 12)) 6548 0.4444 5.4794 ((1 . 5) (6 . 9) (7 . 12) (8 . 13)) 6553 0.5551 6.8067 ((1 . 17) (4 . 20) (6 . 22) (7 . 24) (8 . 25)) 6555 0.5548 7.8580 ((6 . 19) (7 . 20) (9 . 23) (10 . 24) (12 . 25)) 6561 0.4444 5.8583 ((1 . 10) (6 . 12) (7 . 13) (8 . 15)) 6573 0.4442 7.7430 ((7 . 21) (8 . 22) (9 . 23) (10 . 24)) 6578 0.5552 6.6969 ((4 . 31) (5 . 32) (8 . 34) (9 . 37) (12 . 38)) 6584 0.4443 6.3956 ((4 . 6) (5 . 7) (6 . 8) (7 . 9)) 6585 0.5548 7.7625 ((4 . 2) (6 . 6) (8 . 8) (10 . 10) (12 . 11)) 6587 0.4443 6.3304 ((1 . 29) (4 . 31) (6 . 33) (7 . 34)) 6598 0.5546 8.4092 ((4 . 26) (5 . 27) (6 . 28) (7 . 29) (8 . 30)) 6613 0.5550 7.2566 ((1 . 24) (6 . 27) (7 . 28) (8 . 31) (10 . 32)) 6635 0.1980 7.3536 ((1 . 1) (4 . 4) (5 . 5) (6 . 7)) END