1112 233 0.5996 5.9605 ((2 . 1) (6 . 2) (7 . 3) (9 . 5) (10 . 7) (12 . 8)) 234 0.5997 5.8173 ((2 . 10) (6 . 11) (7 . 12) (9 . 14) (10 . 15) (12 . 16)) 291 0.5999 4.6324 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 349 0.7958 2.5797 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 8) (10 . 10) (11 . 11) (12 . 12)) 365 0.6000 3.4275 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 6) (10 . 8)) 388 0.4992 9.0972 ((6 . 16) (7 . 17) (8 . 18) (9 . 19) (12 . 21)) 402 0.7915 5.2310 ((2 . 2) (6 . 3) (7 . 5) (8 . 6) (9 . 7) (10 . 9) (11 . 10) (12 . 11)) 403 0.6987 6.7600 ((2 . 12) (6 . 13) (7 . 15) (8 . 17) (9 . 18) (10 . 20) (12 . 21)) 404 0.5997 5.4385 ((2 . 23) (6 . 24) (7 . 25) (9 . 28) (10 . 30) (12 . 31)) 405 0.6993 5.8026 ((2 . 32) (6 . 33) (7 . 35) (8 . 37) (9 . 38) (10 . 39) (12 . 40)) 445 0.5996 6.1928 ((2 . 1) (6 . 2) (7 . 3) (9 . 5) (10 . 6) (12 . 7)) 449 0.6996 4.8466 ((2 . 1) (6 . 2) (7 . 3) (9 . 6) (10 . 7) (11 . 8) (12 . 9)) 450 0.5000 2.8124 ((6 . 13) (7 . 15) (9 . 18) (10 . 19) (12 . 20)) 564 0.6997 4.5994 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 8) (10 . 10) (12 . 11)) 565 0.5999 4.4616 ((6 . 13) (7 . 14) (8 . 15) (9 . 16) (10 . 17) (11 . 18)) 567 0.7993 4.8251 ((2 . 1) (6 . 2) (7 . 3) (8 . 5) (9 . 6) (10 . 8) (11 . 9) (12 . 10)) 568 0.6995 5.2883 ((2 . 12) (6 . 13) (7 . 15) (8 . 16) (9 . 17) (10 . 18) (12 . 19)) 570 0.6994 5.5169 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 9) (10 . 11) (12 . 12)) 571 0.3999 6.7255 ((2 . 14) (6 . 15) (7 . 16) (8 . 17)) 578 0.5000 2.6143 ((7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8)) 579 0.6998 4.2934 ((2 . 9) (6 . 10) (7 . 12) (8 . 13) (9 . 14) (10 . 15) (12 . 17)) 599 0.6996 5.0439 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 7) (10 . 9) (12 . 10)) 600 0.5998 4.7468 ((6 . 11) (7 . 12) (8 . 13) (9 . 14) (10 . 15) (11 . 16)) 626 0.5998 4.7777 ((6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 10)) 668 0.7994 4.6222 ((2 . 2) (6 . 3) (7 . 5) (8 . 7) (9 . 8) (10 . 10) (11 . 11) (12 . 12)) 669 0.7994 4.6523 ((2 . 13) (6 . 14) (7 . 16) (8 . 17) (9 . 18) (10 . 20) (11 . 21) (12 . 22)) 670 0.4998 6.2825 ((6 . 25) (7 . 27) (9 . 28) (10 . 30) (12 . 31)) 671 0.6995 5.3507 ((2 . 32) (6 . 33) (7 . 35) (8 . 37) (9 . 38) (10 . 40) (12 . 41)) 693 0.5999 4.2082 ((6 . 31) (7 . 32) (8 . 33) (9 . 34) (10 . 35) (12 . 36)) 695 0.6993 5.7620 ((2 . 1) (6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 696 0.6000 2.6393 ((6 . 12) (7 . 13) (9 . 16) (10 . 17) (11 . 18) (12 . 19)) 697 0.5000 2.0273 ((2 . 21) (7 . 23) (9 . 26) (10 . 27) (12 . 30)) 698 0.6988 6.5804 ((2 . 31) (6 . 34) (7 . 36) (8 . 37) (9 . 38) (10 . 39) (12 . 40)) 828 0.6992 5.9697 ((2 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 11) (10 . 12) (12 . 13)) 888 0.6995 5.3679 ((2 . 13) (6 . 14) (7 . 15) (8 . 17) (9 . 19) (10 . 20) (12 . 21)) 919 0.6992 5.9124 ((2 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 8) (10 . 9) (12 . 10)) 922 0.7936 3.7029 ((2 . 2) (6 . 3) (7 . 4) (8 . 7) (9 . 8) (10 . 10) (11 . 11) (12 . 12)) 926 0.6992 6.0176 ((2 . 1) (6 . 2) (7 . 4) (8 . 8) (9 . 9) (10 . 11) (12 . 12)) 927 0.6995 5.3242 ((2 . 13) (6 . 14) (7 . 15) (8 . 17) (9 . 18) (10 . 19) (12 . 20)) 1025 0.4999 4.9953 ((6 . 4) (7 . 5) (9 . 7) (10 . 8) (11 . 9)) 1086 0.4000 5.8998 ((8 . 2) (9 . 3) (10 . 5) (12 . 6)) 1110 0.6993 5.6676 ((2 . 10) (6 . 11) (7 . 13) (8 . 14) (9 . 15) (10 . 16) (12 . 18)) 1112 1.0000 0.0000 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 1126 0.6995 5.3806 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 9) (12 . 10)) 1127 0.6997 4.4603 ((2 . 13) (6 . 14) (7 . 16) (8 . 17) (9 . 18) (10 . 19) (12 . 21)) 1149 0.6997 4.5892 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 1164 0.5997 5.5434 ((2 . 2) (6 . 3) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 1181 0.3999 6.6920 ((6 . 2) (7 . 3) (8 . 4) (12 . 8)) 1235 0.6997 4.4631 ((2 . 2) (6 . 3) (7 . 4) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 1236 0.5994 6.6576 ((6 . 13) (7 . 15) (8 . 18) (9 . 19) (10 . 21) (12 . 23)) 1270 0.6997 4.5058 ((2 . 34) (6 . 35) (7 . 36) (8 . 37) (9 . 38) (10 . 39) (12 . 40)) 1293 0.7956 3.5524 ((2 . 3) (6 . 4) (7 . 5) (8 . 7) (9 . 10) (10 . 11) (11 . 12) (12 . 14)) 1294 0.6989 6.4028 ((2 . 39) (6 . 40) (7 . 41) (8 . 43) (9 . 44) (10 . 46) (12 . 47)) 1295 0.6998 4.3955 ((2 . 48) (6 . 49) (7 . 50) (8 . 51) (9 . 52) (10 . 53) (12 . 54)) 1341 0.6997 4.6852 ((2 . 2) (6 . 3) (7 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 1342 0.4999 5.1255 ((6 . 17) (7 . 19) (8 . 20) (9 . 21) (10 . 22)) 1363 0.4999 5.7830 ((7 . 3) (8 . 5) (9 . 6) (10 . 7) (11 . 8)) 1374 0.6000 3.3939 ((2 . 2) (6 . 3) (7 . 4) (9 . 6) (10 . 8) (12 . 9)) 1375 0.6860 3.2347 ((2 . 11) (6 . 12) (7 . 14) (9 . 16) (10 . 18) (11 . 19) (12 . 20)) 1390 0.5999 4.5169 ((2 . 2) (6 . 3) (7 . 4) (9 . 6) (10 . 8) (12 . 9)) 1391 0.6988 6.5365 ((2 . 11) (6 . 12) (7 . 13) (8 . 14) (9 . 16) (10 . 17) (12 . 18)) 1392 0.6996 5.0131 ((2 . 20) (6 . 21) (7 . 22) (8 . 23) (9 . 24) (10 . 25) (12 . 26)) 1418 0.7985 5.8632 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (11 . 7) (12 . 8)) 1419 0.6997 4.5974 ((2 . 10) (6 . 11) (7 . 12) (8 . 13) (9 . 14) (10 . 15) (12 . 16)) 1445 0.6994 5.4224 ((2 . 2) (6 . 3) (7 . 5) (8 . 9) (9 . 10) (10 . 12) (12 . 13)) 1446 0.6998 4.0210 ((2 . 15) (6 . 16) (7 . 17) (8 . 19) (9 . 20) (10 . 22) (12 . 24)) 1502 0.4999 4.5604 ((6 . 3) (7 . 4) (9 . 7) (10 . 9) (12 . 10)) 1555 0.6993 5.8269 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 6) (10 . 8) (12 . 9)) 1566 0.4990 9.6323 ((6 . 1) (8 . 4) (9 . 5) (10 . 6) (11 . 8)) 1568 0.5999 3.7766 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 1569 0.6997 4.7422 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8)) 1570 0.6996 4.9900 ((2 . 9) (6 . 10) (7 . 11) (8 . 12) (9 . 13) (10 . 14) (12 . 16)) 1571 0.6996 4.9220 ((2 . 17) (6 . 18) (7 . 19) (8 . 20) (9 . 21) (10 . 22) (12 . 24)) 1572 0.6997 4.6994 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8)) 1573 0.6996 5.0362 ((2 . 9) (6 . 10) (7 . 11) (8 . 12) (9 . 13) (10 . 14) (12 . 16)) 1579 0.7935 4.1047 ((2 . 2) (6 . 3) (7 . 5) (8 . 8) (9 . 10) (10 . 12) (11 . 13) (12 . 14)) 1580 0.4996 7.4936 ((6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 7)) 1600 0.6987 6.6698 ((2 . 1) (6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 8) (12 . 9)) 1601 0.6992 5.9646 ((2 . 10) (6 . 11) (7 . 12) (8 . 15) (9 . 17) (10 . 20) (12 . 21)) 1660 0.5998 5.1614 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 7)) 1661 0.6998 4.2990 ((2 . 11) (6 . 12) (7 . 14) (8 . 15) (9 . 16) (10 . 17) (12 . 18)) 1666 0.7962 4.2006 ((2 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 8) (10 . 9) (11 . 10) (12 . 11)) 1667 0.6990 6.3610 ((2 . 38) (6 . 39) (7 . 40) (8 . 41) (9 . 42) (10 . 44) (12 . 45)) 1668 0.6997 4.8073 ((2 . 46) (6 . 48) (7 . 50) (8 . 51) (9 . 53) (10 . 54) (12 . 55)) 1684 0.6000 3.0105 ((2 . 2) (6 . 3) (7 . 4) (9 . 7) (10 . 9) (12 . 11)) 1688 0.6996 5.0574 ((2 . 2) (6 . 3) (7 . 4) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 1722 0.3999 6.7335 ((9 . 1) (10 . 2) (11 . 3) (12 . 4)) 1723 0.3999 6.8072 ((8 . 16) (9 . 17) (10 . 19) (12 . 20)) 1826 0.5999 4.2899 ((2 . 2) (6 . 3) (7 . 5) (8 . 6) (9 . 8) (10 . 9)) 1827 0.6997 4.7863 ((2 . 13) (6 . 14) (7 . 16) (8 . 18) (9 . 19) (10 . 20) (12 . 21)) 1828 0.5994 6.7013 ((2 . 22) (6 . 23) (7 . 26) (8 . 27) (9 . 28) (10 . 29)) 1864 0.6997 4.7609 ((2 . 2) (6 . 3) (7 . 4) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 1928 0.6998 4.3868 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 9) (12 . 11)) 1938 0.6998 4.2419 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 8) (12 . 9)) 1939 0.5997 5.8521 ((2 . 10) (6 . 11) (7 . 12) (9 . 16) (10 . 17) (12 . 18)) 1996 0.6995 5.1741 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 2009 0.4993 8.6137 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (12 . 5)) 2022 0.6969 8.3734 ((2 . 14) (6 . 15) (7 . 16) (8 . 19) (9 . 20) (10 . 22) (12 . 24)) 2061 0.5999 4.5773 ((6 . 3) (7 . 5) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 2087 0.6999 3.3396 ((2 . 2) (6 . 3) (7 . 4) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 2110 0.4998 6.1639 ((6 . 23) (7 . 24) (8 . 26) (9 . 27) (11 . 29)) 2165 0.3979 15.2026 ((6 . 26) (9 . 29) (10 . 30) (12 . 31)) 2186 0.6987 6.7763 ((2 . 7) (6 . 8) (7 . 9) (8 . 11) (9 . 12) (10 . 13) (12 . 14)) 2188 0.5998 5.2670 ((2 . 9) (6 . 10) (7 . 11) (9 . 14) (10 . 15) (12 . 16)) 2191 0.5997 5.6536 ((6 . 1) (7 . 2) (8 . 4) (9 . 5) (10 . 7) (12 . 8)) 2221 0.6997 4.7540 ((2 . 1) (6 . 2) (7 . 3) (8 . 5) (9 . 6) (10 . 8) (12 . 9)) 2246 0.6995 5.1765 ((2 . 1) (6 . 2) (7 . 3) (8 . 5) (9 . 9) (10 . 11) (12 . 12)) 2318 0.5000 3.3011 ((2 . 2) (8 . 8) (9 . 10) (10 . 12) (12 . 14)) 2319 0.5998 5.1901 ((6 . 16) (7 . 17) (8 . 18) (9 . 20) (10 . 21) (11 . 22)) 2320 0.4996 7.4009 ((6 . 4) (8 . 6) (9 . 7) (10 . 8) (12 . 10)) 2321 0.5000 4.1123 ((6 . 14) (7 . 15) (9 . 18) (10 . 20) (12 . 22)) 2338 0.4000 4.7581 ((6 . 13) (7 . 14) (8 . 15) (10 . 19)) 2365 0.5997 5.8059 ((6 . 3) (7 . 6) (8 . 9) (9 . 10) (10 . 11) (12 . 12)) 2428 0.4995 8.1415 ((6 . 9) (7 . 10) (8 . 12) (9 . 13) (12 . 15)) 2441 0.6997 4.6969 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 7) (12 . 9)) 2442 0.6000 2.3687 ((6 . 12) (7 . 14) (8 . 15) (9 . 16) (10 . 17) (11 . 19)) 2444 0.6992 5.9705 ((2 . 1) (6 . 2) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 9)) 2445 0.6995 5.3577 ((2 . 11) (6 . 12) (7 . 14) (8 . 15) (9 . 16) (10 . 17) (12 . 19)) 2473 0.6990 6.3117 ((2 . 2) (6 . 3) (7 . 5) (8 . 6) (9 . 8) (10 . 10) (12 . 11)) 2507 0.6995 5.3626 ((2 . 3) (6 . 4) (7 . 6) (8 . 9) (9 . 11) (10 . 13) (12 . 14)) 2508 0.6997 4.5399 ((2 . 16) (6 . 17) (7 . 19) (8 . 20) (9 . 22) (10 . 24) (12 . 25)) 2531 0.6983 7.2089 ((2 . 1) (6 . 2) (7 . 3) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 2534 0.6999 3.8240 ((2 . 17) (6 . 18) (7 . 19) (8 . 20) (9 . 22) (10 . 23) (12 . 25)) 2577 0.6993 5.7272 ((2 . 2) (6 . 3) (7 . 5) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 2578 0.6983 7.1389 ((2 . 12) (6 . 13) (7 . 15) (8 . 17) (9 . 18) (10 . 20) (12 . 21)) 2579 0.6998 4.1518 ((2 . 23) (6 . 24) (7 . 25) (8 . 27) (9 . 29) (10 . 31) (12 . 32)) 2641 0.6986 6.7835 ((2 . 1) (6 . 3) (7 . 5) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 2686 0.7998 3.5187 ((2 . 2) (6 . 3) (7 . 4) (8 . 7) (9 . 9) (10 . 10) (11 . 11) (12 . 13)) 2728 0.6990 6.2828 ((2 . 1) (6 . 2) (7 . 3) (8 . 5) (9 . 6) (10 . 9) (12 . 10)) 2767 0.6996 4.9152 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 2812 0.5999 4.5276 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 2813 0.2462 6.2184 ((6 . 9) (7 . 10) (9 . 12) (10 . 13) (12 . 14)) 2877 0.6997 4.4736 ((6 . 2) (7 . 3) (8 . 4) (9 . 6) (10 . 7) (11 . 8) (12 . 10)) 2880 0.7990 5.2945 ((2 . 2) (6 . 3) (7 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 12)) 2971 0.3998 8.2126 ((3 . 10) (5 . 11) (7 . 14) (9 . 17)) 2987 0.4998 6.6389 ((6 . 28) (8 . 30) (9 . 31) (10 . 32) (11 . 33)) 3099 0.6990 6.3354 ((2 . 23) (6 . 24) (7 . 25) (8 . 26) (9 . 27) (10 . 28) (12 . 29)) 3101 0.6987 6.7214 ((2 . 50) (6 . 51) (7 . 52) (8 . 53) (9 . 54) (10 . 55) (12 . 56)) 3159 0.6998 3.9291 ((2 . 53) (6 . 54) (7 . 55) (8 . 57) (9 . 59) (10 . 60) (12 . 61)) 3185 0.5995 6.2549 ((2 . 14) (6 . 15) (7 . 16) (9 . 21) (10 . 23) (12 . 24)) 3186 0.5997 5.6761 ((2 . 1) (6 . 2) (7 . 3) (9 . 7) (10 . 8) (12 . 9)) 3205 0.6000 2.7012 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8)) 3292 0.6999 3.7624 ((2 . 2) (6 . 3) (7 . 4) (8 . 7) (9 . 8) (10 . 10) (12 . 11)) 3342 0.4000 4.7073 ((2 . 2) (8 . 6) (9 . 7) (10 . 8)) 3357 0.4999 5.2915 ((6 . 5) (7 . 6) (8 . 7) (9 . 8) (12 . 11)) 3378 0.5734 5.1489 ((5 . 33) (6 . 34) (7 . 35) (9 . 37) (10 . 39) (12 . 40)) 3417 0.6995 5.1612 ((2 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 11)) 3430 0.5656 4.5996 ((2 . 3) (6 . 4) (7 . 5) (9 . 8) (10 . 9) (11 . 10) (12 . 11)) 3431 0.4996 7.8195 ((6 . 1) (8 . 3) (9 . 4) (10 . 5) (12 . 6)) 3443 0.6999 3.6773 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 9)) 3444 0.4996 7.6521 ((2 . 37) (8 . 42) (9 . 43) (10 . 45) (12 . 46)) 3445 0.6998 4.0805 ((2 . 47) (6 . 48) (7 . 49) (8 . 50) (9 . 51) (10 . 52) (12 . 53)) 3472 0.5000 3.2808 ((2 . 2) (8 . 8) (9 . 9) (10 . 11) (12 . 12)) 3478 0.5991 7.4325 ((2 . 3) (6 . 4) (7 . 5) (9 . 8) (10 . 9) (12 . 10)) 3507 0.3999 7.5446 ((6 . 33) (7 . 34) (10 . 37) (11 . 38)) 3530 0.5998 4.7983 ((2 . 20) (6 . 21) (8 . 23) (9 . 24) (10 . 25) (12 . 27)) 3531 0.5998 5.2528 ((6 . 30) (7 . 32) (8 . 33) (9 . 34) (10 . 35) (12 . 36)) 3532 0.4000 5.6937 ((5 . 37) (6 . 38) (9 . 39) (12 . 41)) 3550 0.4508 13.4812 ((2 . 2) (5 . 4) (9 . 9) (10 . 10) (12 . 13)) 3554 0.5997 5.5623 ((2 . 1) (6 . 3) (7 . 4) (9 . 8) (10 . 10) (12 . 11)) 3555 0.6992 6.0384 ((2 . 12) (6 . 14) (7 . 15) (8 . 17) (9 . 19) (10 . 21) (12 . 23)) 3556 0.4972 12.4674 ((2 . 1) (5 . 3) (9 . 8) (10 . 10) (12 . 12)) 3557 0.5999 4.1066 ((6 . 15) (7 . 16) (8 . 18) (9 . 19) (10 . 21) (12 . 23)) 3655 0.6362 6.2522 ((5 . 29) (6 . 31) (7 . 32) (8 . 34) (9 . 35) (10 . 41) (12 . 45)) 3667 0.4992 8.9344 ((2 . 3) (6 . 4) (7 . 6) (8 . 7) (11 . 10)) 3690 0.7946 4.0261 ((2 . 2) (6 . 3) (7 . 5) (8 . 6) (9 . 9) (10 . 11) (11 . 12) (12 . 13)) 3699 0.5999 4.4744 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 8)) 3700 0.6998 4.2765 ((2 . 13) (6 . 14) (7 . 16) (8 . 17) (9 . 18) (10 . 19) (12 . 20)) 3762 0.5995 6.4969 ((2 . 1) (6 . 2) (7 . 3) (9 . 5) (10 . 6) (12 . 7)) 3791 0.3999 6.3862 ((6 . 45) (7 . 46) (10 . 48) (12 . 50)) 3792 0.6998 4.0378 ((2 . 54) (6 . 55) (7 . 56) (8 . 59) (9 . 60) (10 . 61) (12 . 62)) 3793 0.6993 5.8397 ((2 . 64) (6 . 66) (7 . 67) (8 . 71) (9 . 72) (10 . 73) (12 . 74)) 3794 0.4994 8.5149 ((6 . 23) (8 . 26) (9 . 27) (10 . 29) (12 . 30)) 3876 0.6998 4.4341 ((2 . 2) (6 . 3) (7 . 4) (9 . 6) (10 . 7) (11 . 8) (12 . 10)) 3948 0.7936 3.8154 ((2 . 2) (6 . 3) (7 . 5) (8 . 9) (9 . 10) (10 . 12) (11 . 13) (12 . 14)) 3949 0.6991 6.0404 ((2 . 15) (6 . 16) (7 . 17) (8 . 19) (9 . 21) (10 . 22) (12 . 24)) 3950 0.6999 3.3384 ((2 . 2) (6 . 3) (7 . 4) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 3951 0.6991 6.1797 ((2 . 13) (6 . 15) (7 . 16) (8 . 17) (9 . 19) (10 . 21) (12 . 22)) 4079 0.6998 4.4350 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 10)) 4109 0.6999 3.8173 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 7) (12 . 8)) 4110 0.7953 4.4960 ((2 . 9) (6 . 10) (7 . 11) (8 . 12) (9 . 13) (10 . 14) (11 . 15) (12 . 16)) 4111 0.6997 4.7942 ((2 . 17) (6 . 18) (7 . 19) (8 . 20) (9 . 22) (10 . 23) (12 . 24)) 4145 0.5998 5.2221 ((6 . 2) (7 . 3) (8 . 4) (9 . 6) (10 . 7) (12 . 9)) 4146 0.4999 5.0262 ((2 . 11) (6 . 12) (7 . 14) (9 . 15) (10 . 16)) 4178 0.4000 5.2534 ((2 . 13) (3 . 14) (5 . 15) (6 . 17)) 4197 0.4999 5.8562 ((6 . 4) (7 . 7) (8 . 8) (9 . 10) (10 . 11)) 4199 0.5999 4.3487 ((2 . 2) (6 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 4219 0.5994 6.6731 ((2 . 2) (6 . 4) (7 . 5) (9 . 8) (10 . 9) (12 . 10)) 4221 0.4998 6.1688 ((7 . 7) (8 . 8) (9 . 10) (10 . 12) (12 . 13)) 4224 0.7904 3.0186 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 9) (10 . 11) (11 . 12) (12 . 13)) 4230 0.6997 4.7573 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 8) (10 . 10) (12 . 13)) 4286 0.7920 4.3287 ((2 . 3) (6 . 4) (7 . 6) (8 . 9) (9 . 11) (10 . 13) (11 . 14) (12 . 15)) 4289 0.7000 2.4076 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 9) (12 . 10)) 4290 0.6000 2.0260 ((6 . 13) (7 . 14) (8 . 15) (9 . 17) (10 . 18) (12 . 20)) 4349 0.7958 2.5918 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 8) (10 . 10) (11 . 11) (12 . 12)) 4464 0.6989 6.4830 ((2 . 1) (6 . 2) (7 . 3) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 4512 0.6998 4.2022 ((2 . 2) (6 . 3) (7 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 4525 0.6986 6.8429 ((2 . 20) (6 . 21) (7 . 23) (8 . 24) (9 . 26) (10 . 28) (12 . 29)) 4526 0.6995 5.2793 ((2 . 30) (6 . 31) (7 . 32) (8 . 33) (9 . 34) (10 . 35) (12 . 36)) 4581 0.4996 7.6400 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 5)) 4584 0.7997 3.9475 ((2 . 2) (6 . 3) (7 . 5) (8 . 6) (9 . 9) (10 . 11) (11 . 12) (12 . 13)) 4637 0.7937 2.9315 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 8) (10 . 10) (11 . 11) (12 . 12)) 4638 0.4000 4.7067 ((8 . 13) (9 . 14) (11 . 15) (12 . 16)) 4639 0.5000 4.3894 ((2 . 2) (8 . 8) (9 . 9) (10 . 10) (12 . 12)) 4640 0.6989 6.4067 ((2 . 14) (6 . 16) (7 . 17) (8 . 18) (9 . 21) (10 . 23) (12 . 24)) 4687 0.6991 6.0586 ((2 . 27) (6 . 28) (7 . 30) (8 . 31) (9 . 33) (10 . 34) (12 . 35)) 4700 0.7000 2.3182 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 8) (12 . 10)) 4708 0.5995 6.4082 ((2 . 48) (6 . 49) (7 . 50) (9 . 51) (10 . 53) (12 . 54)) 4744 0.4998 6.2796 ((6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 7)) 4777 0.6994 5.5567 ((2 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7) (10 . 10) (11 . 11)) 4800 0.4999 5.4272 ((2 . 1) (6 . 3) (9 . 5) (10 . 7) (12 . 8)) 4809 0.5998 4.9162 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 4892 0.4995 8.0767 ((7 . 2) (8 . 3) (9 . 4) (10 . 5) (12 . 6)) 4896 0.5000 4.4659 ((6 . 3) (7 . 5) (9 . 8) (10 . 10) (12 . 11)) 4897 0.3362 9.6188 ((3 . 13) (6 . 15) (7 . 17) (8 . 18)) 4898 0.2412 13.8587 ((8 . 19) (9 . 20) (10 . 22) (11 . 23)) 4908 0.5981 8.9047 ((6 . 3) (7 . 4) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 4921 0.4993 8.7951 ((6 . 7) (7 . 8) (8 . 9) (10 . 12) (12 . 14)) 4923 0.6997 4.6639 ((2 . 15) (6 . 16) (7 . 17) (8 . 18) (9 . 19) (10 . 20) (12 . 22)) 4951 0.5999 3.9054 ((6 . 49) (7 . 50) (8 . 51) (9 . 54) (10 . 55) (12 . 56)) 4967 0.4997 6.8038 ((6 . 26) (8 . 28) (9 . 29) (10 . 30) (11 . 31)) 4968 0.4000 5.0717 ((2 . 33) (7 . 37) (9 . 40) (12 . 43)) 5040 0.4992 9.1377 ((2 . 3) (7 . 8) (8 . 10) (9 . 12) (10 . 13)) 5043 0.4997 6.8340 ((6 . 4) (7 . 5) (8 . 6) (9 . 7) (12 . 11)) 5166 0.3999 6.8960 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 5246 0.6998 4.1913 ((2 . 3) (6 . 4) (7 . 6) (8 . 9) (9 . 10) (10 . 12) (12 . 14)) 5281 0.3999 6.5871 ((8 . 65) (9 . 66) (10 . 67) (12 . 69)) 5310 0.6999 3.5009 ((2 . 3) (6 . 4) (7 . 5) (8 . 8) (9 . 9) (10 . 10) (12 . 12)) 5311 0.5000 3.4402 ((7 . 15) (8 . 16) (9 . 17) (10 . 18) (12 . 20)) 5316 0.7920 4.2821 ((2 . 2) (6 . 3) (7 . 5) (8 . 8) (9 . 10) (10 . 12) (11 . 13) (12 . 14)) 5319 0.6997 4.7200 ((2 . 1) (6 . 2) (7 . 3) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 5320 0.6997 4.6963 ((2 . 9) (6 . 10) (7 . 11) (8 . 12) (9 . 13) (10 . 14) (12 . 16)) 5342 0.5000 2.9153 ((6 . 47) (7 . 48) (9 . 51) (10 . 52) (12 . 54)) 5413 0.4999 5.3954 ((2 . 2) (8 . 7) (9 . 8) (10 . 10) (12 . 11)) 5431 0.6000 3.2153 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 5432 0.6000 3.3966 ((6 . 9) (7 . 10) (8 . 11) (9 . 12) (10 . 13) (12 . 15)) 5497 0.6994 5.4774 ((2 . 21) (6 . 22) (7 . 23) (8 . 25) (9 . 26) (10 . 28) (12 . 29)) 5552 0.7928 5.3964 ((2 . 5) (6 . 6) (7 . 8) (8 . 9) (9 . 11) (10 . 12) (11 . 13) (12 . 14)) 5615 0.4999 4.5694 ((6 . 29) (7 . 30) (8 . 32) (9 . 33) (10 . 34)) 5633 0.6998 4.3287 ((2 . 1) (6 . 2) (7 . 3) (8 . 5) (9 . 6) (10 . 8) (12 . 10)) 5634 0.5045 3.0261 ((6 . 13) (7 . 14) (9 . 17) (10 . 18) (11 . 19) (12 . 20)) 5682 0.4460 6.4639 ((2 . 1) (6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 9) (12 . 14)) 5683 0.6998 4.3919 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 10)) 5733 0.6992 6.0140 ((2 . 12) (6 . 14) (7 . 15) (8 . 17) (9 . 19) (10 . 21) (12 . 22)) 5835 0.3999 6.9961 ((2 . 35) (9 . 41) (10 . 42) (12 . 44)) 5863 0.6975 7.9548 ((2 . 30) (6 . 31) (7 . 33) (8 . 35) (9 . 37) (10 . 38) (12 . 39)) 5899 0.6000 3.4497 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8)) 5916 0.5998 5.1376 ((2 . 1) (6 . 2) (8 . 3) (9 . 4) (10 . 5) (12 . 8)) 5936 0.4996 7.5360 ((7 . 7) (8 . 9) (9 . 11) (10 . 13) (12 . 14)) 5948 0.5995 6.4520 ((2 . 1) (6 . 3) (7 . 5) (8 . 8) (9 . 9) (10 . 10)) 5974 0.7956 3.8297 ((2 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 8) (10 . 10) (11 . 11) (12 . 12)) 5988 0.6998 4.1262 ((2 . 1) (6 . 2) (7 . 3) (8 . 5) (9 . 6) (10 . 7) (11 . 8)) 5989 0.7963 3.7002 ((2 . 1) (6 . 2) (7 . 4) (8 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 9)) 5993 0.5998 5.2507 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 7)) 6012 0.4998 6.4494 ((6 . 51) (7 . 52) (8 . 53) (9 . 54) (10 . 55)) 6013 0.4999 5.4562 ((6 . 59) (9 . 63) (10 . 64) (11 . 65) (12 . 66)) 6037 0.6000 2.8033 ((6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 6105 0.5999 4.7320 ((6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 9)) 6124 0.6993 5.7751 ((2 . 8) (6 . 9) (7 . 10) (8 . 12) (9 . 14) (10 . 15) (12 . 16)) 6126 0.6995 5.3616 ((2 . 9) (6 . 10) (7 . 11) (8 . 13) (9 . 15) (10 . 16) (12 . 17)) 6206 0.6997 4.4676 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 8) (12 . 9)) 6207 0.6998 4.3714 ((2 . 10) (6 . 12) (7 . 14) (8 . 15) (9 . 16) (10 . 18) (12 . 19)) 6285 0.4998 6.0369 ((2 . 3) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 6287 0.6990 6.3253 ((2 . 38) (6 . 39) (7 . 40) (8 . 41) (9 . 42) (10 . 44) (12 . 45)) 6288 0.6996 4.9294 ((2 . 46) (6 . 47) (7 . 48) (8 . 49) (9 . 50) (10 . 51) (12 . 52)) 6334 0.6997 4.4681 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 8) (12 . 9)) 6338 0.5997 5.5488 ((6 . 1) (7 . 2) (8 . 4) (9 . 5) (10 . 7) (11 . 8)) 6379 0.5000 4.0272 ((6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 7)) 6380 0.6998 4.2184 ((2 . 9) (6 . 11) (7 . 13) (8 . 14) (9 . 15) (10 . 17) (11 . 19)) 6443 0.4996 7.3989 ((2 . 1) (7 . 6) (8 . 8) (9 . 10) (10 . 12)) 6444 0.5999 4.0007 ((6 . 15) (7 . 16) (8 . 17) (9 . 19) (10 . 21) (12 . 22)) 6445 0.6000 3.1803 ((2 . 2) (6 . 3) (7 . 4) (9 . 6) (10 . 8) (12 . 9)) 6446 0.6860 3.1527 ((6 . 12) (7 . 14) (8 . 15) (9 . 16) (10 . 18) (11 . 19) (12 . 20)) 6449 0.5999 3.7078 ((6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8)) 6466 0.6992 5.9719 ((2 . 1) (6 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 7) (12 . 8)) 6467 0.5999 4.3848 ((2 . 10) (6 . 11) (7 . 15) (8 . 16) (9 . 17) (10 . 18)) 6485 0.4999 4.7302 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 5)) 6570 0.6984 7.0505 ((2 . 15) (6 . 16) (7 . 17) (8 . 19) (9 . 20) (10 . 22) (12 . 23)) 6612 0.6994 5.5961 ((2 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 9)) END