4415 25 0.4435 10.8460 ((2 . 2) (5 . 5) (10 . 9) (11 . 11)) 41 0.5555 4.3180 ((1 . 3) (4 . 5) (5 . 6) (9 . 7) (10 . 8)) 51 0.4443 6.1738 ((3 . 1) (4 . 2) (9 . 7) (10 . 9)) 62 0.2862 6.5151 ((4 . 10) (9 . 13) (10 . 15) (11 . 17)) 64 0.4444 6.1254 ((3 . 9) (4 . 10) (9 . 13) (11 . 15)) 77 0.4443 6.2304 ((2 . 12) (3 . 13) (4 . 15) (5 . 17)) 91 0.4443 6.5538 ((4 . 28) (5 . 30) (9 . 31) (10 . 32)) 96 0.4444 4.8297 ((1 . 1) (2 . 2) (3 . 3) (5 . 7)) 129 0.4442 7.7211 ((1 . 2) (3 . 5) (4 . 8) (9 . 12)) 136 0.4444 5.0236 ((1 . 3) (2 . 4) (3 . 5) (4 . 7)) 150 0.6666 3.7846 ((1 . 19) (4 . 20) (5 . 21) (9 . 23) (10 . 24) (11 . 25)) 153 0.4444 5.9932 ((1 . 6) (3 . 8) (4 . 9) (9 . 12)) 157 0.5541 9.1849 ((4 . 1) (5 . 2) (9 . 5) (10 . 6) (11 . 8)) 161 0.4441 8.3050 ((9 . 6) (10 . 7) (11 . 9) (12 . 10)) 169 0.4444 4.0402 ((1 . 4) (3 . 7) (4 . 8) (9 . 10)) 177 0.3525 8.9437 ((1 . 1) (3 . 3) (9 . 8) (10 . 9)) 191 0.4435 10.9533 ((1 . 2) (3 . 4) (9 . 6) (11 . 8)) 198 0.4437 10.1602 ((1 . 1) (4 . 7) (9 . 12) (11 . 16)) 207 0.5555 4.3679 ((3 . 7) (4 . 8) (5 . 11) (9 . 13) (11 . 15)) 300 0.4442 7.4164 ((2 . 5) (3 . 7) (4 . 9) (10 . 12)) 305 0.4444 3.6136 ((1 . 9) (2 . 10) (3 . 11) (4 . 15)) 307 0.5555 3.5679 ((4 . 3) (5 . 6) (9 . 7) (10 . 8) (11 . 9)) 315 0.4443 6.7205 ((4 . 3) (9 . 6) (11 . 9) (12 . 10)) 340 0.3526 6.9678 ((9 . 2) (10 . 5) (11 . 7) (12 . 9)) 350 0.4443 6.3591 ((3 . 1) (4 . 2) (9 . 7) (11 . 10)) 360 0.5555 4.3582 ((1 . 3) (3 . 6) (9 . 12) (10 . 13) (11 . 14)) 361 0.4443 7.1419 ((1 . 2) (2 . 3) (3 . 4) (10 . 9)) 365 0.4442 7.6752 ((3 . 1) (4 . 2) (9 . 6) (10 . 7)) 367 0.4444 5.6037 ((3 . 38) (4 . 40) (9 . 43) (11 . 46)) 372 0.3525 8.4178 ((3 . 2) (4 . 5) (9 . 10) (12 . 14)) 387 0.2862 7.4837 ((4 . 7) (9 . 9) (11 . 11) (12 . 12)) 417 0.4443 7.1931 ((1 . 2) (3 . 3) (5 . 6) (9 . 9)) 420 0.4442 7.8781 ((1 . 2) (3 . 4) (4 . 5) (9 . 10)) 433 0.5553 6.1365 ((1 . 1) (4 . 5) (9 . 7) (10 . 8) (11 . 9)) 442 0.5555 4.3636 ((2 . 9) (3 . 10) (4 . 12) (5 . 13) (9 . 14)) 460 0.4444 5.5474 ((1 . 6) (3 . 7) (4 . 8) (5 . 9)) 472 0.4441 8.4482 ((2 . 23) (5 . 28) (9 . 31) (10 . 33)) 491 0.4443 7.3166 ((3 . 1) (5 . 5) (11 . 9) (12 . 10)) 495 0.4444 3.1651 ((5 . 4) (9 . 5) (10 . 6) (11 . 7)) 541 0.4444 5.4627 ((3 . 3) (4 . 5) (5 . 6) (11 . 11)) 543 0.4429 12.4222 ((1 . 4) (3 . 6) (4 . 8) (10 . 14)) 553 0.3524 10.0294 ((2 . 9) (3 . 12) (5 . 14) (10 . 20)) 561 0.6667 2.0291 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (9 . 6)) 584 0.4444 3.9690 ((1 . 5) (4 . 10) (5 . 12) (9 . 13)) 587 0.4443 6.2215 ((3 . 10) (4 . 11) (9 . 14) (11 . 16)) 609 0.4444 2.9287 ((4 . 1) (5 . 2) (9 . 3) (11 . 6)) 619 0.4442 7.7896 ((1 . 7) (4 . 12) (5 . 14) (9 . 15)) 624 0.5737 4.2616 ((1 . 7) (4 . 9) (5 . 10) (9 . 11) (10 . 12) (11 . 13)) 635 0.5544 8.6768 ((1 . 3) (2 . 4) (3 . 5) (10 . 12) (11 . 13)) 672 0.4443 6.1846 ((1 . 16) (2 . 17) (3 . 18) (4 . 21)) 678 0.5535 10.0997 ((4 . 24) (5 . 25) (9 . 26) (10 . 28) (12 . 29)) 683 0.1980 9.8468 ((9 . 1) (10 . 4) (11 . 5) (12 . 6)) 719 0.4444 3.5471 ((1 . 25) (9 . 27) (10 . 29) (11 . 30)) 729 0.5555 2.8607 ((4 . 9) (5 . 12) (9 . 13) (10 . 14) (11 . 15)) 735 0.4432 11.7670 ((4 . 29) (5 . 30) (9 . 32) (11 . 36)) 765 0.4443 6.9899 ((1 . 3) (4 . 7) (9 . 12) (11 . 18)) 767 0.4444 3.7223 ((4 . 1) (5 . 2) (9 . 8) (12 . 11)) 795 0.5549 7.4323 ((5 . 2) (9 . 3) (10 . 4) (11 . 5) (12 . 6)) 796 0.5555 3.3128 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7)) 812 0.4444 3.1097 ((5 . 10) (9 . 11) (10 . 12) (11 . 13)) 818 0.4444 4.9370 ((4 . 1) (9 . 4) (10 . 5) (11 . 7)) 819 0.2861 11.0827 ((1 . 2) (2 . 4) (4 . 5) (11 . 9)) 861 0.4443 6.4541 ((1 . 12) (3 . 15) (4 . 16) (9 . 19)) 901 0.6650 7.6423 ((2 . 11) (4 . 15) (5 . 16) (9 . 17) (10 . 19) (11 . 20)) 904 0.4444 4.5155 ((5 . 1) (9 . 3) (10 . 5) (11 . 6)) 913 0.2862 4.5652 ((1 . 17) (2 . 18) (4 . 20) (5 . 21)) 928 0.5555 2.9183 ((4 . 12) (5 . 13) (9 . 14) (10 . 15) (11 . 16)) 937 0.5555 3.1296 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6)) 943 0.5555 3.2991 ((4 . 4) (5 . 5) (9 . 6) (10 . 7) (11 . 8)) 945 0.5737 4.4569 ((1 . 12) (4 . 14) (5 . 18) (9 . 19) (10 . 21) (11 . 22)) 949 0.5555 4.5282 ((1 . 27) (3 . 30) (4 . 32) (5 . 33) (10 . 37)) 960 0.4444 5.8671 ((1 . 8) (4 . 12) (10 . 16) (11 . 19)) 978 0.5555 4.5746 ((4 . 13) (5 . 15) (9 . 16) (10 . 18) (11 . 19)) 980 0.5555 3.1136 ((4 . 3) (5 . 4) (9 . 5) (10 . 6) (11 . 7)) 1007 0.5554 4.9687 ((2 . 6) (3 . 7) (4 . 8) (9 . 12) (11 . 14)) 1008 0.4444 5.1493 ((1 . 8) (2 . 11) (4 . 13) (9 . 16)) 1034 0.5551 7.0245 ((2 . 23) (5 . 27) (9 . 29) (10 . 31) (11 . 32)) 1043 0.5552 6.3701 ((4 . 1) (5 . 5) (9 . 6) (10 . 7) (12 . 10)) 1082 0.5554 5.2573 ((1 . 8) (4 . 12) (5 . 14) (9 . 16) (11 . 19)) 1084 0.4437 10.3624 ((4 . 3) (10 . 6) (11 . 9) (12 . 10)) 1165 0.5737 4.2809 ((1 . 4) (4 . 7) (5 . 9) (9 . 10) (10 . 11) (11 . 12)) 1167 0.4442 7.6648 ((4 . 20) (9 . 22) (10 . 24) (12 . 27)) 1195 0.4444 3.6011 ((2 . 1) (3 . 2) (4 . 4) (9 . 6)) 1201 0.4431 11.8834 ((1 . 7) (3 . 9) (4 . 11) (5 . 13)) 1204 0.4444 4.2878 ((4 . 3) (5 . 4) (9 . 5) (10 . 6)) 1211 0.4444 5.6395 ((3 . 8) (4 . 9) (9 . 11) (11 . 15)) 1217 0.4444 5.0236 ((1 . 5) (4 . 7) (5 . 8) (12 . 11)) 1224 0.6662 5.4298 ((1 . 3) (3 . 6) (4 . 7) (9 . 10) (10 . 11) (11 . 14)) 1233 0.5555 3.3560 ((4 . 17) (5 . 19) (9 . 20) (10 . 21) (11 . 22)) 1267 0.5553 6.2133 ((2 . 27) (4 . 33) (5 . 34) (9 . 36) (10 . 37)) 1268 0.3517 14.3711 ((2 . 17) (5 . 19) (10 . 20) (11 . 22)) 1294 0.4443 7.2386 ((1 . 39) (3 . 41) (4 . 43) (9 . 46)) 1345 0.5555 4.5007 ((4 . 7) (5 . 8) (9 . 9) (10 . 10) (11 . 12)) 1366 0.6665 4.2566 ((1 . 12) (2 . 13) (3 . 14) (4 . 15) (9 . 17) (11 . 22)) 1388 0.7772 4.7167 ((1 . 1) (2 . 3) (3 . 4) (4 . 5) (5 . 6) (9 . 8) (10 . 10)) 1410 0.4443 7.2170 ((1 . 19) (3 . 22) (4 . 23) (9 . 26)) 1425 0.4444 3.8258 ((1 . 4) (2 . 7) (3 . 8) (4 . 10)) 1435 0.5530 10.6256 ((1 . 2) (3 . 3) (4 . 5) (10 . 9) (12 . 11)) 1447 0.5555 3.5524 ((4 . 1) (5 . 2) (9 . 3) (10 . 4) (11 . 5)) 1451 0.4444 3.2082 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 1476 0.5555 3.0553 ((4 . 14) (5 . 16) (9 . 18) (10 . 19) (11 . 20)) 1481 0.4443 7.0079 ((3 . 1) (4 . 2) (5 . 3) (10 . 8)) 1501 0.5540 9.3129 ((3 . 1) (4 . 2) (9 . 5) (11 . 8) (12 . 9)) 1513 0.4444 5.9571 ((1 . 2) (4 . 5) (10 . 9) (11 . 11)) 1514 0.6666 3.0681 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (9 . 6)) 1577 0.4442 8.0273 ((3 . 6) (4 . 10) (5 . 11) (11 . 15)) 1591 0.5555 4.4398 ((4 . 8) (5 . 10) (9 . 11) (10 . 12) (11 . 14)) 1595 0.2862 5.2961 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 1604 0.6666 3.6555 ((3 . 1) (4 . 3) (5 . 6) (9 . 7) (10 . 9) (11 . 10)) 1622 0.5554 4.7907 ((4 . 18) (5 . 19) (9 . 20) (10 . 21) (11 . 22)) 1624 0.1980 9.5438 ((1 . 2) (3 . 3) (9 . 9) (10 . 11)) 1643 0.4444 5.3375 ((3 . 18) (4 . 20) (9 . 26) (11 . 28)) 1644 0.4443 6.2666 ((1 . 44) (3 . 47) (4 . 50) (9 . 52)) 1665 0.4444 2.7004 ((5 . 7) (9 . 8) (10 . 9) (11 . 10)) 1690 0.5555 4.7262 ((4 . 1) (5 . 7) (9 . 8) (10 . 9) (11 . 11)) 1692 0.4444 5.9699 ((3 . 1) (5 . 4) (11 . 9) (12 . 10)) 1731 0.4443 6.2244 ((1 . 3) (2 . 5) (3 . 6) (11 . 13)) 1736 0.5554 5.4191 ((1 . 3) (4 . 5) (5 . 6) (9 . 7) (11 . 10)) 1738 0.4444 4.7901 ((9 . 4) (10 . 5) (11 . 6) (12 . 9)) 1747 0.4443 7.1090 ((1 . 15) (3 . 18) (4 . 19) (9 . 25)) 1756 0.3935 8.5010 ((4 . 21) (9 . 25) (11 . 29) (12 . 30)) 1759 0.4444 5.5747 ((1 . 4) (3 . 6) (4 . 8) (9 . 13)) 1761 0.5555 3.9870 ((4 . 7) (5 . 8) (9 . 9) (10 . 10) (11 . 11)) 1763 0.1658 11.5443 ((5 . 8) (9 . 9) (10 . 11) (12 . 13)) 1776 0.5555 4.5020 ((4 . 1) (5 . 6) (9 . 7) (10 . 8) (11 . 9)) 1778 0.5553 6.2194 ((1 . 2) (3 . 4) (4 . 5) (5 . 6) (9 . 8)) 1793 0.5539 9.5185 ((4 . 4) (5 . 5) (9 . 6) (10 . 7) (11 . 8)) 1805 0.4443 6.2860 ((3 . 11) (4 . 12) (9 . 15) (11 . 17)) 1808 0.4444 5.9445 ((1 . 5) (2 . 7) (3 . 8) (4 . 9)) 1817 0.4443 6.4770 ((3 . 13) (4 . 14) (9 . 20) (10 . 21)) 1867 0.4444 5.9610 ((9 . 1) (10 . 2) (11 . 3) (12 . 6)) 1894 0.4443 6.3893 ((1 . 18) (3 . 20) (4 . 23) (9 . 26)) 1896 0.4442 7.5418 ((1 . 3) (2 . 4) (3 . 5) (10 . 13)) 1897 0.4444 4.5598 ((3 . 39) (4 . 40) (5 . 44) (9 . 46)) 1908 0.4444 3.7092 ((5 . 9) (9 . 10) (10 . 14) (11 . 15)) 1909 0.5554 5.0177 ((4 . 25) (5 . 30) (9 . 31) (10 . 32) (11 . 34)) 1913 0.4444 5.8208 ((1 . 1) (2 . 2) (3 . 3) (12 . 14)) 1944 0.5549 7.6307 ((4 . 7) (5 . 8) (9 . 9) (11 . 13) (12 . 16)) 1957 0.5555 2.6101 ((4 . 13) (5 . 14) (9 . 15) (10 . 16) (11 . 17)) 1961 0.5554 5.5748 ((1 . 16) (2 . 18) (3 . 19) (4 . 20) (10 . 25)) 1967 0.4444 4.8773 ((3 . 1) (4 . 3) (5 . 4) (9 . 7)) 1972 0.4444 3.4714 ((4 . 20) (9 . 24) (10 . 25) (11 . 27)) 1992 0.4444 5.2449 ((1 . 9) (2 . 10) (3 . 12) (4 . 14)) 1995 0.4444 5.1014 ((3 . 1) (4 . 2) (9 . 7) (11 . 11)) 2003 0.4444 5.9853 ((2 . 6) (3 . 7) (4 . 9) (9 . 12)) 2006 0.4444 5.8695 ((3 . 16) (4 . 18) (9 . 21) (11 . 24)) 2045 0.4444 5.7533 ((3 . 3) (4 . 7) (11 . 11) (12 . 13)) 2048 0.4441 8.5594 ((4 . 1) (9 . 4) (10 . 5) (12 . 6)) 2063 0.4444 4.5243 ((1 . 44) (2 . 46) (3 . 47) (4 . 50)) 2065 0.4443 6.3583 ((3 . 16) (4 . 17) (9 . 22) (11 . 25)) 2067 0.4427 12.7123 ((1 . 54) (2 . 56) (4 . 60) (10 . 64)) 2072 0.4442 7.6226 ((1 . 2) (2 . 3) (4 . 6) (10 . 9)) 2081 0.4444 4.9391 ((2 . 18) (3 . 19) (4 . 20) (9 . 23)) 2083 0.4840 5.3644 ((3 . 1) (4 . 2) (5 . 3) (9 . 7) (10 . 8)) 2097 0.4440 9.1731 ((5 . 2) (9 . 3) (11 . 5) (12 . 6)) 2114 0.4444 5.4836 ((2 . 30) (3 . 32) (4 . 34) (5 . 35)) 2116 0.4441 8.3626 ((1 . 1) (3 . 2) (9 . 7) (11 . 10)) 2117 0.4444 3.9380 ((1 . 22) (9 . 23) (10 . 24) (11 . 25)) 2118 0.5508 12.4663 ((3 . 3) (4 . 5) (5 . 6) (9 . 7) (10 . 8)) 2122 0.5554 4.8329 ((4 . 1) (9 . 6) (10 . 7) (11 . 8) (12 . 10)) 2166 0.5552 6.4855 ((1 . 13) (2 . 14) (3 . 15) (4 . 16) (9 . 21)) 2179 0.4444 4.2947 ((3 . 9) (4 . 10) (5 . 12) (9 . 13)) 2203 0.5554 5.4493 ((1 . 1) (2 . 3) (4 . 7) (5 . 8) (9 . 10)) 2205 0.4444 5.5766 ((1 . 17) (3 . 19) (4 . 22) (9 . 26)) 2209 0.4444 4.5849 ((4 . 3) (9 . 7) (10 . 8) (11 . 9)) 2243 0.4444 5.1155 ((1 . 42) (3 . 45) (4 . 47) (9 . 51)) 2244 0.4438 9.9463 ((1 . 71) (3 . 75) (4 . 76) (9 . 80)) 2248 0.4444 4.6340 ((4 . 16) (5 . 20) (9 . 22) (10 . 23)) 2249 0.4444 3.5356 ((1 . 16) (2 . 19) (3 . 20) (4 . 23)) 2269 0.5554 5.5177 ((1 . 7) (4 . 10) (5 . 11) (9 . 12) (10 . 13)) 2279 0.5555 3.5592 ((2 . 1) (3 . 3) (4 . 5) (5 . 6) (9 . 9)) 2298 0.5555 4.3290 ((4 . 4) (5 . 5) (9 . 6) (10 . 7) (11 . 8)) 2308 0.5553 6.0069 ((1 . 5) (4 . 8) (5 . 10) (9 . 11) (10 . 12)) 2314 0.4434 11.1490 ((1 . 2) (3 . 4) (4 . 7) (11 . 11)) 2340 0.4444 5.1330 ((1 . 9) (3 . 13) (4 . 14) (5 . 15)) 2344 0.4444 3.5887 ((3 . 1) (4 . 3) (5 . 5) (11 . 10)) 2364 0.6661 5.7229 ((2 . 2) (4 . 7) (5 . 8) (9 . 9) (10 . 10) (11 . 12)) 2381 0.1980 8.4033 ((2 . 2) (3 . 3) (4 . 5) (5 . 8)) 2389 0.5550 7.2000 ((1 . 3) (3 . 6) (4 . 7) (9 . 11) (10 . 12)) 2408 0.4444 4.0433 ((1 . 40) (3 . 42) (4 . 45) (9 . 47)) 2409 0.4443 7.2765 ((1 . 3) (3 . 5) (4 . 8) (10 . 11)) 2410 0.4444 4.6542 ((1 . 13) (2 . 14) (3 . 16) (4 . 17)) 2422 0.4444 5.5346 ((4 . 1) (5 . 2) (9 . 4) (11 . 8)) 2423 0.4443 7.2610 ((1 . 14) (3 . 16) (4 . 19) (11 . 25)) 2440 0.4443 7.0346 ((9 . 4) (10 . 5) (11 . 6) (12 . 7)) 2447 0.5737 4.2547 ((1 . 13) (4 . 15) (5 . 16) (9 . 18) (10 . 19) (11 . 21)) 2462 0.5550 7.1847 ((1 . 3) (2 . 5) (3 . 6) (4 . 7) (9 . 11)) 2510 0.5555 3.9883 ((1 . 17) (5 . 22) (9 . 23) (10 . 24) (11 . 25)) 2525 0.4444 4.7892 ((1 . 45) (2 . 46) (3 . 47) (4 . 48)) 2529 0.4444 4.8293 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 2533 0.5555 3.5212 ((4 . 4) (5 . 5) (9 . 6) (10 . 7) (11 . 8)) 2551 0.4442 7.5338 ((1 . 9) (2 . 10) (3 . 11) (4 . 12)) 2552 0.5555 3.7658 ((1 . 1) (4 . 3) (5 . 4) (9 . 5) (10 . 6)) 2556 0.6663 5.3227 ((4 . 11) (5 . 12) (9 . 13) (10 . 14) (11 . 16) (12 . 18)) 2557 0.4444 3.7092 ((1 . 3) (2 . 5) (3 . 6) (4 . 7)) 2561 0.1658 8.8387 ((4 . 1) (5 . 2) (11 . 6) (12 . 7)) 2595 0.5548 7.7126 ((1 . 1) (5 . 2) (9 . 4) (10 . 5) (11 . 6)) 2619 0.4444 3.6379 ((4 . 3) (5 . 4) (10 . 6) (11 . 7)) 2627 0.4442 7.6958 ((5 . 59) (9 . 60) (10 . 62) (11 . 64)) 2650 0.4444 5.2230 ((3 . 1) (4 . 2) (5 . 4) (11 . 7)) 2675 0.1495 8.2949 ((1 . 3) (3 . 5) (4 . 8) (9 . 12)) 2682 0.5550 7.1379 ((2 . 6) (5 . 16) (9 . 17) (10 . 18) (11 . 19)) 2696 0.2862 7.5776 ((4 . 32) (5 . 33) (9 . 35) (11 . 38)) 2731 0.5555 3.2345 ((1 . 1) (2 . 2) (3 . 4) (4 . 5) (5 . 6)) 2733 0.4444 4.7486 ((3 . 2) (4 . 4) (9 . 8) (11 . 11)) 2755 0.5546 8.3373 ((4 . 3) (5 . 4) (9 . 6) (10 . 7) (11 . 8)) 2773 0.4439 9.5493 ((9 . 3) (10 . 4) (11 . 5) (12 . 6)) 2783 0.4444 4.0950 ((1 . 6) (3 . 7) (4 . 8) (5 . 9)) 2804 0.4434 11.3299 ((1 . 29) (3 . 32) (5 . 35) (10 . 37)) 2821 0.5555 3.9644 ((1 . 2) (5 . 10) (9 . 11) (10 . 12) (11 . 13)) 2830 0.5556 2.0829 ((4 . 13) (5 . 14) (9 . 15) (10 . 16) (11 . 17)) 2834 0.7348 5.5955 ((1 . 1) (3 . 5) (4 . 6) (5 . 7) (9 . 8) (10 . 15) (11 . 16)) 2840 0.4444 5.1187 ((1 . 6) (3 . 8) (4 . 9) (5 . 10)) 2842 0.4444 5.2676 ((4 . 1) (5 . 3) (9 . 4) (11 . 5)) 2867 0.3936 7.8415 ((2 . 3) (3 . 7) (10 . 10) (12 . 12)) 2879 0.4444 5.3375 ((1 . 53) (2 . 55) (3 . 56) (4 . 59)) 2886 0.4444 5.0660 ((1 . 37) (3 . 39) (4 . 41) (9 . 44)) 2929 0.5555 3.9949 ((1 . 36) (2 . 38) (3 . 39) (4 . 40) (5 . 41)) 2940 0.4443 6.6320 ((9 . 1) (10 . 2) (11 . 3) (12 . 4)) 2947 0.6657 6.6399 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (10 . 9) (11 . 12)) 2955 0.4444 5.0487 ((4 . 3) (5 . 2) (9 . 4) (11 . 6)) 2966 0.4443 7.2517 ((2 . 2) (3 . 3) (4 . 4) (12 . 13)) 2990 0.6633 9.0520 ((2 . 8) (3 . 9) (4 . 12) (5 . 13) (9 . 16) (10 . 17)) 2999 0.4444 2.2621 ((1 . 4) (2 . 5) (3 . 6) (4 . 7)) 3014 0.1980 10.9062 ((2 . 21) (3 . 22) (4 . 25) (11 . 33)) 3019 0.4444 4.5129 ((3 . 19) (4 . 20) (5 . 21) (9 . 22)) 3034 0.5555 4.2737 ((4 . 5) (5 . 6) (9 . 7) (10 . 8) (11 . 9)) 3041 0.5555 3.3446 ((4 . 14) (5 . 15) (9 . 16) (10 . 17) (11 . 18)) 3055 0.4444 4.1127 ((3 . 16) (4 . 19) (9 . 23) (11 . 25)) 3063 0.4444 5.8614 ((1 . 37) (3 . 39) (4 . 41) (9 . 45)) 3070 0.4444 4.9314 ((5 . 30) (9 . 33) (10 . 34) (11 . 35)) 3084 0.5555 3.4363 ((4 . 5) (5 . 6) (9 . 7) (10 . 8) (11 . 9)) 3102 0.4443 6.7602 ((3 . 74) (4 . 77) (5 . 78) (11 . 82)) 3103 0.4443 6.2110 ((3 . 1) (4 . 2) (9 . 5) (10 . 6)) 3114 0.2475 9.7148 ((1 . 22) (3 . 24) (4 . 25) (5 . 28) (9 . 29)) 3120 0.5555 4.1491 ((2 . 20) (3 . 21) (4 . 22) (5 . 24) (9 . 25)) 3127 0.5555 4.1546 ((4 . 2) (5 . 5) (9 . 6) (10 . 7) (11 . 8)) 3147 0.4441 8.5353 ((3 . 9) (4 . 12) (9 . 17) (11 . 19)) 3176 0.2440 12.5291 ((1 . 26) (3 . 29) (5 . 31) (10 . 33)) 3187 0.5548 7.9103 ((1 . 1) (3 . 3) (4 . 4) (10 . 8) (11 . 9)) 3190 0.5555 2.9410 ((4 . 3) (5 . 4) (9 . 6) (10 . 7) (11 . 9)) 3197 0.5555 3.2826 ((4 . 19) (5 . 20) (9 . 21) (10 . 22) (11 . 24)) 3200 0.5537 9.7897 ((1 . 4) (5 . 12) (9 . 13) (10 . 14) (11 . 15)) 3212 0.4438 10.0079 ((5 . 1) (9 . 5) (10 . 7) (12 . 9)) 3222 0.7768 5.5047 ((1 . 6) (2 . 9) (3 . 15) (4 . 16) (5 . 17) (9 . 18) (11 . 19)) 3256 0.4440 9.2681 ((3 . 16) (4 . 19) (9 . 24) (10 . 27)) 3261 0.4438 9.8728 ((1 . 6) (3 . 8) (4 . 9) (5 . 12)) 3286 0.4444 4.6531 ((4 . 3) (9 . 7) (10 . 8) (11 . 9)) 3289 0.2862 5.8763 ((3 . 25) (4 . 27) (5 . 28) (9 . 31)) 3297 0.4440 9.0648 ((1 . 8) (3 . 9) (4 . 11) (9 . 13)) 3300 0.4444 4.3883 ((3 . 1) (4 . 2) (5 . 3) (9 . 5)) 3322 0.4442 7.6369 ((5 . 2) (9 . 3) (10 . 6) (11 . 7)) 3334 0.4442 7.4194 ((1 . 6) (4 . 10) (5 . 11) (10 . 13)) 3339 0.5555 3.0234 ((4 . 15) (5 . 16) (9 . 17) (10 . 18) (11 . 19)) 3344 0.1980 8.4488 ((1 . 21) (3 . 22) (4 . 24) (9 . 27)) 3358 0.4444 5.9228 ((4 . 4) (9 . 7) (10 . 9) (11 . 10)) 3362 0.5555 3.8574 ((4 . 4) (5 . 5) (9 . 6) (10 . 7) (11 . 8)) 3366 0.4442 8.0491 ((1 . 22) (3 . 26) (4 . 27) (9 . 29)) 3391 0.4444 3.0830 ((5 . 5) (9 . 6) (10 . 7) (11 . 8)) 3410 0.4444 3.5476 ((4 . 24) (9 . 28) (10 . 29) (11 . 30)) 3418 0.4444 3.3230 ((2 . 1) (3 . 2) (4 . 5) (9 . 7)) 3472 0.4442 7.7528 ((1 . 1) (3 . 4) (4 . 5) (9 . 11)) 3481 0.4444 6.0947 ((3 . 7) (4 . 8) (5 . 11) (9 . 12)) 3495 0.4440 9.0481 ((9 . 3) (10 . 5) (11 . 7) (12 . 8)) 3496 0.4444 5.7852 ((3 . 18) (4 . 19) (5 . 21) (9 . 22)) 3533 0.4443 6.8283 ((3 . 1) (4 . 3) (5 . 6) (9 . 7)) 3537 0.4443 7.2928 ((1 . 2) (2 . 3) (9 . 10) (10 . 11)) 3538 0.4439 9.3377 ((2 . 22) (3 . 23) (9 . 26) (10 . 27)) 3548 0.5544 8.6880 ((1 . 2) (3 . 4) (5 . 7) (9 . 10) (10 . 11)) 3549 0.4443 6.3239 ((1 . 1) (3 . 2) (4 . 3) (9 . 8)) 3561 0.6665 4.4348 ((1 . 20) (4 . 22) (5 . 25) (9 . 26) (10 . 27) (11 . 28)) 3570 0.4443 6.8324 ((9 . 1) (10 . 2) (11 . 3) (12 . 4)) 3585 0.5551 6.9606 ((3 . 5) (4 . 6) (5 . 7) (9 . 12) (11 . 14)) 3613 0.4444 3.5369 ((3 . 40) (4 . 41) (5 . 42) (10 . 44)) 3625 0.4428 12.5878 ((1 . 2) (3 . 5) (4 . 6) (9 . 9)) 3626 0.4444 5.8702 ((3 . 2) (4 . 3) (5 . 5) (9 . 8)) 3628 0.5555 4.2645 ((4 . 8) (5 . 11) (9 . 12) (10 . 13) (11 . 14)) 3651 0.4444 3.2526 ((4 . 1) (5 . 2) (9 . 3) (11 . 5)) 3656 0.1495 10.1551 ((2 . 21) (3 . 22) (4 . 23) (5 . 25)) 3658 0.4444 4.6994 ((4 . 1) (5 . 2) (9 . 5) (11 . 7)) 3659 0.3525 9.2542 ((5 . 4) (9 . 7) (11 . 10) (12 . 12)) 3661 0.4412 14.9219 ((2 . 4) (3 . 7) (4 . 8) (9 . 12)) 3663 0.2441 9.5133 ((3 . 1) (4 . 5) (5 . 6) (10 . 7)) 3688 0.4442 7.9578 ((3 . 30) (4 . 32) (9 . 37) (11 . 38)) 3697 0.5554 5.3351 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (9 . 10)) 3703 0.4430 12.1468 ((1 . 4) (2 . 5) (9 . 9) (10 . 10)) 3732 0.5548 7.7615 ((3 . 2) (5 . 6) (9 . 7) (10 . 8) (11 . 9)) 3733 0.5555 3.2577 ((4 . 3) (5 . 4) (9 . 6) (10 . 7) (11 . 8)) 3740 0.4443 6.8195 ((1 . 2) (3 . 4) (4 . 5) (9 . 7)) 3741 0.4444 5.9596 ((3 . 22) (4 . 25) (9 . 27) (11 . 32)) 3776 0.4444 3.4363 ((9 . 15) (10 . 16) (11 . 17) (12 . 19)) 3778 0.5551 7.0176 ((1 . 4) (2 . 5) (3 . 6) (4 . 7) (10 . 9)) 3787 0.5547 7.9848 ((2 . 24) (5 . 28) (9 . 29) (10 . 32) (11 . 33)) 3790 0.4444 4.9919 ((3 . 33) (4 . 35) (9 . 38) (11 . 40)) 3807 0.4444 4.5275 ((3 . 46) (4 . 47) (5 . 49) (9 . 50)) 3810 0.1658 10.1607 ((3 . 4) (4 . 6) (11 . 15) (12 . 16)) 3817 0.5555 4.3811 ((4 . 1) (5 . 3) (9 . 5) (10 . 6) (11 . 7)) 3818 0.5547 7.9678 ((4 . 20) (5 . 21) (9 . 23) (10 . 24) (12 . 28)) 3831 0.5550 7.2667 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (9 . 9)) 3847 0.4440 8.8494 ((1 . 9) (2 . 10) (4 . 13) (9 . 17)) 3849 0.4443 6.1480 ((1 . 1) (3 . 2) (4 . 3) (9 . 8)) 3853 0.4444 3.8777 ((4 . 8) (5 . 9) (9 . 12) (11 . 14)) 3870 0.5555 4.6560 ((4 . 5) (5 . 7) (9 . 8) (10 . 9) (11 . 10)) 3933 0.4437 10.2140 ((3 . 5) (4 . 7) (9 . 13) (12 . 17)) 3938 0.5555 3.7736 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (9 . 9)) 3942 0.1980 8.1096 ((3 . 2) (4 . 3) (5 . 6) (9 . 9)) 3968 0.5548 7.8630 ((2 . 2) (5 . 4) (9 . 9) (10 . 10) (11 . 11)) 3986 0.3929 12.2911 ((3 . 6) (4 . 9) (5 . 10) (10 . 16)) 3990 0.4444 3.8992 ((4 . 18) (5 . 19) (9 . 22) (12 . 25)) 4005 0.4444 5.6040 ((1 . 27) (2 . 28) (3 . 29) (9 . 38)) 4009 0.5525 11.0860 ((4 . 1) (5 . 6) (9 . 7) (10 . 8) (12 . 11)) 4019 0.4443 6.1834 ((1 . 47) (3 . 50) (4 . 51) (5 . 52)) 4034 0.4444 6.0135 ((1 . 6) (9 . 13) (10 . 14) (11 . 15)) 4037 0.4441 8.7112 ((1 . 1) (3 . 3) (5 . 6) (10 . 8)) 4062 0.3524 10.3933 ((2 . 40) (5 . 45) (9 . 48) (11 . 50)) 4067 0.5551 6.8595 ((4 . 14) (5 . 15) (9 . 16) (10 . 17) (11 . 20)) 4087 0.4444 5.6359 ((1 . 5) (3 . 7) (4 . 8) (10 . 10)) 4115 0.5543 8.8143 ((4 . 13) (5 . 14) (9 . 17) (10 . 18) (11 . 19)) 4140 0.1331 8.8205 ((1 . 21) (3 . 23) (5 . 26) (10 . 27)) 4151 0.6645 8.1119 ((2 . 2) (4 . 5) (5 . 8) (9 . 9) (10 . 11) (11 . 12)) 4190 0.3524 9.9519 ((5 . 2) (9 . 3) (10 . 6) (12 . 8)) 4192 0.4444 5.8230 ((1 . 10) (3 . 13) (9 . 19) (10 . 20)) 4194 0.4443 6.3404 ((1 . 1) (2 . 2) (3 . 3) (4 . 5)) 4204 0.6655 6.9589 ((2 . 1) (5 . 4) (9 . 5) (10 . 6) (11 . 9) (12 . 11)) 4209 0.3525 7.7808 ((9 . 1) (10 . 3) (11 . 4) (12 . 5)) 4210 0.6664 5.0042 ((3 . 5) (4 . 6) (5 . 7) (9 . 8) (10 . 9) (11 . 10)) 4226 0.6665 4.5195 ((1 . 1) (4 . 4) (5 . 20) (9 . 22) (10 . 23) (11 . 24)) 4232 0.2861 10.7609 ((1 . 2) (3 . 4) (4 . 6) (5 . 7)) 4236 0.4443 6.2334 ((1 . 5) (3 . 7) (4 . 10) (5 . 11)) 4246 0.4442 7.7956 ((3 . 2) (4 . 3) (9 . 7) (11 . 11)) 4254 0.4443 6.5058 ((9 . 11) (10 . 12) (11 . 15) (12 . 17)) 4255 0.6666 3.3508 ((1 . 21) (2 . 22) (3 . 23) (4 . 24) (5 . 25) (9 . 26)) 4257 0.5555 3.7963 ((4 . 1) (5 . 2) (9 . 3) (11 . 7) (12 . 8)) 4265 0.6666 3.3920 ((3 . 20) (4 . 23) (5 . 25) (9 . 26) (10 . 27) (11 . 29)) 4266 0.5555 4.2169 ((4 . 2) (5 . 3) (9 . 4) (10 . 5) (11 . 6)) 4274 0.4444 2.4150 ((1 . 38) (2 . 39) (3 . 40) (4 . 41)) 4275 0.4444 5.6912 ((3 . 21) (4 . 23) (5 . 24) (9 . 25)) 4281 0.4444 4.1443 ((4 . 3) (9 . 8) (10 . 9) (11 . 10)) 4284 0.4443 7.0294 ((1 . 1) (2 . 2) (3 . 3) (5 . 7)) 4299 0.6953 6.1733 ((1 . 6) (2 . 8) (4 . 9) (5 . 10) (9 . 11) (10 . 13) (11 . 14)) 4301 0.4443 7.2316 ((3 . 1) (4 . 2) (9 . 4) (11 . 9)) 4326 0.5554 5.0058 ((4 . 10) (5 . 14) (9 . 15) (10 . 16) (11 . 17)) 4332 0.5555 2.8091 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (9 . 6)) 4338 0.4444 4.1372 ((1 . 6) (3 . 7) (4 . 8) (5 . 9)) 4352 0.3525 8.2066 ((2 . 3) (5 . 7) (9 . 10) (10 . 12)) 4359 0.4444 5.6492 ((1 . 3) (4 . 6) (9 . 10) (11 . 12)) 4380 0.4443 6.2988 ((3 . 24) (4 . 29) (9 . 31) (11 . 36)) 4383 0.4442 8.1083 ((1 . 15) (3 . 17) (4 . 18) (9 . 22)) 4386 0.5550 7.2625 ((2 . 7) (3 . 9) (4 . 10) (5 . 13) (10 . 17)) 4388 0.4444 4.3540 ((5 . 2) (9 . 3) (10 . 4) (11 . 5)) 4398 0.4444 4.1426 ((4 . 6) (5 . 9) (9 . 10) (10 . 11)) 4405 0.4444 4.8129 ((9 . 19) (10 . 20) (11 . 22) (12 . 23)) 4408 0.4441 8.2759 ((9 . 4) (10 . 5) (11 . 6) (12 . 7)) 4415 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (9 . 9) (10 . 10) (11 . 11) (12 . 12)) 4419 0.4439 9.7439 ((2 . 2) (3 . 3) (4 . 6) (10 . 11)) 4426 0.5555 2.8701 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (9 . 6)) 4470 0.5552 6.5967 ((2 . 17) (3 . 18) (4 . 19) (10 . 23) (11 . 25)) 4491 0.6665 4.3173 ((1 . 1) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (9 . 8)) 4492 0.5555 3.5875 ((4 . 11) (5 . 12) (9 . 13) (10 . 14) (11 . 16)) 4495 0.5553 5.9158 ((2 . 5) (5 . 12) (9 . 14) (10 . 15) (11 . 16)) 4497 0.4444 5.2783 ((3 . 18) (4 . 23) (9 . 25) (11 . 27)) 4502 0.5550 7.3649 ((4 . 6) (5 . 7) (9 . 11) (10 . 13) (11 . 14)) 4503 0.2862 7.6300 ((9 . 1) (10 . 2) (11 . 5) (12 . 6)) 4504 0.5533 10.3558 ((1 . 4) (2 . 5) (3 . 6) (4 . 8) (5 . 10)) 4505 0.4444 4.3016 ((3 . 25) (5 . 29) (9 . 30) (10 . 31)) 4516 0.5554 5.0838 ((1 . 20) (5 . 21) (9 . 22) (10 . 23) (11 . 24)) 4527 0.4441 8.4232 ((1 . 1) (2 . 2) (5 . 4) (9 . 7)) 4538 0.4441 8.2164 ((1 . 31) (3 . 33) (4 . 37) (5 . 39)) 4551 0.1980 6.0112 ((4 . 1) (9 . 4) (10 . 7) (11 . 8)) 4560 0.5544 8.6906 ((4 . 6) (5 . 7) (9 . 8) (10 . 10) (11 . 11)) 4561 0.5554 5.2938 ((4 . 1) (5 . 4) (9 . 5) (10 . 6) (11 . 7)) 4562 0.4444 4.1188 ((4 . 22) (5 . 26) (9 . 27) (10 . 28)) 4563 0.5555 4.6668 ((4 . 28) (5 . 30) (9 . 31) (10 . 33) (11 . 34)) 4577 0.4434 11.1317 ((2 . 36) (3 . 37) (4 . 39) (9 . 42)) 4588 0.4444 4.0480 ((4 . 1) (9 . 3) (10 . 4) (11 . 9)) 4589 0.5341 11.4732 ((2 . 17) (3 . 18) (5 . 21) (10 . 24) (12 . 27)) 4621 0.4442 7.7338 ((3 . 3) (4 . 4) (5 . 5) (10 . 10)) 4630 0.4444 5.4503 ((2 . 2) (4 . 5) (9 . 10) (11 . 13)) 4648 0.4444 3.9866 ((3 . 1) (4 . 2) (5 . 3) (9 . 5)) 4653 0.4442 7.4097 ((9 . 1) (10 . 2) (11 . 4) (12 . 5)) 4665 0.4443 6.7573 ((1 . 11) (3 . 13) (4 . 14) (5 . 16)) 4668 0.5554 4.9665 ((4 . 3) (5 . 6) (9 . 9) (10 . 10) (11 . 11)) 4669 0.6665 4.2895 ((1 . 12) (4 . 17) (5 . 18) (9 . 19) (10 . 20) (11 . 21)) 4671 0.5555 4.2026 ((3 . 1) (4 . 2) (5 . 3) (9 . 4) (10 . 5)) 4674 0.1980 10.9570 ((1 . 2) (2 . 4) (4 . 6) (9 . 9)) 4678 0.4442 7.5412 ((1 . 6) (4 . 10) (9 . 12) (12 . 16)) 4713 0.1980 9.5719 ((3 . 3) (4 . 6) (9 . 9) (10 . 11)) 4731 0.3935 8.2866 ((2 . 13) (3 . 14) (5 . 17) (11 . 23)) 4857 0.4443 6.9371 ((1 . 3) (2 . 4) (3 . 5) (11 . 13)) 4886 0.4444 5.7590 ((4 . 17) (5 . 18) (9 . 19) (10 . 20)) 4888 0.4440 8.8799 ((1 . 4) (4 . 9) (10 . 11) (11 . 14)) 4889 0.4444 5.1961 ((4 . 2) (9 . 4) (10 . 5) (11 . 6)) 4907 0.4444 5.8795 ((3 . 1) (4 . 3) (9 . 7) (11 . 9)) 4914 0.4441 8.4277 ((1 . 1) (4 . 6) (9 . 10) (11 . 12)) 4921 0.4443 7.3022 ((3 . 8) (4 . 9) (10 . 13) (11 . 17)) 4929 0.4444 5.6372 ((1 . 29) (3 . 32) (4 . 33) (9 . 35)) 4932 0.4444 5.2549 ((4 . 1) (9 . 6) (10 . 7) (11 . 8)) 4940 0.5555 4.0972 ((3 . 1) (4 . 2) (5 . 5) (9 . 6) (11 . 8)) 4944 0.4439 9.5663 ((1 . 11) (2 . 12) (4 . 15) (5 . 17)) 4961 0.5109 5.8813 ((4 . 1) (5 . 2) (9 . 3) (10 . 4) (11 . 6)) 4978 0.5553 6.2253 ((3 . 25) (5 . 27) (9 . 28) (10 . 29) (11 . 30)) 4982 0.4442 7.6903 ((3 . 9) (4 . 10) (5 . 13) (9 . 14)) 4992 0.5555 4.7658 ((4 . 3) (5 . 4) (9 . 6) (10 . 7) (11 . 8)) 4998 0.5553 5.7814 ((4 . 1) (5 . 2) (9 . 3) (10 . 5) (11 . 6)) 5029 0.4442 7.7063 ((1 . 6) (2 . 7) (3 . 8) (4 . 10)) 5036 0.4443 7.1766 ((3 . 1) (4 . 2) (9 . 6) (11 . 8)) 5038 0.4440 9.0373 ((4 . 9) (9 . 12) (10 . 13) (11 . 16)) 5039 0.5550 7.2486 ((5 . 36) (9 . 37) (10 . 38) (11 . 39) (12 . 41)) 5044 0.4444 6.1239 ((3 . 3) (4 . 8) (11 . 14) (12 . 16)) 5046 0.4443 6.3988 ((1 . 1) (3 . 4) (4 . 7) (9 . 10)) 5053 0.4443 6.1564 ((3 . 10) (5 . 14) (9 . 15) (10 . 17)) 5065 0.5548 7.7454 ((2 . 1) (3 . 2) (4 . 3) (9 . 9) (11 . 11)) 5068 0.4442 7.7985 ((2 . 3) (3 . 4) (4 . 7) (10 . 11)) 5069 0.4444 4.9655 ((3 . 5) (4 . 7) (5 . 8) (10 . 14)) 5073 0.5555 3.9380 ((4 . 34) (5 . 35) (9 . 36) (10 . 38) (11 . 39)) 5080 0.4438 9.7573 ((2 . 1) (3 . 3) (5 . 6) (10 . 9)) 5101 0.6661 5.7027 ((4 . 1) (5 . 2) (9 . 3) (10 . 4) (11 . 5) (12 . 7)) 5103 0.5555 3.6151 ((4 . 15) (5 . 16) (9 . 17) (10 . 18) (11 . 19)) 5121 0.4444 4.6308 ((2 . 23) (3 . 25) (4 . 27) (9 . 31)) 5132 0.5550 7.1223 ((4 . 16) (5 . 17) (9 . 18) (10 . 19) (12 . 22)) 5134 0.4441 8.4365 ((2 . 7) (4 . 10) (5 . 11) (12 . 17)) 5145 0.4444 5.4866 ((1 . 5) (2 . 7) (3 . 8) (4 . 10)) 5167 0.4444 4.7921 ((4 . 9) (5 . 10) (9 . 12) (11 . 14)) 5176 0.4443 6.3287 ((3 . 82) (4 . 84) (5 . 85) (9 . 87)) 5183 0.4437 10.2384 ((3 . 34) (4 . 36) (5 . 39) (10 . 41)) 5192 0.4444 3.5580 ((4 . 3) (5 . 4) (9 . 5) (10 . 6)) 5198 0.4444 4.5234 ((4 . 21) (9 . 24) (10 . 25) (11 . 26)) 5199 0.2862 6.7106 ((2 . 6) (3 . 7) (4 . 8) (9 . 10)) 5209 0.5552 6.4052 ((3 . 3) (4 . 4) (5 . 6) (9 . 7) (11 . 9)) 5212 0.4433 11.4704 ((2 . 15) (5 . 17) (11 . 21) (12 . 23)) 5215 0.4444 5.0427 ((2 . 8) (3 . 9) (4 . 10) (11 . 16)) 5223 0.5555 3.9355 ((4 . 1) (5 . 2) (9 . 3) (10 . 5) (11 . 6)) 5231 0.4443 6.5271 ((3 . 8) (4 . 12) (9 . 14) (10 . 17)) 5266 0.5543 8.8226 ((4 . 4) (5 . 5) (9 . 8) (10 . 9) (11 . 10)) 5278 0.4444 5.1962 ((3 . 2) (4 . 5) (9 . 7) (11 . 9)) 5307 0.5546 8.3383 ((4 . 51) (5 . 52) (9 . 53) (10 . 54) (11 . 55)) 5312 0.4441 8.2343 ((1 . 1) (3 . 3) (4 . 4) (9 . 7)) 5318 0.4823 11.4838 ((2 . 4) (5 . 7) (9 . 8) (10 . 9) (11 . 11)) 5323 0.4425 13.1805 ((2 . 2) (5 . 4) (10 . 8) (12 . 11)) 5324 0.5554 5.6136 ((2 . 19) (3 . 20) (4 . 22) (5 . 23) (9 . 25)) 5344 0.4443 7.0873 ((1 . 2) (3 . 4) (4 . 7) (9 . 9)) 5345 0.4443 7.2710 ((1 . 2) (4 . 8) (9 . 13) (11 . 15)) 5368 0.4444 5.4253 ((1 . 16) (3 . 18) (9 . 25) (11 . 27)) 5378 0.5555 3.5896 ((2 . 1) (3 . 3) (4 . 4) (5 . 5) (9 . 6)) 5411 0.5551 6.7257 ((1 . 3) (2 . 5) (3 . 6) (4 . 8) (5 . 9)) 5414 0.4444 5.2517 ((3 . 15) (4 . 16) (5 . 17) (9 . 21)) 5418 0.4444 5.7990 ((3 . 1) (4 . 2) (9 . 7) (11 . 9)) 5421 0.3525 8.0836 ((1 . 1) (3 . 3) (4 . 5) (11 . 13)) 5479 0.4444 4.1985 ((1 . 43) (3 . 44) (9 . 50) (11 . 52)) 5487 0.5555 3.8103 ((4 . 4) (5 . 8) (9 . 9) (10 . 10) (11 . 11)) 5489 0.4443 6.4714 ((1 . 6) (3 . 9) (4 . 12) (10 . 15)) 5500 0.5555 3.7630 ((3 . 2) (5 . 10) (9 . 12) (10 . 13) (11 . 14)) 5501 0.4441 8.3754 ((2 . 22) (3 . 24) (4 . 25) (10 . 32)) 5535 0.4442 7.4788 ((1 . 8) (3 . 10) (4 . 12) (5 . 13)) 5540 0.4444 5.9990 ((1 . 6) (9 . 16) (10 . 17) (11 . 18)) 5557 0.3937 4.8748 ((3 . 1) (5 . 5) (9 . 6) (10 . 7)) 5560 0.6664 4.7750 ((3 . 11) (4 . 13) (5 . 14) (9 . 15) (10 . 16) (11 . 17)) 5562 0.5555 3.8342 ((3 . 6) (4 . 7) (5 . 9) (9 . 11) (11 . 14)) 5567 0.5554 4.9653 ((4 . 8) (5 . 10) (9 . 11) (10 . 14) (11 . 15)) 5594 0.5555 4.0725 ((4 . 6) (5 . 7) (9 . 9) (10 . 10) (11 . 12)) 5600 0.6666 3.2846 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (9 . 9)) 5601 0.4444 4.3824 ((4 . 1) (9 . 5) (10 . 6) (11 . 7)) 5638 0.0999 8.4505 ((1 . 9) (2 . 12) (3 . 13) (5 . 14)) 5640 0.4443 7.0908 ((1 . 20) (3 . 22) (4 . 23) (11 . 29)) 5644 0.4444 5.6069 ((1 . 1) (3 . 4) (4 . 8) (11 . 14)) 5656 0.4444 5.2738 ((4 . 8) (9 . 14) (10 . 15) (11 . 16)) 5700 0.4430 12.2518 ((2 . 1) (4 . 4) (10 . 7) (11 . 9)) 5701 0.4444 3.8875 ((1 . 12) (2 . 13) (3 . 14) (5 . 20)) 5703 0.2862 6.1518 ((2 . 3) (3 . 5) (4 . 6) (9 . 8)) 5711 0.4442 7.4276 ((3 . 25) (4 . 27) (9 . 29) (11 . 31)) 5713 0.4444 3.7074 ((3 . 16) (4 . 20) (9 . 24) (11 . 27)) 5718 0.4437 10.4464 ((1 . 17) (3 . 21) (4 . 23) (9 . 25)) 5731 0.4444 5.7035 ((3 . 2) (4 . 3) (9 . 7) (11 . 10)) 5746 0.6664 4.9804 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (9 . 6) (11 . 9)) 5749 0.2493 6.7165 ((1 . 5) (2 . 1) (3 . 3) (4 . 4) (5 . 2) (9 . 6) (10 . 8)) 5761 0.5555 4.0867 ((1 . 28) (3 . 31) (4 . 32) (5 . 34) (9 . 36)) 5770 0.4444 5.6524 ((1 . 6) (3 . 9) (4 . 12) (5 . 18)) 5771 0.4444 5.9152 ((2 . 8) (9 . 17) (10 . 19) (11 . 20)) 5782 0.5541 9.2824 ((3 . 21) (4 . 22) (5 . 23) (10 . 28) (11 . 30)) 5789 0.1495 7.4327 ((1 . 2) (2 . 1) (5 . 4) (9 . 5)) 5794 0.5553 5.7024 ((3 . 18) (4 . 19) (5 . 22) (9 . 23) (11 . 25)) 5795 0.5555 4.0102 ((4 . 10) (5 . 11) (9 . 13) (10 . 15) (11 . 16)) 5809 0.5555 4.4072 ((4 . 5) (5 . 6) (9 . 7) (10 . 8) (11 . 9)) 5822 0.4444 5.9676 ((1 . 4) (2 . 5) (3 . 6) (4 . 8)) 5827 0.5555 4.5236 ((3 . 2) (4 . 3) (5 . 6) (9 . 8) (10 . 10)) 5830 0.4442 7.7121 ((1 . 8) (3 . 10) (4 . 13) (9 . 17)) 5847 0.4438 9.7646 ((1 . 5) (3 . 8) (4 . 10) (11 . 17)) 5861 0.4443 6.3500 ((1 . 16) (4 . 20) (9 . 25) (11 . 27)) 5865 0.4444 2.9204 ((1 . 4) (9 . 5) (10 . 6) (11 . 7)) 5878 0.2860 12.8475 ((2 . 13) (5 . 21) (10 . 24) (12 . 28)) 5888 0.4444 3.4615 ((3 . 21) (4 . 24) (9 . 28) (11 . 30)) 5896 0.6666 2.5678 ((1 . 26) (2 . 27) (3 . 28) (4 . 29) (5 . 30) (9 . 31)) 5904 0.5545 8.4604 ((2 . 5) (4 . 7) (5 . 8) (9 . 9) (10 . 10)) 5913 0.5105 7.7873 ((2 . 8) (5 . 11) (9 . 13) (10 . 14) (11 . 15)) 5914 0.4444 4.7708 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 5922 0.4443 6.9588 ((1 . 6) (3 . 9) (4 . 10) (9 . 13)) 5930 0.4444 5.7807 ((1 . 1) (2 . 3) (3 . 4) (9 . 9)) 5939 0.4444 3.3198 ((5 . 3) (9 . 4) (10 . 5) (11 . 6)) 5945 0.5541 9.2105 ((2 . 31) (3 . 32) (4 . 33) (5 . 34) (9 . 37)) 5949 0.4444 3.8698 ((5 . 8) (9 . 9) (10 . 13) (11 . 14)) 5955 0.6665 4.5177 ((1 . 1) (4 . 3) (5 . 6) (9 . 7) (10 . 8) (11 . 9)) 5967 0.4443 6.8288 ((9 . 1) (10 . 2) (11 . 3) (12 . 7)) 5977 0.5555 4.5810 ((4 . 1) (5 . 2) (9 . 3) (10 . 4) (11 . 5)) 6000 0.4444 5.0091 ((4 . 9) (5 . 11) (10 . 16) (11 . 17)) 6011 0.4442 7.8419 ((3 . 1) (4 . 2) (9 . 7) (11 . 9)) 6022 0.4441 8.5167 ((3 . 1) (4 . 4) (9 . 7) (11 . 9)) 6028 0.4443 6.8102 ((1 . 1) (3 . 2) (4 . 3) (9 . 9)) 6029 0.5555 3.0587 ((1 . 6) (2 . 7) (3 . 10) (4 . 11) (5 . 12)) 6041 0.5551 6.7598 ((1 . 8) (2 . 9) (3 . 10) (4 . 11) (9 . 15)) 6046 0.5554 5.1068 ((2 . 1) (3 . 2) (4 . 3) (9 . 6) (10 . 7)) 6061 0.5552 6.5473 ((4 . 15) (5 . 16) (9 . 17) (10 . 18) (11 . 20)) 6074 0.5555 3.0602 ((4 . 4) (5 . 5) (9 . 6) (10 . 7) (11 . 8)) 6075 0.4443 6.8063 ((4 . 17) (9 . 20) (10 . 22) (12 . 24)) 6079 0.5550 7.2753 ((2 . 2) (3 . 6) (4 . 7) (5 . 10) (9 . 11)) 6087 0.4443 6.3151 ((2 . 2) (9 . 8) (10 . 9) (11 . 10)) 6089 0.4444 4.0519 ((4 . 3) (5 . 4) (9 . 5) (10 . 6)) 6094 0.4444 5.8245 ((3 . 2) (4 . 3) (9 . 7) (11 . 11)) 6099 0.4444 5.4838 ((1 . 18) (4 . 22) (9 . 24) (11 . 26)) 6123 0.3928 12.3763 ((3 . 1) (4 . 3) (5 . 6) (10 . 7)) 6142 0.4443 6.5990 ((1 . 16) (3 . 19) (4 . 20) (9 . 25)) 6148 0.2862 7.8976 ((4 . 32) (9 . 34) (10 . 35) (11 . 37)) 6167 0.3525 9.1001 ((1 . 4) (3 . 7) (4 . 10) (10 . 22)) 6173 0.4443 6.4661 ((1 . 3) (3 . 5) (9 . 12) (11 . 15)) 6191 0.4437 10.1835 ((2 . 5) (4 . 6) (5 . 7) (9 . 10)) 6192 0.5529 10.7314 ((4 . 1) (5 . 2) (9 . 3) (10 . 4) (11 . 5)) 6215 0.5553 5.7761 ((1 . 17) (3 . 19) (4 . 20) (5 . 22) (9 . 24)) 6225 0.4444 5.7445 ((2 . 25) (3 . 26) (4 . 28) (5 . 30)) 6228 0.5554 5.5772 ((5 . 2) (9 . 3) (10 . 4) (11 . 5) (12 . 7)) 6234 0.4443 6.6745 ((1 . 6) (3 . 9) (4 . 10) (9 . 15)) 6238 0.4443 6.2646 ((2 . 2) (3 . 3) (4 . 4) (5 . 6)) 6243 0.5549 7.4204 ((1 . 2) (4 . 8) (5 . 9) (9 . 10) (10 . 11)) 6251 0.5554 4.9173 ((4 . 8) (5 . 9) (9 . 10) (10 . 11) (12 . 15)) 6258 0.4444 4.3613 ((5 . 5) (9 . 7) (10 . 8) (11 . 9)) 6261 0.5555 3.3194 ((4 . 3) (5 . 7) (9 . 9) (10 . 10) (11 . 11)) 6266 0.4443 6.7355 ((1 . 3) (4 . 6) (5 . 7) (9 . 10)) 6270 0.5555 2.3356 ((1 . 15) (2 . 16) (3 . 17) (4 . 18) (5 . 19)) 6271 0.4444 5.6022 ((1 . 8) (2 . 9) (3 . 10) (4 . 11)) 6273 0.4442 7.9702 ((3 . 4) (4 . 6) (11 . 12) (12 . 13)) 6294 0.4444 4.0266 ((5 . 10) (9 . 11) (10 . 12) (11 . 14)) 6306 0.4444 4.9267 ((1 . 17) (2 . 18) (3 . 19) (4 . 21)) 6309 0.5555 2.9283 ((1 . 17) (2 . 19) (3 . 20) (4 . 25) (5 . 26)) 6311 0.4443 6.2070 ((3 . 4) (4 . 5) (9 . 10) (12 . 13)) 6326 0.3932 10.8551 ((1 . 1) (3 . 3) (9 . 7) (12 . 12)) 6344 0.4443 6.8548 ((1 . 14) (2 . 16) (3 . 17) (4 . 21)) 6345 0.4442 7.4999 ((2 . 1) (5 . 2) (9 . 6) (11 . 7)) 6348 0.4442 7.6153 ((2 . 5) (4 . 9) (5 . 10) (9 . 11)) 6355 0.4443 6.3275 ((4 . 4) (5 . 5) (9 . 7) (12 . 12)) 6356 0.5554 5.1510 ((4 . 6) (5 . 8) (9 . 9) (10 . 10) (11 . 11)) 6369 0.6657 6.5415 ((4 . 20) (5 . 21) (9 . 22) (10 . 23) (11 . 24) (12 . 26)) 6376 0.4444 5.1242 ((4 . 19) (5 . 20) (9 . 21) (12 . 26)) 6391 0.2939 5.9370 ((2 . 7) (3 . 8) (4 . 10) (5 . 11) (12 . 12)) 6392 0.4444 4.3055 ((4 . 3) (9 . 7) (10 . 8) (11 . 9)) 6399 0.4444 5.0489 ((3 . 24) (4 . 26) (9 . 30) (11 . 32)) 6403 0.5110 4.1289 ((3 . 2) (5 . 6) (9 . 7) (10 . 9) (11 . 10)) 6434 0.4440 9.0289 ((1 . 2) (3 . 4) (4 . 5) (10 . 8)) 6462 0.5541 9.1582 ((2 . 14) (4 . 18) (5 . 19) (9 . 20) (11 . 22)) 6498 0.4443 6.1511 ((4 . 10) (5 . 11) (9 . 12) (10 . 14)) 6520 0.4444 5.2961 ((1 . 9) (2 . 11) (4 . 14) (9 . 16)) 6536 0.1980 10.6746 ((2 . 29) (5 . 32) (10 . 34) (12 . 35)) 6539 0.6666 2.8812 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (9 . 8)) 6540 0.4436 10.4996 ((1 . 2) (4 . 5) (5 . 4) (11 . 9)) 6548 0.4444 3.9032 ((4 . 5) (5 . 6) (9 . 7) (11 . 13)) 6553 0.4444 4.7772 ((4 . 11) (5 . 12) (9 . 13) (11 . 15)) 6555 0.4441 8.3843 ((2 . 9) (4 . 13) (9 . 17) (11 . 20)) 6561 0.5533 10.3468 ((2 . 5) (3 . 9) (4 . 10) (5 . 11) (11 . 15)) 6573 0.1980 6.9967 ((5 . 15) (9 . 17) (10 . 18) (11 . 19)) 6575 0.1980 8.6182 ((3 . 1) (4 . 2) (9 . 5) (10 . 6)) 6578 0.4441 8.3848 ((3 . 31) (4 . 32) (9 . 38) (10 . 39)) 6584 0.4443 6.2581 ((2 . 1) (3 . 2) (4 . 3) (10 . 10)) 6585 0.5555 4.3802 ((1 . 6) (2 . 7) (3 . 8) (9 . 11) (10 . 12)) 6586 0.4440 8.8646 ((4 . 18) (5 . 19) (10 . 23) (11 . 24)) 6587 0.4444 2.9350 ((5 . 27) (9 . 29) (10 . 30) (11 . 31)) 6598 0.4443 6.1583 ((3 . 3) (4 . 4) (9 . 6) (11 . 8)) 6613 0.5555 3.6630 ((3 . 21) (4 . 22) (5 . 23) (9 . 24) (11 . 27)) 6635 0.1980 8.6016 ((3 . 4) (4 . 5) (5 . 6) (10 . 10)) END