5640 25 0.1429 9.6474 ((6 . 6) (7 . 7) (10 . 11) (21 . 16)) 51 0.1786 6.2950 ((14 . 1) (16 . 2) (21 . 7) (22 . 10) (23 . 11)) 62 0.1429 5.1473 ((9 . 10) (10 . 12) (16 . 16) (17 . 17)) 64 0.1786 6.0204 ((5 . 3) (7 . 6) (14 . 9) (16 . 10) (17 . 12)) 77 0.1429 5.1304 ((23 . 7) (24 . 8) (29 . 13) (30 . 15)) 91 0.1579 6.7123 ((19 . 1) (20 . 2) (21 . 3) (24 . 44) (27 . 45)) 96 0.1429 5.1182 ((19 . 1) (21 . 3) (24 . 5) (25 . 6)) 129 0.1786 8.5672 ((5 . 1) (6 . 2) (7 . 3) (8 . 5) (12 . 11)) 136 0.1429 5.7843 ((24 . 3) (26 . 5) (29 . 7) (30 . 8)) 150 0.1429 6.5103 ((23 . 19) (24 . 20) (27 . 23) (30 . 25)) 153 0.2143 7.6867 ((1 . 1) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 157 0.1786 8.1900 ((10 . 1) (12 . 3) (14 . 5) (18 . 8) (25 . 16)) 161 0.1786 5.1191 ((19 . 3) (20 . 4) (21 . 6) (22 . 8) (25 . 9)) 162 0.1429 5.9621 ((9 . 17) (10 . 18) (12 . 20) (14 . 22)) 169 0.2143 5.1411 ((5 . 5) (6 . 7) (7 . 8) (11 . 10) (12 . 11) (14 . 12)) 177 0.1734 8.0125 ((10 . 1) (14 . 4) (19 . 7) (20 . 8) (21 . 10)) 191 0.1429 6.3713 ((1 . 6) (5 . 7) (6 . 8) (7 . 9)) 198 0.2026 6.7873 ((20 . 1) (21 . 2) (22 . 5) (24 . 7) (25 . 9) (26 . 10) (28 . 14)) 207 0.1734 4.2447 ((19 . 7) (20 . 8) (24 . 13) (25 . 15) (26 . 18)) 233 0.2143 7.9078 ((5 . 1) (6 . 2) (7 . 3) (9 . 5) (10 . 7) (11 . 8)) 300 0.1786 6.9621 ((19 . 7) (23 . 10) (28 . 16) (29 . 17) (31 . 18)) 305 0.1786 7.1445 ((5 . 11) (6 . 12) (8 . 15) (14 . 21) (16 . 22)) 307 0.1429 5.0691 ((19 . 1) (21 . 3) (23 . 7) (25 . 9)) 315 0.1429 5.1671 ((10 . 4) (11 . 5) (12 . 6) (17 . 9)) 340 0.1429 7.3735 ((11 . 1) (12 . 2) (16 . 4) (18 . 7)) 350 0.1786 4.8644 ((1 . 11) (3 . 13) (6 . 16) (7 . 17) (9 . 20)) 360 0.1786 5.4464 ((7 . 5) (8 . 6) (10 . 8) (11 . 9) (12 . 10)) 361 0.1348 13.8227 ((17 . 1) (19 . 2) (21 . 4) (29 . 10)) 365 0.2143 7.3828 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 6) (12 . 8)) 367 0.1786 7.4794 ((22 . 38) (23 . 40) (24 . 42) (25 . 43) (26 . 44)) 372 0.1786 4.2274 ((22 . 2) (23 . 5) (24 . 6) (25 . 7) (26 . 8)) 387 0.1786 6.3386 ((11 . 1) (20 . 9) (21 . 10) (22 . 11) (23 . 12)) 405 0.1786 5.7279 ((18 . 35) (19 . 37) (20 . 38) (21 . 39) (22 . 40)) 417 0.1429 6.5755 ((24 . 2) (25 . 3) (28 . 7) (31 . 9)) 420 0.2500 4.5321 ((16 . 1) (19 . 3) (20 . 4) (21 . 5) (23 . 8) (24 . 9) (25 . 10)) 433 0.2143 6.5945 ((19 . 1) (20 . 5) (23 . 6) (24 . 7) (28 . 9) (29 . 10)) 442 0.1786 7.3148 ((7 . 4) (12 . 10) (27 . 20) (28 . 21) (29 . 22)) 460 0.1429 4.8635 ((21 . 2) (23 . 6) (24 . 7) (25 . 8)) 472 0.1429 3.5009 ((23 . 20) (24 . 21) (25 . 22) (27 . 31)) 491 0.1429 6.2656 ((9 . 1) (14 . 6) (19 . 8) (20 . 9)) 495 0.1786 4.6606 ((19 . 3) (21 . 5) (24 . 8) (25 . 9) (26 . 11)) 541 0.1844 7.7606 ((20 . 2) (23 . 3) (24 . 5) (29 . 14) (30 . 17) (31 . 21)) 543 0.1429 6.6004 ((21 . 2) (25 . 6) (26 . 8) (29 . 10)) 561 0.1429 5.7495 ((23 . 1) (25 . 3) (26 . 4) (28 . 6)) 584 0.1429 4.9934 ((9 . 3) (10 . 4) (19 . 10) (21 . 13)) 587 0.1786 6.2860 ((6 . 2) (7 . 3) (8 . 4) (9 . 6) (10 . 7)) 609 0.1429 7.5294 ((23 . 1) (25 . 3) (29 . 6) (31 . 8)) 619 0.2143 6.1264 ((14 . 7) (16 . 8) (18 . 9) (19 . 11) (20 . 12) (27 . 20)) 624 0.1835 6.9181 ((3 . 5) (20 . 7) (21 . 9) (24 . 11) (25 . 13) (28 . 15) (29 . 16)) 635 0.1768 6.1902 ((19 . 5) (23 . 13) (24 . 14) (25 . 15) (31 . 18)) 672 0.1429 5.8381 ((19 . 20) (21 . 22) (22 . 23) (23 . 24)) 678 0.1429 6.2919 ((9 . 22) (11 . 24) (19 . 29) (23 . 34)) 683 0.1429 5.3192 ((10 . 1) (11 . 2) (12 . 3) (17 . 6)) 719 0.1786 3.9020 ((6 . 22) (7 . 23) (9 . 25) (10 . 27) (14 . 30)) 729 0.1786 4.3424 ((19 . 7) (21 . 9) (23 . 13) (29 . 17) (30 . 20)) 735 0.1786 5.2925 ((21 . 31) (22 . 32) (24 . 36) (25 . 37) (26 . 39)) 740 0.1757 3.5101 ((14 . 2) (16 . 3) (17 . 4) (18 . 5) (19 . 9)) 765 0.1786 7.1377 ((8 . 5) (10 . 7) (11 . 9) (12 . 11) (14 . 12)) 767 0.1768 5.3459 ((14 . 3) (19 . 9) (20 . 10) (21 . 11) (31 . 26)) 795 0.1429 5.3404 ((14 . 1) (18 . 3) (20 . 5) (21 . 6)) 801 0.1786 8.0636 ((22 . 1) (23 . 2) (24 . 4) (25 . 5) (27 . 7)) 812 0.1429 10.7261 ((7 . 8) (9 . 11) (11 . 13) (22 . 20)) 818 0.1786 6.8050 ((14 . 4) (18 . 7) (20 . 10) (22 . 12) (25 . 16)) 819 0.1786 5.6275 ((14 . 2) (19 . 3) (21 . 5) (23 . 9) (24 . 10)) 824 0.2116 4.8991 ((14 . 45) (18 . 46) (19 . 49) (20 . 50) (21 . 51) (22 . 53)) 861 0.1924 8.0051 ((8 . 3) (9 . 15) (10 . 16) (11 . 17) (12 . 18) (14 . 19)) 901 0.1964 7.4373 ((10 . 1) (11 . 5) (16 . 9) (24 . 12) (25 . 15) (29 . 17)) 904 0.1411 7.6022 ((9 . 2) (10 . 3) (12 . 6) (14 . 7)) 928 0.2022 5.0052 ((6 . 10) (8 . 12) (9 . 14) (10 . 16) (14 . 18) (19 . 21)) 943 0.1786 4.3421 ((14 . 6) (18 . 8) (20 . 9) (24 . 14) (25 . 15)) 945 0.1768 7.7691 ((9 . 12) (10 . 14) (11 . 17) (14 . 19) (19 . 22)) 960 0.2143 6.9828 ((19 . 1) (20 . 2) (24 . 3) (25 . 4) (27 . 8) (29 . 12)) 978 0.1429 5.8522 ((21 . 4) (23 . 6) (27 . 10) (31 . 13)) 980 0.1786 5.6422 ((9 . 1) (10 . 3) (14 . 5) (19 . 7) (20 . 9)) 1007 0.1786 4.4178 ((6 . 7) (7 . 8) (19 . 17) (20 . 18) (21 . 19)) 1008 0.1429 5.8429 ((19 . 3) (23 . 8) (26 . 13) (27 . 15)) 1034 0.1786 3.9261 ((19 . 20) (20 . 21) (21 . 22) (23 . 29) (27 . 32)) 1043 0.1429 4.2086 ((21 . 10) (23 . 12) (24 . 14) (27 . 17)) 1082 0.1786 7.1599 ((18 . 1) (19 . 3) (20 . 4) (25 . 8) (26 . 9)) 1084 0.1429 5.5126 ((24 . 11) (25 . 12) (28 . 17) (30 . 18)) 1121 0.1734 5.1784 ((27 . 2) (28 . 3) (29 . 4) (30 . 5) (31 . 6)) 1165 0.2582 5.6849 ((16 . 2) (18 . 3) (19 . 4) (20 . 7) (23 . 10) (24 . 12) (25 . 19) (29 . 21)) 1167 0.1429 7.0592 ((19 . 20) (20 . 21) (21 . 22) (25 . 27)) 1169 0.2143 5.0047 ((23 . 31) (24 . 32) (25 . 33) (28 . 34) (29 . 35) (30 . 37)) 1195 0.1429 3.8907 ((14 . 2) (19 . 4) (20 . 5) (21 . 6)) 1201 0.1429 5.2911 ((5 . 16) (6 . 17) (20 . 31) (21 . 32)) 1204 0.1429 4.7901 ((23 . 1) (25 . 3) (27 . 5) (31 . 11)) 1211 0.1786 5.4993 ((23 . 9) (24 . 10) (25 . 11) (28 . 14) (29 . 15)) 1217 0.1429 4.5719 ((20 . 3) (21 . 5) (22 . 7) (23 . 9)) 1224 0.1786 6.4968 ((14 . 7) (16 . 9) (17 . 10) (20 . 14) (21 . 15)) 1233 0.2195 5.8496 ((10 . 11) (11 . 14) (12 . 17) (14 . 20) (19 . 22) (21 . 23) (22 . 24)) 1267 0.2101 9.1590 ((6 . 3) (14 . 22) (16 . 24) (17 . 33) (20 . 36) (21 . 38)) 1268 0.1429 9.1395 ((1 . 3) (3 . 4) (26 . 22) (28 . 24)) 1294 0.1786 6.8413 ((14 . 39) (21 . 43) (22 . 44) (23 . 46) (24 . 47)) 1324 0.1429 6.5743 ((3 . 1) (4 . 2) (5 . 3) (7 . 5)) 1345 0.1786 11.6368 ((3 . 5) (9 . 9) (14 . 13) (16 . 14) (22 . 18)) 1366 0.1786 4.0701 ((3 . 14) (4 . 15) (6 . 17) (9 . 21) (10 . 22)) 1388 0.1429 7.9254 ((24 . 1) (28 . 4) (29 . 5) (31 . 8)) 1410 0.1429 4.9693 ((19 . 20) (20 . 21) (22 . 23) (23 . 25)) 1425 0.1786 7.8116 ((7 . 3) (10 . 8) (11 . 10) (12 . 11) (14 . 12)) 1435 0.1757 7.3215 ((3 . 1) (4 . 2) (6 . 3) (7 . 11) (11 . 13)) 1447 0.1429 6.6214 ((1 . 3) (4 . 5) (6 . 7) (8 . 9)) 1451 0.1786 10.3461 ((16 . 1) (19 . 3) (20 . 4) (21 . 5) (24 . 8)) 1464 0.1786 5.4879 ((14 . 7) (16 . 8) (18 . 10) (21 . 13) (22 . 14)) 1476 0.1874 6.6844 ((5 . 9) (6 . 11) (7 . 14) (8 . 15) (9 . 18) (14 . 20)) 1481 0.1429 5.8110 ((9 . 1) (10 . 2) (14 . 4) (16 . 5)) 1501 0.2143 5.3853 ((5 . 1) (6 . 2) (7 . 3) (10 . 4) (11 . 7) (12 . 8)) 1513 0.1786 6.5341 ((9 . 3) (11 . 5) (19 . 11) (23 . 15) (25 . 18)) 1514 0.1429 5.8260 ((23 . 1) (25 . 3) (26 . 4) (28 . 6)) 1577 0.1429 7.7591 ((9 . 3) (10 . 4) (21 . 12) (23 . 15)) 1591 0.1429 6.5170 ((10 . 11) (14 . 14) (18 . 16) (22 . 19)) 1604 0.1429 5.4974 ((21 . 1) (22 . 3) (24 . 7) (26 . 10)) 1622 0.1429 6.9690 ((20 . 18) (22 . 20) (27 . 24) (28 . 25)) 1624 0.1429 5.9625 ((20 . 4) (21 . 5) (22 . 6) (23 . 9)) 1643 0.9989 4.1309 ((1 . 1) (3 . 2) (4 . 3) (5 . 6) (6 . 8) (7 . 9) (8 . 10) (9 . 11) (10 . 12) (11 . 15) (12 . 16) (14 . 18) (16 . 20) (17 . 23) (18 . 25) (19 . 26) (20 . 27) (21 . 28) (22 . 31) (23 . 32) (24 . 33) (25 . 34) (26 . 36) (27 . 37) (28 . 38) (29 . 39) (30 . 40) (31 . 41)) 1644 0.2143 6.0097 ((14 . 43) (19 . 47) (20 . 48) (21 . 49) (23 . 51) (24 . 52)) 1665 0.1734 6.6183 ((12 . 3) (18 . 4) (21 . 6) (24 . 8) (25 . 10)) 1690 0.1964 5.6533 ((5 . 1) (6 . 8) (7 . 11) (9 . 13) (14 . 14) (16 . 25)) 1692 0.1786 11.3279 ((17 . 5) (18 . 6) (19 . 7) (21 . 8) (22 . 9)) 1731 0.1786 6.0608 ((19 . 3) (20 . 6) (23 . 8) (24 . 12) (28 . 13)) 1736 0.1786 11.9059 ((16 . 1) (19 . 3) (21 . 5) (27 . 10) (29 . 12)) 1738 0.2143 4.9502 ((20 . 4) (22 . 6) (24 . 9) (26 . 11) (27 . 13) (30 . 17)) 1747 0.3928 3.8148 ((12 . 4) (14 . 6) (16 . 7) (19 . 10) (20 . 11) (21 . 12) (22 . 13) (23 . 15) (24 . 16) (25 . 18) (26 . 19)) 1756 0.1429 5.9488 ((1 . 23) (3 . 25) (4 . 26) (6 . 29)) 1759 0.2857 5.2566 ((21 . 1) (23 . 4) (24 . 5) (25 . 6) (26 . 8) (27 . 9) (28 . 10) (29 . 11)) 1761 0.1786 5.5684 ((5 . 9) (7 . 11) (9 . 13) (16 . 19) (17 . 20)) 1763 0.1429 6.0801 ((20 . 7) (21 . 9) (22 . 10) (25 . 13)) 1776 0.1786 7.3588 ((10 . 1) (14 . 7) (17 . 9) (20 . 12) (22 . 14)) 1777 0.1579 5.9629 ((10 . 42) (11 . 45) (14 . 47) (16 . 50) (17 . 52)) 1778 0.1786 4.0015 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (23 . 12)) 1793 0.1429 5.4508 ((5 . 3) (7 . 4) (19 . 11) (21 . 12)) 1805 0.1786 5.8302 ((9 . 3) (10 . 4) (11 . 7) (12 . 8) (14 . 9)) 1808 0.1786 6.4017 ((23 . 2) (24 . 4) (25 . 5) (29 . 8) (30 . 9)) 1817 0.1786 3.7347 ((9 . 13) (10 . 14) (11 . 15) (12 . 16) (17 . 18)) 1867 0.1429 4.1684 ((5 . 1) (6 . 3) (9 . 6) (10 . 7)) 1894 0.1786 10.3227 ((20 . 12) (26 . 19) (28 . 21) (29 . 22) (31 . 25)) 1896 0.2125 5.8296 ((14 . 3) (16 . 5) (18 . 22) (19 . 23) (20 . 25) (21 . 26)) 1897 0.1429 7.5572 ((6 . 34) (11 . 39) (12 . 40) (16 . 43)) 1908 0.1429 9.1636 ((8 . 7) (10 . 10) (12 . 15) (17 . 17)) 1909 0.1737 7.4159 ((5 . 25) (6 . 29) (7 . 31) (10 . 34) (11 . 37) (12 . 39)) 1913 0.2355 8.1438 ((14 . 4) (19 . 7) (20 . 10) (21 . 14) (23 . 17) (24 . 20) (25 . 23) (26 . 25)) 1944 0.1429 5.3646 ((6 . 3) (8 . 5) (28 . 23) (29 . 24)) 1957 0.1956 9.2320 ((14 . 1) (16 . 3) (20 . 5) (21 . 7) (24 . 9) (25 . 21) (29 . 22)) 1961 0.1786 4.0818 ((19 . 14) (20 . 15) (21 . 16) (25 . 19) (26 . 20)) 1967 0.1579 8.8366 ((11 . 3) (12 . 7) (17 . 10) (19 . 13) (27 . 14)) 1972 0.1429 7.2878 ((3 . 18) (5 . 20) (9 . 24) (11 . 27)) 1992 0.1429 9.5213 ((8 . 1) (9 . 2) (10 . 3) (20 . 12)) 1995 0.2141 5.6776 ((9 . 1) (10 . 2) (14 . 7) (16 . 8) (17 . 9) (18 . 11)) 2003 0.1786 5.8119 ((9 . 8) (10 . 9) (11 . 10) (12 . 11) (14 . 12)) 2006 0.6352 5.0805 ((1 . 12) (3 . 13) (4 . 14) (5 . 15) (6 . 16) (7 . 18) (8 . 20) (9 . 21) (10 . 22) (14 . 24) (19 . 1) (20 . 2) (21 . 4) (22 . 5) (23 . 7) (24 . 8) (25 . 9) (30 . 10) (31 . 11)) 2045 0.1429 4.6614 ((3 . 1) (4 . 2) (6 . 3) (9 . 7)) 2048 0.1786 6.6615 ((19 . 1) (20 . 4) (21 . 6) (23 . 13) (28 . 16)) 2054 0.1429 6.2025 ((11 . 1) (12 . 2) (21 . 13) (22 . 14)) 2063 0.1786 7.1481 ((5 . 42) (6 . 43) (7 . 44) (11 . 49) (12 . 50)) 2065 0.1429 4.0079 ((21 . 22) (22 . 23) (23 . 26) (24 . 27)) 2067 0.1429 5.8683 ((16 . 55) (18 . 57) (20 . 59) (21 . 60)) 2072 0.1786 6.9415 ((23 . 1) (24 . 2) (28 . 4) (29 . 6) (30 . 7)) 2081 0.1786 6.6695 ((4 . 5) (10 . 10) (22 . 19) (23 . 20) (24 . 21)) 2083 0.1429 6.3801 ((21 . 1) (22 . 2) (24 . 4) (26 . 7)) 2097 0.1429 9.2832 ((1 . 6) (3 . 7) (7 . 14) (10 . 18)) 2114 0.1429 4.8196 ((9 . 28) (10 . 29) (14 . 34) (16 . 36)) 2116 0.1786 6.4068 ((19 . 5) (20 . 6) (21 . 7) (22 . 8) (23 . 10)) 2117 0.2500 5.0088 ((19 . 5) (20 . 6) (22 . 9) (23 . 11) (24 . 12) (26 . 14) (30 . 20)) 2118 0.1429 5.6303 ((14 . 4) (16 . 5) (25 . 11) (26 . 12)) 2122 0.1429 4.0396 ((6 . 14) (7 . 15) (9 . 17) (12 . 22)) 2166 0.1786 7.2424 ((23 . 12) (24 . 13) (28 . 15) (29 . 16) (30 . 17)) 2179 0.1786 3.8442 ((21 . 5) (22 . 6) (23 . 7) (24 . 9) (25 . 10)) 2196 0.1786 4.1145 ((18 . 10) (21 . 13) (23 . 17) (24 . 18) (25 . 19)) 2203 0.1429 7.5984 ((24 . 1) (28 . 5) (29 . 7) (31 . 10)) 2205 0.1786 4.0770 ((3 . 13) (4 . 15) (7 . 17) (9 . 19) (10 . 20)) 2209 0.2143 7.8275 ((19 . 3) (21 . 5) (22 . 6) (23 . 7) (25 . 9) (27 . 10)) 2220 0.1429 4.0482 ((14 . 2) (16 . 3) (17 . 4) (19 . 7)) 2243 0.1786 5.5571 ((8 . 42) (9 . 44) (10 . 45) (26 . 59) (28 . 61)) 2244 0.2143 5.1310 ((5 . 73) (6 . 74) (7 . 75) (10 . 78) (11 . 79) (12 . 80)) 2248 0.1348 13.2231 ((3 . 16) (9 . 22) (14 . 27) (16 . 28)) 2249 0.1786 9.2645 ((12 . 11) (14 . 12) (18 . 16) (22 . 21) (23 . 23)) 2269 0.1429 6.9346 ((7 . 6) (8 . 7) (9 . 8) (12 . 10)) 2279 0.2116 8.3046 ((18 . 5) (20 . 7) (22 . 9) (23 . 11) (27 . 19) (28 . 20)) 2298 0.1786 5.4069 ((19 . 6) (21 . 8) (25 . 12) (27 . 15) (29 . 17)) 2308 0.1429 6.4533 ((7 . 4) (8 . 5) (9 . 6) (12 . 8)) 2314 0.1786 7.2092 ((23 . 2) (24 . 3) (25 . 4) (28 . 7) (29 . 8)) 2340 0.1429 5.3155 ((20 . 9) (23 . 11) (24 . 13) (25 . 14)) 2344 0.2101 5.2848 ((9 . 1) (10 . 3) (14 . 6) (16 . 10) (17 . 13) (18 . 20)) 2364 0.2266 8.5094 ((5 . 7) (6 . 9) (7 . 12) (9 . 15) (10 . 18) (11 . 19) (16 . 20)) 2381 0.1429 3.6401 ((9 . 3) (10 . 4) (11 . 5) (12 . 6)) 2389 0.1924 7.3048 ((23 . 3) (24 . 5) (25 . 6) (26 . 7) (29 . 8) (30 . 10)) 2408 0.2143 9.1037 ((16 . 32) (18 . 33) (22 . 39) (23 . 40) (24 . 41) (25 . 42)) 2409 0.1429 3.8903 ((9 . 4) (14 . 5) (16 . 6) (19 . 8)) 2422 0.2143 6.7048 ((1 . 1) (3 . 4) (5 . 6) (6 . 7) (7 . 8) (31 . 9)) 2423 0.2143 6.4856 ((11 . 16) (12 . 17) (17 . 19) (19 . 20) (20 . 21) (21 . 22)) 2440 0.1429 4.9671 ((23 . 4) (27 . 7) (28 . 8) (29 . 9)) 2447 0.1786 6.6903 ((19 . 13) (20 . 15) (23 . 18) (27 . 21) (28 . 24)) 2462 0.1786 5.5562 ((3 . 3) (5 . 6) (6 . 7) (10 . 11) (11 . 12)) 2510 0.2058 6.6979 ((11 . 9) (20 . 17) (21 . 19) (22 . 21) (23 . 23) (27 . 25) (28 . 27)) 2525 0.1429 8.1268 ((23 . 41) (27 . 45) (29 . 47) (30 . 48)) 2529 0.1429 4.6874 ((20 . 1) (22 . 3) (23 . 5) (24 . 6)) 2533 0.1786 5.4970 ((5 . 6) (7 . 8) (9 . 9) (19 . 18) (20 . 19)) 2551 0.1429 7.3338 ((7 . 9) (9 . 11) (10 . 12) (12 . 14)) 2556 0.1964 5.6197 ((6 . 11) (7 . 13) (8 . 16) (9 . 18) (10 . 20) (14 . 22)) 2561 0.1685 7.2650 ((19 . 1) (22 . 6) (23 . 7) (24 . 8) (25 . 9)) 2595 0.2143 5.3814 ((9 . 1) (10 . 4) (14 . 6) (19 . 9) (20 . 11) (24 . 13)) 2619 0.1786 5.5135 ((20 . 1) (21 . 2) (22 . 3) (24 . 5) (26 . 7)) 2650 0.1786 7.3075 ((19 . 2) (23 . 5) (24 . 6) (25 . 7) (26 . 8)) 2658 0.1429 9.5161 ((3 . 1) (6 . 3) (14 . 10) (21 . 14)) 2675 0.1786 4.4775 ((6 . 3) (7 . 4) (8 . 5) (9 . 8) (10 . 10)) 2682 0.1429 5.7259 ((14 . 1) (18 . 3) (28 . 12) (29 . 13)) 2696 0.1924 8.0292 ((12 . 31) (14 . 32) (16 . 34) (17 . 35) (19 . 36) (20 . 37)) 2733 0.1579 6.9044 ((1 . 1) (3 . 2) (4 . 4) (6 . 8) (7 . 11)) 2755 0.1786 5.1418 ((20 . 3) (22 . 5) (24 . 6) (26 . 8) (28 . 10)) 2773 0.1429 5.3629 ((23 . 2) (24 . 3) (28 . 5) (29 . 6)) 2783 0.1429 5.5194 ((23 . 6) (24 . 7) (25 . 8) (29 . 12)) 2804 0.1786 10.1557 ((10 . 29) (11 . 31) (12 . 32) (14 . 34) (16 . 36)) 2821 0.1786 4.7284 ((1 . 1) (3 . 2) (4 . 3) (28 . 11) (30 . 13)) 2830 0.2186 5.6240 ((1 . 11) (3 . 13) (5 . 15) (6 . 17) (9 . 19) (10 . 25) (11 . 26) (12 . 27)) 2834 0.1786 7.2680 ((19 . 1) (21 . 3) (22 . 5) (23 . 6) (25 . 8)) 2840 0.1786 5.6224 ((19 . 1) (21 . 5) (22 . 6) (25 . 9) (26 . 11)) 2842 0.1429 7.4189 ((1 . 4) (3 . 5) (8 . 9) (12 . 11)) 2867 0.1429 6.4281 ((27 . 2) (28 . 7) (30 . 8) (31 . 9)) 2879 0.2143 8.2359 ((5 . 51) (6 . 52) (7 . 53) (8 . 54) (10 . 57) (11 . 58)) 2886 0.1786 6.6015 ((19 . 35) (20 . 37) (21 . 38) (22 . 39) (23 . 41)) 2940 0.1429 5.0716 ((19 . 1) (23 . 4) (24 . 5) (25 . 6)) 2947 0.1786 9.1339 ((6 . 4) (10 . 6) (11 . 7) (16 . 12) (18 . 13)) 2955 0.1931 7.0761 ((14 . 8) (19 . 9) (20 . 10) (23 . 11) (24 . 12) (25 . 13) (28 . 15) (29 . 17) (30 . 18)) 2966 0.1786 4.9143 ((1 . 3) (9 . 11) (10 . 12) (11 . 13) (12 . 15)) 2990 0.1768 7.8493 ((7 . 9) (8 . 12) (11 . 15) (19 . 19) (20 . 20)) 2999 0.1429 5.2163 ((5 . 2) (7 . 4) (9 . 6) (10 . 7)) 3014 0.1429 8.2607 ((14 . 22) (16 . 23) (18 . 24) (24 . 33)) 3019 0.1429 5.9565 ((11 . 9) (12 . 10) (30 . 22) (31 . 25)) 3034 0.1429 9.2557 ((22 . 1) (24 . 5) (26 . 7) (30 . 9)) 3041 0.2125 5.7650 ((10 . 14) (14 . 16) (16 . 18) (18 . 22) (24 . 32) (25 . 33)) 3055 0.2857 3.1106 ((3 . 1) (5 . 3) (6 . 4) (7 . 5) (9 . 7) (10 . 8) (11 . 9) (27 . 27)) 3063 0.1786 6.5505 ((19 . 35) (20 . 37) (21 . 38) (22 . 39) (25 . 41)) 3070 0.1429 4.5959 ((16 . 32) (18 . 33) (20 . 35) (21 . 36)) 3084 0.1786 5.0555 ((19 . 13) (21 . 15) (23 . 17) (27 . 21) (30 . 24)) 3102 0.1786 5.9923 ((20 . 57) (27 . 66) (28 . 67) (29 . 68) (30 . 69)) 3103 0.1429 6.1977 ((27 . 1) (28 . 2) (29 . 3) (30 . 5)) 3114 0.1429 4.8669 ((6 . 23) (7 . 24) (8 . 25) (12 . 29)) 3127 0.1786 8.0945 ((22 . 4) (23 . 6) (25 . 8) (27 . 11) (29 . 13)) 3147 0.4643 3.2980 ((5 . 1) (6 . 2) (7 . 3) (11 . 7) (14 . 12) (16 . 13) (19 . 16) (20 . 17) (21 . 18) (22 . 19) (23 . 20) (24 . 21) (25 . 22)) 3187 0.1786 7.9961 ((23 . 3) (24 . 4) (25 . 5) (26 . 6) (30 . 9)) 3190 0.1786 5.7663 ((14 . 1) (18 . 3) (20 . 6) (22 . 9) (24 . 11)) 3197 0.2696 10.8090 ((1 . 9) (6 . 10) (7 . 12) (8 . 14) (10 . 16) (14 . 21) (23 . 28) (31 . 32)) 3200 0.1429 4.9277 ((16 . 1) (19 . 3) (20 . 4) (26 . 11)) 3202 0.1429 5.1933 ((6 . 8) (7 . 9) (19 . 18) (20 . 19)) 3212 0.1429 3.0647 ((5 . 2) (6 . 3) (7 . 5) (8 . 9)) 3222 0.1786 6.5309 ((7 . 7) (8 . 8) (14 . 15) (16 . 16) (19 . 19)) 3256 0.1786 8.3714 ((14 . 16) (18 . 20) (22 . 25) (23 . 26) (24 . 28)) 3261 0.2496 4.9105 ((9 . 1) (10 . 2) (11 . 3) (14 . 6) (19 . 7) (20 . 8) (21 . 9)) 3286 0.1786 8.6926 ((5 . 3) (7 . 4) (8 . 5) (10 . 7) (14 . 9)) 3289 0.1429 5.1070 ((11 . 25) (12 . 27) (14 . 29) (16 . 30)) 3297 0.1786 10.4601 ((6 . 4) (8 . 7) (11 . 8) (12 . 9) (16 . 11)) 3300 0.1429 4.1477 ((19 . 1) (20 . 2) (21 . 4) (22 . 5)) 3322 0.1429 4.5673 ((23 . 1) (24 . 3) (25 . 5) (27 . 7)) 3334 0.1786 7.7446 ((3 . 4) (4 . 5) (8 . 10) (14 . 14) (16 . 15)) 3339 0.1786 4.5171 ((14 . 11) (20 . 17) (22 . 19) (24 . 21) (25 . 22)) 3344 0.1737 7.0905 ((19 . 18) (20 . 20) (23 . 21) (25 . 22) (26 . 26) (27 . 27)) 3358 0.1784 13.8579 ((17 . 2) (20 . 4) (22 . 7) (26 . 12) (30 . 15)) 3362 0.1734 4.7732 ((5 . 4) (6 . 6) (8 . 8) (9 . 10) (10 . 11)) 3366 0.1429 5.8073 ((21 . 23) (22 . 24) (29 . 31) (30 . 32)) 3391 0.1786 10.1854 ((10 . 6) (12 . 8) (14 . 10) (22 . 17) (27 . 21)) 3410 0.1786 4.4271 ((19 . 19) (20 . 21) (21 . 24) (23 . 28) (27 . 30)) 3418 0.1429 3.9691 ((14 . 2) (19 . 5) (20 . 6) (21 . 7)) 3472 0.2143 4.9917 ((19 . 1) (20 . 3) (21 . 4) (22 . 5) (24 . 8) (25 . 9)) 3481 0.1786 5.9052 ((20 . 4) (21 . 7) (22 . 8) (24 . 10) (26 . 12)) 3489 0.1429 5.7556 ((1 . 4) (6 . 10) (7 . 12) (8 . 14)) 3495 0.1786 5.2320 ((21 . 1) (22 . 2) (23 . 3) (27 . 7) (28 . 8)) 3496 0.1429 5.4880 ((19 . 18) (20 . 19) (24 . 22) (25 . 23)) 3533 0.1429 6.3646 ((10 . 3) (11 . 5) (14 . 8) (17 . 10)) 3537 0.1429 10.3633 ((6 . 2) (10 . 7) (14 . 9) (16 . 10)) 3538 0.1429 4.8867 ((14 . 18) (16 . 20) (24 . 25) (25 . 26)) 3548 0.1786 5.9007 ((6 . 3) (7 . 4) (8 . 5) (9 . 6) (10 . 8)) 3561 0.1786 7.6068 ((14 . 18) (16 . 19) (23 . 26) (25 . 28) (26 . 30)) 3570 0.1786 5.5576 ((14 . 1) (18 . 3) (21 . 7) (22 . 8) (24 . 10)) 3585 0.1786 4.5965 ((5 . 11) (6 . 12) (7 . 13) (8 . 14) (12 . 16)) 3613 0.1429 6.7908 ((16 . 35) (17 . 36) (21 . 40) (22 . 41)) 3625 0.1786 7.2841 ((21 . 1) (22 . 2) (24 . 5) (25 . 6) (28 . 7)) 3626 0.1786 6.2934 ((27 . 2) (28 . 3) (29 . 6) (30 . 8) (31 . 11)) 3628 0.1874 6.3934 ((20 . 6) (21 . 8) (22 . 9) (23 . 10) (27 . 12) (28 . 14)) 3651 0.1429 5.6055 ((19 . 3) (21 . 5) (23 . 8) (24 . 9)) 3658 0.2143 4.8211 ((5 . 1) (9 . 5) (10 . 6) (11 . 7) (12 . 8) (26 . 18)) 3659 0.1768 6.0478 ((24 . 5) (25 . 7) (26 . 8) (28 . 9) (29 . 12)) 3661 0.1786 5.8539 ((3 . 7) (7 . 11) (8 . 12) (19 . 23) (20 . 24)) 3688 0.1785 9.1468 ((4 . 14) (12 . 20) (21 . 27) (22 . 28) (31 . 38)) 3697 0.1786 6.6764 ((20 . 1) (21 . 3) (22 . 4) (27 . 7) (31 . 10)) 3703 0.2857 7.9876 ((5 . 1) (6 . 2) (11 . 3) (12 . 4) (14 . 6) (19 . 7) (20 . 8) (23 . 9)) 3732 0.1768 4.6834 ((14 . 5) (16 . 7) (17 . 9) (19 . 11) (20 . 12)) 3733 0.1429 4.7850 ((19 . 1) (21 . 3) (23 . 6) (25 . 8)) 3740 0.1786 3.6702 ((21 . 2) (23 . 4) (24 . 5) (25 . 6) (26 . 7)) 3741 0.1786 5.0199 ((9 . 1) (10 . 2) (11 . 3) (12 . 4) (20 . 13)) 3776 0.1429 8.0305 ((21 . 19) (22 . 20) (23 . 21) (25 . 24)) 3778 0.1429 4.9101 ((9 . 2) (10 . 3) (16 . 6) (23 . 13)) 3787 0.1786 5.7666 ((11 . 12) (19 . 17) (21 . 19) (23 . 21) (25 . 23)) 3790 0.2857 3.3525 ((5 . 15) (6 . 16) (7 . 18) (14 . 25) (21 . 30) (22 . 31) (24 . 33) (25 . 35)) 3807 0.1429 3.6533 ((20 . 43) (23 . 46) (24 . 47) (28 . 50)) 3810 0.2101 4.2500 ((20 . 8) (21 . 9) (22 . 10) (24 . 14) (25 . 15) (26 . 16)) 3817 0.1786 8.7453 ((1 . 1) (8 . 7) (10 . 9) (20 . 15) (21 . 16)) 3818 0.1429 10.0324 ((10 . 20) (14 . 23) (20 . 28) (21 . 29)) 3831 0.1786 4.9146 ((6 . 2) (7 . 3) (9 . 5) (10 . 6) (14 . 9)) 3847 0.1429 5.6657 ((14 . 9) (16 . 13) (20 . 16) (21 . 17)) 3849 0.1429 6.6731 ((21 . 2) (22 . 3) (23 . 5) (26 . 8)) 3853 0.1429 7.9540 ((1 . 3) (4 . 6) (6 . 8) (12 . 12)) 3856 0.1429 6.1213 ((18 . 3) (20 . 6) (21 . 7) (23 . 10)) 3870 0.1429 4.4018 ((10 . 5) (14 . 8) (18 . 10) (22 . 13)) 3933 0.1786 7.4446 ((5 . 8) (6 . 9) (10 . 15) (11 . 17) (12 . 18)) 3938 0.1786 5.7779 ((6 . 2) (7 . 4) (9 . 6) (10 . 8) (11 . 9)) 3968 0.1429 5.2376 ((19 . 3) (21 . 5) (23 . 9) (25 . 11)) 3986 0.1785 15.8933 ((5 . 2) (17 . 15) (22 . 21) (26 . 27) (28 . 28)) 3990 0.2195 6.2481 ((1 . 18) (3 . 20) (4 . 22) (5 . 23) (6 . 24) (7 . 25) (31 . 26)) 4005 0.1786 7.9038 ((11 . 8) (12 . 9) (21 . 18) (22 . 19) (29 . 30)) 4009 0.1447 6.4309 ((11 . 1) (12 . 7) (20 . 13) (21 . 19) (24 . 21)) 4019 0.2500 4.5873 ((6 . 34) (7 . 35) (11 . 39) (14 . 44) (16 . 45) (19 . 46) (20 . 47)) 4034 0.1786 6.3082 ((1 . 6) (6 . 9) (7 . 10) (8 . 12) (14 . 16)) 4067 0.1924 4.9812 ((14 . 14) (16 . 16) (19 . 20) (20 . 22) (23 . 24) (25 . 25)) 4082 0.1786 4.4189 ((25 . 5) (26 . 6) (27 . 7) (28 . 8) (31 . 10)) 4087 0.1429 5.0830 ((20 . 5) (21 . 6) (22 . 7) (23 . 8)) 4112 0.1786 4.0723 ((5 . 1) (6 . 2) (7 . 3) (8 . 4) (10 . 6)) 4115 0.1757 7.8738 ((7 . 1) (20 . 13) (22 . 15) (24 . 17) (26 . 19)) 4151 0.1873 7.5968 ((9 . 5) (14 . 7) (16 . 9) (18 . 12) (20 . 15) (21 . 17)) 4154 0.1429 3.1675 ((9 . 54) (10 . 55) (11 . 56) (12 . 57)) 4177 0.1429 5.2336 ((6 . 2) (10 . 7) (11 . 8) (12 . 9)) 4190 0.1429 11.0427 ((3 . 1) (4 . 3) (11 . 8) (12 . 9)) 4192 0.1429 7.3622 ((1 . 10) (4 . 13) (6 . 15) (16 . 23)) 4194 0.1786 3.7712 ((19 . 1) (21 . 3) (23 . 5) (24 . 6) (25 . 7)) 4195 0.1429 8.1976 ((1 . 6) (7 . 9) (20 . 14) (21 . 15)) 4204 0.1786 5.4958 ((18 . 7) (20 . 9) (22 . 11) (24 . 14) (25 . 15)) 4209 0.1786 8.2292 ((12 . 1) (16 . 2) (18 . 4) (20 . 5) (21 . 7)) 4210 0.1685 5.8740 ((20 . 4) (24 . 5) (25 . 6) (26 . 8) (30 . 11)) 4226 0.1836 5.4240 ((1 . 1) (3 . 4) (6 . 6) (7 . 8) (8 . 9) (27 . 22) (28 . 24)) 4232 0.1429 8.3772 ((4 . 2) (5 . 3) (8 . 5) (9 . 6)) 4236 0.1429 3.7363 ((14 . 5) (19 . 6) (20 . 7) (21 . 8)) 4246 0.1786 8.6073 ((23 . 2) (24 . 3) (25 . 5) (27 . 7) (30 . 11)) 4254 0.1786 11.4660 ((22 . 9) (23 . 11) (25 . 13) (27 . 15) (29 . 18)) 4255 0.1429 6.1369 ((14 . 21) (18 . 23) (19 . 24) (21 . 26)) 4257 0.1785 5.2255 ((14 . 8) (16 . 9) (17 . 10) (18 . 11) (24 . 12)) 4265 0.1768 5.2191 ((18 . 20) (19 . 21) (20 . 23) (23 . 26) (27 . 29)) 4266 0.1685 5.8113 ((24 . 2) (25 . 4) (26 . 6) (27 . 8) (28 . 12)) 4274 0.1429 6.0552 ((7 . 36) (9 . 38) (11 . 40) (12 . 41)) 4275 0.1786 4.3272 ((14 . 21) (16 . 23) (19 . 25) (20 . 27) (21 . 28)) 4281 0.1786 6.6484 ((6 . 3) (7 . 4) (8 . 5) (10 . 8) (12 . 10)) 4284 0.1786 9.7172 ((3 . 1) (5 . 3) (6 . 4) (7 . 5) (10 . 8)) 4299 0.1786 5.5228 ((12 . 14) (14 . 16) (16 . 19) (18 . 20) (19 . 22)) 4301 0.1786 6.5209 ((23 . 2) (24 . 3) (25 . 4) (26 . 6) (29 . 10)) 4326 0.2125 5.9736 ((9 . 2) (10 . 7) (12 . 10) (14 . 15) (19 . 17) (20 . 19)) 4332 0.1429 5.9460 ((19 . 2) (20 . 4) (22 . 6) (24 . 9)) 4338 0.1429 5.5882 ((6 . 4) (7 . 6) (11 . 7) (12 . 8)) 4359 0.5714 2.6441 ((1 . 7) (3 . 8) (4 . 9) (5 . 10) (6 . 11) (7 . 12) (9 . 13) (10 . 14) (11 . 15) (12 . 16) (14 . 18) (16 . 19) (19 . 21) (20 . 22) (21 . 23) (22 . 24)) 4380 0.1786 4.7706 ((19 . 2) (27 . 14) (28 . 15) (29 . 17) (30 . 18)) 4383 0.1786 6.6369 ((21 . 15) (23 . 17) (24 . 18) (25 . 19) (27 . 21)) 4386 0.1429 5.0879 ((7 . 16) (10 . 18) (11 . 19) (12 . 21)) 4388 0.1786 5.1994 ((25 . 5) (26 . 6) (27 . 8) (28 . 9) (29 . 10)) 4398 0.1786 5.7085 ((6 . 4) (8 . 6) (10 . 8) (12 . 10) (14 . 12)) 4405 0.1786 6.9563 ((5 . 14) (9 . 18) (10 . 19) (12 . 21) (14 . 22)) 4408 0.1786 4.9396 ((19 . 2) (20 . 3) (21 . 4) (28 . 13) (29 . 14)) 4415 0.1429 7.0908 ((20 . 1) (22 . 3) (23 . 4) (29 . 11)) 4419 0.1786 8.6558 ((19 . 3) (22 . 6) (23 . 8) (24 . 9) (25 . 10)) 4470 0.2021 7.4871 ((5 . 1) (6 . 5) (7 . 7) (8 . 8) (9 . 12) (19 . 14) (20 . 18) (21 . 19) (22 . 20) (26 . 25)) 4491 0.1429 6.6840 ((21 . 1) (23 . 5) (24 . 6) (26 . 8)) 4492 0.1786 4.3763 ((23 . 2) (24 . 3) (25 . 4) (26 . 5) (28 . 8)) 4495 0.1429 6.6142 ((3 . 6) (5 . 8) (7 . 10) (25 . 16)) 4497 0.1786 6.2945 ((19 . 24) (20 . 25) (21 . 26) (22 . 27) (23 . 28)) 4502 0.2143 8.5781 ((16 . 1) (23 . 6) (25 . 9) (26 . 10) (27 . 11) (31 . 17)) 4503 0.1429 5.6345 ((6 . 1) (9 . 6) (10 . 7) (12 . 9)) 4504 0.2143 7.1361 ((10 . 6) (18 . 13) (22 . 17) (24 . 20) (25 . 21) (26 . 22)) 4505 0.1429 5.5200 ((3 . 25) (4 . 26) (6 . 28) (8 . 30)) 4516 0.2500 7.6550 ((10 . 14) (19 . 18) (23 . 20) (24 . 22) (27 . 24) (28 . 26) (29 . 28)) 4527 0.1348 13.0205 ((4 . 1) (9 . 6) (10 . 7) (12 . 8)) 4538 0.1429 3.4420 ((5 . 31) (7 . 33) (8 . 34) (11 . 38)) 4551 0.2022 5.4853 ((14 . 1) (16 . 2) (19 . 4) (23 . 8) (27 . 17) (28 . 18)) 4560 0.2143 7.2772 ((1 . 2) (3 . 4) (8 . 8) (10 . 11) (14 . 14) (16 . 16)) 4561 0.2143 4.4924 ((20 . 5) (22 . 7) (24 . 9) (27 . 13) (28 . 14) (29 . 15)) 4562 0.1779 5.7434 ((14 . 19) (18 . 22) (20 . 25) (21 . 27) (22 . 29)) 4563 0.1429 5.0193 ((21 . 28) (23 . 31) (27 . 34) (30 . 35)) 4577 0.1786 7.1953 ((6 . 29) (19 . 41) (20 . 42) (21 . 43) (30 . 52)) 4588 0.1874 5.5068 ((20 . 1) (21 . 3) (22 . 9) (24 . 11) (25 . 13) (28 . 16)) 4589 0.1429 5.5178 ((1 . 19) (3 . 22) (8 . 27) (10 . 29)) 4607 0.1429 9.3985 ((5 . 3) (6 . 4) (29 . 24) (30 . 27)) 4621 0.1786 5.8975 ((6 . 3) (7 . 4) (10 . 8) (11 . 9) (12 . 11)) 4630 0.2143 7.2968 ((14 . 11) (19 . 15) (24 . 20) (27 . 24) (28 . 26) (29 . 27)) 4648 0.1429 6.3776 ((23 . 1) (24 . 2) (26 . 5) (29 . 8)) 4653 0.1786 5.8490 ((16 . 5) (18 . 6) (19 . 7) (20 . 8) (21 . 9)) 4665 0.1429 3.7656 ((5 . 11) (6 . 12) (7 . 13) (8 . 14)) 4668 0.2022 5.3634 ((9 . 1) (10 . 3) (12 . 5) (14 . 7) (19 . 9) (20 . 11)) 4669 0.1429 4.3533 ((9 . 12) (10 . 13) (14 . 17) (20 . 21)) 4671 0.1786 6.0535 ((11 . 1) (12 . 2) (24 . 11) (25 . 12) (27 . 15)) 4674 0.1785 10.1452 ((11 . 1) (12 . 2) (17 . 6) (18 . 7) (19 . 8)) 4678 0.1429 5.2904 ((18 . 11) (20 . 12) (23 . 15) (24 . 16)) 4713 0.1786 6.3312 ((19 . 3) (21 . 5) (22 . 6) (23 . 7) (25 . 9)) 4731 0.1429 4.3178 ((19 . 18) (23 . 22) (24 . 23) (25 . 24)) 4734 0.1784 8.0352 ((26 . 2) (27 . 3) (28 . 4) (30 . 7) (31 . 8)) 4857 0.1786 7.6511 ((19 . 2) (20 . 3) (22 . 5) (25 . 9) (26 . 11)) 4886 0.2143 5.4528 ((14 . 19) (20 . 22) (23 . 24) (28 . 29) (29 . 30) (30 . 31)) 4888 0.1429 5.4693 ((6 . 12) (7 . 13) (10 . 16) (11 . 17)) 4889 0.1429 5.0304 ((9 . 4) (14 . 7) (20 . 11) (21 . 12)) 4907 0.1768 5.5065 ((20 . 1) (24 . 3) (25 . 4) (26 . 5) (27 . 8)) 4914 0.1786 4.5267 ((7 . 1) (10 . 4) (11 . 5) (12 . 6) (14 . 8)) 4921 0.1786 6.2549 ((5 . 7) (6 . 8) (7 . 9) (9 . 12) (12 . 14)) 4929 0.1786 5.4876 ((1 . 26) (6 . 29) (7 . 31) (8 . 32) (9 . 33)) 4932 0.1786 6.4270 ((14 . 1) (16 . 2) (20 . 6) (22 . 8) (24 . 10)) 4940 0.2143 6.7835 ((17 . 4) (19 . 9) (20 . 10) (23 . 11) (24 . 12) (25 . 13)) 4944 0.1786 6.1390 ((1 . 11) (3 . 13) (4 . 14) (5 . 15) (6 . 16)) 4961 0.1429 6.7038 ((9 . 3) (11 . 6) (19 . 12) (23 . 17)) 4978 0.2266 5.6725 ((9 . 18) (10 . 21) (11 . 22) (12 . 24) (19 . 28) (20 . 30) (24 . 32)) 4982 0.1429 7.0732 ((6 . 1) (8 . 3) (12 . 6) (21 . 14)) 4992 0.1786 5.0245 ((16 . 1) (18 . 2) (19 . 3) (23 . 6) (25 . 8)) 4998 0.1782 7.5846 ((3 . 8) (4 . 15) (7 . 19) (8 . 20) (12 . 23)) 5029 0.1685 6.5040 ((10 . 2) (11 . 4) (12 . 6) (14 . 8) (16 . 10)) 5036 0.2143 8.7457 ((14 . 1) (20 . 5) (21 . 6) (22 . 7) (23 . 8) (25 . 10)) 5038 0.1786 5.7539 ((19 . 12) (20 . 14) (21 . 15) (22 . 16) (23 . 18)) 5039 0.1579 6.9859 ((14 . 37) (16 . 39) (18 . 41) (19 . 44) (23 . 45)) 5044 0.1429 5.2569 ((3 . 1) (4 . 2) (6 . 3) (9 . 8)) 5046 0.1786 6.5639 ((19 . 1) (20 . 3) (21 . 4) (25 . 8) (26 . 10)) 5053 0.1786 5.1721 ((20 . 5) (23 . 6) (24 . 9) (25 . 10) (26 . 11)) 5065 0.2143 5.2387 ((21 . 2) (22 . 3) (23 . 8) (24 . 9) (25 . 10) (26 . 11)) 5068 0.2334 5.7542 ((5 . 2) (6 . 4) (9 . 7) (11 . 10) (27 . 17) (28 . 20) (29 . 24)) 5069 0.1931 5.1762 ((9 . 2) (10 . 4) (11 . 5) (12 . 7) (19 . 9) (23 . 15) (24 . 17) (25 . 18) (26 . 19)) 5073 0.1874 7.5447 ((6 . 32) (7 . 34) (9 . 36) (10 . 39) (14 . 42) (16 . 44)) 5083 0.1782 4.6388 ((14 . 1) (18 . 2) (20 . 5) (21 . 6) (22 . 8)) 5101 0.2074 5.6301 ((5 . 15) (6 . 18) (7 . 21) (9 . 23) (10 . 25) (16 . 26)) 5103 0.1429 5.4199 ((19 . 2) (21 . 4) (23 . 6) (25 . 9)) 5121 0.2125 7.0810 ((19 . 16) (23 . 18) (25 . 25) (26 . 26) (28 . 27) (29 . 30)) 5132 0.1786 10.0061 ((10 . 16) (16 . 20) (19 . 22) (23 . 26) (25 . 28)) 5134 0.1429 5.5547 ((5 . 2) (6 . 3) (8 . 6) (23 . 19)) 5145 0.1429 7.9600 ((7 . 3) (9 . 5) (11 . 8) (12 . 10)) 5167 0.2101 5.3917 ((14 . 1) (16 . 3) (17 . 4) (19 . 9) (23 . 12) (27 . 14)) 5176 0.1429 5.5070 ((14 . 82) (20 . 86) (21 . 87) (23 . 91)) 5183 0.1786 4.7443 ((25 . 34) (26 . 35) (27 . 36) (28 . 37) (29 . 38)) 5192 0.1786 6.5159 ((6 . 1) (8 . 3) (10 . 5) (23 . 17) (25 . 20)) 5198 0.1429 6.2388 ((3 . 24) (5 . 26) (8 . 30) (9 . 32)) 5199 0.1429 5.5767 ((19 . 7) (20 . 8) (23 . 9) (24 . 10)) 5209 0.1786 7.7266 ((19 . 4) (23 . 7) (24 . 8) (25 . 9) (26 . 10)) 5212 0.1429 6.7800 ((16 . 21) (18 . 24) (24 . 30) (25 . 31)) 5215 0.1786 5.6601 ((14 . 9) (16 . 10) (18 . 11) (22 . 15) (23 . 16)) 5223 0.1786 7.2527 ((21 . 1) (23 . 3) (25 . 6) (27 . 8) (29 . 10)) 5231 0.1706 5.0919 ((6 . 8) (7 . 12) (9 . 13) (11 . 14) (12 . 16)) 5266 0.1786 7.5718 ((10 . 4) (12 . 6) (14 . 8) (17 . 10) (20 . 13)) 5278 0.1786 7.1092 ((6 . 2) (9 . 5) (11 . 7) (12 . 8) (16 . 12)) 5307 0.1786 4.3982 ((14 . 51) (16 . 53) (19 . 55) (20 . 57) (21 . 58)) 5312 0.1429 5.4062 ((19 . 1) (20 . 2) (22 . 4) (23 . 5)) 5318 0.1429 4.7887 ((5 . 19) (10 . 22) (11 . 23) (12 . 24)) 5324 0.1786 4.5283 ((18 . 10) (20 . 12) (22 . 14) (24 . 15) (25 . 16)) 5344 0.1786 6.5598 ((6 . 4) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 5345 0.3214 4.1109 ((5 . 2) (6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (11 . 9) (14 . 13) (16 . 14)) 5368 0.5000 3.0437 ((10 . 12) (11 . 13) (12 . 14) (14 . 16) (16 . 17) (20 . 20) (21 . 21) (22 . 22) (23 . 25) (24 . 26) (25 . 27) (26 . 28) (28 . 30) (29 . 32)) 5378 0.1786 7.4610 ((3 . 4) (5 . 6) (7 . 7) (14 . 15) (16 . 16)) 5414 0.1786 5.0720 ((5 . 14) (6 . 15) (10 . 20) (11 . 21) (12 . 22)) 5418 0.1786 4.1480 ((23 . 1) (24 . 2) (25 . 3) (26 . 5) (30 . 7)) 5421 0.1429 7.4678 ((20 . 1) (21 . 2) (22 . 3) (23 . 5)) 5433 0.1429 3.7602 ((5 . 8) (6 . 10) (9 . 14) (12 . 18)) 5479 0.1786 4.6431 ((8 . 34) (9 . 35) (20 . 45) (21 . 46) (22 . 47)) 5487 0.1429 5.3748 ((19 . 4) (21 . 7) (23 . 9) (25 . 11)) 5489 0.2143 6.0438 ((20 . 5) (21 . 6) (24 . 10) (25 . 11) (29 . 16) (30 . 17)) 5500 0.1786 4.4518 ((9 . 1) (10 . 2) (11 . 3) (19 . 12) (23 . 14)) 5501 0.1495 6.6844 ((1 . 16) (3 . 17) (4 . 20) (10 . 24) (12 . 25) (31 . 30)) 5535 0.1659 7.6914 ((8 . 2) (9 . 4) (10 . 6) (11 . 7) (12 . 8)) 5540 0.1429 5.8901 ((20 . 10) (23 . 14) (24 . 16) (26 . 18)) 5557 0.1786 5.9215 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (23 . 6)) 5560 0.1429 4.6622 ((9 . 11) (10 . 13) (14 . 15) (18 . 17)) 5562 0.1786 4.7355 ((5 . 6) (6 . 7) (9 . 11) (10 . 14) (14 . 17)) 5567 0.1429 6.0545 ((1 . 15) (4 . 17) (5 . 18) (6 . 19)) 5594 0.2125 7.2109 ((18 . 1) (19 . 3) (20 . 4) (21 . 6) (22 . 9) (26 . 12)) 5600 0.1786 7.5208 ((21 . 3) (23 . 5) (24 . 6) (26 . 9) (28 . 11)) 5601 0.1786 5.6546 ((20 . 5) (22 . 7) (24 . 10) (28 . 15) (29 . 16)) 5638 0.1429 5.9027 ((21 . 7) (22 . 8) (23 . 9) (25 . 13)) 5640 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) (14 . 14) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (29 . 29) (30 . 30) (31 . 31)) 5644 0.2143 5.3182 ((3 . 1) (5 . 4) (8 . 8) (10 . 10) (11 . 11) (12 . 12)) 5656 0.2498 5.6823 ((14 . 2) (16 . 3) (20 . 9) (21 . 10) (28 . 21) (29 . 23) (30 . 24)) 5700 0.1429 4.9396 ((23 . 3) (29 . 8) (30 . 9) (31 . 11)) 5701 0.1429 5.4603 ((7 . 4) (8 . 5) (20 . 12) (22 . 14)) 5703 0.1429 4.9208 ((19 . 1) (20 . 2) (26 . 7) (27 . 8)) 5711 0.2143 8.5127 ((3 . 32) (4 . 33) (5 . 35) (7 . 37) (11 . 42) (12 . 43)) 5713 0.3214 2.5742 ((5 . 6) (6 . 7) (7 . 8) (9 . 10) (10 . 11) (11 . 13) (14 . 16) (16 . 18) (17 . 19)) 5718 0.1786 4.6366 ((20 . 16) (21 . 17) (22 . 18) (23 . 21) (25 . 24)) 5731 0.1429 3.8361 ((20 . 2) (21 . 3) (23 . 7) (26 . 9)) 5746 0.2125 6.4199 ((19 . 2) (23 . 3) (24 . 6) (25 . 7) (26 . 9) (27 . 10)) 5749 0.1429 6.2821 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 5761 0.1429 4.6134 ((5 . 30) (6 . 31) (7 . 32) (11 . 36)) 5770 0.1429 5.0300 ((10 . 6) (12 . 8) (14 . 9) (16 . 12)) 5771 0.1429 6.0524 ((19 . 9) (25 . 17) (27 . 20) (29 . 21)) 5782 0.2500 4.0916 ((1 . 15) (4 . 18) (5 . 21) (6 . 22) (8 . 24) (19 . 34) (20 . 35)) 5794 0.1786 5.2391 ((23 . 18) (24 . 19) (28 . 23) (29 . 24) (30 . 25)) 5795 0.1429 7.2188 ((22 . 9) (23 . 10) (25 . 13) (29 . 16)) 5809 0.1429 5.1968 ((20 . 9) (22 . 12) (24 . 14) (25 . 15)) 5822 0.1429 7.9019 ((14 . 1) (19 . 4) (21 . 6) (24 . 9)) 5827 0.2143 5.9716 ((18 . 11) (21 . 14) (22 . 15) (23 . 16) (24 . 17) (28 . 19)) 5830 0.1786 5.6143 ((6 . 2) (7 . 3) (10 . 7) (11 . 8) (12 . 10)) 5847 0.1786 6.1939 ((5 . 3) (7 . 7) (9 . 9) (14 . 14) (16 . 15)) 5861 0.4286 3.4129 ((1 . 1) (3 . 2) (6 . 6) (7 . 7) (10 . 11) (11 . 12) (14 . 16) (16 . 17) (20 . 21) (21 . 22) (23 . 25) (25 . 27)) 5865 0.1429 4.4005 ((18 . 2) (20 . 4) (21 . 5) (23 . 7)) 5878 0.1429 6.7025 ((6 . 25) (7 . 26) (8 . 28) (9 . 30)) 5888 0.5000 3.0704 ((1 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 10) (8 . 11) (9 . 12) (10 . 13) (11 . 14) (12 . 15) (14 . 17) (16 . 18) (17 . 19)) 5896 0.1429 5.8644 ((23 . 26) (25 . 28) (26 . 29) (28 . 31)) 5904 0.1429 8.4936 ((19 . 1) (23 . 4) (27 . 7) (29 . 9)) 5913 0.1786 5.6668 ((9 . 5) (19 . 13) (23 . 17) (25 . 20) (26 . 22)) 5914 0.1429 3.4475 ((6 . 2) (7 . 3) (9 . 5) (10 . 6)) 5922 0.1786 6.5472 ((14 . 1) (18 . 4) (21 . 8) (22 . 9) (23 . 10)) 5930 0.1429 7.3738 ((19 . 2) (21 . 4) (25 . 7) (27 . 11)) 5939 0.1647 7.2442 ((5 . 2) (6 . 4) (7 . 6) (8 . 8) (11 . 9) (18 . 10)) 5945 0.1429 4.8606 ((5 . 11) (7 . 13) (8 . 14) (21 . 28)) 5949 0.1429 6.0367 ((20 . 4) (24 . 9) (26 . 12) (28 . 14)) 5955 0.2381 5.2106 ((14 . 1) (16 . 3) (19 . 7) (23 . 9) (27 . 14) (28 . 16) (29 . 17)) 5977 0.1429 6.2951 ((21 . 1) (23 . 3) (25 . 5) (26 . 6)) 6000 0.1579 6.7403 ((16 . 14) (18 . 15) (21 . 17) (22 . 21) (25 . 28)) 6011 0.2143 5.0000 ((1 . 5) (7 . 10) (9 . 13) (10 . 14) (11 . 15) (14 . 18)) 6022 0.1786 5.6906 ((25 . 4) (26 . 5) (27 . 7) (28 . 8) (29 . 9)) 6029 0.1786 6.4058 ((3 . 5) (4 . 6) (12 . 17) (17 . 19) (22 . 24)) 6041 0.1786 5.2781 ((5 . 10) (6 . 11) (7 . 12) (8 . 13) (10 . 15)) 6046 0.1429 1.9323 ((9 . 2) (10 . 3) (11 . 5) (12 . 6)) 6061 0.1786 6.5122 ((24 . 13) (25 . 14) (26 . 15) (28 . 17) (29 . 21)) 6074 0.1782 5.9619 ((5 . 2) (7 . 4) (9 . 6) (11 . 8) (21 . 15)) 6075 0.1964 5.3384 ((6 . 17) (7 . 20) (8 . 21) (9 . 24) (10 . 27) (14 . 28)) 6079 0.2143 5.4792 ((5 . 1) (9 . 6) (10 . 7) (11 . 8) (12 . 9) (26 . 21)) 6089 0.1786 11.6749 ((8 . 1) (10 . 3) (12 . 5) (20 . 12) (29 . 23)) 6094 0.1786 5.6795 ((6 . 7) (9 . 10) (10 . 11) (11 . 12) (12 . 14)) 6099 0.2857 5.1014 ((6 . 9) (21 . 22) (22 . 23) (23 . 24) (24 . 25) (25 . 26) (29 . 29) (30 . 30)) 6123 0.1786 7.0156 ((18 . 1) (19 . 2) (20 . 3) (21 . 4) (22 . 5)) 6142 0.3214 3.8685 ((19 . 10) (20 . 11) (21 . 12) (22 . 13) (23 . 14) (24 . 15) (25 . 16) (26 . 18) (28 . 20)) 6148 0.1429 5.9698 ((7 . 32) (9 . 34) (11 . 36) (12 . 37)) 6167 0.2058 5.0007 ((18 . 1) (20 . 4) (21 . 6) (27 . 14) (28 . 17) (29 . 20) (30 . 21)) 6173 0.2143 6.6634 ((21 . 3) (23 . 5) (25 . 8) (26 . 9) (29 . 13) (30 . 15)) 6191 0.1429 5.6826 ((9 . 3) (17 . 9) (20 . 12) (21 . 13)) 6192 0.1786 7.3121 ((19 . 1) (21 . 3) (27 . 5) (28 . 10) (29 . 11)) 6215 0.1429 4.3964 ((26 . 17) (27 . 18) (28 . 19) (29 . 20)) 6225 0.1429 5.2592 ((16 . 3) (18 . 4) (19 . 5) (28 . 13)) 6228 0.2101 5.3514 ((9 . 1) (10 . 3) (12 . 5) (14 . 7) (21 . 11) (22 . 12)) 6234 0.1429 4.4054 ((19 . 6) (20 . 7) (21 . 9) (22 . 10)) 6238 0.1429 4.6060 ((1 . 3) (3 . 4) (4 . 5) (5 . 7)) 6243 0.1429 5.7111 ((3 . 2) (4 . 3) (6 . 6) (8 . 8)) 6251 0.1734 5.5027 ((20 . 8) (21 . 10) (23 . 15) (24 . 17) (27 . 19)) 6258 0.1579 7.6372 ((1 . 7) (3 . 9) (5 . 10) (6 . 12) (12 . 13)) 6261 0.2334 6.6724 ((10 . 1) (11 . 3) (14 . 9) (19 . 11) (23 . 19) (27 . 21) (28 . 22)) 6266 0.1768 5.8105 ((5 . 3) (6 . 5) (9 . 6) (14 . 8) (16 . 10)) 6270 0.1786 7.2288 ((6 . 9) (9 . 13) (14 . 17) (16 . 18) (19 . 20)) 6271 0.2142 7.6791 ((18 . 1) (21 . 2) (22 . 3) (27 . 4) (28 . 8) (31 . 10)) 6273 0.1779 7.2253 ((6 . 1) (7 . 2) (10 . 3) (11 . 6) (18 . 7)) 6294 0.1429 7.1314 ((7 . 2) (14 . 11) (18 . 14) (20 . 16)) 6306 0.1429 7.2483 ((6 . 15) (7 . 16) (11 . 19) (12 . 21)) 6311 0.2143 6.1666 ((19 . 4) (20 . 5) (23 . 9) (24 . 10) (25 . 11) (27 . 13)) 6326 0.1786 5.6315 ((1 . 4) (3 . 5) (5 . 7) (9 . 11) (10 . 12)) 6338 0.2143 6.8717 ((19 . 1) (20 . 2) (21 . 4) (22 . 5) (23 . 7) (24 . 8)) 6344 0.2140 6.8139 ((7 . 3) (8 . 4) (10 . 6) (19 . 12) (23 . 18) (24 . 19)) 6345 0.1786 6.3222 ((23 . 4) (24 . 5) (27 . 6) (28 . 7) (29 . 13)) 6348 0.1429 9.3748 ((20 . 1) (22 . 4) (28 . 9) (30 . 11)) 6355 0.1812 6.3835 ((10 . 4) (11 . 6) (12 . 7) (17 . 8) (18 . 10) (21 . 15)) 6356 0.1786 8.4284 ((10 . 1) (14 . 4) (17 . 6) (20 . 9) (22 . 11)) 6369 0.1786 5.2991 ((6 . 20) (8 . 22) (10 . 24) (12 . 26) (23 . 35)) 6376 0.2167 5.5441 ((9 . 17) (10 . 19) (11 . 21) (14 . 24) (19 . 26) (20 . 27) (21 . 28)) 6392 0.1429 6.5906 ((19 . 1) (21 . 3) (25 . 7) (27 . 9)) 6399 0.5714 3.6445 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (9 . 10) (10 . 11) (11 . 12) (12 . 13) (14 . 15) (16 . 16) (20 . 19) (21 . 20) (23 . 25) (30 . 32) (31 . 33)) 6403 0.2143 7.6190 ((1 . 7) (5 . 12) (6 . 13) (7 . 14) (8 . 15) (12 . 17)) 6434 0.1429 2.3772 ((19 . 2) (20 . 3) (21 . 4) (22 . 5)) 6462 0.1786 8.6605 ((1 . 4) (3 . 5) (4 . 6) (16 . 16) (31 . 29)) 6498 0.1785 5.8665 ((12 . 37) (17 . 42) (20 . 44) (21 . 45) (30 . 50)) 6520 0.2500 5.7105 ((5 . 14) (6 . 15) (7 . 16) (19 . 24) (20 . 25) (21 . 26) (22 . 28)) 6539 0.1786 8.4890 ((3 . 2) (5 . 4) (6 . 5) (8 . 8) (10 . 10)) 6540 0.1786 6.5954 ((4 . 11) (9 . 16) (11 . 18) (12 . 19) (16 . 22)) 6548 0.1429 5.0851 ((7 . 5) (9 . 7) (14 . 12) (16 . 13)) 6553 0.1786 4.9224 ((19 . 11) (21 . 13) (27 . 20) (29 . 23) (30 . 24)) 6555 0.1786 6.0388 ((7 . 13) (9 . 17) (14 . 22) (16 . 23) (19 . 25)) 6561 0.1786 4.9404 ((19 . 9) (20 . 10) (23 . 12) (25 . 13) (26 . 15)) 6573 0.2195 6.1914 ((1 . 17) (3 . 19) (4 . 21) (5 . 22) (6 . 23) (7 . 24) (31 . 25)) 6578 0.1429 4.6380 ((9 . 31) (10 . 32) (14 . 37) (16 . 38)) 6584 0.1786 3.7594 ((18 . 5) (19 . 6) (20 . 7) (21 . 8) (22 . 9)) 6585 0.1786 9.9863 ((7 . 6) (9 . 8) (11 . 10) (12 . 11) (18 . 14)) 6587 0.1429 4.2112 ((14 . 29) (18 . 31) (20 . 33) (21 . 34)) 6598 0.3214 5.4891 ((1 . 4) (3 . 5) (16 . 17) (19 . 20) (20 . 21) (23 . 24) (24 . 25) (25 . 26) (26 . 27)) 6613 0.1786 5.1706 ((1 . 21) (3 . 22) (5 . 24) (9 . 27) (10 . 28)) 6635 0.1429 5.9635 ((5 . 1) (7 . 4) (8 . 5) (10 . 7)) END