5040 233 0.3999 6.9729 ((8 . 1) (10 . 2) (12 . 3) (13 . 5)) 234 0.5997 5.5256 ((1 . 10) (3 . 11) (4 . 12) (10 . 14) (12 . 15) (13 . 16)) 291 0.6999 3.1932 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 6) (13 . 7)) 349 0.7000 2.3586 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 10)) 365 0.4996 7.7646 ((5 . 1) (8 . 3) (10 . 4) (12 . 6) (13 . 8)) 388 0.4998 6.5286 ((1 . 16) (3 . 17) (4 . 18) (5 . 19) (13 . 23)) 402 0.4995 8.2417 ((1 . 3) (3 . 5) (4 . 6) (5 . 7) (8 . 10)) 403 0.6992 5.9484 ((1 . 12) (3 . 13) (4 . 15) (5 . 17) (10 . 18) (12 . 20) (13 . 21)) 404 0.6996 4.9476 ((1 . 22) (2 . 23) (3 . 24) (4 . 25) (10 . 28) (12 . 30) (13 . 31)) 405 0.5985 8.4755 ((2 . 32) (3 . 33) (4 . 35) (5 . 37) (8 . 39) (10 . 40)) 445 0.5998 4.8088 ((2 . 1) (3 . 2) (4 . 3) (10 . 5) (12 . 6) (13 . 7)) 449 0.3998 8.1070 ((1 . 2) (3 . 3) (5 . 6) (8 . 8)) 450 0.5999 4.3995 ((1 . 12) (3 . 13) (4 . 15) (10 . 18) (12 . 19) (13 . 20)) 564 0.7993 4.8923 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (8 . 7) (10 . 8) (12 . 10) (13 . 11)) 565 0.4996 7.7195 ((5 . 12) (8 . 14) (10 . 15) (12 . 16) (13 . 17)) 567 0.4997 7.0551 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (13 . 10)) 568 0.6997 4.6852 ((1 . 12) (3 . 13) (4 . 15) (5 . 16) (10 . 17) (12 . 18) (13 . 19)) 570 0.6998 4.4274 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (9 . 8) (10 . 9) (12 . 11)) 571 0.4994 8.3894 ((1 . 12) (2 . 13) (3 . 14) (8 . 16) (10 . 17)) 578 0.6995 5.2980 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 6) (13 . 8)) 579 0.6995 5.1749 ((1 . 9) (3 . 10) (4 . 12) (5 . 13) (10 . 14) (12 . 15) (13 . 17)) 599 0.6998 4.2607 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 7) (12 . 9) (13 . 10)) 600 0.3999 6.6372 ((2 . 11) (3 . 12) (4 . 13) (8 . 16)) 626 0.3999 7.1649 ((5 . 3) (8 . 6) (10 . 7) (12 . 8)) 668 0.5987 8.1267 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 7) (8 . 10)) 669 0.4999 5.8975 ((2 . 13) (3 . 14) (4 . 16) (5 . 17) (13 . 22)) 670 0.4996 7.5163 ((1 . 23) (2 . 24) (3 . 26) (4 . 27) (8 . 30)) 671 0.5984 8.6343 ((2 . 32) (3 . 33) (4 . 35) (5 . 37) (8 . 40) (10 . 41)) 693 0.3999 6.2919 ((2 . 31) (3 . 32) (4 . 33) (8 . 36)) 695 0.6999 3.6421 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (10 . 6) (12 . 7) (13 . 8)) 696 0.5991 7.3989 ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (8 . 17) (10 . 19)) 697 0.6998 3.9461 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (10 . 26) (12 . 27) (13 . 30)) 698 0.4000 5.5315 ((4 . 34) (8 . 38) (10 . 39) (12 . 40)) 828 0.6994 5.4244 ((2 . 7) (3 . 8) (4 . 9) (5 . 10) (10 . 11) (12 . 12) (13 . 13)) 888 0.6997 4.5681 ((1 . 13) (3 . 14) (4 . 15) (8 . 17) (10 . 19) (12 . 20) (13 . 21)) 919 0.6994 5.4832 ((2 . 3) (3 . 4) (4 . 5) (8 . 6) (10 . 8) (12 . 9) (13 . 10)) 922 0.8988 4.7578 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 926 0.7998 3.7552 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (8 . 8) (10 . 9) (12 . 11) (13 . 12)) 927 0.6995 5.2698 ((2 . 13) (3 . 14) (4 . 15) (8 . 17) (10 . 18) (12 . 19) (13 . 20)) 1025 0.5996 6.0879 ((1 . 3) (3 . 4) (4 . 5) (10 . 7) (12 . 8) (13 . 9)) 1086 0.7995 4.3899 ((2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 8) (10 . 10) (12 . 12) (13 . 13)) 1110 0.6997 4.5599 ((2 . 10) (3 . 11) (4 . 13) (8 . 14) (10 . 15) (12 . 16) (13 . 18)) 1112 0.3999 6.4526 ((8 . 7) (10 . 8) (12 . 9) (13 . 10)) 1126 0.7985 5.8598 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 1127 0.6996 4.9328 ((1 . 13) (3 . 14) (4 . 16) (5 . 17) (10 . 18) (12 . 19) (13 . 21)) 1149 0.6994 5.5785 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 6) (13 . 7)) 1164 0.4000 5.7971 ((2 . 2) (3 . 3) (8 . 9) (10 . 10)) 1181 0.5997 5.3991 ((2 . 2) (3 . 3) (4 . 4) (10 . 9) (12 . 11) (13 . 13)) 1235 0.7999 2.9634 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 1236 0.4995 8.0121 ((1 . 11) (3 . 13) (4 . 15) (5 . 18) (10 . 23)) 1270 0.6999 3.4556 ((2 . 34) (3 . 35) (4 . 36) (5 . 37) (10 . 38) (12 . 39) (13 . 40)) 1293 0.8972 5.9551 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (8 . 9) (10 . 10) (12 . 11) (13 . 14)) 1294 0.6997 4.5233 ((1 . 39) (3 . 40) (4 . 41) (5 . 43) (10 . 44) (12 . 46) (13 . 47)) 1295 0.6996 4.9099 ((2 . 48) (3 . 49) (4 . 50) (5 . 51) (10 . 52) (12 . 53) (13 . 54)) 1341 0.5000 3.5973 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 7)) 1342 0.4000 5.6980 ((1 . 14) (3 . 17) (4 . 19) (5 . 20)) 1363 0.3995 10.4997 ((8 . 1) (10 . 3) (12 . 6) (13 . 7)) 1374 0.4996 7.4134 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 8)) 1375 0.4994 8.5073 ((3 . 11) (4 . 12) (8 . 16) (10 . 18) (12 . 20)) 1390 0.3999 7.3338 ((1 . 3) (3 . 6) (4 . 8) (5 . 9)) 1391 0.6992 5.9106 ((2 . 11) (3 . 12) (4 . 13) (5 . 14) (10 . 16) (12 . 17) (13 . 18)) 1392 0.3999 6.8735 ((4 . 20) (5 . 21) (12 . 25) (13 . 26)) 1418 0.4000 4.8418 ((1 . 1) (3 . 2) (4 . 3) (5 . 4)) 1419 0.6996 4.9192 ((1 . 10) (3 . 11) (4 . 12) (5 . 13) (10 . 14) (12 . 15) (13 . 16)) 1445 0.8993 4.1304 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 9) (10 . 10) (12 . 12) (13 . 13)) 1446 0.7795 4.4850 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (8 . 19) (10 . 20) (12 . 22) (13 . 24)) 1502 0.7999 2.5308 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 1555 0.7993 4.9084 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (12 . 8) (13 . 9)) 1566 0.6997 4.7974 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (10 . 10) (12 . 12)) 1568 0.4997 6.7923 ((4 . 2) (8 . 3) (10 . 4) (12 . 5) (13 . 6)) 1569 0.6996 4.8446 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 6) (13 . 8)) 1570 0.6999 3.7262 ((1 . 9) (3 . 10) (4 . 11) (5 . 12) (10 . 13) (12 . 14) (13 . 16)) 1571 0.6999 3.5679 ((1 . 17) (3 . 18) (4 . 19) (5 . 20) (10 . 21) (12 . 22) (13 . 24)) 1572 0.6998 4.2067 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 6) (13 . 8)) 1573 0.3999 6.0287 ((2 . 9) (3 . 10) (4 . 11) (5 . 12)) 1579 0.7990 5.2898 ((2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 8) (10 . 10) (12 . 12) (13 . 14)) 1580 0.7995 4.4765 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 9) (13 . 11)) 1600 0.6993 5.6733 ((1 . 1) (3 . 3) (4 . 4) (8 . 5) (10 . 6) (12 . 8) (13 . 9)) 1601 0.6994 5.5935 ((2 . 10) (3 . 11) (4 . 12) (8 . 15) (10 . 17) (12 . 20) (13 . 21)) 1660 0.5999 3.7092 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 7)) 1661 0.6996 5.0770 ((1 . 11) (3 . 12) (4 . 14) (5 . 15) (10 . 16) (12 . 17) (13 . 18)) 1666 0.8984 5.1508 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (8 . 7) (10 . 8) (12 . 9) (13 . 11)) 1667 0.6997 4.5213 ((1 . 38) (3 . 39) (4 . 40) (5 . 41) (10 . 42) (12 . 44) (13 . 45)) 1668 0.6999 3.5078 ((1 . 46) (3 . 48) (4 . 50) (5 . 51) (10 . 53) (12 . 54) (13 . 55)) 1684 0.7873 4.9080 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (9 . 6) (10 . 7) (12 . 9) (13 . 11)) 1688 0.7999 2.8763 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 1722 0.5817 5.9664 ((1 . 2) (2 . 3) (3 . 4) (4 . 6) (8 . 8) (9 . 9)) 1723 0.4998 6.1393 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21)) 1826 0.6995 5.3942 ((2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 7) (10 . 8) (12 . 9)) 1827 0.6996 4.9842 ((1 . 13) (3 . 14) (4 . 16) (5 . 18) (10 . 19) (12 . 20) (13 . 21)) 1828 0.3999 7.0769 ((8 . 22) (10 . 23) (12 . 26) (13 . 27)) 1864 0.7999 2.6105 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 1928 0.7998 3.5641 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 5) (10 . 7) (12 . 9) (13 . 11)) 1938 0.7999 3.0571 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (10 . 6) (12 . 8) (13 . 9)) 1939 0.6992 5.9553 ((2 . 10) (3 . 11) (4 . 12) (8 . 15) (10 . 16) (12 . 17) (13 . 18)) 1996 0.6999 3.1972 ((2 . 1) (3 . 2) (4 . 3) (8 . 4) (10 . 5) (12 . 6) (13 . 7)) 2009 0.6986 6.7899 ((1 . 2) (3 . 3) (4 . 4) (8 . 5) (10 . 7) (12 . 8) (13 . 9)) 2022 0.3999 6.6729 ((3 . 14) (10 . 20) (12 . 22) (13 . 24)) 2061 0.3999 6.1261 ((1 . 1) (3 . 3) (8 . 8) (10 . 9)) 2087 0.8993 4.2588 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 2110 0.3999 6.8393 ((3 . 21) (5 . 24) (10 . 28) (12 . 29)) 2165 0.7992 5.0838 ((1 . 24) (2 . 25) (3 . 29) (4 . 30) (5 . 31) (10 . 32) (12 . 37) (13 . 40)) 2186 0.6989 6.4947 ((1 . 7) (3 . 8) (4 . 9) (8 . 11) (10 . 12) (12 . 13) (13 . 14)) 2188 0.5998 5.0228 ((1 . 9) (3 . 10) (4 . 11) (10 . 14) (12 . 15) (13 . 16)) 2191 0.6000 3.3520 ((3 . 1) (4 . 2) (8 . 4) (10 . 5) (12 . 7) (13 . 8)) 2221 0.7997 4.0641 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (12 . 8) (13 . 9)) 2246 0.7996 4.2167 ((2 . 1) (3 . 2) (4 . 3) (5 . 5) (8 . 8) (10 . 9) (12 . 11) (13 . 12)) 2318 0.8992 4.3655 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 8) (10 . 10) (12 . 12) (13 . 14)) 2319 0.4994 8.5773 ((5 . 15) (8 . 17) (10 . 18) (12 . 20) (13 . 21)) 2320 0.8991 4.5022 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 2321 0.1497 5.4519 ((3 . 14) (5 . 15) (10 . 18) (12 . 20) (13 . 22)) 2338 0.5997 5.7318 ((1 . 13) (3 . 14) (4 . 15) (10 . 19) (12 . 21) (13 . 22)) 2365 0.7997 3.8131 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (8 . 9) (10 . 10) (12 . 11) (13 . 12)) 2428 0.4999 5.4470 ((1 . 5) (4 . 8) (5 . 9) (8 . 12) (10 . 13)) 2441 0.5000 4.2296 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5)) 2442 0.4988 10.1137 ((5 . 9) (8 . 10) (10 . 12) (12 . 14) (13 . 15)) 2444 0.6995 5.3460 ((1 . 1) (3 . 2) (4 . 4) (5 . 5) (10 . 7) (12 . 8) (13 . 9)) 2445 0.6998 4.3310 ((1 . 11) (3 . 12) (4 . 14) (5 . 15) (10 . 16) (12 . 17) (13 . 19)) 2473 0.5998 4.9098 ((3 . 3) (4 . 5) (5 . 6) (10 . 9) (12 . 10) (13 . 11)) 2507 0.5997 5.7342 ((3 . 5) (4 . 6) (8 . 9) (10 . 11) (12 . 13) (13 . 14)) 2508 0.6999 3.2053 ((2 . 16) (3 . 17) (4 . 19) (5 . 20) (10 . 22) (12 . 24) (13 . 25)) 2531 0.6988 6.5696 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 7) (12 . 8) (13 . 9)) 2534 0.7995 4.5484 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (10 . 22) (12 . 23) (13 . 25)) 2577 0.4000 5.4747 ((2 . 2) (3 . 3) (4 . 5) (5 . 6)) 2578 0.6997 4.7283 ((2 . 12) (3 . 13) (4 . 15) (8 . 17) (10 . 18) (12 . 20) (13 . 21)) 2579 0.7997 3.9754 ((1 . 22) (2 . 23) (3 . 24) (4 . 25) (8 . 27) (10 . 29) (12 . 31) (13 . 32)) 2641 0.6998 4.3354 ((1 . 1) (3 . 3) (4 . 5) (8 . 7) (10 . 8) (12 . 9) (13 . 10)) 2686 0.7988 5.6163 ((2 . 2) (3 . 3) (4 . 4) (5 . 7) (8 . 8) (10 . 9) (12 . 10) (13 . 13)) 2728 0.6996 4.9946 ((1 . 1) (3 . 2) (4 . 3) (5 . 5) (10 . 6) (12 . 9) (13 . 10)) 2767 0.6996 4.9258 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 6) (13 . 7)) 2812 0.5998 4.9246 ((3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 6) (13 . 7)) 2813 0.1493 8.2081 ((2 . 9) (3 . 10) (5 . 13) (8 . 14)) 2877 0.4000 5.9393 ((8 . 5) (10 . 6) (12 . 7) (13 . 8)) 2880 0.6997 4.7933 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (10 . 7) (12 . 8) (13 . 12)) 2971 0.4992 9.0839 ((1 . 8) (3 . 10) (5 . 13) (8 . 16) (10 . 17)) 2987 0.4999 5.0460 ((1 . 26) (2 . 27) (3 . 28) (8 . 32) (10 . 33)) 3099 0.6993 5.8199 ((1 . 23) (3 . 24) (4 . 25) (5 . 26) (10 . 27) (12 . 28) (13 . 29)) 3101 0.6996 4.9813 ((1 . 50) (3 . 51) (4 . 52) (5 . 53) (10 . 54) (12 . 55) (13 . 56)) 3159 0.8981 5.3907 ((1 . 52) (2 . 53) (3 . 54) (4 . 55) (5 . 57) (8 . 58) (10 . 59) (12 . 60) (13 . 61)) 3185 0.1970 7.0285 ((8 . 14) (10 . 15) (12 . 16) (13 . 21)) 3186 0.3999 6.2025 ((3 . 1) (10 . 7) (12 . 8) (13 . 9)) 3205 0.4996 7.6870 ((5 . 1) (8 . 3) (10 . 4) (12 . 5) (13 . 6)) 3292 0.7995 4.4475 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 11)) 3342 0.6997 4.7645 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (12 . 8) (13 . 9)) 3357 0.5999 4.7248 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (12 . 10) (13 . 11)) 3378 0.4000 2.0350 ((1 . 32) (2 . 33) (3 . 34) (4 . 35)) 3417 0.5999 4.3123 ((2 . 4) (3 . 6) (4 . 7) (5 . 8) (12 . 10) (13 . 11)) 3430 0.5996 5.8982 ((1 . 2) (3 . 4) (4 . 5) (10 . 8) (12 . 9) (13 . 10)) 3431 0.6998 4.0993 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (8 . 6) (10 . 7) (12 . 8)) 3443 0.7989 5.4418 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 6) (10 . 7) (12 . 8) (13 . 9)) 3444 0.7980 6.3581 ((1 . 37) (3 . 38) (4 . 39) (5 . 40) (8 . 41) (10 . 43) (12 . 45) (13 . 46)) 3445 0.6997 4.7511 ((2 . 47) (3 . 48) (4 . 49) (8 . 50) (10 . 51) (12 . 52) (13 . 53)) 3472 0.8991 4.4257 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (10 . 9) (12 . 11) (13 . 12)) 3478 0.6978 7.6649 ((1 . 3) (3 . 4) (4 . 5) (8 . 7) (10 . 8) (12 . 9) (13 . 10)) 3507 0.4998 6.0930 ((1 . 31) (2 . 32) (3 . 33) (4 . 34) (5 . 37)) 3530 0.4000 5.9334 ((2 . 20) (3 . 21) (5 . 23) (13 . 27)) 3531 0.3999 6.5729 ((2 . 33) (3 . 34) (4 . 35) (5 . 36)) 3532 0.4000 5.4096 ((2 . 37) (3 . 38) (8 . 40) (10 . 41)) 3550 0.4998 6.7664 ((2 . 2) (3 . 3) (4 . 6) (10 . 9) (13 . 13)) 3554 0.6995 5.4081 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (10 . 8) (12 . 10) (13 . 11)) 3555 0.6990 6.3114 ((2 . 12) (3 . 14) (4 . 15) (8 . 17) (10 . 19) (12 . 21) (13 . 23)) 3556 0.7994 4.7313 ((1 . 1) (3 . 2) (4 . 3) (5 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 3557 0.5998 4.9196 ((3 . 15) (4 . 16) (8 . 18) (10 . 19) (12 . 21) (13 . 23)) 3655 0.7971 6.9639 ((1 . 28) (2 . 29) (3 . 31) (4 . 32) (5 . 34) (10 . 35) (12 . 41) (13 . 45)) 3667 0.4999 5.6675 ((1 . 3) (3 . 4) (4 . 6) (5 . 7) (10 . 8)) 3690 0.7987 5.7013 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 6) (10 . 9) (12 . 11) (13 . 13)) 3699 0.4000 5.4364 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 3700 0.6996 5.0188 ((1 . 13) (3 . 14) (4 . 16) (5 . 17) (10 . 18) (12 . 19) (13 . 20)) 3762 0.5997 5.5641 ((1 . 1) (3 . 2) (4 . 3) (10 . 5) (12 . 6) (13 . 7)) 3791 0.7635 5.9404 ((1 . 42) (3 . 44) (4 . 45) (5 . 46) (8 . 47) (10 . 48) (12 . 50) (13 . 52)) 3792 0.5997 5.4867 ((2 . 54) (3 . 55) (8 . 59) (10 . 60) (12 . 61) (13 . 62)) 3793 0.6986 6.8922 ((1 . 66) (3 . 67) (4 . 69) (5 . 70) (10 . 71) (12 . 72) (13 . 73)) 3794 0.6981 7.3473 ((3 . 5) (4 . 23) (5 . 24) (8 . 25) (10 . 28) (12 . 30) (13 . 31)) 3876 0.3999 6.4210 ((2 . 2) (3 . 3) (4 . 4) (13 . 10)) 3948 0.8991 4.4323 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 9) (10 . 10) (12 . 12) (13 . 14)) 3949 0.6996 4.9499 ((1 . 15) (3 . 16) (4 . 17) (8 . 19) (10 . 21) (12 . 22) (13 . 24)) 3950 0.7995 4.4704 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 3951 0.7989 5.4379 ((1 . 13) (3 . 15) (4 . 16) (5 . 17) (8 . 18) (10 . 19) (12 . 21) (13 . 22)) 4079 0.7993 4.9190 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (10 . 7) (12 . 8) (13 . 10)) 4109 0.4991 9.3397 ((5 . 1) (8 . 3) (10 . 4) (12 . 5) (13 . 7)) 4110 0.4000 2.4565 ((8 . 9) (10 . 10) (12 . 11) (13 . 12)) 4111 0.6995 5.1749 ((1 . 17) (3 . 18) (4 . 19) (5 . 20) (10 . 22) (12 . 23) (13 . 24)) 4145 0.4997 6.8695 ((4 . 2) (8 . 3) (10 . 4) (12 . 6) (13 . 7)) 4146 0.2801 7.2150 ((8 . 11) (10 . 12) (12 . 14) (13 . 15)) 4178 0.6987 6.6830 ((2 . 2) (3 . 3) (4 . 4) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 4197 0.7998 3.4293 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 11)) 4199 0.6999 2.9728 ((1 . 1) (2 . 2) (3 . 3) (8 . 4) (10 . 5) (12 . 6) (13 . 7)) 4219 0.6998 4.2849 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (10 . 8) (12 . 9) (13 . 10)) 4221 0.8996 3.5973 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 8) (10 . 10) (12 . 12) (13 . 13)) 4224 0.8991 4.5346 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (10 . 9) (12 . 11) (13 . 13)) 4230 0.6998 4.0628 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (10 . 8) (12 . 11)) 4286 0.7977 6.5785 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (8 . 9) (10 . 11) (12 . 13) (13 . 14)) 4289 0.7992 5.0244 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (10 . 7) (12 . 9) (13 . 10)) 4290 0.6996 5.0441 ((1 . 11) (3 . 13) (4 . 14) (5 . 15) (10 . 17) (12 . 18) (13 . 20)) 4349 0.8992 4.3605 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 4464 0.6991 6.0559 ((2 . 1) (3 . 2) (4 . 3) (8 . 6) (10 . 7) (12 . 9) (13 . 10)) 4512 0.6997 4.6439 ((2 . 2) (3 . 3) (4 . 6) (8 . 7) (10 . 8) (12 . 9) (13 . 10)) 4525 0.6997 4.6338 ((1 . 20) (3 . 21) (4 . 23) (5 . 24) (10 . 26) (12 . 28) (13 . 29)) 4526 0.4994 8.3548 ((5 . 30) (8 . 32) (10 . 33) (12 . 34) (13 . 35)) 4581 0.4992 9.0121 ((2 . 5) (8 . 9) (10 . 10) (12 . 12) (13 . 14)) 4584 0.8987 4.9015 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 8) (10 . 9) (12 . 11) (13 . 13)) 4637 0.8991 4.4371 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 7) (10 . 8) (12 . 10) (13 . 12)) 4638 0.4000 5.1814 ((4 . 13) (5 . 14) (8 . 15) (10 . 18)) 4639 0.7991 5.1299 ((2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 8) (10 . 9) (12 . 10) (13 . 12)) 4640 0.7982 6.2047 ((2 . 14) (3 . 16) (4 . 17) (5 . 18) (8 . 19) (10 . 21) (12 . 23) (13 . 24)) 4687 0.6995 5.1529 ((1 . 27) (3 . 28) (4 . 30) (8 . 31) (10 . 33) (12 . 34) (13 . 35)) 4700 0.7993 4.8316 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (10 . 6) (12 . 8) (13 . 10)) 4708 0.5994 6.6994 ((1 . 48) (3 . 49) (4 . 50) (10 . 51) (12 . 53) (13 . 54)) 4744 0.3999 6.4480 ((5 . 1) (10 . 4) (12 . 5) (13 . 6)) 4777 0.7986 5.7997 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (10 . 7) (12 . 10) (13 . 11)) 4800 0.1994 4.6360 ((4 . 1) (5 . 3) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 4809 0.6999 3.3271 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 6) (13 . 7)) 4892 0.6992 5.9619 ((1 . 3) (3 . 4) (4 . 5) (8 . 6) (10 . 7) (12 . 8) (13 . 9)) 4896 0.7991 5.2128 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 7) (10 . 8) (12 . 10) (13 . 11)) 4897 0.3999 6.6164 ((8 . 14) (10 . 15) (12 . 17) (13 . 18)) 4898 0.3993 11.6020 ((1 . 20) (3 . 22) (4 . 23) (5 . 27)) 4908 0.5000 3.8007 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6)) 4921 0.4999 5.4260 ((2 . 7) (3 . 8) (4 . 9) (12 . 14) (13 . 15)) 4923 0.7993 4.8551 ((1 . 14) (2 . 15) (3 . 16) (4 . 17) (5 . 18) (10 . 19) (12 . 20) (13 . 22)) 4951 0.7994 4.6748 ((1 . 47) (3 . 49) (4 . 50) (5 . 51) (8 . 53) (10 . 54) (12 . 55) (13 . 56)) 4967 0.4999 4.7601 ((1 . 24) (2 . 25) (3 . 26) (8 . 30) (10 . 31)) 4968 0.4999 5.8940 ((1 . 33) (8 . 39) (10 . 40) (12 . 42) (13 . 43)) 5040 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (9 . 9) (10 . 10) (12 . 12) (13 . 13)) 5043 0.4998 6.6845 ((5 . 1) (8 . 3) (10 . 4) (12 . 5) (13 . 6)) 5166 0.4995 8.2018 ((3 . 2) (4 . 3) (10 . 6) (12 . 7) (13 . 8)) 5246 0.6990 6.2560 ((1 . 3) (3 . 4) (4 . 6) (8 . 9) (10 . 10) (12 . 12) (13 . 14)) 5281 0.4000 5.0278 ((3 . 65) (4 . 66) (5 . 67) (10 . 69)) 5310 0.7994 4.6272 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (8 . 8) (10 . 9) (12 . 10) (13 . 12)) 5311 0.3999 6.0886 ((5 . 14) (10 . 15) (12 . 16) (13 . 17)) 5316 0.8987 4.9328 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 8) (10 . 10) (12 . 12) (13 . 14)) 5319 0.6997 4.5796 ((1 . 1) (3 . 2) (4 . 3) (5 . 5) (10 . 6) (12 . 7) (13 . 8)) 5320 0.4992 9.1286 ((2 . 9) (3 . 11) (5 . 12) (8 . 14) (10 . 16)) 5342 0.4996 7.5995 ((1 . 45) (3 . 47) (4 . 48) (8 . 52) (10 . 54)) 5413 0.7844 7.4890 ((1 . 2) (3 . 3) (4 . 4) (5 . 6) (8 . 7) (10 . 8) (12 . 10) (13 . 11)) 5431 0.6999 3.3770 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 6) (13 . 7)) 5432 0.4995 8.1743 ((5 . 8) (8 . 10) (10 . 11) (12 . 12) (13 . 13)) 5497 0.7774 8.9873 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (8 . 25) (10 . 26) (12 . 28) (13 . 29)) 5552 0.4998 6.1025 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (8 . 14)) 5615 0.4997 7.0880 ((3 . 29) (4 . 30) (5 . 32) (8 . 34) (10 . 35)) 5633 0.6993 5.8456 ((2 . 1) (3 . 2) (4 . 3) (8 . 5) (10 . 6) (12 . 8) (13 . 10)) 5634 0.4998 6.1075 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (8 . 18)) 5682 0.5999 3.6092 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (12 . 9) (13 . 10)) 5683 0.6983 7.1488 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 6) (8 . 8) (13 . 10)) 5733 0.6998 4.3800 ((1 . 12) (3 . 14) (4 . 15) (8 . 17) (10 . 19) (12 . 21) (13 . 22)) 5835 0.5999 4.0876 ((1 . 35) (3 . 37) (4 . 38) (10 . 41) (12 . 42) (13 . 44)) 5863 0.5998 4.7786 ((1 . 30) (3 . 31) (4 . 33) (10 . 37) (12 . 38) (13 . 39)) 5899 0.6999 3.7748 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 6) (13 . 8)) 5916 0.5995 6.3494 ((2 . 1) (3 . 2) (5 . 3) (10 . 4) (12 . 5) (13 . 8)) 5936 0.8985 5.0737 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (8 . 9) (10 . 11) (12 . 13) (13 . 15)) 5948 0.5999 4.6119 ((1 . 1) (3 . 3) (4 . 5) (8 . 8) (10 . 9) (12 . 10)) 5974 0.7992 5.0484 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (10 . 8) (12 . 10) (13 . 12)) 5988 0.7949 8.0241 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (8 . 5) (10 . 6) (12 . 7) (13 . 8)) 5989 0.5999 4.5400 ((3 . 2) (4 . 4) (5 . 5) (10 . 6) (12 . 7) (13 . 9)) 5993 0.5998 4.8364 ((1 . 1) (3 . 2) (4 . 3) (5 . 4) (10 . 5) (12 . 7)) 6012 0.4999 5.9347 ((1 . 48) (2 . 49) (3 . 50) (8 . 54) (10 . 55)) 6013 0.5988 8.0398 ((3 . 58) (4 . 59) (8 . 63) (10 . 64) (12 . 66) (13 . 68)) 6037 0.6999 3.6896 ((1 . 2) (3 . 3) (4 . 4) (5 . 5) (10 . 6) (12 . 7) (13 . 8)) 6105 0.3999 7.4446 ((1 . 3) (3 . 4) (4 . 6) (5 . 7)) 6124 0.6995 5.2106 ((1 . 8) (3 . 9) (4 . 10) (8 . 12) (10 . 14) (12 . 15) (13 . 16)) 6126 0.6996 4.9000 ((1 . 9) (3 . 10) (4 . 11) (8 . 13) (10 . 15) (12 . 16) (13 . 17)) 6206 0.7999 2.5939 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 5) (10 . 6) (12 . 8) (13 . 9)) 6207 0.6995 5.2936 ((1 . 10) (3 . 12) (4 . 14) (5 . 15) (10 . 16) (12 . 18) (13 . 19)) 6285 0.8994 4.0784 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (8 . 7) (10 . 8) (12 . 9) (13 . 10)) 6287 0.6997 4.5295 ((1 . 38) (3 . 39) (4 . 40) (5 . 41) (10 . 42) (12 . 44) (13 . 45)) 6288 0.6998 4.1727 ((1 . 46) (3 . 47) (4 . 48) (5 . 49) (10 . 50) (12 . 51) (13 . 52)) 6334 0.7000 2.1988 ((2 . 2) (3 . 3) (4 . 4) (8 . 5) (10 . 6) (12 . 8) (13 . 9)) 6338 0.6000 3.2886 ((3 . 1) (4 . 2) (8 . 4) (10 . 5) (12 . 7) (13 . 8)) 6379 0.4997 6.8254 ((1 . 1) (2 . 2) (3 . 3) (8 . 7) (10 . 8)) 6380 0.4996 7.3755 ((5 . 9) (8 . 13) (10 . 14) (12 . 15) (13 . 17)) 6443 0.7000 2.4640 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (10 . 10) (12 . 12)) 6444 0.6999 3.9014 ((1 . 14) (3 . 15) (4 . 16) (8 . 17) (10 . 19) (12 . 21) (13 . 22)) 6445 0.6997 4.5144 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (10 . 6) (12 . 8) (13 . 9)) 6446 0.4996 7.8364 ((3 . 10) (4 . 12) (8 . 16) (10 . 18) (12 . 20)) 6449 0.5985 8.4377 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (8 . 6) (10 . 8)) 6466 0.6990 6.3478 ((2 . 1) (3 . 2) (4 . 3) (8 . 4) (10 . 5) (12 . 7) (13 . 8)) 6467 0.5999 4.3832 ((1 . 10) (3 . 11) (4 . 15) (5 . 16) (10 . 17) (12 . 18)) 6485 0.6996 4.8765 ((1 . 1) (3 . 2) (4 . 3) (5 . 5) (10 . 6) (12 . 9) (13 . 10)) 6570 0.6978 7.6493 ((1 . 15) (3 . 16) (4 . 17) (8 . 19) (10 . 20) (12 . 22) (13 . 23)) 6612 0.7903 6.4525 ((1 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 6) (10 . 7) (12 . 8) (13 . 9)) END