4209 25 0.3986 13.7277 ((3 . 4) (6 . 5) (8 . 7) (11 . 9)) 51 0.3999 7.5969 ((2 . 6) (4 . 7) (7 . 10) (10 . 13)) 62 0.3999 6.0067 ((1 . 10) (2 . 12) (4 . 13) (8 . 17)) 64 0.3999 7.1569 ((1 . 9) (2 . 10) (10 . 15) (11 . 16)) 77 0.3998 8.6370 ((1 . 9) (3 . 12) (6 . 16) (11 . 17)) 91 0.3998 8.1431 ((2 . 37) (3 . 39) (4 . 40) (11 . 46)) 96 0.3998 8.5353 ((1 . 1) (4 . 3) (6 . 4) (7 . 5)) 129 0.3999 7.2973 ((1 . 2) (4 . 5) (7 . 10) (10 . 12)) 136 0.3997 9.0446 ((1 . 3) (4 . 5) (6 . 6) (7 . 7)) 150 0.3670 7.6921 ((3 . 17) (6 . 18) (7 . 19) (11 . 21)) 153 0.3998 8.4649 ((1 . 6) (4 . 8) (7 . 9) (10 . 12)) 155 0.3994 11.2159 ((1 . 2) (2 . 3) (6 . 5) (11 . 8)) 157 0.3996 9.8422 ((1 . 9) (6 . 15) (8 . 16) (10 . 18)) 161 0.4000 4.6529 ((2 . 3) (4 . 4) (8 . 9) (10 . 10)) 169 0.3996 10.3528 ((2 . 2) (4 . 3) (5 . 5) (8 . 7)) 177 0.3997 9.5104 ((1 . 1) (4 . 4) (8 . 7) (11 . 9)) 191 0.3999 7.0299 ((4 . 8) (5 . 1) (7 . 2) (10 . 7)) 198 0.4886 6.1338 ((1 . 7) (2 . 8) (5 . 12) (7 . 13) (8 . 14)) 207 0.3671 5.2588 ((1 . 7) (2 . 8) (3 . 10) (7 . 13)) 233 0.3999 7.0943 ((1 . 2) (2 . 3) (5 . 7) (7 . 8)) 300 0.3999 7.1806 ((4 . 6) (7 . 8) (8 . 9) (11 . 11)) 305 0.4000 5.2366 ((1 . 18) (2 . 19) (5 . 21) (7 . 22)) 307 0.3994 11.0807 ((3 . 6) (6 . 8) (7 . 9) (11 . 10)) 315 0.3999 6.5092 ((3 . 2) (4 . 3) (5 . 4) (10 . 8)) 329 0.3363 6.8207 ((3 . 1) (5 . 4) (7 . 5) (11 . 7)) 340 0.5000 2.9155 ((1 . 1) (2 . 2) (4 . 4) (8 . 7) (10 . 9)) 350 0.4000 5.2300 ((1 . 1) (2 . 2) (5 . 5) (7 . 7)) 360 0.4997 7.0659 ((1 . 5) (2 . 6) (5 . 9) (7 . 10) (11 . 13)) 361 0.3668 10.2164 ((1 . 4) (3 . 6) (6 . 9) (10 . 10)) 365 0.4000 5.8809 ((2 . 1) (4 . 2) (5 . 4) (7 . 6)) 367 0.4000 5.5821 ((5 . 40) (6 . 41) (7 . 42) (10 . 44)) 372 0.4824 6.5979 ((1 . 1) (2 . 2) (5 . 7) (7 . 8) (8 . 10)) 387 0.3998 8.0289 ((3 . 6) (4 . 7) (5 . 9) (7 . 10)) 405 0.3999 7.6410 ((2 . 35) (4 . 37) (5 . 39) (7 . 40)) 417 0.3999 7.2026 ((1 . 1) (2 . 2) (5 . 5) (8 . 7)) 420 0.4000 4.4241 ((1 . 4) (2 . 5) (5 . 9) (7 . 10)) 433 0.3999 7.6453 ((2 . 1) (3 . 2) (8 . 5) (10 . 6)) 442 0.3997 9.2375 ((3 . 17) (4 . 19) (7 . 21) (10 . 22)) 460 0.4000 4.6071 ((1 . 1) (2 . 2) (4 . 3) (10 . 8)) 472 0.2412 11.0286 ((1 . 21) (2 . 22) (6 . 24) (11 . 28)) 491 0.4999 5.4266 ((1 . 1) (2 . 6) (4 . 8) (8 . 9) (10 . 10)) 495 0.4000 5.6076 ((3 . 4) (4 . 5) (8 . 8) (11 . 10)) 541 0.3999 6.6157 ((3 . 1) (4 . 2) (7 . 3) (11 . 6)) 543 0.3998 8.5426 ((4 . 10) (6 . 14) (7 . 15) (10 . 16)) 553 0.3996 10.0633 ((2 . 12) (3 . 14) (6 . 15) (11 . 20)) 584 0.2800 11.2985 ((4 . 4) (5 . 5) (10 . 8) (11 . 9)) 587 0.4998 6.2468 ((2 . 2) (4 . 3) (5 . 6) (7 . 7) (8 . 8)) 609 0.3363 8.3169 ((1 . 3) (3 . 5) (4 . 6) (5 . 8)) 619 0.3997 9.0886 ((1 . 7) (2 . 8) (5 . 12) (11 . 14)) 624 0.3999 7.6029 ((1 . 11) (4 . 15) (7 . 16) (11 . 18)) 635 0.2412 10.8783 ((3 . 2) (6 . 4) (10 . 5) (11 . 7)) 672 0.3999 6.7988 ((4 . 18) (6 . 19) (7 . 21) (11 . 25)) 678 0.3666 11.8869 ((1 . 34) (3 . 36) (6 . 39) (11 . 42)) 683 0.4000 3.3553 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 719 0.3999 5.9941 ((2 . 22) (4 . 23) (5 . 25) (7 . 27)) 729 0.3998 8.3797 ((1 . 7) (4 . 9) (5 . 13) (11 . 14)) 735 0.4000 5.9284 ((1 . 31) (2 . 32) (5 . 37) (7 . 39)) 740 0.3669 9.4390 ((3 . 1) (4 . 2) (7 . 4) (10 . 6)) 765 0.3999 7.2404 ((4 . 3) (5 . 4) (7 . 5) (10 . 7)) 767 0.3669 8.9803 ((2 . 3) (5 . 8) (7 . 9) (10 . 12)) 795 0.4000 5.5258 ((1 . 1) (4 . 3) (5 . 5) (7 . 6)) 796 0.3998 8.6082 ((4 . 3) (7 . 5) (8 . 6) (11 . 7)) 812 0.3822 8.9473 ((2 . 8) (3 . 10) (6 . 12) (7 . 13)) 818 0.3994 10.9307 ((2 . 1) (6 . 3) (7 . 4) (10 . 7)) 819 0.2800 7.8993 ((4 . 5) (8 . 8) (10 . 9) (11 . 11)) 824 0.3999 6.9247 ((1 . 46) (2 . 49) (4 . 50) (5 . 53)) 861 0.3999 6.7125 ((1 . 12) (4 . 15) (8 . 18) (10 . 19)) 901 0.3816 12.6860 ((2 . 15) (3 . 14) (7 . 17) (11 . 21)) 904 0.3670 8.5736 ((1 . 2) (3 . 4) (5 . 6) (7 . 7)) 913 0.3999 6.2928 ((2 . 16) (4 . 17) (7 . 20) (11 . 21)) 928 0.1970 7.3880 ((2 . 10) (4 . 12) (10 . 16) (11 . 15)) 937 0.3362 9.3119 ((3 . 2) (5 . 4) (7 . 5) (11 . 6)) 943 0.3363 6.6691 ((1 . 4) (2 . 6) (3 . 7) (7 . 9)) 945 0.3997 9.0739 ((2 . 12) (5 . 14) (10 . 17) (11 . 18)) 949 0.2413 6.9992 ((1 . 30) (2 . 32) (3 . 33) (6 . 37)) 960 0.3820 10.4473 ((2 . 12) (3 . 15) (6 . 16) (7 . 19)) 978 0.3995 10.6949 ((3 . 2) (6 . 3) (8 . 4) (11 . 5)) 1005 0.3823 6.9869 ((1 . 1) (2 . 2) (3 . 3) (6 . 5)) 1007 0.4999 5.4278 ((1 . 7) (2 . 8) (4 . 9) (5 . 11) (7 . 12)) 1008 0.3997 9.6449 ((3 . 2) (5 . 5) (10 . 8) (11 . 11)) 1034 0.3670 7.8442 ((1 . 29) (3 . 31) (4 . 32) (6 . 36)) 1043 0.4000 5.7720 ((2 . 6) (3 . 7) (6 . 9) (7 . 10)) 1082 0.5000 4.3883 ((1 . 1) (2 . 2) (4 . 4) (7 . 6) (8 . 8)) 1084 0.3671 6.2738 ((1 . 11) (2 . 12) (3 . 15) (5 . 17)) 1121 0.1970 7.8217 ((5 . 2) (7 . 3) (8 . 4) (10 . 5)) 1165 0.3999 6.1830 ((2 . 2) (4 . 3) (6 . 6) (7 . 7)) 1167 0.4000 5.9224 ((5 . 20) (7 . 21) (10 . 22) (11 . 24)) 1169 0.4000 5.1866 ((2 . 29) (4 . 30) (5 . 32) (10 . 35)) 1201 0.3949 19.1373 ((1 . 9) (2 . 11) (5 . 15) (7 . 16)) 1204 0.2800 9.2735 ((1 . 1) (3 . 2) (4 . 3) (6 . 4)) 1211 0.3999 7.1974 ((1 . 9) (2 . 10) (4 . 11) (7 . 14)) 1217 0.5932 4.9248 ((1 . 5) (2 . 7) (3 . 8) (4 . 9) (7 . 11) (8 . 12)) 1224 0.4000 4.9447 ((2 . 9) (4 . 10) (5 . 14) (7 . 15)) 1233 0.3999 6.7889 ((2 . 20) (3 . 21) (5 . 23) (7 . 24)) 1267 0.3360 12.1977 ((3 . 8) (4 . 9) (6 . 11) (7 . 12)) 1268 0.3668 10.3083 ((1 . 22) (2 . 25) (3 . 26) (6 . 28)) 1294 0.3998 8.8896 ((1 . 39) (2 . 40) (4 . 41) (10 . 46)) 1301 0.3670 8.2844 ((4 . 1) (6 . 3) (7 . 5) (11 . 7)) 1345 0.3999 7.2722 ((1 . 7) (3 . 8) (8 . 13) (11 . 15)) 1366 0.4000 4.3466 ((1 . 15) (4 . 17) (5 . 20) (7 . 21)) 1388 0.2800 8.7163 ((2 . 1) (3 . 2) (7 . 4) (11 . 7)) 1410 0.3998 8.4270 ((2 . 19) (5 . 21) (7 . 22) (10 . 25)) 1425 0.3999 7.2220 ((1 . 8) (2 . 10) (4 . 11) (5 . 12)) 1435 0.5000 4.3126 ((1 . 3) (2 . 5) (4 . 6) (6 . 9) (10 . 11)) 1447 0.3821 9.3180 ((3 . 4) (6 . 6) (7 . 7) (11 . 10)) 1451 0.3999 7.1104 ((5 . 4) (7 . 5) (10 . 6) (11 . 7)) 1464 0.3999 6.0826 ((1 . 8) (2 . 10) (5 . 13) (7 . 14)) 1472 0.3994 11.0660 ((1 . 7) (2 . 8) (6 . 11) (11 . 12)) 1476 0.3999 7.4854 ((2 . 11) (3 . 13) (6 . 16) (10 . 18)) 1481 0.3670 7.5138 ((2 . 4) (4 . 5) (5 . 7) (6 . 8)) 1501 0.4991 9.3907 ((2 . 1) (4 . 2) (5 . 4) (8 . 6) (10 . 7)) 1508 0.2800 9.3994 ((4 . 2) (6 . 4) (8 . 5) (11 . 6)) 1513 0.3998 8.1499 ((3 . 14) (5 . 15) (10 . 18) (11 . 19)) 1577 0.2413 9.6695 ((1 . 6) (2 . 10) (3 . 9) (7 . 12)) 1591 0.3998 8.6151 ((2 . 1) (6 . 3) (7 . 4) (10 . 6)) 1595 0.1970 9.2271 ((3 . 3) (8 . 7) (10 . 8) (11 . 9)) 1604 0.3670 7.8239 ((5 . 1) (7 . 3) (10 . 7) (11 . 8)) 1624 0.3999 6.7248 ((5 . 5) (7 . 6) (8 . 7) (10 . 8)) 1643 0.4000 5.3478 ((1 . 27) (2 . 28) (4 . 31) (7 . 34)) 1644 0.3998 8.1339 ((2 . 44) (4 . 46) (5 . 48) (7 . 49)) 1665 0.1970 8.7997 ((2 . 6) (5 . 8) (10 . 10) (11 . 11)) 1690 0.4998 6.7074 ((1 . 13) (5 . 18) (7 . 19) (10 . 21) (11 . 22)) 1692 0.4000 5.6010 ((2 . 6) (4 . 7) (5 . 8) (7 . 9)) 1738 0.3999 6.5094 ((5 . 11) (7 . 13) (8 . 14) (11 . 16)) 1747 0.4000 4.4025 ((2 . 12) (4 . 13) (5 . 16) (7 . 18)) 1756 0.4000 3.6402 ((1 . 21) (2 . 23) (7 . 29) (10 . 31)) 1759 0.4000 4.4474 ((1 . 5) (2 . 6) (5 . 10) (7 . 11)) 1761 0.3999 6.2639 ((1 . 2) (2 . 3) (4 . 5) (11 . 10)) 1763 0.3999 6.7547 ((1 . 7) (2 . 9) (4 . 10) (7 . 13)) 1776 0.4824 6.5752 ((1 . 12) (5 . 15) (7 . 16) (8 . 19) (10 . 20)) 1777 0.3998 8.3148 ((1 . 37) (2 . 42) (5 . 47) (7 . 49)) 1778 0.3998 7.8889 ((2 . 8) (6 . 11) (10 . 12) (11 . 13)) 1793 0.2413 7.7019 ((1 . 10) (4 . 12) (5 . 13) (6 . 15)) 1805 0.4000 4.6014 ((1 . 15) (2 . 16) (4 . 17) (6 . 18)) 1808 0.3999 7.4802 ((1 . 4) (2 . 5) (5 . 9) (7 . 10)) 1817 0.4000 4.1367 ((1 . 13) (2 . 14) (5 . 19) (7 . 20)) 1867 0.1970 5.9255 ((1 . 1) (2 . 3) (5 . 6) (7 . 7)) 1894 0.4000 4.2831 ((1 . 11) (2 . 12) (5 . 20) (7 . 26)) 1896 0.3999 6.5451 ((3 . 13) (4 . 14) (5 . 17) (11 . 21)) 1897 0.3999 7.7906 ((1 . 32) (2 . 34) (3 . 36) (10 . 40)) 1908 0.3665 12.3586 ((2 . 7) (3 . 8) (6 . 9) (10 . 15)) 1909 0.4000 5.5242 ((2 . 31) (3 . 33) (4 . 34) (10 . 39)) 1913 0.4000 5.7251 ((2 . 17) (5 . 21) (7 . 22) (8 . 23)) 1944 0.3999 6.3139 ((2 . 17) (3 . 20) (5 . 22) (11 . 25)) 1957 0.1493 7.5719 ((2 . 11) (4 . 13) (10 . 17) (11 . 16)) 1961 0.4000 5.1007 ((2 . 19) (4 . 20) (6 . 23) (11 . 25)) 1967 0.3992 12.0553 ((3 . 9) (5 . 10) (10 . 14) (11 . 15)) 1972 0.3362 9.8686 ((2 . 20) (3 . 21) (6 . 25) (10 . 27)) 1992 0.1654 7.0766 ((1 . 2) (2 . 3) (3 . 5) (11 . 10)) 1995 0.4000 4.8074 ((1 . 7) (2 . 8) (4 . 11) (5 . 13)) 2003 0.4000 5.6687 ((3 . 1) (5 . 4) (7 . 5) (10 . 7)) 2006 0.4999 5.8186 ((1 . 1) (2 . 2) (4 . 4) (8 . 5) (10 . 22)) 2045 0.4000 4.4843 ((2 . 7) (4 . 8) (7 . 11) (8 . 13)) 2048 0.3670 8.7609 ((4 . 1) (6 . 2) (10 . 4) (11 . 5)) 2054 0.1654 8.6853 ((1 . 13) (2 . 14) (3 . 15) (6 . 16)) 2063 0.4000 4.0732 ((1 . 42) (2 . 43) (5 . 47) (7 . 48)) 2065 0.3999 7.6510 ((2 . 16) (4 . 17) (5 . 19) (7 . 23)) 2067 0.4000 5.0636 ((5 . 55) (6 . 56) (7 . 57) (10 . 59)) 2072 0.3997 9.6326 ((3 . 3) (5 . 6) (7 . 7) (11 . 9)) 2081 0.3997 9.5268 ((1 . 3) (2 . 6) (3 . 7) (11 . 11)) 2083 0.3999 6.9072 ((1 . 1) (2 . 2) (3 . 3) (5 . 5)) 2097 0.3998 8.6332 ((1 . 3) (4 . 5) (5 . 6) (7 . 7)) 2114 0.3999 7.4299 ((3 . 30) (6 . 33) (10 . 36) (11 . 37)) 2116 0.3999 6.3549 ((1 . 6) (2 . 7) (4 . 8) (10 . 12)) 2117 0.3999 6.6876 ((1 . 11) (2 . 12) (7 . 17) (11 . 21)) 2118 0.5914 9.1774 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (7 . 7) (8 . 11)) 2122 0.4000 5.1397 ((1 . 10) (5 . 14) (7 . 15) (10 . 18)) 2166 0.4000 5.3009 ((1 . 15) (2 . 16) (4 . 17) (7 . 21)) 2179 0.4000 5.0037 ((2 . 5) (4 . 6) (5 . 9) (7 . 10)) 2196 0.3999 6.6219 ((1 . 12) (4 . 16) (5 . 18) (7 . 19)) 2203 0.3999 7.1416 ((1 . 1) (4 . 5) (5 . 6) (10 . 10)) 2205 0.3999 7.7180 ((4 . 17) (5 . 19) (7 . 20) (8 . 22)) 2209 0.2412 12.5367 ((3 . 2) (6 . 4) (7 . 5) (8 . 6)) 2220 0.3999 6.0982 ((3 . 1) (4 . 2) (7 . 5) (8 . 7)) 2243 0.4000 5.6726 ((1 . 51) (2 . 52) (4 . 53) (8 . 54)) 2244 0.4000 4.4222 ((1 . 74) (2 . 75) (5 . 78) (7 . 79)) 2249 0.3990 12.5226 ((1 . 16) (2 . 17) (4 . 20) (8 . 23)) 2269 0.3997 9.2203 ((3 . 4) (5 . 6) (7 . 7) (11 . 9)) 2279 0.3999 6.0577 ((1 . 11) (3 . 14) (7 . 20) (10 . 22)) 2298 0.3363 8.4030 ((3 . 11) (5 . 12) (6 . 13) (10 . 15)) 2308 0.3997 9.2134 ((3 . 3) (5 . 4) (7 . 5) (11 . 7)) 2314 0.3363 8.5802 ((1 . 4) (4 . 8) (6 . 9) (10 . 11)) 2340 0.2801 7.5212 ((2 . 11) (3 . 12) (4 . 13) (6 . 15)) 2344 0.3999 6.6314 ((2 . 7) (7 . 11) (10 . 13) (11 . 15)) 2364 0.3671 6.6416 ((1 . 9) (3 . 11) (4 . 12) (5 . 15)) 2381 0.3999 6.1119 ((4 . 3) (5 . 5) (7 . 6) (11 . 8)) 2389 0.4994 8.3445 ((1 . 5) (2 . 6) (5 . 9) (7 . 10) (11 . 12)) 2408 0.4000 4.8357 ((1 . 37) (2 . 38) (5 . 41) (7 . 42)) 2409 0.3999 6.9323 ((1 . 5) (2 . 6) (5 . 9) (6 . 10)) 2422 0.4000 4.7657 ((5 . 7) (7 . 8) (8 . 9) (11 . 10)) 2423 0.3999 6.3080 ((1 . 21) (2 . 22) (5 . 25) (7 . 26)) 2440 0.3999 6.7061 ((4 . 6) (5 . 7) (7 . 8) (11 . 10)) 2447 0.3999 6.3554 ((6 . 3) (8 . 5) (10 . 6) (11 . 7)) 2462 0.1970 8.2667 ((1 . 1) (3 . 2) (4 . 4) (11 . 10)) 2510 0.3999 6.8229 ((2 . 17) (7 . 21) (8 . 23) (10 . 25)) 2525 0.4000 5.4291 ((1 . 41) (4 . 43) (10 . 48) (11 . 49)) 2529 0.2413 7.2851 ((2 . 3) (3 . 4) (4 . 5) (6 . 7)) 2533 0.2413 8.4604 ((3 . 1) (6 . 3) (7 . 4) (11 . 7)) 2544 0.1970 10.8605 ((3 . 18) (7 . 23) (8 . 22) (11 . 24)) 2551 0.3999 6.3932 ((3 . 8) (5 . 11) (7 . 12) (10 . 14)) 2556 0.3998 8.5886 ((2 . 11) (5 . 13) (10 . 16) (11 . 17)) 2557 0.3997 9.2413 ((3 . 1) (4 . 3) (8 . 7) (11 . 8)) 2561 0.3820 10.4082 ((2 . 1) (3 . 2) (10 . 6) (11 . 5)) 2595 0.3997 9.4356 ((3 . 7) (5 . 9) (10 . 11) (11 . 14)) 2619 0.3999 6.0373 ((1 . 1) (2 . 2) (4 . 3) (5 . 5)) 2650 0.1970 9.0237 ((1 . 1) (2 . 2) (8 . 6) (10 . 7)) 2658 0.3999 6.7146 ((3 . 9) (5 . 12) (7 . 13) (10 . 14)) 2675 0.3999 6.3578 ((1 . 1) (4 . 4) (6 . 9) (10 . 10)) 2682 0.3999 6.0956 ((2 . 12) (4 . 13) (6 . 16) (10 . 19)) 2696 0.4990 9.5511 ((1 . 32) (2 . 34) (4 . 35) (5 . 37) (8 . 39)) 2731 0.2799 12.6932 ((3 . 2) (7 . 4) (8 . 5) (11 . 6)) 2733 0.3999 6.2009 ((1 . 2) (3 . 5) (7 . 8) (11 . 12)) 2755 0.1654 7.7531 ((2 . 3) (4 . 5) (10 . 8) (11 . 7)) 2773 0.4000 5.8594 ((1 . 2) (2 . 3) (7 . 5) (11 . 7)) 2804 0.3999 7.6602 ((1 . 34) (2 . 36) (6 . 37) (10 . 40)) 2821 0.3993 11.5877 ((1 . 1) (2 . 2) (4 . 4) (11 . 10)) 2834 0.4000 5.0346 ((1 . 3) (2 . 5) (4 . 6) (5 . 8)) 2840 0.3999 7.2370 ((1 . 5) (2 . 6) (5 . 9) (7 . 11)) 2842 0.3997 9.3469 ((2 . 1) (3 . 3) (10 . 5) (11 . 7)) 2867 0.2800 9.5449 ((2 . 8) (4 . 9) (6 . 11) (7 . 12)) 2879 0.4000 3.9652 ((1 . 51) (2 . 52) (5 . 56) (7 . 57)) 2886 0.4000 4.3364 ((1 . 33) (2 . 34) (5 . 38) (7 . 39)) 2929 0.3669 9.2451 ((1 . 36) (4 . 39) (5 . 40) (6 . 41)) 2940 0.3999 6.3646 ((4 . 3) (5 . 4) (7 . 5) (11 . 9)) 2947 0.4000 3.6029 ((1 . 2) (2 . 3) (4 . 4) (8 . 7)) 2966 0.3999 7.5008 ((4 . 11) (5 . 13) (7 . 15) (10 . 17)) 2990 0.3999 6.3647 ((1 . 9) (2 . 12) (10 . 16) (11 . 17)) 2999 0.4000 5.4212 ((1 . 2) (4 . 4) (5 . 6) (7 . 7)) 3014 0.3363 8.3013 ((5 . 4) (7 . 5) (10 . 7) (11 . 8)) 3019 0.3999 6.2303 ((3 . 13) (4 . 14) (6 . 15) (11 . 18)) 3041 0.4000 4.3097 ((2 . 29) (4 . 30) (5 . 32) (7 . 33)) 3055 0.3999 7.8368 ((2 . 1) (5 . 4) (7 . 5) (10 . 7)) 3063 0.3998 7.9920 ((1 . 39) (2 . 41) (4 . 42) (7 . 45)) 3070 0.4000 4.5205 ((2 . 32) (4 . 33) (5 . 35) (7 . 36)) 3084 0.3999 6.2471 ((3 . 20) (4 . 21) (6 . 22) (8 . 24)) 3102 0.3995 10.6335 ((2 . 65) (5 . 67) (7 . 68) (10 . 70)) 3103 0.3362 10.1417 ((1 . 1) (2 . 2) (10 . 9) (11 . 12)) 3114 0.3999 7.4311 ((2 . 23) (4 . 24) (5 . 25) (6 . 27)) 3127 0.3996 9.7702 ((2 . 6) (6 . 9) (7 . 11) (10 . 13)) 3147 0.4000 4.6215 ((1 . 17) (2 . 18) (4 . 19) (7 . 22)) 3176 0.4000 5.2862 ((1 . 26) (2 . 27) (4 . 29) (6 . 30)) 3187 0.4000 5.6056 ((1 . 5) (2 . 6) (4 . 7) (7 . 9)) 3190 0.3999 6.4973 ((2 . 6) (5 . 9) (7 . 11) (11 . 12)) 3197 0.2800 8.4183 ((4 . 21) (6 . 22) (10 . 26) (11 . 27)) 3200 0.4000 5.4459 ((2 . 9) (4 . 11) (6 . 12) (7 . 13)) 3202 0.3669 9.7059 ((1 . 18) (2 . 19) (3 . 20) (11 . 23)) 3212 0.4000 3.4686 ((1 . 2) (2 . 3) (4 . 5) (8 . 9)) 3222 0.4000 5.5059 ((3 . 13) (5 . 15) (7 . 16) (10 . 18)) 3256 0.3998 7.9148 ((1 . 16) (2 . 19) (4 . 20) (7 . 24)) 3261 0.4531 5.1470 ((1 . 1) (2 . 2) (4 . 3) (10 . 6) (11 . 12)) 3286 0.3998 8.0023 ((1 . 4) (2 . 5) (3 . 6) (6 . 8)) 3289 0.4000 5.5552 ((1 . 25) (2 . 27) (5 . 30) (7 . 31)) 3297 0.3999 6.6741 ((2 . 8) (4 . 9) (7 . 11) (10 . 13)) 3300 0.3671 5.9604 ((1 . 2) (2 . 4) (4 . 5) (6 . 9)) 3334 0.3666 11.5970 ((4 . 1) (7 . 4) (10 . 6) (11 . 9)) 3339 0.3998 7.9192 ((4 . 19) (5 . 21) (7 . 22) (11 . 24)) 3344 0.4000 4.6441 ((1 . 18) (2 . 20) (4 . 21) (8 . 24)) 3358 0.3997 9.6351 ((1 . 2) (4 . 4) (5 . 7) (11 . 11)) 3362 0.3997 9.5978 ((1 . 4) (4 . 8) (6 . 9) (7 . 10)) 3366 0.4000 5.6115 ((1 . 23) (2 . 24) (3 . 25) (4 . 26)) 3391 0.3667 11.4106 ((3 . 15) (6 . 16) (7 . 17) (11 . 20)) 3410 0.3998 8.9381 ((2 . 19) (3 . 20) (8 . 24) (11 . 27)) 3418 0.3999 7.2250 ((2 . 2) (3 . 3) (5 . 5) (7 . 6)) 3446 0.3363 7.1813 ((3 . 3) (5 . 5) (7 . 6) (11 . 9)) 3472 0.4000 4.9601 ((2 . 4) (4 . 5) (5 . 8) (7 . 9)) 3481 0.3362 9.3531 ((4 . 2) (6 . 5) (10 . 8) (11 . 11)) 3495 0.1970 8.3046 ((2 . 3) (6 . 6) (7 . 7) (11 . 9)) 3496 0.2799 13.3936 ((3 . 20) (7 . 22) (8 . 23) (11 . 24)) 3533 0.3998 8.2157 ((2 . 3) (4 . 5) (7 . 8) (10 . 10)) 3538 0.3991 12.2117 ((4 . 24) (7 . 25) (8 . 26) (11 . 27)) 3548 0.4995 8.1553 ((1 . 3) (2 . 4) (5 . 8) (7 . 9) (11 . 11)) 3549 0.4000 5.1287 ((1 . 2) (2 . 3) (4 . 5) (8 . 8)) 3561 0.3669 9.6033 ((3 . 25) (4 . 26) (8 . 28) (11 . 32)) 3570 0.3999 6.8435 ((1 . 1) (5 . 4) (7 . 7) (11 . 9)) 3585 0.3999 7.8542 ((2 . 8) (5 . 11) (7 . 12) (10 . 14)) 3613 0.3998 8.7215 ((6 . 39) (8 . 40) (10 . 41) (11 . 42)) 3625 0.1970 7.4376 ((2 . 1) (4 . 3) (5 . 5) (7 . 6)) 3626 0.4000 5.6588 ((2 . 2) (4 . 3) (5 . 8) (10 . 11)) 3628 0.3999 7.0555 ((1 . 8) (2 . 9) (4 . 10) (5 . 12)) 3651 0.3999 6.9470 ((2 . 3) (3 . 4) (6 . 7) (8 . 9)) 3656 0.3994 10.9714 ((3 . 20) (5 . 22) (8 . 23) (11 . 25)) 3658 0.3995 10.6133 ((1 . 3) (2 . 4) (5 . 7) (7 . 8)) 3659 0.3999 6.6041 ((1 . 7) (5 . 12) (7 . 13) (11 . 14)) 3661 0.3809 14.8573 ((3 . 3) (6 . 6) (8 . 8) (11 . 10)) 3663 0.3999 7.2498 ((1 . 1) (2 . 2) (4 . 5) (11 . 7)) 3688 0.3457 31.4782 ((1 . 17) (4 . 21) (5 . 22) (7 . 23)) 3703 0.3997 9.6872 ((2 . 6) (4 . 7) (5 . 9) (11 . 12)) 3732 0.3999 6.9667 ((1 . 2) (2 . 3) (6 . 8) (10 . 9)) 3740 0.4000 5.1492 ((1 . 4) (2 . 5) (4 . 6) (8 . 7)) 3741 0.3999 6.4625 ((1 . 23) (4 . 25) (5 . 27) (7 . 28)) 3776 0.3999 7.3727 ((2 . 17) (5 . 20) (7 . 21) (11 . 25)) 3778 0.4000 3.4403 ((1 . 2) (2 . 3) (4 . 4) (8 . 7)) 3787 0.1970 8.0194 ((3 . 18) (4 . 19) (5 . 21) (11 . 24)) 3790 0.3999 7.0159 ((2 . 21) (4 . 22) (5 . 25) (8 . 26)) 3807 0.3996 10.1984 ((1 . 43) (2 . 46) (3 . 48) (6 . 49)) 3810 0.4999 5.9202 ((2 . 4) (4 . 6) (5 . 8) (7 . 9) (10 . 11)) 3817 0.3994 11.1284 ((2 . 1) (6 . 3) (7 . 5) (10 . 7)) 3829 0.3670 8.3137 ((4 . 2) (6 . 4) (8 . 5) (11 . 7)) 3831 0.4000 5.9805 ((1 . 5) (2 . 6) (3 . 7) (6 . 11)) 3847 0.1493 6.3589 ((1 . 9) (3 . 11) (8 . 16) (10 . 17)) 3849 0.3823 6.0081 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 3853 0.3996 10.2291 ((2 . 8) (6 . 11) (8 . 12) (10 . 14)) 3856 0.3999 7.5190 ((2 . 3) (3 . 4) (5 . 6) (10 . 9)) 3933 0.4000 4.7534 ((5 . 5) (7 . 6) (8 . 7) (10 . 8)) 3938 0.4000 3.4978 ((1 . 2) (2 . 4) (5 . 8) (7 . 9)) 3942 0.3999 7.1135 ((2 . 2) (4 . 3) (6 . 5) (10 . 9)) 3968 0.3997 9.4505 ((2 . 3) (3 . 4) (8 . 9) (11 . 12)) 3986 0.3999 6.3688 ((2 . 26) (4 . 27) (5 . 28) (7 . 29)) 3990 0.3993 11.4288 ((3 . 19) (5 . 22) (7 . 23) (10 . 24)) 4005 0.4000 5.6299 ((1 . 2) (2 . 3) (4 . 4) (8 . 10)) 4009 0.3999 6.9807 ((3 . 14) (4 . 15) (10 . 19) (11 . 20)) 4019 0.3999 6.2974 ((1 . 43) (2 . 44) (5 . 46) (7 . 47)) 4034 0.3991 12.3111 ((3 . 8) (5 . 10) (7 . 12) (11 . 14)) 4037 0.3363 7.7969 ((1 . 2) (2 . 3) (3 . 4) (11 . 8)) 4062 0.1970 10.1885 ((3 . 45) (6 . 47) (7 . 48) (10 . 49)) 4077 0.3667 11.4284 ((3 . 7) (6 . 9) (7 . 10) (11 . 12)) 4082 0.3999 6.4587 ((3 . 4) (4 . 5) (5 . 7) (7 . 8)) 4087 0.3999 6.4944 ((1 . 6) (2 . 7) (4 . 8) (11 . 10)) 4112 0.5000 2.6024 ((1 . 1) (2 . 2) (4 . 3) (8 . 4) (10 . 6)) 4115 0.4000 5.3010 ((1 . 15) (4 . 17) (5 . 19) (6 . 20)) 4140 0.3997 9.0218 ((5 . 21) (7 . 22) (10 . 23) (11 . 25)) 4151 0.1970 7.0374 ((1 . 3) (2 . 5) (4 . 7) (7 . 9)) 4177 0.4000 5.5558 ((1 . 1) (2 . 2) (7 . 7) (10 . 9)) 4190 0.1970 7.5363 ((5 . 1) (6 . 2) (7 . 3) (11 . 6)) 4192 0.3999 6.1024 ((1 . 10) (4 . 13) (5 . 15) (10 . 19)) 4194 0.4000 5.1861 ((4 . 3) (5 . 5) (7 . 6) (11 . 8)) 4195 0.3999 7.0718 ((1 . 14) (2 . 15) (3 . 17) (6 . 19)) 4204 0.3999 6.9468 ((2 . 3) (7 . 7) (8 . 9) (10 . 11)) 4209 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (11 . 11)) 4210 0.1970 9.6494 ((1 . 4) (2 . 5) (5 . 8) (10 . 10)) 4226 0.4000 4.3601 ((1 . 12) (4 . 16) (5 . 18) (7 . 19)) 4232 0.3999 7.2513 ((1 . 1) (2 . 2) (4 . 3) (7 . 5)) 4236 0.3999 6.5264 ((2 . 5) (4 . 6) (5 . 8) (11 . 13)) 4246 0.4000 5.2553 ((1 . 2) (2 . 3) (7 . 7) (11 . 10)) 4254 0.3999 7.2118 ((3 . 7) (5 . 9) (6 . 10) (10 . 13)) 4255 0.3999 7.0085 ((3 . 20) (5 . 23) (7 . 24) (10 . 26)) 4257 0.3666 11.7571 ((1 . 1) (3 . 4) (5 . 7) (8 . 9)) 4265 0.3363 7.9277 ((2 . 20) (4 . 21) (10 . 26) (11 . 27)) 4266 0.3997 9.3889 ((2 . 8) (5 . 11) (7 . 12) (11 . 17)) 4275 0.3999 6.5504 ((1 . 21) (4 . 23) (6 . 26) (7 . 27)) 4281 0.4000 3.6173 ((1 . 3) (2 . 4) (4 . 5) (6 . 7)) 4284 0.3999 7.2041 ((2 . 1) (5 . 4) (8 . 5) (10 . 6)) 4299 0.4000 5.9456 ((4 . 16) (6 . 17) (7 . 19) (10 . 22)) 4301 0.2801 6.7644 ((1 . 4) (2 . 6) (4 . 9) (5 . 10)) 4326 0.3998 8.6978 ((2 . 7) (3 . 8) (5 . 11) (7 . 12)) 4332 0.3363 6.0957 ((1 . 2) (2 . 4) (3 . 5) (7 . 9)) 4338 0.3997 9.0446 ((1 . 2) (2 . 4) (5 . 6) (10 . 8)) 4352 0.3670 7.3605 ((3 . 6) (5 . 9) (7 . 10) (11 . 13)) 4359 0.4000 4.3632 ((2 . 8) (4 . 9) (5 . 11) (7 . 12)) 4380 0.3996 10.0549 ((1 . 10) (2 . 11) (5 . 15) (7 . 17)) 4383 0.3999 6.4207 ((1 . 14) (5 . 18) (7 . 19) (10 . 21)) 4386 0.3671 6.1025 ((1 . 18) (2 . 19) (4 . 21) (6 . 23)) 4388 0.3997 9.3646 ((4 . 6) (5 . 8) (7 . 9) (8 . 10)) 4398 0.3999 6.2839 ((4 . 4) (5 . 6) (7 . 7) (11 . 9)) 4405 0.3668 10.7290 ((1 . 19) (4 . 21) (5 . 23) (7 . 25)) 4408 0.5000 4.3992 ((1 . 1) (2 . 3) (4 . 4) (5 . 6) (7 . 7)) 4415 0.3363 7.7808 ((1 . 9) (3 . 10) (4 . 11) (5 . 12)) 4419 0.3999 6.4552 ((2 . 3) (5 . 6) (7 . 8) (11 . 11)) 4426 0.1493 8.0354 ((3 . 1) (4 . 2) (6 . 3) (8 . 4)) 4470 0.3999 6.4965 ((1 . 12) (2 . 14) (3 . 15) (10 . 18)) 4492 0.4000 5.7140 ((1 . 2) (2 . 3) (5 . 7) (7 . 8)) 4495 0.3670 7.2332 ((2 . 14) (3 . 15) (10 . 18) (11 . 19)) 4497 0.3998 8.3106 ((1 . 18) (2 . 23) (4 . 24) (7 . 25)) 4502 0.4000 4.1786 ((4 . 6) (5 . 9) (7 . 10) (11 . 13)) 4503 0.3999 7.2788 ((2 . 6) (4 . 7) (5 . 9) (7 . 10)) 4504 0.3665 12.3164 ((3 . 16) (6 . 18) (7 . 20) (8 . 21)) 4505 0.3998 7.8899 ((2 . 25) (4 . 26) (5 . 28) (11 . 31)) 4516 0.3997 9.3852 ((3 . 9) (4 . 10) (6 . 13) (10 . 14)) 4527 0.4000 5.0529 ((1 . 1) (5 . 6) (7 . 7) (10 . 8)) 4538 0.4000 5.5665 ((1 . 30) (2 . 31) (5 . 34) (10 . 38)) 4551 0.1329 10.0945 ((4 . 2) (5 . 4) (10 . 8) (11 . 7)) 4560 0.3999 6.7800 ((4 . 1) (5 . 2) (7 . 4) (11 . 7)) 4561 0.3667 11.1764 ((3 . 6) (6 . 8) (7 . 9) (10 . 12)) 4562 0.3671 5.1440 ((1 . 19) (2 . 22) (3 . 23) (7 . 27)) 4577 0.3999 6.9499 ((2 . 49) (4 . 50) (5 . 52) (7 . 54)) 4579 0.3358 13.6487 ((3 . 16) (5 . 17) (7 . 18) (11 . 22)) 4588 0.4000 3.7469 ((2 . 3) (5 . 8) (7 . 9) (10 . 11)) 4589 0.3999 7.1751 ((1 . 19) (2 . 22) (4 . 23) (11 . 26)) 4607 0.3996 10.0776 ((3 . 23) (5 . 24) (7 . 27) (11 . 29)) 4621 0.4000 5.8912 ((3 . 1) (5 . 3) (7 . 4) (10 . 6)) 4630 0.3999 7.0100 ((4 . 9) (7 . 12) (8 . 13) (10 . 14)) 4648 0.4922 7.2671 ((2 . 1) (4 . 2) (5 . 5) (6 . 7) (10 . 8)) 4653 0.4000 5.5912 ((1 . 4) (2 . 6) (4 . 7) (5 . 9)) 4665 0.3999 6.1902 ((1 . 11) (2 . 12) (4 . 13) (7 . 14)) 4668 0.1970 6.5588 ((2 . 1) (7 . 5) (10 . 7) (11 . 8)) 4671 0.3999 6.4890 ((4 . 11) (5 . 13) (7 . 14) (8 . 15)) 4674 0.4000 5.0150 ((1 . 1) (2 . 2) (7 . 7) (10 . 9)) 4678 0.3999 7.0229 ((4 . 11) (5 . 12) (8 . 14) (10 . 15)) 4713 0.4981 11.2201 ((3 . 1) (4 . 4) (8 . 7) (10 . 8) (11 . 10)) 4715 0.3821 9.9182 ((3 . 1) (6 . 2) (7 . 3) (11 . 5)) 4731 0.3823 6.7122 ((3 . 13) (4 . 14) (6 . 17) (7 . 18)) 4734 0.3363 7.1506 ((5 . 5) (7 . 6) (8 . 7) (10 . 8)) 4857 0.2800 9.2611 ((1 . 3) (7 . 9) (10 . 11) (11 . 12)) 4886 0.3669 9.7555 ((2 . 1) (3 . 3) (4 . 4) (11 . 8)) 4888 0.4000 4.1182 ((1 . 12) (2 . 13) (5 . 16) (7 . 17)) 4889 0.4000 4.8459 ((1 . 2) (2 . 3) (4 . 4) (8 . 7)) 4907 0.4999 4.8840 ((1 . 1) (2 . 3) (4 . 4) (8 . 5) (10 . 9)) 4914 0.4000 5.4916 ((1 . 4) (2 . 5) (5 . 8) (7 . 9)) 4921 0.4000 5.8752 ((2 . 12) (5 . 14) (7 . 15) (8 . 17)) 4929 0.3999 6.5126 ((1 . 29) (2 . 31) (4 . 32) (10 . 35)) 4932 0.3999 7.1715 ((2 . 1) (4 . 2) (5 . 5) (7 . 6)) 4940 0.5000 4.5071 ((1 . 1) (2 . 2) (5 . 4) (6 . 5) (7 . 6)) 4944 0.3994 11.0909 ((4 . 13) (5 . 15) (7 . 16) (11 . 17)) 4961 0.3999 6.6790 ((2 . 3) (3 . 4) (4 . 6) (5 . 7)) 4978 0.3999 6.8979 ((1 . 18) (4 . 21) (5 . 24) (11 . 26)) 4982 0.3363 7.5587 ((4 . 9) (5 . 10) (6 . 11) (11 . 15)) 4998 0.3362 9.9070 ((3 . 16) (5 . 19) (7 . 20) (11 . 22)) 5029 0.3998 8.7766 ((3 . 5) (4 . 6) (5 . 8) (11 . 9)) 5036 0.3999 7.1052 ((2 . 1) (4 . 2) (5 . 4) (7 . 5)) 5038 0.4824 5.8281 ((1 . 9) (2 . 10) (5 . 14) (7 . 15) (10 . 17)) 5039 0.3362 9.0901 ((2 . 39) (3 . 40) (7 . 44) (10 . 45)) 5044 0.4000 4.0028 ((1 . 3) (2 . 8) (4 . 9) (10 . 14)) 5046 0.3998 7.9985 ((1 . 1) (4 . 4) (8 . 7) (11 . 9)) 5053 0.3999 7.6638 ((1 . 9) (2 . 10) (3 . 13) (11 . 17)) 5065 0.4000 5.7910 ((1 . 2) (2 . 3) (5 . 8) (7 . 9)) 5068 0.3999 7.1311 ((2 . 4) (3 . 6) (4 . 7) (11 . 11)) 5069 0.3998 8.7605 ((1 . 4) (2 . 5) (5 . 9) (11 . 14)) 5073 0.3999 7.3502 ((3 . 31) (4 . 32) (6 . 33) (11 . 37)) 5080 0.2413 7.8273 ((1 . 2) (2 . 3) (6 . 6) (11 . 9)) 5083 0.3823 6.5238 ((1 . 1) (2 . 2) (5 . 6) (7 . 8)) 5101 0.4000 5.3431 ((2 . 1) (6 . 4) (7 . 5) (10 . 7)) 5103 0.3999 6.2719 ((1 . 15) (4 . 17) (5 . 19) (11 . 20)) 5121 0.4000 5.2046 ((1 . 25) (2 . 26) (5 . 30) (7 . 31)) 5132 0.2800 9.0235 ((3 . 17) (6 . 19) (10 . 22) (11 . 23)) 5134 0.3999 7.5413 ((2 . 2) (5 . 3) (7 . 17) (11 . 20)) 5145 0.3998 8.0261 ((1 . 3) (4 . 8) (7 . 10) (11 . 11)) 5167 0.2801 7.2299 ((2 . 1) (5 . 3) (7 . 4) (11 . 7)) 5176 0.4000 4.9438 ((1 . 86) (2 . 87) (4 . 88) (10 . 91)) 5183 0.3999 6.1923 ((4 . 34) (5 . 36) (7 . 37) (11 . 39)) 5192 0.3997 9.7037 ((5 . 1) (6 . 2) (10 . 3) (11 . 4)) 5198 0.3669 9.1225 ((1 . 26) (2 . 30) (4 . 31) (5 . 32)) 5199 0.2800 9.6547 ((2 . 4) (3 . 6) (5 . 7) (7 . 8)) 5209 0.2413 7.8125 ((6 . 2) (7 . 3) (8 . 4) (11 . 6)) 5212 0.3975 15.9872 ((3 . 19) (6 . 20) (8 . 24) (11 . 25)) 5215 0.3998 7.8898 ((3 . 1) (5 . 4) (7 . 5) (11 . 8)) 5223 0.3997 9.1198 ((2 . 3) (6 . 7) (7 . 8) (10 . 10)) 5231 0.3988 13.1344 ((5 . 12) (8 . 13) (10 . 16) (11 . 17)) 5266 0.3995 10.4710 ((6 . 12) (7 . 13) (10 . 15) (11 . 16)) 5278 0.4997 7.3466 ((1 . 2) (2 . 5) (4 . 6) (5 . 8) (7 . 9)) 5307 0.3671 5.1917 ((4 . 53) (5 . 55) (7 . 57) (11 . 59)) 5312 0.3999 7.5826 ((1 . 1) (2 . 2) (6 . 6) (8 . 7)) 5318 0.3992 11.9572 ((4 . 22) (5 . 24) (6 . 27) (11 . 28)) 5323 0.3991 12.2644 ((3 . 8) (5 . 10) (7 . 11) (11 . 14)) 5324 0.3999 7.1298 ((1 . 22) (4 . 25) (6 . 27) (7 . 28)) 5344 0.4000 5.6943 ((1 . 2) (2 . 3) (7 . 7) (10 . 9)) 5345 0.4000 5.7843 ((2 . 8) (4 . 9) (5 . 12) (7 . 13)) 5368 0.4999 5.5656 ((1 . 35) (2 . 36) (4 . 37) (5 . 39) (7 . 41)) 5378 0.3999 6.5701 ((1 . 9) (5 . 15) (7 . 16) (11 . 20)) 5411 0.3997 9.1420 ((3 . 2) (6 . 5) (7 . 6) (11 . 9)) 5414 0.4000 3.2389 ((1 . 14) (2 . 15) (7 . 20) (10 . 22)) 5418 0.3998 8.5282 ((1 . 2) (2 . 3) (5 . 7) (8 . 8)) 5421 0.3823 7.6245 ((2 . 1) (4 . 3) (5 . 4) (7 . 5)) 5433 0.3999 6.2605 ((1 . 8) (2 . 10) (4 . 14) (8 . 18)) 5479 0.3999 6.1417 ((2 . 55) (4 . 56) (5 . 59) (7 . 60)) 5487 0.3998 8.5512 ((2 . 4) (5 . 9) (10 . 11) (11 . 12)) 5489 0.4000 4.8967 ((1 . 5) (2 . 6) (5 . 10) (7 . 11)) 5500 0.3997 9.1864 ((1 . 1) (2 . 2) (3 . 6) (11 . 13)) 5525 0.3999 6.1047 ((1 . 7) (2 . 8) (3 . 9) (6 . 11)) 5535 0.3670 7.1978 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 5540 0.3999 7.3663 ((1 . 8) (3 . 13) (5 . 14) (10 . 18)) 5557 0.3999 6.7353 ((5 . 2) (7 . 3) (8 . 4) (11 . 5)) 5560 0.3823 6.1776 ((1 . 17) (3 . 19) (4 . 20) (5 . 22)) 5562 0.3998 8.4986 ((2 . 11) (3 . 12) (10 . 17) (11 . 18)) 5567 0.3993 11.7200 ((1 . 4) (2 . 6) (5 . 8) (11 . 14)) 5594 0.3999 7.2505 ((2 . 3) (4 . 4) (5 . 6) (11 . 10)) 5600 0.3997 9.0564 ((1 . 3) (4 . 5) (8 . 9) (11 . 10)) 5601 0.3823 7.7556 ((3 . 4) (6 . 6) (10 . 10) (11 . 11)) 5638 0.3999 6.7675 ((5 . 7) (7 . 8) (8 . 9) (11 . 12)) 5640 0.4995 8.2292 ((1 . 12) (2 . 16) (4 . 18) (5 . 20) (7 . 21)) 5644 0.4000 5.8819 ((1 . 4) (2 . 8) (5 . 11) (7 . 12)) 5656 0.3999 6.8599 ((3 . 4) (4 . 5) (6 . 6) (11 . 11)) 5700 0.3999 6.2027 ((1 . 2) (2 . 3) (4 . 4) (8 . 8)) 5701 0.1970 7.9911 ((1 . 8) (3 . 10) (5 . 12) (6 . 13)) 5703 0.4000 5.1565 ((1 . 5) (2 . 6) (5 . 7) (7 . 8)) 5711 0.3999 6.1185 ((1 . 31) (5 . 33) (7 . 35) (10 . 37)) 5713 0.4000 4.8153 ((2 . 4) (4 . 5) (5 . 7) (7 . 8)) 5718 0.4000 5.6751 ((1 . 14) (4 . 17) (6 . 22) (10 . 23)) 5731 0.4999 5.4713 ((1 . 4) (2 . 5) (4 . 7) (8 . 11) (10 . 12)) 5746 0.4000 5.7760 ((1 . 2) (2 . 3) (5 . 7) (7 . 9)) 5749 0.1654 9.7501 ((1 . 4) (2 . 5) (4 . 6) (11 . 9)) 5761 0.3999 7.6518 ((2 . 28) (4 . 30) (7 . 31) (11 . 34)) 5770 0.4000 3.5993 ((2 . 1) (4 . 8) (5 . 9) (8 . 15)) 5771 0.3997 9.3156 ((1 . 13) (2 . 14) (5 . 17) (11 . 22)) 5782 0.3999 6.8341 ((5 . 34) (7 . 35) (10 . 37) (11 . 38)) 5794 0.4000 5.8483 ((2 . 15) (4 . 16) (5 . 18) (7 . 19)) 5795 0.3668 10.7768 ((3 . 7) (5 . 9) (7 . 10) (10 . 13)) 5809 0.3997 9.1569 ((2 . 9) (3 . 10) (8 . 14) (11 . 16)) 5822 0.4000 5.7344 ((1 . 2) (5 . 6) (7 . 8) (10 . 9)) 5827 0.3998 8.4142 ((2 . 2) (4 . 3) (5 . 5) (11 . 10)) 5830 0.4000 3.5018 ((1 . 8) (2 . 10) (3 . 11) (10 . 17)) 5847 0.3999 7.5870 ((1 . 8) (2 . 9) (5 . 12) (7 . 13)) 5861 0.4000 5.0648 ((1 . 21) (2 . 22) (5 . 26) (7 . 27)) 5865 0.4000 5.9018 ((2 . 1) (4 . 2) (5 . 4) (7 . 5)) 5878 0.3823 7.5662 ((1 . 26) (2 . 29) (4 . 30) (6 . 31)) 5888 0.4000 4.2437 ((2 . 18) (4 . 19) (5 . 21) (7 . 22)) 5896 0.3671 5.3291 ((2 . 28) (4 . 29) (5 . 31) (6 . 32)) 5913 0.3823 6.5195 ((1 . 9) (2 . 10) (3 . 11) (11 . 16)) 5914 0.4000 4.6265 ((2 . 2) (4 . 3) (5 . 5) (7 . 6)) 5922 0.3997 9.0913 ((1 . 6) (4 . 9) (7 . 10) (10 . 13)) 5930 0.3363 5.7636 ((1 . 1) (2 . 2) (3 . 3) (10 . 7)) 5939 0.3997 9.3091 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 5945 0.4816 9.9945 ((1 . 11) (3 . 12) (5 . 13) (7 . 14) (8 . 16)) 5949 0.3998 8.7341 ((2 . 4) (7 . 9) (8 . 10) (10 . 12)) 5955 0.3999 7.7330 ((6 . 13) (7 . 14) (10 . 17) (11 . 18)) 6000 0.3999 7.8327 ((5 . 14) (7 . 15) (10 . 17) (11 . 18)) 6011 0.4000 4.9322 ((2 . 4) (4 . 5) (5 . 7) (7 . 8)) 6022 0.4000 4.7288 ((1 . 4) (2 . 5) (5 . 8) (7 . 9)) 6028 0.3822 8.0857 ((1 . 2) (2 . 3) (3 . 4) (7 . 9)) 6029 0.4000 3.8810 ((1 . 17) (2 . 18) (4 . 19) (5 . 21)) 6041 0.4000 4.9669 ((1 . 8) (5 . 12) (7 . 13) (10 . 15)) 6046 0.3999 7.1957 ((1 . 2) (2 . 3) (4 . 5) (6 . 7)) 6061 0.3999 7.1083 ((1 . 13) (2 . 14) (4 . 15) (5 . 17)) 6074 0.4000 4.5020 ((1 . 4) (4 . 6) (5 . 8) (11 . 12)) 6075 0.3363 7.4086 ((2 . 17) (5 . 20) (7 . 21) (11 . 23)) 6079 0.4000 3.6943 ((1 . 6) (2 . 7) (4 . 8) (7 . 11)) 6087 0.3999 7.3643 ((3 . 2) (6 . 4) (10 . 8) (11 . 9)) 6089 0.3820 10.6413 ((1 . 5) (3 . 8) (6 . 13) (11 . 15)) 6094 0.4887 4.5862 ((2 . 5) (3 . 6) (4 . 7) (8 . 12) (10 . 13)) 6099 0.3999 6.8109 ((1 . 29) (2 . 30) (4 . 31) (8 . 34)) 6123 0.3999 7.7008 ((1 . 1) (2 . 2) (4 . 3) (7 . 4)) 6142 0.4999 5.3060 ((1 . 11) (2 . 12) (4 . 13) (5 . 15) (7 . 16)) 6148 0.3999 7.4970 ((1 . 32) (2 . 33) (4 . 34) (5 . 36)) 6167 0.3999 7.2999 ((1 . 4) (4 . 7) (5 . 10) (7 . 12)) 6173 0.4000 4.2446 ((1 . 4) (2 . 5) (5 . 9) (7 . 11)) 6191 0.4993 8.8536 ((1 . 4) (2 . 6) (5 . 9) (7 . 10) (10 . 13)) 6192 0.3669 9.7330 ((1 . 10) (2 . 11) (4 . 13) (6 . 15)) 6215 0.2413 9.0647 ((1 . 18) (2 . 19) (6 . 23) (8 . 24)) 6225 0.3998 7.9810 ((3 . 2) (4 . 3) (5 . 5) (11 . 9)) 6228 0.4000 4.4637 ((1 . 11) (2 . 12) (10 . 14) (11 . 18)) 6234 0.3823 6.5921 ((2 . 10) (5 . 13) (6 . 14) (7 . 15)) 6238 0.4000 5.7309 ((1 . 3) (2 . 4) (4 . 5) (10 . 9)) 6243 0.4000 4.7067 ((2 . 2) (4 . 3) (5 . 6) (11 . 9)) 6251 0.2413 9.7198 ((3 . 11) (6 . 14) (7 . 15) (11 . 18)) 6258 0.3362 9.8193 ((1 . 3) (2 . 4) (3 . 5) (10 . 10)) 6261 0.4000 5.3385 ((3 . 2) (4 . 3) (5 . 4) (7 . 6)) 6266 0.3999 7.0978 ((3 . 2) (4 . 3) (10 . 6) (11 . 7)) 6270 0.3999 7.5384 ((5 . 17) (7 . 18) (10 . 20) (11 . 23)) 6271 0.4000 5.5680 ((1 . 5) (2 . 7) (8 . 11) (10 . 12)) 6273 0.3997 9.0070 ((1 . 1) (2 . 2) (4 . 4) (6 . 5)) 6294 0.3823 6.7570 ((2 . 2) (6 . 7) (10 . 9) (11 . 10)) 6306 0.3820 10.6015 ((4 . 17) (5 . 19) (8 . 21) (10 . 22)) 6309 0.3999 6.7932 ((3 . 16) (4 . 17) (6 . 19) (11 . 26)) 6326 0.4999 5.6833 ((2 . 6) (4 . 7) (5 . 9) (7 . 10) (10 . 12)) 6338 0.3998 7.9371 ((1 . 1) (2 . 2) (5 . 7) (7 . 8)) 6344 0.3999 6.1792 ((1 . 14) (2 . 17) (4 . 18) (5 . 21)) 6345 0.1493 8.8169 ((1 . 6) (2 . 7) (3 . 8) (7 . 11)) 6355 0.4000 3.1076 ((5 . 6) (7 . 7) (8 . 8) (10 . 9)) 6356 0.3996 10.0136 ((2 . 4) (6 . 8) (7 . 9) (10 . 11)) 6369 0.3663 13.1735 ((1 . 29) (5 . 33) (7 . 35) (11 . 37)) 6376 0.3999 7.6806 ((2 . 17) (3 . 18) (6 . 20) (10 . 24)) 6391 0.5000 3.6127 ((1 . 6) (2 . 8) (4 . 10) (8 . 12) (10 . 14)) 6392 0.3363 7.4004 ((2 . 1) (6 . 5) (10 . 7) (11 . 8)) 6399 0.4000 3.9055 ((1 . 26) (2 . 27) (4 . 28) (7 . 31)) 6403 0.4000 4.9244 ((1 . 7) (3 . 11) (5 . 12) (7 . 13)) 6434 0.2801 7.6278 ((1 . 2) (2 . 3) (6 . 6) (11 . 8)) 6461 0.4000 5.9206 ((3 . 2) (4 . 3) (10 . 6) (11 . 7)) 6462 0.3998 8.2978 ((3 . 15) (4 . 16) (5 . 18) (11 . 19)) 6476 0.3669 9.2728 ((3 . 2) (4 . 4) (6 . 6) (10 . 9)) 6498 0.3998 8.1152 ((2 . 37) (3 . 39) (4 . 40) (11 . 46)) 6520 0.3999 6.6154 ((1 . 10) (4 . 13) (5 . 15) (7 . 16)) 6536 0.3818 11.5926 ((3 . 32) (6 . 34) (10 . 35) (11 . 37)) 6539 0.4000 5.8350 ((4 . 2) (7 . 5) (8 . 6) (10 . 8)) 6540 0.4000 5.7489 ((2 . 16) (5 . 19) (7 . 20) (10 . 22)) 6548 0.4000 5.5577 ((1 . 5) (4 . 9) (7 . 12) (11 . 15)) 6553 0.3999 6.9952 ((1 . 13) (2 . 15) (3 . 16) (10 . 20)) 6555 0.3822 8.0864 ((2 . 13) (7 . 17) (10 . 20) (11 . 21)) 6561 0.3999 6.8577 ((2 . 9) (4 . 10) (7 . 12) (10 . 13)) 6573 0.3997 9.6207 ((3 . 15) (6 . 18) (10 . 19) (11 . 20)) 6575 0.3670 7.8944 ((5 . 2) (6 . 3) (10 . 5) (11 . 6)) 6578 0.3998 7.8979 ((3 . 33) (8 . 37) (10 . 38) (11 . 39)) 6584 0.4000 3.7054 ((1 . 5) (2 . 6) (4 . 7) (8 . 8)) 6585 0.3992 12.0919 ((2 . 6) (3 . 7) (5 . 8) (11 . 12)) 6587 0.3363 7.2027 ((1 . 29) (4 . 31) (5 . 34) (6 . 35)) 6598 0.4998 6.3245 ((1 . 13) (2 . 16) (4 . 17) (5 . 20) (7 . 21)) 6613 0.2800 8.2797 ((5 . 21) (7 . 22) (10 . 24) (11 . 25)) 6635 0.1970 9.0613 ((2 . 1) (3 . 3) (4 . 4) (11 . 9)) END