3818 25 0.1992 13.9051 ((21 . 1) (27 . 4) (28 . 6) (29 . 7)) 41 0.5714 4.0325 ((20 . 5) (21 . 6) (23 . 7) (24 . 8)) 51 0.1498 9.2179 ((20 . 2) (21 . 4) (23 . 7) (29 . 13)) 62 0.5712 5.5526 ((21 . 9) (23 . 10) (27 . 15) (28 . 16)) 77 0.5713 4.3680 ((23 . 7) (27 . 12) (28 . 13) (29 . 15)) 91 0.5709 7.0581 ((20 . 28) (21 . 30) (23 . 31) (24 . 32)) 136 0.5675 11.4297 ((21 . 2) (23 . 3) (27 . 6) (28 . 8)) 150 0.5713 4.9239 ((20 . 20) (21 . 21) (23 . 23) (24 . 24)) 153 0.5706 7.6685 ((20 . 4) (23 . 6) (28 . 10) (29 . 12)) 157 0.5713 4.8437 ((20 . 3) (21 . 4) (23 . 5) (24 . 6)) 162 0.5712 5.6874 ((23 . 12) (27 . 16) (28 . 17) (29 . 18)) 169 0.5707 7.3687 ((20 . 1) (23 . 4) (28 . 9) (29 . 10)) 177 0.1993 8.3231 ((20 . 3) (23 . 5) (27 . 9) (28 . 10)) 191 0.5680 11.0627 ((20 . 1) (23 . 2) (24 . 3) (28 . 6)) 207 0.5708 7.1466 ((20 . 8) (21 . 11) (23 . 13) (28 . 15)) 300 0.5701 8.6539 ((20 . 7) (23 . 10) (24 . 11) (29 . 16)) 305 0.5682 10.9127 ((21 . 13) (27 . 20) (28 . 21) (29 . 22)) 307 0.5712 5.4144 ((21 . 2) (23 . 3) (27 . 6) (28 . 7)) 350 0.5683 10.8277 ((20 . 4) (23 . 10) (28 . 16) (29 . 17)) 360 0.1993 7.7818 ((20 . 9) (23 . 12) (24 . 13) (27 . 15)) 361 0.1993 6.7170 ((20 . 2) (21 . 3) (24 . 6) (29 . 10)) 367 0.5698 9.1945 ((20 . 40) (21 . 41) (23 . 43) (28 . 48)) 417 0.5712 5.5583 ((23 . 1) (27 . 6) (28 . 7) (29 . 9)) 420 0.5701 8.6480 ((20 . 1) (23 . 3) (28 . 10) (29 . 12)) 433 0.5699 8.9963 ((21 . 2) (23 . 5) (27 . 8) (28 . 9)) 442 0.7042 11.0254 ((20 . 12) (21 . 13) (23 . 14) (27 . 18) (29 . 21)) 460 0.5702 8.5261 ((23 . 1) (24 . 4) (28 . 7) (29 . 8)) 472 0.5704 8.2436 ((21 . 28) (23 . 31) (24 . 33) (27 . 34)) 491 0.5709 7.0320 ((20 . 1) (21 . 2) (28 . 9) (29 . 10)) 495 0.5708 7.0928 ((20 . 1) (21 . 4) (28 . 9) (29 . 11)) 541 0.5713 4.8693 ((21 . 6) (23 . 7) (27 . 13) (28 . 14)) 543 0.5711 6.0806 ((20 . 2) (23 . 6) (28 . 10) (29 . 15)) 561 0.1498 10.1774 ((20 . 1) (21 . 2) (23 . 3) (24 . 5)) 584 0.7127 6.8755 ((20 . 5) (23 . 10) (27 . 12) (28 . 3) (29 . 4)) 587 0.5647 13.1577 ((20 . 4) (23 . 8) (28 . 10) (29 . 11)) 609 0.7129 6.6863 ((20 . 1) (21 . 2) (23 . 3) (27 . 7) (28 . 8)) 619 0.2945 6.3009 ((24 . 14) (27 . 17) (28 . 18) (29 . 20)) 624 0.7139 4.7617 ((21 . 6) (23 . 7) (24 . 8) (27 . 10) (28 . 11)) 635 0.5706 7.7756 ((21 . 2) (23 . 3) (24 . 4) (27 . 7)) 672 0.5693 9.7638 ((23 . 16) (24 . 17) (28 . 23) (29 . 24)) 678 0.5687 10.4569 ((21 . 21) (24 . 23) (27 . 25) (28 . 26)) 719 0.2478 7.0338 ((20 . 22) (23 . 27) (24 . 29) (27 . 31)) 729 0.5713 4.7283 ((20 . 9) (21 . 12) (23 . 13) (24 . 14)) 735 0.1992 8.7608 ((21 . 30) (23 . 31) (28 . 37) (29 . 39)) 765 0.5691 10.0320 ((20 . 5) (23 . 9) (28 . 19) (29 . 20)) 767 0.5709 6.9263 ((20 . 1) (21 . 2) (23 . 3) (28 . 12)) 795 0.5712 5.3852 ((20 . 1) (21 . 2) (23 . 3) (24 . 4)) 796 0.5713 4.6737 ((20 . 3) (21 . 4) (28 . 5) (29 . 6)) 812 0.5709 6.9275 ((20 . 11) (21 . 12) (23 . 13) (28 . 16)) 818 0.5711 6.1662 ((20 . 1) (21 . 3) (23 . 4) (28 . 10)) 861 0.3783 12.7041 ((20 . 7) (24 . 10) (27 . 11) (29 . 15)) 901 0.7138 5.0415 ((21 . 10) (23 . 12) (24 . 14) (27 . 16) (28 . 17)) 913 0.5710 6.6336 ((24 . 15) (27 . 18) (28 . 17) (29 . 20)) 928 0.7142 3.6227 ((21 . 9) (23 . 10) (24 . 11) (27 . 13) (28 . 14)) 937 0.1992 10.1917 ((20 . 1) (21 . 2) (23 . 4) (27 . 6)) 943 0.7115 7.9040 ((20 . 4) (21 . 5) (24 . 7) (27 . 10) (28 . 12)) 945 0.5703 8.3496 ((20 . 14) (21 . 16) (23 . 19) (24 . 20)) 949 0.5662 12.3217 ((20 . 27) (23 . 32) (24 . 33) (27 . 35)) 960 0.7126 6.9983 ((20 . 9) (21 . 11) (23 . 12) (27 . 16) (28 . 19)) 978 0.5713 4.5799 ((23 . 16) (27 . 18) (28 . 19) (29 . 22)) 980 0.7123 7.2623 ((20 . 1) (21 . 4) (23 . 5) (24 . 6) (27 . 8)) 1007 0.5692 9.8715 ((21 . 6) (23 . 7) (28 . 13) (29 . 14)) 1008 0.5710 6.3898 ((20 . 3) (23 . 8) (28 . 15) (29 . 16)) 1034 0.5625 14.1402 ((20 . 22) (21 . 23) (27 . 27) (28 . 29)) 1043 0.7139 4.8962 ((20 . 1) (21 . 5) (23 . 6) (24 . 7) (27 . 9)) 1082 0.7128 6.8130 ((20 . 9) (21 . 11) (23 . 12) (27 . 14) (28 . 16)) 1084 0.7137 5.2504 ((20 . 3) (21 . 6) (23 . 17) (28 . 18) (29 . 20)) 1165 0.5713 4.3634 ((20 . 7) (21 . 9) (23 . 10) (24 . 11)) 1167 0.5652 12.8664 ((21 . 19) (24 . 24) (27 . 25) (28 . 27)) 1195 0.2945 10.2657 ((24 . 1) (27 . 3) (28 . 5) (29 . 6)) 1201 0.5694 9.7327 ((24 . 5) (27 . 8) (28 . 9) (29 . 11)) 1204 0.7080 9.7722 ((20 . 1) (21 . 2) (23 . 5) (24 . 6) (28 . 11)) 1211 0.5707 7.3649 ((20 . 5) (21 . 7) (28 . 14) (29 . 15)) 1224 0.5707 7.3687 ((23 . 7) (27 . 11) (28 . 14) (29 . 15)) 1233 0.5711 6.1250 ((21 . 13) (23 . 14) (27 . 19) (28 . 20)) 1267 0.7122 7.4034 ((20 . 13) (21 . 14) (24 . 16) (27 . 20) (28 . 21)) 1268 0.4425 14.7087 ((20 . 13) (21 . 15) (24 . 17) (27 . 18)) 1294 0.0999 8.7493 ((20 . 39) (23 . 42) (27 . 45) (28 . 47)) 1345 0.5710 6.6263 ((20 . 7) (21 . 8) (23 . 9) (24 . 10)) 1366 0.5702 8.4832 ((20 . 12) (21 . 13) (28 . 21) (29 . 22)) 1388 0.5712 5.6313 ((23 . 1) (27 . 3) (28 . 4) (29 . 5)) 1447 0.7133 6.0404 ((20 . 1) (21 . 2) (23 . 3) (24 . 4) (27 . 6)) 1451 0.5709 6.8367 ((23 . 1) (24 . 2) (28 . 5) (29 . 6)) 1472 0.1992 14.0419 ((21 . 1) (27 . 5) (28 . 7) (29 . 8)) 1476 0.7132 6.2558 ((20 . 14) (21 . 16) (23 . 18) (24 . 19) (28 . 20)) 1513 0.7092 9.2656 ((20 . 3) (21 . 4) (23 . 6) (27 . 9) (28 . 11)) 1577 0.5648 13.1069 ((20 . 3) (21 . 2) (23 . 5) (27 . 9)) 1591 0.7136 5.6593 ((20 . 6) (21 . 7) (23 . 8) (24 . 10) (28 . 11)) 1604 0.7134 5.9508 ((20 . 3) (21 . 6) (23 . 7) (27 . 11) (28 . 12)) 1622 0.7124 7.1868 ((23 . 18) (24 . 19) (27 . 21) (28 . 22) (29 . 23)) 1643 0.5704 8.1627 ((20 . 1) (23 . 3) (28 . 8) (29 . 9)) 1644 0.5712 5.5216 ((20 . 47) (23 . 48) (28 . 49) (29 . 50)) 1665 0.5711 6.0237 ((20 . 6) (21 . 7) (23 . 10) (24 . 9)) 1690 0.7141 4.2626 ((21 . 7) (23 . 8) (24 . 9) (27 . 12) (28 . 13)) 1692 0.5710 6.5419 ((20 . 1) (21 . 2) (28 . 5) (29 . 10)) 1731 0.2944 11.4344 ((20 . 3) (21 . 5) (23 . 6) (27 . 10)) 1736 0.5711 5.9406 ((20 . 1) (21 . 2) (23 . 5) (28 . 7)) 1738 0.5712 5.7541 ((20 . 4) (21 . 5) (23 . 6) (27 . 10)) 1747 0.5654 12.7632 ((20 . 42) (23 . 46) (27 . 49) (29 . 52)) 1759 0.5703 8.4203 ((20 . 1) (23 . 4) (28 . 11) (29 . 13)) 1761 0.8548 6.0695 ((20 . 7) (21 . 8) (23 . 9) (24 . 10) (27 . 12) (28 . 13)) 1763 0.5679 11.1643 ((21 . 8) (23 . 9) (27 . 12) (28 . 13)) 1776 0.7136 5.5369 ((20 . 1) (21 . 6) (23 . 7) (24 . 8) (28 . 12)) 1778 0.5711 6.2490 ((20 . 1) (23 . 3) (27 . 6) (28 . 8)) 1793 0.7121 7.4686 ((20 . 3) (23 . 4) (24 . 5) (27 . 7) (28 . 8)) 1805 0.5646 13.1899 ((20 . 4) (23 . 9) (28 . 11) (29 . 12)) 1808 0.5712 5.3203 ((21 . 1) (27 . 7) (28 . 8) (29 . 9)) 1867 0.1993 7.8990 ((23 . 1) (24 . 2) (27 . 4) (28 . 7)) 1894 0.1498 12.7263 ((20 . 5) (24 . 8) (28 . 11) (29 . 12)) 1896 0.4905 10.4658 ((20 . 24) (21 . 28) (23 . 27) (24 . 30)) 1897 0.5693 9.8034 ((20 . 32) (27 . 38) (28 . 39) (29 . 40)) 1908 0.7135 5.8613 ((20 . 7) (23 . 10) (24 . 14) (27 . 16) (28 . 17)) 1909 0.7132 6.2206 ((20 . 31) (21 . 32) (23 . 34) (27 . 38) (28 . 39)) 1913 0.5707 7.3910 ((23 . 1) (27 . 2) (28 . 6) (29 . 7)) 1944 0.7113 8.0825 ((20 . 3) (23 . 5) (24 . 6) (27 . 8) (28 . 9)) 1957 0.7141 3.7426 ((21 . 10) (23 . 11) (24 . 12) (27 . 14) (28 . 15)) 1961 0.5712 5.6729 ((23 . 14) (27 . 18) (28 . 19) (29 . 20)) 1967 0.5712 5.5551 ((20 . 7) (21 . 9) (23 . 10) (24 . 11)) 1972 0.5709 6.8226 ((20 . 16) (21 . 17) (23 . 18) (28 . 24)) 1992 0.5685 10.6671 ((20 . 3) (21 . 5) (24 . 8) (27 . 10)) 1995 0.2945 6.9047 ((20 . 1) (23 . 3) (24 . 5) (29 . 13)) 2003 0.1992 10.6035 ((21 . 1) (27 . 6) (28 . 9) (29 . 10)) 2006 0.5696 9.3734 ((21 . 6) (23 . 7) (28 . 11) (29 . 12)) 2048 0.7130 6.5066 ((20 . 4) (21 . 5) (23 . 6) (27 . 12) (28 . 13)) 2063 0.5708 7.3071 ((23 . 42) (27 . 46) (28 . 49) (29 . 50)) 2067 0.5542 16.8132 ((21 . 48) (23 . 50) (24 . 52) (28 . 54)) 2072 0.5709 6.8499 ((23 . 1) (27 . 3) (28 . 6) (29 . 7)) 2081 0.5714 4.2150 ((21 . 1) (27 . 7) (28 . 9) (29 . 10)) 2083 0.5708 7.3165 ((20 . 2) (21 . 3) (24 . 6) (27 . 11)) 2114 0.5700 8.8731 ((20 . 28) (21 . 30) (23 . 32) (27 . 37)) 2117 0.5712 5.6817 ((20 . 1) (21 . 3) (23 . 4) (27 . 8)) 2118 0.5695 9.5085 ((20 . 1) (23 . 5) (24 . 6) (27 . 8)) 2122 0.7139 4.9564 ((20 . 1) (21 . 5) (23 . 6) (24 . 7) (27 . 9)) 2166 0.5713 4.5765 ((21 . 5) (27 . 10) (28 . 12) (29 . 13)) 2179 0.5712 5.7760 ((23 . 9) (27 . 12) (28 . 13) (29 . 20)) 2203 0.5706 7.6230 ((20 . 1) (21 . 3) (23 . 5) (29 . 10)) 2205 0.2945 9.4332 ((23 . 13) (24 . 12) (28 . 17) (29 . 18)) 2209 0.5712 5.3445 ((21 . 4) (23 . 5) (27 . 8) (28 . 9)) 2243 0.5712 5.6432 ((20 . 54) (23 . 57) (28 . 65) (29 . 67)) 2244 0.5650 13.0131 ((20 . 69) (23 . 71) (28 . 78) (29 . 79)) 2248 0.9998 2.7413 ((20 . 16) (21 . 20) (23 . 22) (24 . 23) (27 . 26) (28 . 27) (29 . 28)) 2249 0.7100 8.8596 ((23 . 12) (24 . 14) (27 . 19) (28 . 21) (29 . 23)) 2269 0.5713 4.5550 ((20 . 10) (21 . 11) (23 . 12) (24 . 13)) 2279 0.5691 10.0778 ((20 . 5) (21 . 6) (27 . 15) (29 . 19)) 2298 0.7133 6.1136 ((20 . 4) (21 . 5) (23 . 6) (24 . 7) (27 . 11)) 2308 0.5714 4.1766 ((20 . 8) (21 . 10) (23 . 11) (24 . 12)) 2340 0.1992 9.1232 ((21 . 8) (24 . 10) (27 . 12) (28 . 14)) 2344 0.5705 7.9065 ((20 . 3) (21 . 5) (23 . 6) (28 . 13)) 2364 0.7132 6.2602 ((20 . 7) (21 . 8) (23 . 9) (24 . 10) (28 . 15)) 2381 0.5708 7.1128 ((20 . 3) (21 . 2) (23 . 5) (27 . 8)) 2389 0.1992 9.9757 ((20 . 9) (23 . 11) (24 . 12) (27 . 15)) 2408 0.5639 13.5156 ((20 . 32) (23 . 34) (28 . 41) (29 . 42)) 2409 0.5655 12.6946 ((20 . 4) (23 . 6) (24 . 10) (27 . 11)) 2422 0.5706 7.6732 ((20 . 1) (21 . 2) (23 . 4) (28 . 9)) 2423 0.5695 9.6251 ((21 . 18) (27 . 23) (28 . 25) (29 . 26)) 2440 0.5713 4.8251 ((21 . 10) (23 . 4) (24 . 5) (29 . 8)) 2447 0.5712 5.2767 ((20 . 15) (21 . 16) (23 . 18) (24 . 19)) 2462 0.5704 8.0826 ((20 . 3) (21 . 5) (28 . 11) (29 . 12)) 2510 0.7118 7.7139 ((20 . 1) (21 . 2) (23 . 5) (27 . 8) (28 . 9)) 2525 0.7140 4.2820 ((20 . 41) (23 . 45) (27 . 46) (28 . 47) (29 . 48)) 2529 0.5676 11.3500 ((20 . 1) (21 . 2) (23 . 3) (27 . 7)) 2533 0.7134 5.8903 ((20 . 4) (21 . 5) (23 . 6) (24 . 7) (28 . 9)) 2551 0.5707 7.3758 ((24 . 6) (27 . 10) (28 . 11) (29 . 12)) 2552 0.5713 5.0765 ((23 . 1) (24 . 2) (27 . 4) (28 . 5)) 2556 0.7132 6.2398 ((20 . 11) (21 . 12) (23 . 13) (24 . 14) (27 . 17)) 2557 0.0999 8.5571 ((24 . 1) (27 . 5) (28 . 6) (29 . 7)) 2561 0.5707 7.5048 ((20 . 1) (24 . 5) (28 . 8) (29 . 9)) 2595 0.5706 7.8310 ((20 . 4) (21 . 5) (23 . 6) (28 . 11)) 2619 0.5712 5.5034 ((23 . 1) (27 . 4) (28 . 5) (29 . 7)) 2627 0.5702 8.5188 ((24 . 59) (27 . 62) (28 . 64) (29 . 65)) 2650 0.5709 7.0005 ((20 . 2) (21 . 4) (23 . 5) (28 . 8)) 2658 0.1333 8.9292 ((20 . 1) (21 . 5) (27 . 11) (28 . 12) (29 . 13)) 2675 0.5708 7.0725 ((20 . 1) (21 . 2) (28 . 11) (29 . 12)) 2682 0.5712 5.3166 ((20 . 1) (21 . 2) (23 . 3) (24 . 4)) 2696 0.1498 9.5742 ((20 . 31) (21 . 33) (23 . 34) (28 . 39)) 2731 0.4453 7.5364 ((20 . 1) (21 . 2) (23 . 4) (24 . 3)) 2733 0.5708 7.1017 ((20 . 4) (21 . 7) (23 . 8) (24 . 9)) 2755 0.7129 6.6927 ((20 . 3) (21 . 4) (23 . 5) (27 . 7) (28 . 8)) 2773 0.5703 8.4030 ((23 . 2) (27 . 4) (28 . 5) (29 . 6)) 2783 0.5698 9.1157 ((21 . 4) (23 . 6) (27 . 9) (28 . 12)) 2804 0.1992 9.2995 ((20 . 25) (24 . 28) (28 . 34) (29 . 36)) 2821 0.5709 7.0369 ((20 . 1) (23 . 3) (27 . 10) (29 . 11)) 2830 0.7121 7.4734 ((20 . 13) (21 . 14) (23 . 15) (24 . 16) (28 . 19)) 2834 0.5710 6.5641 ((20 . 1) (21 . 2) (23 . 3) (27 . 7)) 2840 0.7116 7.8930 ((20 . 1) (21 . 3) (23 . 5) (28 . 9) (29 . 11)) 2842 0.5714 3.8209 ((23 . 1) (27 . 3) (28 . 4) (29 . 5)) 2867 0.0999 6.7807 ((21 . 1) (23 . 2) (28 . 7) (29 . 8)) 2879 0.5709 6.9192 ((23 . 51) (27 . 55) (28 . 58) (29 . 59)) 2940 0.5712 5.3734 ((23 . 1) (24 . 2) (28 . 4) (29 . 5)) 2947 0.5702 8.6143 ((20 . 7) (21 . 9) (28 . 12) (29 . 13)) 2966 0.5695 9.5119 ((20 . 4) (21 . 7) (28 . 16) (29 . 17)) 2990 0.5711 6.1519 ((21 . 8) (23 . 9) (28 . 15) (29 . 16)) 2999 0.7119 7.5986 ((23 . 2) (24 . 3) (27 . 5) (28 . 6) (29 . 7)) 3019 0.5709 6.7479 ((20 . 11) (23 . 14) (27 . 18) (29 . 19)) 3034 0.5712 5.8315 ((20 . 7) (21 . 8) (24 . 11) (27 . 15)) 3041 0.5713 4.8581 ((20 . 14) (21 . 15) (23 . 16) (24 . 17)) 3055 0.5661 12.3843 ((20 . 7) (23 . 9) (28 . 16) (29 . 17)) 3063 0.5700 8.8015 ((20 . 32) (24 . 34) (28 . 39) (29 . 41)) 3070 0.5704 8.0669 ((24 . 30) (27 . 34) (28 . 35) (29 . 36)) 3084 0.7142 3.7170 ((21 . 12) (23 . 13) (24 . 14) (27 . 16) (28 . 17)) 3103 0.3789 8.0433 ((20 . 2) (23 . 5) (24 . 6) (29 . 13)) 3120 0.1249 11.5603 ((21 . 20) (23 . 22) (24 . 23) (27 . 24)) 3127 0.7140 4.4220 ((20 . 6) (21 . 9) (23 . 11) (24 . 12) (27 . 16)) 3147 0.5681 10.9563 ((20 . 16) (23 . 18) (28 . 24) (29 . 25)) 3187 0.5711 6.0217 ((20 . 1) (23 . 3) (28 . 7) (29 . 9)) 3190 0.7138 4.9935 ((20 . 3) (21 . 4) (23 . 6) (24 . 7) (27 . 12)) 3197 0.7138 5.1316 ((21 . 20) (23 . 21) (24 . 22) (27 . 25) (28 . 26)) 3200 0.5710 6.4899 ((20 . 4) (23 . 6) (28 . 11) (29 . 13)) 3212 0.0999 11.2306 ((21 . 1) (23 . 2) (27 . 7) (29 . 9)) 3222 0.5714 3.1125 ((20 . 6) (24 . 9) (28 . 15) (29 . 16)) 3256 0.1992 12.0173 ((21 . 15) (23 . 19) (28 . 26) (29 . 28)) 3261 0.5698 9.1908 ((20 . 1) (23 . 3) (28 . 7) (29 . 8)) 3286 0.5699 9.0602 ((20 . 7) (21 . 8) (23 . 9) (27 . 15)) 3297 0.5705 7.8528 ((20 . 5) (23 . 8) (28 . 11) (29 . 12)) 3300 0.1664 12.1538 ((20 . 1) (21 . 3) (24 . 9) (27 . 10)) 3322 0.5714 4.2618 ((23 . 1) (24 . 2) (27 . 6) (28 . 7)) 3334 0.5694 9.7067 ((21 . 9) (23 . 10) (24 . 11) (27 . 13)) 3339 0.7131 6.3347 ((20 . 9) (21 . 10) (24 . 14) (27 . 18) (28 . 19)) 3344 0.5704 8.2544 ((20 . 18) (23 . 21) (28 . 26) (29 . 27)) 3358 0.7134 6.0056 ((20 . 1) (21 . 3) (23 . 4) (27 . 9) (28 . 10)) 3362 0.5713 5.2613 ((20 . 4) (21 . 5) (23 . 6) (24 . 7)) 3391 0.5713 4.9560 ((21 . 5) (23 . 6) (24 . 7) (28 . 10)) 3410 0.2945 7.9520 ((20 . 24) (21 . 27) (23 . 28) (24 . 29)) 3418 0.2944 10.7371 ((24 . 1) (27 . 3) (28 . 6) (29 . 7)) 3446 0.1992 14.0780 ((21 . 1) (27 . 3) (28 . 5) (29 . 6)) 3481 0.5702 8.4785 ((23 . 2) (24 . 3) (27 . 5) (28 . 8)) 3495 0.1992 9.9405 ((20 . 8) (21 . 9) (27 . 14) (28 . 16)) 3496 0.5711 6.2756 ((23 . 19) (27 . 21) (28 . 22) (29 . 23)) 3533 0.5705 7.9415 ((20 . 3) (21 . 6) (23 . 7) (28 . 11)) 3537 0.8562 4.7521 ((20 . 2) (21 . 3) (23 . 7) (27 . 8) (28 . 9) (29 . 10)) 3538 0.5707 7.3781 ((21 . 17) (23 . 18) (27 . 22) (28 . 23)) 3548 0.5708 7.2000 ((23 . 3) (27 . 7) (28 . 8) (29 . 9)) 3561 0.5710 6.5544 ((21 . 21) (24 . 23) (27 . 27) (28 . 28)) 3570 0.5713 4.4107 ((23 . 1) (24 . 2) (28 . 4) (29 . 7)) 3585 0.5713 4.8924 ((20 . 14) (21 . 15) (23 . 16) (24 . 17)) 3626 0.5703 8.3329 ((20 . 2) (23 . 3) (24 . 5) (28 . 11)) 3628 0.5711 5.9194 ((21 . 7) (23 . 8) (27 . 11) (28 . 12)) 3651 0.7127 6.9363 ((20 . 1) (21 . 2) (24 . 4) (27 . 7) (28 . 8)) 3658 0.5710 6.5737 ((23 . 1) (24 . 2) (28 . 5) (29 . 6)) 3659 0.4446 10.9246 ((21 . 3) (23 . 5) (24 . 6) (29 . 12)) 3661 0.2945 7.1924 ((24 . 6) (27 . 10) (28 . 11) (29 . 12)) 3663 0.5700 8.9119 ((20 . 1) (21 . 4) (23 . 5) (24 . 6)) 3697 0.5691 10.0800 ((20 . 1) (27 . 5) (28 . 6) (29 . 7)) 3703 0.5684 10.7233 ((23 . 4) (24 . 5) (28 . 8) (29 . 9)) 3732 0.5713 5.1058 ((20 . 5) (21 . 6) (23 . 7) (24 . 8)) 3733 0.7114 7.9916 ((20 . 3) (21 . 4) (23 . 6) (24 . 7) (27 . 9)) 3740 0.5708 7.2995 ((20 . 1) (23 . 3) (28 . 7) (29 . 9)) 3741 0.5698 9.1719 ((20 . 1) (24 . 5) (28 . 13) (29 . 14)) 3776 0.5713 4.7161 ((23 . 15) (24 . 16) (27 . 18) (28 . 21)) 3778 0.3789 9.0394 ((20 . 4) (21 . 5) (23 . 6) (29 . 12)) 3787 0.7140 4.6033 ((21 . 5) (23 . 7) (24 . 8) (27 . 11) (28 . 12)) 3790 0.5705 7.8802 ((23 . 15) (24 . 17) (28 . 21) (29 . 22)) 3807 0.3790 6.7929 ((20 . 43) (23 . 47) (24 . 48) (28 . 50)) 3817 0.9994 3.5250 ((20 . 1) (21 . 3) (23 . 5) (24 . 6) (27 . 8) (28 . 9) (29 . 18)) 3818 1.0000 0.0000 ((20 . 20) (21 . 21) (23 . 23) (24 . 24) (27 . 27) (28 . 28) (29 . 29)) 3831 0.5703 8.3947 ((20 . 6) (21 . 7) (23 . 9) (24 . 11)) 3847 0.7140 4.5976 ((20 . 9) (24 . 10) (27 . 15) (28 . 16) (29 . 17)) 3853 0.5709 6.9580 ((20 . 6) (21 . 7) (23 . 8) (24 . 9)) 3870 0.7138 5.1451 ((20 . 3) (21 . 4) (23 . 5) (27 . 7) (28 . 8)) 3933 0.5688 10.3024 ((20 . 3) (23 . 7) (28 . 15) (29 . 16)) 3938 0.5699 9.0032 ((20 . 4) (21 . 5) (23 . 9) (24 . 12)) 3968 0.2977 7.3736 ((20 . 5) (21 . 8) (23 . 9) (24 . 10) (27 . 12)) 3986 0.5703 8.4365 ((20 . 13) (24 . 20) (28 . 26) (29 . 27)) 3990 0.5710 6.6060 ((20 . 18) (21 . 19) (23 . 22) (28 . 26)) 4005 0.5707 7.6049 ((23 . 25) (24 . 28) (28 . 32) (29 . 33)) 4009 0.5689 10.2575 ((20 . 1) (21 . 6) (23 . 7) (27 . 10)) 4019 0.5680 11.0536 ((20 . 38) (23 . 42) (28 . 46) (29 . 47)) 4034 0.5681 10.9713 ((21 . 8) (27 . 14) (28 . 15) (29 . 16)) 4062 0.2945 8.8877 ((24 . 45) (27 . 47) (28 . 48) (29 . 49)) 4067 0.7095 9.1063 ((21 . 19) (23 . 20) (24 . 21) (27 . 23) (28 . 24)) 4082 0.5700 8.8034 ((24 . 2) (27 . 4) (28 . 5) (29 . 6)) 4087 0.5709 6.8567 ((23 . 3) (24 . 4) (28 . 7) (29 . 8)) 4115 0.7109 8.3267 ((20 . 13) (21 . 14) (23 . 17) (24 . 18) (27 . 21)) 4140 0.5691 10.0512 ((20 . 21) (23 . 23) (24 . 25) (27 . 27)) 4151 0.7128 6.7753 ((20 . 3) (21 . 6) (23 . 7) (24 . 8) (28 . 12)) 4177 0.1498 9.4945 ((24 . 4) (27 . 6) (28 . 8) (29 . 9)) 4190 0.7083 9.6460 ((20 . 1) (21 . 2) (27 . 7) (28 . 8) (29 . 9)) 4192 0.5712 5.3506 ((20 . 13) (21 . 14) (23 . 15) (24 . 16)) 4194 0.5712 5.8672 ((20 . 3) (21 . 4) (23 . 5) (27 . 8)) 4204 0.7128 6.7299 ((20 . 3) (21 . 4) (23 . 5) (24 . 6) (27 . 10)) 4210 0.5712 5.5016 ((20 . 6) (21 . 7) (23 . 8) (24 . 9)) 4226 0.5713 4.9980 ((23 . 1) (27 . 5) (28 . 6) (29 . 8)) 4232 0.1992 10.2656 ((20 . 2) (23 . 5) (24 . 7) (28 . 8)) 4254 0.5711 5.9698 ((20 . 11) (21 . 14) (23 . 15) (24 . 16)) 4255 0.5702 8.5309 ((23 . 21) (27 . 25) (28 . 24) (29 . 26)) 4257 0.5709 6.9186 ((20 . 1) (21 . 2) (24 . 6) (28 . 11)) 4265 0.7138 5.2354 ((20 . 23) (21 . 25) (23 . 26) (24 . 27) (27 . 31)) 4266 0.7128 6.7832 ((20 . 2) (21 . 3) (24 . 5) (27 . 7) (28 . 8)) 4274 0.7110 8.2482 ((23 . 36) (24 . 37) (27 . 39) (28 . 40) (29 . 41)) 4275 0.7141 4.0276 ((23 . 21) (24 . 22) (27 . 24) (28 . 25) (29 . 27)) 4281 0.5706 7.8106 ((20 . 5) (21 . 9) (23 . 10) (27 . 16)) 4284 0.5706 7.6503 ((23 . 1) (24 . 2) (28 . 5) (29 . 6)) 4299 0.5712 5.6444 ((20 . 2) (21 . 5) (23 . 6) (24 . 7)) 4326 0.7103 8.6876 ((20 . 10) (21 . 14) (23 . 15) (24 . 16) (28 . 19)) 4332 0.3790 7.0936 ((21 . 1) (23 . 2) (24 . 3) (28 . 9)) 4338 0.5702 8.6206 ((23 . 1) (27 . 5) (28 . 6) (29 . 7)) 4359 0.5686 10.5631 ((20 . 11) (23 . 14) (28 . 20) (29 . 21)) 4380 0.1498 8.8949 ((20 . 23) (24 . 28) (28 . 32) (29 . 36)) 4386 0.5650 12.9823 ((20 . 10) (24 . 13) (27 . 15) (28 . 16)) 4388 0.7117 7.7752 ((23 . 1) (24 . 2) (27 . 4) (28 . 5) (29 . 6)) 4398 0.7139 4.7334 ((21 . 2) (23 . 4) (24 . 5) (27 . 9) (28 . 10)) 4405 0.5711 6.1496 ((21 . 13) (23 . 14) (24 . 17) (29 . 21)) 4408 0.1992 14.3889 ((20 . 4) (23 . 6) (27 . 10) (29 . 14)) 4415 0.7115 7.9678 ((20 . 4) (21 . 5) (23 . 9) (24 . 10) (28 . 12)) 4419 0.1993 6.5912 ((21 . 1) (24 . 2) (28 . 8) (29 . 9)) 4426 0.5708 7.1876 ((21 . 1) (23 . 2) (24 . 3) (29 . 6)) 4470 0.5711 5.8874 ((20 . 14) (21 . 17) (23 . 18) (27 . 22)) 4491 0.5705 7.8754 ((23 . 1) (27 . 4) (28 . 6) (29 . 8)) 4492 0.7129 6.6807 ((20 . 11) (21 . 12) (23 . 13) (24 . 14) (27 . 19)) 4495 0.5714 3.8426 ((21 . 5) (23 . 6) (24 . 7) (27 . 11)) 4497 0.5710 6.5052 ((23 . 18) (24 . 20) (28 . 24) (29 . 25)) 4502 0.7124 7.1703 ((20 . 6) (21 . 7) (23 . 9) (27 . 13) (28 . 14)) 4504 0.7139 4.7853 ((20 . 4) (21 . 5) (23 . 6) (27 . 12) (28 . 13)) 4505 0.8563 4.6787 ((20 . 26) (21 . 27) (23 . 28) (24 . 29) (27 . 33) (28 . 34)) 4516 0.5709 6.9342 ((20 . 6) (21 . 7) (23 . 8) (24 . 9)) 4527 0.5696 9.4528 ((23 . 1) (24 . 2) (28 . 6) (29 . 7)) 4538 0.5695 9.5387 ((21 . 27) (23 . 30) (27 . 36) (29 . 38)) 4551 0.1992 9.2711 ((20 . 8) (21 . 7) (28 . 17) (29 . 18)) 4560 0.7140 4.3947 ((21 . 5) (23 . 6) (24 . 7) (27 . 10) (28 . 11)) 4561 0.7136 5.5855 ((20 . 1) (21 . 4) (23 . 5) (24 . 6) (27 . 8)) 4562 0.5713 4.6906 ((23 . 19) (24 . 21) (27 . 26) (28 . 27)) 4563 0.7079 9.8125 ((20 . 26) (21 . 27) (23 . 28) (24 . 30) (27 . 33)) 4577 0.5426 19.3994 ((20 . 41) (23 . 43) (28 . 49) (29 . 50)) 4588 0.5707 7.4616 ((24 . 2) (27 . 4) (28 . 7) (29 . 8)) 4589 0.5697 9.3398 ((20 . 19) (23 . 23) (24 . 24) (29 . 30)) 4607 0.2477 10.1134 ((21 . 2) (23 . 3) (24 . 5) (27 . 9)) 4621 0.1992 11.2213 ((21 . 1) (27 . 5) (28 . 8) (29 . 9)) 4630 0.5660 12.4404 ((21 . 2) (23 . 6) (28 . 12) (29 . 13)) 4653 0.5713 4.8008 ((23 . 1) (24 . 2) (28 . 5) (29 . 6)) 4668 0.7121 7.4989 ((20 . 3) (21 . 6) (23 . 7) (24 . 8) (28 . 11)) 4669 0.7136 5.5429 ((20 . 17) (21 . 18) (23 . 19) (24 . 20) (27 . 23)) 4671 0.5712 5.6213 ((20 . 2) (21 . 3) (23 . 4) (24 . 5)) 4674 0.2945 10.3641 ((23 . 2) (24 . 4) (27 . 5) (28 . 8)) 4678 0.5713 4.3531 ((20 . 6) (24 . 9) (28 . 15) (29 . 16)) 4731 0.7113 8.0687 ((21 . 15) (23 . 18) (27 . 20) (28 . 22) (29 . 23)) 4857 0.5712 5.2730 ((20 . 11) (21 . 12) (23 . 13) (24 . 14)) 4886 0.5712 5.3619 ((20 . 19) (21 . 20) (23 . 22) (27 . 27)) 4888 0.5697 9.3160 ((21 . 6) (23 . 9) (27 . 11) (29 . 14)) 4889 0.3782 12.8677 ((20 . 7) (21 . 9) (23 . 11) (27 . 18)) 4914 0.5710 6.5193 ((20 . 1) (23 . 5) (28 . 11) (29 . 12)) 4921 0.5698 9.1765 ((20 . 9) (21 . 11) (23 . 12) (24 . 13)) 4929 0.5707 7.4773 ((20 . 26) (23 . 29) (28 . 34) (29 . 35)) 4932 0.3789 7.9353 ((20 . 4) (23 . 6) (24 . 7) (27 . 9)) 4940 0.5688 10.3907 ((20 . 4) (21 . 5) (23 . 8) (28 . 10)) 4944 0.7096 9.0747 ((21 . 10) (23 . 11) (27 . 12) (28 . 14) (29 . 15)) 4961 0.5713 4.3130 ((21 . 4) (23 . 6) (24 . 8) (28 . 12)) 4978 0.5707 7.5537 ((20 . 21) (23 . 24) (27 . 27) (28 . 28)) 4982 0.5712 5.5362 ((23 . 1) (24 . 2) (27 . 5) (28 . 8)) 4992 0.5714 4.1527 ((20 . 3) (21 . 4) (23 . 6) (24 . 7)) 4998 0.5702 8.4997 ((20 . 23) (21 . 24) (23 . 25) (27 . 28)) 5029 0.5713 4.6782 ((23 . 2) (24 . 3) (27 . 7) (28 . 8)) 5039 0.7138 5.0138 ((21 . 38) (23 . 39) (24 . 40) (27 . 43) (28 . 44)) 5046 0.5693 9.8562 ((23 . 4) (27 . 9) (28 . 8) (29 . 10)) 5053 0.5711 5.9000 ((23 . 6) (24 . 7) (28 . 10) (29 . 11)) 5065 0.5700 8.8778 ((21 . 1) (23 . 2) (28 . 8) (29 . 9)) 5068 0.5703 8.3451 ((23 . 10) (24 . 11) (27 . 14) (29 . 16)) 5069 0.5703 8.2654 ((24 . 1) (27 . 3) (28 . 4) (29 . 5)) 5073 0.5713 5.0954 ((20 . 39) (24 . 41) (27 . 43) (28 . 44)) 5083 0.0999 9.8688 ((23 . 1) (24 . 3) (28 . 8) (29 . 9)) 5101 0.7135 5.6900 ((20 . 1) (21 . 2) (23 . 3) (24 . 4) (28 . 7)) 5103 0.5714 4.1702 ((20 . 4) (23 . 6) (24 . 8) (27 . 11)) 5121 0.5703 8.3071 ((21 . 22) (24 . 23) (28 . 30) (29 . 31)) 5132 0.5710 6.4395 ((20 . 18) (21 . 21) (23 . 22) (28 . 26)) 5134 0.5709 6.9890 ((20 . 10) (21 . 11) (27 . 16) (28 . 17)) 5145 0.2495 6.6397 ((20 . 3) (21 . 4) (23 . 8) (27 . 11) (28 . 5) (29 . 10)) 5167 0.5712 5.3478 ((20 . 1) (21 . 2) (23 . 3) (27 . 7)) 5192 0.5713 5.1423 ((23 . 1) (24 . 2) (27 . 4) (28 . 5)) 5198 0.5697 9.3126 ((20 . 21) (24 . 23) (27 . 25) (29 . 30)) 5199 0.5711 6.2798 ((23 . 4) (24 . 6) (28 . 8) (29 . 9)) 5209 0.5713 5.0916 ((23 . 4) (27 . 6) (28 . 8) (29 . 9)) 5212 0.1992 12.6822 ((20 . 21) (23 . 24) (24 . 25) (27 . 27)) 5215 0.5712 5.3797 ((23 . 4) (27 . 8) (28 . 9) (29 . 10)) 5223 0.7128 6.7831 ((20 . 6) (21 . 9) (23 . 10) (24 . 11) (28 . 15)) 5266 0.7126 7.0225 ((20 . 2) (21 . 3) (23 . 4) (24 . 5) (27 . 9)) 5307 0.5710 6.6195 ((20 . 53) (21 . 54) (23 . 55) (27 . 59)) 5318 0.8556 5.4642 ((20 . 3) (21 . 7) (23 . 8) (24 . 9) (28 . 19) (29 . 22)) 5323 0.5667 11.9802 ((21 . 3) (27 . 9) (28 . 10) (29 . 11)) 5324 0.7140 4.6285 ((21 . 6) (23 . 7) (24 . 8) (27 . 11) (28 . 12)) 5344 0.3789 7.9849 ((20 . 2) (23 . 4) (24 . 5) (29 . 10)) 5345 0.5702 8.6225 ((20 . 2) (23 . 4) (28 . 12) (29 . 13)) 5368 0.5702 8.4547 ((23 . 41) (24 . 44) (28 . 47) (29 . 48)) 5378 0.5709 6.9945 ((23 . 9) (24 . 10) (28 . 15) (29 . 16)) 5411 0.5705 8.0311 ((24 . 2) (27 . 5) (28 . 6) (29 . 8)) 5414 0.5687 10.4386 ((23 . 14) (27 . 17) (28 . 19) (29 . 20)) 5418 0.5700 8.9362 ((23 . 1) (27 . 4) (28 . 8) (29 . 9)) 5479 0.5689 10.2319 ((20 . 46) (23 . 48) (28 . 53) (29 . 54)) 5487 0.5713 5.1964 ((20 . 7) (21 . 8) (23 . 9) (24 . 10)) 5500 0.5711 6.3217 ((20 . 1) (23 . 3) (27 . 10) (28 . 12)) 5501 0.5587 15.5030 ((20 . 20) (21 . 22) (23 . 24) (27 . 28)) 5525 0.1992 14.2539 ((21 . 1) (27 . 5) (28 . 7) (29 . 8)) 5535 0.5709 6.9942 ((21 . 1) (23 . 2) (24 . 5) (29 . 10)) 5540 0.5712 5.8804 ((20 . 6) (24 . 9) (28 . 16) (29 . 18)) 5557 0.4455 5.8582 ((20 . 4) (21 . 5) (23 . 6) (24 . 7)) 5560 0.7140 4.5994 ((20 . 13) (21 . 14) (23 . 15) (24 . 16) (28 . 20)) 5562 0.5711 6.0454 ((20 . 7) (21 . 9) (23 . 11) (28 . 14)) 5567 0.7068 10.1888 ((21 . 10) (23 . 11) (24 . 14) (27 . 16) (28 . 17)) 5594 0.7140 4.5484 ((20 . 6) (21 . 7) (23 . 9) (24 . 10) (27 . 13)) 5600 0.5708 7.3188 ((20 . 3) (21 . 4) (23 . 5) (27 . 10)) 5601 0.5652 12.9041 ((23 . 8) (24 . 9) (28 . 15) (29 . 16)) 5638 0.5694 9.6479 ((20 . 7) (23 . 9) (24 . 12) (27 . 14)) 5640 0.5691 10.0324 ((20 . 10) (23 . 14) (28 . 20) (29 . 21)) 5644 0.5701 8.7042 ((20 . 3) (23 . 8) (28 . 13) (29 . 14)) 5656 0.5709 6.9848 ((24 . 17) (27 . 20) (28 . 21) (29 . 23)) 5700 0.5711 6.2351 ((20 . 2) (23 . 4) (28 . 9) (29 . 11)) 5701 0.1498 8.0782 ((20 . 8) (21 . 10) (23 . 11) (27 . 13)) 5703 0.5704 8.0770 ((23 . 1) (24 . 3) (28 . 6) (29 . 7)) 5711 0.5692 9.9520 ((20 . 35) (23 . 38) (28 . 44) (29 . 46)) 5713 0.5692 9.9589 ((20 . 11) (23 . 16) (28 . 22) (29 . 24)) 5718 0.1993 7.4838 ((20 . 14) (21 . 15) (28 . 24) (29 . 25)) 5731 0.2477 10.5857 ((20 . 4) (21 . 6) (24 . 8) (29 . 14)) 5746 0.5700 8.8751 ((21 . 1) (23 . 2) (28 . 7) (29 . 9)) 5749 0.2943 12.7743 ((20 . 3) (21 . 2) (23 . 5) (27 . 8)) 5761 0.2477 9.7917 ((20 . 30) (21 . 29) (23 . 32) (24 . 33)) 5770 0.1498 11.8766 ((21 . 5) (24 . 7) (28 . 12) (29 . 15)) 5771 0.5631 13.8873 ((20 . 1) (24 . 6) (28 . 9) (29 . 13)) 5782 0.5709 6.7861 ((20 . 27) (21 . 31) (23 . 32) (27 . 36)) 5789 0.5677 11.3035 ((23 . 2) (24 . 3) (27 . 4) (29 . 5)) 5794 0.5703 8.3729 ((20 . 15) (27 . 22) (28 . 23) (29 . 24)) 5795 0.5709 7.0146 ((20 . 10) (21 . 12) (23 . 13) (24 . 15)) 5809 0.7129 6.6747 ((20 . 5) (21 . 6) (23 . 7) (24 . 8) (28 . 12)) 5822 0.2477 8.6120 ((20 . 4) (21 . 5) (23 . 8) (27 . 11)) 5827 0.5710 6.6055 ((20 . 5) (21 . 6) (23 . 11) (24 . 12)) 5830 0.5696 9.4498 ((20 . 1) (21 . 5) (23 . 6) (29 . 13)) 5865 0.5713 5.2517 ((23 . 1) (27 . 6) (28 . 5) (29 . 7)) 5888 0.5687 10.4256 ((20 . 17) (23 . 21) (28 . 27) (29 . 28)) 5896 0.5707 7.4653 ((20 . 26) (21 . 27) (23 . 28) (27 . 32)) 5904 0.5713 5.1428 ((21 . 3) (23 . 4) (27 . 8) (28 . 9)) 5913 0.5711 6.2945 ((20 . 7) (24 . 11) (27 . 14) (28 . 15)) 5922 0.5696 9.3942 ((20 . 3) (23 . 6) (28 . 11) (29 . 13)) 5930 0.5710 6.6660 ((20 . 2) (21 . 3) (23 . 4) (28 . 11)) 5939 0.5704 8.1384 ((21 . 1) (24 . 3) (27 . 5) (28 . 6)) 5945 0.7099 8.9153 ((21 . 25) (24 . 27) (27 . 31) (28 . 32) (29 . 33)) 5949 0.7110 8.3040 ((20 . 1) (21 . 2) (23 . 4) (27 . 8) (28 . 9)) 5955 0.5711 6.2700 ((21 . 2) (23 . 3) (27 . 6) (28 . 7)) 5967 0.5712 5.7693 ((20 . 3) (21 . 6) (23 . 7) (24 . 8)) 5972 0.5704 8.1031 ((24 . 1) (27 . 5) (28 . 6) (29 . 7)) 5977 0.5710 6.4631 ((20 . 1) (21 . 2) (23 . 3) (24 . 4)) 6000 0.5708 7.3021 ((20 . 9) (21 . 11) (24 . 16) (28 . 21)) 6011 0.5668 11.9341 ((20 . 14) (21 . 17) (23 . 18) (27 . 21)) 6029 0.5705 7.9385 ((21 . 28) (23 . 31) (24 . 32) (28 . 35)) 6041 0.5712 5.6544 ((24 . 6) (27 . 9) (28 . 12) (29 . 13)) 6061 0.5711 5.9839 ((20 . 15) (21 . 16) (23 . 17) (24 . 18)) 6074 0.7132 6.2249 ((20 . 6) (21 . 7) (23 . 8) (27 . 12) (28 . 13)) 6075 0.5705 7.8908 ((20 . 20) (21 . 22) (23 . 24) (27 . 29)) 6079 0.5714 4.2600 ((23 . 1) (27 . 2) (28 . 6) (29 . 7)) 6087 0.5709 6.9024 ((20 . 3) (24 . 4) (27 . 7) (28 . 8)) 6089 0.5709 6.9900 ((23 . 1) (24 . 2) (27 . 4) (29 . 5)) 6094 0.3787 10.5915 ((20 . 4) (21 . 6) (24 . 8) (29 . 15)) 6099 0.5690 10.1682 ((21 . 15) (24 . 19) (28 . 22) (29 . 23)) 6142 0.5657 12.5886 ((20 . 8) (23 . 11) (28 . 15) (29 . 16)) 6173 0.5703 8.3959 ((20 . 3) (23 . 5) (28 . 13) (29 . 15)) 6191 0.5712 5.3200 ((20 . 4) (21 . 5) (28 . 12) (29 . 13)) 6192 0.5711 6.1501 ((21 . 2) (27 . 4) (28 . 5) (29 . 10)) 6215 0.2944 11.2107 ((20 . 20) (21 . 22) (23 . 24) (24 . 23)) 6225 0.5699 8.9706 ((20 . 3) (27 . 9) (28 . 10) (29 . 12)) 6228 0.7139 4.7940 ((21 . 2) (23 . 3) (24 . 4) (27 . 6) (28 . 7)) 6238 0.5712 5.7398 ((21 . 2) (23 . 3) (28 . 8) (29 . 9)) 6243 0.5713 4.6260 ((20 . 8) (21 . 9) (23 . 10) (24 . 11)) 6251 0.5709 6.8155 ((20 . 8) (21 . 9) (24 . 11) (28 . 17)) 6258 0.2946 4.9006 ((21 . 5) (23 . 7) (24 . 8) (28 . 12)) 6261 0.7130 6.5581 ((20 . 1) (21 . 2) (23 . 3) (27 . 7) (28 . 9)) 6266 0.5708 7.1079 ((21 . 4) (23 . 6) (27 . 9) (28 . 10)) 6270 0.5629 13.9708 ((20 . 15) (21 . 16) (23 . 17) (28 . 22)) 6271 0.5709 6.9479 ((23 . 5) (27 . 9) (28 . 10) (29 . 11)) 6294 0.7136 5.5022 ((20 . 23) (21 . 24) (23 . 25) (24 . 26) (27 . 28)) 6306 0.5707 7.5357 ((23 . 15) (27 . 18) (28 . 19) (29 . 21)) 6309 0.5704 8.1599 ((20 . 17) (23 . 20) (27 . 26) (28 . 25)) 6311 0.0999 9.5543 ((20 . 1) (23 . 5) (28 . 10) (29 . 11)) 6344 0.5711 6.3435 ((20 . 4) (21 . 5) (23 . 6) (27 . 10)) 6345 0.0999 10.5740 ((24 . 8) (27 . 9) (28 . 11) (29 . 13)) 6348 0.7135 5.8189 ((20 . 1) (21 . 3) (23 . 4) (27 . 8) (28 . 9)) 6355 0.5686 10.5257 ((21 . 3) (23 . 4) (28 . 9) (29 . 10)) 6356 0.7109 8.3514 ((20 . 1) (21 . 2) (23 . 4) (27 . 8) (28 . 9)) 6369 0.7122 7.4056 ((20 . 22) (21 . 23) (23 . 24) (24 . 25) (27 . 28)) 6376 0.5713 4.6592 ((21 . 16) (23 . 17) (24 . 18) (28 . 24)) 6392 0.7138 5.0783 ((20 . 1) (21 . 2) (23 . 3) (27 . 6) (28 . 7)) 6399 0.5634 13.7390 ((20 . 7) (23 . 10) (28 . 16) (29 . 17)) 6403 0.5708 7.1974 ((20 . 5) (21 . 6) (23 . 10) (24 . 11)) 6462 0.7120 7.5723 ((20 . 10) (21 . 11) (23 . 12) (27 . 17) (28 . 18)) 6498 0.5710 6.5855 ((20 . 29) (21 . 30) (23 . 31) (24 . 32)) 6520 0.5711 6.1788 ((23 . 9) (27 . 12) (28 . 14) (29 . 15)) 6536 0.1992 10.4545 ((24 . 32) (27 . 34) (28 . 35) (29 . 36)) 6539 0.7133 6.0931 ((20 . 2) (21 . 3) (23 . 4) (28 . 5) (29 . 8)) 6548 0.1993 7.6265 ((20 . 5) (21 . 6) (23 . 7) (27 . 14)) 6553 0.5712 5.8602 ((20 . 17) (21 . 19) (23 . 20) (27 . 27)) 6555 0.5702 8.5087 ((20 . 17) (23 . 20) (24 . 21) (28 . 26)) 6561 0.5630 13.9078 ((21 . 2) (27 . 5) (28 . 9) (29 . 10)) 6573 0.5710 6.5073 ((20 . 17) (21 . 18) (23 . 21) (28 . 25)) 6584 0.5710 6.3891 ((21 . 1) (23 . 2) (28 . 8) (29 . 9)) 6585 0.9947 6.1324 ((20 . 2) (21 . 4) (23 . 6) (24 . 7) (27 . 9) (28 . 10) (29 . 11)) 6586 0.8552 5.7325 ((21 . 16) (23 . 18) (24 . 19) (27 . 23) (28 . 24) (29 . 25)) 6587 0.8560 4.9940 ((21 . 27) (23 . 29) (24 . 30) (27 . 32) (28 . 33) (29 . 34)) 6598 0.5703 8.4428 ((20 . 7) (23 . 10) (24 . 12) (28 . 17)) 6613 0.5712 5.3863 ((20 . 22) (21 . 23) (23 . 24) (24 . 25)) 6635 0.5694 9.6378 ((24 . 2) (27 . 3) (28 . 5) (29 . 7)) END