4527 41 0.2969 9.3765 ((2 . 2) (4 . 4) (6 . 5) (7 . 7)) 62 0.6658 6.5373 ((4 . 9) (6 . 12) (7 . 13) (8 . 16)) 91 0.2969 9.9791 ((2 . 25) (4 . 26) (6 . 28) (8 . 31)) 96 0.1499 6.5571 ((2 . 2) (4 . 4) (6 . 5) (7 . 6)) 129 0.6658 6.4262 ((1 . 1) (6 . 8) (7 . 9) (8 . 11)) 136 0.6641 8.4937 ((1 . 3) (2 . 4) (4 . 6) (6 . 8)) 150 0.6640 8.5322 ((2 . 18) (4 . 21) (7 . 23) (8 . 25)) 157 0.3878 9.0244 ((1 . 9) (2 . 10) (4 . 12) (8 . 18)) 161 0.3879 7.5285 ((1 . 3) (4 . 7) (6 . 9) (7 . 10)) 162 0.3879 6.2655 ((4 . 16) (6 . 17) (7 . 18) (8 . 20)) 198 0.6647 7.9099 ((1 . 2) (6 . 9) (7 . 10) (8 . 12)) 300 0.6657 6.5738 ((2 . 12) (6 . 16) (7 . 17) (8 . 18)) 305 0.3879 6.5277 ((2 . 8) (4 . 10) (6 . 11) (7 . 12)) 340 0.6666 3.5069 ((1 . 1) (6 . 4) (7 . 7) (8 . 9)) 350 0.6645 8.1282 ((1 . 1) (4 . 3) (6 . 5) (8 . 10)) 360 0.6663 5.2935 ((1 . 3) (6 . 8) (7 . 9) (8 . 12)) 367 0.6657 6.6319 ((2 . 41) (6 . 44) (7 . 46) (8 . 48)) 372 0.6653 7.2141 ((1 . 1) (6 . 6) (7 . 8) (8 . 10)) 433 0.1996 7.0626 ((2 . 3) (4 . 4) (6 . 6) (7 . 7)) 442 0.6645 8.1663 ((2 . 16) (4 . 18) (6 . 19) (7 . 21)) 491 0.1996 9.2614 ((2 . 5) (6 . 8) (7 . 9) (8 . 10)) 543 0.6655 6.9693 ((1 . 6) (2 . 7) (6 . 10) (8 . 15)) 584 0.6636 8.8809 ((2 . 1) (4 . 2) (6 . 4) (7 . 5)) 587 0.1996 8.3867 ((1 . 2) (6 . 8) (7 . 9) (8 . 10)) 619 0.5282 8.1450 ((1 . 12) (2 . 14) (4 . 17) (7 . 19)) 635 0.3878 8.8513 ((2 . 11) (4 . 12) (6 . 13) (7 . 14)) 672 0.6660 5.9366 ((1 . 16) (6 . 23) (7 . 24) (8 . 26)) 729 0.6658 6.4246 ((4 . 14) (6 . 15) (7 . 17) (8 . 13)) 765 0.1996 6.8097 ((1 . 8) (6 . 17) (7 . 19) (8 . 20)) 767 0.1996 6.8361 ((1 . 1) (2 . 2) (7 . 10) (8 . 12)) 818 0.6655 6.9817 ((1 . 4) (2 . 5) (4 . 9) (6 . 10)) 824 0.6657 6.6660 ((1 . 43) (6 . 49) (7 . 50) (8 . 53)) 861 0.6665 4.3505 ((1 . 12) (6 . 17) (7 . 18) (8 . 19)) 937 0.6648 7.8424 ((1 . 1) (2 . 2) (4 . 3) (6 . 5)) 1007 0.6658 6.5358 ((4 . 6) (6 . 8) (7 . 9) (8 . 11)) 1034 0.5261 11.5915 ((2 . 24) (4 . 27) (7 . 29) (8 . 32)) 1043 0.6660 6.1298 ((1 . 6) (2 . 9) (6 . 12) (7 . 14)) 1082 0.4664 8.4800 ((1 . 12) (2 . 13) (4 . 14) (7 . 19)) 1084 0.6548 12.5307 ((2 . 2) (4 . 4) (6 . 8) (7 . 9)) 1195 0.6626 9.5181 ((1 . 2) (2 . 1) (6 . 5) (7 . 6)) 1201 0.1996 6.0391 ((1 . 4) (6 . 9) (7 . 11) (8 . 12)) 1211 0.3879 6.4142 ((2 . 6) (4 . 7) (6 . 9) (7 . 10)) 1217 0.3877 9.3747 ((1 . 3) (4 . 8) (6 . 11) (7 . 12)) 1301 0.4666 7.2785 ((1 . 1) (2 . 2) (4 . 3) (6 . 5)) 1345 0.6640 8.5800 ((1 . 9) (2 . 10) (6 . 14) (7 . 16)) 1366 0.0999 7.5510 ((4 . 13) (6 . 15) (7 . 16) (8 . 17)) 1388 0.1996 8.9907 ((1 . 1) (2 . 2) (4 . 3) (6 . 5)) 1447 0.2487 9.5430 ((1 . 5) (2 . 6) (4 . 8) (6 . 9)) 1451 0.6651 7.5257 ((1 . 5) (4 . 7) (6 . 9) (7 . 10)) 1464 0.3879 6.6275 ((1 . 8) (4 . 12) (6 . 13) (7 . 14)) 1472 0.3878 8.9160 ((2 . 3) (4 . 5) (6 . 7) (7 . 8)) 1481 0.1333 5.0962 ((1 . 1) (4 . 3) (6 . 4) (7 . 5)) 1591 0.1665 7.4379 ((1 . 11) (2 . 12) (4 . 15) (7 . 16)) 1622 0.6629 9.3454 ((1 . 18) (2 . 19) (6 . 22) (7 . 23)) 1624 0.3879 6.6582 ((1 . 2) (6 . 6) (7 . 8) (8 . 9)) 1643 0.6660 5.9771 ((2 . 4) (6 . 6) (7 . 8) (8 . 10)) 1690 0.1250 9.4213 ((1 . 11) (2 . 12) (6 . 18) (7 . 19)) 1692 0.2488 9.1962 ((2 . 4) (6 . 7) (7 . 8) (8 . 9)) 1738 0.1499 5.3962 ((1 . 11) (2 . 15) (6 . 18) (7 . 19)) 1747 0.1996 8.3939 ((2 . 22) (4 . 23) (6 . 25) (7 . 27)) 1776 0.4632 14.3829 ((2 . 8) (4 . 11) (7 . 14) (8 . 15)) 1805 0.3880 5.8444 ((1 . 2) (4 . 5) (6 . 9) (7 . 10)) 1808 0.6656 6.7334 ((4 . 1) (6 . 4) (7 . 5) (8 . 8)) 1894 0.6539 12.7741 ((1 . 12) (4 . 15) (7 . 18) (8 . 19)) 1897 0.2487 10.3850 ((1 . 32) (2 . 35) (4 . 37) (8 . 40)) 1909 0.6608 10.4539 ((2 . 24) (4 . 26) (7 . 29) (8 . 31)) 1913 0.6631 9.1809 ((1 . 16) (6 . 22) (7 . 23) (8 . 26)) 1957 0.2970 8.3059 ((2 . 18) (4 . 20) (7 . 21) (8 . 22)) 1961 0.3880 5.7907 ((2 . 12) (4 . 13) (6 . 15) (7 . 16)) 1967 0.6653 7.2665 ((1 . 3) (2 . 9) (4 . 12) (7 . 16)) 2003 0.1333 7.4885 ((2 . 2) (6 . 7) (7 . 9) (8 . 10)) 2065 0.6621 9.7815 ((1 . 16) (6 . 23) (7 . 25) (8 . 26)) 2067 0.3879 6.6815 ((2 . 8) (6 . 11) (7 . 15) (8 . 16)) 2072 0.6640 8.5709 ((1 . 1) (4 . 3) (7 . 5) (8 . 7)) 2081 0.1996 8.7599 ((1 . 3) (4 . 7) (6 . 9) (7 . 10)) 2083 0.2970 6.9171 ((4 . 3) (6 . 2) (7 . 4) (8 . 5)) 2097 0.6567 11.9705 ((1 . 1) (2 . 2) (6 . 6) (7 . 7)) 2114 0.0999 6.9644 ((1 . 28) (4 . 30) (6 . 34) (7 . 36)) 2117 0.1996 6.7074 ((2 . 13) (4 . 19) (6 . 22) (7 . 23)) 2118 0.6629 9.3147 ((1 . 7) (2 . 8) (6 . 11) (7 . 12)) 2122 0.6657 6.6219 ((2 . 11) (6 . 14) (7 . 15) (8 . 17)) 2166 0.6634 9.0230 ((1 . 13) (2 . 14) (6 . 17) (8 . 21)) 2220 0.2970 5.4671 ((4 . 1) (6 . 3) (7 . 5) (8 . 7)) 2243 0.6655 6.9479 ((1 . 47) (2 . 48) (6 . 51) (7 . 52)) 2249 0.2487 12.8982 ((2 . 10) (4 . 14) (7 . 16) (8 . 18)) 2269 0.3876 10.5134 ((1 . 6) (4 . 9) (7 . 10) (8 . 12)) 2298 0.1996 11.8266 ((1 . 10) (2 . 11) (7 . 15) (8 . 17)) 2308 0.6389 15.7431 ((2 . 1) (4 . 2) (6 . 4) (7 . 5)) 2314 0.3877 9.9110 ((1 . 8) (2 . 9) (6 . 11) (7 . 13)) 2340 0.2970 6.5206 ((2 . 8) (4 . 10) (6 . 13) (7 . 14)) 2364 0.1499 7.3799 ((1 . 12) (4 . 16) (6 . 19) (7 . 20)) 2389 0.6652 7.3657 ((1 . 3) (6 . 8) (7 . 9) (8 . 11)) 2409 0.3879 6.5173 ((1 . 2) (6 . 6) (7 . 8) (8 . 9)) 2422 0.1665 7.2628 ((2 . 2) (6 . 7) (7 . 8) (8 . 9)) 2440 0.3879 7.3499 ((4 . 5) (6 . 6) (7 . 7) (8 . 9)) 2462 0.6652 7.4217 ((1 . 1) (4 . 5) (6 . 6) (7 . 7)) 2510 0.1499 8.8132 ((1 . 1) (2 . 4) (4 . 6) (7 . 7)) 2525 0.6662 5.6172 ((2 . 42) (4 . 44) (6 . 45) (8 . 48)) 2529 0.1499 6.7321 ((2 . 2) (4 . 4) (6 . 5) (7 . 6)) 2561 0.1995 15.9449 ((2 . 2) (4 . 4) (7 . 6) (8 . 7)) 2650 0.1333 9.3637 ((2 . 4) (6 . 6) (7 . 7) (8 . 8)) 2658 0.4662 9.2030 ((2 . 9) (4 . 11) (6 . 13) (8 . 14)) 2675 0.2970 8.0421 ((1 . 3) (6 . 10) (7 . 11) (8 . 12)) 2731 0.2970 8.1446 ((1 . 1) (2 . 2) (4 . 3) (6 . 5)) 2755 0.2969 10.8292 ((2 . 2) (4 . 4) (7 . 6) (8 . 8)) 2804 0.3871 12.6341 ((1 . 31) (4 . 35) (6 . 36) (8 . 38)) 2821 0.4653 11.5196 ((2 . 6) (4 . 10) (7 . 11) (8 . 13)) 2830 0.3871 12.8618 ((1 . 19) (4 . 21) (7 . 23) (8 . 25)) 2834 0.6651 7.5432 ((1 . 9) (2 . 11) (6 . 14) (8 . 16)) 2867 0.2487 10.4715 ((1 . 2) (2 . 3) (4 . 5) (8 . 8)) 2966 0.1996 5.8149 ((4 . 5) (6 . 6) (7 . 8) (8 . 9)) 2990 0.8295 7.0852 ((1 . 9) (2 . 10) (4 . 13) (6 . 15) (7 . 16)) 3014 0.3879 7.4317 ((4 . 3) (6 . 4) (7 . 5) (8 . 7)) 3034 0.1333 8.4562 ((1 . 5) (2 . 6) (4 . 8) (7 . 9)) 3041 0.2486 14.5489 ((2 . 27) (4 . 28) (6 . 29) (8 . 32)) 3102 0.6576 11.6922 ((1 . 67) (6 . 71) (7 . 72) (8 . 74)) 3120 0.2488 8.0653 ((1 . 21) (2 . 20) (4 . 23) (6 . 25)) 3147 0.6605 10.5857 ((1 . 5) (6 . 11) (7 . 12) (8 . 15)) 3176 0.1996 8.4972 ((2 . 23) (6 . 26) (7 . 27) (8 . 29)) 3190 0.1333 7.2678 ((1 . 3) (2 . 4) (4 . 7) (7 . 11)) 3200 0.1996 5.9779 ((4 . 2) (6 . 3) (7 . 4) (8 . 6)) 3212 0.1499 8.4920 ((1 . 3) (2 . 6) (4 . 7) (6 . 9)) 3222 0.3877 9.6730 ((1 . 10) (2 . 13) (6 . 16) (7 . 18)) 3339 0.3878 9.1193 ((2 . 14) (4 . 16) (7 . 19) (8 . 21)) 3362 0.6640 8.5706 ((1 . 6) (2 . 7) (4 . 9) (6 . 11)) 3366 0.1499 6.1106 ((1 . 22) (6 . 26) (7 . 28) (8 . 29)) 3481 0.6659 6.1834 ((4 . 3) (6 . 4) (7 . 8) (8 . 10)) 3496 0.2969 8.7897 ((1 . 19) (2 . 20) (4 . 21) (6 . 23)) 3533 0.6660 5.9549 ((1 . 1) (4 . 6) (7 . 7) (8 . 8)) 3537 0.6653 7.2666 ((1 . 2) (2 . 3) (7 . 9) (8 . 10)) 3548 0.6655 6.9991 ((1 . 4) (4 . 7) (6 . 9) (7 . 10)) 3549 0.4659 10.1459 ((1 . 2) (2 . 4) (4 . 7) (7 . 8)) 3561 0.1333 6.9987 ((2 . 25) (4 . 27) (6 . 30) (7 . 31)) 3628 0.6646 7.9843 ((4 . 7) (6 . 9) (7 . 10) (8 . 12)) 3651 0.6630 9.2518 ((1 . 9) (2 . 10) (4 . 14) (8 . 21)) 3656 0.1996 8.2824 ((4 . 21) (6 . 22) (7 . 23) (8 . 24)) 3658 0.1996 5.3070 ((2 . 15) (4 . 16) (6 . 17) (7 . 18)) 3659 0.1996 11.6793 ((2 . 4) (4 . 6) (6 . 8) (8 . 12)) 3697 0.6608 10.4336 ((1 . 6) (2 . 5) (4 . 8) (7 . 10)) 3732 0.6642 8.3843 ((1 . 7) (2 . 8) (4 . 10) (6 . 12)) 3790 0.1499 6.3250 ((4 . 20) (6 . 22) (7 . 24) (8 . 25)) 3817 0.6646 7.9768 ((1 . 7) (2 . 8) (6 . 10) (7 . 11)) 3818 0.6627 9.4528 ((1 . 23) (2 . 24) (6 . 28) (7 . 29)) 3831 0.6658 6.4812 ((1 . 3) (2 . 4) (4 . 7) (7 . 9)) 3847 0.6645 8.1386 ((1 . 9) (2 . 10) (4 . 12) (8 . 17)) 3849 0.2487 10.0648 ((1 . 3) (2 . 4) (4 . 7) (6 . 8)) 3870 0.2488 7.0546 ((1 . 5) (2 . 6) (4 . 7) (7 . 10)) 3938 0.6841 7.5935 ((1 . 2) (2 . 3) (4 . 5) (6 . 8) (7 . 9)) 3968 0.6632 9.1430 ((2 . 2) (4 . 4) (7 . 9) (8 . 11)) 3986 0.6647 7.9124 ((1 . 15) (2 . 16) (6 . 21) (7 . 25)) 3990 0.3877 9.5944 ((2 . 19) (4 . 21) (6 . 23) (7 . 24)) 4005 0.3879 7.8946 ((2 . 28) (4 . 31) (6 . 32) (7 . 33)) 4009 0.5228 14.1510 ((2 . 17) (4 . 18) (7 . 21) (8 . 23)) 4019 0.2970 7.4145 ((2 . 41) (6 . 44) (7 . 45) (8 . 46)) 4067 0.1996 7.0219 ((1 . 20) (2 . 21) (4 . 23) (7 . 25)) 4087 0.6650 7.5504 ((1 . 1) (2 . 4) (6 . 7) (8 . 8)) 4115 0.2970 7.7055 ((4 . 2) (6 . 5) (7 . 8) (8 . 10)) 4177 0.6639 8.6217 ((1 . 2) (2 . 4) (6 . 7) (7 . 8)) 4192 0.6638 8.6909 ((1 . 10) (2 . 11) (6 . 15) (8 . 19)) 4194 0.1333 6.1279 ((2 . 2) (4 . 4) (6 . 6) (7 . 7)) 4209 0.6663 5.0529 ((1 . 1) (6 . 5) (7 . 7) (8 . 10)) 4210 0.2487 11.8555 ((1 . 4) (4 . 7) (7 . 8) (8 . 10)) 4226 0.6659 6.2663 ((2 . 13) (4 . 15) (6 . 18) (7 . 19)) 4254 0.6665 4.4802 ((4 . 2) (6 . 3) (7 . 4) (8 . 6)) 4257 0.6563 12.0954 ((1 . 3) (2 . 2) (4 . 4) (7 . 9)) 4275 0.6635 8.9371 ((1 . 23) (2 . 24) (4 . 26) (6 . 28)) 4284 0.6658 6.4548 ((4 . 2) (6 . 4) (7 . 5) (8 . 6)) 4332 0.4665 7.5896 ((2 . 3) (4 . 5) (7 . 6) (8 . 9)) 4352 0.6598 10.9005 ((2 . 4) (4 . 6) (6 . 9) (7 . 10)) 4386 0.3878 8.2624 ((1 . 16) (2 . 17) (6 . 18) (7 . 19)) 4388 0.6653 7.2359 ((1 . 1) (2 . 2) (6 . 5) (7 . 6)) 4415 0.6642 8.4232 ((1 . 1) (2 . 2) (4 . 5) (7 . 9)) 4419 0.1996 7.9034 ((2 . 2) (6 . 6) (7 . 8) (8 . 9)) 4470 0.6621 9.7856 ((1 . 3) (2 . 4) (4 . 6) (7 . 9)) 4502 0.6643 8.3059 ((4 . 7) (6 . 10) (7 . 11) (8 . 14)) 4503 0.6641 8.4627 ((2 . 2) (6 . 6) (7 . 7) (8 . 9)) 4516 0.6661 5.7797 ((1 . 8) (2 . 9) (6 . 12) (7 . 14)) 4527 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (6 . 6) (7 . 7) (8 . 8)) 4538 0.3879 6.3091 ((1 . 30) (6 . 34) (7 . 37) (8 . 38)) 4560 0.3874 11.4521 ((1 . 8) (2 . 10) (6 . 13) (8 . 16)) 4561 0.6628 9.3872 ((1 . 7) (2 . 8) (6 . 14) (7 . 15)) 4588 0.3876 10.2079 ((1 . 3) (2 . 4) (6 . 11) (8 . 13)) 4621 0.6623 9.6738 ((2 . 2) (4 . 5) (6 . 7) (7 . 8)) 4630 0.6649 7.7586 ((4 . 2) (6 . 4) (7 . 6) (8 . 8)) 4653 0.6646 8.0318 ((1 . 1) (6 . 5) (7 . 6) (8 . 8)) 4671 0.4649 12.2941 ((1 . 15) (2 . 16) (6 . 21) (7 . 22)) 4674 0.6593 11.0882 ((1 . 2) (2 . 4) (6 . 6) (7 . 8)) 4678 0.4664 8.2552 ((1 . 6) (2 . 7) (7 . 11) (8 . 12)) 4888 0.6629 9.3382 ((1 . 9) (2 . 11) (6 . 14) (7 . 15)) 4889 0.6654 7.0270 ((2 . 8) (4 . 9) (6 . 11) (7 . 12)) 4907 0.4658 10.3740 ((1 . 1) (2 . 2) (6 . 8) (7 . 9)) 4914 0.6649 7.7180 ((1 . 4) (6 . 10) (7 . 11) (8 . 12)) 4932 0.6651 7.5200 ((1 . 6) (2 . 7) (4 . 9) (6 . 10)) 4940 0.6641 8.4914 ((4 . 5) (6 . 7) (7 . 8) (8 . 9)) 4944 0.6658 6.5348 ((4 . 12) (6 . 13) (7 . 14) (8 . 16)) 4961 0.1499 11.4853 ((2 . 11) (6 . 14) (7 . 15) (8 . 17)) 4982 0.1996 9.7498 ((1 . 8) (4 . 11) (7 . 14) (8 . 18)) 4992 0.0999 4.7547 ((1 . 3) (2 . 4) (7 . 8) (8 . 9)) 5029 0.2970 3.8511 ((2 . 5) (4 . 7) (6 . 8) (7 . 10)) 5038 0.1996 6.7101 ((4 . 13) (6 . 14) (7 . 15) (8 . 17)) 5039 0.1996 8.7391 ((2 . 35) (4 . 36) (6 . 37) (7 . 39)) 5065 0.6640 8.5898 ((1 . 3) (2 . 5) (6 . 9) (7 . 10)) 5068 0.3879 7.6256 ((2 . 11) (4 . 14) (6 . 15) (7 . 16)) 5069 0.6665 4.3006 ((4 . 3) (6 . 5) (7 . 7) (8 . 9)) 5073 0.6619 9.8976 ((1 . 36) (2 . 37) (4 . 38) (8 . 42)) 5083 0.6667 2.3004 ((4 . 3) (6 . 6) (7 . 8) (8 . 9)) 5101 0.1250 9.0880 ((1 . 5) (2 . 6) (4 . 8) (7 . 10)) 5103 0.3878 8.4826 ((2 . 3) (4 . 5) (6 . 6) (8 . 9)) 5132 0.1250 8.7070 ((1 . 16) (2 . 14) (4 . 17) (7 . 20)) 5134 0.2488 8.4717 ((1 . 3) (2 . 5) (4 . 7) (7 . 10)) 5145 0.2488 6.2610 ((2 . 2) (4 . 4) (7 . 8) (8 . 10)) 5167 0.6658 6.4297 ((1 . 4) (2 . 6) (4 . 7) (7 . 9)) 5192 0.6641 8.4872 ((1 . 9) (2 . 11) (4 . 13) (8 . 17)) 5209 0.1499 6.8731 ((1 . 4) (4 . 6) (6 . 8) (7 . 9)) 5215 0.6649 7.7300 ((2 . 6) (4 . 8) (6 . 10) (7 . 11)) 5307 0.1499 5.5364 ((2 . 52) (4 . 54) (6 . 57) (7 . 58)) 5318 0.6645 8.1091 ((1 . 19) (2 . 20) (6 . 22) (7 . 23)) 5324 0.2970 7.9015 ((1 . 22) (2 . 23) (4 . 26) (6 . 28)) 5368 0.6632 9.1717 ((1 . 41) (2 . 44) (6 . 47) (7 . 48)) 5378 0.3879 6.6335 ((1 . 9) (2 . 10) (4 . 13) (6 . 15)) 5414 0.6663 5.3497 ((1 . 16) (2 . 17) (6 . 21) (7 . 22)) 5418 0.1998 5.4111 ((1 . 3) (2 . 4) (4 . 10) (6 . 9) (8 . 2)) 5479 0.3867 13.9898 ((1 . 50) (6 . 54) (7 . 56) (8 . 58)) 5540 0.2487 11.9716 ((1 . 1) (2 . 2) (6 . 7) (7 . 8)) 5560 0.2969 11.2932 ((1 . 15) (2 . 14) (4 . 16) (7 . 20)) 5562 0.1996 8.2250 ((1 . 7) (2 . 9) (4 . 10) (8 . 14)) 5594 0.6654 7.1032 ((1 . 1) (2 . 2) (4 . 5) (6 . 6)) 5600 0.6651 7.4395 ((1 . 6) (2 . 7) (4 . 10) (6 . 11)) 5601 0.6655 6.9649 ((1 . 5) (2 . 6) (4 . 9) (6 . 10)) 5640 0.1996 13.0205 ((1 . 4) (6 . 9) (7 . 10) (8 . 12)) 5656 0.6665 4.3428 ((2 . 19) (4 . 20) (6 . 23) (7 . 24)) 5701 0.1665 10.4648 ((2 . 7) (4 . 10) (7 . 11) (8 . 12)) 5711 0.1499 8.5997 ((1 . 39) (6 . 44) (7 . 46) (8 . 47)) 5718 0.2970 5.3664 ((1 . 16) (4 . 22) (6 . 23) (7 . 24)) 5731 0.6644 8.1973 ((1 . 5) (6 . 11) (7 . 13) (8 . 14)) 5746 0.6660 6.0523 ((1 . 2) (4 . 4) (6 . 7) (7 . 9)) 5749 0.6636 8.8620 ((2 . 1) (4 . 2) (6 . 3) (7 . 4)) 5770 0.5258 11.8839 ((1 . 6) (2 . 7) (4 . 10) (7 . 15)) 5771 0.1996 8.9026 ((2 . 8) (4 . 10) (6 . 13) (7 . 14)) 5782 0.3879 7.3168 ((1 . 32) (2 . 33) (4 . 36) (6 . 37)) 5794 0.6622 9.7434 ((2 . 17) (4 . 22) (7 . 23) (8 . 25)) 5809 0.4667 4.9691 ((1 . 9) (2 . 11) (6 . 14) (7 . 15)) 5827 0.6637 8.8155 ((1 . 11) (2 . 12) (6 . 15) (7 . 16)) 5888 0.6563 12.1092 ((1 . 10) (6 . 16) (7 . 17) (8 . 19)) 5913 0.4668 4.4637 ((1 . 15) (2 . 16) (6 . 20) (7 . 22)) 5930 0.2488 6.2060 ((1 . 4) (2 . 5) (6 . 8) (7 . 9)) 5939 0.2970 8.6834 ((1 . 4) (2 . 3) (4 . 5) (7 . 9)) 5949 0.6658 6.4136 ((2 . 3) (4 . 8) (7 . 9) (8 . 12)) 5955 0.6663 5.1452 ((2 . 12) (4 . 13) (6 . 16) (7 . 17)) 6011 0.1999 8.9329 ((1 . 4) (2 . 17) (4 . 22) (6 . 9) (7 . 10) (8 . 11)) 6022 0.6665 4.2180 ((1 . 1) (6 . 5) (7 . 7) (8 . 9)) 6028 0.2487 10.3041 ((1 . 3) (2 . 4) (4 . 8) (6 . 9)) 6029 0.2969 9.0562 ((1 . 6) (2 . 7) (4 . 8) (6 . 11)) 6041 0.6661 5.7924 ((1 . 8) (6 . 12) (7 . 13) (8 . 15)) 6046 0.0999 9.4789 ((4 . 1) (6 . 3) (7 . 5) (8 . 6)) 6061 0.6657 6.5865 ((1 . 13) (2 . 16) (6 . 20) (8 . 21)) 6089 0.4647 12.6476 ((2 . 19) (4 . 20) (7 . 23) (8 . 24)) 6094 0.2969 10.3570 ((1 . 4) (6 . 10) (7 . 12) (8 . 14)) 6099 0.3879 7.8708 ((2 . 21) (6 . 24) (7 . 25) (8 . 27)) 6142 0.6628 9.4026 ((1 . 10) (6 . 14) (7 . 15) (8 . 17)) 6191 0.6603 10.6630 ((1 . 4) (2 . 5) (6 . 9) (7 . 10)) 6192 0.6566 12.0003 ((2 . 7) (4 . 9) (6 . 11) (8 . 13)) 6215 0.4660 9.9782 ((1 . 20) (2 . 22) (4 . 23) (6 . 24)) 6225 0.6654 7.1440 ((2 . 1) (4 . 2) (6 . 4) (7 . 5)) 6228 0.6634 8.9950 ((1 . 7) (2 . 8) (6 . 11) (7 . 12)) 6243 0.1996 7.8485 ((4 . 1) (6 . 2) (7 . 3) (8 . 6)) 6258 0.2970 5.8120 ((2 . 8) (4 . 11) (6 . 12) (7 . 13)) 6261 0.6660 6.0856 ((2 . 17) (4 . 18) (6 . 21) (7 . 22)) 6271 0.6657 6.5789 ((1 . 5) (6 . 10) (7 . 11) (8 . 12)) 6294 0.3879 6.9304 ((1 . 6) (2 . 7) (4 . 10) (7 . 14)) 6326 0.6650 7.6399 ((1 . 5) (6 . 10) (7 . 12) (8 . 13)) 6344 0.6664 4.6817 ((2 . 11) (6 . 14) (7 . 15) (8 . 18)) 6355 0.6655 6.8989 ((4 . 3) (6 . 6) (7 . 7) (8 . 9)) 6356 0.1996 8.8135 ((2 . 5) (4 . 8) (6 . 9) (8 . 11)) 6369 0.6654 7.0893 ((1 . 29) (2 . 30) (6 . 33) (7 . 35)) 6376 0.6659 6.2781 ((1 . 17) (2 . 20) (4 . 23) (6 . 24)) 6391 0.6666 3.8730 ((1 . 6) (6 . 10) (7 . 12) (8 . 14)) 6399 0.1996 12.5386 ((1 . 8) (6 . 14) (7 . 15) (8 . 17)) 6403 0.2970 5.3274 ((1 . 7) (2 . 9) (6 . 12) (7 . 13)) 6462 0.2485 16.7283 ((1 . 5) (2 . 7) (4 . 8) (8 . 12)) 6476 0.2970 6.3012 ((1 . 4) (2 . 6) (4 . 7) (6 . 9)) 6498 0.2487 9.5166 ((1 . 24) (2 . 26) (4 . 27) (6 . 29)) 6520 0.6656 6.8336 ((1 . 10) (2 . 11) (4 . 12) (7 . 16)) 6539 0.3879 7.4647 ((1 . 5) (2 . 7) (4 . 9) (6 . 10)) 6548 0.6663 5.0321 ((1 . 5) (2 . 6) (4 . 8) (8 . 9)) 6553 0.6602 10.7058 ((2 . 16) (4 . 19) (7 . 20) (8 . 22)) 6555 0.6571 11.8538 ((2 . 9) (4 . 12) (7 . 15) (8 . 17)) 6561 0.6654 7.0998 ((1 . 3) (2 . 5) (6 . 9) (7 . 10)) 6573 0.2969 9.6743 ((2 . 18) (4 . 20) (6 . 22) (7 . 23)) 6584 0.6632 9.1428 ((1 . 2) (4 . 4) (7 . 7) (8 . 9)) 6585 0.6621 9.7859 ((1 . 11) (2 . 12) (6 . 14) (7 . 15)) 6586 0.1499 5.4419 ((2 . 22) (4 . 23) (6 . 24) (7 . 25)) 6635 0.6664 4.9739 ((4 . 2) (6 . 4) (7 . 5) (8 . 7)) END