5967 25 0.3786 10.9260 ((2 . 4) (3 . 6) (8 . 9) (10 . 10)) 41 0.8565 4.2940 ((1 . 3) (2 . 4) (3 . 5) (6 . 6) (7 . 7) (8 . 8)) 62 0.5714 4.1799 ((2 . 9) (3 . 10) (7 . 13) (8 . 15)) 91 0.5713 4.7443 ((1 . 16) (2 . 18) (3 . 19) (6 . 22)) 96 0.5713 4.5819 ((1 . 1) (2 . 2) (3 . 3) (6 . 4)) 136 0.7118 7.6856 ((1 . 3) (2 . 4) (3 . 5) (7 . 8) (8 . 9)) 150 0.7139 4.7810 ((1 . 19) (3 . 20) (6 . 21) (7 . 23) (8 . 24)) 157 0.7137 5.2684 ((1 . 1) (3 . 3) (6 . 4) (7 . 5) (8 . 6)) 161 0.5710 6.6128 ((1 . 4) (2 . 7) (3 . 6) (7 . 9)) 162 0.5706 7.6735 ((1 . 18) (2 . 19) (3 . 20) (7 . 22)) 207 0.5705 7.9792 ((1 . 13) (6 . 14) (8 . 16) (10 . 17)) 305 0.5705 7.9748 ((1 . 9) (2 . 10) (3 . 12) (6 . 14)) 307 0.8562 4.8732 ((1 . 1) (3 . 3) (6 . 6) (7 . 7) (8 . 8) (10 . 10)) 350 0.3790 6.2264 ((3 . 2) (6 . 3) (7 . 4) (10 . 9)) 351 0.5676 11.3945 ((2 . 4) (6 . 5) (8 . 6) (10 . 7)) 360 0.5712 5.7936 ((3 . 9) (7 . 12) (8 . 13) (10 . 15)) 361 0.5713 4.7695 ((3 . 2) (6 . 3) (7 . 4) (8 . 5)) 367 0.5705 8.0006 ((1 . 38) (2 . 41) (3 . 42) (7 . 44)) 442 0.5703 8.4037 ((1 . 6) (2 . 9) (7 . 10) (10 . 13)) 460 0.5698 9.2302 ((1 . 6) (3 . 7) (6 . 9) (7 . 8)) 472 0.5697 9.3523 ((2 . 29) (7 . 31) (8 . 33) (10 . 34)) 495 0.2945 6.4062 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 541 0.7134 6.0172 ((1 . 7) (2 . 10) (3 . 11) (6 . 13) (7 . 14)) 543 0.5711 5.9367 ((1 . 5) (2 . 7) (3 . 8) (6 . 9)) 553 0.1992 11.7956 ((2 . 4) (6 . 5) (8 . 6) (10 . 7)) 561 0.1993 7.2452 ((1 . 3) (2 . 2) (3 . 4) (7 . 6)) 584 0.8566 4.1402 ((1 . 5) (2 . 9) (3 . 10) (6 . 12) (7 . 13) (8 . 29)) 587 0.3790 7.5839 ((3 . 11) (6 . 12) (7 . 13) (10 . 17)) 609 0.7142 3.3763 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 8)) 619 0.7118 7.6924 ((1 . 6) (2 . 14) (3 . 15) (6 . 17) (7 . 18)) 624 0.7143 2.5346 ((1 . 7) (2 . 8) (3 . 9) (7 . 11) (8 . 12)) 635 0.5703 8.3520 ((2 . 2) (3 . 3) (7 . 5) (8 . 7)) 672 0.3790 7.0578 ((2 . 12) (6 . 17) (7 . 18) (8 . 19)) 678 0.7139 4.9696 ((1 . 24) (2 . 25) (3 . 26) (8 . 28) (10 . 30)) 683 0.5709 6.7736 ((1 . 1) (2 . 4) (3 . 2) (7 . 5)) 719 0.5714 3.9577 ((1 . 27) (2 . 29) (3 . 30) (6 . 31)) 729 0.8569 3.4525 ((1 . 7) (2 . 8) (3 . 9) (6 . 12) (7 . 13) (8 . 14)) 735 0.5683 10.8080 ((1 . 29) (2 . 30) (3 . 32) (7 . 36)) 767 0.1993 8.4953 ((1 . 26) (2 . 27) (3 . 29) (8 . 33)) 782 0.2477 10.4871 ((2 . 10) (6 . 12) (8 . 13) (10 . 14)) 795 0.5711 5.9582 ((1 . 3) (2 . 4) (3 . 5) (7 . 6)) 796 0.5703 8.2903 ((1 . 5) (2 . 4) (3 . 6) (6 . 7)) 812 0.5711 6.2182 ((3 . 9) (6 . 10) (7 . 11) (8 . 12)) 818 0.7143 2.2069 ((1 . 4) (3 . 7) (6 . 9) (7 . 10) (8 . 11)) 861 0.3790 3.8718 ((2 . 11) (3 . 12) (6 . 14) (7 . 15)) 901 0.7141 3.7466 ((1 . 12) (3 . 15) (6 . 16) (7 . 17) (8 . 19)) 904 0.3789 8.8678 ((2 . 1) (3 . 3) (6 . 5) (7 . 6)) 928 0.7143 2.0449 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6)) 937 0.0999 8.8988 ((1 . 1) (2 . 2) (3 . 4) (8 . 6)) 943 0.7141 3.8150 ((1 . 6) (2 . 7) (3 . 8) (7 . 9) (8 . 10)) 945 0.8569 3.4918 ((1 . 12) (2 . 13) (3 . 14) (6 . 18) (7 . 19) (8 . 21)) 960 0.5713 4.6097 ((1 . 9) (2 . 11) (3 . 12) (8 . 16)) 978 0.5709 6.8067 ((1 . 10) (6 . 12) (7 . 13) (8 . 15)) 980 0.7142 3.3757 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6)) 1034 0.5679 11.1502 ((2 . 27) (3 . 29) (7 . 32) (8 . 31)) 1043 0.5714 3.6923 ((3 . 1) (6 . 5) (7 . 6) (8 . 7)) 1082 0.5713 5.1481 ((1 . 9) (2 . 11) (3 . 12) (8 . 14)) 1084 0.2945 9.0993 ((1 . 17) (3 . 18) (7 . 20) (10 . 21)) 1124 0.5700 8.8052 ((2 . 10) (6 . 13) (8 . 14) (10 . 15)) 1165 0.5714 3.4032 ((1 . 19) (2 . 20) (3 . 21) (6 . 23)) 1167 0.5708 7.1904 ((2 . 19) (3 . 20) (7 . 22) (8 . 24)) 1201 0.5714 3.6099 ((1 . 7) (2 . 8) (3 . 9) (6 . 10)) 1204 0.7127 6.8454 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (10 . 7)) 1211 0.5688 10.3589 ((1 . 5) (2 . 7) (3 . 8) (7 . 10)) 1224 0.5704 8.1471 ((3 . 7) (7 . 10) (8 . 11) (10 . 13)) 1233 0.7142 3.5380 ((1 . 14) (2 . 16) (3 . 17) (7 . 20) (8 . 21)) 1267 0.8570 2.8842 ((1 . 22) (2 . 23) (3 . 24) (6 . 34) (7 . 36) (8 . 37)) 1268 0.2477 8.1830 ((2 . 12) (6 . 14) (8 . 16) (10 . 17)) 1345 0.5697 9.3076 ((1 . 7) (2 . 8) (7 . 9) (8 . 10)) 1366 0.5712 5.5076 ((1 . 12) (2 . 13) (3 . 14) (7 . 16)) 1388 0.5709 6.8655 ((3 . 5) (6 . 7) (7 . 8) (10 . 11)) 1447 0.5714 3.0774 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 1451 0.5713 5.2025 ((1 . 6) (2 . 7) (3 . 8) (7 . 10)) 1470 0.5710 6.6889 ((2 . 8) (6 . 9) (8 . 10) (10 . 11)) 1472 0.1498 9.7948 ((2 . 9) (6 . 10) (8 . 11) (10 . 12)) 1476 0.7132 6.3064 ((1 . 9) (2 . 10) (3 . 11) (6 . 13) (8 . 16)) 1497 0.5710 6.6483 ((2 . 17) (6 . 19) (8 . 21) (10 . 22)) 1513 0.5714 2.8403 ((1 . 15) (2 . 16) (3 . 18) (6 . 19)) 1577 0.7143 2.5813 ((1 . 5) (2 . 11) (3 . 12) (7 . 15) (8 . 27)) 1591 0.5714 3.7065 ((1 . 1) (6 . 3) (7 . 4) (8 . 5)) 1604 0.8568 3.7035 ((1 . 7) (2 . 9) (3 . 10) (6 . 11) (7 . 12) (8 . 13)) 1622 0.5711 6.2537 ((3 . 18) (6 . 19) (7 . 20) (8 . 21)) 1624 0.5660 12.4132 ((2 . 1) (3 . 3) (7 . 5) (10 . 10)) 1643 0.5703 8.2656 ((1 . 12) (3 . 16) (7 . 18) (8 . 19)) 1665 0.7126 6.9604 ((1 . 6) (2 . 7) (3 . 8) (6 . 9) (7 . 10)) 1690 0.5714 3.9083 ((3 . 1) (6 . 7) (7 . 8) (8 . 9)) 1731 0.6946 3.7339 ((1 . 3) (2 . 5) (3 . 6) (6 . 7) (7 . 8) (8 . 11)) 1736 0.7137 5.2899 ((1 . 3) (2 . 4) (3 . 5) (6 . 6) (7 . 7)) 1738 0.5713 4.9165 ((1 . 14) (2 . 16) (3 . 17) (8 . 20)) 1747 0.5711 6.1405 ((1 . 11) (3 . 13) (7 . 16) (10 . 20)) 1761 0.5708 7.3058 ((2 . 14) (3 . 16) (6 . 18) (7 . 19)) 1763 0.4450 9.5270 ((1 . 3) (2 . 6) (6 . 8) (10 . 11)) 1776 0.7130 6.5042 ((1 . 1) (2 . 6) (3 . 7) (7 . 9) (8 . 10)) 1778 0.3790 6.0313 ((1 . 3) (6 . 6) (7 . 8) (10 . 10)) 1793 0.7142 2.8970 ((1 . 3) (2 . 5) (3 . 6) (7 . 8) (8 . 9)) 1808 0.5713 4.6406 ((2 . 1) (3 . 2) (7 . 5) (8 . 7)) 1867 0.5714 2.3298 ((1 . 1) (2 . 2) (3 . 3) (7 . 7)) 1894 0.3789 8.7439 ((3 . 5) (6 . 6) (7 . 7) (8 . 8)) 1896 0.5692 9.8667 ((1 . 17) (2 . 18) (3 . 19) (8 . 21)) 1908 0.5714 4.2746 ((1 . 10) (2 . 14) (3 . 15) (7 . 17)) 1909 0.5714 3.7751 ((1 . 34) (2 . 36) (3 . 37) (6 . 38)) 1944 0.7138 5.0227 ((1 . 3) (2 . 4) (3 . 5) (7 . 7) (8 . 8)) 1957 0.7143 2.5489 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6)) 1961 0.1993 7.2510 ((1 . 14) (3 . 16) (6 . 18) (7 . 19)) 1967 0.5714 3.4401 ((1 . 3) (2 . 4) (3 . 7) (8 . 9)) 1972 0.7142 3.3801 ((1 . 18) (2 . 19) (3 . 20) (7 . 24) (8 . 25)) 1987 0.1992 10.0060 ((2 . 11) (6 . 13) (8 . 14) (10 . 15)) 1992 0.5711 6.2783 ((2 . 5) (6 . 8) (7 . 9) (8 . 10)) 2003 0.5697 9.3663 ((2 . 1) (3 . 4) (7 . 5) (8 . 6)) 2006 0.1992 9.0817 ((1 . 16) (3 . 18) (7 . 21) (10 . 23)) 2048 0.7137 5.4697 ((1 . 4) (3 . 6) (6 . 12) (7 . 13) (8 . 14)) 2063 0.5710 6.4055 ((1 . 42) (3 . 44) (6 . 46) (7 . 47)) 2067 0.5711 5.9857 ((1 . 54) (2 . 56) (6 . 58) (7 . 60)) 2081 0.5707 7.5748 ((3 . 6) (6 . 7) (7 . 9) (10 . 11)) 2083 0.5712 5.4109 ((3 . 2) (6 . 3) (7 . 4) (8 . 6)) 2114 0.5711 6.0426 ((1 . 29) (2 . 30) (3 . 32) (8 . 37)) 2117 0.5714 2.5326 ((1 . 12) (2 . 13) (3 . 14) (6 . 19)) 2118 0.5713 4.8217 ((1 . 5) (3 . 7) (8 . 8) (10 . 9)) 2122 0.5714 3.6003 ((1 . 1) (6 . 5) (7 . 6) (8 . 7)) 2166 0.2945 8.2909 ((2 . 14) (3 . 15) (7 . 17) (8 . 18)) 2179 0.5713 5.2362 ((1 . 5) (3 . 7) (7 . 10) (8 . 12)) 2203 0.5707 7.4752 ((1 . 1) (2 . 3) (3 . 5) (10 . 8)) 2205 0.1498 12.4972 ((1 . 20) (3 . 22) (6 . 24) (8 . 25)) 2209 0.7142 3.2460 ((1 . 3) (2 . 4) (3 . 5) (7 . 7) (8 . 8)) 2248 0.3790 7.4051 ((1 . 16) (6 . 20) (7 . 22) (8 . 23)) 2249 0.3789 8.3535 ((2 . 14) (3 . 16) (6 . 19) (7 . 20)) 2269 0.5711 5.9617 ((3 . 10) (6 . 11) (7 . 12) (8 . 13)) 2279 0.5714 4.1131 ((1 . 5) (2 . 6) (3 . 7) (7 . 9)) 2298 0.7142 2.9692 ((2 . 7) (3 . 8) (6 . 9) (7 . 10) (8 . 11)) 2308 0.5710 6.5089 ((3 . 8) (7 . 11) (8 . 12) (10 . 14)) 2314 0.5671 11.7367 ((1 . 4) (3 . 7) (6 . 9) (7 . 8)) 2340 0.7118 7.7038 ((1 . 9) (2 . 10) (3 . 11) (7 . 14) (8 . 15)) 2342 0.5707 7.5406 ((2 . 10) (6 . 12) (8 . 13) (10 . 14)) 2344 0.5710 6.6356 ((3 . 7) (7 . 10) (8 . 12) (10 . 15)) 2364 0.7141 4.1777 ((1 . 9) (2 . 10) (3 . 12) (7 . 15) (8 . 16)) 2381 0.2945 9.7487 ((2 . 2) (3 . 4) (7 . 6) (8 . 8)) 2389 0.5699 9.0090 ((1 . 7) (3 . 9) (7 . 11) (8 . 12)) 2409 0.3784 12.1002 ((1 . 6) (3 . 8) (6 . 10) (8 . 11)) 2410 0.5708 7.3082 ((1 . 13) (2 . 14) (3 . 16) (6 . 15)) 2422 0.7142 3.6277 ((1 . 1) (2 . 2) (3 . 4) (7 . 9) (8 . 10)) 2423 0.5712 5.8414 ((1 . 14) (3 . 17) (6 . 18) (7 . 19)) 2440 0.5714 3.0431 ((1 . 4) (2 . 5) (3 . 6) (7 . 7)) 2443 0.5699 8.9897 ((2 . 2) (6 . 4) (8 . 5) (10 . 6)) 2447 0.5710 6.4760 ((1 . 18) (2 . 19) (7 . 21) (10 . 26)) 2462 0.5712 5.8055 ((1 . 7) (2 . 10) (3 . 11) (7 . 12)) 2465 0.1498 10.1385 ((2 . 1) (6 . 3) (8 . 5) (10 . 6)) 2510 0.8570 2.9976 ((1 . 17) (2 . 18) (3 . 19) (6 . 22) (7 . 23) (8 . 24)) 2519 0.0999 8.6056 ((2 . 1) (7 . 2) (8 . 3) (10 . 4)) 2525 0.7133 6.1479 ((1 . 38) (3 . 41) (6 . 42) (7 . 43) (10 . 52)) 2529 0.7107 8.4697 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7)) 2533 0.7140 4.3166 ((1 . 6) (2 . 7) (3 . 8) (7 . 9) (8 . 11)) 2552 0.8567 3.9588 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6) (10 . 7)) 2556 0.8569 3.5075 ((1 . 11) (2 . 12) (3 . 13) (6 . 17) (7 . 20) (8 . 21)) 2557 0.1993 6.4182 ((2 . 1) (3 . 3) (7 . 6) (10 . 8)) 2561 0.5695 9.5216 ((1 . 6) (2 . 5) (3 . 7) (7 . 8)) 2595 0.7141 3.7829 ((1 . 1) (3 . 4) (6 . 5) (7 . 6) (8 . 7)) 2619 0.4738 3.9079 ((1 . 1) (3 . 3) (6 . 4) (7 . 5) (8 . 6)) 2627 0.3789 8.3680 ((2 . 59) (3 . 60) (6 . 62) (7 . 64)) 2682 0.5714 3.9106 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 2731 0.0999 9.1558 ((1 . 1) (2 . 2) (3 . 4) (8 . 6)) 2733 0.8553 5.6826 ((1 . 1) (3 . 4) (6 . 7) (7 . 8) (8 . 9) (10 . 12)) 2755 0.7142 3.0822 ((1 . 3) (2 . 4) (3 . 5) (7 . 6) (8 . 7)) 2773 0.0999 12.1430 ((1 . 3) (2 . 4) (7 . 5) (8 . 7)) 2821 0.5701 8.6314 ((1 . 5) (2 . 6) (3 . 7) (10 . 12)) 2830 0.8569 3.2637 ((1 . 11) (2 . 12) (3 . 13) (6 . 14) (7 . 15) (8 . 16)) 2834 0.5713 4.5905 ((1 . 1) (3 . 3) (7 . 6) (8 . 7)) 2840 0.5705 7.8946 ((3 . 1) (6 . 3) (7 . 5) (10 . 7)) 2842 0.5702 8.4984 ((1 . 1) (6 . 3) (7 . 4) (10 . 6)) 2879 0.5711 6.2788 ((1 . 51) (3 . 53) (6 . 55) (7 . 56)) 2940 0.5713 4.6913 ((1 . 1) (2 . 2) (3 . 3) (7 . 4)) 2947 0.5701 8.7780 ((1 . 4) (2 . 5) (3 . 6) (10 . 9)) 2966 0.5694 9.6797 ((3 . 1) (7 . 4) (8 . 5) (10 . 7)) 2990 0.5713 5.0046 ((1 . 12) (2 . 13) (3 . 14) (8 . 17)) 2999 0.5714 3.0586 ((3 . 2) (6 . 3) (7 . 4) (8 . 5)) 3014 0.1664 8.0569 ((2 . 18) (6 . 20) (8 . 21) (10 . 26)) 3019 0.5707 7.6060 ((2 . 8) (3 . 9) (7 . 11) (8 . 12)) 3034 0.9889 7.4032 ((1 . 1) (2 . 6) (3 . 7) (6 . 8) (7 . 9) (8 . 11) (10 . 13)) 3041 0.8569 3.4532 ((1 . 12) (2 . 13) (3 . 14) (6 . 15) (7 . 16) (8 . 17)) 3070 0.1992 13.2491 ((6 . 30) (7 . 32) (8 . 31) (10 . 34)) 3084 0.9893 7.3347 ((1 . 3) (2 . 4) (3 . 5) (6 . 6) (7 . 7) (8 . 8) (10 . 14)) 3102 0.5694 9.6920 ((1 . 57) (3 . 59) (7 . 62) (10 . 64)) 3103 0.5696 9.4702 ((3 . 2) (7 . 5) (8 . 6) (10 . 7)) 3127 0.7142 3.2631 ((1 . 6) (2 . 7) (3 . 8) (7 . 11) (8 . 12)) 3187 0.5702 8.6214 ((1 . 4) (3 . 6) (7 . 7) (8 . 8)) 3190 0.7143 2.2979 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7)) 3197 0.8569 3.2516 ((1 . 19) (2 . 20) (3 . 21) (6 . 25) (7 . 26) (8 . 27)) 3200 0.5709 6.8183 ((1 . 1) (2 . 2) (3 . 3) (6 . 5)) 3202 0.2941 14.8574 ((2 . 12) (6 . 14) (8 . 15) (10 . 20)) 3212 0.5707 7.5581 ((1 . 5) (2 . 7) (3 . 9) (6 . 10)) 3222 0.5697 9.3427 ((3 . 16) (6 . 17) (7 . 18) (10 . 22)) 3261 0.5705 7.9868 ((2 . 5) (3 . 6) (7 . 8) (10 . 11)) 3286 0.5712 5.4773 ((1 . 3) (3 . 5) (6 . 6) (8 . 8)) 3322 0.9990 4.0111 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 7) (8 . 8) (10 . 10)) 3334 0.5705 7.8665 ((2 . 9) (3 . 10) (8 . 11) (10 . 12)) 3339 0.8567 4.0676 ((1 . 11) (2 . 14) (3 . 15) (6 . 16) (7 . 17) (8 . 18)) 3358 0.5712 5.4837 ((1 . 4) (2 . 5) (3 . 7) (8 . 9)) 3362 0.5711 6.2111 ((1 . 6) (2 . 7) (3 . 8) (6 . 9)) 3391 0.7140 4.3589 ((1 . 6) (2 . 7) (3 . 8) (7 . 10) (8 . 12)) 3410 0.7139 4.6934 ((1 . 21) (2 . 23) (3 . 24) (6 . 27) (8 . 29)) 3446 0.3787 10.7582 ((2 . 3) (3 . 5) (8 . 8) (10 . 9)) 3481 0.7142 2.9477 ((1 . 2) (2 . 3) (3 . 8) (7 . 10) (8 . 11)) 3495 0.5704 8.1201 ((1 . 3) (2 . 5) (7 . 7) (10 . 9)) 3496 0.5676 11.3922 ((2 . 20) (6 . 21) (7 . 22) (10 . 24)) 3537 0.5710 6.5938 ((3 . 7) (6 . 8) (7 . 9) (10 . 11)) 3538 0.1993 8.5106 ((1 . 23) (3 . 24) (7 . 25) (10 . 27)) 3548 0.5711 6.1399 ((2 . 7) (3 . 8) (7 . 10) (8 . 11)) 3549 0.5699 9.0098 ((3 . 1) (7 . 2) (8 . 4) (10 . 7)) 3561 0.5708 7.2208 ((2 . 25) (3 . 26) (7 . 28) (10 . 32)) 3570 0.7142 3.0841 ((1 . 1) (2 . 2) (3 . 3) (7 . 4) (10 . 6)) 3585 0.7137 5.2714 ((1 . 8) (3 . 14) (6 . 15) (7 . 16) (8 . 17)) 3613 0.5695 9.5705 ((2 . 39) (3 . 41) (8 . 42) (10 . 43)) 3628 0.7142 3.3493 ((1 . 6) (2 . 7) (3 . 8) (7 . 10) (8 . 11)) 3651 0.7129 6.6131 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5)) 3658 0.5704 8.0984 ((1 . 1) (2 . 2) (7 . 5) (10 . 9)) 3661 0.5705 7.9483 ((3 . 8) (6 . 10) (7 . 11) (10 . 14)) 3663 0.3790 5.5592 ((1 . 1) (6 . 4) (7 . 5) (8 . 6)) 3703 0.5701 8.7275 ((2 . 5) (3 . 6) (7 . 8) (10 . 10)) 3732 0.5707 7.3914 ((1 . 7) (2 . 8) (3 . 9) (8 . 13)) 3733 0.7142 2.7501 ((1 . 1) (2 . 2) (3 . 3) (7 . 6) (8 . 7)) 3740 0.5696 9.4604 ((1 . 2) (3 . 4) (7 . 5) (10 . 8)) 3776 0.8570 3.0622 ((1 . 15) (2 . 16) (3 . 17) (7 . 21) (8 . 23) (10 . 25)) 3778 0.5696 9.3831 ((1 . 4) (2 . 5) (3 . 6) (10 . 9)) 3787 0.8567 3.9499 ((1 . 27) (2 . 28) (3 . 29) (6 . 32) (7 . 33) (8 . 34)) 3790 0.5710 6.4818 ((1 . 21) (2 . 23) (3 . 24) (7 . 26)) 3807 0.5699 9.0735 ((1 . 47) (2 . 49) (7 . 50) (10 . 52)) 3817 0.5714 4.2592 ((1 . 5) (2 . 6) (3 . 7) (7 . 9)) 3818 0.5712 5.7693 ((3 . 20) (6 . 21) (7 . 23) (8 . 24)) 3831 0.5708 7.0926 ((1 . 6) (2 . 7) (3 . 9) (8 . 11)) 3847 0.5712 5.3302 ((1 . 9) (2 . 11) (3 . 13) (7 . 17)) 3853 0.5702 8.5647 ((1 . 8) (2 . 9) (7 . 12) (8 . 13)) 3870 0.5714 3.9373 ((1 . 3) (2 . 4) (3 . 5) (7 . 8)) 3938 0.5711 6.2100 ((2 . 5) (3 . 6) (7 . 9) (8 . 12)) 3968 0.8566 4.0966 ((1 . 3) (2 . 4) (3 . 5) (6 . 8) (7 . 9) (8 . 10)) 3990 0.5714 2.2959 ((1 . 18) (2 . 19) (3 . 20) (7 . 26)) 4005 0.3789 8.2835 ((1 . 25) (2 . 28) (6 . 31) (7 . 32)) 4009 0.5713 4.6095 ((1 . 15) (6 . 18) (7 . 19) (8 . 20)) 4034 0.5682 10.8668 ((2 . 8) (3 . 9) (7 . 12) (10 . 14)) 4037 0.5710 6.6387 ((1 . 3) (2 . 4) (8 . 7) (10 . 8)) 4062 0.3787 10.1337 ((3 . 48) (6 . 51) (8 . 52) (10 . 53)) 4067 0.8567 3.9792 ((1 . 14) (2 . 15) (3 . 16) (6 . 19) (7 . 20) (8 . 21)) 4077 0.1663 16.4978 ((2 . 7) (6 . 9) (7 . 10) (10 . 13)) 4112 0.2945 8.1144 ((1 . 1) (3 . 3) (6 . 7) (8 . 8)) 4115 0.5714 3.5834 ((1 . 13) (2 . 14) (3 . 15) (7 . 17)) 4140 0.5709 6.7545 ((1 . 21) (7 . 23) (8 . 25) (10 . 26)) 4151 0.7128 6.7836 ((1 . 5) (2 . 6) (3 . 7) (7 . 9) (8 . 11)) 4192 0.5711 5.9353 ((1 . 13) (2 . 14) (3 . 15) (6 . 18)) 4194 0.5705 7.9108 ((2 . 4) (3 . 6) (7 . 7) (8 . 8)) 4204 0.7143 2.2286 ((1 . 3) (2 . 4) (3 . 5) (7 . 9) (8 . 10)) 4210 0.5712 5.2777 ((3 . 6) (6 . 7) (7 . 8) (8 . 9)) 4226 0.7140 4.4413 ((1 . 12) (2 . 13) (3 . 14) (6 . 15) (7 . 16)) 4254 0.7140 4.2971 ((1 . 11) (2 . 12) (3 . 13) (7 . 15) (8 . 16)) 4257 0.5708 7.2013 ((3 . 1) (6 . 2) (7 . 3) (10 . 4)) 4265 0.8571 2.3646 ((1 . 21) (2 . 22) (3 . 23) (6 . 25) (7 . 26) (8 . 27)) 4266 0.7123 7.2540 ((2 . 3) (3 . 4) (6 . 5) (7 . 6) (8 . 7)) 4274 0.5713 4.6018 ((3 . 36) (6 . 37) (7 . 38) (8 . 39)) 4275 0.7141 4.0174 ((1 . 21) (2 . 22) (3 . 23) (6 . 24) (7 . 25)) 4281 0.5713 4.9400 ((1 . 3) (6 . 6) (7 . 8) (8 . 9)) 4284 0.5711 5.8895 ((1 . 1) (2 . 2) (3 . 3) (7 . 5)) 4299 0.2945 7.0491 ((2 . 5) (3 . 6) (7 . 9) (10 . 10)) 4326 0.5704 8.1401 ((1 . 10) (2 . 14) (7 . 15) (8 . 18)) 4332 0.5713 4.3645 ((1 . 4) (2 . 5) (3 . 6) (6 . 8)) 4338 0.5710 6.3749 ((1 . 4) (2 . 5) (3 . 6) (8 . 9)) 4352 0.5682 10.9281 ((2 . 6) (3 . 9) (8 . 12) (10 . 13)) 4380 0.3789 9.0148 ((1 . 23) (6 . 27) (7 . 29) (8 . 28)) 4386 0.5693 9.8387 ((2 . 15) (3 . 16) (7 . 18) (10 . 20)) 4388 0.5711 6.3495 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 4398 0.7142 3.6598 ((1 . 4) (2 . 5) (3 . 6) (7 . 8) (8 . 9)) 4405 0.5707 7.3599 ((1 . 14) (3 . 18) (7 . 19) (10 . 20)) 4408 0.5698 9.1452 ((1 . 4) (2 . 5) (3 . 6) (10 . 10)) 4415 0.5709 6.8288 ((1 . 9) (2 . 10) (3 . 11) (7 . 12)) 4419 0.5692 9.8756 ((1 . 6) (3 . 8) (7 . 10) (8 . 11)) 4470 0.8566 4.1551 ((1 . 1) (2 . 4) (3 . 5) (6 . 11) (7 . 12) (8 . 13)) 4492 0.7141 3.8398 ((1 . 13) (2 . 14) (3 . 16) (7 . 18) (8 . 19)) 4495 0.7140 4.4080 ((1 . 6) (2 . 7) (3 . 8) (6 . 11) (10 . 12)) 4502 0.7138 5.0035 ((1 . 6) (2 . 7) (3 . 9) (7 . 11) (8 . 13)) 4503 0.1993 6.8916 ((1 . 1) (2 . 2) (3 . 3) (7 . 5)) 4504 0.7136 5.4843 ((1 . 17) (2 . 18) (3 . 19) (8 . 23) (10 . 24)) 4505 0.8569 3.5704 ((1 . 28) (2 . 29) (3 . 30) (6 . 33) (7 . 34) (8 . 35)) 4516 0.5712 5.6076 ((2 . 3) (6 . 7) (7 . 8) (8 . 11)) 4538 0.5696 9.4644 ((1 . 32) (3 . 34) (6 . 36) (8 . 39)) 4551 0.1993 3.2035 ((1 . 1) (3 . 2) (7 . 4) (8 . 7)) 4560 0.5714 3.7043 ((1 . 6) (2 . 7) (3 . 8) (7 . 11)) 4561 0.8560 4.9945 ((1 . 1) (2 . 4) (3 . 5) (6 . 8) (7 . 9) (8 . 11)) 4562 0.7142 3.1967 ((1 . 19) (2 . 21) (3 . 22) (7 . 25) (8 . 28)) 4563 0.7118 7.7486 ((1 . 1) (2 . 30) (3 . 31) (6 . 33) (7 . 34)) 4577 0.5638 13.5628 ((1 . 42) (3 . 44) (6 . 45) (7 . 46)) 4588 0.5713 4.9095 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 4589 0.5703 8.3398 ((1 . 18) (2 . 20) (7 . 22) (10 . 24)) 4607 0.5697 9.2805 ((2 . 2) (3 . 4) (8 . 9) (10 . 11)) 4630 0.5713 4.5932 ((1 . 26) (3 . 29) (7 . 33) (10 . 37)) 4653 0.0999 6.1909 ((1 . 1) (2 . 2) (3 . 4) (7 . 6)) 4668 0.8570 2.8759 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 7) (8 . 8)) 4669 0.7142 3.1042 ((1 . 15) (2 . 16) (3 . 17) (7 . 19) (8 . 20)) 4671 0.5714 4.0669 ((3 . 2) (6 . 3) (7 . 4) (8 . 5)) 4674 0.2478 7.0726 ((1 . 1) (2 . 3) (6 . 4) (8 . 5)) 4678 0.5679 11.1434 ((6 . 7) (7 . 6) (8 . 8) (10 . 9)) 4713 0.1992 8.9283 ((1 . 7) (3 . 9) (6 . 10) (8 . 11)) 4715 0.3787 10.2064 ((3 . 3) (6 . 5) (8 . 7) (10 . 9)) 4716 0.1664 10.0794 ((2 . 6) (6 . 8) (8 . 9) (10 . 10)) 4731 0.5699 9.0603 ((2 . 15) (6 . 17) (7 . 18) (8 . 19)) 4857 0.7142 3.6098 ((1 . 5) (3 . 11) (6 . 12) (7 . 13) (8 . 14)) 4886 0.7109 8.3376 ((1 . 1) (2 . 18) (3 . 19) (6 . 20) (7 . 22)) 4888 0.5705 7.9200 ((3 . 1) (6 . 2) (7 . 4) (10 . 6)) 4889 0.5689 10.2448 ((2 . 19) (6 . 20) (8 . 21) (10 . 23)) 4907 0.5710 6.7150 ((1 . 1) (2 . 2) (3 . 3) (7 . 5)) 4914 0.5696 9.4147 ((1 . 5) (2 . 3) (3 . 6) (7 . 8)) 4921 0.5705 7.9959 ((1 . 7) (3 . 9) (7 . 12) (8 . 13)) 4932 0.5711 6.0600 ((1 . 1) (3 . 4) (7 . 6) (8 . 7)) 4940 0.5705 7.8594 ((1 . 4) (2 . 5) (3 . 7) (7 . 8)) 4944 0.5701 8.6983 ((1 . 11) (2 . 12) (7 . 14) (10 . 17)) 4961 0.5714 3.9879 ((1 . 12) (6 . 16) (7 . 17) (8 . 18)) 4978 0.5712 5.4933 ((1 . 30) (2 . 31) (3 . 32) (8 . 33)) 4982 0.5714 3.6661 ((1 . 10) (2 . 11) (3 . 12) (7 . 14)) 4992 0.5696 9.4814 ((1 . 3) (2 . 4) (7 . 6) (8 . 7)) 4998 0.5711 6.2688 ((1 . 23) (2 . 24) (3 . 25) (8 . 28)) 5029 0.7142 3.3584 ((1 . 4) (3 . 6) (6 . 7) (7 . 8) (8 . 9)) 5039 0.5714 4.1134 ((1 . 37) (2 . 38) (3 . 39) (8 . 43)) 5053 0.5704 8.2278 ((3 . 9) (7 . 12) (8 . 13) (10 . 14)) 5065 0.5711 6.3142 ((2 . 6) (3 . 8) (7 . 10) (10 . 12)) 5068 0.5714 4.1745 ((1 . 2) (6 . 3) (7 . 4) (8 . 6)) 5069 0.5712 5.8165 ((6 . 1) (7 . 2) (8 . 3) (10 . 6)) 5073 0.7141 3.7906 ((1 . 32) (2 . 33) (3 . 34) (7 . 36) (8 . 38)) 5083 0.5712 5.5261 ((1 . 2) (2 . 4) (3 . 5) (7 . 9)) 5101 0.8560 5.0692 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 7) (8 . 8)) 5103 0.8568 3.7514 ((1 . 13) (2 . 14) (3 . 15) (6 . 16) (7 . 17) (8 . 18)) 5121 0.1498 7.5566 ((1 . 16) (2 . 17) (7 . 21) (8 . 22)) 5132 0.7138 5.0975 ((1 . 18) (2 . 19) (3 . 20) (6 . 21) (7 . 22)) 5134 0.5710 6.4170 ((3 . 3) (6 . 5) (7 . 6) (8 . 7)) 5145 0.5713 4.6435 ((1 . 5) (2 . 7) (3 . 8) (6 . 9)) 5167 0.5712 5.5226 ((1 . 9) (3 . 12) (6 . 13) (7 . 14)) 5176 0.2945 7.8003 ((1 . 82) (3 . 84) (6 . 85) (7 . 87)) 5183 0.5708 7.1932 ((1 . 34) (3 . 36) (7 . 38) (8 . 39)) 5192 0.8546 6.1820 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 6) (10 . 7)) 5198 0.5714 4.2103 ((1 . 24) (2 . 25) (3 . 26) (6 . 27)) 5209 0.5689 10.2554 ((1 . 7) (2 . 6) (3 . 8) (7 . 9)) 5223 0.7140 4.6318 ((1 . 6) (3 . 8) (6 . 9) (7 . 10) (8 . 11)) 5231 0.2945 5.9659 ((2 . 9) (3 . 8) (7 . 13) (10 . 15)) 5266 0.7143 2.4595 ((1 . 2) (2 . 3) (3 . 4) (7 . 8) (8 . 9)) 5307 0.5714 2.5443 ((1 . 51) (2 . 52) (3 . 53) (7 . 55)) 5318 0.7360 6.6721 ((1 . 8) (2 . 9) (3 . 11) (6 . 12) (7 . 19) (8 . 20)) 5323 0.4439 12.5087 ((2 . 8) (6 . 12) (7 . 11) (8 . 13)) 5324 0.8568 3.7155 ((1 . 7) (2 . 8) (3 . 10) (6 . 11) (7 . 12) (8 . 13)) 5344 0.0999 6.8577 ((3 . 1) (7 . 3) (8 . 5) (10 . 6)) 5345 0.5705 7.9853 ((1 . 13) (3 . 15) (7 . 17) (8 . 20)) 5368 0.5711 6.1281 ((1 . 45) (3 . 47) (7 . 49) (8 . 50)) 5378 0.5714 3.7507 ((1 . 4) (2 . 5) (3 . 6) (7 . 7)) 5414 0.5706 7.6448 ((1 . 14) (2 . 17) (3 . 16) (7 . 19)) 5418 0.1992 9.2424 ((1 . 1) (3 . 2) (6 . 4) (7 . 3)) 5433 0.5711 5.9417 ((1 . 12) (3 . 16) (7 . 18) (10 . 24)) 5487 0.7139 4.9007 ((1 . 4) (2 . 5) (3 . 7) (7 . 9) (8 . 10)) 5489 0.5708 7.1102 ((1 . 6) (3 . 9) (7 . 12) (10 . 15)) 5500 0.5698 9.1632 ((1 . 2) (2 . 6) (3 . 7) (10 . 13)) 5501 0.5606 14.8674 ((1 . 17) (2 . 21) (8 . 23) (10 . 26)) 5540 0.5705 7.9999 ((3 . 16) (6 . 17) (7 . 18) (10 . 21)) 5557 0.5714 3.9669 ((3 . 4) (6 . 5) (7 . 6) (8 . 7)) 5560 0.7141 3.7688 ((1 . 15) (2 . 16) (3 . 17) (7 . 20) (8 . 21)) 5562 0.5714 4.2819 ((1 . 11) (6 . 13) (7 . 14) (8 . 15)) 5567 0.5714 4.2086 ((1 . 11) (3 . 15) (6 . 16) (7 . 17)) 5594 0.8558 5.2849 ((1 . 1) (2 . 2) (3 . 4) (6 . 5) (7 . 6) (8 . 7)) 5600 0.5712 5.5177 ((1 . 3) (3 . 6) (6 . 7) (7 . 9)) 5601 0.7143 2.1663 ((1 . 5) (3 . 7) (6 . 9) (7 . 10) (8 . 11)) 5638 0.5708 7.1418 ((1 . 9) (2 . 12) (7 . 13) (8 . 14)) 5648 0.5684 10.7121 ((2 . 1) (6 . 3) (8 . 4) (10 . 5)) 5656 0.5713 5.2100 ((1 . 1) (6 . 4) (7 . 5) (8 . 6)) 5689 0.2944 12.3250 ((2 . 13) (6 . 14) (8 . 17) (10 . 18)) 5700 0.1993 8.0577 ((1 . 2) (3 . 4) (7 . 6) (8 . 7)) 5701 0.8560 5.0999 ((1 . 6) (2 . 7) (3 . 8) (6 . 10) (7 . 11) (8 . 15)) 5718 0.5708 7.1161 ((1 . 21) (2 . 22) (3 . 23) (7 . 25)) 5731 0.1993 6.1887 ((1 . 2) (6 . 6) (7 . 7) (8 . 8)) 5746 0.7103 8.6976 ((1 . 3) (2 . 4) (3 . 6) (7 . 8) (10 . 12)) 5749 0.5706 7.7811 ((1 . 4) (7 . 6) (8 . 8) (10 . 9)) 5761 0.5708 7.0861 ((1 . 31) (3 . 32) (6 . 34) (7 . 36)) 5770 0.4452 8.2541 ((2 . 7) (6 . 10) (7 . 12) (10 . 18)) 5771 0.5714 3.1852 ((1 . 17) (2 . 19) (3 . 20) (8 . 22)) 5782 0.5713 4.7226 ((1 . 15) (2 . 17) (3 . 18) (8 . 23)) 5789 0.0999 8.1771 ((2 . 1) (7 . 2) (8 . 3) (10 . 4)) 5795 0.5695 9.6004 ((3 . 1) (6 . 2) (8 . 3) (10 . 5)) 5809 0.5714 3.8214 ((3 . 7) (6 . 8) (7 . 9) (8 . 10)) 5822 0.0999 7.3274 ((2 . 5) (7 . 9) (8 . 10) (10 . 11)) 5827 0.5713 4.8255 ((1 . 5) (3 . 8) (6 . 10) (8 . 12)) 5830 0.5712 5.7412 ((1 . 7) (2 . 9) (3 . 10) (6 . 11)) 5865 0.5714 4.0769 ((1 . 5) (2 . 6) (3 . 7) (6 . 8)) 5896 0.5712 5.7426 ((1 . 29) (2 . 30) (3 . 31) (6 . 32)) 5904 0.5712 5.3942 ((2 . 6) (3 . 7) (7 . 9) (8 . 10)) 5913 0.5709 6.9612 ((1 . 13) (2 . 14) (3 . 15) (6 . 16)) 5930 0.5712 5.3713 ((3 . 2) (6 . 3) (7 . 4) (8 . 5)) 5939 0.7132 6.2013 ((1 . 2) (2 . 3) (6 . 5) (7 . 6) (8 . 7)) 5945 0.7086 9.4923 ((1 . 26) (2 . 27) (3 . 28) (8 . 31) (10 . 34)) 5949 0.3907 4.6630 ((1 . 9) (2 . 11) (3 . 12) (6 . 13) (7 . 14)) 5955 0.8496 8.1425 ((1 . 1) (2 . 6) (3 . 7) (6 . 8) (7 . 9) (8 . 10)) 5967 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 7) (8 . 8) (10 . 10)) 5977 0.5714 3.9952 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 6000 0.5713 4.8111 ((6 . 16) (7 . 17) (8 . 18) (10 . 22)) 6011 0.2945 9.5781 ((1 . 13) (3 . 15) (6 . 17) (7 . 16)) 6029 0.5710 6.5507 ((1 . 6) (2 . 7) (3 . 10) (7 . 11)) 6033 0.3784 12.3056 ((2 . 3) (6 . 4) (8 . 5) (10 . 7)) 6041 0.5711 6.1534 ((1 . 11) (3 . 13) (6 . 14) (7 . 15)) 6046 0.5705 7.8634 ((2 . 1) (3 . 2) (7 . 5) (10 . 7)) 6061 0.5713 4.3107 ((1 . 13) (6 . 16) (7 . 17) (8 . 18)) 6074 0.7136 5.5643 ((1 . 2) (2 . 3) (3 . 4) (6 . 5) (8 . 7)) 6075 0.7143 2.0959 ((1 . 17) (2 . 19) (3 . 20) (6 . 23) (7 . 24)) 6079 0.5710 6.4768 ((1 . 9) (3 . 11) (8 . 14) (10 . 15)) 6087 0.3790 4.2711 ((1 . 3) (6 . 7) (7 . 8) (8 . 9)) 6089 0.7120 7.5522 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (8 . 32)) 6094 0.1993 7.8112 ((1 . 7) (2 . 8) (3 . 10) (7 . 11)) 6099 0.3788 9.1694 ((3 . 10) (6 . 12) (7 . 13) (8 . 15)) 6142 0.1498 10.3400 ((1 . 14) (3 . 16) (7 . 19) (10 . 22)) 6192 0.7134 5.9671 ((1 . 1) (2 . 2) (3 . 3) (8 . 4) (10 . 7)) 6215 0.5707 7.4562 ((1 . 19) (3 . 20) (6 . 22) (7 . 24)) 6225 0.8567 4.0625 ((1 . 5) (2 . 9) (3 . 10) (6 . 11) (7 . 12) (8 . 27)) 6228 0.5714 3.2338 ((3 . 1) (6 . 2) (7 . 3) (8 . 4)) 6234 0.3790 6.2825 ((3 . 6) (6 . 8) (7 . 9) (10 . 14)) 6238 0.3788 9.5215 ((1 . 3) (6 . 6) (7 . 7) (10 . 10)) 6243 0.8566 4.2182 ((1 . 6) (2 . 7) (3 . 8) (6 . 9) (7 . 10) (8 . 11)) 6251 0.5713 4.8370 ((3 . 8) (6 . 9) (7 . 10) (8 . 11)) 6258 0.7138 5.2200 ((1 . 7) (2 . 8) (3 . 10) (6 . 11) (7 . 12)) 6261 0.9985 4.4888 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 9) (8 . 10) (10 . 15)) 6266 0.7139 4.8068 ((1 . 3) (2 . 4) (6 . 7) (7 . 8) (8 . 9)) 6270 0.5710 6.5297 ((3 . 18) (6 . 19) (7 . 20) (10 . 23)) 6271 0.5592 15.3585 ((1 . 2) (3 . 4) (6 . 6) (7 . 7)) 6294 0.5714 3.9930 ((3 . 23) (6 . 24) (7 . 25) (8 . 26)) 6306 0.5711 6.0000 ((1 . 15) (3 . 17) (6 . 18) (7 . 19)) 6309 0.5706 7.7324 ((1 . 17) (3 . 18) (6 . 19) (7 . 20)) 6329 0.2472 19.8049 ((2 . 16) (6 . 18) (8 . 19) (10 . 20)) 6345 0.0999 9.6009 ((3 . 6) (7 . 7) (8 . 8) (10 . 9)) 6348 0.8567 4.0675 ((1 . 1) (2 . 3) (3 . 4) (7 . 9) (8 . 10) (10 . 13)) 6355 0.2945 10.1204 ((1 . 8) (3 . 10) (7 . 12) (8 . 13)) 6356 0.5708 7.2341 ((2 . 8) (3 . 9) (7 . 11) (8 . 12)) 6369 0.7122 7.3666 ((1 . 22) (2 . 23) (3 . 24) (7 . 26) (8 . 28)) 6376 0.5714 2.2638 ((1 . 17) (2 . 18) (3 . 19) (7 . 24)) 6391 0.4439 12.6166 ((1 . 6) (6 . 7) (8 . 9) (10 . 11)) 6392 0.5713 4.7785 ((1 . 3) (6 . 6) (7 . 7) (8 . 8)) 6403 0.5713 4.9284 ((3 . 5) (6 . 6) (7 . 7) (8 . 9)) 6434 0.5713 5.0683 ((2 . 1) (3 . 2) (7 . 4) (10 . 6)) 6461 0.5702 8.5436 ((2 . 2) (3 . 3) (6 . 4) (8 . 5)) 6462 0.7142 3.3257 ((1 . 12) (3 . 16) (6 . 17) (7 . 18) (8 . 19)) 6476 0.4445 11.1859 ((2 . 1) (6 . 5) (7 . 4) (8 . 7)) 6498 0.7138 5.2086 ((1 . 16) (2 . 18) (3 . 19) (8 . 22) (10 . 23)) 6506 0.1992 9.8533 ((2 . 25) (6 . 27) (8 . 28) (10 . 29)) 6520 0.2490 10.1000 ((1 . 3) (3 . 8) (6 . 11) (7 . 13) (8 . 12)) 6536 0.2477 11.2822 ((2 . 30) (6 . 32) (8 . 33) (10 . 34)) 6539 0.5713 5.1482 ((2 . 1) (3 . 2) (6 . 3) (7 . 4)) 6548 0.7139 4.8749 ((1 . 5) (2 . 6) (3 . 7) (6 . 8) (7 . 9)) 6553 0.8545 6.2237 ((1 . 17) (2 . 19) (3 . 20) (7 . 22) (8 . 27) (10 . 28)) 6555 0.5697 9.2410 ((1 . 15) (3 . 17) (7 . 20) (8 . 21)) 6573 0.5712 5.5753 ((2 . 15) (7 . 17) (8 . 18) (10 . 20)) 6575 0.1993 7.5836 ((1 . 1) (3 . 2) (8 . 6) (10 . 7)) 6578 0.5704 8.1370 ((1 . 32) (7 . 38) (8 . 39) (10 . 41)) 6584 0.1993 6.3874 ((2 . 4) (3 . 6) (7 . 8) (10 . 10)) 6585 0.7141 4.0151 ((1 . 6) (2 . 7) (3 . 8) (6 . 9) (7 . 10)) 6586 0.5713 4.6233 ((1 . 18) (2 . 19) (6 . 23) (7 . 24)) 6587 0.8562 4.7826 ((1 . 29) (2 . 30) (3 . 31) (6 . 32) (7 . 33) (10 . 35)) 6598 0.5701 8.6761 ((1 . 25) (3 . 27) (7 . 29) (8 . 31)) 6613 0.5711 5.9449 ((3 . 10) (6 . 11) (7 . 12) (8 . 15)) 6622 0.5703 8.4267 ((2 . 4) (6 . 6) (8 . 8) (10 . 10)) 6635 0.5712 5.5402 ((1 . 1) (2 . 3) (3 . 4) (8 . 9)) END