2510 25 0.1538 10.9959 ((1 . 6) (8 . 13) (11 . 14) (12 . 15)) 41 0.2376 7.4473 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 51 0.1538 7.4806 ((3 . 1) (4 . 3) (8 . 9) (9 . 10)) 62 0.1923 5.2237 ((4 . 9) (5 . 10) (7 . 13) (8 . 15) (9 . 16)) 64 0.1538 9.4334 ((17 . 2) (19 . 4) (23 . 7) (27 . 9)) 77 0.1538 6.8156 ((1 . 8) (2 . 10) (7 . 15) (8 . 17)) 91 0.3097 4.2564 ((17 . 10) (18 . 11) (22 . 36) (23 . 37) (24 . 39) (25 . 40) (26 . 41) (27 . 42) (28 . 46)) 96 0.2282 3.2892 ((17 . 1) (18 . 2) (19 . 3) (23 . 5) (25 . 6) (28 . 7)) 129 0.1538 7.3203 ((1 . 1) (3 . 5) (5 . 8) (7 . 12)) 136 0.2376 4.3563 ((16 . 2) (17 . 3) (18 . 4) (19 . 5) (23 . 7) (25 . 8) (28 . 9)) 147 0.1535 12.5956 ((22 . 2) (24 . 3) (26 . 5) (28 . 6)) 150 0.1923 3.8191 ((17 . 19) (19 . 20) (23 . 23) (24 . 24) (25 . 25)) 153 0.1538 5.9341 ((3 . 1) (5 . 4) (7 . 6) (9 . 8)) 157 0.2308 5.8375 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6)) 161 0.1538 6.1745 ((1 . 8) (3 . 2) (7 . 6) (8 . 7)) 162 0.1538 7.2220 ((17 . 12) (23 . 17) (25 . 18) (27 . 22)) 169 0.1538 6.7627 ((17 . 4) (19 . 7) (23 . 9) (27 . 12)) 177 0.1538 7.9423 ((3 . 1) (5 . 4) (7 . 8) (8 . 9)) 198 0.1538 8.0393 ((1 . 8) (3 . 10) (5 . 13) (7 . 17)) 207 0.2248 8.0374 ((2 . 6) (4 . 10) (7 . 13) (8 . 14) (9 . 15) (12 . 16)) 233 0.1849 7.9313 ((17 . 2) (19 . 3) (21 . 5) (23 . 7) (25 . 8)) 293 0.1538 12.5488 ((16 . 1) (22 . 3) (24 . 4) (29 . 6)) 300 0.1923 9.5861 ((18 . 5) (19 . 7) (23 . 10) (26 . 11) (27 . 13)) 305 0.1923 9.2518 ((17 . 9) (18 . 10) (19 . 11) (22 . 14) (30 . 25)) 307 0.3076 5.6038 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (26 . 10)) 315 0.1277 4.9282 ((16 . 2) (17 . 3) (23 . 8) (25 . 10)) 317 0.1538 7.8415 ((24 . 4) (26 . 6) (28 . 7) (29 . 8)) 350 0.1784 7.1001 ((1 . 1) (3 . 2) (4 . 3) (7 . 4) (8 . 9)) 351 0.1538 7.4145 ((16 . 4) (18 . 5) (24 . 8) (26 . 10)) 360 0.1788 8.2822 ((19 . 6) (21 . 7) (23 . 9) (25 . 10) (27 . 12) (28 . 13)) 361 0.2141 3.4902 ((1 . 2) (2 . 3) (3 . 4) (7 . 10) (9 . 11) (30 . 13)) 365 0.1538 8.8937 ((1 . 1) (3 . 3) (5 . 6) (6 . 7)) 367 0.1538 6.5389 ((19 . 38) (22 . 41) (23 . 42) (25 . 44)) 387 0.1538 7.2209 ((17 . 7) (19 . 9) (23 . 12) (27 . 15)) 405 0.1538 7.3185 ((17 . 32) (19 . 35) (21 . 38) (23 . 40)) 417 0.1538 10.1468 ((1 . 1) (3 . 2) (7 . 7) (9 . 9)) 420 0.1538 4.9321 ((19 . 1) (23 . 3) (25 . 4) (27 . 5)) 433 0.1538 5.2722 ((5 . 5) (7 . 7) (8 . 8) (9 . 9)) 442 0.1538 5.1617 ((2 . 11) (5 . 12) (6 . 13) (7 . 14)) 460 0.1923 6.0202 ((16 . 4) (17 . 6) (19 . 7) (21 . 8) (22 . 9)) 472 0.1538 7.4257 ((2 . 29) (3 . 31) (4 . 33) (6 . 34)) 491 0.1277 4.9667 ((2 . 5) (3 . 6) (5 . 8) (7 . 10)) 495 0.2687 5.7699 ((21 . 1) (22 . 2) (23 . 3) (24 . 4) (25 . 5) (26 . 6) (27 . 7)) 541 0.2308 7.7074 ((22 . 6) (23 . 7) (24 . 9) (26 . 10) (27 . 11) (28 . 13)) 543 0.1538 4.6794 ((17 . 6) (18 . 7) (19 . 8) (23 . 15)) 553 0.1538 6.7487 ((16 . 9) (22 . 14) (24 . 15) (29 . 22)) 561 0.1538 5.9435 ((17 . 1) (18 . 2) (19 . 3) (21 . 4)) 584 0.1923 7.6486 ((18 . 2) (19 . 3) (23 . 5) (26 . 9) (27 . 10)) 587 0.1538 7.9046 ((3 . 4) (5 . 6) (7 . 9) (11 . 12)) 609 0.2692 5.4402 ((1 . 1) (2 . 2) (3 . 3) (5 . 6) (6 . 7) (7 . 8) (30 . 37)) 619 0.1686 7.5497 ((6 . 5) (16 . 10) (17 . 12) (22 . 14) (23 . 15) (26 . 17)) 624 0.3846 5.8274 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (30 . 10)) 635 0.1923 9.8136 ((4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 7)) 672 0.1538 8.9935 ((8 . 2) (18 . 12) (21 . 16) (23 . 18)) 678 0.1923 4.7703 ((2 . 23) (3 . 24) (4 . 25) (8 . 28) (9 . 29)) 719 0.1784 6.8928 ((17 . 22) (19 . 23) (23 . 25) (26 . 29) (28 . 31)) 729 0.2692 2.6508 ((17 . 7) (18 . 8) (19 . 9) (22 . 12) (23 . 13) (24 . 14) (25 . 15)) 735 0.1538 7.0492 ((17 . 29) (19 . 32) (23 . 36) (25 . 39)) 740 0.1538 7.7549 ((18 . 1) (19 . 3) (23 . 7) (25 . 9)) 765 0.1538 7.0142 ((21 . 5) (23 . 7) (25 . 9) (27 . 12)) 767 0.3074 3.6961 ((17 . 1) (18 . 2) (19 . 3) (21 . 8) (23 . 12) (24 . 27) (25 . 29) (28 . 33)) 782 0.1538 14.9455 ((13 . 3) (16 . 5) (18 . 6) (24 . 11)) 792 0.1849 8.0909 ((2 . 3) (4 . 8) (24 . 14) (29 . 16) (30 . 20)) 795 0.1923 3.6570 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5)) 796 0.1538 6.2732 ((2 . 1) (3 . 3) (4 . 4) (5 . 5)) 812 0.2282 6.7005 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 17)) 818 0.1923 4.1553 ((3 . 4) (5 . 7) (7 . 10) (8 . 11) (9 . 12)) 819 0.1538 9.0404 ((17 . 3) (21 . 5) (27 . 9) (28 . 11)) 834 0.1538 13.7279 ((4 . 38) (6 . 40) (8 . 43) (11 . 44)) 861 0.1538 8.1146 ((7 . 1) (9 . 3) (11 . 4) (26 . 14)) 901 0.3075 5.6017 ((17 . 1) (18 . 4) (19 . 5) (22 . 6) (23 . 7) (24 . 8) (25 . 9) (28 . 21)) 904 0.1538 7.6879 ((18 . 1) (19 . 2) (21 . 3) (22 . 4)) 913 0.1538 10.3506 ((3 . 16) (5 . 17) (6 . 18) (7 . 20)) 928 0.2692 3.2003 ((17 . 1) (18 . 2) (19 . 3) (23 . 5) (24 . 6) (25 . 7) (27 . 8)) 937 0.1538 7.6135 ((17 . 1) (18 . 3) (19 . 4) (22 . 6)) 943 0.3388 3.6019 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (7 . 9) (8 . 10) (9 . 12) (13 . 13)) 945 0.3814 7.9309 ((1 . 12) (2 . 13) (3 . 14) (4 . 16) (5 . 17) (6 . 18) (7 . 19) (8 . 20) (9 . 22) (11 . 23)) 949 0.1898 7.0382 ((17 . 27) (19 . 32) (24 . 33) (26 . 36) (28 . 37)) 960 0.2308 4.6946 ((17 . 9) (18 . 11) (19 . 12) (25 . 19) (26 . 20) (27 . 21)) 978 0.2692 5.6672 ((16 . 8) (22 . 12) (23 . 13) (24 . 15) (25 . 16) (26 . 18) (27 . 19)) 980 0.3077 3.9876 ((17 . 1) (18 . 2) (19 . 3) (23 . 5) (24 . 6) (25 . 7) (26 . 8) (27 . 9)) 1005 0.1535 7.8763 ((23 . 1) (25 . 2) (28 . 5) (29 . 6)) 1007 0.1538 4.8651 ((4 . 6) (5 . 7) (7 . 9) (9 . 11)) 1008 0.1923 9.5687 ((16 . 2) (17 . 3) (21 . 8) (24 . 11) (27 . 15)) 1034 0.2526 5.5072 ((1 . 20) (3 . 21) (5 . 22) (6 . 27) (7 . 29) (8 . 31) (9 . 32)) 1043 0.2308 3.2295 ((1 . 1) (2 . 5) (3 . 6) (4 . 7) (7 . 10) (9 . 12)) 1082 0.2308 4.3609 ((17 . 9) (18 . 11) (19 . 12) (25 . 16) (26 . 17) (27 . 19)) 1084 0.1648 10.9591 ((8 . 2) (22 . 5) (24 . 15) (26 . 21) (29 . 22)) 1121 0.1538 7.9541 ((16 . 1) (17 . 2) (19 . 4) (21 . 6)) 1124 0.1513 9.0214 ((18 . 8) (22 . 9) (26 . 11) (28 . 13)) 1165 0.2308 3.7298 ((17 . 4) (18 . 6) (19 . 7) (23 . 10) (24 . 11) (27 . 12)) 1167 0.1538 6.7848 ((18 . 19) (23 . 21) (25 . 22) (29 . 26)) 1169 0.1538 5.9614 ((19 . 30) (21 . 32) (23 . 34) (25 . 37)) 1195 0.1427 6.6414 ((18 . 1) (19 . 2) (21 . 4) (23 . 5)) 1201 0.1923 6.4232 ((3 . 7) (4 . 8) (21 . 31) (23 . 32) (24 . 33)) 1204 0.2308 6.1861 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6)) 1211 0.1538 5.9792 ((4 . 7) (5 . 8) (7 . 10) (9 . 14)) 1217 0.1538 7.0093 ((16 . 2) (18 . 8) (21 . 11) (23 . 12)) 1224 0.1538 5.6431 ((18 . 2) (23 . 5) (25 . 6) (27 . 7)) 1233 0.3432 4.9516 ((1 . 11) (2 . 13) (3 . 14) (4 . 16) (5 . 17) (6 . 19) (7 . 20) (8 . 21) (9 . 22)) 1267 0.3461 5.3457 ((1 . 22) (2 . 23) (3 . 24) (4 . 25) (5 . 33) (6 . 34) (7 . 36) (8 . 37) (9 . 38)) 1268 0.2086 11.6787 ((6 . 5) (18 . 10) (22 . 15) (24 . 16) (26 . 17) (28 . 18)) 1294 0.1538 7.6118 ((1 . 39) (3 . 40) (5 . 41) (7 . 44)) 1301 0.1749 8.2581 ((23 . 1) (26 . 3) (27 . 5) (29 . 6) (30 . 8)) 1324 0.1538 3.5027 ((21 . 1) (23 . 3) (25 . 4) (27 . 6)) 1345 0.1923 4.2249 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (7 . 14)) 1366 0.1923 8.8496 ((19 . 15) (23 . 17) (24 . 18) (25 . 20) (27 . 22)) 1388 0.1538 9.1558 ((1 . 1) (5 . 5) (6 . 7) (7 . 8)) 1415 0.1530 10.7486 ((22 . 3) (24 . 4) (26 . 5) (28 . 6)) 1425 0.1538 10.0170 ((19 . 2) (23 . 6) (24 . 7) (27 . 11)) 1435 0.1530 10.4633 ((16 . 4) (22 . 7) (24 . 9) (25 . 11)) 1447 0.3461 4.9124 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9)) 1451 0.1538 5.4070 ((17 . 6) (18 . 7) (19 . 8) (23 . 10)) 1464 0.1538 7.7557 ((17 . 8) (18 . 9) (19 . 10) (23 . 14)) 1470 0.1538 11.5183 ((2 . 3) (8 . 8) (11 . 10) (18 . 15)) 1472 0.1538 9.6037 ((16 . 1) (22 . 5) (25 . 7) (28 . 10)) 1476 0.3455 5.2441 ((1 . 9) (2 . 10) (3 . 11) (4 . 13) (5 . 14) (6 . 16) (7 . 18) (8 . 19) (9 . 20)) 1481 0.1538 6.6383 ((21 . 2) (22 . 3) (23 . 4) (28 . 8)) 1497 0.1538 8.4413 ((13 . 4) (16 . 9) (18 . 11) (22 . 12)) 1501 0.1538 8.4173 ((17 . 5) (19 . 7) (21 . 9) (22 . 10)) 1513 0.3461 6.6587 ((1 . 3) (2 . 4) (3 . 5) (6 . 9) (7 . 11) (8 . 12) (9 . 13) (12 . 16) (30 . 19)) 1514 0.1538 7.3063 ((17 . 1) (18 . 2) (21 . 3) (22 . 5)) 1577 0.1849 7.4725 ((1 . 4) (2 . 11) (3 . 12) (7 . 15) (11 . 25)) 1591 0.3845 6.7524 ((16 . 10) (17 . 11) (19 . 6) (21 . 8) (23 . 14) (24 . 15) (25 . 16) (26 . 18) (27 . 19) (28 . 20)) 1595 0.1538 10.5176 ((16 . 1) (18 . 2) (25 . 7) (26 . 9)) 1604 0.2308 6.3091 ((19 . 3) (22 . 6) (23 . 7) (24 . 9) (25 . 10) (26 . 11)) 1622 0.1923 5.0188 ((1 . 18) (2 . 19) (3 . 20) (4 . 21) (5 . 22)) 1624 0.1538 7.8677 ((19 . 2) (21 . 4) (23 . 6) (28 . 11)) 1643 0.2223 5.8839 ((17 . 8) (19 . 9) (21 . 10) (23 . 11) (25 . 12) (27 . 18) (29 . 21)) 1644 0.1923 6.8717 ((17 . 46) (19 . 47) (21 . 50) (23 . 51) (25 . 52)) 1665 0.1923 2.4758 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (5 . 10)) 1690 0.3408 6.8404 ((1 . 1) (2 . 7) (3 . 8) (4 . 9) (5 . 11) (6 . 12) (7 . 13) (9 . 21) (26 . 26) (30 . 27)) 1692 0.1538 6.6876 ((2 . 4) (3 . 6) (5 . 7) (7 . 10)) 1724 0.1538 12.4453 ((16 . 1) (18 . 3) (22 . 5) (26 . 8)) 1731 0.2218 4.5993 ((17 . 3) (18 . 5) (19 . 6) (22 . 7) (23 . 8) (24 . 11) (25 . 12) (27 . 13)) 1736 0.2308 3.0298 ((17 . 3) (19 . 5) (23 . 7) (24 . 9) (25 . 10) (26 . 11)) 1738 0.2308 5.1649 ((3 . 4) (4 . 5) (5 . 6) (7 . 9) (8 . 10) (9 . 11)) 1747 0.1538 4.8918 ((19 . 8) (23 . 11) (25 . 13) (27 . 16)) 1756 0.1530 13.7688 ((19 . 22) (21 . 24) (25 . 28) (27 . 31)) 1759 0.1538 7.2779 ((19 . 4) (23 . 6) (25 . 9) (27 . 11)) 1761 0.3845 7.1443 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (5 . 11) (6 . 12) (7 . 13) (8 . 14) (9 . 16) (12 . 18)) 1763 0.1538 6.6740 ((18 . 4) (23 . 7) (24 . 8) (26 . 11)) 1776 0.2308 4.1865 ((17 . 1) (18 . 6) (19 . 7) (21 . 9) (25 . 12) (27 . 14)) 1777 0.1538 4.6161 ((19 . 31) (21 . 34) (23 . 37) (27 . 43)) 1778 0.2706 6.8286 ((1 . 1) (3 . 2) (5 . 3) (6 . 6) (7 . 8) (8 . 11) (9 . 12) (26 . 13)) 1793 0.2308 4.0565 ((17 . 4) (18 . 5) (19 . 6) (23 . 8) (24 . 9) (25 . 10)) 1796 0.1538 12.6832 ((18 . 2) (24 . 5) (26 . 6) (28 . 7)) 1805 0.1538 6.5749 ((21 . 2) (23 . 4) (24 . 5) (27 . 9)) 1808 0.1923 5.3130 ((4 . 1) (5 . 2) (7 . 5) (8 . 7) (9 . 8)) 1817 0.1513 8.7116 ((19 . 14) (23 . 18) (25 . 20) (26 . 21)) 1867 0.2308 3.4888 ((17 . 1) (18 . 2) (19 . 3) (23 . 6) (25 . 7) (28 . 8)) 1894 0.1538 8.8643 ((23 . 5) (24 . 6) (25 . 7) (26 . 8)) 1896 0.3075 4.5806 ((1 . 3) (2 . 4) (3 . 5) (5 . 22) (7 . 27) (8 . 28) (9 . 51) (30 . 52)) 1897 0.1882 9.8194 ((2 . 35) (19 . 39) (25 . 40) (26 . 44) (29 . 45)) 1908 0.2301 4.5865 ((16 . 6) (19 . 7) (22 . 9) (23 . 10) (24 . 14) (25 . 15)) 1909 0.2308 6.7507 ((18 . 30) (19 . 31) (23 . 34) (24 . 36) (25 . 37) (27 . 39)) 1913 0.2308 5.6097 ((16 . 2) (17 . 6) (19 . 10) (23 . 13) (25 . 16) (27 . 19)) 1944 0.2308 4.4944 ((17 . 3) (19 . 5) (24 . 8) (25 . 9) (26 . 12) (27 . 13)) 1957 0.2692 3.0457 ((17 . 1) (18 . 2) (19 . 3) (23 . 5) (24 . 6) (25 . 7) (27 . 9)) 1961 0.1538 4.9259 ((5 . 14) (7 . 16) (8 . 18) (9 . 19)) 1967 0.1923 4.8845 ((17 . 3) (19 . 7) (24 . 9) (25 . 10) (26 . 12)) 1972 0.3077 3.7490 ((1 . 16) (2 . 17) (3 . 18) (4 . 19) (5 . 20) (7 . 24) (8 . 25) (9 . 27)) 1987 0.1538 7.4997 ((16 . 8) (22 . 11) (26 . 14) (28 . 15)) 1992 0.1923 8.2313 ((2 . 5) (6 . 8) (7 . 9) (8 . 10) (9 . 12)) 1995 0.1538 6.1968 ((17 . 7) (19 . 9) (21 . 11) (23 . 13)) 2003 0.1538 8.5144 ((16 . 6) (17 . 9) (19 . 10) (21 . 12)) 2006 0.2065 7.1545 ((17 . 16) (19 . 18) (23 . 21) (25 . 22) (27 . 24) (28 . 27)) 2045 0.1538 15.5603 ((3 . 7) (6 . 9) (24 . 30) (25 . 31)) 2048 0.2307 10.6031 ((16 . 3) (17 . 4) (18 . 5) (19 . 6) (24 . 12) (25 . 13)) 2054 0.1538 8.8667 ((21 . 2) (24 . 9) (26 . 10) (29 . 15)) 2063 0.1538 5.0731 ((19 . 42) (23 . 44) (24 . 46) (27 . 49)) 2065 0.1538 8.3109 ((2 . 15) (3 . 16) (6 . 20) (9 . 26)) 2067 0.1923 6.1196 ((7 . 2) (8 . 3) (9 . 4) (17 . 11) (19 . 16)) 2072 0.1923 9.0955 ((17 . 2) (19 . 4) (21 . 5) (23 . 7) (24 . 8)) 2081 0.1921 10.7342 ((5 . 10) (6 . 11) (7 . 12) (11 . 16) (12 . 18)) 2083 0.1923 5.4225 ((19 . 2) (22 . 3) (24 . 6) (25 . 7) (26 . 8)) 2094 0.1487 18.5909 ((11 . 2) (12 . 3) (13 . 4) (16 . 7)) 2097 0.1538 7.1831 ((3 . 1) (4 . 2) (7 . 5) (13 . 15)) 2114 0.1923 7.5066 ((17 . 28) (18 . 30) (19 . 32) (23 . 36) (24 . 37)) 2116 0.1538 7.2935 ((17 . 5) (19 . 7) (23 . 10) (25 . 12)) 2117 0.2248 6.2515 ((17 . 11) (19 . 12) (23 . 14) (25 . 17) (26 . 19) (27 . 20)) 2118 0.1538 6.3809 ((3 . 1) (7 . 5) (8 . 6) (9 . 7)) 2122 0.2308 4.6719 ((17 . 1) (18 . 5) (19 . 6) (21 . 8) (25 . 10) (27 . 12)) 2166 0.1923 10.5575 ((9 . 4) (17 . 13) (18 . 14) (19 . 15) (23 . 17)) 2179 0.2692 5.5932 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (7 . 10) (11 . 15) (12 . 16)) 2196 0.1538 4.1546 ((19 . 10) (23 . 14) (25 . 16) (27 . 18)) 2203 0.1538 5.9173 ((17 . 1) (18 . 3) (19 . 5) (23 . 7)) 2205 0.1784 11.2394 ((17 . 13) (23 . 17) (25 . 18) (27 . 22) (30 . 25)) 2209 0.1923 4.4704 ((2 . 2) (3 . 3) (4 . 4) (7 . 7) (8 . 8)) 2233 0.1513 9.4654 ((4 . 2) (6 . 6) (8 . 7) (11 . 9)) 2243 0.1538 7.7418 ((1 . 62) (3 . 65) (5 . 67) (6 . 68)) 2244 0.1538 5.6510 ((19 . 70) (23 . 74) (25 . 76) (27 . 78)) 2248 0.1923 6.1992 ((2 . 20) (3 . 22) (4 . 23) (6 . 26) (7 . 27)) 2249 0.2308 4.9211 ((1 . 4) (3 . 7) (4 . 8) (7 . 12) (8 . 14) (12 . 19)) 2269 0.1923 4.9230 ((3 . 8) (4 . 9) (5 . 10) (6 . 11) (8 . 13)) 2279 0.1538 4.5393 ((23 . 5) (24 . 6) (25 . 7) (27 . 9)) 2295 0.1538 12.6427 ((22 . 3) (24 . 5) (26 . 6) (29 . 7)) 2298 0.2690 5.3287 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (7 . 12) (8 . 14) (9 . 15)) 2308 0.1923 5.1137 ((3 . 6) (5 . 8) (6 . 10) (7 . 11) (8 . 12)) 2314 0.1538 9.9055 ((13 . 1) (17 . 3) (21 . 7) (27 . 11)) 2340 0.2210 3.2987 ((17 . 9) (18 . 10) (19 . 11) (23 . 13) (25 . 14) (28 . 15)) 2342 0.1538 17.6681 ((11 . 9) (13 . 11) (16 . 13) (26 . 19)) 2344 0.1923 7.4975 ((1 . 3) (2 . 5) (7 . 10) (8 . 12) (9 . 13)) 2364 0.2308 5.6747 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (5 . 12) (6 . 16)) 2381 0.1538 3.6426 ((22 . 2) (23 . 3) (25 . 5) (28 . 8)) 2389 0.1538 4.8171 ((1 . 9) (3 . 11) (4 . 12) (5 . 14)) 2393 0.1488 13.3786 ((5 . 15) (6 . 17) (9 . 18) (11 . 19)) 2408 0.1538 7.2629 ((17 . 39) (19 . 41) (23 . 45) (25 . 47)) 2409 0.1538 8.2410 ((17 . 4) (19 . 6) (21 . 8) (24 . 11)) 2410 0.1913 6.3324 ((22 . 12) (23 . 13) (24 . 14) (26 . 15) (27 . 16)) 2422 0.1923 3.4145 ((1 . 1) (2 . 2) (3 . 4) (7 . 9) (8 . 10)) 2423 0.1538 7.9537 ((17 . 20) (22 . 23) (23 . 25) (26 . 27)) 2440 0.2308 2.9040 ((1 . 4) (2 . 5) (3 . 6) (7 . 7) (9 . 9) (30 . 10)) 2443 0.1538 12.8041 ((18 . 3) (22 . 5) (26 . 7) (29 . 9)) 2447 0.2308 4.1947 ((17 . 13) (18 . 14) (19 . 15) (23 . 18) (24 . 19) (27 . 21)) 2462 0.1538 5.4184 ((1 . 3) (2 . 5) (3 . 6) (9 . 12)) 2465 0.1277 11.2256 ((22 . 1) (24 . 3) (26 . 5) (28 . 6)) 2510 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 11) (12 . 12) (13 . 13) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (29 . 29) (30 . 30)) 2519 0.1530 10.0520 ((26 . 1) (27 . 2) (28 . 3) (29 . 4)) 2525 0.1538 5.8674 ((19 . 41) (21 . 43) (23 . 45) (25 . 47)) 2529 0.2301 3.2276 ((17 . 1) (18 . 2) (19 . 3) (23 . 5) (25 . 6) (28 . 7)) 2533 0.3077 7.5939 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 11) (11 . 16) (12 . 17)) 2544 0.1536 6.5267 ((18 . 19) (22 . 21) (23 . 23) (26 . 24) (28 . 18)) 2551 0.1538 7.9521 ((17 . 1) (24 . 6) (26 . 7) (28 . 10)) 2552 0.2498 7.2336 ((1 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (13 . 7)) 2556 0.2692 4.0533 ((1 . 11) (2 . 12) (3 . 13) (5 . 16) (7 . 20) (8 . 21) (9 . 22)) 2557 0.1538 6.0646 ((23 . 3) (24 . 5) (25 . 6) (27 . 7)) 2561 0.1538 9.4924 ((17 . 6) (19 . 7) (21 . 8) (23 . 9)) 2591 0.1538 12.4297 ((18 . 34) (24 . 37) (28 . 39) (29 . 40)) 2595 0.3460 3.8342 ((17 . 1) (18 . 2) (19 . 4) (22 . 5) (23 . 6) (24 . 7) (25 . 9) (27 . 11) (28 . 15)) 2619 0.2464 5.4799 ((1 . 1) (3 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7)) 2627 0.1538 7.3670 ((6 . 59) (7 . 60) (8 . 62) (9 . 64)) 2634 0.1538 10.2282 ((22 . 3) (26 . 6) (29 . 8) (30 . 9)) 2650 0.1538 7.5575 ((17 . 2) (18 . 4) (19 . 5) (23 . 7)) 2658 0.1538 10.5371 ((2 . 6) (4 . 7) (6 . 11) (7 . 12)) 2675 0.1538 6.3591 ((18 . 9) (19 . 10) (21 . 11) (23 . 12)) 2682 0.3453 5.7709 ((1 . 1) (2 . 2) (3 . 3) (6 . 16) (7 . 17) (8 . 18) (9 . 19) (24 . 20) (30 . 22)) 2696 0.1538 6.8779 ((17 . 31) (19 . 34) (23 . 36) (25 . 39)) 2731 0.1538 8.2332 ((17 . 1) (18 . 3) (19 . 4) (22 . 6)) 2733 0.1538 4.1598 ((19 . 4) (22 . 7) (23 . 8) (27 . 11)) 2753 0.1538 13.5618 ((16 . 1) (18 . 2) (24 . 6) (26 . 7)) 2755 0.2308 4.3795 ((3 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7) (9 . 8)) 2773 0.1538 7.1199 ((17 . 3) (18 . 4) (21 . 5) (28 . 8)) 2783 0.1923 8.7830 ((18 . 4) (19 . 6) (23 . 8) (24 . 9) (27 . 12)) 2804 0.1538 8.0069 ((17 . 36) (18 . 37) (21 . 39) (23 . 40)) 2821 0.2464 5.5426 ((1 . 1) (3 . 2) (5 . 3) (6 . 10) (7 . 11) (8 . 12) (9 . 13)) 2830 0.3077 4.0644 ((17 . 1) (18 . 2) (19 . 3) (23 . 5) (24 . 6) (25 . 7) (27 . 9) (28 . 21)) 2834 0.1923 5.2951 ((3 . 1) (4 . 2) (5 . 3) (8 . 7) (9 . 8)) 2840 0.1538 4.9369 ((7 . 1) (8 . 3) (9 . 5) (11 . 10)) 2842 0.3453 7.0191 ((1 . 1) (2 . 3) (3 . 4) (6 . 8) (7 . 9) (8 . 10) (9 . 11) (12 . 12) (30 . 13)) 2867 0.1513 8.1847 ((16 . 5) (21 . 9) (22 . 10) (26 . 13)) 2879 0.1538 5.5301 ((17 . 53) (18 . 55) (19 . 56) (21 . 58)) 2886 0.1538 7.7329 ((17 . 35) (19 . 38) (23 . 41) (25 . 44)) 2929 0.1342 9.1866 ((22 . 37) (24 . 38) (25 . 39) (28 . 41)) 2940 0.2308 4.3280 ((17 . 1) (18 . 2) (21 . 3) (23 . 4) (25 . 6) (28 . 9)) 2947 0.1538 4.6770 ((17 . 4) (18 . 5) (19 . 6) (27 . 13)) 2955 0.1538 4.2539 ((22 . 2) (23 . 3) (25 . 4) (27 . 5)) 2966 0.1538 7.1166 ((3 . 4) (5 . 8) (7 . 11) (9 . 13)) 2990 0.1538 5.6540 ((17 . 12) (21 . 14) (24 . 17) (29 . 21)) 2999 0.1923 4.6800 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6)) 3014 0.1538 10.6188 ((11 . 3) (26 . 15) (29 . 17) (30 . 18)) 3019 0.1923 5.7340 ((16 . 18) (17 . 19) (24 . 24) (25 . 25) (28 . 26)) 3034 0.3072 4.8395 ((17 . 1) (18 . 4) (19 . 5) (23 . 7) (24 . 8) (25 . 9) (26 . 11) (28 . 15)) 3041 0.2308 3.1931 ((17 . 12) (18 . 13) (19 . 14) (23 . 16) (24 . 17) (27 . 18)) 3055 0.2141 6.3759 ((17 . 3) (19 . 4) (21 . 5) (23 . 7) (25 . 8) (27 . 9)) 3063 0.1538 7.7906 ((1 . 32) (5 . 35) (7 . 38) (9 . 41)) 3070 0.1538 6.1609 ((2 . 31) (3 . 33) (4 . 34) (5 . 35)) 3084 0.2692 3.2314 ((17 . 3) (18 . 4) (19 . 5) (23 . 7) (24 . 8) (25 . 9) (27 . 11)) 3102 0.1849 6.2224 ((7 . 58) (9 . 59) (17 . 74) (23 . 77) (25 . 80)) 3103 0.1538 7.7170 ((17 . 1) (19 . 3) (27 . 11) (28 . 12)) 3114 0.1538 11.4818 ((3 . 23) (5 . 25) (6 . 27) (7 . 29)) 3120 0.1277 7.2079 ((22 . 20) (23 . 21) (25 . 22) (27 . 25)) 3127 0.4229 7.2632 ((1 . 2) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 11) (8 . 12) (9 . 13) (12 . 14) (30 . 16)) 3147 0.2141 6.5765 ((17 . 1) (19 . 2) (21 . 3) (23 . 5) (25 . 6) (27 . 7)) 3176 0.1538 6.8158 ((18 . 23) (21 . 26) (28 . 31) (29 . 32)) 3187 0.1849 6.6116 ((1 . 3) (3 . 4) (7 . 6) (9 . 7) (30 . 10)) 3190 0.3836 3.7954 ((17 . 1) (18 . 2) (19 . 3) (22 . 4) (23 . 6) (24 . 7) (25 . 9) (26 . 10) (27 . 11) (28 . 12)) 3197 0.3845 5.3562 ((1 . 19) (2 . 20) (3 . 21) (4 . 22) (5 . 24) (6 . 25) (7 . 26) (8 . 27) (9 . 28) (30 . 29)) 3200 0.1923 13.8627 ((18 . 12) (21 . 13) (24 . 14) (25 . 15) (27 . 18)) 3202 0.1538 12.0514 ((7 . 9) (24 . 25) (26 . 27) (29 . 28)) 3212 0.1538 8.1248 ((18 . 1) (19 . 2) (23 . 5) (24 . 7)) 3222 0.1882 8.4147 ((9 . 1) (11 . 2) (13 . 5) (26 . 17) (27 . 18)) 3256 0.1538 6.7666 ((3 . 13) (7 . 19) (9 . 21) (12 . 27)) 3261 0.1920 6.4332 ((1 . 1) (3 . 2) (5 . 3) (6 . 5) (7 . 7) (9 . 8) (11 . 10) (12 . 11)) 3286 0.2927 6.7227 ((16 . 2) (17 . 3) (19 . 4) (21 . 5) (22 . 6) (23 . 7) (24 . 8) (27 . 9) (28 . 15)) 3289 0.1513 7.5722 ((17 . 25) (19 . 27) (21 . 29) (23 . 31)) 3297 0.1538 7.0251 ((1 . 5) (3 . 8) (7 . 11) (9 . 13)) 3300 0.1538 5.0178 ((17 . 1) (19 . 4) (24 . 10) (26 . 11)) 3310 0.1538 13.8673 ((16 . 1) (22 . 5) (29 . 10) (30 . 11)) 3322 0.3287 4.7543 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (13 . 10)) 3334 0.1538 7.8104 ((5 . 5) (6 . 9) (8 . 11) (12 . 13)) 3339 0.3782 6.0566 ((1 . 11) (3 . 15) (6 . 16) (7 . 17) (8 . 18) (9 . 19) (18 . 30) (26 . 34) (28 . 36) (30 . 10)) 3344 0.1538 8.2262 ((1 . 20) (3 . 22) (5 . 24) (7 . 27)) 3358 0.2308 5.8619 ((19 . 1) (21 . 2) (22 . 3) (25 . 4) (27 . 7) (28 . 9)) 3362 0.2854 4.2601 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (7 . 10) (9 . 11) (30 . 12)) 3366 0.1538 12.5499 ((17 . 24) (19 . 27) (25 . 29) (28 . 33)) 3391 0.2308 5.1139 ((17 . 4) (18 . 5) (19 . 6) (21 . 8) (23 . 10) (26 . 12)) 3410 0.3066 3.9985 ((1 . 19) (2 . 20) (3 . 21) (4 . 23) (5 . 24) (7 . 28) (8 . 29) (9 . 30)) 3415 0.1536 24.5381 ((12 . 18) (13 . 19) (16 . 21) (18 . 22)) 3418 0.1538 6.3291 ((16 . 1) (17 . 2) (19 . 5) (21 . 6)) 3446 0.1893 8.3192 ((2 . 1) (6 . 2) (8 . 4) (11 . 7) (13 . 8) (30 . 9)) 3470 0.1538 7.4349 ((18 . 11) (24 . 15) (26 . 16) (29 . 17)) 3472 0.1784 6.6000 ((1 . 4) (3 . 5) (5 . 6) (7 . 11) (9 . 12)) 3481 0.3070 3.1206 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 8) (7 . 10) (8 . 11) (9 . 12)) 3489 0.1538 7.6656 ((17 . 1) (19 . 3) (25 . 10) (27 . 12)) 3495 0.1538 4.5097 ((21 . 1) (23 . 3) (26 . 5) (27 . 7)) 3496 0.1538 8.8917 ((18 . 21) (19 . 22) (26 . 25) (29 . 28)) 3533 0.1538 7.5505 ((19 . 3) (21 . 5) (22 . 6) (25 . 8)) 3537 0.1923 6.6612 ((1 . 2) (2 . 3) (5 . 7) (6 . 8) (7 . 9)) 3538 0.1538 6.8254 ((2 . 17) (3 . 18) (8 . 22) (9 . 23)) 3548 0.1918 9.2990 ((3 . 3) (5 . 5) (6 . 7) (7 . 8) (9 . 10)) 3549 0.1538 13.7636 ((25 . 1) (27 . 2) (29 . 4) (30 . 7)) 3561 0.2692 5.5022 ((1 . 20) (2 . 21) (3 . 22) (4 . 23) (6 . 27) (7 . 28) (9 . 31)) 3570 0.1923 3.5522 ((17 . 1) (18 . 2) (21 . 3) (23 . 4) (27 . 8)) 3585 0.1923 5.4179 ((17 . 8) (19 . 12) (23 . 14) (24 . 15) (25 . 16)) 3613 0.1538 8.4851 ((21 . 36) (24 . 39) (27 . 41) (29 . 42)) 3626 0.1538 6.1151 ((1 . 2) (4 . 5) (5 . 6) (7 . 11)) 3628 0.3025 8.2589 ((18 . 1) (19 . 6) (22 . 7) (23 . 10) (24 . 11) (25 . 12) (26 . 13) (27 . 14)) 3651 0.2308 5.4008 ((17 . 1) (18 . 2) (19 . 3) (21 . 5) (24 . 7) (25 . 8)) 3656 0.1535 13.1846 ((4 . 20) (6 . 21) (9 . 23) (11 . 25)) 3658 0.1538 6.5833 ((17 . 1) (18 . 2) (21 . 4) (23 . 5)) 3659 0.1538 8.0228 ((3 . 5) (4 . 6) (5 . 8) (9 . 13)) 3661 0.1538 9.5734 ((4 . 9) (6 . 10) (7 . 12) (8 . 14)) 3663 0.1538 7.4804 ((23 . 1) (24 . 3) (25 . 5) (29 . 7)) 3688 0.1538 5.3219 ((19 . 5) (21 . 7) (23 . 8) (27 . 14)) 3697 0.1538 9.6045 ((19 . 1) (21 . 4) (24 . 5) (27 . 6)) 3703 0.1538 7.1862 ((1 . 1) (3 . 3) (9 . 7) (11 . 10)) 3732 0.3055 3.4819 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (5 . 9) (7 . 11) (9 . 12) (30 . 13)) 3733 0.2692 3.3585 ((17 . 1) (18 . 2) (19 . 3) (22 . 4) (23 . 6) (24 . 7) (25 . 8)) 3740 0.1538 6.0903 ((3 . 1) (7 . 5) (9 . 7) (11 . 8)) 3741 0.1913 6.3714 ((1 . 1) (3 . 2) (5 . 3) (19 . 22) (24 . 33)) 3776 0.2928 5.7736 ((1 . 15) (2 . 16) (3 . 17) (6 . 18) (7 . 21) (8 . 23) (9 . 24) (13 . 25)) 3778 0.1538 5.2408 ((19 . 2) (23 . 4) (24 . 5) (25 . 6)) 3787 0.3154 4.0863 ((16 . 1) (17 . 27) (18 . 28) (19 . 29) (21 . 31) (22 . 32) (23 . 33) (24 . 34) (25 . 35) (28 . 37)) 3790 0.2113 9.1561 ((1 . 2) (3 . 3) (5 . 5) (7 . 10) (9 . 13) (22 . 17) (26 . 20) (29 . 23)) 3807 0.1784 8.0249 ((1 . 43) (7 . 46) (9 . 47) (12 . 49) (13 . 51)) 3810 0.1277 7.1866 ((17 . 6) (19 . 9) (21 . 11) (25 . 15)) 3817 0.1923 5.3821 ((5 . 1) (6 . 3) (7 . 5) (8 . 6) (9 . 7)) 3818 0.1923 7.7139 ((1 . 20) (2 . 21) (5 . 23) (8 . 27) (9 . 28)) 3829 0.1538 9.4856 ((16 . 4) (18 . 7) (22 . 10) (26 . 13)) 3830 0.1530 15.0903 ((26 . 1) (28 . 3) (29 . 4) (30 . 5)) 3831 0.1923 5.4148 ((16 . 1) (23 . 6) (24 . 7) (27 . 9) (28 . 11)) 3834 0.1538 11.5066 ((18 . 2) (22 . 4) (26 . 6) (29 . 8)) 3847 0.1538 8.7087 ((5 . 9) (6 . 10) (8 . 15) (9 . 16)) 3849 0.1530 10.1964 ((23 . 1) (25 . 2) (28 . 4) (29 . 7)) 3853 0.3026 6.9127 ((16 . 2) (17 . 3) (23 . 6) (24 . 7) (25 . 8) (26 . 9) (28 . 13) (29 . 19)) 3856 0.1538 3.2714 ((23 . 3) (24 . 4) (25 . 6) (27 . 9)) 3870 0.2308 4.2635 ((1 . 3) (2 . 4) (3 . 5) (6 . 7) (8 . 9) (9 . 10)) 3933 0.1538 7.3826 ((1 . 6) (3 . 10) (5 . 13) (7 . 17)) 3938 0.1538 4.8527 ((3 . 4) (4 . 5) (5 . 6) (8 . 12)) 3942 0.1535 6.4559 ((25 . 3) (26 . 4) (28 . 6) (29 . 8)) 3968 0.2692 3.2388 ((17 . 3) (18 . 4) (19 . 5) (22 . 8) (23 . 9) (24 . 10) (25 . 11)) 3986 0.1538 7.0402 ((9 . 1) (16 . 10) (17 . 13) (27 . 26)) 3990 0.1923 2.7053 ((17 . 18) (18 . 19) (19 . 20) (21 . 22) (25 . 26)) 4005 0.1538 7.3744 ((1 . 2) (3 . 4) (7 . 12) (19 . 30)) 4009 0.1913 5.1792 ((9 . 1) (18 . 14) (19 . 15) (22 . 18) (24 . 20)) 4011 0.1530 17.5463 ((13 . 1) (16 . 2) (18 . 4) (22 . 6)) 4019 0.1538 4.8141 ((17 . 43) (19 . 45) (27 . 51) (28 . 52)) 4030 0.1538 10.2201 ((18 . 9) (24 . 12) (28 . 15) (29 . 16)) 4034 0.1538 7.3930 ((19 . 10) (23 . 13) (24 . 14) (25 . 15)) 4037 0.1538 10.0262 ((17 . 1) (22 . 4) (24 . 5) (28 . 7)) 4062 0.1749 7.7969 ((2 . 44) (19 . 49) (21 . 50) (24 . 52) (29 . 53)) 4067 0.3462 3.3125 ((17 . 14) (18 . 15) (19 . 16) (22 . 19) (23 . 20) (24 . 21) (25 . 22) (26 . 23) (27 . 24)) 4077 0.1538 13.6227 ((2 . 8) (8 . 14) (11 . 16) (12 . 17)) 4082 0.1538 6.7902 ((16 . 2) (19 . 5) (23 . 7) (27 . 10)) 4087 0.1538 6.3648 ((18 . 2) (19 . 3) (23 . 6) (29 . 10)) 4112 0.1538 9.7585 ((3 . 1) (5 . 3) (6 . 7) (8 . 8)) 4115 0.3060 3.6997 ((17 . 1) (18 . 2) (19 . 5) (22 . 7) (23 . 8) (24 . 9) (25 . 10) (28 . 11)) 4134 0.1538 14.9128 ((2 . 25) (6 . 27) (8 . 30) (11 . 32)) 4140 0.1538 7.7106 ((1 . 21) (3 . 23) (4 . 25) (8 . 27)) 4151 0.4230 5.7873 ((16 . 4) (17 . 5) (19 . 19) (21 . 3) (22 . 6) (23 . 7) (24 . 8) (25 . 9) (26 . 11) (27 . 12) (28 . 16)) 4154 0.1538 6.5400 ((19 . 51) (21 . 53) (23 . 55) (25 . 57)) 4177 0.1538 6.6013 ((16 . 4) (18 . 6) (19 . 7) (23 . 9)) 4190 0.1538 8.4071 ((3 . 1) (4 . 2) (8 . 7) (9 . 8)) 4192 0.1923 5.0901 ((17 . 10) (23 . 13) (24 . 14) (25 . 15) (26 . 16)) 4194 0.2308 5.7241 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (9 . 7)) 4195 0.1538 8.3870 ((16 . 4) (22 . 7) (25 . 9) (29 . 11)) 4204 0.2692 4.9021 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 10) (7 . 11)) 4209 0.1538 6.8229 ((17 . 2) (21 . 7) (23 . 8) (25 . 10)) 4210 0.1923 5.3215 ((4 . 3) (5 . 4) (7 . 6) (8 . 7) (9 . 8)) 4226 0.3834 5.7648 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 20) (7 . 22) (8 . 23) (9 . 24) (30 . 27)) 4232 0.1538 8.2436 ((1 . 2) (3 . 4) (5 . 5) (7 . 8)) 4246 0.1536 6.0680 ((19 . 2) (21 . 3) (23 . 7) (25 . 8) (28 . 10)) 4254 0.1923 4.1914 ((1 . 11) (2 . 14) (3 . 15) (4 . 16) (5 . 17)) 4255 0.1538 7.8017 ((17 . 21) (18 . 22) (19 . 24) (23 . 26)) 4257 0.2308 2.9282 ((1 . 1) (2 . 2) (3 . 3) (4 . 6) (5 . 7) (7 . 11)) 4265 0.2308 2.8000 ((18 . 22) (19 . 23) (22 . 25) (23 . 26) (27 . 29) (28 . 31)) 4266 0.2308 6.3077 ((1 . 4) (2 . 5) (5 . 6) (6 . 7) (7 . 8) (9 . 12)) 4274 0.1923 3.7326 ((1 . 36) (2 . 37) (3 . 38) (4 . 39) (5 . 40)) 4275 0.2376 7.1629 ((17 . 21) (18 . 22) (19 . 23) (22 . 24) (23 . 25) (25 . 27) (28 . 29)) 4281 0.1871 5.1515 ((17 . 3) (19 . 4) (21 . 5) (22 . 7) (23 . 8) (24 . 9) (25 . 10)) 4284 0.1538 6.2448 ((17 . 1) (18 . 2) (19 . 5) (25 . 9)) 4299 0.1923 5.3191 ((17 . 6) (18 . 7) (21 . 9) (25 . 11) (27 . 14)) 4301 0.1538 8.1906 ((19 . 1) (21 . 3) (25 . 6) (27 . 9)) 4326 0.3846 4.3887 ((17 . 2) (18 . 6) (19 . 7) (21 . 10) (22 . 14) (23 . 15) (24 . 16) (25 . 17) (26 . 18) (27 . 19)) 4332 0.1648 5.5472 ((16 . 3) (17 . 4) (18 . 5) (19 . 6) (22 . 8)) 4338 0.1923 6.1797 ((1 . 4) (2 . 5) (3 . 6) (5 . 8) (8 . 9)) 4352 0.1849 10.2421 ((16 . 1) (18 . 2) (22 . 4) (27 . 9) (29 . 12)) 4359 0.2687 5.0429 ((9 . 1) (17 . 10) (19 . 11) (21 . 12) (23 . 13) (25 . 17) (27 . 21)) 4380 0.1921 7.4928 ((1 . 1) (9 . 15) (16 . 27) (17 . 29) (25 . 36)) 4383 0.1538 6.3641 ((1 . 14) (3 . 16) (7 . 21) (9 . 22)) 4386 0.1923 9.3319 ((3 . 1) (6 . 3) (7 . 4) (8 . 5) (18 . 12)) 4388 0.2124 6.8214 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 16) (9 . 17)) 4398 0.2692 6.7672 ((2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 9) (7 . 10) (8 . 11)) 4405 0.1538 4.6442 ((2 . 13) (3 . 14) (4 . 17) (5 . 18)) 4408 0.1538 3.7092 ((21 . 2) (23 . 4) (24 . 5) (25 . 6)) 4415 0.1923 3.9883 ((17 . 1) (22 . 5) (23 . 9) (24 . 10) (25 . 11)) 4419 0.1538 6.2726 ((16 . 2) (17 . 3) (21 . 8) (23 . 10)) 4426 0.1538 8.5535 ((17 . 2) (18 . 3) (19 . 4) (23 . 6)) 4470 0.4229 4.8589 ((17 . 1) (18 . 4) (19 . 5) (21 . 7) (22 . 11) (23 . 12) (24 . 13) (25 . 14) (26 . 15) (27 . 18) (28 . 22)) 4491 0.1538 7.0211 ((17 . 1) (18 . 4) (19 . 5) (21 . 6)) 4492 0.3077 2.6463 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 16) (7 . 18) (8 . 19) (9 . 21)) 4495 0.2308 5.7043 ((22 . 5) (23 . 6) (24 . 7) (25 . 8) (27 . 10) (30 . 13)) 4497 0.1538 6.2735 ((3 . 18) (4 . 20) (7 . 24) (9 . 26)) 4502 0.2308 6.3145 ((3 . 6) (5 . 9) (6 . 13) (7 . 14) (8 . 16) (9 . 17)) 4503 0.1530 8.9748 ((19 . 1) (21 . 3) (23 . 5) (25 . 7)) 4504 0.1923 3.5371 ((21 . 13) (23 . 15) (25 . 17) (26 . 18) (27 . 19)) 4505 0.2301 3.4624 ((1 . 26) (2 . 27) (3 . 28) (4 . 29) (5 . 30) (8 . 35)) 4516 0.2692 4.8645 ((17 . 6) (22 . 7) (23 . 8) (24 . 9) (25 . 10) (26 . 11) (27 . 12)) 4527 0.1277 8.8132 ((1 . 1) (4 . 2) (6 . 4) (7 . 7)) 4538 0.1538 11.9975 ((3 . 30) (6 . 36) (7 . 37) (8 . 39)) 4551 0.2282 4.5866 ((17 . 1) (19 . 2) (23 . 4) (24 . 7) (25 . 8) (27 . 17)) 4560 0.3462 3.5071 ((1 . 1) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 10) (7 . 11) (8 . 12) (9 . 17)) 4561 0.3461 4.3760 ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 11) (9 . 16)) 4562 0.3077 3.4324 ((17 . 19) (18 . 21) (19 . 22) (23 . 25) (24 . 26) (25 . 27) (26 . 28) (27 . 29)) 4563 0.2308 5.0309 ((1 . 26) (2 . 27) (3 . 28) (7 . 31) (8 . 33) (9 . 34)) 4577 0.1569 9.4122 ((1 . 28) (3 . 29) (17 . 52) (25 . 58) (26 . 59) (27 . 60)) 4579 0.1951 6.7603 ((2 . 3) (6 . 5) (8 . 6) (12 . 7) (13 . 13) (30 . 16)) 4588 0.3462 3.4572 ((17 . 1) (18 . 2) (19 . 3) (21 . 9) (23 . 11) (24 . 12) (25 . 13) (27 . 16) (28 . 31)) 4589 0.1538 6.1503 ((21 . 23) (24 . 24) (25 . 25) (27 . 27)) 4607 0.1538 9.9836 ((22 . 5) (24 . 8) (26 . 9) (28 . 11)) 4621 0.1538 7.0723 ((16 . 5) (17 . 6) (19 . 8) (21 . 9)) 4630 0.1538 1.9318 ((17 . 20) (23 . 23) (25 . 26) (27 . 29)) 4648 0.1530 6.1497 ((21 . 2) (22 . 3) (23 . 5) (24 . 7)) 4653 0.1784 7.7287 ((1 . 1) (2 . 2) (3 . 5) (7 . 8) (9 . 9)) 4668 0.3846 3.7761 ((17 . 1) (18 . 2) (19 . 3) (21 . 5) (22 . 6) (23 . 7) (24 . 8) (25 . 9) (26 . 10) (27 . 11)) 4669 0.2308 8.2004 ((1 . 17) (2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 22)) 4671 0.1923 4.8760 ((17 . 1) (23 . 2) (24 . 3) (25 . 4) (27 . 19)) 4674 0.1538 7.5235 ((1 . 2) (4 . 5) (5 . 6) (7 . 9)) 4678 0.1538 10.0968 ((16 . 2) (18 . 3) (22 . 7) (25 . 10)) 4699 0.1427 8.3475 ((16 . 8) (18 . 10) (22 . 11) (24 . 13)) 4713 0.1538 7.0462 ((17 . 3) (19 . 5) (21 . 7) (25 . 9)) 4715 0.1538 8.1606 ((16 . 2) (21 . 6) (26 . 11) (28 . 13)) 4716 0.1530 20.2318 ((18 . 1) (28 . 7) (29 . 8) (30 . 10)) 4731 0.1538 3.4538 ((1 . 18) (4 . 20) (5 . 22) (7 . 24)) 4764 0.1535 7.5120 ((24 . 8) (26 . 9) (28 . 10) (29 . 11)) 4783 0.1538 17.5716 ((8 . 2) (13 . 6) (18 . 8) (26 . 12)) 4817 0.1538 6.1527 ((22 . 7) (24 . 9) (28 . 12) (29 . 13)) 4857 0.1923 6.2169 ((16 . 4) (17 . 5) (23 . 11) (24 . 12) (28 . 14)) 4886 0.1538 5.5720 ((1 . 1) (5 . 4) (6 . 6) (9 . 9)) 4888 0.1538 8.9090 ((16 . 6) (23 . 12) (27 . 16) (28 . 18)) 4889 0.1898 10.1517 ((5 . 2) (8 . 5) (9 . 6) (22 . 21) (26 . 24)) 4907 0.1488 8.9250 ((18 . 2) (21 . 3) (25 . 7) (27 . 9)) 4914 0.1538 6.7074 ((3 . 4) (5 . 6) (7 . 10) (9 . 12)) 4921 0.1784 4.9384 ((17 . 7) (19 . 8) (21 . 12) (24 . 13) (25 . 17)) 4929 0.1538 7.9442 ((17 . 29) (19 . 31) (23 . 33) (25 . 35)) 4932 0.1969 6.7046 ((17 . 1) (19 . 2) (22 . 3) (25 . 5) (27 . 6) (28 . 7) (29 . 9)) 4940 0.1923 3.5476 ((16 . 5) (17 . 8) (23 . 9) (25 . 10) (27 . 11)) 4941 0.1923 5.4292 ((17 . 13) (23 . 15) (25 . 17) (27 . 19) (30 . 21)) 4944 0.1923 11.7351 ((16 . 10) (17 . 11) (18 . 12) (23 . 14) (27 . 16)) 4961 0.3060 8.2626 ((16 . 2) (17 . 3) (18 . 4) (19 . 6) (23 . 12) (24 . 16) (25 . 17) (27 . 20)) 4963 0.1538 11.2227 ((6 . 5) (8 . 6) (11 . 8) (12 . 9)) 4978 0.2706 5.5555 ((17 . 18) (18 . 20) (19 . 21) (21 . 22) (22 . 27) (23 . 28) (24 . 29) (25 . 30) (26 . 31) (27 . 32) (28 . 33)) 4982 0.1923 5.8826 ((3 . 10) (4 . 11) (5 . 12) (6 . 13) (7 . 14)) 4992 0.1923 5.1973 ((19 . 3) (22 . 4) (23 . 6) (24 . 7) (25 . 8)) 4998 0.3924 6.9885 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (5 . 6) (6 . 21) (7 . 23) (8 . 24) (9 . 25) (24 . 27) (29 . 30)) 5000 0.1538 13.4175 ((18 . 30) (22 . 31) (29 . 35) (30 . 36)) 5016 0.1513 10.2098 ((16 . 5) (18 . 6) (22 . 8) (24 . 10)) 5029 0.3097 5.5972 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 5036 0.1538 8.1224 ((21 . 2) (23 . 4) (25 . 6) (27 . 8)) 5038 0.1513 6.8440 ((17 . 10) (19 . 12) (21 . 15) (23 . 17)) 5039 0.2692 5.3192 ((1 . 37) (2 . 38) (3 . 39) (4 . 40) (5 . 41) (6 . 43) (7 . 44)) 5044 0.1538 9.8216 ((4 . 4) (8 . 11) (25 . 31) (27 . 33)) 5046 0.1538 8.1784 ((17 . 1) (19 . 4) (23 . 7) (27 . 10)) 5053 0.1923 6.6147 ((2 . 8) (5 . 11) (8 . 14) (9 . 15) (11 . 17)) 5065 0.1538 7.3964 ((18 . 1) (19 . 2) (22 . 5) (25 . 8)) 5068 0.3055 6.3579 ((1 . 2) (3 . 4) (5 . 7) (6 . 11) (7 . 17) (8 . 19) (9 . 20) (26 . 28)) 5069 0.2308 5.0476 ((17 . 2) (18 . 3) (21 . 7) (23 . 9) (26 . 14) (27 . 15)) 5073 0.2308 7.1595 ((17 . 32) (19 . 34) (23 . 36) (24 . 38) (25 . 39) (28 . 41)) 5080 0.1538 9.9170 ((23 . 2) (28 . 5) (29 . 6) (30 . 8)) 5083 0.1538 4.3642 ((21 . 2) (22 . 4) (23 . 5) (25 . 8)) 5092 0.1538 9.5488 ((4 . 4) (6 . 7) (8 . 8) (16 . 15)) 5101 0.5657 5.7962 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (17 . 15) (18 . 17) (19 . 18) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (27 . 26) (28 . 28)) 5103 0.3077 3.7018 ((17 . 13) (18 . 14) (19 . 15) (22 . 16) (23 . 17) (24 . 18) (25 . 19) (28 . 20)) 5121 0.1538 5.1839 ((2 . 14) (3 . 16) (7 . 21) (8 . 22)) 5132 0.2308 6.1557 ((17 . 18) (18 . 19) (19 . 20) (23 . 22) (26 . 24) (27 . 26)) 5134 0.1538 6.8421 ((4 . 16) (5 . 17) (6 . 18) (7 . 19)) 5145 0.1923 4.3294 ((1 . 3) (2 . 4) (3 . 5) (4 . 7) (5 . 8)) 5167 0.1923 4.6787 ((16 . 7) (17 . 9) (23 . 12) (24 . 13) (25 . 14)) 5176 0.1538 11.0671 ((5 . 82) (6 . 83) (7 . 86) (9 . 88)) 5183 0.1538 7.0144 ((23 . 34) (25 . 36) (27 . 38) (28 . 39)) 5192 0.2308 6.8936 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5) (8 . 6)) 5198 0.2308 8.0492 ((1 . 21) (2 . 23) (3 . 24) (4 . 25) (5 . 26) (6 . 27)) 5199 0.1538 10.8623 ((1 . 4) (3 . 7) (5 . 8) (7 . 9)) 5209 0.1538 8.4407 ((16 . 2) (17 . 3) (18 . 6) (25 . 9)) 5212 0.1535 12.5699 ((13 . 9) (24 . 17) (26 . 18) (29 . 19)) 5215 0.1923 6.0586 ((2 . 8) (3 . 9) (5 . 11) (8 . 14) (11 . 17)) 5223 0.2308 4.1573 ((19 . 10) (22 . 11) (23 . 12) (24 . 14) (25 . 15) (27 . 17)) 5231 0.1538 6.7785 ((17 . 8) (19 . 12) (21 . 13) (22 . 15)) 5266 0.3077 3.4384 ((17 . 2) (18 . 3) (19 . 4) (21 . 6) (23 . 8) (24 . 9) (25 . 10) (27 . 13)) 5278 0.1538 6.1273 ((19 . 5) (21 . 7) (23 . 9) (27 . 12)) 5307 0.2854 4.3995 ((17 . 51) (18 . 52) (19 . 53) (22 . 54) (23 . 55) (25 . 57) (27 . 58) (28 . 59)) 5312 0.1530 7.5375 ((3 . 1) (5 . 3) (7 . 5) (8 . 6)) 5318 0.1923 4.7509 ((1 . 8) (2 . 9) (3 . 11) (11 . 16) (12 . 17)) 5323 0.1784 8.0437 ((18 . 3) (22 . 16) (24 . 17) (26 . 18) (28 . 19)) 5324 0.3459 5.4986 ((1 . 12) (2 . 13) (3 . 14) (5 . 15) (6 . 6) (7 . 7) (8 . 8) (9 . 10) (30 . 11)) 5344 0.1538 6.2002 ((17 . 1) (19 . 3) (25 . 7) (27 . 9)) 5345 0.2498 5.0344 ((17 . 7) (19 . 8) (21 . 9) (23 . 12) (25 . 17) (27 . 18) (29 . 20)) 5368 0.1923 6.7444 ((17 . 20) (19 . 22) (23 . 26) (25 . 28) (27 . 30)) 5378 0.1538 3.8638 ((23 . 4) (24 . 5) (25 . 6) (27 . 7)) 5411 0.1538 5.2735 ((22 . 2) (23 . 3) (26 . 5) (27 . 6)) 5414 0.1538 5.6071 ((17 . 16) (18 . 17) (19 . 20) (21 . 21)) 5418 0.1538 4.4718 ((17 . 7) (19 . 8) (21 . 9) (22 . 10)) 5433 0.1538 4.6072 ((1 . 4) (3 . 7) (7 . 16) (9 . 18)) 5442 0.1535 7.8693 ((18 . 31) (26 . 33) (28 . 35) (29 . 36)) 5479 0.1923 9.6355 ((9 . 45) (17 . 54) (19 . 56) (23 . 61) (27 . 63)) 5487 0.1923 3.8051 ((21 . 7) (22 . 8) (23 . 9) (24 . 10) (25 . 11)) 5489 0.1923 6.5024 ((17 . 10) (19 . 11) (23 . 13) (25 . 16) (27 . 17)) 5500 0.2612 5.1411 ((1 . 1) (3 . 2) (5 . 3) (6 . 10) (7 . 12) (8 . 13) (9 . 14)) 5501 0.1538 6.9026 ((1 . 20) (6 . 26) (8 . 28) (9 . 30)) 5525 0.1538 12.5761 ((2 . 1) (4 . 2) (8 . 5) (11 . 10)) 5535 0.1538 6.4491 ((1 . 4) (3 . 7) (5 . 9) (7 . 12)) 5540 0.1849 8.4280 ((17 . 7) (19 . 8) (26 . 9) (27 . 16) (29 . 17)) 5557 0.1538 5.3669 ((19 . 4) (22 . 5) (23 . 6) (24 . 7)) 5560 0.3461 5.2145 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (6 . 8) (7 . 9) (8 . 10) (9 . 23) (30 . 24)) 5562 0.2308 3.9946 ((16 . 9) (19 . 11) (22 . 13) (23 . 14) (24 . 15) (25 . 17)) 5567 0.2690 5.7463 ((19 . 8) (22 . 10) (23 . 11) (24 . 14) (25 . 15) (26 . 16) (27 . 17)) 5594 0.3036 6.7131 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6) (8 . 7) (9 . 9) (30 . 13)) 5600 0.1538 5.3565 ((21 . 3) (22 . 4) (23 . 5) (28 . 10)) 5601 0.2305 5.0620 ((19 . 1) (21 . 3) (22 . 4) (23 . 5) (25 . 7) (28 . 9)) 5638 0.1538 6.1538 ((1 . 7) (3 . 9) (4 . 12) (5 . 13)) 5640 0.2124 6.6979 ((9 . 11) (17 . 20) (19 . 21) (21 . 22) (23 . 23) (25 . 27) (27 . 28)) 5644 0.1538 7.1191 ((19 . 3) (21 . 4) (23 . 8) (25 . 10)) 5648 0.1538 15.6225 ((16 . 4) (18 . 5) (22 . 7) (26 . 8)) 5656 0.3568 4.8004 ((17 . 1) (18 . 4) (19 . 5) (22 . 13) (23 . 14) (24 . 15) (25 . 16) (26 . 17) (27 . 21) (28 . 25)) 5689 0.1538 10.0173 ((2 . 9) (8 . 14) (11 . 18) (12 . 19)) 5700 0.1898 7.6538 ((17 . 2) (19 . 4) (21 . 6) (23 . 8) (25 . 9)) 5701 0.1923 8.3505 ((18 . 3) (19 . 4) (23 . 6) (26 . 7) (27 . 8)) 5702 0.1538 9.5817 ((2 . 9) (6 . 12) (8 . 13) (12 . 16)) 5703 0.1538 8.4036 ((17 . 1) (18 . 3) (23 . 6) (27 . 8)) 5704 0.1538 11.3656 ((16 . 2) (18 . 4) (22 . 5) (29 . 8)) 5711 0.1538 7.5393 ((5 . 37) (7 . 42) (9 . 44) (12 . 48)) 5713 0.2282 4.9732 ((17 . 10) (19 . 11) (21 . 13) (23 . 15) (25 . 20) (27 . 21)) 5718 0.2065 6.5194 ((17 . 16) (19 . 17) (21 . 18) (23 . 23) (25 . 24) (27 . 25)) 5731 0.1538 6.2861 ((17 . 3) (18 . 6) (21 . 7) (22 . 8)) 5746 0.1538 7.6707 ((1 . 3) (2 . 4) (3 . 6) (9 . 14)) 5749 0.1538 7.0952 ((16 . 2) (19 . 4) (23 . 6) (24 . 8)) 5761 0.1538 8.5832 ((24 . 29) (25 . 30) (27 . 32) (29 . 34)) 5770 0.1538 4.9411 ((16 . 2) (18 . 5) (19 . 6) (23 . 9)) 5771 0.3395 3.8260 ((17 . 1) (18 . 8) (19 . 9) (22 . 16) (23 . 17) (24 . 19) (25 . 20) (27 . 21) (28 . 22)) 5782 0.1923 5.5479 ((3 . 15) (4 . 17) (5 . 18) (8 . 23) (11 . 28)) 5789 0.1512 23.3668 ((12 . 1) (13 . 3) (16 . 4) (17 . 5)) 5794 0.1538 6.3776 ((17 . 16) (18 . 17) (19 . 18) (22 . 22)) 5795 0.1923 4.3219 ((1 . 10) (2 . 12) (3 . 13) (4 . 15) (5 . 16)) 5809 0.2655 8.4796 ((17 . 3) (23 . 5) (24 . 6) (25 . 7) (26 . 8) (28 . 10) (29 . 16)) 5822 0.1538 8.0270 ((21 . 4) (22 . 5) (23 . 6) (29 . 11)) 5827 0.3077 6.6516 ((1 . 5) (2 . 6) (3 . 8) (4 . 10) (5 . 11) (7 . 15) (9 . 19) (30 . 21)) 5830 0.1923 10.2434 ((17 . 1) (18 . 5) (21 . 6) (23 . 8) (26 . 11)) 5847 0.1648 7.8146 ((19 . 2) (21 . 7) (23 . 9) (25 . 18) (27 . 20)) 5861 0.2304 5.3100 ((9 . 2) (17 . 11) (19 . 12) (23 . 15) (25 . 20) (27 . 25)) 5865 0.1538 3.7670 ((5 . 1) (7 . 5) (8 . 6) (9 . 7)) 5878 0.1535 11.0621 ((18 . 13) (22 . 21) (26 . 23) (30 . 31)) 5888 0.1923 5.2179 ((1 . 8) (3 . 9) (5 . 10) (7 . 12) (9 . 16)) 5896 0.1538 5.0289 ((17 . 29) (18 . 30) (19 . 31) (22 . 32)) 5904 0.3460 6.3703 ((1 . 1) (2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8) (7 . 9) (8 . 10) (9 . 11)) 5913 0.2308 8.7649 ((16 . 11) (18 . 12) (19 . 13) (23 . 15) (25 . 17) (27 . 20)) 5922 0.1538 7.9196 ((1 . 6) (3 . 8) (5 . 9) (7 . 11)) 5930 0.1538 4.6856 ((3 . 2) (4 . 3) (5 . 4) (7 . 10)) 5939 0.2282 4.5568 ((22 . 1) (23 . 2) (24 . 3) (25 . 4) (26 . 5) (27 . 6)) 5945 0.4230 3.9042 ((17 . 2) (18 . 10) (19 . 11) (21 . 13) (22 . 22) (23 . 23) (24 . 25) (25 . 26) (26 . 27) (27 . 28) (28 . 39)) 5949 0.2308 4.1568 ((16 . 8) (17 . 9) (18 . 11) (21 . 12) (22 . 13) (23 . 14)) 5955 0.3836 4.8616 ((17 . 1) (18 . 2) (19 . 3) (22 . 6) (23 . 7) (24 . 8) (25 . 9) (26 . 10) (27 . 14) (28 . 18)) 5967 0.2678 4.1490 ((17 . 1) (18 . 2) (19 . 3) (22 . 6) (23 . 7) (24 . 8) (26 . 10)) 5972 0.1535 6.6033 ((22 . 1) (26 . 5) (27 . 6) (28 . 8)) 5977 0.1923 4.7685 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5)) 6000 0.2308 7.1401 ((3 . 9) (4 . 11) (6 . 16) (7 . 17) (9 . 21) (30 . 30)) 6011 0.1921 11.8461 ((3 . 14) (5 . 16) (6 . 17) (8 . 21) (11 . 22)) 6022 0.1538 6.2659 ((17 . 1) (19 . 2) (23 . 5) (25 . 8)) 6029 0.3769 7.2020 ((1 . 1) (2 . 2) (3 . 18) (5 . 19) (6 . 20) (7 . 21) (8 . 22) (9 . 23) (11 . 26) (18 . 34) (29 . 38)) 6033 0.1538 7.2403 ((2 . 2) (6 . 4) (8 . 7) (12 . 10)) 6041 0.1923 7.5107 ((4 . 6) (5 . 8) (6 . 9) (7 . 10) (9 . 12)) 6046 0.1538 7.8912 ((18 . 1) (19 . 2) (23 . 5) (26 . 7)) 6061 0.2308 7.0703 ((1 . 13) (5 . 15) (6 . 16) (7 . 17) (8 . 18) (9 . 20)) 6074 0.2308 5.3467 ((1 . 6) (2 . 7) (3 . 8) (4 . 10) (5 . 11) (7 . 13)) 6075 0.3449 3.9148 ((17 . 17) (18 . 19) (19 . 20) (21 . 21) (22 . 23) (23 . 24) (25 . 27) (27 . 28) (28 . 29)) 6079 0.2248 7.4298 ((17 . 1) (22 . 2) (23 . 6) (25 . 7) (27 . 8) (30 . 12)) 6087 0.2308 6.0588 ((1 . 3) (4 . 4) (6 . 7) (7 . 8) (8 . 9) (9 . 10)) 6089 0.1677 5.0708 ((11 . 19) (13 . 33) (17 . 1) (18 . 2) (19 . 3) (24 . 4) (25 . 5) (26 . 6) (27 . 24) (28 . 25)) 6094 0.1536 19.8500 ((9 . 1) (13 . 6) (19 . 14) (23 . 16)) 6099 0.1918 8.5245 ((3 . 5) (7 . 10) (8 . 12) (9 . 13) (11 . 15)) 6123 0.1513 13.7462 ((19 . 3) (21 . 5) (22 . 6) (24 . 7)) 6142 0.2282 7.5855 ((17 . 6) (19 . 7) (21 . 8) (23 . 10) (25 . 11) (27 . 12)) 6148 0.1538 5.4769 ((19 . 32) (23 . 34) (24 . 35) (25 . 36)) 6167 0.1538 2.0822 ((19 . 1) (23 . 6) (25 . 9) (27 . 12)) 6169 0.1765 10.9071 ((6 . 1) (8 . 4) (12 . 8) (26 . 13) (28 . 14) (29 . 15) (30 . 16)) 6173 0.1920 7.8201 ((17 . 3) (19 . 5) (23 . 8) (27 . 13) (29 . 16)) 6191 0.1538 7.3859 ((2 . 1) (5 . 6) (6 . 7) (7 . 10)) 6192 0.1923 8.1933 ((16 . 4) (17 . 5) (23 . 10) (25 . 11) (28 . 16)) 6215 0.1538 8.2396 ((19 . 18) (21 . 20) (24 . 22) (25 . 24)) 6225 0.1913 10.7447 ((17 . 3) (21 . 5) (24 . 9) (27 . 10) (28 . 11)) 6228 0.2308 4.0243 ((17 . 1) (18 . 2) (19 . 3) (21 . 5) (25 . 7) (27 . 9)) 6234 0.1538 5.6341 ((17 . 9) (19 . 10) (22 . 14) (23 . 15)) 6238 0.1923 12.8359 ((16 . 1) (22 . 6) (23 . 7) (27 . 9) (28 . 10)) 6243 0.2308 4.6095 ((1 . 3) (2 . 5) (3 . 6) (4 . 7) (5 . 8) (8 . 11)) 6251 0.2308 4.4227 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (7 . 17) (8 . 18)) 6258 0.3072 3.8870 ((17 . 7) (18 . 8) (19 . 9) (23 . 10) (24 . 11) (25 . 12) (27 . 13) (28 . 14)) 6261 0.3456 4.0072 ((17 . 1) (18 . 2) (19 . 3) (23 . 9) (24 . 10) (25 . 11) (26 . 15) (27 . 19) (28 . 23)) 6266 0.2308 3.5723 ((17 . 3) (21 . 5) (23 . 6) (25 . 8) (26 . 9) (27 . 10)) 6268 0.1342 15.6702 ((2 . 8) (4 . 10) (6 . 12) (8 . 14)) 6270 0.1538 5.1999 ((13 . 11) (19 . 18) (22 . 19) (23 . 20)) 6271 0.1538 5.1283 ((19 . 8) (22 . 9) (23 . 10) (28 . 14)) 6273 0.1538 7.9375 ((19 . 1) (21 . 3) (23 . 4) (27 . 7)) 6294 0.3846 5.7766 ((1 . 2) (2 . 5) (3 . 6) (4 . 7) (5 . 9) (6 . 21) (7 . 23) (8 . 24) (9 . 25) (30 . 28)) 6306 0.1538 5.0118 ((19 . 17) (22 . 18) (23 . 19) (28 . 23)) 6309 0.1648 8.5637 ((1 . 17) (2 . 19) (3 . 20) (5 . 25) (8 . 26)) 6311 0.1538 6.0389 ((17 . 4) (23 . 9) (25 . 10) (27 . 11)) 6326 0.1538 8.6712 ((17 . 2) (21 . 5) (25 . 7) (27 . 10)) 6329 0.1811 9.3515 ((4 . 6) (6 . 9) (8 . 15) (12 . 16) (16 . 18)) 6338 0.1538 7.2652 ((17 . 1) (19 . 2) (21 . 4) (23 . 7)) 6344 0.1538 4.8184 ((1 . 1) (2 . 2) (3 . 3) (12 . 11)) 6345 0.1538 5.7901 ((18 . 2) (19 . 4) (23 . 7) (26 . 8)) 6348 0.3077 6.1299 ((1 . 1) (2 . 3) (3 . 4) (4 . 6) (6 . 8) (7 . 9) (8 . 10) (9 . 11)) 6355 0.1648 6.6567 ((19 . 6) (21 . 7) (23 . 8) (25 . 11) (27 . 12)) 6356 0.4180 4.6194 ((17 . 1) (18 . 3) (19 . 4) (21 . 6) (22 . 8) (23 . 9) (24 . 10) (25 . 11) (26 . 12) (27 . 13) (28 . 14)) 6359 0.1538 7.4187 ((16 . 2) (18 . 3) (24 . 6) (26 . 8)) 6369 0.3077 4.2627 ((16 . 21) (17 . 22) (22 . 23) (23 . 24) (24 . 25) (25 . 26) (26 . 28) (27 . 29)) 6376 0.2737 4.0194 ((17 . 17) (18 . 18) (19 . 19) (21 . 21) (22 . 23) (23 . 24) (25 . 26) (28 . 29)) 6384 0.1538 10.6422 ((18 . 1) (22 . 3) (24 . 4) (28 . 7)) 6391 0.1538 7.7610 ((11 . 1) (19 . 8) (22 . 11) (23 . 12)) 6392 0.1923 3.8278 ((1 . 1) (2 . 2) (3 . 3) (8 . 8) (9 . 9)) 6399 0.2282 6.1043 ((17 . 10) (19 . 11) (21 . 12) (23 . 14) (25 . 15) (27 . 16)) 6403 0.2457 5.7442 ((1 . 5) (2 . 6) (3 . 7) (4 . 9) (5 . 10) (7 . 14) (9 . 15) (12 . 16)) 6434 0.1530 12.1685 ((4 . 1) (5 . 2) (11 . 7) (12 . 8)) 6461 0.1538 9.0492 ((24 . 2) (25 . 3) (26 . 4) (28 . 5)) 6462 0.2308 2.8747 ((17 . 12) (19 . 16) (23 . 18) (24 . 19) (25 . 20) (27 . 22)) 6476 0.1427 8.0432 ((22 . 5) (23 . 4) (24 . 6) (26 . 7)) 6498 0.2656 5.9672 ((1 . 16) (2 . 22) (3 . 29) (4 . 30) (5 . 31) (6 . 18) (7 . 19) (8 . 20) (9 . 21) (30 . 28)) 6506 0.1538 13.2278 ((2 . 21) (6 . 23) (8 . 25) (11 . 28)) 6520 0.1912 13.1402 ((5 . 10) (6 . 11) (9 . 15) (11 . 18) (19 . 25)) 6536 0.1923 11.0150 ((2 . 1) (4 . 21) (6 . 22) (22 . 29) (29 . 32)) 6539 0.1923 6.2224 ((3 . 5) (4 . 7) (5 . 8) (6 . 9) (7 . 10)) 6540 0.1538 7.7621 ((7 . 6) (17 . 16) (19 . 18) (25 . 22)) 6548 0.1923 6.4258 ((17 . 5) (19 . 7) (21 . 9) (25 . 13) (28 . 15)) 6553 0.2308 3.7468 ((1 . 11) (2 . 12) (3 . 15) (6 . 19) (7 . 20) (9 . 22)) 6555 0.1538 7.7554 ((21 . 17) (23 . 20) (24 . 21) (27 . 23)) 6561 0.1538 3.8794 ((2 . 5) (3 . 9) (7 . 12) (9 . 13)) 6573 0.1923 8.5757 ((16 . 16) (17 . 17) (18 . 18) (19 . 19) (21 . 21)) 6575 0.1538 7.0165 ((19 . 1) (22 . 3) (23 . 5) (28 . 7)) 6578 0.1538 5.4932 ((18 . 33) (19 . 34) (23 . 38) (24 . 39)) 6584 0.1923 9.5478 ((3 . 3) (4 . 4) (5 . 5) (7 . 9) (8 . 10)) 6585 0.2308 6.7114 ((2 . 4) (3 . 6) (4 . 7) (5 . 8) (6 . 9) (7 . 10)) 6586 0.1648 5.9802 ((1 . 18) (2 . 19) (6 . 23) (7 . 24) (9 . 25)) 6587 0.1923 5.3569 ((22 . 27) (25 . 29) (26 . 30) (27 . 31) (28 . 32)) 6598 0.2376 7.2946 ((3 . 1) (17 . 10) (18 . 12) (19 . 13) (23 . 16) (25 . 17) (27 . 22)) 6613 0.1923 4.1299 ((1 . 10) (2 . 11) (3 . 12) (4 . 15) (12 . 25)) 6622 0.1538 12.2382 ((18 . 1) (22 . 4) (24 . 5) (28 . 8)) 6635 0.1538 5.0036 ((23 . 1) (24 . 3) (25 . 4) (28 . 9)) END