3625 51 0.5711 6.2688 ((2 . 10) (3 . 11) (5 . 13) (6 . 14)) 64 0.5713 5.1130 ((1 . 9) (2 . 10) (5 . 13) (6 . 14)) 77 0.5700 8.8014 ((1 . 8) (2 . 9) (5 . 13) (6 . 15)) 129 0.5714 3.9209 ((2 . 3) (3 . 5) (5 . 8) (6 . 9)) 136 0.5711 6.0341 ((1 . 3) (3 . 5) (5 . 7) (6 . 8)) 150 0.5692 9.9035 ((1 . 19) (2 . 20) (5 . 23) (7 . 25)) 153 0.5711 6.1171 ((2 . 5) (3 . 6) (5 . 7) (6 . 8)) 161 0.5687 10.4566 ((2 . 3) (5 . 6) (6 . 8) (7 . 10)) 162 0.5710 6.4256 ((1 . 17) (2 . 18) (3 . 20) (5 . 22)) 169 0.7125 7.0635 ((1 . 5) (2 . 7) (3 . 8) (5 . 9) (6 . 10)) 177 0.5712 5.8595 ((1 . 5) (3 . 7) (5 . 8) (6 . 10)) 191 0.1993 6.3069 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 198 0.5712 5.3132 ((1 . 1) (2 . 2) (5 . 7) (6 . 8)) 233 0.5710 6.6660 ((2 . 1) (3 . 2) (5 . 3) (6 . 5)) 300 0.5704 8.1258 ((1 . 6) (2 . 7) (5 . 9) (6 . 10)) 305 0.5708 7.2701 ((3 . 11) (5 . 12) (7 . 18) (9 . 19)) 350 0.5713 4.8399 ((3 . 4) (5 . 5) (6 . 7) (7 . 11)) 360 0.5713 4.8779 ((2 . 5) (3 . 6) (5 . 7) (6 . 8)) 365 0.5713 4.6332 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 367 0.7129 6.6712 ((1 . 38) (2 . 40) (3 . 42) (5 . 43) (6 . 44)) 372 0.5713 4.5563 ((1 . 2) (2 . 3) (5 . 7) (6 . 8)) 387 0.5712 5.4119 ((1 . 8) (3 . 10) (5 . 11) (6 . 12)) 405 0.5702 8.5165 ((2 . 33) (3 . 34) (5 . 37) (6 . 38)) 417 0.5674 11.5194 ((1 . 2) (2 . 3) (6 . 7) (7 . 9)) 420 0.5714 3.7113 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 433 0.5709 6.7749 ((1 . 5) (2 . 6) (3 . 7) (6 . 9)) 460 0.5712 5.3513 ((1 . 1) (2 . 2) (5 . 6) (6 . 7)) 491 0.1992 8.6435 ((1 . 6) (3 . 8) (5 . 9) (6 . 10)) 495 0.5690 10.1345 ((1 . 3) (6 . 7) (7 . 9) (9 . 11)) 541 0.5712 5.6772 ((3 . 2) (5 . 3) (6 . 5) (9 . 7)) 543 0.5706 7.7096 ((2 . 4) (3 . 5) (5 . 6) (6 . 8)) 561 0.5664 12.1722 ((2 . 1) (5 . 3) (6 . 4) (7 . 6)) 584 0.5712 5.3850 ((5 . 3) (6 . 4) (7 . 7) (9 . 8)) 587 0.5711 6.3390 ((1 . 3) (2 . 4) (5 . 8) (6 . 9)) 619 0.7063 10.3783 ((1 . 7) (2 . 8) (5 . 11) (6 . 12) (9 . 15)) 624 0.5710 6.4481 ((1 . 13) (3 . 15) (5 . 16) (9 . 20)) 635 0.5685 10.6326 ((2 . 13) (3 . 14) (5 . 15) (7 . 18)) 672 0.5693 9.7488 ((1 . 15) (2 . 16) (7 . 23) (9 . 24)) 683 0.5710 6.4338 ((1 . 1) (2 . 2) (5 . 5) (6 . 6)) 729 0.5667 12.0250 ((1 . 13) (3 . 15) (6 . 17) (7 . 20)) 735 0.5711 5.9870 ((1 . 31) (2 . 32) (5 . 36) (6 . 37)) 740 0.1993 4.2899 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 765 0.5709 6.8766 ((1 . 12) (3 . 17) (5 . 19) (6 . 20)) 767 0.5703 8.3078 ((1 . 1) (3 . 3) (6 . 8) (9 . 13)) 795 0.0999 13.4564 ((3 . 1) (6 . 3) (7 . 5) (9 . 6)) 801 0.1993 5.2166 ((1 . 1) (2 . 2) (3 . 4) (5 . 5)) 818 0.5703 8.3925 ((2 . 7) (5 . 10) (7 . 14) (9 . 16)) 861 0.2943 13.0497 ((2 . 12) (5 . 15) (6 . 16) (7 . 19)) 901 0.5698 9.1085 ((1 . 5) (3 . 7) (6 . 9) (7 . 12)) 928 0.2945 6.8221 ((2 . 3) (5 . 5) (6 . 7) (9 . 10)) 943 0.5702 8.6125 ((1 . 9) (3 . 12) (5 . 14) (6 . 15)) 978 0.5663 12.2459 ((1 . 4) (3 . 6) (6 . 10) (9 . 13)) 1007 0.5712 5.3477 ((1 . 11) (2 . 12) (3 . 13) (5 . 14)) 1008 0.1992 12.0965 ((3 . 3) (5 . 5) (6 . 8) (9 . 13)) 1034 0.7125 7.1314 ((2 . 20) (3 . 21) (5 . 22) (7 . 25) (9 . 26)) 1043 0.5685 10.6183 ((2 . 10) (5 . 12) (6 . 14) (7 . 17)) 1082 0.5707 7.5419 ((2 . 1) (3 . 2) (5 . 4) (6 . 6)) 1084 0.5671 11.7671 ((2 . 10) (3 . 12) (7 . 18) (9 . 19)) 1167 0.5640 13.4931 ((2 . 20) (3 . 21) (5 . 22) (7 . 27)) 1169 0.5714 4.2425 ((1 . 29) (2 . 30) (5 . 34) (6 . 35)) 1195 0.5712 5.3867 ((1 . 2) (2 . 4) (3 . 5) (5 . 6)) 1201 0.1992 10.1402 ((2 . 7) (5 . 9) (6 . 11) (7 . 14)) 1211 0.5712 5.6197 ((2 . 8) (3 . 9) (5 . 10) (6 . 11)) 1224 0.7140 4.3536 ((1 . 5) (2 . 6) (3 . 7) (5 . 9) (6 . 10)) 1233 0.5709 6.8050 ((1 . 14) (3 . 17) (6 . 20) (7 . 23)) 1267 0.5628 14.0021 ((1 . 9) (2 . 12) (5 . 15) (7 . 17)) 1294 0.7124 7.1649 ((1 . 41) (2 . 43) (3 . 44) (5 . 46) (6 . 47)) 1345 0.7137 5.2993 ((1 . 7) (2 . 9) (3 . 13) (5 . 14) (6 . 16)) 1366 0.5713 4.4868 ((1 . 14) (2 . 15) (3 . 16) (5 . 17)) 1410 0.5711 6.3501 ((1 . 20) (2 . 21) (5 . 23) (6 . 25)) 1425 0.5711 6.1148 ((1 . 3) (2 . 4) (5 . 8) (6 . 10)) 1435 0.5703 8.4426 ((5 . 1) (6 . 2) (7 . 3) (9 . 5)) 1451 0.7136 5.5133 ((1 . 1) (3 . 3) (5 . 4) (6 . 5) (7 . 8)) 1464 0.5679 11.1169 ((3 . 7) (5 . 8) (7 . 13) (9 . 14)) 1481 0.5713 5.2080 ((1 . 1) (2 . 2) (5 . 4) (6 . 5)) 1501 0.5712 5.4084 ((1 . 1) (2 . 2) (5 . 5) (6 . 6)) 1513 0.5697 9.2673 ((1 . 6) (2 . 8) (6 . 11) (9 . 15)) 1514 0.1992 12.6589 ((2 . 1) (5 . 3) (6 . 4) (7 . 6)) 1577 0.5713 4.4417 ((2 . 3) (3 . 4) (5 . 5) (7 . 10)) 1604 0.5691 10.0543 ((1 . 1) (2 . 3) (5 . 7) (7 . 10)) 1622 0.5701 8.6653 ((1 . 18) (6 . 22) (7 . 24) (9 . 25)) 1624 0.5709 6.9333 ((2 . 3) (3 . 4) (5 . 7) (6 . 8)) 1643 0.8548 6.0553 ((1 . 17) (2 . 18) (5 . 20) (6 . 28) (7 . 38) (9 . 39)) 1644 0.7137 5.4095 ((1 . 48) (2 . 49) (3 . 50) (5 . 51) (6 . 52)) 1690 0.5705 8.0101 ((1 . 8) (5 . 13) (7 . 18) (9 . 19)) 1692 0.5714 3.9289 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 1738 0.5711 6.1128 ((1 . 18) (2 . 19) (5 . 21) (6 . 23)) 1747 0.7139 4.8127 ((1 . 10) (2 . 11) (3 . 12) (5 . 16) (6 . 18)) 1756 0.5713 5.0641 ((2 . 23) (3 . 24) (5 . 27) (6 . 28)) 1759 0.5714 3.7499 ((2 . 2) (3 . 4) (5 . 5) (6 . 6)) 1761 0.5707 7.3990 ((1 . 13) (2 . 16) (5 . 19) (6 . 20)) 1763 0.5654 12.7686 ((2 . 3) (6 . 7) (7 . 9) (9 . 10)) 1776 0.5706 7.6328 ((1 . 7) (5 . 12) (7 . 15) (9 . 16)) 1777 0.1498 6.9834 ((1 . 31) (2 . 34) (3 . 37) (6 . 42)) 1778 0.5714 4.2142 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 1805 0.5713 4.9501 ((1 . 2) (2 . 3) (5 . 7) (6 . 8)) 1808 0.5711 5.9536 ((1 . 4) (2 . 5) (5 . 8) (6 . 9)) 1817 0.5713 5.0670 ((1 . 13) (2 . 14) (5 . 18) (6 . 19)) 1894 0.7137 5.2851 ((1 . 21) (2 . 22) (3 . 23) (5 . 25) (6 . 26)) 1896 0.2945 10.2029 ((2 . 17) (5 . 19) (7 . 23) (9 . 24)) 1908 0.5646 13.1801 ((1 . 7) (3 . 10) (6 . 15) (9 . 17)) 1909 0.1498 10.1149 ((1 . 29) (3 . 31) (6 . 34) (7 . 37)) 1913 0.5707 7.4031 ((2 . 12) (3 . 13) (5 . 17) (6 . 19)) 1944 0.5683 10.8032 ((1 . 9) (3 . 13) (6 . 16) (7 . 17)) 1957 0.5711 5.9237 ((1 . 1) (3 . 3) (5 . 5) (6 . 7)) 1961 0.5714 4.0058 ((1 . 14) (2 . 15) (3 . 16) (6 . 19)) 1967 0.1992 9.1014 ((3 . 7) (6 . 10) (7 . 13) (9 . 14)) 1995 0.7143 2.5891 ((1 . 1) (2 . 2) (3 . 3) (5 . 7) (6 . 8)) 2003 0.5711 6.1249 ((2 . 8) (3 . 9) (5 . 10) (6 . 11)) 2006 0.8532 6.8890 ((1 . 13) (2 . 14) (5 . 16) (6 . 18) (7 . 22) (9 . 24)) 2045 0.5708 7.2720 ((5 . 1) (6 . 2) (7 . 3) (9 . 7)) 2063 0.5705 7.8581 ((3 . 42) (5 . 43) (6 . 44) (7 . 48)) 2065 0.5711 5.9862 ((5 . 16) (6 . 17) (7 . 22) (9 . 23)) 2067 0.5711 6.1269 ((1 . 10) (2 . 11) (3 . 15) (5 . 16)) 2072 0.5680 11.0473 ((3 . 1) (5 . 2) (7 . 4) (9 . 6)) 2081 0.5710 6.6666 ((1 . 5) (2 . 6) (5 . 9) (6 . 10)) 2083 0.5705 8.0427 ((1 . 1) (2 . 2) (5 . 4) (6 . 5)) 2114 0.7129 6.6008 ((1 . 28) (2 . 29) (3 . 32) (5 . 34) (6 . 36)) 2116 0.5713 5.2562 ((1 . 5) (3 . 7) (5 . 9) (6 . 10)) 2117 0.5712 5.7869 ((1 . 16) (2 . 17) (5 . 22) (6 . 23)) 2166 0.5712 5.5167 ((3 . 3) (5 . 4) (7 . 8) (9 . 9)) 2179 0.5713 4.2993 ((1 . 6) (2 . 7) (3 . 9) (5 . 10)) 2196 0.7137 5.3541 ((1 . 13) (2 . 14) (3 . 15) (5 . 18) (6 . 19)) 2205 0.5713 5.0840 ((2 . 21) (3 . 22) (5 . 23) (6 . 26)) 2209 0.5668 11.9685 ((1 . 1) (5 . 5) (6 . 6) (7 . 7)) 2243 0.5713 4.5172 ((1 . 42) (2 . 44) (3 . 45) (5 . 47)) 2244 0.7140 4.2734 ((1 . 69) (2 . 70) (3 . 71) (5 . 74) (6 . 75)) 2249 0.5710 6.7362 ((1 . 17) (2 . 18) (5 . 21) (6 . 23)) 2269 0.5680 11.0800 ((1 . 6) (2 . 7) (6 . 10) (9 . 12)) 2279 0.5702 8.4959 ((5 . 10) (6 . 11) (7 . 19) (9 . 20)) 2308 0.5686 10.5702 ((1 . 4) (2 . 5) (6 . 8) (9 . 11)) 2314 0.5711 5.8887 ((2 . 3) (3 . 4) (5 . 7) (6 . 8)) 2340 0.5712 5.7711 ((1 . 9) (3 . 11) (5 . 13) (6 . 14)) 2344 0.5709 6.9176 ((1 . 1) (2 . 3) (5 . 6) (6 . 7)) 2364 0.5711 6.3213 ((1 . 15) (2 . 18) (3 . 19) (5 . 20)) 2389 0.5713 4.6402 ((2 . 5) (3 . 6) (5 . 7) (6 . 8)) 2408 0.7131 6.3838 ((1 . 41) (2 . 42) (3 . 45) (5 . 46) (6 . 47)) 2409 0.1332 6.4902 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 2423 0.5710 6.4711 ((3 . 16) (5 . 17) (7 . 21) (9 . 22)) 2440 0.5707 7.5675 ((1 . 4) (3 . 6) (5 . 8) (6 . 9)) 2462 0.5659 12.4947 ((3 . 6) (5 . 7) (7 . 11) (9 . 12)) 2525 0.1992 16.4756 ((3 . 41) (6 . 45) (7 . 47) (9 . 48)) 2529 0.5712 5.6461 ((1 . 1) (3 . 3) (5 . 5) (6 . 6)) 2561 0.2945 8.6131 ((2 . 6) (3 . 7) (5 . 8) (6 . 9)) 2619 0.5695 9.6245 ((1 . 2) (2 . 3) (5 . 5) (7 . 7)) 2650 0.5681 11.0031 ((1 . 1) (2 . 2) (7 . 7) (9 . 8)) 2675 0.5712 5.6105 ((1 . 4) (2 . 5) (5 . 10) (6 . 11)) 2696 0.5712 5.3337 ((1 . 31) (3 . 34) (5 . 35) (6 . 36)) 2733 0.5683 10.7721 ((1 . 1) (2 . 2) (3 . 4) (9 . 11)) 2773 0.5643 13.3349 ((3 . 2) (5 . 3) (7 . 5) (9 . 6)) 2783 0.5708 7.2014 ((1 . 6) (2 . 7) (3 . 8) (6 . 12)) 2821 0.1993 6.1824 ((1 . 2) (2 . 3) (3 . 4) (5 . 7)) 2830 0.5712 5.5583 ((5 . 23) (6 . 24) (7 . 26) (9 . 27)) 2834 0.5712 5.8711 ((3 . 3) (5 . 5) (6 . 6) (7 . 12)) 2840 0.5713 4.8249 ((1 . 6) (3 . 8) (5 . 9) (6 . 11)) 2842 0.5688 10.3778 ((1 . 4) (2 . 5) (6 . 9) (9 . 11)) 2879 0.7126 7.0413 ((1 . 51) (2 . 52) (3 . 53) (5 . 54) (6 . 56)) 2886 0.5713 4.5061 ((1 . 33) (2 . 34) (3 . 35) (6 . 38)) 2940 0.5698 9.1376 ((3 . 1) (6 . 3) (7 . 5) (9 . 6)) 2947 0.5710 6.6758 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 2966 0.7141 4.1515 ((1 . 3) (2 . 4) (3 . 9) (5 . 16) (6 . 17)) 2990 0.7139 4.8746 ((3 . 14) (5 . 15) (6 . 16) (7 . 19) (9 . 20)) 3014 0.3788 9.4397 ((1 . 22) (2 . 25) (3 . 24) (7 . 32)) 3019 0.5655 12.7457 ((3 . 9) (5 . 10) (6 . 11) (9 . 14)) 3041 0.5708 7.0883 ((1 . 18) (3 . 22) (5 . 24) (9 . 29)) 3055 0.9980 4.7668 ((1 . 7) (2 . 8) (3 . 9) (5 . 12) (6 . 13) (7 . 20) (9 . 21)) 3063 0.5671 11.7543 ((3 . 35) (6 . 38) (7 . 39) (9 . 41)) 3084 0.5701 8.6304 ((1 . 5) (3 . 7) (6 . 11) (7 . 13)) 3102 0.5713 5.2047 ((1 . 71) (2 . 72) (3 . 74) (5 . 76)) 3103 0.5712 5.6282 ((1 . 5) (3 . 9) (5 . 11) (6 . 13)) 3114 0.5699 8.9467 ((2 . 23) (3 . 24) (5 . 25) (7 . 29)) 3147 0.7136 5.6184 ((1 . 7) (2 . 8) (6 . 13) (7 . 17) (9 . 18)) 3187 0.5712 5.2903 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 3197 0.0999 11.4257 ((1 . 19) (3 . 21) (6 . 24) (7 . 26)) 3200 0.5702 8.4835 ((2 . 1) (5 . 3) (6 . 4) (9 . 9)) 3212 0.5712 5.3199 ((2 . 2) (3 . 3) (5 . 5) (6 . 9)) 3222 0.5711 6.1610 ((1 . 15) (2 . 16) (3 . 18) (5 . 19)) 3256 0.7137 5.3301 ((1 . 20) (2 . 24) (3 . 25) (5 . 26) (6 . 28)) 3261 0.5711 6.2643 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 3286 0.5708 7.2364 ((1 . 3) (2 . 4) (3 . 5) (6 . 7)) 3289 0.5710 6.4565 ((1 . 25) (2 . 27) (3 . 29) (5 . 31)) 3297 0.5713 4.3939 ((1 . 5) (3 . 8) (5 . 9) (6 . 11)) 3300 0.1993 5.1182 ((1 . 1) (2 . 2) (3 . 4) (5 . 5)) 3334 0.5677 11.2818 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 3339 0.5704 8.2143 ((2 . 15) (5 . 17) (7 . 21) (9 . 22)) 3344 0.5701 8.6808 ((3 . 18) (5 . 20) (6 . 21) (7 . 22)) 3366 0.3790 7.5700 ((2 . 22) (3 . 24) (5 . 26) (6 . 27)) 3391 0.5698 9.1102 ((1 . 4) (3 . 6) (6 . 8) (9 . 13)) 3418 0.5689 10.2672 ((3 . 2) (5 . 5) (6 . 6) (7 . 7)) 3472 0.7140 4.3811 ((1 . 4) (2 . 5) (3 . 6) (5 . 8) (6 . 9)) 3481 0.0999 8.6647 ((1 . 4) (3 . 7) (5 . 8) (6 . 10)) 3495 0.5701 8.7443 ((2 . 1) (3 . 2) (5 . 3) (7 . 7)) 3496 0.5664 12.2192 ((3 . 18) (5 . 19) (7 . 22) (9 . 23)) 3537 0.5590 15.4331 ((1 . 2) (6 . 7) (7 . 9) (9 . 10)) 3538 0.5710 6.6446 ((1 . 18) (2 . 20) (6 . 23) (7 . 24)) 3548 0.5712 5.5704 ((2 . 6) (3 . 8) (5 . 9) (6 . 10)) 3561 0.5712 5.3936 ((1 . 26) (3 . 28) (5 . 30) (6 . 31)) 3585 0.5709 6.8704 ((1 . 11) (2 . 12) (3 . 13) (5 . 14)) 3625 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (9 . 9)) 3626 0.5712 5.4522 ((1 . 2) (2 . 3) (5 . 8) (6 . 11)) 3628 0.5706 7.7586 ((1 . 6) (3 . 8) (5 . 9) (6 . 10)) 3651 0.5678 11.2300 ((1 . 1) (3 . 3) (6 . 5) (9 . 9)) 3658 0.5711 6.0406 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 3661 0.5694 9.6757 ((5 . 7) (6 . 8) (7 . 11) (9 . 12)) 3688 0.5712 5.5595 ((5 . 30) (6 . 32) (7 . 34) (9 . 35)) 3697 0.5710 6.6805 ((2 . 1) (5 . 4) (7 . 6) (9 . 7)) 3703 0.5713 5.0187 ((1 . 3) (2 . 4) (7 . 8) (9 . 9)) 3732 0.5712 5.6625 ((1 . 2) (2 . 3) (3 . 5) (5 . 7)) 3740 0.7139 4.7839 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5)) 3741 0.7137 5.4062 ((1 . 2) (2 . 13) (3 . 14) (5 . 16) (6 . 17)) 3776 0.2945 6.2234 ((1 . 19) (2 . 20) (3 . 21) (6 . 24)) 3778 0.5710 6.6208 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 3787 0.2945 6.7375 ((1 . 17) (2 . 19) (3 . 21) (6 . 23)) 3790 0.7139 4.7219 ((1 . 25) (2 . 26) (3 . 27) (5 . 30) (6 . 31)) 3807 0.5713 5.2325 ((1 . 43) (2 . 46) (3 . 47) (6 . 50)) 3810 0.5713 4.5120 ((1 . 4) (2 . 6) (5 . 10) (6 . 11)) 3817 0.5707 7.4971 ((2 . 5) (5 . 7) (7 . 10) (9 . 11)) 3831 0.7060 10.4677 ((1 . 2) (2 . 3) (5 . 5) (6 . 6) (9 . 9)) 3847 0.5646 13.1682 ((1 . 9) (5 . 13) (6 . 16) (7 . 17)) 3849 0.1992 8.8222 ((2 . 1) (3 . 2) (5 . 3) (6 . 5)) 3933 0.5714 2.9621 ((1 . 8) (2 . 9) (3 . 10) (5 . 11)) 3938 0.5709 6.8658 ((1 . 4) (2 . 6) (3 . 8) (5 . 9)) 3986 0.5677 11.2867 ((1 . 2) (5 . 6) (6 . 7) (9 . 13)) 3990 0.5651 12.9284 ((3 . 20) (6 . 22) (7 . 24) (9 . 25)) 4005 0.5711 5.9664 ((1 . 29) (2 . 30) (5 . 35) (6 . 36)) 4009 0.5708 7.2238 ((1 . 1) (3 . 7) (7 . 12) (9 . 13)) 4019 0.7140 4.6229 ((1 . 36) (2 . 39) (3 . 42) (5 . 43) (6 . 44)) 4034 0.5704 8.1276 ((2 . 9) (3 . 10) (5 . 12) (6 . 13)) 4082 0.5702 8.6154 ((5 . 5) (6 . 6) (7 . 8) (9 . 10)) 4087 0.5645 13.2402 ((2 . 1) (5 . 5) (6 . 6) (9 . 8)) 4112 0.3790 5.8444 ((2 . 1) (3 . 2) (5 . 3) (6 . 4)) 4154 0.7140 4.5633 ((1 . 51) (2 . 52) (3 . 53) (5 . 56) (6 . 57)) 4177 0.5670 11.7825 ((3 . 1) (5 . 2) (7 . 7) (9 . 8)) 4194 0.5711 6.1688 ((1 . 3) (2 . 5) (3 . 6) (5 . 7)) 4204 0.2945 7.8578 ((2 . 11) (3 . 13) (5 . 14) (6 . 15)) 4209 0.1993 7.4376 ((1 . 2) (3 . 4) (5 . 5) (6 . 7)) 4210 0.5710 6.4469 ((1 . 5) (2 . 6) (5 . 8) (7 . 11)) 4226 0.5712 5.7467 ((2 . 16) (5 . 18) (6 . 19) (7 . 22)) 4232 0.3790 6.3127 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 4246 0.5708 7.0954 ((1 . 2) (2 . 3) (5 . 6) (6 . 8)) 4254 0.1997 5.5543 ((3 . 3) (5 . 4) (6 . 6) (7 . 9) (9 . 17)) 4257 0.5680 11.0921 ((1 . 1) (6 . 7) (7 . 9) (9 . 10)) 4266 0.5690 10.1128 ((3 . 6) (6 . 8) (7 . 11) (9 . 12)) 4274 0.2945 6.8536 ((1 . 36) (2 . 38) (5 . 40) (6 . 41)) 4275 0.5683 10.8232 ((3 . 21) (6 . 23) (7 . 27) (9 . 28)) 4281 0.5708 7.1622 ((1 . 3) (2 . 4) (3 . 5) (6 . 10)) 4284 0.1993 7.9142 ((1 . 6) (2 . 8) (3 . 9) (5 . 10)) 4299 0.0999 10.7087 ((3 . 11) (6 . 14) (7 . 16) (9 . 19)) 4301 0.7127 6.8625 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 6)) 4326 0.4447 10.6701 ((2 . 10) (3 . 12) (6 . 15) (7 . 19)) 4338 0.1992 9.2216 ((1 . 2) (2 . 4) (5 . 6) (6 . 7)) 4359 0.5713 4.5897 ((1 . 17) (2 . 18) (3 . 19) (5 . 20)) 4380 0.5713 5.0090 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 4383 0.5712 5.3075 ((2 . 14) (3 . 15) (5 . 16) (6 . 17)) 4386 0.5685 10.6002 ((1 . 16) (5 . 18) (6 . 19) (7 . 21)) 4388 0.5710 6.3883 ((1 . 6) (2 . 8) (3 . 9) (5 . 10)) 4398 0.2945 6.4638 ((1 . 6) (2 . 7) (3 . 8) (6 . 10)) 4405 0.5612 14.6329 ((2 . 18) (3 . 19) (6 . 21) (7 . 25)) 4408 0.5709 6.8185 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 4419 0.5711 6.3342 ((2 . 7) (3 . 8) (5 . 9) (6 . 10)) 4470 0.5712 5.4948 ((5 . 5) (6 . 7) (7 . 9) (9 . 10)) 4491 0.5665 12.1525 ((2 . 1) (5 . 5) (6 . 6) (7 . 8)) 4492 0.7141 4.0371 ((1 . 2) (2 . 3) (3 . 4) (5 . 5) (6 . 7)) 4495 0.5712 5.2919 ((3 . 2) (5 . 3) (7 . 6) (9 . 8)) 4497 0.5713 4.9939 ((1 . 23) (3 . 25) (5 . 26) (6 . 27)) 4502 0.5624 14.1952 ((1 . 5) (2 . 6) (5 . 9) (6 . 10)) 4503 0.5710 6.7269 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 4504 0.5703 8.3243 ((1 . 19) (2 . 20) (3 . 21) (5 . 22)) 4505 0.5645 13.2573 ((1 . 26) (3 . 28) (6 . 30) (9 . 34)) 4538 0.5710 6.3662 ((1 . 31) (2 . 32) (3 . 33) (5 . 34)) 4560 0.5705 8.0345 ((2 . 8) (5 . 11) (7 . 14) (9 . 16)) 4561 0.5705 7.9240 ((2 . 7) (5 . 9) (7 . 14) (9 . 15)) 4577 0.5708 7.2050 ((1 . 29) (3 . 32) (7 . 37) (9 . 38)) 4589 0.1332 9.7711 ((2 . 19) (3 . 22) (5 . 23) (9 . 29)) 4621 0.5710 6.5216 ((1 . 4) (3 . 7) (5 . 8) (6 . 9)) 4630 0.7107 8.4298 ((1 . 12) (3 . 14) (5 . 17) (6 . 20) (7 . 21)) 4648 0.5714 4.0104 ((1 . 1) (2 . 2) (5 . 5) (6 . 8)) 4653 0.7133 6.1213 ((1 . 5) (2 . 6) (3 . 7) (5 . 8) (6 . 9)) 4665 0.1993 5.4901 ((1 . 11) (2 . 12) (3 . 13) (5 . 14)) 4671 0.5708 7.1582 ((1 . 18) (2 . 19) (3 . 20) (5 . 21)) 4674 0.5664 12.1858 ((3 . 1) (5 . 2) (7 . 6) (9 . 8)) 4678 0.0999 7.3816 ((1 . 12) (3 . 14) (5 . 15) (6 . 16)) 4713 0.5706 7.6233 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 4734 0.1992 8.7543 ((3 . 2) (5 . 5) (6 . 6) (7 . 8)) 4857 0.5684 10.7186 ((1 . 5) (5 . 9) (6 . 11) (9 . 13)) 4886 0.5713 5.1035 ((2 . 29) (3 . 30) (5 . 31) (6 . 32)) 4888 0.5636 13.6480 ((2 . 9) (6 . 12) (7 . 14) (9 . 15)) 4889 0.5708 7.2503 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 4907 0.5713 4.5302 ((1 . 1) (2 . 3) (5 . 7) (6 . 8)) 4914 0.5713 5.1767 ((1 . 9) (2 . 10) (3 . 11) (5 . 12)) 4921 0.5710 6.3867 ((1 . 9) (3 . 12) (5 . 14) (6 . 15)) 4929 0.5708 7.1143 ((1 . 31) (2 . 32) (5 . 34) (6 . 35)) 4932 0.5711 6.3169 ((1 . 1) (3 . 4) (5 . 5) (6 . 6)) 4944 0.5662 12.3220 ((2 . 11) (6 . 13) (7 . 15) (9 . 16)) 4978 0.5711 5.9163 ((1 . 18) (3 . 21) (5 . 22) (6 . 24)) 4982 0.5705 8.0276 ((1 . 9) (3 . 10) (6 . 14) (9 . 18)) 4992 0.5712 5.5722 ((1 . 1) (2 . 2) (3 . 3) (6 . 6)) 5036 0.7122 7.3733 ((1 . 6) (2 . 7) (3 . 8) (5 . 9) (6 . 10)) 5038 0.3790 4.3155 ((2 . 12) (3 . 14) (5 . 15) (6 . 16)) 5044 0.5708 7.2852 ((5 . 1) (6 . 2) (7 . 3) (9 . 8)) 5046 0.5650 12.9801 ((2 . 1) (3 . 3) (7 . 8) (9 . 10)) 5053 0.1498 5.5218 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 5065 0.5712 5.6084 ((1 . 8) (2 . 9) (3 . 10) (5 . 11)) 5068 0.5690 10.1149 ((2 . 12) (5 . 15) (6 . 16) (9 . 20)) 5069 0.5714 2.9854 ((1 . 12) (2 . 13) (7 . 18) (9 . 19)) 5073 0.5685 10.6091 ((1 . 34) (3 . 36) (6 . 39) (9 . 42)) 5101 0.5696 9.3917 ((1 . 15) (3 . 18) (6 . 21) (9 . 25)) 5121 0.5714 4.1617 ((1 . 26) (3 . 27) (5 . 30) (6 . 31)) 5132 0.5674 11.4889 ((1 . 18) (3 . 20) (6 . 22) (9 . 26)) 5167 0.5690 10.1214 ((1 . 3) (2 . 4) (6 . 9) (9 . 12)) 5183 0.5708 7.1771 ((1 . 35) (2 . 36) (3 . 37) (5 . 38)) 5209 0.5683 10.8023 ((1 . 3) (2 . 4) (7 . 9) (9 . 10)) 5212 0.5700 8.9179 ((1 . 21) (2 . 23) (3 . 24) (9 . 30)) 5215 0.5691 10.0441 ((1 . 4) (2 . 5) (7 . 10) (9 . 11)) 5231 0.3790 3.0264 ((2 . 12) (3 . 13) (5 . 14) (6 . 16)) 5266 0.5708 7.1503 ((1 . 8) (2 . 10) (5 . 13) (6 . 15)) 5278 0.5705 8.0543 ((1 . 5) (3 . 6) (5 . 9) (6 . 10)) 5307 0.5683 10.7655 ((3 . 51) (6 . 53) (7 . 57) (9 . 58)) 5312 0.1993 5.5204 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 5318 0.5685 10.6739 ((1 . 19) (5 . 22) (6 . 23) (7 . 24)) 5324 0.5710 6.6815 ((1 . 14) (3 . 15) (5 . 16) (9 . 20)) 5344 0.5714 4.1619 ((2 . 2) (3 . 3) (5 . 4) (6 . 7)) 5345 0.7136 5.4790 ((1 . 7) (2 . 13) (3 . 14) (5 . 17) (6 . 18)) 5368 0.7139 4.9009 ((1 . 18) (2 . 19) (3 . 20) (5 . 21) (6 . 22)) 5378 0.5702 8.5755 ((5 . 8) (6 . 9) (7 . 15) (9 . 16)) 5414 0.5712 5.5857 ((2 . 14) (3 . 15) (5 . 16) (6 . 18)) 5418 0.5713 5.1965 ((2 . 1) (3 . 2) (5 . 3) (6 . 5)) 5433 0.5711 6.3507 ((1 . 5) (2 . 7) (3 . 8) (5 . 10)) 5479 0.7141 3.7578 ((1 . 55) (2 . 56) (3 . 58) (5 . 61) (6 . 62)) 5489 0.5708 7.3403 ((1 . 13) (2 . 14) (3 . 16) (5 . 17)) 5500 0.5709 6.7679 ((5 . 1) (6 . 2) (7 . 4) (9 . 7)) 5501 0.5711 6.2431 ((2 . 16) (3 . 17) (7 . 24) (9 . 25)) 5535 0.3790 6.5706 ((2 . 4) (3 . 6) (5 . 7) (6 . 8)) 5540 0.5711 6.3495 ((3 . 1) (6 . 4) (7 . 7) (9 . 8)) 5557 0.5712 5.3616 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 5560 0.5687 10.4711 ((1 . 11) (2 . 13) (5 . 15) (7 . 17)) 5562 0.5686 10.5291 ((1 . 6) (2 . 7) (5 . 11) (7 . 14)) 5594 0.5695 9.6043 ((1 . 1) (5 . 3) (6 . 4) (7 . 6)) 5600 0.5653 12.8523 ((2 . 3) (5 . 5) (6 . 6) (7 . 9)) 5601 0.5702 8.4576 ((2 . 7) (5 . 10) (7 . 15) (9 . 16)) 5640 0.7123 7.2841 ((1 . 21) (2 . 22) (5 . 24) (6 . 25) (7 . 28)) 5644 0.7139 4.8501 ((1 . 3) (2 . 4) (3 . 8) (5 . 13) (6 . 14)) 5656 0.5712 5.5658 ((1 . 1) (6 . 5) (7 . 9) (9 . 10)) 5700 0.5662 12.2912 ((3 . 2) (5 . 3) (6 . 4) (9 . 6)) 5701 0.5648 13.0987 ((3 . 4) (5 . 5) (6 . 6) (9 . 8)) 5703 0.5713 4.3463 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 5711 0.9910 7.0097 ((1 . 25) (2 . 32) (3 . 33) (5 . 35) (6 . 36) (7 . 38) (9 . 46)) 5713 0.7920 5.7876 ((1 . 4) (2 . 5) (3 . 6) (5 . 7) (6 . 10) (7 . 21) (9 . 22)) 5718 0.5713 4.4459 ((1 . 17) (2 . 18) (5 . 23) (6 . 24)) 5731 0.2491 5.9890 ((1 . 2) (2 . 3) (3 . 4) (5 . 7) (6 . 11)) 5746 0.5714 4.2667 ((1 . 2) (2 . 3) (5 . 6) (6 . 7)) 5749 0.5700 8.8114 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 5761 0.5713 4.4802 ((1 . 30) (2 . 31) (3 . 32) (6 . 36)) 5782 0.5713 5.0646 ((1 . 22) (3 . 24) (5 . 29) (6 . 30)) 5794 0.5713 4.8469 ((1 . 15) (2 . 16) (5 . 18) (6 . 19)) 5809 0.1498 11.2351 ((1 . 7) (6 . 12) (7 . 14) (9 . 15)) 5827 0.5714 3.9769 ((2 . 14) (3 . 15) (5 . 16) (6 . 17)) 5830 0.5711 6.3146 ((2 . 2) (3 . 3) (5 . 7) (6 . 8)) 5847 0.7131 6.4113 ((3 . 7) (5 . 8) (6 . 9) (7 . 12) (9 . 13)) 5861 0.7110 8.2498 ((1 . 2) (5 . 6) (6 . 7) (7 . 11) (9 . 12)) 5865 0.1993 7.0223 ((1 . 1) (3 . 2) (5 . 4) (6 . 5)) 5888 0.7139 4.8058 ((1 . 12) (2 . 13) (3 . 14) (5 . 17) (6 . 18)) 5896 0.2945 8.2521 ((1 . 26) (2 . 28) (3 . 29) (6 . 31)) 5913 0.5713 5.0958 ((3 . 5) (5 . 6) (6 . 7) (7 . 9)) 5922 0.5709 6.8921 ((2 . 5) (3 . 6) (5 . 8) (6 . 9)) 5939 0.5709 6.9329 ((1 . 2) (3 . 4) (6 . 6) (7 . 10)) 5945 0.5711 5.9188 ((3 . 11) (6 . 13) (7 . 16) (9 . 19)) 5955 0.5714 3.6668 ((5 . 4) (6 . 5) (7 . 14) (9 . 16)) 5977 0.5641 13.4558 ((1 . 1) (3 . 3) (6 . 5) (7 . 6)) 6011 0.7131 6.4273 ((1 . 4) (2 . 7) (3 . 8) (5 . 9) (6 . 10)) 6022 0.7096 9.0571 ((1 . 1) (3 . 2) (5 . 4) (6 . 5) (7 . 9)) 6029 0.5711 6.0412 ((2 . 17) (3 . 18) (5 . 19) (7 . 23)) 6041 0.5710 6.3749 ((1 . 10) (2 . 11) (3 . 12) (5 . 13)) 6046 0.5713 4.4069 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 6061 0.1498 9.7139 ((1 . 13) (2 . 14) (6 . 17) (7 . 20)) 6074 0.5697 9.2899 ((1 . 8) (3 . 11) (6 . 13) (7 . 15)) 6079 0.5712 5.4499 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 6089 0.1993 4.9327 ((1 . 16) (2 . 17) (3 . 18) (7 . 23)) 6094 0.5685 10.5959 ((1 . 2) (2 . 3) (5 . 7) (7 . 11)) 6099 0.7138 5.0944 ((1 . 9) (2 . 10) (3 . 11) (5 . 13) (6 . 14)) 6123 0.2945 6.5508 ((2 . 2) (3 . 1) (5 . 4) (6 . 5)) 6142 0.7139 4.9160 ((1 . 18) (2 . 19) (3 . 20) (5 . 24) (6 . 25)) 6167 0.5713 4.9660 ((1 . 12) (2 . 14) (5 . 20) (6 . 21)) 6173 0.7140 4.4850 ((1 . 4) (2 . 5) (3 . 7) (5 . 8) (6 . 12)) 6191 0.5692 9.9712 ((3 . 3) (5 . 4) (7 . 9) (9 . 10)) 6215 0.5705 7.9007 ((1 . 17) (2 . 18) (3 . 19) (5 . 20)) 6225 0.5713 4.8415 ((5 . 3) (6 . 4) (7 . 7) (9 . 8)) 6228 0.5706 7.6774 ((1 . 3) (5 . 7) (7 . 11) (9 . 12)) 6234 0.5665 12.1407 ((2 . 6) (5 . 9) (6 . 10) (9 . 15)) 6238 0.5711 6.0558 ((1 . 4) (3 . 7) (5 . 8) (6 . 9)) 6243 0.5647 13.1397 ((1 . 2) (2 . 3) (5 . 8) (7 . 10)) 6258 0.5712 5.7064 ((5 . 3) (6 . 4) (7 . 7) (9 . 9)) 6270 0.5709 6.8265 ((2 . 15) (5 . 17) (6 . 18) (9 . 22)) 6271 0.5711 6.0524 ((1 . 7) (2 . 8) (5 . 10) (6 . 11)) 6294 0.5693 9.7979 ((1 . 2) (3 . 6) (6 . 9) (7 . 11)) 6306 0.2945 7.4830 ((1 . 16) (2 . 17) (5 . 19) (6 . 21)) 6311 0.5713 4.4424 ((1 . 10) (2 . 11) (5 . 13) (6 . 14)) 6326 0.5714 4.0291 ((2 . 1) (3 . 10) (5 . 11) (6 . 12)) 6338 0.5711 6.2641 ((1 . 1) (3 . 4) (5 . 5) (6 . 7)) 6344 0.5713 4.5660 ((2 . 14) (3 . 15) (5 . 18) (6 . 19)) 6345 0.5703 8.3252 ((2 . 4) (3 . 5) (5 . 6) (6 . 7)) 6355 0.5710 6.7267 ((5 . 6) (6 . 7) (7 . 9) (9 . 10)) 6369 0.5706 7.6846 ((1 . 26) (5 . 29) (6 . 31) (7 . 32)) 6376 0.2945 6.1394 ((1 . 19) (2 . 21) (3 . 24) (6 . 26)) 6399 0.7139 4.6729 ((1 . 10) (2 . 11) (3 . 12) (5 . 15) (6 . 16)) 6403 0.7138 4.9861 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5)) 6434 0.5714 3.7606 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 6462 0.5709 7.0123 ((1 . 20) (3 . 22) (5 . 24) (9 . 28)) 6498 0.3790 5.1507 ((1 . 1) (2 . 2) (3 . 3) (9 . 10)) 6520 0.5713 4.3161 ((1 . 3) (2 . 6) (3 . 8) (5 . 9)) 6539 0.5707 7.5095 ((1 . 4) (2 . 5) (3 . 6) (5 . 8)) 6540 0.5712 5.5879 ((1 . 18) (2 . 19) (3 . 20) (6 . 22)) 6555 0.5712 5.2985 ((2 . 17) (3 . 19) (5 . 20) (6 . 22)) 6561 0.1498 12.8705 ((3 . 9) (6 . 12) (7 . 13) (9 . 15)) 6573 0.5657 12.5938 ((3 . 19) (6 . 21) (7 . 23) (9 . 24)) 6578 0.5712 5.5281 ((2 . 31) (3 . 32) (5 . 34) (6 . 37)) 6584 0.5712 5.7204 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 6585 0.5709 7.0220 ((2 . 8) (5 . 10) (6 . 11) (7 . 13)) 6598 0.7120 7.5849 ((1 . 16) (2 . 17) (5 . 20) (7 . 26) (9 . 27)) 6613 0.5710 6.5197 ((1 . 32) (2 . 33) (3 . 34) (5 . 35)) END