4551 41 0.5712 5.5627 ((1 . 3) (4 . 5) (7 . 6) (8 . 7)) 51 0.5688 10.3689 ((2 . 1) (4 . 2) (8 . 6) (17 . 14)) 62 0.1993 5.4231 ((2 . 10) (4 . 13) (7 . 15) (8 . 16)) 64 0.5704 8.1404 ((4 . 2) (8 . 4) (17 . 9) (18 . 10)) 77 0.5694 9.6404 ((7 . 3) (8 . 7) (17 . 13) (18 . 15)) 91 0.7141 3.8431 ((1 . 16) (2 . 19) (4 . 28) (7 . 30) (8 . 31)) 96 0.5711 6.1262 ((1 . 1) (4 . 3) (7 . 4) (8 . 6)) 136 0.5710 6.5107 ((1 . 3) (4 . 5) (7 . 6) (8 . 8)) 150 0.5714 3.9560 ((1 . 20) (4 . 23) (7 . 24) (8 . 25)) 153 0.5710 6.4795 ((1 . 1) (2 . 4) (4 . 6) (8 . 8)) 157 0.5713 4.4032 ((1 . 1) (2 . 3) (4 . 5) (8 . 8)) 161 0.5712 5.8382 ((1 . 2) (2 . 3) (4 . 6) (8 . 9)) 169 0.5685 10.6471 ((1 . 4) (2 . 5) (4 . 7) (8 . 9)) 177 0.5697 9.3642 ((1 . 3) (2 . 4) (4 . 5) (8 . 7)) 191 0.3788 9.7166 ((4 . 1) (7 . 3) (17 . 8) (18 . 9)) 207 0.5711 6.2089 ((1 . 13) (4 . 15) (7 . 17) (8 . 18)) 300 0.1498 7.2248 ((4 . 6) (8 . 9) (17 . 16) (18 . 17)) 305 0.2945 6.0892 ((4 . 9) (7 . 10) (8 . 11) (18 . 21)) 307 0.5712 5.8449 ((1 . 3) (4 . 7) (7 . 8) (8 . 9)) 315 0.3788 9.3208 ((2 . 3) (4 . 4) (7 . 7) (8 . 8)) 350 0.5711 5.9158 ((1 . 11) (2 . 13) (4 . 15) (8 . 20)) 360 0.2946 5.2958 ((2 . 9) (4 . 12) (7 . 13) (8 . 14)) 361 0.1992 8.8699 ((1 . 1) (2 . 2) (4 . 4) (7 . 5)) 365 0.5696 9.3731 ((1 . 2) (2 . 3) (4 . 6) (8 . 8)) 367 0.2945 6.8075 ((1 . 40) (2 . 42) (4 . 44) (8 . 47)) 417 0.1993 7.4523 ((1 . 3) (2 . 5) (4 . 7) (8 . 9)) 442 0.5710 6.6881 ((4 . 12) (8 . 14) (17 . 20) (18 . 21)) 460 0.1993 7.4019 ((1 . 2) (4 . 6) (7 . 9) (8 . 8)) 472 0.1992 15.1340 ((1 . 20) (4 . 22) (7 . 23) (17 . 31)) 495 0.5713 4.3880 ((2 . 3) (4 . 5) (7 . 6) (8 . 7)) 541 0.5714 3.9548 ((1 . 7) (4 . 11) (7 . 13) (8 . 14)) 543 0.5669 11.8704 ((2 . 1) (8 . 5) (17 . 15) (18 . 16)) 584 0.5707 7.5779 ((1 . 4) (2 . 5) (7 . 9) (8 . 10)) 587 0.5712 5.8504 ((1 . 4) (4 . 8) (17 . 15) (18 . 16)) 609 0.5713 4.9441 ((1 . 1) (4 . 3) (7 . 5) (8 . 6)) 619 0.5668 11.9192 ((1 . 6) (2 . 7) (4 . 9) (8 . 12)) 624 0.7135 5.8243 ((1 . 7) (2 . 9) (4 . 11) (17 . 22) (18 . 26)) 635 0.5710 6.5599 ((4 . 3) (8 . 5) (17 . 14) (18 . 15)) 678 0.5714 3.9682 ((1 . 22) (4 . 24) (7 . 25) (8 . 26)) 729 0.6238 3.7309 ((1 . 7) (2 . 9) (4 . 13) (7 . 14) (8 . 15) (17 . 17) (18 . 20)) 740 0.5706 7.7395 ((1 . 2) (2 . 3) (4 . 5) (8 . 9)) 765 0.5701 8.6581 ((1 . 11) (2 . 12) (4 . 17) (8 . 20)) 795 0.1993 4.7064 ((2 . 1) (4 . 3) (7 . 4) (8 . 5)) 796 0.5696 9.4554 ((1 . 3) (2 . 5) (4 . 6) (7 . 7)) 812 0.4445 11.2296 ((2 . 9) (4 . 11) (8 . 13) (18 . 20)) 818 0.5705 8.0409 ((1 . 7) (2 . 8) (4 . 10) (8 . 14)) 819 0.0999 4.6952 ((4 . 2) (8 . 3) (17 . 9) (18 . 10)) 861 0.5711 5.9312 ((1 . 7) (2 . 8) (7 . 10) (17 . 19)) 901 0.5711 6.0283 ((1 . 5) (4 . 7) (7 . 8) (8 . 9)) 913 0.2944 10.8797 ((1 . 16) (2 . 17) (7 . 21) (8 . 20)) 928 0.5713 4.8147 ((2 . 14) (4 . 16) (7 . 17) (8 . 18)) 943 0.5714 4.1839 ((1 . 6) (4 . 9) (7 . 10) (8 . 12)) 945 0.5714 3.9709 ((1 . 14) (2 . 17) (4 . 19) (8 . 22)) 960 0.5708 7.1787 ((4 . 19) (7 . 20) (8 . 21) (18 . 29)) 978 0.5712 5.3257 ((2 . 6) (7 . 9) (8 . 10) (17 . 16)) 980 0.5714 3.2916 ((1 . 5) (4 . 7) (7 . 8) (8 . 9)) 1007 0.5700 8.9405 ((7 . 6) (8 . 8) (17 . 18) (18 . 17)) 1043 0.3790 6.7204 ((1 . 10) (2 . 12) (7 . 16) (8 . 17)) 1082 0.8557 5.3382 ((2 . 19) (4 . 24) (7 . 29) (8 . 30) (17 . 36) (18 . 37)) 1165 0.7139 4.7655 ((1 . 7) (4 . 10) (7 . 11) (8 . 12) (17 . 19)) 1167 0.0999 7.8327 ((1 . 20) (4 . 22) (7 . 24) (8 . 27)) 1169 0.2946 5.5833 ((1 . 31) (2 . 32) (4 . 34) (8 . 37)) 1201 0.5708 7.1780 ((1 . 4) (4 . 7) (7 . 8) (8 . 9)) 1204 0.2945 6.7212 ((2 . 1) (4 . 3) (7 . 4) (8 . 5)) 1211 0.5713 5.0927 ((4 . 3) (8 . 5) (17 . 14) (18 . 15)) 1224 0.1993 7.9677 ((4 . 3) (8 . 5) (17 . 14) (18 . 15)) 1233 0.5714 3.8102 ((1 . 11) (4 . 14) (7 . 16) (8 . 17)) 1267 0.5714 3.3872 ((1 . 13) (2 . 15) (7 . 18) (8 . 19)) 1345 0.5707 7.4241 ((1 . 5) (4 . 7) (7 . 8) (8 . 9)) 1366 0.5710 6.5686 ((2 . 12) (4 . 14) (8 . 16) (17 . 23)) 1435 0.5709 6.9820 ((2 . 1) (7 . 4) (17 . 11) (18 . 13)) 1447 0.5713 4.9805 ((1 . 1) (4 . 3) (7 . 4) (8 . 5)) 1476 0.5714 4.2799 ((1 . 9) (4 . 11) (7 . 13) (8 . 14)) 1513 0.5714 3.5569 ((1 . 13) (4 . 15) (7 . 16) (8 . 18)) 1591 0.5714 3.7713 ((4 . 4) (7 . 5) (8 . 6) (17 . 11)) 1604 0.5714 3.8619 ((1 . 7) (2 . 10) (7 . 11) (8 . 12)) 1622 0.1993 5.3291 ((1 . 18) (4 . 20) (7 . 21) (8 . 22)) 1643 0.5713 4.8667 ((2 . 25) (4 . 27) (17 . 38) (18 . 39)) 1644 0.1993 8.0616 ((1 . 44) (2 . 46) (4 . 47) (8 . 50)) 1665 0.5714 3.7120 ((4 . 6) (7 . 7) (8 . 8) (17 . 10)) 1690 0.5706 7.7702 ((1 . 1) (4 . 8) (8 . 11) (18 . 21)) 1692 0.5712 5.6417 ((1 . 5) (2 . 7) (4 . 8) (8 . 10)) 1731 0.5712 5.6294 ((4 . 3) (8 . 6) (17 . 12) (18 . 13)) 1736 0.5714 4.1926 ((1 . 7) (4 . 10) (7 . 11) (8 . 12)) 1738 0.5713 4.4590 ((2 . 6) (4 . 9) (7 . 10) (8 . 11)) 1747 0.5710 6.3936 ((2 . 18) (8 . 24) (17 . 31) (18 . 32)) 1761 0.5713 5.1881 ((2 . 3) (8 . 13) (17 . 16) (18 . 20)) 1776 0.5712 5.3651 ((2 . 9) (4 . 12) (8 . 14) (17 . 23)) 1777 0.5712 5.3007 ((1 . 31) (2 . 34) (4 . 37) (8 . 43)) 1778 0.5659 12.4990 ((2 . 1) (4 . 3) (8 . 5) (17 . 12)) 1793 0.5714 4.1713 ((2 . 6) (4 . 8) (7 . 9) (8 . 10)) 1805 0.5703 8.3394 ((4 . 2) (8 . 4) (17 . 11) (18 . 12)) 1808 0.1993 5.0548 ((2 . 2) (4 . 5) (7 . 7) (8 . 8)) 1817 0.2945 6.4394 ((1 . 13) (2 . 14) (4 . 16) (7 . 21)) 1867 0.3789 8.3407 ((2 . 1) (4 . 3) (7 . 4) (8 . 7)) 1894 0.5697 9.2655 ((1 . 18) (2 . 19) (4 . 21) (8 . 25)) 1897 0.5566 16.1714 ((2 . 40) (4 . 41) (7 . 44) (8 . 46)) 1908 0.1993 4.6211 ((1 . 7) (4 . 10) (7 . 14) (8 . 15)) 1909 0.5712 5.2724 ((1 . 29) (4 . 31) (7 . 33) (8 . 34)) 1913 0.5714 4.2592 ((1 . 22) (4 . 26) (8 . 28) (17 . 30)) 1944 0.5713 4.8455 ((2 . 7) (4 . 9) (7 . 12) (8 . 13)) 1957 0.8404 4.2389 ((1 . 11) (2 . 13) (4 . 15) (7 . 16) (8 . 17) (17 . 19) (18 . 22)) 1961 0.5712 5.4528 ((1 . 14) (4 . 16) (7 . 18) (8 . 19)) 1972 0.5714 3.8072 ((1 . 16) (4 . 18) (7 . 19) (8 . 20)) 1992 0.5696 9.4686 ((4 . 1) (7 . 5) (17 . 12) (18 . 14)) 1995 0.2945 7.3998 ((1 . 1) (2 . 2) (4 . 3) (8 . 8)) 2003 0.5687 10.4771 ((1 . 5) (2 . 7) (4 . 8) (8 . 10)) 2006 0.5705 7.8693 ((2 . 2) (4 . 5) (8 . 8) (18 . 15)) 2048 0.1993 7.8564 ((2 . 1) (7 . 3) (8 . 4) (17 . 13)) 2063 0.5708 7.2231 ((2 . 43) (4 . 44) (7 . 46) (8 . 48)) 2067 0.1992 17.0717 ((1 . 2) (4 . 4) (7 . 5) (17 . 15)) 2072 0.0999 7.7534 ((1 . 2) (4 . 4) (7 . 8) (8 . 7)) 2081 0.5705 7.9443 ((4 . 10) (8 . 12) (17 . 19) (18 . 20)) 2083 0.5710 6.4345 ((1 . 2) (2 . 4) (7 . 6) (8 . 7)) 2097 0.5708 7.2843 ((7 . 2) (8 . 4) (17 . 14) (18 . 16)) 2114 0.5701 8.7492 ((1 . 28) (2 . 29) (4 . 32) (8 . 36)) 2116 0.5700 8.8593 ((1 . 1) (2 . 2) (4 . 4) (8 . 6)) 2117 0.5713 4.7608 ((1 . 17) (2 . 20) (4 . 23) (8 . 25)) 2118 0.5704 8.0985 ((1 . 1) (4 . 5) (7 . 6) (8 . 7)) 2122 0.5713 5.2243 ((1 . 6) (2 . 8) (17 . 10) (18 . 18)) 2166 0.5708 7.0822 ((7 . 10) (8 . 12) (17 . 16) (18 . 17)) 2179 0.7139 4.8233 ((2 . 7) (4 . 10) (8 . 13) (17 . 22) (18 . 23)) 2196 0.1993 6.3057 ((1 . 12) (2 . 13) (4 . 15) (8 . 19)) 2203 0.5687 10.4451 ((1 . 6) (2 . 7) (4 . 10) (8 . 12)) 2205 0.5709 7.0275 ((1 . 18) (2 . 20) (4 . 22) (8 . 26)) 2209 0.4865 3.8594 ((1 . 3) (2 . 5) (4 . 7) (7 . 8) (8 . 9) (17 . 10)) 2243 0.5712 5.6914 ((1 . 42) (4 . 45) (17 . 54) (18 . 55)) 2249 0.5712 5.5673 ((1 . 7) (8 . 12) (17 . 21) (18 . 23)) 2269 0.1993 6.6417 ((1 . 8) (4 . 10) (7 . 11) (8 . 12)) 2279 0.3788 9.2737 ((2 . 5) (4 . 7) (8 . 10) (17 . 22)) 2298 0.5714 3.1779 ((1 . 12) (4 . 15) (7 . 16) (8 . 17)) 2308 0.1993 6.5925 ((1 . 6) (4 . 8) (7 . 10) (8 . 11)) 2314 0.5654 12.7505 ((1 . 3) (2 . 4) (7 . 9) (17 . 18)) 2340 0.5710 6.5368 ((1 . 9) (4 . 11) (7 . 12) (8 . 14)) 2344 0.5709 6.8400 ((1 . 7) (4 . 10) (7 . 12) (8 . 14)) 2364 0.5714 3.9831 ((1 . 9) (4 . 15) (7 . 16) (8 . 18)) 2389 0.5671 11.7241 ((4 . 1) (8 . 3) (17 . 10) (18 . 11)) 2408 0.5697 9.3261 ((1 . 39) (2 . 40) (4 . 41) (8 . 45)) 2422 0.5709 6.8940 ((1 . 7) (2 . 8) (4 . 9) (7 . 10)) 2423 0.1992 8.9149 ((2 . 19) (4 . 21) (7 . 23) (8 . 25)) 2440 0.5714 3.7624 ((1 . 4) (2 . 6) (4 . 7) (8 . 9)) 2447 0.8555 5.5371 ((1 . 13) (2 . 15) (4 . 18) (7 . 20) (8 . 21) (17 . 24)) 2510 0.5714 3.8360 ((1 . 19) (2 . 21) (4 . 23) (8 . 25)) 2525 0.5702 8.4930 ((2 . 45) (4 . 47) (7 . 49) (8 . 50)) 2529 0.5712 5.8283 ((1 . 1) (4 . 3) (7 . 4) (8 . 6)) 2533 0.7138 5.0970 ((1 . 4) (2 . 6) (7 . 11) (17 . 18) (18 . 19)) 2552 0.5713 4.6168 ((1 . 1) (4 . 3) (7 . 4) (8 . 5)) 2556 0.5713 4.8013 ((1 . 11) (4 . 13) (7 . 15) (8 . 16)) 2595 0.5713 4.7702 ((1 . 6) (2 . 9) (4 . 11) (8 . 13)) 2619 0.5711 5.9132 ((1 . 3) (4 . 5) (7 . 6) (8 . 7)) 2675 0.1498 7.8796 ((7 . 2) (8 . 1) (17 . 11) (18 . 12)) 2682 0.5710 6.3568 ((1 . 1) (4 . 3) (7 . 4) (18 . 15)) 2696 0.2945 6.3801 ((1 . 32) (2 . 34) (4 . 36) (8 . 39)) 2733 0.1993 7.7969 ((1 . 1) (4 . 4) (7 . 7) (8 . 8)) 2755 0.7142 3.1644 ((1 . 3) (2 . 5) (4 . 6) (8 . 8) (17 . 10)) 2783 0.5706 7.7741 ((1 . 6) (2 . 7) (4 . 8) (8 . 12)) 2821 0.5689 10.2874 ((2 . 1) (4 . 3) (7 . 6) (8 . 7)) 2830 0.9254 5.4527 ((1 . 1) (2 . 3) (4 . 5) (7 . 6) (8 . 7) (17 . 9) (18 . 24)) 2834 0.5713 5.0502 ((1 . 1) (2 . 3) (4 . 6) (8 . 8)) 2840 0.5707 7.5235 ((2 . 6) (4 . 8) (7 . 10) (8 . 11)) 2842 0.5695 9.5516 ((1 . 1) (4 . 4) (7 . 6) (8 . 5)) 2879 0.5703 8.2725 ((1 . 52) (2 . 53) (4 . 54) (8 . 59)) 2886 0.5709 6.7468 ((1 . 37) (2 . 38) (4 . 41) (8 . 44)) 2940 0.5713 5.1143 ((1 . 1) (2 . 3) (4 . 4) (8 . 6)) 2947 0.5709 7.0401 ((1 . 2) (4 . 4) (7 . 5) (8 . 6)) 2955 0.5705 7.9439 ((1 . 7) (4 . 8) (8 . 10) (18 . 17)) 2966 0.2945 7.6505 ((7 . 5) (8 . 6) (17 . 16) (18 . 17)) 2999 0.1498 4.2640 ((2 . 2) (4 . 4) (7 . 5) (8 . 6)) 3019 0.5710 6.4831 ((1 . 9) (4 . 11) (8 . 14) (17 . 19)) 3034 0.5711 6.0766 ((1 . 5) (4 . 7) (7 . 8) (8 . 9)) 3041 0.9059 3.4881 ((1 . 12) (2 . 14) (4 . 16) (7 . 17) (8 . 18) (17 . 22) (18 . 24)) 3055 0.5707 7.5351 ((1 . 13) (2 . 15) (4 . 17) (8 . 21)) 3063 0.5692 9.9090 ((1 . 35) (2 . 36) (4 . 38) (8 . 41)) 3070 0.2945 9.6520 ((1 . 32) (2 . 33) (4 . 35) (7 . 37)) 3084 0.7123 7.3092 ((1 . 5) (2 . 7) (4 . 9) (7 . 10) (8 . 11)) 3102 0.5713 4.7381 ((2 . 65) (8 . 70) (17 . 77) (18 . 80)) 3114 0.1992 9.2295 ((1 . 24) (2 . 25) (7 . 28) (8 . 29)) 3127 0.5666 12.0563 ((2 . 2) (4 . 3) (7 . 5) (8 . 6)) 3147 0.5711 6.0950 ((1 . 5) (4 . 7) (17 . 20) (18 . 21)) 3187 0.5695 9.5413 ((1 . 2) (2 . 3) (4 . 4) (8 . 6)) 3190 0.6384 4.0783 ((1 . 1) (2 . 3) (4 . 6) (7 . 7) (8 . 9) (17 . 11)) 3197 0.5714 3.3281 ((1 . 10) (4 . 12) (7 . 13) (8 . 14)) 3200 0.5693 9.8376 ((2 . 1) (4 . 3) (7 . 5) (17 . 13)) 3222 0.5712 5.8672 ((2 . 1) (8 . 6) (17 . 15) (18 . 16)) 3256 0.5701 8.6645 ((1 . 16) (2 . 18) (4 . 20) (8 . 25)) 3286 0.5707 7.5910 ((1 . 3) (4 . 5) (7 . 6) (8 . 7)) 3297 0.1498 9.4869 ((1 . 5) (2 . 7) (4 . 8) (8 . 9)) 3322 0.5714 3.6758 ((2 . 1) (4 . 3) (7 . 4) (8 . 5)) 3334 0.1993 8.4610 ((1 . 1) (4 . 4) (17 . 14) (18 . 15)) 3339 0.9273 3.4116 ((1 . 11) (2 . 15) (4 . 17) (7 . 18) (8 . 19) (17 . 21) (18 . 22)) 3344 0.5699 8.9777 ((1 . 22) (2 . 24) (4 . 26) (8 . 27)) 3358 0.5710 6.7327 ((1 . 4) (2 . 7) (4 . 8) (8 . 10)) 3362 0.5707 7.4920 ((2 . 6) (4 . 8) (7 . 9) (8 . 11)) 3391 0.7129 6.6641 ((1 . 4) (2 . 6) (4 . 8) (8 . 10) (17 . 17)) 3410 0.5714 4.1756 ((1 . 19) (4 . 21) (7 . 23) (8 . 24)) 3481 0.5713 4.8842 ((2 . 2) (4 . 4) (7 . 5) (8 . 8)) 3495 0.5708 7.2426 ((4 . 3) (7 . 6) (8 . 7) (18 . 16)) 3496 0.2477 10.3384 ((2 . 19) (7 . 21) (8 . 22) (18 . 29)) 3537 0.5702 8.5660 ((7 . 1) (8 . 2) (17 . 9) (18 . 10)) 3538 0.5699 8.9807 ((4 . 15) (8 . 18) (17 . 23) (18 . 24)) 3548 0.2945 7.9096 ((1 . 3) (4 . 5) (7 . 7) (8 . 9)) 3561 0.5714 3.7159 ((1 . 20) (2 . 22) (7 . 25) (8 . 26)) 3570 0.7105 8.5969 ((1 . 1) (2 . 3) (4 . 4) (7 . 6) (8 . 8)) 3585 0.5710 6.5181 ((1 . 12) (4 . 14) (7 . 15) (8 . 16)) 3628 0.5714 3.9480 ((1 . 10) (4 . 12) (7 . 13) (8 . 14)) 3651 0.5709 7.0658 ((1 . 1) (2 . 3) (4 . 5) (8 . 8)) 3661 0.5704 8.1197 ((1 . 8) (7 . 13) (17 . 24) (18 . 26)) 3688 0.3787 10.3119 ((1 . 2) (2 . 3) (7 . 10) (8 . 11)) 3697 0.5709 6.9326 ((1 . 6) (4 . 7) (7 . 9) (8 . 10)) 3703 0.5697 9.2778 ((4 . 1) (8 . 3) (17 . 9) (18 . 8)) 3732 0.5705 7.8609 ((1 . 7) (4 . 9) (7 . 10) (8 . 12)) 3733 0.5712 5.8241 ((1 . 3) (4 . 6) (7 . 7) (8 . 8)) 3740 0.2945 6.3069 ((1 . 1) (2 . 2) (4 . 4) (8 . 6)) 3741 0.5690 10.1504 ((2 . 16) (8 . 22) (17 . 28) (18 . 32)) 3776 0.7141 4.1241 ((1 . 15) (2 . 17) (4 . 21) (7 . 23) (8 . 24)) 3778 0.2945 8.3951 ((1 . 3) (2 . 4) (4 . 6) (8 . 7)) 3787 0.5713 4.2990 ((1 . 29) (2 . 31) (4 . 33) (8 . 35)) 3790 0.5713 4.7202 ((2 . 24) (4 . 26) (17 . 38) (18 . 39)) 3807 0.5714 4.2746 ((1 . 43) (4 . 47) (7 . 49) (8 . 50)) 3817 0.5710 6.7204 ((2 . 5) (4 . 7) (17 . 15) (18 . 16)) 3818 0.1992 9.2711 ((7 . 21) (8 . 20) (17 . 28) (18 . 29)) 3853 0.5712 5.5967 ((4 . 3) (7 . 4) (8 . 6) (17 . 12)) 3856 0.1993 5.8730 ((4 . 3) (7 . 4) (8 . 6) (17 . 14)) 3870 0.5713 4.3000 ((1 . 5) (4 . 8) (7 . 9) (8 . 10)) 3933 0.5699 9.0201 ((1 . 9) (2 . 11) (4 . 14) (8 . 18)) 3938 0.1498 7.4678 ((1 . 4) (2 . 6) (4 . 9) (7 . 12)) 3942 0.3790 4.7924 ((2 . 2) (4 . 3) (7 . 8) (8 . 9)) 3968 0.5714 3.3085 ((1 . 3) (2 . 5) (4 . 9) (8 . 11)) 3986 0.5694 9.6712 ((1 . 6) (2 . 8) (8 . 13) (17 . 26)) 3990 0.5711 5.8945 ((2 . 18) (4 . 20) (7 . 21) (8 . 22)) 4005 0.5600 15.0952 ((2 . 7) (8 . 12) (17 . 24) (18 . 25)) 4009 0.5691 10.0431 ((7 . 14) (8 . 15) (17 . 22) (18 . 23)) 4019 0.5708 7.3136 ((1 . 35) (2 . 36) (4 . 39) (8 . 43)) 4034 0.5709 6.8287 ((1 . 5) (2 . 6) (7 . 8) (8 . 9)) 4067 0.5713 4.9564 ((2 . 20) (4 . 22) (7 . 23) (8 . 24)) 4082 0.1664 9.1459 ((2 . 5) (4 . 7) (7 . 9) (8 . 10)) 4115 0.7141 4.1528 ((1 . 1) (2 . 5) (4 . 8) (7 . 9) (8 . 10)) 4151 0.7139 4.8401 ((1 . 3) (4 . 5) (7 . 6) (8 . 7) (17 . 15)) 4177 0.1992 8.9355 ((1 . 1) (2 . 2) (7 . 6) (8 . 7)) 4192 0.2945 6.9271 ((2 . 10) (4 . 13) (7 . 14) (8 . 15)) 4194 0.5714 3.3338 ((1 . 1) (2 . 3) (4 . 5) (8 . 7)) 4204 0.5709 6.7589 ((1 . 3) (2 . 5) (4 . 7) (8 . 11)) 4209 0.1332 10.0945 ((2 . 4) (4 . 5) (7 . 11) (8 . 10)) 4210 0.1498 5.6278 ((1 . 4) (4 . 6) (7 . 7) (8 . 8)) 4226 0.5711 6.2673 ((1 . 1) (4 . 4) (17 . 18) (18 . 19)) 4254 0.5709 7.0065 ((1 . 1) (4 . 3) (7 . 5) (8 . 6)) 4257 0.5713 4.4872 ((1 . 1) (4 . 3) (7 . 6) (8 . 7)) 4265 0.5704 8.1778 ((1 . 21) (2 . 23) (4 . 24) (8 . 26)) 4266 0.5713 4.4487 ((1 . 2) (4 . 4) (7 . 5) (8 . 6)) 4274 0.1664 5.4307 ((2 . 36) (4 . 38) (7 . 39) (8 . 40)) 4275 0.5714 3.5952 ((1 . 21) (2 . 23) (4 . 25) (8 . 28)) 4284 0.1992 9.4653 ((1 . 5) (4 . 6) (7 . 7) (8 . 10)) 4299 0.5711 6.1033 ((1 . 6) (4 . 9) (8 . 11) (18 . 22)) 4326 0.5714 3.2575 ((1 . 2) (4 . 15) (7 . 16) (8 . 17)) 4332 0.5712 5.8423 ((1 . 4) (4 . 6) (7 . 8) (8 . 9)) 4359 0.8557 5.3770 ((1 . 14) (2 . 15) (4 . 17) (8 . 21) (17 . 26) (18 . 27)) 4380 0.5712 5.6755 ((4 . 1) (8 . 3) (17 . 15) (18 . 17)) 4383 0.1993 7.8356 ((1 . 14) (2 . 15) (4 . 16) (8 . 19)) 4386 0.2944 11.4466 ((2 . 18) (4 . 19) (7 . 20) (8 . 21)) 4388 0.7136 5.5375 ((1 . 8) (4 . 10) (8 . 12) (17 . 17) (18 . 18)) 4398 0.5709 7.0347 ((2 . 8) (4 . 10) (7 . 11) (8 . 13)) 4408 0.5713 5.1521 ((2 . 2) (4 . 4) (7 . 5) (8 . 6)) 4415 0.1993 6.0112 ((1 . 4) (4 . 9) (7 . 10) (8 . 11)) 4470 0.9990 4.0339 ((1 . 1) (2 . 5) (4 . 12) (7 . 13) (8 . 14) (17 . 18) (18 . 19)) 4492 0.5714 2.9999 ((1 . 13) (2 . 16) (4 . 18) (8 . 21)) 4495 0.5713 4.4072 ((2 . 6) (4 . 8) (7 . 9) (8 . 10)) 4502 0.1993 4.9133 ((2 . 11) (4 . 14) (7 . 16) (8 . 17)) 4503 0.5704 8.1753 ((1 . 1) (2 . 3) (4 . 5) (8 . 9)) 4504 0.9043 5.3957 ((1 . 4) (2 . 13) (4 . 15) (7 . 16) (8 . 17) (17 . 20) (18 . 21)) 4505 0.5714 3.5652 ((1 . 28) (2 . 30) (7 . 33) (8 . 34)) 4516 0.5713 5.0764 ((2 . 22) (4 . 24) (7 . 25) (8 . 26)) 4538 0.5703 8.2784 ((1 . 30) (4 . 32) (7 . 36) (8 . 37)) 4551 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (7 . 7) (8 . 8) (17 . 17) (18 . 18)) 4560 0.5706 7.8198 ((1 . 1) (8 . 6) (17 . 14) (18 . 16)) 4561 0.5714 3.0651 ((1 . 1) (4 . 5) (8 . 7) (17 . 17)) 4562 0.5714 3.8930 ((2 . 25) (4 . 27) (7 . 28) (8 . 29)) 4563 0.7110 8.2854 ((4 . 26) (7 . 27) (8 . 28) (17 . 34) (18 . 35)) 4577 0.5707 7.5030 ((2 . 29) (4 . 31) (17 . 42) (18 . 43)) 4588 0.5705 7.9658 ((1 . 9) (2 . 11) (4 . 13) (8 . 16)) 4621 0.5683 10.7734 ((1 . 4) (2 . 6) (4 . 7) (8 . 9)) 4630 0.7134 5.9809 ((1 . 12) (2 . 13) (4 . 15) (8 . 18) (17 . 21)) 4668 0.6382 5.0480 ((1 . 1) (2 . 3) (4 . 7) (7 . 8) (8 . 9) (17 . 11)) 4669 0.5714 4.1677 ((1 . 15) (4 . 17) (7 . 18) (8 . 19)) 4671 0.5698 9.1728 ((4 . 2) (7 . 3) (17 . 11) (18 . 12)) 4731 0.5710 6.5361 ((7 . 13) (8 . 14) (17 . 22) (18 . 23)) 4857 0.0999 5.6480 ((4 . 3) (7 . 4) (8 . 5) (17 . 13)) 4886 0.5707 7.4142 ((1 . 19) (8 . 22) (17 . 29) (18 . 30)) 4888 0.5707 7.3847 ((4 . 4) (8 . 9) (17 . 16) (18 . 17)) 4907 0.2945 7.7018 ((1 . 3) (4 . 7) (7 . 10) (8 . 9)) 4914 0.1993 6.5630 ((1 . 7) (2 . 8) (4 . 10) (8 . 12)) 4921 0.5699 9.0844 ((1 . 8) (2 . 9) (4 . 12) (8 . 14)) 4929 0.5709 7.0339 ((1 . 29) (2 . 31) (4 . 33) (8 . 35)) 4932 0.2945 6.2897 ((1 . 1) (2 . 4) (7 . 7) (8 . 8)) 4940 0.5713 4.5883 ((1 . 3) (4 . 6) (8 . 8) (17 . 10)) 4961 0.6946 3.3237 ((1 . 3) (2 . 6) (4 . 12) (7 . 16) (8 . 17) (17 . 20)) 4978 0.5713 4.4263 ((1 . 28) (4 . 30) (7 . 31) (8 . 32)) 4982 0.5707 7.4466 ((2 . 1) (4 . 3) (8 . 6) (18 . 14)) 4998 0.5699 8.9821 ((1 . 23) (2 . 25) (4 . 26) (8 . 29)) 5029 0.5714 4.2030 ((1 . 4) (2 . 6) (4 . 8) (8 . 10)) 5036 0.5691 10.0265 ((1 . 5) (2 . 6) (4 . 7) (8 . 9)) 5038 0.5681 10.9449 ((2 . 9) (4 . 10) (7 . 13) (8 . 14)) 5039 0.5942 5.6733 ((1 . 39) (2 . 41) (7 . 43) (17 . 44) (18 . 45)) 5046 0.1498 6.7756 ((1 . 1) (2 . 3) (4 . 4) (8 . 7)) 5053 0.5708 7.1515 ((1 . 5) (7 . 8) (8 . 9) (17 . 15)) 5065 0.5711 6.1708 ((7 . 1) (8 . 2) (17 . 10) (18 . 11)) 5068 0.6309 6.4799 ((2 . 2) (4 . 4) (7 . 6) (8 . 7) (17 . 16)) 5069 0.9557 2.9069 ((1 . 2) (2 . 4) (4 . 9) (7 . 14) (8 . 15) (17 . 17) (18 . 18)) 5073 0.5713 4.7176 ((4 . 32) (7 . 35) (8 . 36) (17 . 42)) 5101 0.5714 3.9744 ((1 . 15) (4 . 18) (7 . 22) (8 . 23)) 5103 0.5713 4.3094 ((1 . 15) (4 . 17) (7 . 18) (8 . 19)) 5121 0.3790 6.2044 ((7 . 17) (8 . 18) (17 . 25) (18 . 26)) 5132 0.5712 5.5615 ((1 . 20) (4 . 22) (7 . 24) (8 . 26)) 5134 0.1992 13.2045 ((2 . 3) (4 . 6) (7 . 8) (18 . 17)) 5145 0.2946 4.1934 ((2 . 3) (4 . 5) (7 . 7) (8 . 8)) 5167 0.5713 4.2999 ((1 . 3) (7 . 7) (8 . 9) (17 . 14)) 5176 0.1664 7.8611 ((2 . 82) (4 . 84) (7 . 85) (8 . 87)) 5183 0.5711 6.3437 ((1 . 35) (2 . 36) (4 . 38) (7 . 39)) 5192 0.5707 7.5260 ((2 . 3) (4 . 5) (8 . 9) (18 . 17)) 5198 0.5713 4.7921 ((1 . 21) (4 . 24) (7 . 25) (8 . 26)) 5209 0.2946 4.2102 ((4 . 3) (8 . 4) (17 . 8) (18 . 9)) 5215 0.5705 8.0507 ((4 . 2) (8 . 4) (17 . 11) (18 . 12)) 5223 0.5713 4.2944 ((1 . 1) (2 . 3) (4 . 6) (8 . 8)) 5231 0.5708 7.3210 ((1 . 8) (4 . 13) (7 . 15) (8 . 16)) 5266 0.5714 3.3010 ((1 . 4) (2 . 6) (4 . 8) (8 . 10)) 5278 0.1992 9.3296 ((7 . 1) (8 . 2) (17 . 9) (18 . 10)) 5307 0.5711 5.9026 ((2 . 51) (4 . 53) (7 . 54) (8 . 55)) 5312 0.1664 7.5981 ((2 . 2) (4 . 3) (7 . 6) (8 . 7)) 5324 0.9273 3.5817 ((1 . 7) (2 . 10) (4 . 12) (7 . 13) (8 . 14) (17 . 15) (18 . 16)) 5345 0.2945 6.1951 ((1 . 3) (2 . 4) (4 . 7) (8 . 9)) 5368 0.8562 4.7518 ((1 . 15) (2 . 16) (4 . 20) (8 . 26) (17 . 30) (18 . 32)) 5378 0.5713 4.5724 ((1 . 15) (2 . 16) (7 . 20) (8 . 21)) 5418 0.0999 6.8391 ((1 . 3) (4 . 7) (7 . 10) (8 . 9)) 5433 0.5711 6.2628 ((1 . 5) (2 . 7) (4 . 8) (8 . 14)) 5479 0.5711 6.3325 ((1 . 45) (2 . 47) (17 . 59) (18 . 60)) 5487 0.5714 3.0615 ((1 . 4) (2 . 7) (4 . 9) (8 . 11)) 5489 0.5705 8.0555 ((2 . 11) (4 . 13) (7 . 15) (8 . 16)) 5500 0.2945 10.5324 ((2 . 1) (4 . 2) (7 . 6) (8 . 7)) 5501 0.1332 11.8738 ((2 . 16) (4 . 20) (7 . 22) (17 . 30)) 5540 0.5701 8.7725 ((2 . 1) (4 . 3) (17 . 14) (18 . 16)) 5557 0.2945 7.2401 ((1 . 3) (2 . 4) (4 . 6) (7 . 8)) 5560 0.5695 9.5331 ((4 . 2) (8 . 4) (17 . 11) (18 . 13)) 5562 0.7126 6.9489 ((1 . 7) (4 . 11) (7 . 12) (8 . 14) (17 . 17)) 5567 0.5693 9.8596 ((2 . 5) (4 . 6) (17 . 18) (18 . 19)) 5594 0.6938 6.0728 ((1 . 1) (2 . 4) (4 . 6) (7 . 7) (8 . 9) (17 . 12)) 5600 0.1992 9.4840 ((1 . 6) (4 . 9) (7 . 12) (8 . 11)) 5601 0.5713 5.1611 ((1 . 7) (4 . 10) (7 . 11) (8 . 12)) 5640 0.5709 6.7583 ((2 . 8) (4 . 10) (8 . 14) (18 . 23)) 5656 0.9988 4.2495 ((1 . 1) (2 . 5) (4 . 14) (7 . 15) (8 . 16) (17 . 21) (18 . 23)) 5700 0.5691 10.0448 ((1 . 3) (2 . 4) (4 . 6) (8 . 8)) 5701 0.5712 5.5523 ((1 . 6) (4 . 8) (7 . 10) (8 . 11)) 5711 0.5695 9.5982 ((1 . 31) (4 . 33) (8 . 36) (18 . 47)) 5713 0.7126 7.0005 ((2 . 8) (4 . 10) (8 . 15) (17 . 24) (18 . 25)) 5731 0.2945 6.4588 ((1 . 2) (2 . 3) (4 . 5) (7 . 6)) 5746 0.5706 7.7680 ((4 . 2) (7 . 4) (17 . 14) (18 . 13)) 5749 0.1498 9.9650 ((1 . 4) (2 . 5) (4 . 6) (7 . 9)) 5771 0.8570 3.1604 ((1 . 1) (2 . 9) (4 . 17) (7 . 19) (8 . 20) (17 . 21)) 5782 0.5711 6.2567 ((2 . 15) (4 . 18) (8 . 22) (17 . 30)) 5795 0.1993 4.8564 ((1 . 10) (4 . 13) (7 . 15) (8 . 16)) 5809 0.8567 4.0754 ((1 . 7) (4 . 9) (7 . 10) (8 . 12) (17 . 14) (18 . 15)) 5827 0.5714 2.9353 ((1 . 5) (4 . 8) (7 . 10) (8 . 11)) 5830 0.2945 9.8063 ((4 . 8) (7 . 9) (8 . 10) (17 . 18)) 5847 0.5713 4.9224 ((2 . 2) (4 . 5) (17 . 18) (18 . 20)) 5861 0.5711 6.0074 ((2 . 6) (8 . 11) (17 . 21) (18 . 22)) 5865 0.5713 4.4040 ((1 . 1) (4 . 5) (7 . 6) (8 . 7)) 5878 0.4452 8.2924 ((2 . 25) (4 . 26) (7 . 31) (8 . 30)) 5888 0.8554 5.6207 ((1 . 5) (2 . 6) (4 . 8) (8 . 12) (17 . 16) (18 . 17)) 5896 0.1332 8.0899 ((1 . 26) (2 . 28) (7 . 32) (8 . 31)) 5904 0.2946 5.0527 ((2 . 7) (4 . 9) (7 . 10) (8 . 11)) 5913 0.5713 5.2439 ((1 . 13) (2 . 15) (4 . 17) (8 . 20)) 5922 0.5707 7.5380 ((4 . 1) (8 . 4) (17 . 11) (18 . 13)) 5930 0.5713 4.3347 ((1 . 2) (4 . 4) (7 . 6) (8 . 7)) 5939 0.7141 4.1102 ((1 . 2) (4 . 4) (7 . 5) (8 . 6) (17 . 8)) 5945 0.9996 3.1407 ((1 . 2) (2 . 11) (4 . 23) (7 . 25) (8 . 26) (17 . 32) (18 . 33)) 5949 0.5707 7.4154 ((1 . 9) (2 . 10) (4 . 12) (8 . 14)) 5955 0.9056 4.2285 ((1 . 1) (2 . 3) (4 . 7) (7 . 8) (8 . 9) (17 . 14) (18 . 16)) 5967 0.1993 3.2035 ((1 . 1) (2 . 3) (4 . 7) (7 . 8)) 5977 0.1993 4.3428 ((2 . 1) (4 . 3) (7 . 4) (8 . 5)) 6000 0.5713 4.8368 ((1 . 4) (7 . 8) (8 . 9) (17 . 17)) 6011 0.7112 8.1408 ((1 . 5) (2 . 7) (4 . 9) (8 . 11) (17 . 20)) 6029 0.3790 6.1444 ((2 . 31) (7 . 34) (8 . 35) (17 . 40)) 6041 0.2945 8.3239 ((4 . 2) (7 . 3) (17 . 10) (18 . 11)) 6074 0.5714 4.1085 ((4 . 2) (7 . 5) (8 . 6) (17 . 13)) 6075 0.5714 3.2799 ((1 . 20) (2 . 21) (4 . 24) (8 . 27)) 6079 0.5651 12.9607 ((2 . 7) (4 . 9) (8 . 11) (18 . 20)) 6089 0.5680 11.0694 ((1 . 1) (4 . 3) (17 . 16) (18 . 17)) 6094 0.3790 6.4678 ((4 . 3) (7 . 6) (8 . 7) (17 . 15)) 6099 0.7127 6.9281 ((1 . 11) (4 . 14) (8 . 18) (17 . 25) (18 . 26)) 6142 0.5713 5.1208 ((2 . 10) (8 . 14) (17 . 24) (18 . 25)) 6173 0.1993 8.5062 ((1 . 3) (2 . 4) (4 . 5) (8 . 9)) 6192 0.3790 6.8900 ((2 . 1) (7 . 4) (8 . 5) (17 . 11)) 6228 0.7125 7.0767 ((1 . 1) (2 . 3) (4 . 5) (8 . 7) (18 . 14)) 6243 0.5714 3.7961 ((1 . 6) (2 . 8) (7 . 9) (8 . 10)) 6251 0.5713 4.7856 ((1 . 15) (4 . 17) (7 . 18) (8 . 19)) 6258 0.5713 4.3876 ((1 . 9) (4 . 10) (7 . 11) (8 . 13)) 6261 0.8773 4.2719 ((1 . 1) (2 . 3) (4 . 9) (7 . 10) (8 . 11) (17 . 19) (18 . 21)) 6266 0.6384 3.1508 ((1 . 3) (2 . 5) (4 . 6) (7 . 7) (8 . 8) (17 . 10)) 6271 0.2944 11.0706 ((1 . 7) (2 . 8) (4 . 10) (8 . 12)) 6294 0.7064 10.3555 ((1 . 11) (4 . 14) (7 . 15) (8 . 16) (17 . 27)) 6311 0.5713 5.2636 ((4 . 4) (8 . 5) (17 . 13) (18 . 14)) 6326 0.5713 5.2526 ((1 . 1) (4 . 4) (17 . 11) (18 . 12)) 6344 0.2945 8.6641 ((2 . 3) (8 . 7) (17 . 14) (18 . 15)) 6345 0.5685 10.6263 ((4 . 4) (8 . 7) (17 . 13) (18 . 14)) 6355 0.5671 11.7233 ((1 . 9) (4 . 12) (7 . 13) (8 . 15)) 6356 0.5714 3.7710 ((1 . 1) (4 . 4) (7 . 5) (8 . 6)) 6369 0.5713 4.6365 ((1 . 22) (2 . 24) (4 . 26) (8 . 29)) 6376 0.5714 3.7592 ((1 . 19) (2 . 21) (4 . 24) (8 . 26)) 6392 0.5714 3.6865 ((4 . 7) (7 . 8) (8 . 9) (17 . 15)) 6399 0.8539 6.5717 ((1 . 10) (2 . 11) (4 . 14) (8 . 18) (17 . 19) (18 . 25)) 6403 0.7136 5.4920 ((1 . 5) (4 . 7) (7 . 9) (8 . 10) (17 . 12)) 6434 0.5707 7.4569 ((1 . 3) (2 . 4) (4 . 5) (7 . 6)) 6462 0.6238 3.0278 ((1 . 12) (2 . 16) (4 . 18) (7 . 19) (8 . 20) (17 . 22) (18 . 24)) 6498 0.8566 4.2115 ((1 . 10) (2 . 12) (4 . 37) (7 . 39) (8 . 40) (17 . 42)) 6520 0.5701 8.7037 ((1 . 9) (2 . 10) (4 . 13) (8 . 15)) 6539 0.3789 7.7540 ((2 . 5) (4 . 8) (7 . 9) (8 . 10)) 6540 0.5708 7.1725 ((1 . 17) (2 . 18) (4 . 20) (8 . 22)) 6548 0.1993 6.5864 ((1 . 7) (4 . 9) (7 . 10) (8 . 13)) 6553 0.8773 4.3079 ((1 . 11) (2 . 15) (4 . 17) (7 . 19) (8 . 20) (17 . 23) (18 . 24)) 6555 0.5639 13.5488 ((2 . 17) (4 . 20) (8 . 23) (17 . 33)) 6561 0.5641 13.4125 ((2 . 3) (8 . 9) (17 . 14) (18 . 15)) 6573 0.5712 5.3904 ((2 . 17) (4 . 19) (7 . 20) (8 . 21)) 6584 0.2945 8.8886 ((2 . 5) (4 . 7) (7 . 10) (8 . 9)) 6585 0.0999 6.1311 ((2 . 6) (4 . 8) (7 . 9) (8 . 10)) 6587 0.5707 7.5344 ((1 . 29) (2 . 31) (4 . 33) (7 . 35)) 6598 0.5710 6.4776 ((2 . 13) (8 . 20) (17 . 26) (18 . 27)) 6613 0.5711 6.2780 ((1 . 12) (7 . 19) (17 . 27) (18 . 28)) END