491 25 0.4437 12.8961 ((2 . 2) (5 . 4) (6 . 6) (10 . 11)) 64 0.5708 7.1240 ((1 . 6) (6 . 9) (8 . 10) (9 . 12)) 77 0.5701 8.7456 ((1 . 8) (2 . 10) (5 . 12) (6 . 13)) 96 0.5704 8.2278 ((5 . 2) (6 . 3) (8 . 5) (9 . 6)) 136 0.5714 2.8883 ((5 . 2) (6 . 3) (8 . 7) (9 . 8)) 150 0.1249 10.2042 ((2 . 17) (5 . 18) (6 . 19) (8 . 23)) 157 0.5695 9.5531 ((1 . 9) (5 . 12) (6 . 14) (10 . 20)) 161 0.2477 11.8848 ((5 . 1) (6 . 3) (9 . 9) (10 . 10)) 162 0.5937 7.3038 ((1 . 15) (2 . 16) (8 . 17) (9 . 18) (10 . 20)) 169 0.5707 7.4732 ((1 . 1) (6 . 5) (8 . 9) (10 . 10)) 177 0.5711 6.2613 ((1 . 1) (6 . 5) (8 . 8) (10 . 10)) 191 0.4454 6.8119 ((1 . 1) (5 . 3) (6 . 4) (8 . 6)) 198 0.5710 6.5184 ((6 . 8) (8 . 12) (9 . 13) (10 . 15)) 207 0.4449 9.7198 ((1 . 7) (2 . 10) (5 . 11) (9 . 15)) 300 0.5709 6.8772 ((5 . 4) (8 . 7) (9 . 8) (10 . 9)) 305 0.4442 11.9072 ((5 . 8) (6 . 9) (8 . 15) (9 . 16)) 307 0.3789 8.0565 ((1 . 7) (2 . 6) (5 . 10) (6 . 9)) 315 0.3789 8.1292 ((5 . 2) (8 . 8) (9 . 9) (10 . 10)) 350 0.4436 13.0782 ((2 . 3) (5 . 9) (8 . 13) (10 . 16)) 360 0.3786 10.9854 ((1 . 5) (6 . 8) (8 . 12) (10 . 14)) 361 0.5705 7.9997 ((1 . 4) (5 . 6) (8 . 11) (9 . 10)) 367 0.5708 7.3190 ((1 . 38) (8 . 44) (9 . 46) (10 . 48)) 372 0.5711 6.1065 ((6 . 2) (8 . 7) (9 . 8) (10 . 10)) 405 0.5704 8.1515 ((1 . 34) (6 . 35) (8 . 39) (9 . 40)) 417 0.3790 5.7147 ((1 . 1) (5 . 6) (6 . 7) (8 . 9)) 433 0.2477 11.1146 ((2 . 2) (5 . 3) (6 . 5) (8 . 7)) 442 0.5707 7.4752 ((1 . 4) (5 . 9) (6 . 10) (8 . 12)) 491 1.0000 0.0000 ((1 . 1) (2 . 2) (5 . 5) (6 . 6) (8 . 8) (9 . 9) (10 . 10)) 495 0.1498 9.3464 ((1 . 1) (5 . 4) (6 . 5) (8 . 8)) 541 0.5711 6.0960 ((1 . 11) (2 . 13) (6 . 16) (8 . 17)) 543 0.5679 11.1498 ((1 . 4) (2 . 3) (5 . 7) (6 . 8)) 561 0.5699 9.0865 ((1 . 1) (2 . 2) (5 . 5) (6 . 6)) 584 0.3785 11.4663 ((1 . 28) (2 . 27) (5 . 29) (6 . 32)) 587 0.5711 6.2495 ((6 . 2) (8 . 6) (9 . 7) (10 . 8)) 609 0.5713 4.3832 ((5 . 2) (6 . 3) (9 . 6) (10 . 8)) 619 0.5627 14.0575 ((2 . 3) (5 . 5) (8 . 9) (10 . 11)) 624 0.5713 5.1490 ((1 . 9) (2 . 10) (8 . 15) (9 . 16)) 635 0.5712 5.7808 ((1 . 5) (6 . 13) (8 . 14) (9 . 15)) 672 0.4916 6.8102 ((5 . 17) (6 . 18) (8 . 22) (9 . 23)) 678 0.5700 8.8251 ((1 . 26) (2 . 28) (5 . 30) (8 . 34)) 729 0.5713 5.2450 ((1 . 9) (2 . 12) (8 . 17) (9 . 20)) 735 0.5706 7.6428 ((6 . 29) (8 . 31) (9 . 32) (10 . 33)) 740 0.2945 7.1997 ((5 . 1) (6 . 2) (9 . 7) (10 . 9)) 765 0.2945 7.9362 ((1 . 7) (6 . 12) (8 . 19) (10 . 20)) 767 0.5675 11.4162 ((1 . 26) (2 . 27) (5 . 33) (6 . 32)) 796 0.5697 9.2513 ((1 . 3) (2 . 4) (5 . 7) (6 . 6)) 812 0.5706 7.7152 ((1 . 11) (2 . 12) (8 . 16) (10 . 19)) 818 0.4441 12.1363 ((1 . 2) (5 . 5) (6 . 7) (9 . 12)) 819 0.2477 8.8963 ((1 . 2) (2 . 4) (6 . 5) (10 . 9)) 824 0.5700 8.9437 ((6 . 45) (8 . 50) (9 . 49) (10 . 51)) 861 0.5710 6.5265 ((2 . 11) (8 . 17) (9 . 18) (10 . 19)) 913 0.1993 6.5154 ((5 . 15) (6 . 16) (8 . 17) (10 . 20)) 928 0.5702 8.6095 ((1 . 14) (2 . 15) (5 . 17) (6 . 18)) 943 0.5689 10.2709 ((1 . 6) (2 . 7) (8 . 14) (9 . 15)) 945 0.0999 5.0671 ((5 . 13) (6 . 12) (8 . 17) (10 . 19)) 960 0.5701 8.7338 ((1 . 8) (5 . 11) (6 . 12) (10 . 19)) 978 0.2945 8.9306 ((1 . 10) (6 . 13) (8 . 16) (10 . 19)) 980 0.5711 6.0665 ((5 . 2) (6 . 1) (8 . 5) (10 . 7)) 1007 0.5697 9.3254 ((2 . 1) (5 . 2) (8 . 7) (10 . 8)) 1034 0.2943 13.5522 ((2 . 19) (5 . 23) (8 . 25) (9 . 26)) 1043 0.4448 10.2022 ((1 . 14) (2 . 15) (5 . 16) (6 . 17)) 1082 0.5699 9.0494 ((1 . 8) (5 . 11) (6 . 12) (10 . 16)) 1084 0.5708 7.3366 ((1 . 12) (2 . 15) (6 . 17) (8 . 20)) 1169 0.2477 9.9946 ((6 . 29) (8 . 32) (9 . 34) (10 . 35)) 1195 0.3789 7.9229 ((5 . 1) (6 . 2) (8 . 4) (9 . 5)) 1201 0.1249 9.1280 ((2 . 5) (5 . 8) (6 . 7) (8 . 11)) 1204 0.5696 9.4861 ((1 . 12) (5 . 15) (9 . 20) (10 . 22)) 1211 0.5710 6.6453 ((1 . 5) (2 . 7) (8 . 14) (10 . 15)) 1217 0.5705 7.9097 ((5 . 2) (6 . 3) (8 . 9) (10 . 11)) 1224 0.5708 7.1883 ((1 . 3) (8 . 9) (9 . 10) (10 . 14)) 1233 0.5709 6.7555 ((5 . 13) (6 . 14) (8 . 20) (10 . 22)) 1267 0.5666 12.0704 ((1 . 9) (5 . 14) (6 . 15) (10 . 19)) 1268 0.5596 15.2193 ((2 . 18) (5 . 19) (8 . 23) (9 . 24)) 1345 0.5692 9.9723 ((1 . 9) (2 . 10) (5 . 11) (10 . 18)) 1366 0.5709 6.7843 ((1 . 12) (6 . 17) (8 . 21) (9 . 22)) 1388 0.2477 9.0037 ((1 . 1) (2 . 2) (6 . 4) (10 . 8)) 1425 0.5708 7.0794 ((6 . 4) (8 . 10) (9 . 11) (10 . 12)) 1447 0.3790 4.6340 ((5 . 2) (6 . 3) (9 . 5) (10 . 7)) 1451 0.5709 6.9027 ((6 . 1) (8 . 4) (9 . 5) (10 . 6)) 1464 0.5703 8.4135 ((1 . 7) (5 . 12) (6 . 13) (8 . 14)) 1476 0.5711 6.0536 ((5 . 10) (6 . 11) (9 . 15) (10 . 18)) 1481 0.3790 5.6578 ((1 . 1) (5 . 3) (6 . 4) (8 . 7)) 1501 0.5712 5.7768 ((1 . 1) (8 . 7) (9 . 8) (10 . 9)) 1513 0.5702 8.6089 ((1 . 2) (5 . 4) (6 . 5) (10 . 11)) 1514 0.5695 9.5831 ((1 . 3) (2 . 2) (5 . 5) (6 . 6)) 1577 0.5662 12.3107 ((2 . 1) (5 . 2) (6 . 3) (10 . 10)) 1591 0.3790 4.8787 ((2 . 2) (6 . 4) (8 . 6) (9 . 8)) 1604 0.1993 5.1302 ((1 . 1) (5 . 6) (6 . 7) (10 . 12)) 1622 0.1664 11.0693 ((1 . 18) (2 . 19) (5 . 21) (8 . 25)) 1624 0.1992 9.4895 ((5 . 1) (8 . 5) (9 . 6) (10 . 7)) 1643 0.5712 5.3979 ((1 . 9) (6 . 12) (8 . 17) (9 . 18)) 1644 0.2477 9.3972 ((5 . 42) (6 . 44) (8 . 48) (9 . 49)) 1690 0.5712 5.8404 ((1 . 1) (5 . 7) (6 . 8) (10 . 13)) 1692 0.9997 2.9997 ((1 . 1) (2 . 2) (5 . 4) (6 . 5) (8 . 8) (9 . 9) (10 . 10)) 1738 0.2945 8.3848 ((1 . 4) (2 . 5) (8 . 14) (9 . 13)) 1747 0.5710 6.4912 ((1 . 4) (6 . 7) (8 . 11) (9 . 12)) 1756 0.5709 7.0186 ((6 . 22) (8 . 27) (9 . 28) (10 . 30)) 1761 0.5709 6.8723 ((1 . 11) (2 . 12) (8 . 19) (9 . 20)) 1763 0.4455 5.5535 ((2 . 4) (5 . 6) (6 . 7) (10 . 13)) 1776 0.4450 9.2315 ((1 . 9) (2 . 10) (8 . 16) (10 . 20)) 1793 0.2477 11.3295 ((1 . 4) (2 . 5) (8 . 10) (10 . 11)) 1805 0.5711 6.2715 ((6 . 2) (8 . 7) (9 . 8) (10 . 9)) 1808 0.5691 10.0835 ((1 . 2) (2 . 1) (6 . 6) (8 . 10)) 1867 0.5706 7.6985 ((5 . 2) (6 . 1) (8 . 6) (9 . 7)) 1894 0.5581 15.7212 ((2 . 15) (5 . 16) (9 . 23) (10 . 25)) 1908 0.3788 9.4302 ((2 . 8) (5 . 9) (6 . 10) (10 . 17)) 1909 0.5707 7.4445 ((5 . 24) (6 . 25) (9 . 31) (10 . 34)) 1913 0.5712 5.4025 ((1 . 1) (2 . 2) (6 . 5) (9 . 10)) 1944 0.1997 8.1562 ((1 . 9) (5 . 12) (6 . 13) (8 . 16) (9 . 22)) 1957 0.5702 8.5738 ((1 . 15) (2 . 16) (5 . 18) (6 . 19)) 1961 0.1993 8.4481 ((1 . 15) (5 . 18) (6 . 19) (8 . 21)) 1972 0.5711 6.3189 ((1 . 16) (5 . 17) (6 . 18) (10 . 24)) 1992 0.5686 10.4959 ((1 . 9) (2 . 10) (5 . 13) (6 . 14)) 1995 0.7133 6.1093 ((1 . 1) (6 . 7) (8 . 8) (9 . 11) (10 . 13)) 2003 0.3782 12.9160 ((1 . 4) (2 . 2) (5 . 6) (9 . 11)) 2006 0.5705 8.0632 ((1 . 8) (6 . 11) (8 . 14) (10 . 15)) 2045 0.5711 6.2020 ((1 . 1) (6 . 3) (8 . 7) (9 . 8)) 2048 0.5712 5.3841 ((5 . 12) (6 . 13) (8 . 16) (9 . 17)) 2063 0.1664 8.6915 ((1 . 42) (5 . 46) (6 . 47) (8 . 50)) 2065 0.4912 8.7005 ((6 . 18) (8 . 23) (9 . 25) (10 . 26)) 2067 0.5476 18.3860 ((5 . 52) (8 . 55) (9 . 57) (10 . 59)) 2072 0.3789 8.1227 ((5 . 3) (6 . 2) (8 . 6) (9 . 7)) 2081 0.5694 9.6845 ((1 . 12) (5 . 14) (8 . 19) (10 . 20)) 2083 0.3788 9.4965 ((6 . 1) (8 . 2) (9 . 4) (10 . 5)) 2097 0.2945 7.8963 ((1 . 5) (5 . 10) (8 . 14) (9 . 16)) 2116 0.5709 6.9921 ((1 . 4) (6 . 7) (8 . 11) (10 . 12)) 2117 0.5688 10.3210 ((1 . 4) (2 . 3) (8 . 12) (9 . 11)) 2118 0.5690 10.0891 ((1 . 5) (2 . 6) (8 . 11) (9 . 12)) 2122 0.1993 7.3631 ((5 . 11) (6 . 12) (8 . 17) (9 . 18)) 2166 0.5708 7.1376 ((1 . 13) (8 . 19) (9 . 20) (10 . 21)) 2179 0.5712 5.7546 ((1 . 1) (2 . 3) (6 . 6) (8 . 10)) 2203 0.5705 7.9561 ((1 . 1) (2 . 3) (6 . 7) (9 . 12)) 2205 0.5711 6.2174 ((1 . 13) (8 . 19) (9 . 20) (10 . 22)) 2209 0.3790 7.5836 ((5 . 2) (6 . 3) (8 . 6) (10 . 7)) 2243 0.5707 7.4357 ((1 . 51) (6 . 54) (8 . 60) (9 . 61)) 2244 0.3788 9.6444 ((6 . 73) (8 . 76) (9 . 77) (10 . 79)) 2249 0.3786 11.1081 ((1 . 7) (2 . 8) (8 . 12) (10 . 16)) 2279 0.3788 9.8763 ((1 . 3) (5 . 6) (6 . 7) (8 . 11)) 2298 0.0999 6.5332 ((5 . 5) (6 . 6) (8 . 8) (10 . 10)) 2308 0.4432 13.6596 ((2 . 3) (5 . 7) (6 . 6) (10 . 11)) 2344 0.5699 9.0629 ((1 . 3) (6 . 7) (9 . 11) (10 . 13)) 2364 0.5698 9.1500 ((1 . 9) (2 . 10) (8 . 18) (9 . 19)) 2389 0.5680 11.0405 ((1 . 3) (6 . 7) (8 . 10) (9 . 11)) 2408 0.1992 9.0367 ((1 . 37) (6 . 41) (8 . 46) (10 . 47)) 2409 0.2945 9.6628 ((5 . 1) (6 . 4) (9 . 8) (10 . 9)) 2410 0.1993 8.6091 ((2 . 12) (5 . 14) (6 . 13) (8 . 17)) 2422 0.5711 6.0169 ((5 . 2) (8 . 7) (9 . 8) (10 . 9)) 2423 0.4910 9.1031 ((2 . 12) (5 . 13) (6 . 14) (8 . 17)) 2440 0.5680 11.0910 ((1 . 9) (2 . 10) (6 . 13) (8 . 17)) 2447 0.5707 7.5950 ((2 . 34) (5 . 37) (6 . 36) (9 . 40)) 2510 0.1498 4.9667 ((5 . 2) (6 . 3) (8 . 5) (10 . 7)) 2525 0.2478 7.0183 ((1 . 41) (2 . 42) (5 . 44) (9 . 50)) 2529 0.5714 3.3971 ((6 . 1) (8 . 5) (9 . 6) (10 . 3)) 2533 0.0999 11.7473 ((1 . 4) (2 . 3) (5 . 5) (10 . 13)) 2556 0.3476 6.1924 ((1 . 20) (5 . 12) (6 . 11) (8 . 13) (9 . 16) (10 . 18)) 2557 0.3789 8.4634 ((5 . 1) (6 . 3) (8 . 6) (9 . 7)) 2561 0.5699 8.9685 ((2 . 2) (5 . 5) (8 . 7) (9 . 8)) 2595 0.1993 8.3454 ((1 . 1) (2 . 2) (6 . 4) (9 . 9)) 2627 0.1664 8.3420 ((2 . 59) (5 . 61) (6 . 60) (8 . 65)) 2650 0.5707 7.5238 ((1 . 1) (5 . 4) (8 . 6) (9 . 7)) 2675 0.3790 7.3701 ((1 . 1) (2 . 2) (8 . 10) (9 . 11)) 2682 0.5649 13.0301 ((5 . 10) (6 . 11) (8 . 15) (10 . 17)) 2696 0.5705 7.9408 ((1 . 31) (5 . 33) (6 . 35) (8 . 39)) 2755 0.1993 6.3936 ((5 . 2) (6 . 3) (8 . 6) (10 . 8)) 2773 0.5706 7.7176 ((1 . 2) (5 . 4) (6 . 5) (8 . 6)) 2804 0.5708 7.2245 ((1 . 25) (6 . 29) (8 . 34) (9 . 36)) 2830 0.4436 13.0901 ((2 . 20) (5 . 21) (8 . 24) (10 . 26)) 2834 0.5712 5.4052 ((6 . 1) (8 . 5) (9 . 6) (10 . 8)) 2840 0.5704 8.2518 ((1 . 1) (6 . 6) (8 . 9) (9 . 11)) 2842 0.5711 6.0936 ((1 . 1) (5 . 3) (6 . 4) (10 . 9)) 2867 0.5711 6.3482 ((2 . 3) (5 . 5) (8 . 9) (10 . 12)) 2879 0.1993 7.9740 ((1 . 51) (5 . 55) (6 . 54) (8 . 59)) 2886 0.5708 7.1917 ((1 . 34) (6 . 38) (8 . 43) (10 . 44)) 2929 0.2945 10.5551 ((1 . 36) (2 . 38) (5 . 41) (6 . 40)) 2947 0.1992 9.8649 ((1 . 3) (5 . 5) (6 . 6) (10 . 12)) 2966 0.4914 7.5706 ((5 . 2) (6 . 3) (8 . 8) (9 . 9)) 2990 0.5690 10.1402 ((5 . 8) (6 . 9) (8 . 14) (9 . 15)) 2999 0.5711 6.1910 ((2 . 1) (5 . 3) (6 . 4) (8 . 7)) 3014 0.4452 8.3228 ((1 . 4) (2 . 3) (5 . 6) (6 . 7)) 3019 0.5708 7.2567 ((1 . 19) (5 . 21) (6 . 22) (8 . 25)) 3041 0.5712 5.4564 ((1 . 14) (2 . 15) (8 . 22) (9 . 24)) 3063 0.5695 9.5098 ((1 . 33) (2 . 34) (8 . 39) (10 . 41)) 3070 0.5704 8.2263 ((1 . 33) (2 . 34) (5 . 37) (6 . 36)) 3084 0.5699 9.0192 ((1 . 17) (2 . 18) (5 . 20) (6 . 21)) 3103 0.0999 8.6625 ((1 . 3) (5 . 7) (6 . 11) (10 . 13)) 3120 0.5695 9.5339 ((1 . 21) (2 . 20) (5 . 23) (6 . 25)) 3127 0.5706 7.6493 ((5 . 5) (6 . 6) (9 . 11) (10 . 13)) 3147 0.2476 14.6432 ((1 . 16) (6 . 19) (9 . 24) (10 . 26)) 3187 0.1332 9.6101 ((6 . 1) (8 . 3) (9 . 4) (10 . 5)) 3190 0.5708 7.1367 ((5 . 2) (6 . 1) (9 . 6) (10 . 9)) 3197 0.5699 8.9555 ((1 . 21) (2 . 22) (5 . 23) (6 . 24)) 3200 0.5712 5.5664 ((1 . 4) (2 . 5) (6 . 9) (8 . 11)) 3212 0.5697 9.2626 ((1 . 5) (2 . 7) (5 . 10) (6 . 9)) 3222 0.4445 11.2605 ((6 . 10) (8 . 14) (9 . 15) (10 . 16)) 3261 0.5682 10.8683 ((1 . 6) (2 . 5) (5 . 10) (6 . 9)) 3286 0.5695 9.5770 ((5 . 2) (6 . 3) (9 . 7) (10 . 9)) 3289 0.2945 7.5384 ((6 . 25) (8 . 29) (9 . 30) (10 . 31)) 3297 0.5713 4.9526 ((1 . 7) (6 . 8) (8 . 9) (10 . 13)) 3339 0.5713 5.1455 ((1 . 15) (2 . 16) (8 . 21) (9 . 22)) 3344 0.5709 6.7583 ((1 . 18) (6 . 22) (8 . 26) (10 . 27)) 3358 0.3790 6.0882 ((5 . 3) (6 . 4) (9 . 8) (10 . 10)) 3362 0.5710 6.3831 ((5 . 3) (6 . 4) (8 . 6) (10 . 8)) 3366 0.2945 10.5792 ((1 . 22) (5 . 25) (6 . 26) (9 . 29)) 3391 0.2945 6.5922 ((1 . 10) (5 . 12) (6 . 13) (9 . 17)) 3410 0.1997 6.3005 ((1 . 30) (5 . 20) (6 . 21) (8 . 24) (10 . 28)) 3418 0.3789 7.7997 ((5 . 1) (6 . 2) (8 . 5) (9 . 6)) 3446 0.1664 9.1043 ((2 . 1) (5 . 2) (8 . 5) (9 . 6)) 3472 0.1498 7.5101 ((6 . 3) (8 . 8) (9 . 9) (10 . 11)) 3481 0.5713 4.4328 ((5 . 3) (6 . 4) (8 . 7) (10 . 10)) 3496 0.5675 11.4829 ((1 . 22) (2 . 21) (5 . 24) (10 . 29)) 3533 0.5705 8.0483 ((1 . 1) (5 . 6) (6 . 7) (8 . 11)) 3537 0.4449 9.7797 ((5 . 1) (8 . 5) (9 . 6) (10 . 7)) 3538 0.5713 4.7232 ((1 . 20) (2 . 21) (6 . 23) (8 . 26)) 3548 0.5682 10.9316 ((1 . 2) (6 . 5) (8 . 9) (9 . 10)) 3549 0.5692 9.9455 ((1 . 2) (2 . 4) (5 . 7) (6 . 8)) 3561 0.5712 5.5440 ((5 . 25) (6 . 26) (8 . 30) (9 . 31)) 3570 0.5679 11.1544 ((1 . 3) (2 . 2) (5 . 6) (6 . 7)) 3585 0.5700 8.8776 ((1 . 6) (2 . 7) (6 . 11) (8 . 14)) 3625 0.1992 8.6435 ((6 . 1) (8 . 3) (9 . 5) (10 . 6)) 3626 0.4452 8.1823 ((1 . 2) (5 . 5) (6 . 8) (8 . 11)) 3628 0.5691 10.0030 ((1 . 6) (2 . 7) (6 . 9) (8 . 12)) 3651 0.5705 8.0252 ((1 . 1) (2 . 4) (8 . 8) (9 . 13)) 3658 0.1992 12.3474 ((2 . 13) (5 . 15) (6 . 17) (8 . 18)) 3661 0.1664 10.2920 ((2 . 14) (5 . 18) (8 . 23) (9 . 24)) 3688 0.4434 13.4477 ((1 . 26) (6 . 30) (8 . 34) (9 . 35)) 3697 0.1992 11.0669 ((1 . 7) (2 . 8) (5 . 9) (6 . 10)) 3732 0.5709 6.8726 ((2 . 4) (5 . 6) (6 . 7) (10 . 11)) 3733 0.2945 8.7019 ((1 . 3) (2 . 4) (5 . 5) (6 . 6)) 3741 0.5713 4.5291 ((1 . 22) (6 . 25) (8 . 28) (9 . 32)) 3778 0.3785 11.6018 ((1 . 4) (2 . 5) (5 . 8) (9 . 12)) 3787 0.5611 14.6801 ((2 . 13) (5 . 14) (6 . 15) (10 . 19)) 3790 0.5702 8.5583 ((1 . 21) (2 . 23) (8 . 30) (9 . 31)) 3810 0.4450 9.4428 ((1 . 4) (6 . 10) (8 . 15) (10 . 16)) 3817 0.1498 7.3264 ((1 . 1) (5 . 3) (6 . 5) (10 . 9)) 3818 0.5709 7.0320 ((1 . 20) (2 . 21) (9 . 28) (10 . 29)) 3829 0.1663 14.5876 ((5 . 3) (6 . 2) (8 . 5) (10 . 9)) 3831 0.5713 4.6747 ((1 . 2) (5 . 4) (6 . 5) (8 . 9)) 3849 0.1992 9.8164 ((1 . 1) (5 . 4) (6 . 5) (8 . 8)) 3853 0.4451 9.0356 ((5 . 7) (6 . 8) (9 . 12) (10 . 14)) 3856 0.3790 7.1984 ((5 . 4) (6 . 6) (8 . 10) (9 . 12)) 3870 0.5695 9.5092 ((1 . 3) (2 . 4) (5 . 6) (8 . 8)) 3933 0.4916 6.7354 ((1 . 6) (6 . 11) (8 . 17) (9 . 18)) 3938 0.2477 9.6126 ((6 . 2) (8 . 4) (9 . 6) (10 . 8)) 3968 0.5691 10.0426 ((2 . 2) (5 . 4) (9 . 9) (10 . 11)) 3986 0.4449 10.0327 ((6 . 2) (8 . 6) (9 . 7) (10 . 9)) 3990 0.5706 7.7169 ((1 . 16) (5 . 19) (8 . 24) (10 . 26)) 4005 0.5698 9.1930 ((5 . 28) (6 . 29) (8 . 35) (9 . 36)) 4009 0.5709 6.9464 ((1 . 12) (5 . 16) (9 . 21) (10 . 22)) 4019 0.5689 10.2739 ((1 . 38) (5 . 41) (6 . 43) (9 . 46)) 4034 0.5703 8.4069 ((2 . 1) (5 . 3) (6 . 5) (8 . 6)) 4067 0.2943 12.8031 ((1 . 16) (2 . 17) (8 . 24) (10 . 25)) 4082 0.3781 13.4521 ((2 . 1) (5 . 2) (8 . 6) (10 . 8)) 4087 0.4453 7.5394 ((5 . 2) (6 . 3) (8 . 7) (10 . 8)) 4115 0.4452 8.1068 ((2 . 2) (5 . 4) (6 . 8) (8 . 10)) 4151 0.2945 8.4539 ((1 . 3) (2 . 4) (8 . 9) (10 . 12)) 4177 0.3790 7.4906 ((1 . 1) (2 . 3) (5 . 6) (6 . 7)) 4190 0.4452 8.6247 ((2 . 4) (5 . 6) (6 . 8) (8 . 9)) 4192 0.5713 4.3871 ((1 . 15) (2 . 16) (6 . 19) (8 . 22)) 4194 0.0999 6.1768 ((5 . 2) (8 . 5) (9 . 6) (10 . 7)) 4204 0.5684 10.6858 ((1 . 5) (2 . 6) (8 . 14) (9 . 15)) 4209 0.7137 5.4266 ((1 . 1) (6 . 2) (8 . 4) (9 . 8) (10 . 10)) 4210 0.4454 7.1368 ((2 . 1) (6 . 5) (8 . 6) (9 . 8)) 4226 0.5712 5.3753 ((1 . 11) (5 . 15) (6 . 16) (8 . 19)) 4232 0.5711 6.2667 ((1 . 1) (6 . 4) (8 . 6) (10 . 8)) 4246 0.2945 8.5569 ((6 . 3) (8 . 7) (9 . 8) (10 . 11)) 4254 0.5713 5.2322 ((6 . 1) (8 . 3) (9 . 4) (10 . 6)) 4255 0.5703 8.3856 ((1 . 21) (2 . 22) (5 . 25) (6 . 26)) 4257 0.5683 10.7756 ((2 . 2) (5 . 4) (8 . 8) (9 . 9)) 4266 0.5712 5.8330 ((5 . 7) (6 . 8) (8 . 11) (9 . 12)) 4275 0.5692 9.9409 ((5 . 22) (6 . 23) (8 . 27) (9 . 28)) 4284 0.5709 6.9781 ((6 . 1) (8 . 4) (9 . 5) (10 . 6)) 4299 0.5702 8.4563 ((1 . 11) (2 . 13) (8 . 20) (9 . 22)) 4326 0.5707 7.5641 ((5 . 6) (6 . 7) (9 . 15) (10 . 17)) 4332 0.3790 6.3157 ((1 . 2) (2 . 3) (5 . 5) (6 . 6)) 4338 0.4450 9.5127 ((1 . 4) (2 . 5) (6 . 7) (8 . 11)) 4352 0.2477 8.6126 ((2 . 3) (5 . 4) (8 . 9) (10 . 10)) 4359 0.5712 5.5183 ((1 . 3) (6 . 8) (8 . 11) (9 . 12)) 4380 0.5713 4.5372 ((5 . 28) (6 . 29) (8 . 32) (9 . 36)) 4386 0.3790 7.4089 ((5 . 17) (6 . 18) (8 . 19) (9 . 21)) 4388 0.5698 9.1156 ((1 . 1) (2 . 2) (8 . 8) (9 . 9)) 4398 0.5649 13.0615 ((1 . 4) (6 . 7) (8 . 10) (10 . 13)) 4405 0.2945 9.2499 ((1 . 14) (2 . 17) (5 . 20) (9 . 25)) 4408 0.1992 9.5938 ((1 . 3) (5 . 5) (6 . 6) (10 . 13)) 4415 0.5708 7.3166 ((1 . 3) (5 . 5) (9 . 11) (10 . 12)) 4419 0.2945 8.5607 ((5 . 1) (6 . 3) (9 . 8) (10 . 9)) 4426 0.5703 8.3942 ((1 . 2) (2 . 3) (5 . 5) (6 . 6)) 4470 0.4450 9.2511 ((5 . 4) (6 . 5) (8 . 9) (9 . 10)) 4492 0.1332 9.3323 ((2 . 10) (5 . 12) (8 . 16) (10 . 21)) 4495 0.4449 10.0110 ((1 . 10) (2 . 11) (5 . 12) (8 . 16)) 4497 0.5701 8.6679 ((1 . 18) (2 . 20) (6 . 23) (8 . 26)) 4502 0.5698 9.2177 ((1 . 6) (2 . 7) (6 . 10) (8 . 14)) 4503 0.4453 7.7423 ((5 . 2) (8 . 7) (9 . 8) (10 . 10)) 4504 0.5710 6.5269 ((1 . 4) (2 . 5) (6 . 8) (8 . 13)) 4505 0.1666 5.8838 ((1 . 26) (2 . 33) (5 . 27) (6 . 28) (8 . 30) (10 . 34)) 4516 0.5707 7.4837 ((1 . 10) (5 . 13) (6 . 14) (9 . 18)) 4527 0.1992 9.2614 ((5 . 2) (8 . 6) (9 . 7) (10 . 8)) 4538 0.4447 10.5378 ((5 . 27) (8 . 31) (9 . 32) (10 . 34)) 4560 0.5712 5.8090 ((1 . 1) (5 . 5) (6 . 6) (10 . 11)) 4561 0.5678 11.2307 ((1 . 5) (2 . 6) (8 . 14) (9 . 15)) 4562 0.1332 7.3058 ((1 . 22) (2 . 23) (5 . 26) (6 . 25)) 4563 0.5706 7.8287 ((2 . 32) (5 . 33) (6 . 34) (8 . 35)) 4577 0.5671 11.7578 ((1 . 54) (6 . 58) (8 . 60) (9 . 62)) 4588 0.5713 5.0533 ((5 . 2) (6 . 3) (8 . 8) (9 . 9)) 4589 0.1664 6.8384 ((2 . 20) (6 . 23) (8 . 27) (9 . 30)) 4621 0.5704 8.2178 ((1 . 4) (2 . 5) (6 . 9) (8 . 11)) 4630 0.5692 9.8872 ((1 . 16) (6 . 20) (9 . 26) (10 . 28)) 4648 0.4455 4.7988 ((1 . 1) (5 . 3) (6 . 5) (8 . 8)) 4653 0.5694 9.6488 ((1 . 1) (2 . 2) (6 . 6) (8 . 9)) 4668 0.1498 6.7017 ((5 . 2) (6 . 3) (8 . 7) (10 . 9)) 4669 0.5707 7.5505 ((5 . 16) (6 . 15) (9 . 19) (10 . 21)) 4671 0.5685 10.5963 ((1 . 7) (6 . 11) (8 . 15) (10 . 19)) 4674 0.1993 8.3642 ((5 . 3) (6 . 2) (8 . 7) (10 . 8)) 4678 0.5710 6.6469 ((1 . 6) (6 . 11) (8 . 14) (10 . 16)) 4713 0.5678 11.1979 ((1 . 3) (2 . 1) (6 . 6) (8 . 9)) 4731 0.2477 7.6257 ((2 . 15) (5 . 17) (9 . 22) (10 . 23)) 4857 0.4455 4.9324 ((1 . 2) (5 . 4) (6 . 5) (8 . 9)) 4888 0.5686 10.5351 ((6 . 9) (8 . 12) (9 . 13) (10 . 14)) 4889 0.2945 10.2721 ((1 . 3) (5 . 5) (6 . 6) (10 . 11)) 4914 0.5681 10.9607 ((1 . 1) (6 . 6) (8 . 11) (9 . 12)) 4929 0.5710 6.6581 ((1 . 26) (6 . 31) (8 . 34) (10 . 35)) 4944 0.5711 6.1204 ((5 . 10) (6 . 11) (8 . 13) (9 . 14)) 4961 0.1992 10.1988 ((1 . 7) (2 . 8) (9 . 15) (10 . 17)) 4978 0.5708 7.1623 ((1 . 25) (5 . 27) (6 . 28) (9 . 32)) 4982 0.2944 12.2323 ((1 . 9) (5 . 13) (6 . 14) (8 . 18)) 5029 0.5704 8.0792 ((5 . 3) (6 . 4) (9 . 8) (10 . 10)) 5036 0.5711 5.9103 ((1 . 1) (6 . 6) (8 . 9) (10 . 10)) 5038 0.4910 9.3275 ((6 . 12) (8 . 16) (9 . 17) (10 . 18)) 5039 0.5704 8.1057 ((1 . 37) (2 . 38) (8 . 44) (9 . 45)) 5044 0.5703 8.3292 ((1 . 3) (6 . 8) (9 . 14) (10 . 16)) 5053 0.5697 9.2562 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 5065 0.5713 4.7406 ((5 . 5) (6 . 7) (8 . 10) (9 . 11)) 5068 0.1664 11.2775 ((1 . 2) (5 . 6) (6 . 7) (9 . 12)) 5069 0.5712 5.3659 ((5 . 14) (6 . 15) (8 . 18) (9 . 19)) 5073 0.5712 5.5683 ((5 . 31) (6 . 32) (8 . 36) (10 . 39)) 5083 0.1249 9.3850 ((1 . 1) (2 . 3) (5 . 4) (6 . 5)) 5101 0.2945 8.2319 ((5 . 17) (6 . 18) (9 . 23) (10 . 25)) 5103 0.2945 9.4730 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 5121 0.5689 10.2832 ((5 . 22) (8 . 25) (9 . 26) (10 . 27)) 5132 0.5688 10.3148 ((1 . 22) (2 . 23) (5 . 24) (6 . 26)) 5134 0.5713 4.9739 ((1 . 6) (6 . 10) (8 . 13) (10 . 17)) 5145 0.4454 6.0233 ((2 . 2) (5 . 4) (6 . 5) (8 . 10)) 5167 0.5713 4.8670 ((1 . 4) (2 . 6) (5 . 7) (6 . 9)) 5176 0.4452 8.3085 ((1 . 84) (2 . 85) (6 . 87) (10 . 91)) 5199 0.5709 6.8163 ((1 . 4) (5 . 6) (6 . 7) (10 . 9)) 5209 0.5709 6.8543 ((1 . 3) (5 . 6) (8 . 8) (9 . 9)) 5212 0.5666 12.0881 ((5 . 18) (8 . 22) (9 . 23) (10 . 24)) 5215 0.5701 8.6892 ((1 . 5) (2 . 6) (5 . 8) (6 . 9)) 5223 0.5713 4.7221 ((2 . 4) (5 . 7) (6 . 8) (9 . 12)) 5231 0.2477 9.0695 ((1 . 8) (2 . 9) (5 . 15) (6 . 16)) 5266 0.5705 8.0081 ((5 . 3) (6 . 4) (9 . 8) (10 . 10)) 5307 0.5694 9.6344 ((5 . 52) (6 . 53) (8 . 57) (9 . 58)) 5312 0.1498 9.8773 ((6 . 1) (8 . 3) (9 . 4) (10 . 5)) 5324 0.5713 4.9687 ((1 . 10) (2 . 11) (8 . 15) (9 . 16)) 5344 0.1993 7.7663 ((1 . 1) (6 . 4) (8 . 8) (10 . 10)) 5368 0.5713 5.0515 ((1 . 16) (6 . 20) (8 . 25) (9 . 26)) 5378 0.3787 10.2715 ((1 . 3) (5 . 5) (6 . 6) (8 . 9)) 5414 0.5700 8.9344 ((1 . 14) (6 . 18) (8 . 21) (9 . 22)) 5433 0.2477 8.9005 ((6 . 7) (8 . 12) (9 . 13) (10 . 16)) 5479 0.5707 7.4482 ((1 . 33) (6 . 35) (8 . 40) (10 . 41)) 5487 0.5700 8.9126 ((2 . 1) (5 . 3) (6 . 4) (10 . 11)) 5489 0.5706 7.6963 ((6 . 2) (8 . 5) (9 . 6) (10 . 9)) 5501 0.5670 11.7764 ((1 . 16) (5 . 21) (8 . 24) (9 . 25)) 5535 0.5707 7.4935 ((1 . 2) (2 . 5) (6 . 8) (8 . 12)) 5540 0.2942 14.7062 ((1 . 4) (2 . 5) (5 . 9) (10 . 15)) 5560 0.5699 9.0218 ((1 . 9) (2 . 10) (5 . 14) (9 . 17)) 5562 0.1498 11.2991 ((2 . 5) (5 . 9) (8 . 11) (10 . 14)) 5567 0.5706 7.7930 ((1 . 8) (2 . 10) (8 . 17) (10 . 18)) 5594 0.5712 5.4644 ((6 . 1) (8 . 3) (9 . 4) (10 . 6)) 5600 0.1992 8.6769 ((1 . 3) (2 . 4) (5 . 7) (6 . 9)) 5601 0.4442 11.9609 ((1 . 3) (5 . 6) (6 . 7) (9 . 12)) 5640 0.5711 6.2656 ((1 . 9) (6 . 14) (8 . 19) (9 . 20)) 5644 0.5701 8.6321 ((1 . 1) (5 . 5) (8 . 11) (9 . 12)) 5656 0.3788 9.7508 ((5 . 4) (6 . 5) (8 . 9) (10 . 14)) 5700 0.5697 9.3295 ((2 . 1) (6 . 4) (8 . 8) (10 . 9)) 5701 0.2945 8.2056 ((1 . 12) (2 . 13) (5 . 15) (6 . 14)) 5703 0.1993 8.4217 ((5 . 3) (6 . 5) (9 . 7) (10 . 8)) 5711 0.5705 7.9526 ((1 . 36) (6 . 42) (8 . 46) (10 . 47)) 5718 0.5690 10.1193 ((1 . 14) (6 . 18) (8 . 24) (9 . 25)) 5731 0.4442 11.8968 ((5 . 1) (6 . 2) (8 . 7) (10 . 9)) 5746 0.5709 6.7517 ((1 . 2) (5 . 5) (6 . 6) (8 . 10)) 5749 0.3788 9.6981 ((5 . 1) (6 . 3) (8 . 4) (9 . 5)) 5761 0.2477 10.1925 ((1 . 28) (2 . 29) (6 . 31) (9 . 36)) 5770 0.5702 8.5832 ((1 . 1) (5 . 5) (6 . 6) (10 . 12)) 5782 0.5699 8.9834 ((1 . 21) (5 . 23) (6 . 24) (10 . 32)) 5794 0.5704 8.1039 ((1 . 16) (2 . 17) (8 . 24) (9 . 25)) 5795 0.5709 6.9932 ((2 . 3) (5 . 5) (8 . 10) (10 . 13)) 5809 0.5711 6.1179 ((1 . 7) (2 . 8) (8 . 14) (9 . 15)) 5822 0.3789 7.8687 ((1 . 1) (5 . 5) (6 . 6) (8 . 8)) 5827 0.5711 6.3420 ((1 . 4) (5 . 10) (6 . 11) (10 . 15)) 5830 0.5714 4.2081 ((1 . 3) (5 . 9) (6 . 10) (10 . 17)) 5847 0.4910 9.3693 ((6 . 7) (8 . 10) (9 . 11) (10 . 12)) 5861 0.1332 9.1940 ((6 . 7) (8 . 12) (9 . 11) (10 . 15)) 5878 0.2944 10.8412 ((2 . 21) (5 . 22) (8 . 26) (9 . 28)) 5888 0.5711 6.1608 ((1 . 16) (6 . 21) (8 . 24) (9 . 25)) 5896 0.5690 10.1217 ((1 . 28) (2 . 27) (5 . 30) (6 . 31)) 5904 0.1498 7.6090 ((1 . 4) (5 . 8) (6 . 9) (8 . 11)) 5913 0.4454 6.3999 ((2 . 14) (5 . 16) (6 . 17) (8 . 22)) 5930 0.3789 8.1469 ((5 . 3) (6 . 2) (9 . 7) (10 . 8)) 5939 0.4445 11.1875 ((2 . 5) (5 . 7) (6 . 10) (9 . 14)) 5945 0.3789 8.6245 ((1 . 28) (2 . 29) (5 . 31) (6 . 32)) 5949 0.4454 6.9368 ((1 . 4) (2 . 8) (5 . 11) (8 . 14)) 5955 0.5704 8.2018 ((5 . 2) (6 . 3) (9 . 7) (10 . 9)) 5977 0.1498 7.4209 ((1 . 1) (5 . 2) (6 . 3) (8 . 6)) 6000 0.5693 9.8125 ((2 . 2) (5 . 3) (6 . 4) (10 . 9)) 6022 0.2478 7.2899 ((6 . 2) (8 . 5) (9 . 7) (10 . 8)) 6029 0.2477 9.5419 ((1 . 3) (2 . 2) (6 . 6) (8 . 11)) 6041 0.7119 7.6267 ((2 . 5) (5 . 6) (6 . 10) (8 . 11) (9 . 12)) 6061 0.5700 8.8932 ((5 . 12) (6 . 13) (8 . 14) (9 . 15)) 6074 0.5710 6.5163 ((2 . 3) (5 . 5) (6 . 6) (8 . 8)) 6079 0.7140 4.6330 ((5 . 2) (6 . 6) (8 . 7) (9 . 8) (10 . 1)) 6087 0.1498 7.4991 ((1 . 8) (2 . 9) (5 . 11) (6 . 10)) 6089 0.5706 7.7155 ((1 . 5) (2 . 6) (8 . 16) (9 . 17)) 6094 0.5699 8.9737 ((5 . 6) (6 . 7) (8 . 12) (10 . 14)) 6099 0.5709 6.7876 ((2 . 15) (6 . 18) (8 . 22) (10 . 23)) 6142 0.5708 7.2155 ((1 . 8) (6 . 11) (8 . 14) (9 . 15)) 6148 0.1498 9.1901 ((6 . 32) (8 . 34) (9 . 36) (10 . 37)) 6173 0.5700 8.8663 ((1 . 5) (6 . 9) (8 . 13) (9 . 15)) 6191 0.5684 10.7051 ((1 . 4) (2 . 5) (5 . 7) (10 . 13)) 6192 0.5706 7.6883 ((1 . 5) (2 . 4) (6 . 10) (8 . 11)) 6225 0.5669 11.8970 ((2 . 1) (5 . 2) (6 . 3) (10 . 8)) 6228 0.5701 8.7875 ((1 . 15) (2 . 16) (5 . 18) (6 . 19)) 6234 0.5695 9.5782 ((1 . 6) (5 . 8) (6 . 10) (9 . 15)) 6238 0.5690 10.1155 ((2 . 2) (5 . 6) (8 . 8) (9 . 9)) 6243 0.3790 6.2499 ((1 . 2) (5 . 5) (6 . 6) (9 . 10)) 6258 0.5706 7.8162 ((2 . 2) (5 . 5) (6 . 7) (10 . 12)) 6266 0.1993 6.6700 ((2 . 4) (5 . 7) (6 . 6) (8 . 10)) 6270 0.3789 8.6837 ((1 . 15) (2 . 16) (5 . 19) (6 . 20)) 6271 0.5700 8.9261 ((6 . 7) (8 . 10) (9 . 11) (10 . 12)) 6273 0.2477 8.7946 ((5 . 5) (6 . 6) (8 . 7) (10 . 12)) 6294 0.4448 10.1239 ((1 . 6) (2 . 7) (6 . 11) (9 . 16)) 6306 0.1992 11.2666 ((1 . 15) (6 . 19) (8 . 21) (9 . 22)) 6326 0.4451 9.2080 ((1 . 5) (6 . 9) (8 . 12) (9 . 13)) 6344 0.5710 6.6262 ((1 . 12) (5 . 16) (6 . 17) (8 . 21)) 6345 0.5708 7.0714 ((5 . 1) (8 . 4) (9 . 5) (10 . 6)) 6355 0.5702 8.5707 ((5 . 3) (8 . 6) (9 . 7) (10 . 9)) 6356 0.4451 9.0530 ((2 . 2) (5 . 3) (6 . 4) (9 . 9)) 6369 0.3789 8.8457 ((1 . 24) (2 . 25) (5 . 27) (8 . 31)) 6376 0.5653 12.8437 ((5 . 20) (6 . 21) (9 . 26) (10 . 28)) 6391 0.1663 16.6254 ((2 . 5) (6 . 8) (8 . 10) (10 . 12)) 6392 0.5711 6.2286 ((5 . 2) (6 . 3) (9 . 7) (10 . 9)) 6399 0.5713 5.2075 ((1 . 20) (6 . 26) (8 . 29) (9 . 30)) 6403 0.2945 7.3324 ((1 . 4) (5 . 6) (8 . 12) (9 . 13)) 6462 0.5712 5.4404 ((1 . 16) (2 . 17) (8 . 22) (9 . 24)) 6476 0.1664 7.8434 ((2 . 1) (5 . 5) (6 . 4) (8 . 9)) 6520 0.1249 9.9153 ((2 . 18) (5 . 21) (8 . 24) (9 . 25)) 6539 0.1664 12.0838 ((5 . 3) (6 . 5) (8 . 8) (9 . 10)) 6540 0.5712 5.5344 ((1 . 3) (6 . 6) (8 . 9) (10 . 11)) 6548 0.4452 8.0814 ((1 . 5) (2 . 6) (5 . 8) (8 . 13)) 6553 0.5686 10.5694 ((5 . 16) (6 . 17) (9 . 22) (10 . 23)) 6555 0.5682 10.8864 ((1 . 6) (5 . 9) (8 . 15) (9 . 16)) 6561 0.5687 10.4722 ((5 . 2) (8 . 7) (9 . 8) (10 . 9)) 6573 0.3790 6.5958 ((5 . 18) (8 . 23) (9 . 24) (10 . 25)) 6575 0.2477 9.7295 ((1 . 2) (2 . 3) (5 . 6) (6 . 5)) 6584 0.5714 4.2603 ((5 . 4) (6 . 5) (8 . 8) (9 . 9)) 6585 0.5708 7.3405 ((1 . 2) (2 . 7) (6 . 10) (10 . 11)) 6586 0.2945 8.5797 ((1 . 18) (2 . 19) (5 . 22) (6 . 24)) 6587 0.3789 8.1071 ((1 . 31) (2 . 32) (5 . 35) (6 . 34)) 6598 0.5711 6.1637 ((1 . 10) (6 . 16) (8 . 20) (9 . 21)) 6613 0.5713 5.0840 ((1 . 24) (2 . 25) (6 . 28) (8 . 32)) END