5411 25 0.5662 12.2931 ((1 . 5) (5 . 9) (8 . 11) (9 . 12)) 41 0.2945 5.7538 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 51 0.5709 6.9429 ((1 . 3) (3 . 6) (6 . 10) (8 . 11)) 62 0.5702 8.5611 ((5 . 9) (6 . 10) (8 . 12) (9 . 15)) 64 0.5697 9.3078 ((3 . 10) (6 . 13) (8 . 14) (9 . 16)) 77 0.5697 9.3247 ((5 . 12) (6 . 13) (8 . 15) (9 . 17)) 91 0.5684 10.7154 ((1 . 14) (3 . 16) (6 . 19) (9 . 22)) 96 0.5713 4.4588 ((3 . 1) (5 . 2) (6 . 3) (8 . 5)) 136 0.5713 4.9233 ((3 . 3) (5 . 4) (6 . 5) (8 . 7)) 150 0.5712 5.8039 ((2 . 21) (3 . 23) (5 . 24) (6 . 25)) 157 0.5701 8.7650 ((2 . 6) (6 . 9) (8 . 11) (9 . 12)) 161 0.5662 12.3225 ((5 . 1) (6 . 4) (8 . 6) (9 . 7)) 162 0.3789 8.3449 ((1 . 16) (3 . 17) (6 . 20) (8 . 22)) 177 0.5694 9.6387 ((3 . 5) (6 . 7) (8 . 8) (9 . 9)) 207 0.5711 6.2106 ((1 . 11) (3 . 13) (5 . 14) (6 . 15)) 300 0.1498 11.8031 ((1 . 3) (5 . 5) (6 . 7) (8 . 9)) 305 0.5714 3.4755 ((3 . 9) (5 . 10) (6 . 11) (8 . 15)) 307 0.5708 7.3166 ((2 . 6) (3 . 7) (5 . 8) (6 . 9)) 315 0.5676 11.3767 ((5 . 2) (6 . 5) (8 . 6) (9 . 7)) 360 0.5687 10.4830 ((3 . 8) (6 . 10) (8 . 12) (9 . 13)) 361 0.5705 7.8888 ((3 . 2) (5 . 3) (6 . 4) (9 . 6)) 365 0.5705 7.9827 ((3 . 1) (6 . 3) (8 . 4) (9 . 7)) 367 0.5709 6.8293 ((1 . 41) (3 . 44) (6 . 47) (8 . 48)) 433 0.5712 5.4741 ((3 . 7) (5 . 8) (6 . 9) (8 . 10)) 442 0.7112 8.1607 ((3 . 6) (5 . 9) (6 . 10) (8 . 12) (9 . 13)) 460 0.1992 9.4209 ((1 . 4) (3 . 6) (5 . 9) (6 . 8)) 472 0.5711 6.3300 ((1 . 28) (2 . 29) (3 . 31) (5 . 33)) 495 0.5707 7.5323 ((1 . 2) (3 . 5) (5 . 6) (6 . 7)) 541 0.5706 7.7297 ((3 . 11) (5 . 13) (6 . 14) (8 . 16)) 543 0.5708 7.1027 ((1 . 3) (3 . 5) (6 . 8) (8 . 10)) 561 0.7130 6.5011 ((3 . 1) (5 . 2) (6 . 3) (8 . 4) (9 . 5)) 584 0.5700 8.8604 ((5 . 2) (6 . 3) (8 . 4) (9 . 6)) 587 0.5698 9.2172 ((3 . 13) (6 . 15) (8 . 16) (9 . 17)) 609 0.5701 8.7601 ((3 . 1) (5 . 2) (6 . 3) (9 . 5)) 619 0.2945 8.2266 ((1 . 14) (5 . 17) (6 . 18) (8 . 20)) 624 0.8092 13.3122 ((1 . 21) (3 . 22) (5 . 23) (6 . 24) (8 . 26) (9 . 27)) 635 0.5705 8.0638 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 672 0.2945 9.4113 ((2 . 19) (6 . 22) (8 . 23) (9 . 25)) 678 0.5708 7.0912 ((1 . 21) (3 . 24) (5 . 25) (6 . 26)) 719 0.5704 8.0757 ((3 . 25) (5 . 29) (6 . 27) (8 . 30)) 729 0.5712 5.5283 ((2 . 12) (3 . 13) (5 . 14) (6 . 15)) 735 0.5712 5.8476 ((2 . 30) (3 . 31) (6 . 33) (8 . 36)) 740 0.1993 6.8684 ((2 . 1) (3 . 2) (6 . 5) (8 . 7)) 767 0.5712 5.8193 ((3 . 1) (5 . 2) (6 . 3) (8 . 8)) 795 0.5714 2.3353 ((3 . 3) (5 . 4) (6 . 5) (8 . 6)) 796 0.7128 6.7589 ((3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7)) 812 0.5711 6.0206 ((1 . 10) (3 . 11) (5 . 12) (6 . 13)) 818 0.5711 6.0993 ((2 . 9) (3 . 10) (5 . 11) (6 . 12)) 901 0.7087 9.4618 ((1 . 13) (2 . 14) (3 . 15) (5 . 16) (6 . 17)) 904 0.7139 4.8180 ((2 . 1) (3 . 3) (5 . 5) (6 . 6) (8 . 7)) 913 0.5709 6.9510 ((1 . 15) (3 . 17) (5 . 18) (8 . 20)) 928 0.5712 5.4896 ((1 . 9) (3 . 10) (5 . 11) (6 . 12)) 937 0.7129 6.6428 ((3 . 1) (5 . 3) (6 . 4) (8 . 5) (9 . 6)) 943 0.7139 4.6812 ((2 . 10) (3 . 12) (5 . 13) (6 . 14) (8 . 15)) 945 0.5698 9.1825 ((1 . 16) (3 . 19) (5 . 21) (6 . 22)) 949 0.5707 7.5522 ((3 . 27) (6 . 30) (8 . 32) (9 . 33)) 960 0.5711 5.9009 ((1 . 16) (3 . 19) (5 . 20) (6 . 21)) 978 0.5712 5.5244 ((1 . 15) (3 . 16) (5 . 18) (6 . 19)) 980 0.5711 6.3086 ((1 . 6) (3 . 7) (5 . 8) (6 . 9)) 1007 0.5690 10.1065 ((2 . 15) (3 . 17) (6 . 19) (9 . 22)) 1008 0.5691 10.0049 ((2 . 1) (6 . 5) (8 . 8) (9 . 11)) 1034 0.5713 5.1976 ((1 . 27) (3 . 29) (5 . 31) (6 . 32)) 1043 0.5704 8.1611 ((3 . 6) (5 . 9) (6 . 10) (9 . 15)) 1082 0.5689 10.2558 ((2 . 14) (3 . 16) (6 . 19) (9 . 20)) 1084 0.5692 9.9111 ((1 . 2) (3 . 3) (6 . 8) (8 . 9)) 1165 0.5707 7.3788 ((2 . 6) (3 . 7) (5 . 9) (6 . 10)) 1167 0.2944 12.2205 ((1 . 24) (3 . 27) (5 . 28) (9 . 29)) 1201 0.7140 4.5241 ((2 . 5) (3 . 7) (5 . 8) (6 . 9) (8 . 11)) 1204 0.7133 6.1359 ((3 . 5) (5 . 6) (6 . 11) (8 . 25) (9 . 32)) 1211 0.5705 7.8924 ((3 . 5) (5 . 7) (6 . 8) (8 . 9)) 1217 0.5680 11.0217 ((1 . 2) (3 . 5) (5 . 8) (8 . 11)) 1224 0.5710 6.7014 ((3 . 10) (5 . 11) (6 . 14) (8 . 15)) 1233 0.5712 5.7025 ((2 . 19) (3 . 20) (5 . 21) (6 . 22)) 1267 0.5713 5.0022 ((2 . 34) (3 . 36) (5 . 37) (6 . 38)) 1268 0.5662 12.2913 ((1 . 5) (2 . 8) (5 . 10) (9 . 15)) 1294 0.5707 7.4667 ((3 . 42) (5 . 45) (6 . 46) (8 . 47)) 1301 0.1664 12.0739 ((1 . 2) (2 . 3) (5 . 6) (9 . 8)) 1345 0.5710 6.6933 ((1 . 8) (3 . 9) (5 . 10) (6 . 12)) 1366 0.5714 3.5037 ((3 . 12) (5 . 13) (6 . 14) (8 . 15)) 1388 0.7136 5.5315 ((3 . 1) (5 . 3) (6 . 4) (8 . 5) (9 . 7)) 1425 0.5714 3.2838 ((3 . 4) (5 . 7) (6 . 8) (8 . 10)) 1435 0.5709 7.0281 ((2 . 7) (3 . 6) (5 . 9) (8 . 11)) 1447 0.7114 8.0361 ((3 . 1) (5 . 2) (6 . 3) (8 . 7) (9 . 12)) 1451 0.7112 8.1373 ((3 . 1) (5 . 2) (6 . 3) (8 . 4) (9 . 7)) 1472 0.1498 10.3155 ((1 . 1) (6 . 7) (8 . 8) (9 . 10)) 1476 0.5714 4.0463 ((2 . 17) (3 . 18) (5 . 19) (6 . 20)) 1501 0.5701 8.7884 ((3 . 6) (6 . 8) (8 . 9) (9 . 10)) 1513 0.5712 5.3172 ((1 . 9) (3 . 11) (5 . 12) (6 . 13)) 1514 0.7122 7.4166 ((3 . 1) (5 . 2) (6 . 3) (8 . 4) (9 . 5)) 1577 0.5703 8.2851 ((2 . 1) (5 . 2) (6 . 3) (8 . 4)) 1591 0.5714 4.1145 ((2 . 3) (3 . 4) (5 . 5) (6 . 6)) 1595 0.5712 5.5273 ((1 . 2) (5 . 6) (6 . 7) (8 . 8)) 1604 0.5712 5.7641 ((1 . 6) (3 . 7) (5 . 9) (6 . 10)) 1622 0.7133 6.1252 ((1 . 19) (3 . 20) (5 . 21) (6 . 22) (8 . 23)) 1624 0.7115 7.9603 ((1 . 1) (3 . 3) (6 . 5) (8 . 8) (9 . 11)) 1643 0.5707 7.4372 ((3 . 34) (5 . 35) (6 . 37) (8 . 38)) 1665 0.5711 6.2611 ((1 . 7) (3 . 8) (5 . 9) (6 . 10)) 1690 0.5707 7.3910 ((2 . 9) (5 . 12) (6 . 13) (8 . 14)) 1692 0.1992 9.0378 ((1 . 4) (3 . 7) (6 . 8) (8 . 9)) 1731 0.5711 6.2693 ((1 . 7) (5 . 11) (6 . 12) (8 . 13)) 1736 0.5707 7.5209 ((1 . 6) (3 . 10) (5 . 11) (6 . 12)) 1738 0.7119 7.6065 ((1 . 5) (3 . 9) (5 . 10) (6 . 11) (8 . 13)) 1747 0.5702 8.6025 ((1 . 22) (3 . 24) (6 . 27) (8 . 28)) 1761 0.7136 5.6603 ((1 . 14) (3 . 16) (5 . 18) (6 . 19) (8 . 20)) 1776 0.5708 7.3517 ((2 . 11) (5 . 13) (6 . 15) (8 . 16)) 1778 0.5700 8.9156 ((3 . 2) (6 . 4) (8 . 5) (9 . 6)) 1793 0.5685 10.6646 ((1 . 9) (3 . 11) (6 . 13) (8 . 14)) 1805 0.5714 4.2266 ((3 . 4) (5 . 5) (6 . 9) (8 . 10)) 1808 0.5712 5.6272 ((3 . 5) (5 . 7) (6 . 8) (8 . 9)) 1867 0.5695 9.5908 ((3 . 1) (6 . 3) (8 . 6) (9 . 8)) 1894 0.2941 15.1237 ((1 . 15) (2 . 16) (6 . 21) (9 . 24)) 1896 0.5709 6.9763 ((3 . 3) (5 . 4) (6 . 5) (9 . 10)) 1897 0.5688 10.3910 ((2 . 36) (5 . 38) (6 . 39) (8 . 40)) 1908 0.5714 3.3397 ((3 . 10) (5 . 14) (6 . 15) (8 . 17)) 1909 0.5691 10.0464 ((3 . 29) (5 . 30) (6 . 31) (9 . 36)) 1913 0.5712 5.7463 ((3 . 1) (5 . 2) (6 . 3) (8 . 6)) 1944 0.5695 9.5202 ((2 . 8) (3 . 9) (6 . 13) (9 . 14)) 1957 0.5708 7.1070 ((1 . 14) (3 . 17) (5 . 18) (6 . 19)) 1961 0.7081 9.6991 ((3 . 16) (5 . 18) (6 . 19) (8 . 20) (9 . 25)) 1967 0.5669 11.8853 ((1 . 6) (5 . 11) (6 . 13) (9 . 15)) 1972 0.5703 8.4392 ((1 . 21) (3 . 24) (5 . 25) (6 . 27)) 1992 0.7136 5.4933 ((2 . 8) (3 . 9) (5 . 10) (6 . 12) (8 . 14)) 1995 0.5694 9.7081 ((3 . 2) (5 . 5) (6 . 7) (8 . 8)) 2006 0.5657 12.5971 ((3 . 18) (6 . 21) (8 . 22) (9 . 23)) 2045 0.3789 8.5237 ((1 . 5) (2 . 9) (3 . 8) (8 . 13)) 2048 0.5711 6.3416 ((2 . 3) (3 . 4) (5 . 5) (6 . 6)) 2065 0.5701 8.7144 ((1 . 15) (3 . 17) (6 . 22) (8 . 23)) 2067 0.5583 15.6293 ((1 . 48) (3 . 50) (5 . 52) (9 . 58)) 2072 0.5650 12.9850 ((1 . 3) (3 . 7) (5 . 8) (9 . 9)) 2081 0.5700 8.8985 ((2 . 15) (5 . 18) (6 . 19) (8 . 20)) 2083 0.5690 10.1727 ((3 . 2) (5 . 3) (6 . 4) (9 . 8)) 2097 0.5611 14.6937 ((2 . 2) (6 . 5) (8 . 7) (9 . 10)) 2114 0.5703 8.3264 ((5 . 30) (6 . 32) (8 . 34) (9 . 37)) 2117 0.5711 6.0884 ((1 . 8) (3 . 12) (5 . 13) (6 . 14)) 2118 0.5714 3.4657 ((1 . 8) (5 . 10) (6 . 11) (8 . 12)) 2122 0.5689 10.2094 ((1 . 9) (3 . 10) (5 . 11) (6 . 12)) 2166 0.7030 11.3388 ((1 . 5) (5 . 10) (6 . 12) (8 . 13) (9 . 14)) 2179 0.5714 4.2524 ((3 . 1) (5 . 3) (6 . 5) (8 . 6)) 2203 0.7128 6.7626 ((3 . 1) (5 . 3) (6 . 5) (8 . 7) (9 . 8)) 2205 0.5705 7.9884 ((3 . 17) (6 . 19) (8 . 22) (9 . 24)) 2209 0.5712 5.4247 ((1 . 2) (3 . 3) (5 . 4) (6 . 5)) 2243 0.5693 9.8521 ((3 . 42) (6 . 45) (8 . 47) (9 . 48)) 2248 0.5708 7.1334 ((2 . 23) (5 . 26) (6 . 27) (8 . 28)) 2249 0.7137 5.3054 ((1 . 14) (3 . 16) (5 . 19) (6 . 21) (8 . 23)) 2269 0.5677 11.2777 ((1 . 2) (2 . 4) (6 . 7) (9 . 9)) 2279 0.7090 9.3138 ((3 . 5) (5 . 6) (6 . 7) (8 . 9) (9 . 12)) 2298 0.5713 5.2034 ((2 . 9) (3 . 10) (5 . 11) (6 . 12)) 2308 0.5681 10.9857 ((2 . 3) (3 . 4) (8 . 8) (9 . 10)) 2340 0.5713 4.5742 ((3 . 9) (5 . 10) (6 . 11) (8 . 13)) 2344 0.5700 8.9252 ((3 . 3) (5 . 5) (6 . 6) (9 . 9)) 2364 0.5712 5.3598 ((1 . 6) (3 . 7) (5 . 8) (6 . 9)) 2381 0.5710 6.6084 ((2 . 2) (3 . 3) (6 . 5) (8 . 6)) 2389 0.5712 5.5023 ((2 . 2) (3 . 3) (6 . 6) (8 . 7)) 2409 0.5712 5.3556 ((1 . 1) (3 . 3) (6 . 5) (8 . 8)) 2410 0.5714 3.8249 ((3 . 13) (5 . 15) (6 . 16) (8 . 17)) 2422 0.5705 8.0004 ((3 . 1) (5 . 2) (6 . 4) (8 . 6)) 2423 0.5707 7.5692 ((3 . 14) (6 . 16) (8 . 17) (9 . 18)) 2440 0.5687 10.3948 ((3 . 4) (5 . 5) (8 . 7) (9 . 10)) 2443 0.5685 10.6632 ((1 . 1) (2 . 2) (5 . 3) (9 . 6)) 2447 0.5712 5.3955 ((1 . 27) (2 . 29) (3 . 30) (5 . 32)) 2462 0.5714 3.2189 ((3 . 7) (5 . 10) (6 . 11) (8 . 12)) 2510 0.5712 5.2735 ((2 . 22) (3 . 23) (5 . 26) (6 . 27)) 2519 0.1498 8.6017 ((1 . 1) (3 . 2) (8 . 5) (9 . 6)) 2525 0.5700 8.9278 ((3 . 43) (5 . 46) (6 . 47) (8 . 48)) 2529 0.7113 8.0745 ((3 . 1) (5 . 2) (6 . 3) (8 . 5) (9 . 7)) 2533 0.7108 8.4233 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (6 . 6)) 2551 0.5694 9.6924 ((1 . 6) (5 . 10) (6 . 11) (8 . 12)) 2552 0.5699 9.0220 ((3 . 3) (5 . 4) (6 . 5) (9 . 7)) 2556 0.5710 6.5599 ((1 . 17) (3 . 20) (5 . 21) (6 . 22)) 2557 0.1332 6.7134 ((1 . 1) (3 . 3) (6 . 6) (8 . 7)) 2595 0.5711 6.0616 ((1 . 5) (3 . 6) (5 . 7) (6 . 9)) 2619 0.5712 5.4622 ((1 . 4) (3 . 5) (5 . 6) (6 . 7)) 2627 0.1498 13.1705 ((2 . 57) (5 . 59) (6 . 60) (9 . 62)) 2650 0.5689 10.1944 ((2 . 4) (3 . 5) (6 . 7) (8 . 8)) 2658 0.5688 10.3465 ((1 . 6) (5 . 11) (6 . 12) (8 . 13)) 2675 0.5697 9.3635 ((2 . 2) (3 . 3) (6 . 5) (8 . 8)) 2682 0.5706 7.7795 ((1 . 6) (6 . 12) (8 . 13) (9 . 16)) 2696 0.5712 5.4185 ((3 . 31) (5 . 33) (6 . 38) (8 . 39)) 2703 0.2477 11.4866 ((1 . 1) (2 . 2) (5 . 4) (9 . 6)) 2731 0.7132 6.2517 ((3 . 1) (5 . 3) (6 . 4) (8 . 5) (9 . 6)) 2733 0.5709 6.7978 ((1 . 5) (3 . 8) (5 . 9) (6 . 11)) 2753 0.2477 9.6473 ((1 . 4) (2 . 6) (5 . 7) (9 . 10)) 2755 0.5713 4.9877 ((1 . 2) (3 . 3) (5 . 4) (6 . 5)) 2773 0.7126 7.0182 ((3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7)) 2783 0.5702 8.5690 ((5 . 4) (6 . 6) (8 . 7) (9 . 9)) 2804 0.2944 12.4661 ((1 . 35) (3 . 36) (5 . 37) (8 . 40)) 2821 0.5712 5.4723 ((2 . 10) (3 . 11) (5 . 12) (6 . 13)) 2830 0.5697 9.2406 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 2834 0.5714 3.7094 ((3 . 1) (5 . 2) (6 . 3) (8 . 5)) 2840 0.5698 9.1079 ((3 . 1) (5 . 3) (6 . 5) (9 . 10)) 2842 0.5713 4.8082 ((3 . 1) (5 . 3) (6 . 4) (8 . 5)) 2879 0.5713 4.6130 ((3 . 53) (5 . 55) (6 . 56) (8 . 59)) 2929 0.7123 7.2498 ((3 . 36) (5 . 38) (6 . 39) (8 . 40) (9 . 41)) 2940 0.5699 9.0137 ((3 . 1) (5 . 2) (6 . 3) (8 . 4)) 2947 0.5714 1.8570 ((3 . 4) (5 . 5) (6 . 6) (8 . 7)) 2966 0.5709 6.8154 ((2 . 2) (3 . 3) (6 . 6) (8 . 8)) 2990 0.5714 3.5079 ((3 . 12) (5 . 13) (6 . 14) (8 . 15)) 2999 0.7140 4.3307 ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (8 . 7)) 3014 0.2477 11.9486 ((1 . 9) (2 . 10) (5 . 12) (9 . 15)) 3019 0.7116 7.8656 ((3 . 20) (5 . 21) (6 . 22) (8 . 25) (9 . 26)) 3034 0.5711 6.3111 ((1 . 6) (3 . 7) (5 . 8) (6 . 9)) 3041 0.7127 6.9211 ((3 . 30) (5 . 31) (6 . 32) (8 . 33) (9 . 34)) 3063 0.5710 6.6438 ((1 . 34) (3 . 37) (6 . 39) (8 . 41)) 3070 0.7140 4.2705 ((1 . 30) (3 . 33) (5 . 34) (6 . 35) (8 . 36)) 3084 0.5713 5.0526 ((1 . 12) (3 . 13) (5 . 14) (6 . 15)) 3102 0.5696 9.4192 ((1 . 64) (3 . 67) (6 . 69) (8 . 70)) 3103 0.5701 8.7144 ((3 . 1) (6 . 3) (8 . 5) (9 . 6)) 3114 0.5697 9.3492 ((3 . 22) (6 . 24) (8 . 25) (9 . 27)) 3120 0.5708 7.2013 ((5 . 20) (6 . 21) (8 . 22) (9 . 24)) 3127 0.5684 10.7224 ((1 . 7) (3 . 11) (6 . 13) (9 . 18)) 3176 0.5701 8.7678 ((1 . 22) (6 . 27) (8 . 29) (9 . 31)) 3187 0.5710 6.6576 ((3 . 3) (6 . 5) (8 . 6) (9 . 8)) 3190 0.5710 6.4010 ((1 . 7) (3 . 9) (5 . 10) (6 . 11)) 3197 0.5711 5.9639 ((1 . 11) (3 . 12) (5 . 13) (6 . 14)) 3200 0.5690 10.1076 ((2 . 12) (3 . 13) (5 . 14) (6 . 15)) 3202 0.4421 15.0891 ((1 . 23) (2 . 24) (5 . 27) (9 . 30)) 3212 0.5709 6.8172 ((3 . 5) (5 . 7) (8 . 9) (9 . 11)) 3222 0.7133 6.0637 ((3 . 6) (5 . 9) (6 . 15) (8 . 16) (9 . 17)) 3256 0.5702 8.4533 ((1 . 15) (3 . 20) (6 . 25) (8 . 26)) 3261 0.5689 10.2618 ((5 . 5) (6 . 6) (8 . 7) (9 . 10)) 3286 0.5704 8.0702 ((3 . 7) (5 . 8) (6 . 9) (9 . 11)) 3322 0.5698 9.1225 ((3 . 3) (5 . 6) (6 . 7) (9 . 10)) 3334 0.2945 9.0371 ((2 . 11) (5 . 12) (6 . 14) (8 . 15)) 3339 0.5714 4.2815 ((3 . 9) (5 . 10) (6 . 19) (8 . 22)) 3358 0.5707 7.4499 ((1 . 9) (3 . 10) (5 . 11) (6 . 12)) 3362 0.5708 7.1004 ((1 . 5) (3 . 6) (5 . 7) (6 . 8)) 3391 0.5933 8.0766 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 6)) 3410 0.5694 9.7272 ((1 . 23) (3 . 28) (5 . 29) (6 . 30)) 3481 0.5710 6.5031 ((3 . 2) (5 . 3) (6 . 4) (8 . 7)) 3495 0.5661 12.3825 ((2 . 5) (5 . 6) (6 . 7) (8 . 8)) 3496 0.7133 6.0845 ((3 . 19) (5 . 21) (6 . 22) (8 . 23) (9 . 24)) 3533 0.5704 8.2008 ((3 . 5) (5 . 6) (6 . 7) (8 . 10)) 3537 0.5677 11.2739 ((3 . 2) (5 . 3) (6 . 5) (8 . 6)) 3538 0.1498 11.4547 ((1 . 17) (3 . 20) (5 . 21) (9 . 27)) 3548 0.3786 11.0088 ((2 . 7) (3 . 8) (6 . 10) (9 . 11)) 3549 0.5688 10.3297 ((3 . 1) (6 . 2) (8 . 3) (9 . 7)) 3561 0.7090 9.3544 ((1 . 23) (3 . 26) (5 . 27) (6 . 28) (8 . 30)) 3570 0.5708 7.2791 ((3 . 1) (5 . 2) (6 . 3) (8 . 4)) 3585 0.5714 4.0868 ((3 . 6) (5 . 7) (6 . 8) (8 . 16)) 3626 0.3790 5.2962 ((2 . 1) (3 . 2) (6 . 6) (8 . 8)) 3628 0.7137 5.4735 ((1 . 5) (3 . 6) (5 . 7) (6 . 8) (8 . 9)) 3651 0.5711 6.3449 ((1 . 2) (3 . 3) (5 . 4) (6 . 5)) 3656 0.5696 9.4193 ((5 . 21) (6 . 22) (8 . 23) (9 . 25)) 3658 0.5709 7.0636 ((1 . 2) (3 . 5) (6 . 7) (8 . 8)) 3659 0.2945 10.2359 ((2 . 6) (3 . 8) (8 . 12) (9 . 14)) 3661 0.5693 9.7561 ((3 . 7) (6 . 11) (8 . 12) (9 . 13)) 3697 0.5695 9.5350 ((5 . 5) (6 . 6) (8 . 7) (9 . 8)) 3703 0.5689 10.1970 ((3 . 1) (6 . 2) (8 . 4) (9 . 5)) 3732 0.5712 5.7051 ((3 . 5) (5 . 8) (6 . 9) (8 . 11)) 3733 0.5709 6.8084 ((1 . 4) (3 . 6) (5 . 7) (6 . 8)) 3740 0.5695 9.5021 ((3 . 3) (6 . 5) (8 . 6) (9 . 8)) 3741 0.5698 9.1494 ((3 . 1) (6 . 3) (8 . 4) (9 . 5)) 3778 0.5714 2.8823 ((3 . 4) (5 . 5) (6 . 6) (8 . 7)) 3787 0.5713 4.6955 ((2 . 26) (3 . 29) (5 . 30) (6 . 31)) 3790 0.5713 4.7926 ((2 . 17) (3 . 18) (6 . 21) (8 . 22)) 3817 0.5712 5.5933 ((1 . 3) (3 . 5) (5 . 6) (6 . 7)) 3818 0.5705 8.0311 ((2 . 24) (5 . 27) (6 . 28) (8 . 29)) 3829 0.2944 11.2185 ((1 . 3) (2 . 4) (5 . 7) (9 . 11)) 3831 0.5689 10.1973 ((5 . 4) (6 . 5) (8 . 6) (9 . 7)) 3834 0.1992 12.2100 ((1 . 4) (2 . 5) (5 . 6) (9 . 8)) 3847 0.5703 8.2817 ((2 . 11) (5 . 15) (6 . 16) (8 . 17)) 3849 0.5688 10.3625 ((3 . 1) (6 . 2) (8 . 3) (9 . 7)) 3853 0.5708 7.2003 ((1 . 9) (3 . 12) (5 . 13) (6 . 14)) 3870 0.5711 6.0727 ((1 . 7) (3 . 8) (5 . 9) (6 . 10)) 3938 0.5708 7.0882 ((5 . 5) (6 . 6) (8 . 8) (9 . 12)) 3968 0.5712 5.4183 ((2 . 8) (3 . 9) (5 . 10) (6 . 11)) 3986 0.5712 5.4103 ((2 . 16) (5 . 20) (6 . 21) (8 . 25)) 3990 0.5698 9.2334 ((1 . 17) (3 . 18) (6 . 22) (8 . 23)) 4005 0.5701 8.7030 ((3 . 25) (5 . 28) (6 . 29) (8 . 30)) 4009 0.1992 12.5045 ((1 . 20) (2 . 24) (3 . 23) (5 . 25)) 4011 0.1498 8.8793 ((1 . 2) (2 . 3) (5 . 5) (9 . 6)) 4019 0.5711 6.1393 ((1 . 40) (3 . 42) (6 . 44) (8 . 46)) 4034 0.5711 6.2673 ((3 . 13) (5 . 14) (6 . 15) (8 . 16)) 4037 0.5695 9.6128 ((3 . 1) (6 . 2) (8 . 3) (9 . 4)) 4062 0.5689 10.2103 ((2 . 44) (6 . 48) (8 . 49) (9 . 52)) 4067 0.5713 4.5332 ((1 . 11) (3 . 14) (5 . 15) (6 . 16)) 4077 0.1498 11.3357 ((2 . 7) (6 . 10) (8 . 11) (9 . 12)) 4082 0.5703 8.3006 ((2 . 3) (3 . 5) (6 . 7) (8 . 8)) 4087 0.5707 7.3568 ((2 . 4) (3 . 5) (6 . 7) (8 . 8)) 4115 0.5714 4.1038 ((2 . 16) (3 . 17) (5 . 18) (6 . 19)) 4151 0.5711 6.1960 ((1 . 14) (3 . 15) (5 . 16) (6 . 17)) 4177 0.4453 8.0000 ((1 . 4) (2 . 6) (3 . 7) (6 . 9)) 4190 0.5704 8.2063 ((1 . 2) (5 . 7) (6 . 8) (8 . 9)) 4192 0.5704 8.2549 ((2 . 18) (3 . 19) (5 . 20) (8 . 22)) 4194 0.5706 7.6840 ((2 . 2) (5 . 4) (6 . 5) (8 . 6)) 4204 0.7094 9.1702 ((1 . 6) (3 . 11) (5 . 12) (6 . 13) (8 . 15)) 4209 0.5698 9.1420 ((2 . 3) (5 . 6) (6 . 7) (9 . 11)) 4210 0.5712 5.6255 ((2 . 7) (3 . 8) (5 . 9) (6 . 10)) 4226 0.5714 2.3810 ((3 . 16) (5 . 17) (6 . 18) (8 . 19)) 4236 0.0999 11.3549 ((3 . 7) (5 . 11) (6 . 10) (9 . 13)) 4254 0.5701 8.6975 ((2 . 12) (3 . 13) (5 . 14) (6 . 15)) 4255 0.7121 7.4685 ((3 . 21) (5 . 22) (6 . 23) (8 . 24) (9 . 25)) 4265 0.5698 9.2092 ((3 . 23) (5 . 25) (6 . 26) (9 . 27)) 4266 0.5709 7.0610 ((1 . 3) (3 . 4) (5 . 5) (6 . 6)) 4274 0.5714 2.3708 ((3 . 38) (5 . 39) (6 . 40) (8 . 41)) 4275 0.5712 5.4926 ((3 . 23) (5 . 24) (6 . 25) (8 . 27)) 4281 0.2976 10.9620 ((1 . 6) (3 . 8) (5 . 9) (8 . 10) (9 . 16)) 4284 0.7083 9.6230 ((3 . 1) (5 . 2) (6 . 5) (8 . 6) (9 . 7)) 4299 0.5711 6.0228 ((2 . 13) (3 . 14) (6 . 16) (8 . 19)) 4326 0.5712 5.5138 ((2 . 14) (3 . 15) (5 . 16) (6 . 19)) 4332 0.5708 7.1420 ((5 . 1) (6 . 2) (8 . 4) (9 . 5)) 4338 0.0999 11.3856 ((3 . 1) (5 . 5) (6 . 4) (9 . 9)) 4352 0.5701 8.7788 ((1 . 3) (2 . 4) (6 . 9) (8 . 10)) 4380 0.5711 6.1328 ((2 . 27) (3 . 29) (6 . 31) (8 . 32)) 4386 0.5934 7.7988 ((1 . 7) (2 . 8) (6 . 9) (8 . 10) (9 . 14)) 4388 0.7140 4.3771 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6)) 4398 0.5709 7.0476 ((2 . 2) (3 . 4) (5 . 5) (6 . 6)) 4405 0.7107 8.4729 ((3 . 14) (5 . 17) (6 . 18) (8 . 19) (9 . 20)) 4408 0.5695 9.5969 ((3 . 4) (6 . 6) (8 . 7) (9 . 10)) 4415 0.7128 6.7257 ((3 . 1) (5 . 2) (6 . 3) (8 . 4) (9 . 5)) 4419 0.5700 8.7987 ((2 . 2) (6 . 8) (8 . 9) (9 . 11)) 4426 0.7104 8.6208 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (9 . 5)) 4470 0.7108 8.4018 ((1 . 13) (3 . 14) (5 . 17) (6 . 18) (8 . 19)) 4491 0.7126 7.0162 ((3 . 1) (5 . 4) (6 . 5) (8 . 6) (9 . 7)) 4492 0.7140 4.4767 ((2 . 19) (3 . 21) (5 . 22) (6 . 23) (8 . 26)) 4495 0.5713 5.1240 ((1 . 5) (3 . 6) (5 . 7) (6 . 8)) 4497 0.5711 5.9363 ((1 . 20) (3 . 24) (6 . 26) (8 . 27)) 4502 0.7132 6.2572 ((1 . 3) (3 . 6) (5 . 7) (6 . 9) (8 . 10)) 4503 0.5710 6.6531 ((2 . 2) (3 . 10) (6 . 6) (8 . 7)) 4504 0.7099 8.9075 ((2 . 2) (3 . 4) (5 . 5) (6 . 6) (8 . 8)) 4505 0.5712 5.3304 ((1 . 27) (3 . 28) (5 . 29) (6 . 30)) 4516 0.5709 6.9168 ((1 . 15) (3 . 18) (5 . 19) (6 . 20)) 4538 0.5701 8.6613 ((1 . 29) (3 . 31) (8 . 37) (9 . 39)) 4560 0.5712 5.6470 ((1 . 10) (3 . 11) (5 . 12) (6 . 14)) 4561 0.5712 5.3496 ((2 . 4) (3 . 5) (5 . 6) (6 . 7)) 4562 0.5696 9.4439 ((1 . 21) (3 . 25) (5 . 26) (6 . 27)) 4563 0.6954 12.9990 ((1 . 25) (2 . 27) (3 . 28) (5 . 30) (6 . 31)) 4577 0.5672 11.6465 ((3 . 50) (6 . 52) (8 . 54) (9 . 56)) 4579 0.3781 13.5166 ((1 . 3) (2 . 5) (5 . 6) (9 . 11)) 4588 0.5714 3.5311 ((3 . 3) (5 . 4) (6 . 7) (8 . 8)) 4589 0.5710 6.4549 ((3 . 25) (5 . 26) (6 . 27) (8 . 30)) 4607 0.3785 11.7946 ((1 . 5) (2 . 8) (5 . 11) (9 . 16)) 4621 0.2945 9.3943 ((2 . 1) (5 . 2) (6 . 4) (9 . 5)) 4630 0.5691 10.0281 ((3 . 33) (6 . 36) (8 . 38) (9 . 37)) 4648 0.0999 7.7242 ((3 . 1) (6 . 5) (8 . 8) (9 . 7)) 4668 0.5713 4.6624 ((2 . 6) (3 . 7) (5 . 8) (6 . 9)) 4669 0.5710 6.5233 ((1 . 18) (3 . 19) (5 . 20) (6 . 21)) 4671 0.5708 7.0736 ((1 . 3) (3 . 6) (6 . 7) (8 . 21)) 4674 0.5705 7.8729 ((1 . 4) (2 . 5) (3 . 6) (6 . 9)) 4678 0.5650 12.9814 ((1 . 5) (5 . 9) (6 . 10) (8 . 12)) 4713 0.5713 5.0653 ((1 . 1) (3 . 3) (6 . 5) (8 . 8)) 4715 0.2945 9.8826 ((1 . 1) (3 . 3) (8 . 6) (9 . 9)) 4731 0.2945 9.4874 ((1 . 17) (5 . 20) (6 . 22) (8 . 23)) 4857 0.5714 4.0167 ((3 . 3) (5 . 4) (6 . 5) (8 . 13)) 4886 0.5694 9.7455 ((3 . 17) (5 . 18) (6 . 19) (9 . 20)) 4888 0.5702 8.4739 ((3 . 1) (5 . 2) (6 . 4) (9 . 6)) 4889 0.5713 4.3749 ((3 . 4) (5 . 5) (6 . 6) (8 . 7)) 4921 0.5706 7.7982 ((3 . 9) (5 . 11) (6 . 12) (8 . 14)) 4932 0.5698 9.1129 ((5 . 3) (6 . 5) (8 . 6) (9 . 7)) 4940 0.5711 6.2360 ((3 . 3) (5 . 5) (6 . 6) (8 . 8)) 4944 0.7128 6.8075 ((1 . 10) (3 . 11) (5 . 12) (6 . 14) (8 . 15)) 4961 0.5708 7.1032 ((1 . 13) (2 . 16) (3 . 17) (6 . 20)) 4963 0.5699 8.9784 ((1 . 5) (2 . 6) (5 . 9) (9 . 10)) 4978 0.7099 8.8994 ((3 . 18) (5 . 20) (6 . 21) (8 . 22) (9 . 26)) 4982 0.5707 7.5874 ((3 . 10) (5 . 11) (6 . 12) (9 . 15)) 4992 0.7130 6.5409 ((1 . 4) (3 . 6) (5 . 7) (6 . 8) (8 . 9)) 4998 0.5711 6.2841 ((1 . 21) (3 . 23) (5 . 24) (6 . 25)) 5029 0.5701 8.7796 ((2 . 3) (3 . 4) (5 . 7) (6 . 8)) 5039 0.5711 6.2107 ((1 . 40) (5 . 43) (6 . 44) (8 . 45)) 5046 0.5705 8.0300 ((3 . 1) (6 . 4) (8 . 7) (9 . 9)) 5053 0.5687 10.4121 ((1 . 1) (3 . 6) (5 . 7) (8 . 9)) 5065 0.5712 5.3009 ((1 . 1) (6 . 8) (8 . 9) (9 . 12)) 5068 0.5712 5.3697 ((2 . 11) (3 . 12) (6 . 15) (8 . 16)) 5069 0.5711 6.0707 ((2 . 1) (3 . 2) (6 . 4) (8 . 5)) 5073 0.5695 9.5049 ((3 . 34) (5 . 35) (6 . 36) (9 . 40)) 5083 0.0999 6.5392 ((3 . 1) (5 . 3) (6 . 5) (8 . 6)) 5092 0.1992 16.0582 ((1 . 11) (2 . 13) (5 . 14) (9 . 18)) 5101 0.5713 4.6781 ((1 . 6) (3 . 7) (5 . 8) (6 . 10)) 5103 0.5712 5.3179 ((1 . 16) (3 . 17) (5 . 18) (6 . 19)) 5121 0.1992 12.0075 ((1 . 23) (3 . 26) (6 . 29) (8 . 31)) 5132 0.5713 4.5930 ((1 . 14) (3 . 16) (5 . 17) (6 . 18)) 5134 0.5703 8.3443 ((1 . 11) (2 . 15) (5 . 16) (6 . 17)) 5145 0.5692 9.8715 ((3 . 5) (6 . 8) (8 . 10) (9 . 11)) 5167 0.5713 4.8336 ((2 . 10) (3 . 12) (5 . 13) (6 . 14)) 5176 0.5710 6.7284 ((3 . 84) (5 . 85) (6 . 87) (8 . 88)) 5183 0.5711 5.8962 ((3 . 35) (6 . 37) (8 . 38) (9 . 41)) 5192 0.5704 8.1762 ((3 . 1) (5 . 2) (6 . 3) (9 . 7)) 5198 0.5711 6.1625 ((1 . 23) (3 . 24) (5 . 25) (6 . 26)) 5199 0.5701 8.7349 ((1 . 2) (3 . 7) (6 . 8) (8 . 9)) 5209 0.5710 6.4594 ((3 . 4) (5 . 6) (6 . 7) (8 . 8)) 5212 0.5703 8.3523 ((1 . 17) (2 . 18) (6 . 22) (8 . 24)) 5215 0.5687 10.4605 ((1 . 1) (3 . 5) (5 . 6) (8 . 9)) 5223 0.5710 6.5391 ((1 . 2) (3 . 3) (5 . 5) (6 . 6)) 5231 0.5704 8.2206 ((3 . 8) (6 . 13) (8 . 14) (9 . 17)) 5266 0.7115 7.9120 ((3 . 10) (5 . 12) (6 . 13) (8 . 15) (9 . 16)) 5278 0.4905 10.4448 ((1 . 1) (2 . 3) (3 . 5) (6 . 7)) 5285 0.4428 14.2323 ((1 . 2) (2 . 1) (5 . 4) (9 . 6)) 5307 0.5713 4.5714 ((3 . 51) (5 . 54) (6 . 55) (8 . 57)) 5318 0.5713 4.5058 ((1 . 7) (3 . 8) (5 . 9) (6 . 11)) 5323 0.5583 15.6405 ((1 . 12) (2 . 13) (5 . 14) (9 . 17)) 5324 0.7114 8.0219 ((3 . 22) (5 . 23) (6 . 25) (8 . 28) (9 . 29)) 5344 0.5709 6.8559 ((3 . 3) (5 . 5) (6 . 7) (8 . 8)) 5368 0.5673 11.5851 ((1 . 40) (6 . 46) (8 . 47) (9 . 50)) 5378 0.5714 4.0008 ((3 . 4) (5 . 5) (6 . 6) (8 . 7)) 5411 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (8 . 8) (9 . 9)) 5418 0.5691 10.0772 ((3 . 2) (5 . 4) (6 . 5) (9 . 10)) 5479 0.5703 8.3511 ((1 . 65) (3 . 69) (6 . 71) (8 . 72)) 5487 0.5712 5.6375 ((1 . 8) (3 . 9) (5 . 10) (6 . 11)) 5489 0.5707 7.5834 ((3 . 13) (5 . 15) (6 . 16) (8 . 17)) 5500 0.5713 4.9574 ((2 . 10) (3 . 12) (5 . 13) (6 . 14)) 5501 0.5699 9.0167 ((1 . 23) (5 . 27) (8 . 30) (9 . 32)) 5535 0.2944 12.3597 ((1 . 1) (2 . 5) (3 . 6) (9 . 13)) 5540 0.5714 3.0420 ((3 . 1) (5 . 2) (6 . 3) (8 . 4)) 5557 0.5685 10.6743 ((3 . 4) (5 . 5) (6 . 6) (9 . 8)) 5560 0.7100 8.8713 ((1 . 18) (3 . 20) (5 . 21) (6 . 22) (8 . 23)) 5562 0.5710 6.4583 ((1 . 5) (3 . 7) (5 . 9) (6 . 11)) 5567 0.5711 5.9368 ((1 . 10) (3 . 11) (5 . 14) (6 . 15)) 5594 0.5714 3.8241 ((2 . 5) (3 . 6) (5 . 7) (6 . 9)) 5600 0.7115 7.9118 ((3 . 3) (5 . 4) (6 . 5) (8 . 6) (9 . 7)) 5601 0.5712 5.8293 ((2 . 9) (3 . 10) (5 . 11) (6 . 12)) 5638 0.5676 11.3428 ((3 . 9) (5 . 12) (6 . 13) (9 . 14)) 5648 0.3772 15.8645 ((1 . 2) (2 . 4) (5 . 5) (9 . 7)) 5656 0.5711 6.0465 ((1 . 12) (3 . 14) (5 . 15) (6 . 16)) 5689 0.5689 10.2294 ((1 . 4) (2 . 7) (5 . 9) (9 . 12)) 5700 0.5677 11.3381 ((3 . 2) (6 . 3) (8 . 4) (9 . 7)) 5701 0.5707 7.4515 ((3 . 12) (5 . 13) (6 . 14) (9 . 20)) 5702 0.5692 9.9522 ((1 . 4) (2 . 7) (5 . 9) (9 . 12)) 5711 0.5692 9.9089 ((3 . 39) (6 . 43) (8 . 44) (9 . 48)) 5718 0.5695 9.5076 ((2 . 15) (3 . 16) (6 . 18) (8 . 21)) 5731 0.5690 10.1157 ((2 . 1) (3 . 2) (8 . 7) (9 . 8)) 5746 0.7101 8.7880 ((3 . 3) (5 . 4) (6 . 6) (8 . 7) (9 . 12)) 5749 0.5691 9.9872 ((3 . 3) (6 . 5) (8 . 6) (9 . 8)) 5761 0.5709 6.9251 ((3 . 28) (6 . 31) (8 . 32) (9 . 34)) 5770 0.5711 6.1848 ((3 . 6) (5 . 7) (6 . 8) (8 . 12)) 5771 0.5709 6.9816 ((1 . 7) (2 . 8) (6 . 13) (8 . 14)) 5782 0.5710 6.3586 ((1 . 33) (3 . 35) (5 . 36) (6 . 37)) 5794 0.5712 5.6511 ((3 . 19) (5 . 22) (6 . 23) (8 . 24)) 5795 0.5710 6.5585 ((1 . 11) (2 . 12) (3 . 13) (5 . 15)) 5809 0.5713 5.0368 ((2 . 4) (3 . 5) (5 . 6) (6 . 7)) 5822 0.1332 11.5330 ((1 . 5) (3 . 8) (6 . 9) (9 . 11)) 5827 0.5713 5.0373 ((1 . 6) (3 . 8) (5 . 10) (6 . 11)) 5830 0.5710 6.3794 ((1 . 5) (3 . 7) (6 . 10) (8 . 13)) 5878 0.2945 10.4716 ((2 . 21) (5 . 23) (8 . 25) (9 . 31)) 5896 0.7117 7.7920 ((3 . 26) (5 . 27) (6 . 28) (8 . 29) (9 . 30)) 5904 0.5705 8.0098 ((1 . 3) (3 . 4) (5 . 6) (6 . 7)) 5913 0.5714 4.2166 ((1 . 11) (3 . 13) (5 . 14) (6 . 15)) 5922 0.5682 10.9263 ((3 . 6) (5 . 7) (6 . 9) (8 . 10)) 5930 0.5701 8.7309 ((3 . 2) (5 . 3) (6 . 4) (9 . 6)) 5939 0.5695 9.5316 ((1 . 1) (3 . 4) (5 . 5) (6 . 6)) 5945 0.5711 6.3360 ((1 . 27) (5 . 31) (6 . 32) (8 . 33)) 5949 0.5711 6.2258 ((1 . 8) (3 . 12) (5 . 13) (6 . 14)) 5955 0.5690 10.1608 ((3 . 3) (5 . 6) (6 . 7) (9 . 10)) 5972 0.5711 5.9831 ((1 . 1) (5 . 5) (6 . 6) (8 . 7)) 5977 0.7138 5.0487 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (8 . 6)) 6000 0.5708 7.2066 ((1 . 27) (3 . 28) (5 . 30) (6 . 31)) 6029 0.5714 2.3857 ((3 . 6) (5 . 7) (6 . 10) (8 . 11)) 6041 0.5699 9.0232 ((2 . 6) (5 . 9) (8 . 11) (9 . 14)) 6046 0.5702 8.5070 ((5 . 1) (6 . 2) (8 . 3) (9 . 7)) 6061 0.7133 6.1647 ((1 . 16) (3 . 17) (5 . 18) (6 . 20) (8 . 21)) 6074 0.5712 5.5102 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 6075 0.5689 10.2124 ((1 . 22) (3 . 24) (6 . 27) (9 . 30)) 6079 0.5694 9.6410 ((3 . 9) (5 . 10) (6 . 11) (9 . 15)) 6087 0.5712 5.4874 ((1 . 7) (3 . 8) (5 . 9) (6 . 10)) 6089 0.5697 9.2364 ((3 . 1) (5 . 2) (6 . 3) (9 . 8)) 6099 0.5703 8.3764 ((1 . 20) (3 . 23) (6 . 25) (8 . 26)) 6142 0.5671 11.7361 ((3 . 16) (6 . 19) (8 . 20) (9 . 22)) 6167 0.5708 7.3224 ((3 . 14) (6 . 20) (8 . 21) (9 . 22)) 6169 0.5687 10.4660 ((1 . 4) (2 . 7) (5 . 9) (9 . 11)) 6173 0.5699 9.0044 ((3 . 5) (6 . 8) (8 . 9) (9 . 14)) 6191 0.5709 6.7667 ((5 . 1) (6 . 3) (8 . 4) (9 . 5)) 6192 0.5709 6.7757 ((3 . 1) (5 . 2) (6 . 3) (9 . 7)) 6215 0.5702 8.4498 ((3 . 17) (6 . 19) (8 . 20) (9 . 22)) 6225 0.5708 7.3372 ((1 . 1) (6 . 7) (8 . 8) (9 . 9)) 6228 0.5697 9.2793 ((1 . 6) (3 . 7) (5 . 8) (6 . 9)) 6238 0.5706 7.8166 ((1 . 2) (6 . 8) (8 . 9) (9 . 10)) 6243 0.5699 9.0680 ((2 . 1) (3 . 2) (8 . 8) (9 . 9)) 6251 0.5696 9.3892 ((3 . 8) (5 . 9) (6 . 10) (9 . 11)) 6258 0.5702 8.5912 ((3 . 7) (6 . 10) (8 . 12) (9 . 14)) 6261 0.5713 5.1822 ((1 . 7) (3 . 9) (5 . 10) (6 . 11)) 6266 0.5673 11.6050 ((1 . 4) (3 . 8) (6 . 10) (9 . 12)) 6270 0.7130 6.5682 ((3 . 15) (5 . 16) (6 . 17) (8 . 18) (9 . 19)) 6271 0.5711 6.2155 ((2 . 6) (5 . 9) (6 . 10) (8 . 11)) 6294 0.5713 4.8639 ((2 . 21) (3 . 23) (5 . 24) (6 . 27)) 6309 0.7124 7.2215 ((3 . 17) (5 . 19) (6 . 20) (8 . 25) (9 . 26)) 6344 0.7126 7.0387 ((3 . 1) (5 . 2) (6 . 3) (8 . 6) (9 . 16)) 6345 0.5668 11.9723 ((5 . 2) (6 . 5) (8 . 6) (9 . 8)) 6348 0.5702 8.6186 ((1 . 6) (3 . 9) (5 . 10) (6 . 11)) 6355 0.5687 10.4162 ((1 . 3) (3 . 7) (8 . 11) (9 . 13)) 6356 0.5699 9.0419 ((1 . 2) (3 . 4) (6 . 6) (8 . 9)) 6369 0.5711 6.3366 ((1 . 23) (3 . 24) (5 . 25) (6 . 26)) 6376 0.5712 5.4581 ((2 . 16) (3 . 17) (5 . 18) (6 . 19)) 6391 0.5706 7.8163 ((1 . 3) (3 . 8) (6 . 12) (8 . 10)) 6392 0.5711 6.2890 ((2 . 6) (3 . 7) (5 . 8) (6 . 9)) 6399 0.5680 11.0820 ((3 . 17) (6 . 19) (8 . 20) (9 . 23)) 6403 0.5709 7.0251 ((1 . 6) (3 . 7) (5 . 9) (8 . 12)) 6434 0.5706 7.6348 ((5 . 1) (6 . 2) (8 . 3) (9 . 6)) 6461 0.5697 9.2532 ((3 . 3) (5 . 4) (8 . 6) (9 . 7)) 6462 0.5711 6.1321 ((1 . 17) (3 . 18) (5 . 19) (6 . 20)) 6476 0.5710 6.4228 ((1 . 1) (3 . 4) (5 . 7) (8 . 9)) 6498 0.5691 10.0701 ((1 . 14) (3 . 16) (5 . 20) (6 . 21)) 6520 0.5706 7.6298 ((1 . 23) (3 . 24) (6 . 26) (8 . 28)) 6536 0.2945 9.4343 ((1 . 30) (5 . 34) (6 . 35) (8 . 36)) 6539 0.7126 6.9772 ((3 . 2) (5 . 3) (6 . 4) (8 . 5) (9 . 7)) 6548 0.5713 4.7525 ((3 . 7) (5 . 8) (6 . 9) (8 . 12)) 6553 0.5694 9.6855 ((1 . 12) (3 . 17) (5 . 19) (6 . 20)) 6555 0.5709 7.0326 ((3 . 20) (5 . 21) (6 . 23) (8 . 24)) 6561 0.5695 9.5865 ((2 . 5) (6 . 9) (8 . 10) (9 . 11)) 6573 0.2945 7.5280 ((2 . 15) (3 . 17) (5 . 18) (6 . 19)) 6575 0.4439 12.5325 ((1 . 3) (2 . 6) (3 . 5) (5 . 7)) 6578 0.5711 6.0776 ((3 . 32) (6 . 37) (8 . 38) (9 . 39)) 6584 0.5700 8.8932 ((5 . 1) (6 . 2) (8 . 3) (9 . 4)) 6585 0.5713 5.1355 ((1 . 4) (3 . 6) (5 . 7) (6 . 8)) 6586 0.5705 7.8821 ((2 . 19) (5 . 23) (6 . 24) (8 . 25)) 6587 0.7116 7.8915 ((2 . 30) (3 . 31) (5 . 32) (6 . 33) (8 . 34)) 6598 0.5705 7.9187 ((3 . 24) (6 . 26) (8 . 27) (9 . 31)) 6605 0.5680 11.0650 ((1 . 1) (2 . 2) (5 . 4) (9 . 7)) 6613 0.5712 5.6505 ((2 . 23) (3 . 24) (5 . 25) (6 . 27)) END