5746 25 0.3076 8.4132 ((1 . 2) (4 . 5) (5 . 9) (9 . 11)) 41 0.2854 9.0746 ((4 . 2) (10 . 5) (12 . 6) (13 . 7)) 51 0.3845 7.9735 ((3 . 2) (6 . 7) (10 . 10) (13 . 13) (14 . 14)) 62 0.3077 4.8183 ((1 . 9) (2 . 10) (3 . 12) (7 . 16)) 64 0.3077 4.2999 ((6 . 2) (7 . 3) (8 . 4) (10 . 6)) 77 0.3839 12.1564 ((6 . 6) (7 . 7) (10 . 9) (12 . 12) (14 . 15)) 91 0.3077 5.2805 ((4 . 15) (6 . 16) (9 . 21) (12 . 23)) 96 0.3077 5.4921 ((3 . 1) (5 . 2) (6 . 3) (10 . 5)) 129 0.4614 5.9051 ((2 . 1) (3 . 2) (6 . 5) (7 . 8) (9 . 11) (10 . 12)) 136 0.3075 11.7335 ((1 . 2) (2 . 3) (4 . 4) (7 . 7)) 150 0.3845 7.4413 ((4 . 18) (6 . 19) (7 . 20) (10 . 23) (12 . 24)) 153 0.3845 6.7258 ((6 . 1) (9 . 4) (10 . 5) (13 . 7) (14 . 8)) 155 0.1919 10.6682 ((2 . 3) (3 . 2) (4 . 4) (12 . 8)) 157 0.3077 6.7880 ((3 . 3) (4 . 4) (6 . 5) (8 . 8)) 161 0.3077 6.1087 ((6 . 3) (7 . 4) (8 . 6) (10 . 8)) 162 0.2879 5.3704 ((2 . 12) (4 . 16) (6 . 17) (7 . 18) (9 . 20) (10 . 22)) 169 0.4615 5.7518 ((2 . 2) (3 . 3) (6 . 5) (7 . 7) (9 . 8) (10 . 9)) 177 0.3077 6.9878 ((2 . 4) (6 . 7) (7 . 8) (9 . 10)) 191 0.3077 4.3268 ((2 . 1) (3 . 2) (13 . 8) (14 . 9)) 198 0.3077 6.0869 ((6 . 1) (7 . 2) (13 . 9) (14 . 10)) 207 0.2853 11.0355 ((5 . 6) (7 . 7) (8 . 8) (12 . 12)) 233 0.3076 9.1344 ((6 . 3) (7 . 5) (9 . 7) (10 . 8)) 300 0.3846 5.9091 ((1 . 11) (4 . 12) (6 . 16) (7 . 17) (10 . 18)) 305 0.3077 6.8878 ((1 . 10) (2 . 11) (3 . 12) (8 . 18)) 307 0.3077 5.4164 ((3 . 3) (4 . 6) (6 . 7) (8 . 9)) 315 0.3077 6.3577 ((4 . 2) (6 . 5) (7 . 6) (10 . 8)) 340 0.3077 7.8853 ((3 . 2) (5 . 5) (6 . 7) (7 . 9)) 350 0.3077 5.0171 ((3 . 1) (6 . 5) (7 . 7) (10 . 10)) 351 0.0997 8.5792 ((1 . 1) (4 . 2) (5 . 4) (12 . 7)) 360 0.3077 5.5523 ((2 . 10) (3 . 12) (4 . 13) (6 . 14)) 361 0.3077 6.2483 ((8 . 1) (10 . 2) (12 . 3) (13 . 4)) 365 0.3845 8.1602 ((3 . 1) (6 . 3) (7 . 4) (8 . 6) (10 . 8)) 367 0.3845 6.8162 ((1 . 39) (2 . 40) (3 . 42) (6 . 44) (10 . 48)) 372 0.3077 3.6280 ((6 . 5) (7 . 6) (8 . 7) (9 . 10)) 387 0.4614 5.9056 ((2 . 1) (3 . 7) (6 . 9) (7 . 10) (8 . 11) (10 . 12)) 405 0.3077 5.8603 ((6 . 35) (7 . 37) (8 . 38) (10 . 39)) 417 0.3073 13.6657 ((7 . 2) (9 . 5) (12 . 6) (14 . 9)) 420 0.3846 5.4736 ((2 . 1) (3 . 2) (6 . 4) (7 . 5) (13 . 13)) 433 0.3845 6.7211 ((1 . 4) (2 . 5) (3 . 6) (7 . 9) (9 . 10)) 442 0.3846 4.5754 ((2 . 4) (3 . 6) (10 . 12) (12 . 13) (13 . 14)) 460 0.3077 6.4104 ((2 . 2) (3 . 3) (6 . 7) (7 . 8)) 472 0.3076 10.7828 ((6 . 21) (12 . 24) (13 . 25) (14 . 27)) 491 0.3077 6.7517 ((2 . 1) (5 . 5) (6 . 6) (10 . 8)) 495 0.4615 4.8859 ((3 . 3) (5 . 4) (6 . 5) (9 . 7) (10 . 8) (13 . 11)) 541 0.3077 5.1250 ((3 . 7) (5 . 10) (6 . 11) (14 . 17)) 543 0.3076 8.3076 ((6 . 1) (10 . 4) (13 . 6) (14 . 8)) 561 0.3846 4.1463 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 6)) 584 0.3844 8.6590 ((1 . 1) (4 . 2) (6 . 3) (7 . 4) (9 . 5)) 587 0.3077 4.5204 ((6 . 2) (7 . 3) (8 . 4) (10 . 6)) 609 0.3077 7.2807 ((7 . 3) (10 . 6) (12 . 7) (13 . 8)) 619 0.3077 5.7030 ((2 . 1) (3 . 2) (13 . 11) (14 . 12)) 624 0.4611 8.4664 ((1 . 19) (2 . 20) (3 . 22) (4 . 23) (10 . 26) (12 . 27)) 635 0.3077 7.2584 ((2 . 14) (3 . 15) (4 . 17) (6 . 18)) 672 0.3077 6.4547 ((5 . 19) (6 . 20) (8 . 21) (10 . 23)) 678 0.3077 7.3839 ((7 . 22) (10 . 24) (12 . 25) (13 . 26)) 683 0.3076 8.6621 ((5 . 4) (6 . 3) (7 . 5) (9 . 6)) 719 0.3077 5.6337 ((2 . 25) (3 . 27) (4 . 29) (6 . 30)) 729 0.3077 4.9784 ((3 . 13) (4 . 14) (6 . 15) (9 . 17)) 735 0.3077 5.4544 ((6 . 29) (7 . 31) (9 . 32) (10 . 33)) 740 0.3077 5.9907 ((5 . 1) (6 . 2) (7 . 3) (9 . 4)) 765 0.3077 7.4623 ((6 . 3) (7 . 4) (10 . 7) (13 . 12)) 767 0.3077 7.3741 ((3 . 1) (6 . 3) (9 . 8) (10 . 9)) 795 0.3846 6.4651 ((3 . 1) (4 . 2) (6 . 3) (9 . 5) (10 . 6)) 796 0.3077 4.6155 ((1 . 4) (2 . 5) (3 . 6) (4 . 7)) 801 0.3077 5.4532 ((3 . 1) (6 . 4) (7 . 5) (10 . 7)) 812 0.3077 7.4524 ((3 . 8) (4 . 10) (6 . 11) (9 . 13)) 818 0.3077 5.4813 ((2 . 1) (7 . 7) (10 . 10) (13 . 12)) 819 0.3076 9.6573 ((2 . 3) (3 . 2) (7 . 5) (14 . 10)) 824 0.3077 5.5175 ((3 . 45) (6 . 49) (7 . 50) (8 . 51)) 861 0.4615 3.8963 ((3 . 12) (5 . 14) (6 . 15) (7 . 16) (8 . 17) (10 . 19)) 901 0.3077 5.5297 ((3 . 17) (4 . 18) (5 . 19) (6 . 20)) 904 0.3076 8.6364 ((1 . 1) (4 . 4) (7 . 6) (9 . 7)) 913 0.3077 6.9433 ((5 . 15) (8 . 16) (10 . 17) (12 . 18)) 928 0.3842 10.5945 ((1 . 9) (2 . 10) (7 . 14) (10 . 16) (14 . 20)) 937 0.3077 5.3613 ((3 . 1) (4 . 3) (6 . 4) (7 . 5)) 943 0.3077 5.1379 ((3 . 9) (5 . 10) (6 . 12) (9 . 14)) 945 0.3077 5.4779 ((3 . 12) (4 . 13) (6 . 14) (8 . 17)) 949 0.3077 5.4975 ((3 . 27) (6 . 30) (7 . 32) (12 . 37)) 960 0.3077 6.2599 ((1 . 11) (2 . 12) (7 . 19) (10 . 21)) 978 0.3076 8.0043 ((1 . 11) (3 . 13) (4 . 15) (6 . 16)) 980 0.3077 5.9996 ((7 . 3) (10 . 5) (12 . 6) (13 . 7)) 1007 0.3845 7.0329 ((1 . 2) (4 . 6) (6 . 7) (7 . 8) (8 . 9)) 1008 0.3294 10.9813 ((2 . 5) (5 . 11) (7 . 13) (9 . 15) (10 . 16)) 1034 0.3076 9.1117 ((6 . 20) (7 . 21) (8 . 22) (13 . 26)) 1043 0.3077 5.7643 ((4 . 9) (6 . 10) (9 . 12) (10 . 14)) 1082 0.3844 8.5356 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (12 . 5)) 1084 0.3077 6.5817 ((5 . 2) (9 . 3) (13 . 8) (14 . 9)) 1121 0.3077 5.8418 ((1 . 1) (2 . 2) (3 . 3) (6 . 6)) 1124 0.3073 13.5349 ((1 . 8) (4 . 10) (5 . 11) (12 . 15)) 1165 0.3077 4.7973 ((3 . 7) (4 . 9) (6 . 10) (9 . 12)) 1167 0.3846 5.2451 ((1 . 19) (2 . 20) (3 . 21) (6 . 22) (10 . 27)) 1169 0.3077 5.6811 ((2 . 30) (3 . 31) (6 . 35) (7 . 37)) 1195 0.3845 7.2879 ((4 . 1) (6 . 2) (7 . 4) (9 . 5) (10 . 6)) 1201 0.3077 6.8678 ((10 . 7) (12 . 8) (13 . 9) (14 . 11)) 1204 0.3842 10.8833 ((3 . 1) (4 . 2) (6 . 3) (9 . 5) (14 . 12)) 1211 0.3845 7.3525 ((3 . 5) (4 . 7) (6 . 8) (7 . 9) (9 . 10)) 1217 0.3077 6.0795 ((6 . 3) (7 . 5) (9 . 7) (10 . 9)) 1224 0.3077 4.8476 ((2 . 6) (3 . 7) (6 . 10) (9 . 14)) 1233 0.3077 4.9262 ((3 . 20) (4 . 21) (6 . 22) (9 . 24)) 1267 0.3845 6.8401 ((2 . 24) (5 . 27) (10 . 33) (12 . 34) (13 . 36)) 1268 0.2853 12.7322 ((1 . 17) (4 . 19) (10 . 22) (13 . 25)) 1294 0.3077 5.3825 ((6 . 40) (7 . 41) (9 . 43) (10 . 44)) 1324 0.3075 11.8724 ((3 . 1) (6 . 3) (7 . 4) (10 . 6)) 1345 0.3846 6.1969 ((1 . 8) (2 . 9) (6 . 13) (7 . 14) (9 . 16)) 1366 0.4615 5.2904 ((1 . 13) (2 . 14) (3 . 15) (6 . 17) (9 . 20) (13 . 23)) 1388 0.3077 5.2960 ((3 . 1) (4 . 3) (6 . 4) (13 . 8)) 1410 0.3077 7.0830 ((6 . 22) (7 . 23) (9 . 25) (10 . 26)) 1425 0.3846 6.3577 ((3 . 2) (6 . 6) (7 . 8) (9 . 10) (10 . 12)) 1435 0.2854 6.8172 ((2 . 1) (6 . 3) (7 . 5) (8 . 6)) 1447 0.3077 7.3316 ((3 . 1) (4 . 2) (6 . 3) (14 . 9)) 1451 0.3846 6.3672 ((6 . 3) (7 . 4) (12 . 7) (13 . 8) (14 . 9)) 1464 0.1322 6.2852 ((2 . 7) (6 . 10) (7 . 13) (9 . 14)) 1476 0.3077 3.7816 ((3 . 11) (5 . 13) (6 . 14) (14 . 20)) 1481 0.3077 7.5046 ((6 . 1) (7 . 2) (10 . 4) (12 . 8)) 1497 0.3075 12.1352 ((1 . 28) (4 . 30) (5 . 31) (12 . 33)) 1501 0.3077 6.3099 ((6 . 2) (7 . 3) (9 . 4) (10 . 5)) 1513 0.3077 6.5437 ((1 . 4) (2 . 5) (7 . 11) (10 . 13)) 1514 0.3077 5.5044 ((3 . 1) (4 . 2) (6 . 3) (7 . 4)) 1577 0.3845 8.2670 ((1 . 1) (4 . 2) (6 . 3) (7 . 4) (9 . 5)) 1591 0.3077 5.6304 ((3 . 11) (4 . 12) (6 . 14) (9 . 16)) 1595 0.3076 10.6095 ((1 . 1) (5 . 6) (7 . 7) (9 . 8)) 1604 0.3846 4.6136 ((2 . 1) (3 . 3) (4 . 6) (6 . 7) (9 . 10)) 1622 0.3846 5.7145 ((3 . 18) (4 . 19) (6 . 20) (9 . 22) (10 . 23)) 1624 0.2553 11.8277 ((1 . 1) (6 . 6) (8 . 8) (12 . 11)) 1643 0.4612 8.2529 ((2 . 34) (3 . 36) (6 . 38) (7 . 39) (9 . 40) (10 . 41)) 1644 0.3077 7.3595 ((3 . 43) (6 . 46) (7 . 47) (9 . 48)) 1665 0.3076 10.0778 ((8 . 4) (10 . 6) (12 . 7) (13 . 8)) 1690 0.3564 11.8260 ((4 . 7) (5 . 9) (6 . 11) (9 . 13) (10 . 14)) 1692 0.3846 4.1813 ((3 . 1) (4 . 2) (7 . 5) (9 . 8) (10 . 10)) 1724 0.3076 9.5548 ((1 . 1) (4 . 3) (5 . 4) (12 . 8)) 1731 0.3077 3.9768 ((2 . 3) (12 . 11) (13 . 12) (14 . 13)) 1736 0.3296 5.3579 ((3 . 3) (5 . 4) (6 . 5) (10 . 7) (14 . 12)) 1738 0.3077 5.3962 ((3 . 4) (4 . 5) (6 . 6) (14 . 17)) 1747 0.3846 5.4597 ((2 . 27) (3 . 28) (6 . 30) (7 . 31) (9 . 32)) 1756 0.2975 7.8485 ((3 . 22) (7 . 27) (8 . 28) (9 . 30)) 1759 0.4614 6.2263 ((3 . 2) (6 . 5) (7 . 6) (8 . 8) (10 . 9) (13 . 14)) 1761 0.3846 6.1321 ((3 . 13) (4 . 14) (6 . 16) (9 . 19) (10 . 20)) 1763 0.2975 7.8829 ((6 . 7) (7 . 9) (8 . 10) (12 . 12)) 1776 0.3077 3.8722 ((3 . 1) (6 . 7) (9 . 9) (14 . 14)) 1777 0.3077 5.6296 ((3 . 37) (6 . 43) (7 . 45) (9 . 47)) 1778 0.3845 7.0372 ((3 . 1) (6 . 3) (7 . 4) (8 . 5) (12 . 10)) 1793 0.3077 5.0085 ((3 . 6) (4 . 7) (6 . 8) (9 . 10)) 1805 0.3077 4.0740 ((6 . 2) (7 . 3) (8 . 4) (10 . 7)) 1808 0.3846 6.3325 ((3 . 5) (4 . 7) (6 . 8) (7 . 9) (9 . 10)) 1817 0.3077 5.9591 ((2 . 14) (3 . 15) (6 . 19) (7 . 20)) 1867 0.3077 6.7316 ((3 . 1) (6 . 3) (7 . 6) (8 . 7)) 1894 0.3077 6.3529 ((1 . 8) (2 . 11) (3 . 12) (10 . 18)) 1896 0.3076 8.8595 ((1 . 10) (6 . 14) (8 . 17) (14 . 22)) 1897 0.3076 9.1104 ((2 . 32) (3 . 34) (5 . 36) (10 . 39)) 1908 0.4612 7.9078 ((1 . 2) (2 . 3) (5 . 5) (12 . 6) (13 . 7) (14 . 10)) 1909 0.3077 3.9401 ((3 . 29) (4 . 30) (6 . 31) (9 . 34)) 1913 0.3077 6.6448 ((3 . 20) (6 . 23) (7 . 25) (8 . 26)) 1944 0.3077 6.1294 ((4 . 14) (6 . 16) (13 . 23) (14 . 24)) 1957 0.3077 4.8751 ((3 . 13) (4 . 14) (6 . 15) (9 . 17)) 1961 0.3077 6.8413 ((2 . 15) (3 . 16) (4 . 18) (6 . 19)) 1967 0.3077 6.6257 ((3 . 3) (5 . 4) (10 . 7) (12 . 11)) 1972 0.3077 5.9560 ((2 . 16) (10 . 24) (12 . 25) (13 . 27)) 1992 0.3076 8.2952 ((1 . 8) (2 . 9) (5 . 13) (6 . 14)) 1995 0.4538 5.5980 ((2 . 1) (3 . 2) (6 . 7) (7 . 8) (8 . 9) (9 . 11)) 2003 0.3077 5.5298 ((3 . 4) (7 . 8) (9 . 9) (10 . 10)) 2006 0.3846 4.6830 ((2 . 9) (3 . 10) (6 . 12) (7 . 13) (9 . 14)) 2045 0.3026 7.8813 ((4 . 4) (5 . 5) (7 . 7) (9 . 8)) 2048 0.3077 5.3621 ((3 . 1) (4 . 3) (6 . 4) (9 . 6)) 2054 0.3076 10.1708 ((2 . 1) (3 . 2) (4 . 7) (12 . 15)) 2063 0.3077 6.4039 ((2 . 43) (3 . 44) (4 . 46) (7 . 50)) 2065 0.3077 6.3515 ((2 . 16) (3 . 17) (6 . 22) (7 . 23)) 2067 0.3077 6.7768 ((6 . 54) (7 . 55) (8 . 57) (10 . 60)) 2072 0.3845 7.7193 ((2 . 1) (3 . 2) (6 . 4) (7 . 6) (9 . 7)) 2081 0.3077 5.3125 ((5 . 7) (10 . 10) (12 . 11) (13 . 12)) 2083 0.3077 6.1053 ((2 . 1) (3 . 2) (4 . 3) (6 . 4)) 2097 0.3077 7.1528 ((7 . 1) (10 . 3) (13 . 6) (14 . 7)) 2114 0.3845 7.5197 ((1 . 30) (2 . 32) (3 . 34) (4 . 35) (5 . 37)) 2116 0.3840 11.8914 ((2 . 5) (6 . 8) (7 . 10) (8 . 11) (10 . 12)) 2117 0.3077 4.7955 ((4 . 3) (6 . 4) (13 . 11) (14 . 12)) 2118 0.3077 5.5521 ((1 . 6) (2 . 7) (5 . 9) (8 . 12)) 2122 0.3796 7.0665 ((3 . 1) (4 . 2) (5 . 5) (9 . 8) (14 . 12)) 2166 0.4612 7.8954 ((2 . 12) (3 . 13) (4 . 14) (6 . 15) (7 . 16) (13 . 21)) 2179 0.3845 6.9118 ((3 . 1) (4 . 3) (6 . 5) (7 . 6) (10 . 9)) 2196 0.3846 6.4646 ((2 . 12) (3 . 13) (6 . 17) (7 . 18) (9 . 19)) 2203 0.3077 5.2948 ((1 . 3) (3 . 7) (4 . 8) (6 . 10)) 2205 0.3845 6.8816 ((2 . 13) (3 . 15) (9 . 20) (13 . 23) (14 . 26)) 2209 0.3077 6.0325 ((1 . 2) (2 . 3) (6 . 7) (10 . 9)) 2220 0.3846 5.0448 ((5 . 1) (6 . 2) (7 . 3) (8 . 4) (10 . 7)) 2243 0.3844 8.9416 ((6 . 52) (7 . 53) (10 . 55) (13 . 60) (14 . 61)) 2244 0.4606 10.3636 ((2 . 69) (3 . 70) (6 . 74) (7 . 75) (9 . 76) (10 . 77)) 2248 0.0997 6.3545 ((1 . 23) (4 . 26) (6 . 27) (7 . 28)) 2249 0.3843 9.7126 ((3 . 12) (4 . 14) (6 . 16) (9 . 20) (13 . 23)) 2269 0.3076 9.6891 ((7 . 6) (9 . 7) (10 . 8) (12 . 9)) 2279 0.4615 4.9991 ((1 . 1) (2 . 3) (3 . 5) (4 . 6) (6 . 7) (10 . 9)) 2298 0.3844 8.7315 ((1 . 2) (3 . 4) (4 . 5) (6 . 6) (8 . 8)) 2308 0.3755 13.0372 ((2 . 5) (4 . 7) (6 . 8) (9 . 11) (12 . 14)) 2314 0.3077 7.9490 ((2 . 2) (3 . 4) (6 . 7) (7 . 8)) 2340 0.3077 6.0308 ((1 . 10) (2 . 11) (3 . 13) (5 . 15)) 2344 0.3077 5.9493 ((2 . 1) (3 . 3) (4 . 5) (6 . 6)) 2364 0.3846 3.8993 ((3 . 15) (4 . 16) (6 . 18) (7 . 19) (9 . 20)) 2381 0.3845 7.6378 ((4 . 2) (6 . 3) (7 . 4) (9 . 5) (10 . 6)) 2389 0.3077 5.1206 ((3 . 3) (6 . 6) (7 . 7) (8 . 8)) 2408 0.3077 5.0867 ((6 . 40) (7 . 41) (9 . 42) (10 . 45)) 2409 0.3077 6.3351 ((6 . 5) (7 . 6) (10 . 8) (12 . 10)) 2410 0.3077 6.6603 ((10 . 13) (12 . 15) (13 . 16) (14 . 17)) 2422 0.2854 5.9341 ((6 . 6) (7 . 7) (8 . 8) (9 . 9)) 2423 0.3295 8.5986 ((3 . 17) (6 . 20) (7 . 21) (9 . 22) (10 . 25)) 2440 0.3077 6.5500 ((5 . 12) (6 . 13) (10 . 17) (12 . 19)) 2447 0.3077 5.9331 ((3 . 30) (4 . 32) (6 . 33) (14 . 40)) 2462 0.3845 7.3033 ((1 . 5) (2 . 6) (3 . 7) (5 . 10) (8 . 12)) 2510 0.3077 7.6707 ((3 . 1) (4 . 2) (6 . 3) (14 . 9)) 2519 0.2975 7.2478 ((1 . 1) (4 . 3) (5 . 4) (9 . 5)) 2525 0.3077 5.9528 ((3 . 38) (4 . 39) (10 . 43) (13 . 47)) 2529 0.3077 5.7089 ((1 . 2) (2 . 3) (3 . 5) (5 . 7)) 2533 0.3077 5.7199 ((3 . 4) (4 . 5) (6 . 6) (8 . 8)) 2551 0.3077 5.6052 ((4 . 4) (12 . 10) (13 . 11) (14 . 12)) 2552 0.3077 7.2634 ((3 . 1) (4 . 2) (6 . 3) (12 . 7)) 2556 0.3077 4.9701 ((3 . 11) (4 . 12) (6 . 13) (9 . 16)) 2557 0.3845 7.1085 ((1 . 1) (3 . 3) (4 . 5) (10 . 7) (12 . 8)) 2561 0.0997 11.7482 ((2 . 1) (4 . 5) (6 . 6) (10 . 8)) 2591 0.2553 12.2252 ((1 . 34) (4 . 35) (5 . 36) (12 . 39)) 2595 0.3844 9.2588 ((3 . 1) (4 . 2) (6 . 4) (9 . 6) (14 . 11)) 2619 0.3077 5.8117 ((2 . 2) (3 . 3) (4 . 4) (9 . 7)) 2627 0.3076 8.3650 ((4 . 57) (12 . 62) (13 . 64) (14 . 65)) 2650 0.3077 6.5076 ((2 . 2) (6 . 6) (7 . 7) (9 . 8)) 2658 0.3077 5.8681 ((3 . 3) (4 . 4) (12 . 11) (14 . 13)) 2675 0.3077 4.3933 ((6 . 3) (7 . 4) (8 . 5) (10 . 8)) 2682 0.3076 8.2754 ((3 . 1) (4 . 2) (6 . 3) (12 . 6)) 2696 0.3846 6.3336 ((2 . 31) (7 . 36) (8 . 37) (9 . 38) (10 . 39)) 2731 0.3077 5.7318 ((3 . 1) (4 . 3) (6 . 4) (7 . 5)) 2733 0.3077 7.2664 ((2 . 1) (3 . 2) (10 . 8) (12 . 12)) 2755 0.3077 6.5865 ((1 . 2) (2 . 3) (6 . 6) (10 . 8)) 2773 0.3846 4.4746 ((2 . 2) (3 . 3) (4 . 4) (6 . 5) (10 . 6)) 2783 0.3077 5.1133 ((1 . 4) (2 . 6) (3 . 7) (7 . 12)) 2804 0.3076 8.6299 ((2 . 25) (6 . 29) (7 . 31) (8 . 32)) 2821 0.3077 6.6348 ((2 . 2) (3 . 3) (4 . 6) (12 . 12)) 2830 0.3077 4.9537 ((3 . 13) (4 . 14) (6 . 15) (9 . 17)) 2834 0.3077 4.4457 ((1 . 7) (2 . 8) (12 . 15) (13 . 16)) 2840 0.3076 8.5990 ((1 . 3) (2 . 5) (6 . 9) (7 . 11)) 2842 0.3077 4.7974 ((1 . 6) (4 . 8) (6 . 9) (9 . 11)) 2867 0.3076 9.5488 ((1 . 5) (2 . 7) (3 . 8) (5 . 11)) 2879 0.3845 7.7720 ((2 . 52) (3 . 53) (4 . 55) (6 . 58) (7 . 59)) 2886 0.4418 7.5789 ((3 . 30) (6 . 37) (7 . 38) (8 . 39) (9 . 43) (10 . 44)) 2929 0.3077 4.6771 ((1 . 38) (2 . 39) (3 . 40) (4 . 41)) 2940 0.3076 8.4401 ((7 . 1) (10 . 3) (13 . 4) (14 . 5)) 2947 0.3846 6.4605 ((1 . 5) (2 . 6) (3 . 7) (4 . 9) (8 . 12)) 2955 0.3077 6.8368 ((1 . 1) (3 . 3) (6 . 4) (7 . 5)) 2966 0.3845 7.1963 ((3 . 1) (6 . 4) (7 . 6) (8 . 8) (10 . 9)) 2990 0.3846 4.9638 ((1 . 8) (2 . 9) (3 . 12) (6 . 14) (7 . 15)) 2999 0.3077 5.7661 ((3 . 4) (4 . 5) (6 . 6) (7 . 7)) 3014 0.3075 10.9420 ((1 . 18) (6 . 23) (7 . 24) (12 . 31)) 3019 0.3846 5.9329 ((2 . 11) (3 . 14) (12 . 18) (13 . 19) (14 . 25)) 3034 0.3843 9.9531 ((3 . 5) (4 . 6) (6 . 7) (9 . 9) (12 . 13)) 3041 0.3845 8.1157 ((1 . 10) (4 . 11) (10 . 16) (12 . 17) (13 . 18)) 3055 0.3846 5.3202 ((2 . 3) (3 . 4) (6 . 8) (7 . 9) (10 . 11)) 3063 0.3077 6.5772 ((6 . 37) (7 . 38) (8 . 39) (10 . 41)) 3070 0.3077 7.3655 ((4 . 31) (6 . 33) (9 . 35) (10 . 36)) 3084 0.3077 4.5756 ((10 . 15) (12 . 20) (13 . 21) (14 . 24)) 3102 0.3077 6.1261 ((3 . 62) (7 . 66) (10 . 68) (13 . 70)) 3103 0.3077 5.8146 ((2 . 3) (3 . 5) (4 . 6) (10 . 11)) 3114 0.3077 6.1968 ((6 . 22) (7 . 23) (9 . 24) (10 . 25)) 3120 0.3846 4.7587 ((1 . 20) (2 . 21) (3 . 22) (4 . 24) (6 . 25)) 3127 0.3844 9.1781 ((2 . 4) (3 . 6) (4 . 7) (6 . 8) (9 . 11)) 3147 0.4608 9.7073 ((2 . 7) (3 . 8) (6 . 12) (7 . 13) (8 . 15) (13 . 20)) 3176 0.1322 7.9298 ((6 . 26) (7 . 27) (9 . 29) (12 . 31)) 3187 0.3077 4.1442 ((3 . 1) (6 . 3) (7 . 4) (10 . 6)) 3190 0.3077 4.6937 ((3 . 3) (4 . 4) (6 . 6) (9 . 9)) 3197 0.3077 4.7348 ((3 . 24) (4 . 25) (6 . 26) (8 . 28)) 3200 0.3077 4.3651 ((8 . 11) (10 . 13) (12 . 14) (13 . 15)) 3202 0.1479 16.4669 ((1 . 10) (4 . 14) (5 . 15) (12 . 20)) 3212 0.3077 5.3337 ((4 . 1) (6 . 2) (7 . 3) (8 . 5)) 3222 0.3077 5.3760 ((6 . 7) (7 . 8) (13 . 15) (14 . 16)) 3256 0.3845 7.1353 ((6 . 19) (7 . 20) (8 . 21) (9 . 24) (10 . 25)) 3261 0.3846 5.0227 ((3 . 1) (6 . 3) (10 . 6) (13 . 8) (14 . 9)) 3286 0.3077 7.8312 ((2 . 3) (3 . 4) (7 . 7) (10 . 9)) 3289 0.3077 6.3351 ((3 . 25) (7 . 29) (9 . 30) (10 . 31)) 3297 0.3077 6.2383 ((2 . 8) (3 . 9) (6 . 12) (7 . 13)) 3300 0.3077 5.5539 ((2 . 1) (4 . 3) (6 . 5) (12 . 11)) 3322 0.3841 11.2987 ((3 . 1) (5 . 4) (6 . 5) (9 . 7) (12 . 10)) 3334 0.3076 8.6541 ((2 . 3) (9 . 10) (12 . 12) (14 . 14)) 3339 0.3077 4.9696 ((3 . 11) (5 . 14) (6 . 15) (14 . 21)) 3344 0.3076 8.5768 ((3 . 18) (6 . 21) (10 . 24) (13 . 27)) 3358 0.3077 5.5821 ((2 . 1) (10 . 10) (12 . 11) (13 . 12)) 3362 0.3077 3.8351 ((1 . 5) (2 . 6) (6 . 10) (7 . 11)) 3366 0.3077 5.7629 ((2 . 23) (3 . 24) (6 . 27) (9 . 29)) 3391 0.3077 6.2956 ((7 . 4) (10 . 6) (12 . 7) (13 . 8)) 3410 0.3077 5.5058 ((2 . 19) (7 . 24) (10 . 28) (13 . 30)) 3418 0.3845 7.5724 ((4 . 1) (6 . 2) (7 . 5) (9 . 6) (10 . 7)) 3446 0.1480 6.3394 ((4 . 1) (12 . 4) (13 . 5) (14 . 6)) 3472 0.3077 6.4440 ((2 . 6) (3 . 8) (6 . 11) (7 . 12)) 3481 0.3845 7.0041 ((2 . 2) (6 . 7) (7 . 8) (10 . 10) (13 . 12)) 3489 0.3076 10.7703 ((2 . 3) (3 . 4) (7 . 10) (10 . 12)) 3495 0.3077 6.4231 ((7 . 1) (9 . 2) (10 . 3) (12 . 5)) 3496 0.3077 4.7192 ((2 . 18) (3 . 19) (4 . 20) (10 . 23)) 3533 0.2854 7.8895 ((3 . 3) (4 . 6) (6 . 7) (9 . 10)) 3537 0.3077 4.5734 ((3 . 7) (4 . 8) (6 . 9) (7 . 10)) 3538 0.3077 4.7251 ((1 . 17) (2 . 18) (3 . 20) (10 . 23)) 3548 0.3845 6.8372 ((2 . 4) (4 . 7) (6 . 8) (7 . 9) (9 . 10)) 3549 0.3077 6.8908 ((3 . 1) (5 . 4) (8 . 5) (10 . 8)) 3561 0.3846 5.7623 ((3 . 26) (4 . 27) (6 . 28) (7 . 30) (8 . 31)) 3570 0.3844 8.8914 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (6 . 10)) 3585 0.3077 5.3411 ((2 . 11) (3 . 12) (6 . 14) (9 . 16)) 3613 0.3077 6.7195 ((1 . 39) (2 . 40) (3 . 41) (5 . 42)) 3625 0.3077 4.2667 ((2 . 1) (3 . 2) (6 . 5) (7 . 6)) 3626 0.3077 5.2239 ((4 . 1) (6 . 2) (7 . 3) (9 . 6)) 3628 0.3843 9.5766 ((3 . 6) (4 . 7) (6 . 8) (7 . 9) (9 . 10)) 3651 0.3845 7.8154 ((3 . 5) (4 . 7) (6 . 8) (9 . 11) (10 . 13)) 3656 0.3076 8.6087 ((1 . 12) (5 . 21) (7 . 22) (10 . 23)) 3658 0.3845 7.1831 ((3 . 1) (4 . 2) (6 . 5) (7 . 6) (8 . 7)) 3659 0.3295 6.6894 ((4 . 3) (5 . 4) (6 . 5) (7 . 7) (8 . 8)) 3661 0.3077 5.8391 ((10 . 7) (12 . 10) (13 . 11) (14 . 12)) 3663 0.1480 8.8745 ((6 . 1) (7 . 2) (9 . 5) (12 . 6)) 3688 0.3076 8.2866 ((2 . 5) (3 . 7) (8 . 12) (10 . 14)) 3697 0.4615 5.3899 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10)) 3703 0.3844 8.8976 ((4 . 5) (6 . 6) (7 . 7) (9 . 8) (10 . 9)) 3732 0.3077 4.7808 ((4 . 6) (6 . 7) (9 . 9) (10 . 11)) 3733 0.3077 4.5101 ((3 . 3) (4 . 4) (6 . 6) (9 . 8)) 3740 0.3846 5.8835 ((2 . 2) (3 . 3) (6 . 5) (7 . 6) (8 . 7)) 3741 0.3077 5.1399 ((1 . 5) (6 . 14) (7 . 16) (8 . 17)) 3776 0.3076 8.0020 ((1 . 16) (2 . 17) (3 . 19) (7 . 24)) 3778 0.3845 7.1729 ((1 . 5) (2 . 6) (3 . 7) (4 . 9) (8 . 12)) 3787 0.3077 5.8318 ((7 . 29) (10 . 31) (12 . 34) (13 . 35)) 3790 0.4612 7.9319 ((2 . 30) (3 . 31) (6 . 33) (7 . 35) (9 . 37) (10 . 38)) 3807 0.3077 7.2597 ((2 . 46) (3 . 47) (5 . 49) (7 . 50)) 3810 0.2854 8.0560 ((2 . 6) (6 . 11) (7 . 14) (8 . 15)) 3817 0.3076 9.7349 ((1 . 8) (2 . 9) (10 . 15) (14 . 18)) 3818 0.3076 8.8751 ((1 . 21) (2 . 23) (7 . 28) (9 . 29)) 3829 0.2553 11.9296 ((1 . 3) (4 . 4) (5 . 6) (12 . 11)) 3831 0.3846 6.4145 ((1 . 1) (4 . 4) (6 . 5) (7 . 6) (10 . 9)) 3847 0.3077 7.1677 ((1 . 10) (4 . 15) (6 . 16) (7 . 17)) 3849 0.3077 7.1948 ((3 . 1) (5 . 4) (8 . 5) (10 . 8)) 3853 0.3077 4.7580 ((3 . 3) (4 . 4) (6 . 6) (9 . 8)) 3856 0.3077 7.8078 ((3 . 6) (6 . 9) (7 . 10) (9 . 12)) 3870 0.3077 3.4596 ((2 . 3) (5 . 6) (12 . 9) (13 . 10)) 3933 0.3077 6.4353 ((6 . 2) (7 . 3) (10 . 7) (13 . 11)) 3938 0.3846 4.3296 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (6 . 9)) 3942 0.3077 5.6651 ((3 . 9) (4 . 5) (6 . 2) (10 . 3)) 3968 0.3077 4.0018 ((3 . 5) (4 . 8) (6 . 9) (9 . 11)) 3986 0.3295 6.7701 ((2 . 1) (3 . 2) (7 . 6) (8 . 9) (9 . 26)) 3990 0.3077 5.3899 ((6 . 23) (7 . 24) (9 . 25) (10 . 26)) 4005 0.3846 6.4907 ((1 . 28) (2 . 29) (3 . 30) (7 . 37) (8 . 38)) 4009 0.3077 6.0931 ((3 . 13) (4 . 14) (5 . 16) (10 . 19)) 4019 0.3845 8.0296 ((2 . 38) (3 . 39) (6 . 43) (7 . 44) (14 . 51)) 4030 0.2554 7.7186 ((1 . 9) (4 . 10) (5 . 11) (12 . 15)) 4034 0.9994 3.4811 ((1 . 3) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 10) (8 . 11) (9 . 12) (10 . 13) (12 . 14) (13 . 15) (14 . 16)) 4037 0.3077 7.9218 ((6 . 1) (7 . 2) (9 . 3) (12 . 6)) 4062 0.3076 9.4956 ((2 . 48) (3 . 49) (4 . 51) (5 . 52)) 4067 0.3077 4.7441 ((3 . 20) (4 . 21) (6 . 22) (9 . 24)) 4077 0.3069 16.5433 ((2 . 10) (3 . 11) (5 . 14) (12 . 16)) 4082 0.3077 5.3721 ((4 . 2) (10 . 6) (13 . 8) (14 . 10)) 4087 0.3846 4.5556 ((4 . 4) (6 . 5) (7 . 6) (8 . 7) (10 . 8)) 4112 0.3077 5.6884 ((2 . 3) (3 . 4) (4 . 7) (5 . 8)) 4115 0.3695 10.9112 ((3 . 1) (4 . 2) (6 . 5) (8 . 8) (14 . 13)) 4140 0.3076 8.9960 ((7 . 21) (9 . 22) (10 . 23) (12 . 25)) 4151 0.3077 5.0695 ((3 . 15) (4 . 16) (6 . 17) (9 . 19)) 4154 0.3077 2.4444 ((2 . 51) (3 . 52) (6 . 56) (7 . 57)) 4177 0.3077 5.9963 ((4 . 6) (6 . 7) (7 . 8) (8 . 9)) 4190 0.3077 7.1883 ((6 . 3) (12 . 7) (13 . 8) (14 . 9)) 4192 0.3077 7.1147 ((4 . 14) (6 . 15) (12 . 20) (14 . 22)) 4194 0.3846 3.3084 ((3 . 3) (4 . 4) (6 . 5) (7 . 6) (9 . 7)) 4195 0.3076 8.9079 ((4 . 12) (5 . 13) (7 . 14) (9 . 15)) 4204 0.3846 5.3206 ((5 . 10) (6 . 11) (8 . 13) (9 . 14) (10 . 15)) 4209 0.3077 5.7760 ((2 . 1) (3 . 2) (7 . 5) (9 . 7)) 4210 0.3846 5.7975 ((2 . 5) (3 . 6) (4 . 7) (6 . 8) (9 . 10)) 4226 0.3846 5.5799 ((3 . 4) (4 . 5) (6 . 6) (7 . 8) (8 . 9)) 4232 0.3077 6.7232 ((6 . 1) (10 . 2) (13 . 5) (14 . 6)) 4246 0.1919 9.2775 ((7 . 5) (9 . 6) (10 . 8) (12 . 10)) 4254 0.3845 7.9791 ((2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8)) 4255 0.3846 4.8674 ((1 . 22) (2 . 23) (3 . 24) (4 . 25) (6 . 26)) 4257 0.3077 6.9147 ((3 . 3) (6 . 8) (7 . 9) (8 . 10)) 4261 0.3075 12.1157 ((1 . 10) (4 . 11) (5 . 12) (12 . 16)) 4265 0.3077 5.2897 ((3 . 23) (4 . 25) (6 . 26) (9 . 29)) 4266 0.3077 6.8075 ((7 . 2) (10 . 4) (12 . 5) (13 . 6)) 4274 0.3077 5.4600 ((3 . 38) (4 . 39) (6 . 40) (7 . 41)) 4275 0.3846 4.1523 ((3 . 23) (4 . 24) (6 . 25) (7 . 27) (9 . 28)) 4281 0.3077 6.6076 ((2 . 3) (3 . 4) (4 . 6) (5 . 7)) 4284 0.3077 4.9974 ((10 . 1) (12 . 2) (13 . 3) (14 . 4)) 4299 0.3845 7.2522 ((4 . 10) (6 . 11) (9 . 14) (13 . 19) (14 . 20)) 4301 0.3077 4.8962 ((3 . 1) (6 . 3) (7 . 4) (9 . 6)) 4326 0.3075 11.0551 ((3 . 10) (7 . 15) (9 . 17) (10 . 19)) 4332 0.3846 4.2376 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (6 . 6)) 4338 0.3077 6.1491 ((1 . 5) (2 . 6) (3 . 7) (7 . 11)) 4359 0.4614 5.8961 ((2 . 13) (3 . 14) (6 . 18) (7 . 19) (8 . 20) (10 . 21)) 4380 0.3077 4.2497 ((4 . 27) (5 . 28) (6 . 29) (9 . 31)) 4383 0.3077 5.8382 ((2 . 14) (3 . 15) (7 . 18) (8 . 19)) 4386 0.3076 9.3272 ((4 . 17) (6 . 18) (7 . 19) (10 . 21)) 4388 0.3846 4.6580 ((1 . 4) (2 . 5) (3 . 6) (6 . 9) (7 . 10)) 4398 0.3846 4.9262 ((7 . 6) (8 . 7) (10 . 8) (12 . 11) (13 . 12)) 4405 0.3846 6.2439 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (10 . 25)) 4408 0.3846 6.6437 ((1 . 5) (2 . 6) (3 . 7) (4 . 10) (8 . 13)) 4415 0.4615 4.9804 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 9) (9 . 11)) 4419 0.3077 5.5950 ((1 . 1) (6 . 8) (7 . 9) (8 . 10)) 4426 0.3077 4.9784 ((1 . 3) (3 . 4) (4 . 5) (6 . 6)) 4470 0.3845 7.9477 ((3 . 12) (5 . 13) (6 . 14) (13 . 19) (14 . 20)) 4491 0.3846 4.4425 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (6 . 8)) 4492 0.3846 5.6675 ((3 . 11) (4 . 12) (6 . 13) (9 . 16) (14 . 23)) 4495 0.3077 7.0315 ((7 . 6) (10 . 8) (12 . 9) (13 . 10)) 4497 0.4615 5.6543 ((1 . 20) (3 . 23) (6 . 25) (7 . 26) (9 . 27) (10 . 28)) 4502 0.3845 7.4874 ((2 . 10) (3 . 11) (4 . 13) (6 . 14) (9 . 17)) 4503 0.3077 7.8573 ((2 . 1) (6 . 8) (7 . 9) (8 . 10)) 4504 0.3077 4.0142 ((10 . 4) (12 . 5) (13 . 6) (14 . 8)) 4505 0.3077 6.6517 ((1 . 27) (3 . 28) (4 . 29) (6 . 30)) 4516 0.5380 7.3178 ((1 . 25) (3 . 26) (4 . 29) (6 . 30) (7 . 32) (8 . 34) (10 . 28)) 4527 0.3077 6.0523 ((2 . 1) (4 . 4) (7 . 6) (9 . 7)) 4538 0.3077 6.1301 ((2 . 31) (3 . 32) (5 . 36) (7 . 38)) 4551 0.3077 7.7680 ((2 . 4) (4 . 7) (13 . 18) (14 . 17)) 4560 0.3077 5.8924 ((1 . 7) (2 . 8) (7 . 14) (9 . 16)) 4561 0.3845 7.1301 ((3 . 1) (4 . 4) (6 . 5) (13 . 13) (14 . 14)) 4562 0.3077 7.5481 ((5 . 21) (10 . 25) (12 . 28) (13 . 29)) 4563 0.3077 5.8459 ((2 . 26) (12 . 33) (13 . 34) (14 . 35)) 4577 0.3845 8.0535 ((3 . 34) (6 . 37) (7 . 38) (13 . 42) (14 . 43)) 4579 0.3076 9.8775 ((1 . 16) (4 . 21) (5 . 22) (12 . 25)) 4588 0.3845 8.0643 ((3 . 3) (4 . 4) (6 . 7) (7 . 8) (8 . 9)) 4589 0.3846 4.6023 ((2 . 22) (3 . 23) (4 . 24) (9 . 29) (10 . 30)) 4607 0.3076 8.2744 ((1 . 17) (5 . 19) (13 . 24) (14 . 27)) 4621 0.3076 8.3670 ((1 . 5) (2 . 7) (3 . 8) (6 . 11)) 4630 0.3077 7.4926 ((2 . 31) (3 . 33) (6 . 36) (10 . 39)) 4648 0.3077 5.6943 ((2 . 1) (3 . 2) (6 . 5) (7 . 8)) 4653 0.3077 4.8829 ((3 . 4) (6 . 7) (7 . 8) (9 . 9)) 4665 0.3073 13.4946 ((1 . 9) (6 . 12) (7 . 13) (9 . 14)) 4668 0.3077 5.1841 ((3 . 3) (4 . 6) (6 . 7) (9 . 9)) 4669 0.3077 3.9021 ((3 . 17) (4 . 18) (6 . 19) (9 . 21)) 4671 0.3077 5.5562 ((2 . 1) (3 . 2) (4 . 3) (6 . 4)) 4674 0.3845 8.4180 ((2 . 1) (3 . 2) (4 . 4) (8 . 7) (10 . 8)) 4678 0.3077 7.7254 ((1 . 5) (6 . 11) (8 . 12) (10 . 14)) 4713 0.3077 6.1331 ((6 . 4) (7 . 5) (9 . 6) (10 . 7)) 4715 0.2284 9.8150 ((1 . 1) (4 . 2) (5 . 4) (8 . 6)) 4731 0.3566 9.2611 ((1 . 17) (4 . 20) (6 . 22) (7 . 23) (9 . 24)) 4734 0.3076 8.7659 ((3 . 2) (6 . 6) (8 . 7) (9 . 8)) 4857 0.3077 4.6750 ((2 . 3) (3 . 5) (10 . 11) (13 . 13)) 4886 0.3845 7.8629 ((4 . 20) (6 . 22) (10 . 24) (12 . 27) (14 . 29)) 4888 0.3077 3.6916 ((3 . 1) (4 . 2) (5 . 3) (10 . 9)) 4889 0.3077 4.2920 ((1 . 5) (2 . 6) (3 . 7) (9 . 11)) 4907 0.3077 6.2523 ((2 . 3) (3 . 4) (6 . 8) (7 . 9)) 4914 0.3845 7.7123 ((2 . 1) (3 . 4) (6 . 6) (7 . 7) (8 . 8)) 4921 0.3846 4.0323 ((2 . 7) (3 . 8) (10 . 12) (12 . 13) (13 . 17)) 4929 0.3846 6.0213 ((3 . 26) (6 . 29) (7 . 31) (8 . 32) (10 . 33)) 4932 0.3077 6.0787 ((2 . 5) (3 . 6) (4 . 7) (6 . 8)) 4940 0.3845 7.6683 ((3 . 3) (4 . 5) (6 . 6) (7 . 7) (8 . 8)) 4941 0.3070 15.8357 ((3 . 9) (6 . 13) (8 . 17) (12 . 21)) 4944 0.3077 5.7840 ((1 . 10) (2 . 11) (6 . 15) (7 . 16)) 4961 0.3077 7.0806 ((3 . 1) (4 . 2) (6 . 3) (9 . 6)) 4963 0.3077 7.3696 ((1 . 2) (4 . 3) (5 . 5) (12 . 8)) 4978 0.3846 5.0438 ((3 . 18) (4 . 20) (6 . 21) (7 . 22) (9 . 24)) 4982 0.3077 7.8165 ((9 . 8) (12 . 11) (13 . 12) (14 . 14)) 4992 0.3077 4.9743 ((4 . 4) (6 . 6) (9 . 8) (10 . 9)) 4998 0.3076 8.4888 ((4 . 21) (6 . 23) (9 . 25) (14 . 29)) 5029 0.3077 6.1892 ((7 . 4) (10 . 6) (12 . 9) (13 . 10)) 5036 0.3845 7.3222 ((6 . 5) (7 . 6) (9 . 7) (10 . 8) (13 . 10)) 5038 0.3846 5.0177 ((5 . 13) (6 . 14) (7 . 15) (8 . 16) (10 . 18)) 5039 0.3077 4.9764 ((3 . 37) (4 . 38) (6 . 39) (13 . 45)) 5044 0.3077 5.6332 ((3 . 1) (6 . 3) (7 . 8) (9 . 9)) 5046 0.3077 5.2508 ((3 . 1) (6 . 4) (10 . 7) (13 . 10)) 5053 0.3846 5.4086 ((1 . 7) (4 . 8) (6 . 9) (7 . 10) (9 . 11)) 5065 0.3077 4.7356 ((4 . 1) (6 . 2) (7 . 3) (13 . 9)) 5068 0.3077 4.5193 ((3 . 7) (5 . 9) (6 . 10) (14 . 17)) 5069 0.3846 5.3805 ((3 . 2) (4 . 3) (6 . 4) (7 . 5) (9 . 7)) 5073 0.3077 4.6259 ((3 . 36) (4 . 38) (6 . 39) (9 . 42)) 5083 0.3699 5.0578 ((4 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 8)) 5092 0.3076 8.0770 ((1 . 5) (4 . 7) (5 . 8) (12 . 11)) 5101 0.3846 6.4651 ((3 . 1) (4 . 2) (6 . 3) (9 . 5) (14 . 10)) 5103 0.3843 9.8296 ((2 . 2) (3 . 6) (5 . 7) (10 . 9) (12 . 20)) 5121 0.3845 7.5491 ((1 . 22) (4 . 23) (6 . 25) (7 . 26) (10 . 28)) 5132 0.3077 4.5455 ((3 . 16) (4 . 17) (6 . 18) (9 . 20)) 5134 0.1479 12.6609 ((1 . 5) (2 . 3) (4 . 8) (12 . 15)) 5145 0.3077 3.6688 ((3 . 3) (6 . 5) (9 . 8) (10 . 10)) 5167 0.3077 5.5061 ((3 . 9) (4 . 10) (6 . 12) (9 . 14)) 5176 0.3077 7.5888 ((6 . 84) (7 . 86) (9 . 87) (10 . 88)) 5183 0.3077 7.1276 ((3 . 34) (6 . 36) (7 . 37) (8 . 38)) 5192 0.3077 7.3921 ((3 . 9) (5 . 13) (12 . 18) (13 . 20)) 5198 0.3077 5.7224 ((5 . 27) (8 . 30) (9 . 31) (10 . 32)) 5199 0.3077 6.7153 ((2 . 4) (6 . 7) (7 . 8) (13 . 10)) 5209 0.3076 8.3285 ((1 . 6) (6 . 8) (7 . 9) (9 . 10)) 5212 0.3075 12.2055 ((1 . 15) (4 . 17) (5 . 18) (13 . 24)) 5215 0.3846 4.3641 ((1 . 6) (4 . 8) (6 . 9) (7 . 10) (9 . 11)) 5223 0.3077 5.2815 ((3 . 12) (4 . 14) (6 . 15) (9 . 17)) 5231 0.3077 5.9172 ((1 . 9) (2 . 13) (3 . 14) (4 . 15)) 5266 0.3846 5.7776 ((3 . 8) (4 . 9) (6 . 10) (9 . 13) (10 . 15)) 5278 0.4614 6.1441 ((2 . 2) (3 . 5) (6 . 7) (7 . 8) (9 . 9) (10 . 10)) 5307 0.3846 4.1106 ((3 . 53) (4 . 54) (6 . 55) (7 . 57) (9 . 58)) 5312 0.3846 6.6400 ((2 . 1) (3 . 2) (7 . 3) (9 . 4) (10 . 5)) 5318 0.3075 11.0359 ((2 . 3) (4 . 4) (12 . 9) (13 . 11)) 5323 0.3077 4.1511 ((1 . 9) (2 . 10) (3 . 11) (5 . 13)) 5324 0.3844 8.5098 ((1 . 19) (3 . 22) (4 . 23) (10 . 28) (12 . 29)) 5344 0.3077 7.0265 ((6 . 4) (10 . 7) (13 . 9) (14 . 10)) 5345 0.4615 4.6915 ((2 . 2) (3 . 3) (6 . 8) (7 . 9) (13 . 16) (14 . 17)) 5368 0.4615 5.6954 ((2 . 15) (3 . 16) (6 . 20) (7 . 21) (9 . 22) (10 . 25)) 5378 0.4615 5.1643 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (6 . 6) (10 . 7)) 5411 0.3844 8.7880 ((3 . 3) (4 . 5) (6 . 6) (7 . 8) (12 . 9)) 5414 0.3077 5.6262 ((6 . 15) (7 . 16) (9 . 18) (10 . 19)) 5418 0.3077 6.3455 ((2 . 2) (3 . 3) (6 . 8) (7 . 9)) 5421 0.2554 6.1558 ((6 . 1) (7 . 2) (9 . 3) (10 . 4)) 5433 0.3076 8.8639 ((2 . 4) (7 . 12) (9 . 13) (10 . 16)) 5442 0.3075 11.8244 ((1 . 31) (4 . 32) (5 . 33) (12 . 37)) 5479 0.3846 4.2962 ((2 . 68) (3 . 69) (6 . 71) (7 . 72) (10 . 74)) 5487 0.3077 5.5430 ((3 . 7) (4 . 8) (6 . 9) (9 . 11)) 5489 0.3846 5.9147 ((2 . 5) (3 . 6) (6 . 9) (7 . 10) (8 . 11)) 5500 0.3846 6.0766 ((2 . 1) (3 . 2) (5 . 6) (10 . 12) (13 . 14)) 5501 0.3076 8.8948 ((2 . 20) (7 . 24) (9 . 25) (12 . 28)) 5525 0.2554 8.9411 ((4 . 1) (12 . 5) (13 . 7) (14 . 8)) 5535 0.3077 5.2453 ((2 . 4) (7 . 10) (9 . 11) (10 . 12)) 5540 0.3077 4.6894 ((2 . 7) (3 . 8) (4 . 9) (8 . 15)) 5557 0.3077 6.6443 ((2 . 3) (3 . 4) (4 . 5) (6 . 6)) 5560 0.3845 7.1847 ((2 . 11) (3 . 13) (4 . 14) (9 . 17) (14 . 22)) 5562 0.3077 5.9019 ((2 . 6) (3 . 7) (4 . 9) (6 . 11)) 5567 0.3077 5.0744 ((3 . 11) (4 . 14) (6 . 15) (9 . 17)) 5594 0.3567 8.1974 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (9 . 9)) 5600 0.3846 6.2119 ((3 . 3) (4 . 4) (6 . 5) (7 . 6) (10 . 9)) 5601 0.3845 6.9056 ((3 . 1) (5 . 4) (6 . 5) (9 . 7) (14 . 15)) 5638 0.3077 5.8314 ((10 . 7) (12 . 12) (13 . 9) (14 . 13)) 5640 0.4026 6.4199 ((2 . 19) (3 . 23) (6 . 24) (7 . 25) (9 . 26) (10 . 27)) 5644 0.3846 6.5103 ((6 . 1) (7 . 3) (10 . 8) (13 . 10) (14 . 11)) 5656 0.3845 7.5058 ((4 . 13) (5 . 15) (6 . 16) (13 . 23) (14 . 24)) 5689 0.3076 10.5922 ((1 . 3) (4 . 4) (5 . 7) (12 . 11)) 5700 0.3077 4.7926 ((3 . 2) (6 . 4) (10 . 8) (13 . 11)) 5701 0.3076 8.0724 ((1 . 3) (10 . 8) (12 . 10) (13 . 11)) 5703 0.3077 6.5456 ((2 . 1) (3 . 2) (9 . 7) (10 . 8)) 5711 0.3846 6.7021 ((7 . 33) (9 . 35) (10 . 36) (13 . 39) (14 . 42)) 5713 0.4615 5.3604 ((2 . 10) (3 . 11) (6 . 16) (7 . 18) (8 . 19) (10 . 20)) 5718 0.3845 7.7963 ((3 . 14) (6 . 17) (9 . 21) (10 . 23) (13 . 25)) 5731 0.3077 5.7469 ((2 . 2) (3 . 3) (6 . 7) (10 . 11)) 5746 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14)) 5749 0.3077 6.3958 ((1 . 2) (2 . 3) (3 . 4) (6 . 6)) 5761 0.3077 5.5680 ((2 . 31) (3 . 32) (4 . 34) (6 . 36)) 5770 0.3077 4.6450 ((3 . 1) (4 . 2) (10 . 8) (12 . 10)) 5771 0.3077 7.5248 ((6 . 14) (8 . 15) (12 . 19) (13 . 20)) 5782 0.3843 9.5897 ((2 . 21) (4 . 23) (6 . 24) (9 . 27) (10 . 29)) 5789 0.2975 7.5860 ((1 . 1) (4 . 3) (5 . 4) (9 . 5)) 5794 0.3846 5.6553 ((3 . 19) (4 . 22) (6 . 23) (7 . 24) (9 . 25)) 5795 0.3077 5.5508 ((3 . 10) (4 . 12) (6 . 13) (9 . 16)) 5809 0.3077 5.3307 ((3 . 5) (4 . 6) (6 . 7) (9 . 9)) 5822 0.3077 6.9395 ((6 . 4) (8 . 6) (9 . 7) (10 . 8)) 5827 0.3291 13.1592 ((2 . 14) (3 . 15) (6 . 17) (9 . 19) (12 . 22)) 5830 0.4608 9.7934 ((3 . 7) (6 . 8) (7 . 10) (10 . 13) (12 . 16) (13 . 18)) 5847 0.3077 6.9023 ((2 . 12) (3 . 13) (7 . 18) (9 . 20)) 5861 0.4610 8.9737 ((2 . 10) (3 . 11) (6 . 16) (7 . 17) (10 . 20) (13 . 22)) 5865 0.3077 6.2314 ((2 . 4) (3 . 5) (4 . 6) (6 . 7)) 5878 0.3076 9.6807 ((1 . 21) (4 . 24) (7 . 29) (8 . 30)) 5888 0.4615 5.5881 ((2 . 4) (3 . 5) (6 . 9) (7 . 10) (9 . 11) (10 . 12)) 5896 0.3846 5.3323 ((1 . 27) (2 . 28) (3 . 29) (4 . 30) (6 . 31)) 5904 0.3077 3.7732 ((2 . 1) (10 . 7) (12 . 8) (13 . 9)) 5913 0.3077 6.9977 ((9 . 5) (10 . 6) (13 . 9) (14 . 10)) 5914 0.3077 7.3914 ((3 . 2) (4 . 4) (6 . 5) (7 . 6)) 5922 0.3845 6.8519 ((6 . 1) (8 . 4) (10 . 5) (13 . 8) (14 . 9)) 5930 0.3077 7.8912 ((1 . 3) (2 . 4) (7 . 8) (8 . 9)) 5939 0.3077 5.9787 ((3 . 4) (4 . 5) (6 . 6) (9 . 8)) 5945 0.3845 8.0552 ((1 . 31) (2 . 32) (3 . 33) (4 . 34) (10 . 38)) 5949 0.3077 3.8938 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 5955 0.3844 9.2387 ((4 . 13) (6 . 14) (7 . 16) (8 . 17) (12 . 19)) 5967 0.3844 8.6976 ((3 . 1) (4 . 2) (6 . 3) (8 . 7) (12 . 10)) 5977 0.3077 6.6345 ((3 . 3) (4 . 4) (6 . 5) (7 . 6)) 6000 0.3076 8.2559 ((2 . 14) (4 . 16) (6 . 17) (8 . 21)) 6011 0.3845 7.4302 ((6 . 7) (7 . 8) (9 . 9) (10 . 10) (14 . 14)) 6022 0.3077 4.6403 ((2 . 1) (6 . 4) (7 . 5) (9 . 7)) 6029 0.4615 5.0729 ((2 . 5) (3 . 6) (4 . 7) (6 . 10) (10 . 11) (12 . 12)) 6041 0.4615 4.4761 ((3 . 8) (4 . 9) (6 . 10) (7 . 11) (8 . 12) (10 . 15)) 6046 0.3077 5.8285 ((1 . 1) (2 . 5) (3 . 6) (4 . 7)) 6061 0.3845 6.9704 ((2 . 14) (4 . 16) (6 . 17) (9 . 20) (10 . 21)) 6074 0.3077 4.9047 ((3 . 6) (4 . 7) (6 . 8) (8 . 11)) 6075 0.3077 6.0627 ((1 . 16) (2 . 17) (3 . 20) (12 . 29)) 6079 0.3844 9.3592 ((4 . 2) (6 . 6) (9 . 8) (10 . 9) (12 . 10)) 6087 0.3076 10.5508 ((3 . 3) (4 . 4) (9 . 8) (12 . 11)) 6089 0.3077 5.0479 ((3 . 12) (5 . 15) (12 . 22) (13 . 23)) 6094 0.3077 5.5489 ((6 . 7) (10 . 12) (13 . 15) (14 . 16)) 6099 0.3846 4.4507 ((6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 6123 0.3076 8.5824 ((6 . 2) (7 . 3) (8 . 4) (12 . 7)) 6142 0.3846 4.9737 ((6 . 3) (7 . 4) (9 . 5) (10 . 6) (13 . 8)) 6148 0.3077 6.8887 ((3 . 32) (6 . 34) (8 . 36) (10 . 37)) 6167 0.3077 6.8306 ((9 . 12) (10 . 14) (13 . 20) (14 . 21)) 6173 0.3844 8.4959 ((2 . 4) (3 . 5) (6 . 8) (8 . 11) (13 . 15)) 6191 0.3845 6.9088 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (13 . 13)) 6192 0.3077 7.9367 ((4 . 2) (6 . 3) (13 . 10) (14 . 11)) 6215 0.3077 7.2440 ((3 . 17) (6 . 19) (7 . 20) (10 . 24)) 6225 0.3845 7.8354 ((1 . 2) (2 . 3) (3 . 4) (7 . 8) (10 . 10)) 6228 0.3077 7.1504 ((3 . 1) (4 . 2) (6 . 3) (8 . 5)) 6234 0.3077 7.3541 ((2 . 6) (3 . 7) (7 . 13) (10 . 15)) 6238 0.3846 5.6342 ((4 . 2) (6 . 3) (7 . 4) (9 . 5) (10 . 7)) 6243 0.4281 5.7920 ((2 . 2) (3 . 3) (4 . 5) (6 . 6) (8 . 8) (10 . 10)) 6251 0.3842 10.8937 ((1 . 9) (2 . 10) (7 . 15) (10 . 17) (13 . 19)) 6258 0.3077 5.3198 ((1 . 5) (3 . 10) (10 . 12) (12 . 14)) 6261 0.3845 6.8990 ((3 . 9) (4 . 10) (6 . 11) (13 . 21) (14 . 22)) 6266 0.3077 5.6878 ((3 . 5) (5 . 7) (6 . 8) (9 . 10)) 6270 0.3077 5.3369 ((3 . 15) (4 . 16) (6 . 17) (7 . 18)) 6271 0.3846 6.3161 ((6 . 4) (7 . 5) (9 . 7) (10 . 8) (13 . 10)) 6273 0.3077 7.2365 ((2 . 2) (3 . 3) (9 . 7) (13 . 12)) 6294 0.3077 5.9254 ((3 . 2) (4 . 5) (6 . 6) (9 . 9)) 6306 0.3076 10.3918 ((3 . 15) (7 . 19) (9 . 21) (12 . 23)) 6309 0.3845 6.9958 ((3 . 17) (4 . 19) (6 . 20) (10 . 25) (12 . 26)) 6311 0.3077 4.8257 ((2 . 10) (3 . 11) (6 . 13) (7 . 14)) 6326 0.3077 5.2357 ((2 . 6) (3 . 7) (6 . 11) (7 . 12)) 6338 0.3077 6.0207 ((6 . 2) (7 . 4) (8 . 5) (10 . 7)) 6344 0.3846 4.6031 ((3 . 1) (4 . 2) (6 . 3) (7 . 4) (10 . 6)) 6345 0.3845 6.8121 ((1 . 1) (4 . 2) (6 . 4) (7 . 5) (10 . 6)) 6348 0.3074 12.5243 ((1 . 3) (2 . 4) (5 . 8) (12 . 13)) 6355 0.3843 9.8256 ((4 . 3) (6 . 4) (7 . 6) (9 . 7) (14 . 12)) 6356 0.3077 5.4491 ((2 . 1) (7 . 6) (12 . 10) (13 . 11)) 6369 0.3077 5.4788 ((3 . 24) (4 . 25) (6 . 26) (9 . 29)) 6376 0.3077 4.0253 ((3 . 17) (6 . 19) (13 . 27) (14 . 28)) 6391 0.3077 5.5622 ((1 . 7) (2 . 8) (3 . 10) (10 . 12)) 6392 0.3076 7.9974 ((3 . 1) (4 . 2) (10 . 7) (12 . 8)) 6399 0.4613 7.1611 ((2 . 10) (3 . 11) (6 . 15) (7 . 16) (8 . 17) (10 . 18)) 6403 0.3846 6.0313 ((2 . 4) (3 . 5) (6 . 7) (13 . 14) (14 . 15)) 6434 0.3076 8.1286 ((2 . 4) (3 . 5) (5 . 6) (12 . 9)) 6462 0.3077 3.5472 ((1 . 11) (2 . 12) (3 . 18) (10 . 20)) 6498 0.3077 6.0483 ((3 . 16) (5 . 18) (6 . 19) (12 . 23)) 6506 0.3074 12.3549 ((1 . 16) (4 . 17) (5 . 18) (12 . 22)) 6520 0.3845 7.3405 ((4 . 23) (6 . 24) (7 . 25) (9 . 26) (10 . 28)) 6536 0.3076 10.1483 ((1 . 28) (4 . 30) (5 . 32) (13 . 36)) 6539 0.3846 6.2505 ((3 . 2) (4 . 3) (6 . 4) (7 . 5) (10 . 8)) 6540 0.3077 7.2425 ((6 . 17) (7 . 18) (9 . 19) (10 . 20)) 6548 0.3077 5.8127 ((3 . 5) (4 . 6) (6 . 7) (10 . 12)) 6553 0.3844 8.6575 ((2 . 11) (7 . 17) (10 . 20) (13 . 23) (14 . 24)) 6555 0.3077 4.4828 ((3 . 17) (6 . 20) (7 . 22) (9 . 23)) 6561 0.3077 5.1930 ((6 . 10) (10 . 12) (13 . 13) (14 . 15)) 6573 0.3077 5.2290 ((6 . 22) (7 . 23) (9 . 24) (10 . 25)) 6575 0.1920 7.4233 ((5 . 3) (6 . 2) (10 . 5) (12 . 7)) 6578 0.3845 6.9016 ((2 . 31) (3 . 32) (4 . 36) (6 . 37) (7 . 38)) 6584 0.3077 6.5706 ((1 . 1) (2 . 2) (3 . 3) (8 . 7)) 6585 0.3844 9.3043 ((7 . 6) (10 . 8) (12 . 9) (13 . 10) (14 . 11)) 6586 0.3077 2.1003 ((2 . 18) (12 . 23) (13 . 24) (14 . 25)) 6587 0.3077 4.3515 ((3 . 29) (5 . 32) (6 . 33) (7 . 34)) 6598 0.3846 5.0210 ((6 . 21) (7 . 22) (10 . 24) (13 . 26) (14 . 27)) 6613 0.3846 5.8649 ((6 . 21) (10 . 24) (12 . 25) (13 . 27) (14 . 28)) 6635 0.3077 7.6956 ((1 . 2) (2 . 4) (3 . 5) (6 . 7)) END