3626 41 0.2945 5.9021 ((1 . 2) (2 . 3) (6 . 5) (11 . 7)) 51 0.5709 6.8484 ((2 . 10) (3 . 11) (6 . 13) (8 . 14)) 62 0.5708 7.2468 ((2 . 10) (3 . 12) (6 . 13) (11 . 16)) 64 0.7137 5.3041 ((2 . 3) (3 . 4) (6 . 6) (8 . 7) (11 . 8)) 77 0.3789 8.8934 ((1 . 10) (5 . 12) (6 . 13) (8 . 15)) 91 0.4440 12.4287 ((1 . 39) (6 . 42) (8 . 44) (11 . 45)) 96 0.5708 7.2022 ((1 . 2) (5 . 4) (6 . 5) (8 . 6)) 129 0.5712 5.8430 ((2 . 1) (3 . 2) (6 . 3) (8 . 5)) 136 0.5937 7.3651 ((1 . 4) (3 . 5) (5 . 6) (6 . 7) (8 . 8)) 150 0.3787 10.6879 ((1 . 18) (2 . 20) (5 . 21) (6 . 23)) 153 0.5708 7.1194 ((2 . 4) (3 . 5) (6 . 6) (8 . 7)) 157 0.1993 8.3581 ((1 . 10) (2 . 11) (5 . 12) (11 . 18)) 161 0.5696 9.4414 ((3 . 4) (5 . 7) (8 . 8) (11 . 9)) 162 0.1664 6.6126 ((1 . 16) (3 . 17) (5 . 19) (8 . 20)) 169 0.5711 6.2371 ((2 . 7) (3 . 8) (6 . 9) (8 . 10)) 177 0.5705 8.0611 ((2 . 1) (3 . 2) (6 . 4) (8 . 5)) 191 0.5712 5.7760 ((2 . 6) (3 . 7) (6 . 8) (8 . 9)) 198 0.5713 5.1237 ((2 . 12) (3 . 13) (6 . 16) (8 . 17)) 207 0.5701 8.6943 ((1 . 6) (3 . 7) (6 . 8) (11 . 13)) 233 0.5712 5.8163 ((2 . 3) (6 . 5) (8 . 7) (11 . 8)) 300 0.5696 9.4822 ((1 . 5) (2 . 6) (3 . 7) (8 . 9)) 305 0.5714 3.6291 ((1 . 10) (2 . 11) (3 . 12) (5 . 13)) 307 0.5710 6.5861 ((2 . 1) (5 . 2) (6 . 3) (11 . 7)) 315 0.5712 5.4993 ((3 . 3) (6 . 5) (8 . 6) (11 . 8)) 329 0.4455 5.4906 ((1 . 1) (5 . 3) (6 . 4) (8 . 5)) 340 0.5714 4.1131 ((2 . 1) (3 . 2) (6 . 4) (8 . 7)) 350 0.2477 8.6673 ((2 . 7) (5 . 9) (6 . 10) (11 . 15)) 360 0.5712 5.8574 ((2 . 8) (3 . 9) (6 . 10) (8 . 12)) 361 0.5701 8.6299 ((1 . 9) (2 . 10) (3 . 11) (5 . 13)) 365 0.7140 4.5839 ((2 . 1) (3 . 2) (6 . 3) (8 . 4) (11 . 6)) 367 0.5713 4.4318 ((2 . 38) (3 . 40) (6 . 42) (8 . 43)) 372 0.5713 5.2326 ((2 . 2) (3 . 3) (6 . 6) (8 . 7)) 387 0.5708 7.1388 ((2 . 8) (6 . 10) (8 . 11) (11 . 12)) 405 0.5711 6.0717 ((2 . 37) (3 . 38) (6 . 39) (8 . 40)) 417 0.5708 7.1162 ((3 . 1) (6 . 2) (8 . 3) (11 . 7)) 420 0.5713 4.6446 ((2 . 9) (3 . 10) (6 . 12) (8 . 13)) 433 0.5711 6.1517 ((2 . 6) (3 . 7) (8 . 9) (11 . 10)) 442 0.5704 8.1829 ((1 . 13) (2 . 14) (5 . 16) (11 . 20)) 460 0.5713 5.1742 ((2 . 1) (3 . 2) (8 . 6) (11 . 7)) 491 0.4452 8.1823 ((2 . 1) (5 . 5) (8 . 6) (11 . 8)) 495 0.5712 5.5911 ((1 . 6) (2 . 8) (3 . 9) (5 . 10)) 541 0.5712 5.8754 ((1 . 6) (2 . 7) (6 . 11) (11 . 14)) 543 0.5705 7.9697 ((2 . 5) (5 . 7) (8 . 8) (11 . 10)) 561 0.5690 10.1724 ((1 . 2) (2 . 1) (3 . 3) (5 . 5)) 584 0.5701 8.6767 ((1 . 2) (3 . 3) (6 . 4) (8 . 5)) 587 0.7140 4.5069 ((2 . 3) (3 . 4) (6 . 6) (8 . 7) (11 . 9)) 609 0.1749 7.2537 ((1 . 4) (2 . 3) (3 . 6) (5 . 7) (8 . 8) (11 . 1)) 619 0.5712 5.7896 ((2 . 8) (3 . 9) (6 . 11) (8 . 12)) 624 0.5712 5.3488 ((2 . 20) (3 . 22) (5 . 23) (8 . 24)) 635 0.5699 9.0314 ((2 . 14) (3 . 15) (5 . 17) (8 . 18)) 672 0.5705 7.8892 ((1 . 19) (2 . 22) (3 . 23) (6 . 24)) 678 0.4452 8.4024 ((1 . 21) (2 . 22) (6 . 24) (8 . 26)) 683 0.7115 7.9072 ((2 . 1) (3 . 2) (6 . 3) (8 . 5) (11 . 6)) 729 0.5712 5.5236 ((1 . 6) (2 . 7) (6 . 9) (11 . 13)) 735 0.5713 4.5171 ((2 . 31) (3 . 32) (6 . 33) (8 . 36)) 740 0.5709 6.9852 ((3 . 2) (6 . 3) (8 . 4) (11 . 9)) 765 0.5707 7.5928 ((2 . 7) (3 . 9) (6 . 12) (11 . 17)) 795 0.5712 5.6901 ((3 . 3) (5 . 4) (8 . 5) (11 . 6)) 796 0.5697 9.3341 ((2 . 6) (5 . 7) (8 . 3) (11 . 5)) 801 0.5712 5.7955 ((2 . 1) (3 . 2) (6 . 4) (8 . 5)) 812 0.3789 7.9073 ((1 . 10) (2 . 11) (5 . 12) (11 . 16)) 818 0.5704 8.1532 ((1 . 3) (2 . 4) (6 . 8) (11 . 12)) 824 0.5713 5.0963 ((2 . 45) (3 . 46) (6 . 49) (8 . 50)) 861 0.5710 6.4585 ((1 . 6) (2 . 7) (3 . 8) (5 . 10)) 901 0.5709 6.9597 ((2 . 12) (5 . 14) (6 . 15) (11 . 17)) 904 0.5703 8.2803 ((1 . 1) (5 . 4) (8 . 6) (11 . 7)) 913 0.5712 5.5317 ((2 . 16) (3 . 17) (5 . 18) (11 . 20)) 928 0.5710 6.5319 ((1 . 9) (2 . 10) (6 . 12) (11 . 14)) 937 0.5713 4.5313 ((3 . 1) (5 . 2) (8 . 4) (11 . 5)) 943 0.5706 7.6455 ((1 . 3) (2 . 4) (6 . 6) (11 . 9)) 945 0.5711 6.1944 ((2 . 12) (5 . 13) (6 . 14) (11 . 19)) 960 0.5689 10.2684 ((1 . 39) (2 . 2) (8 . 4) (11 . 8)) 978 0.3789 7.6132 ((1 . 15) (2 . 16) (5 . 18) (11 . 22)) 980 0.5711 6.0337 ((1 . 6) (2 . 5) (5 . 8) (6 . 9)) 1007 0.7139 4.7775 ((2 . 7) (3 . 8) (6 . 11) (8 . 12) (11 . 13)) 1008 0.4453 7.9573 ((1 . 1) (3 . 3) (6 . 5) (8 . 8)) 1034 0.5712 5.5131 ((2 . 20) (3 . 21) (6 . 22) (11 . 29)) 1043 0.5711 5.9867 ((2 . 1) (5 . 5) (6 . 6) (11 . 10)) 1082 0.5712 5.4474 ((2 . 9) (5 . 11) (6 . 12) (11 . 16)) 1084 0.5709 6.8958 ((1 . 6) (2 . 10) (3 . 12) (5 . 15)) 1121 0.2495 7.2270 ((1 . 1) (2 . 4) (3 . 5) (6 . 6) (8 . 2) (11 . 3)) 1165 0.3790 7.3218 ((3 . 2) (6 . 3) (8 . 4) (11 . 7)) 1169 0.5714 3.9267 ((2 . 31) (3 . 32) (6 . 35) (8 . 37)) 1195 0.5713 4.7468 ((2 . 2) (3 . 4) (6 . 5) (8 . 6)) 1201 0.5687 10.4189 ((1 . 8) (5 . 10) (6 . 11) (8 . 12)) 1204 0.3788 9.5868 ((1 . 2) (3 . 3) (5 . 4) (8 . 5)) 1211 0.6301 7.9890 ((1 . 6) (3 . 8) (6 . 9) (8 . 10) (11 . 11)) 1217 0.5713 4.3161 ((3 . 3) (6 . 5) (8 . 7) (11 . 9)) 1224 0.5711 6.1747 ((3 . 6) (6 . 7) (8 . 9) (11 . 10)) 1233 0.5706 7.6332 ((1 . 21) (3 . 22) (6 . 23) (8 . 24)) 1267 0.5707 7.4833 ((1 . 16) (3 . 17) (5 . 18) (8 . 19)) 1268 0.5713 5.1229 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 1294 0.7135 5.7387 ((2 . 39) (3 . 40) (6 . 41) (8 . 43) (11 . 44)) 1301 0.4452 8.2857 ((1 . 2) (2 . 1) (5 . 3) (6 . 5)) 1345 0.3786 11.3100 ((1 . 10) (2 . 9) (5 . 11) (11 . 16)) 1366 0.5713 5.0149 ((2 . 14) (3 . 15) (6 . 16) (8 . 17)) 1388 0.5710 6.7055 ((1 . 2) (3 . 4) (6 . 5) (11 . 8)) 1410 0.5714 4.2686 ((2 . 19) (6 . 22) (8 . 23) (11 . 25)) 1425 0.7131 6.3788 ((2 . 3) (3 . 4) (5 . 7) (8 . 8) (11 . 10)) 1447 0.5707 7.4755 ((1 . 2) (2 . 3) (6 . 5) (11 . 7)) 1451 0.5713 4.4263 ((2 . 1) (6 . 3) (8 . 4) (11 . 5)) 1464 0.5711 6.3148 ((3 . 7) (6 . 8) (8 . 10) (11 . 13)) 1472 0.4450 9.3505 ((1 . 3) (5 . 5) (6 . 7) (8 . 8)) 1476 0.5702 8.5725 ((1 . 10) (2 . 11) (6 . 14) (11 . 18)) 1481 0.5713 4.3380 ((2 . 1) (3 . 2) (8 . 4) (11 . 7)) 1501 0.5714 4.1640 ((2 . 1) (3 . 2) (6 . 3) (8 . 4)) 1513 0.5698 9.1614 ((1 . 1) (3 . 2) (6 . 3) (11 . 8)) 1514 0.5709 6.7940 ((2 . 1) (5 . 2) (6 . 3) (8 . 4)) 1577 0.1498 8.1707 ((1 . 1) (5 . 2) (6 . 4) (8 . 5)) 1591 0.5707 7.3829 ((1 . 15) (2 . 16) (5 . 17) (8 . 19)) 1595 0.4451 9.0685 ((1 . 3) (5 . 6) (8 . 7) (11 . 8)) 1604 0.2945 7.4581 ((2 . 1) (3 . 3) (5 . 6) (8 . 7)) 1622 0.2945 6.9798 ((1 . 17) (2 . 18) (6 . 20) (11 . 22)) 1624 0.3789 8.0282 ((2 . 2) (3 . 3) (6 . 4) (11 . 8)) 1643 0.7130 6.5571 ((2 . 36) (3 . 37) (6 . 38) (8 . 39) (11 . 40)) 1644 0.5711 6.2095 ((2 . 49) (3 . 50) (6 . 51) (8 . 52)) 1690 0.3789 8.7288 ((1 . 15) (2 . 16) (8 . 21) (11 . 24)) 1692 0.5705 7.9790 ((1 . 2) (3 . 5) (6 . 7) (11 . 8)) 1731 0.5682 10.9110 ((1 . 7) (2 . 8) (5 . 9) (11 . 12)) 1736 0.3790 7.2658 ((1 . 8) (3 . 10) (5 . 11) (8 . 12)) 1747 0.7122 7.3965 ((2 . 45) (3 . 46) (6 . 47) (8 . 48) (11 . 52)) 1756 0.5712 5.2884 ((2 . 21) (3 . 23) (6 . 25) (8 . 26)) 1759 0.5713 4.4522 ((2 . 10) (3 . 11) (6 . 13) (8 . 14)) 1761 0.5713 4.3845 ((3 . 1) (6 . 2) (8 . 3) (11 . 5)) 1763 0.6563 6.2201 ((1 . 6) (3 . 7) (6 . 9) (8 . 10) (11 . 13)) 1776 0.5709 7.0216 ((2 . 15) (3 . 16) (8 . 20) (11 . 23)) 1777 0.5705 7.9097 ((2 . 46) (3 . 49) (6 . 50) (8 . 52)) 1778 0.5712 5.2717 ((2 . 2) (3 . 3) (6 . 4) (8 . 5)) 1793 0.5702 8.5817 ((2 . 3) (3 . 4) (5 . 5) (11 . 6)) 1805 0.7138 5.0808 ((2 . 3) (3 . 4) (6 . 7) (8 . 8) (11 . 10)) 1808 0.5709 6.8120 ((2 . 5) (6 . 8) (8 . 9) (11 . 10)) 1817 0.5712 5.6259 ((2 . 14) (3 . 15) (6 . 18) (8 . 19)) 1867 0.5710 6.4054 ((2 . 1) (6 . 3) (8 . 6) (11 . 7)) 1894 0.5701 8.7405 ((2 . 21) (3 . 22) (5 . 24) (8 . 25)) 1896 0.5704 8.2101 ((1 . 21) (2 . 23) (3 . 24) (6 . 26)) 1897 0.4453 7.8750 ((1 . 37) (5 . 38) (6 . 39) (8 . 40)) 1908 0.2946 5.2224 ((1 . 9) (2 . 10) (6 . 15) (11 . 17)) 1909 0.5708 7.2732 ((1 . 32) (2 . 34) (5 . 36) (11 . 39)) 1913 0.5707 7.4618 ((2 . 21) (3 . 23) (6 . 25) (8 . 26)) 1944 0.5711 5.9625 ((1 . 2) (2 . 3) (6 . 5) (11 . 7)) 1957 0.5710 6.4192 ((1 . 10) (2 . 11) (6 . 13) (11 . 15)) 1961 0.5701 8.7577 ((2 . 15) (3 . 16) (5 . 18) (8 . 19)) 1967 0.5713 5.0218 ((1 . 11) (2 . 13) (3 . 14) (5 . 15)) 1992 0.5711 6.1068 ((1 . 8) (2 . 9) (8 . 12) (11 . 14)) 1995 0.5712 5.7347 ((2 . 3) (3 . 7) (8 . 9) (11 . 12)) 2003 0.5710 6.5798 ((2 . 8) (3 . 9) (6 . 10) (8 . 12)) 2006 0.7137 5.4139 ((2 . 11) (3 . 12) (6 . 13) (8 . 14) (11 . 15)) 2048 0.3790 7.4386 ((1 . 2) (5 . 3) (8 . 4) (11 . 6)) 2054 0.4455 3.9118 ((1 . 9) (5 . 12) (6 . 13) (8 . 14)) 2063 0.7136 5.6343 ((2 . 43) (3 . 44) (6 . 45) (8 . 47) (11 . 50)) 2065 0.5710 6.5052 ((2 . 18) (6 . 22) (8 . 23) (11 . 26)) 2067 0.5709 7.0333 ((3 . 54) (6 . 55) (8 . 57) (11 . 60)) 2072 0.5714 4.2489 ((2 . 1) (3 . 2) (8 . 4) (11 . 6)) 2081 0.5700 8.9118 ((2 . 9) (3 . 10) (5 . 11) (8 . 12)) 2083 0.5705 7.9437 ((2 . 1) (3 . 2) (5 . 3) (8 . 4)) 2097 0.4877 13.9676 ((1 . 2) (3 . 4) (6 . 6) (8 . 7)) 2114 0.5713 5.1143 ((2 . 32) (3 . 34) (5 . 35) (6 . 36)) 2116 0.7136 5.6417 ((2 . 2) (3 . 5) (6 . 6) (8 . 7) (11 . 11)) 2117 0.5708 7.2605 ((2 . 11) (3 . 12) (5 . 13) (8 . 14)) 2118 0.5706 7.8395 ((1 . 6) (5 . 9) (8 . 11) (11 . 12)) 2122 0.5710 6.5686 ((2 . 1) (5 . 5) (6 . 6) (11 . 10)) 2166 0.5706 7.7710 ((3 . 13) (5 . 14) (8 . 15) (11 . 16)) 2179 0.5706 7.8332 ((2 . 9) (3 . 10) (5 . 12) (8 . 13)) 2196 0.5710 6.3708 ((2 . 14) (3 . 15) (6 . 18) (8 . 19)) 2203 0.1992 9.5344 ((1 . 3) (2 . 5) (3 . 7) (11 . 12)) 2205 0.5713 5.1726 ((3 . 17) (6 . 18) (8 . 19) (11 . 22)) 2209 0.5707 7.5482 ((2 . 3) (6 . 5) (8 . 6) (11 . 7)) 2220 0.5709 7.0197 ((3 . 2) (6 . 3) (8 . 4) (11 . 7)) 2243 0.5713 4.7328 ((2 . 42) (3 . 44) (6 . 45) (8 . 47)) 2244 0.5713 4.4241 ((2 . 69) (3 . 70) (6 . 71) (8 . 74)) 2248 0.2945 8.1728 ((1 . 20) (2 . 22) (5 . 23) (11 . 27)) 2249 0.5705 8.0505 ((1 . 3) (2 . 4) (6 . 7) (11 . 11)) 2269 0.5708 7.1539 ((2 . 8) (5 . 9) (6 . 10) (11 . 12)) 2279 0.3789 7.7097 ((1 . 12) (5 . 15) (8 . 19) (11 . 20)) 2298 0.5712 5.7163 ((1 . 5) (2 . 6) (6 . 8) (11 . 10)) 2308 0.5707 7.4581 ((2 . 6) (5 . 7) (6 . 8) (11 . 11)) 2314 0.5692 9.8940 ((3 . 2) (6 . 3) (8 . 4) (11 . 7)) 2340 0.5713 5.1700 ((3 . 11) (5 . 12) (6 . 13) (8 . 14)) 2344 0.5708 7.1181 ((2 . 1) (3 . 3) (5 . 4) (11 . 7)) 2364 0.5712 5.6258 ((1 . 16) (2 . 18) (3 . 19) (6 . 20)) 2381 0.5712 5.5177 ((3 . 3) (6 . 4) (8 . 5) (11 . 6)) 2389 0.7130 6.5677 ((2 . 6) (3 . 7) (6 . 8) (8 . 9) (11 . 10)) 2408 0.5709 6.8813 ((2 . 42) (3 . 45) (6 . 46) (8 . 47)) 2409 0.5710 6.4288 ((2 . 3) (3 . 4) (6 . 5) (8 . 6)) 2410 0.4454 6.9443 ((1 . 12) (2 . 13) (6 . 16) (8 . 17)) 2422 0.5709 6.9743 ((2 . 1) (6 . 6) (8 . 7) (11 . 9)) 2423 0.5712 5.3977 ((2 . 21) (3 . 22) (6 . 25) (8 . 26)) 2440 0.5710 6.4079 ((2 . 4) (6 . 7) (8 . 8) (11 . 9)) 2447 0.5711 6.1541 ((1 . 12) (2 . 13) (6 . 15) (11 . 18)) 2462 0.3788 9.6136 ((1 . 2) (3 . 3) (5 . 5) (6 . 4)) 2510 0.5711 6.1151 ((2 . 1) (5 . 4) (6 . 5) (11 . 7)) 2525 0.1993 6.4994 ((3 . 38) (5 . 39) (8 . 41) (11 . 43)) 2529 0.5713 4.6783 ((3 . 3) (5 . 4) (6 . 5) (8 . 6)) 2533 0.5694 9.6788 ((1 . 11) (2 . 13) (5 . 14) (11 . 18)) 2544 0.2477 9.6260 ((1 . 18) (5 . 19) (8 . 22) (11 . 23)) 2551 0.2477 8.4030 ((3 . 9) (5 . 10) (8 . 12) (11 . 14)) 2552 0.5701 8.6324 ((1 . 2) (3 . 3) (5 . 4) (8 . 5)) 2556 0.5709 6.7806 ((1 . 12) (2 . 13) (6 . 16) (11 . 20)) 2557 0.5697 9.3218 ((2 . 3) (5 . 5) (6 . 6) (8 . 7)) 2561 0.5707 7.4132 ((3 . 6) (6 . 7) (8 . 8) (11 . 9)) 2595 0.5711 6.0564 ((2 . 1) (5 . 2) (6 . 4) (11 . 6)) 2619 0.1500 9.1672 ((1 . 6) (2 . 2) (3 . 3) (5 . 4) (8 . 5) (11 . 1)) 2627 0.3786 10.8792 ((1 . 59) (2 . 60) (6 . 64) (8 . 65)) 2650 0.5712 5.6506 ((2 . 1) (3 . 2) (8 . 5) (11 . 6)) 2658 0.5710 6.5847 ((1 . 11) (2 . 12) (3 . 13) (8 . 14)) 2675 0.5712 5.8217 ((2 . 8) (3 . 10) (6 . 11) (8 . 12)) 2682 0.2477 9.9106 ((3 . 11) (6 . 12) (8 . 13) (11 . 15)) 2696 0.7141 4.2645 ((2 . 31) (3 . 35) (6 . 36) (8 . 38) (11 . 39)) 2731 0.5713 4.9262 ((3 . 1) (5 . 2) (8 . 4) (11 . 5)) 2733 0.5711 6.2303 ((2 . 1) (3 . 2) (6 . 4) (11 . 8)) 2755 0.5712 5.8564 ((1 . 2) (2 . 3) (6 . 5) (11 . 6)) 2773 0.5713 5.1342 ((2 . 2) (3 . 3) (8 . 5) (11 . 6)) 2783 0.5708 7.3304 ((1 . 4) (2 . 6) (3 . 7) (6 . 8)) 2804 0.5695 9.5934 ((1 . 28) (3 . 31) (6 . 34) (8 . 36)) 2821 0.5707 7.4719 ((2 . 2) (3 . 3) (5 . 6) (8 . 7)) 2830 0.5712 5.2730 ((1 . 10) (2 . 11) (6 . 13) (11 . 15)) 2834 0.5712 5.3913 ((1 . 10) (3 . 12) (8 . 14) (11 . 16)) 2840 0.7124 7.1879 ((1 . 3) (2 . 5) (3 . 6) (5 . 7) (11 . 9)) 2842 0.5713 5.1847 ((2 . 4) (3 . 5) (5 . 6) (11 . 9)) 2867 0.5706 7.7186 ((2 . 7) (3 . 8) (5 . 10) (11 . 12)) 2879 0.5714 4.2449 ((2 . 51) (3 . 52) (6 . 53) (8 . 54)) 2886 0.7120 7.5760 ((2 . 38) (3 . 39) (6 . 41) (8 . 43) (11 . 44)) 2929 0.2945 7.5644 ((2 . 36) (5 . 38) (6 . 39) (8 . 40)) 2947 0.5714 4.2563 ((2 . 3) (3 . 4) (5 . 5) (11 . 7)) 2966 0.6315 4.5744 ((1 . 2) (2 . 3) (3 . 4) (6 . 6) (8 . 8)) 2990 0.5713 5.2001 ((3 . 12) (5 . 13) (8 . 14) (11 . 15)) 2999 0.3788 9.0828 ((1 . 1) (3 . 4) (5 . 5) (8 . 6)) 3014 0.5714 3.3962 ((1 . 3) (2 . 4) (3 . 5) (6 . 22)) 3019 0.5712 5.8061 ((2 . 9) (3 . 10) (6 . 11) (11 . 14)) 3041 0.5713 5.1763 ((1 . 10) (2 . 12) (6 . 14) (11 . 16)) 3055 0.5712 5.3616 ((2 . 11) (3 . 12) (6 . 13) (11 . 17)) 3063 0.7122 7.3905 ((2 . 35) (3 . 37) (6 . 38) (8 . 39) (11 . 41)) 3070 0.5712 5.3122 ((2 . 32) (3 . 33) (8 . 35) (11 . 36)) 3084 0.5711 6.3383 ((1 . 12) (2 . 13) (6 . 15) (11 . 17)) 3102 0.5710 6.3802 ((2 . 67) (3 . 68) (6 . 69) (8 . 70)) 3103 0.5710 6.7288 ((2 . 2) (3 . 3) (6 . 5) (11 . 9)) 3114 0.5711 6.2665 ((3 . 22) (6 . 23) (8 . 24) (11 . 25)) 3127 0.3790 5.7833 ((1 . 5) (5 . 7) (6 . 8) (11 . 11)) 3147 0.7130 6.5582 ((2 . 5) (3 . 6) (6 . 7) (8 . 8) (11 . 11)) 3176 0.5704 8.1921 ((1 . 23) (2 . 26) (3 . 27) (6 . 29)) 3187 0.7122 7.3450 ((2 . 4) (3 . 5) (6 . 6) (8 . 7) (11 . 9)) 3197 0.5709 6.7418 ((2 . 10) (5 . 11) (6 . 12) (11 . 16)) 3200 0.4453 7.5344 ((1 . 5) (2 . 6) (8 . 9) (11 . 11)) 3212 0.0999 6.2752 ((1 . 1) (2 . 2) (3 . 3) (6 . 5)) 3222 0.5707 7.3834 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 3256 0.6281 9.8393 ((1 . 15) (3 . 16) (6 . 19) (8 . 20) (11 . 24)) 3261 0.5707 7.3847 ((2 . 2) (3 . 3) (5 . 5) (11 . 6)) 3286 0.5712 5.5733 ((2 . 3) (3 . 4) (6 . 5) (11 . 7)) 3289 0.7127 6.9307 ((2 . 25) (3 . 27) (5 . 28) (6 . 30) (8 . 31)) 3297 0.5713 4.9447 ((2 . 8) (3 . 9) (6 . 11) (11 . 13)) 3300 0.7136 5.5439 ((2 . 1) (3 . 2) (5 . 3) (6 . 4) (8 . 5)) 3322 0.5711 6.1398 ((2 . 1) (5 . 2) (6 . 3) (11 . 7)) 3334 0.5713 4.7364 ((2 . 5) (3 . 6) (5 . 7) (11 . 10)) 3339 0.5712 5.6245 ((1 . 10) (2 . 11) (6 . 15) (11 . 17)) 3344 0.5698 9.1270 ((3 . 18) (6 . 19) (8 . 21) (11 . 22)) 3358 0.5710 6.3673 ((1 . 3) (2 . 4) (6 . 8) (11 . 10)) 3362 0.5707 7.5962 ((1 . 9) (2 . 10) (3 . 11) (5 . 12)) 3366 0.5711 6.2391 ((3 . 26) (6 . 27) (8 . 28) (11 . 29)) 3391 0.5709 6.9996 ((1 . 3) (2 . 4) (6 . 6) (11 . 10)) 3418 0.5713 5.1418 ((2 . 2) (3 . 5) (6 . 6) (8 . 7)) 3446 0.5692 9.9498 ((1 . 2) (5 . 3) (8 . 5) (11 . 6)) 3472 0.5714 4.1962 ((3 . 3) (6 . 4) (8 . 5) (11 . 9)) 3489 0.5706 7.6145 ((2 . 2) (3 . 3) (6 . 4) (11 . 10)) 3495 0.2945 8.0636 ((2 . 3) (5 . 6) (8 . 7) (11 . 8)) 3533 0.2945 8.2454 ((1 . 6) (3 . 7) (8 . 10) (11 . 11)) 3537 0.5693 9.7824 ((1 . 8) (2 . 9) (3 . 10) (5 . 11)) 3538 0.4737 5.4019 ((1 . 17) (2 . 18) (3 . 20) (5 . 21) (11 . 23)) 3548 0.5711 5.8970 ((2 . 4) (3 . 5) (6 . 6) (8 . 8)) 3549 0.5713 5.0741 ((2 . 2) (3 . 3) (6 . 5) (8 . 8)) 3561 0.5712 5.5670 ((1 . 29) (2 . 30) (3 . 31) (5 . 32)) 3570 0.5707 7.5635 ((1 . 2) (2 . 4) (3 . 7) (6 . 8)) 3585 0.5709 6.9542 ((2 . 11) (3 . 12) (6 . 13) (8 . 14)) 3625 0.5712 5.4522 ((2 . 1) (3 . 2) (8 . 5) (11 . 6)) 3626 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (11 . 11)) 3628 0.5711 5.9264 ((2 . 6) (6 . 8) (8 . 9) (11 . 10)) 3651 0.5704 8.1339 ((1 . 6) (3 . 8) (6 . 9) (11 . 13)) 3656 0.5706 7.8455 ((1 . 20) (3 . 22) (6 . 23) (8 . 24)) 3658 0.5713 5.1206 ((2 . 5) (3 . 6) (6 . 7) (8 . 8)) 3659 0.5712 5.7322 ((1 . 6) (2 . 7) (3 . 8) (5 . 14)) 3661 0.5713 5.0985 ((1 . 10) (2 . 11) (3 . 12) (5 . 13)) 3663 0.5711 5.9773 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 3688 0.5703 8.4257 ((3 . 26) (6 . 27) (8 . 28) (11 . 29)) 3703 0.5670 11.8333 ((2 . 3) (3 . 4) (5 . 5) (11 . 6)) 3732 0.4455 5.5633 ((1 . 8) (5 . 10) (6 . 11) (8 . 12)) 3733 0.5712 5.7981 ((2 . 1) (5 . 2) (6 . 3) (11 . 6)) 3740 0.7137 5.4053 ((2 . 1) (3 . 2) (6 . 3) (8 . 4) (11 . 5)) 3741 0.5712 5.4448 ((3 . 1) (6 . 2) (8 . 3) (11 . 4)) 3776 0.5711 6.2313 ((2 . 15) (5 . 16) (6 . 17) (11 . 21)) 3778 0.7136 5.4935 ((2 . 3) (3 . 4) (5 . 5) (8 . 6) (11 . 7)) 3787 0.5682 10.8967 ((1 . 16) (2 . 17) (6 . 19) (11 . 23)) 3790 0.7136 5.5811 ((2 . 2) (3 . 3) (6 . 4) (8 . 5) (11 . 9)) 3807 0.5708 7.3141 ((1 . 49) (2 . 43) (3 . 46) (11 . 47)) 3810 0.6566 5.6858 ((2 . 10) (3 . 11) (6 . 14) (8 . 15) (11 . 16)) 3817 0.5712 5.8136 ((1 . 3) (2 . 5) (6 . 7) (11 . 9)) 3818 0.5703 8.3329 ((2 . 20) (3 . 23) (5 . 24) (11 . 28)) 3829 0.2476 15.5268 ((1 . 3) (5 . 4) (6 . 5) (11 . 9)) 3831 0.5710 6.5795 ((2 . 2) (3 . 3) (5 . 4) (8 . 5)) 3847 0.5709 6.7606 ((3 . 13) (5 . 15) (6 . 16) (8 . 17)) 3849 0.5712 5.4233 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 3853 0.1664 7.7648 ((1 . 7) (2 . 8) (5 . 9) (8 . 12)) 3856 0.5711 6.1589 ((5 . 4) (6 . 3) (8 . 6) (11 . 7)) 3870 0.5711 6.0837 ((1 . 2) (2 . 3) (6 . 5) (11 . 8)) 3933 0.5713 5.0003 ((2 . 13) (3 . 14) (6 . 17) (8 . 18)) 3938 0.5713 4.3111 ((2 . 2) (3 . 4) (6 . 8) (8 . 9)) 3990 0.4452 8.4700 ((1 . 21) (3 . 22) (6 . 24) (8 . 25)) 4005 0.5714 4.1438 ((2 . 2) (3 . 3) (6 . 4) (8 . 14)) 4009 0.3777 14.5351 ((1 . 6) (6 . 11) (8 . 13) (11 . 15)) 4019 0.5707 7.3563 ((2 . 44) (3 . 45) (6 . 46) (8 . 47)) 4034 0.5708 7.0742 ((3 . 9) (6 . 10) (8 . 11) (11 . 13)) 4062 0.2945 6.2991 ((1 . 45) (5 . 47) (6 . 48) (8 . 50)) 4067 0.5711 6.3373 ((1 . 19) (2 . 20) (5 . 23) (8 . 24)) 4077 0.5704 8.2052 ((1 . 9) (2 . 10) (3 . 11) (5 . 12)) 4082 0.7128 6.8210 ((2 . 5) (3 . 6) (6 . 7) (8 . 8) (11 . 10)) 4087 0.7131 6.4143 ((2 . 1) (3 . 3) (6 . 5) (8 . 6) (11 . 7)) 4112 0.5714 3.5187 ((2 . 1) (3 . 2) (6 . 3) (8 . 4)) 4115 0.4451 8.8171 ((1 . 12) (2 . 13) (6 . 15) (11 . 17)) 4154 0.5713 4.9172 ((2 . 52) (3 . 53) (6 . 56) (8 . 57)) 4177 0.5704 8.0902 ((2 . 1) (3 . 2) (8 . 7) (11 . 8)) 4190 0.2945 6.7934 ((1 . 2) (2 . 3) (8 . 8) (11 . 9)) 4192 0.3786 10.9811 ((1 . 16) (3 . 19) (8 . 22) (11 . 23)) 4194 0.5711 6.1843 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 4204 0.5712 5.6615 ((3 . 11) (5 . 12) (8 . 13) (11 . 15)) 4209 0.5712 5.6588 ((2 . 2) (3 . 4) (8 . 5) (11 . 10)) 4210 0.5712 5.5923 ((5 . 3) (6 . 4) (8 . 5) (11 . 6)) 4226 0.5711 6.0853 ((3 . 16) (5 . 17) (8 . 18) (11 . 19)) 4232 0.5707 7.5796 ((3 . 2) (6 . 3) (8 . 4) (11 . 6)) 4236 0.5707 7.4293 ((3 . 5) (6 . 6) (8 . 7) (11 . 10)) 4246 0.5709 6.7634 ((2 . 2) (3 . 3) (6 . 5) (11 . 8)) 4254 0.5710 6.6491 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 4255 0.5708 7.3079 ((3 . 21) (5 . 22) (8 . 23) (11 . 24)) 4265 0.5710 6.3942 ((2 . 21) (5 . 22) (6 . 23) (11 . 26)) 4266 0.5709 6.8504 ((1 . 3) (2 . 4) (6 . 6) (11 . 8)) 4274 0.5710 6.3884 ((2 . 36) (5 . 39) (6 . 40) (8 . 41)) 4275 0.5713 4.3227 ((3 . 25) (5 . 26) (6 . 27) (8 . 28)) 4281 0.5712 5.4407 ((2 . 3) (3 . 4) (6 . 5) (11 . 8)) 4284 0.1993 6.9039 ((5 . 7) (6 . 8) (8 . 9) (11 . 10)) 4299 0.5712 5.3839 ((5 . 17) (6 . 19) (8 . 20) (11 . 22)) 4301 0.5707 7.5261 ((2 . 6) (3 . 8) (6 . 9) (8 . 10)) 4326 0.5703 8.3430 ((1 . 8) (6 . 15) (8 . 17) (11 . 19)) 4332 0.5711 6.0100 ((2 . 2) (3 . 4) (5 . 5) (8 . 6)) 4338 0.5711 6.2452 ((2 . 4) (6 . 6) (8 . 7) (11 . 8)) 4352 0.5687 10.4057 ((1 . 4) (5 . 6) (8 . 9) (11 . 10)) 4359 0.5713 5.1352 ((2 . 10) (3 . 11) (6 . 12) (11 . 15)) 4380 0.5713 4.6033 ((2 . 1) (3 . 2) (6 . 3) (8 . 4)) 4383 0.5709 6.8095 ((2 . 15) (3 . 16) (6 . 17) (8 . 18)) 4386 0.5696 9.4326 ((1 . 15) (6 . 18) (8 . 19) (11 . 21)) 4388 0.5701 8.7332 ((1 . 4) (2 . 5) (3 . 6) (8 . 9)) 4398 0.5708 7.3029 ((1 . 2) (2 . 4) (6 . 6) (11 . 10)) 4405 0.5707 7.3666 ((1 . 20) (2 . 19) (3 . 21) (11 . 25)) 4408 0.5714 4.1198 ((2 . 3) (3 . 4) (5 . 5) (11 . 7)) 4415 0.5712 5.8702 ((2 . 3) (3 . 4) (5 . 5) (8 . 9)) 4419 0.7118 7.6728 ((2 . 3) (3 . 6) (6 . 8) (8 . 9) (11 . 10)) 4426 0.2945 8.5004 ((1 . 3) (2 . 4) (5 . 5) (6 . 6)) 4470 0.5712 5.4341 ((1 . 17) (2 . 18) (3 . 19) (6 . 20)) 4491 0.5708 7.2050 ((2 . 1) (5 . 4) (6 . 5) (8 . 6)) 4492 0.5713 4.9242 ((2 . 2) (3 . 3) (5 . 6) (8 . 8)) 4497 0.5712 5.4802 ((2 . 25) (3 . 26) (6 . 27) (8 . 28)) 4502 0.5710 6.4557 ((2 . 6) (6 . 9) (8 . 10) (11 . 11)) 4503 0.5708 7.1102 ((3 . 3) (6 . 4) (8 . 5) (11 . 8)) 4504 0.3784 12.2618 ((1 . 16) (2 . 17) (8 . 21) (11 . 22)) 4505 0.5711 5.9757 ((1 . 27) (2 . 28) (5 . 29) (11 . 34)) 4516 0.5709 6.8689 ((1 . 5) (2 . 6) (6 . 8) (8 . 10)) 4538 0.2477 7.4997 ((1 . 29) (3 . 32) (6 . 33) (8 . 34)) 4560 0.5713 5.0733 ((1 . 10) (2 . 11) (6 . 13) (11 . 17)) 4561 0.5712 5.6205 ((1 . 8) (2 . 9) (6 . 12) (11 . 16)) 4562 0.5710 6.5237 ((2 . 19) (5 . 21) (6 . 22) (11 . 25)) 4577 0.5707 7.5674 ((2 . 49) (3 . 50) (8 . 52) (11 . 54)) 4579 0.5687 10.4498 ((1 . 11) (5 . 13) (8 . 17) (11 . 18)) 4588 0.5708 7.2649 ((1 . 2) (2 . 3) (6 . 7) (11 . 11)) 4589 0.5707 7.6048 ((1 . 17) (2 . 18) (8 . 22) (11 . 23)) 4607 0.5711 5.9544 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 4621 0.7139 4.8811 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (11 . 11)) 4630 0.5707 7.5474 ((2 . 31) (3 . 33) (6 . 34) (8 . 36)) 4648 0.5704 8.1131 ((2 . 2) (5 . 3) (6 . 5) (8 . 8)) 4653 0.5713 4.6419 ((3 . 1) (5 . 2) (6 . 3) (8 . 4)) 4665 0.5713 4.9198 ((2 . 11) (3 . 12) (6 . 13) (8 . 14)) 4668 0.5710 6.5853 ((2 . 1) (5 . 2) (6 . 3) (11 . 7)) 4671 0.5712 5.6184 ((1 . 3) (2 . 4) (6 . 6) (11 . 7)) 4674 0.3786 11.0841 ((1 . 4) (6 . 7) (8 . 8) (11 . 9)) 4678 0.4443 11.5891 ((1 . 8) (3 . 10) (8 . 12) (11 . 14)) 4713 0.6309 6.5644 ((1 . 1) (2 . 3) (3 . 4) (6 . 5) (8 . 6)) 4715 0.4917 4.8476 ((1 . 1) (5 . 2) (6 . 3) (8 . 6)) 4731 0.5712 5.2898 ((1 . 19) (3 . 22) (6 . 23) (8 . 24)) 4734 0.2945 7.7070 ((3 . 2) (6 . 3) (8 . 5) (11 . 7)) 4857 0.3790 6.6427 ((1 . 4) (2 . 5) (8 . 9) (11 . 11)) 4886 0.2943 12.8360 ((1 . 15) (2 . 16) (3 . 17) (5 . 18)) 4888 0.4447 10.5236 ((1 . 11) (2 . 14) (3 . 15) (6 . 17)) 4889 0.7136 5.5315 ((2 . 3) (3 . 4) (5 . 5) (8 . 6) (11 . 7)) 4907 0.5713 4.7129 ((2 . 1) (3 . 3) (6 . 4) (8 . 5)) 4914 0.1664 8.9053 ((1 . 2) (3 . 4) (6 . 6) (11 . 10)) 4921 0.5712 5.2996 ((2 . 7) (3 . 8) (6 . 9) (11 . 12)) 4929 0.5714 4.1046 ((3 . 29) (6 . 31) (8 . 32) (11 . 33)) 4932 0.5704 8.1685 ((2 . 5) (3 . 6) (5 . 7) (8 . 8)) 4940 0.5704 8.1947 ((2 . 2) (3 . 3) (5 . 5) (6 . 4)) 4944 0.5705 8.0142 ((3 . 13) (6 . 14) (8 . 15) (11 . 16)) 4961 0.5708 7.1807 ((3 . 12) (5 . 13) (6 . 14) (8 . 15)) 4978 0.5710 6.3821 ((3 . 18) (5 . 20) (8 . 21) (11 . 22)) 4982 0.5709 7.0265 ((2 . 1) (5 . 2) (6 . 3) (11 . 6)) 4992 0.5702 8.4899 ((2 . 1) (3 . 2) (6 . 3) (11 . 6)) 4998 0.4447 10.7011 ((1 . 17) (2 . 19) (3 . 20) (8 . 23)) 5036 0.5711 6.2193 ((2 . 1) (3 . 2) (6 . 5) (8 . 6)) 5038 0.5712 5.7952 ((2 . 14) (3 . 15) (6 . 16) (8 . 18)) 5039 0.5712 5.4211 ((1 . 36) (2 . 37) (6 . 41) (11 . 44)) 5044 0.5708 7.0872 ((2 . 8) (3 . 9) (5 . 11) (11 . 16)) 5046 0.5711 6.1985 ((3 . 1) (6 . 3) (8 . 4) (11 . 7)) 5053 0.4450 9.3398 ((1 . 1) (3 . 2) (6 . 3) (8 . 5)) 5065 0.7135 5.8082 ((2 . 7) (3 . 8) (6 . 9) (8 . 10) (11 . 11)) 5068 0.5697 9.3685 ((3 . 12) (5 . 14) (8 . 15) (11 . 16)) 5069 0.5713 5.0194 ((1 . 3) (2 . 4) (3 . 5) (6 . 7)) 5073 0.5711 5.9200 ((1 . 31) (2 . 32) (6 . 34) (11 . 36)) 5083 0.2477 8.7878 ((1 . 4) (2 . 5) (3 . 8) (6 . 9)) 5101 0.5709 6.8421 ((2 . 1) (5 . 4) (6 . 5) (11 . 7)) 5103 0.2945 7.2899 ((2 . 13) (3 . 15) (5 . 14) (11 . 17)) 5121 0.5698 9.1275 ((1 . 14) (2 . 16) (3 . 18) (6 . 19)) 5132 0.5709 6.8781 ((1 . 17) (2 . 18) (6 . 20) (11 . 22)) 5134 0.4453 7.6405 ((1 . 5) (2 . 6) (8 . 10) (11 . 13)) 5145 0.5702 8.5326 ((3 . 3) (5 . 4) (8 . 8) (11 . 10)) 5167 0.5713 5.0387 ((2 . 3) (3 . 4) (5 . 6) (11 . 9)) 5176 0.4914 7.7498 ((1 . 83) (5 . 85) (6 . 86) (8 . 87)) 5183 0.5712 5.4844 ((2 . 34) (3 . 35) (6 . 36) (8 . 37)) 5192 0.5711 6.1258 ((2 . 1) (5 . 2) (6 . 3) (11 . 5)) 5198 0.5671 11.7681 ((1 . 23) (2 . 24) (5 . 27) (11 . 32)) 5199 0.5704 8.1168 ((1 . 2) (5 . 6) (6 . 7) (8 . 8)) 5209 0.5701 8.6487 ((3 . 7) (6 . 8) (8 . 9) (11 . 10)) 5212 0.5712 5.5918 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 5215 0.5703 8.3962 ((1 . 8) (2 . 9) (3 . 10) (5 . 13)) 5223 0.5699 9.0861 ((1 . 7) (6 . 10) (8 . 12) (11 . 15)) 5231 0.7138 5.1360 ((2 . 8) (3 . 12) (6 . 13) (8 . 14) (11 . 16)) 5266 0.5713 5.1801 ((3 . 10) (5 . 11) (8 . 13) (11 . 15)) 5278 0.5712 5.2849 ((2 . 2) (3 . 5) (6 . 6) (8 . 7)) 5307 0.5713 4.4855 ((1 . 54) (2 . 55) (3 . 57) (6 . 58)) 5312 0.7139 4.9197 ((2 . 1) (3 . 2) (6 . 3) (8 . 4) (11 . 5)) 5318 0.2477 9.1286 ((1 . 20) (3 . 22) (6 . 23) (8 . 24)) 5323 0.4454 7.1660 ((1 . 4) (5 . 8) (8 . 10) (11 . 11)) 5324 0.5712 5.4739 ((2 . 20) (3 . 22) (5 . 23) (8 . 25)) 5344 0.7133 6.0763 ((2 . 2) (3 . 3) (6 . 4) (8 . 7) (11 . 8)) 5345 0.5712 5.5503 ((2 . 12) (3 . 13) (6 . 14) (11 . 18)) 5368 0.7138 5.2382 ((2 . 45) (3 . 46) (6 . 47) (8 . 48) (11 . 49)) 5378 0.5710 6.6287 ((3 . 4) (5 . 5) (8 . 6) (11 . 7)) 5411 0.3790 5.2962 ((1 . 2) (2 . 3) (6 . 6) (8 . 8)) 5414 0.5713 4.8683 ((2 . 14) (3 . 15) (6 . 16) (8 . 18)) 5418 0.5713 4.4468 ((2 . 1) (3 . 2) (6 . 3) (8 . 5)) 5421 0.4913 8.2236 ((3 . 1) (6 . 2) (8 . 3) (11 . 5)) 5433 0.5707 7.5581 ((2 . 5) (6 . 8) (8 . 10) (11 . 14)) 5479 0.5713 4.7854 ((2 . 68) (3 . 69) (8 . 71) (11 . 74)) 5487 0.3790 6.3778 ((1 . 3) (2 . 4) (6 . 7) (11 . 11)) 5489 0.5712 5.7051 ((2 . 6) (6 . 9) (8 . 10) (11 . 13)) 5500 0.4450 9.6489 ((2 . 1) (3 . 2) (8 . 4) (11 . 7)) 5501 0.2945 7.5170 ((1 . 23) (3 . 24) (5 . 26) (6 . 25)) 5525 0.4907 10.0181 ((1 . 3) (5 . 5) (6 . 7) (8 . 8)) 5535 0.5693 9.7809 ((1 . 1) (3 . 6) (8 . 9) (11 . 11)) 5540 0.5707 7.5567 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 5557 0.5711 5.9677 ((2 . 1) (3 . 2) (6 . 3) (8 . 4)) 5560 0.5711 6.2332 ((1 . 14) (2 . 15) (6 . 17) (11 . 20)) 5562 0.5703 8.3176 ((1 . 5) (2 . 7) (8 . 11) (11 . 14)) 5567 0.5710 6.7070 ((1 . 16) (2 . 17) (3 . 18) (6 . 19)) 5594 0.5700 8.8903 ((1 . 5) (2 . 6) (5 . 8) (11 . 12)) 5600 0.5701 8.7641 ((1 . 4) (2 . 6) (5 . 7) (6 . 9)) 5601 0.4452 8.3394 ((1 . 4) (2 . 5) (6 . 8) (11 . 12)) 5640 0.7132 6.2934 ((2 . 27) (3 . 28) (6 . 29) (8 . 30) (11 . 31)) 5644 0.5714 4.0824 ((3 . 1) (6 . 3) (8 . 4) (11 . 8)) 5656 0.5712 5.4797 ((1 . 20) (2 . 21) (3 . 23) (6 . 24)) 5700 0.5714 4.1475 ((1 . 7) (2 . 8) (3 . 9) (6 . 11)) 5701 0.5708 7.1262 ((5 . 3) (6 . 4) (8 . 5) (11 . 8)) 5703 0.7136 5.4905 ((2 . 1) (3 . 2) (6 . 6) (8 . 7) (11 . 8)) 5711 0.5713 4.6893 ((2 . 25) (3 . 27) (6 . 28) (8 . 29)) 5713 0.5713 4.8711 ((2 . 6) (3 . 7) (6 . 8) (11 . 10)) 5718 0.5711 5.9041 ((2 . 21) (3 . 23) (6 . 24) (8 . 25)) 5731 0.5713 4.5295 ((2 . 7) (6 . 10) (8 . 11) (11 . 13)) 5746 0.5713 5.2239 ((1 . 4) (2 . 6) (3 . 7) (6 . 9)) 5749 0.5708 7.1076 ((1 . 2) (2 . 4) (3 . 5) (6 . 6)) 5761 0.5713 4.6312 ((1 . 29) (2 . 30) (3 . 31) (6 . 32)) 5770 0.3790 6.6380 ((1 . 5) (3 . 6) (8 . 9) (11 . 12)) 5771 0.2478 6.0054 ((1 . 10) (2 . 13) (3 . 14) (6 . 15)) 5782 0.5711 6.3256 ((2 . 21) (3 . 22) (8 . 24) (11 . 26)) 5794 0.5710 6.7106 ((2 . 15) (3 . 16) (8 . 18) (11 . 19)) 5795 0.5708 7.3193 ((1 . 11) (3 . 13) (5 . 14) (11 . 16)) 5809 0.5698 9.1103 ((1 . 10) (2 . 12) (6 . 14) (8 . 15)) 5822 0.5714 3.2633 ((2 . 1) (3 . 4) (8 . 6) (11 . 8)) 5827 0.5712 5.7147 ((2 . 14) (3 . 15) (6 . 16) (8 . 17)) 5830 0.5704 8.2022 ((3 . 8) (5 . 9) (8 . 10) (11 . 13)) 5847 0.7133 6.0518 ((2 . 12) (3 . 13) (6 . 16) (8 . 17) (11 . 18)) 5861 0.3790 7.5311 ((2 . 12) (3 . 15) (6 . 17) (11 . 20)) 5865 0.5708 7.3331 ((2 . 1) (3 . 2) (6 . 5) (11 . 7)) 5878 0.4453 7.7510 ((1 . 24) (2 . 26) (3 . 28) (6 . 30)) 5888 0.5714 4.0719 ((2 . 8) (3 . 9) (6 . 10) (8 . 11)) 5896 0.5712 5.3634 ((2 . 28) (3 . 29) (5 . 30) (8 . 31)) 5904 0.5705 8.0163 ((1 . 3) (2 . 4) (6 . 7) (11 . 9)) 5913 0.5701 8.6683 ((2 . 6) (3 . 7) (6 . 9) (8 . 10)) 5914 0.5714 4.2018 ((2 . 2) (3 . 3) (5 . 4) (11 . 6)) 5922 0.5700 8.8982 ((2 . 8) (3 . 9) (8 . 11) (11 . 13)) 5930 0.5697 9.2641 ((1 . 5) (5 . 6) (8 . 9) (11 . 12)) 5939 0.2478 6.6480 ((2 . 4) (5 . 7) (6 . 8) (8 . 9)) 5945 0.3790 7.1648 ((1 . 34) (5 . 36) (6 . 37) (8 . 38)) 5949 0.5707 7.5588 ((2 . 4) (5 . 8) (6 . 9) (11 . 12)) 5955 0.5711 6.1073 ((1 . 13) (2 . 14) (3 . 16) (6 . 17)) 5972 0.5704 8.1994 ((1 . 1) (5 . 4) (8 . 6) (11 . 7)) 5977 0.2945 6.9505 ((1 . 2) (2 . 3) (6 . 5) (8 . 6)) 6000 0.2477 8.2837 ((1 . 27) (2 . 28) (5 . 30) (6 . 31)) 6011 0.5712 5.4932 ((2 . 7) (3 . 8) (6 . 9) (8 . 10)) 6022 0.5713 5.1499 ((2 . 1) (6 . 2) (8 . 4) (11 . 5)) 6029 0.5713 5.2291 ((2 . 5) (3 . 6) (5 . 7) (11 . 11)) 6041 0.5711 6.0732 ((1 . 9) (2 . 10) (3 . 11) (6 . 12)) 6046 0.5710 6.4235 ((3 . 2) (6 . 3) (8 . 5) (11 . 6)) 6061 0.5706 7.6460 ((1 . 16) (2 . 17) (8 . 20) (11 . 21)) 6074 0.5713 5.1610 ((1 . 1) (2 . 2) (6 . 4) (11 . 8)) 6075 0.5709 6.8138 ((1 . 23) (2 . 24) (6 . 27) (8 . 28)) 6079 0.5713 4.7891 ((2 . 6) (3 . 7) (6 . 8) (8 . 9)) 6087 0.2945 7.6865 ((1 . 2) (3 . 3) (5 . 4) (11 . 8)) 6094 0.5713 5.0209 ((2 . 2) (3 . 3) (6 . 5) (8 . 7)) 6099 0.7137 5.4623 ((2 . 18) (3 . 24) (6 . 25) (8 . 26) (11 . 27)) 6123 0.2945 7.5470 ((3 . 1) (6 . 3) (8 . 4) (11 . 5)) 6142 0.7096 9.0621 ((2 . 4) (3 . 5) (6 . 6) (8 . 7) (11 . 8)) 6148 0.5713 4.4940 ((3 . 32) (6 . 33) (8 . 36) (11 . 37)) 6167 0.5704 8.2501 ((2 . 9) (3 . 10) (6 . 12) (8 . 14)) 6173 0.7130 6.5763 ((2 . 5) (3 . 7) (6 . 8) (8 . 9) (11 . 13)) 6191 0.5711 5.9174 ((1 . 5) (6 . 6) (8 . 9) (11 . 10)) 6192 0.5705 7.8627 ((1 . 4) (5 . 7) (8 . 10) (11 . 11)) 6215 0.5711 6.0345 ((3 . 17) (6 . 18) (8 . 19) (11 . 20)) 6225 0.5709 6.9022 ((5 . 2) (6 . 3) (8 . 4) (11 . 5)) 6228 0.5710 6.4264 ((2 . 1) (5 . 2) (6 . 3) (11 . 7)) 6234 0.7140 4.2846 ((2 . 6) (3 . 7) (6 . 9) (8 . 10) (11 . 13)) 6238 0.5713 5.1763 ((2 . 4) (3 . 5) (8 . 8) (11 . 9)) 6243 0.1993 5.2883 ((1 . 5) (2 . 6) (5 . 7) (11 . 10)) 6258 0.3790 6.4600 ((1 . 5) (2 . 7) (6 . 9) (11 . 12)) 6261 0.5711 6.1828 ((2 . 1) (5 . 2) (6 . 3) (11 . 9)) 6266 0.5702 8.5743 ((1 . 4) (3 . 5) (5 . 7) (8 . 8)) 6270 0.2945 8.3993 ((2 . 17) (3 . 18) (5 . 19) (8 . 20)) 6271 0.5600 15.0837 ((2 . 1) (3 . 2) (8 . 5) (11 . 7)) 6273 0.1664 7.0921 ((1 . 5) (3 . 6) (6 . 7) (11 . 12)) 6294 0.4906 10.1816 ((1 . 5) (2 . 6) (6 . 9) (8 . 11)) 6306 0.5714 3.3994 ((2 . 15) (3 . 17) (8 . 19) (11 . 21)) 6311 0.5706 7.6543 ((2 . 4) (3 . 5) (8 . 9) (11 . 10)) 6326 0.5713 5.2165 ((2 . 9) (3 . 10) (6 . 11) (8 . 12)) 6338 0.5713 4.8460 ((3 . 1) (6 . 2) (8 . 4) (11 . 5)) 6344 0.4454 6.2781 ((2 . 12) (3 . 13) (6 . 15) (8 . 17)) 6355 0.5711 6.1313 ((1 . 3) (2 . 4) (3 . 6) (6 . 7)) 6356 0.3790 6.3153 ((1 . 2) (3 . 4) (5 . 5) (8 . 6)) 6369 0.5679 11.1498 ((1 . 28) (6 . 32) (8 . 33) (11 . 35)) 6376 0.5712 5.8374 ((1 . 16) (2 . 17) (6 . 19) (11 . 24)) 6391 0.5713 5.0829 ((2 . 6) (3 . 8) (6 . 10) (8 . 12)) 6392 0.1992 8.9756 ((1 . 2) (2 . 3) (5 . 5) (11 . 7)) 6399 0.5713 4.4809 ((2 . 14) (3 . 15) (6 . 16) (8 . 17)) 6403 0.7121 7.4836 ((2 . 1) (3 . 2) (6 . 3) (8 . 4) (11 . 7)) 6434 0.5712 5.3687 ((2 . 2) (3 . 3) (6 . 4) (8 . 5)) 6462 0.5712 5.3775 ((1 . 11) (2 . 12) (6 . 16) (11 . 18)) 6498 0.3783 12.6593 ((1 . 39) (6 . 42) (8 . 44) (11 . 45)) 6520 0.5712 5.4268 ((2 . 3) (3 . 6) (6 . 8) (8 . 9)) 6536 0.2945 7.5610 ((1 . 33) (5 . 34) (6 . 35) (8 . 36)) 6539 0.5707 7.4510 ((2 . 2) (5 . 3) (6 . 4) (8 . 5)) 6540 0.5713 4.8676 ((2 . 19) (3 . 20) (6 . 21) (8 . 22)) 6548 0.5713 4.7982 ((1 . 10) (2 . 12) (3 . 13) (5 . 14)) 6555 0.5711 5.9644 ((1 . 12) (2 . 13) (6 . 17) (11 . 20)) 6561 0.4737 5.8305 ((1 . 5) (2 . 9) (3 . 10) (5 . 11) (11 . 12)) 6573 0.5704 8.1881 ((1 . 20) (2 . 22) (3 . 23) (6 . 24)) 6578 0.5711 6.0950 ((2 . 31) (3 . 32) (6 . 34) (8 . 37)) 6584 0.5713 4.6864 ((1 . 4) (2 . 7) (3 . 8) (6 . 9)) 6585 0.2945 10.2912 ((1 . 7) (2 . 8) (6 . 10) (8 . 11)) 6587 0.2946 5.3591 ((1 . 28) (2 . 29) (6 . 33) (8 . 34)) 6598 0.7132 6.3188 ((2 . 24) (3 . 25) (6 . 26) (8 . 27) (11 . 28)) 6613 0.5708 7.2605 ((1 . 26) (2 . 27) (3 . 28) (11 . 32)) END