3197 25 0.1290 8.7436 ((17 . 1) (20 . 2) (23 . 5) (26 . 7)) 41 0.2235 5.4966 ((20 . 2) (21 . 3) (22 . 4) (24 . 5) (25 . 6) (26 . 7) (27 . 8)) 51 0.1290 6.8257 ((19 . 1) (21 . 6) (26 . 10) (28 . 13)) 62 0.1290 3.9042 ((10 . 10) (12 . 13) (13 . 15) (14 . 16)) 64 0.1280 8.2276 ((14 . 2) (16 . 4) (28 . 13) (30 . 16)) 77 0.1613 13.6227 ((21 . 8) (22 . 10) (23 . 12) (26 . 15) (29 . 17)) 91 0.2609 6.9967 ((3 . 27) (7 . 32) (13 . 48) (19 . 19) (20 . 20) (21 . 21) (25 . 22) (26 . 28) (27 . 14) (28 . 31)) 96 0.2106 3.3097 ((19 . 1) (20 . 2) (21 . 3) (25 . 4) (26 . 5) (28 . 6) (29 . 7)) 129 0.1290 7.6562 ((21 . 2) (24 . 5) (26 . 9) (28 . 11)) 136 0.1613 7.6837 ((19 . 3) (20 . 4) (21 . 5) (24 . 8) (25 . 9)) 147 0.1290 10.4278 ((15 . 2) (20 . 5) (22 . 8) (23 . 9)) 150 0.1613 3.0674 ((10 . 20) (11 . 21) (12 . 23) (13 . 24) (14 . 25)) 153 0.1318 9.8672 ((10 . 1) (12 . 4) (16 . 5) (19 . 7) (26 . 8) (28 . 9)) 155 0.1280 9.9662 ((20 . 1) (24 . 3) (27 . 5) (30 . 8)) 157 0.1935 3.4491 ((21 . 1) (22 . 2) (24 . 3) (25 . 4) (26 . 5) (27 . 6)) 161 0.1290 6.5215 ((19 . 2) (21 . 6) (22 . 7) (24 . 9)) 162 0.1290 6.8532 ((21 . 12) (23 . 16) (28 . 18) (29 . 19)) 169 0.1290 6.2990 ((19 . 1) (21 . 4) (24 . 7) (26 . 9)) 177 0.1290 6.2260 ((19 . 1) (21 . 4) (26 . 8) (27 . 9)) 191 0.1290 9.4069 ((19 . 2) (21 . 4) (26 . 7) (28 . 9)) 198 0.1290 7.6651 ((10 . 8) (12 . 10) (14 . 13) (16 . 17)) 207 0.1613 6.9355 ((7 . 11) (10 . 13) (11 . 14) (12 . 15) (14 . 18)) 233 0.1290 6.2147 ((10 . 1) (12 . 3) (14 . 5) (16 . 8)) 259 0.1289 13.3433 ((4 . 1) (5 . 2) (6 . 3) (7 . 5)) 293 0.1290 11.8359 ((20 . 2) (22 . 3) (23 . 4) (29 . 6)) 300 0.1290 4.9977 ((11 . 5) (12 . 7) (16 . 10) (17 . 11)) 305 0.1290 4.9670 ((10 . 9) (11 . 10) (12 . 11) (13 . 13)) 307 0.2258 3.1792 ((19 . 1) (20 . 2) (21 . 3) (25 . 6) (26 . 7) (27 . 8) (28 . 9)) 315 0.1290 6.4019 ((10 . 3) (12 . 6) (13 . 7) (16 . 9)) 317 0.1521 8.4532 ((22 . 2) (25 . 4) (27 . 6) (29 . 7) (30 . 9)) 329 0.1280 8.2763 ((22 . 1) (26 . 5) (27 . 7) (30 . 9)) 350 0.1290 6.0365 ((19 . 11) (21 . 13) (25 . 14) (26 . 15)) 351 0.1290 8.3439 ((7 . 4) (11 . 6) (13 . 8) (17 . 10)) 360 0.1550 7.1694 ((19 . 5) (21 . 6) (24 . 7) (26 . 10) (28 . 12)) 361 0.1290 5.7155 ((4 . 5) (5 . 6) (10 . 11) (11 . 13)) 365 0.1290 8.0810 ((10 . 1) (12 . 3) (14 . 6) (15 . 7)) 367 0.1290 7.2993 ((7 . 39) (10 . 42) (12 . 44) (14 . 47)) 387 0.1290 7.6652 ((19 . 1) (22 . 6) (26 . 10) (28 . 12)) 405 0.1290 9.4974 ((9 . 31) (10 . 32) (12 . 35) (16 . 40)) 417 0.1240 8.6128 ((19 . 2) (21 . 5) (22 . 6) (24 . 7)) 420 0.1290 7.1674 ((21 . 3) (24 . 5) (26 . 8) (28 . 10)) 433 0.1290 6.0394 ((19 . 5) (21 . 7) (22 . 8) (24 . 9)) 442 0.1613 7.2068 ((22 . 11) (24 . 12) (25 . 13) (26 . 14) (29 . 15)) 460 0.1290 8.1144 ((19 . 1) (21 . 3) (22 . 4) (25 . 9)) 472 0.1290 4.7157 ((20 . 29) (21 . 31) (22 . 33) (25 . 34)) 491 0.1290 8.9555 ((21 . 1) (22 . 2) (23 . 5) (24 . 6)) 495 0.1613 6.8802 ((22 . 2) (25 . 4) (26 . 5) (27 . 6) (28 . 7)) 541 0.2578 6.8647 ((7 . 6) (19 . 7) (20 . 9) (21 . 11) (25 . 13) (26 . 14) (28 . 17) (29 . 22)) 543 0.1290 6.7988 ((17 . 3) (20 . 7) (21 . 8) (26 . 15)) 553 0.1290 12.8521 ((5 . 7) (11 . 14) (13 . 15) (15 . 20)) 561 0.1290 9.1111 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 584 0.1602 10.2682 ((9 . 8) (12 . 10) (13 . 12) (14 . 13) (32 . 32)) 587 0.1240 11.0458 ((12 . 2) (14 . 4) (16 . 7) (22 . 12)) 609 0.1613 2.4578 ((19 . 1) (20 . 2) (21 . 3) (24 . 6) (28 . 8)) 619 0.1929 8.1356 ((7 . 3) (10 . 6) (12 . 12) (13 . 14) (14 . 15) (15 . 17) (16 . 18)) 624 0.1933 6.7052 ((10 . 7) (12 . 9) (13 . 10) (15 . 12) (16 . 13) (28 . 22)) 635 0.1613 7.3560 ((22 . 2) (24 . 3) (25 . 4) (26 . 5) (29 . 7)) 672 0.1290 7.0906 ((11 . 2) (24 . 16) (25 . 17) (26 . 18)) 678 0.2903 4.4487 ((19 . 22) (20 . 23) (21 . 24) (22 . 25) (24 . 26) (25 . 28) (26 . 29) (27 . 33) (28 . 34)) 719 0.1290 7.2103 ((21 . 22) (24 . 27) (25 . 29) (28 . 30)) 729 0.1935 3.8793 ((11 . 6) (12 . 7) (14 . 9) (15 . 12) (16 . 13) (17 . 14)) 735 0.1290 7.4345 ((19 . 29) (21 . 32) (24 . 36) (26 . 39)) 740 0.1287 8.2286 ((11 . 1) (12 . 3) (14 . 6) (16 . 9)) 765 0.1290 7.2253 ((19 . 7) (21 . 12) (24 . 17) (26 . 20)) 767 0.2419 3.9319 ((19 . 1) (20 . 2) (21 . 3) (24 . 8) (26 . 12) (27 . 27) (28 . 29) (29 . 33)) 782 0.1290 7.2051 ((11 . 2) (17 . 7) (22 . 12) (23 . 13)) 792 0.1595 8.3231 ((4 . 5) (11 . 13) (22 . 16) (23 . 17) (30 . 21)) 795 0.1613 3.0655 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5)) 796 0.1290 6.4939 ((10 . 3) (11 . 4) (12 . 5) (14 . 6)) 812 0.1935 4.1424 ((10 . 9) (11 . 10) (12 . 11) (13 . 12) (14 . 16) (15 . 17)) 818 0.1654 5.2543 ((10 . 4) (12 . 7) (14 . 8) (15 . 9) (16 . 10) (28 . 16)) 819 0.1287 10.9107 ((22 . 1) (24 . 3) (25 . 4) (28 . 5)) 824 0.1268 14.6280 ((8 . 43) (9 . 45) (14 . 50) (16 . 53)) 834 0.1935 7.6733 ((15 . 35) (17 . 36) (20 . 39) (22 . 42) (23 . 43) (30 . 44)) 861 0.1290 6.8863 ((11 . 11) (12 . 12) (13 . 14) (14 . 15)) 901 0.1935 4.2256 ((19 . 12) (22 . 14) (24 . 15) (25 . 16) (26 . 17) (28 . 20)) 904 0.1290 4.5452 ((11 . 1) (12 . 3) (13 . 5) (14 . 6)) 913 0.1290 9.7326 ((12 . 16) (14 . 17) (15 . 18) (16 . 20)) 928 0.2258 4.5260 ((20 . 9) (21 . 10) (24 . 12) (25 . 13) (26 . 14) (27 . 15) (28 . 16)) 937 0.1290 8.1887 ((21 . 1) (22 . 2) (23 . 3) (24 . 5)) 943 0.3106 7.6106 ((7 . 3) (10 . 4) (11 . 5) (12 . 6) (13 . 7) (14 . 8) (16 . 9) (17 . 10) (20 . 13) (26 . 14) (28 . 15)) 945 0.2903 4.6307 ((10 . 12) (11 . 13) (12 . 14) (14 . 17) (15 . 18) (16 . 19) (17 . 21) (20 . 23) (30 . 24)) 949 0.1290 7.9632 ((12 . 30) (14 . 32) (15 . 33) (17 . 35)) 960 0.1613 6.2966 ((1 . 19) (3 . 20) (19 . 35) (22 . 39) (27 . 41)) 978 0.1935 6.3314 ((4 . 9) (10 . 13) (11 . 15) (12 . 16) (13 . 18) (14 . 19)) 980 0.2258 5.7729 ((21 . 1) (24 . 3) (25 . 4) (26 . 5) (27 . 6) (28 . 7) (29 . 8)) 1007 0.1290 6.4562 ((7 . 1) (13 . 6) (14 . 7) (16 . 9)) 1008 0.1290 7.0160 ((21 . 5) (23 . 11) (26 . 13) (28 . 16)) 1034 0.1860 5.5189 ((19 . 20) (21 . 21) (24 . 22) (25 . 27) (26 . 29) (28 . 32)) 1043 0.2258 4.6480 ((19 . 1) (20 . 5) (21 . 6) (22 . 7) (25 . 9) (26 . 10) (27 . 16)) 1082 0.1613 4.9739 ((11 . 11) (12 . 12) (15 . 14) (16 . 16) (17 . 17)) 1084 0.1613 6.6706 ((20 . 6) (21 . 10) (23 . 15) (26 . 17) (28 . 18)) 1124 0.1290 10.4325 ((20 . 10) (22 . 11) (23 . 13) (25 . 15)) 1165 0.1613 4.2474 ((19 . 7) (20 . 9) (21 . 10) (22 . 11) (24 . 12)) 1167 0.1613 8.6506 ((19 . 20) (21 . 22) (22 . 24) (26 . 27) (29 . 28)) 1169 0.1290 17.4383 ((8 . 29) (9 . 30) (12 . 34) (14 . 37)) 1195 0.1290 10.6116 ((11 . 1) (12 . 2) (13 . 3) (16 . 5)) 1201 0.2505 3.7875 ((19 . 1) (20 . 2) (21 . 3) (24 . 14) (26 . 18) (27 . 19) (28 . 32) (29 . 33)) 1204 0.1935 4.2868 ((21 . 1) (22 . 2) (24 . 3) (25 . 4) (26 . 5) (27 . 6)) 1211 0.1290 7.6862 ((24 . 5) (25 . 6) (27 . 7) (28 . 8)) 1217 0.1290 5.6768 ((10 . 3) (12 . 7) (14 . 11) (16 . 12)) 1224 0.1654 8.3481 ((11 . 2) (16 . 5) (19 . 10) (23 . 12) (26 . 14) (28 . 15)) 1233 0.2882 3.7393 ((19 . 11) (20 . 13) (21 . 14) (22 . 16) (24 . 17) (25 . 19) (26 . 20) (27 . 21) (28 . 22)) 1267 0.2948 5.4976 ((1 . 2) (3 . 5) (12 . 9) (16 . 12) (19 . 13) (20 . 14) (21 . 15) (22 . 16) (24 . 17) (25 . 18) (26 . 19) (27 . 20) (28 . 21) (29 . 41)) 1268 0.1290 9.6667 ((15 . 2) (16 . 3) (20 . 8) (29 . 17)) 1294 0.1477 6.9093 ((19 . 39) (21 . 40) (24 . 44) (26 . 46) (28 . 47)) 1345 0.2256 9.0969 ((11 . 1) (19 . 7) (20 . 8) (21 . 9) (22 . 10) (24 . 12) (26 . 14)) 1366 0.1290 6.0108 ((21 . 12) (22 . 13) (24 . 14) (26 . 16)) 1388 0.1290 9.5279 ((20 . 3) (21 . 4) (23 . 7) (27 . 11)) 1395 0.1240 13.0367 ((11 . 1) (15 . 3) (17 . 4) (20 . 5)) 1415 0.1290 12.3517 ((11 . 1) (13 . 3) (15 . 5) (17 . 6)) 1425 0.1290 6.0171 ((21 . 4) (22 . 7) (24 . 8) (26 . 11)) 1435 0.1290 6.9079 ((4 . 7) (21 . 31) (22 . 32) (24 . 33)) 1447 0.2903 4.0784 ((19 . 1) (20 . 2) (21 . 3) (22 . 4) (24 . 5) (25 . 6) (26 . 7) (27 . 8) (28 . 9)) 1451 0.1290 6.1846 ((21 . 1) (22 . 2) (24 . 3) (26 . 5)) 1464 0.1287 8.5933 ((19 . 7) (21 . 10) (22 . 12) (26 . 14)) 1470 0.1613 9.0251 ((4 . 6) (5 . 7) (6 . 9) (15 . 10) (17 . 12)) 1472 0.1290 11.6920 ((7 . 1) (11 . 3) (14 . 7) (17 . 10)) 1476 0.2849 4.4923 ((19 . 9) (20 . 10) (21 . 11) (23 . 13) (24 . 14) (25 . 16) (26 . 18) (27 . 19) (28 . 20)) 1481 0.1305 8.7835 ((11 . 3) (12 . 4) (14 . 5) (15 . 8) (17 . 9)) 1497 0.1860 9.4220 ((5 . 2) (7 . 10) (13 . 11) (20 . 21) (23 . 22) (30 . 27)) 1501 0.1280 9.2337 ((12 . 5) (14 . 7) (16 . 9) (17 . 10)) 1513 0.1935 8.0033 ((4 . 4) (7 . 9) (10 . 13) (12 . 15) (13 . 16) (14 . 18)) 1514 0.1290 7.9635 ((23 . 2) (26 . 4) (27 . 5) (28 . 6)) 1577 0.1613 13.6239 ((7 . 2) (9 . 3) (10 . 5) (14 . 10) (30 . 25)) 1591 0.2258 5.1457 ((4 . 10) (10 . 19) (11 . 20) (12 . 1) (13 . 3) (14 . 4) (16 . 16)) 1595 0.1290 13.6447 ((4 . 3) (5 . 4) (6 . 6) (7 . 9)) 1604 0.1935 3.7843 ((20 . 6) (21 . 7) (24 . 10) (25 . 11) (26 . 12) (27 . 13)) 1622 0.1613 4.2863 ((10 . 18) (11 . 19) (12 . 20) (13 . 21) (14 . 22)) 1624 0.1290 12.6067 ((21 . 4) (24 . 8) (25 . 10) (27 . 11)) 1643 0.1612 8.9014 ((9 . 23) (10 . 25) (14 . 31) (19 . 36) (24 . 40)) 1644 0.1290 6.0468 ((10 . 46) (12 . 47) (14 . 50) (16 . 52)) 1665 0.1935 7.5742 ((8 . 3) (10 . 6) (11 . 7) (12 . 8) (13 . 9) (14 . 10)) 1690 0.2798 7.0195 ((19 . 1) (21 . 8) (22 . 9) (24 . 11) (25 . 12) (26 . 13) (27 . 15) (28 . 21) (29 . 27)) 1692 0.1290 8.9506 ((21 . 1) (22 . 2) (23 . 4) (24 . 5)) 1731 0.2258 3.7867 ((19 . 3) (20 . 5) (21 . 6) (25 . 7) (26 . 8) (27 . 11) (28 . 12)) 1736 0.1613 3.2569 ((10 . 7) (11 . 9) (12 . 10) (13 . 11) (14 . 12)) 1738 0.1613 4.9186 ((7 . 5) (12 . 9) (13 . 10) (14 . 11) (15 . 15)) 1747 0.1654 9.8811 ((4 . 1) (10 . 12) (12 . 18) (21 . 33) (24 . 34) (30 . 49)) 1756 0.1290 8.2311 ((10 . 23) (12 . 26) (14 . 29) (16 . 31)) 1759 0.1290 6.4310 ((21 . 4) (24 . 6) (26 . 9) (28 . 11)) 1761 0.2987 7.4041 ((10 . 7) (11 . 8) (12 . 9) (13 . 10) (14 . 11) (15 . 12) (17 . 14) (20 . 18) (26 . 19) (28 . 20)) 1763 0.1290 9.4839 ((20 . 8) (21 . 9) (23 . 11) (26 . 13)) 1776 0.2902 5.3217 ((10 . 1) (11 . 6) (12 . 7) (13 . 8) (14 . 9) (15 . 10) (16 . 12) (17 . 22) (29 . 25)) 1777 0.1290 4.8854 ((21 . 31) (24 . 34) (26 . 37) (28 . 43)) 1778 0.1613 4.6876 ((10 . 1) (12 . 3) (14 . 5) (15 . 6) (16 . 8)) 1793 0.1935 4.6322 ((19 . 3) (21 . 4) (22 . 5) (24 . 6) (25 . 7) (26 . 8)) 1796 0.1268 7.8634 ((6 . 1) (7 . 2) (11 . 6) (13 . 7)) 1805 0.1290 6.1739 ((14 . 2) (16 . 4) (17 . 5) (30 . 18)) 1808 0.1290 4.8255 ((11 . 1) (12 . 2) (15 . 7) (16 . 8)) 1817 0.1290 12.0399 ((8 . 15) (9 . 16) (10 . 18) (12 . 20)) 1867 0.1935 3.5408 ((19 . 1) (20 . 2) (21 . 3) (26 . 6) (28 . 7) (29 . 8)) 1894 0.1290 8.6163 ((16 . 5) (17 . 6) (21 . 11) (28 . 18)) 1896 0.3162 4.4797 ((3 . 2) (19 . 3) (20 . 4) (21 . 5) (22 . 21) (24 . 22) (26 . 27) (27 . 28) (28 . 51) (29 . 52)) 1897 0.1290 6.7690 ((7 . 38) (8 . 39) (9 . 40) (10 . 41)) 1908 0.1935 6.6858 ((10 . 7) (12 . 10) (13 . 14) (14 . 15) (15 . 16) (20 . 19)) 1909 0.1935 5.1591 ((21 . 25) (22 . 26) (24 . 29) (25 . 30) (26 . 31) (27 . 32)) 1913 0.1613 6.3639 ((19 . 19) (21 . 22) (24 . 26) (26 . 28) (28 . 30)) 1944 0.1935 5.6867 ((7 . 2) (11 . 6) (12 . 7) (15 . 8) (16 . 9) (17 . 12)) 1957 0.2258 4.3353 ((20 . 10) (21 . 11) (24 . 13) (25 . 14) (26 . 15) (27 . 16) (28 . 17)) 1961 0.1290 5.4129 ((10 . 14) (12 . 16) (13 . 18) (14 . 19)) 1967 0.1860 7.2787 ((19 . 1) (20 . 4) (22 . 8) (24 . 14) (25 . 15) (26 . 16)) 1972 0.2258 3.5165 ((19 . 16) (20 . 17) (21 . 18) (24 . 20) (26 . 24) (27 . 25) (28 . 27)) 1987 0.1290 11.8936 ((20 . 8) (22 . 10) (23 . 11) (25 . 12)) 1992 0.1613 9.4082 ((11 . 5) (13 . 8) (14 . 9) (15 . 10) (16 . 12)) 1995 0.1290 6.8399 ((19 . 3) (21 . 7) (24 . 11) (26 . 13)) 2003 0.1290 6.5321 ((20 . 2) (21 . 4) (26 . 10) (28 . 12)) 2006 0.1290 5.4805 ((21 . 8) (24 . 10) (26 . 12) (28 . 14)) 2045 0.1290 9.8720 ((6 . 5) (26 . 29) (27 . 30) (28 . 31)) 2048 0.1935 3.7256 ((19 . 4) (20 . 5) (21 . 6) (25 . 12) (26 . 13) (27 . 14)) 2054 0.1290 10.1128 ((19 . 1) (23 . 9) (25 . 11) (30 . 16)) 2063 0.1290 4.8217 ((10 . 42) (12 . 44) (13 . 46) (14 . 47)) 2065 0.1290 7.7007 ((22 . 15) (24 . 19) (26 . 22) (28 . 25)) 2067 0.1611 6.2210 ((13 . 47) (16 . 50) (22 . 56) (24 . 59) (28 . 63)) 2072 0.1613 9.3163 ((21 . 2) (22 . 3) (24 . 5) (26 . 7) (27 . 8)) 2081 0.1290 4.5936 ((19 . 12) (22 . 15) (25 . 18) (26 . 19)) 2083 0.1613 4.1121 ((10 . 2) (11 . 3) (12 . 4) (13 . 6) (14 . 7)) 2097 0.1290 8.3495 ((17 . 2) (19 . 3) (21 . 6) (30 . 19)) 2114 0.1290 4.7640 ((11 . 30) (12 . 32) (16 . 36) (17 . 37)) 2116 0.1290 7.1240 ((19 . 5) (21 . 7) (24 . 10) (26 . 12)) 2117 0.1613 4.5920 ((12 . 6) (13 . 8) (14 . 9) (15 . 13) (23 . 24)) 2118 0.1613 7.0627 ((19 . 5) (20 . 6) (21 . 7) (22 . 8) (23 . 9)) 2122 0.2581 4.0347 ((10 . 1) (11 . 5) (12 . 6) (13 . 7) (14 . 8) (15 . 9) (16 . 10) (17 . 21)) 2166 0.1563 8.6361 ((5 . 1) (6 . 2) (7 . 5) (9 . 7) (13 . 22)) 2179 0.1935 5.3282 ((7 . 3) (10 . 9) (12 . 10) (15 . 12) (16 . 13) (17 . 16)) 2196 0.1290 6.1843 ((21 . 10) (24 . 14) (26 . 16) (28 . 18)) 2203 0.1290 6.7403 ((12 . 1) (13 . 3) (14 . 5) (16 . 6)) 2205 0.1290 5.7806 ((19 . 16) (21 . 18) (24 . 22) (26 . 26)) 2209 0.1613 3.4569 ((10 . 3) (11 . 4) (12 . 5) (16 . 7) (17 . 8)) 2233 0.1195 10.8345 ((20 . 1) (22 . 2) (25 . 7) (30 . 9)) 2243 0.1290 8.9519 ((11 . 48) (19 . 55) (26 . 67) (27 . 68)) 2244 0.1290 6.4777 ((21 . 70) (24 . 74) (26 . 76) (28 . 78)) 2248 0.1613 4.9258 ((11 . 20) (12 . 22) (13 . 23) (15 . 26) (16 . 27)) 2249 0.2258 7.8805 ((7 . 3) (10 . 4) (12 . 7) (13 . 9) (14 . 11) (16 . 12) (27 . 19)) 2269 0.1935 5.2169 ((21 . 8) (22 . 9) (24 . 10) (25 . 11) (26 . 12) (27 . 13)) 2279 0.1563 10.9117 ((10 . 3) (11 . 6) (19 . 8) (25 . 14) (27 . 15)) 2295 0.1290 11.3662 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 2298 0.1935 4.0403 ((20 . 5) (21 . 6) (22 . 7) (24 . 10) (25 . 11) (26 . 12)) 2308 0.1935 5.0372 ((21 . 6) (22 . 7) (24 . 8) (25 . 10) (26 . 11) (27 . 12)) 2314 0.1290 9.9862 ((13 . 1) (19 . 7) (20 . 9) (24 . 11)) 2340 0.1774 3.6158 ((19 . 9) (20 . 10) (21 . 11) (25 . 12) (26 . 13) (28 . 14) (29 . 15)) 2342 0.1290 7.3836 ((4 . 5) (20 . 16) (22 . 18) (23 . 19)) 2344 0.1613 5.9909 ((19 . 3) (21 . 6) (26 . 10) (28 . 13) (30 . 16)) 2364 0.2903 6.1450 ((7 . 6) (10 . 7) (11 . 8) (12 . 9) (13 . 10) (14 . 12) (16 . 15) (17 . 16) (28 . 20)) 2381 0.1290 5.6147 ((11 . 2) (12 . 3) (14 . 5) (17 . 8)) 2389 0.1595 7.7638 ((11 . 2) (24 . 4) (26 . 8) (28 . 9) (30 . 12)) 2393 0.1290 18.0249 ((10 . 1) (11 . 2) (24 . 15) (30 . 19)) 2408 0.1290 7.2912 ((19 . 39) (21 . 41) (24 . 45) (26 . 47)) 2409 0.1290 7.5741 ((21 . 2) (24 . 4) (26 . 6) (28 . 8)) 2410 0.0926 9.5123 ((23 . 12) (26 . 13) (27 . 15) (28 . 16)) 2422 0.1930 4.4607 ((10 . 1) (11 . 2) (12 . 4) (14 . 8) (16 . 9) (17 . 10)) 2423 0.1290 9.0088 ((15 . 18) (16 . 19) (20 . 23) (21 . 25)) 2440 0.1613 7.8660 ((7 . 5) (10 . 7) (12 . 9) (13 . 10) (19 . 17)) 2443 0.1290 19.7220 ((15 . 2) (20 . 5) (22 . 7) (25 . 8)) 2447 0.2257 5.7053 ((4 . 9) (5 . 12) (10 . 18) (12 . 21) (13 . 22) (14 . 24) (15 . 26)) 2462 0.1290 5.5569 ((19 . 3) (20 . 5) (21 . 6) (28 . 12)) 2465 0.1290 11.5414 ((11 . 1) (13 . 3) (15 . 5) (17 . 6)) 2510 0.3225 5.3562 ((19 . 1) (20 . 2) (21 . 3) (22 . 4) (24 . 5) (25 . 6) (26 . 7) (27 . 8) (28 . 9) (29 . 30)) 2519 0.1290 10.4458 ((21 . 2) (22 . 3) (23 . 4) (27 . 6)) 2525 0.1612 7.3733 ((21 . 41) (22 . 42) (26 . 45) (27 . 46) (28 . 47)) 2529 0.2036 3.5778 ((19 . 1) (20 . 2) (21 . 3) (25 . 4) (26 . 5) (28 . 6) (29 . 7)) 2533 0.2581 5.2105 ((7 . 2) (10 . 4) (11 . 5) (12 . 6) (13 . 7) (14 . 8) (16 . 9) (17 . 11)) 2544 0.1290 13.6619 ((13 . 18) (15 . 19) (16 . 22) (17 . 24)) 2551 0.1290 6.8574 ((22 . 6) (23 . 7) (25 . 10) (26 . 11)) 2552 0.1935 3.9404 ((19 . 1) (20 . 2) (21 . 3) (25 . 4) (26 . 5) (27 . 6)) 2556 0.1935 3.0528 ((10 . 11) (11 . 12) (12 . 13) (14 . 16) (16 . 18) (17 . 21)) 2557 0.1290 7.2900 ((11 . 1) (12 . 3) (13 . 4) (16 . 7)) 2561 0.1290 7.5998 ((13 . 2) (15 . 4) (19 . 7) (21 . 9)) 2591 0.1279 13.4632 ((11 . 36) (15 . 37) (17 . 39) (20 . 42)) 2595 0.1935 3.9112 ((10 . 1) (11 . 2) (12 . 4) (15 . 5) (16 . 6) (17 . 7)) 2619 0.1895 4.1162 ((19 . 1) (21 . 2) (24 . 3) (25 . 4) (26 . 5) (27 . 6) (28 . 7)) 2627 0.1611 7.2517 ((7 . 53) (11 . 54) (13 . 56) (19 . 60) (20 . 61)) 2634 0.1290 9.4366 ((20 . 2) (22 . 3) (23 . 5) (29 . 9)) 2650 0.1290 7.3770 ((19 . 2) (20 . 4) (21 . 5) (24 . 7)) 2658 0.1290 8.5898 ((22 . 6) (23 . 8) (27 . 11) (28 . 12)) 2675 0.1290 7.8714 ((6 . 2) (11 . 9) (12 . 10) (14 . 12)) 2682 0.2581 3.9514 ((19 . 1) (20 . 2) (21 . 3) (22 . 4) (25 . 16) (26 . 17) (27 . 18) (28 . 19)) 2696 0.1290 6.6105 ((10 . 31) (12 . 32) (14 . 34) (16 . 36)) 2703 0.1289 12.3889 ((5 . 1) (6 . 2) (7 . 3) (11 . 6)) 2731 0.1290 11.3038 ((10 . 1) (13 . 3) (14 . 5) (15 . 6)) 2733 0.1378 8.8493 ((12 . 1) (13 . 5) (15 . 9) (20 . 12) (29 . 13)) 2753 0.1290 14.0643 ((7 . 1) (13 . 5) (15 . 6) (22 . 11)) 2755 0.1935 5.2987 ((20 . 2) (21 . 3) (22 . 4) (24 . 5) (26 . 6) (28 . 8)) 2773 0.1290 7.5805 ((19 . 3) (20 . 4) (21 . 5) (27 . 8)) 2783 0.1613 7.9697 ((11 . 4) (12 . 6) (14 . 8) (15 . 9) (16 . 12)) 2804 0.1290 11.5262 ((5 . 26) (6 . 28) (10 . 34) (11 . 35)) 2821 0.2183 4.0803 ((19 . 1) (21 . 2) (24 . 3) (25 . 10) (26 . 11) (27 . 12) (28 . 13)) 2830 0.2576 4.3515 ((19 . 1) (20 . 2) (21 . 3) (25 . 4) (26 . 5) (27 . 6) (28 . 7) (29 . 21)) 2834 0.1935 10.1774 ((21 . 1) (22 . 2) (24 . 6) (25 . 7) (26 . 8) (29 . 10)) 2840 0.1290 6.8912 ((12 . 1) (15 . 3) (16 . 5) (17 . 7)) 2842 0.1613 5.4226 ((4 . 3) (10 . 9) (12 . 11) (13 . 12) (15 . 13)) 2867 0.1289 12.8244 ((4 . 1) (5 . 3) (7 . 5) (14 . 12)) 2879 0.1290 5.6208 ((10 . 53) (11 . 55) (12 . 56) (14 . 58)) 2886 0.1290 8.4379 ((10 . 34) (12 . 37) (14 . 39) (16 . 43)) 2929 0.1280 7.3008 ((26 . 36) (27 . 38) (28 . 39) (30 . 41)) 2940 0.1757 5.8158 ((19 . 1) (20 . 2) (21 . 3) (26 . 4) (28 . 5) (29 . 9)) 2947 0.1290 5.7578 ((19 . 4) (20 . 5) (21 . 6) (28 . 13)) 2950 0.1290 11.4003 ((20 . 7) (22 . 10) (23 . 11) (25 . 12)) 2955 0.1290 5.9726 ((15 . 2) (16 . 3) (26 . 9) (28 . 10)) 2966 0.1612 4.7267 ((15 . 2) (16 . 3) (17 . 5) (20 . 7) (29 . 18)) 2990 0.1532 6.1375 ((21 . 12) (22 . 13) (24 . 16) (25 . 17) (30 . 21)) 2999 0.1613 4.1993 ((19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 6)) 3014 0.1290 8.8777 ((1 . 5) (3 . 6) (6 . 10) (24 . 25)) 3019 0.1477 6.3147 ((4 . 15) (10 . 20) (11 . 21) (12 . 22) (16 . 25)) 3034 0.1935 4.1296 ((21 . 1) (22 . 4) (24 . 5) (25 . 6) (26 . 7) (28 . 9)) 3041 0.2731 5.6340 ((1 . 9) (19 . 16) (20 . 17) (21 . 18) (24 . 24) (25 . 10) (26 . 12) (27 . 13) (28 . 14)) 3055 0.1290 6.3558 ((21 . 8) (24 . 12) (26 . 15) (28 . 16)) 3063 0.1290 7.5295 ((19 . 35) (21 . 38) (24 . 41) (28 . 45)) 3070 0.1550 7.5000 ((25 . 31) (26 . 33) (27 . 34) (28 . 36) (30 . 37)) 3084 0.2258 4.2617 ((20 . 12) (21 . 13) (22 . 14) (24 . 15) (25 . 16) (26 . 17) (27 . 18)) 3102 0.1290 8.1487 ((11 . 64) (19 . 71) (21 . 74) (26 . 80)) 3103 0.1581 10.6099 ((19 . 1) (21 . 3) (22 . 6) (28 . 11) (29 . 12)) 3114 0.1290 10.2946 ((21 . 23) (24 . 25) (25 . 27) (26 . 29)) 3120 0.1290 9.6428 ((20 . 20) (21 . 21) (23 . 23) (25 . 24)) 3127 0.3226 4.2135 ((19 . 2) (20 . 5) (21 . 6) (22 . 7) (24 . 8) (25 . 9) (26 . 11) (27 . 12) (28 . 13) (29 . 16)) 3147 0.1477 7.2115 ((10 . 7) (12 . 8) (19 . 21) (26 . 24) (28 . 25)) 3176 0.1290 11.4658 ((24 . 26) (26 . 29) (29 . 31) (34 . 34)) 3187 0.1613 8.1191 ((19 . 2) (21 . 4) (27 . 8) (28 . 9) (29 . 10)) 3190 0.1935 2.7610 ((12 . 1) (13 . 2) (14 . 3) (15 . 4) (16 . 6) (17 . 7)) 3197 1.0000 0.0000 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (29 . 29) (30 . 30) (32 . 32) (33 . 33) (34 . 34)) 3200 0.1290 3.8985 ((13 . 12) (14 . 13) (15 . 14) (16 . 15)) 3202 0.1595 11.2229 ((11 . 3) (13 . 4) (20 . 7) (29 . 12) (30 . 14)) 3212 0.1290 7.6349 ((10 . 3) (12 . 5) (13 . 7) (14 . 9)) 3222 0.1290 7.3396 ((12 . 16) (13 . 17) (14 . 18) (16 . 19)) 3256 0.1290 6.0060 ((21 . 19) (24 . 24) (26 . 26) (27 . 27)) 3261 0.1290 9.7843 ((24 . 7) (26 . 9) (27 . 10) (29 . 11)) 3286 0.1613 7.4327 ((19 . 3) (21 . 5) (24 . 7) (25 . 8) (30 . 12)) 3289 0.1290 14.6524 ((8 . 25) (9 . 27) (10 . 29) (12 . 31)) 3297 0.1290 6.9135 ((19 . 7) (21 . 8) (26 . 11) (28 . 13)) 3300 0.1290 7.1255 ((21 . 1) (23 . 3) (27 . 9) (29 . 10)) 3310 0.1279 17.4984 ((15 . 2) (20 . 5) (22 . 6) (29 . 11)) 3322 0.2574 2.5210 ((10 . 1) (11 . 2) (12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7) (17 . 8)) 3334 0.1613 9.7802 ((12 . 5) (15 . 9) (16 . 10) (17 . 11) (21 . 14)) 3339 0.1613 2.1838 ((10 . 11) (12 . 15) (15 . 16) (16 . 17) (17 . 18)) 3344 0.1290 8.4960 ((10 . 21) (12 . 22) (14 . 24) (16 . 27)) 3358 0.2459 6.8667 ((7 . 3) (10 . 4) (12 . 7) (14 . 8) (15 . 9) (16 . 10) (26 . 12) (28 . 16)) 3362 0.2609 4.6889 ((3 . 3) (19 . 4) (20 . 5) (21 . 6) (22 . 7) (24 . 8) (25 . 9) (26 . 10) (28 . 11) (29 . 12)) 3366 0.1290 8.6207 ((10 . 24) (11 . 25) (19 . 32) (20 . 33)) 3391 0.2170 7.3802 ((6 . 1) (7 . 7) (10 . 10) (12 . 13) (15 . 16) (16 . 17) (20 . 18)) 3410 0.2576 4.7323 ((19 . 19) (20 . 20) (21 . 21) (24 . 24) (25 . 27) (26 . 28) (27 . 29) (28 . 30)) 3415 0.1268 10.5932 ((23 . 19) (27 . 21) (29 . 22) (30 . 23)) 3418 0.1290 10.4900 ((11 . 1) (12 . 2) (13 . 3) (16 . 6)) 3446 0.1290 11.4265 ((20 . 4) (22 . 8) (23 . 9) (25 . 10)) 3470 0.1477 8.8377 ((6 . 9) (7 . 10) (11 . 13) (13 . 14) (20 . 18)) 3472 0.1290 5.0742 ((19 . 4) (21 . 5) (24 . 8) (26 . 11)) 3481 0.2515 3.4063 ((19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 8) (26 . 10) (27 . 11) (28 . 12)) 3489 0.1290 6.4495 ((19 . 1) (21 . 3) (26 . 10) (28 . 12)) 3495 0.1290 7.8808 ((16 . 1) (20 . 5) (21 . 7) (23 . 9)) 3496 0.1290 9.7775 ((10 . 18) (15 . 21) (16 . 22) (22 . 27)) 3533 0.1290 6.9311 ((12 . 3) (14 . 5) (15 . 6) (16 . 7)) 3537 0.1613 5.4565 ((19 . 2) (20 . 3) (24 . 7) (25 . 8) (26 . 9)) 3538 0.1613 6.6397 ((20 . 17) (21 . 18) (23 . 21) (25 . 22) (26 . 23)) 3548 0.1290 6.3472 ((10 . 3) (12 . 5) (13 . 7) (14 . 8)) 3549 0.1290 11.5412 ((24 . 1) (26 . 2) (29 . 4) (30 . 7)) 3561 0.1935 1.7482 ((19 . 20) (20 . 21) (21 . 22) (25 . 25) (26 . 26) (28 . 28)) 3570 0.1613 6.0477 ((21 . 1) (22 . 2) (24 . 3) (28 . 8) (29 . 9)) 3585 0.1613 5.1076 ((19 . 8) (24 . 14) (25 . 15) (26 . 16) (27 . 17)) 3613 0.1424 7.7528 ((5 . 27) (17 . 31) (20 . 39) (23 . 42) (30 . 45)) 3625 0.1240 9.4473 ((21 . 1) (24 . 3) (26 . 6) (28 . 7)) 3626 0.1290 6.7418 ((10 . 2) (11 . 5) (12 . 6) (16 . 11)) 3628 0.2459 5.5627 ((7 . 5) (10 . 6) (11 . 7) (12 . 8) (14 . 9) (16 . 10) (17 . 11) (28 . 14)) 3651 0.1935 4.2718 ((19 . 1) (21 . 3) (22 . 4) (24 . 5) (25 . 7) (26 . 8)) 3658 0.1613 6.5027 ((10 . 6) (12 . 8) (13 . 9) (22 . 16) (24 . 18)) 3659 0.1290 6.6601 ((20 . 3) (21 . 5) (24 . 8) (30 . 14)) 3661 0.1290 9.0821 ((17 . 3) (24 . 12) (25 . 13) (29 . 17)) 3663 0.1290 5.9767 ((10 . 1) (11 . 4) (12 . 5) (13 . 6)) 3688 0.1290 7.6576 ((1 . 17) (8 . 26) (9 . 27) (21 . 39)) 3697 0.1290 6.4343 ((12 . 3) (19 . 7) (20 . 8) (21 . 10)) 3703 0.1613 10.1438 ((19 . 2) (21 . 4) (22 . 5) (24 . 6) (26 . 8)) 3732 0.2411 3.7716 ((19 . 5) (20 . 6) (21 . 7) (22 . 8) (24 . 9) (25 . 10) (26 . 11) (28 . 12) (29 . 13)) 3733 0.2258 1.9286 ((19 . 1) (20 . 2) (21 . 3) (25 . 4) (26 . 6) (27 . 7) (28 . 8)) 3740 0.1290 7.9479 ((12 . 1) (14 . 3) (16 . 5) (20 . 8)) 3741 0.1613 10.3176 ((7 . 5) (12 . 13) (14 . 16) (26 . 28) (27 . 33)) 3776 0.1988 4.0617 ((19 . 15) (20 . 16) (21 . 17) (25 . 18) (26 . 21) (27 . 23) (28 . 24)) 3778 0.1954 7.9142 ((10 . 3) (12 . 4) (13 . 5) (14 . 7) (22 . 17) (23 . 20) (27 . 23)) 3787 0.2580 8.0025 ((17 . 25) (19 . 27) (20 . 28) (21 . 29) (24 . 31) (26 . 33) (27 . 34) (28 . 35)) 3790 0.1654 5.9716 ((10 . 3) (12 . 4) (14 . 5) (16 . 13) (20 . 17) (28 . 22)) 3807 0.1290 6.1208 ((10 . 43) (12 . 47) (15 . 49) (16 . 50)) 3817 0.1935 4.8842 ((20 . 3) (21 . 5) (22 . 6) (24 . 7) (25 . 8) (26 . 9)) 3818 0.1613 5.1316 ((20 . 21) (21 . 23) (22 . 24) (25 . 27) (26 . 28)) 3829 0.1290 10.1820 ((11 . 3) (13 . 4) (17 . 10) (19 . 12)) 3831 0.1290 6.0459 ((21 . 6) (22 . 7) (24 . 9) (25 . 11)) 3847 0.1290 10.7872 ((20 . 10) (21 . 13) (23 . 15) (24 . 16)) 3849 0.1289 9.8472 ((26 . 1) (28 . 3) (29 . 4) (30 . 7)) 3853 0.1934 7.8308 ((7 . 4) (12 . 8) (13 . 9) (15 . 11) (16 . 12) (17 . 13)) 3856 0.1290 3.3670 ((19 . 3) (25 . 4) (26 . 6) (28 . 9)) 3870 0.1935 4.3210 ((10 . 3) (11 . 4) (12 . 5) (15 . 7) (16 . 8) (17 . 9)) 3933 0.1290 7.9211 ((7 . 4) (10 . 6) (12 . 10) (14 . 13)) 3938 0.1612 8.2335 ((21 . 4) (22 . 5) (24 . 9) (27 . 12) (29 . 16)) 3942 0.1290 7.7652 ((21 . 2) (23 . 6) (25 . 8) (26 . 9)) 3968 0.1935 3.4861 ((10 . 3) (11 . 4) (12 . 5) (15 . 8) (16 . 9) (17 . 10)) 3986 0.1290 9.9069 ((13 . 20) (14 . 21) (16 . 26) (21 . 30)) 3990 0.1609 5.8193 ((7 . 17) (10 . 18) (11 . 19) (12 . 20) (14 . 22)) 4005 0.1613 11.0428 ((10 . 14) (16 . 21) (20 . 28) (21 . 29) (26 . 37)) 4009 0.1757 6.7798 ((7 . 10) (10 . 15) (11 . 16) (15 . 18) (16 . 19) (20 . 25)) 4011 0.1290 13.2820 ((20 . 1) (22 . 2) (23 . 4) (25 . 5)) 4019 0.1613 7.4652 ((6 . 41) (10 . 46) (12 . 50) (14 . 51) (15 . 52)) 4030 0.1290 10.8841 ((17 . 4) (22 . 8) (23 . 9) (29 . 12)) 4034 0.1290 5.3548 ((22 . 7) (23 . 8) (24 . 9) (30 . 14)) 4037 0.1290 8.0824 ((19 . 1) (21 . 3) (22 . 4) (27 . 7)) 4062 0.1654 8.7805 ((15 . 33) (17 . 39) (22 . 44) (23 . 45) (25 . 47) (28 . 50)) 4067 0.2580 3.8896 ((11 . 12) (19 . 14) (20 . 15) (21 . 16) (22 . 17) (25 . 19) (26 . 20) (28 . 22)) 4077 0.1290 9.7038 ((22 . 5) (23 . 6) (25 . 7) (27 . 8)) 4082 0.1290 9.2990 ((22 . 3) (24 . 5) (26 . 7) (27 . 9)) 4087 0.1290 8.5878 ((7 . 2) (12 . 6) (14 . 8) (17 . 9)) 4112 0.1280 7.0146 ((19 . 2) (21 . 4) (22 . 7) (23 . 8)) 4115 0.2855 4.5455 ((19 . 1) (20 . 2) (23 . 4) (24 . 5) (25 . 7) (26 . 8) (27 . 9) (28 . 10) (29 . 11)) 4134 0.1477 8.8497 ((6 . 23) (7 . 25) (11 . 28) (20 . 32) (22 . 33)) 4140 0.1290 7.5977 ((10 . 21) (12 . 23) (13 . 25) (17 . 27)) 4151 0.2258 6.3146 ((4 . 4) (10 . 12) (11 . 14) (12 . 15) (13 . 16) (14 . 17) (16 . 19)) 4154 0.1290 11.0746 ((10 . 51) (12 . 53) (14 . 56) (16 . 57)) 4177 0.1290 10.0309 ((24 . 2) (25 . 4) (27 . 6) (28 . 7)) 4190 0.1290 13.5561 ((12 . 3) (13 . 4) (15 . 6) (19 . 9)) 4192 0.1613 4.7688 ((10 . 10) (12 . 13) (15 . 14) (16 . 15) (17 . 16)) 4194 0.1613 4.3070 ((12 . 1) (13 . 2) (14 . 3) (15 . 4) (16 . 5)) 4195 0.1721 9.5600 ((7 . 2) (11 . 3) (15 . 11) (20 . 13) (26 . 14) (28 . 15)) 4204 0.2581 4.9444 ((7 . 2) (10 . 3) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (16 . 9) (17 . 10)) 4209 0.1280 8.4183 ((21 . 4) (22 . 6) (26 . 10) (27 . 11)) 4210 0.1613 4.7820 ((19 . 6) (20 . 7) (21 . 8) (22 . 9) (24 . 10)) 4216 0.1290 9.5538 ((20 . 10) (22 . 13) (23 . 14) (25 . 15)) 4226 0.1895 6.1530 ((4 . 10) (10 . 11) (12 . 12) (14 . 14) (15 . 15) (16 . 16) (17 . 17)) 4232 0.1290 7.7447 ((10 . 3) (12 . 5) (14 . 6) (15 . 7)) 4236 0.1290 11.4862 ((21 . 6) (24 . 10) (25 . 11) (27 . 13)) 4242 0.1268 12.7456 ((22 . 1) (25 . 3) (29 . 6) (30 . 8)) 4243 0.1290 9.5266 ((23 . 1) (25 . 2) (27 . 4) (30 . 6)) 4246 0.1279 10.7273 ((19 . 5) (21 . 7) (23 . 10) (24 . 11)) 4254 0.1613 3.2984 ((21 . 1) (24 . 4) (25 . 5) (26 . 6) (27 . 7)) 4255 0.1290 3.8812 ((10 . 21) (12 . 24) (15 . 25) (16 . 26)) 4257 0.1935 2.6342 ((10 . 1) (11 . 2) (12 . 3) (13 . 6) (14 . 7) (16 . 11)) 4261 0.1290 9.1327 ((5 . 10) (6 . 12) (7 . 14) (11 . 16)) 4265 0.1935 7.9605 ((19 . 23) (20 . 25) (21 . 26) (22 . 27) (24 . 29) (27 . 31)) 4266 0.1935 4.3142 ((19 . 2) (20 . 3) (21 . 4) (24 . 6) (25 . 7) (28 . 8)) 4274 0.1613 3.0848 ((10 . 36) (11 . 37) (12 . 38) (13 . 39) (14 . 40)) 4275 0.1613 4.1524 ((12 . 21) (13 . 22) (14 . 23) (15 . 24) (16 . 25)) 4281 0.1290 4.7246 ((21 . 3) (26 . 8) (27 . 9) (28 . 10)) 4284 0.1290 7.1635 ((10 . 1) (11 . 2) (12 . 3) (14 . 5)) 4299 0.1935 3.4381 ((20 . 5) (21 . 6) (22 . 7) (23 . 8) (24 . 9) (26 . 11)) 4301 0.1290 7.1884 ((19 . 1) (21 . 3) (24 . 8) (26 . 10)) 4326 0.2903 3.8011 ((19 . 2) (20 . 6) (21 . 7) (22 . 8) (24 . 10) (25 . 14) (26 . 15) (27 . 16) (28 . 17)) 4332 0.1290 8.8020 ((11 . 1) (12 . 2) (14 . 4) (15 . 5)) 4338 0.1613 6.0316 ((10 . 4) (11 . 5) (12 . 6) (14 . 8) (15 . 9)) 4352 0.1290 7.7456 ((6 . 1) (7 . 2) (13 . 7) (15 . 12)) 4359 0.1774 9.1463 ((10 . 3) (12 . 4) (14 . 5) (16 . 8) (21 . 16) (26 . 17) (28 . 19)) 4380 0.1721 8.7395 ((4 . 6) (10 . 14) (12 . 15) (16 . 17) (19 . 29) (21 . 32)) 4383 0.1290 8.0215 ((10 . 14) (12 . 16) (14 . 18) (16 . 21)) 4386 0.1772 8.8459 ((7 . 3) (11 . 5) (22 . 13) (23 . 11) (25 . 14) (30 . 15)) 4388 0.1613 5.5924 ((19 . 1) (20 . 2) (21 . 3) (22 . 4) (24 . 5)) 4398 0.2314 6.5600 ((7 . 2) (10 . 4) (11 . 5) (12 . 6) (14 . 7) (16 . 8) (17 . 9) (28 . 12)) 4405 0.1290 4.4373 ((20 . 13) (21 . 14) (22 . 17) (24 . 18)) 4408 0.1290 4.3844 ((24 . 2) (26 . 4) (27 . 5) (28 . 6)) 4415 0.1860 5.7580 ((19 . 1) (23 . 2) (25 . 5) (26 . 9) (27 . 10) (28 . 11)) 4419 0.1290 7.3120 ((11 . 5) (12 . 6) (14 . 8) (17 . 11)) 4426 0.1279 10.0570 ((11 . 3) (14 . 4) (15 . 5) (16 . 6)) 4470 0.3214 6.0389 ((10 . 1) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (15 . 11) (16 . 12) (17 . 13) (25 . 17) (26 . 18) (28 . 19)) 4491 0.1290 9.9446 ((23 . 4) (26 . 6) (27 . 7) (28 . 8)) 4492 0.2443 4.0923 ((7 . 9) (10 . 11) (11 . 12) (12 . 13) (13 . 14) (14 . 16) (16 . 18) (17 . 19)) 4495 0.1935 8.8128 ((16 . 2) (19 . 6) (20 . 7) (21 . 8) (24 . 10) (25 . 11)) 4497 0.1290 6.6426 ((7 . 20) (10 . 24) (12 . 26) (14 . 28)) 4502 0.1613 6.7673 ((21 . 6) (26 . 11) (27 . 13) (28 . 14) (29 . 16)) 4503 0.1290 5.9559 ((23 . 2) (24 . 3) (26 . 5) (28 . 7)) 4504 0.2204 6.4378 ((17 . 12) (19 . 15) (20 . 16) (21 . 17) (22 . 18) (24 . 19) (25 . 23)) 4505 0.2258 5.4430 ((7 . 27) (10 . 28) (11 . 29) (12 . 30) (13 . 31) (15 . 33) (16 . 34)) 4516 0.1613 4.1697 ((10 . 16) (11 . 17) (12 . 18) (13 . 19) (14 . 20)) 4538 0.1290 7.5624 ((22 . 27) (23 . 29) (24 . 30) (29 . 36)) 4551 0.1774 8.2139 ((10 . 1) (12 . 2) (16 . 4) (17 . 7) (19 . 8) (26 . 17) (28 . 18)) 4560 0.2183 7.1483 ((11 . 5) (12 . 6) (13 . 7) (14 . 8) (15 . 10) (16 . 11) (26 . 22)) 4561 0.2903 5.3398 ((10 . 1) (11 . 4) (12 . 5) (13 . 6) (14 . 7) (15 . 8) (16 . 9) (17 . 11) (32 . 13)) 4562 0.1935 3.1060 ((10 . 19) (11 . 21) (12 . 22) (15 . 26) (16 . 27) (17 . 28)) 4563 0.1935 4.2740 ((10 . 26) (11 . 27) (12 . 28) (15 . 30) (16 . 31) (17 . 33)) 4577 0.1477 10.2913 ((10 . 34) (14 . 42) (16 . 48) (21 . 50) (26 . 54)) 4579 0.1290 8.7532 ((6 . 1) (7 . 5) (11 . 6) (27 . 25)) 4588 0.1613 5.5087 ((11 . 2) (13 . 4) (14 . 7) (16 . 9) (20 . 12)) 4589 0.1290 6.1185 ((6 . 21) (10 . 25) (11 . 26) (12 . 27)) 4607 0.1810 7.8422 ((4 . 11) (7 . 15) (11 . 16) (13 . 17) (20 . 23) (23 . 28)) 4621 0.1290 10.0153 ((10 . 3) (12 . 6) (14 . 8) (16 . 9)) 4630 0.1613 6.6142 ((19 . 17) (21 . 20) (24 . 23) (26 . 26) (28 . 29)) 4648 0.1289 11.4388 ((21 . 1) (23 . 3) (27 . 7) (28 . 8)) 4653 0.1290 6.0082 ((22 . 2) (24 . 5) (26 . 7) (28 . 9)) 4668 0.2581 2.6533 ((19 . 1) (20 . 2) (21 . 3) (24 . 5) (25 . 6) (26 . 7) (27 . 8) (28 . 9)) 4669 0.1935 8.6743 ((10 . 17) (11 . 18) (12 . 19) (13 . 20) (14 . 21) (15 . 22)) 4671 0.1613 4.1633 ((19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 7)) 4674 0.1290 8.5421 ((12 . 2) (13 . 4) (15 . 5) (16 . 6)) 4678 0.1290 10.4519 ((15 . 2) (19 . 6) (20 . 8) (22 . 9)) 4699 0.1240 12.7992 ((4 . 8) (5 . 10) (7 . 11) (11 . 13)) 4713 0.1290 8.2953 ((6 . 1) (10 . 7) (12 . 9) (15 . 11)) 4715 0.1532 8.6679 ((13 . 1) (15 . 2) (23 . 4) (29 . 9) (30 . 16)) 4716 0.1289 12.0003 ((15 . 1) (17 . 3) (20 . 5) (22 . 7)) 4731 0.1613 4.6004 ((7 . 13) (10 . 18) (13 . 20) (14 . 22) (16 . 24)) 4764 0.1290 9.3529 ((22 . 6) (23 . 7) (25 . 8) (30 . 11)) 4783 0.1290 13.9239 ((13 . 3) (17 . 7) (23 . 10) (27 . 12)) 4817 0.1287 9.5327 ((17 . 5) (20 . 7) (22 . 9) (23 . 11)) 4857 0.1792 8.7093 ((10 . 5) (12 . 9) (16 . 11) (17 . 12) (23 . 14) (29 . 15)) 4886 0.1613 5.9234 ((1 . 1) (20 . 18) (21 . 19) (22 . 20) (24 . 22)) 4888 0.1290 8.1047 ((21 . 15) (25 . 19) (29 . 23) (30 . 24)) 4889 0.1290 6.6958 ((21 . 2) (24 . 4) (27 . 5) (28 . 6)) 4914 0.1290 7.2261 ((23 . 3) (24 . 4) (26 . 6) (28 . 8)) 4921 0.1581 6.0827 ((19 . 7) (21 . 8) (24 . 12) (25 . 13) (26 . 17)) 4929 0.1290 7.9091 ((19 . 26) (21 . 29) (24 . 32) (26 . 34)) 4932 0.1290 5.7814 ((12 . 1) (14 . 4) (16 . 6) (17 . 7)) 4940 0.1290 3.2464 ((10 . 2) (12 . 3) (13 . 5) (14 . 6)) 4941 0.0926 14.1235 ((19 . 9) (21 . 13) (24 . 17) (29 . 21)) 4944 0.1654 5.8498 ((19 . 11) (20 . 12) (21 . 13) (24 . 14) (26 . 15) (28 . 16)) 4961 0.2254 5.4968 ((19 . 3) (20 . 4) (21 . 6) (22 . 8) (25 . 11) (26 . 12) (28 . 17)) 4963 0.1289 12.8853 ((20 . 3) (22 . 5) (25 . 7) (30 . 10)) 4978 0.2479 8.7136 ((19 . 21) (20 . 27) (21 . 28) (25 . 29) (26 . 30) (27 . 31) (28 . 32) (29 . 33)) 4982 0.1613 4.0059 ((21 . 1) (22 . 2) (24 . 3) (25 . 5) (26 . 6)) 4992 0.1613 5.6333 ((16 . 1) (20 . 4) (21 . 6) (22 . 7) (24 . 8)) 4998 0.2903 5.4345 ((19 . 1) (20 . 2) (21 . 3) (22 . 5) (24 . 6) (25 . 21) (26 . 23) (27 . 24) (28 . 25)) 5000 0.1290 11.8634 ((20 . 33) (22 . 35) (23 . 36) (25 . 37)) 5016 0.1654 9.9971 ((4 . 1) (5 . 2) (11 . 5) (15 . 6) (17 . 8) (30 . 9)) 5029 0.2576 2.3324 ((19 . 2) (20 . 3) (21 . 4) (24 . 6) (25 . 7) (26 . 8) (27 . 9) (28 . 10)) 5036 0.1290 9.9936 ((21 . 1) (24 . 5) (26 . 7) (28 . 8)) 5038 0.1289 13.6634 ((26 . 10) (28 . 12) (29 . 13) (32 . 16)) 5039 0.2258 3.7385 ((10 . 37) (11 . 38) (12 . 39) (13 . 40) (14 . 41) (15 . 43) (16 . 44)) 5044 0.1613 10.3315 ((1 . 8) (4 . 11) (19 . 31) (20 . 32) (21 . 33)) 5046 0.1290 5.4572 ((10 . 3) (12 . 4) (14 . 7) (16 . 10)) 5053 0.1290 6.3003 ((11 . 8) (12 . 9) (14 . 11) (17 . 14)) 5065 0.1290 8.1540 ((21 . 3) (22 . 5) (26 . 9) (28 . 11)) 5068 0.3205 5.1805 ((1 . 10) (3 . 14) (19 . 2) (20 . 3) (21 . 4) (22 . 6) (24 . 7) (25 . 11) (26 . 17) (28 . 20)) 5069 0.1613 2.9995 ((19 . 2) (20 . 3) (21 . 4) (24 . 7) (26 . 9)) 5073 0.2257 3.7628 ((20 . 31) (21 . 32) (24 . 34) (25 . 35) (26 . 36) (27 . 37) (28 . 39)) 5080 0.1654 9.6173 ((4 . 5) (11 . 6) (20 . 8) (22 . 10) (23 . 12) (27 . 14)) 5083 0.1290 5.5146 ((11 . 3) (12 . 5) (14 . 8) (16 . 9)) 5092 0.1290 10.7411 ((20 . 7) (22 . 8) (23 . 9) (30 . 13)) 5101 0.3539 5.1300 ((3 . 14) (19 . 15) (20 . 17) (21 . 18) (22 . 19) (23 . 20) (24 . 21) (25 . 22) (26 . 23) (27 . 24) (28 . 25) (29 . 28)) 5103 0.2515 4.1584 ((19 . 2) (20 . 3) (21 . 4) (25 . 5) (26 . 6) (27 . 8) (28 . 9) (29 . 11)) 5121 0.1305 7.4952 ((4 . 13) (5 . 14) (6 . 17) (12 . 18) (14 . 21)) 5132 0.1613 3.0557 ((11 . 17) (12 . 18) (13 . 19) (14 . 20) (16 . 22)) 5134 0.1860 4.9633 ((10 . 2) (12 . 3) (13 . 16) (14 . 17) (15 . 18) (16 . 19)) 5145 0.1408 8.4028 ((24 . 3) (25 . 4) (26 . 5) (28 . 8) (29 . 9)) 5167 0.1613 3.8298 ((19 . 1) (20 . 2) (21 . 3) (25 . 7) (28 . 9)) 5183 0.1290 7.0971 ((24 . 34) (26 . 36) (28 . 38) (29 . 39)) 5192 0.1935 3.8423 ((21 . 1) (22 . 2) (24 . 3) (25 . 4) (26 . 5) (27 . 6)) 5198 0.1935 6.8457 ((19 . 21) (20 . 23) (21 . 24) (22 . 25) (24 . 26) (25 . 27)) 5199 0.1290 10.5627 ((20 . 1) (22 . 2) (26 . 7) (28 . 8)) 5209 0.1290 7.3232 ((19 . 4) (20 . 6) (21 . 7) (24 . 9)) 5212 0.1290 8.0761 ((7 . 17) (12 . 21) (15 . 25) (21 . 31)) 5215 0.1611 8.6686 ((11 . 8) (12 . 9) (14 . 11) (17 . 14) (20 . 17)) 5223 0.2258 6.4835 ((4 . 2) (10 . 10) (11 . 11) (12 . 12) (13 . 14) (14 . 15) (16 . 17)) 5231 0.1290 6.0568 ((22 . 9) (24 . 12) (26 . 14) (29 . 17)) 5266 0.2581 3.1652 ((19 . 2) (20 . 3) (21 . 4) (22 . 5) (24 . 6) (26 . 8) (27 . 9) (28 . 10)) 5278 0.1290 7.4274 ((7 . 1) (10 . 5) (12 . 7) (14 . 9)) 5307 0.1613 3.9491 ((12 . 51) (13 . 52) (14 . 53) (15 . 54) (16 . 55)) 5312 0.1287 7.8478 ((12 . 1) (14 . 3) (16 . 5) (17 . 6)) 5318 0.1613 6.0724 ((7 . 6) (10 . 8) (11 . 9) (12 . 11) (20 . 16)) 5323 0.1595 11.2195 ((6 . 4) (13 . 13) (15 . 14) (17 . 16) (20 . 18)) 5324 0.2581 4.6932 ((7 . 4) (19 . 7) (20 . 8) (21 . 10) (25 . 11) (26 . 12) (27 . 13) (28 . 14)) 5344 0.1290 6.0582 ((19 . 2) (21 . 4) (24 . 8) (26 . 10)) 5345 0.1477 5.4513 ((19 . 7) (21 . 8) (24 . 9) (26 . 12) (28 . 13)) 5368 0.1954 8.6220 ((10 . 20) (12 . 21) (14 . 22) (16 . 27) (19 . 35) (21 . 36) (28 . 45)) 5378 0.1290 4.5155 ((10 . 4) (11 . 5) (12 . 6) (14 . 7)) 5411 0.1290 5.9639 ((11 . 1) (12 . 3) (13 . 5) (14 . 6)) 5414 0.1290 6.3725 ((23 . 17) (24 . 18) (26 . 20) (28 . 22)) 5418 0.1290 6.8540 ((21 . 2) (23 . 4) (24 . 5) (28 . 9)) 5433 0.1613 10.1047 ((19 . 4) (21 . 7) (26 . 16) (28 . 18) (30 . 24)) 5442 0.1290 13.4216 ((7 . 31) (11 . 34) (15 . 37) (17 . 39)) 5479 0.1290 6.3357 ((8 . 41) (21 . 54) (26 . 61) (32 . 66)) 5487 0.1613 4.0325 ((12 . 4) (14 . 7) (15 . 8) (16 . 9) (17 . 10)) 5489 0.1613 6.3959 ((21 . 6) (24 . 9) (26 . 11) (28 . 13) (30 . 15)) 5500 0.2205 5.0049 ((19 . 1) (21 . 2) (24 . 3) (25 . 10) (26 . 12) (27 . 13) (28 . 14) (29 . 15)) 5501 0.1860 7.0165 ((19 . 16) (21 . 17) (22 . 28) (23 . 29) (24 . 30) (29 . 34)) 5525 0.1550 9.9104 ((4 . 1) (7 . 9) (11 . 10) (15 . 11) (17 . 12)) 5535 0.1290 6.7075 ((10 . 4) (12 . 7) (14 . 9) (16 . 12)) 5540 0.1290 8.2805 ((14 . 1) (15 . 2) (16 . 3) (19 . 6)) 5557 0.1290 4.3448 ((10 . 4) (11 . 5) (12 . 6) (13 . 7)) 5560 0.1935 3.9501 ((11 . 14) (12 . 15) (13 . 16) (14 . 17) (15 . 18) (16 . 20)) 5562 0.1613 6.2752 ((7 . 9) (11 . 13) (12 . 14) (14 . 17) (15 . 18)) 5567 0.1935 6.3348 ((7 . 10) (10 . 11) (11 . 14) (12 . 15) (13 . 16) (14 . 17)) 5594 0.2236 5.9356 ((19 . 1) (20 . 2) (21 . 3) (24 . 4) (25 . 5) (26 . 6) (27 . 7) (28 . 9)) 5600 0.1613 9.3195 ((19 . 3) (20 . 4) (21 . 5) (23 . 7) (27 . 10)) 5601 0.1935 3.5778 ((10 . 5) (12 . 7) (14 . 8) (15 . 9) (16 . 10) (17 . 11)) 5638 0.1613 6.8454 ((10 . 7) (12 . 8) (13 . 12) (14 . 13) (15 . 14)) 5640 0.1839 8.0741 ((10 . 10) (12 . 11) (14 . 12) (16 . 16) (19 . 25) (21 . 26) (28 . 28)) 5644 0.1290 5.0947 ((19 . 3) (21 . 8) (24 . 10) (28 . 14)) 5648 0.1290 9.7323 ((22 . 2) (23 . 3) (27 . 5) (29 . 6)) 5656 0.3099 5.2722 ((19 . 1) (20 . 4) (21 . 5) (22 . 6) (24 . 8) (25 . 12) (26 . 14) (27 . 15) (28 . 16) (29 . 25)) 5689 0.1929 12.4331 ((7 . 3) (11 . 4) (13 . 8) (15 . 10) (17 . 14) (20 . 16) (30 . 18)) 5700 0.1757 6.3820 ((17 . 1) (19 . 2) (21 . 3) (24 . 6) (25 . 7) (26 . 11)) 5701 0.1613 6.5741 ((7 . 3) (10 . 6) (11 . 7) (15 . 10) (16 . 11)) 5702 0.1290 11.3968 ((5 . 2) (7 . 4) (22 . 15) (23 . 16)) 5703 0.1290 8.5512 ((10 . 5) (12 . 6) (14 . 7) (16 . 8)) 5704 0.1287 12.5543 ((13 . 3) (20 . 6) (22 . 7) (23 . 9)) 5711 0.1290 7.0818 ((19 . 37) (24 . 44) (28 . 47) (29 . 48)) 5713 0.1735 6.3601 ((1 . 18) (19 . 20) (21 . 21) (24 . 22) (26 . 25) (28 . 27)) 5718 0.1290 6.8264 ((10 . 14) (12 . 17) (14 . 21) (15 . 22)) 5731 0.1290 5.0526 ((10 . 2) (12 . 3) (13 . 8) (16 . 10)) 5746 0.1290 4.7348 ((24 . 3) (25 . 4) (26 . 6) (28 . 8)) 5749 0.1290 8.8773 ((11 . 1) (13 . 2) (19 . 6) (20 . 8)) 5761 0.1290 5.3559 ((19 . 30) (21 . 32) (22 . 34) (24 . 36)) 5770 0.1290 10.9542 ((13 . 7) (14 . 8) (23 . 21) (25 . 22)) 5771 0.1935 7.1943 ((19 . 1) (20 . 8) (21 . 9) (22 . 10) (26 . 17) (29 . 19)) 5782 0.2559 8.3296 ((10 . 15) (11 . 17) (12 . 18) (13 . 7) (15 . 23) (16 . 24) (26 . 35) (28 . 37)) 5789 0.1287 9.9305 ((7 . 1) (11 . 4) (14 . 5) (15 . 6)) 5794 0.1290 6.0134 ((11 . 13) (19 . 19) (20 . 22) (21 . 23)) 5795 0.1613 8.3698 ((21 . 10) (22 . 12) (24 . 13) (25 . 15) (26 . 16)) 5809 0.1613 2.7770 ((10 . 7) (11 . 8) (12 . 9) (13 . 10) (14 . 12)) 5822 0.1290 7.5368 ((19 . 4) (20 . 5) (21 . 6) (27 . 11)) 5827 0.1613 6.2640 ((12 . 3) (14 . 5) (15 . 6) (16 . 8) (17 . 10)) 5830 0.1290 6.7582 ((17 . 5) (20 . 9) (21 . 10) (26 . 17)) 5847 0.1290 5.3500 ((10 . 1) (12 . 5) (14 . 8) (16 . 10)) 5861 0.1290 6.5164 ((21 . 7) (24 . 10) (26 . 12) (28 . 15)) 5865 0.1290 3.9776 ((19 . 1) (21 . 5) (22 . 6) (24 . 7)) 5878 0.1290 9.5629 ((23 . 21) (25 . 22) (27 . 23) (28 . 25)) 5888 0.1847 7.5092 ((10 . 9) (12 . 10) (14 . 11) (16 . 12) (21 . 23) (26 . 25) (28 . 28)) 5896 0.1290 5.6556 ((19 . 26) (20 . 27) (21 . 28) (25 . 32)) 5904 0.2581 3.7714 ((19 . 1) (20 . 3) (21 . 4) (24 . 7) (25 . 8) (26 . 9) (27 . 10) (28 . 11)) 5913 0.1613 6.0164 ((19 . 5) (21 . 7) (25 . 12) (27 . 14) (28 . 15)) 5914 0.1287 9.3488 ((14 . 3) (15 . 4) (16 . 5) (17 . 7)) 5922 0.1290 7.4974 ((10 . 6) (12 . 8) (14 . 9) (16 . 11)) 5930 0.1935 2.9596 ((10 . 2) (11 . 3) (12 . 4) (13 . 6) (14 . 7) (16 . 11)) 5939 0.1613 2.7745 ((10 . 2) (11 . 3) (12 . 4) (13 . 5) (14 . 6)) 5945 0.2902 6.3556 ((19 . 23) (20 . 25) (21 . 26) (22 . 27) (24 . 28) (25 . 39) (26 . 2) (28 . 11) (30 . 34)) 5949 0.1613 4.3500 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (28 . 9)) 5955 0.1935 3.2681 ((10 . 1) (11 . 2) (12 . 3) (15 . 6) (16 . 7) (17 . 8)) 5967 0.1935 3.2516 ((19 . 1) (20 . 2) (21 . 3) (25 . 6) (26 . 7) (27 . 8)) 5972 0.1290 8.5215 ((20 . 1) (22 . 5) (24 . 6) (25 . 8)) 5977 0.1613 4.0468 ((19 . 1) (20 . 2) (21 . 3) (22 . 4) (24 . 5)) 6000 0.2215 7.9814 ((7 . 2) (11 . 5) (17 . 11) (19 . 17) (21 . 21) (27 . 22) (28 . 28)) 6011 0.1613 6.9719 ((19 . 11) (21 . 14) (24 . 18) (28 . 20) (29 . 21)) 6022 0.1290 5.9435 ((19 . 1) (21 . 4) (24 . 7) (26 . 9)) 6028 0.1290 12.6875 ((24 . 1) (26 . 2) (29 . 4) (30 . 8)) 6029 0.1613 5.3606 ((12 . 31) (13 . 32) (14 . 33) (16 . 35) (17 . 37)) 6033 0.1653 13.1737 ((11 . 2) (15 . 3) (17 . 4) (20 . 7) (23 . 9) (25 . 10)) 6041 0.1613 7.0685 ((7 . 5) (12 . 11) (14 . 13) (15 . 14) (16 . 15)) 6046 0.1279 11.5748 ((17 . 1) (19 . 3) (21 . 6) (22 . 7)) 6061 0.2204 9.4383 ((10 . 13) (12 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18) (32 . 21)) 6074 0.1935 3.8135 ((21 . 2) (24 . 4) (25 . 5) (26 . 6) (27 . 7) (28 . 8)) 6075 0.1919 7.5240 ((7 . 16) (10 . 17) (11 . 19) (12 . 20) (14 . 21) (16 . 24)) 6079 0.1613 8.3634 ((12 . 7) (14 . 9) (15 . 10) (17 . 12) (26 . 21)) 6087 0.1613 4.5427 ((19 . 3) (22 . 4) (26 . 8) (27 . 9) (28 . 10)) 6089 0.1935 4.3693 ((21 . 1) (22 . 2) (24 . 3) (25 . 4) (26 . 5) (27 . 6)) 6094 0.1290 5.7149 ((10 . 3) (12 . 7) (13 . 8) (16 . 11)) 6099 0.1792 9.1860 ((10 . 5) (12 . 6) (14 . 7) (19 . 16) (23 . 19) (30 . 21)) 6123 0.1290 11.3976 ((24 . 3) (26 . 5) (27 . 6) (29 . 7)) 6142 0.1521 12.9530 ((9 . 4) (12 . 5) (26 . 14) (28 . 19) (29 . 21)) 6148 0.1290 4.8353 ((10 . 32) (12 . 34) (13 . 35) (14 . 36)) 6167 0.1290 5.7622 ((21 . 1) (24 . 6) (26 . 9) (28 . 12)) 6169 0.1602 8.5590 ((22 . 4) (23 . 8) (25 . 9) (27 . 10) (29 . 11)) 6173 0.1609 6.1011 ((19 . 7) (21 . 8) (24 . 12) (26 . 15) (29 . 16)) 6191 0.1290 9.2005 ((20 . 1) (21 . 3) (23 . 5) (25 . 7)) 6192 0.1613 5.4760 ((12 . 1) (13 . 2) (14 . 3) (17 . 4) (20 . 9)) 6215 0.1290 7.3612 ((21 . 18) (24 . 20) (25 . 22) (26 . 24)) 6225 0.1613 9.0501 ((9 . 8) (12 . 10) (15 . 11) (16 . 12) (32 . 29)) 6228 0.2314 4.4196 ((19 . 1) (20 . 2) (21 . 3) (22 . 4) (24 . 5) (25 . 6) (26 . 7) (28 . 15)) 6234 0.1289 9.0207 ((24 . 7) (25 . 8) (26 . 10) (30 . 14)) 6238 0.1613 8.9515 ((21 . 4) (22 . 6) (24 . 7) (26 . 9) (29 . 10)) 6243 0.1935 4.5016 ((10 . 6) (11 . 7) (12 . 8) (15 . 9) (16 . 10) (17 . 11)) 6251 0.2258 3.6561 ((10 . 8) (11 . 9) (12 . 10) (13 . 11) (15 . 14) (16 . 17) (17 . 18)) 6258 0.1613 3.0945 ((19 . 7) (21 . 9) (25 . 11) (26 . 12) (28 . 13)) 6261 0.2258 4.0674 ((10 . 1) (11 . 2) (12 . 3) (15 . 7) (16 . 9) (17 . 10) (28 . 22)) 6266 0.2258 6.1956 ((4 . 1) (10 . 3) (11 . 4) (12 . 6) (13 . 7) (14 . 8) (15 . 12)) 6268 0.1268 15.6087 ((4 . 8) (5 . 9) (6 . 10) (7 . 11)) 6270 0.1613 8.6612 ((21 . 9) (23 . 14) (26 . 15) (27 . 16) (28 . 17)) 6271 0.1613 6.0091 ((14 . 1) (16 . 3) (19 . 7) (24 . 12) (25 . 13)) 6273 0.1290 6.8625 ((4 . 9) (21 . 31) (22 . 32) (24 . 33)) 6294 0.3226 4.0108 ((19 . 2) (20 . 5) (21 . 6) (22 . 7) (24 . 9) (25 . 21) (26 . 23) (27 . 24) (28 . 25) (29 . 28)) 6306 0.1290 7.2196 ((19 . 17) (20 . 18) (21 . 19) (27 . 23)) 6309 0.1290 5.7262 ((13 . 16) (14 . 17) (15 . 19) (16 . 20)) 6311 0.1290 6.2907 ((19 . 5) (21 . 9) (24 . 11) (26 . 13)) 6329 0.1290 8.7062 ((11 . 9) (20 . 16) (33 . 19) (34 . 20)) 6338 0.1290 10.0689 ((19 . 1) (21 . 2) (24 . 7) (26 . 8)) 6344 0.1613 7.3199 ((5 . 2) (10 . 8) (11 . 9) (13 . 10) (16 . 13)) 6345 0.1581 14.8344 ((11 . 2) (12 . 4) (16 . 7) (17 . 8) (32 . 22)) 6348 0.2258 2.7075 ((19 . 1) (20 . 3) (21 . 4) (25 . 8) (26 . 9) (27 . 10) (28 . 11)) 6355 0.1290 6.2817 ((20 . 3) (21 . 4) (24 . 7) (30 . 13)) 6356 0.2689 4.1889 ((19 . 1) (20 . 3) (21 . 4) (24 . 6) (25 . 8) (26 . 9) (27 . 10) (28 . 11) (29 . 14)) 6359 0.1290 8.2563 ((11 . 3) (13 . 4) (15 . 6) (17 . 8)) 6369 0.2903 8.1612 ((7 . 8) (11 . 10) (19 . 22) (20 . 23) (21 . 24) (25 . 25) (26 . 26) (28 . 29) (29 . 21)) 6376 0.2572 4.6341 ((19 . 17) (20 . 18) (21 . 19) (22 . 20) (24 . 21) (26 . 24) (28 . 26) (29 . 29)) 6384 0.1287 10.0047 ((17 . 2) (20 . 4) (22 . 5) (23 . 6)) 6391 0.1290 7.3485 ((10 . 8) (13 . 11) (14 . 12) (16 . 14)) 6392 0.2258 8.8946 ((11 . 2) (17 . 6) (19 . 9) (22 . 10) (23 . 14) (26 . 15) (27 . 16)) 6399 0.1613 7.4531 ((10 . 8) (12 . 11) (14 . 13) (22 . 23) (28 . 30)) 6403 0.1860 8.3340 ((19 . 7) (20 . 9) (21 . 10) (24 . 12) (26 . 14) (28 . 15)) 6434 0.1290 7.8147 ((22 . 1) (24 . 4) (29 . 7) (30 . 8)) 6461 0.1290 9.1616 ((7 . 1) (11 . 5) (14 . 6) (15 . 7)) 6462 0.2235 7.4873 ((6 . 8) (19 . 12) (21 . 16) (25 . 17) (26 . 18) (27 . 19) (30 . 25)) 6476 0.1290 10.0181 ((20 . 1) (22 . 2) (23 . 6) (25 . 7)) 6498 0.1479 6.9773 ((6 . 22) (13 . 30) (21 . 37) (22 . 39) (24 . 40) (27 . 5) (30 . 11)) 6506 0.1477 7.0370 ((5 . 17) (6 . 20) (13 . 21) (15 . 28) (20 . 30)) 6520 0.1612 11.4187 ((11 . 12) (17 . 21) (20 . 23) (21 . 24) (24 . 26)) 6536 0.1290 18.5903 ((22 . 27) (23 . 28) (27 . 30) (33 . 34)) 6539 0.1290 3.9286 ((21 . 5) (22 . 7) (24 . 8) (25 . 9)) 6540 0.1290 7.4294 ((10 . 2) (14 . 6) (26 . 17) (28 . 19)) 6548 0.1613 5.5276 ((21 . 7) (22 . 8) (24 . 9) (26 . 13) (29 . 15)) 6553 0.1613 3.7385 ((21 . 11) (22 . 12) (24 . 15) (26 . 17) (28 . 20)) 6555 0.1613 4.1854 ((10 . 7) (11 . 9) (12 . 10) (13 . 12) (14 . 28)) 6561 0.1613 10.2361 ((16 . 3) (20 . 5) (23 . 11) (26 . 12) (28 . 13)) 6573 0.1935 2.7159 ((10 . 17) (11 . 18) (12 . 19) (13 . 20) (14 . 21) (16 . 25)) 6575 0.1290 6.9427 ((10 . 1) (11 . 3) (12 . 5) (13 . 6)) 6578 0.1290 6.7391 ((23 . 33) (26 . 34) (28 . 38) (29 . 39)) 6584 0.1609 6.2244 ((19 . 2) (21 . 3) (22 . 4) (26 . 9) (29 . 10)) 6585 0.1935 4.3126 ((20 . 4) (21 . 6) (22 . 7) (24 . 8) (25 . 9) (26 . 10)) 6586 0.1675 7.2883 ((11 . 16) (19 . 18) (20 . 19) (22 . 22) (25 . 23) (26 . 24) (28 . 25)) 6587 0.1613 7.1192 ((10 . 29) (11 . 30) (12 . 31) (13 . 32) (14 . 33)) 6598 0.1290 6.9533 ((10 . 4) (12 . 6) (16 . 8) (32 . 26)) 6605 0.1290 8.4814 ((22 . 3) (23 . 4) (25 . 5) (29 . 7)) 6613 0.1852 7.5016 ((19 . 10) (20 . 11) (21 . 12) (22 . 15) (24 . 21) (25 . 26) (26 . 33) (28 . 34)) 6622 0.1290 10.0359 ((13 . 1) (17 . 4) (22 . 10) (23 . 11)) 6635 0.1290 4.9997 ((20 . 2) (24 . 5) (25 . 6) (26 . 7)) END