6476 41 0.1498 9.9489 ((1 . 2) (4 . 3) (7 . 6) (9 . 7)) 51 0.5710 6.5552 ((1 . 3) (2 . 4) (4 . 6) (9 . 11)) 91 0.5709 7.0151 ((5 . 23) (6 . 25) (7 . 26) (9 . 28)) 96 0.5698 9.1921 ((1 . 2) (4 . 3) (6 . 4) (7 . 7)) 155 0.4910 9.2845 ((1 . 4) (2 . 5) (5 . 7) (7 . 8)) 157 0.4447 10.5595 ((1 . 10) (2 . 12) (5 . 13) (7 . 17)) 207 0.5711 6.0669 ((1 . 6) (4 . 8) (5 . 10) (7 . 11)) 259 0.2945 7.3949 ((1 . 3) (2 . 5) (5 . 6) (7 . 7)) 305 0.5710 6.5904 ((4 . 9) (6 . 8) (7 . 10) (9 . 15)) 315 0.1498 8.8134 ((2 . 2) (4 . 3) (7 . 7) (9 . 8)) 361 0.5711 6.1783 ((1 . 5) (2 . 6) (5 . 7) (6 . 8)) 367 0.2945 9.5788 ((4 . 38) (5 . 39) (7 . 41) (9 . 43)) 433 0.3790 6.9782 ((5 . 2) (6 . 3) (7 . 4) (9 . 6)) 442 0.5699 8.9951 ((2 . 15) (6 . 17) (7 . 18) (9 . 21)) 491 0.1664 7.8434 ((1 . 2) (4 . 6) (5 . 5) (9 . 8)) 495 0.1993 7.7645 ((1 . 2) (4 . 5) (7 . 6) (9 . 8)) 541 0.5704 8.2085 ((2 . 4) (4 . 5) (7 . 6) (9 . 7)) 543 0.5643 13.3315 ((1 . 3) (6 . 7) (7 . 9) (9 . 10)) 584 0.1992 9.4787 ((2 . 9) (4 . 10) (7 . 12) (9 . 15)) 609 0.5695 9.6024 ((1 . 2) (4 . 3) (6 . 5) (7 . 7)) 619 0.1664 10.8111 ((1 . 10) (4 . 12) (5 . 14) (9 . 18)) 624 0.5713 5.2394 ((2 . 23) (4 . 24) (7 . 25) (9 . 26)) 635 0.5710 6.4422 ((1 . 7) (2 . 9) (5 . 11) (6 . 12)) 678 0.5698 9.1198 ((1 . 21) (2 . 23) (4 . 24) (7 . 25)) 729 0.1498 7.1159 ((4 . 24) (6 . 26) (7 . 30) (9 . 31)) 782 0.4442 11.9094 ((1 . 5) (2 . 6) (5 . 8) (7 . 10)) 792 0.1992 9.2991 ((1 . 1) (2 . 2) (5 . 3) (7 . 5)) 795 0.5710 6.3623 ((2 . 2) (4 . 3) (7 . 4) (9 . 6)) 796 0.5711 5.8859 ((2 . 1) (4 . 3) (7 . 4) (9 . 6)) 818 0.3784 12.0455 ((1 . 5) (4 . 10) (6 . 11) (9 . 14)) 834 0.2942 13.8694 ((1 . 38) (2 . 39) (5 . 40) (7 . 42)) 861 0.3788 9.4636 ((1 . 10) (5 . 11) (7 . 14) (9 . 16)) 904 0.5943 4.8752 ((1 . 1) (4 . 3) (5 . 4) (7 . 5) (9 . 7)) 913 0.5713 4.6207 ((1 . 15) (4 . 17) (7 . 18) (9 . 20)) 943 0.5709 6.7534 ((2 . 10) (4 . 12) (7 . 13) (9 . 15)) 949 0.5696 9.4101 ((2 . 33) (5 . 36) (6 . 35) (7 . 37)) 978 0.2945 7.1709 ((2 . 3) (4 . 4) (7 . 5) (9 . 6)) 1007 0.5709 6.8821 ((1 . 2) (5 . 5) (6 . 6) (9 . 8)) 1043 0.5711 6.1911 ((2 . 9) (4 . 10) (7 . 11) (9 . 14)) 1082 0.4447 10.6620 ((1 . 23) (2 . 25) (5 . 26) (7 . 27)) 1165 0.3786 11.1064 ((1 . 9) (2 . 11) (4 . 12) (7 . 13)) 1167 0.2945 7.8685 ((1 . 24) (2 . 25) (6 . 26) (7 . 28)) 1201 0.5710 6.4495 ((1 . 5) (4 . 7) (7 . 8) (9 . 11)) 1224 0.5712 5.4393 ((4 . 10) (5 . 11) (6 . 12) (7 . 13)) 1267 0.5710 6.7360 ((2 . 14) (4 . 19) (7 . 20) (9 . 21)) 1268 0.4454 6.0871 ((2 . 12) (5 . 14) (6 . 15) (7 . 16)) 1301 0.2946 4.1938 ((4 . 1) (5 . 2) (7 . 3) (9 . 5)) 1388 0.4454 6.6492 ((1 . 6) (2 . 7) (4 . 8) (7 . 10)) 1447 0.2477 11.9062 ((1 . 4) (4 . 7) (5 . 6) (7 . 8)) 1472 0.1664 8.5897 ((1 . 5) (4 . 8) (5 . 9) (6 . 10)) 1476 0.5702 8.5787 ((1 . 17) (2 . 16) (4 . 18) (7 . 19)) 1508 0.5943 5.1601 ((2 . 1) (4 . 2) (5 . 3) (7 . 4) (9 . 5)) 1513 0.1498 8.0682 ((2 . 14) (4 . 15) (7 . 16) (9 . 18)) 1591 0.1664 9.2731 ((2 . 2) (5 . 3) (7 . 5) (9 . 6)) 1595 0.5712 5.2742 ((1 . 2) (5 . 4) (7 . 6) (9 . 8)) 1604 0.5709 7.0219 ((2 . 6) (4 . 7) (5 . 8) (7 . 9)) 1643 0.2945 10.2958 ((4 . 3) (5 . 4) (7 . 5) (9 . 8)) 1724 0.4454 6.8593 ((1 . 3) (2 . 4) (5 . 5) (7 . 6)) 1736 0.1498 7.0479 ((2 . 6) (4 . 7) (6 . 8) (7 . 9)) 1738 0.5706 7.8099 ((1 . 5) (4 . 9) (7 . 10) (9 . 13)) 1747 0.5701 8.7094 ((4 . 48) (6 . 50) (7 . 51) (9 . 52)) 1761 0.5685 10.6420 ((4 . 5) (6 . 6) (7 . 8) (9 . 9)) 1763 0.2477 8.3785 ((1 . 4) (5 . 6) (7 . 8) (9 . 10)) 1776 0.5652 12.8898 ((1 . 8) (2 . 10) (7 . 13) (9 . 15)) 1796 0.5689 10.2625 ((2 . 1) (5 . 2) (6 . 3) (7 . 4)) 1894 0.2945 10.3524 ((4 . 5) (5 . 4) (7 . 6) (9 . 7)) 1896 0.2477 9.5069 ((1 . 10) (2 . 12) (5 . 13) (9 . 17)) 1897 0.5699 8.9976 ((4 . 34) (6 . 35) (7 . 37) (9 . 39)) 1908 0.2945 7.8616 ((1 . 9) (4 . 15) (7 . 16) (9 . 17)) 1909 0.5703 8.4356 ((2 . 23) (5 . 24) (7 . 26) (9 . 29)) 1957 0.2945 10.3136 ((4 . 19) (6 . 18) (7 . 20) (9 . 22)) 1967 0.5702 8.5802 ((1 . 9) (2 . 11) (5 . 12) (6 . 15)) 2045 0.3786 11.1876 ((1 . 4) (2 . 5) (4 . 7) (7 . 9)) 2054 0.4916 6.3510 ((1 . 11) (2 . 12) (5 . 15) (7 . 16)) 2067 0.5711 6.0304 ((4 . 54) (6 . 56) (7 . 58) (9 . 60)) 2081 0.5708 7.0859 ((1 . 13) (2 . 14) (5 . 15) (6 . 16)) 2083 0.3790 6.6955 ((2 . 6) (4 . 7) (6 . 8) (7 . 11)) 2114 0.2942 14.4067 ((1 . 33) (2 . 35) (4 . 36) (7 . 39)) 2117 0.5708 7.1313 ((4 . 1) (5 . 2) (7 . 3) (9 . 5)) 2118 0.4454 6.9721 ((2 . 8) (5 . 9) (7 . 10) (9 . 12)) 2122 0.3782 12.8362 ((1 . 19) (2 . 20) (5 . 21) (7 . 23)) 2179 0.5712 5.5072 ((1 . 12) (4 . 13) (7 . 16) (9 . 20)) 2233 0.4448 10.3045 ((1 . 2) (5 . 6) (6 . 5) (7 . 7)) 2269 0.5649 13.0525 ((5 . 1) (6 . 2) (7 . 3) (9 . 6)) 2279 0.5703 8.3003 ((1 . 14) (4 . 19) (7 . 21) (9 . 22)) 2298 0.5712 5.2752 ((4 . 12) (5 . 13) (7 . 16) (9 . 17)) 2340 0.2944 12.4372 ((1 . 8) (2 . 10) (4 . 11) (6 . 12)) 2344 0.3774 15.4380 ((1 . 2) (2 . 4) (7 . 8) (9 . 10)) 2410 0.7142 3.4903 ((1 . 12) (4 . 13) (5 . 14) (7 . 15) (9 . 17)) 2443 0.5702 8.5863 ((1 . 7) (2 . 8) (5 . 9) (7 . 10)) 2447 0.5706 7.8008 ((1 . 9) (2 . 12) (4 . 13) (7 . 14)) 2462 0.5712 5.3506 ((1 . 5) (4 . 7) (7 . 10) (9 . 12)) 2465 0.4916 6.4291 ((1 . 4) (2 . 5) (6 . 6) (7 . 7)) 2510 0.5699 8.9906 ((1 . 22) (2 . 24) (4 . 25) (7 . 26)) 2519 0.2945 7.2598 ((4 . 2) (5 . 3) (7 . 4) (9 . 5)) 2525 0.3790 6.5852 ((1 . 44) (5 . 46) (7 . 49) (9 . 50)) 2533 0.2945 9.1103 ((1 . 1) (2 . 2) (5 . 3) (7 . 5)) 2544 0.5714 3.2889 ((1 . 18) (5 . 19) (7 . 21) (9 . 23)) 2551 0.1993 8.2031 ((1 . 4) (2 . 5) (5 . 6) (7 . 7)) 2556 0.5701 8.6462 ((1 . 12) (4 . 13) (6 . 15) (7 . 17)) 2557 0.1993 3.7159 ((4 . 3) (5 . 4) (7 . 5) (9 . 7)) 2627 0.2477 8.2004 ((1 . 59) (4 . 60) (5 . 61) (9 . 65)) 2658 0.6306 7.1105 ((1 . 8) (2 . 9) (4 . 10) (5 . 11) (9 . 14)) 2703 0.2945 8.0304 ((1 . 2) (2 . 3) (5 . 4) (7 . 5)) 2733 0.5691 10.0441 ((4 . 4) (6 . 5) (7 . 6) (9 . 8)) 2753 0.5706 7.7197 ((1 . 1) (2 . 2) (5 . 3) (7 . 4)) 2804 0.1664 6.3427 ((1 . 27) (2 . 28) (7 . 35) (9 . 36)) 2840 0.5710 6.3647 ((2 . 2) (4 . 5) (7 . 7) (9 . 8)) 2867 0.5711 6.0286 ((4 . 9) (6 . 10) (7 . 11) (9 . 12)) 2929 0.5714 2.7575 ((4 . 36) (5 . 37) (7 . 38) (9 . 40)) 2947 0.2945 8.3530 ((1 . 17) (2 . 18) (5 . 19) (7 . 20)) 2950 0.5705 7.9057 ((1 . 8) (2 . 9) (5 . 10) (7 . 11)) 2966 0.1332 5.2015 ((2 . 2) (4 . 4) (5 . 5) (9 . 9)) 2990 0.1249 7.2832 ((1 . 8) (2 . 10) (7 . 13) (9 . 15)) 2999 0.2943 12.7287 ((4 . 2) (5 . 1) (7 . 3) (9 . 6)) 3014 0.5713 4.3144 ((1 . 18) (2 . 19) (5 . 20) (6 . 21)) 3041 0.0999 9.4083 ((1 . 28) (4 . 30) (7 . 31) (9 . 33)) 3070 0.5714 3.1311 ((1 . 31) (4 . 33) (7 . 34) (9 . 36)) 3084 0.5708 7.2798 ((1 . 18) (4 . 21) (6 . 20) (9 . 24)) 3120 0.5689 10.2330 ((4 . 21) (6 . 23) (7 . 24) (9 . 25)) 3176 0.4896 11.9677 ((1 . 21) (2 . 22) (6 . 23) (9 . 26)) 3197 0.5691 10.0181 ((1 . 20) (2 . 22) (6 . 23) (7 . 25)) 3200 0.2477 10.5012 ((1 . 2) (4 . 6) (5 . 5) (7 . 8)) 3202 0.2478 6.6422 ((1 . 24) (2 . 25) (5 . 27) (6 . 28)) 3212 0.2945 6.4006 ((4 . 3) (6 . 6) (7 . 7) (9 . 9)) 3334 0.1498 5.8804 ((4 . 6) (5 . 7) (7 . 9) (9 . 10)) 3339 0.5692 9.8759 ((1 . 16) (4 . 19) (5 . 18) (9 . 22)) 3362 0.2945 8.8313 ((4 . 4) (6 . 3) (7 . 5) (9 . 8)) 3481 0.5712 5.8617 ((4 . 2) (6 . 3) (7 . 5) (9 . 7)) 3549 0.5705 7.9292 ((4 . 5) (5 . 4) (7 . 7) (9 . 8)) 3561 0.3788 9.9952 ((1 . 23) (2 . 25) (7 . 29) (9 . 30)) 3570 0.5710 6.7062 ((4 . 7) (5 . 6) (7 . 9) (9 . 10)) 3585 0.5708 7.2042 ((1 . 15) (2 . 17) (5 . 18) (7 . 19)) 3651 0.5709 6.7741 ((2 . 7) (4 . 8) (7 . 10) (9 . 13)) 3658 0.5709 6.9370 ((1 . 15) (2 . 16) (4 . 17) (7 . 19)) 3659 0.5712 5.7776 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 3661 0.1992 12.0053 ((2 . 6) (4 . 8) (5 . 9) (7 . 10)) 3697 0.1664 9.0568 ((1 . 5) (4 . 7) (6 . 8) (7 . 9)) 3732 0.2945 8.6870 ((4 . 5) (6 . 4) (7 . 6) (9 . 9)) 3733 0.5685 10.5845 ((1 . 2) (2 . 4) (5 . 5) (7 . 7)) 3776 0.2945 9.7825 ((1 . 16) (4 . 17) (5 . 18) (7 . 23)) 3787 0.2945 5.9819 ((2 . 8) (4 . 12) (7 . 14) (9 . 15)) 3790 0.5708 7.3449 ((1 . 20) (4 . 22) (6 . 23) (9 . 26)) 3829 0.4453 7.3764 ((1 . 8) (4 . 9) (5 . 10) (6 . 11)) 3834 0.2477 9.3488 ((1 . 2) (2 . 3) (5 . 4) (7 . 5)) 3849 0.5699 9.0749 ((4 . 5) (5 . 4) (7 . 7) (9 . 8)) 3870 0.2946 4.9386 ((4 . 5) (5 . 6) (7 . 7) (9 . 8)) 3942 0.1993 6.4883 ((2 . 4) (4 . 3) (5 . 5) (9 . 9)) 3968 0.5697 9.3702 ((1 . 4) (5 . 7) (7 . 10) (9 . 11)) 3990 0.3790 7.3362 ((1 . 19) (4 . 20) (6 . 21) (9 . 25)) 4005 0.5704 8.2355 ((4 . 27) (5 . 28) (7 . 31) (9 . 33)) 4009 0.3790 6.4104 ((4 . 15) (5 . 16) (6 . 17) (7 . 18)) 4019 0.1993 5.7521 ((4 . 39) (5 . 40) (6 . 41) (9 . 44)) 4030 0.5713 5.2231 ((1 . 10) (2 . 11) (5 . 12) (6 . 13)) 4037 0.5710 6.4283 ((1 . 4) (2 . 5) (5 . 6) (7 . 7)) 4062 0.5704 8.1536 ((2 . 44) (5 . 45) (7 . 47) (9 . 49)) 4077 0.1992 9.4487 ((1 . 6) (5 . 7) (6 . 8) (7 . 9)) 4082 0.1664 5.9727 ((1 . 1) (5 . 3) (7 . 4) (9 . 6)) 4115 0.3788 9.6110 ((1 . 2) (4 . 5) (6 . 7) (7 . 9)) 4134 0.5692 9.8664 ((1 . 25) (5 . 26) (6 . 27) (7 . 28)) 4177 0.2945 7.9593 ((4 . 1) (6 . 3) (7 . 4) (9 . 7)) 4192 0.2477 9.1567 ((2 . 14) (6 . 16) (7 . 18) (9 . 19)) 4195 0.1498 8.0302 ((1 . 5) (4 . 6) (7 . 7) (9 . 9)) 4204 0.5709 7.0525 ((2 . 4) (4 . 11) (7 . 12) (9 . 15)) 4209 0.4450 9.2728 ((2 . 3) (4 . 4) (6 . 6) (9 . 10)) 4210 0.1992 10.5320 ((1 . 1) (4 . 4) (5 . 3) (9 . 6)) 4216 0.4453 7.9988 ((1 . 12) (2 . 13) (5 . 14) (7 . 15)) 4226 0.5690 10.1305 ((2 . 13) (5 . 15) (7 . 17) (9 . 19)) 4242 0.1993 5.4579 ((1 . 2) (2 . 3) (5 . 5) (7 . 6)) 4243 0.2478 5.8417 ((1 . 2) (2 . 3) (5 . 4) (7 . 5)) 4254 0.5695 9.5762 ((1 . 5) (2 . 7) (7 . 10) (9 . 13)) 4265 0.5695 9.5867 ((1 . 27) (2 . 28) (4 . 29) (7 . 31)) 4266 0.5691 9.9766 ((1 . 1) (2 . 3) (4 . 4) (7 . 5)) 4275 0.5707 7.5541 ((4 . 21) (5 . 22) (7 . 24) (9 . 27)) 4281 0.3790 6.9997 ((4 . 5) (5 . 6) (6 . 7) (9 . 10)) 4299 0.4447 10.5697 ((1 . 5) (2 . 7) (5 . 8) (9 . 11)) 4326 0.2476 14.4684 ((1 . 1) (6 . 4) (7 . 5) (9 . 7)) 4352 0.5699 9.0668 ((1 . 4) (2 . 5) (5 . 7) (7 . 11)) 4386 0.4453 7.7405 ((1 . 14) (2 . 15) (6 . 17) (9 . 18)) 4388 0.5711 6.0326 ((2 . 2) (4 . 3) (7 . 4) (9 . 6)) 4398 0.5705 8.0257 ((4 . 8) (6 . 9) (7 . 11) (9 . 13)) 4405 0.1993 8.0589 ((1 . 13) (4 . 19) (5 . 20) (9 . 25)) 4408 0.1993 7.8631 ((1 . 20) (5 . 21) (6 . 22) (7 . 23)) 4426 0.5706 7.7588 ((2 . 1) (4 . 2) (7 . 3) (9 . 4)) 4492 0.5710 6.3617 ((2 . 19) (4 . 21) (7 . 22) (9 . 26)) 4504 0.5692 9.9394 ((1 . 5) (4 . 8) (5 . 10) (9 . 13)) 4516 0.5705 7.9951 ((1 . 5) (2 . 7) (4 . 8) (7 . 9)) 4527 0.2945 6.3012 ((4 . 1) (6 . 2) (7 . 4) (9 . 6)) 4560 0.3789 7.9228 ((2 . 7) (6 . 10) (7 . 12) (9 . 13)) 4561 0.5684 10.6927 ((1 . 6) (2 . 8) (4 . 9) (7 . 11)) 4562 0.1498 8.1337 ((1 . 23) (4 . 25) (7 . 26) (9 . 29)) 4579 0.2945 6.4068 ((1 . 6) (2 . 7) (5 . 8) (7 . 11)) 4589 0.4453 8.0311 ((1 . 21) (4 . 23) (5 . 24) (9 . 30)) 4607 0.5697 9.2501 ((1 . 13) (5 . 15) (6 . 16) (7 . 17)) 4621 0.5709 6.9532 ((2 . 1) (6 . 2) (7 . 5) (9 . 6)) 4648 0.2945 7.5913 ((4 . 2) (5 . 3) (7 . 7) (9 . 8)) 4668 0.5711 6.1892 ((4 . 9) (5 . 8) (7 . 10) (9 . 11)) 4671 0.5699 9.0050 ((1 . 10) (4 . 14) (7 . 16) (9 . 19)) 4678 0.1332 8.3224 ((2 . 7) (4 . 6) (5 . 8) (9 . 12)) 4715 0.5705 7.9104 ((1 . 5) (4 . 6) (6 . 9) (7 . 10)) 4731 0.1664 6.5110 ((2 . 12) (5 . 13) (7 . 16) (9 . 18)) 4764 0.4451 9.1521 ((1 . 4) (2 . 5) (5 . 6) (7 . 7)) 4857 0.4912 8.5439 ((1 . 12) (2 . 14) (6 . 15) (7 . 16)) 4914 0.2477 11.0392 ((2 . 2) (4 . 1) (5 . 3) (9 . 7)) 4944 0.5707 7.4373 ((4 . 11) (5 . 10) (7 . 12) (9 . 13)) 4963 0.1664 12.4163 ((1 . 7) (2 . 6) (5 . 8) (7 . 9)) 4978 0.3788 9.8713 ((1 . 19) (2 . 20) (4 . 21) (9 . 25)) 5029 0.2945 6.4747 ((2 . 3) (4 . 4) (6 . 5) (7 . 7)) 5068 0.1664 8.1071 ((2 . 25) (5 . 26) (6 . 27) (7 . 28)) 5069 0.2945 8.4518 ((2 . 14) (4 . 15) (7 . 16) (9 . 18)) 5073 0.2945 7.6689 ((2 . 35) (4 . 36) (6 . 37) (7 . 38)) 5080 0.1664 12.6546 ((1 . 5) (5 . 6) (6 . 7) (7 . 8)) 5092 0.4450 9.4698 ((1 . 3) (2 . 4) (5 . 5) (7 . 7)) 5101 0.4899 11.5080 ((1 . 17) (2 . 19) (5 . 20) (7 . 24)) 5103 0.4451 9.0738 ((1 . 3) (4 . 6) (6 . 7) (7 . 8)) 5132 0.5703 8.4367 ((1 . 14) (2 . 17) (4 . 18) (7 . 19)) 5134 0.3790 6.9809 ((1 . 16) (4 . 17) (5 . 18) (7 . 20)) 5145 0.2945 8.0096 ((1 . 2) (5 . 4) (7 . 7) (9 . 8)) 5167 0.1498 9.9431 ((1 . 7) (2 . 8) (4 . 9) (7 . 10)) 5192 0.3789 9.0020 ((4 . 17) (5 . 18) (6 . 19) (9 . 21)) 5209 0.5710 6.3970 ((1 . 2) (4 . 4) (7 . 6) (9 . 8)) 5212 0.5696 9.3873 ((1 . 10) (5 . 12) (6 . 13) (7 . 14)) 5215 0.1664 7.5197 ((2 . 13) (5 . 14) (7 . 17) (9 . 16)) 5223 0.2477 7.8754 ((1 . 11) (5 . 13) (7 . 16) (9 . 17)) 5231 0.4449 9.8904 ((1 . 9) (4 . 14) (5 . 15) (7 . 17)) 5266 0.5712 5.8702 ((2 . 9) (4 . 10) (7 . 12) (9 . 15)) 5307 0.5709 6.9386 ((4 . 51) (5 . 52) (7 . 54) (9 . 57)) 5318 0.4454 7.0460 ((1 . 13) (5 . 14) (6 . 15) (7 . 16)) 5323 0.5706 7.7459 ((1 . 9) (4 . 11) (5 . 12) (6 . 13)) 5324 0.5711 6.0295 ((4 . 7) (5 . 8) (6 . 9) (7 . 11)) 5368 0.5711 6.1128 ((4 . 39) (6 . 40) (7 . 44) (9 . 45)) 5411 0.5710 6.4228 ((1 . 1) (4 . 3) (7 . 5) (9 . 8)) 5442 0.4454 6.9076 ((1 . 31) (2 . 32) (6 . 33) (7 . 34)) 5487 0.5691 10.0462 ((1 . 8) (2 . 10) (4 . 11) (5 . 12)) 5525 0.5702 8.5066 ((1 . 1) (2 . 2) (5 . 3) (7 . 5)) 5535 0.1992 9.4468 ((1 . 1) (4 . 4) (5 . 5) (9 . 9)) 5560 0.3789 8.0829 ((5 . 6) (6 . 7) (7 . 8) (9 . 9)) 5562 0.5706 7.7682 ((2 . 9) (4 . 11) (6 . 12) (7 . 13)) 5594 0.4449 9.7539 ((1 . 5) (4 . 6) (6 . 8) (9 . 12)) 5600 0.5712 5.7113 ((2 . 1) (4 . 3) (7 . 4) (9 . 6)) 5601 0.3784 12.3347 ((1 . 6) (4 . 10) (6 . 11) (9 . 15)) 5648 0.2477 12.1593 ((1 . 2) (2 . 3) (5 . 4) (7 . 5)) 5656 0.5709 6.9735 ((2 . 17) (6 . 19) (7 . 20) (9 . 23)) 5689 0.2477 9.8529 ((1 . 2) (2 . 3) (5 . 4) (7 . 7)) 5702 0.4451 9.1763 ((1 . 11) (2 . 12) (5 . 13) (7 . 14)) 5731 0.5674 11.5494 ((4 . 7) (5 . 6) (7 . 8) (9 . 11)) 5770 0.2478 5.5454 ((1 . 5) (4 . 6) (5 . 7) (9 . 12)) 5771 0.2945 6.0066 ((4 . 17) (6 . 16) (7 . 19) (9 . 21)) 5782 0.5703 8.3881 ((1 . 33) (2 . 36) (4 . 37) (5 . 38)) 5789 0.4449 9.7777 ((1 . 1) (5 . 3) (7 . 4) (9 . 5)) 5795 0.4444 11.4190 ((1 . 2) (2 . 3) (5 . 5) (7 . 7)) 5809 0.4450 9.2864 ((1 . 8) (4 . 9) (6 . 11) (9 . 14)) 5830 0.5650 12.9732 ((1 . 5) (6 . 9) (7 . 11) (9 . 13)) 5904 0.5712 5.7865 ((4 . 1) (5 . 2) (7 . 3) (9 . 4)) 5913 0.5691 10.0666 ((1 . 4) (5 . 8) (7 . 11) (9 . 13)) 5930 0.1993 7.5876 ((2 . 3) (4 . 4) (6 . 5) (7 . 6)) 5939 0.2945 6.5490 ((4 . 2) (6 . 1) (7 . 3) (9 . 4)) 5945 0.5705 7.9548 ((1 . 35) (2 . 36) (4 . 37) (7 . 39)) 5955 0.4450 9.4089 ((1 . 8) (6 . 12) (7 . 13) (9 . 16)) 5967 0.4445 11.1859 ((1 . 2) (4 . 7) (5 . 6) (7 . 8)) 5972 0.4455 3.3423 ((1 . 1) (5 . 4) (7 . 5) (9 . 7)) 5977 0.5705 8.0038 ((2 . 2) (4 . 3) (7 . 4) (9 . 6)) 6000 0.2477 11.9259 ((1 . 3) (2 . 5) (4 . 4) (7 . 7)) 6029 0.1993 5.9116 ((1 . 2) (4 . 6) (7 . 7) (9 . 11)) 6075 0.4453 8.0107 ((1 . 19) (4 . 21) (5 . 22) (6 . 23)) 6079 0.5705 8.0447 ((1 . 18) (2 . 19) (4 . 20) (7 . 22)) 6094 0.2944 10.9855 ((4 . 7) (6 . 6) (7 . 8) (9 . 12)) 6169 0.5696 9.4829 ((1 . 4) (2 . 7) (5 . 8) (7 . 9)) 6192 0.5673 11.6243 ((1 . 4) (4 . 5) (5 . 7) (7 . 9)) 6243 0.5706 7.6826 ((1 . 9) (2 . 11) (5 . 12) (7 . 13)) 6258 0.4914 7.8682 ((1 . 1) (2 . 2) (4 . 4) (5 . 5)) 6261 0.2478 7.2648 ((2 . 14) (6 . 17) (7 . 18) (9 . 21)) 6266 0.3788 9.2693 ((1 . 2) (2 . 4) (4 . 5) (9 . 8)) 6268 0.5705 7.9133 ((1 . 9) (2 . 10) (5 . 11) (7 . 12)) 6294 0.3783 12.6961 ((1 . 7) (4 . 11) (5 . 12) (7 . 15)) 6329 0.2477 8.8737 ((1 . 1) (2 . 2) (5 . 3) (7 . 4)) 6344 0.2478 7.4378 ((1 . 9) (2 . 10) (5 . 11) (9 . 15)) 6348 0.5670 11.7907 ((2 . 2) (4 . 1) (5 . 3) (7 . 5)) 6356 0.5692 9.9241 ((1 . 8) (2 . 10) (4 . 11) (7 . 12)) 6369 0.5712 5.7436 ((4 . 26) (6 . 27) (7 . 28) (9 . 29)) 6376 0.2478 5.4873 ((2 . 18) (4 . 19) (5 . 20) (7 . 23)) 6391 0.4903 10.7690 ((1 . 2) (2 . 3) (5 . 4) (9 . 6)) 6403 0.4450 9.4541 ((2 . 6) (6 . 9) (7 . 11) (9 . 12)) 6462 0.4454 6.0609 ((2 . 19) (4 . 20) (6 . 21) (9 . 24)) 6476 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (9 . 9)) 6498 0.4454 6.6161 ((1 . 26) (2 . 27) (4 . 29) (7 . 30)) 6520 0.2945 8.3467 ((4 . 10) (5 . 11) (6 . 12) (9 . 15)) 6539 0.3790 7.4011 ((1 . 3) (4 . 5) (5 . 7) (7 . 9)) 6548 0.5710 6.4083 ((4 . 7) (5 . 8) (7 . 10) (9 . 12)) 6555 0.5712 5.5115 ((4 . 7) (5 . 8) (6 . 9) (7 . 12)) 6573 0.5702 8.4534 ((2 . 18) (4 . 19) (7 . 20) (9 . 23)) 6585 0.2945 9.3375 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 6586 0.3790 6.5347 ((2 . 19) (6 . 22) (7 . 23) (9 . 25)) 6587 0.3787 10.2047 ((1 . 32) (4 . 34) (5 . 35) (7 . 36)) 6605 0.5711 6.0672 ((1 . 3) (2 . 4) (5 . 5) (6 . 6)) 6613 0.2945 6.7783 ((2 . 23) (4 . 24) (6 . 25) (7 . 26)) 6635 0.4455 3.9654 ((1 . 2) (2 . 3) (4 . 5) (6 . 6)) END