3537 25 0.3413 13.5597 ((7 . 11) (8 . 12) (11 . 13) (12 . 14)) 41 0.4545 5.8813 ((2 . 3) (3 . 4) (7 . 5) (8 . 6) (9 . 7)) 51 0.3636 6.5942 ((2 . 6) (7 . 10) (9 . 13) (10 . 14)) 62 0.3636 5.7348 ((7 . 13) (8 . 15) (9 . 16) (10 . 17)) 64 0.3631 12.4126 ((2 . 4) (5 . 7) (9 . 9) (10 . 10)) 77 0.3632 11.7119 ((2 . 6) (5 . 7) (8 . 10) (12 . 17)) 91 0.3634 10.2000 ((2 . 21) (3 . 22) (8 . 27) (9 . 28)) 96 0.3634 9.5222 ((7 . 1) (8 . 2) (9 . 3) (11 . 4)) 129 0.1957 7.9275 ((5 . 1) (6 . 2) (9 . 8) (10 . 9)) 136 0.3636 2.6088 ((3 . 2) (7 . 3) (8 . 4) (9 . 5)) 150 0.2727 10.4388 ((1 . 21) (2 . 23) (3 . 24) (7 . 25)) 153 0.3629 13.1870 ((5 . 6) (7 . 7) (9 . 9) (10 . 10)) 155 0.1489 7.4069 ((5 . 2) (6 . 3) (8 . 4) (11 . 8)) 157 0.3636 5.0093 ((3 . 2) (7 . 3) (8 . 4) (9 . 5)) 161 0.3634 9.4483 ((7 . 4) (8 . 7) (9 . 8) (10 . 9)) 162 0.3635 8.1898 ((8 . 16) (9 . 17) (10 . 18) (11 . 19)) 169 0.3636 7.1755 ((2 . 1) (7 . 4) (9 . 7) (10 . 8)) 177 0.3634 9.7105 ((2 . 3) (7 . 7) (8 . 9) (9 . 10)) 191 0.3191 9.8998 ((5 . 1) (6 . 2) (8 . 3) (10 . 6)) 198 0.3634 9.7481 ((2 . 6) (5 . 9) (9 . 16) (10 . 17)) 207 0.4526 12.7217 ((2 . 8) (3 . 11) (7 . 13) (8 . 14) (11 . 17)) 233 0.2727 11.5986 ((2 . 1) (5 . 3) (7 . 5) (9 . 8)) 259 0.2376 12.5489 ((1 . 1) (3 . 2) (11 . 7) (12 . 8)) 300 0.3989 8.3456 ((1 . 3) (3 . 4) (9 . 9) (10 . 10) (11 . 11)) 305 0.3635 8.1927 ((3 . 8) (9 . 16) (10 . 17) (11 . 20)) 307 0.3635 7.8154 ((3 . 2) (8 . 6) (9 . 7) (11 . 10)) 315 0.3635 8.3912 ((1 . 2) (2 . 3) (5 . 6) (9 . 10)) 329 0.3630 12.5435 ((8 . 1) (9 . 4) (10 . 5) (11 . 7)) 350 0.3635 7.8781 ((5 . 10) (8 . 14) (9 . 16) (10 . 17)) 360 0.3636 3.6429 ((2 . 3) (9 . 10) (10 . 12) (11 . 13)) 361 0.3635 7.9051 ((8 . 9) (9 . 10) (10 . 11) (11 . 13)) 367 0.3635 7.7469 ((7 . 38) (8 . 39) (9 . 42) (10 . 43)) 372 0.3636 6.7566 ((5 . 2) (6 . 3) (9 . 10) (10 . 11)) 387 0.3634 10.0330 ((2 . 1) (7 . 7) (9 . 9) (10 . 10)) 405 0.3191 11.3072 ((2 . 33) (5 . 37) (6 . 38) (7 . 39)) 420 0.3633 10.4915 ((2 . 3) (7 . 8) (9 . 12) (10 . 13)) 433 0.3636 7.5849 ((8 . 4) (9 . 6) (10 . 7) (11 . 8)) 442 0.3636 5.4218 ((2 . 6) (3 . 9) (7 . 10) (11 . 13)) 460 0.3189 12.8344 ((9 . 2) (10 . 3) (11 . 4) (12 . 9)) 472 0.3625 14.7865 ((9 . 20) (10 . 21) (11 . 23) (12 . 24)) 491 0.3417 9.7797 ((1 . 5) (5 . 8) (6 . 9) (7 . 10)) 495 0.3634 9.3856 ((2 . 3) (7 . 7) (9 . 9) (10 . 11)) 541 0.3636 6.7030 ((8 . 1) (9 . 3) (10 . 5) (11 . 6)) 543 0.3633 10.5352 ((5 . 1) (9 . 5) (10 . 6) (11 . 7)) 553 0.3414 13.1775 ((1 . 2) (3 . 3) (8 . 5) (11 . 9)) 561 0.3634 10.3580 ((2 . 1) (3 . 2) (7 . 4) (8 . 5)) 584 0.3636 6.3078 ((3 . 27) (7 . 28) (10 . 32) (11 . 33)) 587 0.2727 10.2506 ((2 . 4) (9 . 10) (10 . 11) (11 . 12)) 609 0.4544 6.1296 ((2 . 1) (3 . 2) (7 . 6) (8 . 7) (9 . 8)) 619 0.3635 8.3556 ((1 . 10) (2 . 11) (8 . 17) (9 . 18)) 624 0.5185 6.3958 ((2 . 5) (3 . 6) (7 . 13) (8 . 14) (9 . 15) (10 . 16) (11 . 17)) 635 0.3635 8.4807 ((3 . 2) (7 . 5) (8 . 7) (11 . 11)) 672 0.3635 7.8564 ((2 . 16) (3 . 17) (9 . 24) (10 . 26)) 678 0.3635 8.7947 ((2 . 22) (3 . 23) (7 . 26) (8 . 27)) 719 0.3629 13.2077 ((9 . 25) (10 . 27) (11 . 29) (12 . 31)) 729 0.3635 8.0970 ((1 . 3) (3 . 6) (8 . 12) (9 . 13)) 735 0.3632 11.3793 ((7 . 29) (8 . 30) (9 . 32) (10 . 33)) 765 0.3636 6.8769 ((5 . 10) (7 . 12) (9 . 19) (10 . 20)) 767 0.3636 6.2215 ((2 . 1) (3 . 2) (7 . 8) (9 . 12)) 782 0.3418 9.3508 ((1 . 3) (3 . 4) (11 . 12) (12 . 14)) 795 0.3636 4.8442 ((7 . 3) (8 . 4) (9 . 5) (10 . 6)) 796 0.3628 13.5105 ((8 . 1) (10 . 3) (11 . 4) (12 . 7)) 812 0.0999 12.7014 ((7 . 11) (8 . 12) (9 . 13) (12 . 17)) 818 0.3636 6.3661 ((2 . 1) (3 . 3) (7 . 7) (9 . 10)) 819 0.3415 12.0442 ((3 . 1) (5 . 2) (6 . 3) (9 . 5)) 861 0.3635 8.0485 ((9 . 2) (10 . 3) (11 . 4) (12 . 5)) 901 0.3636 7.5565 ((2 . 12) (7 . 15) (8 . 16) (9 . 17)) 904 0.1957 10.4472 ((8 . 1) (9 . 2) (10 . 3) (11 . 5)) 913 0.2376 12.7090 ((9 . 16) (10 . 17) (11 . 18) (12 . 21)) 928 0.4545 5.7598 ((2 . 1) (3 . 2) (7 . 3) (8 . 4) (9 . 5)) 937 0.4545 4.3298 ((2 . 1) (3 . 3) (9 . 4) (10 . 5) (11 . 6)) 943 0.3636 5.3711 ((7 . 12) (8 . 13) (9 . 14) (10 . 15)) 945 0.3636 5.1563 ((7 . 12) (8 . 13) (9 . 14) (10 . 17)) 949 0.3632 11.5836 ((2 . 27) (5 . 30) (6 . 32) (11 . 37)) 960 0.3624 15.1119 ((1 . 23) (7 . 29) (11 . 32) (12 . 34)) 978 0.3635 7.8476 ((3 . 2) (7 . 4) (8 . 5) (9 . 6)) 980 0.3636 7.1839 ((3 . 2) (7 . 3) (8 . 4) (10 . 7)) 1007 0.3633 10.7539 ((1 . 1) (8 . 6) (9 . 7) (10 . 8)) 1008 0.3635 8.1136 ((1 . 2) (8 . 11) (9 . 15) (10 . 16)) 1034 0.3187 14.6565 ((1 . 27) (2 . 29) (3 . 31) (6 . 32)) 1043 0.3629 13.1117 ((3 . 5) (8 . 9) (9 . 10) (12 . 16)) 1082 0.3635 8.2969 ((3 . 11) (9 . 12) (10 . 19) (11 . 32)) 1084 0.6016 5.2809 ((2 . 3) (3 . 6) (5 . 8) (7 . 17) (9 . 18) (10 . 20) (11 . 21)) 1121 0.3416 11.2111 ((2 . 2) (3 . 1) (5 . 4) (6 . 5)) 1165 0.3636 4.4240 ((3 . 6) (7 . 10) (8 . 11) (9 . 12)) 1167 0.3630 12.5634 ((5 . 21) (6 . 22) (10 . 27) (11 . 28)) 1169 0.2377 9.8771 ((5 . 31) (6 . 32) (7 . 34) (9 . 37)) 1195 0.2727 7.4029 ((1 . 1) (3 . 3) (5 . 4) (6 . 5)) 1201 0.3636 6.2901 ((7 . 7) (8 . 8) (9 . 9) (10 . 11)) 1204 0.3990 6.6917 ((1 . 8) (2 . 12) (8 . 18) (10 . 20) (11 . 21)) 1211 0.4545 5.8186 ((2 . 5) (7 . 10) (9 . 14) (10 . 15) (11 . 17)) 1217 0.1957 9.5293 ((8 . 2) (9 . 5) (10 . 7) (11 . 8)) 1224 0.3636 6.8927 ((2 . 3) (7 . 6) (9 . 9) (10 . 10)) 1233 0.3636 4.6468 ((2 . 11) (3 . 13) (7 . 17) (8 . 19)) 1267 0.3636 6.3078 ((2 . 13) (3 . 14) (7 . 17) (9 . 19)) 1268 0.3415 12.0848 ((1 . 8) (3 . 11) (11 . 18) (12 . 19)) 1294 0.3636 6.4066 ((2 . 40) (7 . 43) (9 . 46) (10 . 47)) 1324 0.3631 12.3163 ((2 . 1) (5 . 2) (7 . 4) (9 . 6)) 1345 0.4544 6.2370 ((2 . 7) (3 . 8) (7 . 9) (9 . 12) (10 . 13)) 1366 0.4541 8.9842 ((7 . 12) (8 . 13) (9 . 14) (10 . 15) (11 . 18)) 1388 0.4545 3.6603 ((2 . 1) (3 . 3) (9 . 4) (10 . 5) (11 . 7)) 1410 0.1957 10.6542 ((2 . 19) (5 . 21) (7 . 22) (10 . 26)) 1425 0.1649 11.4926 ((2 . 4) (3 . 7) (5 . 8) (6 . 10)) 1435 0.2377 10.7617 ((5 . 1) (6 . 2) (8 . 4) (10 . 6)) 1447 0.3636 6.4477 ((2 . 3) (3 . 4) (7 . 5) (11 . 12)) 1451 0.4545 5.7457 ((3 . 2) (7 . 3) (9 . 5) (10 . 6) (11 . 7)) 1464 0.3636 7.6818 ((2 . 7) (8 . 12) (9 . 13) (10 . 14)) 1470 0.3416 10.9344 ((1 . 4) (8 . 9) (11 . 11) (12 . 13)) 1472 0.1649 8.7614 ((1 . 1) (9 . 7) (10 . 8) (11 . 10)) 1476 0.3636 5.3764 ((2 . 9) (3 . 10) (7 . 14) (8 . 16)) 1481 0.1327 11.3443 ((2 . 1) (5 . 2) (9 . 7) (11 . 9)) 1497 0.3626 14.4445 ((1 . 11) (3 . 15) (8 . 17) (11 . 22)) 1501 0.3192 8.9063 ((5 . 3) (7 . 4) (10 . 9) (11 . 10)) 1513 0.4538 10.0770 ((1 . 12) (2 . 13) (3 . 16) (7 . 18) (8 . 19)) 1577 0.3634 9.5220 ((6 . 4) (9 . 6) (10 . 10) (11 . 11)) 1591 0.3635 8.8847 ((2 . 6) (3 . 7) (8 . 10) (9 . 11)) 1595 0.3635 7.8404 ((1 . 1) (8 . 6) (9 . 7) (10 . 8)) 1604 0.3636 4.4232 ((2 . 3) (3 . 6) (8 . 11) (9 . 12)) 1622 0.3636 5.7619 ((3 . 17) (7 . 18) (8 . 19) (9 . 20)) 1624 0.3190 11.4250 ((3 . 1) (6 . 2) (7 . 3) (11 . 10)) 1643 0.3636 7.3905 ((3 . 4) (7 . 6) (9 . 11) (10 . 12)) 1644 0.3636 6.7921 ((2 . 44) (7 . 49) (9 . 51) (10 . 52)) 1665 0.1489 9.3514 ((5 . 4) (7 . 6) (8 . 7) (9 . 8)) 1690 0.3635 8.7234 ((2 . 13) (9 . 16) (10 . 20) (11 . 23)) 1692 0.3522 9.0346 ((1 . 4) (5 . 8) (6 . 9) (7 . 10)) 1731 0.2377 10.3995 ((1 . 5) (2 . 6) (3 . 7) (6 . 8)) 1736 0.3636 4.5639 ((2 . 1) (3 . 2) (7 . 5) (9 . 7)) 1738 0.3636 5.3640 ((7 . 18) (9 . 23) (10 . 24) (11 . 25)) 1747 0.3636 7.3958 ((1 . 23) (6 . 28) (9 . 32) (10 . 33)) 1756 0.3522 8.6480 ((2 . 23) (5 . 27) (6 . 28) (7 . 29)) 1759 0.3633 10.4672 ((5 . 1) (7 . 4) (9 . 6) (10 . 8)) 1761 0.4534 11.2226 ((1 . 10) (7 . 16) (8 . 18) (9 . 19) (10 . 20)) 1763 0.1489 12.6572 ((1 . 2) (3 . 6) (7 . 9) (8 . 8)) 1776 0.4426 10.4609 ((1 . 8) (2 . 12) (7 . 14) (10 . 20) (11 . 22)) 1777 0.3633 10.7954 ((6 . 34) (7 . 37) (9 . 43) (10 . 45)) 1778 0.3633 10.6589 ((2 . 1) (6 . 5) (8 . 6) (9 . 8)) 1793 0.3636 4.4675 ((3 . 5) (7 . 6) (8 . 7) (9 . 8)) 1805 0.3408 15.7320 ((3 . 5) (6 . 7) (10 . 11) (12 . 13)) 1808 0.4544 6.8414 ((3 . 1) (7 . 5) (8 . 7) (9 . 8) (10 . 9)) 1817 0.3636 7.6193 ((5 . 13) (9 . 19) (10 . 20) (11 . 21)) 1867 0.3636 7.6191 ((2 . 1) (3 . 4) (7 . 7) (8 . 8)) 1894 0.3634 9.7738 ((1 . 16) (5 . 22) (6 . 23) (11 . 30)) 1896 0.3632 11.5260 ((2 . 22) (5 . 25) (7 . 27) (8 . 28)) 1897 0.3191 9.9397 ((3 . 38) (5 . 39) (6 . 40) (11 . 48)) 1908 0.3636 3.6877 ((2 . 10) (3 . 14) (8 . 16) (9 . 17)) 1909 0.3636 3.3199 ((3 . 24) (7 . 29) (8 . 30) (9 . 31)) 1913 0.3636 6.0517 ((7 . 1) (8 . 2) (9 . 3) (10 . 5)) 1944 0.3636 5.2264 ((2 . 7) (3 . 8) (7 . 9) (9 . 13)) 1957 0.4545 5.6236 ((2 . 1) (3 . 2) (7 . 3) (8 . 4) (9 . 5)) 1961 0.3636 5.2304 ((7 . 16) (8 . 18) (9 . 19) (10 . 20)) 1967 0.4537 10.2384 ((2 . 3) (3 . 6) (8 . 9) (9 . 10) (11 . 15)) 1972 0.3636 6.4558 ((2 . 16) (3 . 17) (7 . 20) (9 . 24)) 1992 0.3636 6.4951 ((3 . 8) (7 . 9) (9 . 12) (10 . 14)) 1995 0.3636 7.4056 ((2 . 1) (7 . 7) (9 . 12) (10 . 13)) 2003 0.1957 10.9764 ((1 . 1) (2 . 4) (7 . 9) (9 . 12)) 2006 0.3635 7.8474 ((3 . 6) (7 . 9) (9 . 11) (10 . 12)) 2045 0.3635 7.9226 ((7 . 1) (9 . 3) (10 . 7) (12 . 9)) 2048 0.3633 10.7914 ((1 . 12) (2 . 13) (3 . 14) (7 . 17)) 2054 0.2727 11.2152 ((5 . 1) (6 . 2) (11 . 11) (12 . 15)) 2063 0.3417 9.7481 ((2 . 44) (5 . 47) (6 . 48) (7 . 49)) 2067 0.3628 13.8418 ((3 . 1) (6 . 2) (8 . 3) (9 . 4)) 2072 0.3635 8.8984 ((2 . 2) (3 . 3) (7 . 5) (11 . 9)) 2081 0.4538 9.8595 ((3 . 1) (5 . 3) (9 . 9) (10 . 10) (11 . 11)) 2083 0.3636 7.4503 ((7 . 4) (8 . 6) (9 . 7) (11 . 11)) 2097 0.3418 8.0630 ((1 . 10) (5 . 14) (7 . 18) (8 . 19)) 2114 0.3636 6.5350 ((2 . 29) (3 . 30) (7 . 36) (8 . 37)) 2116 0.3633 11.0125 ((2 . 1) (5 . 2) (9 . 6) (10 . 7)) 2117 0.3636 5.5750 ((7 . 16) (9 . 22) (10 . 23) (11 . 24)) 2118 0.3635 8.5940 ((7 . 5) (8 . 6) (9 . 7) (11 . 9)) 2122 0.4224 11.6844 ((1 . 7) (2 . 10) (3 . 11) (10 . 18) (11 . 21)) 2166 0.4545 5.2613 ((3 . 5) (8 . 10) (9 . 12) (10 . 13) (11 . 14)) 2179 0.3636 6.1142 ((1 . 16) (3 . 19) (5 . 20) (6 . 22)) 2196 0.3634 10.1629 ((5 . 10) (7 . 12) (9 . 16) (10 . 17)) 2203 0.3636 6.0208 ((2 . 1) (3 . 3) (7 . 5) (10 . 10)) 2205 0.3630 12.5673 ((2 . 13) (5 . 15) (7 . 17) (9 . 20)) 2209 0.3632 11.3084 ((1 . 4) (2 . 5) (3 . 8) (7 . 9)) 2233 0.3408 15.9153 ((3 . 1) (8 . 5) (11 . 7) (12 . 8)) 2243 0.3636 6.8736 ((2 . 47) (7 . 51) (9 . 53) (10 . 54)) 2244 0.3635 9.1916 ((5 . 69) (7 . 71) (9 . 75) (10 . 76)) 2248 0.5453 5.2828 ((2 . 16) (3 . 20) (7 . 22) (8 . 26) (9 . 27) (10 . 28)) 2249 0.3636 7.1669 ((2 . 12) (3 . 14) (8 . 19) (10 . 23)) 2269 0.3636 5.7715 ((3 . 9) (7 . 10) (8 . 11) (9 . 12)) 2279 0.3636 6.3956 ((2 . 11) (3 . 12) (7 . 19) (10 . 22)) 2298 0.3636 5.8909 ((7 . 6) (8 . 7) (9 . 8) (10 . 10)) 2308 0.3635 7.9127 ((2 . 4) (7 . 6) (8 . 7) (9 . 8)) 2314 0.3627 14.0339 ((2 . 7) (3 . 9) (7 . 11) (11 . 16)) 2340 0.3632 11.7828 ((1 . 8) (2 . 9) (6 . 11) (9 . 14)) 2344 0.3635 8.2525 ((3 . 8) (7 . 11) (9 . 14) (10 . 18)) 2364 0.3636 6.2439 ((2 . 7) (3 . 8) (7 . 12) (8 . 16)) 2381 0.3634 10.3504 ((8 . 2) (9 . 3) (10 . 4) (12 . 8)) 2389 0.3636 5.6125 ((2 . 3) (9 . 10) (10 . 11) (11 . 12)) 2408 0.3636 7.1336 ((2 . 38) (7 . 42) (9 . 46) (10 . 47)) 2409 0.3418 9.3165 ((3 . 1) (5 . 2) (9 . 6) (11 . 10)) 2422 0.3636 6.7939 ((2 . 1) (3 . 2) (7 . 4) (9 . 9)) 2423 0.3636 7.1045 ((6 . 16) (9 . 20) (10 . 21) (11 . 23)) 2440 0.3630 12.5326 ((3 . 5) (7 . 7) (8 . 10) (11 . 12)) 2447 0.3636 7.1127 ((2 . 36) (3 . 37) (7 . 40) (8 . 41)) 2462 0.4542 8.3678 ((3 . 2) (7 . 3) (8 . 5) (9 . 6) (10 . 7)) 2510 0.4544 6.6612 ((2 . 1) (3 . 2) (7 . 5) (8 . 6) (9 . 7)) 2525 0.4545 5.5509 ((2 . 41) (7 . 45) (8 . 46) (9 . 47) (10 . 48)) 2529 0.3636 6.9964 ((2 . 1) (3 . 2) (7 . 3) (8 . 4)) 2533 0.3635 8.4413 ((2 . 4) (3 . 5) (8 . 7) (9 . 9)) 2544 0.3635 7.7852 ((2 . 22) (3 . 24) (8 . 19) (10 . 23)) 2551 0.3521 9.4194 ((5 . 3) (8 . 5) (11 . 8) (12 . 10)) 2552 0.4541 8.7855 ((2 . 1) (3 . 2) (7 . 3) (8 . 4) (11 . 7)) 2556 0.3636 7.1095 ((3 . 12) (8 . 17) (9 . 20) (11 . 23)) 2557 0.3636 4.9544 ((7 . 3) (8 . 5) (9 . 6) (10 . 7)) 2561 0.3636 5.4237 ((3 . 5) (7 . 6) (9 . 8) (10 . 9)) 2595 0.3636 4.4298 ((3 . 2) (7 . 4) (8 . 5) (9 . 6)) 2619 0.3632 11.3581 ((2 . 1) (5 . 2) (6 . 3) (8 . 4)) 2627 0.3631 11.9474 ((1 . 56) (3 . 59) (9 . 64) (10 . 65)) 2634 0.2723 16.6122 ((3 . 5) (8 . 7) (11 . 12) (12 . 13)) 2650 0.3636 6.6355 ((2 . 2) (7 . 5) (9 . 7) (10 . 8)) 2658 0.3417 10.6406 ((1 . 8) (3 . 11) (5 . 12) (6 . 13)) 2675 0.3636 7.1511 ((2 . 1) (8 . 9) (9 . 10) (10 . 11)) 2682 0.4539 9.6438 ((1 . 10) (3 . 16) (7 . 17) (8 . 18) (9 . 19)) 2696 0.3189 12.8549 ((2 . 31) (5 . 34) (6 . 35) (9 . 39)) 2731 0.4545 4.6709 ((2 . 1) (3 . 2) (9 . 4) (10 . 5) (11 . 6)) 2733 0.3635 8.9946 ((2 . 1) (8 . 7) (9 . 8) (11 . 12)) 2753 0.2727 10.9299 ((3 . 2) (8 . 6) (11 . 8) (12 . 10)) 2755 0.3634 10.2653 ((3 . 2) (7 . 3) (8 . 4) (9 . 5)) 2773 0.4545 4.0545 ((2 . 3) (3 . 4) (9 . 5) (10 . 6) (11 . 7)) 2783 0.3635 8.0532 ((3 . 4) (7 . 8) (8 . 9) (9 . 12)) 2804 0.3629 13.0556 ((3 . 26) (9 . 34) (10 . 36) (12 . 37)) 2821 0.3635 8.8965 ((3 . 10) (7 . 11) (8 . 12) (9 . 13)) 2830 0.3636 3.8750 ((3 . 10) (7 . 13) (8 . 14) (9 . 15)) 2834 0.3636 5.0417 ((7 . 1) (8 . 2) (9 . 3) (10 . 5)) 2840 0.3636 5.5039 ((2 . 1) (3 . 3) (9 . 9) (10 . 11)) 2842 0.3635 9.2299 ((8 . 3) (9 . 4) (10 . 5) (11 . 7)) 2867 0.3635 8.4615 ((2 . 2) (9 . 7) (10 . 8) (11 . 10)) 2879 0.3635 8.1918 ((7 . 53) (8 . 55) (9 . 58) (10 . 59)) 2886 0.3635 9.1498 ((2 . 30) (7 . 37) (9 . 39) (10 . 41)) 2929 0.1489 10.7692 ((2 . 36) (3 . 38) (5 . 39) (6 . 40)) 2940 0.3626 14.2292 ((1 . 2) (5 . 5) (7 . 6) (8 . 9)) 2947 0.3636 5.4958 ((7 . 4) (8 . 5) (9 . 6) (10 . 7)) 2955 0.3633 11.0758 ((1 . 1) (3 . 2) (7 . 5) (9 . 6)) 2966 0.3634 9.5849 ((1 . 5) (5 . 10) (9 . 16) (10 . 17)) 2990 0.3636 5.3967 ((7 . 12) (8 . 13) (9 . 14) (10 . 15)) 2999 0.4542 8.2814 ((1 . 3) (2 . 4) (3 . 5) (9 . 6) (10 . 7)) 3014 0.3636 7.6599 ((9 . 4) (10 . 5) (11 . 8) (12 . 9)) 3019 0.3635 8.9074 ((8 . 21) (9 . 22) (10 . 25) (11 . 26)) 3034 0.4544 6.3652 ((2 . 1) (3 . 4) (7 . 5) (8 . 6) (9 . 7)) 3041 0.5451 6.5120 ((2 . 9) (3 . 10) (7 . 18) (8 . 20) (9 . 22) (10 . 24)) 3055 0.3634 9.9933 ((5 . 1) (7 . 3) (9 . 7) (10 . 8)) 3063 0.3636 6.8479 ((2 . 35) (7 . 38) (9 . 41) (10 . 42)) 3070 0.3632 11.7839 ((2 . 33) (3 . 34) (5 . 35) (6 . 36)) 3084 0.4545 5.4849 ((2 . 3) (3 . 4) (7 . 5) (8 . 6) (9 . 7)) 3102 0.4541 8.6883 ((2 . 70) (5 . 71) (6 . 72) (9 . 77) (10 . 80)) 3103 0.3633 10.8734 ((8 . 6) (9 . 9) (10 . 11) (11 . 12)) 3120 0.3635 8.8762 ((8 . 20) (9 . 21) (10 . 22) (11 . 24)) 3127 0.3636 5.0240 ((3 . 5) (7 . 8) (8 . 9) (9 . 11)) 3147 0.3636 5.1022 ((5 . 9) (7 . 11) (9 . 16) (10 . 17)) 3176 0.3636 6.4894 ((9 . 26) (10 . 27) (11 . 30) (12 . 31)) 3187 0.3636 7.1942 ((2 . 6) (3 . 8) (7 . 9) (8 . 10)) 3190 0.4541 8.9189 ((2 . 1) (3 . 4) (7 . 6) (8 . 7) (9 . 9)) 3197 0.4545 5.4565 ((2 . 19) (3 . 20) (7 . 24) (8 . 25) (9 . 26)) 3200 0.3636 5.5903 ((2 . 4) (3 . 5) (10 . 13) (11 . 14)) 3202 0.3572 22.9071 ((3 . 12) (9 . 18) (10 . 19) (12 . 21)) 3212 0.3635 8.1407 ((2 . 3) (3 . 6) (7 . 9) (8 . 10)) 3222 0.5428 10.9714 ((2 . 6) (3 . 9) (9 . 15) (10 . 16) (11 . 17) (12 . 22)) 3256 0.3635 9.3582 ((1 . 15) (2 . 19) (7 . 25) (8 . 27)) 3261 0.3636 7.4641 ((7 . 6) (9 . 8) (10 . 9) (11 . 11)) 3286 0.3417 9.5896 ((5 . 3) (9 . 7) (11 . 10) (12 . 12)) 3297 0.3636 5.8948 ((2 . 7) (7 . 9) (9 . 12) (10 . 13)) 3300 0.3633 11.0571 ((8 . 3) (9 . 5) (11 . 10) (12 . 11)) 3322 0.4542 8.0520 ((2 . 1) (3 . 2) (7 . 5) (8 . 6) (11 . 10)) 3334 0.3623 15.4156 ((8 . 2) (9 . 4) (10 . 5) (11 . 9)) 3339 0.5453 5.3932 ((2 . 9) (3 . 10) (7 . 19) (9 . 21) (10 . 22) (11 . 23)) 3358 0.3636 4.6103 ((2 . 4) (3 . 5) (7 . 8) (8 . 9)) 3362 0.3635 7.8371 ((2 . 4) (3 . 5) (7 . 8) (9 . 11)) 3366 0.3636 5.9724 ((2 . 22) (7 . 26) (9 . 28) (10 . 29)) 3391 0.3636 6.6921 ((1 . 1) (7 . 4) (8 . 5) (11 . 12)) 3410 0.3636 4.9797 ((7 . 19) (8 . 20) (9 . 21) (10 . 24)) 3418 0.1649 7.2623 ((1 . 1) (3 . 3) (5 . 5) (6 . 6)) 3446 0.3416 11.4583 ((1 . 3) (2 . 5) (3 . 7) (11 . 12)) 3472 0.3636 6.3714 ((2 . 1) (7 . 4) (9 . 9) (10 . 11)) 3481 0.3636 5.4573 ((7 . 2) (8 . 3) (9 . 4) (10 . 7)) 3489 0.3636 7.5953 ((2 . 2) (5 . 4) (9 . 10) (10 . 12)) 3495 0.4545 5.7764 ((2 . 3) (3 . 5) (9 . 7) (10 . 8) (11 . 9)) 3496 0.3636 7.6557 ((8 . 20) (9 . 22) (10 . 23) (11 . 24)) 3533 0.3635 7.9144 ((2 . 3) (3 . 6) (7 . 7) (9 . 11)) 3537 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 3538 0.5454 3.2778 ((2 . 15) (3 . 17) (7 . 23) (9 . 25) (10 . 26) (11 . 27)) 3548 0.4545 4.9683 ((2 . 2) (7 . 6) (9 . 9) (10 . 10) (11 . 11)) 3549 0.3636 7.7151 ((7 . 1) (9 . 3) (10 . 5) (11 . 7)) 3561 0.3636 5.7061 ((7 . 26) (8 . 27) (9 . 28) (10 . 30)) 3570 0.3636 7.4167 ((2 . 3) (7 . 8) (8 . 9) (9 . 10)) 3585 0.3634 9.4940 ((1 . 7) (5 . 13) (6 . 14) (8 . 15)) 3613 0.3634 9.4881 ((6 . 35) (8 . 38) (9 . 40) (10 . 41)) 3625 0.3623 15.4331 ((2 . 1) (7 . 6) (9 . 7) (10 . 9)) 3626 0.3634 9.7824 ((8 . 1) (9 . 2) (10 . 3) (11 . 5)) 3628 0.3636 5.4974 ((7 . 6) (8 . 7) (9 . 8) (10 . 9)) 3651 0.3636 6.6025 ((2 . 1) (3 . 2) (7 . 5) (9 . 8)) 3658 0.3418 9.3778 ((2 . 7) (8 . 12) (11 . 14) (12 . 16)) 3659 0.3635 8.3657 ((3 . 3) (7 . 5) (8 . 6) (9 . 8)) 3661 0.3418 7.9783 ((1 . 5) (2 . 7) (8 . 13) (11 . 18)) 3663 0.2377 11.6702 ((8 . 3) (10 . 5) (11 . 6) (12 . 7)) 3688 0.3193 5.2804 ((2 . 26) (5 . 27) (6 . 28) (10 . 29)) 3697 0.3634 10.0720 ((6 . 4) (9 . 6) (10 . 7) (11 . 8)) 3703 0.3636 6.6125 ((7 . 6) (9 . 8) (10 . 9) (11 . 10)) 3732 0.3635 8.0013 ((2 . 5) (3 . 6) (7 . 9) (9 . 12)) 3733 0.3636 7.4400 ((7 . 1) (8 . 2) (9 . 3) (11 . 5)) 3740 0.3632 11.8160 ((5 . 2) (9 . 6) (10 . 7) (11 . 8)) 3741 0.3634 10.0830 ((5 . 23) (9 . 27) (10 . 28) (11 . 33)) 3776 0.3636 5.1235 ((3 . 16) (7 . 17) (8 . 18) (9 . 21)) 3778 0.4545 4.8921 ((2 . 4) (3 . 5) (9 . 6) (10 . 7) (12 . 19)) 3787 0.4545 5.6795 ((2 . 27) (3 . 28) (7 . 31) (8 . 32) (9 . 33)) 3790 0.3636 4.9797 ((3 . 23) (7 . 26) (9 . 30) (10 . 31)) 3810 0.2726 12.4359 ((2 . 4) (5 . 9) (6 . 10) (7 . 11)) 3817 0.5454 4.2978 ((2 . 1) (3 . 3) (7 . 5) (8 . 8) (9 . 9) (10 . 18)) 3818 0.5454 4.7521 ((2 . 20) (3 . 21) (7 . 23) (8 . 27) (9 . 28) (10 . 29)) 3831 0.3635 8.3341 ((1 . 1) (3 . 4) (5 . 5) (6 . 6)) 3847 0.4545 3.9617 ((2 . 9) (3 . 10) (8 . 15) (9 . 16) (10 . 17)) 3849 0.3635 8.1805 ((7 . 1) (9 . 3) (10 . 5) (11 . 7)) 3853 0.3636 7.1832 ((2 . 3) (3 . 4) (7 . 8) (8 . 9)) 3856 0.3636 6.7990 ((7 . 3) (8 . 4) (9 . 6) (10 . 7)) 3870 0.4545 3.9403 ((2 . 3) (3 . 4) (7 . 5) (8 . 7) (9 . 8)) 3933 0.2377 8.4109 ((5 . 2) (6 . 3) (9 . 9) (10 . 10)) 3938 0.3635 8.9319 ((8 . 1) (9 . 2) (10 . 4) (11 . 5)) 3968 0.3636 6.9473 ((3 . 4) (7 . 5) (8 . 8) (10 . 11)) 3986 0.3412 14.0121 ((2 . 6) (5 . 9) (7 . 11) (11 . 19)) 3990 0.3636 6.1453 ((2 . 18) (3 . 19) (7 . 22) (9 . 26)) 4005 0.3636 7.3546 ((2 . 21) (3 . 28) (9 . 40) (10 . 41)) 4009 0.3636 6.8625 ((2 . 13) (8 . 18) (9 . 19) (10 . 21)) 4019 0.3636 7.1595 ((7 . 39) (8 . 41) (9 . 43) (10 . 44)) 4034 0.4543 7.5674 ((2 . 6) (3 . 7) (7 . 9) (10 . 13) (11 . 14)) 4037 0.3632 11.2756 ((9 . 2) (10 . 3) (11 . 4) (12 . 6)) 4062 0.3636 7.2649 ((9 . 48) (10 . 49) (11 . 51) (12 . 53)) 4067 0.3636 6.4521 ((2 . 20) (3 . 21) (7 . 24) (9 . 25)) 4077 0.2724 16.3988 ((3 . 9) (8 . 14) (11 . 16) (12 . 17)) 4082 0.3635 8.0933 ((3 . 2) (7 . 5) (9 . 7) (10 . 8)) 4087 0.3634 9.6224 ((1 . 2) (5 . 5) (6 . 6) (11 . 10)) 4112 0.3632 11.3904 ((5 . 1) (6 . 2) (9 . 6) (11 . 8)) 4115 0.3636 5.7495 ((2 . 1) (3 . 2) (7 . 5) (8 . 7)) 4134 0.3630 12.9420 ((3 . 25) (8 . 27) (11 . 31) (12 . 32)) 4151 0.3636 5.9358 ((2 . 12) (3 . 14) (7 . 17) (9 . 19)) 4154 0.0999 10.5042 ((6 . 51) (7 . 52) (9 . 56) (10 . 57)) 4177 0.3636 7.6882 ((2 . 1) (3 . 3) (9 . 8) (10 . 9)) 4190 0.3634 9.6318 ((2 . 1) (3 . 2) (9 . 8) (10 . 9)) 4192 0.3636 6.6947 ((7 . 13) (8 . 14) (9 . 15) (11 . 20)) 4194 0.3636 5.7756 ((3 . 2) (7 . 3) (8 . 4) (9 . 6)) 4195 0.3634 10.1115 ((1 . 11) (3 . 12) (7 . 15) (8 . 17)) 4204 0.3636 6.3132 ((2 . 3) (3 . 4) (7 . 7) (8 . 10)) 4210 0.3636 7.3816 ((7 . 6) (8 . 7) (9 . 8) (10 . 10)) 4226 0.4538 9.9565 ((1 . 5) (3 . 10) (8 . 17) (9 . 18) (10 . 19)) 4232 0.3636 6.1955 ((2 . 3) (7 . 6) (8 . 7) (10 . 8)) 4236 0.3628 13.5010 ((9 . 8) (10 . 10) (11 . 11) (12 . 13)) 4246 0.2377 8.3585 ((5 . 5) (6 . 6) (7 . 8) (8 . 10)) 4254 0.3633 10.7846 ((7 . 6) (9 . 9) (10 . 11) (11 . 12)) 4255 0.4545 3.6561 ((2 . 21) (3 . 22) (9 . 23) (10 . 24) (11 . 25)) 4257 0.3636 5.5582 ((7 . 1) (8 . 2) (9 . 3) (10 . 7)) 4265 0.3636 4.8489 ((3 . 22) (7 . 23) (8 . 25) (9 . 26)) 4266 0.3636 5.6239 ((2 . 4) (3 . 5) (7 . 6) (8 . 7)) 4274 0.4543 7.7017 ((1 . 37) (2 . 38) (3 . 39) (9 . 40) (10 . 41)) 4275 0.3636 4.7520 ((7 . 23) (8 . 24) (9 . 25) (10 . 27)) 4281 0.2727 10.3614 ((5 . 3) (9 . 8) (11 . 11) (12 . 14)) 4284 0.3636 5.8668 ((7 . 3) (9 . 5) (10 . 6) (11 . 7)) 4299 0.3636 5.7082 ((2 . 6) (3 . 7) (7 . 9) (8 . 10)) 4301 0.3634 10.2470 ((2 . 1) (5 . 3) (9 . 9) (10 . 10)) 4326 0.3987 9.9839 ((2 . 7) (5 . 12) (7 . 15) (8 . 16) (9 . 17)) 4332 0.3634 9.4055 ((8 . 1) (9 . 2) (10 . 4) (11 . 5)) 4338 0.3636 5.5505 ((3 . 5) (7 . 6) (9 . 8) (10 . 11)) 4352 0.3633 10.4333 ((3 . 7) (5 . 9) (6 . 10) (11 . 15)) 4359 0.3635 8.1419 ((5 . 1) (7 . 3) (9 . 6) (10 . 7)) 4380 0.3635 8.6325 ((7 . 15) (8 . 16) (9 . 18) (12 . 27)) 4383 0.3635 9.2157 ((2 . 15) (5 . 17) (9 . 21) (10 . 22)) 4386 0.3635 8.5202 ((7 . 16) (8 . 17) (10 . 18) (11 . 20)) 4388 0.4544 6.9303 ((2 . 3) (3 . 4) (7 . 5) (9 . 8) (10 . 9)) 4398 0.3634 9.5636 ((1 . 5) (2 . 6) (3 . 9) (6 . 10)) 4405 0.4545 4.7816 ((3 . 13) (7 . 14) (9 . 18) (10 . 19) (11 . 20)) 4408 0.3636 7.1607 ((2 . 2) (3 . 5) (7 . 6) (11 . 10)) 4415 0.3636 7.2928 ((2 . 1) (3 . 2) (10 . 9) (11 . 10)) 4419 0.3635 8.9684 ((3 . 2) (5 . 3) (9 . 8) (10 . 9)) 4426 0.3635 9.2662 ((8 . 1) (9 . 2) (10 . 4) (11 . 5)) 4470 0.3636 7.0256 ((1 . 15) (5 . 19) (6 . 20) (11 . 24)) 4491 0.4545 3.5821 ((2 . 1) (3 . 4) (9 . 5) (10 . 6) (11 . 7)) 4492 0.4543 7.2571 ((2 . 11) (3 . 12) (7 . 16) (8 . 19) (9 . 21)) 4495 0.3636 4.6572 ((2 . 6) (3 . 7) (7 . 10) (8 . 11)) 4497 0.3631 12.2235 ((1 . 20) (7 . 26) (9 . 28) (10 . 30)) 4502 0.3635 8.8332 ((3 . 3) (7 . 6) (9 . 9) (10 . 10)) 4504 0.4545 5.0247 ((7 . 4) (8 . 5) (9 . 6) (10 . 8) (11 . 10)) 4505 0.4541 8.7691 ((2 . 26) (3 . 27) (7 . 30) (8 . 31) (9 . 34)) 4516 0.3636 5.7897 ((7 . 14) (8 . 15) (9 . 16) (10 . 18)) 4527 0.3636 7.2666 ((2 . 1) (3 . 2) (9 . 7) (10 . 8)) 4538 0.3189 13.2262 ((1 . 27) (6 . 32) (9 . 38) (11 . 39)) 4551 0.3635 8.5660 ((1 . 7) (2 . 8) (9 . 17) (10 . 18)) 4560 0.3636 4.5428 ((3 . 5) (7 . 8) (8 . 10) (9 . 11)) 4561 0.4544 6.0196 ((2 . 1) (3 . 4) (7 . 7) (8 . 8) (9 . 9)) 4562 0.3636 7.5231 ((3 . 21) (7 . 22) (10 . 27) (11 . 30)) 4563 0.4544 6.3257 ((2 . 26) (3 . 27) (7 . 28) (8 . 30) (9 . 31)) 4577 0.3636 7.3191 ((2 . 52) (5 . 55) (7 . 58) (10 . 60)) 4579 0.3626 14.3693 ((1 . 3) (3 . 5) (8 . 8) (12 . 16)) 4588 0.3636 5.9563 ((7 . 3) (8 . 4) (9 . 7) (10 . 8)) 4589 0.3636 4.2159 ((3 . 17) (9 . 22) (10 . 23) (11 . 24)) 4607 0.3607 18.7479 ((8 . 22) (9 . 24) (10 . 27) (12 . 29)) 4621 0.3636 7.4699 ((2 . 3) (7 . 8) (9 . 9) (10 . 11)) 4630 0.3634 9.8610 ((2 . 24) (7 . 30) (9 . 34) (11 . 37)) 4648 0.3417 10.0611 ((9 . 1) (10 . 2) (11 . 3) (12 . 7)) 4653 0.1957 8.3767 ((5 . 3) (6 . 4) (9 . 8) (10 . 9)) 4665 0.2724 15.8076 ((3 . 9) (9 . 13) (10 . 14) (11 . 16)) 4668 0.3636 4.1247 ((2 . 1) (3 . 2) (7 . 5) (8 . 6)) 4669 0.4538 10.1049 ((3 . 16) (7 . 17) (8 . 18) (9 . 19) (12 . 23)) 4671 0.3636 7.4775 ((3 . 9) (5 . 11) (6 . 12) (10 . 18)) 4674 0.3632 11.3186 ((1 . 5) (2 . 6) (5 . 8) (6 . 9)) 4713 0.3191 9.8013 ((2 . 3) (5 . 5) (6 . 6) (7 . 7)) 4715 0.1957 8.6696 ((7 . 3) (8 . 4) (10 . 6) (11 . 9)) 4716 0.3414 12.8591 ((1 . 1) (3 . 2) (8 . 5) (11 . 8)) 4731 0.3628 13.7648 ((1 . 15) (2 . 18) (8 . 20) (9 . 24)) 4783 0.3415 12.0053 ((1 . 2) (3 . 6) (11 . 10) (12 . 12)) 4857 0.3636 6.9634 ((7 . 11) (8 . 12) (9 . 13) (11 . 15)) 4886 0.3636 7.5531 ((2 . 19) (3 . 20) (7 . 22) (10 . 24)) 4888 0.4542 8.2549 ((2 . 9) (8 . 11) (9 . 14) (10 . 15) (11 . 18)) 4889 0.3633 11.0901 ((2 . 4) (3 . 5) (10 . 11) (11 . 13)) 4907 0.3418 7.6101 ((5 . 1) (9 . 8) (10 . 9) (11 . 10)) 4914 0.3635 8.7595 ((2 . 1) (7 . 5) (9 . 9) (10 . 10)) 4921 0.3633 10.9180 ((2 . 9) (3 . 11) (9 . 15) (10 . 17)) 4929 0.3635 9.1995 ((2 . 28) (7 . 31) (9 . 34) (10 . 35)) 4932 0.3626 14.5529 ((9 . 5) (10 . 6) (11 . 7) (12 . 9)) 4940 0.3636 5.9973 ((2 . 3) (3 . 5) (7 . 8) (9 . 9)) 4941 0.3634 10.1450 ((5 . 5) (7 . 9) (9 . 13) (10 . 15)) 4944 0.3636 7.1808 ((2 . 11) (3 . 12) (7 . 14) (9 . 16)) 4961 0.4543 7.5017 ((2 . 7) (3 . 8) (8 . 11) (9 . 14) (10 . 15)) 4978 0.3636 5.3595 ((2 . 28) (3 . 29) (7 . 32) (8 . 33)) 4982 0.3634 10.3694 ((2 . 10) (3 . 11) (5 . 12) (8 . 15)) 4992 0.3636 4.5294 ((2 . 3) (3 . 4) (7 . 6) (10 . 9)) 4998 0.3635 9.1090 ((3 . 16) (6 . 19) (10 . 23) (11 . 24)) 5000 0.2726 13.5582 ((1 . 31) (3 . 32) (8 . 35) (12 . 38)) 5029 0.3636 4.8404 ((3 . 3) (7 . 6) (8 . 7) (9 . 8)) 5036 0.2725 14.1340 ((2 . 5) (5 . 7) (6 . 8) (7 . 9)) 5038 0.3633 10.8862 ((7 . 14) (8 . 13) (9 . 16) (10 . 18)) 5039 0.3636 4.8769 ((2 . 37) (3 . 38) (7 . 41) (8 . 43)) 5044 0.3635 8.2989 ((7 . 1) (9 . 3) (10 . 8) (12 . 11)) 5046 0.3635 8.7330 ((2 . 3) (7 . 7) (8 . 9) (9 . 10)) 5053 0.3635 8.8265 ((1 . 1) (2 . 2) (7 . 6) (8 . 7)) 5065 0.3418 9.2982 ((9 . 2) (10 . 3) (11 . 5) (12 . 6)) 5068 0.3634 9.7895 ((1 . 1) (6 . 4) (9 . 10) (11 . 14)) 5069 0.3635 8.6791 ((5 . 13) (9 . 18) (10 . 19) (11 . 20)) 5073 0.4522 13.4119 ((2 . 34) (3 . 35) (7 . 39) (9 . 42) (12 . 45)) 5080 0.3191 11.3432 ((1 . 5) (3 . 6) (8 . 9) (11 . 14)) 5083 0.3636 6.0435 ((7 . 1) (8 . 3) (9 . 5) (10 . 6)) 5101 0.4544 6.0944 ((2 . 1) (3 . 2) (7 . 5) (8 . 6) (9 . 7)) 5103 0.3630 12.6329 ((3 . 3) (7 . 4) (9 . 6) (12 . 11)) 5121 0.3636 6.0437 ((3 . 14) (7 . 16) (8 . 17) (9 . 21)) 5132 0.4545 5.7263 ((2 . 16) (3 . 17) (7 . 20) (8 . 21) (9 . 22)) 5134 0.3633 10.4951 ((1 . 11) (7 . 17) (8 . 18) (9 . 19)) 5145 0.3636 6.9463 ((7 . 5) (8 . 7) (9 . 8) (10 . 10)) 5167 0.4540 9.4404 ((7 . 1) (8 . 2) (9 . 3) (10 . 4) (11 . 6)) 5183 0.3635 8.0806 ((7 . 34) (9 . 36) (10 . 37) (11 . 39)) 5192 0.3632 11.7549 ((8 . 18) (9 . 20) (10 . 21) (11 . 22)) 5198 0.3627 14.0651 ((2 . 22) (3 . 23) (7 . 26) (8 . 27)) 5199 0.3191 10.0456 ((1 . 2) (2 . 4) (7 . 8) (10 . 9)) 5209 0.4543 7.5870 ((2 . 4) (3 . 6) (7 . 7) (9 . 9) (10 . 10)) 5212 0.3187 14.4807 ((1 . 12) (3 . 14) (8 . 16) (12 . 20)) 5215 0.3635 8.7552 ((1 . 1) (2 . 2) (7 . 5) (8 . 6)) 5223 0.4543 7.4792 ((2 . 3) (3 . 5) (7 . 8) (8 . 9) (9 . 10)) 5231 0.3636 6.0097 ((7 . 8) (9 . 13) (10 . 14) (11 . 17)) 5266 0.4543 7.7551 ((2 . 2) (3 . 3) (7 . 6) (8 . 9) (9 . 10)) 5278 0.3635 8.2128 ((3 . 1) (5 . 2) (9 . 8) (10 . 9)) 5307 0.3636 4.3414 ((7 . 53) (8 . 54) (9 . 55) (10 . 57)) 5318 0.3635 8.2237 ((3 . 17) (9 . 22) (10 . 23) (12 . 28)) 5323 0.2727 11.0004 ((1 . 4) (5 . 10) (6 . 11) (12 . 18)) 5324 0.4545 4.9112 ((2 . 5) (3 . 6) (7 . 14) (9 . 15) (10 . 16)) 5344 0.3636 6.8412 ((7 . 1) (9 . 3) (10 . 4) (11 . 5)) 5345 0.3634 10.2661 ((6 . 7) (9 . 13) (10 . 14) (12 . 20)) 5368 0.3635 8.2720 ((2 . 16) (7 . 20) (9 . 22) (10 . 25)) 5378 0.3636 5.3821 ((2 . 9) (3 . 13) (7 . 15) (10 . 21)) 5411 0.3632 11.2739 ((2 . 3) (3 . 5) (5 . 6) (6 . 8)) 5414 0.3635 8.5473 ((2 . 14) (6 . 16) (9 . 21) (10 . 22)) 5418 0.3636 6.6042 ((2 . 7) (9 . 8) (10 . 9) (11 . 10)) 5433 0.3192 9.2211 ((5 . 10) (7 . 12) (9 . 18) (11 . 24)) 5479 0.3636 7.2646 ((2 . 43) (5 . 45) (6 . 46) (10 . 50)) 5487 0.3636 5.4199 ((2 . 2) (7 . 9) (8 . 10) (9 . 11)) 5489 0.3633 10.5674 ((2 . 9) (7 . 13) (9 . 16) (10 . 17)) 5500 0.3636 6.4772 ((2 . 12) (3 . 13) (7 . 14) (8 . 15)) 5501 0.3635 8.8223 ((5 . 20) (9 . 24) (10 . 25) (12 . 29)) 5525 0.2374 18.4534 ((1 . 5) (2 . 8) (8 . 12) (11 . 13)) 5535 0.3636 7.0834 ((1 . 5) (5 . 10) (6 . 11) (8 . 13)) 5540 0.4545 3.4592 ((2 . 6) (3 . 9) (9 . 15) (10 . 16) (11 . 17)) 5557 0.3636 5.5581 ((7 . 1) (9 . 3) (10 . 4) (11 . 5)) 5560 0.3636 5.1746 ((2 . 13) (3 . 14) (8 . 18) (9 . 20)) 5562 0.3636 5.6281 ((2 . 7) (3 . 9) (7 . 11) (9 . 14)) 5567 0.3635 8.9100 ((7 . 11) (8 . 14) (9 . 15) (11 . 16)) 5594 0.3636 4.3906 ((2 . 6) (3 . 7) (7 . 12) (8 . 13)) 5600 0.3631 12.2734 ((1 . 4) (2 . 6) (5 . 9) (8 . 12)) 5601 0.3636 6.6101 ((2 . 1) (7 . 7) (8 . 9) (9 . 10)) 5640 0.3634 10.3633 ((2 . 6) (7 . 10) (9 . 14) (10 . 16)) 5644 0.3636 7.2420 ((2 . 4) (3 . 5) (9 . 13) (10 . 14)) 5656 0.3635 9.0381 ((2 . 2) (8 . 6) (9 . 9) (10 . 10)) 5689 0.3629 13.2660 ((3 . 3) (8 . 8) (11 . 10) (12 . 12)) 5700 0.3636 7.1736 ((2 . 2) (7 . 4) (9 . 6) (10 . 8)) 5701 0.3635 8.9682 ((2 . 12) (3 . 13) (5 . 14) (11 . 20)) 5702 0.3633 10.5084 ((3 . 4) (8 . 8) (11 . 10) (12 . 12)) 5703 0.3191 10.8288 ((1 . 3) (2 . 6) (5 . 7) (6 . 8)) 5711 0.4544 6.6701 ((5 . 39) (6 . 42) (9 . 44) (10 . 46) (12 . 48)) 5713 0.3634 10.1476 ((2 . 2) (7 . 7) (9 . 11) (10 . 13)) 5718 0.3636 6.7573 ((2 . 14) (8 . 22) (9 . 23) (10 . 24)) 5731 0.2727 8.9929 ((8 . 1) (9 . 4) (10 . 5) (11 . 6)) 5746 0.3636 4.5734 ((7 . 3) (8 . 4) (9 . 6) (10 . 7)) 5749 0.3635 7.8354 ((7 . 3) (9 . 5) (10 . 6) (11 . 8)) 5761 0.3635 8.8155 ((3 . 29) (7 . 32) (8 . 34) (9 . 36)) 5770 0.3635 8.4494 ((8 . 7) (9 . 9) (10 . 12) (11 . 18)) 5771 0.3636 5.0277 ((2 . 17) (3 . 19) (7 . 21) (8 . 22)) 5782 0.3635 8.2774 ((1 . 4) (9 . 14) (10 . 15) (11 . 17)) 5794 0.3636 3.8828 ((7 . 19) (8 . 22) (9 . 23) (10 . 24)) 5795 0.3635 7.8650 ((2 . 10) (3 . 11) (8 . 15) (9 . 16)) 5809 0.3636 5.8766 ((2 . 7) (3 . 8) (7 . 9) (9 . 12)) 5822 0.3636 6.4767 ((7 . 4) (9 . 7) (10 . 8) (11 . 10)) 5827 0.3636 6.5735 ((2 . 3) (3 . 6) (7 . 8) (9 . 11)) 5830 0.3635 8.8739 ((2 . 1) (3 . 5) (7 . 7) (9 . 10)) 5847 0.3192 7.9073 ((5 . 12) (6 . 13) (7 . 14) (11 . 21)) 5861 0.3632 11.4271 ((2 . 1) (7 . 5) (9 . 10) (10 . 11)) 5878 0.3521 9.4888 ((1 . 22) (3 . 24) (5 . 26) (6 . 28)) 5888 0.3635 8.3748 ((2 . 16) (7 . 17) (9 . 20) (10 . 21)) 5896 0.4545 4.0963 ((2 . 26) (3 . 27) (9 . 28) (10 . 29) (11 . 30)) 5904 0.3634 9.7298 ((2 . 1) (3 . 3) (8 . 6) (9 . 7)) 5913 0.3636 5.5084 ((2 . 13) (3 . 14) (7 . 15) (9 . 17)) 5914 0.3417 9.8187 ((9 . 2) (10 . 3) (11 . 4) (12 . 7)) 5922 0.3634 9.8125 ((2 . 3) (7 . 8) (9 . 10) (10 . 11)) 5930 0.3636 5.6348 ((7 . 2) (8 . 3) (9 . 4) (10 . 7)) 5939 0.3635 7.8708 ((7 . 2) (8 . 3) (9 . 4) (11 . 7)) 5945 0.4532 11.5985 ((2 . 26) (9 . 32) (10 . 33) (11 . 34) (12 . 36)) 5949 0.3636 5.9114 ((2 . 4) (3 . 8) (7 . 9) (9 . 14)) 5955 0.3988 8.8416 ((2 . 3) (5 . 5) (7 . 7) (8 . 8) (9 . 9)) 5967 0.3636 6.5938 ((7 . 3) (8 . 6) (9 . 7) (11 . 10)) 5972 0.2728 7.2866 ((8 . 4) (9 . 6) (10 . 7) (11 . 8)) 5977 0.4542 8.4595 ((3 . 2) (7 . 3) (8 . 4) (9 . 5) (10 . 6)) 6000 0.3635 8.0037 ((1 . 8) (2 . 9) (3 . 11) (8 . 16)) 6011 0.3636 7.3669 ((5 . 3) (7 . 4) (9 . 8) (10 . 9)) 6022 0.3636 4.9980 ((2 . 1) (7 . 5) (9 . 8) (10 . 9)) 6029 0.5449 7.4266 ((2 . 6) (8 . 7) (9 . 10) (10 . 11) (11 . 12) (12 . 37)) 6041 0.3635 9.2885 ((2 . 8) (3 . 9) (8 . 14) (10 . 15)) 6046 0.3636 4.8865 ((7 . 2) (9 . 5) (10 . 6) (11 . 7)) 6061 0.3636 7.7060 ((2 . 17) (3 . 18) (7 . 20) (8 . 22)) 6074 0.3636 4.1342 ((2 . 8) (3 . 10) (8 . 12) (9 . 13)) 6075 0.3628 13.8059 ((1 . 19) (7 . 27) (9 . 28) (11 . 30)) 6079 0.3636 6.0641 ((7 . 6) (9 . 8) (10 . 9) (11 . 10)) 6087 0.3636 7.5747 ((1 . 2) (2 . 3) (3 . 4) (8 . 7)) 6089 0.4544 6.6126 ((2 . 1) (3 . 2) (7 . 3) (8 . 4) (9 . 5)) 6094 0.3412 13.9882 ((1 . 6) (5 . 12) (7 . 14) (9 . 16)) 6099 0.3634 10.0264 ((2 . 25) (5 . 27) (9 . 30) (10 . 31)) 6142 0.3635 8.7264 ((2 . 8) (9 . 14) (10 . 15) (12 . 21)) 6167 0.1957 9.8392 ((5 . 10) (7 . 14) (9 . 20) (10 . 21)) 6173 0.3635 8.9393 ((2 . 7) (5 . 9) (7 . 12) (9 . 15)) 6191 0.3636 3.6985 ((2 . 4) (3 . 5) (9 . 12) (10 . 13)) 6192 0.3633 10.9097 ((1 . 4) (2 . 5) (9 . 11) (10 . 13)) 6225 0.3636 5.7246 ((3 . 1) (9 . 7) (10 . 8) (11 . 9)) 6228 0.3635 9.2870 ((1 . 4) (7 . 9) (9 . 12) (11 . 16)) 6234 0.3636 7.3742 ((7 . 7) (8 . 8) (10 . 13) (11 . 14)) 6238 0.3636 5.5856 ((3 . 2) (9 . 8) (10 . 9) (11 . 10)) 6243 0.3636 7.7186 ((8 . 1) (9 . 2) (10 . 3) (11 . 5)) 6251 0.3635 8.4453 ((7 . 8) (8 . 9) (9 . 10) (11 . 14)) 6258 0.3636 3.7458 ((2 . 9) (3 . 11) (7 . 12) (8 . 14)) 6261 0.3635 8.6101 ((2 . 3) (3 . 7) (7 . 9) (8 . 10)) 6266 0.3636 6.0843 ((2 . 6) (3 . 7) (7 . 10) (8 . 12)) 6270 0.4545 3.9256 ((2 . 15) (3 . 16) (9 . 17) (10 . 18) (11 . 19)) 6271 0.3633 10.9037 ((6 . 5) (9 . 10) (10 . 11) (12 . 14)) 6273 0.3635 7.9807 ((7 . 1) (9 . 4) (11 . 5) (12 . 9)) 6294 0.3636 4.3924 ((2 . 23) (3 . 24) (7 . 27) (8 . 28)) 6306 0.3633 11.0073 ((6 . 16) (9 . 19) (10 . 21) (12 . 23)) 6309 0.3636 5.7582 ((2 . 17) (7 . 20) (10 . 25) (11 . 26)) 6311 0.3634 9.4598 ((2 . 9) (5 . 10) (6 . 11) (7 . 13)) 6326 0.1957 9.1334 ((5 . 4) (6 . 5) (9 . 9) (10 . 10)) 6329 0.2375 16.1871 ((1 . 9) (3 . 11) (11 . 17) (12 . 18)) 6338 0.3415 12.1922 ((2 . 1) (5 . 4) (6 . 5) (7 . 7)) 6344 0.3634 10.0942 ((7 . 4) (8 . 5) (9 . 6) (11 . 9)) 6345 0.3636 7.3268 ((3 . 8) (7 . 11) (9 . 13) (10 . 14)) 6348 0.3634 9.8127 ((2 . 1) (3 . 3) (9 . 9) (11 . 13)) 6355 0.3635 8.3912 ((2 . 6) (7 . 10) (8 . 13) (11 . 16)) 6356 0.3635 8.0079 ((7 . 1) (8 . 3) (9 . 4) (11 . 8)) 6369 0.3636 5.2477 ((2 . 22) (3 . 23) (7 . 26) (9 . 29)) 6376 0.3636 7.3906 ((3 . 18) (7 . 24) (9 . 26) (11 . 29)) 6391 0.3418 8.8786 ((1 . 3) (9 . 8) (10 . 10) (11 . 11)) 6392 0.3636 4.4506 ((2 . 1) (3 . 2) (8 . 6) (9 . 7)) 6399 0.3635 8.0516 ((2 . 19) (7 . 26) (9 . 28) (10 . 29)) 6403 0.3636 5.5673 ((7 . 12) (9 . 14) (10 . 15) (11 . 16)) 6434 0.3634 9.7829 ((1 . 1) (5 . 3) (6 . 4) (11 . 9)) 6461 0.3633 11.1079 ((1 . 1) (3 . 2) (8 . 5) (9 . 6)) 6462 0.3636 6.4737 ((7 . 12) (8 . 19) (9 . 20) (10 . 24)) 6498 0.3635 8.2148 ((3 . 8) (7 . 10) (8 . 11) (9 . 12)) 6520 0.4538 10.1546 ((8 . 12) (9 . 14) (10 . 15) (11 . 18) (12 . 21)) 6539 0.3635 7.8086 ((2 . 2) (3 . 3) (7 . 4) (10 . 10)) 6540 0.3633 10.7444 ((2 . 16) (5 . 18) (7 . 20) (9 . 22)) 6548 0.3636 7.0700 ((7 . 7) (8 . 8) (9 . 9) (10 . 12)) 6553 0.4518 13.8913 ((2 . 15) (3 . 19) (7 . 20) (9 . 25) (11 . 28)) 6555 0.3636 5.7467 ((3 . 12) (7 . 17) (9 . 20) (10 . 22)) 6561 0.7651 3.9168 ((1 . 2) (2 . 3) (3 . 5) (5 . 7) (6 . 8) (7 . 12) (9 . 13) (10 . 15) (11 . 16)) 6573 0.3636 6.0180 ((7 . 17) (8 . 18) (9 . 19) (10 . 21)) 6578 0.3634 9.5785 ((8 . 36) (9 . 37) (10 . 38) (11 . 39)) 6584 0.3636 6.2668 ((3 . 1) (9 . 8) (10 . 9) (11 . 10)) 6585 0.6354 7.1035 ((2 . 2) (3 . 4) (7 . 6) (8 . 9) (9 . 10) (10 . 11) (11 . 12)) 6586 0.2727 7.6869 ((1 . 17) (2 . 18) (3 . 19) (8 . 23)) 6587 0.4544 6.0930 ((3 . 27) (8 . 32) (9 . 33) (10 . 34) (11 . 35)) 6598 0.3635 7.7597 ((7 . 26) (9 . 28) (10 . 29) (11 . 31)) 6613 0.3636 5.3400 ((2 . 24) (3 . 25) (7 . 27) (9 . 31)) 6622 0.3188 13.5827 ((1 . 1) (8 . 5) (11 . 8) (12 . 11)) 6635 0.3636 5.9466 ((3 . 2) (7 . 5) (8 . 6) (9 . 7)) END