3538 25 0.2857 8.2574 ((21 . 1) (26 . 6) (27 . 9) (28 . 10)) 41 0.0996 7.1853 ((18 . 3) (20 . 5) (21 . 6) (23 . 7)) 51 0.2857 6.4672 ((18 . 1) (20 . 2) (25 . 10) (26 . 11)) 62 0.3509 11.8081 ((13 . 9) (15 . 10) (17 . 15) (18 . 16) (20 . 17)) 64 0.2857 5.1481 ((15 . 7) (18 . 9) (20 . 10) (23 . 14)) 77 0.2857 8.0694 ((18 . 7) (20 . 8) (23 . 13) (27 . 17)) 91 0.2855 12.7629 ((15 . 16) (23 . 28) (25 . 31) (27 . 35)) 96 0.2228 7.4241 ((18 . 1) (20 . 3) (21 . 4) (23 . 6)) 129 0.2857 5.7505 ((23 . 3) (24 . 5) (25 . 8) (26 . 9)) 136 0.2857 5.8711 ((16 . 4) (18 . 7) (20 . 8) (21 . 9)) 147 0.2856 11.7386 ((13 . 2) (16 . 3) (17 . 5) (21 . 9)) 150 0.1895 11.3132 ((21 . 17) (24 . 20) (26 . 23) (27 . 24)) 153 0.2857 6.3164 ((15 . 1) (23 . 5) (25 . 10) (26 . 12)) 155 0.2785 10.7907 ((15 . 3) (16 . 4) (17 . 5) (21 . 8)) 157 0.2972 9.8394 ((15 . 3) (20 . 9) (22 . 13) (26 . 20) (27 . 22)) 161 0.0996 10.4285 ((24 . 3) (25 . 4) (26 . 6) (27 . 7)) 162 0.2857 4.4212 ((17 . 16) (18 . 17) (20 . 18) (21 . 19)) 169 0.2857 4.8270 ((23 . 4) (24 . 5) (25 . 7) (26 . 8)) 177 0.2857 8.0103 ((20 . 1) (23 . 5) (26 . 8) (27 . 9)) 191 0.2856 9.7052 ((20 . 4) (24 . 7) (25 . 8) (26 . 9)) 198 0.2856 9.7066 ((23 . 5) (24 . 7) (25 . 9) (26 . 10)) 207 0.2857 7.0394 ((18 . 8) (22 . 14) (23 . 15) (25 . 18)) 233 0.1489 6.1666 ((15 . 1) (23 . 3) (24 . 5) (25 . 7) (26 . 8)) 259 0.2785 9.4282 ((16 . 1) (17 . 2) (21 . 5) (22 . 6)) 300 0.2857 6.1083 ((17 . 5) (18 . 7) (20 . 8) (22 . 11)) 305 0.2857 7.8818 ((17 . 10) (18 . 11) (20 . 15) (24 . 21)) 307 0.2855 12.5679 ((13 . 2) (15 . 3) (17 . 6) (18 . 7)) 317 0.2856 10.5183 ((13 . 2) (16 . 4) (17 . 6) (21 . 10)) 329 0.2857 7.4092 ((16 . 1) (17 . 3) (18 . 4) (20 . 5)) 350 0.3078 6.6177 ((15 . 7) (18 . 11) (20 . 13) (21 . 14) (23 . 15) (25 . 16) (26 . 17)) 351 0.2857 8.4727 ((16 . 2) (17 . 4) (21 . 6) (22 . 8)) 360 0.2857 6.1044 ((18 . 5) (20 . 6) (23 . 12) (25 . 14)) 361 0.2857 9.0474 ((15 . 2) (17 . 5) (21 . 9) (23 . 11)) 365 0.2857 8.8849 ((24 . 2) (25 . 3) (26 . 4) (27 . 7)) 367 0.2857 6.7206 ((18 . 38) (20 . 40) (23 . 44) (26 . 48)) 387 0.2857 4.4344 ((23 . 7) (24 . 8) (25 . 9) (26 . 10)) 405 0.2857 5.4348 ((23 . 33) (24 . 35) (25 . 37) (26 . 38)) 417 0.2227 13.9585 ((18 . 1) (20 . 2) (21 . 6) (24 . 9)) 420 0.2857 5.5713 ((18 . 4) (20 . 5) (23 . 12) (24 . 13)) 433 0.2857 4.7784 ((15 . 5) (17 . 8) (18 . 9) (20 . 10)) 442 0.2857 5.4975 ((17 . 11) (18 . 12) (25 . 20) (26 . 21)) 460 0.2857 6.7222 ((20 . 1) (22 . 4) (23 . 6) (25 . 8)) 472 0.2857 5.5845 ((18 . 21) (20 . 22) (26 . 31) (27 . 33)) 491 0.2857 4.7232 ((20 . 1) (21 . 2) (23 . 6) (26 . 8)) 495 0.2459 5.7262 ((15 . 1) (17 . 2) (18 . 3) (23 . 9)) 541 0.3570 8.1834 ((18 . 3) (20 . 5) (21 . 6) (24 . 11) (26 . 14)) 543 0.2857 7.8159 ((15 . 1) (21 . 7) (25 . 15) (26 . 16)) 553 0.2784 13.5914 ((13 . 2) (21 . 9) (27 . 15) (28 . 21)) 561 0.1895 8.3718 ((18 . 1) (20 . 3) (21 . 5) (23 . 6)) 584 0.2857 7.5893 ((16 . 1) (17 . 2) (23 . 10) (25 . 13)) 587 0.2857 5.1718 ((15 . 8) (18 . 10) (20 . 11) (23 . 15)) 609 0.2857 5.5236 ((17 . 2) (18 . 3) (21 . 5) (23 . 8)) 619 0.2857 6.1092 ((18 . 11) (20 . 12) (21 . 14) (25 . 20)) 624 0.3571 4.4592 ((17 . 6) (18 . 7) (25 . 15) (26 . 16) (27 . 17)) 635 0.3570 9.5678 ((15 . 3) (17 . 7) (21 . 11) (23 . 14) (26 . 18)) 672 0.2857 6.0439 ((15 . 15) (17 . 17) (18 . 18) (20 . 21)) 678 0.3571 5.8165 ((15 . 26) (16 . 27) (17 . 28) (18 . 29) (28 . 42)) 683 0.2821 8.5672 ((18 . 1) (20 . 2) (21 . 4) (23 . 6)) 719 0.2856 12.1080 ((25 . 25) (26 . 27) (27 . 29) (28 . 31)) 729 0.4285 4.6134 ((17 . 6) (18 . 7) (23 . 15) (25 . 17) (26 . 20) (27 . 21)) 735 0.2857 7.0938 ((21 . 30) (24 . 36) (25 . 37) (26 . 39)) 765 0.2856 9.9575 ((20 . 4) (23 . 10) (24 . 12) (26 . 17)) 767 0.2857 6.9794 ((20 . 1) (21 . 2) (25 . 10) (26 . 11)) 782 0.2458 13.9499 ((13 . 1) (16 . 3) (21 . 8) (22 . 10)) 792 0.2821 9.7337 ((16 . 1) (21 . 8) (22 . 10) (27 . 16)) 795 0.2857 6.7259 ((15 . 1) (17 . 4) (18 . 5) (20 . 6)) 796 0.2857 7.1846 ((16 . 1) (18 . 5) (20 . 6) (21 . 7)) 812 0.2857 5.7575 ((15 . 5) (18 . 11) (23 . 16) (26 . 19)) 818 0.2857 5.4241 ((17 . 3) (23 . 12) (25 . 14) (26 . 16)) 819 0.2785 11.2555 ((17 . 1) (18 . 2) (20 . 3) (25 . 8)) 824 0.2856 9.8363 ((20 . 43) (24 . 49) (25 . 51) (26 . 53)) 834 0.2785 10.2114 ((18 . 32) (20 . 33) (21 . 35) (28 . 44)) 861 0.2856 12.1740 ((25 . 2) (26 . 3) (27 . 4) (28 . 5)) 901 0.3570 9.0242 ((17 . 10) (18 . 12) (22 . 16) (23 . 17) (27 . 21)) 904 0.2696 9.5431 ((20 . 2) (21 . 4) (22 . 5) (23 . 6)) 913 0.3549 6.7481 ((13 . 15) (18 . 16) (20 . 17) (21 . 18) (22 . 21)) 928 0.3571 6.0681 ((17 . 9) (18 . 10) (22 . 15) (23 . 16) (25 . 18)) 943 0.3571 7.7808 ((17 . 5) (18 . 6) (22 . 10) (23 . 12) (26 . 15)) 945 0.3466 9.2089 ((17 . 13) (18 . 19) (22 . 20) (23 . 22) (27 . 25)) 960 0.2857 7.2042 ((18 . 3) (20 . 4) (23 . 8) (26 . 12)) 978 0.2857 7.0251 ((18 . 4) (22 . 9) (23 . 10) (25 . 13)) 980 0.2857 5.9453 ((18 . 1) (22 . 6) (23 . 7) (25 . 9)) 1005 0.2857 7.7144 ((18 . 1) (20 . 2) (21 . 5) (22 . 6)) 1007 0.2857 6.2357 ((17 . 6) (18 . 7) (20 . 8) (26 . 17)) 1008 0.2856 10.1364 ((18 . 3) (20 . 5) (24 . 13) (25 . 15)) 1034 0.2857 5.2974 ((16 . 23) (17 . 24) (18 . 25) (20 . 26)) 1043 0.3549 8.3678 ((16 . 5) (20 . 10) (21 . 11) (22 . 15) (27 . 18)) 1082 0.3571 7.4946 ((18 . 3) (20 . 4) (23 . 8) (26 . 12) (27 . 14)) 1084 0.7413 8.0539 ((13 . 2) (15 . 3) (16 . 5) (17 . 6) (18 . 10) (20 . 12) (21 . 15) (23 . 17) (25 . 18) (26 . 20) (27 . 21)) 1165 0.2857 7.7781 ((13 . 9) (21 . 17) (23 . 19) (25 . 21)) 1167 0.2857 8.7962 ((17 . 19) (18 . 20) (20 . 21) (27 . 29)) 1195 0.1318 8.3377 ((21 . 1) (23 . 2) (25 . 5) (26 . 6)) 1201 0.2857 5.8382 ((22 . 5) (23 . 7) (25 . 9) (26 . 11)) 1204 0.2856 10.1520 ((23 . 20) (26 . 25) (27 . 26) (28 . 28)) 1211 0.3463 12.5152 ((16 . 1) (18 . 5) (25 . 14) (26 . 15) (27 . 17)) 1217 0.2459 7.6677 ((21 . 2) (23 . 7) (24 . 9) (25 . 11)) 1224 0.3571 6.7190 ((18 . 5) (20 . 6) (23 . 10) (25 . 14) (26 . 15)) 1233 0.2857 4.1082 ((17 . 13) (18 . 14) (23 . 22) (24 . 23)) 1267 0.2857 9.0475 ((25 . 3) (26 . 4) (27 . 5) (28 . 6)) 1268 0.2786 4.8730 ((17 . 2) (18 . 3) (20 . 4) (21 . 5)) 1294 0.2857 5.6906 ((23 . 43) (24 . 44) (25 . 46) (26 . 47)) 1324 0.2856 10.6463 ((23 . 2) (24 . 3) (25 . 4) (26 . 6)) 1345 0.2857 6.5732 ((15 . 3) (22 . 10) (25 . 14) (26 . 16)) 1366 0.2857 5.5320 ((20 . 12) (21 . 13) (25 . 20) (26 . 21)) 1388 0.2855 13.0088 ((21 . 3) (22 . 6) (25 . 8) (27 . 12)) 1425 0.2857 5.5567 ((23 . 4) (24 . 6) (25 . 8) (26 . 10)) 1435 0.2696 8.5091 ((15 . 2) (17 . 4) (18 . 5) (20 . 6)) 1447 0.2857 6.2160 ((17 . 2) (18 . 3) (22 . 6) (23 . 7)) 1451 0.2857 7.8838 ((20 . 3) (23 . 6) (25 . 8) (26 . 9)) 1464 0.2857 9.4040 ((16 . 9) (17 . 12) (18 . 13) (20 . 14)) 1470 0.2844 20.6225 ((13 . 6) (16 . 8) (21 . 13) (27 . 18)) 1472 0.2857 9.1863 ((21 . 1) (26 . 8) (27 . 10) (28 . 11)) 1476 0.3571 4.7643 ((17 . 10) (18 . 11) (22 . 17) (23 . 18) (25 . 20)) 1481 0.2857 3.6792 ((18 . 1) (20 . 2) (21 . 3) (23 . 7)) 1497 0.2783 14.3744 ((16 . 16) (21 . 21) (27 . 27) (28 . 28)) 1501 0.2856 10.1669 ((18 . 1) (20 . 2) (23 . 7) (24 . 9)) 1508 0.2228 7.9350 ((17 . 1) (18 . 2) (20 . 5) (21 . 6)) 1513 0.2857 7.0766 ((17 . 4) (18 . 5) (22 . 9) (23 . 11)) 1514 0.2857 8.8345 ((20 . 1) (21 . 2) (23 . 4) (25 . 6)) 1577 0.2857 5.2664 ((17 . 1) (23 . 6) (26 . 10) (27 . 11)) 1591 0.3570 8.9744 ((15 . 11) (17 . 12) (18 . 14) (22 . 18) (23 . 19)) 1595 0.2228 8.5996 ((16 . 2) (17 . 4) (20 . 7) (21 . 9)) 1604 0.2854 14.5672 ((13 . 11) (15 . 12) (16 . 14) (17 . 15)) 1622 0.2857 6.2218 ((13 . 17) (17 . 21) (18 . 22) (20 . 23)) 1624 0.2856 12.2304 ((22 . 1) (25 . 5) (26 . 6) (27 . 10)) 1643 0.2857 5.0637 ((18 . 18) (20 . 20) (23 . 27) (25 . 31)) 1644 0.3571 7.4051 ((21 . 42) (23 . 44) (24 . 46) (25 . 47) (26 . 48)) 1665 0.1620 23.9166 ((13 . 1) (15 . 4) (20 . 10) (21 . 11)) 1690 0.3571 7.8840 ((17 . 7) (18 . 8) (23 . 16) (26 . 21) (28 . 26)) 1692 0.3549 7.5289 ((20 . 1) (21 . 2) (22 . 4) (23 . 5) (26 . 8)) 1731 0.2857 4.6274 ((17 . 5) (18 . 6) (25 . 12) (26 . 13)) 1736 0.2459 10.5994 ((13 . 4) (17 . 8) (18 . 10) (21 . 11)) 1738 0.2857 8.3304 ((17 . 10) (18 . 11) (20 . 14) (21 . 16)) 1747 0.2857 5.6837 ((18 . 10) (20 . 11) (23 . 16) (25 . 18)) 1759 0.2857 5.6938 ((18 . 5) (20 . 6) (23 . 13) (24 . 14)) 1761 0.3571 7.8567 ((17 . 8) (18 . 9) (22 . 14) (23 . 16) (26 . 20)) 1763 0.2857 7.0630 ((13 . 2) (17 . 8) (18 . 9) (20 . 10)) 1776 0.3570 9.2240 ((15 . 1) (17 . 6) (18 . 7) (23 . 14) (26 . 20)) 1778 0.2857 6.9764 ((18 . 4) (20 . 5) (21 . 6) (24 . 12)) 1793 0.2857 6.7186 ((17 . 5) (18 . 6) (25 . 13) (26 . 14)) 1796 0.2227 12.5963 ((13 . 1) (16 . 2) (17 . 4) (22 . 7)) 1805 0.2857 6.2042 ((15 . 4) (23 . 14) (25 . 16) (26 . 17)) 1808 0.3368 11.5533 ((13 . 1) (15 . 2) (17 . 7) (18 . 8) (20 . 9)) 1817 0.2857 9.2917 ((24 . 18) (25 . 19) (26 . 20) (27 . 21)) 1867 0.2857 6.9296 ((24 . 3) (25 . 6) (26 . 7) (27 . 8)) 1894 0.3571 7.1740 ((15 . 7) (16 . 8) (20 . 12) (25 . 20) (26 . 21)) 1896 0.2856 10.8532 ((24 . 22) (25 . 23) (26 . 24) (27 . 28)) 1897 0.2856 10.4235 ((18 . 34) (23 . 40) (24 . 43) (27 . 48)) 1908 0.2857 6.7022 ((18 . 3) (22 . 6) (23 . 7) (25 . 10)) 1909 0.2857 6.9530 ((15 . 25) (17 . 30) (23 . 37) (25 . 39)) 1913 0.3457 15.4080 ((13 . 2) (15 . 4) (20 . 12) (23 . 19) (25 . 22)) 1944 0.2857 6.1043 ((22 . 4) (23 . 5) (25 . 7) (28 . 12)) 1957 0.3571 6.2069 ((17 . 10) (18 . 11) (22 . 16) (23 . 17) (25 . 19)) 1961 0.2857 5.3682 ((21 . 13) (23 . 16) (25 . 19) (26 . 20)) 1967 0.2857 5.4095 ((17 . 4) (21 . 8) (23 . 10) (25 . 16)) 1972 0.2857 4.0016 ((17 . 17) (18 . 18) (23 . 24) (25 . 27)) 1992 0.2459 9.4837 ((15 . 1) (17 . 5) (21 . 8) (23 . 12)) 1995 0.3571 7.3546 ((18 . 1) (20 . 2) (23 . 8) (25 . 12) (26 . 13)) 2003 0.2857 8.3229 ((21 . 6) (23 . 8) (25 . 10) (26 . 12)) 2006 0.2857 5.1722 ((18 . 7) (20 . 8) (23 . 11) (26 . 14)) 2045 0.2227 10.0403 ((15 . 3) (16 . 4) (18 . 7) (20 . 8)) 2048 0.3571 5.0189 ((15 . 1) (17 . 5) (18 . 6) (23 . 13) (26 . 16)) 2054 0.2857 9.0566 ((25 . 1) (26 . 2) (27 . 7) (28 . 9)) 2063 0.2857 5.7669 ((23 . 44) (24 . 45) (25 . 47) (26 . 48)) 2065 0.2856 11.9818 ((22 . 20) (24 . 25) (25 . 26) (26 . 27)) 2067 0.2851 17.2734 ((16 . 1) (22 . 8) (26 . 15) (28 . 18)) 2072 0.1622 10.3266 ((18 . 2) (21 . 3) (23 . 7) (27 . 9)) 2081 0.3571 5.9438 ((15 . 10) (17 . 11) (18 . 12) (23 . 19) (25 . 21)) 2083 0.2459 7.3374 ((17 . 3) (18 . 4) (21 . 8) (22 . 11)) 2097 0.2857 7.3462 ((17 . 2) (25 . 14) (26 . 16) (28 . 20)) 2114 0.3158 7.7804 ((17 . 30) (18 . 32) (20 . 34) (21 . 35) (22 . 37)) 2116 0.3569 9.9657 ((20 . 1) (23 . 5) (24 . 6) (25 . 7) (26 . 8)) 2117 0.3369 9.7670 ((13 . 2) (23 . 16) (25 . 22) (26 . 23) (27 . 24)) 2118 0.2856 11.1919 ((18 . 5) (22 . 8) (25 . 11) (26 . 12)) 2122 0.3570 8.4800 ((17 . 5) (18 . 6) (23 . 12) (26 . 18) (28 . 23)) 2166 0.3571 6.6220 ((15 . 7) (17 . 10) (18 . 12) (20 . 13) (21 . 14)) 2179 0.3569 10.0168 ((22 . 3) (23 . 5) (24 . 6) (25 . 7) (26 . 9)) 2196 0.2857 6.4757 ((23 . 10) (24 . 11) (25 . 12) (26 . 13)) 2203 0.2857 5.1732 ((23 . 1) (25 . 5) (26 . 7) (27 . 8)) 2205 0.2857 6.4329 ((15 . 15) (18 . 18) (20 . 21) (23 . 26)) 2209 0.2857 5.9844 ((17 . 2) (18 . 3) (22 . 8) (25 . 10)) 2243 0.2857 7.2624 ((18 . 52) (20 . 53) (24 . 62) (27 . 68)) 2244 0.2857 6.2025 ((23 . 76) (24 . 77) (25 . 78) (26 . 79)) 2248 0.2857 9.2523 ((18 . 16) (22 . 23) (25 . 27) (26 . 28)) 2249 0.2857 3.9699 ((18 . 7) (21 . 10) (23 . 12) (25 . 16)) 2269 0.2857 7.3928 ((18 . 6) (20 . 7) (23 . 10) (25 . 12)) 2279 0.2857 7.4308 ((18 . 3) (20 . 5) (21 . 6) (27 . 15)) 2298 0.2857 8.7984 ((15 . 4) (17 . 7) (18 . 8) (22 . 14)) 2308 0.2857 8.7633 ((23 . 5) (24 . 6) (26 . 8) (27 . 10)) 2314 0.2856 10.3874 ((23 . 2) (24 . 3) (25 . 4) (28 . 9)) 2340 0.2857 6.5879 ((16 . 10) (18 . 13) (20 . 14) (21 . 15)) 2342 0.2784 11.8222 ((13 . 4) (21 . 9) (27 . 14) (28 . 15)) 2344 0.2857 5.1560 ((18 . 1) (20 . 3) (21 . 5) (25 . 11)) 2364 0.3571 6.2278 ((16 . 2) (17 . 6) (18 . 7) (23 . 15) (26 . 19)) 2381 0.2857 3.1748 ((17 . 2) (18 . 3) (20 . 4) (22 . 8)) 2389 0.3570 8.7757 ((13 . 2) (15 . 6) (18 . 10) (20 . 11) (21 . 12)) 2393 0.2856 12.0885 ((15 . 1) (16 . 2) (25 . 15) (27 . 17)) 2408 0.2857 4.8784 ((15 . 37) (18 . 41) (20 . 42) (23 . 47)) 2409 0.2228 7.4128 ((16 . 1) (18 . 5) (20 . 6) (21 . 11)) 2410 0.2857 8.8131 ((22 . 12) (23 . 13) (25 . 16) (26 . 17)) 2422 0.2856 12.1760 ((24 . 6) (25 . 7) (26 . 8) (27 . 10)) 2423 0.2857 7.6033 ((21 . 12) (22 . 13) (25 . 16) (26 . 17)) 2440 0.2857 6.3785 ((25 . 8) (26 . 9) (27 . 10) (28 . 12)) 2447 0.2857 7.6685 ((25 . 5) (26 . 6) (27 . 7) (28 . 8)) 2462 0.2857 4.9044 ((17 . 5) (18 . 6) (20 . 7) (23 . 12)) 2465 0.2779 17.8702 ((17 . 1) (21 . 4) (22 . 5) (27 . 8)) 2510 0.2857 6.8254 ((17 . 2) (18 . 3) (22 . 8) (23 . 9)) 2525 0.3571 6.6028 ((15 . 41) (23 . 45) (25 . 47) (26 . 48) (27 . 52)) 2529 0.2857 7.1013 ((16 . 2) (18 . 5) (20 . 6) (21 . 7)) 2533 0.2857 7.5501 ((17 . 5) (18 . 6) (22 . 11) (23 . 13)) 2551 0.2857 6.9058 ((16 . 8) (17 . 10) (18 . 11) (20 . 12)) 2552 0.2857 9.1910 ((17 . 2) (18 . 1) (21 . 4) (22 . 6)) 2556 0.2857 8.7350 ((17 . 12) (18 . 13) (21 . 17) (22 . 21)) 2557 0.2857 6.7533 ((21 . 1) (23 . 3) (25 . 6) (26 . 7)) 2561 0.3570 8.1063 ((15 . 1) (16 . 2) (17 . 5) (18 . 6) (20 . 7)) 2595 0.2853 15.6373 ((13 . 2) (15 . 4) (17 . 7) (23 . 13)) 2619 0.2857 8.3292 ((24 . 1) (25 . 2) (26 . 3) (27 . 4)) 2627 0.2857 8.5013 ((16 . 54) (23 . 60) (25 . 64) (26 . 65)) 2634 0.2854 14.6117 ((13 . 3) (16 . 5) (17 . 6) (21 . 9)) 2650 0.3571 6.7801 ((18 . 1) (20 . 2) (21 . 4) (23 . 6) (25 . 8)) 2658 0.1473 12.2206 ((15 . 3) (17 . 4) (21 . 9) (23 . 12)) 2675 0.2857 7.5885 ((21 . 2) (23 . 8) (25 . 11) (26 . 12)) 2682 0.2856 11.6250 ((16 . 4) (24 . 17) (26 . 19) (27 . 20)) 2696 0.2857 7.5749 ((23 . 35) (24 . 36) (25 . 38) (26 . 39)) 2733 0.3467 5.6120 ((18 . 1) (20 . 2) (22 . 6) (23 . 8) (25 . 11)) 2755 0.2857 6.5557 ((17 . 2) (18 . 3) (22 . 7) (23 . 8)) 2773 0.2857 7.1951 ((18 . 2) (20 . 3) (23 . 6) (27 . 8)) 2783 0.2857 7.2449 ((16 . 4) (18 . 7) (20 . 8) (21 . 9)) 2804 0.4819 9.0913 ((16 . 26) (17 . 27) (18 . 29) (20 . 34) (21 . 35) (23 . 36) (25 . 39)) 2821 0.2857 7.3541 ((18 . 3) (22 . 10) (23 . 11) (25 . 13)) 2830 0.3571 6.2087 ((17 . 10) (18 . 11) (22 . 16) (23 . 17) (25 . 19)) 2834 0.2857 8.3219 ((18 . 5) (20 . 6) (21 . 7) (27 . 15)) 2840 0.3570 8.1991 ((20 . 1) (21 . 3) (23 . 6) (26 . 9) (27 . 10)) 2842 0.3571 5.5636 ((17 . 3) (18 . 4) (21 . 7) (23 . 9) (25 . 11)) 2867 0.2856 10.2225 ((13 . 3) (18 . 8) (21 . 11) (22 . 13)) 2879 0.2857 5.2768 ((23 . 53) (24 . 54) (25 . 56) (26 . 57)) 2886 0.2857 6.2273 ((23 . 35) (24 . 37) (25 . 38) (26 . 39)) 2929 0.2785 9.5688 ((16 . 37) (17 . 38) (18 . 39) (21 . 41)) 2940 0.2857 6.5585 ((16 . 2) (18 . 5) (20 . 6) (21 . 9)) 2947 0.3571 5.9604 ((18 . 3) (20 . 4) (25 . 12) (26 . 13) (27 . 17)) 2955 0.2857 7.0740 ((13 . 2) (18 . 6) (23 . 9) (25 . 11)) 2966 0.3537 5.7295 ((15 . 1) (16 . 2) (18 . 4) (25 . 16) (26 . 17)) 2990 0.3568 10.9581 ((17 . 8) (18 . 9) (20 . 12) (21 . 13) (27 . 21)) 2999 0.2857 5.6496 ((15 . 2) (17 . 5) (18 . 6) (20 . 7)) 3014 0.2857 8.2616 ((25 . 4) (26 . 5) (27 . 8) (28 . 9)) 3019 0.3571 5.8571 ((13 . 8) (18 . 11) (25 . 19) (26 . 20) (27 . 21)) 3034 0.2857 7.9054 ((17 . 6) (18 . 7) (21 . 8) (22 . 11)) 3041 0.3571 3.8438 ((15 . 9) (18 . 12) (23 . 18) (25 . 22) (26 . 24)) 3055 0.2857 6.1662 ((18 . 3) (20 . 4) (23 . 9) (25 . 13)) 3063 0.2857 5.1995 ((15 . 33) (17 . 34) (23 . 42) (26 . 45)) 3070 0.3513 6.1268 ((13 . 31) (18 . 32) (20 . 33) (21 . 34) (22 . 37)) 3084 0.3567 11.8474 ((17 . 12) (18 . 13) (22 . 16) (23 . 17) (27 . 22)) 3102 0.4282 8.9361 ((16 . 64) (18 . 68) (20 . 69) (24 . 76) (25 . 77) (26 . 80)) 3103 0.2857 7.2740 ((20 . 1) (23 . 5) (26 . 11) (27 . 12)) 3114 0.2857 7.6591 ((23 . 22) (24 . 23) (25 . 24) (26 . 25)) 3120 0.2459 8.5006 ((15 . 22) (16 . 23) (17 . 24) (18 . 25)) 3127 0.2857 7.1377 ((15 . 3) (17 . 7) (18 . 8) (22 . 14)) 3147 0.2857 5.2013 ((18 . 5) (20 . 6) (25 . 16) (26 . 17)) 3176 0.2785 10.0494 ((18 . 27) (20 . 29) (21 . 31) (22 . 32)) 3187 0.2857 4.5501 ((23 . 4) (24 . 5) (25 . 6) (26 . 7)) 3190 0.2857 6.6655 ((18 . 1) (22 . 7) (23 . 9) (25 . 11)) 3197 0.3571 6.6397 ((17 . 20) (18 . 21) (21 . 23) (22 . 25) (23 . 26)) 3200 0.2857 4.0586 ((17 . 8) (18 . 9) (20 . 11) (23 . 16)) 3202 0.2854 14.9082 ((13 . 6) (16 . 7) (24 . 18) (27 . 21)) 3212 0.2857 7.4203 ((18 . 3) (20 . 5) (21 . 7) (22 . 10)) 3222 0.2857 6.6136 ((23 . 1) (25 . 3) (26 . 4) (27 . 5)) 3256 0.2857 7.5293 ((18 . 13) (20 . 16) (25 . 26) (26 . 28)) 3261 0.2857 7.3698 ((20 . 1) (25 . 6) (26 . 7) (27 . 10)) 3286 0.2857 8.9524 ((18 . 4) (20 . 5) (21 . 8) (27 . 15)) 3297 0.2857 8.0646 ((15 . 5) (18 . 8) (20 . 9) (23 . 13)) 3300 0.2856 11.0581 ((25 . 1) (26 . 2) (27 . 3) (28 . 9)) 3322 0.2856 12.1260 ((13 . 2) (15 . 3) (17 . 6) (18 . 7)) 3334 0.2857 5.6871 ((16 . 12) (17 . 13) (18 . 14) (20 . 15)) 3339 0.4285 4.7443 ((17 . 10) (18 . 11) (23 . 19) (25 . 21) (26 . 22) (27 . 23)) 3344 0.0996 8.8828 ((18 . 18) (20 . 20) (24 . 26) (25 . 27)) 3358 0.2857 4.7651 ((17 . 3) (18 . 4) (23 . 12) (26 . 16)) 3362 0.2857 6.3989 ((16 . 7) (18 . 10) (20 . 11) (21 . 13)) 3366 0.2857 8.0635 ((23 . 26) (24 . 27) (25 . 28) (26 . 29)) 3391 0.2857 9.6742 ((17 . 5) (18 . 6) (22 . 12) (27 . 18)) 3410 0.2857 5.4611 ((17 . 20) (21 . 23) (23 . 28) (25 . 30)) 3418 0.1318 8.4231 ((21 . 1) (23 . 2) (25 . 6) (26 . 7)) 3446 0.2857 8.1452 ((13 . 1) (16 . 2) (17 . 4) (22 . 10)) 3472 0.2856 10.5330 ((18 . 1) (23 . 9) (24 . 11) (25 . 12)) 3481 0.2857 4.3056 ((17 . 3) (18 . 4) (20 . 7) (23 . 10)) 3495 0.3570 8.3671 ((18 . 7) (20 . 8) (21 . 9) (26 . 16) (27 . 17)) 3496 0.3570 8.9979 ((17 . 21) (18 . 22) (20 . 23) (21 . 24) (26 . 29)) 3533 0.2855 12.7101 ((20 . 3) (21 . 6) (24 . 10) (25 . 11)) 3537 0.4286 3.2778 ((15 . 2) (17 . 3) (23 . 7) (25 . 9) (26 . 10) (27 . 11)) 3538 1.0000 0.0000 ((13 . 13) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28)) 3548 0.2857 5.5953 ((23 . 6) (25 . 9) (26 . 10) (27 . 11)) 3549 0.2857 9.0338 ((23 . 1) (24 . 2) (25 . 3) (27 . 7)) 3561 0.2857 6.4917 ((17 . 21) (18 . 22) (22 . 27) (23 . 28)) 3570 0.2857 9.2145 ((20 . 1) (21 . 2) (23 . 7) (26 . 10)) 3585 0.2857 6.5925 ((17 . 7) (18 . 8) (23 . 14) (25 . 16)) 3613 0.2856 10.9638 ((13 . 27) (25 . 40) (26 . 41) (28 . 43)) 3625 0.2857 6.6446 ((18 . 1) (20 . 2) (23 . 6) (24 . 7)) 3626 0.3371 5.4019 ((17 . 1) (18 . 2) (20 . 3) (21 . 5) (23 . 11)) 3628 0.3571 6.2884 ((17 . 5) (18 . 6) (22 . 11) (23 . 12) (25 . 14)) 3651 0.2857 8.6353 ((17 . 2) (18 . 3) (23 . 11) (28 . 20)) 3656 0.2857 4.8823 ((17 . 12) (21 . 20) (25 . 22) (26 . 23)) 3658 0.2857 6.8984 ((23 . 5) (25 . 7) (26 . 8) (27 . 9)) 3659 0.2458 12.3760 ((16 . 6) (18 . 9) (20 . 12) (22 . 14)) 3661 0.2857 8.3745 ((20 . 7) (23 . 12) (27 . 18) (28 . 21)) 3663 0.1318 6.9183 ((18 . 1) (20 . 2) (21 . 4) (22 . 6)) 3688 0.2857 8.3660 ((18 . 20) (24 . 29) (25 . 30) (26 . 32)) 3697 0.2972 9.9472 ((17 . 5) (18 . 6) (20 . 7) (21 . 8) (22 . 9)) 3703 0.2857 5.6239 ((18 . 1) (20 . 2) (25 . 7) (26 . 8)) 3732 0.2857 7.6968 ((16 . 8) (17 . 10) (18 . 11) (21 . 13)) 3733 0.2857 8.9362 ((17 . 2) (18 . 3) (22 . 7) (23 . 8)) 3740 0.3570 9.5089 ((20 . 1) (23 . 4) (25 . 6) (26 . 7) (27 . 8)) 3741 0.2857 7.3432 ((20 . 3) (21 . 5) (25 . 14) (26 . 16)) 3776 0.2857 9.2946 ((22 . 16) (23 . 17) (25 . 21) (27 . 25)) 3778 0.2857 4.5003 ((18 . 3) (20 . 4) (25 . 12) (26 . 13)) 3787 0.3571 6.4510 ((17 . 5) (18 . 7) (22 . 11) (23 . 12) (25 . 15)) 3790 0.2857 4.3541 ((18 . 21) (20 . 22) (25 . 30) (26 . 31)) 3807 0.2857 6.4550 ((18 . 43) (20 . 46) (22 . 49) (27 . 52)) 3810 0.2857 6.4451 ((18 . 4) (20 . 6) (23 . 11) (25 . 16)) 3817 0.2857 4.7828 ((15 . 1) (17 . 3) (18 . 5) (23 . 9)) 3818 0.2857 7.3781 ((17 . 21) (18 . 23) (22 . 27) (23 . 28)) 3829 0.2696 6.6061 ((17 . 8) (18 . 9) (20 . 12) (21 . 13)) 3831 0.3571 5.3561 ((18 . 2) (20 . 3) (21 . 4) (23 . 6) (25 . 9)) 3847 0.2857 7.8244 ((20 . 9) (21 . 10) (22 . 11) (23 . 13)) 3849 0.2856 9.7446 ((15 . 2) (17 . 4) (18 . 5) (20 . 8)) 3853 0.2856 9.8466 ((20 . 6) (21 . 7) (26 . 14) (27 . 16)) 3856 0.2857 6.8110 ((23 . 6) (24 . 7) (25 . 9) (26 . 10)) 3870 0.2857 6.6428 ((17 . 4) (18 . 5) (22 . 9) (23 . 10)) 3933 0.2857 8.1544 ((17 . 4) (24 . 15) (25 . 17) (26 . 18)) 3938 0.2459 8.7581 ((16 . 3) (18 . 8) (20 . 9) (21 . 12)) 3942 0.2856 10.7460 ((25 . 2) (26 . 3) (27 . 6) (28 . 8)) 3968 0.2857 4.9923 ((15 . 5) (16 . 7) (17 . 8) (18 . 11)) 3986 0.2857 8.7674 ((18 . 13) (20 . 15) (21 . 19) (26 . 27)) 3990 0.2857 4.2510 ((15 . 16) (17 . 19) (18 . 20) (23 . 26)) 4005 0.2857 6.5457 ((15 . 19) (24 . 38) (25 . 40) (26 . 41)) 4009 0.2857 8.7678 ((16 . 17) (17 . 18) (20 . 22) (22 . 25)) 4019 0.2857 4.9753 ((23 . 39) (24 . 42) (25 . 43) (26 . 44)) 4030 0.2855 12.7606 ((13 . 7) (17 . 10) (21 . 14) (22 . 15)) 4034 0.2857 6.2567 ((17 . 3) (18 . 5) (20 . 6) (25 . 13)) 4037 0.2857 7.8001 ((25 . 2) (26 . 3) (27 . 4) (28 . 6)) 4062 0.2857 7.5386 ((16 . 45) (17 . 47) (18 . 49) (20 . 50)) 4067 0.2857 6.7481 ((17 . 15) (18 . 16) (23 . 24) (25 . 25)) 4082 0.2857 9.1778 ((21 . 3) (23 . 6) (24 . 7) (25 . 8)) 4087 0.2857 7.6515 ((23 . 3) (24 . 5) (25 . 6) (26 . 7)) 4112 0.2856 10.1124 ((23 . 1) (25 . 4) (26 . 6) (27 . 8)) 4115 0.2857 7.0300 ((18 . 8) (20 . 10) (21 . 11) (27 . 14)) 4140 0.2854 14.6287 ((15 . 21) (18 . 23) (21 . 26) (22 . 27)) 4151 0.3157 8.8180 ((16 . 2) (17 . 4) (18 . 5) (23 . 12) (25 . 15)) 4177 0.3157 8.6093 ((18 . 1) (20 . 2) (21 . 4) (22 . 6) (23 . 8)) 4190 0.2786 6.9006 ((18 . 1) (20 . 3) (21 . 6) (22 . 7)) 4192 0.2857 7.6808 ((15 . 10) (17 . 14) (18 . 15) (23 . 22)) 4194 0.2228 5.6627 ((18 . 1) (20 . 3) (21 . 4) (23 . 6)) 4195 0.2855 13.1140 ((16 . 3) (21 . 7) (22 . 8) (27 . 11)) 4204 0.3571 4.8807 ((16 . 1) (17 . 2) (18 . 3) (23 . 11) (26 . 15)) 4209 0.2696 11.3702 ((18 . 1) (20 . 2) (22 . 6) (24 . 10)) 4210 0.2228 9.3861 ((21 . 1) (23 . 5) (26 . 8) (27 . 9)) 4216 0.2855 13.6308 ((21 . 9) (22 . 10) (27 . 15) (28 . 16)) 4226 0.2857 6.0315 ((20 . 11) (22 . 15) (25 . 18) (26 . 19)) 4232 0.2857 7.9690 ((18 . 1) (20 . 2) (23 . 6) (26 . 8)) 4242 0.2458 11.9794 ((16 . 3) (17 . 4) (21 . 8) (22 . 10)) 4246 0.2857 7.1651 ((15 . 3) (18 . 7) (20 . 8) (21 . 10)) 4254 0.2856 10.2005 ((20 . 4) (21 . 5) (26 . 15) (27 . 16)) 4255 0.2857 7.3830 ((13 . 20) (16 . 22) (17 . 25) (18 . 26)) 4257 0.2857 5.3933 ((20 . 1) (21 . 2) (25 . 9) (26 . 10)) 4265 0.2857 7.2133 ((18 . 20) (20 . 23) (21 . 25) (27 . 31)) 4266 0.3570 8.4101 ((17 . 3) (18 . 4) (22 . 7) (23 . 8) (25 . 12)) 4274 0.2857 6.9030 ((15 . 36) (17 . 39) (18 . 40) (20 . 41)) 4275 0.2856 9.9343 ((16 . 24) (17 . 26) (20 . 28) (21 . 29)) 4281 0.2857 3.8666 ((18 . 3) (20 . 4) (23 . 8) (25 . 10)) 4284 0.2857 7.0128 ((23 . 3) (25 . 5) (26 . 6) (27 . 7)) 4299 0.3571 4.7835 ((17 . 5) (18 . 6) (21 . 8) (23 . 11) (25 . 14)) 4301 0.2857 4.7105 ((23 . 2) (24 . 3) (25 . 4) (26 . 6)) 4326 0.2857 5.7342 ((17 . 6) (18 . 7) (22 . 14) (23 . 15)) 4332 0.2857 8.2027 ((21 . 1) (23 . 4) (25 . 6) (27 . 8)) 4338 0.2857 6.8329 ((16 . 5) (18 . 7) (20 . 8) (21 . 9)) 4352 0.2855 12.5480 ((13 . 1) (20 . 9) (21 . 12) (27 . 16)) 4359 0.2857 5.3371 ((18 . 6) (23 . 13) (25 . 15) (26 . 16)) 4380 0.2857 6.7588 ((20 . 4) (21 . 6) (25 . 15) (26 . 17)) 4383 0.2857 4.1821 ((23 . 16) (24 . 17) (25 . 18) (26 . 19)) 4386 0.2856 11.4661 ((22 . 15) (23 . 16) (26 . 18) (27 . 20)) 4388 0.2857 5.4231 ((18 . 5) (20 . 6) (23 . 10) (25 . 12)) 4398 0.2857 5.7471 ((17 . 2) (18 . 4) (22 . 9) (23 . 12)) 4405 0.2857 5.4111 ((23 . 14) (25 . 18) (26 . 19) (27 . 20)) 4408 0.2857 5.1275 ((18 . 3) (20 . 4) (25 . 13) (26 . 14)) 4415 0.2857 9.3377 ((22 . 2) (23 . 3) (26 . 9) (27 . 10)) 4419 0.1895 10.8347 ((21 . 1) (23 . 3) (25 . 7) (28 . 11)) 4470 0.3571 7.7461 ((15 . 1) (17 . 4) (18 . 5) (23 . 12) (25 . 14)) 4491 0.2696 9.7042 ((20 . 5) (21 . 4) (22 . 7) (23 . 8)) 4492 0.3571 6.4048 ((16 . 9) (17 . 10) (18 . 11) (23 . 21) (25 . 23)) 4495 0.2857 6.1305 ((13 . 1) (23 . 14) (25 . 16) (28 . 19)) 4497 0.4283 8.4174 ((20 . 18) (21 . 20) (23 . 23) (24 . 24) (25 . 25) (26 . 26)) 4502 0.3549 6.8325 ((15 . 1) (16 . 2) (17 . 3) (23 . 11) (25 . 14)) 4503 0.2696 10.3257 ((21 . 2) (23 . 5) (24 . 7) (26 . 10)) 4504 0.3570 8.8315 ((16 . 10) (17 . 12) (18 . 13) (22 . 18) (24 . 21)) 4505 0.2459 7.5448 ((18 . 25) (20 . 26) (21 . 27) (25 . 34)) 4516 0.2857 5.1859 ((17 . 27) (18 . 28) (20 . 30) (21 . 31)) 4538 0.2857 8.4029 ((16 . 27) (17 . 29) (20 . 32) (23 . 38)) 4551 0.2857 8.9807 ((15 . 4) (18 . 8) (23 . 17) (24 . 18)) 4560 0.3571 4.9035 ((17 . 5) (18 . 6) (23 . 11) (25 . 14) (26 . 16)) 4561 0.3570 9.2927 ((17 . 4) (18 . 5) (22 . 11) (24 . 15) (25 . 16)) 4562 0.2857 6.8312 ((17 . 21) (18 . 22) (22 . 26) (23 . 29)) 4563 0.2857 6.9788 ((18 . 26) (22 . 30) (23 . 31) (25 . 34)) 4577 0.3571 7.8844 ((15 . 34) (18 . 37) (20 . 39) (23 . 43) (26 . 48)) 4579 0.2820 11.1894 ((17 . 16) (20 . 18) (21 . 21) (27 . 26)) 4588 0.2857 7.6810 ((23 . 3) (25 . 7) (26 . 8) (28 . 12)) 4589 0.3548 8.7062 ((17 . 17) (18 . 18) (20 . 19) (21 . 21) (26 . 29)) 4607 0.2856 10.8616 ((21 . 2) (22 . 5) (27 . 13) (28 . 16)) 4621 0.1895 7.2794 ((17 . 1) (18 . 3) (20 . 4) (21 . 5)) 4630 0.2857 5.8605 ((20 . 22) (23 . 29) (25 . 33) (27 . 37)) 4648 0.2786 6.8620 ((17 . 3) (18 . 5) (20 . 8) (21 . 7)) 4653 0.3570 8.7455 ((20 . 1) (21 . 2) (23 . 6) (25 . 8) (26 . 9)) 4668 0.2857 8.4955 ((18 . 1) (22 . 8) (23 . 9) (25 . 11)) 4669 0.2857 6.9211 ((17 . 16) (18 . 17) (22 . 20) (23 . 21)) 4671 0.2857 5.7852 ((18 . 1) (20 . 2) (21 . 3) (25 . 8)) 4674 0.3157 10.2767 ((18 . 1) (20 . 2) (21 . 4) (22 . 5) (23 . 8)) 4678 0.2857 8.9377 ((13 . 1) (16 . 5) (23 . 14) (24 . 15)) 4713 0.2227 10.4345 ((21 . 1) (23 . 5) (25 . 8) (27 . 11)) 4715 0.2856 10.8061 ((21 . 1) (22 . 2) (25 . 6) (27 . 10)) 4731 0.2856 9.8328 ((16 . 13) (17 . 16) (23 . 23) (24 . 24)) 4764 0.2857 9.3402 ((16 . 5) (17 . 6) (21 . 9) (22 . 10)) 4783 0.2784 12.0811 ((16 . 1) (17 . 2) (21 . 3) (27 . 9)) 4857 0.3570 8.2211 ((17 . 4) (18 . 5) (23 . 11) (25 . 13) (27 . 15)) 4886 0.2857 8.0159 ((21 . 7) (22 . 8) (23 . 9) (25 . 11)) 4888 0.2857 8.7296 ((21 . 11) (24 . 12) (25 . 16) (26 . 17)) 4889 0.2857 6.9159 ((15 . 7) (17 . 9) (18 . 11) (20 . 12)) 4907 0.2821 9.2594 ((16 . 2) (18 . 4) (20 . 8) (22 . 10)) 4914 0.2857 6.0795 ((18 . 1) (20 . 4) (25 . 11) (26 . 12)) 4921 0.2856 10.6537 ((18 . 7) (20 . 8) (23 . 12) (24 . 14)) 4929 0.2857 5.7595 ((23 . 28) (24 . 29) (25 . 31) (26 . 32)) 4932 0.2857 7.5577 ((23 . 1) (24 . 2) (25 . 4) (26 . 5)) 4940 0.2857 4.8211 ((20 . 1) (23 . 6) (24 . 7) (25 . 8)) 4944 0.2857 9.0069 ((21 . 10) (25 . 13) (26 . 14) (27 . 17)) 4961 0.3513 5.3465 ((15 . 1) (17 . 4) (18 . 6) (22 . 11) (23 . 12)) 4978 0.2857 6.3004 ((17 . 27) (18 . 28) (21 . 31) (22 . 33)) 4982 0.2857 7.2717 ((18 . 1) (20 . 3) (21 . 5) (28 . 15)) 4992 0.2857 6.9792 ((18 . 1) (20 . 2) (23 . 6) (26 . 9)) 4998 0.2857 5.2907 ((16 . 7) (20 . 15) (23 . 19) (27 . 24)) 5016 0.2696 11.3680 ((16 . 1) (17 . 2) (21 . 5) (27 . 9)) 5029 0.2856 10.5503 ((13 . 3) (15 . 6) (17 . 9) (18 . 10)) 5036 0.2857 6.5185 ((23 . 4) (24 . 5) (25 . 6) (26 . 7)) 5038 0.2857 7.1844 ((23 . 12) (24 . 14) (25 . 15) (26 . 16)) 5039 0.2857 3.6647 ((15 . 41) (17 . 43) (18 . 44) (20 . 45)) 5044 0.2696 9.2926 ((15 . 2) (17 . 4) (18 . 8) (20 . 9)) 5046 0.2857 8.2862 ((20 . 1) (23 . 7) (24 . 8) (25 . 10)) 5053 0.2857 7.8675 ((18 . 5) (20 . 6) (21 . 7) (22 . 8)) 5065 0.2857 6.5522 ((16 . 1) (17 . 5) (18 . 7) (20 . 8)) 5068 0.2857 7.4616 ((18 . 10) (23 . 17) (25 . 20) (28 . 25)) 5069 0.3571 4.6635 ((17 . 1) (18 . 2) (20 . 5) (23 . 9) (25 . 15)) 5073 0.3571 6.5678 ((17 . 31) (18 . 32) (22 . 38) (23 . 39) (25 . 42)) 5080 0.2820 12.3342 ((20 . 2) (21 . 5) (22 . 6) (27 . 11)) 5092 0.2819 13.3498 ((16 . 4) (17 . 5) (27 . 15) (28 . 16)) 5101 0.2857 5.5863 ((18 . 1) (22 . 6) (23 . 7) (25 . 10)) 5103 0.2856 9.8006 ((18 . 2) (22 . 7) (23 . 9) (27 . 12)) 5121 0.2857 4.5379 ((17 . 14) (18 . 16) (20 . 18) (22 . 22)) 5132 0.2857 7.7252 ((15 . 18) (17 . 21) (18 . 22) (23 . 26)) 5134 0.2857 5.5502 ((16 . 1) (17 . 5) (18 . 6) (27 . 18)) 5145 0.2857 7.1671 ((21 . 2) (22 . 4) (23 . 5) (25 . 8)) 5167 0.3571 5.4430 ((17 . 2) (18 . 3) (20 . 4) (21 . 6) (23 . 9)) 5176 0.2857 8.1086 ((18 . 82) (20 . 84) (21 . 85) (23 . 88)) 5183 0.2857 7.2932 ((23 . 35) (24 . 36) (25 . 37) (26 . 38)) 5192 0.2856 9.9081 ((13 . 4) (24 . 20) (26 . 21) (27 . 23)) 5198 0.2857 7.2145 ((15 . 19) (20 . 24) (21 . 25) (23 . 30)) 5199 0.2857 8.4704 ((17 . 1) (20 . 4) (22 . 6) (23 . 7)) 5209 0.2857 6.6382 ((20 . 3) (23 . 7) (25 . 9) (26 . 10)) 5212 0.2857 9.4386 ((13 . 9) (16 . 12) (17 . 14) (22 . 17)) 5215 0.3571 6.7936 ((15 . 11) (16 . 13) (17 . 14) (18 . 15) (20 . 16)) 5223 0.3548 9.3454 ((18 . 1) (21 . 4) (22 . 5) (23 . 6) (27 . 13)) 5231 0.2857 6.1411 ((23 . 8) (25 . 13) (26 . 14) (27 . 17)) 5266 0.3571 4.6255 ((17 . 1) (18 . 2) (23 . 10) (25 . 13) (26 . 15)) 5278 0.2857 6.2035 ((23 . 5) (24 . 6) (25 . 7) (26 . 8)) 5307 0.2857 7.5202 ((23 . 51) (25 . 55) (26 . 57) (27 . 59)) 5312 0.2856 11.2867 ((18 . 1) (20 . 2) (23 . 5) (24 . 7)) 5318 0.2856 11.7659 ((13 . 12) (16 . 13) (17 . 14) (26 . 24)) 5323 0.2785 11.5477 ((16 . 2) (17 . 3) (22 . 9) (27 . 16)) 5324 0.4250 4.5822 ((17 . 6) (18 . 7) (23 . 14) (25 . 15) (26 . 16) (27 . 17)) 5344 0.2857 8.2214 ((24 . 2) (25 . 3) (26 . 4) (27 . 5)) 5345 0.2857 8.2287 ((15 . 3) (18 . 8) (23 . 17) (24 . 18)) 5368 0.2857 5.8403 ((20 . 37) (23 . 41) (25 . 45) (26 . 46)) 5378 0.2857 7.0367 ((18 . 3) (20 . 4) (21 . 5) (27 . 13)) 5411 0.1473 11.4547 ((17 . 1) (20 . 3) (21 . 5) (27 . 9)) 5414 0.2857 5.3234 ((18 . 15) (20 . 16) (21 . 17) (23 . 22)) 5418 0.2857 6.2212 ((18 . 2) (20 . 3) (21 . 4) (23 . 9)) 5433 0.1895 10.0091 ((15 . 10) (18 . 18) (21 . 24) (22 . 25)) 5442 0.2857 7.3721 ((16 . 31) (17 . 32) (21 . 35) (22 . 36)) 5479 0.2857 7.9928 ((18 . 50) (24 . 60) (25 . 61) (26 . 62)) 5487 0.1473 9.9189 ((23 . 4) (25 . 7) (27 . 10) (28 . 12)) 5489 0.3571 7.1867 ((18 . 2) (20 . 5) (23 . 9) (25 . 13) (26 . 14)) 5500 0.2857 5.4435 ((18 . 1) (22 . 10) (23 . 12) (25 . 14)) 5501 0.2972 6.8313 ((16 . 21) (17 . 22) (18 . 24) (20 . 25) (28 . 27)) 5525 0.2855 13.2371 ((21 . 2) (22 . 3) (27 . 10) (28 . 11)) 5535 0.2856 11.8840 ((20 . 2) (21 . 5) (26 . 12) (27 . 13)) 5540 0.2857 6.0359 ((17 . 2) (18 . 3) (20 . 4) (21 . 5)) 5557 0.2857 9.6847 ((23 . 3) (24 . 4) (26 . 6) (27 . 8)) 5560 0.2857 6.3776 ((17 . 3) (18 . 4) (22 . 8) (23 . 9)) 5562 0.3569 10.2924 ((17 . 9) (18 . 11) (22 . 15) (23 . 17) (27 . 21)) 5567 0.2857 7.6250 ((18 . 8) (22 . 14) (23 . 15) (26 . 18)) 5594 0.2857 4.4484 ((18 . 1) (20 . 3) (23 . 6) (25 . 9)) 5600 0.2696 9.7707 ((17 . 4) (18 . 6) (20 . 9) (22 . 12)) 5601 0.3571 4.9809 ((17 . 4) (18 . 5) (23 . 12) (25 . 15) (26 . 16)) 5638 0.2857 7.1174 ((18 . 7) (20 . 8) (22 . 12) (23 . 13)) 5640 0.2857 4.8867 ((18 . 14) (20 . 16) (25 . 24) (26 . 25)) 5644 0.2785 7.6951 ((15 . 4) (16 . 5) (18 . 10) (20 . 12)) 5648 0.2856 11.8022 ((16 . 2) (17 . 4) (21 . 6) (22 . 7)) 5656 0.3571 7.6749 ((15 . 1) (17 . 4) (18 . 5) (23 . 14) (25 . 16)) 5689 0.2855 12.7676 ((13 . 1) (16 . 2) (17 . 4) (28 . 16)) 5700 0.2857 7.7986 ((18 . 2) (20 . 3) (23 . 6) (25 . 9)) 5701 0.3571 7.2794 ((17 . 3) (18 . 4) (20 . 5) (23 . 8) (25 . 11)) 5702 0.2695 13.0806 ((17 . 1) (22 . 7) (27 . 12) (28 . 13)) 5703 0.2856 9.8077 ((20 . 1) (21 . 3) (25 . 7) (26 . 8)) 5704 0.2856 12.0166 ((16 . 1) (21 . 5) (27 . 9) (28 . 10)) 5711 0.2857 5.8760 ((18 . 25) (20 . 27) (25 . 32) (26 . 33)) 5713 0.2857 4.3991 ((18 . 2) (20 . 3) (23 . 10) (25 . 13)) 5718 0.2857 7.7577 ((21 . 15) (23 . 21) (25 . 24) (26 . 25)) 5731 0.3158 6.4452 ((18 . 2) (20 . 3) (21 . 6) (25 . 11) (26 . 13)) 5746 0.2857 4.7251 ((17 . 1) (18 . 2) (20 . 3) (23 . 10)) 5749 0.2857 7.6529 ((23 . 3) (25 . 5) (26 . 6) (27 . 8)) 5761 0.2857 5.9208 ((23 . 28) (24 . 30) (25 . 31) (26 . 32)) 5770 0.2857 5.8708 ((20 . 1) (23 . 6) (25 . 9) (26 . 12)) 5771 0.2857 8.6455 ((18 . 1) (23 . 9) (25 . 13) (26 . 14)) 5782 0.3156 10.8697 ((15 . 24) (16 . 28) (17 . 31) (21 . 33) (24 . 39)) 5789 0.2227 11.6806 ((17 . 1) (21 . 3) (22 . 4) (23 . 5)) 5794 0.3571 5.8785 ((18 . 15) (20 . 16) (23 . 19) (25 . 23) (26 . 24)) 5795 0.2857 7.3182 ((18 . 6) (20 . 9) (23 . 13) (25 . 16)) 5809 0.2857 6.1476 ((22 . 10) (23 . 12) (25 . 14) (26 . 15)) 5822 0.2857 7.9309 ((15 . 2) (17 . 5) (18 . 6) (20 . 8)) 5827 0.2857 5.9824 ((23 . 2) (25 . 4) (26 . 5) (27 . 6)) 5830 0.2857 8.0407 ((20 . 2) (21 . 5) (23 . 8) (28 . 16)) 5847 0.2857 5.6819 ((18 . 8) (20 . 9) (25 . 18) (26 . 20)) 5861 0.2857 6.1882 ((20 . 6) (23 . 12) (25 . 15) (26 . 16)) 5865 0.2857 9.0377 ((24 . 1) (25 . 2) (26 . 5) (27 . 6)) 5878 0.2786 7.2517 ((16 . 23) (17 . 24) (18 . 25) (20 . 29)) 5888 0.2857 6.3949 ((18 . 10) (20 . 11) (25 . 20) (26 . 21)) 5896 0.2785 9.1210 ((17 . 27) (20 . 28) (21 . 30) (22 . 32)) 5904 0.3370 8.4208 ((16 . 2) (17 . 3) (18 . 4) (22 . 8) (25 . 11)) 5913 0.2857 6.2062 ((13 . 4) (23 . 17) (25 . 20) (26 . 22)) 5922 0.2857 8.0777 ((23 . 5) (24 . 6) (25 . 8) (26 . 9)) 5930 0.2857 6.1544 ((17 . 3) (18 . 4) (21 . 6) (23 . 11)) 5939 0.2857 6.0455 ((17 . 1) (18 . 2) (22 . 5) (23 . 6)) 5945 0.3568 10.8483 ((15 . 19) (18 . 23) (25 . 32) (26 . 33) (27 . 34)) 5949 0.2857 5.8845 ((18 . 1) (21 . 3) (23 . 9) (25 . 12)) 5955 0.2857 6.8145 ((18 . 7) (23 . 14) (25 . 17) (27 . 19)) 5967 0.1895 8.5106 ((23 . 1) (24 . 3) (25 . 7) (27 . 10)) 5977 0.2857 6.6059 ((22 . 2) (23 . 3) (25 . 5) (26 . 6)) 6000 0.2857 7.0722 ((18 . 9) (22 . 16) (23 . 17) (25 . 21)) 6011 0.2857 7.0461 ((18 . 5) (20 . 8) (24 . 15) (25 . 16)) 6022 0.2857 7.7746 ((20 . 1) (23 . 4) (25 . 7) (26 . 8)) 6028 0.2856 10.5008 ((23 . 1) (24 . 2) (25 . 3) (27 . 8)) 6029 0.2857 6.7619 ((15 . 1) (16 . 2) (25 . 17) (26 . 18)) 6033 0.2458 14.3410 ((17 . 2) (21 . 5) (22 . 6) (27 . 10)) 6041 0.3571 6.3550 ((13 . 4) (17 . 9) (18 . 10) (20 . 11) (21 . 14)) 6046 0.3473 5.2188 ((17 . 1) (18 . 2) (23 . 3) (25 . 5) (26 . 6) (27 . 7)) 6061 0.2857 6.6391 ((15 . 15) (17 . 18) (18 . 20) (20 . 21)) 6074 0.2857 8.4908 ((18 . 2) (22 . 7) (23 . 8) (25 . 11)) 6075 0.2820 12.3280 ((16 . 22) (17 . 23) (20 . 28) (21 . 29)) 6079 0.3466 8.3325 ((17 . 2) (18 . 6) (20 . 7) (21 . 10) (28 . 18)) 6087 0.2857 5.2344 ((18 . 3) (22 . 7) (23 . 8) (25 . 10)) 6089 0.2855 13.6161 ((22 . 19) (25 . 23) (26 . 24) (27 . 25)) 6094 0.3571 7.2549 ((18 . 2) (20 . 3) (23 . 10) (25 . 12) (26 . 14)) 6099 0.4283 8.2865 ((16 . 1) (18 . 5) (20 . 6) (23 . 10) (25 . 13) (26 . 14)) 6142 0.3571 5.1785 ((18 . 10) (20 . 11) (23 . 14) (25 . 19) (26 . 20)) 6148 0.2857 9.6843 ((15 . 32) (17 . 35) (18 . 36) (20 . 37)) 6167 0.2857 7.7010 ((20 . 1) (23 . 9) (25 . 12) (28 . 22)) 6169 0.2848 19.0240 ((13 . 3) (17 . 8) (22 . 11) (27 . 16)) 6173 0.2857 6.6400 ((18 . 4) (20 . 5) (23 . 12) (25 . 15)) 6191 0.2857 6.7045 ((13 . 1) (17 . 7) (18 . 9) (20 . 10)) 6192 0.2857 6.8560 ((15 . 3) (17 . 4) (18 . 5) (20 . 10)) 6215 0.1622 10.8641 ((20 . 19) (21 . 22) (22 . 23) (23 . 24)) 6225 0.2856 10.3095 ((15 . 8) (17 . 11) (18 . 12) (20 . 13)) 6228 0.2857 4.4361 ((15 . 7) (18 . 11) (20 . 12) (23 . 19)) 6234 0.2785 7.4359 ((17 . 8) (18 . 9) (20 . 10) (21 . 14)) 6238 0.3570 8.9575 ((15 . 5) (16 . 6) (18 . 8) (20 . 9) (21 . 10)) 6243 0.2856 10.6035 ((17 . 1) (18 . 2) (20 . 3) (27 . 13)) 6251 0.2856 11.7037 ((20 . 10) (21 . 11) (26 . 19) (27 . 20)) 6258 0.2857 5.7405 ((16 . 2) (17 . 5) (18 . 7) (23 . 12)) 6261 0.2857 7.5205 ((17 . 2) (18 . 3) (22 . 10) (23 . 11)) 6266 0.2857 8.0081 ((17 . 4) (18 . 5) (22 . 9) (27 . 13)) 6270 0.2857 6.5734 ((13 . 14) (16 . 16) (17 . 19) (18 . 20)) 6271 0.2857 6.2248 ((23 . 8) (25 . 10) (26 . 11) (27 . 13)) 6273 0.2821 8.5740 ((16 . 5) (18 . 6) (20 . 7) (23 . 13)) 6294 0.2857 9.4131 ((18 . 2) (22 . 7) (23 . 9) (26 . 14)) 6306 0.2857 5.4160 ((18 . 15) (20 . 17) (21 . 18) (23 . 21)) 6309 0.2857 7.5841 ((22 . 16) (23 . 17) (24 . 18) (25 . 20)) 6311 0.2857 8.1138 ((18 . 4) (20 . 5) (23 . 11) (26 . 14)) 6326 0.2857 6.3679 ((20 . 1) (23 . 4) (25 . 6) (26 . 7)) 6329 0.1895 16.6069 ((16 . 6) (17 . 7) (22 . 12) (27 . 17)) 6338 0.2857 5.5839 ((23 . 1) (24 . 2) (25 . 4) (26 . 5)) 6344 0.2857 3.5956 ((17 . 2) (18 . 3) (20 . 4) (21 . 5)) 6345 0.2857 7.2755 ((25 . 6) (26 . 7) (27 . 8) (28 . 9)) 6348 0.2857 6.1618 ((17 . 3) (18 . 4) (22 . 8) (23 . 9)) 6355 0.2856 11.4040 ((15 . 4) (18 . 9) (21 . 13) (23 . 15)) 6356 0.3157 9.1120 ((17 . 3) (18 . 9) (22 . 10) (23 . 11) (27 . 14)) 6369 0.3571 7.2125 ((15 . 20) (17 . 23) (18 . 24) (22 . 28) (23 . 29)) 6376 0.2854 13.9906 ((13 . 16) (15 . 17) (17 . 20) (22 . 29)) 6391 0.2785 8.9180 ((16 . 1) (17 . 2) (25 . 10) (26 . 12)) 6392 0.2857 5.5492 ((17 . 2) (18 . 3) (22 . 8) (23 . 9)) 6399 0.2857 4.2537 ((18 . 19) (20 . 20) (25 . 30) (26 . 31)) 6403 0.2857 6.3285 ((23 . 12) (25 . 14) (26 . 15) (27 . 16)) 6434 0.2857 5.1154 ((16 . 1) (18 . 5) (21 . 7) (22 . 8)) 6461 0.2855 13.1596 ((13 . 1) (17 . 5) (20 . 6) (21 . 7)) 6462 0.4285 6.4785 ((15 . 10) (18 . 12) (23 . 20) (25 . 22) (26 . 24) (27 . 25)) 6498 0.2856 10.5387 ((20 . 3) (21 . 5) (24 . 10) (28 . 15)) 6506 0.2227 13.6622 ((17 . 20) (21 . 23) (27 . 28) (28 . 29)) 6520 0.2857 5.8881 ((20 . 6) (25 . 14) (26 . 15) (27 . 18)) 6536 0.2785 11.5078 ((16 . 23) (17 . 24) (21 . 27) (28 . 33)) 6539 0.2459 9.1598 ((13 . 1) (16 . 3) (20 . 8) (21 . 9)) 6540 0.2857 6.1351 ((23 . 17) (24 . 18) (25 . 19) (26 . 20)) 6548 0.2857 6.3552 ((16 . 8) (18 . 12) (20 . 13) (21 . 15)) 6553 0.2857 7.5472 ((18 . 11) (22 . 19) (25 . 22) (26 . 24)) 6555 0.2857 6.6372 ((20 . 13) (23 . 19) (25 . 22) (26 . 23)) 6561 0.7141 3.8053 ((15 . 3) (16 . 4) (17 . 5) (18 . 9) (20 . 10) (21 . 11) (23 . 12) (25 . 13) (26 . 15) (27 . 16)) 6573 0.1895 8.0821 ((21 . 16) (23 . 19) (25 . 21) (26 . 22)) 6575 0.2459 6.9968 ((18 . 1) (20 . 2) (21 . 3) (22 . 6)) 6578 0.2857 6.4392 ((23 . 32) (24 . 34) (25 . 37) (26 . 38)) 6584 0.2857 8.4451 ((16 . 4) (18 . 8) (20 . 9) (21 . 10)) 6585 0.3570 8.6103 ((15 . 1) (17 . 3) (20 . 6) (21 . 7) (26 . 13)) 6586 0.2857 6.5660 ((13 . 16) (18 . 18) (22 . 19) (23 . 24)) 6587 0.2857 7.3082 ((21 . 27) (23 . 29) (25 . 33) (26 . 34)) 6598 0.2857 5.8489 ((18 . 3) (20 . 4) (25 . 10) (26 . 11)) 6605 0.2459 9.0136 ((13 . 1) (16 . 3) (17 . 4) (21 . 7)) 6613 0.3566 12.5483 ((13 . 15) (18 . 22) (22 . 25) (23 . 27) (25 . 31)) 6622 0.2856 10.0232 ((16 . 1) (21 . 5) (22 . 6) (27 . 12)) 6635 0.2785 11.5157 ((20 . 1) (21 . 3) (22 . 6) (27 . 10)) END