4734 51 0.0999 6.4521 ((2 . 7) (5 . 10) (6 . 11) (8 . 13)) 64 0.3824 4.7782 ((2 . 10) (4 . 12) (6 . 13) (8 . 15)) 91 0.2800 9.7569 ((2 . 1) (5 . 2) (6 . 3) (31 . 31)) 129 0.4000 5.7464 ((2 . 5) (5 . 8) (6 . 9) (7 . 11)) 153 0.3998 8.4535 ((3 . 6) (4 . 7) (6 . 8) (8 . 10)) 157 0.3670 7.9473 ((2 . 11) (6 . 14) (7 . 16) (8 . 18)) 161 0.4000 3.5729 ((4 . 2) (5 . 3) (6 . 4) (8 . 8)) 169 0.3998 8.0944 ((2 . 9) (5 . 10) (6 . 11) (7 . 12)) 177 0.3999 6.9837 ((2 . 5) (5 . 8) (6 . 7) (8 . 10)) 198 0.3998 8.1093 ((2 . 5) (4 . 6) (5 . 7) (6 . 8)) 233 0.4000 5.3119 ((3 . 1) (4 . 2) (6 . 3) (8 . 5)) 305 0.1970 8.1305 ((5 . 11) (6 . 12) (7 . 15) (8 . 16)) 315 0.4000 4.8694 ((4 . 3) (5 . 4) (6 . 5) (8 . 8)) 340 0.2801 5.0258 ((2 . 2) (5 . 4) (7 . 7) (8 . 9)) 350 0.3998 7.9574 ((3 . 1) (6 . 4) (7 . 7) (8 . 8)) 360 0.3999 6.4887 ((2 . 6) (5 . 7) (6 . 8) (8 . 10)) 365 0.3995 10.4599 ((2 . 1) (6 . 3) (7 . 4) (8 . 6)) 367 0.4000 4.8824 ((2 . 40) (5 . 42) (6 . 43) (8 . 46)) 372 0.1970 9.3403 ((2 . 6) (4 . 7) (6 . 10) (7 . 11)) 387 0.3999 7.4135 ((5 . 9) (6 . 10) (7 . 11) (8 . 12)) 405 0.3999 6.3453 ((2 . 35) (3 . 37) (4 . 38) (7 . 40)) 417 0.2413 7.8927 ((2 . 2) (4 . 3) (6 . 5) (8 . 7)) 420 0.3999 7.2023 ((3 . 3) (4 . 4) (6 . 5) (8 . 8)) 433 0.3997 9.0965 ((3 . 5) (4 . 6) (6 . 7) (8 . 9)) 442 0.3996 10.1485 ((5 . 19) (6 . 20) (7 . 21) (8 . 22)) 495 0.3998 8.1351 ((2 . 3) (4 . 5) (7 . 7) (8 . 8)) 543 0.3999 7.6662 ((2 . 5) (3 . 6) (6 . 8) (8 . 10)) 587 0.2413 7.9087 ((2 . 11) (4 . 13) (6 . 14) (7 . 15)) 619 0.3362 10.2971 ((2 . 8) (4 . 9) (6 . 11) (7 . 12)) 672 0.4000 5.0021 ((2 . 21) (3 . 22) (5 . 23) (6 . 24)) 683 0.3363 8.3295 ((5 . 1) (6 . 2) (7 . 3) (8 . 5)) 735 0.3999 7.4881 ((2 . 29) (5 . 31) (6 . 32) (7 . 33)) 740 0.3999 7.8661 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 765 0.3999 6.2780 ((4 . 3) (5 . 4) (6 . 5) (8 . 7)) 767 0.3999 6.5043 ((2 . 8) (3 . 9) (5 . 10) (6 . 11)) 801 0.4000 4.5426 ((2 . 2) (5 . 4) (6 . 5) (7 . 7)) 812 0.3997 9.7315 ((2 . 9) (3 . 8) (6 . 11) (8 . 13)) 818 0.3998 8.5116 ((2 . 1) (3 . 2) (6 . 4) (8 . 7)) 824 0.1654 10.7661 ((3 . 43) (6 . 45) (7 . 46) (8 . 49)) 861 0.3363 7.6094 ((5 . 15) (6 . 16) (7 . 17) (8 . 18)) 960 0.3364 4.0449 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 1007 0.3999 6.6598 ((2 . 7) (5 . 8) (6 . 9) (8 . 11)) 1082 0.3364 4.1959 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 1084 0.1970 5.7474 ((2 . 10) (3 . 11) (4 . 12) (8 . 17)) 1121 0.4000 4.7871 ((5 . 2) (6 . 3) (7 . 5) (8 . 6)) 1169 0.1970 8.3526 ((4 . 32) (5 . 33) (6 . 34) (7 . 37)) 1201 0.3999 7.2392 ((2 . 14) (3 . 15) (5 . 16) (6 . 17)) 1204 0.1493 10.2906 ((4 . 22) (5 . 23) (6 . 24) (7 . 25)) 1211 0.1493 6.5289 ((2 . 9) (5 . 10) (6 . 11) (8 . 14)) 1217 0.3997 9.4941 ((2 . 3) (3 . 5) (5 . 7) (8 . 11)) 1224 0.0999 5.0979 ((2 . 5) (5 . 6) (6 . 7) (8 . 9)) 1267 0.4000 5.2200 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 1268 0.2801 2.3652 ((2 . 22) (3 . 23) (4 . 24) (5 . 25)) 1294 0.3669 9.8392 ((3 . 39) (4 . 40) (6 . 41) (7 . 42)) 1366 0.3999 6.4782 ((5 . 14) (6 . 15) (7 . 16) (8 . 17)) 1410 0.4000 4.7426 ((4 . 19) (5 . 20) (6 . 21) (8 . 23)) 1425 0.3999 6.7443 ((2 . 8) (5 . 10) (6 . 11) (7 . 12)) 1435 0.3670 7.2962 ((4 . 1) (6 . 2) (32 . 31) (33 . 33)) 1451 0.3670 8.4663 ((2 . 1) (4 . 3) (7 . 5) (8 . 6)) 1501 0.3998 8.7471 ((3 . 4) (4 . 5) (7 . 7) (8 . 8)) 1577 0.1970 12.4573 ((3 . 3) (4 . 4) (8 . 6) (32 . 30)) 1624 0.4000 5.1867 ((2 . 4) (3 . 5) (4 . 6) (5 . 7)) 1643 0.4000 4.8676 ((6 . 6) (31 . 37) (32 . 38) (33 . 39)) 1644 0.3999 6.5049 ((2 . 47) (5 . 50) (6 . 49) (7 . 51)) 1690 0.3999 6.9676 ((2 . 8) (5 . 11) (7 . 13) (8 . 14)) 1692 0.3671 4.3323 ((4 . 5) (5 . 6) (6 . 7) (8 . 8)) 1738 0.4000 5.4881 ((5 . 13) (6 . 14) (7 . 17) (8 . 18)) 1747 0.4000 5.4690 ((3 . 44) (4 . 45) (7 . 47) (8 . 48)) 1756 0.4000 5.4621 ((3 . 23) (4 . 24) (5 . 25) (6 . 26)) 1759 0.3998 8.1172 ((2 . 5) (4 . 6) (6 . 8) (8 . 10)) 1761 0.1970 8.2464 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 1776 0.3823 7.4452 ((3 . 16) (6 . 19) (7 . 20) (31 . 23)) 1777 0.3363 5.8777 ((5 . 45) (6 . 46) (7 . 49) (8 . 50)) 1778 0.3999 7.3661 ((2 . 3) (5 . 4) (6 . 5) (8 . 8)) 1805 0.4000 5.8552 ((2 . 4) (5 . 7) (6 . 8) (7 . 9)) 1808 0.3671 6.5956 ((2 . 5) (4 . 6) (7 . 9) (8 . 10)) 1817 0.4204 6.3572 ((2 . 13) (5 . 14) (6 . 15) (7 . 18) (8 . 19)) 1894 0.3999 6.9084 ((2 . 20) (4 . 21) (6 . 23) (8 . 25)) 1896 0.2413 5.5437 ((4 . 23) (5 . 25) (7 . 26) (8 . 27)) 1913 0.4000 5.9047 ((2 . 3) (3 . 4) (6 . 6) (8 . 9)) 1967 0.1970 5.9343 ((2 . 10) (5 . 13) (6 . 14) (7 . 16)) 1995 0.3998 8.6740 ((2 . 7) (5 . 9) (6 . 11) (7 . 12)) 2003 0.3999 7.0286 ((2 . 9) (5 . 10) (6 . 11) (7 . 12)) 2006 0.3999 7.2854 ((2 . 10) (5 . 11) (6 . 12) (8 . 14)) 2045 0.2801 5.5702 ((5 . 1) (6 . 2) (7 . 3) (33 . 31)) 2063 0.3999 7.4742 ((2 . 45) (5 . 47) (6 . 48) (7 . 50)) 2065 0.3670 7.2071 ((3 . 23) (6 . 25) (7 . 26) (8 . 27)) 2067 0.3671 5.3579 ((4 . 9) (5 . 10) (6 . 11) (8 . 15)) 2072 0.1970 7.2558 ((2 . 4) (3 . 5) (4 . 6) (6 . 7)) 2081 0.3363 6.6138 ((2 . 3) (5 . 5) (6 . 6) (8 . 9)) 2097 0.2801 6.6946 ((2 . 1) (4 . 3) (5 . 4) (7 . 5)) 2116 0.3999 7.5135 ((2 . 6) (5 . 7) (6 . 8) (7 . 9)) 2117 0.4000 5.8997 ((5 . 16) (6 . 17) (7 . 20) (8 . 22)) 2122 0.3364 4.0556 ((5 . 14) (6 . 15) (7 . 17) (8 . 18)) 2166 0.3363 7.0109 ((2 . 7) (5 . 8) (6 . 9) (8 . 12)) 2179 0.3999 7.0958 ((4 . 6) (5 . 7) (6 . 9) (8 . 10)) 2196 0.3999 7.0790 ((2 . 13) (5 . 15) (6 . 16) (7 . 18)) 2203 0.3363 8.3418 ((2 . 5) (4 . 6) (6 . 7) (8 . 10)) 2205 0.3669 9.9354 ((2 . 15) (3 . 16) (6 . 18) (7 . 19)) 2220 0.4000 5.9112 ((2 . 3) (3 . 4) (4 . 5) (5 . 7)) 2243 0.4000 5.3119 ((2 . 57) (5 . 60) (6 . 61) (7 . 62)) 2244 0.4000 4.0520 ((2 . 71) (4 . 73) (5 . 74) (6 . 75)) 2269 0.3997 9.2045 ((3 . 6) (4 . 7) (6 . 8) (8 . 10)) 2279 0.3363 7.3203 ((2 . 5) (4 . 7) (5 . 8) (6 . 9)) 2308 0.3997 9.1263 ((3 . 4) (4 . 5) (6 . 6) (8 . 8)) 2314 0.3996 10.3672 ((2 . 3) (5 . 4) (6 . 5) (7 . 7)) 2344 0.2462 4.6304 ((2 . 13) (5 . 14) (6 . 18) (7 . 10) (8 . 11)) 2389 0.4000 5.9155 ((2 . 4) (3 . 5) (5 . 6) (6 . 7)) 2408 0.3363 8.1157 ((2 . 41) (6 . 45) (7 . 46) (8 . 47)) 2409 0.1493 7.1662 ((3 . 3) (5 . 4) (7 . 6) (8 . 8)) 2422 0.2800 9.8453 ((2 . 6) (3 . 4) (4 . 7) (6 . 8)) 2423 0.2800 10.8962 ((2 . 21) (3 . 22) (7 . 25) (8 . 26)) 2440 0.3999 7.2596 ((4 . 6) (5 . 7) (6 . 8) (7 . 9)) 2525 0.2800 8.9888 ((2 . 45) (3 . 43) (6 . 47) (7 . 48)) 2556 0.4000 3.7301 ((2 . 11) (5 . 13) (6 . 16) (7 . 20)) 2619 0.3999 6.8322 ((3 . 1) (5 . 2) (6 . 3) (8 . 5)) 2650 0.3998 8.6748 ((2 . 5) (5 . 6) (6 . 7) (7 . 8)) 2658 0.1970 7.5792 ((2 . 10) (5 . 12) (6 . 13) (8 . 14)) 2675 0.3671 6.4787 ((4 . 3) (6 . 4) (7 . 7) (8 . 8)) 2696 0.4000 5.5842 ((2 . 32) (5 . 34) (6 . 35) (8 . 37)) 2783 0.3999 7.6238 ((2 . 6) (4 . 7) (6 . 8) (8 . 12)) 2804 0.3997 8.9579 ((2 . 29) (5 . 31) (6 . 32) (7 . 34)) 2821 0.1970 6.7129 ((3 . 1) (4 . 2) (5 . 4) (7 . 5)) 2830 0.3999 7.5284 ((3 . 1) (8 . 3) (32 . 23) (33 . 24)) 2834 0.3996 10.3017 ((3 . 5) (4 . 6) (7 . 8) (8 . 9)) 2879 0.3999 6.0479 ((2 . 54) (5 . 56) (6 . 57) (7 . 59)) 2886 0.4000 5.6664 ((5 . 33) (6 . 34) (7 . 35) (8 . 37)) 2940 0.1970 7.2513 ((2 . 1) (6 . 3) (7 . 4) (8 . 5)) 2966 0.3998 7.8985 ((2 . 4) (5 . 6) (7 . 8) (8 . 9)) 3014 0.1493 4.7769 ((2 . 22) (3 . 23) (4 . 24) (6 . 25)) 3055 0.4000 5.4139 ((5 . 24) (6 . 25) (7 . 27) (8 . 28)) 3063 0.3363 8.1042 ((5 . 35) (6 . 36) (7 . 37) (8 . 38)) 3070 0.3999 6.4970 ((3 . 32) (4 . 33) (7 . 35) (8 . 36)) 3102 0.4000 3.4781 ((2 . 74) (3 . 75) (4 . 76) (5 . 77)) 3114 0.1970 7.7669 ((2 . 22) (4 . 23) (5 . 25) (6 . 24)) 3127 0.3998 8.8431 ((3 . 2) (5 . 4) (6 . 3) (8 . 6)) 3147 0.4000 4.4586 ((2 . 12) (5 . 13) (6 . 15) (7 . 17)) 3187 0.3999 6.1902 ((3 . 1) (4 . 2) (7 . 4) (8 . 5)) 3200 0.0999 8.5879 ((2 . 1) (5 . 4) (6 . 3) (8 . 6)) 3256 0.3998 8.4905 ((2 . 19) (5 . 21) (6 . 24) (7 . 25)) 3261 0.4996 7.6156 ((2 . 7) (3 . 1) (4 . 6) (5 . 8) (6 . 9)) 3286 0.4000 3.5523 ((2 . 3) (5 . 4) (6 . 5) (7 . 7)) 3289 0.2801 6.8322 ((2 . 27) (3 . 29) (5 . 30) (6 . 31)) 3297 0.3999 7.1660 ((5 . 3) (6 . 4) (7 . 5) (8 . 7)) 3344 0.1493 5.2455 ((2 . 18) (5 . 20) (6 . 21) (8 . 22)) 3366 0.1970 6.7433 ((2 . 26) (5 . 27) (7 . 28) (8 . 29)) 3418 0.3999 7.3327 ((2 . 2) (5 . 6) (6 . 5) (7 . 7)) 3472 0.3999 6.1172 ((2 . 4) (5 . 5) (6 . 6) (8 . 9)) 3481 0.3994 11.1519 ((2 . 1) (4 . 2) (7 . 4) (8 . 7)) 3489 0.2800 9.2939 ((4 . 1) (6 . 2) (7 . 4) (8 . 3)) 3533 0.3999 7.0533 ((2 . 3) (3 . 5) (6 . 7) (7 . 8)) 3548 0.3997 9.2562 ((3 . 2) (6 . 4) (7 . 5) (8 . 6)) 3570 0.3999 6.8909 ((2 . 4) (5 . 7) (6 . 8) (8 . 10)) 3585 0.3670 6.8799 ((4 . 8) (6 . 11) (7 . 12) (8 . 13)) 3625 0.1970 8.7543 ((2 . 3) (5 . 5) (6 . 6) (8 . 7)) 3626 0.2801 7.7070 ((2 . 3) (3 . 6) (5 . 8) (7 . 11)) 3628 0.3998 7.8874 ((2 . 8) (5 . 9) (6 . 10) (8 . 12)) 3658 0.3997 9.7134 ((2 . 1) (5 . 3) (6 . 4) (7 . 5)) 3659 0.3999 6.8890 ((2 . 8) (3 . 9) (4 . 10) (8 . 13)) 3688 0.4000 2.4861 ((3 . 26) (4 . 29) (5 . 30) (6 . 32)) 3703 0.3997 9.2470 ((2 . 6) (4 . 7) (5 . 9) (6 . 8)) 3732 0.1970 7.6385 ((2 . 3) (3 . 5) (7 . 7) (8 . 9)) 3740 0.3999 6.9518 ((3 . 1) (4 . 2) (7 . 4) (8 . 5)) 3741 0.1987 6.2020 ((2 . 1) (5 . 2) (6 . 3) (7 . 13) (8 . 17)) 3776 0.3363 7.0727 ((2 . 17) (3 . 19) (5 . 20) (6 . 21)) 3790 0.4719 3.5030 ((2 . 27) (3 . 28) (4 . 29) (5 . 30) (6 . 31)) 3810 0.4824 6.3673 ((2 . 4) (4 . 6) (5 . 8) (6 . 9) (8 . 11)) 3849 0.3669 8.8845 ((3 . 1) (6 . 2) (7 . 3) (8 . 5)) 3933 0.3999 6.7634 ((3 . 2) (5 . 5) (6 . 6) (7 . 7)) 3938 0.2801 6.0824 ((2 . 4) (4 . 6) (5 . 8) (6 . 9)) 3986 0.3997 9.0297 ((2 . 21) (6 . 25) (7 . 26) (8 . 27)) 3990 0.3999 6.7393 ((2 . 22) (3 . 23) (5 . 24) (6 . 25)) 4005 0.3998 8.3796 ((4 . 2) (6 . 3) (31 . 40) (32 . 41)) 4019 0.4000 4.0715 ((3 . 35) (4 . 36) (5 . 37) (6 . 38)) 4034 0.2800 9.0697 ((2 . 10) (3 . 11) (4 . 12) (6 . 13)) 4082 0.3998 8.0446 ((2 . 5) (4 . 6) (5 . 8) (6 . 7)) 4087 0.3999 7.2914 ((2 . 3) (5 . 5) (6 . 6) (8 . 8)) 4112 0.4000 5.9077 ((2 . 2) (3 . 3) (4 . 4) (5 . 6)) 4154 0.4000 3.1778 ((2 . 51) (5 . 52) (6 . 53) (8 . 54)) 4204 0.4000 3.7955 ((2 . 3) (5 . 5) (6 . 7) (7 . 9)) 4209 0.3671 5.4976 ((2 . 2) (6 . 7) (7 . 8) (8 . 10)) 4210 0.3998 8.7992 ((2 . 4) (4 . 5) (6 . 6) (8 . 8)) 4226 0.3999 6.8892 ((2 . 6) (3 . 8) (4 . 9) (7 . 11)) 4232 0.3363 7.6010 ((2 . 3) (3 . 4) (5 . 5) (6 . 6)) 4236 0.4000 5.7267 ((2 . 6) (3 . 7) (4 . 8) (5 . 10)) 4254 0.4000 5.6251 ((2 . 1) (5 . 3) (6 . 4) (8 . 6)) 4257 0.3363 6.7499 ((5 . 7) (6 . 8) (7 . 10) (8 . 11)) 4265 0.2800 7.8759 ((2 . 21) (6 . 23) (7 . 24) (8 . 26)) 4281 0.4204 6.1024 ((2 . 3) (3 . 4) (4 . 5) (5 . 8) (33 . 10)) 4284 0.4715 8.4236 ((2 . 1) (4 . 3) (5 . 4) (6 . 5) (8 . 6)) 4301 0.3999 6.9375 ((2 . 3) (5 . 4) (6 . 6) (8 . 9)) 4326 0.2412 10.1466 ((4 . 7) (6 . 10) (7 . 11) (8 . 12)) 4338 0.4000 5.9678 ((2 . 6) (5 . 8) (6 . 7) (8 . 11)) 4359 0.3999 6.6750 ((3 . 7) (4 . 8) (7 . 10) (8 . 11)) 4380 0.3364 4.1718 ((2 . 29) (3 . 30) (4 . 31) (5 . 32)) 4383 0.3998 7.9910 ((3 . 14) (4 . 15) (5 . 16) (7 . 17)) 4398 0.2801 7.4437 ((2 . 8) (6 . 10) (7 . 12) (8 . 13)) 4405 0.3995 10.5433 ((2 . 22) (4 . 23) (5 . 24) (6 . 25)) 4408 0.4000 4.6295 ((2 . 1) (4 . 2) (5 . 3) (6 . 4)) 4470 0.3362 9.8768 ((2 . 2) (3 . 1) (6 . 3) (8 . 5)) 4492 0.2801 6.6747 ((3 . 3) (5 . 4) (6 . 5) (7 . 7)) 4497 0.3670 7.6813 ((2 . 24) (6 . 26) (7 . 27) (8 . 28)) 4502 0.3352 16.4373 ((2 . 5) (3 . 6) (7 . 10) (8 . 11)) 4503 0.3999 6.5960 ((3 . 3) (4 . 5) (5 . 6) (6 . 7)) 4538 0.2801 6.5204 ((2 . 32) (3 . 33) (4 . 34) (8 . 38)) 4561 0.3999 6.2817 ((5 . 12) (6 . 13) (7 . 15) (8 . 16)) 4577 0.4000 4.9308 ((5 . 28) (6 . 29) (7 . 31) (8 . 32)) 4588 0.4204 5.8234 ((2 . 1) (5 . 3) (6 . 9) (7 . 11) (33 . 13)) 4589 0.3363 7.5336 ((4 . 25) (6 . 27) (7 . 29) (8 . 30)) 4621 0.3999 6.2167 ((2 . 6) (4 . 7) (5 . 8) (6 . 9)) 4630 0.4000 5.5252 ((2 . 17) (6 . 19) (7 . 20) (8 . 21)) 4653 0.4000 4.7184 ((2 . 1) (5 . 3) (6 . 4) (8 . 5)) 4665 0.3363 7.5965 ((3 . 11) (5 . 12) (6 . 13) (7 . 14)) 4668 0.3999 7.3488 ((2 . 1) (4 . 3) (6 . 5) (7 . 7)) 4674 0.2801 4.9691 ((2 . 6) (3 . 7) (5 . 8) (6 . 9)) 4678 0.3363 8.7493 ((2 . 11) (3 . 12) (7 . 15) (8 . 16)) 4713 0.3999 7.2876 ((3 . 3) (6 . 5) (7 . 6) (8 . 7)) 4734 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (31 . 31) (32 . 32) (33 . 33)) 4886 0.4000 3.1003 ((8 . 29) (31 . 30) (32 . 31) (33 . 32)) 4888 0.2800 8.4756 ((3 . 14) (4 . 15) (5 . 16) (6 . 17)) 4907 0.3670 7.6350 ((4 . 3) (6 . 4) (7 . 7) (8 . 8)) 4914 0.0999 9.2131 ((4 . 8) (5 . 9) (8 . 10) (31 . 11)) 4921 0.3363 7.0950 ((2 . 8) (3 . 9) (7 . 12) (8 . 14)) 4929 0.3670 8.0404 ((2 . 29) (6 . 32) (7 . 33) (8 . 34)) 4932 0.3996 9.8766 ((2 . 1) (4 . 5) (6 . 6) (8 . 8)) 4940 0.3999 6.0250 ((2 . 4) (4 . 6) (6 . 7) (8 . 9)) 4961 0.2800 8.0455 ((2 . 12) (5 . 14) (6 . 15) (8 . 17)) 4978 0.3999 6.5250 ((3 . 21) (5 . 22) (6 . 24) (8 . 25)) 5036 0.3999 7.5657 ((2 . 5) (5 . 6) (6 . 7) (7 . 8)) 5038 0.3999 6.1355 ((2 . 12) (5 . 14) (6 . 15) (8 . 18)) 5044 0.3363 6.8511 ((3 . 1) (4 . 2) (5 . 3) (32 . 33)) 5053 0.3363 6.2513 ((4 . 2) (5 . 3) (7 . 5) (8 . 6)) 5069 0.3999 7.1267 ((3 . 4) (4 . 5) (6 . 7) (8 . 9)) 5083 0.3669 8.8107 ((3 . 2) (6 . 5) (7 . 6) (8 . 8)) 5101 0.3362 9.1022 ((2 . 3) (4 . 5) (7 . 7) (8 . 9)) 5121 0.4000 4.8800 ((5 . 25) (6 . 26) (7 . 27) (8 . 28)) 5145 0.3997 9.4529 ((2 . 3) (4 . 5) (7 . 8) (8 . 10)) 5176 0.3670 8.6606 ((4 . 84) (6 . 86) (7 . 87) (8 . 88)) 5183 0.3999 6.5492 ((2 . 34) (5 . 37) (6 . 36) (7 . 38)) 5209 0.1970 11.1115 ((2 . 7) (3 . 8) (5 . 9) (7 . 10)) 5212 0.4000 2.0667 ((2 . 21) (3 . 22) (4 . 23) (5 . 24)) 5215 0.1970 5.2883 ((2 . 9) (5 . 10) (6 . 11) (7 . 12)) 5231 0.4000 5.1516 ((2 . 8) (5 . 12) (6 . 13) (8 . 16)) 5278 0.3998 8.0394 ((2 . 5) (3 . 6) (4 . 7) (8 . 10)) 5312 0.3998 8.6290 ((2 . 1) (5 . 2) (7 . 4) (8 . 5)) 5345 0.4000 5.6687 ((3 . 3) (4 . 4) (7 . 7) (8 . 8)) 5368 0.5998 5.0406 ((3 . 30) (4 . 32) (8 . 35) (31 . 36) (32 . 39) (33 . 41)) 5414 0.4000 4.6703 ((3 . 14) (4 . 15) (7 . 18) (8 . 19)) 5418 0.4997 7.0091 ((3 . 3) (4 . 5) (5 . 7) (6 . 8) (7 . 9)) 5421 0.3670 8.3550 ((4 . 1) (5 . 3) (6 . 2) (8 . 5)) 5433 0.3363 6.1532 ((2 . 7) (3 . 8) (5 . 10) (8 . 14)) 5479 0.4000 5.7885 ((3 . 54) (5 . 55) (6 . 56) (7 . 58)) 5489 0.3999 7.1493 ((2 . 2) (5 . 5) (6 . 6) (8 . 9)) 5500 0.3996 10.2378 ((2 . 1) (4 . 2) (6 . 3) (8 . 7)) 5535 0.3999 7.7211 ((4 . 4) (6 . 6) (7 . 7) (8 . 8)) 5594 0.4000 5.5422 ((2 . 1) (5 . 3) (6 . 4) (8 . 6)) 5601 0.4000 4.0443 ((2 . 5) (5 . 7) (6 . 8) (7 . 10)) 5640 0.4715 8.0352 ((2 . 26) (3 . 27) (4 . 28) (7 . 30) (8 . 31)) 5703 0.3999 6.9807 ((3 . 1) (4 . 2) (7 . 5) (8 . 6)) 5711 0.3999 7.6212 ((3 . 32) (4 . 33) (5 . 35) (7 . 36)) 5713 0.5999 3.9065 ((3 . 11) (4 . 13) (8 . 16) (31 . 18) (32 . 21) (33 . 22)) 5718 0.3998 7.8892 ((3 . 18) (4 . 21) (6 . 23) (7 . 24)) 5731 0.3364 4.2289 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 5746 0.3998 8.7659 ((2 . 3) (6 . 6) (7 . 8) (8 . 9)) 5749 0.1329 7.4651 ((2 . 3) (5 . 4) (6 . 5) (8 . 6)) 5782 0.4000 5.7516 ((3 . 14) (4 . 15) (7 . 18) (8 . 21)) 5822 0.1970 9.4842 ((2 . 4) (5 . 6) (6 . 7) (7 . 8)) 5827 0.4000 5.7051 ((3 . 2) (4 . 3) (5 . 5) (6 . 4)) 5830 0.3999 7.6498 ((2 . 7) (3 . 8) (6 . 10) (8 . 13)) 5847 0.4819 8.8690 ((3 . 1) (4 . 2) (6 . 4) (7 . 5) (8 . 7)) 5861 0.3999 6.0488 ((3 . 20) (5 . 21) (6 . 22) (8 . 25)) 5878 0.3363 7.3171 ((2 . 26) (4 . 28) (5 . 29) (6 . 30)) 5888 0.5999 4.5592 ((3 . 9) (4 . 10) (8 . 13) (31 . 14) (32 . 17) (33 . 18)) 5922 0.3999 6.5229 ((2 . 1) (5 . 3) (6 . 4) (7 . 6)) 5930 0.3999 6.9535 ((2 . 7) (3 . 8) (5 . 9) (6 . 10)) 5945 0.1970 13.2829 ((7 . 9) (8 . 11) (32 . 37) (33 . 38)) 5949 0.3671 5.0835 ((2 . 9) (3 . 10) (6 . 12) (8 . 14)) 5955 0.4000 4.4228 ((2 . 3) (3 . 4) (4 . 5) (7 . 7)) 6011 0.3999 6.1853 ((2 . 8) (5 . 9) (6 . 10) (8 . 19)) 6022 0.3998 8.4314 ((2 . 4) (4 . 5) (6 . 7) (8 . 9)) 6029 0.3997 9.0975 ((2 . 17) (3 . 18) (6 . 19) (7 . 21)) 6041 0.3999 6.1135 ((2 . 11) (3 . 12) (4 . 13) (7 . 15)) 6079 0.3998 8.5171 ((2 . 6) (4 . 7) (5 . 9) (6 . 8)) 6094 0.3670 8.1546 ((3 . 10) (4 . 11) (6 . 12) (7 . 14)) 6099 0.4000 5.2383 ((2 . 23) (3 . 24) (4 . 25) (7 . 27)) 6123 0.3996 10.0221 ((2 . 2) (4 . 3) (5 . 5) (6 . 4)) 6142 0.4000 5.5308 ((2 . 13) (5 . 14) (6 . 15) (8 . 17)) 6148 0.3362 10.1349 ((2 . 32) (3 . 33) (5 . 34) (8 . 37)) 6167 0.3363 8.0649 ((5 . 9) (6 . 10) (7 . 12) (8 . 14)) 6173 0.3997 9.6838 ((2 . 3) (4 . 4) (6 . 5) (8 . 7)) 6191 0.3998 8.3546 ((3 . 9) (4 . 10) (6 . 12) (7 . 13)) 6228 0.1970 5.1643 ((3 . 9) (5 . 12) (6 . 11) (8 . 14)) 6234 0.2800 7.8284 ((2 . 7) (3 . 9) (5 . 10) (7 . 13)) 6238 0.2800 8.5081 ((2 . 5) (3 . 4) (7 . 8) (8 . 9)) 6261 0.3670 7.2870 ((4 . 3) (5 . 4) (6 . 6) (8 . 9)) 6270 0.2800 10.6931 ((3 . 17) (4 . 18) (7 . 20) (8 . 22)) 6271 0.3363 7.6508 ((4 . 4) (6 . 5) (7 . 7) (8 . 8)) 6273 0.3998 8.2604 ((4 . 1) (6 . 2) (8 . 3) (32 . 31)) 6306 0.1970 9.0762 ((2 . 17) (5 . 19) (6 . 20) (7 . 21)) 6326 0.4000 5.4686 ((3 . 10) (5 . 11) (6 . 12) (7 . 13)) 6338 0.3999 6.0572 ((2 . 1) (5 . 5) (6 . 4) (8 . 7)) 6344 0.4000 2.5941 ((4 . 13) (5 . 14) (6 . 15) (8 . 18)) 6355 0.3999 7.3475 ((2 . 4) (3 . 6) (6 . 7) (7 . 9)) 6369 0.3671 6.5974 ((5 . 5) (6 . 6) (31 . 29) (33 . 31)) 6391 0.4000 4.2731 ((2 . 8) (5 . 10) (6 . 12) (7 . 14)) 6399 0.4530 7.0468 ((2 . 8) (3 . 10) (4 . 11) (7 . 13) (8 . 14)) 6403 0.3999 7.0902 ((3 . 12) (4 . 13) (6 . 14) (7 . 15)) 6462 0.3999 7.7200 ((5 . 4) (6 . 5) (31 . 28) (32 . 29)) 6498 0.3996 10.3160 ((2 . 1) (5 . 2) (6 . 3) (31 . 31)) 6520 0.4000 5.7077 ((8 . 1) (31 . 25) (32 . 26) (33 . 28)) 6539 0.3669 9.7289 ((2 . 5) (3 . 6) (6 . 8) (8 . 10)) 6540 0.3999 6.8139 ((5 . 19) (6 . 20) (7 . 21) (8 . 22)) 6548 0.2801 6.7067 ((2 . 5) (4 . 7) (7 . 9) (8 . 12)) 6553 0.3999 7.0484 ((2 . 11) (6 . 13) (7 . 15) (8 . 17)) 6555 0.3997 9.6722 ((2 . 15) (3 . 16) (4 . 17) (7 . 20)) 6573 0.3999 6.9663 ((2 . 21) (3 . 22) (5 . 23) (6 . 24)) 6584 0.3363 6.9804 ((2 . 5) (3 . 6) (5 . 7) (6 . 8)) 6598 0.5999 4.5376 ((3 . 20) (4 . 21) (8 . 24) (31 . 25) (32 . 26) (33 . 27)) 6635 0.0999 5.8136 ((2 . 1) (5 . 5) (6 . 4) (8 . 7)) END