5638 41 0.6659 6.3167 ((9 . 3) (12 . 4) (13 . 5) (14 . 6)) 51 0.6659 6.1883 ((8 . 6) (9 . 7) (12 . 9) (13 . 11)) 62 0.6657 6.6522 ((9 . 10) (12 . 9) (13 . 13) (14 . 15)) 77 0.6614 10.1510 ((8 . 6) (9 . 7) (13 . 9) (14 . 12)) 91 0.6654 7.0545 ((9 . 40) (12 . 41) (13 . 42) (14 . 46)) 136 0.6648 7.8279 ((7 . 3) (9 . 5) (13 . 8) (14 . 9)) 150 0.6664 4.7147 ((7 . 20) (9 . 23) (12 . 24) (13 . 25)) 157 0.6656 6.7220 ((9 . 1) (12 . 2) (13 . 3) (14 . 6)) 162 0.6637 8.8158 ((8 . 12) (9 . 15) (12 . 16) (13 . 17)) 177 0.6603 10.6667 ((7 . 5) (8 . 7) (9 . 8) (13 . 10)) 207 0.6654 7.1196 ((7 . 13) (9 . 15) (12 . 16) (13 . 18)) 233 0.6662 5.4918 ((7 . 1) (8 . 2) (9 . 3) (13 . 7)) 300 0.8173 10.2339 ((7 . 7) (8 . 8) (12 . 12) (13 . 10) (14 . 11)) 305 0.6664 4.8425 ((8 . 16) (9 . 17) (12 . 20) (13 . 21)) 307 0.6658 6.5293 ((9 . 1) (12 . 2) (13 . 3) (14 . 6)) 350 0.6649 7.7050 ((7 . 11) (8 . 13) (9 . 15) (13 . 18)) 360 0.8304 6.6022 ((7 . 9) (8 . 10) (9 . 12) (12 . 13) (13 . 14)) 361 0.6602 10.7236 ((7 . 2) (9 . 4) (12 . 5) (14 . 7)) 365 0.6657 6.7072 ((8 . 3) (9 . 4) (12 . 7) (13 . 8)) 367 0.6656 6.8447 ((7 . 38) (8 . 40) (9 . 42) (13 . 44)) 405 0.6617 10.0390 ((7 . 34) (8 . 35) (9 . 37) (13 . 40)) 420 0.6647 7.9703 ((7 . 1) (8 . 2) (9 . 3) (13 . 5)) 433 0.8311 6.2018 ((7 . 5) (8 . 6) (9 . 7) (12 . 8) (13 . 9)) 442 0.1499 9.9210 ((7 . 4) (9 . 6) (13 . 10) (14 . 11)) 460 0.2969 8.8290 ((7 . 2) (8 . 3) (13 . 8) (14 . 9)) 472 0.6474 14.2482 ((8 . 25) (12 . 29) (13 . 31) (14 . 33)) 495 0.6662 5.5654 ((7 . 3) (9 . 5) (12 . 6) (13 . 7)) 541 0.6666 3.7367 ((7 . 2) (8 . 3) (9 . 5) (12 . 6)) 543 0.6624 9.6558 ((7 . 6) (8 . 8) (9 . 10) (12 . 13)) 561 0.0999 8.9797 ((9 . 1) (12 . 2) (13 . 3) (14 . 5)) 584 0.6620 9.8558 ((9 . 3) (12 . 2) (13 . 5) (14 . 6)) 619 0.6633 9.0979 ((7 . 7) (8 . 8) (13 . 12) (14 . 14)) 624 0.8199 9.7779 ((7 . 9) (9 . 11) (12 . 12) (13 . 13) (14 . 14)) 635 0.6654 7.0670 ((7 . 13) (8 . 14) (12 . 17) (13 . 18)) 678 0.6661 5.9114 ((9 . 24) (12 . 25) (13 . 26) (14 . 28)) 719 0.6664 4.9402 ((8 . 25) (9 . 27) (12 . 29) (13 . 30)) 729 0.6665 4.5319 ((7 . 9) (8 . 13) (12 . 14) (13 . 15)) 765 0.6627 9.4550 ((7 . 8) (8 . 9) (9 . 12) (13 . 17)) 795 0.6656 6.7555 ((7 . 1) (9 . 3) (12 . 4) (13 . 6)) 801 0.6615 10.1433 ((7 . 1) (8 . 2) (9 . 4) (13 . 7)) 812 0.6661 5.7100 ((7 . 9) (9 . 11) (12 . 12) (13 . 13)) 901 0.6660 5.9690 ((7 . 15) (9 . 17) (12 . 19) (13 . 20)) 928 0.6663 5.2123 ((7 . 12) (9 . 14) (12 . 15) (13 . 16)) 937 0.6630 9.2877 ((7 . 1) (12 . 3) (13 . 5) (14 . 6)) 943 0.8198 9.7988 ((7 . 6) (9 . 9) (12 . 10) (13 . 12) (14 . 13)) 945 0.6664 5.0040 ((7 . 12) (9 . 14) (12 . 16) (13 . 17)) 949 0.6652 7.3437 ((7 . 27) (9 . 30) (12 . 33) (14 . 35)) 960 0.6664 4.6526 ((8 . 8) (9 . 9) (13 . 12) (14 . 16)) 978 0.6622 9.7446 ((7 . 4) (9 . 6) (12 . 8) (13 . 10)) 980 0.6663 5.2024 ((7 . 5) (9 . 7) (12 . 8) (13 . 9)) 1007 0.1499 11.0791 ((7 . 9) (8 . 8) (9 . 11) (14 . 15)) 1008 0.6656 6.7616 ((7 . 3) (8 . 5) (9 . 8) (12 . 11)) 1034 0.6465 14.4222 ((8 . 25) (12 . 27) (13 . 29) (14 . 31)) 1043 0.6655 6.9530 ((7 . 1) (12 . 5) (13 . 6) (14 . 9)) 1082 0.8286 7.4907 ((8 . 8) (9 . 9) (12 . 11) (13 . 12) (14 . 14)) 1084 0.1996 9.7005 ((8 . 18) (12 . 21) (13 . 20) (14 . 22)) 1165 0.6661 5.7065 ((7 . 7) (9 . 10) (12 . 11) (13 . 12)) 1167 0.9988 4.2093 ((7 . 20) (8 . 21) (9 . 22) (12 . 24) (13 . 27) (14 . 28)) 1204 0.6651 7.5273 ((9 . 1) (12 . 2) (13 . 3) (14 . 6)) 1211 0.6664 4.6088 ((7 . 11) (8 . 14) (9 . 15) (12 . 17)) 1224 0.6612 10.2456 ((7 . 6) (8 . 7) (9 . 9) (14 . 13)) 1233 0.8263 8.2679 ((7 . 11) (9 . 14) (12 . 16) (13 . 17) (14 . 19)) 1267 0.6657 6.5490 ((7 . 13) (9 . 15) (12 . 16) (13 . 17)) 1294 0.6556 12.3051 ((8 . 39) (9 . 40) (13 . 42) (14 . 45)) 1345 0.8176 10.1896 ((7 . 5) (9 . 7) (12 . 8) (13 . 9) (14 . 10)) 1366 0.6618 9.9532 ((7 . 14) (8 . 15) (9 . 16) (12 . 18)) 1388 0.1996 8.3389 ((7 . 5) (12 . 7) (13 . 8) (14 . 11)) 1425 0.6661 5.7900 ((7 . 3) (8 . 4) (9 . 6) (13 . 10)) 1447 0.8207 9.6240 ((7 . 1) (9 . 3) (12 . 4) (13 . 5) (14 . 6)) 1451 0.6662 5.6465 ((8 . 6) (9 . 8) (12 . 7) (13 . 10)) 1476 0.6662 5.4732 ((7 . 14) (9 . 18) (12 . 19) (13 . 20)) 1501 0.8295 7.0729 ((7 . 3) (8 . 4) (9 . 5) (13 . 6) (14 . 10)) 1513 0.6654 7.0820 ((7 . 13) (12 . 16) (13 . 18) (14 . 19)) 1577 0.6649 7.6853 ((8 . 6) (12 . 9) (13 . 10) (14 . 11)) 1591 0.6663 5.0971 ((7 . 11) (9 . 14) (12 . 15) (13 . 16)) 1604 0.6663 5.2976 ((7 . 3) (9 . 7) (12 . 9) (13 . 10)) 1622 0.6664 4.8042 ((7 . 18) (9 . 20) (12 . 21) (13 . 22)) 1624 0.0999 10.7264 ((8 . 4) (9 . 6) (13 . 9) (14 . 11)) 1643 0.6660 6.1079 ((7 . 34) (8 . 36) (9 . 37) (13 . 39)) 1644 0.6655 6.9306 ((7 . 46) (8 . 47) (9 . 48) (13 . 51)) 1665 0.6661 5.7768 ((7 . 6) (9 . 8) (12 . 9) (13 . 10)) 1690 0.6659 6.2680 ((7 . 1) (12 . 7) (13 . 8) (14 . 12)) 1731 0.1996 11.2675 ((9 . 6) (12 . 7) (13 . 8) (14 . 9)) 1736 0.6624 9.6137 ((7 . 5) (9 . 7) (12 . 8) (13 . 10)) 1738 0.6654 7.1081 ((7 . 21) (8 . 23) (9 . 24) (12 . 25)) 1747 0.6659 6.2755 ((7 . 6) (8 . 7) (9 . 8) (13 . 11)) 1759 0.6662 5.5954 ((7 . 6) (8 . 8) (9 . 9) (13 . 11)) 1761 0.6655 6.9095 ((7 . 13) (9 . 16) (12 . 18) (13 . 19)) 1776 0.6659 6.2901 ((7 . 1) (9 . 7) (12 . 8) (13 . 9)) 1778 0.6662 5.3699 ((7 . 2) (8 . 3) (9 . 4) (12 . 6)) 1793 0.6664 4.7588 ((7 . 6) (9 . 8) (12 . 9) (13 . 10)) 1808 0.6663 5.0738 ((7 . 2) (8 . 4) (12 . 7) (13 . 8)) 1817 0.8302 6.7635 ((7 . 15) (8 . 16) (9 . 19) (13 . 20) (14 . 21)) 1867 0.6659 6.2306 ((9 . 1) (12 . 2) (13 . 3) (14 . 8)) 1894 0.6632 9.1265 ((7 . 11) (8 . 12) (12 . 15) (13 . 18)) 1896 0.6619 9.9175 ((8 . 23) (12 . 28) (13 . 27) (14 . 30)) 1897 0.6572 11.8300 ((8 . 39) (9 . 40) (13 . 43) (14 . 44)) 1909 0.6662 5.4779 ((7 . 31) (8 . 34) (12 . 36) (13 . 37)) 1913 0.0999 12.6721 ((7 . 16) (9 . 19) (13 . 22) (14 . 24)) 1944 0.8317 5.6868 ((8 . 3) (9 . 5) (12 . 6) (13 . 7) (14 . 8)) 1957 0.6664 4.8722 ((7 . 3) (9 . 5) (12 . 6) (13 . 7)) 1961 0.6662 5.4770 ((7 . 14) (8 . 15) (9 . 16) (12 . 18)) 1967 0.6656 6.8260 ((7 . 3) (12 . 6) (13 . 7) (14 . 9)) 1972 0.6666 3.6925 ((7 . 16) (8 . 18) (12 . 19) (13 . 20)) 1992 0.6546 12.5974 ((8 . 1) (9 . 2) (12 . 5) (14 . 8)) 1995 0.6663 5.1200 ((7 . 7) (8 . 8) (9 . 9) (13 . 13)) 2006 0.6658 6.4596 ((7 . 13) (8 . 14) (9 . 15) (13 . 18)) 2048 0.6658 6.3804 ((9 . 4) (12 . 5) (13 . 13) (14 . 14)) 2054 0.6507 13.5617 ((7 . 2) (8 . 1) (12 . 7) (14 . 10)) 2063 0.6663 5.1955 ((7 . 42) (8 . 43) (9 . 44) (12 . 46)) 2065 0.6645 8.1306 ((7 . 16) (8 . 17) (9 . 18) (13 . 23)) 2072 0.6665 4.4643 ((7 . 2) (9 . 4) (13 . 7) (14 . 8)) 2081 0.6635 8.9566 ((7 . 20) (8 . 21) (9 . 23) (12 . 24)) 2083 0.6661 5.6693 ((7 . 2) (9 . 4) (12 . 6) (13 . 7)) 2114 0.8329 4.1240 ((7 . 32) (8 . 34) (9 . 36) (12 . 37) (14 . 39)) 2116 0.6592 11.1311 ((7 . 1) (8 . 2) (9 . 3) (13 . 6)) 2117 0.6652 7.3093 ((7 . 20) (8 . 22) (9 . 23) (12 . 24)) 2118 0.9986 4.3540 ((7 . 1) (8 . 4) (9 . 5) (12 . 6) (13 . 7) (14 . 8)) 2122 0.6648 7.7995 ((7 . 1) (12 . 7) (13 . 8) (14 . 9)) 2166 0.6655 6.8954 ((7 . 15) (8 . 16) (9 . 17) (13 . 21)) 2179 0.8322 5.2400 ((7 . 7) (8 . 9) (9 . 10) (12 . 12) (13 . 13)) 2203 0.6662 5.3799 ((8 . 5) (9 . 7) (12 . 8) (13 . 10)) 2205 0.6646 8.0228 ((7 . 21) (8 . 22) (9 . 23) (12 . 25)) 2209 0.6664 4.9049 ((7 . 5) (9 . 7) (12 . 8) (13 . 9)) 2243 0.6658 6.4085 ((8 . 61) (9 . 62) (13 . 67) (14 . 68)) 2244 0.6632 9.1247 ((7 . 71) (8 . 73) (9 . 74) (13 . 76)) 2248 0.6627 9.4810 ((7 . 16) (12 . 20) (13 . 22) (14 . 23)) 2249 0.8146 10.6603 ((7 . 11) (9 . 12) (12 . 14) (13 . 16) (14 . 19)) 2269 0.9903 7.1470 ((7 . 6) (8 . 7) (9 . 8) (12 . 9) (13 . 10) (14 . 11)) 2279 0.6654 7.1173 ((7 . 11) (8 . 10) (12 . 15) (13 . 19)) 2298 0.6661 5.7779 ((7 . 8) (9 . 12) (12 . 14) (13 . 15)) 2308 0.8328 4.3719 ((7 . 4) (8 . 5) (9 . 6) (13 . 8) (14 . 10)) 2340 0.6645 8.1032 ((7 . 9) (9 . 11) (13 . 14) (14 . 15)) 2344 0.6663 5.0296 ((8 . 1) (9 . 3) (12 . 5) (13 . 6)) 2364 0.6664 4.9527 ((7 . 9) (9 . 15) (12 . 16) (13 . 18)) 2381 0.6659 6.1946 ((7 . 4) (8 . 5) (9 . 6) (12 . 8)) 2389 0.6661 5.7163 ((7 . 9) (8 . 10) (9 . 11) (12 . 12)) 2393 0.6620 9.8714 ((8 . 15) (12 . 17) (13 . 18) (14 . 19)) 2422 0.6663 5.1985 ((7 . 7) (8 . 8) (9 . 9) (12 . 10)) 2423 0.6653 7.1853 ((7 . 19) (8 . 20) (12 . 23) (13 . 25)) 2440 0.6664 4.7402 ((9 . 4) (12 . 5) (13 . 7) (14 . 10)) 2447 0.1998 7.7882 ((7 . 18) (9 . 21) (12 . 22) (13 . 24) (14 . 26)) 2462 0.1996 9.4059 ((9 . 1) (12 . 2) (13 . 3) (14 . 5)) 2510 0.6659 6.1538 ((7 . 1) (9 . 3) (12 . 4) (13 . 5)) 2519 0.6653 7.2327 ((9 . 2) (12 . 4) (13 . 5) (14 . 6)) 2525 0.1996 8.1218 ((8 . 38) (12 . 42) (13 . 43) (14 . 44)) 2529 0.6658 6.4868 ((9 . 1) (12 . 2) (13 . 3) (14 . 7)) 2533 0.6663 5.1337 ((7 . 6) (9 . 9) (12 . 11) (13 . 13)) 2552 0.6650 7.5520 ((9 . 1) (12 . 2) (13 . 3) (14 . 4)) 2556 0.6660 5.9422 ((7 . 11) (9 . 13) (12 . 14) (13 . 16)) 2619 0.6633 9.0575 ((7 . 2) (8 . 1) (9 . 3) (12 . 4)) 2650 0.6642 8.4082 ((7 . 2) (8 . 1) (12 . 4) (13 . 5)) 2675 0.6633 9.0700 ((7 . 4) (8 . 5) (9 . 8) (13 . 11)) 2682 0.6642 8.3968 ((7 . 12) (8 . 13) (12 . 16) (13 . 17)) 2731 0.6624 9.6528 ((7 . 1) (12 . 3) (13 . 5) (14 . 6)) 2733 0.6642 8.3956 ((9 . 8) (12 . 9) (13 . 11) (14 . 13)) 2755 0.6664 4.9464 ((7 . 3) (9 . 6) (12 . 7) (13 . 8)) 2773 0.1996 11.8557 ((7 . 3) (12 . 4) (13 . 6) (14 . 7)) 2783 0.6662 5.4230 ((8 . 7) (9 . 8) (12 . 9) (13 . 12)) 2821 0.6632 9.1378 ((7 . 3) (12 . 10) (13 . 11) (14 . 12)) 2830 0.6662 5.3758 ((7 . 3) (9 . 5) (12 . 6) (13 . 7)) 2834 0.6641 8.4382 ((9 . 1) (12 . 2) (13 . 3) (14 . 7)) 2842 0.6662 5.4071 ((7 . 4) (8 . 5) (12 . 8) (13 . 9)) 2879 0.6664 4.8782 ((7 . 51) (8 . 52) (9 . 53) (12 . 55)) 2886 0.6663 5.0562 ((7 . 38) (8 . 39) (9 . 41) (13 . 44)) 2940 0.6654 7.0278 ((7 . 1) (9 . 3) (12 . 2) (13 . 4)) 2947 0.6660 5.9438 ((7 . 2) (8 . 3) (9 . 4) (12 . 5)) 2966 0.6666 3.7943 ((7 . 3) (8 . 4) (9 . 6) (13 . 9)) 2990 0.6655 7.0112 ((7 . 12) (12 . 13) (13 . 16) (14 . 17)) 2999 0.6656 6.7306 ((7 . 2) (9 . 4) (12 . 5) (13 . 6)) 3019 0.6657 6.6706 ((8 . 22) (12 . 24) (13 . 25) (14 . 26)) 3034 0.8090 11.4371 ((7 . 5) (9 . 7) (12 . 8) (13 . 9) (14 . 11)) 3041 0.6663 5.2094 ((7 . 14) (9 . 16) (12 . 17) (13 . 18)) 3055 0.6642 8.4127 ((7 . 21) (8 . 23) (9 . 24) (13 . 28)) 3070 0.6651 7.4480 ((8 . 32) (9 . 33) (12 . 34) (14 . 37)) 3084 0.6664 4.8863 ((7 . 5) (9 . 7) (12 . 8) (13 . 9)) 3102 0.6658 6.4557 ((7 . 75) (8 . 76) (9 . 77) (13 . 80)) 3103 0.6657 6.6665 ((8 . 3) (9 . 5) (12 . 6) (13 . 9)) 3114 0.6655 7.0108 ((7 . 23) (8 . 24) (9 . 25) (12 . 27)) 3120 0.1996 9.9695 ((9 . 21) (12 . 23) (13 . 22) (14 . 24)) 3127 0.6658 6.4599 ((9 . 11) (12 . 12) (13 . 13) (14 . 16)) 3147 0.6657 6.5432 ((7 . 6) (8 . 7) (9 . 8) (13 . 12)) 3176 0.6545 12.6201 ((7 . 26) (8 . 27) (9 . 29) (14 . 32)) 3190 0.6661 5.7394 ((7 . 6) (9 . 9) (12 . 10) (13 . 11)) 3197 0.8300 6.8454 ((7 . 10) (8 . 12) (12 . 13) (13 . 14) (14 . 15)) 3200 0.1499 12.7199 ((7 . 1) (9 . 3) (13 . 6) (14 . 7)) 3212 0.6664 4.7196 ((7 . 2) (8 . 3) (9 . 5) (12 . 7)) 3222 0.6656 6.7539 ((8 . 15) (9 . 16) (12 . 17) (13 . 19)) 3256 0.8227 9.1989 ((7 . 19) (8 . 20) (9 . 21) (13 . 26) (14 . 27)) 3261 0.6663 5.1582 ((7 . 7) (8 . 8) (9 . 9) (12 . 11)) 3286 0.6655 6.9891 ((7 . 3) (8 . 4) (13 . 7) (14 . 8)) 3297 0.6653 7.2369 ((7 . 7) (8 . 8) (9 . 9) (13 . 11)) 3322 0.6656 6.7656 ((9 . 1) (12 . 2) (13 . 5) (14 . 6)) 3334 0.8332 3.3015 ((8 . 4) (9 . 5) (12 . 9) (13 . 10) (14 . 11)) 3339 0.6664 4.8071 ((7 . 15) (9 . 17) (12 . 18) (13 . 19)) 3358 0.6642 8.3756 ((9 . 4) (12 . 5) (13 . 8) (14 . 9)) 3362 0.6660 6.0820 ((7 . 4) (9 . 6) (12 . 7) (13 . 8)) 3391 0.6662 5.5160 ((7 . 6) (9 . 10) (12 . 12) (13 . 13)) 3410 0.6663 5.2689 ((7 . 19) (9 . 21) (12 . 23) (13 . 24)) 3472 0.6653 7.2955 ((7 . 5) (8 . 6) (9 . 8) (13 . 11)) 3481 0.6660 6.1169 ((7 . 8) (9 . 10) (12 . 11) (13 . 12)) 3495 0.6647 7.9731 ((7 . 1) (8 . 2) (9 . 3) (12 . 5)) 3496 0.6607 10.5153 ((8 . 18) (9 . 19) (12 . 20) (14 . 21)) 3538 0.6654 7.1174 ((7 . 18) (8 . 20) (12 . 22) (13 . 23)) 3548 0.6662 5.5430 ((7 . 8) (8 . 9) (9 . 10) (12 . 11)) 3561 0.6662 5.4144 ((7 . 22) (9 . 26) (12 . 27) (13 . 28)) 3570 0.6641 8.4438 ((7 . 3) (8 . 4) (9 . 7) (12 . 9)) 3585 0.6657 6.5904 ((7 . 12) (8 . 13) (12 . 15) (13 . 16)) 3628 0.6660 5.9500 ((7 . 10) (9 . 12) (12 . 13) (13 . 14)) 3651 0.6662 5.3945 ((7 . 1) (9 . 3) (12 . 4) (13 . 5)) 3658 0.6611 10.3256 ((7 . 4) (9 . 6) (12 . 9) (13 . 8)) 3659 0.6659 6.3300 ((7 . 7) (8 . 8) (13 . 12) (14 . 14)) 3663 0.6652 7.3166 ((7 . 1) (8 . 2) (12 . 6) (14 . 7)) 3688 0.6382 15.8559 ((7 . 5) (8 . 7) (12 . 10) (13 . 11)) 3697 0.6659 6.2692 ((8 . 6) (9 . 7) (12 . 8) (13 . 10)) 3703 0.6662 5.4992 ((7 . 7) (8 . 8) (9 . 9) (12 . 11)) 3732 0.6660 6.0203 ((7 . 5) (9 . 7) (12 . 8) (13 . 9)) 3733 0.6658 6.4207 ((9 . 1) (12 . 2) (13 . 3) (14 . 4)) 3740 0.6643 8.2789 ((7 . 6) (8 . 7) (12 . 8) (13 . 9)) 3741 0.6661 5.7828 ((7 . 26) (8 . 27) (9 . 28) (13 . 32)) 3776 0.6646 8.0329 ((7 . 19) (8 . 20) (9 . 21) (13 . 24)) 3787 0.8143 10.7160 ((7 . 29) (9 . 33) (12 . 34) (13 . 35) (14 . 37)) 3790 0.6662 5.5990 ((7 . 24) (8 . 25) (9 . 26) (13 . 30)) 3807 0.8323 5.0446 ((7 . 43) (8 . 46) (9 . 47) (12 . 49) (13 . 50)) 3817 0.6661 5.8387 ((9 . 5) (12 . 6) (13 . 7) (14 . 8)) 3818 0.6624 9.6479 ((7 . 20) (9 . 23) (12 . 24) (14 . 27)) 3831 0.6663 5.2427 ((7 . 2) (8 . 5) (9 . 6) (13 . 9)) 3847 0.0999 8.1456 ((8 . 9) (12 . 11) (13 . 13) (14 . 15)) 3870 0.6543 12.6708 ((7 . 8) (9 . 10) (12 . 12) (14 . 14)) 3938 0.6609 10.4301 ((8 . 2) (12 . 5) (13 . 6) (14 . 12)) 3942 0.6661 5.7105 ((7 . 2) (8 . 3) (12 . 8) (13 . 9)) 3968 0.6661 5.8962 ((7 . 5) (9 . 9) (12 . 10) (13 . 11)) 3990 0.6661 5.7733 ((7 . 18) (9 . 20) (12 . 21) (13 . 22)) 4005 0.6626 9.5056 ((7 . 25) (8 . 26) (9 . 27) (13 . 32)) 4009 0.6662 5.4348 ((9 . 1) (12 . 6) (13 . 7) (14 . 8)) 4019 0.6646 7.9856 ((7 . 34) (8 . 35) (9 . 36) (13 . 42)) 4034 0.6657 6.5907 ((7 . 13) (9 . 15) (12 . 14) (13 . 16)) 4037 0.0999 9.8996 ((8 . 1) (12 . 4) (13 . 3) (14 . 5)) 4062 0.6523 13.1930 ((7 . 48) (8 . 49) (12 . 52) (14 . 53)) 4067 0.6662 5.5731 ((7 . 20) (9 . 22) (12 . 23) (13 . 24)) 4082 0.6651 7.5229 ((7 . 5) (8 . 6) (9 . 7) (13 . 10)) 4087 0.6659 6.1692 ((8 . 5) (9 . 6) (13 . 8) (14 . 9)) 4115 0.6647 7.8910 ((7 . 1) (9 . 5) (12 . 7) (13 . 8)) 4140 0.8329 4.1560 ((7 . 21) (8 . 22) (9 . 23) (12 . 25) (14 . 27)) 4151 0.6662 5.4908 ((7 . 12) (9 . 15) (12 . 16) (13 . 17)) 4177 0.6654 7.0709 ((8 . 1) (9 . 2) (12 . 4) (14 . 6)) 4190 0.6665 4.0246 ((7 . 1) (8 . 3) (13 . 8) (14 . 7)) 4192 0.6662 5.4342 ((7 . 10) (8 . 13) (12 . 14) (13 . 15)) 4194 0.6663 5.3519 ((9 . 1) (12 . 2) (13 . 3) (14 . 4)) 4204 0.6657 6.5680 ((9 . 3) (12 . 4) (13 . 7) (14 . 10)) 4209 0.6656 6.7675 ((7 . 5) (8 . 7) (9 . 8) (12 . 11)) 4210 0.8317 5.7181 ((7 . 4) (8 . 5) (9 . 6) (12 . 7) (13 . 8)) 4226 0.6659 6.2754 ((7 . 1) (9 . 4) (12 . 5) (13 . 6)) 4236 0.6659 6.2687 ((7 . 6) (8 . 7) (9 . 8) (14 . 13)) 4254 0.8295 7.1069 ((8 . 9) (9 . 11) (12 . 12) (13 . 15) (14 . 16)) 4255 0.6581 11.5135 ((7 . 21) (9 . 23) (12 . 25) (13 . 26)) 4257 0.6664 4.8125 ((7 . 1) (8 . 3) (12 . 6) (13 . 7)) 4265 0.6652 7.3071 ((7 . 21) (8 . 23) (12 . 27) (13 . 29)) 4266 0.8271 8.0272 ((7 . 2) (9 . 4) (12 . 5) (13 . 6) (14 . 7)) 4275 0.6656 6.8223 ((9 . 21) (12 . 22) (13 . 23) (14 . 24)) 4281 0.6650 7.6530 ((7 . 3) (8 . 4) (12 . 9) (13 . 10)) 4284 0.6661 5.7496 ((7 . 4) (8 . 5) (9 . 6) (12 . 7)) 4299 0.6661 5.8770 ((7 . 9) (9 . 11) (12 . 13) (13 . 14)) 4301 0.6641 8.4332 ((7 . 2) (8 . 3) (9 . 4) (13 . 9)) 4326 0.6640 8.5351 ((7 . 7) (8 . 10) (12 . 14) (13 . 15)) 4338 0.8287 7.4223 ((8 . 2) (9 . 4) (12 . 5) (13 . 6) (14 . 9)) 4359 0.6662 5.3717 ((7 . 8) (8 . 9) (9 . 10) (13 . 12)) 4380 0.6655 6.9678 ((7 . 30) (8 . 31) (9 . 32) (13 . 36)) 4386 0.6644 8.2221 ((7 . 1) (12 . 3) (13 . 4) (14 . 5)) 4388 0.6664 4.6991 ((7 . 8) (8 . 9) (9 . 10) (13 . 12)) 4398 0.6664 4.9952 ((9 . 4) (12 . 5) (13 . 6) (14 . 9)) 4405 0.6643 8.3065 ((8 . 18) (9 . 19) (12 . 20) (13 . 22)) 4408 0.6661 5.6777 ((7 . 2) (8 . 3) (9 . 4) (12 . 5)) 4415 0.0999 8.4505 ((9 . 1) (12 . 2) (13 . 3) (14 . 5)) 4419 0.6641 8.4551 ((7 . 7) (8 . 8) (9 . 9) (12 . 11)) 4470 0.6657 6.5961 ((7 . 2) (8 . 3) (9 . 5) (12 . 6)) 4491 0.6582 11.4683 ((7 . 1) (9 . 5) (12 . 7) (13 . 8)) 4492 0.8176 10.1923 ((7 . 16) (9 . 18) (12 . 19) (13 . 21) (14 . 22)) 4495 0.6663 5.2610 ((7 . 6) (9 . 8) (12 . 9) (13 . 10)) 4502 0.8250 8.6294 ((7 . 9) (8 . 10) (9 . 11) (12 . 13) (14 . 16)) 4504 0.8183 10.0621 ((7 . 13) (9 . 15) (12 . 16) (13 . 17) (14 . 18)) 4505 0.8185 10.0364 ((7 . 26) (9 . 28) (12 . 29) (13 . 30) (14 . 31)) 4516 0.6662 5.4182 ((7 . 14) (9 . 18) (12 . 19) (13 . 20)) 4560 0.6658 6.5059 ((9 . 6) (12 . 7) (13 . 8) (14 . 10)) 4561 0.8257 8.4429 ((7 . 1) (9 . 5) (12 . 6) (13 . 7) (14 . 8)) 4562 0.6662 5.5867 ((7 . 22) (9 . 25) (12 . 26) (13 . 27)) 4563 0.6660 6.0171 ((9 . 26) (12 . 27) (13 . 28) (14 . 30)) 4577 0.6639 8.6522 ((7 . 42) (8 . 43) (9 . 47) (13 . 48)) 4588 0.6660 6.1219 ((7 . 9) (9 . 11) (12 . 12) (13 . 13)) 4630 0.6636 8.8789 ((7 . 26) (8 . 28) (9 . 29) (13 . 33)) 4648 0.6655 6.9679 ((7 . 1) (8 . 2) (12 . 7) (13 . 8)) 4668 0.6663 5.3432 ((7 . 7) (9 . 9) (12 . 10) (13 . 11)) 4669 0.6662 5.6472 ((8 . 12) (9 . 13) (12 . 16) (13 . 17)) 4674 0.6645 8.0821 ((8 . 1) (9 . 2) (12 . 4) (14 . 5)) 4857 0.6643 8.3139 ((7 . 11) (9 . 13) (12 . 14) (14 . 16)) 4886 0.6664 4.6529 ((7 . 30) (8 . 31) (13 . 32) (14 . 33)) 4888 0.1996 12.5918 ((7 . 9) (9 . 12) (13 . 14) (14 . 18)) 4889 0.6653 7.2847 ((7 . 2) (8 . 3) (9 . 4) (12 . 5)) 4907 0.6663 5.2028 ((7 . 4) (8 . 5) (9 . 7) (12 . 10)) 4914 0.6658 6.5330 ((7 . 8) (8 . 9) (9 . 10) (13 . 12)) 4921 0.6638 8.7121 ((7 . 8) (8 . 9) (12 . 13) (13 . 14)) 4929 0.6658 6.3606 ((7 . 31) (8 . 32) (9 . 33) (13 . 35)) 4932 0.8313 6.0380 ((7 . 1) (8 . 5) (9 . 6) (12 . 7) (13 . 8)) 4940 0.6659 6.1578 ((7 . 2) (8 . 3) (12 . 5) (13 . 8)) 4961 0.6640 8.5717 ((7 . 14) (8 . 15) (9 . 17) (13 . 20)) 4978 0.6659 6.2921 ((7 . 28) (9 . 30) (12 . 31) (13 . 32)) 4982 0.6665 4.1385 ((8 . 9) (9 . 10) (12 . 11) (13 . 14)) 4992 0.8277 7.8123 ((7 . 1) (8 . 2) (9 . 3) (12 . 4) (13 . 6)) 4998 0.6626 9.4938 ((7 . 20) (9 . 23) (12 . 24) (13 . 25)) 5029 0.6663 5.3332 ((7 . 4) (9 . 8) (12 . 9) (13 . 10)) 5036 0.6642 8.3585 ((7 . 4) (8 . 5) (9 . 6) (13 . 9)) 5039 0.6658 6.3743 ((9 . 37) (12 . 38) (13 . 41) (14 . 43)) 5053 0.6663 5.3272 ((7 . 9) (8 . 10) (12 . 14) (13 . 15)) 5065 0.6649 7.7138 ((7 . 8) (8 . 9) (9 . 10) (12 . 12)) 5068 0.6660 6.0227 ((7 . 2) (9 . 4) (12 . 6) (13 . 7)) 5069 0.6663 5.0370 ((7 . 17) (8 . 18) (9 . 19) (12 . 20)) 5073 0.6660 5.9712 ((7 . 34) (9 . 36) (12 . 38) (13 . 39)) 5101 0.6655 7.0011 ((7 . 15) (9 . 18) (12 . 19) (13 . 21)) 5103 0.6657 6.5925 ((9 . 17) (12 . 18) (13 . 19) (14 . 20)) 5121 0.6613 10.2361 ((7 . 16) (8 . 18) (12 . 22) (14 . 23)) 5132 0.6662 5.5818 ((7 . 16) (9 . 18) (12 . 19) (13 . 20)) 5145 0.6592 11.1123 ((7 . 3) (9 . 5) (12 . 7) (14 . 11)) 5167 0.6660 6.0347 ((7 . 9) (9 . 12) (12 . 13) (13 . 14)) 5183 0.6666 3.4470 ((7 . 36) (8 . 37) (9 . 38) (12 . 39)) 5192 0.6657 6.7107 ((9 . 1) (12 . 2) (13 . 3) (14 . 6)) 5198 0.2987 7.6169 ((7 . 21) (8 . 24) (12 . 25) (13 . 26) (14 . 27)) 5209 0.6647 7.9055 ((7 . 4) (8 . 3) (12 . 6) (13 . 7)) 5215 0.6662 5.6163 ((7 . 9) (8 . 10) (12 . 14) (13 . 15)) 5223 0.6664 4.8710 ((7 . 6) (9 . 8) (12 . 9) (13 . 10)) 5231 0.6610 10.3673 ((8 . 13) (9 . 14) (12 . 15) (14 . 17)) 5266 0.6661 5.9169 ((7 . 4) (9 . 8) (12 . 9) (13 . 10)) 5278 0.6653 7.2326 ((7 . 7) (8 . 8) (9 . 9) (13 . 12)) 5307 0.6656 6.7284 ((9 . 51) (12 . 52) (13 . 53) (14 . 54)) 5318 0.0999 7.4628 ((9 . 8) (12 . 9) (13 . 11) (14 . 12)) 5323 0.0999 15.7880 ((7 . 10) (8 . 11) (12 . 14) (14 . 16)) 5324 0.6664 4.5672 ((7 . 10) (8 . 12) (12 . 13) (13 . 14)) 5344 0.6633 9.0932 ((8 . 1) (9 . 2) (13 . 4) (14 . 5)) 5345 0.6638 8.7480 ((7 . 4) (8 . 5) (9 . 7) (13 . 12)) 5368 0.6662 5.5953 ((7 . 21) (8 . 22) (9 . 25) (13 . 27)) 5378 0.1996 12.3689 ((9 . 7) (12 . 10) (13 . 9) (14 . 13)) 5411 0.6586 11.3428 ((9 . 3) (12 . 5) (13 . 6) (14 . 9)) 5418 0.6664 4.8098 ((7 . 3) (8 . 5) (9 . 7) (12 . 10)) 5433 0.6652 7.4082 ((7 . 5) (8 . 7) (9 . 8) (13 . 14)) 5479 0.6662 5.6302 ((8 . 60) (9 . 61) (13 . 63) (14 . 65)) 5487 0.6661 5.8215 ((7 . 4) (9 . 9) (12 . 10) (13 . 11)) 5489 0.6648 7.8632 ((7 . 11) (8 . 12) (9 . 13) (13 . 16)) 5500 0.6543 12.6821 ((8 . 7) (12 . 10) (13 . 12) (14 . 13)) 5501 0.6496 13.8054 ((8 . 24) (12 . 28) (13 . 30) (14 . 32)) 5535 0.6653 7.2265 ((7 . 6) (8 . 7) (13 . 12) (14 . 13)) 5540 0.6653 7.2262 ((8 . 1) (12 . 2) (13 . 4) (14 . 5)) 5557 0.8306 6.5310 ((7 . 2) (8 . 3) (9 . 4) (12 . 5) (13 . 6)) 5560 0.6655 6.8755 ((7 . 13) (9 . 15) (12 . 16) (13 . 17)) 5562 0.6663 5.0230 ((8 . 6) (9 . 7) (12 . 9) (13 . 11)) 5567 0.6663 5.1980 ((7 . 11) (9 . 15) (12 . 16) (13 . 17)) 5594 0.8212 9.5113 ((7 . 6) (9 . 9) (12 . 10) (13 . 12) (14 . 13)) 5600 0.0999 7.6643 ((8 . 3) (12 . 7) (13 . 9) (14 . 10)) 5601 0.6530 13.0023 ((7 . 3) (9 . 5) (13 . 8) (14 . 9)) 5638 1.0000 0.0000 ((7 . 7) (8 . 8) (9 . 9) (12 . 12) (13 . 13) (14 . 14)) 5640 0.6661 5.9027 ((7 . 21) (8 . 22) (9 . 23) (13 . 25)) 5656 0.8245 8.7646 ((8 . 1) (9 . 5) (12 . 6) (13 . 8) (14 . 11)) 5700 0.6648 7.8449 ((7 . 3) (8 . 4) (12 . 7) (13 . 8)) 5701 0.8324 4.9591 ((7 . 4) (8 . 5) (9 . 6) (13 . 8) (14 . 10)) 5711 0.8225 9.2379 ((7 . 42) (8 . 43) (9 . 44) (13 . 47) (14 . 48)) 5713 0.6647 7.8878 ((7 . 18) (8 . 19) (9 . 20) (13 . 24)) 5718 0.6643 8.3273 ((7 . 16) (8 . 17) (12 . 22) (13 . 23)) 5731 0.0999 8.0670 ((8 . 2) (12 . 6) (13 . 7) (14 . 8)) 5746 0.6661 5.8314 ((7 . 10) (9 . 13) (12 . 12) (13 . 14)) 5749 0.6662 5.4165 ((7 . 4) (8 . 5) (9 . 6) (12 . 8)) 5761 0.6661 5.7729 ((7 . 30) (8 . 31) (9 . 32) (12 . 34)) 5771 0.6660 6.0794 ((9 . 17) (12 . 19) (13 . 21) (14 . 22)) 5782 0.6664 4.9942 ((8 . 21) (9 . 22) (12 . 23) (13 . 24)) 5794 0.6659 6.1642 ((7 . 15) (8 . 16) (13 . 19) (14 . 22)) 5795 0.6660 6.0007 ((7 . 10) (9 . 13) (12 . 15) (13 . 16)) 5809 0.6660 6.0394 ((7 . 7) (9 . 9) (12 . 10) (13 . 12)) 5827 0.8318 5.6326 ((7 . 3) (8 . 4) (9 . 5) (12 . 6) (13 . 8)) 5830 0.6600 10.7897 ((7 . 8) (8 . 10) (13 . 13) (14 . 15)) 5861 0.6665 4.3291 ((7 . 11) (8 . 15) (9 . 16) (13 . 20)) 5865 0.6664 4.6971 ((8 . 4) (9 . 5) (12 . 6) (13 . 7)) 5888 0.6659 6.2989 ((7 . 26) (8 . 27) (9 . 28) (13 . 30)) 5896 0.0999 8.8450 ((9 . 26) (12 . 27) (13 . 28) (14 . 30)) 5904 0.6639 8.6272 ((7 . 4) (12 . 6) (13 . 7) (14 . 8)) 5913 0.6663 5.3055 ((7 . 5) (8 . 6) (9 . 7) (14 . 12)) 5914 0.6638 8.7011 ((7 . 2) (8 . 3) (12 . 7) (13 . 6)) 5930 0.6660 6.0518 ((7 . 2) (9 . 4) (12 . 6) (13 . 7)) 5939 0.6650 7.6500 ((7 . 2) (12 . 5) (13 . 6) (14 . 7)) 5945 0.6660 6.0013 ((7 . 23) (9 . 26) (12 . 27) (13 . 28)) 5949 0.6653 7.2932 ((7 . 9) (9 . 12) (13 . 14) (14 . 15)) 5955 0.6642 8.3992 ((7 . 9) (12 . 13) (13 . 14) (14 . 18)) 5967 0.6654 7.1418 ((9 . 1) (12 . 2) (13 . 7) (14 . 8)) 5977 0.6658 6.4557 ((7 . 1) (9 . 3) (12 . 4) (13 . 5)) 6000 0.6561 12.1494 ((7 . 9) (12 . 11) (13 . 15) (14 . 16)) 6011 0.6659 6.3322 ((7 . 14) (8 . 15) (9 . 16) (14 . 21)) 6022 0.6656 6.7521 ((7 . 4) (8 . 5) (9 . 7) (13 . 9)) 6029 0.6661 5.7060 ((7 . 4) (8 . 5) (9 . 6) (12 . 7)) 6041 0.6656 6.7300 ((7 . 10) (8 . 11) (9 . 12) (12 . 14)) 6046 0.6663 5.2319 ((7 . 3) (8 . 5) (9 . 6) (12 . 7)) 6061 0.6649 7.7233 ((7 . 15) (9 . 17) (12 . 18) (13 . 20)) 6074 0.6664 4.9658 ((7 . 6) (8 . 8) (12 . 10) (13 . 11)) 6079 0.8316 5.8080 ((7 . 7) (8 . 8) (9 . 9) (12 . 10) (13 . 11)) 6087 0.1996 8.0681 ((9 . 8) (12 . 9) (13 . 10) (14 . 11)) 6089 0.6656 6.7825 ((9 . 1) (12 . 2) (13 . 3) (14 . 4)) 6094 0.6601 10.7447 ((7 . 10) (8 . 11) (9 . 12) (13 . 15)) 6099 0.6657 6.5490 ((7 . 22) (8 . 23) (9 . 24) (13 . 26)) 6123 0.6647 7.9410 ((7 . 3) (8 . 4) (9 . 5) (12 . 7)) 6142 0.6660 5.9329 ((7 . 12) (8 . 13) (9 . 14) (13 . 16)) 6173 0.6656 6.7702 ((7 . 3) (8 . 4) (9 . 5) (13 . 8)) 6191 0.6617 9.9999 ((7 . 6) (8 . 9) (9 . 10) (13 . 13)) 6192 0.6657 6.6784 ((9 . 1) (12 . 2) (13 . 3) (14 . 4)) 6225 0.6642 8.3867 ((7 . 5) (12 . 9) (13 . 10) (14 . 11)) 6228 0.6658 6.4285 ((9 . 1) (12 . 2) (13 . 5) (14 . 6)) 6238 0.6657 6.5693 ((7 . 3) (8 . 4) (12 . 6) (13 . 8)) 6243 0.6622 9.7403 ((7 . 8) (9 . 10) (12 . 11) (14 . 13)) 6251 0.6655 7.0050 ((7 . 15) (9 . 17) (13 . 19) (14 . 20)) 6258 0.6656 6.7871 ((7 . 9) (9 . 10) (12 . 11) (13 . 13)) 6261 0.0999 12.4803 ((7 . 4) (8 . 6) (12 . 10) (14 . 14)) 6266 0.6662 5.3764 ((7 . 5) (9 . 6) (12 . 7) (13 . 8)) 6270 0.1996 10.3130 ((9 . 18) (12 . 19) (13 . 20) (14 . 23)) 6271 0.6656 6.8385 ((7 . 10) (8 . 11) (9 . 12) (12 . 14)) 6294 0.6654 7.0772 ((7 . 9) (9 . 11) (12 . 12) (13 . 14)) 6309 0.6650 7.5439 ((7 . 18) (8 . 20) (13 . 25) (14 . 26)) 6311 0.6658 6.4604 ((7 . 11) (8 . 10) (9 . 13) (13 . 14)) 6344 0.6657 6.6107 ((7 . 13) (9 . 15) (12 . 16) (13 . 19)) 6345 0.0999 10.8646 ((7 . 4) (8 . 5) (12 . 8) (14 . 9)) 6348 0.0999 10.6119 ((9 . 1) (12 . 3) (13 . 4) (14 . 5)) 6355 0.6655 6.8852 ((7 . 6) (8 . 8) (13 . 11) (14 . 13)) 6356 0.6659 6.3306 ((9 . 4) (12 . 5) (13 . 6) (14 . 10)) 6369 0.6660 5.9590 ((7 . 26) (9 . 29) (12 . 30) (13 . 31)) 6391 0.6647 7.8956 ((7 . 8) (8 . 10) (9 . 12) (12 . 11)) 6392 0.6652 7.4081 ((7 . 9) (12 . 14) (13 . 15) (14 . 16)) 6399 0.6658 6.3887 ((7 . 6) (8 . 7) (9 . 8) (13 . 11)) 6403 0.8322 5.1847 ((7 . 3) (8 . 4) (9 . 5) (12 . 6) (13 . 7)) 6434 0.6608 10.4537 ((7 . 3) (8 . 4) (9 . 5) (14 . 8)) 6461 0.1996 6.0555 ((8 . 3) (12 . 5) (13 . 6) (14 . 7)) 6462 0.6664 4.9373 ((7 . 16) (8 . 18) (12 . 19) (13 . 20)) 6498 0.6664 4.6541 ((7 . 1) (8 . 2) (9 . 3) (12 . 5)) 6520 0.8316 5.8249 ((7 . 1) (8 . 2) (9 . 6) (13 . 8) (14 . 23)) 6539 0.6609 10.3858 ((7 . 2) (9 . 4) (12 . 7) (13 . 8)) 6540 0.6651 7.4428 ((7 . 16) (8 . 17) (9 . 18) (13 . 21)) 6553 0.6660 6.0842 ((7 . 15) (9 . 17) (12 . 19) (13 . 20)) 6555 0.6615 10.0968 ((8 . 17) (9 . 19) (12 . 21) (13 . 22)) 6561 0.6657 6.6721 ((7 . 12) (8 . 13) (9 . 15) (12 . 16)) 6575 0.6653 7.2413 ((7 . 1) (8 . 2) (12 . 6) (14 . 7)) 6578 0.8330 3.8449 ((7 . 34) (8 . 37) (9 . 38) (12 . 39) (14 . 41)) 6584 0.6658 6.4120 ((7 . 3) (9 . 5) (13 . 9) (14 . 10)) 6585 0.6659 6.1844 ((9 . 6) (12 . 7) (13 . 8) (14 . 9)) 6586 0.6626 9.5043 ((7 . 18) (12 . 22) (13 . 24) (14 . 23)) 6587 0.6660 6.0282 ((9 . 29) (12 . 30) (13 . 31) (14 . 32)) 6598 0.6659 6.3445 ((7 . 4) (8 . 5) (9 . 6) (13 . 8)) 6613 0.6662 5.5913 ((8 . 21) (9 . 22) (12 . 23) (13 . 24)) END