669 233 0.5554 5.6060 ((13 . 1) (14 . 2) (16 . 3) (18 . 5) (20 . 7)) 234 0.5554 4.9375 ((14 . 11) (16 . 12) (18 . 14) (20 . 15) (22 . 16)) 291 0.5551 6.8188 ((16 . 3) (17 . 4) (18 . 5) (20 . 6) (21 . 7)) 349 0.8776 4.6695 ((13 . 2) (14 . 3) (16 . 4) (17 . 7) (18 . 8) (20 . 10) (21 . 11) (22 . 12)) 365 0.6664 4.7329 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 6) (20 . 8)) 388 0.6371 4.4683 ((14 . 17) (16 . 18) (17 . 19) (20 . 21) (21 . 22) (22 . 23)) 402 0.8760 2.8219 ((13 . 2) (14 . 3) (16 . 5) (17 . 6) (18 . 7) (20 . 9) (21 . 10) (22 . 11)) 403 0.5547 7.9604 ((16 . 13) (17 . 15) (18 . 17) (20 . 18) (22 . 20)) 404 0.6659 6.1977 ((13 . 23) (14 . 24) (16 . 25) (18 . 28) (20 . 30) (22 . 31)) 405 0.7764 6.0219 ((13 . 32) (14 . 33) (16 . 35) (17 . 37) (18 . 38) (20 . 39) (21 . 40)) 445 0.5555 4.6235 ((13 . 1) (14 . 2) (16 . 3) (18 . 5) (20 . 6)) 449 0.7769 5.3666 ((13 . 1) (14 . 2) (16 . 3) (18 . 6) (20 . 7) (21 . 8) (22 . 9)) 450 0.5555 4.2463 ((14 . 13) (16 . 15) (18 . 18) (20 . 19) (22 . 20)) 564 0.7773 4.6009 ((13 . 1) (14 . 2) (16 . 3) (17 . 7) (18 . 8) (20 . 10) (22 . 11)) 565 0.4444 4.3726 ((16 . 14) (18 . 16) (20 . 17) (21 . 18)) 567 0.8872 5.3554 ((13 . 1) (14 . 2) (16 . 3) (17 . 5) (18 . 6) (20 . 8) (21 . 9) (22 . 10)) 568 0.5554 4.8278 ((14 . 13) (16 . 15) (17 . 16) (18 . 17) (20 . 18)) 570 0.7769 5.3986 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 9) (20 . 11) (22 . 12)) 571 0.4432 11.6400 ((13 . 12) (16 . 14) (20 . 16) (21 . 17)) 578 0.6664 4.8856 ((14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (22 . 8)) 579 0.7773 4.6537 ((13 . 9) (14 . 10) (16 . 12) (17 . 13) (18 . 14) (20 . 15) (22 . 17)) 599 0.7767 5.6557 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 7) (20 . 9) (22 . 10)) 600 0.4440 9.2594 ((17 . 10) (18 . 11) (20 . 12) (21 . 13)) 626 0.5547 8.1132 ((14 . 3) (16 . 4) (17 . 6) (18 . 7) (20 . 8)) 668 0.8888 2.4790 ((13 . 2) (14 . 3) (16 . 5) (17 . 7) (18 . 8) (20 . 10) (21 . 11) (22 . 12)) 669 1.0000 0.0000 ((12 . 12) (13 . 13) (14 . 14) (16 . 16) (17 . 17) (18 . 18) (20 . 20) (21 . 21) (22 . 22)) 670 0.5534 10.2487 ((14 . 23) (16 . 25) (17 . 27) (20 . 28) (21 . 30)) 671 0.8849 6.6117 ((12 . 31) (13 . 32) (14 . 33) (16 . 35) (17 . 37) (18 . 38) (20 . 40) (22 . 41)) 693 0.6658 6.4230 ((14 . 31) (16 . 32) (17 . 33) (18 . 34) (20 . 35) (22 . 36)) 695 0.5550 7.2690 ((16 . 3) (17 . 4) (18 . 5) (20 . 6) (21 . 7)) 696 0.6657 6.5554 ((13 . 10) (14 . 12) (16 . 13) (18 . 16) (20 . 17) (22 . 19)) 697 0.6663 5.1960 ((13 . 21) (14 . 22) (16 . 23) (18 . 26) (20 . 27) (22 . 30)) 698 0.7764 6.0017 ((13 . 33) (14 . 34) (16 . 36) (17 . 37) (18 . 38) (20 . 39) (21 . 40)) 828 0.7754 6.8565 ((13 . 7) (14 . 8) (16 . 9) (17 . 10) (18 . 11) (20 . 12) (22 . 13)) 888 0.7748 7.2426 ((13 . 13) (14 . 14) (16 . 15) (17 . 17) (18 . 19) (20 . 20) (22 . 21)) 919 0.7749 7.1898 ((13 . 3) (14 . 4) (16 . 5) (17 . 6) (18 . 8) (20 . 9) (22 . 10)) 922 0.8777 4.5370 ((13 . 2) (14 . 3) (16 . 4) (17 . 7) (18 . 8) (20 . 10) (21 . 11) (22 . 12)) 926 0.5553 5.7074 ((13 . 1) (14 . 2) (16 . 4) (17 . 5) (22 . 12)) 927 0.7751 7.0649 ((13 . 13) (14 . 14) (16 . 15) (17 . 17) (18 . 18) (20 . 19) (22 . 20)) 1025 0.4443 6.4026 ((14 . 4) (16 . 5) (18 . 7) (22 . 9)) 1086 0.4444 6.0880 ((17 . 8) (18 . 10) (20 . 12) (22 . 13)) 1110 0.7768 5.4222 ((13 . 10) (14 . 11) (16 . 13) (17 . 14) (18 . 15) (20 . 16) (22 . 18)) 1112 0.8879 4.6523 ((13 . 2) (14 . 6) (16 . 7) (17 . 8) (18 . 9) (20 . 10) (21 . 11) (22 . 12)) 1126 0.7741 7.6501 ((13 . 2) (14 . 3) (16 . 4) (17 . 6) (18 . 7) (20 . 9) (22 . 10)) 1127 0.7771 5.0618 ((13 . 13) (14 . 14) (16 . 16) (17 . 17) (18 . 18) (20 . 19) (22 . 21)) 1149 0.7770 5.2307 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (22 . 7)) 1164 0.6650 7.6441 ((13 . 2) (14 . 3) (17 . 6) (18 . 7) (20 . 9) (22 . 10)) 1181 0.4443 6.7240 ((13 . 2) (14 . 3) (16 . 4) (17 . 6)) 1235 0.7758 6.5719 ((13 . 1) (14 . 3) (16 . 4) (17 . 6) (18 . 7) (20 . 9) (22 . 10)) 1236 0.7740 7.7290 ((13 . 11) (14 . 14) (16 . 15) (17 . 18) (18 . 19) (20 . 21) (22 . 23)) 1270 0.7757 6.6384 ((13 . 34) (14 . 35) (16 . 36) (17 . 37) (18 . 38) (20 . 39) (22 . 40)) 1293 0.8766 5.6261 ((13 . 3) (14 . 4) (16 . 5) (17 . 9) (18 . 10) (20 . 11) (21 . 12) (22 . 14)) 1294 0.7727 8.3217 ((13 . 39) (14 . 40) (16 . 41) (17 . 43) (18 . 44) (20 . 46) (22 . 47)) 1295 0.7752 6.9707 ((13 . 48) (14 . 49) (16 . 50) (17 . 51) (18 . 52) (20 . 53) (22 . 54)) 1341 0.6664 4.5944 ((13 . 2) (16 . 5) (17 . 7) (18 . 8) (20 . 10) (22 . 12)) 1342 0.8547 5.2860 ((13 . 16) (14 . 17) (16 . 19) (17 . 20) (18 . 21) (20 . 22) (21 . 23) (22 . 24)) 1363 0.4442 7.7799 ((14 . 3) (16 . 6) (17 . 7) (18 . 8)) 1374 0.4437 10.3146 ((13 . 2) (18 . 6) (20 . 8) (21 . 9)) 1375 0.5546 8.1966 ((13 . 12) (14 . 14) (17 . 16) (18 . 18) (20 . 20)) 1390 0.6664 4.7372 ((13 . 2) (14 . 3) (16 . 4) (18 . 6) (20 . 8) (22 . 9)) 1391 0.7708 9.0091 ((13 . 11) (14 . 12) (16 . 13) (17 . 15) (18 . 16) (20 . 17) (22 . 18)) 1392 0.7770 5.2090 ((13 . 20) (14 . 21) (16 . 22) (17 . 23) (18 . 24) (20 . 25) (22 . 26)) 1418 0.7770 5.1303 ((13 . 1) (14 . 2) (16 . 3) (18 . 5) (20 . 6) (21 . 7) (22 . 8)) 1419 0.7769 5.3810 ((13 . 10) (14 . 11) (16 . 12) (17 . 13) (18 . 14) (20 . 15) (22 . 16)) 1445 0.6664 4.8687 ((13 . 2) (16 . 5) (17 . 9) (18 . 10) (20 . 12) (22 . 13)) 1446 0.7355 3.1313 ((13 . 15) (14 . 16) (16 . 17) (17 . 19) (18 . 20) (20 . 22) (22 . 24)) 1502 0.6656 6.8292 ((13 . 2) (16 . 4) (17 . 6) (18 . 7) (20 . 9) (21 . 10)) 1555 0.7757 6.6173 ((13 . 1) (14 . 2) (16 . 3) (17 . 5) (18 . 6) (20 . 8) (21 . 9)) 1566 0.5541 9.2855 ((14 . 1) (16 . 3) (17 . 4) (20 . 6) (21 . 8)) 1568 0.7769 5.3281 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (22 . 7)) 1569 0.7769 5.3956 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (22 . 8)) 1570 0.7766 5.7265 ((13 . 9) (14 . 10) (16 . 11) (17 . 12) (18 . 13) (20 . 14) (22 . 16)) 1571 0.5551 6.8718 ((16 . 19) (17 . 20) (18 . 21) (20 . 22) (21 . 24)) 1572 0.6649 7.6812 ((14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (21 . 8)) 1573 0.7765 5.8663 ((13 . 9) (14 . 10) (16 . 11) (17 . 12) (18 . 13) (20 . 14) (22 . 16)) 1579 0.8781 3.9761 ((13 . 2) (14 . 3) (16 . 5) (17 . 8) (18 . 10) (20 . 12) (21 . 13) (22 . 14)) 1580 0.4444 3.5724 ((13 . 2) (14 . 3) (16 . 4) (22 . 11)) 1600 0.7731 8.1270 ((13 . 1) (14 . 3) (16 . 4) (17 . 5) (18 . 6) (20 . 8) (22 . 9)) 1601 0.7743 7.5325 ((13 . 10) (14 . 11) (16 . 12) (17 . 15) (18 . 17) (20 . 20) (22 . 21)) 1660 0.5555 4.4579 ((14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 7)) 1661 0.7766 5.7466 ((13 . 11) (14 . 12) (16 . 14) (17 . 15) (18 . 16) (20 . 17) (22 . 18)) 1666 0.8767 5.5246 ((13 . 3) (14 . 4) (16 . 5) (17 . 7) (18 . 8) (20 . 9) (21 . 10) (22 . 11)) 1667 0.7726 8.3477 ((13 . 38) (14 . 39) (16 . 40) (17 . 41) (18 . 42) (20 . 44) (22 . 45)) 1668 0.7748 7.2303 ((13 . 46) (14 . 48) (16 . 50) (17 . 51) (18 . 53) (20 . 54) (22 . 55)) 1684 0.5555 3.5434 ((13 . 2) (14 . 3) (16 . 4) (18 . 7) (20 . 9)) 1688 0.6653 7.1679 ((13 . 2) (16 . 4) (17 . 6) (18 . 7) (20 . 9) (21 . 10)) 1722 0.4442 7.4743 ((17 . 1) (18 . 2) (20 . 4) (22 . 6)) 1723 0.5552 6.6334 ((16 . 16) (17 . 17) (18 . 19) (20 . 20) (21 . 21)) 1826 0.6662 5.3961 ((13 . 2) (14 . 3) (16 . 5) (17 . 7) (18 . 8) (20 . 9)) 1827 0.7766 5.7230 ((13 . 13) (14 . 14) (16 . 16) (17 . 18) (18 . 19) (20 . 20) (22 . 21)) 1828 0.5553 5.6923 ((13 . 22) (14 . 23) (16 . 26) (18 . 28) (20 . 29)) 1864 0.7765 5.8362 ((13 . 2) (14 . 3) (16 . 4) (17 . 6) (18 . 7) (20 . 9) (22 . 10)) 1928 0.6661 5.8275 ((14 . 3) (16 . 4) (17 . 6) (18 . 7) (20 . 9) (22 . 11)) 1938 0.7765 5.8190 ((13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 6) (20 . 8) (22 . 9)) 1939 0.4443 7.0979 ((16 . 10) (17 . 11) (18 . 12) (20 . 15)) 1996 0.4443 6.8055 ((17 . 4) (18 . 5) (20 . 6) (21 . 7)) 2009 0.5550 7.4030 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (20 . 7)) 2022 0.5545 8.5772 ((13 . 14) (14 . 15) (18 . 20) (20 . 22) (22 . 24)) 2061 0.7755 6.7987 ((13 . 1) (14 . 3) (16 . 5) (17 . 6) (18 . 7) (20 . 8) (22 . 9)) 2087 0.5540 9.4048 ((12 . 1) (17 . 7) (18 . 8) (20 . 10) (22 . 12)) 2110 0.6663 5.2481 ((14 . 23) (16 . 24) (17 . 26) (18 . 27) (20 . 28) (21 . 29)) 2165 0.4414 14.7194 ((12 . 29) (16 . 31) (17 . 32) (22 . 37)) 2186 0.5550 7.3090 ((16 . 9) (17 . 11) (18 . 12) (20 . 13) (21 . 14)) 2188 0.6651 7.4569 ((13 . 9) (14 . 10) (16 . 11) (18 . 14) (20 . 15) (22 . 16)) 2191 0.6661 5.7141 ((14 . 1) (16 . 2) (17 . 4) (18 . 5) (20 . 7) (21 . 8)) 2221 0.7765 5.8994 ((13 . 1) (14 . 2) (16 . 3) (17 . 5) (18 . 6) (20 . 8) (22 . 9)) 2246 0.6627 5.1816 ((13 . 1) (14 . 2) (16 . 3) (17 . 5) (18 . 8) (20 . 11) (22 . 12)) 2318 0.7774 4.2671 ((13 . 2) (14 . 3) (16 . 5) (17 . 8) (18 . 10) (20 . 12) (22 . 14)) 2319 0.5552 6.5319 ((16 . 17) (17 . 19) (18 . 20) (20 . 21) (21 . 22)) 2320 0.8883 4.1125 ((13 . 2) (14 . 3) (16 . 4) (17 . 7) (18 . 8) (20 . 10) (21 . 11) (22 . 12)) 2321 0.4443 6.9164 ((16 . 15) (18 . 18) (20 . 20) (21 . 22)) 2338 0.4444 5.8380 ((16 . 15) (18 . 19) (20 . 21) (21 . 22)) 2365 0.6662 5.3753 ((13 . 2) (14 . 3) (16 . 6) (17 . 9) (18 . 10) (20 . 11)) 2428 0.7761 6.3069 ((13 . 1) (14 . 6) (16 . 8) (17 . 12) (18 . 13) (20 . 14) (21 . 15)) 2441 0.8871 5.3680 ((13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 6) (20 . 7) (21 . 8) (22 . 9)) 2442 0.7773 4.6159 ((12 . 9) (14 . 12) (16 . 14) (17 . 15) (18 . 16) (20 . 17) (21 . 19)) 2444 0.7746 7.3458 ((13 . 1) (14 . 2) (16 . 4) (17 . 5) (18 . 7) (20 . 8) (22 . 9)) 2445 0.7763 6.0321 ((13 . 11) (14 . 12) (16 . 14) (17 . 15) (18 . 16) (20 . 17) (22 . 19)) 2473 0.6648 7.8587 ((13 . 2) (14 . 3) (16 . 5) (17 . 6) (20 . 10) (22 . 11)) 2507 0.7756 6.7011 ((13 . 3) (14 . 4) (16 . 6) (17 . 9) (18 . 11) (20 . 13) (21 . 14)) 2508 0.6654 7.1370 ((13 . 16) (14 . 17) (16 . 19) (18 . 22) (20 . 24) (21 . 25)) 2531 0.5553 6.2128 ((16 . 3) (17 . 6) (18 . 7) (20 . 8) (21 . 9)) 2534 0.6660 5.9932 ((13 . 17) (14 . 18) (16 . 19) (18 . 22) (20 . 23) (22 . 25)) 2577 0.7772 4.9048 ((13 . 2) (14 . 3) (16 . 5) (17 . 6) (18 . 7) (20 . 9) (22 . 10)) 2578 0.7764 6.0163 ((13 . 12) (14 . 13) (16 . 15) (17 . 17) (18 . 18) (20 . 20) (21 . 21)) 2579 0.7762 6.1955 ((13 . 23) (14 . 24) (16 . 25) (17 . 27) (18 . 29) (20 . 31) (22 . 32)) 2641 0.7736 7.8905 ((13 . 1) (14 . 3) (16 . 5) (17 . 7) (18 . 8) (20 . 9) (22 . 10)) 2686 0.8858 6.1782 ((13 . 2) (14 . 3) (16 . 4) (17 . 8) (18 . 9) (20 . 10) (21 . 11) (22 . 13)) 2728 0.6435 8.7138 ((13 . 1) (14 . 2) (16 . 3) (17 . 5) (18 . 6) (21 . 8)) 2767 0.7763 6.0942 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (22 . 7)) 2812 0.4443 7.2553 ((16 . 3) (18 . 5) (20 . 6) (21 . 7)) 2877 0.5553 6.1638 ((14 . 2) (16 . 3) (18 . 6) (20 . 7) (21 . 8)) 2880 0.8857 6.2501 ((13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 7) (20 . 8) (21 . 9) (22 . 12)) 2971 0.5547 8.1322 ((16 . 8) (17 . 10) (18 . 11) (20 . 13) (21 . 14)) 2987 0.5524 11.2383 ((13 . 26) (17 . 30) (18 . 31) (20 . 32) (21 . 33)) 3099 0.7736 7.9098 ((13 . 23) (14 . 24) (16 . 25) (17 . 26) (18 . 27) (20 . 28) (22 . 29)) 3101 0.6640 8.5185 ((13 . 50) (14 . 51) (16 . 52) (17 . 53) (20 . 55) (22 . 56)) 3159 0.7760 6.3317 ((13 . 53) (14 . 54) (16 . 55) (17 . 58) (18 . 59) (20 . 60) (22 . 61)) 3185 0.5527 10.9724 ((14 . 14) (16 . 15) (17 . 16) (20 . 21) (21 . 23)) 3186 0.4443 6.2068 ((16 . 3) (18 . 7) (20 . 8) (21 . 9)) 3205 0.7770 5.2422 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (22 . 8)) 3292 0.7770 5.1856 ((13 . 2) (14 . 3) (16 . 4) (17 . 7) (18 . 8) (20 . 10) (22 . 11)) 3342 0.5549 7.4710 ((16 . 4) (17 . 6) (18 . 7) (20 . 8) (21 . 9)) 3357 0.7729 8.2161 ((13 . 4) (14 . 5) (16 . 6) (17 . 7) (18 . 8) (20 . 10) (22 . 11)) 3378 0.6665 4.5158 ((13 . 33) (16 . 35) (18 . 37) (20 . 39) (21 . 40) (22 . 41)) 3417 0.7742 7.6147 ((13 . 4) (14 . 6) (16 . 7) (17 . 8) (18 . 9) (20 . 10) (22 . 11)) 3430 0.7453 6.4633 ((13 . 3) (14 . 4) (16 . 5) (18 . 8) (20 . 9) (21 . 10) (22 . 11)) 3431 0.4444 5.1351 ((17 . 1) (18 . 2) (20 . 3) (21 . 4)) 3443 0.7765 5.8658 ((13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 7) (20 . 8) (22 . 9)) 3444 0.7727 8.2833 ((13 . 37) (14 . 38) (16 . 39) (17 . 41) (18 . 43) (20 . 45) (22 . 46)) 3445 0.7759 6.4276 ((13 . 47) (14 . 48) (16 . 49) (17 . 50) (18 . 51) (20 . 52) (22 . 53)) 3472 0.5554 5.4079 ((16 . 6) (17 . 8) (18 . 9) (20 . 11) (22 . 12)) 3478 0.5522 11.4011 ((16 . 2) (17 . 3) (18 . 4) (20 . 5) (22 . 7)) 3507 0.4434 11.2583 ((17 . 32) (18 . 33) (20 . 34) (22 . 37)) 3530 0.6661 5.8952 ((13 . 20) (14 . 21) (17 . 23) (18 . 24) (20 . 25) (22 . 27)) 3531 0.6664 4.7158 ((14 . 30) (16 . 32) (17 . 33) (18 . 34) (20 . 35) (22 . 36)) 3532 0.6658 6.3933 ((13 . 37) (14 . 38) (18 . 39) (20 . 40) (21 . 41) (22 . 42)) 3550 0.4442 7.7975 ((13 . 8) (14 . 9) (16 . 10) (17 . 13)) 3554 0.5535 10.1085 ((14 . 1) (16 . 3) (17 . 4) (20 . 8) (21 . 10)) 3555 0.7745 7.4168 ((13 . 12) (14 . 14) (16 . 15) (17 . 17) (18 . 19) (20 . 21) (22 . 23)) 3556 0.8878 4.7546 ((13 . 1) (14 . 2) (16 . 3) (17 . 7) (18 . 8) (20 . 10) (21 . 11) (22 . 12)) 3557 0.6666 3.4427 ((14 . 15) (16 . 16) (17 . 18) (18 . 19) (20 . 21) (22 . 23)) 3655 0.4423 13.3948 ((16 . 28) (17 . 29) (18 . 30) (20 . 31)) 3667 0.5544 8.6452 ((16 . 4) (17 . 6) (18 . 7) (20 . 8) (22 . 9)) 3690 0.5548 7.9285 ((14 . 1) (16 . 3) (17 . 5) (18 . 6) (22 . 11)) 3699 0.5555 4.0586 ((13 . 1) (14 . 2) (16 . 3) (18 . 5) (20 . 8)) 3700 0.7770 5.1659 ((13 . 13) (14 . 14) (16 . 16) (17 . 17) (18 . 18) (20 . 19) (22 . 20)) 3762 0.5553 5.7383 ((14 . 2) (16 . 3) (18 . 5) (20 . 6) (21 . 7)) 3791 0.7709 8.9821 ((12 . 42) (14 . 44) (16 . 45) (17 . 46) (18 . 48) (20 . 50) (21 . 52)) 3792 0.5546 8.2397 ((14 . 56) (17 . 58) (18 . 59) (20 . 60) (22 . 61)) 3793 0.4443 6.7973 ((13 . 66) (14 . 67) (16 . 69) (17 . 70)) 3794 0.4443 7.1882 ((14 . 24) (18 . 29) (20 . 30) (21 . 31)) 3876 0.6664 4.6788 ((13 . 2) (14 . 3) (16 . 4) (18 . 6) (20 . 7) (21 . 8)) 3948 0.8776 4.6454 ((13 . 2) (14 . 3) (16 . 5) (17 . 9) (18 . 10) (20 . 12) (21 . 13) (22 . 14)) 3949 0.7745 7.4288 ((13 . 15) (14 . 16) (16 . 17) (17 . 19) (18 . 21) (20 . 22) (22 . 24)) 3950 0.7773 4.5716 ((13 . 2) (14 . 3) (16 . 4) (17 . 7) (18 . 8) (20 . 10) (22 . 12)) 3951 0.7738 7.7860 ((13 . 13) (14 . 15) (16 . 16) (17 . 18) (18 . 19) (20 . 21) (22 . 22)) 4079 0.6660 5.9235 ((13 . 2) (14 . 3) (16 . 4) (18 . 7) (20 . 8) (22 . 10)) 4109 0.6664 4.5750 ((13 . 1) (14 . 2) (16 . 3) (18 . 5) (20 . 7) (22 . 8)) 4110 0.8764 5.7700 ((13 . 9) (14 . 10) (16 . 11) (17 . 12) (18 . 13) (20 . 14) (21 . 15) (22 . 16)) 4111 0.7769 5.3055 ((13 . 17) (14 . 18) (16 . 19) (17 . 20) (18 . 22) (20 . 23) (22 . 24)) 4145 0.5555 3.4941 ((13 . 1) (14 . 2) (16 . 3) (18 . 6) (20 . 7)) 4146 0.5553 5.8491 ((13 . 11) (14 . 12) (16 . 14) (18 . 15) (20 . 16)) 4178 0.5520 11.5301 ((13 . 2) (14 . 3) (16 . 4) (20 . 6) (21 . 7)) 4197 0.5554 5.2242 ((13 . 1) (14 . 2) (16 . 4) (17 . 5) (22 . 11)) 4199 0.5553 6.0698 ((13 . 2) (14 . 3) (17 . 4) (18 . 5) (20 . 6)) 4219 0.4442 7.7450 ((13 . 3) (14 . 4) (16 . 5) (17 . 6)) 4221 0.7774 4.3792 ((13 . 2) (14 . 3) (16 . 5) (17 . 8) (18 . 10) (20 . 12) (22 . 13)) 4224 0.8622 5.0680 ((13 . 2) (14 . 3) (16 . 4) (17 . 8) (18 . 9) (20 . 11) (21 . 12) (22 . 13)) 4230 0.5535 10.1190 ((14 . 4) (16 . 5) (17 . 6) (20 . 8) (21 . 11)) 4286 0.8730 2.0193 ((13 . 3) (14 . 4) (16 . 6) (17 . 9) (18 . 11) (20 . 13) (21 . 14) (22 . 15)) 4289 0.7770 5.1774 ((13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 7) (20 . 9) (22 . 10)) 4290 0.7768 5.5140 ((13 . 11) (14 . 13) (16 . 14) (17 . 15) (18 . 17) (20 . 18) (22 . 20)) 4349 0.8781 3.8134 ((13 . 2) (14 . 3) (16 . 4) (17 . 7) (18 . 8) (20 . 10) (21 . 11) (22 . 12)) 4464 0.7731 8.1140 ((13 . 1) (14 . 2) (16 . 3) (17 . 6) (18 . 7) (20 . 9) (22 . 10)) 4512 0.7776 3.4446 ((13 . 2) (14 . 3) (16 . 6) (17 . 7) (18 . 8) (20 . 9) (22 . 10)) 4525 0.4443 6.7722 ((16 . 23) (17 . 24) (20 . 28) (22 . 29)) 4526 0.7756 6.6941 ((13 . 30) (14 . 31) (16 . 32) (17 . 33) (18 . 34) (20 . 35) (22 . 36)) 4581 0.4443 6.9181 ((13 . 9) (14 . 10) (16 . 12) (18 . 14)) 4584 0.8880 4.5562 ((13 . 2) (14 . 3) (16 . 5) (17 . 8) (18 . 9) (20 . 11) (21 . 12) (22 . 13)) 4637 0.8629 4.1603 ((13 . 2) (14 . 3) (16 . 4) (17 . 7) (18 . 8) (20 . 10) (21 . 11) (22 . 12)) 4638 0.4443 6.1889 ((13 . 13) (14 . 14) (17 . 16) (18 . 18)) 4639 0.7777 2.4179 ((13 . 2) (14 . 3) (16 . 5) (17 . 8) (18 . 9) (20 . 10) (22 . 12)) 4640 0.7744 7.4941 ((13 . 14) (14 . 16) (16 . 17) (17 . 19) (18 . 21) (20 . 23) (22 . 24)) 4687 0.5549 7.6061 ((13 . 28) (14 . 30) (16 . 31) (17 . 33) (18 . 34)) 4700 0.6666 3.3573 ((13 . 2) (14 . 3) (16 . 4) (18 . 6) (20 . 8) (22 . 10)) 4708 0.6662 5.6455 ((13 . 48) (14 . 49) (16 . 50) (18 . 51) (20 . 53) (22 . 54)) 4744 0.5539 9.5501 ((13 . 3) (14 . 4) (16 . 5) (17 . 6) (18 . 7)) 4777 0.6658 6.3901 ((13 . 3) (14 . 4) (16 . 5) (18 . 7) (20 . 10) (21 . 11)) 4800 0.5549 7.4143 ((13 . 1) (14 . 3) (18 . 5) (20 . 7) (22 . 8)) 4809 0.7750 7.1206 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (22 . 7)) 4892 0.5549 7.4088 ((16 . 2) (17 . 3) (18 . 4) (20 . 5) (21 . 6)) 4896 0.7739 7.7374 ((13 . 2) (14 . 3) (16 . 5) (17 . 7) (18 . 8) (20 . 10) (22 . 11)) 4897 0.4441 8.4633 ((13 . 13) (14 . 14) (17 . 17) (18 . 18)) 4908 0.5540 9.4164 ((14 . 2) (16 . 3) (17 . 4) (18 . 6) (20 . 7)) 4921 0.4444 4.1147 ((13 . 7) (14 . 8) (16 . 9) (18 . 12)) 4923 0.6659 6.2933 ((13 . 15) (14 . 16) (16 . 17) (18 . 19) (20 . 20) (22 . 22)) 4951 0.7747 7.2860 ((13 . 47) (14 . 49) (16 . 50) (17 . 53) (18 . 54) (20 . 55) (22 . 56)) 4967 0.5544 8.6563 ((13 . 25) (17 . 28) (18 . 29) (20 . 30) (21 . 31)) 4968 0.5553 5.9856 ((16 . 37) (17 . 39) (18 . 40) (20 . 42) (22 . 43)) 5040 0.5553 5.8975 ((13 . 2) (14 . 3) (16 . 4) (17 . 5) (22 . 13)) 5043 0.5553 6.1910 ((13 . 5) (14 . 6) (16 . 7) (17 . 9) (18 . 11)) 5166 0.5532 10.4523 ((13 . 4) (17 . 6) (18 . 7) (20 . 8) (22 . 10)) 5246 0.8713 5.4899 ((13 . 3) (14 . 4) (16 . 6) (17 . 9) (18 . 10) (20 . 12) (21 . 13) (22 . 14)) 5281 0.4441 8.3295 ((17 . 65) (18 . 66) (20 . 67) (22 . 69)) 5310 0.7769 5.3714 ((13 . 3) (14 . 4) (16 . 5) (17 . 8) (18 . 9) (20 . 10) (22 . 12)) 5311 0.6660 5.9684 ((14 . 14) (16 . 15) (17 . 16) (18 . 17) (20 . 18) (22 . 20)) 5316 0.8760 2.7468 ((13 . 2) (14 . 3) (16 . 5) (17 . 8) (18 . 10) (20 . 12) (21 . 13) (22 . 14)) 5319 0.7766 5.7461 ((13 . 1) (14 . 2) (16 . 3) (17 . 5) (18 . 6) (20 . 7) (22 . 8)) 5320 0.7771 5.0589 ((13 . 9) (14 . 10) (16 . 11) (17 . 12) (18 . 13) (20 . 14) (22 . 16)) 5342 0.6661 5.6678 ((14 . 47) (16 . 48) (17 . 50) (18 . 51) (20 . 52) (22 . 54)) 5413 0.5554 5.5292 ((13 . 2) (14 . 3) (16 . 4) (17 . 6) (22 . 11)) 5431 0.7760 6.3871 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (22 . 7)) 5432 0.7770 5.1524 ((13 . 8) (14 . 9) (16 . 10) (17 . 11) (18 . 12) (20 . 13) (22 . 15)) 5497 0.7733 8.0544 ((12 . 20) (13 . 21) (16 . 23) (17 . 25) (18 . 26) (20 . 28) (21 . 29)) 5552 0.8666 5.9396 ((13 . 5) (14 . 6) (16 . 8) (17 . 9) (18 . 11) (20 . 12) (21 . 13) (22 . 14)) 5615 0.6645 8.1567 ((14 . 29) (16 . 30) (17 . 32) (18 . 33) (20 . 34) (21 . 35)) 5633 0.7764 6.0135 ((13 . 1) (14 . 2) (16 . 3) (17 . 5) (18 . 6) (20 . 8) (22 . 10)) 5634 0.6960 4.3324 ((13 . 12) (14 . 13) (16 . 14) (18 . 17) (20 . 18) (21 . 19) (22 . 20)) 5682 0.5550 7.0820 ((14 . 3) (16 . 4) (17 . 5) (18 . 6) (22 . 10)) 5683 0.7763 6.1018 ((13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 7) (20 . 8) (22 . 10)) 5733 0.7746 7.3874 ((13 . 12) (14 . 14) (16 . 15) (17 . 17) (18 . 19) (20 . 21) (22 . 22)) 5835 0.5544 8.6448 ((14 . 35) (16 . 37) (17 . 38) (20 . 41) (22 . 42)) 5863 0.5546 8.2161 ((14 . 31) (16 . 33) (18 . 37) (20 . 38) (21 . 39)) 5899 0.7764 5.9648 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (22 . 8)) 5916 0.6652 7.3701 ((13 . 1) (14 . 2) (17 . 3) (18 . 4) (20 . 5) (22 . 8)) 5936 0.7300 4.0020 ((13 . 2) (14 . 3) (16 . 5) (17 . 9) (18 . 11) (20 . 13) (21 . 14) (22 . 15)) 5948 0.5554 5.2792 ((14 . 3) (16 . 5) (17 . 8) (18 . 9) (20 . 10)) 5974 0.7546 3.2214 ((13 . 3) (14 . 4) (16 . 5) (18 . 8) (20 . 10) (21 . 11) (22 . 12)) 5988 0.7774 4.2039 ((13 . 1) (14 . 2) (16 . 3) (17 . 5) (18 . 6) (20 . 7) (21 . 8)) 5989 0.8752 4.6281 ((13 . 1) (14 . 2) (16 . 4) (17 . 5) (18 . 6) (20 . 7) (21 . 8) (22 . 9)) 5993 0.6664 5.0089 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 7)) 6012 0.5552 6.4133 ((16 . 51) (17 . 52) (18 . 53) (20 . 54) (21 . 55)) 6013 0.4443 6.2203 ((17 . 63) (18 . 64) (20 . 66) (21 . 68)) 6037 0.5554 5.4838 ((14 . 3) (16 . 4) (18 . 6) (20 . 7) (22 . 8)) 6105 0.5547 8.0077 ((14 . 3) (16 . 4) (17 . 6) (18 . 7) (20 . 8)) 6124 0.7748 7.2806 ((13 . 8) (14 . 9) (16 . 10) (17 . 12) (18 . 14) (20 . 15) (22 . 16)) 6126 0.7754 6.8608 ((13 . 9) (14 . 10) (16 . 11) (17 . 13) (18 . 15) (20 . 16) (22 . 17)) 6206 0.7769 5.4089 ((13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 6) (20 . 8) (22 . 9)) 6207 0.7756 6.7265 ((13 . 10) (14 . 12) (16 . 14) (17 . 15) (18 . 16) (20 . 18) (22 . 19)) 6285 0.4444 5.4765 ((13 . 3) (14 . 4) (16 . 5) (17 . 6)) 6287 0.7727 8.2867 ((13 . 38) (14 . 39) (16 . 40) (17 . 41) (18 . 42) (20 . 44) (22 . 45)) 6288 0.7748 7.2356 ((13 . 46) (14 . 47) (16 . 48) (17 . 49) (18 . 50) (20 . 51) (22 . 52)) 6334 0.7766 5.7159 ((13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 6) (20 . 8) (22 . 9)) 6338 0.6659 6.2909 ((14 . 1) (16 . 2) (17 . 4) (18 . 5) (20 . 7) (21 . 8)) 6379 0.5536 9.8967 ((16 . 1) (17 . 3) (18 . 4) (20 . 5) (21 . 6)) 6380 0.6665 4.4968 ((14 . 11) (16 . 13) (17 . 14) (18 . 15) (20 . 17) (21 . 19)) 6443 0.5553 5.9732 ((16 . 6) (17 . 8) (18 . 10) (20 . 12) (22 . 17)) 6444 0.7755 6.7796 ((13 . 14) (14 . 15) (16 . 16) (17 . 17) (18 . 19) (20 . 21) (22 . 22)) 6445 0.4429 12.4302 ((13 . 1) (18 . 6) (20 . 8) (21 . 9)) 6446 0.7464 4.5350 ((14 . 12) (16 . 14) (17 . 15) (18 . 16) (20 . 18) (21 . 19) (22 . 20)) 6449 0.7768 5.4821 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 6) (22 . 8)) 6466 0.7756 6.7039 ((13 . 1) (14 . 2) (16 . 3) (17 . 4) (18 . 5) (20 . 7) (22 . 8)) 6467 0.6664 4.5657 ((13 . 10) (14 . 11) (16 . 15) (17 . 16) (18 . 17) (20 . 18)) 6485 0.6441 8.0314 ((14 . 2) (16 . 3) (17 . 5) (18 . 6) (20 . 7) (21 . 8)) 6570 0.5547 8.0634 ((13 . 15) (14 . 16) (17 . 19) (18 . 20) (20 . 22)) 6612 0.7739 7.7425 ((13 . 2) (14 . 3) (16 . 4) (17 . 5) (18 . 7) (20 . 8) (22 . 9)) END