129 51 0.6630 3.3089 ((2 . 1) (3 . 2) (5 . 6) (8 . 7) (10 . 11) (11 . 13) (12 . 14)) 62 0.5552 6.6665 ((1 . 10) (2 . 12) (3 . 13) (8 . 16) (9 . 17)) 64 0.4444 5.2178 ((2 . 10) (5 . 13) (8 . 14) (9 . 15)) 77 0.4443 6.2815 ((1 . 7) (2 . 8) (8 . 13) (11 . 15)) 96 0.4443 6.7243 ((3 . 1) (8 . 3) (11 . 5) (12 . 6)) 129 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 136 0.4443 6.2862 ((5 . 3) (8 . 5) (11 . 7) (12 . 8)) 153 0.6635 8.9051 ((2 . 6) (3 . 7) (5 . 8) (8 . 9) (11 . 10) (12 . 12)) 157 0.4439 9.6620 ((1 . 9) (5 . 14) (9 . 16) (11 . 18)) 161 0.4443 6.7765 ((2 . 3) (3 . 4) (5 . 6) (9 . 9)) 162 0.4444 4.1024 ((3 . 15) (8 . 18) (11 . 20) (12 . 22)) 169 0.7775 3.8482 ((1 . 1) (2 . 3) (3 . 4) (5 . 5) (8 . 7) (11 . 8) (12 . 9)) 177 0.4444 5.9842 ((1 . 3) (2 . 4) (3 . 5) (8 . 7)) 191 0.4444 5.5962 ((3 . 6) (5 . 7) (8 . 8) (9 . 9)) 198 0.4444 5.4565 ((1 . 2) (8 . 9) (9 . 10) (11 . 12)) 233 0.5550 7.3336 ((5 . 1) (8 . 2) (9 . 3) (11 . 5) (12 . 7)) 300 0.4439 9.5554 ((1 . 6) (3 . 7) (5 . 9) (8 . 10)) 305 0.4444 4.0555 ((2 . 9) (5 . 11) (10 . 12) (12 . 15)) 307 0.4437 10.4603 ((1 . 1) (5 . 3) (9 . 7) (12 . 9)) 315 0.4443 6.9689 ((5 . 3) (8 . 5) (9 . 6) (12 . 8)) 340 0.4444 5.2552 ((5 . 1) (8 . 2) (9 . 4) (12 . 9)) 350 0.5554 5.1004 ((1 . 1) (2 . 2) (5 . 4) (9 . 7) (11 . 10)) 360 0.5553 5.7755 ((2 . 3) (5 . 6) (9 . 8) (11 . 10) (12 . 12)) 365 0.5550 7.3421 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (9 . 8)) 367 0.8876 5.0024 ((1 . 38) (2 . 40) (3 . 42) (5 . 43) (8 . 44) (9 . 46) (10 . 47) (11 . 48)) 372 0.4444 6.0336 ((1 . 2) (2 . 3) (5 . 7) (8 . 10)) 387 0.6955 5.7222 ((3 . 7) (5 . 8) (8 . 9) (9 . 10) (10 . 11) (11 . 12) (12 . 15)) 405 0.4443 6.6059 ((1 . 32) (2 . 33) (3 . 34) (5 . 37)) 417 0.4444 4.8836 ((3 . 1) (5 . 2) (11 . 7) (12 . 9)) 420 0.5554 5.2200 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (9 . 5)) 433 0.4444 5.3727 ((1 . 5) (2 . 6) (3 . 7) (8 . 9)) 442 0.2861 9.4153 ((1 . 14) (8 . 19) (11 . 21) (12 . 22)) 460 0.4442 8.0801 ((2 . 1) (5 . 3) (11 . 7) (12 . 8)) 472 0.1495 15.5115 ((1 . 22) (5 . 25) (8 . 27) (12 . 31)) 495 0.4443 7.3212 ((2 . 1) (5 . 3) (11 . 7) (12 . 8)) 541 0.2861 10.5554 ((1 . 7) (5 . 11) (9 . 14) (11 . 16)) 543 0.7764 5.9615 ((1 . 1) (2 . 2) (3 . 5) (5 . 6) (10 . 8) (11 . 10) (12 . 15)) 584 0.1980 5.4862 ((1 . 3) (2 . 4) (3 . 5) (11 . 10)) 587 0.5553 6.0986 ((1 . 2) (2 . 3) (3 . 4) (5 . 6) (8 . 8)) 619 0.4443 6.2894 ((2 . 7) (3 . 8) (8 . 11) (9 . 12)) 624 0.4443 6.5811 ((1 . 9) (3 . 11) (8 . 13) (10 . 15)) 672 0.4443 6.1544 ((8 . 18) (10 . 20) (11 . 21) (12 . 22)) 683 0.4443 7.1003 ((5 . 1) (8 . 2) (9 . 3) (12 . 5)) 719 0.4444 5.0385 ((8 . 22) (9 . 23) (11 . 25) (12 . 27)) 729 0.4443 6.6535 ((1 . 13) (3 . 15) (8 . 17) (9 . 20)) 735 0.4443 6.5502 ((1 . 31) (2 . 32) (3 . 33) (5 . 36)) 740 0.4444 4.9800 ((5 . 2) (8 . 3) (9 . 4) (12 . 9)) 765 0.4444 2.9938 ((2 . 7) (3 . 8) (11 . 18) (12 . 19)) 767 0.4442 8.1682 ((3 . 8) (5 . 9) (8 . 12) (9 . 13)) 795 0.4443 7.3218 ((1 . 1) (5 . 3) (8 . 5) (9 . 6)) 801 0.4441 8.1821 ((1 . 1) (2 . 2) (3 . 4) (5 . 5)) 818 0.4443 6.8239 ((2 . 1) (5 . 4) (9 . 8) (11 . 10)) 819 0.4443 6.7779 ((1 . 5) (5 . 8) (8 . 9) (9 . 10)) 824 0.4444 4.3225 ((1 . 49) (2 . 50) (3 . 51) (11 . 53)) 861 0.4444 5.9895 ((5 . 15) (8 . 16) (9 . 17) (12 . 19)) 901 0.2861 11.0246 ((1 . 12) (5 . 15) (9 . 17) (12 . 20)) 904 0.2862 6.2801 ((3 . 2) (5 . 3) (9 . 6) (11 . 7)) 928 0.4437 10.1385 ((2 . 1) (8 . 5) (11 . 7) (12 . 8)) 943 0.4444 5.8072 ((1 . 8) (3 . 9) (8 . 12) (11 . 15)) 945 0.4442 7.9744 ((1 . 12) (3 . 14) (8 . 19) (12 . 22)) 960 0.2861 8.9195 ((1 . 1) (2 . 3) (3 . 4) (12 . 8)) 980 0.4436 10.7314 ((3 . 1) (5 . 3) (9 . 5) (12 . 7)) 1007 0.5553 5.7448 ((1 . 7) (2 . 8) (3 . 9) (8 . 13) (9 . 14)) 1008 0.4444 5.6064 ((1 . 5) (5 . 8) (11 . 15) (12 . 16)) 1043 0.2862 6.6502 ((1 . 6) (5 . 10) (10 . 12) (11 . 14)) 1082 0.5544 8.7804 ((1 . 1) (2 . 3) (3 . 4) (11 . 8) (12 . 9)) 1084 0.4444 5.5108 ((1 . 3) (8 . 11) (9 . 12) (12 . 17)) 1121 0.4443 7.0664 ((9 . 2) (10 . 3) (11 . 4) (12 . 5)) 1165 0.4442 7.5738 ((1 . 2) (2 . 3) (3 . 4) (12 . 10)) 1167 0.4440 8.8821 ((1 . 20) (2 . 21) (3 . 22) (10 . 27)) 1169 0.4444 4.7479 ((5 . 29) (8 . 30) (9 . 31) (11 . 33)) 1195 0.4443 6.5567 ((3 . 2) (5 . 4) (8 . 5) (9 . 6)) 1201 0.4441 8.4727 ((8 . 14) (9 . 15) (10 . 16) (11 . 17)) 1204 0.4421 13.7523 ((2 . 3) (5 . 5) (11 . 11) (12 . 12)) 1211 0.5550 7.2892 ((1 . 9) (2 . 10) (3 . 11) (5 . 14) (8 . 15)) 1224 0.5555 3.9653 ((3 . 3) (5 . 5) (10 . 6) (11 . 7) (12 . 9)) 1233 0.4443 6.4851 ((1 . 20) (3 . 22) (5 . 23) (8 . 24)) 1267 0.4442 7.4674 ((2 . 15) (5 . 17) (9 . 19) (11 . 21)) 1268 0.4444 2.9411 ((5 . 22) (8 . 23) (9 . 24) (10 . 25)) 1294 0.5553 6.2362 ((2 . 39) (3 . 40) (5 . 41) (8 . 43) (12 . 46)) 1345 0.4444 5.7474 ((2 . 7) (5 . 9) (11 . 12) (12 . 13)) 1366 0.5549 7.5194 ((1 . 14) (2 . 15) (3 . 16) (5 . 17) (10 . 21)) 1410 0.4444 6.0556 ((3 . 19) (5 . 21) (8 . 22) (9 . 23)) 1425 0.6665 4.1180 ((2 . 2) (3 . 4) (5 . 6) (8 . 8) (11 . 10) (12 . 12)) 1435 0.4444 6.1159 ((1 . 1) (2 . 2) (8 . 5) (10 . 6)) 1451 0.4442 7.8595 ((2 . 1) (5 . 3) (8 . 4) (9 . 5)) 1464 0.4442 7.9043 ((5 . 8) (8 . 10) (11 . 13) (12 . 14)) 1481 0.5552 6.5114 ((2 . 1) (3 . 2) (8 . 4) (9 . 5) (11 . 7)) 1501 0.4443 6.2906 ((1 . 1) (2 . 2) (8 . 6) (11 . 9)) 1513 0.4443 7.3440 ((2 . 2) (3 . 3) (8 . 6) (9 . 8)) 1514 0.4444 5.3046 ((5 . 1) (9 . 3) (10 . 4) (12 . 6)) 1604 0.4444 4.5993 ((1 . 1) (2 . 3) (5 . 7) (9 . 10)) 1622 0.4444 6.0659 ((2 . 18) (5 . 20) (11 . 22) (12 . 23)) 1624 0.8719 4.9040 ((2 . 2) (3 . 3) (5 . 4) (8 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 9)) 1643 0.5553 5.9502 ((3 . 11) (8 . 15) (9 . 16) (11 . 18) (12 . 20)) 1644 0.4444 5.7571 ((2 . 46) (3 . 47) (8 . 51) (11 . 52)) 1690 0.4442 7.4532 ((1 . 14) (2 . 16) (8 . 21) (11 . 24)) 1692 0.4444 3.9952 ((3 . 7) (8 . 8) (9 . 9) (10 . 10)) 1731 0.4441 8.7365 ((1 . 3) (2 . 6) (5 . 8) (12 . 12)) 1736 0.1980 6.1656 ((1 . 1) (5 . 3) (8 . 5) (12 . 7)) 1738 0.4443 7.2155 ((1 . 13) (2 . 14) (5 . 18) (11 . 23)) 1747 0.5546 8.3405 ((1 . 18) (2 . 19) (8 . 24) (9 . 25) (12 . 27)) 1756 0.4444 3.5755 ((2 . 21) (8 . 27) (10 . 29) (11 . 30)) 1759 0.7772 4.7222 ((3 . 1) (5 . 2) (8 . 4) (9 . 5) (10 . 9) (11 . 13) (12 . 14)) 1761 0.4444 5.9082 ((3 . 1) (5 . 2) (8 . 4) (9 . 5)) 1763 0.4442 7.6792 ((1 . 3) (5 . 7) (8 . 9) (9 . 10)) 1776 0.4443 6.2839 ((3 . 12) (8 . 15) (9 . 16) (11 . 19)) 1777 0.4444 4.0656 ((3 . 37) (8 . 43) (9 . 45) (10 . 46)) 1778 0.4444 3.8661 ((1 . 1) (2 . 2) (5 . 4) (8 . 5)) 1793 0.4440 9.0911 ((1 . 3) (2 . 4) (11 . 8) (12 . 10)) 1805 0.5553 6.1736 ((1 . 2) (2 . 3) (3 . 4) (5 . 7) (8 . 9)) 1808 0.5553 5.9255 ((1 . 4) (2 . 5) (3 . 6) (5 . 8) (9 . 10)) 1817 0.4443 6.4060 ((1 . 13) (2 . 14) (3 . 15) (5 . 18)) 1867 0.4443 6.5529 ((2 . 1) (5 . 3) (8 . 6) (9 . 7)) 1894 0.5555 4.5193 ((2 . 18) (5 . 20) (8 . 23) (11 . 25) (12 . 26)) 1896 0.4160 7.3654 ((8 . 23) (9 . 24) (10 . 25) (12 . 27)) 1897 0.4444 5.6676 ((2 . 32) (3 . 34) (11 . 39) (12 . 40)) 1908 0.4443 6.3330 ((1 . 7) (5 . 10) (8 . 15) (12 . 17)) 1909 0.4441 8.4217 ((1 . 29) (3 . 31) (10 . 37) (12 . 39)) 1913 0.4444 4.3055 ((9 . 3) (10 . 5) (11 . 6) (12 . 7)) 1944 0.4443 6.5291 ((1 . 17) (5 . 22) (8 . 23) (9 . 24)) 1957 0.4440 9.0749 ((2 . 17) (5 . 19) (9 . 21) (10 . 22)) 1961 0.5555 4.5753 ((1 . 14) (2 . 15) (3 . 16) (8 . 19) (11 . 20)) 1967 0.2441 11.4324 ((1 . 7) (8 . 10) (10 . 13) (12 . 16)) 1972 0.4426 12.8711 ((3 . 18) (5 . 20) (11 . 24) (12 . 27)) 1992 0.0999 8.2228 ((1 . 3) (2 . 2) (10 . 9) (12 . 12)) 1995 0.4444 4.6833 ((8 . 9) (10 . 11) (11 . 12) (12 . 13)) 2003 0.4442 7.7699 ((1 . 4) (2 . 5) (5 . 8) (8 . 9)) 2006 0.5555 4.7477 ((1 . 9) (2 . 10) (5 . 12) (8 . 13) (9 . 14)) 2045 0.3526 5.4790 ((1 . 1) (2 . 2) (8 . 7) (9 . 8)) 2063 0.7516 4.7994 ((1 . 42) (2 . 43) (3 . 44) (5 . 45) (8 . 47) (9 . 48) (10 . 49) (11 . 50)) 2065 0.6664 4.6989 ((1 . 16) (2 . 17) (3 . 18) (8 . 26) (11 . 27) (12 . 28)) 2067 0.4438 9.9635 ((3 . 54) (8 . 59) (9 . 60) (12 . 63)) 2072 0.4440 9.0268 ((1 . 4) (2 . 5) (3 . 6) (5 . 7)) 2081 0.4442 7.4201 ((2 . 19) (3 . 20) (5 . 21) (8 . 23)) 2083 0.4444 5.6490 ((1 . 1) (2 . 2) (5 . 4) (9 . 7)) 2097 0.4443 7.2236 ((1 . 6) (2 . 7) (9 . 14) (12 . 18)) 2114 0.4442 7.4878 ((2 . 28) (3 . 29) (5 . 32) (8 . 34)) 2116 0.8871 5.4110 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (8 . 7) (9 . 8) (11 . 11) (12 . 12)) 2117 0.4444 5.0705 ((5 . 17) (8 . 22) (9 . 23) (11 . 25)) 2118 0.4438 9.7824 ((5 . 1) (8 . 4) (9 . 5) (12 . 7)) 2122 0.4443 6.9324 ((1 . 14) (2 . 15) (5 . 18) (10 . 22)) 2166 0.4441 8.2725 ((3 . 15) (5 . 16) (8 . 17) (11 . 21)) 2179 0.4444 4.8165 ((1 . 5) (2 . 6) (5 . 9) (8 . 10)) 2196 0.4444 3.8256 ((2 . 13) (3 . 14) (8 . 18) (9 . 19)) 2203 0.2862 7.1203 ((2 . 5) (3 . 6) (9 . 10) (10 . 12)) 2205 0.6663 5.2993 ((1 . 13) (2 . 15) (8 . 19) (10 . 21) (11 . 22) (12 . 23)) 2209 0.4443 7.3546 ((2 . 5) (3 . 6) (5 . 7) (9 . 9)) 2243 0.5554 5.3537 ((8 . 57) (9 . 58) (10 . 59) (11 . 60) (12 . 62)) 2244 0.5555 4.3231 ((1 . 71) (5 . 76) (8 . 77) (9 . 78) (11 . 80)) 2249 0.4443 7.3477 ((3 . 16) (5 . 18) (8 . 21) (11 . 23)) 2269 0.4442 7.7995 ((1 . 7) (2 . 8) (5 . 10) (11 . 12)) 2279 0.4443 6.7152 ((1 . 10) (2 . 11) (9 . 19) (12 . 22)) 2298 0.4444 5.8363 ((2 . 4) (5 . 6) (9 . 8) (11 . 10)) 2308 0.4441 8.5221 ((1 . 4) (2 . 5) (3 . 6) (12 . 11)) 2314 0.5307 8.3749 ((2 . 2) (3 . 3) (5 . 4) (8 . 7) (9 . 8) (10 . 11) (11 . 13) (12 . 18)) 2340 0.4444 5.9209 ((2 . 9) (5 . 11) (8 . 13) (9 . 14)) 2344 0.4444 5.3680 ((2 . 6) (3 . 7) (8 . 10) (11 . 13)) 2364 0.4443 7.1747 ((2 . 12) (5 . 18) (8 . 19) (9 . 20)) 2381 0.4442 7.8188 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 2389 0.5551 6.9482 ((1 . 8) (2 . 9) (3 . 10) (5 . 11) (9 . 14)) 2408 0.8582 6.0572 ((1 . 37) (2 . 38) (3 . 39) (5 . 40) (8 . 41) (9 . 42) (10 . 45) (11 . 46) (12 . 47)) 2409 0.7192 4.4117 ((2 . 2) (3 . 3) (5 . 4) (8 . 5) (9 . 6) (11 . 8) (12 . 9)) 2422 0.3526 5.4335 ((5 . 6) (8 . 7) (9 . 8) (10 . 9)) 2423 0.5546 8.2603 ((3 . 19) (5 . 20) (8 . 21) (9 . 22) (12 . 25)) 2440 0.4443 6.7119 ((2 . 4) (5 . 6) (8 . 8) (9 . 9)) 2447 0.4443 6.7421 ((1 . 15) (3 . 18) (8 . 21) (10 . 24)) 2462 0.0999 9.2775 ((1 . 4) (5 . 7) (11 . 11) (12 . 12)) 2510 0.4443 7.3203 ((1 . 1) (5 . 3) (8 . 5) (12 . 7)) 2525 0.1495 10.0754 ((1 . 43) (2 . 45) (5 . 47) (8 . 48)) 2529 0.4444 6.0912 ((2 . 1) (5 . 3) (8 . 5) (9 . 6)) 2533 0.4443 7.1342 ((1 . 4) (3 . 6) (8 . 9) (12 . 13)) 2551 0.4442 7.4707 ((5 . 9) (9 . 11) (11 . 12) (12 . 14)) 2556 0.4440 9.1190 ((1 . 11) (2 . 13) (11 . 20) (12 . 22)) 2561 0.4441 8.2600 ((3 . 6) (5 . 7) (8 . 8) (9 . 9)) 2595 0.4442 7.7490 ((1 . 1) (3 . 4) (8 . 6) (12 . 11)) 2619 0.4444 5.9189 ((1 . 2) (2 . 3) (5 . 5) (9 . 7)) 2650 0.4443 6.6324 ((1 . 1) (2 . 2) (9 . 5) (11 . 7)) 2658 0.2861 9.1559 ((5 . 10) (8 . 12) (10 . 13) (12 . 14)) 2675 0.5547 8.0614 ((1 . 3) (2 . 4) (5 . 8) (8 . 10) (9 . 11)) 2682 0.3933 10.3750 ((1 . 7) (8 . 12) (9 . 13) (12 . 17)) 2696 0.5552 6.4677 ((1 . 32) (2 . 34) (3 . 35) (5 . 36) (8 . 38)) 2733 0.4442 7.9291 ((1 . 1) (2 . 2) (10 . 8) (12 . 11)) 2755 0.4441 8.5448 ((2 . 5) (5 . 6) (9 . 8) (11 . 10)) 2773 0.4437 10.1423 ((3 . 2) (5 . 3) (9 . 5) (11 . 6)) 2783 0.4444 5.5912 ((3 . 6) (5 . 7) (8 . 8) (12 . 12)) 2804 0.4442 8.1079 ((1 . 31) (2 . 32) (5 . 34) (8 . 36)) 2821 0.4443 6.9143 ((1 . 1) (2 . 2) (3 . 3) (12 . 11)) 2830 0.4436 10.5238 ((1 . 1) (5 . 3) (9 . 5) (12 . 7)) 2834 0.4443 6.2729 ((1 . 3) (2 . 5) (3 . 6) (8 . 8)) 2840 0.5553 5.7488 ((3 . 1) (8 . 5) (9 . 6) (11 . 8) (12 . 9)) 2842 0.4442 7.7768 ((1 . 4) (2 . 5) (10 . 9) (12 . 11)) 2879 0.8718 4.9822 ((1 . 51) (2 . 52) (3 . 53) (5 . 54) (8 . 56) (9 . 57) (10 . 58) (11 . 59)) 2886 0.8664 6.0670 ((1 . 33) (2 . 34) (3 . 35) (5 . 37) (8 . 38) (9 . 39) (11 . 43) (12 . 44)) 2947 0.4444 5.5063 ((1 . 3) (2 . 4) (5 . 6) (8 . 7)) 2966 0.4444 4.1896 ((2 . 8) (3 . 9) (8 . 12) (9 . 13)) 2990 0.4444 5.8283 ((3 . 12) (8 . 14) (9 . 15) (11 . 16)) 2999 0.4444 4.5826 ((2 . 2) (5 . 4) (9 . 6) (10 . 7)) 3014 0.4444 3.4647 ((5 . 22) (8 . 23) (9 . 24) (10 . 25)) 3019 0.4444 4.8309 ((2 . 19) (3 . 20) (8 . 22) (11 . 25)) 3034 0.4435 11.0536 ((1 . 1) (5 . 5) (9 . 7) (12 . 9)) 3041 0.4155 10.8511 ((1 . 24) (9 . 29) (10 . 30) (12 . 32)) 3055 0.5555 4.7109 ((2 . 15) (5 . 19) (8 . 20) (9 . 21) (11 . 23)) 3063 0.5554 5.5102 ((2 . 35) (5 . 38) (8 . 39) (11 . 41) (12 . 42)) 3070 0.4444 5.6629 ((1 . 32) (2 . 33) (5 . 35) (8 . 36)) 3084 0.4441 8.6664 ((1 . 13) (3 . 15) (8 . 17) (12 . 21)) 3102 0.5553 6.1621 ((1 . 69) (2 . 70) (8 . 74) (11 . 77) (12 . 80)) 3103 0.5554 5.0150 ((2 . 2) (3 . 3) (5 . 5) (11 . 9) (12 . 11)) 3114 0.4441 8.2079 ((2 . 22) (3 . 23) (5 . 24) (12 . 29)) 3127 0.3934 9.0129 ((1 . 3) (2 . 4) (8 . 8) (10 . 11)) 3147 0.5544 8.7515 ((1 . 3) (2 . 4) (3 . 5) (5 . 6) (9 . 9)) 3187 0.5553 5.9272 ((3 . 1) (5 . 2) (8 . 3) (9 . 4) (12 . 5)) 3190 0.4443 6.5869 ((1 . 3) (3 . 6) (8 . 9) (10 . 11)) 3197 0.4442 7.6562 ((2 . 21) (5 . 24) (9 . 26) (11 . 28)) 3200 0.3936 6.0738 ((1 . 3) (2 . 4) (5 . 6) (10 . 9)) 3212 0.4439 9.4961 ((3 . 2) (5 . 3) (8 . 5) (12 . 9)) 3222 0.4444 5.8811 ((5 . 6) (9 . 15) (10 . 16) (12 . 18)) 3256 0.5544 8.7382 ((2 . 19) (3 . 20) (5 . 21) (8 . 25) (12 . 28)) 3261 0.4444 4.7860 ((1 . 3) (5 . 6) (8 . 7) (9 . 8)) 3286 0.4444 5.3164 ((1 . 4) (2 . 5) (5 . 7) (9 . 9)) 3289 0.4444 6.1446 ((3 . 25) (9 . 29) (10 . 30) (11 . 31)) 3297 0.8593 5.2394 ((1 . 3) (2 . 4) (3 . 5) (5 . 7) (8 . 8) (9 . 9) (10 . 11) (11 . 12) (12 . 13)) 3300 0.4444 6.1453 ((1 . 1) (2 . 2) (3 . 4) (5 . 5)) 3322 0.4442 7.8645 ((1 . 1) (2 . 3) (3 . 5) (5 . 7)) 3334 0.4438 9.9186 ((2 . 1) (3 . 3) (5 . 4) (12 . 10)) 3339 0.4443 6.3814 ((1 . 17) (3 . 19) (8 . 21) (9 . 22)) 3344 0.4443 6.9322 ((1 . 18) (2 . 19) (11 . 24) (12 . 26)) 3358 0.2862 6.9446 ((1 . 4) (2 . 7) (3 . 8) (5 . 10)) 3362 0.4437 10.4221 ((1 . 4) (5 . 6) (10 . 10) (12 . 11)) 3366 0.5553 5.8654 ((2 . 22) (5 . 26) (8 . 27) (11 . 28) (12 . 29)) 3391 0.4443 7.2892 ((1 . 4) (3 . 6) (8 . 10) (12 . 13)) 3410 0.4442 7.9143 ((1 . 21) (3 . 24) (8 . 28) (10 . 30)) 3418 0.4443 6.2877 ((3 . 2) (5 . 5) (8 . 6) (9 . 7)) 3472 0.5554 4.8215 ((2 . 1) (5 . 4) (8 . 5) (11 . 9) (12 . 11)) 3481 0.4441 8.4101 ((2 . 4) (3 . 7) (5 . 8) (9 . 10)) 3489 0.4444 5.0480 ((1 . 1) (2 . 2) (5 . 4) (12 . 12)) 3495 0.5553 6.1185 ((1 . 1) (2 . 2) (3 . 3) (11 . 8) (12 . 16)) 3533 0.4443 6.4551 ((1 . 1) (2 . 3) (3 . 5) (12 . 11)) 3537 0.1980 7.9275 ((1 . 5) (2 . 6) (8 . 9) (9 . 10)) 3538 0.4444 5.7505 ((3 . 23) (5 . 24) (8 . 25) (9 . 26)) 3548 0.5553 6.1310 ((1 . 4) (2 . 5) (3 . 6) (8 . 9) (9 . 10)) 3561 0.4444 5.6263 ((2 . 26) (5 . 28) (8 . 30) (9 . 31)) 3570 0.4444 5.6262 ((3 . 4) (5 . 7) (8 . 8) (12 . 10)) 3585 0.4443 7.0629 ((1 . 6) (3 . 8) (8 . 12) (9 . 13)) 3625 0.4444 3.9209 ((3 . 2) (5 . 3) (8 . 5) (9 . 6)) 3626 0.4444 5.8430 ((1 . 2) (2 . 3) (3 . 6) (5 . 8)) 3628 0.4443 6.6096 ((3 . 6) (8 . 8) (9 . 9) (12 . 12)) 3651 0.4441 8.7617 ((2 . 8) (3 . 9) (5 . 11) (8 . 13)) 3658 0.4443 7.0688 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 3659 0.4444 5.8684 ((1 . 7) (2 . 8) (8 . 12) (9 . 13)) 3661 0.4443 6.3689 ((2 . 7) (3 . 8) (5 . 11) (8 . 12)) 3688 0.4442 7.8019 ((2 . 12) (3 . 14) (11 . 17) (12 . 18)) 3697 0.4442 7.6802 ((1 . 1) (2 . 3) (8 . 6) (11 . 7)) 3703 0.4443 6.9994 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 3732 0.4437 10.2043 ((1 . 2) (2 . 3) (11 . 9) (12 . 11)) 3740 0.5551 6.8897 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (8 . 5)) 3741 0.5271 5.5307 ((1 . 22) (2 . 23) (5 . 25) (9 . 27) (10 . 28)) 3776 0.4444 5.8802 ((1 . 19) (2 . 20) (3 . 21) (8 . 24)) 3778 0.4444 5.1901 ((1 . 2) (2 . 3) (8 . 6) (9 . 7)) 3787 0.4442 7.4872 ((3 . 27) (8 . 29) (10 . 31) (12 . 33)) 3790 0.5553 5.9497 ((3 . 9) (5 . 10) (8 . 13) (9 . 14) (12 . 15)) 3807 0.4443 7.3342 ((3 . 43) (5 . 46) (8 . 47) (12 . 50)) 3810 0.4444 5.5630 ((1 . 4) (2 . 6) (5 . 10) (11 . 15)) 3817 0.4415 14.5418 ((1 . 7) (3 . 9) (5 . 11) (12 . 15)) 3831 0.4443 6.2092 ((2 . 2) (3 . 3) (8 . 5) (9 . 6)) 3856 0.4444 5.3877 ((2 . 7) (3 . 9) (5 . 10) (8 . 12)) 3870 0.4444 6.0678 ((1 . 3) (3 . 5) (8 . 8) (12 . 10)) 3933 0.4442 7.8213 ((1 . 9) (3 . 11) (8 . 16) (9 . 17)) 3938 0.4442 7.3744 ((8 . 2) (9 . 4) (11 . 6) (12 . 8)) 3968 0.4443 7.3126 ((1 . 3) (3 . 5) (8 . 9) (10 . 11)) 3986 0.4444 5.9748 ((1 . 13) (8 . 21) (11 . 25) (12 . 26)) 3990 0.4443 6.7776 ((2 . 16) (5 . 18) (11 . 22) (12 . 23)) 4005 0.5554 5.2497 ((1 . 3) (2 . 4) (8 . 9) (11 . 12) (12 . 14)) 4019 0.4827 10.7534 ((5 . 34) (8 . 35) (9 . 36) (10 . 37) (12 . 39)) 4034 0.4442 8.1411 ((8 . 9) (9 . 10) (11 . 12) (12 . 13)) 4067 0.4441 8.3342 ((1 . 14) (3 . 16) (8 . 20) (12 . 24)) 4082 0.4442 7.7567 ((1 . 5) (2 . 6) (5 . 8) (8 . 10)) 4087 0.4444 5.3010 ((5 . 5) (8 . 6) (9 . 7) (12 . 8)) 4112 0.4444 5.8617 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 4154 0.4444 5.2094 ((1 . 52) (2 . 53) (3 . 54) (5 . 56)) 4177 0.3526 6.2689 ((2 . 1) (10 . 7) (11 . 8) (12 . 9)) 4192 0.2861 10.8235 ((1 . 8) (2 . 10) (5 . 13) (12 . 19)) 4194 0.4443 6.4265 ((1 . 3) (3 . 5) (5 . 6) (8 . 7)) 4204 0.4443 7.2945 ((3 . 5) (8 . 9) (10 . 11) (12 . 13)) 4209 0.4443 6.8261 ((1 . 1) (2 . 2) (8 . 5) (11 . 10)) 4210 0.4444 4.1325 ((1 . 4) (2 . 5) (3 . 6) (8 . 8)) 4226 0.4442 7.6118 ((1 . 12) (3 . 14) (8 . 18) (9 . 19)) 4232 0.5268 7.3625 ((1 . 1) (8 . 3) (9 . 4) (11 . 5) (12 . 6)) 4236 0.3936 5.7739 ((5 . 6) (8 . 7) (9 . 8) (10 . 10)) 4246 0.1980 8.5655 ((3 . 3) (8 . 7) (9 . 8) (12 . 11)) 4254 0.4444 4.8100 ((3 . 9) (5 . 11) (9 . 13) (11 . 15)) 4255 0.4444 5.5392 ((5 . 21) (9 . 23) (10 . 24) (12 . 26)) 4257 0.1980 7.6289 ((1 . 9) (2 . 10) (3 . 11) (5 . 12)) 4265 0.1980 8.4796 ((2 . 20) (3 . 21) (5 . 23) (10 . 26)) 4266 0.3936 7.3926 ((2 . 6) (5 . 8) (10 . 11) (11 . 12)) 4274 0.4443 7.0442 ((2 . 36) (5 . 38) (9 . 40) (10 . 41)) 4275 0.4443 7.1264 ((1 . 23) (3 . 25) (5 . 27) (8 . 28)) 4281 0.4443 7.2461 ((8 . 3) (9 . 4) (10 . 5) (12 . 8)) 4284 0.4443 6.2601 ((1 . 4) (2 . 5) (8 . 8) (9 . 9)) 4299 0.4443 6.4807 ((1 . 4) (3 . 6) (8 . 9) (12 . 11)) 4301 0.8626 4.5431 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (9 . 6) (10 . 8) (11 . 9) (12 . 10)) 4332 0.1980 7.9306 ((1 . 2) (2 . 4) (5 . 6) (8 . 9)) 4338 0.4441 8.2998 ((1 . 4) (5 . 7) (8 . 8) (12 . 11)) 4359 0.5546 8.2429 ((1 . 8) (2 . 9) (3 . 10) (5 . 11) (8 . 12)) 4380 0.4444 5.9930 ((5 . 30) (8 . 32) (11 . 36) (12 . 39)) 4383 0.8880 4.4852 ((1 . 14) (2 . 15) (3 . 16) (5 . 17) (8 . 18) (9 . 19) (11 . 21) (12 . 22)) 4386 0.4436 10.5239 ((5 . 16) (10 . 18) (11 . 19) (12 . 21)) 4388 0.4444 5.5389 ((1 . 8) (2 . 9) (3 . 10) (8 . 12)) 4398 0.4444 5.8040 ((1 . 6) (2 . 7) (3 . 8) (8 . 10)) 4405 0.4443 7.2781 ((3 . 18) (5 . 19) (9 . 21) (12 . 25)) 4408 0.4444 5.6250 ((1 . 3) (2 . 4) (5 . 6) (8 . 7)) 4415 0.4442 7.7211 ((2 . 1) (5 . 3) (8 . 4) (12 . 9)) 4419 0.4443 6.9811 ((3 . 6) (5 . 8) (8 . 9) (9 . 10)) 4470 0.4444 4.8881 ((1 . 18) (2 . 19) (3 . 20) (11 . 25)) 4491 0.4443 7.2045 ((5 . 1) (9 . 5) (11 . 6) (12 . 8)) 4492 0.4444 5.9224 ((1 . 4) (2 . 5) (3 . 7) (5 . 8)) 4495 0.2860 12.9937 ((1 . 2) (2 . 3) (5 . 6) (11 . 10)) 4497 0.5553 5.8900 ((1 . 25) (2 . 26) (3 . 27) (5 . 28) (8 . 30)) 4502 0.4444 4.0568 ((1 . 9) (2 . 10) (3 . 11) (8 . 14)) 4503 0.8685 3.9000 ((2 . 3) (3 . 4) (5 . 5) (8 . 6) (9 . 7) (10 . 8) (11 . 9) (12 . 10)) 4504 0.4443 6.6442 ((2 . 4) (5 . 6) (8 . 8) (12 . 13)) 4505 0.4439 9.7018 ((3 . 25) (5 . 26) (9 . 28) (12 . 30)) 4527 0.4443 6.4262 ((1 . 1) (8 . 6) (9 . 7) (11 . 8)) 4538 0.7775 3.8103 ((2 . 30) (3 . 31) (5 . 32) (8 . 33) (9 . 34) (11 . 37) (12 . 38)) 4560 0.4438 9.9099 ((8 . 14) (9 . 16) (10 . 17) (12 . 18)) 4561 0.4443 6.9717 ((1 . 7) (8 . 14) (9 . 15) (10 . 16)) 4562 0.4443 6.6225 ((2 . 22) (5 . 25) (9 . 27) (11 . 29)) 4577 0.4443 7.0203 ((2 . 49) (3 . 50) (8 . 52) (9 . 54)) 4588 0.5108 6.3978 ((2 . 1) (5 . 3) (9 . 7) (10 . 8) (11 . 9)) 4589 0.5104 8.4107 ((1 . 19) (2 . 22) (3 . 23) (10 . 27) (11 . 30)) 4621 0.4442 7.8343 ((1 . 3) (2 . 4) (8 . 9) (11 . 11)) 4630 0.4444 4.9239 ((1 . 28) (3 . 30) (5 . 33) (8 . 34)) 4648 0.4443 6.8899 ((1 . 1) (2 . 2) (5 . 5) (8 . 8)) 4653 0.5553 6.2015 ((1 . 5) (2 . 6) (3 . 7) (5 . 8) (8 . 9)) 4665 0.4443 6.3928 ((1 . 11) (2 . 12) (3 . 13) (5 . 14)) 4668 0.4441 8.2614 ((1 . 1) (3 . 3) (8 . 7) (12 . 11)) 4671 0.5555 3.9782 ((5 . 7) (8 . 8) (9 . 18) (10 . 19) (11 . 20)) 4674 0.4440 8.8738 ((3 . 6) (5 . 7) (8 . 8) (9 . 9)) 4678 0.4444 4.7784 ((5 . 11) (8 . 12) (10 . 14) (11 . 15)) 4713 0.6958 4.9037 ((3 . 3) (5 . 4) (8 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 9)) 4731 0.1980 6.8054 ((1 . 14) (5 . 18) (11 . 22) (12 . 23)) 4734 0.4444 5.7464 ((5 . 2) (8 . 5) (9 . 6) (11 . 7)) 4857 0.4442 7.9818 ((1 . 5) (5 . 9) (8 . 11) (12 . 13)) 4886 0.1495 6.1828 ((1 . 29) (2 . 30) (3 . 31) (8 . 32)) 4888 0.2861 11.3203 ((5 . 13) (8 . 14) (9 . 15) (10 . 16)) 4889 0.5554 5.0882 ((1 . 2) (2 . 3) (3 . 4) (8 . 6) (11 . 7)) 4907 0.4443 6.4227 ((1 . 1) (2 . 3) (3 . 4) (5 . 5)) 4914 0.4444 5.1633 ((1 . 1) (8 . 7) (9 . 8) (12 . 11)) 4921 0.5552 6.6131 ((1 . 7) (2 . 8) (3 . 9) (8 . 12) (11 . 14)) 4929 0.5553 5.7145 ((1 . 28) (2 . 29) (3 . 31) (8 . 33) (12 . 35)) 4932 0.4444 6.1064 ((1 . 1) (2 . 2) (3 . 4) (10 . 8)) 4940 0.4444 5.0256 ((2 . 4) (3 . 6) (5 . 7) (9 . 9)) 4941 0.4442 7.5996 ((1 . 1) (5 . 7) (9 . 11) (11 . 13)) 4944 0.4443 6.8204 ((3 . 11) (9 . 13) (11 . 15) (12 . 16)) 4978 0.4444 5.0019 ((2 . 18) (5 . 21) (8 . 22) (9 . 24)) 4982 0.4439 9.6508 ((2 . 6) (5 . 9) (8 . 10) (12 . 14)) 4992 0.5554 5.6013 ((1 . 1) (2 . 2) (3 . 3) (8 . 6) (11 . 9)) 5029 0.3524 9.8770 ((2 . 1) (5 . 4) (9 . 6) (11 . 8)) 5036 0.5551 6.8671 ((1 . 6) (2 . 7) (3 . 8) (5 . 9) (8 . 10)) 5038 0.3936 6.5128 ((3 . 9) (5 . 12) (9 . 15) (10 . 16)) 5039 0.4443 6.7914 ((1 . 39) (3 . 41) (8 . 44) (9 . 45)) 5044 0.4439 9.5810 ((8 . 1) (9 . 2) (10 . 3) (12 . 8)) 5046 0.4444 5.5649 ((3 . 3) (5 . 4) (10 . 7) (11 . 8)) 5053 0.4443 7.0867 ((2 . 2) (3 . 3) (5 . 5) (12 . 9)) 5065 0.5552 6.3643 ((1 . 2) (2 . 3) (5 . 7) (8 . 8) (9 . 9)) 5068 0.4443 7.1700 ((3 . 2) (8 . 4) (10 . 7) (12 . 10)) 5069 0.4443 6.7890 ((1 . 15) (3 . 17) (5 . 18) (8 . 19)) 5073 0.4443 7.1207 ((1 . 32) (3 . 34) (8 . 36) (10 . 39)) 5083 0.3937 5.2386 ((3 . 1) (9 . 5) (10 . 8) (11 . 9)) 5101 0.4441 8.2549 ((1 . 15) (3 . 18) (10 . 23) (12 . 25)) 5103 0.4442 7.8620 ((1 . 13) (3 . 15) (8 . 17) (10 . 19)) 5121 0.4443 7.3059 ((1 . 16) (2 . 18) (3 . 19) (5 . 21)) 5132 0.4442 7.7150 ((3 . 16) (5 . 18) (10 . 20) (12 . 22)) 5134 0.2862 7.0617 ((1 . 6) (5 . 10) (11 . 13) (12 . 14)) 5176 0.4443 6.8164 ((1 . 82) (5 . 84) (8 . 86) (9 . 87)) 5183 0.4441 8.2744 ((1 . 34) (2 . 35) (3 . 36) (5 . 37)) 5199 0.4443 6.6735 ((1 . 7) (2 . 8) (8 . 9) (11 . 10)) 5209 0.4442 7.3690 ((1 . 3) (2 . 4) (11 . 9) (12 . 10)) 5212 0.4444 3.2996 ((5 . 21) (8 . 22) (9 . 23) (10 . 24)) 5215 0.4444 4.4110 ((1 . 11) (2 . 12) (8 . 15) (9 . 16)) 5223 0.3524 9.9176 ((1 . 3) (5 . 6) (8 . 8) (12 . 12)) 5231 0.4444 4.4876 ((3 . 12) (5 . 13) (8 . 14) (9 . 16)) 5266 0.4443 6.9435 ((1 . 2) (3 . 4) (8 . 8) (12 . 10)) 5278 0.5552 6.6793 ((1 . 5) (2 . 6) (3 . 7) (5 . 8) (8 . 9)) 5307 0.4443 6.2444 ((5 . 51) (9 . 53) (11 . 55) (12 . 57)) 5312 0.4444 5.5110 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 5324 0.4443 6.4447 ((1 . 10) (3 . 12) (8 . 14) (10 . 15)) 5344 0.5554 5.3788 ((2 . 1) (3 . 2) (5 . 3) (8 . 4) (12 . 8)) 5345 0.4444 4.6914 ((1 . 7) (2 . 8) (8 . 14) (9 . 15)) 5368 0.5555 4.6167 ((1 . 36) (2 . 37) (5 . 39) (8 . 41) (9 . 43)) 5378 0.4439 9.6279 ((3 . 8) (5 . 9) (11 . 15) (12 . 16)) 5414 0.5548 7.9299 ((1 . 14) (2 . 15) (3 . 16) (5 . 18) (11 . 22)) 5418 0.4443 6.5501 ((2 . 1) (3 . 2) (5 . 3) (8 . 5)) 5421 0.5554 4.9268 ((5 . 1) (8 . 2) (9 . 3) (10 . 4) (12 . 13)) 5433 0.4443 6.3054 ((1 . 4) (3 . 7) (8 . 12) (9 . 13)) 5479 0.5555 4.1984 ((1 . 68) (2 . 69) (5 . 71) (8 . 72) (12 . 74)) 5489 0.6666 2.9650 ((1 . 5) (5 . 9) (8 . 10) (9 . 11) (11 . 13) (12 . 14)) 5500 0.4442 7.6166 ((1 . 1) (2 . 2) (11 . 12) (12 . 14)) 5535 0.4444 5.4109 ((5 . 7) (8 . 9) (11 . 11) (12 . 12)) 5540 0.4442 7.4687 ((1 . 7) (2 . 8) (9 . 14) (12 . 18)) 5557 0.5551 6.8371 ((1 . 1) (2 . 2) (3 . 3) (5 . 4) (9 . 6)) 5560 0.4443 6.3504 ((1 . 11) (2 . 13) (5 . 15) (11 . 17)) 5562 0.4444 5.2602 ((1 . 6) (2 . 7) (5 . 11) (11 . 14)) 5567 0.4441 8.3053 ((2 . 15) (5 . 17) (8 . 18) (9 . 19)) 5594 0.4443 6.7097 ((1 . 3) (2 . 4) (5 . 6) (9 . 9)) 5600 0.4437 10.2506 ((2 . 5) (3 . 6) (8 . 9) (11 . 11)) 5601 0.4443 6.7338 ((2 . 1) (5 . 5) (9 . 8) (11 . 10)) 5640 0.5553 5.9795 ((1 . 23) (3 . 25) (8 . 29) (9 . 30) (12 . 31)) 5644 0.4444 5.6437 ((3 . 1) (5 . 3) (8 . 4) (11 . 8)) 5656 0.4436 10.4927 ((1 . 2) (2 . 1) (5 . 5) (10 . 8)) 5700 0.4444 5.9366 ((1 . 4) (3 . 6) (5 . 8) (9 . 11)) 5701 0.4443 6.5485 ((1 . 8) (3 . 11) (5 . 12) (9 . 14)) 5703 0.5554 5.5130 ((1 . 1) (2 . 2) (8 . 6) (11 . 7) (12 . 8)) 5711 0.4444 4.6352 ((1 . 35) (2 . 36) (3 . 37) (8 . 42)) 5713 0.5554 4.9032 ((1 . 10) (2 . 11) (3 . 13) (8 . 18) (9 . 19)) 5718 0.4442 7.8792 ((1 . 14) (3 . 17) (5 . 18) (8 . 21)) 5731 0.4836 8.0601 ((1 . 4) (2 . 5) (9 . 9) (11 . 12) (12 . 13)) 5746 0.5554 5.4670 ((1 . 2) (5 . 6) (8 . 7) (9 . 8) (12 . 10)) 5749 0.4443 6.9018 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 5761 0.5549 7.5528 ((2 . 28) (3 . 30) (5 . 31) (8 . 32) (12 . 36)) 5770 0.4444 5.4171 ((1 . 1) (5 . 6) (11 . 9) (12 . 12)) 5771 0.4415 14.6099 ((1 . 14) (3 . 15) (5 . 17) (11 . 21)) 5782 0.4443 6.8095 ((3 . 18) (5 . 21) (8 . 22) (10 . 24)) 5794 0.4443 6.5493 ((2 . 18) (3 . 19) (8 . 23) (11 . 24)) 5822 0.4444 5.7640 ((5 . 1) (8 . 2) (10 . 4) (12 . 6)) 5827 0.5550 7.0895 ((1 . 14) (2 . 15) (3 . 16) (5 . 17) (11 . 19)) 5830 0.4444 3.9720 ((3 . 7) (5 . 8) (8 . 10) (11 . 13)) 5847 0.5553 6.1366 ((1 . 8) (2 . 9) (3 . 10) (10 . 16) (12 . 18)) 5861 0.4444 5.2135 ((1 . 21) (2 . 22) (8 . 26) (9 . 27)) 5865 0.4444 5.0647 ((8 . 1) (9 . 2) (11 . 4) (12 . 5)) 5878 0.4444 4.8315 ((5 . 25) (8 . 26) (9 . 28) (10 . 29)) 5888 0.5554 5.3560 ((1 . 16) (2 . 17) (3 . 18) (8 . 22) (9 . 23)) 5896 0.4442 7.7385 ((5 . 26) (9 . 28) (11 . 29) (12 . 31)) 5913 0.4444 6.1392 ((1 . 5) (2 . 6) (3 . 7) (12 . 13)) 5914 0.4443 6.5896 ((8 . 2) (9 . 3) (11 . 5) (12 . 6)) 5922 0.5551 6.7860 ((3 . 6) (5 . 8) (8 . 9) (11 . 10) (12 . 11)) 5930 0.4442 8.1569 ((8 . 7) (9 . 8) (10 . 9) (11 . 10)) 5945 0.4441 8.5453 ((1 . 26) (3 . 28) (10 . 32) (11 . 33)) 5955 0.4442 8.1535 ((1 . 1) (2 . 3) (5 . 5) (11 . 9)) 5977 0.4441 8.7199 ((1 . 1) (3 . 3) (8 . 5) (9 . 6)) 6011 0.5551 6.8085 ((1 . 7) (2 . 8) (3 . 9) (5 . 10) (8 . 11)) 6022 0.4443 6.7336 ((1 . 2) (2 . 4) (3 . 5) (5 . 7)) 6028 0.4443 6.6662 ((5 . 1) (8 . 3) (9 . 2) (12 . 9)) 6029 0.4444 4.4994 ((2 . 5) (3 . 6) (8 . 10) (11 . 11)) 6041 0.4444 4.2321 ((2 . 8) (5 . 10) (10 . 13) (12 . 15)) 6046 0.4443 6.6034 ((3 . 2) (5 . 3) (8 . 5) (9 . 6)) 6061 0.4444 5.8218 ((1 . 14) (2 . 15) (5 . 17) (12 . 21)) 6074 0.4436 10.7460 ((2 . 4) (5 . 6) (9 . 8) (12 . 11)) 6075 0.4442 7.4438 ((2 . 21) (5 . 24) (9 . 27) (11 . 28)) 6079 0.4443 6.6045 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 6089 0.4429 12.3461 ((1 . 11) (2 . 12) (9 . 18) (12 . 21)) 6094 0.4444 2.8627 ((1 . 4) (2 . 5) (10 . 11) (12 . 14)) 6099 0.5548 7.7316 ((3 . 5) (5 . 6) (8 . 7) (11 . 9) (12 . 10)) 6123 0.4443 6.5665 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 6142 0.5551 7.0758 ((1 . 14) (2 . 15) (3 . 16) (5 . 18) (12 . 24)) 6148 0.1980 9.8882 ((5 . 32) (8 . 33) (9 . 34) (12 . 36)) 6167 0.4443 6.9134 ((1 . 12) (2 . 14) (5 . 20) (8 . 21)) 6173 0.5555 4.0264 ((1 . 4) (2 . 5) (8 . 9) (9 . 11) (10 . 12)) 6191 0.4441 8.3975 ((1 . 4) (5 . 6) (8 . 9) (9 . 10)) 6215 0.5552 6.5603 ((5 . 17) (8 . 18) (9 . 19) (10 . 20) (12 . 24)) 6225 0.4444 6.0647 ((1 . 3) (2 . 4) (3 . 5) (12 . 10)) 6228 0.3936 7.0764 ((1 . 5) (3 . 7) (8 . 9) (10 . 12)) 6234 0.4444 4.8945 ((2 . 6) (5 . 9) (9 . 13) (12 . 15)) 6238 0.4442 7.6650 ((5 . 3) (8 . 4) (9 . 5) (12 . 7)) 6243 0.4407 5.7101 ((1 . 2) (2 . 3) (5 . 6) (9 . 8) (12 . 10)) 6258 0.4437 10.2241 ((2 . 7) (8 . 10) (11 . 12) (12 . 13)) 6261 0.4442 8.0807 ((1 . 1) (3 . 3) (8 . 9) (12 . 11)) 6266 0.4440 8.8276 ((1 . 3) (3 . 5) (10 . 8) (12 . 10)) 6270 0.4835 8.5885 ((5 . 9) (8 . 15) (9 . 17) (10 . 18) (12 . 20)) 6271 0.4444 4.4146 ((1 . 4) (2 . 5) (3 . 7) (12 . 12)) 6273 0.4436 10.4888 ((5 . 2) (8 . 4) (11 . 6) (12 . 7)) 6306 0.4444 5.0684 ((5 . 15) (8 . 16) (10 . 17) (12 . 19)) 6309 0.1980 7.5470 ((1 . 17) (2 . 18) (3 . 20) (12 . 27)) 6311 0.4444 5.5045 ((2 . 5) (8 . 9) (9 . 10) (12 . 13)) 6326 0.5265 8.3078 ((1 . 4) (2 . 5) (5 . 7) (8 . 9) (9 . 10)) 6338 0.4443 6.5605 ((1 . 4) (2 . 5) (3 . 7) (5 . 8)) 6344 0.5267 7.7418 ((1 . 12) (2 . 13) (3 . 14) (5 . 17) (10 . 21)) 6345 0.4441 8.7203 ((3 . 4) (5 . 5) (8 . 7) (9 . 6)) 6355 0.4443 6.2923 ((8 . 6) (9 . 7) (10 . 8) (11 . 9)) 6356 0.4441 8.5896 ((3 . 6) (8 . 9) (10 . 11) (12 . 13)) 6369 0.1495 7.4607 ((1 . 20) (2 . 22) (5 . 24) (8 . 26)) 6376 0.4441 8.5340 ((2 . 21) (5 . 24) (9 . 26) (11 . 28)) 6391 0.4443 6.7346 ((5 . 6) (8 . 8) (11 . 10) (12 . 12)) 6399 0.5554 5.1124 ((1 . 10) (2 . 11) (3 . 12) (8 . 16) (9 . 17)) 6403 0.5554 5.0749 ((1 . 3) (2 . 4) (3 . 5) (8 . 7) (10 . 10)) 6434 0.4444 5.6335 ((3 . 2) (5 . 3) (8 . 4) (9 . 5)) 6462 0.4444 6.1211 ((1 . 16) (3 . 18) (8 . 20) (10 . 22)) 6498 0.3934 9.0846 ((1 . 37) (5 . 42) (8 . 44) (9 . 45)) 6520 0.5109 5.7663 ((2 . 10) (5 . 13) (8 . 14) (9 . 15) (10 . 16)) 6539 0.4441 8.7035 ((5 . 2) (9 . 4) (10 . 5) (11 . 6)) 6540 0.4444 3.3444 ((1 . 19) (2 . 20) (3 . 21) (5 . 22)) 6548 0.4443 6.5614 ((2 . 7) (5 . 9) (8 . 12) (9 . 13)) 6553 0.4443 7.2013 ((3 . 11) (8 . 13) (9 . 15) (12 . 17)) 6555 0.7513 5.4408 ((2 . 17) (3 . 19) (5 . 20) (8 . 22) (9 . 23) (10 . 24) (11 . 25) (12 . 26)) 6561 0.4444 5.5271 ((1 . 3) (8 . 9) (9 . 10) (12 . 12)) 6573 0.1980 6.0603 ((5 . 22) (8 . 23) (9 . 24) (10 . 25)) 6578 0.4443 6.6000 ((5 . 31) (8 . 34) (11 . 37) (12 . 38)) 6584 0.5108 6.6348 ((1 . 2) (2 . 3) (5 . 5) (10 . 6) (11 . 8)) 6585 0.4441 8.5975 ((2 . 8) (5 . 10) (8 . 11) (12 . 14)) 6598 0.5541 9.1716 ((1 . 26) (2 . 27) (3 . 28) (5 . 29) (8 . 30)) 6613 0.4444 5.5248 ((2 . 24) (5 . 27) (8 . 28) (11 . 31)) 6635 0.1980 5.6147 ((5 . 1) (8 . 4) (9 . 5) (12 . 7)) END