4236 62 0.5713 5.2412 ((5 . 10) (6 . 12) (7 . 16) (8 . 17)) 64 0.5714 3.3735 ((5 . 9) (6 . 10) (7 . 12) (10 . 13)) 77 0.5650 12.9640 ((7 . 6) (8 . 7) (11 . 10) (13 . 12)) 91 0.5711 6.1544 ((6 . 44) (7 . 45) (11 . 46) (13 . 48)) 129 0.4455 5.7739 ((6 . 5) (7 . 8) (8 . 9) (10 . 10)) 136 0.5710 6.4010 ((6 . 5) (7 . 7) (8 . 8) (11 . 9)) 150 0.2945 9.1827 ((7 . 19) (8 . 20) (11 . 21) (13 . 24)) 157 0.5706 7.8413 ((5 . 9) (6 . 11) (10 . 14) (11 . 15)) 161 0.5712 5.8747 ((5 . 2) (6 . 4) (7 . 6) (10 . 8)) 162 0.5713 5.1827 ((5 . 17) (6 . 18) (8 . 20) (10 . 22)) 191 0.5713 5.1859 ((5 . 6) (6 . 7) (7 . 8) (8 . 9)) 198 0.5701 8.7158 ((5 . 2) (6 . 5) (7 . 7) (8 . 8)) 207 0.5699 8.9710 ((7 . 7) (8 . 8) (11 . 11) (13 . 12)) 300 0.5633 13.8065 ((7 . 10) (8 . 9) (11 . 11) (13 . 12)) 305 0.5712 5.5837 ((5 . 16) (6 . 18) (7 . 19) (11 . 20)) 307 0.5660 12.4563 ((6 . 1) (10 . 3) (11 . 6) (13 . 8)) 315 0.5709 6.8166 ((5 . 3) (6 . 5) (7 . 6) (10 . 8)) 340 0.7143 1.6493 ((5 . 1) (6 . 2) (7 . 4) (8 . 7) (10 . 9)) 360 0.5713 4.7401 ((5 . 3) (6 . 5) (7 . 6) (8 . 7)) 365 0.5713 4.3379 ((5 . 3) (6 . 4) (7 . 6) (10 . 8)) 367 0.3790 6.9273 ((5 . 44) (6 . 46) (7 . 47) (8 . 48)) 372 0.5714 2.9952 ((5 . 1) (6 . 2) (7 . 3) (10 . 14)) 417 0.2945 8.8092 ((6 . 3) (7 . 5) (10 . 7) (11 . 6)) 442 0.4452 8.2552 ((6 . 4) (8 . 5) (10 . 6) (13 . 11)) 460 0.4913 8.3418 ((5 . 1) (6 . 2) (7 . 3) (13 . 9)) 543 0.5711 6.2662 ((7 . 5) (10 . 6) (11 . 7) (13 . 9)) 561 0.5711 5.9525 ((5 . 1) (7 . 3) (10 . 4) (11 . 5)) 584 0.5711 6.0048 ((5 . 3) (6 . 4) (7 . 5) (13 . 9)) 587 0.5713 4.4727 ((5 . 10) (6 . 11) (7 . 13) (10 . 14)) 619 0.5710 6.6738 ((5 . 8) (6 . 9) (7 . 11) (8 . 12)) 624 0.5711 6.3374 ((5 . 22) (7 . 24) (10 . 26) (11 . 27)) 672 0.5705 8.0132 ((5 . 21) (6 . 23) (7 . 24) (11 . 25)) 683 0.5712 5.3163 ((5 . 2) (6 . 3) (7 . 5) (8 . 6)) 719 0.4916 6.1580 ((5 . 22) (6 . 23) (8 . 25) (13 . 31)) 735 0.5709 6.9745 ((6 . 29) (7 . 31) (8 . 32) (10 . 33)) 740 0.7143 2.1784 ((5 . 2) (6 . 3) (7 . 4) (8 . 7) (10 . 9)) 767 0.4453 7.8628 ((5 . 26) (7 . 31) (8 . 32) (11 . 33)) 801 0.4455 4.2766 ((6 . 2) (7 . 4) (8 . 5) (10 . 6)) 812 0.1993 7.5986 ((5 . 5) (6 . 8) (10 . 11) (11 . 12)) 818 0.5711 6.3501 ((6 . 4) (8 . 7) (10 . 8) (13 . 11)) 824 0.5713 4.4140 ((5 . 46) (6 . 49) (7 . 50) (8 . 51)) 861 0.7141 3.9432 ((5 . 15) (6 . 16) (7 . 17) (8 . 18) (10 . 19)) 901 0.2944 10.9821 ((6 . 5) (10 . 7) (11 . 8) (13 . 10)) 904 0.4451 8.8740 ((5 . 2) (6 . 3) (10 . 6) (11 . 5)) 928 0.5664 12.1882 ((6 . 10) (10 . 12) (11 . 13) (13 . 15)) 937 0.5708 7.1702 ((5 . 1) (7 . 4) (10 . 5) (11 . 6)) 960 0.5711 6.2187 ((5 . 8) (6 . 9) (8 . 12) (13 . 20)) 980 0.5670 11.7820 ((6 . 1) (10 . 3) (11 . 4) (13 . 6)) 1007 0.3790 5.7135 ((6 . 12) (7 . 13) (8 . 14) (11 . 15)) 1034 0.5668 11.9591 ((5 . 25) (6 . 26) (10 . 29) (11 . 31)) 1043 0.1498 6.1000 ((5 . 10) (10 . 14) (11 . 15) (13 . 18)) 1082 0.5711 6.3373 ((5 . 8) (6 . 9) (8 . 12) (13 . 17)) 1121 0.4455 3.6119 ((6 . 3) (7 . 4) (8 . 5) (10 . 6)) 1165 0.5711 6.2007 ((6 . 2) (7 . 3) (8 . 4) (13 . 9)) 1169 0.5714 3.7802 ((5 . 31) (6 . 34) (7 . 35) (8 . 37)) 1195 0.5714 3.8265 ((5 . 2) (6 . 4) (7 . 5) (8 . 6)) 1211 0.7128 6.7490 ((5 . 8) (6 . 9) (7 . 10) (8 . 11) (13 . 17)) 1217 0.5712 5.4070 ((5 . 3) (6 . 5) (7 . 7) (10 . 9)) 1224 0.5693 9.7503 ((5 . 5) (7 . 7) (10 . 9) (13 . 13)) 1267 0.5708 7.3346 ((5 . 1) (6 . 3) (7 . 4) (13 . 7)) 1268 0.5642 13.3899 ((7 . 23) (8 . 24) (10 . 25) (13 . 28)) 1294 0.1992 9.0430 ((5 . 40) (7 . 43) (10 . 44) (11 . 45)) 1388 0.5708 7.2641 ((5 . 1) (7 . 4) (10 . 5) (11 . 6)) 1410 0.5714 2.3734 ((5 . 22) (6 . 23) (7 . 25) (10 . 26)) 1425 0.5711 6.2213 ((5 . 6) (6 . 8) (7 . 10) (10 . 12)) 1435 0.5708 7.0745 ((5 . 3) (6 . 5) (7 . 6) (11 . 9)) 1447 0.5704 8.2144 ((6 . 1) (8 . 3) (11 . 4) (13 . 6)) 1451 0.1664 7.6136 ((5 . 1) (6 . 4) (8 . 5) (10 . 6)) 1464 0.5713 4.7248 ((5 . 7) (6 . 8) (7 . 10) (8 . 13)) 1481 0.3790 6.6860 ((7 . 4) (8 . 5) (10 . 7) (13 . 9)) 1501 0.7142 3.2837 ((5 . 1) (6 . 2) (7 . 3) (8 . 4) (10 . 9)) 1513 0.5708 7.2698 ((5 . 2) (6 . 3) (10 . 5) (13 . 9)) 1514 0.5711 5.9340 ((5 . 1) (7 . 3) (10 . 4) (11 . 5)) 1591 0.5655 12.7274 ((6 . 8) (10 . 11) (11 . 12) (13 . 15)) 1604 0.4449 9.9730 ((5 . 1) (6 . 3) (11 . 8) (13 . 11)) 1624 0.2478 7.3595 ((5 . 3) (8 . 7) (10 . 8) (13 . 11)) 1643 0.6314 4.6948 ((5 . 6) (6 . 8) (7 . 9) (8 . 10) (11 . 21)) 1690 0.5710 6.5631 ((5 . 16) (8 . 20) (10 . 21) (13 . 23)) 1738 0.5710 6.7311 ((7 . 13) (8 . 14) (11 . 16) (13 . 20)) 1747 0.5714 2.6950 ((5 . 15) (6 . 16) (7 . 18) (8 . 19)) 1756 0.5714 4.1586 ((6 . 23) (7 . 25) (8 . 26) (10 . 27)) 1761 0.7138 5.0765 ((6 . 1) (7 . 2) (8 . 3) (10 . 4) (13 . 6)) 1763 0.4916 6.5843 ((5 . 7) (6 . 9) (7 . 10) (11 . 12)) 1776 0.5696 9.3825 ((6 . 1) (10 . 7) (11 . 8) (13 . 10)) 1777 0.4454 6.9638 ((6 . 43) (7 . 45) (8 . 46) (10 . 47)) 1793 0.5697 9.2430 ((6 . 10) (8 . 11) (10 . 12) (13 . 15)) 1805 0.5714 2.9483 ((5 . 2) (6 . 3) (7 . 4) (10 . 7)) 1808 0.4451 8.9109 ((6 . 4) (7 . 5) (8 . 6) (11 . 7)) 1817 0.5714 3.8138 ((6 . 14) (7 . 15) (8 . 16) (10 . 18)) 1896 0.5711 6.2618 ((7 . 23) (8 . 24) (10 . 25) (13 . 30)) 1908 0.5699 9.0445 ((6 . 7) (10 . 10) (11 . 14) (13 . 16)) 1909 0.5683 10.8183 ((6 . 25) (10 . 29) (11 . 30) (13 . 32)) 1913 0.5709 6.8429 ((6 . 20) (8 . 22) (10 . 23) (11 . 24)) 1944 0.5695 9.5761 ((6 . 16) (7 . 17) (11 . 20) (13 . 25)) 1957 0.3777 14.5125 ((5 . 13) (7 . 15) (11 . 18) (13 . 20)) 1961 0.3787 10.7251 ((6 . 19) (8 . 20) (11 . 23) (13 . 25)) 1992 0.2945 7.9284 ((5 . 9) (8 . 12) (10 . 14) (11 . 13)) 1995 0.5711 6.2218 ((5 . 8) (6 . 11) (7 . 12) (8 . 13)) 2003 0.5701 8.7830 ((5 . 7) (6 . 9) (7 . 10) (8 . 11)) 2006 0.5714 2.2906 ((5 . 1) (6 . 2) (7 . 4) (8 . 5)) 2065 0.5708 7.1656 ((6 . 16) (7 . 17) (10 . 18) (11 . 20)) 2067 0.5712 5.3429 ((6 . 54) (7 . 55) (8 . 57) (10 . 59)) 2072 0.4453 7.9094 ((7 . 6) (8 . 5) (10 . 7) (11 . 8)) 2081 0.4450 9.2731 ((5 . 19) (6 . 20) (7 . 21) (11 . 24)) 2083 0.1993 8.2477 ((6 . 2) (8 . 4) (10 . 5) (13 . 8)) 2097 0.2945 9.3339 ((6 . 14) (7 . 16) (8 . 18) (11 . 19)) 2114 0.5700 8.9104 ((6 . 28) (7 . 29) (11 . 33) (13 . 37)) 2116 0.4913 8.0267 ((5 . 1) (6 . 3) (7 . 4) (10 . 5)) 2117 0.5710 6.7243 ((5 . 16) (6 . 20) (7 . 22) (8 . 23)) 2118 0.2478 7.4743 ((5 . 1) (6 . 4) (7 . 5) (11 . 6)) 2122 0.5700 8.8780 ((6 . 1) (10 . 6) (11 . 7) (13 . 9)) 2166 0.5701 8.7665 ((6 . 15) (7 . 16) (11 . 18) (13 . 22)) 2203 0.5711 5.9643 ((5 . 1) (7 . 5) (10 . 7) (11 . 8)) 2205 0.2477 8.5216 ((6 . 21) (7 . 22) (8 . 23) (11 . 25)) 2220 0.7143 2.0217 ((5 . 2) (6 . 3) (7 . 4) (8 . 5) (10 . 7)) 2243 0.5714 4.1037 ((5 . 55) (7 . 63) (8 . 64) (10 . 65)) 2244 0.1332 7.2883 ((5 . 75) (6 . 76) (7 . 78) (8 . 79)) 2249 0.5694 9.7111 ((6 . 16) (7 . 17) (10 . 20) (11 . 19)) 2269 0.5704 8.1790 ((6 . 6) (8 . 7) (10 . 8) (11 . 9)) 2279 0.2477 10.7257 ((5 . 7) (7 . 10) (8 . 11) (13 . 15)) 2308 0.5692 9.9099 ((7 . 5) (10 . 6) (11 . 7) (13 . 10)) 2340 0.5712 5.5804 ((6 . 11) (7 . 13) (8 . 14) (11 . 15)) 2344 0.3788 9.2843 ((5 . 6) (8 . 10) (10 . 11) (13 . 16)) 2364 0.4451 8.9882 ((5 . 4) (6 . 5) (7 . 7) (11 . 8)) 2389 0.5713 4.9176 ((5 . 6) (6 . 7) (7 . 8) (8 . 9)) 2409 0.1993 8.5800 ((5 . 2) (6 . 3) (8 . 5) (13 . 10)) 2422 0.5713 4.9869 ((6 . 6) (7 . 7) (8 . 8) (10 . 9)) 2423 0.5703 8.2911 ((6 . 19) (7 . 20) (8 . 21) (13 . 23)) 2440 0.5706 7.7879 ((6 . 4) (8 . 6) (10 . 7) (13 . 10)) 2447 0.5711 6.0885 ((5 . 24) (10 . 21) (11 . 22) (13 . 27)) 2525 0.5713 5.1286 ((5 . 43) (7 . 47) (8 . 48) (10 . 50)) 2529 0.4455 5.2717 ((6 . 3) (7 . 5) (8 . 6) (11 . 7)) 2551 0.5701 8.6627 ((5 . 1) (6 . 3) (11 . 5) (13 . 7)) 2556 0.5663 12.2739 ((6 . 16) (8 . 18) (10 . 20) (13 . 23)) 2557 0.3789 7.9370 ((5 . 3) (7 . 6) (8 . 7) (11 . 8)) 2595 0.5682 10.8706 ((6 . 1) (10 . 4) (11 . 5) (13 . 7)) 2619 0.0999 6.6008 ((7 . 1) (8 . 2) (10 . 3) (11 . 4)) 2658 0.3786 11.0631 ((5 . 1) (6 . 3) (11 . 5) (13 . 8)) 2675 0.5713 5.1627 ((5 . 8) (6 . 10) (7 . 11) (8 . 12)) 2682 0.3783 12.7094 ((5 . 7) (8 . 12) (10 . 13) (13 . 18)) 2696 0.5713 4.7322 ((5 . 32) (6 . 34) (7 . 35) (10 . 36)) 2731 0.5709 6.8536 ((5 . 1) (7 . 4) (10 . 5) (11 . 6)) 2733 0.5708 7.1052 ((5 . 2) (6 . 4) (10 . 8) (11 . 9)) 2773 0.3789 7.7022 ((5 . 3) (8 . 5) (10 . 6) (11 . 7)) 2804 0.5681 10.9884 ((5 . 29) (6 . 31) (7 . 32) (13 . 37)) 2821 0.5705 7.9830 ((7 . 2) (8 . 3) (11 . 6) (13 . 10)) 2830 0.1992 11.0328 ((5 . 11) (10 . 15) (11 . 16) (13 . 18)) 2834 0.5710 6.5179 ((5 . 8) (6 . 9) (10 . 12) (11 . 13)) 2886 0.5710 6.5075 ((5 . 37) (6 . 38) (7 . 39) (10 . 41)) 2929 0.4455 5.4187 ((5 . 36) (7 . 39) (8 . 40) (11 . 41)) 2940 0.0999 7.1720 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 2947 0.5712 5.8693 ((6 . 2) (7 . 3) (10 . 4) (11 . 5)) 2966 0.5714 3.9127 ((5 . 10) (6 . 12) (7 . 13) (8 . 15)) 2990 0.4453 7.4022 ((5 . 12) (7 . 14) (8 . 15) (11 . 17)) 3014 0.5625 14.1271 ((7 . 23) (8 . 24) (10 . 25) (13 . 31)) 3019 0.4913 8.0908 ((5 . 9) (6 . 10) (7 . 11) (13 . 15)) 3034 0.1992 10.6584 ((5 . 7) (6 . 9) (11 . 13) (13 . 15)) 3041 0.5709 6.9939 ((5 . 30) (7 . 32) (8 . 33) (11 . 34)) 3063 0.5701 8.7654 ((7 . 31) (8 . 32) (10 . 33) (13 . 34)) 3070 0.3789 8.2282 ((6 . 33) (8 . 35) (10 . 36) (11 . 37)) 3084 0.5660 12.4325 ((6 . 13) (10 . 15) (11 . 16) (13 . 18)) 3102 0.5709 6.9291 ((5 . 65) (6 . 67) (7 . 68) (8 . 69)) 3103 0.5712 5.3930 ((6 . 2) (7 . 3) (10 . 5) (11 . 6)) 3114 0.1993 6.9731 ((5 . 22) (6 . 24) (7 . 25) (11 . 28)) 3120 0.5709 6.7881 ((5 . 21) (6 . 22) (10 . 25) (11 . 24)) 3127 0.1498 8.1499 ((5 . 3) (6 . 4) (8 . 8) (13 . 12)) 3147 0.5714 2.5842 ((5 . 11) (6 . 12) (7 . 13) (8 . 15)) 3187 0.5712 5.7824 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 3197 0.5675 11.4862 ((6 . 21) (10 . 24) (11 . 25) (13 . 27)) 3200 0.5702 8.5301 ((5 . 1) (6 . 4) (10 . 6) (11 . 7)) 3202 0.4324 21.4319 ((6 . 8) (7 . 9) (11 . 10) (13 . 14)) 3212 0.2945 5.8930 ((6 . 2) (7 . 3) (8 . 5) (11 . 6)) 3222 0.1992 13.9371 ((5 . 15) (8 . 19) (11 . 22) (13 . 24)) 3256 0.5708 7.3223 ((5 . 20) (8 . 25) (10 . 26) (11 . 27)) 3261 0.3785 11.4283 ((5 . 3) (10 . 6) (11 . 5) (13 . 10)) 3286 0.5684 10.7063 ((6 . 5) (10 . 7) (11 . 8) (13 . 11)) 3289 0.1993 7.8783 ((5 . 25) (6 . 27) (8 . 30) (10 . 31)) 3300 0.6547 8.4643 ((5 . 1) (6 . 2) (7 . 4) (8 . 5) (13 . 11)) 3334 0.2944 11.0973 ((5 . 4) (10 . 10) (11 . 9) (13 . 12)) 3339 0.0999 9.7433 ((5 . 28) (10 . 33) (11 . 34) (13 . 36)) 3358 0.5709 6.9674 ((6 . 4) (8 . 7) (10 . 8) (13 . 11)) 3366 0.5673 11.5826 ((6 . 27) (7 . 28) (8 . 29) (13 . 33)) 3472 0.4455 5.5461 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 3495 0.5706 7.6146 ((7 . 7) (10 . 8) (11 . 9) (13 . 10)) 3496 0.5701 8.6384 ((5 . 19) (10 . 23) (11 . 24) (13 . 25)) 3533 0.5703 8.4495 ((5 . 1) (6 . 3) (10 . 7) (11 . 6)) 3537 0.5640 13.5010 ((8 . 9) (10 . 10) (11 . 11) (13 . 12)) 3548 0.5688 10.3357 ((5 . 5) (6 . 6) (7 . 8) (10 . 9)) 3549 0.5706 7.7298 ((6 . 2) (7 . 3) (10 . 5) (13 . 7)) 3561 0.1993 6.7984 ((6 . 28) (7 . 30) (8 . 31) (11 . 32)) 3585 0.5698 9.2255 ((5 . 8) (6 . 11) (7 . 12) (10 . 13)) 3626 0.5707 7.4293 ((5 . 3) (6 . 6) (7 . 8) (10 . 11)) 3628 0.5704 8.0714 ((6 . 8) (7 . 9) (8 . 10) (13 . 13)) 3651 0.3789 8.7522 ((6 . 3) (8 . 5) (11 . 6) (13 . 10)) 3656 0.4917 5.7864 ((5 . 22) (6 . 23) (7 . 24) (11 . 25)) 3658 0.7138 5.1416 ((5 . 5) (6 . 6) (7 . 7) (8 . 8) (13 . 9)) 3661 0.3790 6.7505 ((7 . 23) (8 . 24) (10 . 26) (11 . 25)) 3663 0.5711 6.2583 ((6 . 1) (7 . 2) (10 . 5) (11 . 4)) 3688 0.5702 8.5349 ((5 . 26) (6 . 27) (7 . 28) (10 . 29)) 3697 0.1993 7.0736 ((6 . 1) (7 . 3) (8 . 4) (11 . 5)) 3732 0.5708 7.1694 ((5 . 2) (6 . 5) (10 . 7) (11 . 8)) 3733 0.5676 11.3498 ((6 . 1) (10 . 3) (11 . 4) (13 . 7)) 3740 0.5712 5.6219 ((5 . 5) (6 . 6) (7 . 7) (8 . 9)) 3741 0.1993 7.1286 ((6 . 25) (8 . 28) (10 . 27) (13 . 33)) 3776 0.4911 8.9445 ((5 . 15) (7 . 19) (8 . 20) (13 . 25)) 3778 0.5710 6.4438 ((6 . 2) (7 . 3) (10 . 4) (11 . 5)) 3787 0.2943 13.3063 ((6 . 19) (10 . 23) (11 . 24) (13 . 25)) 3790 0.5714 2.7132 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 3807 0.0999 9.4041 ((5 . 46) (10 . 50) (11 . 49) (13 . 52)) 3810 0.5714 4.2587 ((5 . 4) (6 . 8) (7 . 9) (8 . 10)) 3817 0.1992 9.0691 ((5 . 5) (10 . 9) (11 . 8) (13 . 12)) 3831 0.5712 5.6552 ((5 . 5) (6 . 6) (10 . 9) (11 . 11)) 3849 0.5708 7.0916 ((6 . 2) (7 . 3) (10 . 5) (13 . 7)) 3933 0.5699 9.0551 ((5 . 13) (6 . 15) (7 . 17) (8 . 18)) 3938 0.5707 7.5568 ((7 . 2) (10 . 4) (11 . 5) (13 . 12)) 3986 0.2477 10.9784 ((6 . 9) (8 . 13) (11 . 16) (13 . 19)) 3990 0.3790 6.5931 ((5 . 20) (6 . 22) (7 . 23) (8 . 24)) 4005 0.5713 4.3092 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 4009 0.5693 9.8280 ((7 . 13) (8 . 12) (11 . 16) (13 . 18)) 4019 0.5712 5.2891 ((6 . 34) (7 . 35) (8 . 36) (10 . 37)) 4034 0.3790 5.5687 ((6 . 9) (7 . 10) (8 . 11) (10 . 12)) 4037 0.5709 6.7588 ((6 . 1) (7 . 2) (8 . 3) (13 . 7)) 4062 0.4455 4.3768 ((6 . 48) (7 . 49) (8 . 50) (11 . 52)) 4077 0.5419 19.5194 ((7 . 10) (8 . 11) (11 . 12) (13 . 14)) 4082 0.1993 7.4567 ((6 . 6) (7 . 7) (8 . 8) (11 . 9)) 4087 0.7124 7.2151 ((5 . 1) (6 . 3) (7 . 5) (8 . 6) (13 . 9)) 4112 0.7143 1.7255 ((5 . 1) (6 . 2) (7 . 3) (8 . 4) (10 . 6)) 4115 0.5695 9.5786 ((6 . 15) (10 . 17) (11 . 18) (13 . 21)) 4140 0.5704 8.1822 ((7 . 21) (8 . 22) (10 . 23) (13 . 26)) 4192 0.5672 11.6580 ((6 . 10) (10 . 13) (11 . 14) (13 . 16)) 4194 0.3789 8.9179 ((6 . 1) (8 . 3) (11 . 4) (13 . 8)) 4195 0.5702 8.6042 ((7 . 14) (8 . 15) (11 . 17) (13 . 19)) 4209 0.5710 6.5264 ((5 . 2) (6 . 4) (8 . 5) (13 . 11)) 4226 0.5682 10.9330 ((5 . 18) (6 . 19) (8 . 22) (11 . 23)) 4236 1.0000 0.0000 ((5 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (11 . 11) (13 . 13)) 4246 0.5713 4.9302 ((5 . 2) (6 . 3) (8 . 6) (10 . 7)) 4254 0.5710 6.7332 ((5 . 1) (8 . 3) (10 . 4) (11 . 5)) 4257 0.2396 4.9251 ((5 . 1) (6 . 8) (7 . 9) (8 . 10) (10 . 11) (11 . 2)) 4265 0.4913 8.1518 ((5 . 20) (8 . 24) (10 . 26) (11 . 25)) 4266 0.4913 8.0808 ((5 . 8) (6 . 11) (7 . 12) (13 . 18)) 4274 0.1664 7.9738 ((5 . 36) (6 . 38) (7 . 40) (10 . 41)) 4275 0.4453 7.4364 ((6 . 25) (7 . 27) (8 . 28) (11 . 29)) 4281 0.3783 12.7716 ((6 . 8) (8 . 10) (11 . 13) (13 . 16)) 4284 0.2477 10.9333 ((5 . 4) (6 . 6) (10 . 8) (13 . 11)) 4299 0.2594 5.8063 ((5 . 16) (6 . 19) (7 . 20) (8 . 22) (11 . 17) (13 . 5)) 4326 0.2945 8.6937 ((6 . 10) (7 . 11) (8 . 12) (13 . 16)) 4332 0.5713 4.6401 ((5 . 2) (6 . 4) (8 . 6) (10 . 9)) 4359 0.5706 7.8144 ((5 . 1) (6 . 3) (7 . 4) (10 . 5)) 4380 0.5714 3.1416 ((5 . 1) (6 . 2) (7 . 3) (8 . 4)) 4386 0.5656 12.6433 ((5 . 9) (6 . 10) (11 . 13) (13 . 17)) 4405 0.5706 7.6194 ((5 . 14) (8 . 18) (10 . 19) (11 . 20)) 4408 0.5711 5.8881 ((6 . 1) (7 . 3) (10 . 4) (11 . 5)) 4415 0.5711 6.2334 ((5 . 1) (7 . 3) (10 . 4) (11 . 5)) 4419 0.4453 7.5307 ((6 . 8) (7 . 9) (8 . 10) (11 . 11)) 4426 0.5709 6.9555 ((5 . 2) (6 . 4) (10 . 6) (11 . 5)) 4470 0.2945 9.8326 ((5 . 1) (6 . 2) (10 . 5) (11 . 6)) 4491 0.5709 6.7897 ((5 . 1) (7 . 5) (10 . 6) (11 . 7)) 4492 0.5711 6.0898 ((5 . 2) (6 . 5) (7 . 7) (8 . 8)) 4502 0.5599 15.1040 ((6 . 4) (7 . 5) (8 . 6) (13 . 13)) 4503 0.5714 4.0472 ((5 . 1) (7 . 6) (8 . 7) (10 . 8)) 4504 0.5680 11.0234 ((8 . 6) (10 . 8) (11 . 10) (13 . 12)) 4505 0.5708 7.2472 ((6 . 28) (10 . 30) (11 . 31) (13 . 35)) 4538 0.1664 7.4257 ((6 . 32) (7 . 33) (8 . 34) (11 . 36)) 4560 0.5714 2.3931 ((6 . 13) (7 . 14) (8 . 16) (10 . 17)) 4561 0.5713 4.8588 ((6 . 12) (7 . 14) (8 . 15) (10 . 16)) 4577 0.4452 8.1407 ((6 . 30) (7 . 32) (8 . 33) (11 . 36)) 4589 0.5707 7.4434 ((5 . 18) (6 . 19) (7 . 22) (11 . 24)) 4607 0.5622 14.2720 ((6 . 3) (7 . 4) (11 . 8) (13 . 13)) 4621 0.5711 6.0877 ((5 . 6) (6 . 8) (7 . 9) (8 . 11)) 4630 0.3790 6.5869 ((6 . 39) (8 . 41) (10 . 42) (13 . 44)) 4653 0.5712 5.7587 ((5 . 3) (6 . 5) (7 . 6) (8 . 7)) 4665 0.5714 2.6377 ((5 . 11) (6 . 12) (7 . 13) (8 . 14)) 4669 0.5699 9.0112 ((7 . 13) (10 . 15) (11 . 16) (13 . 18)) 4671 0.5712 5.3905 ((5 . 11) (6 . 12) (7 . 13) (8 . 14)) 4674 0.5712 5.5805 ((5 . 1) (6 . 2) (10 . 6) (11 . 5)) 4678 0.1664 8.4470 ((5 . 6) (7 . 10) (8 . 11) (10 . 12)) 4713 0.1332 9.6252 ((6 . 3) (8 . 5) (10 . 6) (13 . 10)) 4731 0.2945 10.5728 ((5 . 14) (7 . 18) (11 . 19) (13 . 20)) 4734 0.5712 5.7267 ((6 . 2) (7 . 3) (8 . 4) (10 . 5)) 4857 0.5706 7.7477 ((5 . 9) (6 . 11) (10 . 13) (11 . 14)) 4886 0.5713 4.4016 ((5 . 29) (6 . 30) (7 . 31) (13 . 33)) 4888 0.5681 11.0089 ((5 . 14) (6 . 16) (7 . 17) (11 . 19)) 4889 0.4916 6.4863 ((6 . 2) (7 . 3) (8 . 4) (11 . 5)) 4907 0.7142 3.4710 ((5 . 1) (6 . 3) (7 . 4) (8 . 5) (10 . 9)) 4921 0.5701 8.7508 ((6 . 7) (7 . 8) (11 . 11) (13 . 13)) 4929 0.5710 6.6805 ((5 . 29) (6 . 31) (7 . 32) (10 . 33)) 4932 0.5708 7.2309 ((6 . 1) (7 . 2) (8 . 4) (13 . 7)) 4944 0.3788 9.3291 ((5 . 13) (7 . 15) (8 . 16) (11 . 17)) 4961 0.2945 7.0641 ((5 . 3) (7 . 6) (8 . 7) (13 . 11)) 4978 0.5709 7.0307 ((5 . 21) (6 . 22) (7 . 24) (11 . 26)) 4982 0.3790 5.2184 ((5 . 9) (6 . 10) (10 . 14) (11 . 15)) 5038 0.5712 5.8194 ((6 . 15) (7 . 16) (8 . 17) (10 . 18)) 5044 0.4914 7.5745 ((5 . 1) (6 . 2) (8 . 3) (11 . 4)) 5053 0.4454 7.1538 ((5 . 2) (6 . 5) (7 . 6) (13 . 8)) 5065 0.5712 5.4883 ((6 . 7) (7 . 8) (8 . 9) (13 . 12)) 5068 0.3745 19.8622 ((7 . 15) (8 . 16) (11 . 19) (13 . 21)) 5069 0.4455 4.9360 ((7 . 18) (8 . 17) (10 . 19) (11 . 20)) 5073 0.3790 7.5428 ((6 . 36) (8 . 39) (11 . 40) (13 . 43)) 5101 0.4453 8.0756 ((5 . 15) (8 . 18) (11 . 20) (13 . 24)) 5103 0.5688 10.3743 ((6 . 15) (10 . 19) (11 . 18) (13 . 20)) 5134 0.4916 6.6167 ((5 . 2) (6 . 3) (8 . 6) (11 . 7)) 5176 0.5710 6.6804 ((5 . 82) (6 . 84) (7 . 86) (8 . 87)) 5198 0.4454 6.4722 ((5 . 26) (6 . 30) (7 . 32) (8 . 31)) 5209 0.5705 7.9781 ((5 . 7) (6 . 8) (7 . 9) (10 . 10)) 5212 0.5649 13.0501 ((6 . 2) (7 . 3) (11 . 7) (13 . 9)) 5215 0.2945 7.0235 ((5 . 2) (6 . 4) (7 . 5) (13 . 8)) 5223 0.5687 10.4105 ((6 . 10) (8 . 12) (11 . 13) (13 . 16)) 5231 0.5713 4.8645 ((5 . 8) (6 . 12) (7 . 13) (8 . 14)) 5307 0.5709 7.0354 ((5 . 51) (7 . 55) (10 . 57) (11 . 59)) 5312 0.5714 3.5669 ((5 . 3) (6 . 4) (7 . 5) (10 . 7)) 5323 0.5611 14.6838 ((6 . 10) (7 . 11) (11 . 13) (13 . 15)) 5324 0.0999 6.3666 ((5 . 22) (6 . 25) (10 . 28) (11 . 29)) 5344 0.5713 5.2045 ((6 . 2) (7 . 3) (10 . 4) (11 . 5)) 5345 0.5714 2.3777 ((5 . 2) (6 . 3) (7 . 4) (8 . 5)) 5368 0.5714 4.0828 ((5 . 26) (6 . 29) (7 . 30) (8 . 32)) 5378 0.5684 10.7195 ((5 . 6) (10 . 9) (11 . 10) (13 . 13)) 5411 0.0999 11.3549 ((7 . 3) (10 . 6) (11 . 5) (13 . 9)) 5414 0.5708 7.2783 ((5 . 16) (6 . 18) (7 . 19) (8 . 20)) 5418 0.5705 7.8698 ((5 . 2) (6 . 3) (7 . 5) (10 . 8)) 5421 0.5713 4.5146 ((5 . 1) (6 . 2) (7 . 3) (10 . 13)) 5433 0.5708 7.2382 ((6 . 13) (7 . 14) (8 . 16) (10 . 18)) 5479 0.5710 6.3850 ((5 . 69) (7 . 71) (8 . 72) (10 . 74)) 5487 0.5687 10.3996 ((6 . 4) (10 . 7) (11 . 8) (13 . 10)) 5500 0.5687 10.4463 ((6 . 1) (7 . 2) (11 . 6) (13 . 10)) 5535 0.5708 7.1679 ((6 . 4) (7 . 6) (8 . 7) (13 . 13)) 5540 0.5696 9.4171 ((5 . 7) (6 . 8) (11 . 13) (13 . 17)) 5557 0.5685 10.6599 ((5 . 1) (6 . 4) (10 . 6) (11 . 5)) 5560 0.5691 10.0168 ((6 . 15) (10 . 17) (11 . 18) (13 . 21)) 5562 0.5708 7.3240 ((5 . 11) (7 . 14) (11 . 16) (13 . 20)) 5567 0.5708 7.1338 ((5 . 6) (6 . 8) (10 . 11) (11 . 14)) 5600 0.2945 7.0519 ((5 . 3) (10 . 6) (11 . 7) (13 . 10)) 5601 0.5711 6.2521 ((6 . 5) (8 . 7) (10 . 8) (13 . 11)) 5638 0.5711 6.2687 ((6 . 7) (7 . 8) (8 . 9) (13 . 14)) 5640 0.5714 3.7363 ((5 . 14) (6 . 19) (7 . 20) (8 . 21)) 5656 0.4448 10.3164 ((5 . 2) (6 . 3) (8 . 5) (13 . 11)) 5700 0.5699 9.0176 ((5 . 3) (6 . 4) (10 . 6) (11 . 7)) 5711 0.5712 5.8456 ((5 . 38) (6 . 39) (7 . 42) (8 . 43)) 5718 0.5705 7.8756 ((5 . 14) (6 . 16) (7 . 17) (11 . 22)) 5731 0.5712 5.7734 ((5 . 2) (6 . 4) (7 . 5) (10 . 7)) 5749 0.5701 8.7859 ((5 . 4) (6 . 5) (7 . 6) (13 . 9)) 5761 0.3790 7.2122 ((5 . 28) (7 . 31) (8 . 32) (11 . 34)) 5770 0.1992 9.2425 ((5 . 6) (6 . 8) (10 . 12) (13 . 19)) 5771 0.2477 10.6059 ((7 . 13) (8 . 14) (10 . 15) (13 . 19)) 5782 0.1498 4.6733 ((5 . 22) (7 . 26) (8 . 27) (10 . 29)) 5794 0.2478 6.3890 ((6 . 15) (7 . 16) (11 . 17) (13 . 22)) 5822 0.1664 10.3007 ((5 . 4) (8 . 6) (10 . 8) (13 . 11)) 5827 0.5706 7.6447 ((6 . 15) (7 . 16) (8 . 17) (13 . 20)) 5830 0.5711 6.2193 ((7 . 7) (10 . 8) (11 . 9) (13 . 11)) 5847 0.5708 7.2761 ((5 . 13) (6 . 16) (7 . 17) (8 . 18)) 5865 0.5714 3.2860 ((5 . 1) (6 . 4) (7 . 5) (13 . 8)) 5878 0.5709 6.7610 ((7 . 26) (8 . 28) (10 . 29) (13 . 31)) 5896 0.5710 6.4612 ((5 . 26) (7 . 28) (10 . 29) (11 . 30)) 5913 0.2944 11.7703 ((5 . 6) (7 . 9) (8 . 10) (11 . 11)) 5914 0.1992 8.8685 ((5 . 3) (6 . 5) (7 . 6) (11 . 7)) 5930 0.2495 4.4975 ((5 . 4) (6 . 8) (7 . 9) (8 . 10) (10 . 2) (11 . 3)) 5939 0.3787 10.3156 ((7 . 6) (8 . 8) (10 . 9) (13 . 12)) 5945 0.5706 7.8480 ((6 . 32) (7 . 33) (11 . 35) (13 . 36)) 5949 0.5663 12.2775 ((8 . 10) (10 . 12) (11 . 11) (13 . 15)) 6000 0.2476 14.5088 ((5 . 17) (8 . 21) (11 . 22) (13 . 27)) 6011 0.1500 6.0422 ((5 . 18) (6 . 13) (7 . 14) (8 . 15) (10 . 16) (11 . 17) (13 . 21)) 6022 0.2945 5.7926 ((5 . 5) (6 . 7) (7 . 8) (8 . 9)) 6029 0.5712 5.7641 ((5 . 6) (7 . 10) (10 . 11) (11 . 12)) 6041 0.0999 8.3092 ((7 . 10) (8 . 11) (10 . 12) (13 . 14)) 6046 0.5704 8.0992 ((6 . 3) (7 . 5) (10 . 6) (11 . 7)) 6061 0.5711 6.2944 ((5 . 13) (6 . 14) (7 . 15) (10 . 21)) 6074 0.5694 9.6421 ((6 . 6) (10 . 8) (11 . 10) (13 . 12)) 6075 0.1992 14.0904 ((6 . 15) (10 . 20) (11 . 19) (13 . 23)) 6079 0.5714 3.1420 ((6 . 6) (7 . 7) (8 . 8) (13 . 15)) 6089 0.5676 11.3942 ((5 . 16) (6 . 18) (10 . 21) (11 . 22)) 6094 0.5712 5.5679 ((5 . 2) (6 . 4) (7 . 5) (10 . 7)) 6099 0.5713 4.9612 ((6 . 25) (7 . 26) (8 . 27) (10 . 28)) 6123 0.4453 7.7349 ((6 . 3) (7 . 4) (8 . 5) (11 . 7)) 6142 0.5712 5.3512 ((6 . 15) (7 . 16) (8 . 17) (10 . 18)) 6148 0.5709 6.9539 ((6 . 32) (7 . 33) (8 . 34) (10 . 36)) 6173 0.5711 6.2123 ((5 . 8) (6 . 12) (7 . 13) (8 . 15)) 6192 0.5680 11.0229 ((7 . 10) (10 . 11) (11 . 12) (13 . 16)) 6215 0.4454 6.7696 ((5 . 17) (7 . 19) (8 . 20) (11 . 22)) 6225 0.5670 11.8089 ((5 . 4) (6 . 5) (7 . 7) (8 . 8)) 6228 0.5705 8.0080 ((6 . 1) (8 . 3) (11 . 4) (13 . 6)) 6234 0.5714 2.6643 ((5 . 9) (6 . 10) (7 . 13) (10 . 15)) 6238 0.1993 7.7938 ((6 . 3) (8 . 5) (10 . 7) (11 . 6)) 6243 0.5708 7.2843 ((7 . 2) (8 . 3) (11 . 5) (13 . 9)) 6261 0.1993 7.9302 ((6 . 1) (8 . 4) (10 . 3) (11 . 7)) 6270 0.4454 6.1357 ((5 . 15) (8 . 17) (10 . 18) (11 . 19)) 6271 0.5711 6.0684 ((5 . 4) (6 . 5) (7 . 7) (11 . 9)) 6273 0.2477 8.0882 ((7 . 1) (8 . 2) (10 . 3) (11 . 5)) 6294 0.4444 11.4755 ((6 . 11) (8 . 14) (11 . 15) (13 . 19)) 6306 0.5698 9.0954 ((6 . 17) (8 . 19) (10 . 20) (13 . 23)) 6309 0.5706 7.6992 ((5 . 20) (6 . 25) (7 . 18) (8 . 27)) 6326 0.5712 5.6191 ((5 . 6) (6 . 9) (7 . 10) (8 . 11)) 6338 0.5712 5.3697 ((5 . 2) (6 . 4) (7 . 5) (10 . 7)) 6344 0.4455 4.9137 ((6 . 12) (7 . 13) (10 . 15) (11 . 16)) 6345 0.1992 13.7385 ((8 . 6) (10 . 7) (11 . 8) (13 . 9)) 6355 0.2743 5.7086 ((5 . 12) (6 . 4) (7 . 6) (8 . 7) (10 . 8) (13 . 3)) 6369 0.3789 9.0426 ((6 . 24) (8 . 26) (11 . 27) (13 . 30)) 6391 0.2945 7.7155 ((6 . 6) (7 . 8) (10 . 10) (11 . 11)) 6399 0.5714 2.7660 ((5 . 10) (6 . 11) (7 . 12) (8 . 13)) 6403 0.5713 4.9737 ((6 . 1) (7 . 2) (8 . 3) (13 . 6)) 6434 0.3789 7.8348 ((5 . 3) (6 . 4) (7 . 5) (13 . 9)) 6498 0.5710 6.6616 ((6 . 44) (7 . 45) (11 . 46) (13 . 48)) 6520 0.5706 7.6803 ((5 . 3) (6 . 6) (8 . 9) (11 . 11)) 6539 0.2945 8.7249 ((5 . 4) (6 . 6) (8 . 8) (10 . 10)) 6548 0.5712 5.4399 ((5 . 7) (7 . 9) (10 . 12) (11 . 14)) 6553 0.4916 6.0930 ((6 . 23) (7 . 24) (8 . 25) (11 . 27)) 6555 0.3732 21.1997 ((6 . 2) (7 . 3) (10 . 6) (13 . 12)) 6561 0.5704 8.1326 ((5 . 12) (7 . 13) (10 . 15) (11 . 16)) 6573 0.3790 6.5171 ((5 . 19) (6 . 21) (7 . 22) (8 . 23)) 6584 0.5714 2.8150 ((5 . 5) (6 . 6) (7 . 7) (8 . 8)) 6587 0.5713 4.9345 ((5 . 29) (7 . 33) (8 . 34) (13 . 36)) 6598 0.5714 3.4809 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 6613 0.3790 6.5942 ((5 . 31) (6 . 32) (7 . 33) (8 . 34)) 6635 0.2946 5.0076 ((5 . 1) (6 . 4) (7 . 5) (10 . 7)) END