3300 25 0.3521 12.6248 ((3 . 12) (9 . 13) (10 . 14) (11 . 15)) 51 0.1980 9.6223 ((4 . 1) (5 . 2) (9 . 3) (10 . 4)) 64 0.4444 6.1260 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 77 0.4443 6.5635 ((1 . 7) (2 . 8) (11 . 16) (12 . 17)) 91 0.4440 9.1881 ((3 . 32) (10 . 36) (11 . 39) (12 . 41)) 129 0.4444 6.1453 ((1 . 1) (2 . 2) (4 . 3) (5 . 5)) 136 0.3937 5.4406 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 155 0.2861 9.2584 ((1 . 3) (2 . 2) (3 . 4) (10 . 7)) 157 0.4153 11.7031 ((3 . 6) (9 . 10) (10 . 12) (12 . 15)) 161 0.4441 8.6942 ((1 . 3) (2 . 4) (3 . 7) (5 . 8)) 177 0.4442 7.6050 ((1 . 4) (2 . 5) (5 . 7) (9 . 9)) 191 0.4444 5.8049 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 198 0.4444 5.3277 ((1 . 12) (2 . 13) (4 . 16) (5 . 17)) 207 0.3525 8.2407 ((1 . 8) (3 . 11) (11 . 17) (12 . 19)) 293 0.3522 11.9043 ((3 . 1) (9 . 2) (10 . 3) (12 . 4)) 300 0.1980 9.8633 ((4 . 9) (5 . 10) (10 . 11) (11 . 12)) 305 0.4442 7.5102 ((1 . 9) (3 . 13) (4 . 15) (11 . 20)) 307 0.3524 9.9275 ((1 . 3) (5 . 7) (9 . 8) (10 . 10)) 315 0.4441 8.7356 ((1 . 4) (2 . 5) (3 . 7) (5 . 8)) 329 0.4440 9.2794 ((2 . 4) (9 . 7) (10 . 8) (11 . 9)) 340 0.4444 2.3045 ((1 . 1) (2 . 2) (4 . 4) (5 . 7)) 350 0.4440 9.1048 ((1 . 5) (2 . 7) (3 . 9) (10 . 14)) 360 0.4444 4.2702 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 361 0.4436 10.4822 ((3 . 3) (5 . 4) (10 . 5) (12 . 8)) 365 0.4444 5.5988 ((1 . 3) (2 . 4) (4 . 6) (5 . 8)) 367 0.3526 6.3137 ((1 . 44) (2 . 46) (4 . 47) (5 . 48)) 372 0.4443 6.3009 ((1 . 2) (2 . 3) (4 . 6) (5 . 7)) 405 0.4443 6.8535 ((1 . 37) (2 . 38) (4 . 39) (5 . 40)) 420 0.0999 8.1158 ((1 . 4) (2 . 5) (4 . 8) (5 . 9)) 433 0.1980 10.5739 ((2 . 1) (3 . 2) (9 . 4) (12 . 8)) 442 0.3936 7.5743 ((3 . 11) (4 . 12) (11 . 15) (12 . 17)) 460 0.4443 6.2205 ((1 . 1) (2 . 2) (4 . 3) (5 . 6)) 472 0.2861 8.7657 ((4 . 20) (5 . 21) (10 . 23) (11 . 24)) 495 0.4443 6.6109 ((1 . 5) (4 . 8) (5 . 9) (9 . 10)) 541 0.3525 7.8062 ((4 . 2) (5 . 3) (10 . 6) (12 . 9)) 543 0.3524 9.7447 ((1 . 4) (4 . 6) (5 . 8) (11 . 14)) 553 0.2859 13.8608 ((2 . 12) (3 . 10) (9 . 14) (12 . 22)) 584 0.4442 7.7408 ((1 . 13) (3 . 27) (5 . 28) (10 . 33)) 587 0.5555 2.8929 ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (5 . 16)) 609 0.4443 7.0723 ((1 . 3) (3 . 5) (5 . 6) (9 . 7)) 619 0.4444 5.3238 ((1 . 11) (2 . 12) (3 . 14) (5 . 15)) 624 0.4444 6.1212 ((1 . 20) (3 . 23) (5 . 24) (10 . 27)) 635 0.4443 6.3958 ((1 . 14) (2 . 15) (3 . 17) (5 . 18)) 672 0.3522 12.1152 ((3 . 2) (4 . 3) (10 . 7) (11 . 8)) 678 0.3934 9.2753 ((2 . 24) (4 . 26) (9 . 27) (10 . 28)) 683 0.4444 5.4872 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 729 0.4433 11.5913 ((1 . 9) (3 . 12) (9 . 14) (12 . 21)) 740 0.4444 3.0849 ((1 . 2) (2 . 3) (4 . 4) (5 . 7)) 792 0.4442 7.3676 ((3 . 16) (9 . 19) (11 . 20) (12 . 21)) 801 0.4442 7.4406 ((1 . 2) (2 . 4) (4 . 6) (5 . 7)) 812 0.2861 10.2353 ((2 . 8) (4 . 9) (5 . 11) (10 . 12)) 818 0.1980 8.8752 ((1 . 2) (3 . 3) (9 . 5) (11 . 11)) 819 0.3935 8.2181 ((2 . 8) (4 . 9) (5 . 10) (9 . 11)) 824 0.4443 6.2452 ((1 . 45) (2 . 46) (4 . 49) (5 . 50)) 834 0.2860 12.4775 ((2 . 32) (4 . 33) (9 . 36) (10 . 37)) 861 0.1980 7.3174 ((1 . 12) (2 . 15) (4 . 16) (5 . 17)) 901 0.4389 17.1718 ((5 . 7) (9 . 8) (11 . 10) (12 . 13)) 904 0.3936 7.3226 ((1 . 3) (3 . 5) (4 . 6) (5 . 7)) 913 0.4444 4.2386 ((1 . 16) (2 . 17) (3 . 18) (4 . 20)) 928 0.3525 9.2678 ((3 . 11) (4 . 12) (10 . 15) (11 . 17)) 937 0.4444 5.9591 ((2 . 1) (3 . 2) (5 . 4) (10 . 6)) 943 0.3526 6.6132 ((1 . 1) (2 . 2) (3 . 3) (10 . 7)) 945 0.3525 7.5469 ((1 . 14) (9 . 20) (10 . 21) (12 . 24)) 949 0.4434 11.0933 ((1 . 30) (4 . 32) (9 . 36) (10 . 37)) 960 0.4441 8.3312 ((9 . 20) (10 . 23) (11 . 25) (12 . 26)) 978 0.4438 9.9111 ((3 . 5) (5 . 6) (9 . 8) (11 . 11)) 980 0.4439 9.7411 ((4 . 1) (9 . 4) (10 . 6) (12 . 8)) 1005 0.4157 9.6432 ((2 . 1) (4 . 2) (10 . 6) (12 . 8)) 1007 0.4441 8.4586 ((4 . 13) (5 . 14) (9 . 15) (12 . 21)) 1034 0.4400 16.1641 ((1 . 22) (4 . 25) (5 . 26) (10 . 27)) 1082 0.3526 6.8136 ((2 . 30) (3 . 32) (11 . 38) (12 . 39)) 1084 0.2861 10.9421 ((3 . 2) (4 . 3) (10 . 6) (12 . 15)) 1124 0.3524 10.3695 ((9 . 11) (10 . 13) (11 . 15) (12 . 16)) 1165 0.4442 8.0254 ((1 . 3) (2 . 4) (3 . 5) (11 . 11)) 1167 0.4431 12.0131 ((1 . 21) (2 . 22) (3 . 24) (11 . 28)) 1169 0.4444 3.7839 ((1 . 29) (2 . 30) (4 . 33) (5 . 34)) 1195 0.4444 4.3732 ((1 . 2) (2 . 4) (4 . 5) (5 . 6)) 1201 0.3497 19.5020 ((1 . 9) (2 . 11) (4 . 14) (10 . 19)) 1204 0.3526 6.9877 ((3 . 8) (9 . 13) (10 . 15) (11 . 18)) 1211 0.4442 7.5899 ((1 . 10) (2 . 11) (4 . 14) (5 . 15)) 1217 0.2441 7.3323 ((1 . 5) (2 . 7) (3 . 8) (4 . 9)) 1224 0.4444 5.7243 ((1 . 5) (4 . 6) (5 . 7) (12 . 13)) 1233 0.4443 6.2793 ((1 . 11) (2 . 14) (4 . 17) (10 . 21)) 1267 0.3936 6.9033 ((3 . 27) (4 . 31) (10 . 34) (11 . 37)) 1268 0.2440 12.2960 ((3 . 16) (10 . 19) (11 . 20) (12 . 21)) 1294 0.3931 11.1002 ((1 . 44) (2 . 46) (3 . 45) (4 . 47)) 1345 0.4440 9.0229 ((1 . 12) (2 . 13) (9 . 17) (10 . 19)) 1366 0.4444 4.9539 ((1 . 16) (2 . 17) (3 . 18) (5 . 20)) 1388 0.4440 8.8113 ((9 . 2) (10 . 3) (11 . 6) (12 . 7)) 1410 0.4444 5.2848 ((1 . 22) (2 . 23) (4 . 25) (5 . 26)) 1415 0.4442 8.0563 ((9 . 1) (10 . 2) (11 . 4) (12 . 5)) 1425 0.4444 5.2476 ((1 . 3) (2 . 4) (3 . 7) (5 . 8)) 1435 0.4443 6.7592 ((4 . 5) (5 . 6) (9 . 7) (10 . 9)) 1447 0.2859 13.5794 ((4 . 1) (10 . 4) (11 . 6) (12 . 8)) 1451 0.2861 8.3959 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 1464 0.4444 5.6574 ((1 . 7) (2 . 8) (4 . 10) (5 . 13)) 1470 0.4443 7.1385 ((3 . 12) (10 . 16) (11 . 17) (12 . 18)) 1472 0.3521 12.4761 ((1 . 7) (2 . 8) (10 . 12) (11 . 13)) 1476 0.2862 6.4761 ((1 . 9) (4 . 11) (10 . 16) (11 . 19)) 1481 0.3936 5.7805 ((1 . 1) (2 . 2) (3 . 3) (5 . 4)) 1497 0.4437 10.4667 ((3 . 17) (10 . 22) (11 . 24) (12 . 25)) 1501 0.4444 2.6760 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 1513 0.4441 8.3848 ((1 . 3) (4 . 6) (5 . 8) (10 . 9)) 1514 0.4444 3.8846 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 1577 0.2862 6.9024 ((1 . 6) (3 . 9) (5 . 10) (9 . 11)) 1591 0.4441 8.1773 ((1 . 16) (3 . 17) (5 . 19) (10 . 20)) 1604 0.4431 12.0199 ((3 . 11) (5 . 12) (10 . 14) (11 . 16)) 1622 0.3524 9.4623 ((2 . 18) (3 . 17) (5 . 20) (10 . 21)) 1643 0.4444 3.8821 ((1 . 32) (2 . 33) (4 . 34) (5 . 36)) 1665 0.2439 15.9029 ((4 . 3) (5 . 4) (9 . 7) (12 . 11)) 1690 0.4441 8.6137 ((1 . 14) (4 . 18) (5 . 19) (10 . 22)) 1736 0.4439 9.4584 ((2 . 3) (3 . 2) (9 . 6) (10 . 8)) 1738 0.4436 10.5259 ((2 . 6) (4 . 9) (10 . 15) (12 . 20)) 1747 0.4444 3.8447 ((1 . 15) (2 . 16) (4 . 18) (5 . 19)) 1756 0.4444 5.4550 ((1 . 21) (2 . 23) (4 . 25) (5 . 26)) 1761 0.5366 7.1734 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (9 . 6)) 1763 0.5553 5.9146 ((2 . 7) (4 . 9) (5 . 10) (9 . 11) (10 . 12)) 1776 0.3524 9.5882 ((2 . 14) (5 . 19) (9 . 21) (12 . 25)) 1777 0.4442 7.3777 ((1 . 43) (2 . 45) (4 . 47) (5 . 49)) 1778 0.2862 7.6899 ((4 . 3) (5 . 4) (11 . 10) (12 . 11)) 1793 0.4442 7.7222 ((2 . 12) (4 . 13) (5 . 14) (10 . 16)) 1805 0.5556 2.0727 ((1 . 11) (2 . 12) (3 . 13) (4 . 14) (5 . 17)) 1808 0.3525 7.3233 ((1 . 4) (2 . 5) (3 . 7) (5 . 8)) 1817 0.4443 6.2307 ((1 . 14) (2 . 15) (4 . 18) (5 . 19)) 1867 0.4441 8.6343 ((2 . 1) (3 . 2) (5 . 3) (9 . 4)) 1894 0.4444 5.1619 ((4 . 21) (5 . 22) (9 . 24) (12 . 30)) 1896 0.1980 6.9432 ((1 . 23) (2 . 24) (4 . 27) (9 . 30)) 1897 0.2441 10.2346 ((2 . 39) (5 . 41) (10 . 44) (11 . 48)) 1908 0.4443 7.0391 ((1 . 3) (3 . 5) (10 . 6) (11 . 9)) 1909 0.3525 9.1057 ((3 . 24) (5 . 25) (11 . 30) (12 . 32)) 1913 0.4160 7.7041 ((1 . 6) (2 . 7) (4 . 9) (5 . 10)) 1944 0.4444 4.4106 ((1 . 3) (4 . 5) (10 . 8) (11 . 12)) 1957 0.4444 4.8063 ((1 . 11) (4 . 13) (10 . 16) (11 . 18)) 1967 0.3935 8.8895 ((1 . 3) (10 . 9) (11 . 12) (12 . 15)) 1972 0.4426 12.8857 ((3 . 17) (5 . 20) (9 . 21) (11 . 25)) 1987 0.1980 8.8705 ((3 . 8) (10 . 10) (11 . 12) (12 . 13)) 1992 0.2441 7.0993 ((1 . 2) (2 . 3) (9 . 8) (12 . 13)) 2003 0.2441 9.3790 ((1 . 5) (2 . 7) (4 . 9) (5 . 10)) 2006 0.5543 8.8990 ((1 . 18) (2 . 20) (4 . 21) (5 . 22) (10 . 27)) 2045 0.1658 10.6657 ((4 . 1) (5 . 3) (10 . 5) (12 . 30)) 2048 0.3524 9.4637 ((1 . 4) (3 . 5) (10 . 12) (12 . 15)) 2054 0.3934 9.1566 ((4 . 2) (10 . 9) (11 . 11) (12 . 12)) 2063 0.4444 6.1121 ((1 . 43) (2 . 44) (4 . 45) (5 . 47)) 2065 0.4442 8.1116 ((1 . 16) (2 . 17) (4 . 18) (5 . 19)) 2067 0.4442 7.3786 ((4 . 38) (5 . 39) (10 . 47) (11 . 48)) 2072 0.4439 9.4402 ((4 . 6) (5 . 7) (9 . 8) (10 . 9)) 2081 0.4443 6.5377 ((1 . 19) (2 . 20) (4 . 21) (5 . 23)) 2083 0.3526 6.9667 ((1 . 2) (2 . 1) (4 . 4) (5 . 5)) 2097 0.4427 12.7026 ((2 . 4) (4 . 6) (5 . 7) (12 . 15)) 2114 0.4443 6.4704 ((1 . 28) (2 . 29) (4 . 32) (10 . 37)) 2116 0.4444 5.2657 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 2117 0.4443 6.7119 ((2 . 11) (10 . 19) (11 . 21) (12 . 24)) 2118 0.4443 6.6782 ((1 . 4) (5 . 7) (10 . 9) (11 . 10)) 2122 0.4433 11.5034 ((5 . 17) (9 . 19) (10 . 20) (12 . 23)) 2166 0.4436 10.5360 ((1 . 13) (4 . 15) (5 . 16) (11 . 22)) 2179 0.1980 8.7604 ((1 . 13) (3 . 15) (9 . 18) (11 . 21)) 2196 0.4444 5.8665 ((1 . 14) (2 . 15) (4 . 18) (5 . 19)) 2203 0.1980 7.1461 ((2 . 1) (3 . 3) (5 . 5) (10 . 8)) 2205 0.3526 4.7369 ((4 . 17) (5 . 22) (11 . 24) (12 . 25)) 2220 0.1659 7.2084 ((1 . 2) (2 . 3) (4 . 5) (5 . 7)) 2243 0.4436 10.6197 ((1 . 60) (4 . 63) (5 . 64) (10 . 68)) 2244 0.4443 6.4585 ((1 . 75) (2 . 76) (4 . 77) (5 . 78)) 2248 0.2861 9.1927 ((1 . 16) (3 . 17) (10 . 23) (11 . 26)) 2269 0.3921 14.4778 ((4 . 6) (5 . 7) (10 . 9) (12 . 11)) 2279 0.4443 6.6424 ((4 . 9) (9 . 12) (11 . 15) (12 . 21)) 2298 0.4443 7.0561 ((1 . 6) (4 . 8) (10 . 13) (12 . 16)) 2308 0.3525 8.3338 ((1 . 4) (2 . 5) (10 . 10) (12 . 14)) 2340 0.4441 8.1786 ((2 . 9) (3 . 10) (5 . 11) (9 . 12)) 2342 0.2861 9.8961 ((9 . 14) (10 . 15) (11 . 16) (12 . 18)) 2344 0.4443 6.8750 ((1 . 6) (2 . 7) (10 . 12) (11 . 16)) 2364 0.4439 9.3128 ((1 . 4) (2 . 5) (9 . 10) (10 . 11)) 2389 0.4444 4.6503 ((1 . 6) (2 . 7) (4 . 8) (5 . 9)) 2408 0.4441 8.3284 ((1 . 32) (2 . 33) (4 . 37) (5 . 38)) 2409 0.3936 7.4844 ((1 . 6) (4 . 8) (9 . 10) (10 . 11)) 2423 0.4444 5.3469 ((1 . 21) (2 . 22) (4 . 25) (5 . 26)) 2443 0.4424 13.2981 ((3 . 4) (9 . 6) (11 . 8) (12 . 9)) 2447 0.4443 6.6235 ((3 . 19) (4 . 21) (5 . 24) (11 . 27)) 2462 0.1980 10.2963 ((2 . 4) (3 . 5) (5 . 6) (11 . 10)) 2465 0.4443 7.3163 ((9 . 3) (10 . 4) (11 . 5) (12 . 6)) 2510 0.4444 5.0178 ((1 . 17) (4 . 19) (10 . 24) (11 . 26)) 2525 0.4442 7.5400 ((2 . 43) (3 . 44) (5 . 47) (10 . 49)) 2529 0.4161 4.3501 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 2551 0.4440 8.9485 ((1 . 1) (3 . 2) (4 . 3) (12 . 8)) 2556 0.4435 10.8211 ((2 . 16) (3 . 17) (5 . 20) (11 . 23)) 2557 0.4441 8.2528 ((1 . 3) (4 . 6) (5 . 7) (9 . 8)) 2627 0.3520 13.0782 ((9 . 54) (10 . 55) (11 . 57) (12 . 59)) 2634 0.3525 7.6076 ((3 . 5) (9 . 7) (10 . 8) (12 . 12)) 2658 0.4430 12.2317 ((1 . 1) (4 . 3) (10 . 6) (12 . 9)) 2675 0.4442 7.8797 ((1 . 3) (2 . 4) (5 . 8) (9 . 9)) 2682 0.4433 11.4680 ((1 . 12) (2 . 13) (9 . 18) (11 . 21)) 2696 0.4444 5.9878 ((1 . 34) (2 . 35) (4 . 36) (5 . 38)) 2731 0.4444 5.1496 ((2 . 1) (3 . 2) (5 . 4) (10 . 6)) 2733 0.3526 5.8704 ((1 . 1) (2 . 8) (4 . 11) (10 . 14)) 2773 0.4444 5.6778 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 2804 0.4435 10.9976 ((2 . 31) (4 . 34) (5 . 36) (10 . 37)) 2821 0.3935 8.4816 ((4 . 4) (5 . 5) (10 . 10) (12 . 12)) 2830 0.4444 4.0493 ((1 . 11) (4 . 13) (10 . 16) (11 . 18)) 2834 0.4442 7.7399 ((1 . 1) (5 . 6) (9 . 7) (12 . 11)) 2840 0.1980 8.1959 ((2 . 6) (4 . 8) (5 . 9) (9 . 10)) 2842 0.4443 6.8938 ((1 . 4) (3 . 6) (10 . 8) (11 . 10)) 2867 0.3526 5.8746 ((4 . 7) (5 . 8) (9 . 10) (10 . 11)) 2879 0.4443 6.3752 ((1 . 53) (2 . 54) (4 . 56) (5 . 57)) 2929 0.2862 7.0996 ((1 . 36) (3 . 38) (4 . 39) (5 . 40)) 2940 0.1980 8.9406 ((4 . 5) (5 . 6) (10 . 9) (11 . 10)) 2947 0.4444 3.4557 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 2966 0.4444 5.8696 ((1 . 9) (2 . 11) (4 . 12) (5 . 13)) 2990 0.4444 5.2191 ((1 . 12) (4 . 14) (5 . 15) (10 . 17)) 3014 0.4425 13.1353 ((3 . 15) (9 . 17) (10 . 18) (12 . 21)) 3019 0.4442 7.7792 ((1 . 19) (3 . 21) (5 . 22) (10 . 24)) 3034 0.4433 11.4315 ((1 . 1) (10 . 8) (11 . 11) (12 . 13)) 3041 0.5554 5.6200 ((1 . 29) (2 . 30) (3 . 31) (5 . 32) (10 . 34)) 3055 0.4444 5.3396 ((1 . 24) (2 . 25) (4 . 27) (5 . 28)) 3063 0.3935 8.4056 ((1 . 36) (2 . 37) (4 . 38) (5 . 39)) 3070 0.4442 7.4504 ((1 . 33) (4 . 35) (5 . 36) (9 . 37)) 3084 0.3525 8.6528 ((3 . 14) (4 . 15) (10 . 18) (11 . 20)) 3102 0.2862 6.7047 ((1 . 72) (2 . 74) (4 . 77) (5 . 80)) 3103 0.4439 9.5378 ((2 . 1) (4 . 3) (9 . 6) (12 . 12)) 3120 0.4444 4.3271 ((1 . 21) (2 . 22) (3 . 23) (5 . 25)) 3127 0.3523 11.3358 ((4 . 8) (9 . 9) (11 . 16) (12 . 17)) 3147 0.4444 4.0733 ((1 . 16) (2 . 17) (4 . 18) (5 . 19)) 3176 0.1658 9.8629 ((4 . 26) (5 . 27) (10 . 30) (12 . 32)) 3187 0.4444 5.9601 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 3190 0.4444 5.6471 ((2 . 1) (4 . 3) (10 . 7) (11 . 10)) 3197 0.4443 7.1255 ((1 . 21) (3 . 23) (9 . 27) (10 . 29)) 3200 0.4161 6.2499 ((1 . 4) (4 . 6) (5 . 9) (12 . 14)) 3202 0.4117 17.5703 ((3 . 7) (4 . 8) (5 . 9) (12 . 14)) 3212 0.5551 6.8186 ((1 . 3) (2 . 5) (3 . 6) (4 . 9) (10 . 10)) 3222 0.4443 6.9217 ((1 . 10) (2 . 14) (9 . 17) (12 . 24)) 3256 0.2861 8.1334 ((1 . 25) (2 . 26) (3 . 27) (4 . 28)) 3261 0.3931 11.4517 ((1 . 3) (3 . 5) (5 . 6) (10 . 10)) 3286 0.4443 6.9311 ((3 . 2) (4 . 4) (5 . 5) (12 . 11)) 3289 0.4444 5.9796 ((2 . 27) (3 . 28) (4 . 30) (5 . 31)) 3300 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 3334 0.4439 9.5660 ((3 . 2) (5 . 3) (11 . 9) (12 . 11)) 3339 0.4443 7.1114 ((3 . 14) (5 . 17) (9 . 18) (12 . 23)) 3358 0.2861 8.3487 ((2 . 4) (3 . 5) (5 . 7) (9 . 9)) 3362 0.4444 5.7144 ((3 . 9) (4 . 10) (5 . 11) (9 . 13)) 3366 0.4444 5.9206 ((1 . 23) (2 . 24) (4 . 26) (5 . 27)) 3391 0.4440 9.1810 ((3 . 12) (5 . 13) (11 . 18) (12 . 19)) 3418 0.4444 4.6533 ((1 . 2) (2 . 5) (4 . 6) (5 . 7)) 3446 0.4434 11.2126 ((3 . 8) (9 . 9) (11 . 12) (12 . 13)) 3470 0.3516 14.8727 ((9 . 13) (10 . 14) (11 . 15) (12 . 16)) 3472 0.4444 5.5456 ((1 . 1) (2 . 3) (4 . 4) (5 . 5)) 3481 0.2862 6.4625 ((1 . 2) (2 . 4) (5 . 7) (10 . 11)) 3495 0.4443 6.3138 ((2 . 7) (9 . 10) (11 . 13) (12 . 14)) 3496 0.4443 6.8071 ((3 . 21) (4 . 22) (5 . 23) (12 . 27)) 3533 0.3936 7.6400 ((1 . 1) (2 . 3) (4 . 5) (5 . 7)) 3537 0.4435 11.0571 ((3 . 8) (5 . 9) (10 . 11) (11 . 12)) 3538 0.4435 11.0581 ((1 . 25) (2 . 26) (3 . 27) (9 . 28)) 3548 0.4444 5.3460 ((1 . 6) (2 . 8) (4 . 9) (5 . 10)) 3549 0.3936 7.0776 ((1 . 2) (2 . 3) (4 . 5) (9 . 7)) 3561 0.4443 6.2812 ((2 . 28) (4 . 30) (5 . 31) (9 . 32)) 3570 0.4442 7.5193 ((1 . 3) (3 . 6) (5 . 7) (10 . 9)) 3585 0.4444 5.1804 ((1 . 8) (4 . 12) (5 . 13) (10 . 15)) 3613 0.4444 5.1797 ((1 . 40) (2 . 41) (9 . 43) (11 . 44)) 3625 0.1980 5.1182 ((1 . 1) (2 . 2) (4 . 3) (5 . 5)) 3626 0.5554 5.5439 ((1 . 2) (2 . 3) (3 . 5) (4 . 6) (5 . 8)) 3628 0.3925 13.3776 ((1 . 3) (4 . 6) (11 . 11) (12 . 13)) 3651 0.4438 9.7825 ((2 . 9) (3 . 10) (5 . 13) (9 . 14)) 3656 0.4161 5.7117 ((1 . 22) (2 . 23) (4 . 24) (9 . 25)) 3658 0.4441 8.6315 ((1 . 5) (2 . 6) (10 . 10) (11 . 12)) 3661 0.4439 9.6732 ((4 . 11) (5 . 12) (10 . 14) (12 . 21)) 3663 0.2862 7.5345 ((1 . 1) (2 . 2) (4 . 5) (10 . 7)) 3688 0.2441 9.9796 ((1 . 27) (2 . 28) (4 . 30) (5 . 32)) 3697 0.4440 9.1001 ((1 . 1) (2 . 3) (11 . 8) (12 . 9)) 3703 0.3935 8.5293 ((4 . 7) (5 . 8) (9 . 10) (10 . 11)) 3732 0.4441 8.5431 ((1 . 2) (2 . 3) (5 . 7) (10 . 10)) 3733 0.3935 8.4492 ((2 . 1) (4 . 3) (10 . 7) (11 . 9)) 3740 0.4444 3.8410 ((1 . 1) (2 . 2) (4 . 3) (5 . 4)) 3741 0.4441 8.5177 ((1 . 2) (2 . 3) (3 . 5) (4 . 4)) 3776 0.4443 6.3066 ((2 . 17) (3 . 18) (4 . 20) (5 . 21)) 3778 0.4444 3.7894 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 3787 0.4441 8.6549 ((1 . 17) (3 . 20) (10 . 24) (11 . 25)) 3790 0.4444 3.3400 ((1 . 21) (2 . 22) (4 . 24) (5 . 25)) 3807 0.4443 6.6126 ((1 . 43) (9 . 48) (10 . 49) (11 . 51)) 3810 0.4444 6.1125 ((1 . 4) (2 . 6) (4 . 9) (5 . 10)) 3817 0.4439 9.5882 ((3 . 8) (5 . 9) (10 . 12) (12 . 14)) 3818 0.1658 12.1538 ((1 . 20) (3 . 21) (9 . 24) (10 . 27)) 3831 0.4436 10.7535 ((1 . 3) (4 . 5) (5 . 6) (10 . 7)) 3834 0.3518 13.9936 ((3 . 2) (9 . 4) (10 . 5) (12 . 6)) 3849 0.3524 9.9889 ((2 . 2) (3 . 4) (5 . 5) (9 . 7)) 3853 0.2861 8.5616 ((2 . 8) (10 . 13) (11 . 16) (12 . 19)) 3870 0.4441 8.3553 ((3 . 2) (4 . 3) (9 . 6) (12 . 9)) 3933 0.4444 5.3123 ((1 . 13) (2 . 14) (4 . 17) (5 . 18)) 3938 0.5369 5.1765 ((1 . 2) (2 . 4) (3 . 5) (4 . 8) (5 . 9)) 3942 0.2441 7.0167 ((2 . 2) (3 . 4) (9 . 6) (10 . 8)) 3968 0.1980 7.7873 ((1 . 3) (4 . 5) (10 . 10) (11 . 12)) 3986 0.3931 11.4111 ((1 . 7) (2 . 8) (5 . 13) (10 . 16)) 3990 0.3525 8.4567 ((4 . 16) (5 . 18) (10 . 19) (11 . 21)) 4005 0.4444 4.1675 ((1 . 29) (2 . 30) (3 . 31) (5 . 35)) 4009 0.4441 8.6312 ((3 . 17) (5 . 19) (11 . 24) (12 . 25)) 4019 0.4443 6.4510 ((1 . 35) (2 . 36) (4 . 39) (9 . 41)) 4034 0.4442 7.4356 ((4 . 5) (5 . 6) (9 . 7) (10 . 8)) 4037 0.2441 10.1804 ((2 . 2) (9 . 5) (10 . 6) (12 . 8)) 4062 0.4440 9.1408 ((4 . 48) (5 . 49) (9 . 51) (10 . 52)) 4067 0.1980 4.8388 ((1 . 14) (4 . 16) (10 . 21) (11 . 23)) 4077 0.3517 14.3079 ((3 . 8) (5 . 10) (10 . 12) (11 . 14)) 4082 0.1980 7.1099 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 4087 0.4444 5.9037 ((1 . 1) (2 . 3) (11 . 9) (12 . 10)) 4112 0.5555 2.7292 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (10 . 8)) 4115 0.3935 8.3059 ((1 . 15) (4 . 17) (9 . 20) (10 . 21)) 4134 0.4443 7.1725 ((3 . 27) (9 . 30) (10 . 31) (11 . 32)) 4151 0.3932 10.5711 ((4 . 5) (10 . 8) (11 . 11) (12 . 14)) 4192 0.4438 9.8394 ((3 . 11) (5 . 13) (9 . 14) (12 . 20)) 4194 0.1980 8.4139 ((1 . 1) (2 . 3) (3 . 4) (10 . 8)) 4195 0.3932 10.8230 ((2 . 6) (9 . 8) (11 . 10) (12 . 11)) 4204 0.1495 6.2649 ((1 . 3) (4 . 5) (10 . 10) (11 . 12)) 4209 0.3936 5.9604 ((2 . 1) (4 . 2) (5 . 4) (9 . 6)) 4210 0.3935 8.3173 ((4 . 4) (5 . 5) (10 . 7) (12 . 9)) 4226 0.3932 10.7883 ((3 . 10) (4 . 12) (10 . 17) (11 . 20)) 4236 0.5362 8.4643 ((1 . 5) (2 . 6) (4 . 7) (5 . 8) (11 . 13)) 4242 0.2441 10.7829 ((3 . 1) (9 . 4) (10 . 5) (12 . 8)) 4246 0.4443 7.2488 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 4254 0.3929 12.1832 ((9 . 5) (10 . 7) (11 . 10) (12 . 12)) 4261 0.1980 8.1042 ((3 . 11) (10 . 14) (11 . 16) (12 . 17)) 4265 0.3525 8.9154 ((1 . 20) (4 . 23) (10 . 27) (12 . 31)) 4266 0.4439 9.6159 ((1 . 4) (3 . 5) (11 . 14) (12 . 16)) 4274 0.3936 7.0432 ((1 . 36) (3 . 39) (4 . 40) (5 . 41)) 4275 0.4441 8.5219 ((1 . 23) (4 . 25) (5 . 27) (10 . 29)) 4281 0.4443 7.2891 ((1 . 3) (2 . 4) (10 . 11) (11 . 13)) 4284 0.4441 8.7778 ((2 . 1) (3 . 2) (5 . 3) (10 . 7)) 4299 0.4444 6.0416 ((1 . 16) (2 . 19) (4 . 20) (5 . 22)) 4326 0.4443 7.0321 ((2 . 7) (4 . 10) (10 . 16) (11 . 18)) 4332 0.4442 7.5092 ((1 . 2) (2 . 4) (5 . 6) (9 . 8)) 4352 0.3927 12.7634 ((1 . 9) (2 . 10) (10 . 14) (11 . 15)) 4359 0.4444 5.2215 ((1 . 15) (2 . 16) (4 . 17) (5 . 18)) 4380 0.4434 11.2406 ((1 . 10) (2 . 11) (4 . 15) (5 . 17)) 4386 0.4435 10.8614 ((3 . 5) (9 . 7) (10 . 8) (12 . 11)) 4398 0.4443 6.9895 ((4 . 6) (5 . 7) (10 . 9) (11 . 11)) 4405 0.4443 6.5410 ((1 . 18) (2 . 19) (3 . 20) (5 . 21)) 4408 0.4444 3.6356 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 4415 0.4444 4.3883 ((1 . 3) (2 . 4) (3 . 5) (5 . 9)) 4419 0.4439 9.5897 ((1 . 6) (4 . 9) (5 . 10) (9 . 11)) 4470 0.4443 6.2649 ((1 . 5) (4 . 8) (10 . 11) (11 . 13)) 4491 0.4435 11.0341 ((3 . 4) (4 . 5) (5 . 6) (9 . 7)) 4492 0.5545 8.4208 ((1 . 2) (2 . 3) (9 . 9) (11 . 12) (12 . 14)) 4495 0.3933 10.0848 ((1 . 2) (2 . 3) (11 . 11) (12 . 12)) 4502 0.4443 6.6547 ((1 . 6) (4 . 9) (5 . 10) (10 . 13)) 4504 0.4443 6.7538 ((1 . 4) (4 . 6) (5 . 8) (10 . 12)) 4505 0.4444 5.3921 ((1 . 25) (2 . 26) (3 . 27) (5 . 28)) 4560 0.4420 13.9128 ((1 . 13) (2 . 14) (4 . 16) (11 . 24)) 4562 0.2860 12.2500 ((5 . 19) (9 . 21) (10 . 23) (12 . 26)) 4563 0.4444 4.9838 ((1 . 26) (4 . 28) (9 . 32) (10 . 33)) 4577 0.3925 13.5185 ((2 . 27) (4 . 29) (5 . 30) (11 . 36)) 4579 0.4429 12.4221 ((3 . 16) (4 . 17) (5 . 18) (10 . 22)) 4589 0.4443 6.8088 ((1 . 22) (2 . 23) (3 . 24) (5 . 25)) 4607 0.4442 7.7237 ((3 . 11) (9 . 15) (11 . 17) (12 . 18)) 4621 0.3524 9.7586 ((2 . 6) (4 . 8) (5 . 9) (9 . 10)) 4630 0.1659 8.0876 ((1 . 34) (2 . 35) (4 . 36) (12 . 44)) 4648 0.4440 8.9318 ((4 . 1) (5 . 2) (9 . 3) (10 . 7)) 4653 0.4444 4.5142 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 4665 0.4444 2.6947 ((1 . 11) (2 . 12) (4 . 13) (5 . 14)) 4668 0.3937 4.9714 ((2 . 1) (4 . 3) (10 . 8) (11 . 10)) 4669 0.3524 9.9971 ((4 . 15) (9 . 18) (10 . 20) (12 . 22)) 4671 0.4428 12.5726 ((1 . 8) (2 . 11) (5 . 15) (9 . 16)) 4674 0.3934 9.3461 ((3 . 3) (4 . 2) (9 . 4) (10 . 5)) 4713 0.3936 7.3489 ((1 . 4) (4 . 6) (9 . 10) (10 . 11)) 4715 0.3933 9.9856 ((1 . 3) (9 . 7) (10 . 9) (12 . 13)) 4731 0.3936 7.6392 ((9 . 12) (10 . 13) (11 . 15) (12 . 16)) 4764 0.3930 11.5545 ((3 . 1) (9 . 4) (10 . 5) (12 . 7)) 4857 0.4441 8.2557 ((4 . 9) (5 . 11) (9 . 12) (12 . 15)) 4886 0.4444 3.7034 ((1 . 29) (2 . 30) (4 . 31) (5 . 32)) 4888 0.3520 13.1879 ((2 . 14) (4 . 16) (5 . 17) (11 . 23)) 4889 0.4444 3.9095 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 4907 0.5550 7.2397 ((1 . 1) (2 . 3) (4 . 4) (5 . 5) (10 . 10)) 4921 0.3936 6.8225 ((1 . 7) (2 . 8) (4 . 9) (10 . 13)) 4932 0.4443 7.0464 ((1 . 1) (2 . 2) (4 . 6) (5 . 5)) 4961 0.4440 9.1414 ((4 . 14) (5 . 15) (9 . 16) (10 . 18)) 4978 0.4443 7.3080 ((1 . 21) (4 . 24) (10 . 27) (12 . 29)) 4982 0.4157 9.7804 ((2 . 9) (9 . 13) (10 . 15) (12 . 19)) 4998 0.3927 12.7286 ((1 . 19) (2 . 20) (9 . 24) (11 . 27)) 5029 0.4444 5.7677 ((1 . 2) (2 . 4) (4 . 6) (10 . 9)) 5038 0.4444 5.9855 ((1 . 14) (2 . 15) (4 . 16) (5 . 18)) 5053 0.3936 7.7360 ((2 . 3) (4 . 5) (5 . 6) (10 . 8)) 5065 0.4444 2.9664 ((1 . 7) (2 . 8) (4 . 9) (5 . 10)) 5068 0.4442 7.7247 ((1 . 12) (4 . 15) (5 . 16) (10 . 19)) 5069 0.4444 5.1730 ((1 . 5) (2 . 7) (3 . 8) (5 . 9)) 5073 0.4439 9.4873 ((2 . 36) (3 . 37) (5 . 39) (11 . 43)) 5080 0.3523 11.0852 ((3 . 1) (5 . 3) (10 . 6) (11 . 7)) 5083 0.2862 7.2378 ((1 . 1) (3 . 4) (4 . 5) (5 . 6)) 5101 0.4444 5.5091 ((2 . 18) (3 . 19) (5 . 21) (11 . 28)) 5103 0.4433 11.4519 ((4 . 2) (9 . 5) (10 . 7) (11 . 8)) 5121 0.4424 13.2880 ((3 . 17) (4 . 19) (5 . 21) (9 . 22)) 5132 0.4433 11.5922 ((3 . 21) (5 . 22) (10 . 24) (12 . 29)) 5134 0.4440 9.1322 ((2 . 17) (3 . 18) (5 . 19) (9 . 20)) 5145 0.3935 8.5562 ((2 . 8) (3 . 9) (4 . 10) (9 . 11)) 5167 0.4443 6.2468 ((1 . 1) (4 . 3) (5 . 4) (10 . 7)) 5176 0.4443 6.9824 ((1 . 84) (2 . 86) (4 . 87) (5 . 88)) 5183 0.4443 7.1782 ((4 . 36) (5 . 37) (9 . 39) (11 . 41)) 5192 0.4441 8.2362 ((1 . 17) (3 . 19) (11 . 26) (12 . 27)) 5198 0.3525 9.0559 ((2 . 24) (3 . 23) (5 . 26) (9 . 27)) 5209 0.2441 7.5178 ((3 . 2) (4 . 4) (5 . 3) (10 . 6)) 5212 0.3928 12.3715 ((9 . 8) (10 . 9) (11 . 10) (12 . 12)) 5215 0.1495 6.5729 ((4 . 10) (5 . 11) (9 . 13) (12 . 17)) 5223 0.4443 6.6308 ((2 . 1) (4 . 3) (10 . 7) (11 . 9)) 5231 0.4444 4.1125 ((1 . 8) (2 . 12) (4 . 13) (5 . 14)) 5266 0.4442 8.0379 ((2 . 10) (3 . 11) (5 . 13) (10 . 16)) 5278 0.4443 7.3557 ((1 . 8) (2 . 9) (4 . 10) (5 . 12)) 5285 0.4440 9.0677 ((9 . 1) (10 . 2) (11 . 5) (12 . 6)) 5307 0.4438 10.0414 ((1 . 53) (4 . 55) (5 . 57) (9 . 59)) 5312 0.5551 6.7757 ((1 . 1) (2 . 2) (4 . 3) (5 . 4) (10 . 6)) 5318 0.3525 7.9652 ((1 . 22) (2 . 23) (4 . 24) (9 . 28)) 5323 0.4443 6.8558 ((3 . 2) (9 . 4) (10 . 8) (11 . 9)) 5324 0.5551 6.8029 ((2 . 20) (5 . 22) (9 . 23) (10 . 26) (12 . 27)) 5344 0.4443 6.2062 ((1 . 7) (2 . 8) (4 . 9) (5 . 10)) 5345 0.4444 4.8239 ((2 . 12) (4 . 13) (5 . 14) (11 . 20)) 5368 0.4444 2.9385 ((1 . 34) (2 . 35) (4 . 36) (5 . 37)) 5378 0.4440 9.0786 ((4 . 8) (5 . 9) (9 . 10) (10 . 13)) 5414 0.4444 5.3067 ((1 . 14) (2 . 15) (4 . 16) (5 . 18)) 5418 0.4443 6.6887 ((2 . 2) (4 . 3) (5 . 5) (10 . 10)) 5442 0.4439 9.4688 ((9 . 32) (10 . 33) (11 . 34) (12 . 35)) 5479 0.3525 7.4853 ((1 . 55) (2 . 56) (4 . 59) (12 . 65)) 5487 0.4442 7.9630 ((2 . 9) (3 . 10) (5 . 11) (9 . 12)) 5489 0.3526 7.0321 ((1 . 10) (2 . 11) (4 . 13) (9 . 15)) 5500 0.4441 8.1806 ((1 . 1) (2 . 2) (4 . 3) (10 . 6)) 5501 0.4438 9.8567 ((4 . 24) (5 . 25) (9 . 27) (10 . 28)) 5525 0.3926 13.1316 ((1 . 7) (2 . 8) (10 . 12) (11 . 13)) 5535 0.4431 11.8500 ((2 . 4) (3 . 5) (4 . 6) (11 . 13)) 5540 0.4440 9.1530 ((4 . 3) (5 . 4) (9 . 5) (12 . 13)) 5557 0.4443 6.1877 ((4 . 2) (5 . 3) (10 . 5) (11 . 8)) 5560 0.4438 10.1212 ((3 . 1) (10 . 6) (11 . 7) (12 . 8)) 5562 0.4443 6.7149 ((1 . 11) (5 . 14) (11 . 20) (12 . 21)) 5594 0.4438 10.1162 ((5 . 6) (9 . 7) (10 . 8) (12 . 13)) 5600 0.4443 6.3573 ((1 . 3) (2 . 6) (3 . 7) (9 . 10)) 5601 0.1980 11.1283 ((1 . 1) (3 . 4) (5 . 5) (9 . 6)) 5640 0.4444 4.1477 ((1 . 19) (2 . 20) (4 . 21) (5 . 22)) 5656 0.4442 7.8758 ((1 . 1) (9 . 6) (11 . 11) (12 . 12)) 5689 0.4419 14.0833 ((3 . 11) (9 . 14) (10 . 16) (11 . 18)) 5701 0.4438 9.8057 ((1 . 6) (3 . 7) (5 . 8) (11 . 13)) 5703 0.4444 3.2281 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 5711 0.4440 9.1744 ((1 . 42) (4 . 44) (5 . 46) (10 . 48)) 5713 0.0999 5.7228 ((1 . 11) (2 . 13) (4 . 15) (5 . 16)) 5718 0.4441 8.4201 ((1 . 16) (2 . 17) (5 . 21) (9 . 22)) 5731 0.4443 6.7661 ((1 . 2) (2 . 3) (4 . 5) (9 . 8)) 5746 0.4444 5.5539 ((1 . 2) (3 . 4) (5 . 6) (11 . 12)) 5749 0.3933 10.2375 ((4 . 3) (5 . 4) (11 . 8) (12 . 9)) 5761 0.4444 5.7035 ((2 . 28) (4 . 30) (5 . 31) (10 . 33)) 5770 0.4440 9.1735 ((1 . 6) (4 . 8) (11 . 19) (12 . 21)) 5771 0.4431 12.0469 ((3 . 2) (9 . 6) (10 . 7) (11 . 10)) 5782 0.4444 5.1631 ((1 . 14) (2 . 15) (3 . 17) (5 . 18)) 5794 0.4160 6.9238 ((1 . 18) (2 . 19) (3 . 22) (5 . 23)) 5795 0.2861 9.4779 ((2 . 9) (4 . 10) (9 . 14) (10 . 15)) 5809 0.3934 9.4758 ((2 . 1) (4 . 3) (10 . 6) (12 . 8)) 5822 0.3524 9.5468 ((1 . 1) (4 . 4) (11 . 10) (12 . 11)) 5827 0.4444 5.7613 ((1 . 14) (2 . 15) (4 . 16) (5 . 17)) 5830 0.4443 6.7937 ((1 . 10) (3 . 11) (4 . 13) (9 . 16)) 5847 0.4444 5.9068 ((1 . 7) (2 . 8) (4 . 9) (5 . 10)) 5865 0.4444 5.2739 ((1 . 1) (2 . 2) (9 . 6) (12 . 8)) 5878 0.2862 7.8162 ((1 . 25) (2 . 26) (4 . 29) (9 . 31)) 5888 0.0999 6.2492 ((1 . 25) (2 . 26) (4 . 28) (5 . 29)) 5896 0.4440 9.1055 ((1 . 28) (3 . 30) (5 . 31) (9 . 32)) 5904 0.1980 6.6354 ((2 . 1) (4 . 4) (5 . 7) (12 . 10)) 5913 0.4441 8.6975 ((1 . 6) (4 . 9) (5 . 10) (9 . 12)) 5930 0.4439 9.5195 ((2 . 1) (4 . 2) (5 . 4) (10 . 6)) 5939 0.3932 10.9848 ((1 . 8) (2 . 9) (9 . 13) (10 . 15)) 5945 0.4443 6.4048 ((3 . 29) (5 . 32) (10 . 34) (11 . 35)) 5949 0.4442 7.4146 ((1 . 1) (4 . 4) (10 . 8) (12 . 13)) 5955 0.4442 7.4040 ((1 . 1) (4 . 3) (10 . 8) (12 . 10)) 5972 0.3937 4.6993 ((2 . 6) (3 . 4) (4 . 7) (10 . 8)) 6000 0.4438 10.1210 ((2 . 17) (3 . 18) (9 . 22) (11 . 27)) 6011 0.2862 6.8243 ((2 . 13) (4 . 14) (5 . 15) (9 . 17)) 6022 0.2862 5.4757 ((1 . 5) (2 . 7) (4 . 8) (5 . 9)) 6029 0.4444 3.9010 ((1 . 18) (2 . 19) (3 . 20) (5 . 21)) 6041 0.3930 11.7971 ((2 . 2) (3 . 3) (9 . 4) (12 . 9)) 6046 0.4444 5.5664 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 6061 0.2441 7.9455 ((1 . 13) (4 . 15) (10 . 18) (12 . 22)) 6074 0.4444 5.3280 ((2 . 2) (4 . 4) (10 . 7) (11 . 10)) 6075 0.3933 10.2828 ((3 . 16) (5 . 17) (9 . 18) (12 . 23)) 6079 0.3934 9.2258 ((1 . 9) (9 . 14) (10 . 15) (12 . 18)) 6087 0.3525 8.4816 ((3 . 2) (5 . 3) (11 . 7) (12 . 9)) 6089 0.4440 8.9027 ((3 . 22) (4 . 23) (9 . 25) (10 . 26)) 6094 0.4443 7.0060 ((1 . 2) (2 . 3) (4 . 5) (9 . 8)) 6099 0.4444 4.8404 ((1 . 24) (2 . 25) (4 . 26) (5 . 28)) 6123 0.3936 7.6815 ((2 . 2) (4 . 3) (5 . 4) (10 . 7)) 6142 0.4444 4.8539 ((1 . 10) (2 . 11) (4 . 12) (5 . 13)) 6167 0.4157 9.7367 ((1 . 4) (4 . 7) (5 . 9) (12 . 22)) 6169 0.3521 12.2192 ((9 . 12) (10 . 13) (11 . 15) (12 . 16)) 6173 0.4443 6.6894 ((1 . 4) (2 . 5) (5 . 8) (11 . 16)) 6192 0.4441 8.2373 ((3 . 2) (5 . 3) (10 . 7) (11 . 9)) 6215 0.4440 8.8878 ((4 . 19) (5 . 20) (9 . 22) (10 . 23)) 6225 0.4437 10.2816 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 6228 0.4441 8.4428 ((4 . 11) (5 . 12) (10 . 16) (12 . 18)) 6234 0.5423 7.9311 ((1 . 6) (2 . 7) (3 . 8) (4 . 9) (5 . 10)) 6238 0.4439 9.5320 ((1 . 3) (2 . 4) (3 . 6) (11 . 10)) 6243 0.2861 9.3078 ((1 . 8) (5 . 10) (9 . 11) (10 . 12)) 6258 0.1495 12.7872 ((1 . 4) (2 . 3) (3 . 5) (4 . 7)) 6261 0.4431 11.9397 ((4 . 11) (9 . 15) (10 . 17) (11 . 18)) 6266 0.4443 6.4769 ((1 . 6) (2 . 8) (4 . 10) (10 . 12)) 6270 0.4444 5.8156 ((1 . 15) (4 . 17) (5 . 18) (11 . 23)) 6271 0.5550 7.3032 ((1 . 5) (4 . 10) (5 . 11) (9 . 13) (10 . 14)) 6273 0.3931 11.4663 ((1 . 4) (3 . 5) (4 . 6) (5 . 7)) 6294 0.3524 10.1966 ((3 . 5) (5 . 6) (10 . 10) (11 . 12)) 6306 0.4443 6.9203 ((1 . 17) (4 . 19) (5 . 21) (10 . 23)) 6326 0.4443 6.4218 ((1 . 9) (2 . 10) (4 . 11) (5 . 12)) 6329 0.2860 13.0439 ((3 . 3) (9 . 5) (11 . 7) (12 . 9)) 6338 0.4443 6.2415 ((1 . 4) (2 . 5) (4 . 7) (5 . 8)) 6344 0.3524 10.4060 ((2 . 3) (10 . 9) (11 . 10) (12 . 11)) 6345 0.1980 8.8167 ((4 . 6) (5 . 7) (10 . 8) (11 . 9)) 6355 0.3935 8.0602 ((1 . 9) (2 . 10) (4 . 11) (5 . 12)) 6356 0.3935 8.2737 ((4 . 6) (10 . 10) (11 . 12) (12 . 14)) 6369 0.4444 6.0717 ((1 . 5) (2 . 6) (3 . 8) (5 . 9)) 6376 0.4442 7.7922 ((2 . 19) (4 . 21) (11 . 29) (12 . 30)) 6391 0.3937 5.4003 ((1 . 8) (2 . 10) (3 . 11) (4 . 12)) 6392 0.3522 11.6089 ((5 . 3) (9 . 5) (10 . 6) (12 . 10)) 6399 0.4444 5.4354 ((1 . 27) (2 . 28) (4 . 29) (5 . 30)) 6403 0.4443 6.2644 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 6434 0.4442 7.9073 ((1 . 3) (2 . 4) (10 . 7) (11 . 9)) 6462 0.4444 5.8485 ((2 . 4) (4 . 5) (5 . 6) (9 . 8)) 6498 0.4441 8.5364 ((3 . 32) (10 . 36) (11 . 39) (12 . 41)) 6520 0.2861 8.1619 ((2 . 14) (9 . 18) (11 . 22) (12 . 23)) 6536 0.2861 10.4961 ((3 . 28) (9 . 30) (10 . 32) (12 . 34)) 6548 0.4444 5.8972 ((2 . 9) (3 . 10) (4 . 12) (5 . 13)) 6553 0.4442 7.4940 ((3 . 12) (4 . 13) (5 . 15) (11 . 19)) 6555 0.4442 7.5521 ((2 . 20) (3 . 21) (4 . 22) (5 . 23)) 6561 0.3936 6.4680 ((1 . 9) (2 . 10) (3 . 11) (12 . 16)) 6578 0.4443 6.8674 ((1 . 31) (4 . 34) (5 . 37) (10 . 39)) 6584 0.4442 7.9121 ((1 . 2) (2 . 3) (3 . 4) (5 . 5)) 6585 0.2441 10.1740 ((1 . 2) (5 . 8) (10 . 9) (12 . 12)) 6586 0.3522 11.5611 ((9 . 17) (10 . 19) (11 . 22) (12 . 23)) 6587 0.3526 7.0782 ((3 . 30) (5 . 33) (9 . 35) (10 . 36)) 6598 0.4444 3.7707 ((1 . 24) (2 . 25) (4 . 26) (5 . 27)) 6613 0.2861 8.5567 ((2 . 21) (4 . 22) (10 . 25) (11 . 26)) 6635 0.4437 10.4422 ((2 . 1) (4 . 4) (10 . 9) (11 . 10)) END