1082 25 0.1176 10.8992 ((16 . 6) (18 . 9) (20 . 10) (25 . 14)) 41 0.1765 4.9199 ((9 . 3) (11 . 4) (12 . 5) (14 . 6) (16 . 7) (18 . 8)) 51 0.1471 7.8640 ((1 . 1) (2 . 2) (4 . 6) (8 . 11) (9 . 13)) 62 0.1176 5.8159 ((11 . 9) (12 . 10) (14 . 15) (16 . 16)) 64 0.1176 4.7746 ((1 . 3) (2 . 4) (8 . 9) (9 . 10)) 77 0.1471 5.9809 ((9 . 8) (11 . 10) (16 . 15) (17 . 16) (18 . 17)) 91 0.2214 5.1881 ((4 . 19) (8 . 21) (9 . 28) (12 . 16) (14 . 30) (16 . 31) (18 . 14) (29 . 32)) 96 0.1176 4.3439 ((9 . 1) (11 . 2) (12 . 3) (16 . 6)) 129 0.1471 8.7804 ((1 . 1) (3 . 2) (4 . 3) (8 . 11) (9 . 12)) 136 0.1176 4.8479 ((4 . 3) (8 . 7) (9 . 8) (11 . 9)) 147 0.1176 12.4599 ((25 . 2) (26 . 3) (27 . 5) (29 . 7)) 150 0.1470 6.4150 ((7 . 17) (12 . 20) (14 . 21) (16 . 23) (19 . 25)) 153 0.1176 6.2911 ((4 . 1) (8 . 7) (9 . 8) (12 . 10)) 155 0.1176 5.6542 ((24 . 3) (25 . 4) (26 . 5) (27 . 6)) 157 0.1174 5.8528 ((14 . 10) (16 . 11) (17 . 12) (19 . 14)) 161 0.1176 8.9677 ((1 . 4) (3 . 6) (4 . 8) (6 . 9)) 162 0.1471 7.8686 ((4 . 12) (8 . 17) (9 . 18) (11 . 19) (12 . 22)) 169 0.1176 7.2017 ((8 . 5) (9 . 7) (12 . 9) (16 . 12)) 177 0.1350 10.6025 ((8 . 1) (9 . 3) (12 . 4) (16 . 8) (17 . 9) (19 . 10)) 191 0.1176 5.2670 ((1 . 4) (6 . 6) (8 . 8) (9 . 9)) 198 0.1176 8.2588 ((6 . 2) (8 . 7) (9 . 8) (16 . 17)) 207 0.1471 7.4181 ((1 . 7) (2 . 8) (6 . 13) (8 . 15) (11 . 17)) 233 0.1176 6.9441 ((1 . 1) (2 . 2) (4 . 3) (6 . 7)) 259 0.1329 8.9825 ((7 . 1) (26 . 2) (27 . 3) (28 . 5) (29 . 8)) 293 0.1176 12.0048 ((13 . 3) (14 . 4) (17 . 5) (20 . 6)) 300 0.1176 4.5132 ((11 . 5) (12 . 7) (16 . 10) (17 . 11)) 305 0.1470 11.0515 ((8 . 9) (11 . 13) (12 . 15) (19 . 21) (21 . 25)) 307 0.2059 3.8582 ((9 . 1) (11 . 2) (12 . 3) (14 . 6) (16 . 7) (17 . 8) (19 . 9)) 315 0.1176 11.9501 ((5 . 2) (6 . 4) (7 . 7) (9 . 8)) 317 0.1176 11.5455 ((17 . 1) (18 . 2) (20 . 4) (22 . 6)) 329 0.1176 12.8777 ((21 . 1) (22 . 3) (25 . 7) (26 . 8)) 350 0.1176 7.5072 ((6 . 1) (9 . 7) (12 . 10) (16 . 16)) 351 0.1170 7.6711 ((22 . 1) (26 . 6) (29 . 9) (38 . 10)) 360 0.1471 8.5831 ((6 . 6) (8 . 10) (9 . 12) (11 . 13) (12 . 14)) 361 0.1471 7.3587 ((1 . 4) (5 . 6) (8 . 10) (9 . 11) (11 . 13)) 365 0.1176 5.4539 ((8 . 3) (9 . 4) (11 . 7) (12 . 8)) 367 0.1176 6.0121 ((8 . 38) (9 . 40) (12 . 43) (16 . 48)) 372 0.1176 8.8840 ((2 . 5) (4 . 6) (6 . 10) (8 . 14)) 387 0.1176 8.2687 ((1 . 10) (2 . 11) (4 . 12) (8 . 15)) 405 0.1176 8.5478 ((1 . 34) (2 . 35) (4 . 37) (6 . 40)) 417 0.1176 7.7256 ((1 . 1) (2 . 2) (4 . 3) (6 . 7)) 420 0.1176 5.0811 ((3 . 1) (4 . 2) (8 . 8) (9 . 9)) 433 0.1470 6.7635 ((8 . 1) (12 . 5) (16 . 7) (17 . 8) (19 . 9)) 442 0.1471 9.4466 ((1 . 1) (4 . 4) (11 . 11) (12 . 12) (17 . 15)) 460 0.1176 9.0908 ((30 . 1) (35 . 4) (36 . 7) (37 . 8)) 472 0.1471 10.0727 ((25 . 23) (26 . 24) (28 . 28) (29 . 29) (35 . 34)) 491 0.1176 9.0494 ((8 . 1) (11 . 5) (12 . 6) (16 . 10)) 495 0.1176 9.6876 ((26 . 2) (28 . 4) (29 . 6) (30 . 7)) 541 0.1471 5.0597 ((12 . 5) (14 . 6) (16 . 7) (17 . 9) (19 . 11)) 543 0.1176 5.3950 ((7 . 3) (8 . 5) (9 . 6) (16 . 15)) 553 0.1176 8.2157 ((20 . 3) (25 . 9) (26 . 10) (35 . 22)) 561 0.1176 6.1185 ((8 . 1) (9 . 3) (11 . 5) (12 . 6)) 584 0.1459 5.4776 ((17 . 2) (32 . 6) (36 . 8) (37 . 32) (38 . 33)) 587 0.1471 5.8479 ((24 . 2) (30 . 10) (36 . 15) (37 . 16) (38 . 17)) 609 0.1469 6.4298 ((9 . 1) (11 . 2) (12 . 3) (16 . 8) (35 . 36)) 619 0.1470 8.6050 ((3 . 1) (4 . 2) (12 . 12) (16 . 15) (17 . 17)) 624 0.1958 8.2165 ((1 . 13) (2 . 15) (6 . 16) (9 . 26) (16 . 22) (17 . 23) (29 . 27)) 635 0.1763 6.8035 ((17 . 2) (19 . 3) (24 . 5) (30 . 13) (36 . 14) (37 . 15)) 672 0.1176 8.5936 ((4 . 3) (7 . 7) (17 . 17) (19 . 18)) 678 0.1471 7.6116 ((12 . 22) (14 . 25) (17 . 28) (20 . 31) (27 . 41)) 683 0.1176 6.0514 ((1 . 2) (2 . 3) (4 . 5) (6 . 6)) 719 0.1174 9.9363 ((3 . 22) (4 . 23) (7 . 29) (8 . 30)) 729 0.1763 5.8129 ((11 . 6) (12 . 7) (14 . 12) (16 . 13) (17 . 14) (19 . 15)) 735 0.1176 5.2159 ((7 . 30) (8 . 31) (9 . 32) (12 . 36)) 740 0.1174 8.1896 ((7 . 1) (8 . 2) (9 . 3) (12 . 6)) 765 0.1176 7.8000 ((9 . 7) (12 . 12) (16 . 19) (19 . 20)) 767 0.1176 3.6985 ((12 . 1) (14 . 2) (16 . 3) (19 . 8)) 782 0.1176 7.0996 ((14 . 4) (17 . 6) (20 . 9) (23 . 14)) 792 0.1644 8.9417 ((11 . 5) (13 . 13) (17 . 14) (23 . 16) (29 . 17) (35 . 21)) 795 0.1471 7.5547 ((9 . 1) (11 . 2) (12 . 3) (14 . 4) (16 . 6)) 796 0.1176 7.8060 ((14 . 1) (16 . 3) (18 . 4) (19 . 5)) 801 0.1176 7.2804 ((1 . 2) (3 . 4) (4 . 5) (6 . 7)) 812 0.2058 5.1011 ((9 . 9) (14 . 10) (16 . 11) (18 . 12) (19 . 13) (24 . 16) (32 . 17)) 818 0.1176 5.7726 ((2 . 4) (6 . 8) (8 . 12) (12 . 16)) 819 0.1176 5.7333 ((5 . 1) (12 . 5) (16 . 9) (18 . 11)) 824 0.1176 9.1995 ((1 . 43) (3 . 45) (4 . 46) (6 . 49)) 834 0.1176 7.2172 ((11 . 35) (14 . 39) (17 . 41) (18 . 42)) 861 0.1176 6.4900 ((20 . 4) (29 . 6) (30 . 7) (36 . 8)) 901 0.2353 6.6968 ((9 . 1) (11 . 4) (12 . 5) (14 . 6) (16 . 7) (19 . 9) (22 . 13) (35 . 21)) 904 0.1176 5.3625 ((14 . 1) (16 . 3) (18 . 5) (19 . 6)) 928 0.1765 4.2033 ((9 . 1) (11 . 2) (12 . 3) (14 . 4) (16 . 7) (19 . 8)) 937 0.1176 11.4885 ((19 . 1) (20 . 2) (21 . 3) (22 . 6)) 943 0.1471 5.2042 ((9 . 4) (11 . 5) (12 . 6) (16 . 12) (18 . 13)) 945 0.1765 3.2395 ((9 . 12) (11 . 13) (12 . 14) (16 . 19) (18 . 21) (19 . 22)) 949 0.1176 6.0873 ((8 . 27) (12 . 32) (14 . 33) (17 . 37)) 960 0.9107 2.0853 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (11 . 11) (12 . 12) (13 . 13) (14 . 16) (16 . 19) (17 . 20) (19 . 21) (20 . 23) (21 . 25) (22 . 26) (23 . 27) (24 . 29) (25 . 30) (26 . 31) (27 . 32) (28 . 33) (29 . 34) (30 . 35) (32 . 37) (35 . 39) (36 . 40) (38 . 41) (39 . 42)) 978 0.2627 8.3809 ((14 . 5) (16 . 6) (18 . 9) (19 . 10) (23 . 12) (24 . 13) (28 . 15) (30 . 16) (36 . 19)) 980 0.1471 4.7114 ((11 . 2) (12 . 3) (14 . 4) (16 . 7) (19 . 9)) 1005 0.1162 11.2719 ((17 . 3) (18 . 4) (20 . 6) (22 . 8)) 1007 0.1469 6.7509 ((4 . 7) (8 . 8) (12 . 9) (16 . 11) (20 . 21)) 1008 0.1176 8.1486 ((23 . 1) (24 . 3) (28 . 11) (30 . 15)) 1034 0.1471 5.1056 ((8 . 21) (14 . 27) (16 . 29) (18 . 31) (19 . 32)) 1043 0.2059 7.8916 ((9 . 1) (11 . 5) (12 . 6) (14 . 9) (16 . 10) (18 . 11) (19 . 12)) 1082 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) (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) (32 . 32) (35 . 35) (36 . 36) (37 . 37) (38 . 38) (39 . 39)) 1084 0.1470 10.9894 ((2 . 10) (3 . 11) (4 . 12) (9 . 20) (11 . 21)) 1124 0.1176 5.6294 ((11 . 9) (14 . 11) (17 . 13) (18 . 14)) 1165 0.1765 4.2992 ((12 . 4) (14 . 9) (16 . 10) (19 . 12) (21 . 14) (24 . 19)) 1167 0.1450 11.1307 ((7 . 19) (8 . 21) (9 . 22) (11 . 24) (14 . 28)) 1169 0.1176 8.9457 ((1 . 30) (3 . 31) (4 . 32) (6 . 35)) 1201 0.1176 5.6740 ((14 . 5) (16 . 7) (17 . 8) (19 . 9)) 1204 0.1471 7.3672 ((14 . 2) (17 . 4) (19 . 5) (25 . 15) (38 . 32)) 1210 0.1176 10.6102 ((25 . 2) (26 . 4) (27 . 5) (28 . 6)) 1211 0.1176 7.4235 ((1 . 8) (2 . 9) (4 . 10) (6 . 11)) 1217 0.1176 6.3343 ((7 . 2) (8 . 5) (9 . 7) (12 . 11)) 1224 0.1176 5.7731 ((1 . 3) (2 . 5) (6 . 7) (8 . 10)) 1233 0.1176 4.9527 ((14 . 13) (16 . 14) (17 . 16) (19 . 17)) 1267 0.1748 5.2823 ((9 . 13) (11 . 14) (12 . 15) (14 . 18) (16 . 19) (28 . 37)) 1268 0.1176 8.6748 ((28 . 11) (29 . 12) (38 . 19) (39 . 20)) 1294 0.1176 6.6313 ((8 . 40) (9 . 41) (12 . 44) (16 . 47)) 1301 0.1176 15.5304 ((13 . 2) (14 . 3) (18 . 7) (20 . 8)) 1345 0.1471 7.3141 ((9 . 7) (11 . 8) (12 . 9) (14 . 10) (16 . 12)) 1366 0.1176 6.1718 ((2 . 14) (4 . 15) (9 . 22) (11 . 25)) 1388 0.1176 4.1641 ((13 . 6) (21 . 10) (22 . 11) (23 . 12)) 1410 0.1176 7.8229 ((1 . 22) (3 . 23) (4 . 25) (6 . 26)) 1415 0.1176 16.3679 ((27 . 1) (28 . 3) (29 . 4) (32 . 6)) 1425 0.1176 7.3424 ((1 . 3) (2 . 4) (4 . 6) (8 . 12)) 1435 0.1176 5.7849 ((2 . 5) (4 . 6) (5 . 7) (8 . 13)) 1447 0.1764 7.6794 ((9 . 1) (11 . 2) (12 . 3) (17 . 6) (18 . 8) (19 . 9)) 1451 0.1176 8.7806 ((1 . 3) (2 . 4) (4 . 5) (8 . 10)) 1464 0.1176 10.5423 ((1 . 7) (2 . 8) (4 . 10) (5 . 12)) 1470 0.1176 9.6157 ((7 . 5) (14 . 11) (18 . 13) (22 . 16)) 1472 0.1176 13.3087 ((17 . 5) (20 . 9) (21 . 10) (22 . 11)) 1476 0.1765 4.3697 ((9 . 11) (12 . 14) (14 . 17) (16 . 18) (17 . 19) (19 . 20)) 1481 0.1176 5.3708 ((6 . 2) (8 . 4) (9 . 5) (13 . 9)) 1497 0.2047 7.9241 ((5 . 16) (7 . 19) (11 . 22) (14 . 24) (17 . 26) (18 . 27) (28 . 30)) 1501 0.1176 4.3465 ((1 . 3) (2 . 4) (3 . 5) (6 . 8)) 1508 0.1176 3.7588 ((25 . 1) (26 . 3) (27 . 4) (28 . 6)) 1513 0.3529 3.5752 ((8 . 2) (9 . 3) (11 . 4) (12 . 5) (14 . 9) (16 . 11) (17 . 12) (19 . 13) (24 . 15) (29 . 16) (30 . 18) (35 . 19)) 1514 0.0900 6.1409 ((8 . 1) (9 . 3) (11 . 5) (12 . 4)) 1577 0.1471 7.2422 ((1 . 3) (2 . 4) (4 . 5) (9 . 12) (12 . 15)) 1591 0.2347 8.0590 ((5 . 2) (14 . 5) (16 . 6) (18 . 7) (19 . 8) (24 . 11) (29 . 12) (30 . 14)) 1595 0.1176 10.9098 ((29 . 1) (32 . 2) (36 . 7) (37 . 8)) 1604 0.1706 7.6548 ((19 . 1) (24 . 3) (25 . 6) (28 . 9) (29 . 11) (30 . 12) (35 . 14)) 1622 0.1471 7.2745 ((9 . 18) (11 . 19) (12 . 20) (14 . 21) (16 . 22)) 1624 0.1176 13.6443 ((4 . 2) (6 . 5) (8 . 9) (11 . 11)) 1643 0.1176 4.9223 ((1 . 27) (2 . 28) (8 . 37) (9 . 38)) 1644 0.1176 7.7472 ((1 . 46) (2 . 47) (4 . 48) (6 . 51)) 1665 0.1765 4.6467 ((2 . 4) (9 . 6) (14 . 7) (16 . 8) (17 . 9) (19 . 10)) 1690 0.1471 4.6617 ((11 . 7) (12 . 8) (14 . 12) (16 . 13) (19 . 16)) 1692 0.1176 9.6762 ((8 . 1) (11 . 4) (12 . 5) (19 . 10)) 1724 0.1176 12.7550 ((13 . 1) (14 . 2) (17 . 5) (20 . 8)) 1731 0.1471 5.4832 ((9 . 3) (11 . 5) (12 . 6) (18 . 11) (19 . 12)) 1736 0.1471 6.5450 ((12 . 5) (14 . 6) (16 . 7) (17 . 9) (19 . 10)) 1738 0.1471 5.5135 ((9 . 4) (11 . 5) (12 . 6) (14 . 10) (16 . 11)) 1747 0.1990 10.7405 ((4 . 11) (6 . 15) (14 . 20) (16 . 25) (19 . 38) (24 . 41) (30 . 42)) 1756 0.1176 7.3838 ((1 . 23) (3 . 25) (4 . 26) (6 . 30)) 1759 0.1176 5.2558 ((3 . 1) (4 . 2) (8 . 9) (9 . 10)) 1761 0.1655 6.2941 ((4 . 1) (8 . 2) (12 . 3) (14 . 6) (17 . 8) (20 . 12)) 1763 0.1176 8.6159 ((20 . 1) (21 . 2) (23 . 6) (25 . 8)) 1776 0.1765 8.5512 ((9 . 1) (11 . 6) (12 . 7) (14 . 10) (16 . 12) (18 . 13)) 1777 0.1176 5.7801 ((6 . 37) (8 . 46) (9 . 49) (12 . 52)) 1778 0.1430 12.0687 ((9 . 1) (12 . 3) (14 . 6) (16 . 8) (20 . 11)) 1793 0.1765 5.5267 ((9 . 4) (11 . 5) (12 . 6) (14 . 7) (16 . 8) (19 . 10)) 1796 0.1176 11.6366 ((18 . 1) (20 . 2) (21 . 3) (22 . 4)) 1805 0.1471 5.7648 ((24 . 2) (30 . 11) (36 . 16) (37 . 17) (38 . 18)) 1808 0.1459 7.4332 ((14 . 1) (16 . 5) (19 . 8) (24 . 9) (36 . 10)) 1817 0.1170 10.9409 ((3 . 14) (4 . 15) (6 . 19) (7 . 21)) 1867 0.1176 10.6681 ((16 . 1) (17 . 2) (19 . 3) (21 . 8)) 1894 0.1176 6.5543 ((2 . 5) (6 . 7) (9 . 12) (13 . 16)) 1896 0.1450 7.6117 ((16 . 3) (17 . 4) (19 . 5) (29 . 21) (35 . 28)) 1897 0.1469 9.5204 ((2 . 32) (4 . 34) (7 . 38) (8 . 39) (9 . 40)) 1908 0.1471 4.8631 ((9 . 3) (14 . 6) (16 . 7) (17 . 8) (19 . 10)) 1909 0.1471 5.5751 ((9 . 25) (14 . 30) (16 . 31) (17 . 33) (19 . 34)) 1913 0.1644 8.1468 ((1 . 10) (2 . 14) (4 . 17) (8 . 20) (12 . 23) (22 . 31)) 1944 0.1379 4.4881 ((9 . 3) (12 . 5) (14 . 8) (16 . 9) (18 . 12)) 1957 0.2058 6.4675 ((9 . 1) (11 . 2) (12 . 3) (14 . 4) (16 . 7) (19 . 9) (22 . 14)) 1961 0.1471 7.7188 ((7 . 12) (9 . 14) (12 . 16) (14 . 18) (16 . 19)) 1967 0.1471 4.2699 ((9 . 3) (11 . 6) (12 . 7) (14 . 9) (16 . 10)) 1972 0.1471 4.3580 ((9 . 18) (12 . 20) (16 . 24) (17 . 25) (19 . 27)) 1987 0.1176 4.8024 ((11 . 9) (14 . 11) (17 . 13) (18 . 14)) 1992 0.1471 6.3548 ((9 . 1) (14 . 8) (16 . 9) (18 . 10) (19 . 12)) 1995 0.1176 6.6431 ((9 . 1) (12 . 3) (16 . 8) (19 . 12)) 2003 0.1176 5.8443 ((11 . 2) (12 . 4) (16 . 9) (19 . 12)) 2006 0.1176 5.9419 ((1 . 2) (2 . 4) (16 . 16) (19 . 20)) 2045 0.1176 8.0119 ((16 . 2) (18 . 4) (22 . 9) (36 . 29)) 2048 0.1765 5.8344 ((9 . 4) (11 . 5) (12 . 6) (14 . 12) (16 . 13) (18 . 14)) 2054 0.1176 8.5800 ((17 . 7) (20 . 10) (21 . 12) (22 . 15)) 2063 0.1176 8.1032 ((1 . 42) (3 . 43) (4 . 44) (8 . 50)) 2065 0.1466 9.2016 ((2 . 17) (4 . 18) (6 . 23) (8 . 27) (9 . 28)) 2067 0.1176 7.4142 ((4 . 54) (6 . 55) (8 . 60) (11 . 62)) 2072 0.1176 7.6614 ((8 . 1) (9 . 2) (11 . 3) (17 . 8)) 2081 0.1176 6.6791 ((1 . 20) (2 . 21) (4 . 23) (5 . 24)) 2083 0.1176 5.6964 ((14 . 3) (16 . 4) (17 . 6) (19 . 7)) 2094 0.1176 8.6596 ((23 . 1) (27 . 4) (28 . 6) (29 . 7)) 2097 0.1176 4.4311 ((3 . 4) (4 . 5) (8 . 14) (12 . 16)) 2114 0.1176 10.1035 ((1 . 32) (2 . 34) (4 . 36) (5 . 37)) 2116 0.1471 6.6157 ((1 . 3) (2 . 4) (4 . 5) (8 . 11) (9 . 12)) 2117 0.1471 3.6003 ((1 . 5) (2 . 6) (6 . 9) (8 . 12) (17 . 19)) 2118 0.1765 8.3322 ((8 . 4) (9 . 5) (11 . 6) (12 . 7) (14 . 8) (17 . 10)) 2122 0.1754 6.9840 ((12 . 1) (14 . 5) (16 . 6) (17 . 7) (19 . 8) (22 . 13)) 2166 0.1176 7.4646 ((12 . 13) (14 . 14) (16 . 15) (19 . 17)) 2179 0.2160 6.4287 ((9 . 1) (11 . 3) (12 . 4) (16 . 6) (19 . 10) (23 . 12) (24 . 13) (29 . 16) (30 . 20)) 2196 0.1176 7.3695 ((3 . 10) (4 . 11) (8 . 18) (9 . 19)) 2203 0.1176 8.6611 ((8 . 6) (9 . 7) (11 . 8) (12 . 10)) 2205 0.1176 7.5028 ((4 . 15) (6 . 17) (11 . 24) (12 . 26)) 2209 0.1471 4.7810 ((11 . 4) (12 . 5) (14 . 8) (16 . 9) (19 . 10)) 2233 0.1176 8.5325 ((26 . 2) (27 . 5) (29 . 7) (32 . 9)) 2243 0.1471 7.4172 ((9 . 44) (16 . 45) (19 . 47) (24 . 54) (30 . 67)) 2244 0.1471 8.3826 ((1 . 70) (2 . 71) (6 . 75) (8 . 79) (9 . 80)) 2248 0.1471 6.5243 ((7 . 17) (11 . 20) (12 . 22) (14 . 26) (16 . 27)) 2249 0.1471 5.8918 ((9 . 7) (11 . 8) (16 . 12) (18 . 14) (19 . 16)) 2269 0.2059 5.9131 ((4 . 6) (8 . 7) (9 . 8) (11 . 9) (12 . 10) (14 . 11) (16 . 12)) 2279 0.1471 6.9820 ((4 . 9) (8 . 19) (9 . 20) (11 . 21) (12 . 22)) 2295 0.1176 8.0540 ((17 . 1) (21 . 3) (22 . 4) (23 . 5)) 2298 0.1765 4.3798 ((9 . 6) (11 . 7) (12 . 8) (16 . 12) (17 . 14) (19 . 15)) 2308 0.2353 6.2367 ((4 . 4) (8 . 5) (9 . 6) (11 . 7) (12 . 8) (14 . 10) (16 . 11) (18 . 12)) 2314 0.1176 8.8331 ((5 . 1) (8 . 7) (9 . 8) (16 . 13)) 2340 0.1471 7.7367 ((9 . 9) (11 . 10) (12 . 11) (16 . 14) (17 . 15)) 2342 0.1410 7.1857 ((5 . 12) (14 . 14) (18 . 16) (23 . 18) (29 . 19)) 2344 0.2057 7.8790 ((8 . 1) (9 . 3) (11 . 5) (12 . 6) (16 . 10) (18 . 12) (19 . 13)) 2364 0.1471 7.7446 ((11 . 6) (14 . 8) (16 . 9) (18 . 10) (19 . 12)) 2381 0.1176 10.5051 ((1 . 3) (2 . 4) (4 . 5) (5 . 8)) 2389 0.1471 12.2686 ((3 . 3) (8 . 10) (9 . 11) (11 . 12) (12 . 14)) 2393 0.1176 8.0199 ((8 . 15) (11 . 17) (12 . 18) (14 . 19)) 2408 0.1471 8.5795 ((1 . 32) (2 . 33) (4 . 34) (6 . 39) (12 . 46)) 2409 0.1176 8.2205 ((1 . 3) (2 . 4) (4 . 5) (6 . 8)) 2410 0.1176 5.0823 ((14 . 12) (16 . 13) (17 . 15) (19 . 16)) 2422 0.1471 3.9691 ((9 . 1) (11 . 2) (12 . 4) (16 . 9) (17 . 10)) 2423 0.1470 11.0562 ((8 . 14) (11 . 18) (12 . 19) (19 . 25) (21 . 27)) 2440 0.1176 7.1749 ((16 . 4) (17 . 5) (19 . 6) (22 . 12)) 2443 0.1176 10.4196 ((13 . 1) (17 . 4) (22 . 7) (25 . 10)) 2447 0.1748 4.6563 ((9 . 13) (11 . 14) (12 . 15) (16 . 18) (17 . 19) (19 . 21)) 2462 0.1176 5.0745 ((6 . 1) (12 . 7) (14 . 10) (16 . 11)) 2465 0.1176 10.4180 ((22 . 1) (25 . 5) (27 . 7) (28 . 8)) 2510 0.1765 4.3609 ((9 . 17) (11 . 18) (12 . 19) (16 . 25) (17 . 26) (19 . 27)) 2519 0.1144 11.6777 ((4 . 2) (5 . 3) (7 . 4) (8 . 5)) 2525 0.1176 10.6164 ((14 . 37) (16 . 38) (21 . 44) (22 . 46)) 2529 0.1764 4.6867 ((9 . 1) (11 . 2) (12 . 3) (16 . 5) (19 . 6) (35 . 7)) 2533 0.1765 6.7674 ((9 . 4) (11 . 5) (12 . 6) (14 . 7) (16 . 9) (19 . 13)) 2544 0.1176 6.9504 ((25 . 18) (26 . 19) (27 . 20) (28 . 24)) 2551 0.1176 7.1660 ((5 . 6) (7 . 8) (8 . 9) (12 . 14)) 2552 0.1829 6.8902 ((9 . 1) (11 . 2) (12 . 3) (14 . 4) (16 . 5) (17 . 6) (29 . 7)) 2556 0.1471 3.6458 ((9 . 11) (11 . 12) (12 . 13) (16 . 18) (19 . 22)) 2557 0.1174 11.3982 ((4 . 3) (5 . 4) (6 . 6) (7 . 8)) 2561 0.1176 6.3550 ((12 . 1) (14 . 5) (16 . 6) (19 . 8)) 2591 0.1176 13.4790 ((20 . 34) (22 . 36) (25 . 38) (26 . 39)) 2595 0.3235 3.1305 ((9 . 1) (11 . 2) (12 . 4) (14 . 5) (16 . 6) (17 . 7) (19 . 9) (24 . 11) (30 . 13) (32 . 14) (35 . 15)) 2619 0.1471 4.6523 ((12 . 1) (14 . 4) (16 . 5) (17 . 6) (19 . 7)) 2627 0.1470 6.5823 ((14 . 59) (16 . 60) (17 . 61) (18 . 62) (19 . 64)) 2634 0.1176 11.8929 ((23 . 1) (28 . 6) (29 . 7) (35 . 12)) 2650 0.1176 6.1563 ((3 . 1) (4 . 2) (8 . 6) (9 . 7)) 2658 0.1176 4.3135 ((26 . 4) (27 . 6) (28 . 8) (29 . 9)) 2675 0.1176 6.2411 ((1 . 3) (2 . 4) (4 . 5) (6 . 8)) 2682 0.1418 7.8953 ((6 . 12) (9 . 17) (11 . 18) (12 . 19) (17 . 22)) 2696 0.1471 10.2365 ((4 . 31) (6 . 32) (8 . 35) (9 . 36) (12 . 39)) 2703 0.1176 9.4604 ((26 . 3) (27 . 4) (28 . 5) (29 . 6)) 2731 0.1176 11.4059 ((19 . 1) (20 . 2) (21 . 3) (22 . 6)) 2733 0.1176 5.6957 ((24 . 1) (29 . 7) (30 . 8) (35 . 13)) 2753 0.1176 6.5762 ((28 . 1) (29 . 2) (32 . 5) (35 . 6)) 2755 0.1765 4.7464 ((9 . 3) (11 . 4) (12 . 5) (14 . 7) (16 . 8) (19 . 10)) 2773 0.1176 8.5014 ((9 . 3) (11 . 4) (12 . 5) (17 . 8)) 2783 0.1176 9.9191 ((11 . 4) (12 . 6) (14 . 9) (19 . 12)) 2804 0.1669 9.7361 ((6 . 25) (8 . 34) (11 . 35) (12 . 36) (14 . 37) (16 . 38)) 2821 0.1471 5.6309 ((8 . 2) (9 . 3) (14 . 10) (16 . 11) (19 . 13)) 2830 0.2701 5.6882 ((9 . 1) (11 . 2) (12 . 3) (14 . 4) (16 . 5) (17 . 6) (19 . 7) (24 . 9) (28 . 10) (30 . 24) (35 . 21) (36 . 23)) 2834 0.1814 7.9451 ((7 . 7) (9 . 9) (11 . 11) (16 . 12) (18 . 13) (19 . 14) (24 . 16)) 2840 0.1176 6.3423 ((1 . 1) (4 . 5) (6 . 8) (8 . 11)) 2842 0.1471 7.1880 ((9 . 4) (13 . 7) (14 . 8) (16 . 9) (19 . 11)) 2867 0.1176 5.2607 ((29 . 3) (36 . 9) (37 . 12) (39 . 13)) 2879 0.1176 7.0474 ((12 . 51) (14 . 55) (16 . 56) (19 . 58)) 2886 0.1470 8.5207 ((1 . 33) (3 . 34) (4 . 35) (8 . 43) (9 . 44)) 2929 0.1176 10.5230 ((6 . 36) (7 . 37) (8 . 39) (9 . 40)) 2940 0.1958 5.4585 ((9 . 1) (11 . 2) (12 . 3) (16 . 4) (19 . 5) (24 . 6) (35 . 9)) 2947 0.1470 10.0700 ((16 . 4) (24 . 13) (25 . 16) (26 . 17) (27 . 18)) 2950 0.1176 9.2015 ((11 . 7) (14 . 10) (18 . 12) (20 . 13)) 2955 0.2059 5.1255 ((2 . 3) (9 . 7) (16 . 8) (19 . 9) (24 . 10) (30 . 11) (36 . 12)) 2966 0.1430 11.3717 ((1 . 9) (2 . 10) (3 . 11) (4 . 12) (7 . 18)) 2990 0.1176 7.6500 ((1 . 14) (3 . 15) (4 . 16) (7 . 18)) 2999 0.1176 10.0541 ((1 . 2) (4 . 4) (5 . 5) (6 . 7)) 3014 0.1983 10.2598 ((7 . 18) (13 . 21) (17 . 31) (21 . 6) (25 . 19) (29 . 20) (35 . 10)) 3019 0.1471 3.5175 ((8 . 10) (9 . 11) (12 . 14) (19 . 19) (24 . 25)) 3034 0.2646 4.7317 ((9 . 1) (11 . 4) (12 . 5) (14 . 6) (16 . 7) (18 . 8) (19 . 9) (29 . 11) (35 . 15)) 3041 0.2573 8.2744 ((14 . 10) (16 . 12) (18 . 13) (19 . 14) (20 . 19) (21 . 7) (26 . 28) (27 . 34) (38 . 31)) 3055 0.1176 5.9253 ((3 . 15) (4 . 16) (8 . 23) (9 . 24)) 3063 0.1471 7.1026 ((1 . 35) (3 . 37) (4 . 38) (8 . 42) (12 . 46)) 3070 0.1176 14.7961 ((17 . 30) (18 . 31) (20 . 34) (22 . 37)) 3084 0.1765 4.1867 ((9 . 3) (11 . 4) (12 . 5) (14 . 6) (16 . 9) (19 . 11)) 3102 0.1471 8.1264 ((1 . 67) (2 . 68) (4 . 69) (9 . 76) (12 . 80)) 3103 0.1471 7.4872 ((1 . 1) (3 . 2) (4 . 3) (8 . 9) (9 . 11)) 3114 0.1176 10.8721 ((1 . 23) (3 . 24) (4 . 25) (5 . 27)) 3120 0.1086 8.2181 ((14 . 20) (16 . 22) (18 . 23) (19 . 25)) 3127 0.1471 7.2402 ((9 . 6) (11 . 7) (12 . 8) (14 . 12) (18 . 16)) 3147 0.1764 7.3727 ((1 . 16) (2 . 17) (4 . 18) (6 . 19) (8 . 20) (12 . 22)) 3176 0.1438 11.4594 ((7 . 22) (14 . 31) (22 . 33) (26 . 37) (39 . 39)) 3187 0.1176 5.8029 ((8 . 2) (9 . 3) (12 . 5) (16 . 7)) 3190 0.1765 5.0086 ((9 . 1) (11 . 2) (12 . 3) (14 . 4) (17 . 7) (19 . 11)) 3197 0.2434 4.4999 ((4 . 1) (8 . 24) (9 . 19) (11 . 20) (12 . 21) (14 . 25) (16 . 26) (17 . 27) (19 . 28)) 3200 0.1470 9.0070 ((25 . 2) (29 . 8) (30 . 9) (36 . 16) (37 . 18)) 3202 0.1511 17.0889 ((20 . 4) (21 . 5) (22 . 7) (25 . 14) (28 . 15) (29 . 21)) 3212 0.1176 7.6636 ((12 . 3) (14 . 7) (16 . 9) (18 . 10)) 3222 0.1176 8.2237 ((21 . 9) (27 . 22) (28 . 23) (29 . 24)) 3256 0.1471 6.5891 ((4 . 13) (5 . 15) (8 . 20) (9 . 24) (12 . 26)) 3261 0.1176 5.5345 ((8 . 2) (16 . 9) (17 . 10) (18 . 11)) 3286 0.1176 6.4150 ((12 . 3) (16 . 7) (18 . 8) (19 . 9)) 3289 0.1174 9.5555 ((4 . 25) (6 . 27) (7 . 28) (8 . 31)) 3297 0.1471 6.2961 ((1 . 3) (2 . 4) (4 . 5) (9 . 11) (12 . 13)) 3300 0.1174 6.8136 ((30 . 2) (32 . 3) (38 . 11) (39 . 12)) 3310 0.1176 7.9316 ((17 . 2) (18 . 3) (20 . 4) (23 . 7)) 3322 0.1568 4.0864 ((12 . 1) (14 . 2) (16 . 3) (18 . 4) (19 . 5) (32 . 6)) 3334 0.1176 6.9305 ((8 . 6) (11 . 9) (12 . 10) (17 . 13)) 3339 0.1471 5.0371 ((11 . 10) (12 . 11) (14 . 16) (16 . 17) (19 . 19)) 3344 0.1176 8.0825 ((2 . 18) (4 . 19) (8 . 26) (9 . 27)) 3358 0.1471 7.8644 ((9 . 1) (11 . 3) (14 . 5) (17 . 9) (19 . 10)) 3362 0.1176 3.8167 ((4 . 4) (8 . 10) (9 . 11) (11 . 13)) 3366 0.1471 8.0801 ((1 . 23) (2 . 24) (4 . 26) (6 . 27) (8 . 29)) 3391 0.1471 5.4779 ((11 . 3) (12 . 4) (16 . 10) (18 . 12) (19 . 13)) 3410 0.1765 4.7649 ((9 . 19) (11 . 20) (12 . 21) (16 . 28) (18 . 29) (19 . 30)) 3415 0.1162 11.1039 ((25 . 18) (27 . 20) (28 . 21) (29 . 22)) 3418 0.1086 10.2273 ((1 . 2) (3 . 6) (4 . 5) (6 . 7)) 3446 0.1470 12.5949 ((13 . 3) (14 . 4) (16 . 5) (18 . 8) (22 . 11)) 3470 0.1176 7.8282 ((25 . 9) (26 . 10) (27 . 11) (28 . 12)) 3472 0.1471 9.4696 ((1 . 1) (3 . 3) (4 . 4) (8 . 11) (9 . 12)) 3481 0.1568 7.5783 ((9 . 2) (11 . 3) (12 . 4) (14 . 5) (16 . 7) (19 . 8)) 3489 0.1176 5.5152 ((1 . 1) (4 . 3) (8 . 10) (9 . 12)) 3495 0.1176 4.1929 ((1 . 1) (2 . 2) (4 . 3) (8 . 8)) 3496 0.1471 11.0987 ((4 . 18) (8 . 22) (9 . 23) (11 . 24) (16 . 29)) 3533 0.1176 8.2414 ((8 . 1) (9 . 3) (11 . 6) (12 . 7)) 3537 0.1176 5.8785 ((12 . 2) (14 . 3) (16 . 7) (19 . 9)) 3538 0.1471 7.4946 ((3 . 18) (4 . 20) (8 . 23) (12 . 26) (14 . 27)) 3548 0.1176 4.7980 ((1 . 6) (2 . 8) (4 . 9) (8 . 10)) 3549 0.1174 9.6849 ((3 . 1) (4 . 2) (6 . 3) (8 . 8)) 3561 0.1471 5.9424 ((9 . 20) (11 . 23) (14 . 27) (16 . 28) (19 . 31)) 3570 0.1765 9.4957 ((9 . 1) (11 . 2) (12 . 3) (16 . 8) (18 . 9) (19 . 10)) 3585 0.1471 5.8342 ((3 . 5) (4 . 6) (9 . 14) (11 . 15) (12 . 16)) 3613 0.1176 7.5153 ((8 . 40) (9 . 41) (17 . 44) (18 . 45)) 3625 0.1176 7.5419 ((1 . 2) (2 . 3) (4 . 5) (6 . 6)) 3626 0.1176 5.4474 ((9 . 2) (11 . 5) (12 . 6) (16 . 11)) 3628 0.1471 4.6446 ((9 . 6) (11 . 7) (14 . 11) (16 . 12) (19 . 14)) 3651 0.1765 5.4249 ((9 . 1) (11 . 2) (12 . 3) (14 . 7) (16 . 8) (19 . 11)) 3658 0.1873 9.2659 ((1 . 1) (2 . 5) (3 . 6) (4 . 7) (6 . 8) (11 . 13) (35 . 15)) 3659 0.1176 5.4323 ((7 . 4) (8 . 5) (9 . 7) (14 . 14)) 3661 0.1176 4.1928 ((1 . 11) (2 . 12) (11 . 25) (12 . 26)) 3663 0.1176 9.2811 ((29 . 4) (30 . 5) (32 . 6) (35 . 7)) 3688 0.1176 7.0591 ((4 . 5) (12 . 16) (24 . 32) (25 . 33)) 3697 0.1176 8.1031 ((6 . 1) (12 . 7) (14 . 8) (16 . 10)) 3703 0.1379 10.8946 ((2 . 3) (6 . 4) (7 . 5) (9 . 7) (14 . 12)) 3732 0.1438 9.5194 ((18 . 4) (22 . 6) (23 . 10) (24 . 12) (25 . 13)) 3733 0.2059 3.5926 ((9 . 1) (11 . 2) (12 . 3) (14 . 4) (16 . 6) (17 . 7) (19 . 8)) 3740 0.1471 9.7623 ((1 . 2) (3 . 3) (4 . 4) (8 . 7) (9 . 9)) 3741 0.2059 8.0757 ((1 . 1) (2 . 2) (4 . 3) (6 . 4) (9 . 14) (16 . 16) (22 . 33)) 3776 0.2114 6.0472 ((9 . 15) (11 . 16) (12 . 17) (14 . 18) (16 . 21) (17 . 23) (19 . 24) (29 . 25)) 3778 0.1715 7.0766 ((9 . 2) (16 . 3) (19 . 4) (23 . 9) (27 . 17) (39 . 19)) 3787 0.2246 8.8963 ((11 . 11) (12 . 12) (14 . 14) (16 . 15) (17 . 16) (27 . 28) (28 . 37) (30 . 21)) 3790 0.1801 7.6120 ((4 . 15) (6 . 18) (8 . 21) (9 . 22) (12 . 26) (16 . 27) (19 . 30) (24 . 31)) 3807 0.1176 5.1336 ((12 . 43) (16 . 47) (18 . 49) (19 . 50)) 3810 0.1466 9.3401 ((3 . 4) (4 . 6) (6 . 9) (8 . 14) (9 . 15)) 3817 0.1471 4.1985 ((12 . 1) (14 . 3) (16 . 5) (18 . 6) (19 . 7)) 3818 0.1471 6.8130 ((9 . 20) (11 . 21) (12 . 23) (14 . 27) (16 . 28)) 3829 0.1471 9.5403 ((22 . 3) (25 . 8) (26 . 10) (27 . 11) (28 . 13)) 3830 0.1086 10.0671 ((11 . 2) (13 . 3) (14 . 5) (18 . 6)) 3831 0.1471 7.5477 ((11 . 1) (12 . 2) (16 . 6) (17 . 7) (19 . 9)) 3834 0.1176 9.8080 ((26 . 5) (27 . 6) (28 . 7) (29 . 8)) 3847 0.1176 7.2390 ((9 . 9) (11 . 10) (14 . 15) (16 . 16)) 3849 0.1176 7.0592 ((12 . 1) (14 . 4) (16 . 5) (18 . 7)) 3853 0.1471 5.1184 ((11 . 2) (12 . 3) (14 . 4) (16 . 6) (19 . 8)) 3856 0.1568 4.8130 ((16 . 3) (17 . 4) (19 . 6) (24 . 9) (30 . 12) (36 . 14)) 3870 0.1765 4.2429 ((9 . 3) (11 . 4) (12 . 5) (14 . 7) (16 . 8) (19 . 10)) 3933 0.1176 11.1902 ((5 . 4) (6 . 7) (8 . 13) (12 . 18)) 3938 0.1176 7.3395 ((9 . 2) (12 . 4) (14 . 12) (18 . 16)) 3942 0.1176 8.6520 ((36 . 2) (37 . 3) (38 . 4) (39 . 5)) 3968 0.2059 3.7299 ((9 . 3) (11 . 4) (12 . 5) (14 . 8) (16 . 9) (17 . 10) (19 . 11)) 3986 0.1176 7.7433 ((7 . 10) (8 . 13) (9 . 15) (11 . 19)) 3990 0.1471 6.1983 ((11 . 17) (16 . 20) (19 . 22) (24 . 24) (30 . 25)) 4005 0.1470 9.1208 ((3 . 1) (4 . 2) (6 . 4) (14 . 17) (19 . 23)) 4009 0.1471 5.8087 ((9 . 1) (11 . 6) (12 . 7) (14 . 8) (17 . 10)) 4019 0.1471 7.4969 ((1 . 38) (4 . 42) (8 . 46) (9 . 47) (12 . 50)) 4030 0.1176 8.9322 ((28 . 6) (29 . 7) (38 . 13) (39 . 14)) 4034 0.1176 5.8407 ((3 . 5) (4 . 6) (8 . 10) (9 . 11)) 4037 0.1176 7.5259 ((8 . 2) (9 . 3) (11 . 5) (14 . 7)) 4062 0.1379 8.4170 ((14 . 38) (17 . 39) (20 . 44) (25 . 47) (29 . 53)) 4067 0.1765 4.4150 ((9 . 14) (11 . 15) (12 . 16) (14 . 19) (16 . 22) (19 . 24)) 4077 0.1176 8.9939 ((17 . 6) (20 . 9) (22 . 12) (23 . 13)) 4082 0.1379 7.3332 ((17 . 1) (24 . 5) (30 . 6) (37 . 8) (38 . 9)) 4087 0.1176 7.3489 ((1 . 5) (2 . 6) (4 . 7) (6 . 8)) 4112 0.1176 6.2832 ((1 . 1) (2 . 2) (4 . 3) (6 . 6)) 4115 0.1464 4.5513 ((12 . 13) (14 . 16) (16 . 17) (17 . 18) (19 . 19)) 4134 0.1176 11.7073 ((17 . 25) (20 . 26) (21 . 28) (25 . 32)) 4140 0.1176 6.3673 ((8 . 22) (9 . 23) (11 . 25) (14 . 27)) 4151 0.1765 5.2809 ((9 . 5) (11 . 6) (12 . 7) (14 . 11) (16 . 12) (19 . 15)) 4177 0.1176 6.6725 ((8 . 1) (9 . 2) (11 . 4) (16 . 9)) 4190 0.1176 4.4979 ((8 . 1) (9 . 3) (11 . 6) (16 . 9)) 4192 0.1990 6.5791 ((14 . 11) (16 . 13) (18 . 14) (19 . 15) (29 . 16) (32 . 18) (36 . 22)) 4194 0.1471 5.2537 ((9 . 1) (11 . 2) (12 . 3) (14 . 4) (16 . 7)) 4195 0.1176 9.1219 ((14 . 1) (17 . 2) (18 . 3) (23 . 7)) 4204 0.1471 4.2120 ((9 . 3) (11 . 4) (12 . 5) (14 . 10) (16 . 11)) 4209 0.1471 4.3883 ((1 . 1) (2 . 2) (4 . 4) (6 . 7) (8 . 8)) 4210 0.1471 5.8486 ((11 . 3) (12 . 4) (14 . 7) (16 . 8) (18 . 9)) 4216 0.1176 8.0526 ((7 . 9) (13 . 13) (14 . 14) (17 . 16)) 4226 0.1176 3.3814 ((14 . 20) (16 . 22) (17 . 23) (19 . 24)) 4232 0.1176 9.0758 ((1 . 2) (2 . 3) (4 . 4) (7 . 7)) 4236 0.1176 6.3373 ((8 . 5) (9 . 6) (12 . 8) (17 . 13)) 4242 0.1470 5.6576 ((26 . 1) (27 . 2) (28 . 3) (29 . 4) (38 . 6)) 4243 0.1471 10.7428 ((25 . 1) (26 . 2) (27 . 3) (28 . 4) (29 . 6)) 4246 0.1176 6.5684 ((6 . 3) (8 . 7) (9 . 8) (11 . 10)) 4254 0.1471 5.8966 ((12 . 1) (14 . 5) (17 . 7) (19 . 8) (22 . 14)) 4255 0.1176 8.2596 ((8 . 23) (9 . 24) (11 . 25) (12 . 26)) 4257 0.1176 8.1513 ((24 . 1) (25 . 2) (28 . 6) (30 . 11)) 4261 0.1174 11.6077 ((20 . 10) (21 . 11) (25 . 15) (26 . 17)) 4265 0.2941 6.4427 ((8 . 20) (9 . 21) (11 . 22) (12 . 23) (14 . 25) (16 . 26) (17 . 27) (19 . 29) (28 . 30) (35 . 31)) 4266 0.1880 7.0626 ((9 . 2) (11 . 3) (12 . 4) (14 . 5) (16 . 6) (17 . 7) (30 . 11) (36 . 12)) 4275 0.2207 8.4495 ((9 . 21) (11 . 22) (12 . 23) (14 . 24) (16 . 25) (19 . 27) (24 . 28) (35 . 29)) 4281 0.1459 8.2768 ((19 . 8) (24 . 10) (25 . 11) (26 . 13) (27 . 14)) 4284 0.1176 9.5486 ((1 . 3) (2 . 4) (4 . 5) (6 . 8)) 4299 0.1471 9.4934 ((9 . 2) (11 . 5) (14 . 7) (16 . 9) (19 . 11)) 4301 0.1176 8.5034 ((6 . 1) (8 . 3) (9 . 4) (12 . 8)) 4326 0.1765 4.0797 ((9 . 7) (11 . 8) (12 . 10) (14 . 14) (17 . 16) (19 . 17)) 4332 0.1176 7.1794 ((8 . 2) (9 . 4) (11 . 5) (12 . 6)) 4338 0.1471 5.3717 ((9 . 4) (11 . 5) (12 . 6) (16 . 8) (19 . 11)) 4352 0.1176 8.4686 ((20 . 4) (22 . 6) (23 . 11) (25 . 12)) 4359 0.1176 4.6219 ((1 . 4) (2 . 5) (4 . 6) (9 . 13)) 4380 0.1471 5.8675 ((8 . 1) (11 . 6) (16 . 14) (19 . 17) (30 . 39)) 4383 0.1176 5.0485 ((1 . 14) (4 . 16) (8 . 21) (9 . 22)) 4386 0.1470 12.8025 ((17 . 2) (29 . 12) (36 . 18) (37 . 19) (39 . 20)) 4388 0.1765 5.7541 ((9 . 3) (11 . 4) (12 . 5) (16 . 10) (19 . 12) (24 . 17)) 4398 0.1765 5.1061 ((9 . 4) (11 . 5) (12 . 6) (14 . 9) (16 . 10) (17 . 11)) 4405 0.1471 8.4593 ((14 . 13) (16 . 14) (18 . 17) (19 . 18) (24 . 25)) 4408 0.1765 6.4005 ((1 . 2) (2 . 3) (4 . 4) (9 . 14) (18 . 20) (23 . 24)) 4415 0.1471 5.2573 ((8 . 1) (12 . 4) (14 . 5) (16 . 9) (19 . 11)) 4419 0.1176 7.4775 ((11 . 2) (12 . 3) (16 . 8) (19 . 10)) 4426 0.1176 4.3624 ((9 . 2) (12 . 4) (14 . 5) (16 . 6)) 4470 0.1471 5.4632 ((9 . 5) (11 . 6) (12 . 7) (14 . 11) (18 . 13)) 4491 0.1144 6.9353 ((14 . 4) (16 . 6) (18 . 7) (19 . 8)) 4492 0.1765 4.5389 ((9 . 11) (11 . 12) (12 . 13) (14 . 19) (16 . 21) (19 . 23)) 4495 0.2201 9.5720 ((7 . 11) (14 . 12) (16 . 14) (17 . 15) (19 . 16) (24 . 18) (32 . 19) (36 . 21)) 4497 0.1176 5.5128 ((8 . 18) (12 . 23) (16 . 27) (19 . 30)) 4502 0.1471 4.5935 ((9 . 6) (11 . 7) (14 . 13) (16 . 14) (19 . 17)) 4503 0.1176 6.6851 ((1 . 1) (4 . 3) (6 . 6) (8 . 10)) 4504 0.2533 5.7395 ((9 . 4) (12 . 15) (14 . 16) (16 . 17) (18 . 18) (19 . 19) (24 . 20) (30 . 21) (36 . 22)) 4505 0.1765 4.0906 ((9 . 28) (11 . 29) (12 . 30) (14 . 33) (16 . 34) (17 . 35)) 4516 0.2647 5.7971 ((14 . 3) (16 . 6) (18 . 7) (19 . 8) (23 . 9) (24 . 10) (29 . 11) (30 . 12) (37 . 18)) 4527 0.1176 8.4800 ((12 . 1) (13 . 2) (14 . 4) (19 . 7)) 4538 0.1176 9.1899 ((4 . 30) (6 . 33) (7 . 36) (8 . 38)) 4551 0.1923 5.2270 ((9 . 1) (12 . 2) (16 . 4) (17 . 7) (19 . 8) (24 . 17) (30 . 18)) 4560 0.1765 4.6865 ((9 . 6) (11 . 7) (12 . 8) (14 . 10) (16 . 11) (17 . 12)) 4561 0.2059 4.2929 ((9 . 1) (11 . 4) (12 . 5) (14 . 8) (16 . 9) (17 . 11) (19 . 12)) 4562 0.1765 3.7430 ((9 . 19) (11 . 21) (12 . 22) (16 . 27) (17 . 28) (19 . 29)) 4563 0.2059 6.9626 ((9 . 26) (11 . 27) (12 . 28) (14 . 30) (16 . 31) (18 . 33) (19 . 34)) 4577 0.1471 11.5318 ((1 . 30) (2 . 31) (4 . 34) (8 . 39) (19 . 49)) 4579 0.1176 7.4173 ((17 . 7) (21 . 11) (22 . 13) (39 . 30)) 4588 0.1471 8.9864 ((29 . 2) (30 . 3) (32 . 4) (36 . 11) (38 . 12)) 4589 0.1471 8.0311 ((14 . 17) (16 . 18) (18 . 20) (19 . 22) (24 . 30)) 4607 0.1176 8.4813 ((22 . 2) (27 . 13) (28 . 15) (29 . 16)) 4621 0.1176 6.8808 ((17 . 1) (18 . 2) (19 . 3) (24 . 11)) 4630 0.2270 7.6103 ((1 . 9) (2 . 12) (6 . 13) (12 . 22) (16 . 28) (19 . 31) (22 . 37) (24 . 39)) 4648 0.1170 6.3962 ((16 . 5) (18 . 7) (19 . 1) (24 . 8)) 4653 0.1176 5.4732 ((30 . 1) (32 . 2) (36 . 7) (37 . 8)) 4665 0.1176 10.8130 ((5 . 9) (6 . 11) (8 . 13) (9 . 14)) 4668 0.1765 4.4565 ((11 . 2) (12 . 3) (14 . 6) (16 . 7) (17 . 8) (19 . 11)) 4669 0.2941 4.9247 ((8 . 12) (9 . 15) (11 . 16) (12 . 17) (14 . 18) (16 . 19) (17 . 20) (19 . 21) (29 . 22) (35 . 23)) 4671 0.1176 6.6280 ((1 . 1) (2 . 2) (8 . 7) (9 . 8)) 4674 0.1471 8.0336 ((8 . 1) (9 . 2) (11 . 5) (12 . 6) (16 . 9)) 4678 0.1176 6.8452 ((3 . 6) (5 . 8) (6 . 10) (8 . 12)) 4699 0.1176 6.4821 ((13 . 9) (14 . 10) (17 . 11) (18 . 12)) 4713 0.1174 7.3757 ((8 . 4) (9 . 5) (12 . 8) (13 . 10)) 4715 0.1761 6.5930 ((13 . 4) (25 . 9) (26 . 10) (27 . 13) (28 . 14) (29 . 16)) 4716 0.1162 13.6976 ((17 . 2) (18 . 3) (20 . 4) (25 . 10)) 4731 0.1737 7.5614 ((8 . 14) (9 . 18) (14 . 20) (16 . 22) (19 . 23) (24 . 24)) 4734 0.1174 4.1959 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 4764 0.1176 5.9353 ((14 . 6) (20 . 9) (21 . 10) (22 . 11)) 4783 0.1471 13.5278 ((13 . 1) (20 . 2) (23 . 7) (25 . 8) (29 . 10)) 4817 0.1174 9.4230 ((22 . 5) (26 . 9) (27 . 11) (28 . 13)) 4857 0.1471 7.7272 ((3 . 2) (4 . 3) (8 . 9) (9 . 11) (11 . 12)) 4886 0.1716 5.6521 ((8 . 4) (9 . 22) (12 . 24) (14 . 28) (22 . 33) (36 . 9)) 4888 0.1471 10.0110 ((6 . 1) (8 . 4) (12 . 9) (14 . 11) (16 . 14)) 4889 0.2059 6.0118 ((1 . 2) (2 . 3) (4 . 4) (6 . 7) (13 . 19) (20 . 21) (22 . 23)) 4907 0.1176 9.4675 ((6 . 1) (8 . 4) (9 . 7) (12 . 9)) 4914 0.1176 5.7065 ((1 . 4) (2 . 5) (4 . 6) (6 . 9)) 4921 0.1176 6.8766 ((3 . 8) (4 . 9) (8 . 14) (9 . 15)) 4929 0.1176 6.9128 ((4 . 26) (8 . 31) (9 . 32) (12 . 34)) 4932 0.1176 5.8242 ((12 . 1) (16 . 6) (17 . 7) (19 . 8)) 4940 0.2059 5.9978 ((2 . 2) (8 . 6) (9 . 9) (16 . 10) (19 . 11) (24 . 12) (30 . 13)) 4941 0.1176 11.6558 ((3 . 7) (6 . 13) (9 . 19) (13 . 21)) 4944 0.1471 8.4889 ((11 . 10) (12 . 11) (14 . 12) (16 . 14) (19 . 16)) 4961 0.1471 9.3072 ((9 . 12) (11 . 13) (16 . 17) (17 . 18) (19 . 20)) 4963 0.1176 12.4865 ((17 . 3) (18 . 5) (20 . 7) (22 . 8)) 4978 0.1471 3.5256 ((9 . 21) (14 . 27) (16 . 28) (18 . 29) (19 . 30)) 4982 0.1471 5.2889 ((9 . 1) (11 . 2) (12 . 3) (14 . 5) (16 . 6)) 4992 0.1176 3.0278 ((12 . 3) (14 . 4) (16 . 6) (19 . 8)) 4998 0.1468 4.2523 ((12 . 1) (14 . 2) (16 . 3) (17 . 5) (19 . 6)) 5000 0.1176 10.5127 ((13 . 32) (14 . 33) (17 . 35) (20 . 37)) 5016 0.1176 12.4690 ((23 . 2) (29 . 6) (32 . 8) (35 . 10)) 5029 0.1176 5.0863 ((9 . 2) (12 . 4) (14 . 9) (16 . 10)) 5036 0.1176 5.5921 ((6 . 2) (8 . 6) (9 . 7) (12 . 9)) 5038 0.1176 7.5535 ((6 . 9) (8 . 14) (9 . 15) (12 . 18)) 5039 0.1176 6.5727 ((14 . 36) (16 . 39) (18 . 40) (19 . 41)) 5044 0.1176 5.6485 ((3 . 8) (4 . 9) (5 . 11) (8 . 16)) 5046 0.1176 8.5000 ((4 . 1) (6 . 4) (8 . 7) (9 . 8)) 5053 0.1471 7.1159 ((7 . 1) (8 . 3) (9 . 5) (11 . 7) (16 . 10)) 5065 0.1176 9.5698 ((3 . 2) (4 . 3) (9 . 11) (11 . 12)) 5068 0.1470 7.2691 ((4 . 4) (14 . 19) (16 . 20) (19 . 24) (22 . 28)) 5069 0.1471 4.8607 ((4 . 2) (6 . 5) (12 . 15) (16 . 17) (19 . 19)) 5073 0.1471 5.5795 ((14 . 31) (16 . 32) (17 . 33) (19 . 34) (22 . 40)) 5080 0.1176 8.8735 ((14 . 6) (17 . 7) (18 . 8) (20 . 11)) 5083 0.1440 6.4197 ((9 . 1) (17 . 3) (18 . 4) (19 . 5) (24 . 6) (30 . 8)) 5092 0.1471 9.0809 ((14 . 5) (18 . 8) (20 . 14) (25 . 16) (32 . 18)) 5101 0.1765 4.5948 ((9 . 1) (11 . 2) (12 . 3) (14 . 6) (16 . 9) (19 . 10)) 5103 0.2353 4.4321 ((9 . 13) (11 . 14) (12 . 15) (14 . 16) (16 . 17) (17 . 18) (19 . 19) (35 . 20)) 5121 0.1471 6.1915 ((14 . 14) (16 . 16) (17 . 17) (19 . 21) (24 . 28)) 5132 0.1471 7.9248 ((14 . 19) (18 . 21) (19 . 22) (23 . 27) (24 . 28)) 5134 0.1176 5.9749 ((19 . 2) (22 . 8) (29 . 18) (30 . 19)) 5145 0.1176 8.6768 ((11 . 4) (14 . 7) (16 . 10) (17 . 11)) 5167 0.1765 8.0308 ((8 . 4) (11 . 7) (14 . 10) (16 . 12) (18 . 13) (19 . 14)) 5176 0.1176 7.6949 ((2 . 82) (4 . 84) (6 . 86) (8 . 88)) 5183 0.1176 7.5089 ((1 . 34) (2 . 35) (4 . 36) (7 . 41)) 5192 0.1706 7.3902 ((7 . 11) (13 . 13) (14 . 18) (16 . 20) (18 . 23) (20 . 26) (22 . 27)) 5198 0.1672 7.2521 ((12 . 21) (14 . 23) (16 . 24) (18 . 25) (19 . 26) (32 . 27) (36 . 31) (37 . 32)) 5209 0.1450 8.7873 ((24 . 3) (30 . 4) (35 . 6) (36 . 8) (37 . 9)) 5212 0.1758 10.0647 ((17 . 8) (28 . 12) (29 . 13) (32 . 15) (35 . 16) (39 . 20)) 5215 0.1471 4.7566 ((1 . 3) (3 . 4) (4 . 5) (8 . 9) (9 . 10)) 5223 0.1471 4.6787 ((9 . 6) (12 . 8) (14 . 9) (16 . 12) (19 . 15)) 5231 0.1176 7.5037 ((32 . 9) (36 . 14) (37 . 16) (38 . 17)) 5266 0.1471 4.5113 ((11 . 1) (12 . 2) (16 . 8) (17 . 9) (19 . 10)) 5278 0.1176 5.9162 ((9 . 2) (12 . 6) (16 . 10) (21 . 16)) 5307 0.1689 6.4924 ((9 . 51) (11 . 52) (12 . 53) (16 . 55) (19 . 57) (35 . 59)) 5312 0.1176 6.8604 ((1 . 3) (2 . 4) (4 . 5) (6 . 7)) 5318 0.1470 8.3125 ((16 . 3) (23 . 12) (29 . 17) (36 . 23) (37 . 24)) 5323 0.1471 12.1273 ((17 . 2) (22 . 8) (26 . 14) (27 . 15) (28 . 16)) 5324 0.1471 4.7072 ((9 . 7) (11 . 8) (14 . 13) (16 . 14) (19 . 15)) 5344 0.1176 6.9032 ((3 . 3) (4 . 4) (8 . 9) (9 . 10)) 5345 0.1176 5.7432 ((1 . 7) (2 . 8) (4 . 12) (8 . 17)) 5368 0.1471 7.5795 ((1 . 18) (3 . 19) (4 . 20) (8 . 27) (9 . 28)) 5378 0.1176 6.6099 ((2 . 4) (6 . 7) (12 . 15) (14 . 20)) 5411 0.1176 10.2558 ((14 . 2) (16 . 3) (19 . 6) (20 . 9)) 5414 0.1176 6.0773 ((1 . 14) (2 . 15) (4 . 16) (6 . 20)) 5418 0.1144 6.8512 ((8 . 2) (9 . 3) (11 . 4) (14 . 10)) 5421 0.1176 5.7873 ((1 . 2) (2 . 3) (4 . 5) (8 . 4)) 5433 0.1285 8.5792 ((1 . 7) (3 . 8) (4 . 14) (8 . 18) (11 . 25)) 5442 0.1450 7.8306 ((26 . 35) (27 . 36) (28 . 37) (38 . 38) (39 . 39)) 5479 0.1471 7.1420 ((1 . 50) (2 . 51) (4 . 52) (12 . 63) (14 . 65)) 5487 0.1471 4.5643 ((12 . 4) (14 . 8) (16 . 9) (17 . 10) (19 . 11)) 5489 0.1176 6.5755 ((8 . 2) (9 . 5) (16 . 12) (19 . 14)) 5500 0.1471 3.7505 ((9 . 1) (12 . 3) (14 . 10) (16 . 12) (19 . 14)) 5501 0.1470 7.1100 ((14 . 28) (17 . 29) (18 . 32) (20 . 35) (22 . 38)) 5525 0.1176 11.2937 ((7 . 5) (8 . 7) (9 . 8) (17 . 13)) 5535 0.1176 7.0887 ((11 . 1) (12 . 2) (14 . 5) (19 . 11)) 5540 0.1176 5.0079 ((9 . 1) (11 . 2) (12 . 3) (22 . 17)) 5557 0.1470 5.3557 ((12 . 2) (14 . 5) (16 . 6) (17 . 7) (18 . 8)) 5560 0.1176 5.4738 ((3 . 11) (4 . 13) (9 . 17) (12 . 20)) 5562 0.1765 6.8132 ((11 . 9) (13 . 12) (14 . 13) (16 . 14) (17 . 15) (19 . 17)) 5567 0.1765 5.8947 ((18 . 10) (19 . 11) (24 . 15) (29 . 16) (30 . 17) (36 . 19)) 5594 0.1471 5.7124 ((12 . 1) (14 . 5) (16 . 6) (18 . 7) (19 . 9)) 5600 0.1459 8.5190 ((7 . 1) (9 . 3) (11 . 4) (12 . 5) (17 . 10)) 5601 0.1471 9.1221 ((9 . 3) (12 . 5) (14 . 9) (16 . 10) (17 . 11)) 5638 0.1471 7.4907 ((8 . 8) (9 . 9) (11 . 12) (12 . 13) (14 . 14)) 5640 0.1471 7.1599 ((1 . 18) (3 . 19) (4 . 20) (8 . 25) (9 . 26)) 5644 0.1471 5.1149 ((1 . 3) (2 . 4) (4 . 8) (8 . 13) (12 . 14)) 5648 0.1176 9.2375 ((27 . 1) (28 . 2) (32 . 5) (38 . 8)) 5656 0.1176 4.5632 ((9 . 5) (11 . 6) (12 . 8) (18 . 15)) 5689 0.1670 7.6137 ((20 . 1) (22 . 2) (25 . 10) (27 . 11) (38 . 17) (39 . 19)) 5700 0.1176 6.8099 ((1 . 6) (2 . 8) (4 . 9) (6 . 11)) 5701 0.1737 5.8953 ((8 . 5) (9 . 6) (11 . 7) (12 . 8) (14 . 10) (16 . 11)) 5702 0.1607 10.5140 ((14 . 1) (17 . 3) (18 . 4) (20 . 8) (23 . 9) (26 . 10) (28 . 11) (29 . 12) (35 . 16)) 5703 0.1176 9.2722 ((6 . 2) (8 . 5) (9 . 6) (12 . 8)) 5704 0.1176 15.0633 ((14 . 1) (17 . 2) (20 . 4) (28 . 10)) 5711 0.1176 6.7649 ((1 . 33) (2 . 35) (4 . 36) (9 . 46)) 5713 0.1379 6.0455 ((2 . 7) (6 . 8) (9 . 20) (16 . 21) (19 . 22)) 5718 0.1176 7.0466 ((1 . 17) (2 . 18) (4 . 21) (6 . 23)) 5731 0.1459 4.1959 ((5 . 1) (9 . 2) (12 . 3) (16 . 7) (19 . 10)) 5746 0.1706 8.9309 ((17 . 1) (19 . 2) (24 . 3) (26 . 5) (29 . 12) (30 . 13) (36 . 14)) 5749 0.1176 14.3137 ((5 . 2) (8 . 5) (9 . 6) (11 . 8)) 5761 0.1176 7.7204 ((4 . 28) (5 . 29) (8 . 32) (12 . 36)) 5770 0.1176 7.2365 ((4 . 6) (8 . 12) (13 . 21) (14 . 22)) 5771 0.2339 5.3900 ((9 . 1) (12 . 9) (14 . 16) (16 . 17) (17 . 19) (19 . 20) (30 . 21) (35 . 22)) 5782 0.1379 4.4834 ((1 . 26) (2 . 27) (6 . 32) (8 . 35) (12 . 37)) 5789 0.1170 6.9947 ((7 . 1) (8 . 2) (11 . 4) (12 . 5)) 5794 0.1176 7.7755 ((8 . 15) (9 . 16) (12 . 18) (19 . 24)) 5795 0.1471 6.2274 ((9 . 10) (11 . 12) (12 . 13) (14 . 15) (16 . 16)) 5809 0.2941 7.0660 ((9 . 1) (11 . 2) (12 . 3) (14 . 4) (16 . 5) (19 . 7) (24 . 9) (29 . 10) (30 . 12) (36 . 14)) 5822 0.1176 7.9994 ((2 . 1) (4 . 2) (8 . 8) (11 . 11)) 5827 0.1697 8.8278 ((9 . 5) (12 . 8) (14 . 10) (16 . 11) (17 . 12) (27 . 22)) 5830 0.1176 9.0803 ((12 . 1) (14 . 5) (16 . 6) (20 . 11)) 5847 0.1176 5.4379 ((1 . 7) (2 . 8) (9 . 17) (12 . 20)) 5861 0.1176 5.4377 ((1 . 16) (2 . 17) (8 . 25) (9 . 26)) 5865 0.1176 5.2809 ((12 . 1) (16 . 5) (17 . 6) (19 . 7)) 5878 0.1176 9.6758 ((27 . 21) (28 . 22) (29 . 23) (35 . 31)) 5888 0.1176 4.2428 ((1 . 4) (2 . 5) (8 . 13) (9 . 14)) 5896 0.1176 6.1910 ((9 . 26) (11 . 27) (12 . 28) (14 . 32)) 5904 0.1471 4.7151 ((9 . 4) (14 . 8) (16 . 9) (17 . 10) (19 . 11)) 5913 0.1568 7.8057 ((16 . 6) (19 . 7) (23 . 8) (24 . 13) (36 . 17) (37 . 20)) 5914 0.1176 11.7951 ((4 . 2) (5 . 4) (6 . 5) (7 . 7)) 5922 0.1176 7.0609 ((4 . 1) (8 . 8) (9 . 9) (12 . 11)) 5930 0.1176 6.6726 ((11 . 3) (12 . 4) (16 . 7) (19 . 11)) 5939 0.1754 12.5524 ((3 . 2) (4 . 4) (8 . 6) (24 . 10) (28 . 12) (35 . 13)) 5945 0.1816 7.5358 ((9 . 3) (11 . 8) (14 . 12) (16 . 9) (17 . 10) (21 . 22) (22 . 25) (23 . 35) (25 . 29) (28 . 30) (39 . 34)) 5949 0.1471 7.4803 ((9 . 1) (11 . 2) (12 . 4) (14 . 8) (17 . 11)) 5955 0.1765 10.3696 ((3 . 3) (11 . 6) (14 . 10) (17 . 12) (23 . 13) (24 . 17) (29 . 19)) 5967 0.1848 5.5613 ((9 . 1) (11 . 2) (12 . 3) (14 . 6) (16 . 7) (17 . 8) (29 . 10)) 5972 0.1162 7.3007 ((14 . 1) (17 . 5) (18 . 8) (19 . 7)) 5977 0.1176 5.8107 ((14 . 2) (16 . 3) (18 . 4) (19 . 5)) 6000 0.1761 6.2001 ((14 . 2) (17 . 5) (23 . 11) (29 . 16) (30 . 17) (36 . 21)) 6011 0.1765 8.4020 ((1 . 2) (2 . 3) (4 . 4) (8 . 11) (9 . 13) (12 . 15)) 6022 0.1176 4.5753 ((1 . 2) (2 . 4) (4 . 5) (8 . 7)) 6028 0.1170 10.3216 ((3 . 1) (6 . 3) (7 . 8) (8 . 9)) 6029 0.1697 9.1088 ((6 . 1) (8 . 19) (13 . 22) (22 . 26) (38 . 37) (39 . 39)) 6033 0.1471 9.2354 ((13 . 2) (14 . 5) (17 . 7) (18 . 9) (35 . 10)) 6041 0.1176 5.8396 ((11 . 6) (12 . 8) (14 . 9) (16 . 12)) 6046 0.1176 10.6114 ((1 . 3) (2 . 5) (4 . 6) (5 . 7)) 6061 0.1471 4.2161 ((9 . 13) (14 . 16) (16 . 17) (17 . 18) (19 . 20)) 6074 0.1765 7.6374 ((11 . 5) (12 . 6) (14 . 10) (16 . 11) (17 . 12) (19 . 13)) 6075 0.1471 3.2979 ((9 . 17) (11 . 19) (12 . 20) (16 . 24) (19 . 28)) 6079 0.1459 6.9030 ((5 . 2) (9 . 9) (12 . 11) (21 . 17) (22 . 18)) 6087 0.1765 4.4655 ((9 . 3) (14 . 7) (16 . 8) (17 . 9) (19 . 10) (32 . 11)) 6089 0.2213 7.1528 ((14 . 4) (20 . 22) (22 . 26) (25 . 30) (27 . 13) (28 . 15) (32 . 8) (36 . 16) (37 . 18) (38 . 19)) 6094 0.1176 5.6983 ((2 . 3) (4 . 5) (6 . 7) (9 . 13)) 6099 0.1176 5.0143 ((1 . 9) (5 . 12) (13 . 21) (16 . 25)) 6123 0.1379 9.3972 ((1 . 2) (4 . 3) (8 . 4) (12 . 5) (14 . 7)) 6142 0.1471 6.2511 ((19 . 6) (30 . 10) (36 . 14) (37 . 15) (39 . 21)) 6148 0.1176 9.4917 ((6 . 32) (7 . 35) (8 . 36) (9 . 37)) 6167 0.1341 10.8120 ((1 . 4) (3 . 7) (4 . 9) (12 . 12) (32 . 22)) 6169 0.1176 9.6557 ((17 . 3) (21 . 7) (22 . 8) (25 . 11)) 6173 0.1176 5.7137 ((1 . 4) (2 . 5) (8 . 13) (9 . 15)) 6191 0.1176 8.8433 ((11 . 1) (12 . 3) (17 . 7) (19 . 10)) 6192 0.1471 9.2487 ((1 . 1) (8 . 10) (9 . 11) (11 . 12) (14 . 16)) 6225 0.1471 7.2976 ((8 . 4) (9 . 5) (14 . 11) (16 . 12) (29 . 30)) 6228 0.1990 6.7871 ((9 . 1) (11 . 2) (12 . 3) (14 . 4) (16 . 5) (17 . 6) (29 . 16)) 6234 0.1176 5.8584 ((1 . 6) (2 . 7) (4 . 9) (8 . 15)) 6238 0.1176 6.2768 ((8 . 3) (11 . 6) (12 . 7) (14 . 10)) 6243 0.1471 5.5789 ((5 . 1) (9 . 6) (11 . 7) (12 . 8) (14 . 11)) 6251 0.1765 7.4559 ((9 . 8) (11 . 9) (12 . 10) (14 . 11) (16 . 15) (19 . 17)) 6258 0.1470 14.1327 ((27 . 2) (28 . 5) (29 . 8) (36 . 13) (38 . 14)) 6261 0.1715 9.4705 ((17 . 2) (21 . 7) (22 . 10) (25 . 17) (27 . 18) (32 . 24)) 6266 0.1471 4.2583 ((9 . 3) (11 . 4) (16 . 8) (17 . 9) (19 . 10)) 6268 0.1176 7.4905 ((13 . 10) (14 . 11) (17 . 13) (18 . 14)) 6270 0.1176 8.0908 ((8 . 17) (9 . 18) (11 . 19) (12 . 20)) 6271 0.1176 7.4853 ((8 . 4) (9 . 5) (12 . 8) (18 . 14)) 6273 0.1765 4.9275 ((1 . 4) (2 . 6) (4 . 7) (5 . 9) (6 . 12) (8 . 13)) 6294 0.1471 7.9491 ((7 . 10) (14 . 21) (16 . 23) (17 . 24) (19 . 25)) 6306 0.1176 7.6057 ((9 . 17) (11 . 18) (12 . 19) (17 . 23)) 6309 0.1176 8.2178 ((35 . 16) (36 . 17) (37 . 18) (38 . 19)) 6311 0.1176 5.7391 ((1 . 1) (4 . 4) (8 . 10) (9 . 11)) 6326 0.1176 7.8515 ((3 . 3) (6 . 5) (8 . 10) (12 . 13)) 6329 0.1464 11.9913 ((5 . 6) (7 . 9) (13 . 14) (14 . 15) (17 . 17)) 6338 0.1086 8.6427 ((1 . 2) (3 . 5) (4 . 4) (6 . 8)) 6344 0.1430 5.9304 ((8 . 1) (11 . 5) (12 . 6) (16 . 8) (18 . 10)) 6345 0.1176 7.7827 ((4 . 7) (8 . 11) (9 . 13) (19 . 24)) 6348 0.1765 5.1670 ((9 . 1) (11 . 3) (12 . 4) (16 . 9) (18 . 10) (19 . 11)) 6355 0.1176 8.3607 ((5 . 3) (8 . 7) (12 . 11) (14 . 13)) 6356 0.1471 9.1058 ((4 . 1) (9 . 9) (11 . 10) (12 . 11) (14 . 12)) 6359 0.1176 8.0249 ((25 . 3) (26 . 4) (28 . 6) (29 . 8)) 6369 0.1471 4.9116 ((12 . 22) (14 . 25) (16 . 26) (18 . 28) (19 . 29)) 6376 0.1471 4.4823 ((9 . 17) (11 . 18) (12 . 19) (16 . 26) (19 . 28)) 6384 0.1162 11.2973 ((25 . 1) (26 . 2) (27 . 3) (29 . 4)) 6391 0.1470 18.4242 ((27 . 1) (28 . 2) (32 . 5) (36 . 8) (37 . 10)) 6392 0.1765 3.6296 ((9 . 1) (12 . 3) (14 . 6) (18 . 8) (19 . 9) (24 . 15)) 6399 0.1470 8.3854 ((1 . 3) (2 . 4) (4 . 5) (18 . 23) (19 . 24)) 6403 0.1471 4.7910 ((12 . 3) (14 . 6) (16 . 7) (17 . 9) (19 . 10)) 6434 0.1176 5.6198 ((1 . 2) (2 . 3) (4 . 4) (6 . 5)) 6461 0.1176 10.6210 ((13 . 1) (16 . 3) (17 . 4) (20 . 7)) 6462 0.2206 7.4116 ((8 . 20) (9 . 12) (11 . 17) (12 . 18) (14 . 11) (16 . 16) (21 . 26) (22 . 27) (27 . 31)) 6476 0.1176 10.6620 ((23 . 1) (25 . 2) (26 . 5) (27 . 7)) 6498 0.2306 7.4300 ((9 . 10) (11 . 32) (12 . 12) (14 . 36) (16 . 37) (17 . 41) (19 . 42) (29 . 8) (35 . 11)) 6506 0.1391 11.0921 ((20 . 16) (23 . 22) (25 . 23) (26 . 25) (28 . 27) (29 . 28)) 6520 0.1644 9.3195 ((1 . 9) (2 . 13) (3 . 14) (4 . 15) (6 . 16) (35 . 22)) 6536 0.1176 8.7664 ((14 . 27) (17 . 28) (18 . 29) (21 . 32)) 6539 0.1176 5.9314 ((8 . 2) (11 . 7) (12 . 8) (14 . 9)) 6540 0.1176 8.3950 ((1 . 16) (2 . 17) (4 . 18) (6 . 21)) 6548 0.1469 8.4540 ((9 . 7) (11 . 8) (12 . 9) (16 . 13) (17 . 15)) 6553 0.1471 3.9733 ((9 . 11) (11 . 12) (12 . 15) (16 . 20) (19 . 22)) 6555 0.1176 6.0614 ((7 . 21) (8 . 22) (9 . 23) (12 . 25)) 6561 0.1176 7.4337 ((5 . 2) (8 . 9) (16 . 15) (18 . 16)) 6573 0.1176 3.8114 ((9 . 17) (11 . 18) (12 . 19) (19 . 25)) 6575 0.1176 9.6013 ((3 . 1) (4 . 2) (6 . 5) (7 . 6)) 6578 0.1176 6.9633 ((1 . 34) (2 . 37) (4 . 38) (14 . 41)) 6584 0.1176 8.1094 ((8 . 2) (9 . 3) (11 . 4) (17 . 10)) 6585 0.1176 4.0762 ((9 . 8) (11 . 9) (12 . 10) (19 . 15)) 6586 0.1464 4.5623 ((11 . 16) (16 . 18) (17 . 23) (19 . 24) (24 . 25)) 6587 0.1176 5.0579 ((8 . 29) (9 . 31) (11 . 32) (12 . 33)) 6598 0.1498 9.0872 ((8 . 11) (16 . 16) (19 . 17) (24 . 20) (30 . 21) (37 . 22)) 6605 0.1176 5.9001 ((25 . 1) (26 . 3) (27 . 4) (28 . 5)) 6613 0.1706 6.1222 ((11 . 11) (16 . 12) (19 . 21) (24 . 22) (29 . 23) (30 . 24) (36 . 27)) 6622 0.1170 8.0042 ((20 . 4) (22 . 5) (25 . 10) (26 . 11)) 6635 0.1176 11.3038 ((2 . 4) (3 . 5) (4 . 7) (7 . 10)) END