4257 25 0.3411 14.3392 ((2 . 1) (4 . 2) (6 . 4) (10 . 6)) 41 0.3635 8.0304 ((2 . 2) (3 . 3) (6 . 4) (7 . 5)) 51 0.3636 6.4877 ((1 . 2) (3 . 7) (10 . 13) (11 . 14)) 62 0.3634 9.3934 ((2 . 9) (6 . 15) (8 . 16) (9 . 17)) 64 0.3192 9.0591 ((8 . 2) (9 . 3) (10 . 4) (12 . 6)) 77 0.3636 4.5266 ((4 . 2) (8 . 8) (9 . 13) (10 . 15)) 91 0.5454 3.3274 ((1 . 16) (2 . 18) (3 . 19) (6 . 20) (7 . 21) (11 . 28)) 96 0.3636 6.4601 ((1 . 1) (2 . 2) (3 . 3) (8 . 6)) 129 0.1957 7.6289 ((9 . 1) (10 . 2) (11 . 3) (12 . 5)) 136 0.3636 5.8779 ((1 . 3) (2 . 4) (3 . 5) (8 . 8)) 150 0.3636 3.4060 ((1 . 20) (3 . 23) (6 . 24) (7 . 25)) 157 0.3636 4.2105 ((3 . 11) (6 . 13) (7 . 14) (12 . 20)) 161 0.3636 5.5176 ((4 . 1) (8 . 4) (9 . 6) (11 . 8)) 162 0.3636 6.5425 ((1 . 15) (2 . 16) (6 . 19) (8 . 20)) 169 0.3636 6.6084 ((1 . 4) (7 . 9) (11 . 11) (12 . 12)) 191 0.3635 8.2747 ((1 . 4) (8 . 7) (9 . 8) (11 . 9)) 198 0.3636 6.7403 ((8 . 2) (9 . 4) (10 . 5) (12 . 7)) 207 0.3636 3.1198 ((1 . 13) (2 . 14) (3 . 15) (7 . 18)) 233 0.0999 6.5897 ((1 . 1) (7 . 5) (8 . 7) (9 . 8)) 300 0.3632 11.3539 ((1 . 10) (2 . 11) (8 . 17) (10 . 18)) 305 0.3635 8.9642 ((1 . 9) (2 . 10) (9 . 18) (10 . 19)) 307 0.2728 6.8218 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 315 0.3192 7.8265 ((3 . 3) (8 . 6) (9 . 8) (12 . 10)) 350 0.3636 4.7406 ((8 . 4) (9 . 5) (10 . 7) (11 . 8)) 360 0.3636 3.7539 ((3 . 5) (8 . 9) (9 . 10) (10 . 12)) 361 0.3636 5.4917 ((1 . 2) (2 . 3) (3 . 4) (6 . 5)) 365 0.2727 9.1128 ((8 . 2) (9 . 3) (10 . 4) (12 . 6)) 367 0.3636 6.3772 ((3 . 38) (6 . 41) (8 . 42) (10 . 44)) 372 0.4544 6.7582 ((7 . 3) (8 . 5) (9 . 6) (10 . 7) (12 . 10)) 405 0.3630 12.7302 ((7 . 31) (9 . 33) (10 . 34) (11 . 35)) 420 0.3636 5.8932 ((3 . 3) (8 . 8) (9 . 9) (10 . 10)) 433 0.3635 8.1530 ((1 . 5) (6 . 8) (8 . 9) (9 . 10)) 442 0.3636 6.9133 ((1 . 12) (2 . 13) (3 . 14) (6 . 15)) 460 0.3636 6.5056 ((3 . 1) (6 . 4) (9 . 6) (10 . 7)) 472 0.1489 17.2361 ((1 . 20) (3 . 22) (4 . 23) (11 . 27)) 491 0.3636 5.3992 ((1 . 1) (2 . 2) (8 . 8) (9 . 9)) 495 0.4545 3.9036 ((1 . 3) (2 . 4) (3 . 5) (6 . 6) (7 . 7)) 541 0.4545 5.9568 ((2 . 6) (3 . 7) (6 . 10) (7 . 11) (11 . 14)) 561 0.3633 11.0369 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 584 0.3636 6.8702 ((2 . 9) (3 . 15) (6 . 27) (7 . 28)) 587 0.3636 7.6640 ((3 . 10) (7 . 13) (9 . 14) (10 . 15)) 609 0.4255 5.5919 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 5) (7 . 6) (11 . 8)) 619 0.4434 5.3906 ((7 . 1) (8 . 7) (9 . 8) (10 . 9) (12 . 15)) 624 0.3636 3.2671 ((1 . 9) (2 . 10) (3 . 11) (7 . 13)) 635 0.3634 10.3276 ((2 . 11) (3 . 13) (6 . 17) (11 . 18)) 672 0.3636 6.6944 ((2 . 12) (6 . 17) (7 . 18) (9 . 20)) 678 0.5454 3.4476 ((1 . 22) (2 . 23) (3 . 24) (6 . 25) (7 . 26) (11 . 29)) 683 0.1649 7.9959 ((7 . 1) (8 . 2) (9 . 3) (11 . 5)) 729 0.3636 2.6568 ((1 . 13) (2 . 14) (3 . 15) (7 . 17)) 735 0.3635 9.2239 ((1 . 29) (7 . 36) (9 . 37) (10 . 39)) 740 0.3636 4.2235 ((8 . 3) (9 . 5) (10 . 6) (11 . 7)) 765 0.2725 14.0829 ((1 . 5) (3 . 8) (8 . 17) (12 . 20)) 767 0.8149 2.2266 ((1 . 1) (2 . 2) (3 . 3) (7 . 8) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (12 . 13)) 795 0.3636 2.8567 ((1 . 1) (2 . 2) (3 . 3) (7 . 5)) 796 0.3636 6.6915 ((2 . 1) (3 . 3) (6 . 4) (7 . 5)) 801 0.3636 6.5023 ((8 . 2) (9 . 4) (10 . 5) (12 . 6)) 812 0.3636 2.8463 ((1 . 11) (2 . 12) (3 . 13) (7 . 16)) 818 0.3636 4.5340 ((1 . 1) (2 . 3) (3 . 4) (11 . 12)) 819 0.1649 8.2934 ((3 . 5) (8 . 8) (9 . 9) (10 . 10)) 824 0.3193 4.7129 ((1 . 43) (8 . 49) (9 . 50) (10 . 51)) 861 0.3635 7.9550 ((2 . 10) (8 . 16) (9 . 17) (10 . 18)) 901 0.3636 4.3724 ((1 . 15) (3 . 17) (6 . 19) (7 . 20)) 904 0.3416 11.4584 ((4 . 1) (6 . 4) (9 . 6) (10 . 7)) 928 0.4544 6.1018 ((1 . 10) (2 . 11) (3 . 12) (7 . 14) (11 . 18)) 943 0.5454 3.4426 ((1 . 4) (2 . 5) (3 . 6) (6 . 7) (7 . 8) (11 . 9)) 945 0.5454 2.4827 ((1 . 12) (2 . 13) (3 . 14) (6 . 16) (7 . 17) (11 . 19)) 960 0.3636 7.6837 ((1 . 9) (2 . 11) (3 . 12) (6 . 16)) 978 0.4545 5.3142 ((1 . 4) (2 . 5) (3 . 6) (6 . 9) (7 . 10)) 980 0.3636 4.9108 ((1 . 3) (2 . 4) (3 . 5) (6 . 8)) 1007 0.3636 3.5564 ((1 . 8) (8 . 12) (9 . 13) (10 . 14)) 1008 0.3636 6.8459 ((1 . 5) (3 . 8) (7 . 13) (11 . 16)) 1034 0.3626 14.5366 ((1 . 20) (3 . 22) (8 . 25) (9 . 26)) 1043 0.3635 7.9131 ((2 . 11) (3 . 12) (4 . 15) (7 . 17)) 1082 0.3635 8.1513 ((1 . 24) (2 . 25) (6 . 28) (11 . 30)) 1084 0.4534 11.2542 ((2 . 2) (4 . 4) (6 . 6) (8 . 8) (9 . 9)) 1121 0.3636 6.3032 ((6 . 1) (8 . 2) (9 . 3) (10 . 4)) 1165 0.3636 3.4080 ((1 . 7) (2 . 9) (3 . 10) (7 . 12)) 1169 0.3636 4.0388 ((7 . 30) (8 . 32) (9 . 33) (10 . 34)) 1195 0.3636 5.1800 ((6 . 3) (8 . 4) (9 . 5) (10 . 6)) 1201 0.8153 3.3895 ((1 . 1) (2 . 2) (3 . 3) (6 . 13) (7 . 14) (8 . 15) (9 . 16) (10 . 17) (11 . 18)) 1204 0.3636 6.9462 ((2 . 15) (6 . 19) (7 . 20) (11 . 24)) 1211 0.3635 8.1446 ((1 . 5) (2 . 6) (7 . 10) (11 . 14)) 1217 0.3636 7.5048 ((4 . 2) (8 . 5) (9 . 7) (11 . 9)) 1224 0.3636 7.0771 ((1 . 3) (3 . 5) (7 . 7) (11 . 10)) 1233 0.5454 2.8041 ((1 . 11) (2 . 13) (3 . 14) (6 . 16) (7 . 17) (11 . 20)) 1267 0.5454 4.0578 ((1 . 13) (2 . 14) (3 . 15) (6 . 16) (7 . 17) (11 . 19)) 1294 0.4542 8.1030 ((1 . 39) (3 . 40) (7 . 44) (9 . 46) (11 . 47)) 1345 0.4545 4.9583 ((1 . 7) (2 . 8) (3 . 9) (6 . 10) (11 . 14)) 1366 0.4537 10.4903 ((1 . 14) (3 . 16) (4 . 18) (8 . 21) (11 . 23)) 1410 0.3636 4.1320 ((7 . 19) (8 . 20) (9 . 21) (11 . 22)) 1425 0.3192 6.8632 ((8 . 8) (9 . 10) (10 . 11) (12 . 12)) 1435 0.3633 10.5979 ((3 . 1) (6 . 4) (10 . 5) (12 . 6)) 1447 0.3634 9.5764 ((2 . 4) (3 . 5) (6 . 8) (7 . 9)) 1451 0.4539 9.5947 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (12 . 9)) 1464 0.3192 7.3755 ((3 . 8) (6 . 12) (8 . 13) (9 . 14)) 1472 0.3636 7.5561 ((2 . 3) (6 . 5) (8 . 7) (9 . 8)) 1476 0.6357 6.5060 ((1 . 9) (2 . 10) (3 . 11) (6 . 13) (7 . 14) (11 . 18) (12 . 20)) 1481 0.3418 7.2540 ((3 . 1) (9 . 4) (10 . 5) (11 . 7)) 1501 0.3636 4.7850 ((1 . 2) (3 . 4) (7 . 8) (8 . 9)) 1513 0.4545 4.8494 ((1 . 13) (2 . 14) (3 . 15) (6 . 16) (7 . 18)) 1514 0.1489 8.1030 ((3 . 1) (7 . 3) (8 . 4) (10 . 6)) 1577 0.3635 8.2200 ((2 . 2) (3 . 3) (7 . 5) (12 . 10)) 1591 0.6017 5.0070 ((1 . 1) (2 . 3) (3 . 4) (6 . 5) (7 . 6) (10 . 8) (11 . 19)) 1604 0.4544 6.1037 ((1 . 7) (2 . 9) (3 . 10) (6 . 11) (7 . 12)) 1622 0.3636 4.7372 ((1 . 18) (2 . 19) (3 . 20) (7 . 22)) 1624 0.3417 9.8224 ((2 . 1) (7 . 6) (8 . 7) (10 . 9)) 1643 0.4545 4.5475 ((1 . 27) (3 . 28) (8 . 32) (9 . 33) (10 . 34)) 1644 0.3633 10.7251 ((2 . 42) (3 . 46) (9 . 51) (11 . 52)) 1665 0.4545 2.6596 ((1 . 6) (2 . 7) (3 . 8) (6 . 9) (7 . 10)) 1690 0.3636 6.5495 ((1 . 13) (2 . 15) (3 . 16) (11 . 24)) 1692 0.3632 11.6074 ((1 . 1) (2 . 2) (4 . 4) (8 . 8)) 1731 0.3634 9.6960 ((1 . 6) (2 . 7) (3 . 8) (6 . 10)) 1736 0.4545 3.0029 ((2 . 2) (3 . 3) (6 . 4) (7 . 5) (11 . 7)) 1738 0.3636 6.2565 ((1 . 19) (2 . 20) (3 . 21) (6 . 25)) 1747 0.4542 8.5320 ((2 . 1) (6 . 3) (8 . 5) (9 . 6) (10 . 7)) 1756 0.3636 6.4073 ((1 . 21) (3 . 24) (7 . 30) (9 . 31)) 1759 0.3636 5.1677 ((3 . 4) (8 . 9) (9 . 10) (10 . 11)) 1761 0.6358 6.0339 ((1 . 7) (2 . 8) (3 . 9) (6 . 10) (7 . 11) (11 . 13) (12 . 16)) 1763 0.2727 8.8547 ((4 . 6) (8 . 7) (9 . 9) (10 . 10)) 1776 0.3636 5.6500 ((3 . 1) (6 . 6) (7 . 7) (8 . 9)) 1777 0.3636 6.7033 ((1 . 37) (3 . 43) (8 . 50) (9 . 52)) 1778 0.3636 6.7519 ((1 . 1) (3 . 3) (6 . 6) (10 . 8)) 1793 0.4545 3.4859 ((1 . 6) (2 . 7) (3 . 8) (6 . 9) (7 . 10)) 1805 0.3636 7.5732 ((3 . 11) (7 . 14) (9 . 15) (10 . 16)) 1808 0.3636 7.3469 ((2 . 1) (8 . 8) (9 . 9) (10 . 10)) 1817 0.3636 5.2393 ((7 . 16) (8 . 18) (9 . 19) (11 . 20)) 1867 0.3636 6.4275 ((6 . 2) (7 . 3) (10 . 6) (11 . 7)) 1894 0.3635 8.2543 ((1 . 5) (2 . 6) (3 . 7) (6 . 8)) 1896 0.8122 4.0163 ((1 . 3) (2 . 4) (3 . 5) (6 . 21) (7 . 22) (8 . 23) (9 . 25) (10 . 26) (11 . 27)) 1897 0.3633 10.6808 ((1 . 34) (7 . 40) (8 . 41) (9 . 43)) 1908 0.4542 8.5478 ((2 . 6) (3 . 7) (6 . 9) (7 . 10) (11 . 15)) 1909 0.4545 3.4366 ((1 . 31) (2 . 32) (3 . 34) (6 . 36) (7 . 37)) 1913 0.3636 5.8748 ((1 . 3) (3 . 6) (8 . 12) (12 . 17)) 1944 0.4545 4.1479 ((1 . 7) (2 . 8) (3 . 9) (6 . 12) (7 . 13)) 1957 0.5448 7.7340 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (10 . 9)) 1961 0.3635 8.6752 ((2 . 13) (3 . 15) (9 . 19) (11 . 20)) 1967 0.3636 6.6472 ((2 . 4) (3 . 7) (8 . 10) (10 . 13)) 1972 0.6356 6.5788 ((1 . 16) (2 . 17) (3 . 18) (6 . 19) (7 . 20) (11 . 24) (12 . 27)) 1992 0.3636 7.1500 ((1 . 9) (2 . 10) (3 . 12) (4 . 13)) 1995 0.3634 9.4805 ((1 . 3) (2 . 5) (7 . 12) (9 . 13)) 2003 0.3635 7.7969 ((2 . 1) (8 . 8) (9 . 9) (10 . 10)) 2006 0.3636 5.0482 ((3 . 2) (8 . 7) (9 . 8) (10 . 9)) 2045 0.3635 7.7660 ((1 . 7) (4 . 9) (7 . 11) (8 . 13)) 2048 0.3636 2.1053 ((1 . 4) (2 . 5) (3 . 6) (11 . 13)) 2054 0.3635 8.3744 ((4 . 9) (6 . 11) (8 . 13) (9 . 14)) 2063 0.1957 5.8637 ((7 . 42) (9 . 43) (10 . 44) (11 . 45)) 2065 0.3636 6.8011 ((7 . 25) (8 . 26) (9 . 27) (10 . 28)) 2067 0.3635 8.2729 ((1 . 2) (2 . 3) (3 . 4) (6 . 6)) 2081 0.3636 6.2642 ((2 . 18) (3 . 19) (8 . 21) (9 . 23)) 2083 0.4545 4.1741 ((1 . 2) (2 . 3) (3 . 4) (6 . 6) (7 . 7)) 2097 0.3636 7.0110 ((2 . 2) (3 . 3) (8 . 6) (9 . 7)) 2114 0.4540 9.4448 ((1 . 28) (2 . 30) (3 . 32) (6 . 37) (7 . 36)) 2116 0.1327 8.7991 ((1 . 2) (3 . 5) (7 . 7) (8 . 8)) 2117 0.3636 5.7903 ((1 . 11) (2 . 13) (9 . 22) (10 . 23)) 2118 0.3634 10.2313 ((6 . 2) (8 . 4) (9 . 5) (12 . 7)) 2122 0.4545 4.5524 ((1 . 1) (2 . 2) (3 . 6) (6 . 7) (7 . 8)) 2166 0.3636 7.0910 ((4 . 14) (10 . 19) (11 . 20) (12 . 21)) 2179 0.3636 4.8302 ((1 . 7) (3 . 10) (6 . 12) (7 . 13)) 2196 0.3636 6.5214 ((1 . 10) (3 . 12) (8 . 18) (9 . 19)) 2203 0.3635 7.8758 ((1 . 1) (2 . 3) (3 . 5) (9 . 12)) 2205 0.3631 12.3813 ((2 . 12) (8 . 17) (10 . 19) (12 . 21)) 2209 0.4544 6.8861 ((1 . 3) (2 . 4) (3 . 5) (7 . 7) (11 . 10)) 2220 0.3636 5.4257 ((2 . 1) (3 . 2) (7 . 5) (8 . 7)) 2243 0.3634 9.9736 ((1 . 54) (3 . 56) (7 . 61) (10 . 65)) 2244 0.3636 5.6455 ((1 . 71) (8 . 73) (9 . 76) (10 . 79)) 2249 0.4545 4.1228 ((1 . 4) (3 . 7) (7 . 11) (11 . 12) (12 . 18)) 2269 0.3636 6.1312 ((1 . 8) (3 . 10) (6 . 11) (7 . 12)) 2279 0.2728 6.0849 ((2 . 1) (6 . 6) (7 . 7) (8 . 8)) 2298 0.4545 3.9597 ((1 . 10) (2 . 11) (3 . 12) (6 . 14) (7 . 15)) 2308 0.3635 8.3592 ((1 . 4) (3 . 6) (7 . 8) (11 . 11)) 2314 0.3634 9.5429 ((2 . 9) (3 . 11) (10 . 17) (11 . 18)) 2340 0.3636 6.7426 ((3 . 9) (6 . 10) (7 . 11) (10 . 14)) 2344 0.4544 6.5519 ((1 . 3) (2 . 5) (3 . 6) (6 . 9) (9 . 11)) 2364 0.5454 2.9317 ((1 . 7) (2 . 8) (3 . 9) (6 . 11) (7 . 12) (11 . 15)) 2381 0.3635 8.5116 ((6 . 2) (8 . 3) (9 . 4) (10 . 5)) 2389 0.3636 5.1808 ((3 . 5) (8 . 9) (9 . 10) (10 . 11)) 2408 0.3636 7.1556 ((3 . 34) (8 . 40) (9 . 41) (10 . 42)) 2409 0.2377 9.4300 ((8 . 2) (10 . 4) (11 . 5) (12 . 6)) 2410 0.3636 5.6782 ((2 . 12) (3 . 13) (6 . 15) (7 . 16)) 2422 0.5374 4.6653 ((3 . 1) (7 . 4) (8 . 6) (9 . 7) (10 . 8) (11 . 9)) 2423 0.3636 5.8714 ((1 . 17) (2 . 18) (9 . 25) (10 . 26)) 2440 0.3636 7.0363 ((6 . 5) (7 . 6) (8 . 7) (10 . 9)) 2447 0.6358 6.0135 ((1 . 13) (2 . 16) (3 . 18) (6 . 19) (7 . 21) (10 . 24) (12 . 33)) 2462 0.3636 6.4898 ((2 . 2) (3 . 3) (8 . 6) (9 . 7)) 2510 0.5454 2.9282 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (11 . 7)) 2525 0.3636 6.0953 ((3 . 41) (7 . 43) (8 . 45) (11 . 47)) 2529 0.3636 7.0052 ((3 . 1) (6 . 2) (7 . 3) (10 . 6)) 2533 0.6359 5.9230 ((1 . 4) (2 . 5) (3 . 6) (6 . 7) (7 . 8) (11 . 9) (12 . 13)) 2551 0.1957 10.7984 ((4 . 7) (6 . 10) (9 . 11) (10 . 12)) 2552 0.3632 11.7336 ((3 . 1) (4 . 2) (6 . 4) (7 . 3)) 2556 0.5454 3.5608 ((1 . 11) (2 . 12) (3 . 13) (6 . 15) (7 . 16) (11 . 20)) 2557 0.3636 6.9647 ((2 . 1) (3 . 3) (6 . 5) (7 . 6)) 2561 0.3626 14.3691 ((2 . 2) (4 . 5) (8 . 7) (9 . 8)) 2595 0.4544 6.3137 ((1 . 1) (3 . 6) (6 . 7) (7 . 9) (10 . 11)) 2619 0.2728 6.7050 ((8 . 1) (9 . 2) (10 . 3) (12 . 5)) 2627 0.1489 9.2601 ((2 . 59) (3 . 60) (4 . 61) (7 . 64)) 2650 0.3636 7.5888 ((1 . 2) (2 . 4) (3 . 5) (7 . 7)) 2658 0.3633 10.4503 ((2 . 6) (4 . 9) (8 . 12) (9 . 13)) 2675 0.3636 3.7549 ((2 . 2) (8 . 10) (9 . 11) (10 . 12)) 2682 0.3636 6.0148 ((1 . 1) (2 . 2) (3 . 3) (6 . 4)) 2696 0.3636 5.8278 ((1 . 32) (2 . 33) (3 . 35) (7 . 38)) 2733 0.3633 11.1848 ((1 . 1) (3 . 4) (4 . 5) (6 . 7)) 2755 0.4545 4.3788 ((1 . 3) (3 . 6) (6 . 7) (7 . 8) (12 . 12)) 2783 0.3636 6.2337 ((2 . 4) (3 . 6) (7 . 8) (11 . 12)) 2804 0.2727 9.8856 ((1 . 34) (2 . 35) (3 . 36) (8 . 38)) 2821 0.3636 5.5021 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 2830 0.4543 7.7158 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5)) 2834 0.3636 4.8543 ((1 . 1) (2 . 2) (6 . 7) (9 . 9)) 2840 0.3636 5.1380 ((1 . 1) (2 . 3) (3 . 5) (7 . 9)) 2842 0.3636 5.1048 ((1 . 9) (2 . 10) (3 . 11) (6 . 12)) 2867 0.3636 7.5229 ((4 . 5) (9 . 7) (10 . 8) (11 . 9)) 2879 0.3636 5.3903 ((1 . 51) (6 . 55) (8 . 58) (9 . 59)) 2886 0.3636 6.3349 ((3 . 30) (8 . 37) (9 . 38) (10 . 39)) 2940 0.3636 7.2691 ((1 . 1) (2 . 2) (3 . 3) (8 . 6)) 2947 0.3636 6.7837 ((2 . 5) (3 . 6) (9 . 12) (10 . 13)) 2955 0.4544 6.3501 ((1 . 9) (3 . 10) (7 . 11) (9 . 13) (10 . 15)) 2966 0.3636 7.0266 ((2 . 2) (6 . 5) (8 . 6) (9 . 8)) 2990 0.3636 6.9536 ((2 . 8) (3 . 9) (9 . 14) (10 . 15)) 2999 0.1956 11.7535 ((2 . 1) (3 . 4) (4 . 5) (7 . 6)) 3014 0.3635 9.1999 ((6 . 31) (8 . 33) (9 . 34) (10 . 35)) 3019 0.3636 7.7027 ((2 . 8) (3 . 9) (7 . 11) (11 . 14)) 3034 0.4545 4.3171 ((1 . 5) (2 . 6) (3 . 7) (6 . 8) (7 . 9)) 3041 0.3636 3.1288 ((1 . 14) (2 . 15) (3 . 16) (7 . 18)) 3055 0.3636 6.2424 ((1 . 15) (8 . 23) (9 . 24) (10 . 25)) 3063 0.3633 10.4560 ((2 . 34) (3 . 35) (7 . 38) (12 . 41)) 3070 0.3191 9.9253 ((4 . 30) (6 . 31) (8 . 33) (10 . 35)) 3084 0.4545 5.7448 ((1 . 3) (2 . 4) (3 . 5) (7 . 7) (11 . 11)) 3102 0.3635 8.9936 ((1 . 59) (4 . 63) (9 . 67) (10 . 68)) 3103 0.3636 6.6960 ((1 . 2) (7 . 9) (9 . 11) (10 . 13)) 3127 0.5454 3.6501 ((1 . 2) (2 . 5) (3 . 6) (6 . 7) (7 . 8) (11 . 11)) 3147 0.3636 6.9999 ((3 . 6) (8 . 12) (9 . 13) (10 . 15)) 3176 0.3634 10.2051 ((4 . 23) (8 . 26) (9 . 27) (10 . 29)) 3187 0.3636 6.6247 ((1 . 2) (3 . 4) (7 . 6) (11 . 9)) 3190 0.4545 3.4374 ((1 . 3) (2 . 4) (3 . 6) (6 . 7) (7 . 9)) 3197 0.5454 2.6342 ((1 . 10) (2 . 11) (3 . 12) (6 . 13) (7 . 14) (11 . 16)) 3200 0.3636 5.0024 ((1 . 4) (2 . 5) (3 . 6) (7 . 11)) 3212 0.3630 12.5703 ((1 . 5) (2 . 6) (4 . 10) (6 . 11)) 3222 0.3635 8.5031 ((2 . 9) (4 . 13) (7 . 15) (8 . 16)) 3256 0.1957 8.7626 ((2 . 15) (8 . 20) (9 . 24) (11 . 26)) 3261 0.3635 8.5063 ((1 . 1) (3 . 3) (9 . 6) (10 . 7)) 3286 0.3636 5.9907 ((1 . 5) (2 . 6) (3 . 7) (7 . 9)) 3289 0.3636 3.6127 ((7 . 27) (8 . 29) (9 . 30) (10 . 31)) 3297 0.3636 7.1983 ((3 . 7) (7 . 9) (10 . 11) (11 . 12)) 3322 0.5454 2.6684 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (11 . 7)) 3334 0.1957 7.2171 ((4 . 2) (7 . 4) (8 . 5) (9 . 6)) 3339 0.3636 5.7045 ((2 . 14) (3 . 17) (6 . 18) (7 . 19)) 3344 0.1957 6.7482 ((7 . 20) (8 . 21) (11 . 22) (12 . 24)) 3358 0.3636 4.6144 ((2 . 3) (3 . 4) (7 . 7) (11 . 10)) 3362 0.4545 5.7276 ((1 . 4) (2 . 5) (3 . 6) (7 . 8) (9 . 10)) 3366 0.3419 5.5107 ((7 . 22) (8 . 23) (9 . 24) (11 . 26)) 3391 0.6361 5.0222 ((1 . 4) (2 . 5) (3 . 6) (6 . 7) (7 . 8) (11 . 10) (12 . 13)) 3410 0.5454 2.7614 ((1 . 19) (2 . 20) (3 . 21) (6 . 23) (7 . 24) (11 . 28)) 3418 0.3635 8.9385 ((2 . 1) (4 . 3) (8 . 6) (9 . 7)) 3446 0.3635 7.7949 ((4 . 3) (6 . 4) (8 . 5) (9 . 6)) 3472 0.3636 7.2636 ((3 . 2) (8 . 6) (9 . 8) (10 . 9)) 3481 0.5454 3.0180 ((1 . 2) (2 . 3) (3 . 4) (6 . 5) (7 . 8) (11 . 10)) 3489 0.3635 9.0359 ((1 . 2) (3 . 4) (9 . 12) (11 . 14)) 3495 0.1957 9.8592 ((1 . 2) (3 . 3) (4 . 5) (7 . 7)) 3496 0.1956 11.9482 ((1 . 18) (4 . 20) (8 . 22) (9 . 23)) 3537 0.3636 5.5582 ((1 . 7) (2 . 8) (3 . 9) (7 . 10)) 3538 0.3636 5.3933 ((1 . 20) (2 . 21) (9 . 25) (10 . 26)) 3548 0.3636 5.0569 ((3 . 3) (8 . 8) (9 . 9) (10 . 10)) 3549 0.3635 8.4097 ((7 . 1) (8 . 2) (9 . 3) (12 . 5)) 3561 0.4544 6.5288 ((1 . 20) (2 . 21) (3 . 22) (6 . 25) (7 . 26)) 3570 0.3636 7.1992 ((3 . 1) (7 . 4) (9 . 7) (10 . 8)) 3585 0.3636 5.9275 ((1 . 12) (3 . 14) (6 . 15) (7 . 16)) 3625 0.3633 11.0921 ((1 . 1) (7 . 6) (9 . 7) (10 . 9)) 3626 0.3633 11.0590 ((2 . 1) (4 . 5) (8 . 8) (9 . 11)) 3628 0.3636 5.3740 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 3651 0.4375 2.8442 ((1 . 1) (2 . 2) (3 . 3) (6 . 4) (7 . 5) (11 . 8)) 3658 0.3636 5.3757 ((1 . 1) (2 . 2) (8 . 7) (9 . 8)) 3659 0.3636 5.2069 ((1 . 5) (2 . 6) (3 . 8) (8 . 13)) 3661 0.3635 7.7810 ((3 . 7) (6 . 10) (8 . 11) (9 . 12)) 3688 0.3635 8.8338 ((1 . 3) (4 . 10) (7 . 12) (9 . 14)) 3703 0.3636 7.4461 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 3732 0.3636 6.6991 ((3 . 5) (7 . 9) (9 . 11) (10 . 12)) 3733 0.3636 2.6098 ((1 . 3) (2 . 4) (3 . 6) (7 . 8)) 3741 0.3630 12.8017 ((1 . 3) (9 . 13) (10 . 14) (12 . 16)) 3776 0.3636 3.1987 ((1 . 17) (2 . 18) (3 . 21) (7 . 24)) 3778 0.3636 6.4008 ((2 . 5) (3 . 6) (9 . 12) (10 . 13)) 3787 0.5454 3.7347 ((1 . 27) (2 . 28) (3 . 29) (6 . 30) (7 . 31) (11 . 33)) 3790 0.3636 4.6791 ((3 . 18) (8 . 21) (9 . 22) (10 . 24)) 3807 0.0999 7.8744 ((1 . 43) (3 . 47) (4 . 48) (6 . 49)) 3810 0.3523 4.9167 ((1 . 4) (7 . 11) (9 . 14) (10 . 15)) 3817 0.3636 6.4994 ((4 . 13) (6 . 14) (9 . 15) (10 . 16)) 3818 0.3636 6.9186 ((1 . 20) (2 . 21) (6 . 24) (11 . 28)) 3831 0.3635 9.1899 ((2 . 1) (3 . 2) (4 . 4) (12 . 9)) 3847 0.1957 7.9514 ((1 . 9) (2 . 10) (7 . 16) (8 . 17)) 3849 0.3636 4.3255 ((7 . 1) (8 . 2) (9 . 3) (11 . 5)) 3853 0.5043 3.9301 ((1 . 3) (2 . 4) (3 . 6) (6 . 7) (7 . 8) (10 . 14)) 3856 0.3636 6.0685 ((1 . 3) (2 . 4) (3 . 7) (7 . 10)) 3870 0.4545 4.3323 ((1 . 3) (2 . 4) (3 . 5) (7 . 8) (11 . 10)) 3933 0.3636 4.7578 ((7 . 15) (8 . 16) (9 . 17) (10 . 18)) 3938 0.3636 5.2646 ((7 . 4) (8 . 6) (9 . 8) (10 . 9)) 3968 0.3636 6.8820 ((2 . 2) (3 . 3) (6 . 4) (7 . 5)) 3986 0.3618 16.6604 ((1 . 1) (8 . 8) (11 . 11) (12 . 13)) 3990 0.8142 2.8529 ((1 . 18) (2 . 19) (3 . 20) (6 . 21) (7 . 22) (8 . 23) (9 . 24) (10 . 25) (11 . 26)) 4005 0.3636 7.0561 ((3 . 33) (7 . 38) (8 . 40) (9 . 41)) 4009 0.3636 7.5519 ((1 . 15) (2 . 16) (6 . 18) (7 . 19)) 4019 0.3636 6.5661 ((3 . 42) (7 . 44) (8 . 45) (11 . 47)) 4034 0.3636 6.6361 ((7 . 9) (9 . 10) (10 . 11) (11 . 12)) 4067 0.3636 2.6911 ((1 . 22) (2 . 23) (3 . 24) (7 . 25)) 4077 0.3635 8.3859 ((4 . 6) (6 . 8) (9 . 10) (10 . 11)) 4082 0.2727 7.7218 ((4 . 3) (6 . 4) (9 . 7) (10 . 8)) 4087 0.3636 6.4678 ((3 . 1) (6 . 4) (8 . 5) (9 . 6)) 4112 0.3523 4.4783 ((7 . 2) (9 . 3) (10 . 4) (11 . 6)) 4115 0.3636 5.5798 ((1 . 1) (3 . 5) (6 . 9) (7 . 10)) 4151 0.5454 3.5090 ((1 . 3) (2 . 4) (3 . 5) (6 . 6) (7 . 7) (11 . 19)) 4154 0.1957 9.3966 ((7 . 52) (8 . 53) (10 . 55) (11 . 56)) 4177 0.3635 8.1595 ((3 . 2) (6 . 6) (7 . 7) (11 . 9)) 4190 0.3192 7.7994 ((3 . 1) (4 . 4) (6 . 6) (11 . 8)) 4192 0.3636 3.2380 ((1 . 13) (2 . 14) (3 . 15) (10 . 22)) 4194 0.3636 5.6378 ((3 . 1) (8 . 5) (9 . 6) (10 . 7)) 4204 0.3636 4.7417 ((2 . 2) (3 . 3) (7 . 7) (11 . 11)) 4209 0.3415 11.7571 ((1 . 1) (4 . 3) (7 . 5) (9 . 8)) 4210 0.3634 9.7584 ((2 . 3) (6 . 7) (8 . 8) (10 . 10)) 4226 0.4545 3.2705 ((1 . 1) (2 . 3) (3 . 4) (7 . 6) (11 . 22)) 4236 0.2378 4.9251 ((1 . 5) (2 . 11) (8 . 6) (9 . 7) (10 . 8) (11 . 10)) 4246 0.2728 5.8790 ((7 . 3) (9 . 5) (10 . 6) (11 . 7)) 4254 0.3636 4.0516 ((3 . 11) (6 . 14) (7 . 15) (9 . 18)) 4255 0.2727 10.9901 ((6 . 20) (8 . 21) (10 . 23) (12 . 24)) 4257 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 4265 0.3636 3.2254 ((1 . 23) (2 . 25) (3 . 26) (7 . 29)) 4266 0.5454 3.4621 ((1 . 2) (2 . 3) (3 . 4) (6 . 5) (7 . 6) (11 . 8)) 4274 0.0999 3.5393 ((1 . 36) (2 . 37) (3 . 38) (7 . 41)) 4275 0.3636 4.7906 ((7 . 23) (8 . 25) (9 . 27) (10 . 28)) 4281 0.2728 6.4131 ((8 . 3) (9 . 4) (10 . 5) (12 . 8)) 4284 0.3636 6.9542 ((6 . 2) (8 . 3) (9 . 4) (10 . 5)) 4299 0.4545 5.6857 ((1 . 4) (2 . 5) (3 . 6) (7 . 9) (11 . 11)) 4301 0.3635 8.8372 ((7 . 4) (8 . 6) (9 . 8) (10 . 9)) 4326 0.3636 5.8396 ((1 . 7) (3 . 10) (6 . 14) (7 . 15)) 4338 0.3636 7.0488 ((3 . 4) (7 . 6) (9 . 7) (10 . 8)) 4352 0.3636 7.0506 ((2 . 4) (6 . 7) (8 . 9) (9 . 10)) 4359 0.4545 4.7231 ((3 . 7) (8 . 10) (9 . 11) (10 . 12) (12 . 26)) 4380 0.3636 6.2299 ((8 . 29) (9 . 30) (10 . 31) (11 . 32)) 4383 0.3635 8.0533 ((7 . 17) (9 . 18) (10 . 19) (11 . 21)) 4386 0.1489 7.1724 ((1 . 1) (4 . 2) (6 . 3) (9 . 4)) 4388 0.3636 6.0862 ((1 . 1) (2 . 2) (3 . 3) (7 . 5)) 4398 0.4542 7.9678 ((1 . 4) (2 . 5) (3 . 6) (6 . 9) (10 . 13)) 4405 0.3636 6.5394 ((1 . 14) (2 . 17) (3 . 18) (11 . 25)) 4408 0.3636 4.8403 ((7 . 1) (8 . 2) (9 . 3) (10 . 4)) 4415 0.4545 3.7963 ((1 . 4) (2 . 5) (3 . 9) (7 . 11) (8 . 12)) 4419 0.3635 9.2038 ((2 . 1) (7 . 6) (9 . 8) (11 . 9)) 4470 0.4545 4.1024 ((1 . 1) (2 . 4) (3 . 5) (7 . 8) (11 . 12)) 4492 0.5454 3.7243 ((1 . 11) (2 . 12) (3 . 13) (6 . 14) (7 . 16) (11 . 18)) 4495 0.4545 2.6957 ((1 . 6) (2 . 7) (3 . 8) (6 . 9) (7 . 10)) 4497 0.2727 7.7299 ((2 . 20) (8 . 26) (10 . 27) (11 . 28)) 4502 0.4544 6.4631 ((1 . 6) (2 . 7) (3 . 11) (6 . 13) (7 . 14)) 4503 0.3636 5.1711 ((3 . 1) (7 . 5) (8 . 6) (9 . 7)) 4504 0.3636 4.1025 ((1 . 4) (2 . 5) (3 . 6) (11 . 13)) 4505 0.4544 7.0013 ((1 . 28) (2 . 29) (3 . 30) (6 . 33) (7 . 34)) 4516 0.4545 3.5304 ((1 . 26) (2 . 27) (3 . 28) (6 . 31) (7 . 32)) 4527 0.3631 12.0954 ((2 . 2) (3 . 1) (4 . 4) (9 . 7)) 4538 0.3636 6.5976 ((2 . 27) (8 . 32) (9 . 33) (10 . 34)) 4551 0.3636 4.4872 ((1 . 1) (3 . 4) (6 . 7) (7 . 8)) 4560 0.3636 5.0829 ((6 . 12) (9 . 14) (10 . 16) (11 . 17)) 4561 0.4545 2.7841 ((1 . 1) (2 . 4) (3 . 5) (7 . 7) (11 . 9)) 4562 0.3636 6.5581 ((1 . 22) (2 . 23) (6 . 26) (8 . 29)) 4563 0.3636 3.7839 ((1 . 28) (2 . 30) (3 . 31) (7 . 34)) 4577 0.3636 4.7724 ((8 . 29) (9 . 30) (10 . 31) (11 . 32)) 4579 0.3636 6.2882 ((2 . 11) (6 . 16) (8 . 17) (9 . 18)) 4588 0.4545 2.3338 ((1 . 1) (2 . 2) (3 . 3) (7 . 9) (11 . 11)) 4589 0.3636 6.0943 ((2 . 17) (3 . 18) (6 . 21) (7 . 22)) 4607 0.3635 8.8029 ((2 . 20) (4 . 23) (7 . 24) (9 . 27)) 4621 0.3636 6.6522 ((6 . 5) (8 . 6) (9 . 8) (10 . 9)) 4630 0.3636 5.3618 ((1 . 3) (3 . 6) (8 . 11) (12 . 16)) 4653 0.4544 7.0407 ((1 . 1) (2 . 2) (8 . 7) (9 . 8) (10 . 9)) 4665 0.1649 4.4904 ((7 . 11) (8 . 12) (9 . 13) (10 . 14)) 4668 0.4545 1.6689 ((1 . 1) (2 . 2) (3 . 3) (7 . 5) (11 . 7)) 4669 0.4545 5.7251 ((1 . 15) (3 . 17) (6 . 18) (7 . 19) (10 . 21)) 4671 0.3636 6.8498 ((1 . 4) (2 . 5) (7 . 7) (8 . 8)) 4674 0.3627 13.8959 ((2 . 3) (4 . 5) (8 . 8) (9 . 9)) 4678 0.3418 7.2990 ((3 . 10) (8 . 14) (9 . 15) (10 . 16)) 4713 0.3635 9.0604 ((6 . 1) (8 . 3) (10 . 5) (11 . 4)) 4731 0.3636 6.0974 ((2 . 17) (8 . 18) (9 . 23) (10 . 24)) 4734 0.3636 2.8389 ((8 . 6) (9 . 5) (10 . 7) (11 . 8)) 4857 0.3636 5.6335 ((1 . 11) (2 . 12) (3 . 13) (6 . 14)) 4886 0.3636 4.0144 ((4 . 8) (8 . 29) (9 . 30) (10 . 31)) 4888 0.3634 9.9226 ((1 . 9) (2 . 10) (7 . 14) (8 . 15)) 4889 0.1957 10.0441 ((3 . 7) (4 . 8) (9 . 11) (10 . 12)) 4907 0.3636 6.4617 ((8 . 3) (9 . 4) (11 . 5) (12 . 7)) 4914 0.3636 4.8343 ((3 . 4) (8 . 8) (9 . 9) (10 . 10)) 4921 0.3636 7.2581 ((1 . 7) (7 . 12) (9 . 14) (11 . 17)) 4929 0.3192 9.1146 ((8 . 29) (9 . 31) (10 . 32) (12 . 33)) 4932 0.3191 9.8273 ((6 . 3) (8 . 4) (9 . 5) (10 . 6)) 4940 0.3636 5.9961 ((1 . 8) (3 . 10) (7 . 11) (9 . 12)) 4944 0.3636 6.8362 ((2 . 10) (3 . 11) (6 . 12) (9 . 13)) 4961 0.4545 3.7370 ((1 . 3) (2 . 4) (3 . 6) (6 . 8) (11 . 12)) 4978 0.3635 8.0162 ((1 . 28) (2 . 29) (3 . 30) (6 . 33)) 4982 0.3636 5.1610 ((1 . 1) (3 . 3) (6 . 5) (7 . 6)) 4992 0.3636 4.8228 ((1 . 3) (2 . 4) (3 . 6) (7 . 8)) 4998 0.5452 5.9665 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6) (11 . 23)) 5029 0.5455 1.7545 ((1 . 2) (2 . 3) (3 . 4) (6 . 5) (7 . 6) (11 . 8)) 5036 0.3635 7.7466 ((3 . 1) (8 . 5) (9 . 6) (10 . 7)) 5038 0.3635 9.1686 ((3 . 9) (8 . 14) (9 . 15) (11 . 16)) 5039 0.5454 3.0092 ((1 . 37) (2 . 38) (3 . 39) (6 . 40) (7 . 41) (11 . 44)) 5046 0.3635 7.7712 ((1 . 1) (3 . 4) (8 . 8) (9 . 10)) 5053 0.3635 8.2649 ((6 . 8) (8 . 9) (9 . 10) (10 . 12)) 5065 0.3636 5.5095 ((2 . 1) (3 . 2) (8 . 8) (11 . 10)) 5068 0.6305 6.7411 ((1 . 2) (2 . 3) (3 . 4) (7 . 7) (9 . 12) (10 . 16) (11 . 17)) 5069 0.3636 2.9507 ((1 . 2) (2 . 3) (3 . 4) (7 . 7)) 5073 0.4545 4.4755 ((1 . 36) (2 . 38) (3 . 39) (6 . 41) (7 . 42)) 5083 0.1957 9.0580 ((3 . 1) (6 . 4) (8 . 6) (9 . 8)) 5101 0.4545 2.5464 ((1 . 15) (2 . 17) (3 . 18) (7 . 21) (11 . 23)) 5103 0.4544 6.1544 ((1 . 2) (2 . 3) (3 . 4) (6 . 5) (7 . 6)) 5121 0.3630 12.5063 ((1 . 21) (2 . 22) (9 . 28) (12 . 31)) 5132 0.3636 5.5488 ((1 . 22) (3 . 26) (6 . 27) (7 . 28)) 5134 0.3635 8.3210 ((1 . 3) (2 . 5) (4 . 9) (12 . 14)) 5145 0.3634 10.0678 ((2 . 4) (3 . 5) (4 . 7) (6 . 9)) 5167 0.3636 6.8409 ((2 . 7) (3 . 9) (6 . 10) (11 . 14)) 5176 0.3636 6.6005 ((6 . 83) (8 . 84) (10 . 87) (11 . 88)) 5183 0.3634 9.7243 ((1 . 35) (3 . 37) (4 . 39) (6 . 40)) 5192 0.3636 6.2637 ((2 . 10) (6 . 16) (11 . 20) (12 . 21)) 5198 0.3985 10.8336 ((1 . 24) (2 . 25) (3 . 26) (4 . 27) (8 . 32)) 5199 0.1957 9.5643 ((6 . 2) (7 . 4) (10 . 7) (11 . 8)) 5209 0.3636 7.6455 ((1 . 4) (2 . 6) (3 . 7) (7 . 9)) 5212 0.3622 15.5029 ((2 . 16) (4 . 17) (10 . 21) (11 . 22)) 5215 0.3636 3.1397 ((8 . 9) (9 . 10) (10 . 11) (11 . 12)) 5223 0.6362 4.2940 ((1 . 1) (2 . 2) (3 . 3) (6 . 5) (7 . 6) (10 . 15) (11 . 17)) 5231 0.3419 6.2131 ((6 . 9) (8 . 12) (9 . 13) (10 . 14)) 5266 0.6359 5.8789 ((1 . 2) (2 . 3) (3 . 4) (6 . 5) (7 . 6) (11 . 8) (12 . 10)) 5278 0.3636 7.6894 ((3 . 2) (8 . 8) (9 . 9) (11 . 10)) 5307 0.3636 5.2035 ((1 . 51) (8 . 55) (9 . 57) (10 . 58)) 5318 0.3636 5.0656 ((6 . 20) (8 . 22) (9 . 23) (10 . 24)) 5324 0.3636 2.5654 ((1 . 10) (2 . 11) (3 . 12) (7 . 14)) 5344 0.3636 7.5239 ((1 . 2) (3 . 4) (9 . 9) (11 . 10)) 5345 0.3636 4.1263 ((7 . 4) (8 . 7) (9 . 8) (10 . 9)) 5368 0.4233 4.5626 ((8 . 12) (9 . 13) (10 . 14) (11 . 16) (12 . 34)) 5378 0.3636 6.8791 ((2 . 1) (3 . 3) (6 . 5) (7 . 6)) 5414 0.1957 8.3878 ((8 . 16) (9 . 18) (10 . 19) (12 . 20)) 5418 0.4545 3.2208 ((3 . 2) (7 . 5) (8 . 7) (9 . 8) (10 . 9)) 5421 0.2377 7.9223 ((8 . 2) (9 . 3) (10 . 4) (11 . 5)) 5433 0.3636 5.0160 ((7 . 8) (9 . 12) (10 . 13) (11 . 14)) 5479 0.3636 4.9553 ((3 . 47) (8 . 50) (9 . 51) (10 . 52)) 5487 0.3636 5.2860 ((1 . 4) (3 . 7) (6 . 10) (7 . 11)) 5489 0.3636 6.3025 ((2 . 4) (8 . 11) (9 . 12) (10 . 13)) 5500 0.3635 8.1978 ((3 . 1) (6 . 6) (7 . 7) (11 . 12)) 5501 0.3634 9.4913 ((1 . 20) (2 . 22) (4 . 23) (12 . 30)) 5525 0.3190 11.8071 ((2 . 2) (4 . 3) (9 . 7) (10 . 8)) 5535 0.3633 10.8504 ((4 . 1) (8 . 4) (11 . 7) (12 . 9)) 5540 0.3634 10.2962 ((2 . 9) (3 . 10) (7 . 15) (8 . 16)) 5557 0.0999 7.6087 ((7 . 1) (8 . 2) (9 . 3) (10 . 4)) 5560 0.3636 2.2595 ((1 . 2) (2 . 3) (3 . 4) (11 . 9)) 5562 0.3636 6.9422 ((1 . 7) (2 . 9) (6 . 13) (8 . 14)) 5567 0.3636 4.6047 ((1 . 8) (2 . 10) (3 . 11) (6 . 16)) 5594 0.3636 6.1030 ((1 . 9) (2 . 10) (3 . 12) (6 . 13)) 5600 0.3636 7.7206 ((1 . 3) (2 . 4) (3 . 5) (7 . 9)) 5601 0.3636 6.7375 ((1 . 1) (6 . 6) (7 . 7) (11 . 10)) 5638 0.3636 4.8125 ((1 . 7) (3 . 8) (6 . 12) (7 . 13)) 5640 0.4434 5.2255 ((8 . 14) (9 . 16) (10 . 17) (11 . 18) (12 . 24)) 5644 0.3632 11.5075 ((2 . 5) (8 . 12) (9 . 13) (10 . 14)) 5656 0.4545 4.2689 ((1 . 1) (2 . 4) (3 . 5) (6 . 6) (7 . 8)) 5700 0.2727 9.7683 ((7 . 3) (8 . 4) (10 . 6) (11 . 8)) 5701 0.4544 7.1322 ((1 . 6) (2 . 7) (3 . 8) (6 . 10) (7 . 11)) 5703 0.3635 7.8398 ((2 . 3) (8 . 6) (9 . 7) (10 . 8)) 5711 0.3636 4.3317 ((1 . 28) (8 . 32) (9 . 33) (10 . 35)) 5713 0.6342 8.5815 ((1 . 6) (3 . 7) (7 . 8) (8 . 10) (9 . 11) (11 . 15) (12 . 20)) 5718 0.3636 3.2443 ((2 . 15) (8 . 23) (9 . 24) (10 . 25)) 5731 0.3636 5.6265 ((1 . 5) (2 . 6) (7 . 12) (9 . 14)) 5746 0.3636 6.9147 ((3 . 3) (8 . 6) (9 . 7) (10 . 8)) 5749 0.3633 11.1033 ((4 . 2) (8 . 4) (9 . 5) (10 . 6)) 5761 0.3191 10.7987 ((2 . 29) (4 . 33) (6 . 34) (8 . 36)) 5770 0.2727 10.9857 ((4 . 2) (6 . 5) (8 . 6) (11 . 8)) 5771 0.3636 6.0211 ((3 . 17) (6 . 19) (7 . 20) (8 . 21)) 5782 0.3636 5.3251 ((1 . 22) (2 . 23) (3 . 24) (6 . 31)) 5794 0.3636 5.6035 ((1 . 16) (3 . 18) (9 . 23) (10 . 24)) 5795 0.4545 3.6219 ((1 . 10) (2 . 11) (3 . 13) (6 . 15) (7 . 16)) 5809 0.4545 5.2608 ((1 . 9) (2 . 10) (3 . 12) (7 . 14) (9 . 15)) 5827 0.5453 4.8970 ((1 . 5) (3 . 8) (6 . 10) (7 . 11) (10 . 14) (11 . 15)) 5830 0.3635 8.7565 ((4 . 5) (8 . 8) (9 . 10) (12 . 13)) 5847 0.3636 5.8546 ((7 . 15) (8 . 16) (9 . 17) (10 . 18)) 5861 0.3635 8.6681 ((1 . 17) (3 . 20) (9 . 26) (10 . 27)) 5865 0.3636 5.5625 ((1 . 1) (3 . 4) (6 . 6) (7 . 7)) 5878 0.4474 5.8343 ((4 . 23) (6 . 24) (7 . 25) (8 . 26) (10 . 30)) 5888 0.3636 4.6967 ((3 . 26) (8 . 28) (9 . 29) (10 . 30)) 5896 0.3636 7.4294 ((2 . 27) (3 . 28) (6 . 30) (7 . 31)) 5904 0.5452 5.9875 ((1 . 1) (2 . 3) (3 . 4) (6 . 6) (7 . 7) (11 . 9)) 5913 0.4540 9.1658 ((1 . 13) (2 . 14) (3 . 15) (4 . 16) (7 . 17)) 5922 0.3636 6.7286 ((7 . 3) (8 . 4) (9 . 5) (10 . 6)) 5930 0.9053 3.6434 ((1 . 2) (2 . 3) (3 . 4) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 5939 0.4545 3.9347 ((1 . 2) (2 . 3) (3 . 4) (6 . 5) (7 . 6)) 5945 0.4542 8.4361 ((1 . 23) (2 . 25) (3 . 26) (7 . 28) (11 . 32)) 5949 0.4545 5.8421 ((3 . 1) (6 . 3) (7 . 4) (11 . 12) (12 . 14)) 5955 0.4544 6.3274 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 7)) 5967 0.3636 7.2013 ((1 . 3) (2 . 6) (3 . 7) (4 . 10)) 5972 0.1957 8.9903 ((2 . 1) (6 . 5) (8 . 6) (9 . 7)) 5977 0.3636 4.5990 ((1 . 1) (2 . 2) (3 . 3) (7 . 5)) 6000 0.3636 6.4827 ((3 . 1) (4 . 2) (6 . 3) (7 . 4)) 6011 0.3636 3.5388 ((3 . 2) (8 . 7) (9 . 8) (10 . 9)) 6029 0.3635 7.9274 ((2 . 28) (3 . 31) (6 . 32) (7 . 33)) 6041 0.3636 7.7085 ((2 . 5) (8 . 11) (9 . 12) (10 . 13)) 6046 0.2727 7.5464 ((6 . 1) (8 . 2) (9 . 3) (10 . 5)) 6061 0.3636 7.6240 ((1 . 17) (2 . 18) (3 . 20) (6 . 22)) 6074 0.4545 2.8160 ((1 . 6) (2 . 7) (3 . 8) (6 . 10) (7 . 11)) 6075 0.4545 4.8779 ((1 . 17) (2 . 18) (3 . 20) (7 . 21) (11 . 24)) 6079 0.3636 5.0676 ((1 . 1) (2 . 2) (8 . 8) (9 . 9)) 6089 0.3636 7.4429 ((1 . 1) (2 . 2) (6 . 4) (7 . 5)) 6094 0.3636 5.3187 ((3 . 3) (6 . 6) (7 . 7) (11 . 11)) 6099 0.3990 6.5256 ((1 . 16) (3 . 18) (8 . 22) (9 . 23) (12 . 29)) 6123 0.1957 6.4549 ((7 . 1) (8 . 2) (9 . 3) (10 . 4)) 6142 0.3636 6.7087 ((7 . 17) (8 . 18) (9 . 19) (10 . 20)) 6148 0.3636 7.1070 ((6 . 35) (7 . 34) (8 . 36) (9 . 37)) 6167 0.3636 4.8231 ((3 . 1) (7 . 6) (8 . 7) (10 . 10)) 6173 0.3636 6.7107 ((3 . 3) (8 . 8) (9 . 9) (10 . 11)) 6191 0.3636 7.2972 ((2 . 1) (6 . 5) (8 . 6) (11 . 10)) 6192 0.3634 9.9003 ((1 . 5) (2 . 7) (7 . 11) (9 . 13)) 6225 0.3636 3.7010 ((6 . 1) (8 . 3) (9 . 4) (10 . 10)) 6228 0.2728 6.9757 ((2 . 2) (6 . 6) (7 . 7) (11 . 9)) 6234 0.3635 8.8673 ((2 . 8) (3 . 10) (6 . 14) (8 . 15)) 6238 0.3621 15.9538 ((2 . 2) (4 . 6) (9 . 8) (10 . 9)) 6243 0.3636 4.5555 ((1 . 6) (3 . 8) (6 . 9) (7 . 10)) 6251 0.4543 7.6549 ((1 . 8) (2 . 9) (3 . 10) (6 . 14) (11 . 17)) 6258 0.3636 5.3608 ((3 . 10) (6 . 11) (7 . 12) (10 . 13)) 6261 0.4544 6.4343 ((1 . 1) (2 . 2) (3 . 3) (6 . 7) (7 . 9)) 6266 0.3636 4.3526 ((1 . 5) (3 . 6) (6 . 9) (7 . 10)) 6270 0.3636 7.1500 ((1 . 15) (2 . 16) (3 . 17) (7 . 20)) 6271 0.1489 10.4994 ((7 . 5) (8 . 7) (9 . 8) (12 . 10)) 6273 0.3633 10.9737 ((3 . 1) (7 . 4) (10 . 6) (12 . 7)) 6294 0.4545 3.4142 ((1 . 2) (2 . 5) (3 . 6) (7 . 9) (11 . 23)) 6306 0.3634 10.0554 ((6 . 18) (10 . 20) (11 . 21) (12 . 22)) 6309 0.3636 6.8987 ((3 . 17) (7 . 20) (11 . 25) (12 . 27)) 6311 0.1957 4.0780 ((3 . 5) (8 . 9) (9 . 10) (10 . 11)) 6326 0.3635 7.7904 ((3 . 2) (8 . 5) (9 . 6) (10 . 7)) 6344 0.3636 5.9143 ((1 . 6) (3 . 8) (6 . 10) (11 . 13)) 6345 0.3632 11.8670 ((1 . 7) (2 . 8) (4 . 9) (11 . 14)) 6348 0.4545 4.7839 ((1 . 1) (2 . 3) (3 . 4) (6 . 6) (11 . 9)) 6355 0.3636 4.8724 ((1 . 4) (2 . 5) (3 . 7) (8 . 12)) 6356 0.5454 3.9025 ((1 . 1) (2 . 3) (3 . 4) (6 . 5) (7 . 6) (11 . 9)) 6369 0.5284 4.5368 ((1 . 7) (2 . 8) (3 . 9) (7 . 20) (10 . 26) (11 . 31)) 6376 0.4545 2.4720 ((1 . 17) (2 . 18) (3 . 19) (7 . 21) (11 . 24)) 6391 0.1957 9.3043 ((3 . 6) (6 . 9) (8 . 10) (10 . 12)) 6392 0.3636 5.5620 ((1 . 1) (3 . 9) (6 . 14) (7 . 15)) 6399 0.3636 3.0214 ((8 . 1) (9 . 3) (10 . 4) (11 . 5)) 6403 0.3636 2.4751 ((3 . 5) (6 . 9) (7 . 10) (10 . 12)) 6434 0.3636 5.3796 ((2 . 1) (3 . 2) (7 . 4) (9 . 5)) 6462 0.3636 3.0055 ((1 . 18) (2 . 19) (3 . 20) (7 . 22)) 6498 0.3636 3.5106 ((1 . 19) (2 . 20) (3 . 21) (11 . 29)) 6520 0.3636 5.0191 ((1 . 10) (2 . 11) (3 . 13) (7 . 15)) 6539 0.3636 6.8540 ((1 . 2) (2 . 3) (3 . 4) (9 . 10)) 6548 0.3636 5.6198 ((3 . 5) (6 . 8) (7 . 9) (11 . 13)) 6553 0.4545 3.4769 ((2 . 12) (4 . 16) (8 . 23) (9 . 24) (10 . 25)) 6555 0.3636 7.2467 ((6 . 21) (8 . 22) (9 . 23) (11 . 24)) 6561 0.3636 5.2588 ((2 . 5) (3 . 9) (6 . 11) (11 . 13)) 6573 0.8148 2.8578 ((1 . 17) (2 . 18) (3 . 19) (6 . 20) (7 . 21) (8 . 22) (9 . 23) (10 . 24) (11 . 25)) 6578 0.3635 7.9253 ((1 . 31) (2 . 33) (3 . 34) (7 . 38)) 6585 0.3636 3.5261 ((1 . 8) (2 . 9) (3 . 10) (11 . 15)) 6586 0.3635 7.9258 ((1 . 18) (2 . 19) (4 . 22) (7 . 24)) 6587 0.3636 3.7443 ((2 . 27) (6 . 30) (7 . 31) (11 . 33)) 6598 0.3636 6.3051 ((2 . 12) (8 . 20) (9 . 21) (11 . 22)) 6613 0.4545 4.6216 ((1 . 24) (2 . 25) (3 . 27) (7 . 31) (10 . 33)) 6635 0.3635 9.1558 ((1 . 1) (2 . 3) (3 . 4) (6 . 9)) END