4639 233 0.1987 5.4045 ((2 . 1) (3 . 2) (5 . 3) (10 . 8)) 234 0.7494 5.0945 ((2 . 10) (3 . 11) (5 . 12) (9 . 14) (10 . 15) (12 . 16)) 291 0.6237 7.8111 ((3 . 2) (5 . 3) (6 . 4) (8 . 6) (9 . 7)) 349 0.9996 3.2298 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 365 0.7498 3.7961 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 6) (10 . 8)) 388 0.6248 4.7708 ((2 . 16) (5 . 18) (6 . 19) (10 . 21) (12 . 23)) 402 0.5000 2.8081 ((8 . 6) (9 . 7) (10 . 9) (12 . 11)) 403 0.8738 4.9717 ((2 . 12) (3 . 13) (5 . 15) (8 . 17) (9 . 18) (10 . 20) (12 . 21)) 404 0.7491 5.5999 ((2 . 23) (3 . 24) (5 . 25) (9 . 28) (10 . 30) (12 . 31)) 405 0.6232 8.4010 ((2 . 32) (5 . 35) (6 . 37) (8 . 39) (9 . 40)) 445 0.4988 10.0713 ((2 . 2) (3 . 3) (6 . 5) (8 . 7)) 449 0.4991 9.4537 ((2 . 2) (3 . 3) (6 . 6) (8 . 8)) 450 0.7496 4.6477 ((2 . 12) (3 . 13) (5 . 15) (9 . 18) (10 . 19) (12 . 20)) 564 0.9998 2.6035 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 7) (9 . 8) (10 . 10) (12 . 11)) 565 0.4999 4.7697 ((5 . 14) (6 . 15) (8 . 17) (9 . 18)) 567 0.8741 4.6588 ((2 . 1) (3 . 2) (5 . 3) (8 . 5) (9 . 6) (10 . 8) (12 . 10)) 568 0.8742 4.4612 ((2 . 12) (3 . 13) (5 . 15) (6 . 16) (9 . 17) (10 . 18) (12 . 19)) 570 0.8746 3.8052 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 9) (10 . 11) (12 . 12)) 571 0.4998 6.1561 ((8 . 14) (9 . 15) (10 . 16) (12 . 17)) 578 0.8736 5.1377 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 6) (12 . 8)) 579 0.8747 3.5296 ((2 . 9) (3 . 10) (5 . 12) (6 . 13) (9 . 14) (10 . 15) (12 . 17)) 599 0.6248 4.8239 ((5 . 3) (6 . 4) (9 . 7) (10 . 9) (12 . 10)) 600 0.6206 10.5620 ((2 . 10) (5 . 12) (6 . 13) (8 . 15) (9 . 16)) 626 0.4999 5.5496 ((2 . 6) (3 . 7) (5 . 8) (6 . 10)) 668 0.6216 9.8525 ((2 . 1) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 669 0.8749 2.4179 ((2 . 13) (3 . 14) (5 . 16) (8 . 17) (9 . 18) (10 . 20) (12 . 22)) 670 0.4998 6.4797 ((2 . 24) (3 . 25) (5 . 27) (8 . 30)) 671 0.8743 4.3414 ((2 . 32) (3 . 33) (5 . 35) (8 . 37) (9 . 38) (10 . 40) (12 . 41)) 693 0.4999 5.6655 ((2 . 33) (3 . 34) (5 . 35) (6 . 36)) 695 0.8721 6.2228 ((2 . 1) (3 . 3) (5 . 4) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 696 0.4999 4.7906 ((2 . 11) (9 . 16) (10 . 17) (12 . 19)) 697 0.7497 4.3038 ((2 . 21) (3 . 22) (5 . 23) (9 . 26) (10 . 27) (12 . 30)) 698 0.6232 8.3870 ((2 . 31) (6 . 34) (8 . 37) (9 . 38) (10 . 39)) 828 0.8724 6.0367 ((2 . 7) (3 . 8) (5 . 9) (8 . 10) (9 . 11) (10 . 12) (12 . 13)) 888 0.8725 5.9839 ((2 . 13) (3 . 14) (5 . 15) (8 . 17) (9 . 19) (10 . 20) (12 . 21)) 919 0.8717 6.4120 ((2 . 3) (3 . 4) (5 . 5) (8 . 6) (9 . 8) (10 . 9) (12 . 10)) 922 0.9993 3.6940 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 926 0.9988 4.1870 ((2 . 1) (3 . 2) (5 . 4) (6 . 5) (8 . 8) (9 . 9) (10 . 11) (12 . 12)) 927 0.8722 6.1705 ((2 . 13) (3 . 14) (5 . 15) (8 . 17) (9 . 18) (10 . 19) (12 . 20)) 1025 0.4998 6.0010 ((2 . 3) (3 . 4) (5 . 5) (10 . 8)) 1086 0.9991 3.9528 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 10) (10 . 12) (12 . 13)) 1110 0.8743 4.3660 ((2 . 10) (3 . 11) (5 . 13) (8 . 14) (9 . 15) (10 . 16) (12 . 18)) 1112 0.6249 4.3894 ((2 . 2) (8 . 8) (9 . 9) (10 . 10) (12 . 12)) 1126 0.9926 6.6680 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 1127 0.8744 4.2454 ((2 . 13) (3 . 14) (5 . 16) (8 . 17) (9 . 18) (10 . 19) (12 . 21)) 1149 0.8744 4.1954 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 6) (12 . 7)) 1164 0.4996 7.4088 ((5 . 3) (8 . 7) (9 . 9) (10 . 10)) 1181 0.7490 5.7355 ((2 . 2) (3 . 3) (5 . 4) (8 . 7) (9 . 9) (10 . 11)) 1235 0.8734 5.3416 ((2 . 1) (3 . 3) (5 . 4) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 1236 0.7494 5.0222 ((3 . 13) (5 . 15) (8 . 18) (9 . 19) (10 . 21) (12 . 23)) 1270 0.8721 6.2324 ((2 . 34) (3 . 35) (5 . 36) (8 . 37) (9 . 38) (10 . 39) (12 . 40)) 1293 0.9969 5.3657 ((2 . 3) (3 . 4) (5 . 5) (6 . 7) (8 . 9) (9 . 10) (10 . 11) (12 . 14)) 1294 0.8697 7.2316 ((2 . 39) (3 . 40) (5 . 41) (8 . 43) (9 . 44) (10 . 46) (12 . 47)) 1295 0.8730 5.6691 ((2 . 48) (3 . 49) (5 . 50) (6 . 51) (9 . 52) (10 . 53) (12 . 54)) 1341 0.6248 4.6557 ((2 . 2) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 1342 0.4996 7.6493 ((5 . 17) (6 . 19) (8 . 21) (9 . 22)) 1363 0.4998 6.0293 ((5 . 3) (6 . 5) (8 . 7) (9 . 8)) 1374 0.4995 7.9329 ((8 . 2) (9 . 3) (10 . 4) (12 . 8)) 1375 0.4998 6.6415 ((5 . 12) (8 . 16) (9 . 18) (10 . 20)) 1390 0.4996 7.5532 ((8 . 1) (9 . 2) (10 . 3) (12 . 4)) 1391 0.6247 5.4641 ((2 . 11) (3 . 12) (5 . 13) (6 . 14) (10 . 17)) 1392 0.8743 4.3534 ((2 . 20) (3 . 21) (5 . 22) (8 . 23) (9 . 24) (10 . 25) (12 . 26)) 1418 0.8729 5.7098 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8)) 1419 0.8745 4.0273 ((2 . 10) (3 . 11) (5 . 12) (6 . 13) (9 . 14) (10 . 15) (12 . 16)) 1445 0.9989 4.1515 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 9) (9 . 10) (10 . 12) (12 . 13)) 1446 0.8749 2.7820 ((2 . 15) (3 . 16) (5 . 17) (8 . 19) (9 . 20) (10 . 22) (12 . 24)) 1502 0.8693 7.3899 ((2 . 1) (3 . 3) (5 . 4) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 1555 0.9976 5.0287 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 5) (9 . 6) (10 . 8) (12 . 9)) 1566 0.8740 4.7652 ((2 . 1) (3 . 3) (5 . 4) (6 . 5) (8 . 8) (9 . 10) (10 . 12)) 1568 0.8742 4.4571 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 1569 0.8742 4.5116 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8)) 1570 0.8743 4.3529 ((2 . 9) (3 . 10) (5 . 11) (6 . 12) (9 . 13) (10 . 14) (12 . 16)) 1571 0.8742 4.5300 ((2 . 17) (3 . 18) (5 . 19) (6 . 20) (9 . 21) (10 . 22) (12 . 24)) 1572 0.8741 4.6137 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 8)) 1573 0.8739 4.8486 ((2 . 9) (3 . 10) (5 . 11) (6 . 12) (9 . 13) (10 . 14) (12 . 16)) 1579 0.9999 2.4882 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 10) (10 . 12) (12 . 14)) 1580 0.9993 3.6480 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 9) (12 . 11)) 1600 0.8710 6.7373 ((2 . 1) (3 . 3) (5 . 4) (8 . 5) (9 . 6) (10 . 8) (12 . 9)) 1601 0.8719 6.3262 ((2 . 10) (3 . 11) (5 . 12) (8 . 15) (9 . 17) (10 . 20) (12 . 21)) 1660 0.7497 4.2131 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 7)) 1661 0.8744 4.2362 ((2 . 11) (3 . 12) (5 . 14) (6 . 15) (9 . 16) (10 . 17) (12 . 18)) 1666 0.9967 5.4370 ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 11)) 1667 0.8699 7.1595 ((2 . 38) (3 . 39) (5 . 40) (8 . 41) (9 . 42) (10 . 44) (12 . 45)) 1668 0.8726 5.9497 ((2 . 46) (3 . 48) (5 . 50) (6 . 51) (9 . 53) (10 . 54) (12 . 55)) 1684 0.4998 6.3097 ((5 . 3) (8 . 7) (9 . 9) (10 . 11)) 1688 0.8683 7.6754 ((2 . 1) (3 . 3) (5 . 4) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 1722 0.8721 6.2428 ((2 . 3) (3 . 4) (5 . 6) (8 . 8) (9 . 10) (10 . 13) (12 . 15)) 1723 0.6225 9.1543 ((2 . 16) (3 . 17) (8 . 20) (9 . 21) (10 . 22)) 1826 0.8742 4.5078 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9)) 1827 0.8743 4.3402 ((2 . 13) (3 . 14) (5 . 16) (6 . 18) (9 . 19) (10 . 20) (12 . 21)) 1828 0.5000 3.8344 ((8 . 22) (9 . 23) (10 . 26) (12 . 27)) 1864 0.8738 5.0037 ((2 . 2) (3 . 3) (5 . 4) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 1928 0.8741 4.6503 ((2 . 2) (3 . 3) (5 . 4) (8 . 5) (9 . 7) (10 . 9) (12 . 11)) 1938 0.6227 8.9792 ((6 . 2) (8 . 4) (9 . 5) (10 . 6) (12 . 8)) 1939 0.8698 7.2010 ((2 . 10) (3 . 11) (5 . 12) (8 . 15) (9 . 16) (10 . 17) (12 . 18)) 1996 0.8739 4.8621 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 2009 0.6236 7.8177 ((2 . 2) (8 . 5) (9 . 7) (10 . 8) (12 . 9)) 2022 0.7479 6.9118 ((2 . 14) (3 . 15) (5 . 16) (9 . 20) (10 . 22) (12 . 24)) 2061 0.8728 5.7778 ((2 . 1) (3 . 3) (5 . 5) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 2087 0.9997 3.0185 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 2110 0.6222 9.3847 ((2 . 21) (5 . 24) (6 . 26) (8 . 28) (9 . 29)) 2165 0.8722 6.1438 ((2 . 24) (3 . 29) (5 . 30) (6 . 31) (9 . 32) (10 . 37) (12 . 40)) 2186 0.8702 7.0800 ((2 . 7) (3 . 8) (5 . 9) (8 . 11) (9 . 12) (10 . 13) (12 . 14)) 2188 0.7487 6.1349 ((2 . 9) (3 . 10) (5 . 11) (9 . 14) (10 . 15) (12 . 16)) 2191 0.7490 5.7162 ((3 . 1) (5 . 2) (8 . 4) (9 . 5) (10 . 7) (12 . 8)) 2221 0.9983 4.6147 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 5) (9 . 6) (10 . 8) (12 . 9)) 2246 0.9995 3.3619 ((2 . 1) (3 . 2) (5 . 3) (6 . 5) (8 . 8) (9 . 9) (10 . 11) (12 . 12)) 2318 0.9995 3.4309 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 10) (10 . 12) (12 . 14)) 2319 0.7485 6.3725 ((2 . 15) (3 . 16) (5 . 17) (6 . 18) (9 . 20) (10 . 21)) 2320 0.9992 3.8375 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 2321 0.4984 10.8290 ((2 . 14) (3 . 15) (6 . 18) (10 . 22)) 2338 0.4993 8.8162 ((5 . 13) (6 . 14) (10 . 19) (12 . 21)) 2365 0.8719 6.3225 ((2 . 1) (3 . 3) (5 . 6) (8 . 9) (9 . 10) (10 . 11) (12 . 12)) 2428 0.7438 9.1258 ((5 . 8) (6 . 9) (8 . 12) (9 . 13) (10 . 14) (12 . 15)) 2441 0.4995 8.2329 ((2 . 1) (5 . 4) (6 . 5) (9 . 8)) 2442 0.6249 3.9606 ((3 . 12) (5 . 14) (6 . 15) (9 . 16) (10 . 17)) 2444 0.8718 6.3719 ((2 . 1) (3 . 2) (5 . 4) (6 . 5) (9 . 7) (10 . 8) (12 . 9)) 2445 0.8742 4.5414 ((2 . 11) (3 . 12) (5 . 14) (6 . 15) (9 . 16) (10 . 17) (12 . 19)) 2473 0.6247 5.2469 ((3 . 3) (5 . 5) (6 . 6) (9 . 9) (10 . 10)) 2507 0.6228 8.8491 ((2 . 1) (8 . 9) (9 . 11) (10 . 13) (12 . 14)) 2508 0.8745 3.9316 ((2 . 16) (3 . 17) (5 . 19) (6 . 20) (9 . 22) (10 . 24) (12 . 25)) 2531 0.4999 5.2886 ((8 . 1) (9 . 2) (10 . 3) (12 . 6)) 2534 0.8733 5.4565 ((2 . 17) (3 . 18) (5 . 19) (6 . 20) (9 . 22) (10 . 23) (12 . 25)) 2577 0.8742 4.4562 ((2 . 2) (3 . 3) (5 . 5) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 2578 0.4999 5.4288 ((8 . 12) (9 . 13) (10 . 15) (12 . 17)) 2579 0.8735 5.2416 ((2 . 23) (3 . 24) (5 . 25) (8 . 27) (9 . 29) (10 . 31) (12 . 32)) 2641 0.9587 6.7297 ((2 . 1) (3 . 3) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 2686 0.6248 4.9341 ((2 . 2) (3 . 3) (5 . 4) (6 . 7) (12 . 13)) 2728 0.8722 6.1613 ((2 . 1) (3 . 2) (5 . 3) (8 . 5) (9 . 6) (10 . 9) (12 . 10)) 2767 0.8741 4.5843 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 6) (12 . 7)) 2812 0.4999 4.6046 ((2 . 1) (3 . 2) (8 . 6) (9 . 7)) 2813 0.4998 6.0526 ((5 . 9) (8 . 10) (9 . 13) (10 . 14)) 2877 0.5523 6.4317 ((3 . 2) (5 . 3) (6 . 4) (10 . 9) (12 . 10)) 2880 0.6246 5.7251 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (12 . 12)) 2971 0.9971 5.2558 ((2 . 4) (3 . 5) (5 . 8) (6 . 9) (8 . 13) (9 . 14) (10 . 16) (12 . 17)) 2987 0.4999 4.8593 ((2 . 30) (3 . 31) (5 . 32) (6 . 33)) 3099 0.8701 7.0825 ((2 . 23) (3 . 24) (5 . 25) (8 . 26) (9 . 27) (10 . 28) (12 . 29)) 3101 0.4999 4.7943 ((3 . 51) (5 . 52) (6 . 53) (10 . 55)) 3159 0.9964 5.5507 ((2 . 53) (3 . 54) (5 . 55) (6 . 57) (8 . 58) (9 . 59) (10 . 60) (12 . 61)) 3185 0.4987 10.1560 ((5 . 14) (6 . 15) (8 . 16) (10 . 21)) 3186 0.0999 7.2507 ((2 . 1) (3 . 2) (8 . 3) (9 . 7) (10 . 8) (12 . 9)) 3205 0.8744 4.1537 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 6) (12 . 8)) 3292 0.9993 3.6161 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 11)) 3342 0.9149 8.4372 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 3357 0.6245 5.9553 ((2 . 4) (3 . 5) (5 . 6) (6 . 7) (10 . 10)) 3378 0.4995 8.2278 ((3 . 37) (5 . 39) (6 . 40) (8 . 41)) 3417 0.6248 4.9408 ((2 . 4) (3 . 6) (5 . 7) (6 . 8) (10 . 10)) 3430 0.6247 5.1434 ((2 . 3) (3 . 4) (5 . 5) (10 . 9) (12 . 11)) 3431 0.8716 6.4515 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 6) (9 . 7) (10 . 8)) 3443 0.9985 4.4278 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 3444 0.9851 7.9849 ((2 . 37) (3 . 38) (5 . 39) (6 . 40) (8 . 41) (9 . 43) (10 . 45) (12 . 46)) 3445 0.8733 5.4697 ((2 . 47) (3 . 48) (5 . 49) (8 . 50) (9 . 51) (10 . 52) (12 . 53)) 3472 0.9992 3.7557 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 8) (9 . 9) (10 . 11) (12 . 12)) 3478 0.4997 6.9412 ((6 . 5) (8 . 7) (9 . 8) (10 . 9)) 3507 0.4995 7.9026 ((5 . 31) (6 . 33) (10 . 37) (12 . 38)) 3530 0.7498 3.8470 ((2 . 20) (3 . 21) (8 . 23) (9 . 24) (10 . 25) (12 . 27)) 3531 0.7498 3.8213 ((3 . 30) (5 . 32) (8 . 33) (9 . 34) (10 . 35) (12 . 36)) 3532 0.4998 5.9958 ((3 . 39) (5 . 40) (6 . 41) (8 . 42)) 3550 0.6244 6.3087 ((2 . 2) (3 . 3) (9 . 4) (10 . 11) (12 . 13)) 3554 0.8720 6.2761 ((2 . 1) (3 . 3) (5 . 4) (6 . 5) (9 . 8) (10 . 10) (12 . 11)) 3555 0.9235 6.3602 ((2 . 12) (3 . 14) (5 . 15) (6 . 16) (8 . 17) (9 . 19) (10 . 21) (12 . 23)) 3556 0.9995 3.4448 ((2 . 1) (3 . 2) (5 . 3) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 3557 0.7500 2.0271 ((3 . 15) (5 . 16) (8 . 18) (9 . 19) (10 . 21) (12 . 23)) 3655 0.4998 6.6726 ((3 . 31) (5 . 32) (8 . 34) (9 . 35)) 3667 0.7466 7.8361 ((2 . 3) (3 . 4) (5 . 6) (6 . 7) (9 . 8) (10 . 9)) 3690 0.8750 1.4474 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (9 . 9) (10 . 11) (12 . 13)) 3699 0.7499 3.0532 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 8)) 3700 0.8746 3.7306 ((2 . 13) (3 . 14) (5 . 16) (6 . 17) (9 . 18) (10 . 19) (12 . 20)) 3762 0.2909 10.1431 ((3 . 2) (5 . 3) (8 . 6) (10 . 7)) 3791 0.6991 7.1286 ((3 . 44) (5 . 45) (6 . 46) (8 . 47) (9 . 48) (10 . 50) (12 . 52)) 3792 0.6244 6.4791 ((5 . 56) (8 . 59) (9 . 60) (10 . 61) (12 . 62)) 3793 0.7465 7.9017 ((3 . 67) (5 . 69) (6 . 70) (9 . 71) (10 . 72) (12 . 73)) 3794 0.5000 4.4754 ((2 . 27) (3 . 28) (5 . 30) (6 . 31)) 3876 0.4998 6.0440 ((2 . 2) (3 . 3) (5 . 4) (12 . 10)) 3948 0.9993 3.6736 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 9) (9 . 10) (10 . 12) (12 . 14)) 3949 0.8719 6.3385 ((2 . 15) (3 . 16) (5 . 17) (8 . 19) (9 . 21) (10 . 22) (12 . 24)) 3950 0.9995 3.3593 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 3951 0.9925 6.7002 ((2 . 13) (3 . 15) (5 . 16) (6 . 17) (8 . 18) (9 . 19) (10 . 21) (12 . 22)) 4079 0.8733 5.4064 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (9 . 7) (10 . 8) (12 . 10)) 4109 0.8749 2.6257 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 7) (12 . 8)) 4110 0.6247 5.1297 ((2 . 9) (3 . 10) (5 . 11) (6 . 12) (12 . 16)) 4111 0.8745 3.9369 ((2 . 17) (3 . 18) (5 . 19) (6 . 20) (9 . 22) (10 . 23) (12 . 24)) 4145 0.8740 4.7461 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 6) (10 . 7) (12 . 9)) 4146 0.2909 8.8159 ((3 . 12) (6 . 14) (8 . 15) (10 . 16)) 4178 0.4998 6.4510 ((3 . 3) (5 . 4) (8 . 6) (9 . 7)) 4197 0.9989 4.1561 ((2 . 1) (3 . 2) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 11)) 4199 0.7494 5.1423 ((2 . 2) (3 . 3) (8 . 4) (9 . 5) (10 . 6) (12 . 7)) 4219 0.7475 7.2357 ((2 . 2) (3 . 4) (5 . 5) (9 . 8) (10 . 9) (12 . 10)) 4221 0.9996 3.1390 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 10) (10 . 12) (12 . 13)) 4224 0.9988 4.1919 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 8) (9 . 9) (10 . 11) (12 . 13)) 4230 0.8747 3.3737 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (9 . 8) (10 . 11) (12 . 13)) 4286 0.8739 4.8179 ((2 . 3) (3 . 5) (5 . 6) (8 . 9) (9 . 11) (10 . 13) (12 . 15)) 4289 0.5000 4.1739 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 4290 0.4998 6.7155 ((5 . 13) (8 . 17) (9 . 18) (10 . 20)) 4349 0.9996 3.1480 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 4464 0.8701 7.0883 ((2 . 1) (3 . 2) (5 . 3) (8 . 6) (9 . 7) (10 . 9) (12 . 10)) 4512 0.8749 2.9503 ((2 . 2) (3 . 3) (5 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 4525 0.8722 6.1605 ((2 . 20) (3 . 21) (5 . 23) (6 . 24) (9 . 26) (10 . 28) (12 . 29)) 4526 0.5000 4.2878 ((2 . 33) (3 . 34) (5 . 35) (6 . 36)) 4581 0.4999 5.6807 ((2 . 2) (3 . 3) (5 . 4) (10 . 9)) 4584 0.9989 4.0784 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 11) (12 . 13)) 4637 0.9998 2.7320 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 7) (9 . 8) (10 . 10) (12 . 12)) 4638 0.1987 5.6558 ((5 . 13) (6 . 14) (8 . 15) (10 . 18)) 4639 1.0000 0.0000 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 10) (12 . 12)) 4640 0.9938 6.3725 ((2 . 14) (3 . 16) (5 . 17) (6 . 18) (8 . 19) (9 . 21) (10 . 23) (12 . 24)) 4687 0.8719 6.3362 ((2 . 27) (3 . 28) (5 . 30) (6 . 31) (9 . 33) (10 . 34) (12 . 35)) 4700 0.6242 6.8131 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 8)) 4708 0.7495 4.8243 ((2 . 48) (3 . 49) (5 . 50) (9 . 51) (10 . 53) (12 . 54)) 4744 0.4994 8.3399 ((2 . 2) (5 . 4) (6 . 5) (8 . 7)) 4777 0.6235 7.9927 ((6 . 3) (8 . 5) (9 . 6) (10 . 7) (12 . 10)) 4800 0.6247 5.5121 ((2 . 1) (3 . 3) (9 . 5) (10 . 7) (12 . 8)) 4809 0.8729 5.7591 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 6) (12 . 7)) 4892 0.6246 5.6028 ((2 . 3) (3 . 4) (5 . 5) (9 . 7) (10 . 8)) 4896 0.6239 7.4447 ((2 . 2) (8 . 7) (9 . 8) (10 . 10) (12 . 11)) 4897 0.4995 7.8620 ((8 . 14) (9 . 15) (10 . 17) (12 . 19)) 4898 0.4996 7.6823 ((2 . 19) (8 . 23) (9 . 27) (10 . 28)) 4908 0.9282 9.9538 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) 4921 0.5000 4.4282 ((2 . 7) (3 . 8) (5 . 9) (10 . 14)) 4923 0.8728 5.7916 ((2 . 15) (3 . 16) (5 . 17) (6 . 18) (9 . 19) (10 . 20) (12 . 22)) 4951 0.9961 5.6670 ((2 . 47) (3 . 49) (5 . 50) (6 . 51) (8 . 53) (9 . 54) (10 . 55) (12 . 56)) 4967 0.4999 4.9213 ((2 . 28) (3 . 29) (5 . 30) (6 . 31)) 4968 0.7496 4.6504 ((2 . 33) (5 . 37) (8 . 39) (9 . 40) (10 . 42) (12 . 43)) 5040 0.9974 5.1299 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 8) (9 . 10) (10 . 12) (12 . 13)) 5043 0.6245 6.0968 ((2 . 5) (3 . 6) (5 . 7) (8 . 9) (9 . 11)) 5166 0.4999 5.8957 ((2 . 6) (3 . 7) (5 . 8) (8 . 10)) 5246 0.9990 3.9928 ((2 . 3) (3 . 4) (5 . 6) (6 . 7) (8 . 9) (9 . 10) (10 . 12) (12 . 14)) 5281 0.4998 6.3754 ((8 . 65) (9 . 66) (10 . 67) (12 . 69)) 5310 0.8744 4.2396 ((2 . 3) (3 . 4) (5 . 5) (8 . 8) (9 . 9) (10 . 10) (12 . 12)) 5311 0.6247 5.4502 ((5 . 15) (6 . 16) (8 . 18) (9 . 20) (10 . 22)) 5316 0.9999 1.5467 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 10) (10 . 12) (12 . 14)) 5319 0.8741 4.6675 ((2 . 1) (3 . 2) (5 . 3) (8 . 5) (9 . 6) (10 . 7) (12 . 8)) 5320 0.8743 4.3480 ((2 . 9) (3 . 10) (5 . 11) (6 . 12) (9 . 13) (10 . 14) (12 . 16)) 5342 0.4999 5.4371 ((5 . 45) (6 . 47) (10 . 52) (12 . 54)) 5413 0.8730 5.6947 ((2 . 2) (3 . 3) (5 . 4) (8 . 6) (9 . 8) (10 . 10) (12 . 11)) 5431 0.8740 4.7047 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 6) (12 . 7)) 5432 0.8743 4.3371 ((2 . 8) (3 . 9) (5 . 10) (8 . 11) (9 . 12) (10 . 13) (12 . 15)) 5497 0.8731 5.6024 ((2 . 21) (3 . 22) (5 . 23) (8 . 25) (9 . 26) (10 . 28) (12 . 29)) 5552 0.8731 5.5790 ((2 . 5) (3 . 6) (5 . 8) (8 . 9) (9 . 11) (10 . 12) (12 . 14)) 5615 0.6239 7.4595 ((3 . 29) (5 . 30) (6 . 32) (8 . 34) (9 . 35)) 5633 0.8737 5.0480 ((2 . 1) (3 . 2) (5 . 3) (8 . 5) (9 . 6) (10 . 8) (12 . 10)) 5634 0.4997 6.8494 ((5 . 13) (8 . 17) (9 . 18) (10 . 20)) 5682 0.6246 5.8730 ((2 . 1) (3 . 3) (5 . 4) (6 . 5) (10 . 9)) 5683 0.8732 5.5131 ((2 . 2) (3 . 3) (5 . 4) (8 . 5) (9 . 7) (10 . 8) (12 . 10)) 5733 0.8721 6.2114 ((2 . 12) (3 . 14) (5 . 15) (8 . 17) (9 . 19) (10 . 21) (12 . 22)) 5835 0.7485 6.3675 ((2 . 35) (3 . 37) (5 . 38) (9 . 41) (10 . 42) (12 . 44)) 5863 0.7483 6.5977 ((2 . 30) (3 . 31) (5 . 33) (9 . 37) (10 . 38) (12 . 39)) 5899 0.8741 4.5902 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 6) (12 . 8)) 5916 0.7492 5.4494 ((2 . 1) (3 . 2) (8 . 3) (9 . 4) (10 . 5) (12 . 8)) 5936 0.9997 2.9492 ((2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 9) (9 . 11) (10 . 13) (12 . 15)) 5948 0.4999 5.4904 ((5 . 1) (6 . 3) (8 . 8) (9 . 9)) 5974 0.6243 6.5693 ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 10)) 5988 0.8743 4.3694 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 5) (9 . 6) (10 . 7)) 5989 0.7499 3.4661 ((2 . 1) (3 . 2) (5 . 4) (6 . 5) (10 . 7) (12 . 9)) 5993 0.7498 3.6581 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 7)) 6012 0.6241 7.0710 ((2 . 49) (5 . 51) (6 . 52) (8 . 54) (9 . 55)) 6013 0.6232 8.3784 ((2 . 59) (6 . 63) (8 . 66) (9 . 68) (10 . 70)) 6037 0.7497 4.0983 ((3 . 3) (5 . 4) (6 . 5) (9 . 6) (10 . 7) (12 . 8)) 6105 0.4999 5.3577 ((2 . 6) (3 . 7) (5 . 8) (6 . 9)) 6124 0.9946 6.1410 ((2 . 8) (3 . 9) (5 . 10) (6 . 11) (8 . 12) (9 . 14) (10 . 15) (12 . 16)) 6126 0.9957 5.8026 ((2 . 9) (3 . 10) (5 . 11) (6 . 12) (8 . 13) (9 . 15) (10 . 16) (12 . 17)) 6206 0.6230 8.6165 ((2 . 2) (5 . 4) (6 . 5) (8 . 8) (9 . 9)) 6207 0.8726 5.9507 ((2 . 10) (3 . 12) (5 . 14) (8 . 15) (9 . 16) (10 . 18) (12 . 19)) 6285 0.9926 6.6647 ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 7) (9 . 8) (10 . 9) (12 . 10)) 6287 0.8712 6.6777 ((2 . 38) (3 . 39) (5 . 40) (6 . 41) (9 . 42) (10 . 44) (12 . 45)) 6288 0.8724 6.0615 ((2 . 46) (3 . 47) (5 . 48) (8 . 49) (9 . 50) (10 . 51) (12 . 52)) 6334 0.8739 4.9175 ((2 . 2) (3 . 3) (5 . 4) (8 . 5) (9 . 6) (10 . 8) (12 . 9)) 6338 0.7487 6.1239 ((3 . 1) (5 . 2) (8 . 4) (9 . 5) (10 . 7) (12 . 8)) 6379 0.6231 8.4807 ((2 . 2) (5 . 4) (6 . 5) (8 . 7) (9 . 8)) 6380 0.6234 8.1513 ((2 . 9) (8 . 14) (9 . 15) (10 . 17) (12 . 19)) 6443 0.9964 5.5606 ((2 . 1) (3 . 3) (5 . 4) (6 . 5) (8 . 8) (9 . 10) (10 . 12) (12 . 17)) 6444 0.8732 5.5322 ((2 . 14) (3 . 15) (5 . 16) (8 . 17) (9 . 19) (10 . 21) (12 . 22)) 6445 0.4998 6.7013 ((2 . 2) (3 . 3) (5 . 4) (8 . 8)) 6446 0.4999 4.7280 ((5 . 10) (6 . 12) (10 . 18) (12 . 20)) 6449 0.8745 4.0020 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (9 . 5) (10 . 6) (12 . 8)) 6466 0.8725 5.9988 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (9 . 5) (10 . 7) (12 . 8)) 6467 0.7498 3.8603 ((2 . 10) (3 . 11) (5 . 15) (8 . 16) (9 . 17) (10 . 18)) 6485 0.9588 6.6911 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 5) (9 . 6) (10 . 9) (12 . 10)) 6570 0.8690 7.4676 ((2 . 15) (3 . 16) (5 . 17) (8 . 19) (9 . 20) (10 . 22) (12 . 23)) 6612 0.9496 6.7914 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7) (10 . 8) (12 . 9)) END