4005 25 0.1143 8.3065 ((28 . 2) (31 . 4) (37 . 7) (39 . 9)) 41 0.1143 11.1378 ((25 . 3) (28 . 4) (31 . 6) (32 . 7)) 51 0.1143 6.4089 ((8 . 1) (9 . 2) (12 . 6) (14 . 7)) 62 0.1429 5.7698 ((2 . 10) (3 . 12) (4 . 13) (8 . 16) (9 . 17)) 64 0.1429 9.0220 ((3 . 2) (7 . 6) (9 . 7) (12 . 8) (23 . 15)) 77 0.1429 9.5457 ((9 . 6) (16 . 10) (17 . 12) (18 . 13) (19 . 15)) 91 0.1411 7.2905 ((4 . 16) (28 . 35) (35 . 40) (40 . 44) (41 . 45)) 96 0.1143 5.3314 ((24 . 1) (27 . 3) (32 . 5) (33 . 6)) 129 0.1429 6.6596 ((2 . 1) (3 . 2) (4 . 3) (8 . 8) (9 . 9)) 136 0.1143 8.7775 ((25 . 3) (28 . 4) (31 . 6) (32 . 8)) 150 0.1419 8.4556 ((17 . 17) (24 . 19) (25 . 20) (28 . 21) (32 . 25)) 153 0.1671 8.8497 ((1 . 1) (4 . 6) (8 . 7) (9 . 8) (12 . 9) (14 . 10)) 155 0.1143 8.3474 ((23 . 2) (24 . 3) (28 . 5) (31 . 7)) 157 0.1143 6.2573 ((18 . 3) (24 . 8) (31 . 13) (38 . 20)) 161 0.1143 5.5532 ((8 . 4) (9 . 6) (12 . 8) (14 . 10)) 162 0.1143 7.6197 ((3 . 12) (8 . 17) (9 . 18) (14 . 22)) 169 0.1429 8.5211 ((18 . 2) (24 . 7) (25 . 8) (32 . 10) (33 . 11)) 177 0.1143 5.8378 ((23 . 2) (25 . 4) (32 . 8) (33 . 10)) 191 0.1143 5.1039 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 198 0.1428 8.6504 ((3 . 1) (8 . 7) (9 . 8) (10 . 9) (14 . 13)) 207 0.1429 6.3996 ((24 . 7) (25 . 8) (28 . 11) (32 . 13) (39 . 17)) 233 0.1143 6.7408 ((2 . 1) (3 . 2) (4 . 3) (9 . 7)) 300 0.1429 9.0643 ((18 . 6) (24 . 10) (28 . 12) (29 . 14) (32 . 16)) 305 0.1714 6.1898 ((17 . 10) (18 . 11) (19 . 12) (24 . 16) (25 . 17) (27 . 19)) 307 0.1429 10.9321 ((25 . 1) (28 . 2) (32 . 7) (36 . 9) (39 . 10)) 315 0.1143 4.4351 ((1 . 4) (2 . 5) (3 . 6) (4 . 8)) 329 0.1141 5.9009 ((28 . 3) (30 . 4) (36 . 5) (39 . 9)) 340 0.1143 4.1056 ((24 . 1) (26 . 2) (27 . 4) (32 . 9)) 350 0.1429 7.4961 ((14 . 1) (18 . 4) (23 . 10) (25 . 11) (33 . 20)) 360 0.1423 8.2018 ((4 . 3) (8 . 6) (9 . 7) (11 . 8) (14 . 12)) 361 0.1429 6.5033 ((21 . 1) (24 . 2) (31 . 6) (40 . 10) (41 . 11)) 365 0.1143 5.3763 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 367 0.1143 4.9162 ((2 . 38) (3 . 40) (12 . 47) (14 . 48)) 372 0.1987 7.0381 ((4 . 3) (7 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 10) (14 . 11)) 387 0.1143 7.6341 ((16 . 6) (18 . 7) (21 . 10) (32 . 15)) 405 0.1143 7.9355 ((7 . 33) (8 . 34) (9 . 35) (14 . 40)) 417 0.1143 3.1327 ((24 . 2) (25 . 3) (26 . 5) (32 . 9)) 420 0.1143 4.7298 ((32 . 3) (33 . 4) (40 . 8) (41 . 9)) 433 0.1143 5.6320 ((28 . 4) (32 . 6) (33 . 7) (41 . 10)) 442 0.1143 7.1170 ((11 . 10) (14 . 12) (27 . 19) (32 . 22)) 460 0.1428 6.9375 ((4 . 1) (8 . 3) (12 . 7) (14 . 8) (16 . 9)) 472 0.1143 12.3786 ((18 . 21) (19 . 22) (26 . 25) (27 . 27)) 491 0.1143 9.1930 ((28 . 5) (29 . 6) (35 . 8) (36 . 9)) 495 0.1143 6.4329 ((28 . 6) (29 . 7) (32 . 9) (33 . 11)) 541 0.1348 6.4367 ((10 . 7) (11 . 11) (14 . 14) (31 . 20) (33 . 21)) 543 0.1143 6.3146 ((23 . 4) (28 . 7) (29 . 8) (37 . 15)) 553 0.1131 8.0011 ((16 . 6) (24 . 12) (28 . 15) (39 . 22)) 561 0.1143 6.6831 ((28 . 2) (29 . 3) (30 . 4) (33 . 6)) 584 0.1539 10.3931 ((10 . 3) (14 . 5) (18 . 10) (23 . 13) (25 . 28) (39 . 33)) 587 0.1429 6.5357 ((18 . 6) (19 . 7) (26 . 10) (27 . 11) (32 . 13)) 609 0.1143 10.5030 ((21 . 3) (27 . 6) (28 . 7) (29 . 8)) 619 0.1539 10.3472 ((1 . 7) (2 . 8) (3 . 9) (10 . 11) (11 . 12) (12 . 15)) 624 0.2279 5.6238 ((8 . 15) (9 . 16) (12 . 5) (16 . 14) (26 . 20) (27 . 22) (37 . 24) (38 . 26)) 635 0.1143 7.5189 ((9 . 14) (12 . 15) (16 . 17) (18 . 18)) 672 0.1428 8.0320 ((3 . 18) (7 . 21) (8 . 22) (9 . 23) (12 . 24)) 678 0.1143 8.1250 ((1 . 26) (12 . 34) (16 . 36) (17 . 38)) 683 0.1143 5.9551 ((2 . 1) (3 . 2) (4 . 3) (8 . 6)) 719 0.1423 5.6771 ((7 . 23) (8 . 25) (9 . 27) (14 . 30) (16 . 31)) 729 0.1655 6.6420 ((17 . 2) (21 . 5) (35 . 7) (36 . 9) (40 . 17) (41 . 20)) 735 0.1143 5.6254 ((4 . 29) (9 . 31) (12 . 32) (14 . 33)) 740 0.1143 6.6989 ((26 . 3) (27 . 4) (29 . 6) (32 . 9)) 765 0.1143 9.4155 ((1 . 7) (7 . 17) (8 . 18) (9 . 19)) 767 0.1143 4.4988 ((30 . 26) (35 . 31) (36 . 32) (39 . 33)) 782 0.1141 14.7551 ((17 . 1) (28 . 7) (31 . 8) (39 . 13)) 795 0.1429 9.9229 ((25 . 1) (28 . 2) (29 . 3) (32 . 5) (33 . 6)) 796 0.1143 4.2543 ((28 . 1) (30 . 3) (35 . 5) (36 . 6)) 801 0.1143 6.4286 ((23 . 1) (24 . 2) (26 . 4) (27 . 5)) 812 0.1348 7.0426 ((8 . 9) (9 . 11) (12 . 13) (14 . 16) (16 . 17)) 818 0.1439 6.4985 ((26 . 1) (27 . 4) (28 . 5) (37 . 7) (38 . 10) (40 . 14) (41 . 16)) 819 0.1143 6.3488 ((25 . 2) (26 . 3) (37 . 8) (38 . 9)) 824 0.1382 7.4286 ((25 . 43) (29 . 49) (30 . 50) (32 . 51) (33 . 53)) 834 0.1143 7.5663 ((24 . 32) (26 . 33) (28 . 34) (31 . 38)) 861 0.1143 4.7751 ((1 . 15) (2 . 16) (3 . 17) (4 . 18)) 901 0.1419 8.6787 ((4 . 1) (12 . 5) (27 . 15) (32 . 17) (36 . 20)) 904 0.1143 6.7558 ((14 . 3) (16 . 4) (17 . 5) (18 . 6)) 913 0.1137 7.2116 ((28 . 15) (29 . 16) (30 . 17) (35 . 20)) 928 0.1850 7.1771 ((2 . 1) (3 . 3) (17 . 6) (18 . 7) (24 . 10) (25 . 12) (32 . 14) (40 . 20) (41 . 8)) 937 0.1143 4.3976 ((1 . 1) (17 . 3) (18 . 4) (19 . 5)) 943 0.1143 4.9085 ((25 . 9) (28 . 10) (32 . 14) (33 . 15)) 945 0.1143 6.0978 ((24 . 14) (27 . 17) (31 . 20) (33 . 22)) 949 0.1143 9.2970 ((8 . 27) (12 . 30) (14 . 32) (17 . 35)) 960 0.1539 9.9431 ((2 . 9) (3 . 12) (10 . 19) (11 . 21) (19 . 29) (41 . 40)) 978 0.1423 13.6773 ((17 . 2) (23 . 4) (26 . 6) (31 . 9) (38 . 13)) 980 0.1143 7.0095 ((30 . 3) (31 . 4) (38 . 7) (39 . 8)) 1005 0.1131 9.9647 ((12 . 1) (14 . 2) (16 . 3) (17 . 4)) 1007 0.1429 7.4366 ((18 . 12) (19 . 13) (26 . 18) (27 . 19) (28 . 21)) 1008 0.1429 7.7829 ((2 . 3) (3 . 5) (4 . 8) (10 . 13) (14 . 16)) 1034 0.1303 5.7689 ((10 . 20) (11 . 21) (16 . 23) (17 . 31) (18 . 32)) 1043 0.1303 7.8948 ((2 . 1) (3 . 6) (10 . 10) (14 . 14) (17 . 15)) 1082 0.1143 7.0438 ((4 . 12) (26 . 24) (31 . 27) (38 . 30)) 1084 0.1427 6.7405 ((21 . 8) (24 . 10) (25 . 12) (28 . 15) (33 . 18)) 1121 0.1143 3.7724 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 1165 0.1143 7.0230 ((3 . 2) (4 . 3) (27 . 19) (28 . 20)) 1167 0.1143 10.0947 ((24 . 20) (25 . 21) (33 . 27) (39 . 28)) 1169 0.1401 6.5708 ((26 . 29) (27 . 30) (29 . 32) (30 . 33) (38 . 37)) 1195 0.1143 4.5661 ((1 . 2) (2 . 4) (3 . 5) (4 . 6)) 1201 0.1143 5.7323 ((9 . 4) (24 . 16) (25 . 17) (26 . 18)) 1204 0.1143 7.1444 ((19 . 11) (31 . 18) (33 . 20) (37 . 23)) 1211 0.1429 10.0993 ((23 . 8) (24 . 9) (26 . 10) (27 . 11) (39 . 17)) 1217 0.1411 7.6760 ((24 . 3) (26 . 5) (27 . 7) (28 . 8) (33 . 12)) 1224 0.1970 4.9362 ((24 . 5) (26 . 6) (27 . 7) (32 . 9) (33 . 10) (35 . 14) (36 . 15)) 1233 0.1143 6.6629 ((25 . 20) (28 . 21) (29 . 23) (30 . 24)) 1267 0.1987 9.1491 ((1 . 15) (2 . 1) (3 . 2) (9 . 4) (17 . 5) (18 . 13) (31 . 23)) 1268 0.1143 4.5462 ((9 . 22) (10 . 23) (11 . 24) (12 . 25)) 1294 0.1143 6.4673 ((21 . 41) (23 . 42) (24 . 43) (25 . 44)) 1301 0.1143 4.3033 ((30 . 1) (31 . 2) (36 . 5) (39 . 6)) 1345 0.1143 6.3290 ((4 . 7) (8 . 9) (12 . 12) (14 . 13)) 1366 0.1429 5.2769 ((29 . 16) (30 . 17) (31 . 18) (35 . 20) (36 . 21)) 1388 0.1143 9.1756 ((3 . 1) (9 . 5) (14 . 8) (16 . 11)) 1410 0.1143 3.4409 ((29 . 20) (30 . 21) (35 . 23) (36 . 25)) 1425 0.1143 6.2302 ((4 . 2) (9 . 8) (12 . 10) (14 . 12)) 1435 0.1143 4.7702 ((7 . 2) (9 . 3) (12 . 5) (14 . 6)) 1447 0.1382 9.5700 ((12 . 1) (14 . 3) (18 . 5) (28 . 10) (31 . 13)) 1451 0.1143 5.1883 ((1 . 4) (2 . 5) (8 . 9) (9 . 10)) 1464 0.1429 8.7166 ((2 . 7) (3 . 8) (4 . 10) (9 . 13) (11 . 14)) 1472 0.1143 7.5556 ((12 . 7) (14 . 8) (16 . 9) (17 . 10)) 1476 0.1429 6.7823 ((24 . 9) (25 . 11) (28 . 16) (32 . 18) (41 . 20)) 1481 0.1143 6.0560 ((32 . 1) (33 . 2) (40 . 4) (41 . 5)) 1497 0.1141 15.6682 ((16 . 24) (28 . 28) (31 . 29) (39 . 33)) 1501 0.1429 4.3152 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (14 . 7)) 1508 0.1428 5.0246 ((28 . 1) (30 . 2) (31 . 3) (36 . 5) (39 . 6)) 1513 0.1143 8.3211 ((10 . 8) (21 . 15) (25 . 18) (28 . 19)) 1514 0.1143 7.5865 ((28 . 2) (29 . 3) (30 . 4) (33 . 6)) 1577 0.1143 7.7617 ((22 . 3) (24 . 4) (25 . 5) (31 . 9)) 1591 0.1737 7.6308 ((1 . 1) (2 . 4) (10 . 6) (11 . 8) (17 . 10) (18 . 14) (40 . 16)) 1595 0.1142 7.4820 ((28 . 4) (31 . 6) (32 . 7) (33 . 8)) 1604 0.1423 5.0196 ((2 . 1) (3 . 3) (4 . 7) (9 . 10) (14 . 12)) 1622 0.1671 5.8110 ((26 . 18) (27 . 20) (37 . 22) (38 . 23) (40 . 24) (41 . 25)) 1624 0.1143 7.3601 ((27 . 2) (32 . 5) (33 . 6) (39 . 11)) 1643 0.1714 9.1024 ((3 . 7) (9 . 12) (12 . 15) (14 . 16) (40 . 38) (41 . 39)) 1644 0.1143 5.2425 ((3 . 44) (4 . 46) (10 . 49) (12 . 52)) 1665 0.1705 7.4469 ((25 . 4) (27 . 6) (28 . 7) (31 . 9) (37 . 10) (39 . 11)) 1690 0.1143 4.8822 ((24 . 13) (25 . 14) (29 . 18) (30 . 19)) 1692 0.1143 9.4102 ((28 . 4) (29 . 5) (35 . 8) (36 . 9)) 1731 0.1143 7.8309 ((26 . 6) (31 . 9) (40 . 12) (41 . 13)) 1736 0.1143 7.6638 ((22 . 1) (26 . 3) (28 . 4) (38 . 10)) 1738 0.1429 7.2826 ((17 . 5) (23 . 9) (33 . 19) (40 . 23) (41 . 24)) 1747 0.2330 8.0169 ((2 . 19) (4 . 18) (8 . 11) (9 . 12) (12 . 13) (14 . 16) (29 . 29) (30 . 30) (32 . 33) (33 . 34) (35 . 28) (36 . 31)) 1756 0.1428 6.9366 ((22 . 22) (24 . 23) (26 . 25) (27 . 26) (32 . 30)) 1759 0.1143 5.8574 ((26 . 1) (27 . 2) (32 . 6) (33 . 8)) 1761 0.1429 6.8895 ((8 . 1) (9 . 2) (12 . 4) (14 . 5) (32 . 19)) 1763 0.1143 6.8520 ((28 . 4) (31 . 6) (37 . 9) (39 . 11)) 1776 0.1496 6.1645 ((24 . 7) (25 . 9) (27 . 12) (35 . 16) (36 . 19) (39 . 21)) 1777 0.1348 7.2617 ((7 . 31) (12 . 37) (14 . 42) (23 . 49) (26 . 52)) 1778 0.1143 5.3656 ((24 . 1) (25 . 2) (33 . 8) (41 . 12)) 1793 0.1426 9.2105 ((8 . 4) (17 . 9) (23 . 11) (26 . 12) (27 . 14)) 1805 0.1429 4.3278 ((29 . 3) (30 . 4) (31 . 5) (35 . 9) (36 . 10)) 1808 0.1429 6.8919 ((28 . 1) (29 . 2) (30 . 4) (33 . 6) (36 . 8)) 1817 0.1428 5.7173 ((18 . 13) (19 . 14) (21 . 16) (23 . 18) (26 . 20)) 1867 0.1143 7.5090 ((9 . 1) (12 . 3) (14 . 6) (17 . 8)) 1894 0.2248 8.0694 ((9 . 11) (12 . 12) (14 . 18) (18 . 20) (23 . 26) (26 . 21) (27 . 22) (40 . 23) (41 . 7)) 1896 0.1427 6.1245 ((17 . 12) (33 . 24) (35 . 25) (36 . 26) (39 . 28)) 1897 0.1539 5.5212 ((3 . 32) (9 . 34) (12 . 39) (14 . 40) (24 . 41) (26 . 43)) 1908 0.1411 10.4714 ((17 . 6) (22 . 15) (23 . 17) (31 . 20) (39 . 21)) 1909 0.1867 7.1570 ((24 . 25) (25 . 29) (28 . 30) (32 . 31) (33 . 34) (40 . 37) (41 . 39)) 1913 0.1616 8.9872 ((1 . 13) (2 . 16) (4 . 20) (9 . 25) (10 . 19) (12 . 21) (14 . 23)) 1944 0.1671 7.7744 ((24 . 3) (25 . 7) (28 . 8) (32 . 9) (33 . 13) (39 . 14)) 1957 0.1429 5.6950 ((17 . 4) (23 . 7) (28 . 10) (29 . 11) (36 . 15)) 1961 0.1143 3.9022 ((32 . 19) (33 . 20) (35 . 21) (39 . 25)) 1967 0.1539 5.5807 ((1 . 1) (10 . 3) (11 . 7) (17 . 9) (18 . 13) (40 . 14)) 1972 0.1143 8.7364 ((29 . 16) (31 . 17) (37 . 20) (39 . 21)) 1992 0.1143 6.9706 ((24 . 2) (25 . 3) (40 . 12) (41 . 14)) 1995 0.1143 5.3482 ((29 . 1) (30 . 2) (35 . 7) (36 . 8)) 2003 0.1539 5.0230 ((4 . 4) (7 . 7) (8 . 8) (9 . 9) (12 . 10) (14 . 12)) 2006 0.1429 5.5323 ((8 . 7) (9 . 8) (12 . 9) (14 . 10) (23 . 15)) 2045 0.1314 6.9559 ((2 . 1) (8 . 7) (14 . 11) (38 . 29) (39 . 30)) 2048 0.1428 9.3847 ((18 . 1) (28 . 9) (31 . 10) (40 . 16) (41 . 17)) 2054 0.1143 5.9072 ((12 . 1) (14 . 2) (24 . 13) (25 . 14)) 2063 0.2000 5.6406 ((2 . 42) (3 . 43) (4 . 44) (8 . 47) (9 . 48) (12 . 49) (14 . 50)) 2065 0.1143 5.2608 ((25 . 18) (27 . 23) (32 . 26) (33 . 27)) 2067 0.1419 8.9199 ((19 . 50) (27 . 57) (28 . 58) (29 . 59) (30 . 60)) 2072 0.1143 6.2726 ((32 . 1) (33 . 2) (40 . 5) (41 . 6)) 2081 0.1429 6.2966 ((18 . 9) (19 . 10) (31 . 16) (40 . 21) (41 . 23)) 2083 0.1143 6.6737 ((24 . 1) (25 . 2) (28 . 3) (32 . 7)) 2097 0.1143 7.7253 ((26 . 4) (29 . 6) (30 . 7) (38 . 14)) 2114 0.1143 6.7785 ((8 . 28) (9 . 29) (12 . 32) (14 . 34)) 2116 0.1143 5.9515 ((3 . 3) (4 . 4) (8 . 6) (9 . 7)) 2117 0.1714 6.1380 ((1 . 1) (10 . 6) (11 . 9) (17 . 13) (21 . 17) (39 . 24)) 2118 0.1143 5.8769 ((3 . 1) (4 . 4) (18 . 11) (19 . 12)) 2122 0.1375 8.4333 ((2 . 6) (21 . 12) (22 . 14) (24 . 15) (26 . 17) (28 . 20)) 2166 0.1585 8.4642 ((28 . 2) (29 . 3) (30 . 4) (31 . 5) (33 . 16) (38 . 17)) 2179 0.1411 6.4848 ((2 . 5) (3 . 6) (10 . 10) (11 . 13) (18 . 23)) 2196 0.1143 4.6515 ((29 . 12) (30 . 13) (37 . 18) (38 . 19)) 2203 0.1143 6.7378 ((9 . 5) (10 . 6) (12 . 7) (16 . 8)) 2205 0.1429 6.2475 ((26 . 16) (27 . 17) (29 . 19) (30 . 20) (38 . 26)) 2209 0.1337 9.1071 ((16 . 2) (24 . 3) (25 . 5) (27 . 7) (28 . 8) (37 . 9)) 2220 0.1143 4.9840 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 2243 0.1143 5.3359 ((8 . 44) (9 . 45) (12 . 47) (27 . 57)) 2244 0.1429 6.8449 ((2 . 74) (3 . 75) (4 . 76) (10 . 77) (12 . 78)) 2248 0.1419 8.1056 ((27 . 16) (28 . 20) (31 . 23) (37 . 27) (38 . 28)) 2249 0.1143 7.2171 ((18 . 17) (19 . 18) (21 . 20) (22 . 21)) 2269 0.1710 7.7321 ((16 . 5) (24 . 6) (26 . 7) (27 . 8) (28 . 11) (39 . 13)) 2279 0.1671 4.6424 ((28 . 1) (29 . 3) (30 . 5) (31 . 6) (35 . 7) (36 . 9)) 2298 0.1297 5.6680 ((21 . 4) (24 . 6) (25 . 10) (28 . 11) (32 . 12) (33 . 15) (39 . 16) (41 . 17)) 2308 0.1713 6.7635 ((16 . 3) (24 . 4) (25 . 5) (27 . 8) (28 . 10) (37 . 11)) 2314 0.1143 6.4766 ((9 . 4) (12 . 7) (14 . 8) (16 . 9)) 2340 0.1143 8.2938 ((31 . 10) (35 . 11) (38 . 13) (39 . 15)) 2344 0.1143 5.0675 ((28 . 5) (38 . 11) (39 . 12) (40 . 13)) 2364 0.1143 6.1774 ((8 . 4) (9 . 5) (23 . 18) (26 . 20)) 2381 0.1143 5.5246 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 2389 0.1429 5.0457 ((24 . 3) (26 . 5) (27 . 6) (32 . 9) (33 . 10)) 2393 0.1114 11.6013 ((25 . 15) (28 . 17) (31 . 19) (32 . 18)) 2408 0.1143 5.5280 ((35 . 32) (36 . 33) (40 . 37) (41 . 38)) 2409 0.1143 10.9699 ((24 . 4) (25 . 5) (30 . 9) (31 . 10)) 2410 0.1143 9.4957 ((25 . 13) (28 . 15) (29 . 16) (30 . 17)) 2422 0.1143 7.0094 ((4 . 1) (8 . 6) (9 . 7) (12 . 9)) 2423 0.1429 4.7216 ((18 . 16) (24 . 20) (27 . 22) (32 . 25) (33 . 26)) 2440 0.1143 8.2001 ((16 . 5) (18 . 8) (19 . 9) (24 . 13)) 2447 0.1429 6.1767 ((10 . 5) (11 . 6) (28 . 16) (29 . 18) (39 . 26)) 2462 0.1143 6.4050 ((32 . 6) (33 . 7) (40 . 11) (41 . 12)) 2510 0.1368 8.3695 ((2 . 1) (3 . 3) (4 . 7) (8 . 9) (16 . 13) (31 . 18) (39 . 24)) 2519 0.1142 9.2912 ((28 . 1) (31 . 3) (35 . 5) (39 . 6)) 2525 0.1429 7.6219 ((25 . 45) (28 . 46) (29 . 47) (30 . 48) (31 . 49)) 2529 0.1429 10.2486 ((25 . 1) (28 . 2) (29 . 3) (31 . 4) (32 . 6)) 2533 0.1143 6.1423 ((2 . 9) (4 . 13) (12 . 18) (14 . 19)) 2544 0.1142 7.0753 ((28 . 19) (31 . 21) (32 . 22) (33 . 23)) 2551 0.1382 7.8419 ((1 . 3) (14 . 9) (17 . 10) (18 . 11) (19 . 12)) 2552 0.1348 9.1449 ((25 . 1) (28 . 2) (29 . 3) (32 . 5) (39 . 6)) 2556 0.1143 9.1428 ((4 . 11) (7 . 13) (12 . 18) (17 . 21)) 2557 0.1427 4.6347 ((28 . 1) (30 . 3) (31 . 5) (35 . 6) (36 . 7)) 2561 0.1700 8.4382 ((25 . 1) (28 . 5) (30 . 6) (33 . 7) (36 . 8) (37 . 9)) 2595 0.1143 3.9646 ((25 . 4) (28 . 5) (32 . 9) (40 . 13)) 2619 0.1143 6.1967 ((2 . 1) (3 . 2) (4 . 3) (11 . 7)) 2627 0.1143 7.8507 ((17 . 57) (25 . 60) (29 . 64) (30 . 65)) 2650 0.1143 8.2101 ((8 . 1) (9 . 2) (14 . 5) (18 . 8)) 2658 0.1428 7.5081 ((1 . 1) (14 . 10) (17 . 11) (18 . 12) (19 . 13)) 2675 0.1423 8.4715 ((1 . 1) (3 . 3) (4 . 4) (10 . 10) (11 . 11)) 2682 0.1429 3.7628 ((21 . 3) (28 . 6) (29 . 7) (30 . 11) (37 . 15)) 2696 0.1429 6.5668 ((26 . 31) (27 . 35) (30 . 36) (37 . 38) (38 . 39)) 2731 0.1143 4.3981 ((1 . 1) (17 . 3) (18 . 4) (19 . 5)) 2733 0.1143 6.6526 ((4 . 1) (9 . 4) (14 . 8) (17 . 12)) 2755 0.1143 6.3906 ((18 . 1) (25 . 5) (28 . 7) (32 . 8)) 2773 0.1282 9.9297 ((26 . 2) (27 . 3) (28 . 4) (30 . 5) (37 . 6)) 2783 0.1143 4.4678 ((28 . 4) (29 . 6) (30 . 7) (36 . 12)) 2804 0.1143 6.3179 ((26 . 31) (27 . 32) (32 . 36) (40 . 39)) 2821 0.1143 5.1584 ((33 . 3) (35 . 4) (36 . 5) (39 . 10)) 2830 0.1648 7.4066 ((1 . 24) (4 . 26) (7 . 15) (9 . 17) (12 . 25) (14 . 27)) 2834 0.1143 3.7457 ((27 . 1) (28 . 2) (29 . 3) (30 . 5)) 2840 0.1143 5.5471 ((25 . 1) (28 . 3) (31 . 7) (33 . 8)) 2842 0.1423 6.9128 ((24 . 1) (25 . 4) (28 . 6) (32 . 9) (33 . 11)) 2867 0.1143 6.5356 ((18 . 2) (26 . 9) (28 . 10) (31 . 11)) 2879 0.1143 5.9938 ((2 . 51) (3 . 52) (4 . 53) (10 . 57)) 2886 0.1487 8.5584 ((2 . 30) (3 . 34) (4 . 35) (10 . 37) (11 . 41) (14 . 44)) 2929 0.1428 11.0378 ((28 . 37) (31 . 38) (32 . 39) (33 . 40) (39 . 41)) 2940 0.1143 8.6485 ((28 . 2) (29 . 3) (33 . 5) (36 . 6)) 2947 0.1429 10.7988 ((25 . 4) (28 . 5) (29 . 6) (30 . 7) (38 . 12)) 2955 0.1143 7.2742 ((32 . 3) (33 . 4) (40 . 6) (41 . 7)) 2966 0.1429 6.6278 ((28 . 2) (29 . 3) (30 . 4) (31 . 5) (36 . 9)) 2990 0.1714 4.4563 ((28 . 8) (29 . 9) (30 . 12) (31 . 13) (35 . 14) (36 . 15)) 2999 0.1143 4.1414 ((25 . 2) (28 . 3) (32 . 6) (33 . 7)) 3014 0.1143 6.6232 ((23 . 25) (32 . 33) (33 . 34) (35 . 35)) 3019 0.1594 5.9308 ((24 . 11) (26 . 19) (27 . 20) (28 . 21) (37 . 22) (38 . 25)) 3034 0.1348 6.6013 ((24 . 1) (25 . 5) (28 . 6) (32 . 7) (33 . 9)) 3041 0.1429 7.5519 ((1 . 9) (7 . 14) (17 . 20) (18 . 22) (19 . 24)) 3055 0.1143 4.8877 ((24 . 11) (25 . 12) (40 . 24) (41 . 25)) 3063 0.1143 5.3927 ((3 . 31) (4 . 32) (18 . 39) (19 . 41)) 3070 0.1143 8.4674 ((32 . 32) (33 . 33) (36 . 35) (39 . 37)) 3084 0.2267 7.1026 ((2 . 3) (3 . 5) (18 . 11) (24 . 13) (25 . 15) (28 . 16) (32 . 17) (40 . 23) (41 . 21)) 3102 0.1965 7.4712 ((1 . 67) (2 . 68) (3 . 69) (4 . 70) (7 . 71) (8 . 74) (9 . 77) (12 . 80) (14 . 82)) 3103 0.1401 7.3846 ((26 . 1) (27 . 3) (30 . 5) (31 . 6) (37 . 9)) 3114 0.1143 8.0452 ((26 . 21) (29 . 23) (30 . 24) (36 . 29)) 3120 0.1393 4.1571 ((28 . 20) (29 . 21) (30 . 22) (31 . 23) (36 . 25)) 3127 0.1423 8.0678 ((2 . 3) (18 . 4) (21 . 6) (28 . 14) (39 . 16)) 3147 0.1429 6.8763 ((8 . 7) (9 . 8) (11 . 9) (21 . 19) (23 . 20)) 3176 0.1143 10.5397 ((9 . 27) (12 . 29) (17 . 32) (28 . 34)) 3187 0.1429 10.2692 ((8 . 1) (9 . 2) (12 . 3) (14 . 4) (22 . 9)) 3190 0.1143 6.3495 ((30 . 3) (31 . 4) (38 . 9) (39 . 10)) 3197 0.1429 11.0428 ((14 . 10) (21 . 16) (28 . 20) (29 . 21) (37 . 26)) 3200 0.1425 6.5878 ((24 . 11) (26 . 13) (30 . 15) (32 . 16) (33 . 18)) 3202 0.1143 4.3938 ((8 . 8) (9 . 9) (22 . 18) (23 . 19)) 3212 0.1143 3.8347 ((8 . 2) (9 . 3) (12 . 5) (14 . 9)) 3222 0.1671 7.9349 ((2 . 1) (3 . 3) (9 . 4) (22 . 10) (23 . 14) (37 . 15)) 3256 0.1143 4.9674 ((7 . 16) (9 . 19) (12 . 20) (14 . 24)) 3261 0.1429 8.9217 ((25 . 2) (32 . 6) (33 . 7) (36 . 8) (39 . 10)) 3286 0.1401 7.0129 ((26 . 4) (27 . 5) (32 . 7) (33 . 9) (39 . 15)) 3289 0.1229 4.2960 ((26 . 25) (38 . 27) (39 . 28) (40 . 29) (41 . 30)) 3297 0.1428 8.9735 ((1 . 3) (2 . 4) (3 . 5) (4 . 7) (11 . 9)) 3300 0.1143 4.1675 ((29 . 1) (30 . 2) (31 . 3) (35 . 5)) 3310 0.1143 17.6384 ((17 . 1) (28 . 5) (31 . 6) (39 . 11)) 3322 0.1143 8.3867 ((25 . 3) (27 . 5) (28 . 6) (29 . 7)) 3334 0.1143 5.4474 ((25 . 4) (28 . 13) (29 . 14) (30 . 15)) 3339 0.1587 6.6257 ((3 . 11) (4 . 15) (10 . 19) (18 . 21) (19 . 22) (27 . 28) (31 . 36)) 3344 0.1143 6.3170 ((2 . 18) (9 . 22) (12 . 26) (14 . 27)) 3358 0.1143 6.8130 ((25 . 1) (26 . 2) (28 . 3) (30 . 4)) 3362 0.1143 5.0120 ((28 . 5) (29 . 6) (35 . 10) (36 . 11)) 3366 0.1429 6.7150 ((7 . 22) (8 . 23) (9 . 24) (12 . 26) (14 . 27)) 3391 0.1143 8.0739 ((4 . 4) (8 . 6) (12 . 10) (23 . 17)) 3410 0.1143 7.1211 ((25 . 21) (28 . 23) (31 . 27) (32 . 28)) 3418 0.1143 4.3525 ((1 . 2) (2 . 5) (3 . 6) (4 . 7)) 3446 0.1143 6.4519 ((16 . 3) (17 . 4) (18 . 5) (19 . 6)) 3470 0.1141 17.0626 ((16 . 9) (17 . 10) (31 . 16) (39 . 18)) 3472 0.1880 7.0734 ((21 . 1) (23 . 3) (24 . 4) (25 . 5) (26 . 9) (32 . 11) (33 . 12)) 3481 0.1143 7.3246 ((36 . 1) (38 . 2) (39 . 3) (41 . 4)) 3489 0.1143 6.4830 ((21 . 3) (23 . 4) (32 . 12) (33 . 14)) 3495 0.1143 7.0738 ((2 . 7) (3 . 8) (14 . 16) (16 . 17)) 3496 0.1143 7.0165 ((25 . 19) (32 . 22) (33 . 23) (39 . 25)) 3533 0.1143 7.0120 ((9 . 1) (12 . 3) (14 . 5) (16 . 6)) 3537 0.1158 8.8246 ((1 . 2) (23 . 5) (30 . 7) (31 . 8) (36 . 9)) 3538 0.1143 6.4530 ((16 . 16) (17 . 17) (18 . 18) (19 . 20)) 3548 0.1429 5.0920 ((24 . 2) (26 . 3) (27 . 4) (32 . 8) (33 . 9)) 3549 0.1143 4.0414 ((2 . 2) (3 . 3) (4 . 5) (9 . 8)) 3561 0.1475 8.4594 ((12 . 18) (14 . 20) (17 . 25) (23 . 26) (26 . 28) (38 . 30)) 3570 0.1143 6.8010 ((28 . 6) (29 . 7) (30 . 8) (31 . 9)) 3585 0.1892 6.7212 ((17 . 2) (26 . 6) (27 . 8) (29 . 11) (30 . 12) (37 . 13) (38 . 16)) 3613 0.1429 6.9123 ((16 . 32) (18 . 35) (19 . 36) (24 . 40) (25 . 41)) 3625 0.1671 9.4145 ((1 . 1) (9 . 3) (12 . 5) (14 . 6) (18 . 7) (19 . 9)) 3626 0.1143 4.1438 ((2 . 2) (3 . 3) (4 . 6) (14 . 8)) 3628 0.1143 6.7252 ((2 . 8) (3 . 9) (4 . 10) (8 . 12)) 3651 0.1348 7.1187 ((24 . 1) (25 . 3) (28 . 7) (32 . 8) (35 . 11)) 3656 0.1142 9.1658 ((17 . 20) (24 . 22) (26 . 23) (27 . 24)) 3658 0.1714 4.1304 ((25 . 1) (28 . 2) (29 . 3) (30 . 4) (32 . 5) (33 . 6)) 3659 0.1143 4.5483 ((2 . 7) (3 . 8) (8 . 12) (9 . 13)) 3661 0.1348 8.1433 ((8 . 12) (16 . 14) (24 . 23) (32 . 24) (37 . 26)) 3663 0.1143 8.2648 ((4 . 1) (7 . 2) (8 . 5) (16 . 7)) 3688 0.1429 6.2653 ((8 . 5) (9 . 7) (10 . 8) (38 . 27) (41 . 29)) 3697 0.1348 9.4757 ((25 . 1) (28 . 5) (30 . 6) (35 . 7) (36 . 10)) 3703 0.1429 6.6716 ((1 . 3) (2 . 6) (3 . 7) (4 . 8) (9 . 9)) 3732 0.1143 4.8556 ((28 . 6) (29 . 7) (35 . 11) (36 . 12)) 3733 0.1648 6.2836 ((24 . 1) (25 . 3) (28 . 4) (31 . 5) (32 . 6) (33 . 8)) 3740 0.1429 6.1789 ((3 . 1) (4 . 2) (9 . 5) (12 . 6) (14 . 7)) 3741 0.1143 5.9716 ((12 . 3) (14 . 4) (38 . 26) (41 . 28)) 3776 0.1303 8.0461 ((14 . 15) (17 . 16) (22 . 20) (23 . 21) (26 . 24)) 3778 0.1423 7.2538 ((27 . 2) (29 . 3) (30 . 4) (35 . 6) (36 . 7)) 3787 0.2098 7.3042 ((14 . 12) (17 . 13) (18 . 15) (24 . 17) (28 . 18) (32 . 21) (36 . 19) (39 . 20)) 3790 0.1679 7.7525 ((1 . 31) (2 . 24) (10 . 25) (18 . 27) (19 . 30) (21 . 37) (22 . 39) (24 . 40) (25 . 1) (27 . 4) (40 . 33) (41 . 35)) 3807 0.1143 6.3244 ((1 . 43) (2 . 46) (3 . 47) (8 . 50)) 3810 0.1429 9.5181 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (7 . 15)) 3817 0.1143 8.1092 ((4 . 5) (9 . 7) (12 . 9) (17 . 12)) 3818 0.1143 7.6049 ((25 . 23) (28 . 24) (32 . 28) (33 . 29)) 3829 0.1143 10.5524 ((17 . 3) (28 . 11) (30 . 12) (31 . 13)) 3831 0.1143 6.7267 ((29 . 3) (32 . 5) (33 . 6) (39 . 11)) 3847 0.1143 6.3579 ((4 . 9) (10 . 13) (12 . 16) (14 . 17)) 3849 0.1411 10.3705 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (9 . 8)) 3853 0.1263 12.2660 ((3 . 3) (8 . 6) (9 . 8) (17 . 11) (22 . 14)) 3856 0.1143 8.0466 ((1 . 6) (2 . 7) (3 . 9) (4 . 10)) 3870 0.1143 8.3466 ((2 . 3) (14 . 10) (16 . 11) (19 . 13)) 3933 0.1425 7.0032 ((27 . 9) (29 . 11) (30 . 13) (35 . 17) (36 . 18)) 3938 0.1710 4.9398 ((3 . 2) (4 . 4) (7 . 6) (9 . 8) (12 . 9) (39 . 16)) 3942 0.1143 11.6897 ((27 . 2) (28 . 4) (31 . 5) (35 . 9)) 3968 0.1229 6.4744 ((24 . 3) (25 . 5) (28 . 8) (32 . 9) (33 . 11)) 3986 0.1714 5.7281 ((2 . 15) (7 . 21) (9 . 25) (10 . 26) (11 . 9) (23 . 28)) 3990 0.1143 6.3434 ((1 . 16) (3 . 18) (9 . 22) (14 . 26)) 4005 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (14 . 14) (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) (31 . 31) (32 . 32) (33 . 33) (35 . 35) (36 . 36) (37 . 37) (38 . 38) (39 . 39) (40 . 40) (41 . 41)) 4009 0.1700 6.0890 ((16 . 3) (17 . 6) (18 . 12) (24 . 15) (37 . 21) (40 . 22)) 4019 0.1429 5.9067 ((8 . 35) (9 . 36) (12 . 39) (14 . 42) (18 . 45)) 4030 0.1063 15.0224 ((16 . 6) (17 . 7) (28 . 12) (39 . 17)) 4034 0.1143 6.0943 ((9 . 5) (12 . 6) (17 . 8) (19 . 10)) 4037 0.1143 4.8350 ((9 . 1) (12 . 2) (14 . 3) (16 . 4)) 4062 0.1143 4.9200 ((17 . 40) (29 . 48) (30 . 49) (36 . 50)) 4067 0.1393 6.0675 ((24 . 14) (25 . 16) (28 . 19) (32 . 20) (33 . 22)) 4077 0.1143 13.9054 ((17 . 1) (28 . 6) (31 . 8) (39 . 12)) 4082 0.1429 6.2125 ((24 . 5) (26 . 6) (27 . 7) (38 . 8) (39 . 9)) 4087 0.1143 6.9824 ((28 . 4) (32 . 7) (33 . 8) (39 . 9)) 4112 0.1143 5.0379 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 4115 0.1648 5.3264 ((3 . 1) (4 . 8) (14 . 10) (21 . 15) (32 . 17) (33 . 19)) 4134 0.1141 16.5826 ((16 . 23) (17 . 24) (31 . 31) (39 . 33)) 4140 0.1143 7.1189 ((9 . 21) (12 . 22) (14 . 23) (17 . 26)) 4151 0.1594 6.5376 ((21 . 3) (24 . 7) (32 . 9) (33 . 12) (40 . 17) (41 . 19)) 4154 0.1143 4.4288 ((8 . 52) (9 . 53) (12 . 56) (14 . 57)) 4177 0.1143 5.6202 ((3 . 2) (9 . 7) (12 . 8) (14 . 9)) 4190 0.1143 7.3862 ((2 . 1) (3 . 3) (12 . 8) (14 . 9)) 4192 0.1143 5.9855 ((27 . 10) (28 . 11) (31 . 14) (38 . 19)) 4194 0.1429 7.3224 ((24 . 3) (27 . 5) (30 . 6) (37 . 7) (39 . 8)) 4195 0.1143 7.1829 ((8 . 6) (14 . 9) (28 . 13) (30 . 14)) 4204 0.1429 7.9005 ((7 . 3) (8 . 5) (12 . 9) (17 . 12) (18 . 14)) 4209 0.1690 7.6763 ((2 . 1) (3 . 2) (4 . 4) (9 . 8) (10 . 10) (39 . 11)) 4210 0.1427 9.2646 ((28 . 3) (29 . 4) (30 . 5) (32 . 6) (36 . 8)) 4226 0.1608 5.7229 ((24 . 11) (25 . 12) (28 . 15) (32 . 16) (33 . 18) (41 . 19)) 4232 0.1401 8.4521 ((24 . 1) (26 . 2) (27 . 3) (29 . 4) (37 . 5) (38 . 8)) 4236 0.1376 5.1267 ((1 . 5) (2 . 6) (3 . 7) (14 . 8) (17 . 13)) 4246 0.2286 7.3995 ((2 . 2) (3 . 3) (8 . 5) (9 . 6) (10 . 7) (12 . 8) (17 . 10) (24 . 11)) 4254 0.2174 8.1002 ((10 . 3) (11 . 4) (16 . 16) (17 . 5) (18 . 8) (22 . 9) (23 . 18) (39 . 20)) 4255 0.1229 8.7519 ((24 . 21) (25 . 23) (26 . 24) (28 . 25) (32 . 26)) 4257 0.1143 7.0561 ((33 . 3) (38 . 7) (40 . 8) (41 . 9)) 4265 0.1539 5.3157 ((24 . 21) (25 . 23) (26 . 24) (28 . 25) (32 . 26) (33 . 29)) 4266 0.1143 5.7084 ((1 . 4) (10 . 11) (11 . 12) (16 . 17)) 4274 0.1143 7.9225 ((26 . 36) (28 . 37) (32 . 40) (33 . 41)) 4275 0.1429 7.9448 ((25 . 21) (28 . 22) (29 . 23) (32 . 25) (33 . 27)) 4281 0.1143 5.9250 ((9 . 3) (12 . 4) (14 . 8) (17 . 11)) 4284 0.1648 6.2471 ((1 . 1) (2 . 5) (4 . 6) (8 . 8) (9 . 9) (12 . 10)) 4299 0.1427 8.2535 ((19 . 4) (25 . 6) (31 . 10) (40 . 16) (41 . 19)) 4301 0.1143 6.8976 ((8 . 1) (9 . 2) (12 . 3) (14 . 4)) 4326 0.1143 6.3912 ((24 . 2) (28 . 4) (31 . 5) (37 . 10)) 4332 0.1143 3.8635 ((28 . 1) (29 . 2) (30 . 4) (35 . 6)) 4338 0.1143 5.8886 ((11 . 2) (14 . 4) (18 . 6) (19 . 7)) 4352 0.1142 6.5081 ((16 . 6) (17 . 7) (18 . 9) (19 . 10)) 4359 0.1429 5.1408 ((10 . 1) (14 . 4) (27 . 13) (32 . 17) (33 . 18)) 4380 0.1143 4.3852 ((8 . 14) (9 . 15) (12 . 17) (14 . 18)) 4383 0.1143 5.2412 ((29 . 14) (30 . 15) (37 . 18) (38 . 19)) 4386 0.1143 6.6528 ((8 . 9) (9 . 10) (24 . 18) (25 . 19)) 4388 0.1143 5.9525 ((2 . 9) (3 . 10) (18 . 17) (19 . 18)) 4398 0.1700 9.0199 ((26 . 1) (28 . 2) (30 . 4) (32 . 10) (33 . 12) (38 . 13)) 4405 0.1429 6.0820 ((28 . 17) (29 . 18) (30 . 19) (35 . 21) (36 . 25)) 4408 0.1429 10.1333 ((25 . 2) (28 . 5) (29 . 6) (30 . 7) (38 . 13)) 4415 0.1348 5.6695 ((24 . 1) (25 . 4) (28 . 5) (32 . 9) (41 . 11)) 4419 0.1585 6.1958 ((4 . 3) (7 . 6) (8 . 7) (9 . 8) (12 . 9) (14 . 10)) 4426 0.1143 9.1766 ((25 . 2) (28 . 3) (30 . 4) (33 . 6)) 4470 0.1604 6.7106 ((24 . 1) (25 . 5) (28 . 11) (32 . 12) (33 . 14) (39 . 15) (41 . 18)) 4491 0.1423 5.6394 ((27 . 1) (28 . 4) (29 . 5) (37 . 6) (38 . 8)) 4492 0.1143 5.9489 ((18 . 4) (21 . 8) (28 . 12) (29 . 13)) 4495 0.1143 6.9418 ((22 . 2) (24 . 3) (31 . 9) (41 . 14)) 4497 0.1143 5.8697 ((4 . 24) (8 . 26) (12 . 28) (14 . 30)) 4502 0.1143 5.2646 ((7 . 1) (17 . 7) (18 . 9) (19 . 10)) 4503 0.1158 6.3886 ((26 . 1) (28 . 2) (36 . 3) (37 . 5) (38 . 8)) 4504 0.1393 7.1763 ((24 . 4) (26 . 6) (27 . 8) (28 . 10) (38 . 13)) 4505 0.1686 5.8780 ((2 . 25) (3 . 26) (4 . 28) (9 . 30) (14 . 34) (17 . 35)) 4516 0.1608 8.4565 ((1 . 10) (2 . 12) (10 . 14) (12 . 16) (22 . 26) (37 . 36)) 4527 0.1141 7.8946 ((28 . 2) (31 . 4) (32 . 6) (33 . 7)) 4538 0.1348 6.0064 ((17 . 27) (22 . 30) (26 . 32) (27 . 33) (37 . 34)) 4551 0.1143 15.0952 ((7 . 2) (12 . 8) (24 . 17) (25 . 18)) 4560 0.1428 6.4398 ((2 . 8) (4 . 11) (8 . 13) (9 . 14) (12 . 17)) 4561 0.1348 6.4034 ((24 . 1) (25 . 5) (28 . 8) (32 . 9) (33 . 16)) 4562 0.1426 5.9615 ((28 . 21) (29 . 25) (30 . 27) (36 . 29) (39 . 30)) 4563 0.1143 7.4678 ((1 . 4) (33 . 26) (38 . 28) (41 . 31)) 4577 0.1269 8.3199 ((1 . 62) (18 . 42) (19 . 43) (23 . 27) (24 . 28) (32 . 29) (33 . 30) (35 . 37) (36 . 38) (40 . 39) (41 . 41)) 4579 0.1143 14.9114 ((17 . 13) (24 . 18) (31 . 25) (39 . 26)) 4588 0.1348 12.0226 ((2 . 1) (3 . 3) (9 . 9) (11 . 13) (16 . 31)) 4589 0.1655 5.7093 ((28 . 17) (29 . 18) (30 . 23) (31 . 24) (35 . 25) (36 . 27)) 4607 0.1143 13.6883 ((8 . 3) (16 . 11) (17 . 13) (39 . 23)) 4621 0.1427 4.3334 ((7 . 6) (8 . 7) (9 . 8) (12 . 9) (14 . 11)) 4630 0.2308 7.3392 ((3 . 17) (7 . 5) (9 . 9) (12 . 8) (14 . 14) (26 . 19) (27 . 25) (35 . 31) (36 . 35)) 4648 0.1142 8.8738 ((29 . 1) (30 . 2) (33 . 5) (37 . 8)) 4653 0.1143 4.0792 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 4665 0.1143 4.7531 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 4668 0.1608 6.8833 ((24 . 1) (25 . 3) (28 . 6) (32 . 7) (33 . 9) (41 . 11)) 4669 0.1426 8.1213 ((7 . 15) (8 . 17) (9 . 19) (12 . 21) (17 . 22)) 4671 0.1143 4.4721 ((31 . 10) (32 . 11) (33 . 12) (36 . 14)) 4674 0.1143 4.7846 ((26 . 1) (27 . 2) (28 . 3) (33 . 7)) 4678 0.1143 10.8900 ((1 . 6) (4 . 10) (8 . 12) (11 . 14)) 4713 0.1143 7.4041 ((1 . 5) (2 . 6) (4 . 8) (7 . 9)) 4715 0.1142 11.9802 ((31 . 1) (36 . 3) (39 . 4) (41 . 6)) 4731 0.1143 7.7568 ((18 . 14) (23 . 18) (32 . 23) (33 . 24)) 4734 0.1143 8.3796 ((2 . 4) (3 . 6) (40 . 31) (41 . 32)) 4857 0.1143 5.5890 ((1 . 2) (2 . 3) (9 . 9) (12 . 11)) 4886 0.1143 4.1175 ((8 . 29) (9 . 30) (12 . 31) (14 . 32)) 4888 0.1143 7.1340 ((25 . 9) (28 . 11) (32 . 14) (35 . 16)) 4889 0.1429 8.7599 ((29 . 3) (30 . 4) (35 . 6) (36 . 7) (39 . 8)) 4907 0.1429 6.8401 ((2 . 1) (3 . 3) (4 . 4) (8 . 8) (9 . 9)) 4914 0.1143 5.0131 ((2 . 5) (3 . 6) (8 . 11) (9 . 12)) 4921 0.1411 8.8338 ((4 . 8) (8 . 9) (12 . 12) (14 . 14) (23 . 15)) 4929 0.1143 7.2210 ((8 . 31) (9 . 32) (12 . 33) (14 . 34)) 4932 0.1348 7.5411 ((24 . 1) (25 . 2) (28 . 7) (31 . 9) (41 . 10)) 4940 0.1539 7.3534 ((24 . 1) (27 . 3) (29 . 4) (31 . 5) (37 . 6) (38 . 8)) 4941 0.1229 6.7830 ((7 . 1) (14 . 11) (18 . 15) (40 . 17) (41 . 19)) 4944 0.1143 5.5412 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 4961 0.1429 5.8007 ((1 . 3) (12 . 14) (14 . 15) (18 . 17) (41 . 20)) 4978 0.1682 6.3708 ((1 . 18) (2 . 21) (3 . 22) (4 . 24) (17 . 29) (18 . 30) (40 . 32)) 4982 0.1143 7.5655 ((23 . 8) (28 . 11) (29 . 12) (32 . 14)) 4992 0.1880 7.8578 ((24 . 1) (26 . 2) (27 . 3) (28 . 4) (30 . 6) (31 . 7) (37 . 9)) 4998 0.1143 7.7262 ((4 . 15) (9 . 19) (12 . 20) (25 . 29)) 5029 0.1348 5.9621 ((24 . 2) (25 . 4) (28 . 7) (32 . 8) (33 . 10)) 5036 0.1348 11.1197 ((23 . 1) (24 . 5) (25 . 6) (32 . 8) (33 . 10)) 5038 0.1143 7.1301 ((14 . 9) (18 . 12) (21 . 16) (23 . 17)) 5039 0.1427 4.4655 ((24 . 37) (25 . 39) (28 . 43) (32 . 44) (33 . 45)) 5044 0.1401 7.1179 ((1 . 2) (8 . 3) (9 . 14) (26 . 31) (39 . 32)) 5046 0.1143 5.8725 ((24 . 3) (25 . 4) (32 . 8) (33 . 10)) 5053 0.1143 5.4895 ((2 . 5) (3 . 6) (10 . 10) (11 . 11)) 5065 0.1429 5.6638 ((1 . 7) (2 . 8) (3 . 9) (4 . 10) (14 . 11)) 5068 0.1143 5.4335 ((9 . 4) (12 . 7) (14 . 10) (16 . 11)) 5069 0.1429 6.9650 ((18 . 5) (19 . 7) (24 . 12) (25 . 13) (31 . 16)) 5073 0.1967 6.2734 ((24 . 32) (25 . 34) (28 . 35) (32 . 36) (33 . 39) (39 . 41) (40 . 42) (41 . 44)) 5080 0.1143 8.6902 ((24 . 2) (25 . 3) (28 . 5) (31 . 6)) 5083 0.1143 7.5788 ((4 . 1) (7 . 2) (10 . 5) (11 . 6)) 5101 0.1143 5.2701 ((16 . 6) (28 . 14) (30 . 18) (36 . 21)) 5103 0.1648 7.2874 ((8 . 4) (16 . 11) (24 . 15) (27 . 17) (28 . 18) (39 . 20)) 5121 0.1348 8.3956 ((28 . 13) (30 . 16) (36 . 18) (37 . 21) (39 . 22)) 5132 0.1510 7.3194 ((21 . 16) (24 . 18) (25 . 20) (28 . 21) (32 . 22) (33 . 26) (41 . 28)) 5134 0.1382 5.2704 ((3 . 3) (4 . 6) (9 . 10) (12 . 14) (14 . 17)) 5145 0.1428 7.4351 ((28 . 2) (31 . 4) (35 . 5) (36 . 10) (39 . 11)) 5167 0.1539 7.2057 ((2 . 1) (3 . 3) (4 . 4) (10 . 9) (11 . 12) (18 . 14)) 5176 0.1143 7.4328 ((27 . 82) (31 . 83) (36 . 87) (37 . 88)) 5183 0.1143 7.2009 ((32 . 34) (33 . 35) (35 . 36) (36 . 37)) 5192 0.1616 10.8673 ((8 . 1) (9 . 3) (16 . 6) (18 . 9) (24 . 17) (40 . 20) (41 . 21)) 5198 0.1200 8.9741 ((21 . 19) (26 . 21) (32 . 24) (33 . 26) (40 . 31) (41 . 32)) 5199 0.1348 8.2346 ((21 . 4) (24 . 7) (32 . 8) (33 . 9) (41 . 10)) 5209 0.1143 6.1515 ((28 . 2) (29 . 3) (30 . 4) (37 . 8)) 5212 0.1143 6.7810 ((17 . 15) (27 . 21) (29 . 23) (31 . 25)) 5215 0.1450 5.4730 ((1 . 4) (2 . 5) (3 . 9) (4 . 11) (14 . 12) (17 . 14) (19 . 15)) 5223 0.1655 8.6265 ((4 . 1) (7 . 8) (8 . 12) (9 . 15) (12 . 17) (17 . 19)) 5231 0.1143 5.1567 ((1 . 12) (2 . 13) (3 . 14) (4 . 16)) 5266 0.1143 4.9423 ((25 . 2) (39 . 12) (40 . 13) (41 . 15)) 5278 0.1143 6.0463 ((8 . 8) (9 . 9) (12 . 10) (14 . 12)) 5307 0.1631 5.6562 ((1 . 51) (2 . 53) (18 . 55) (39 . 56) (40 . 57) (41 . 58)) 5312 0.1428 9.4075 ((3 . 1) (4 . 2) (8 . 4) (10 . 5) (12 . 7)) 5318 0.1143 7.9782 ((10 . 22) (12 . 23) (14 . 24) (16 . 27)) 5323 0.1426 5.2636 ((28 . 9) (29 . 10) (30 . 11) (31 . 12) (39 . 13)) 5324 0.1942 5.4378 ((17 . 1) (24 . 7) (25 . 10) (28 . 11) (32 . 12) (33 . 14) (40 . 15) (41 . 16)) 5344 0.1143 6.1933 ((8 . 2) (9 . 3) (12 . 4) (14 . 7)) 5345 0.1429 4.3522 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (18 . 18)) 5368 0.1429 6.0054 ((1 . 26) (2 . 27) (3 . 28) (24 . 46) (25 . 47)) 5378 0.1423 7.3383 ((9 . 3) (12 . 4) (16 . 5) (18 . 8) (19 . 9)) 5411 0.1143 8.7030 ((25 . 3) (28 . 5) (29 . 6) (30 . 8)) 5414 0.1427 7.8786 ((25 . 16) (28 . 17) (30 . 20) (32 . 21) (33 . 22)) 5418 0.1425 8.4024 ((26 . 2) (27 . 3) (28 . 4) (32 . 7) (33 . 8)) 5421 0.1428 3.4218 ((24 . 1) (25 . 2) (26 . 4) (27 . 5) (32 . 13)) 5433 0.1263 6.6498 ((24 . 4) (25 . 7) (26 . 8) (27 . 14) (37 . 18)) 5479 0.2285 7.6035 ((1 . 34) (2 . 66) (3 . 33) (18 . 36) (19 . 41) (21 . 42) (22 . 43) (25 . 45) (29 . 54) (36 . 60) (37 . 46) (40 . 35) (41 . 40)) 5487 0.1393 6.0457 ((24 . 4) (25 . 7) (28 . 8) (32 . 9) (33 . 11)) 5489 0.1143 4.7076 ((23 . 6) (26 . 9) (27 . 10) (37 . 17)) 5500 0.1143 5.9069 ((2 . 1) (3 . 2) (10 . 12) (11 . 14)) 5501 0.1143 4.8867 ((28 . 22) (31 . 23) (32 . 24) (33 . 25)) 5525 0.1143 14.8977 ((17 . 2) (25 . 7) (31 . 11) (39 . 13)) 5535 0.1143 7.2422 ((4 . 4) (8 . 7) (9 . 8) (16 . 13)) 5540 0.1428 8.1933 ((12 . 3) (14 . 4) (21 . 10) (26 . 14) (28 . 17)) 5557 0.1143 8.5620 ((18 . 1) (19 . 2) (23 . 4) (26 . 6)) 5560 0.1487 7.2252 ((2 . 4) (17 . 7) (24 . 11) (32 . 13) (33 . 20) (39 . 24)) 5562 0.1143 9.1304 ((24 . 6) (25 . 7) (28 . 9) (30 . 11)) 5567 0.1539 8.0620 ((18 . 5) (25 . 11) (28 . 14) (32 . 15) (33 . 17) (41 . 19)) 5594 0.1143 5.9676 ((26 . 3) (27 . 4) (31 . 7) (39 . 13)) 5600 0.1143 6.0786 ((4 . 3) (8 . 5) (9 . 6) (17 . 12)) 5601 0.1143 4.7343 ((24 . 1) (27 . 5) (28 . 6) (41 . 15)) 5638 0.1143 9.5056 ((25 . 7) (26 . 8) (27 . 9) (32 . 13)) 5640 0.1429 7.9038 ((8 . 11) (9 . 12) (18 . 21) (19 . 22) (30 . 29)) 5644 0.1143 4.4618 ((29 . 3) (30 . 4) (37 . 10) (38 . 11)) 5656 0.1539 7.3266 ((22 . 3) (25 . 5) (27 . 10) (28 . 11) (31 . 17) (39 . 25)) 5700 0.1143 6.5427 ((4 . 2) (8 . 4) (12 . 6) (14 . 8)) 5701 0.1348 8.2421 ((24 . 5) (25 . 8) (28 . 10) (31 . 13) (39 . 20)) 5703 0.1714 5.5040 ((3 . 1) (4 . 2) (8 . 5) (9 . 6) (12 . 7) (14 . 8)) 5711 0.1143 5.1324 ((8 . 32) (9 . 33) (12 . 35) (18 . 42)) 5713 0.1429 4.1129 ((8 . 6) (9 . 7) (12 . 10) (14 . 11) (23 . 22)) 5718 0.1143 5.2348 ((2 . 17) (3 . 18) (8 . 24) (9 . 25)) 5731 0.1429 7.4388 ((2 . 2) (3 . 4) (4 . 5) (10 . 10) (14 . 13)) 5746 0.1429 6.4907 ((28 . 1) (29 . 2) (30 . 3) (37 . 7) (38 . 8)) 5749 0.1429 9.8849 ((7 . 3) (9 . 4) (12 . 5) (14 . 6) (17 . 9)) 5761 0.1143 4.1713 ((4 . 28) (8 . 31) (9 . 32) (14 . 36)) 5770 0.1263 10.3066 ((3 . 1) (4 . 6) (9 . 9) (12 . 12) (39 . 22)) 5771 0.1143 5.0804 ((7 . 1) (17 . 10) (18 . 13) (19 . 14)) 5782 0.1425 7.8488 ((12 . 24) (14 . 26) (16 . 28) (17 . 31) (26 . 37)) 5789 0.1141 11.2036 ((28 . 1) (31 . 3) (38 . 5) (39 . 6)) 5794 0.1429 7.9228 ((3 . 15) (4 . 16) (8 . 18) (9 . 19) (14 . 23)) 5795 0.1143 8.5353 ((25 . 1) (28 . 3) (31 . 5) (39 . 11)) 5809 0.1143 6.3447 ((25 . 7) (28 . 8) (32 . 12) (39 . 16)) 5822 0.1429 11.8554 ((25 . 2) (27 . 4) (28 . 5) (29 . 7) (35 . 9)) 5827 0.1429 7.4774 ((29 . 14) (30 . 15) (32 . 16) (33 . 17) (39 . 20)) 5830 0.1143 7.2680 ((33 . 1) (36 . 3) (39 . 5) (40 . 6)) 5847 0.1944 7.2798 ((24 . 12) (25 . 13) (26 . 20) (27 . 16) (32 . 17) (33 . 3) (40 . 9)) 5861 0.1428 6.0248 ((2 . 5) (8 . 11) (9 . 12) (18 . 21) (19 . 22)) 5865 0.1143 8.7970 ((26 . 1) (27 . 2) (29 . 4) (30 . 5)) 5878 0.1429 4.1606 ((9 . 25) (10 . 26) (11 . 28) (12 . 29) (14 . 30)) 5888 0.1428 5.1916 ((8 . 14) (9 . 15) (14 . 19) (18 . 22) (21 . 25)) 5896 0.1143 3.5934 ((28 . 27) (29 . 28) (30 . 29) (35 . 31)) 5904 0.1348 5.7012 ((24 . 1) (25 . 4) (28 . 8) (32 . 9) (33 . 11)) 5913 0.1855 7.8222 ((7 . 5) (8 . 6) (9 . 7) (12 . 13) (14 . 15) (18 . 17) (38 . 22)) 5914 0.1143 3.3345 ((27 . 3) (28 . 4) (29 . 5) (30 . 6)) 5922 0.1143 6.6703 ((8 . 8) (9 . 9) (12 . 10) (14 . 11)) 5930 0.1295 6.0448 ((3 . 2) (4 . 4) (8 . 9) (9 . 10) (10 . 11) (18 . 12)) 5939 0.1421 6.4042 ((24 . 2) (28 . 3) (32 . 4) (33 . 6) (40 . 9) (41 . 14)) 5945 0.2098 6.3243 ((18 . 13) (19 . 14) (21 . 2) (24 . 3) (25 . 16) (28 . 8) (32 . 9) (39 . 12)) 5949 0.1143 8.5901 ((3 . 1) (7 . 4) (17 . 13) (18 . 14)) 5955 0.1970 7.5540 ((25 . 1) (27 . 5) (28 . 6) (32 . 7) (33 . 9) (39 . 10) (41 . 14)) 5967 0.1141 8.2835 ((25 . 1) (28 . 2) (31 . 6) (32 . 7)) 5972 0.1131 6.4386 ((28 . 1) (31 . 4) (35 . 6) (36 . 7)) 5977 0.1429 10.3910 ((25 . 1) (28 . 2) (29 . 3) (32 . 5) (33 . 6)) 6000 0.1427 9.3523 ((12 . 14) (14 . 15) (30 . 28) (31 . 30) (35 . 31)) 6011 0.1888 7.2315 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (7 . 13) (8 . 16) (10 . 20)) 6022 0.1143 5.9235 ((32 . 4) (33 . 5) (38 . 8) (40 . 9)) 6028 0.1142 5.8797 ((35 . 1) (37 . 2) (38 . 3) (39 . 4)) 6029 0.1425 5.3552 ((24 . 3) (26 . 5) (27 . 6) (28 . 7) (31 . 8)) 6041 0.1143 5.0129 ((24 . 10) (25 . 11) (28 . 14) (32 . 15)) 6046 0.1143 4.4426 ((28 . 1) (29 . 2) (30 . 3) (35 . 6)) 6061 0.1143 6.9795 ((25 . 15) (28 . 16) (32 . 20) (33 . 21)) 6074 0.1682 7.0133 ((24 . 2) (25 . 4) (28 . 5) (32 . 6) (33 . 8) (40 . 11) (41 . 13)) 6075 0.1143 8.1261 ((26 . 17) (28 . 19) (32 . 21) (38 . 27)) 6079 0.1419 7.7059 ((2 . 6) (3 . 7) (4 . 8) (9 . 9) (32 . 21)) 6087 0.1143 9.4032 ((4 . 3) (12 . 8) (16 . 9) (17 . 11)) 6089 0.1142 6.9199 ((14 . 5) (21 . 12) (31 . 19) (33 . 21)) 6094 0.1714 5.3964 ((24 . 2) (25 . 3) (26 . 4) (27 . 5) (33 . 10) (37 . 13)) 6099 0.1893 7.6594 ((10 . 13) (11 . 14) (12 . 16) (14 . 18) (18 . 5) (19 . 6) (23 . 26) (24 . 28) (26 . 29) (32 . 31) (33 . 4) (38 . 30) (41 . 33)) 6123 0.1143 4.2779 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 6142 0.1429 5.5046 ((8 . 4) (9 . 5) (18 . 10) (19 . 11) (37 . 25)) 6148 0.1143 6.0698 ((24 . 32) (26 . 33) (27 . 34) (32 . 37)) 6167 0.1682 10.7162 ((1 . 4) (2 . 7) (3 . 9) (8 . 10) (14 . 12) (19 . 14) (39 . 22)) 6173 0.1143 4.2419 ((24 . 3) (25 . 4) (32 . 9) (33 . 11)) 6191 0.1143 6.3214 ((2 . 3) (3 . 4) (10 . 9) (11 . 10)) 6192 0.1694 5.4990 ((22 . 1) (24 . 5) (28 . 7) (32 . 10) (33 . 11) (39 . 15)) 6215 0.1143 6.5520 ((4 . 17) (8 . 19) (9 . 20) (14 . 24)) 6225 0.1143 6.3875 ((12 . 3) (14 . 4) (26 . 12) (27 . 13)) 6228 0.1143 4.3118 ((28 . 2) (29 . 3) (36 . 7) (41 . 11)) 6234 0.1428 9.7289 ((3 . 6) (4 . 7) (7 . 10) (10 . 13) (12 . 15)) 6238 0.1143 6.7314 ((2 . 3) (3 . 4) (4 . 5) (10 . 9)) 6243 0.1303 5.0228 ((2 . 2) (3 . 3) (4 . 6) (14 . 10) (17 . 13)) 6251 0.1143 10.0561 ((8 . 15) (11 . 17) (12 . 19) (16 . 20)) 6258 0.1229 5.3928 ((29 . 3) (30 . 4) (31 . 5) (39 . 8) (41 . 9)) 6261 0.1782 6.0158 ((24 . 1) (25 . 3) (28 . 7) (32 . 9) (33 . 11) (39 . 15) (40 . 19) (41 . 21)) 6266 0.1393 7.3630 ((28 . 4) (29 . 6) (30 . 8) (36 . 10) (39 . 12)) 6270 0.1143 7.1500 ((29 . 13) (31 . 14) (32 . 15) (39 . 19)) 6271 0.1428 8.3372 ((8 . 1) (9 . 2) (12 . 3) (19 . 10) (24 . 12)) 6273 0.1348 8.8000 ((21 . 1) (22 . 2) (25 . 4) (28 . 5) (33 . 12)) 6294 0.1907 7.7932 ((1 . 2) (2 . 9) (7 . 11) (9 . 14) (12 . 16) (16 . 19) (17 . 24) (40 . 25)) 6306 0.1429 11.6626 ((25 . 16) (27 . 17) (28 . 18) (29 . 20) (35 . 22)) 6309 0.1143 6.2864 ((25 . 17) (26 . 18) (28 . 19) (33 . 25)) 6311 0.1143 3.9728 ((32 . 9) (33 . 10) (40 . 13) (41 . 14)) 6326 0.1429 4.5153 ((7 . 4) (10 . 6) (11 . 7) (12 . 9) (14 . 10)) 6338 0.1143 6.6135 ((1 . 4) (2 . 5) (3 . 7) (4 . 8)) 6344 0.1143 4.8502 ((32 . 3) (33 . 4) (40 . 7) (41 . 8)) 6345 0.1475 6.4021 ((4 . 4) (12 . 5) (14 . 6) (23 . 13) (26 . 23) (38 . 24)) 6348 0.1143 8.8834 ((24 . 1) (27 . 4) (37 . 9) (39 . 10)) 6355 0.1429 6.2165 ((27 . 6) (32 . 9) (33 . 10) (36 . 12) (39 . 13)) 6356 0.1671 6.4490 ((1 . 1) (12 . 6) (17 . 8) (18 . 9) (40 . 11) (41 . 13)) 6369 0.1401 6.4285 ((2 . 7) (3 . 9) (9 . 26) (10 . 31) (18 . 35)) 6376 0.1429 4.8099 ((28 . 18) (29 . 19) (31 . 23) (37 . 26) (38 . 27)) 6391 0.1143 4.5599 ((17 . 3) (25 . 6) (32 . 10) (33 . 12)) 6392 0.1143 9.2836 ((28 . 4) (31 . 6) (33 . 7) (37 . 9)) 6399 0.1143 5.2566 ((18 . 18) (19 . 19) (32 . 30) (33 . 31)) 6403 0.1429 7.1380 ((8 . 1) (9 . 2) (16 . 6) (22 . 12) (23 . 13)) 6434 0.1429 7.7347 ((8 . 2) (9 . 3) (12 . 4) (14 . 5) (17 . 7)) 6461 0.1143 6.9033 ((28 . 2) (31 . 4) (35 . 6) (39 . 7)) 6462 0.1429 5.6901 ((17 . 8) (21 . 10) (39 . 21) (40 . 22) (41 . 24)) 6476 0.1143 8.2355 ((27 . 4) (28 . 5) (31 . 7) (33 . 9)) 6498 0.1950 5.7689 ((1 . 1) (2 . 2) (7 . 12) (10 . 44) (11 . 45) (16 . 46) (17 . 47)) 6520 0.1429 6.5639 ((3 . 10) (10 . 15) (11 . 16) (26 . 26) (27 . 28)) 6536 0.1143 6.6185 ((16 . 25) (28 . 30) (40 . 35) (41 . 36)) 6539 0.1429 8.7023 ((28 . 3) (29 . 4) (30 . 5) (32 . 6) (33 . 8)) 6540 0.1401 8.5970 ((8 . 2) (9 . 3) (37 . 20) (38 . 21) (40 . 22)) 6548 0.1143 6.4041 ((2 . 5) (4 . 7) (10 . 12) (11 . 13)) 6553 0.1348 8.8240 ((7 . 20) (9 . 22) (14 . 25) (16 . 27) (17 . 28)) 6555 0.1143 7.2231 ((18 . 23) (19 . 24) (21 . 26) (22 . 27)) 6561 0.1813 7.8267 ((1 . 3) (23 . 7) (24 . 9) (25 . 10) (32 . 12) (33 . 13) (40 . 15)) 6573 0.1143 4.9709 ((32 . 17) (33 . 19) (40 . 22) (41 . 23)) 6575 0.1141 6.9991 ((30 . 1) (31 . 3) (35 . 5) (39 . 7)) 6578 0.1143 4.9706 ((4 . 31) (9 . 37) (12 . 38) (16 . 41)) 6584 0.1429 6.2690 ((1 . 5) (2 . 6) (3 . 7) (4 . 8) (14 . 9)) 6585 0.1714 10.1068 ((25 . 6) (28 . 7) (29 . 8) (32 . 10) (33 . 11) (39 . 12)) 6586 0.1143 6.7915 ((25 . 18) (28 . 19) (32 . 24) (33 . 25)) 6587 0.1713 6.1505 ((24 . 29) (25 . 31) (28 . 32) (32 . 33) (33 . 34) (39 . 35)) 6598 0.2160 12.1602 ((1 . 10) (4 . 11) (8 . 4) (9 . 7) (12 . 8) (17 . 12) (18 . 17) (22 . 22) (23 . 21) (24 . 25)) 6613 0.1348 8.6248 ((22 . 21) (32 . 28) (38 . 32) (40 . 33) (41 . 34)) 6635 0.1382 8.3185 ((24 . 1) (25 . 4) (32 . 5) (33 . 7) (39 . 10)) END