3120 41 0.1499 12.7937 ((20 . 2) (23 . 4) (24 . 6) (25 . 5)) 62 0.6666 3.3602 ((21 . 12) (22 . 13) (24 . 15) (25 . 16)) 64 0.3880 5.3837 ((21 . 13) (22 . 14) (24 . 16) (25 . 15)) 77 0.6604 10.6427 ((21 . 8) (22 . 9) (24 . 12) (25 . 13)) 91 0.0999 7.4984 ((20 . 26) (22 . 28) (24 . 30) (25 . 31)) 96 0.4665 7.4904 ((20 . 4) (21 . 5) (22 . 6) (23 . 7)) 136 0.6596 10.9658 ((20 . 2) (21 . 3) (23 . 4) (25 . 7)) 150 0.8307 6.4219 ((20 . 18) (21 . 19) (22 . 20) (24 . 21) (25 . 23)) 155 0.3879 7.3875 ((21 . 2) (22 . 3) (23 . 4) (24 . 5)) 157 0.6628 9.4184 ((20 . 17) (21 . 18) (22 . 20) (23 . 22)) 161 0.1996 11.0568 ((20 . 1) (21 . 4) (22 . 6) (24 . 7)) 162 0.6663 5.0631 ((20 . 16) (21 . 17) (22 . 18) (25 . 22)) 177 0.2970 8.6688 ((21 . 7) (22 . 8) (23 . 9) (25 . 10)) 207 0.0999 6.7082 ((20 . 14) (22 . 15) (23 . 16) (25 . 18)) 300 0.6663 5.1850 ((20 . 12) (21 . 16) (22 . 17) (25 . 18)) 305 0.6658 6.4732 ((21 . 9) (22 . 11) (24 . 13) (25 . 15)) 307 0.6661 5.6721 ((21 . 1) (22 . 3) (24 . 6) (25 . 7)) 350 0.6659 6.2292 ((21 . 5) (22 . 7) (24 . 9) (25 . 10)) 360 0.6664 4.7495 ((21 . 10) (22 . 12) (24 . 13) (25 . 14)) 365 0.6658 6.4507 ((21 . 3) (22 . 4) (24 . 7) (25 . 8)) 433 0.6661 5.7083 ((21 . 6) (22 . 7) (24 . 8) (25 . 9)) 442 0.6650 7.5434 ((20 . 9) (21 . 10) (23 . 11) (25 . 12)) 460 0.2969 10.4246 ((21 . 2) (22 . 3) (23 . 4) (25 . 6)) 472 0.4660 9.9282 ((20 . 23) (22 . 25) (23 . 24) (24 . 28)) 491 0.6626 9.5339 ((20 . 2) (21 . 1) (23 . 5) (25 . 6)) 495 0.1499 10.4761 ((20 . 6) (21 . 9) (22 . 11) (23 . 10)) 541 0.1996 8.4173 ((20 . 9) (22 . 11) (24 . 13) (25 . 14)) 561 0.6664 4.9758 ((20 . 2) (21 . 3) (22 . 4) (23 . 5)) 584 0.6604 10.6268 ((20 . 27) (21 . 28) (23 . 29) (24 . 33)) 587 0.6659 6.1916 ((21 . 10) (22 . 11) (23 . 12) (25 . 14)) 609 0.6602 10.6977 ((20 . 4) (22 . 6) (24 . 7) (25 . 8)) 619 0.6587 11.2890 ((21 . 1) (22 . 2) (23 . 3) (25 . 4)) 624 0.6664 4.9523 ((21 . 20) (22 . 22) (24 . 23) (25 . 24)) 635 0.6648 7.7740 ((21 . 14) (22 . 15) (24 . 17) (25 . 18)) 672 0.1996 8.3821 ((20 . 19) (21 . 20) (22 . 21) (25 . 23)) 719 0.6666 3.5254 ((21 . 25) (22 . 27) (24 . 29) (25 . 30)) 729 0.6577 11.6523 ((20 . 23) (22 . 24) (23 . 26) (24 . 30)) 735 0.6628 9.4302 ((20 . 30) (21 . 31) (22 . 32) (25 . 36)) 796 0.6650 7.6076 ((20 . 4) (21 . 3) (22 . 5) (24 . 7)) 812 0.3879 6.9562 ((22 . 9) (23 . 10) (24 . 12) (25 . 13)) 818 0.1499 8.5010 ((21 . 1) (22 . 4) (23 . 5) (25 . 7)) 819 0.4667 6.0406 ((20 . 1) (21 . 2) (22 . 3) (23 . 4)) 861 0.1499 6.2059 ((20 . 14) (21 . 15) (22 . 16) (25 . 19)) 901 0.6666 3.6147 ((22 . 17) (23 . 18) (24 . 19) (25 . 20)) 904 0.6664 4.8399 ((21 . 2) (22 . 3) (24 . 5) (25 . 6)) 913 0.2970 4.5155 ((21 . 16) (22 . 17) (23 . 18) (25 . 20)) 928 0.6583 11.4450 ((21 . 8) (22 . 10) (24 . 11) (25 . 12)) 937 0.6666 2.9717 ((22 . 1) (23 . 2) (24 . 3) (25 . 4)) 943 0.6654 7.0914 ((21 . 9) (22 . 12) (23 . 13) (25 . 15)) 945 0.6578 11.6072 ((20 . 21) (21 . 22) (23 . 24) (24 . 25)) 960 0.6657 6.5729 ((21 . 8) (22 . 9) (24 . 11) (25 . 12)) 978 0.1996 5.9712 ((20 . 12) (22 . 13) (24 . 15) (25 . 16)) 980 0.1996 5.6567 ((20 . 4) (22 . 5) (24 . 6) (25 . 7)) 1007 0.3878 8.2458 ((20 . 2) (23 . 5) (24 . 6) (25 . 7)) 1034 0.6438 14.9324 ((21 . 21) (22 . 22) (24 . 24) (25 . 25)) 1043 0.6646 7.9982 ((20 . 11) (21 . 12) (22 . 14) (23 . 15)) 1082 0.1499 8.2181 ((20 . 14) (22 . 16) (23 . 18) (25 . 19)) 1084 0.1499 6.8698 ((21 . 11) (22 . 12) (24 . 15) (25 . 17)) 1121 0.2970 6.5544 ((20 . 1) (21 . 2) (22 . 3) (25 . 6)) 1165 0.8310 6.2687 ((21 . 3) (22 . 4) (23 . 5) (24 . 6) (25 . 7)) 1167 0.2969 11.3466 ((20 . 26) (21 . 27) (23 . 28) (24 . 29)) 1195 0.1996 4.6861 ((20 . 1) (21 . 2) (22 . 4) (25 . 5)) 1204 0.6615 10.1243 ((20 . 18) (22 . 20) (24 . 21) (25 . 22)) 1211 0.6662 5.3689 ((20 . 7) (21 . 8) (22 . 9) (25 . 11)) 1217 0.3878 8.9545 ((20 . 2) (21 . 5) (22 . 7) (23 . 8)) 1224 0.6662 5.5658 ((21 . 9) (22 . 10) (23 . 11) (25 . 14)) 1233 0.6662 5.4115 ((20 . 19) (22 . 20) (23 . 21) (25 . 22)) 1267 0.2969 9.1574 ((22 . 33) (23 . 34) (24 . 37) (25 . 38)) 1268 0.4666 6.6845 ((20 . 2) (21 . 3) (22 . 4) (23 . 5)) 1294 0.6634 9.0133 ((21 . 41) (22 . 42) (24 . 45) (25 . 46)) 1388 0.8770 4.6376 ((20 . 3) (21 . 4) (22 . 5) (23 . 6) (24 . 7) (25 . 8)) 1425 0.2970 4.7932 ((21 . 3) (22 . 4) (24 . 7) (25 . 8)) 1435 0.3879 7.9028 ((21 . 1) (22 . 2) (24 . 4) (25 . 3)) 1447 0.1499 6.6711 ((21 . 1) (22 . 3) (23 . 6) (25 . 7)) 1464 0.1996 8.9081 ((20 . 9) (21 . 8) (24 . 12) (25 . 13)) 1476 0.6661 5.7419 ((20 . 16) (22 . 18) (23 . 19) (25 . 20)) 1481 0.6651 7.5044 ((21 . 1) (22 . 2) (23 . 3) (25 . 4)) 1501 0.6632 9.1293 ((21 . 6) (22 . 7) (24 . 10) (25 . 9)) 1513 0.6654 7.0983 ((21 . 2) (22 . 3) (24 . 4) (25 . 5)) 1514 0.8331 3.5620 ((20 . 2) (21 . 3) (22 . 4) (23 . 5) (25 . 6)) 1577 0.4848 6.8954 ((20 . 1) (21 . 6) (22 . 10) (23 . 11) (25 . 30)) 1591 0.6664 4.8772 ((20 . 2) (22 . 4) (24 . 5) (25 . 6)) 1595 0.3879 8.1429 ((20 . 4) (23 . 6) (24 . 9) (25 . 8)) 1604 0.6665 4.2702 ((21 . 1) (22 . 3) (24 . 6) (25 . 7)) 1622 0.1499 9.6979 ((20 . 21) (21 . 22) (22 . 23) (25 . 25)) 1643 0.6660 6.0305 ((21 . 26) (22 . 27) (24 . 29) (25 . 31)) 1665 0.6638 8.7305 ((21 . 4) (22 . 6) (23 . 7) (25 . 8)) 1690 0.1499 4.8328 ((21 . 1) (22 . 8) (23 . 9) (25 . 11)) 1692 0.6643 8.2745 ((20 . 4) (21 . 5) (22 . 6) (25 . 8)) 1731 0.1996 9.1693 ((22 . 3) (23 . 5) (24 . 7) (25 . 6)) 1736 0.2488 5.8502 ((20 . 8) (22 . 10) (24 . 11) (25 . 12)) 1738 0.6666 3.4076 ((21 . 18) (22 . 19) (24 . 20) (25 . 21)) 1747 0.6576 11.7046 ((21 . 48) (23 . 50) (24 . 51) (25 . 52)) 1761 0.6543 12.6710 ((21 . 5) (23 . 6) (24 . 8) (25 . 9)) 1776 0.4659 10.2744 ((20 . 13) (21 . 14) (24 . 18) (25 . 20)) 1778 0.6647 7.8833 ((21 . 4) (22 . 5) (24 . 6) (25 . 8)) 1805 0.6663 5.2447 ((21 . 3) (22 . 4) (23 . 5) (25 . 9)) 1808 0.1998 7.1626 ((20 . 1) (21 . 4) (22 . 5) (24 . 7) (25 . 8)) 1817 0.1996 7.1482 ((21 . 18) (22 . 19) (24 . 21) (25 . 20)) 1867 0.3875 10.7766 ((21 . 1) (23 . 4) (24 . 8) (25 . 7)) 1894 0.6657 6.6978 ((21 . 21) (22 . 22) (24 . 24) (25 . 25)) 1896 0.6646 7.9795 ((20 . 2) (22 . 3) (23 . 4) (25 . 5)) 1897 0.6616 10.0577 ((20 . 38) (21 . 39) (22 . 40) (24 . 44)) 1908 0.6663 5.1147 ((20 . 8) (22 . 10) (24 . 14) (25 . 15)) 1909 0.6660 5.9526 ((20 . 36) (22 . 37) (23 . 38) (25 . 39)) 1913 0.6649 7.7569 ((20 . 2) (21 . 3) (22 . 4) (25 . 7)) 1944 0.0999 6.3000 ((22 . 9) (23 . 8) (24 . 12) (25 . 13)) 1957 0.6661 5.7425 ((20 . 16) (22 . 17) (23 . 18) (25 . 19)) 1961 0.6659 6.1765 ((21 . 15) (22 . 16) (24 . 18) (25 . 19)) 1967 0.8301 6.8037 ((21 . 1) (22 . 3) (23 . 4) (24 . 6) (25 . 7)) 1972 0.0999 10.1507 ((20 . 21) (22 . 24) (23 . 25) (25 . 27)) 1992 0.4656 10.8649 ((20 . 10) (21 . 12) (22 . 14) (23 . 13)) 1995 0.1499 9.2836 ((21 . 1) (22 . 2) (24 . 5) (25 . 7)) 2006 0.6662 5.5072 ((20 . 6) (21 . 7) (22 . 8) (25 . 10)) 2048 0.2970 6.0252 ((20 . 12) (22 . 13) (23 . 14) (25 . 16)) 2063 0.6657 6.6891 ((20 . 46) (21 . 47) (22 . 48) (25 . 50)) 2067 0.6655 6.9953 ((21 . 60) (23 . 61) (24 . 62) (25 . 63)) 2072 0.1665 8.2770 ((20 . 3) (21 . 6) (22 . 7) (24 . 8)) 2081 0.8232 9.0969 ((20 . 7) (21 . 9) (22 . 10) (24 . 11) (25 . 12)) 2083 0.6665 4.4109 ((21 . 1) (22 . 2) (24 . 3) (25 . 4)) 2097 0.1996 9.3674 ((21 . 14) (22 . 16) (24 . 19) (25 . 18)) 2114 0.8316 5.8156 ((20 . 30) (21 . 32) (22 . 34) (23 . 35) (25 . 36)) 2117 0.6666 3.0770 ((21 . 22) (22 . 23) (24 . 24) (25 . 25)) 2118 0.8128 10.9344 ((20 . 2) (21 . 4) (22 . 5) (24 . 6) (25 . 7)) 2122 0.6551 12.4423 ((20 . 11) (21 . 12) (24 . 16) (25 . 18)) 2166 0.8189 9.9613 ((20 . 10) (21 . 12) (22 . 13) (24 . 14) (25 . 15)) 2179 0.6665 4.0707 ((21 . 9) (22 . 10) (24 . 12) (25 . 13)) 2203 0.8305 6.5449 ((20 . 3) (21 . 6) (22 . 7) (24 . 8) (25 . 10)) 2209 0.6649 7.7189 ((21 . 6) (22 . 7) (24 . 8) (25 . 9)) 2243 0.3880 5.8166 ((21 . 42) (22 . 44) (24 . 46) (25 . 47)) 2248 0.1499 12.3435 ((20 . 20) (22 . 22) (23 . 23) (24 . 26)) 2249 0.6628 9.4076 ((20 . 10) (22 . 12) (24 . 14) (25 . 16)) 2269 0.6648 7.8511 ((21 . 7) (22 . 8) (24 . 9) (25 . 10)) 2279 0.8330 3.7786 ((20 . 1) (21 . 3) (22 . 5) (24 . 6) (25 . 9)) 2298 0.6662 5.6114 ((20 . 13) (22 . 15) (24 . 16) (25 . 17)) 2308 0.6642 8.4218 ((21 . 5) (22 . 6) (24 . 7) (25 . 8)) 2340 0.6647 7.9498 ((20 . 12) (21 . 13) (22 . 14) (23 . 15)) 2344 0.6615 10.1216 ((20 . 9) (21 . 10) (22 . 11) (25 . 14)) 2364 0.2487 11.0156 ((20 . 2) (22 . 4) (24 . 6) (25 . 7)) 2381 0.6653 7.2511 ((20 . 2) (21 . 3) (22 . 4) (25 . 6)) 2389 0.6662 5.4670 ((21 . 10) (22 . 11) (24 . 12) (25 . 14)) 2423 0.6663 5.3078 ((21 . 16) (22 . 17) (24 . 18) (25 . 19)) 2447 0.6641 8.4816 ((20 . 2) (23 . 3) (24 . 4) (25 . 6)) 2462 0.2987 5.1569 ((20 . 5) (21 . 6) (22 . 7) (24 . 10) (25 . 12)) 2510 0.0999 6.8963 ((20 . 6) (22 . 7) (24 . 8) (25 . 9)) 2525 0.1996 7.7451 ((21 . 43) (22 . 45) (24 . 46) (25 . 47)) 2529 0.6652 7.4075 ((20 . 4) (21 . 5) (22 . 6) (23 . 7)) 2533 0.6665 4.5124 ((20 . 5) (22 . 6) (23 . 7) (25 . 8)) 2544 0.1665 5.0950 ((20 . 21) (21 . 22) (22 . 23) (23 . 24)) 2551 0.3879 6.6195 ((20 . 10) (21 . 11) (22 . 12) (25 . 14)) 2552 0.0999 9.1802 ((20 . 2) (22 . 3) (23 . 4) (25 . 5)) 2556 0.2969 9.0059 ((20 . 12) (21 . 13) (22 . 16) (24 . 17)) 2557 0.6666 3.5034 ((20 . 1) (22 . 3) (23 . 5) (25 . 6)) 2561 0.6659 6.1509 ((20 . 5) (21 . 6) (22 . 7) (25 . 9)) 2595 0.0999 5.1830 ((20 . 5) (22 . 6) (23 . 7) (25 . 9)) 2619 0.6663 5.3622 ((21 . 2) (22 . 3) (24 . 4) (25 . 5)) 2627 0.1333 6.3405 ((20 . 61) (21 . 60) (23 . 62) (25 . 65)) 2650 0.6661 5.8308 ((21 . 1) (22 . 2) (23 . 4) (25 . 7)) 2658 0.3879 7.5560 ((20 . 11) (21 . 12) (22 . 13) (25 . 14)) 2675 0.6643 8.3231 ((21 . 4) (22 . 5) (24 . 9) (25 . 10)) 2682 0.3874 11.7448 ((21 . 15) (23 . 16) (24 . 18) (25 . 19)) 2696 0.1499 10.6616 ((21 . 32) (22 . 34) (23 . 33) (25 . 35)) 2731 0.6666 2.7329 ((22 . 1) (23 . 2) (24 . 3) (25 . 4)) 2733 0.4646 12.7902 ((20 . 5) (23 . 6) (24 . 7) (25 . 8)) 2755 0.6586 11.3555 ((21 . 1) (22 . 3) (24 . 4) (25 . 5)) 2773 0.6664 4.9988 ((21 . 2) (22 . 3) (24 . 4) (25 . 5)) 2783 0.1996 7.1044 ((21 . 6) (22 . 7) (24 . 9) (25 . 8)) 2821 0.0999 5.0831 ((21 . 4) (22 . 5) (23 . 6) (25 . 7)) 2830 0.3877 9.3479 ((20 . 14) (21 . 15) (23 . 16) (24 . 18)) 2834 0.6663 5.2713 ((21 . 5) (22 . 6) (24 . 7) (25 . 8)) 2840 0.6662 5.5204 ((22 . 1) (23 . 2) (24 . 3) (25 . 5)) 2842 0.3878 8.8599 ((21 . 5) (23 . 7) (24 . 8) (25 . 9)) 2879 0.6661 5.7546 ((21 . 52) (22 . 53) (24 . 55) (25 . 58)) 2940 0.2970 6.3984 ((20 . 2) (21 . 4) (22 . 5) (25 . 6)) 2947 0.6665 3.9840 ((21 . 3) (22 . 4) (24 . 5) (25 . 6)) 2966 0.6665 4.1445 ((20 . 2) (21 . 3) (22 . 4) (23 . 5)) 2990 0.8324 5.0200 ((20 . 8) (21 . 9) (22 . 12) (24 . 13) (25 . 16)) 2999 0.6640 8.5592 ((20 . 1) (22 . 2) (24 . 3) (25 . 4)) 3019 0.6662 5.4786 ((20 . 21) (21 . 22) (22 . 25) (24 . 26)) 3034 0.2967 13.5823 ((20 . 8) (21 . 9) (23 . 11) (24 . 13)) 3041 0.6661 5.9131 ((20 . 11) (22 . 12) (24 . 15) (25 . 16)) 3070 0.1998 4.2628 ((20 . 34) (21 . 35) (22 . 36) (23 . 37) (25 . 33)) 3084 0.6543 12.6728 ((20 . 2) (23 . 4) (24 . 6) (25 . 5)) 3102 0.1996 10.6339 ((20 . 64) (21 . 65) (22 . 67) (25 . 69)) 3103 0.3948 6.1256 ((21 . 3) (22 . 5) (23 . 6) (24 . 7) (25 . 11)) 3120 1.0000 0.0000 ((20 . 20) (21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25)) 3127 0.1333 10.7322 ((20 . 5) (22 . 8) (23 . 9) (24 . 12)) 3187 0.1996 6.0279 ((21 . 5) (22 . 6) (24 . 8) (25 . 7)) 3190 0.1499 7.7435 ((20 . 2) (22 . 3) (23 . 4) (25 . 6)) 3197 0.6624 9.6428 ((20 . 20) (21 . 21) (23 . 23) (24 . 25)) 3200 0.6646 8.0576 ((20 . 7) (22 . 9) (24 . 12) (25 . 13)) 3222 0.8326 4.6460 ((20 . 9) (21 . 15) (22 . 16) (24 . 17) (25 . 18)) 3256 0.6647 7.9320 ((21 . 25) (22 . 26) (23 . 27) (25 . 28)) 3261 0.6660 6.0941 ((20 . 5) (21 . 6) (22 . 7) (24 . 10)) 3286 0.1996 6.0634 ((20 . 6) (22 . 7) (23 . 8) (25 . 9)) 3289 0.1996 5.2942 ((21 . 25) (22 . 27) (23 . 28) (25 . 31)) 3300 0.6665 4.3271 ((21 . 1) (22 . 2) (23 . 3) (25 . 5)) 3334 0.4663 8.8759 ((21 . 4) (22 . 5) (23 . 7) (24 . 9)) 3339 0.6647 7.9230 ((20 . 14) (22 . 15) (24 . 16) (25 . 17)) 3358 0.1333 4.5302 ((20 . 3) (22 . 4) (23 . 5) (25 . 7)) 3362 0.6609 10.4227 ((20 . 3) (22 . 6) (24 . 7) (25 . 8)) 3366 0.1996 8.5115 ((21 . 22) (22 . 24) (24 . 25) (25 . 27)) 3391 0.6664 4.8785 ((20 . 5) (22 . 6) (23 . 7) (25 . 8)) 3410 0.3880 5.4805 ((20 . 27) (22 . 28) (23 . 29) (25 . 30)) 3418 0.6253 11.8782 ((20 . 1) (21 . 2) (22 . 5) (23 . 3) (25 . 7)) 3481 0.1996 8.5597 ((21 . 1) (22 . 2) (23 . 3) (25 . 4)) 3495 0.3879 7.3818 ((21 . 7) (22 . 8) (23 . 9) (24 . 10)) 3496 0.6664 4.6975 ((20 . 21) (21 . 22) (22 . 23) (24 . 24)) 3533 0.6647 7.9741 ((21 . 1) (22 . 3) (24 . 6) (25 . 7)) 3537 0.6636 8.8762 ((20 . 8) (21 . 9) (22 . 10) (24 . 11)) 3538 0.2970 8.5006 ((22 . 15) (23 . 16) (24 . 17) (25 . 18)) 3548 0.3879 6.7649 ((21 . 4) (22 . 5) (24 . 7) (25 . 8)) 3549 0.1996 8.7560 ((20 . 4) (21 . 3) (24 . 7) (25 . 8)) 3561 0.6658 6.4053 ((20 . 29) (21 . 30) (22 . 31) (23 . 32)) 3570 0.1333 7.3367 ((21 . 4) (22 . 7) (24 . 9) (25 . 10)) 3585 0.6666 3.7100 ((21 . 5) (22 . 6) (24 . 7) (25 . 16)) 3613 0.1665 8.6308 ((21 . 35) (22 . 36) (23 . 38) (24 . 39)) 3628 0.6656 6.7248 ((21 . 9) (22 . 10) (24 . 11) (25 . 12)) 3651 0.6661 5.7563 ((20 . 2) (22 . 3) (24 . 4) (25 . 5)) 3656 0.1250 10.5237 ((20 . 21) (21 . 22) (22 . 23) (24 . 25)) 3658 0.2488 8.5003 ((21 . 7) (22 . 8) (23 . 9) (24 . 10)) 3659 0.3878 9.0183 ((20 . 3) (21 . 5) (22 . 7) (23 . 6)) 3661 0.2969 8.7662 ((20 . 22) (21 . 23) (22 . 24) (23 . 25)) 3663 0.6655 6.8798 ((20 . 3) (21 . 2) (22 . 5) (24 . 6)) 3697 0.8326 4.7214 ((20 . 5) (21 . 6) (22 . 7) (24 . 8) (25 . 10)) 3703 0.6658 6.4226 ((20 . 5) (21 . 6) (22 . 7) (24 . 10)) 3732 0.6617 10.0025 ((20 . 4) (22 . 7) (24 . 8) (25 . 9)) 3733 0.1499 5.5170 ((22 . 3) (23 . 4) (24 . 5) (25 . 6)) 3740 0.1996 8.6239 ((21 . 5) (22 . 6) (24 . 8) (25 . 9)) 3776 0.1996 7.3500 ((20 . 16) (22 . 17) (23 . 18) (25 . 21)) 3778 0.3880 4.9322 ((21 . 3) (22 . 4) (24 . 5) (25 . 6)) 3787 0.6641 8.4933 ((20 . 24) (22 . 27) (24 . 28) (25 . 29)) 3790 0.6659 6.2250 ((20 . 23) (21 . 24) (22 . 25) (25 . 27)) 3807 0.6663 5.0757 ((21 . 46) (22 . 47) (24 . 49) (25 . 50)) 3817 0.1499 11.3836 ((20 . 3) (22 . 7) (23 . 6) (24 . 8)) 3818 0.1250 11.5603 ((20 . 21) (22 . 23) (23 . 24) (24 . 27)) 3831 0.6664 4.9661 ((21 . 2) (22 . 3) (24 . 4) (25 . 5)) 3847 0.1996 11.4312 ((21 . 9) (23 . 10) (24 . 11) (25 . 13)) 3849 0.1333 7.4364 ((21 . 2) (22 . 3) (23 . 4) (24 . 7)) 3853 0.6661 5.7904 ((20 . 4) (22 . 6) (24 . 7) (25 . 8)) 3870 0.1996 4.9655 ((22 . 5) (23 . 6) (24 . 7) (25 . 8)) 3933 0.0999 6.7060 ((21 . 2) (22 . 3) (23 . 4) (25 . 7)) 3938 0.8329 4.1456 ((20 . 1) (21 . 2) (22 . 4) (23 . 5) (25 . 9)) 3942 0.2488 7.3370 ((21 . 2) (22 . 3) (23 . 5) (24 . 6)) 3968 0.6661 5.6685 ((20 . 7) (22 . 9) (23 . 10) (25 . 11)) 3990 0.1996 7.8828 ((22 . 18) (23 . 19) (24 . 21) (25 . 22)) 4005 0.6665 4.3087 ((21 . 26) (22 . 27) (23 . 28) (25 . 37)) 4009 0.5267 10.9473 ((20 . 10) (21 . 12) (23 . 14) (24 . 16)) 4019 0.6653 7.1947 ((21 . 35) (22 . 36) (24 . 40) (25 . 42)) 4034 0.8317 5.7065 ((20 . 3) (21 . 5) (22 . 6) (24 . 7) (25 . 13)) 4037 0.4666 7.2322 ((20 . 4) (21 . 3) (23 . 5) (24 . 6)) 4062 0.1665 4.9861 ((21 . 49) (22 . 50) (23 . 51) (24 . 52)) 4067 0.1996 6.6622 ((20 . 21) (21 . 22) (23 . 23) (25 . 24)) 4082 0.4664 8.2609 ((20 . 2) (23 . 3) (24 . 4) (25 . 6)) 4087 0.6662 5.4244 ((20 . 4) (21 . 5) (22 . 6) (25 . 8)) 4115 0.1996 9.3594 ((20 . 12) (22 . 13) (24 . 14) (25 . 15)) 4151 0.2969 10.0133 ((20 . 1) (22 . 3) (24 . 4) (25 . 5)) 4177 0.4667 5.0490 ((21 . 1) (22 . 2) (23 . 3) (24 . 4)) 4190 0.2488 7.9078 ((21 . 1) (22 . 3) (23 . 4) (24 . 6)) 4192 0.6665 4.3899 ((20 . 11) (22 . 13) (24 . 14) (25 . 15)) 4194 0.2970 7.2647 ((20 . 4) (21 . 5) (22 . 6) (24 . 8)) 4204 0.6660 6.0161 ((20 . 1) (22 . 3) (24 . 4) (25 . 5)) 4210 0.6662 5.5172 ((21 . 5) (22 . 6) (24 . 7) (25 . 8)) 4226 0.6662 5.6421 ((20 . 2) (22 . 4) (24 . 5) (25 . 6)) 4236 0.6656 6.7881 ((21 . 5) (22 . 6) (24 . 11) (25 . 10)) 4254 0.6664 4.9909 ((21 . 9) (22 . 11) (24 . 12) (25 . 13)) 4255 0.8329 4.0601 ((20 . 22) (21 . 23) (22 . 24) (24 . 25) (25 . 26)) 4265 0.6617 9.9989 ((21 . 20) (22 . 21) (23 . 22) (24 . 25)) 4274 0.2970 7.3652 ((21 . 36) (22 . 38) (23 . 39) (25 . 41)) 4275 0.6591 11.1571 ((20 . 26) (21 . 27) (22 . 28) (24 . 29)) 4281 0.6662 5.5402 ((21 . 4) (22 . 8) (24 . 9) (25 . 10)) 4284 0.6659 6.3195 ((20 . 2) (21 . 5) (22 . 6) (24 . 7)) 4299 0.1499 5.0883 ((20 . 5) (22 . 6) (23 . 7) (25 . 9)) 4326 0.2969 11.1704 ((21 . 11) (22 . 12) (24 . 14) (25 . 15)) 4332 0.8331 3.3243 ((20 . 1) (21 . 2) (22 . 4) (24 . 5) (25 . 6)) 4338 0.1996 5.7481 ((20 . 5) (21 . 6) (22 . 7) (24 . 9)) 4380 0.8298 6.9339 ((20 . 6) (21 . 14) (22 . 15) (23 . 16) (25 . 18)) 4386 0.4664 8.1048 ((20 . 8) (21 . 9) (22 . 10) (24 . 11)) 4388 0.6661 5.8764 ((20 . 4) (21 . 5) (22 . 6) (25 . 9)) 4398 0.6651 7.4266 ((21 . 7) (22 . 8) (24 . 9) (25 . 10)) 4405 0.6663 5.1878 ((20 . 17) (21 . 18) (22 . 19) (24 . 20)) 4408 0.6666 3.8150 ((21 . 3) (22 . 4) (24 . 5) (25 . 6)) 4415 0.8329 4.1491 ((20 . 2) (21 . 3) (22 . 4) (24 . 5) (25 . 9)) 4426 0.6665 4.4560 ((20 . 3) (22 . 4) (24 . 5) (25 . 6)) 4470 0.6657 6.7135 ((21 . 2) (22 . 3) (23 . 4) (25 . 9)) 4491 0.6666 3.2028 ((20 . 4) (21 . 5) (22 . 6) (24 . 7)) 4492 0.6652 7.3701 ((20 . 9) (22 . 11) (24 . 12) (25 . 13)) 4495 0.6657 6.6601 ((22 . 18) (23 . 19) (24 . 20) (25 . 21)) 4502 0.6649 7.7541 ((21 . 10) (22 . 11) (24 . 13) (25 . 14)) 4504 0.6635 8.9441 ((20 . 10) (23 . 11) (24 . 12) (25 . 13)) 4505 0.6665 4.4915 ((21 . 25) (22 . 26) (23 . 27) (25 . 28)) 4516 0.6661 5.7920 ((21 . 6) (22 . 8) (23 . 9) (25 . 10)) 4527 0.2488 8.0653 ((20 . 2) (21 . 1) (23 . 4) (25 . 6)) 4560 0.1996 8.9326 ((21 . 2) (22 . 4) (24 . 5) (25 . 6)) 4561 0.2969 10.3122 ((22 . 5) (23 . 6) (24 . 8) (25 . 7)) 4562 0.1996 6.8927 ((20 . 23) (22 . 25) (24 . 26) (25 . 27)) 4563 0.5274 9.9557 ((20 . 3) (22 . 4) (23 . 5) (24 . 6)) 4577 0.6581 11.5151 ((21 . 42) (22 . 43) (24 . 45) (25 . 46)) 4588 0.6651 7.4468 ((21 . 8) (22 . 9) (24 . 12) (25 . 13)) 4589 0.6661 5.7083 ((20 . 20) (21 . 22) (22 . 23) (24 . 24)) 4621 0.3879 7.9824 ((21 . 7) (22 . 8) (24 . 10) (25 . 11)) 4630 0.6653 7.2103 ((20 . 2) (21 . 3) (22 . 4) (25 . 7)) 4648 0.6663 5.0558 ((21 . 1) (22 . 2) (24 . 3) (25 . 5)) 4653 0.2970 7.7306 ((20 . 2) (21 . 1) (22 . 3) (25 . 6)) 4668 0.6621 9.8303 ((22 . 3) (23 . 2) (24 . 6) (25 . 5)) 4671 0.6665 4.2595 ((21 . 1) (22 . 2) (24 . 3) (25 . 4)) 4674 0.6664 4.7027 ((21 . 1) (22 . 2) (23 . 3) (24 . 4)) 4715 0.4662 9.1542 ((20 . 1) (23 . 2) (24 . 4) (25 . 6)) 4731 0.2488 8.6356 ((20 . 13) (21 . 14) (22 . 18) (23 . 17)) 4857 0.6666 3.7152 ((21 . 2) (22 . 3) (24 . 4) (25 . 13)) 4886 0.6650 7.5902 ((21 . 16) (22 . 17) (23 . 18) (25 . 19)) 4888 0.4664 8.0707 ((20 . 2) (21 . 4) (24 . 6) (25 . 9)) 4889 0.3880 5.3227 ((21 . 3) (22 . 4) (24 . 5) (25 . 6)) 4907 0.1996 7.5878 ((20 . 2) (21 . 4) (22 . 5) (25 . 9)) 4921 0.0999 8.5746 ((21 . 9) (23 . 11) (24 . 13) (25 . 14)) 4932 0.6664 4.9727 ((21 . 5) (22 . 6) (24 . 7) (25 . 8)) 4940 0.2970 8.6274 ((20 . 5) (21 . 6) (22 . 7) (25 . 9)) 4961 0.4659 10.0847 ((20 . 4) (22 . 7) (23 . 8) (24 . 11)) 4978 0.6632 9.1203 ((21 . 25) (23 . 26) (24 . 27) (25 . 28)) 4982 0.6661 5.7788 ((21 . 9) (22 . 10) (24 . 11) (25 . 12)) 4992 0.6664 4.8978 ((21 . 2) (22 . 3) (24 . 4) (25 . 6)) 4998 0.6583 11.4460 ((21 . 19) (22 . 20) (24 . 21) (25 . 23)) 5029 0.1996 7.4021 ((21 . 1) (22 . 2) (24 . 3) (25 . 4)) 5038 0.1996 6.9806 ((20 . 13) (21 . 14) (22 . 15) (25 . 18)) 5039 0.1996 11.4080 ((20 . 36) (22 . 37) (23 . 38) (24 . 40)) 5053 0.6620 9.8596 ((21 . 12) (23 . 13) (24 . 14) (25 . 15)) 5065 0.6629 9.3421 ((20 . 1) (21 . 2) (22 . 3) (24 . 5)) 5068 0.3879 7.6536 ((20 . 11) (21 . 12) (23 . 14) (25 . 16)) 5069 0.6656 6.7798 ((21 . 5) (22 . 7) (23 . 8) (25 . 9)) 5073 0.6666 3.5765 ((22 . 36) (23 . 37) (24 . 38) (25 . 39)) 5083 0.4668 4.4439 ((21 . 1) (23 . 3) (24 . 4) (25 . 5)) 5101 0.6657 6.6968 ((21 . 15) (22 . 23) (23 . 24) (25 . 25)) 5103 0.1996 4.1511 ((22 . 6) (23 . 7) (24 . 8) (25 . 9)) 5121 0.1996 5.4736 ((20 . 14) (21 . 16) (22 . 18) (25 . 21)) 5132 0.6661 5.6771 ((20 . 17) (22 . 18) (23 . 19) (25 . 20)) 5134 0.6665 4.1102 ((21 . 2) (22 . 3) (24 . 5) (25 . 6)) 5145 0.4660 9.8737 ((20 . 2) (22 . 3) (23 . 4) (24 . 7)) 5167 0.2969 10.9709 ((21 . 4) (23 . 6) (24 . 7) (25 . 9)) 5192 0.1250 11.9894 ((20 . 2) (23 . 4) (24 . 6) (25 . 5)) 5198 0.1996 9.9850 ((22 . 24) (23 . 25) (24 . 27) (25 . 26)) 5209 0.2488 6.1217 ((20 . 2) (21 . 3) (22 . 4) (24 . 6)) 5212 0.4666 6.9216 ((20 . 1) (21 . 2) (22 . 3) (23 . 4)) 5215 0.6624 9.6244 ((21 . 12) (23 . 13) (24 . 14) (25 . 15)) 5223 0.6665 4.0473 ((20 . 4) (22 . 6) (24 . 7) (25 . 8)) 5231 0.4660 9.8739 ((21 . 13) (22 . 14) (23 . 15) (24 . 17)) 5266 0.3879 6.8324 ((20 . 12) (21 . 13) (22 . 15) (24 . 16)) 5278 0.6651 7.5397 ((20 . 3) (21 . 5) (22 . 6) (25 . 8)) 5307 0.6654 7.1335 ((20 . 54) (21 . 55) (22 . 57) (24 . 59)) 5318 0.6551 12.4524 ((20 . 7) (21 . 8) (23 . 10) (24 . 12)) 5323 0.6665 4.2620 ((20 . 9) (21 . 10) (22 . 11) (23 . 12)) 5324 0.6636 8.8801 ((20 . 6) (21 . 7) (23 . 8) (25 . 12)) 5344 0.3878 8.4035 ((20 . 6) (21 . 7) (22 . 8) (25 . 10)) 5368 0.6665 4.1861 ((20 . 44) (21 . 45) (22 . 46) (25 . 48)) 5378 0.8328 4.3237 ((20 . 1) (21 . 3) (22 . 4) (24 . 5) (25 . 7)) 5411 0.6653 7.2013 ((20 . 5) (21 . 6) (22 . 8) (24 . 9)) 5414 0.2970 5.0926 ((21 . 15) (22 . 16) (23 . 17) (25 . 20)) 5418 0.2969 10.6565 ((21 . 2) (22 . 3) (23 . 4) (25 . 7)) 5487 0.2969 9.9043 ((20 . 3) (22 . 7) (23 . 8) (24 . 10)) 5500 0.4659 10.0050 ((20 . 6) (22 . 7) (24 . 10) (25 . 12)) 5540 0.6665 3.9692 ((21 . 15) (22 . 16) (24 . 17) (25 . 18)) 5557 0.6661 5.9176 ((21 . 3) (22 . 4) (24 . 5) (25 . 6)) 5560 0.6662 5.6191 ((21 . 11) (22 . 13) (24 . 14) (25 . 15)) 5562 0.6665 4.3817 ((21 . 6) (22 . 7) (24 . 9) (25 . 11)) 5567 0.6649 7.7350 ((21 . 6) (22 . 8) (24 . 10) (25 . 11)) 5594 0.1499 5.4063 ((20 . 7) (22 . 9) (23 . 10) (25 . 12)) 5600 0.8326 4.7463 ((20 . 4) (21 . 5) (22 . 6) (24 . 7) (25 . 9)) 5601 0.6635 8.9394 ((22 . 5) (23 . 6) (24 . 9) (25 . 8)) 5638 0.1996 9.9695 ((21 . 9) (22 . 13) (23 . 12) (24 . 14)) 5644 0.3879 7.5270 ((21 . 1) (22 . 3) (24 . 5) (25 . 8)) 5656 0.6632 9.1451 ((21 . 2) (22 . 3) (23 . 4) (25 . 5)) 5700 0.6638 8.7245 ((21 . 3) (22 . 4) (24 . 7) (25 . 6)) 5701 0.6647 7.9592 ((21 . 11) (22 . 12) (24 . 13) (25 . 14)) 5711 0.1499 9.0814 ((21 . 44) (22 . 46) (24 . 48) (25 . 47)) 5718 0.6647 7.9325 ((21 . 17) (22 . 18) (24 . 22) (25 . 23)) 5731 0.1996 6.8261 ((21 . 2) (22 . 3) (24 . 6) (25 . 7)) 5746 0.8325 4.7587 ((20 . 1) (21 . 2) (22 . 3) (24 . 4) (25 . 6)) 5749 0.6659 6.1629 ((20 . 2) (21 . 3) (22 . 4) (25 . 6)) 5761 0.6326 4.1663 ((21 . 31) (22 . 32) (23 . 33) (24 . 34) (25 . 36)) 5770 0.6661 5.8488 ((20 . 5) (22 . 6) (23 . 7) (25 . 8)) 5771 0.1665 9.3555 ((20 . 2) (23 . 7) (24 . 8) (25 . 9)) 5782 0.8329 4.1965 ((21 . 26) (22 . 27) (23 . 28) (24 . 31) (25 . 32)) 5794 0.6664 4.7784 ((20 . 13) (22 . 16) (24 . 17) (25 . 18)) 5795 0.8296 7.0307 ((21 . 9) (22 . 10) (23 . 11) (24 . 12) (25 . 13)) 5809 0.1333 8.4820 ((20 . 6) (22 . 9) (23 . 8) (25 . 12)) 5822 0.6653 7.2705 ((20 . 5) (21 . 6) (22 . 8) (25 . 9)) 5827 0.6666 3.2225 ((21 . 4) (22 . 5) (24 . 6) (25 . 8)) 5865 0.6664 4.9571 ((21 . 4) (22 . 5) (24 . 6) (25 . 7)) 5878 0.2487 10.0042 ((20 . 24) (21 . 26) (22 . 28) (24 . 31)) 5896 0.8330 3.9292 ((20 . 27) (21 . 28) (22 . 29) (23 . 30) (25 . 31)) 5904 0.0999 5.7610 ((20 . 8) (22 . 9) (23 . 10) (25 . 11)) 5913 0.6661 5.7377 ((21 . 6) (22 . 7) (23 . 8) (24 . 11)) 5914 0.1499 6.0815 ((21 . 2) (22 . 3) (23 . 4) (25 . 6)) 5930 0.0999 5.7742 ((21 . 1) (22 . 2) (23 . 3) (25 . 4)) 5939 0.3869 13.4652 ((21 . 10) (23 . 12) (24 . 13) (25 . 14)) 5945 0.6634 9.0131 ((20 . 31) (21 . 32) (22 . 33) (24 . 34)) 5955 0.1996 8.6275 ((20 . 13) (21 . 14) (22 . 16) (24 . 18)) 6000 0.3876 10.6383 ((20 . 27) (21 . 28) (22 . 31) (24 . 32)) 6011 0.1665 12.9872 ((20 . 17) (21 . 19) (22 . 20) (24 . 21)) 6028 0.1333 7.8652 ((21 . 2) (22 . 3) (23 . 4) (24 . 8)) 6029 0.8319 5.5224 ((21 . 5) (22 . 6) (23 . 7) (24 . 8) (25 . 10)) 6041 0.6651 7.4871 ((21 . 12) (22 . 13) (24 . 14) (25 . 15)) 6046 0.6664 4.8016 ((20 . 1) (21 . 5) (22 . 6) (24 . 7)) 6061 0.6644 8.1898 ((21 . 14) (22 . 15) (24 . 16) (25 . 17)) 6074 0.6661 5.6891 ((20 . 7) (22 . 8) (24 . 10) (25 . 11)) 6075 0.2970 3.8163 ((22 . 17) (23 . 18) (24 . 19) (25 . 20)) 6079 0.8297 6.9782 ((20 . 2) (21 . 8) (22 . 9) (23 . 10) (25 . 11)) 6087 0.0999 6.5015 ((20 . 7) (22 . 8) (24 . 9) (25 . 10)) 6089 0.6595 11.0056 ((20 . 19) (22 . 21) (24 . 22) (25 . 23)) 6094 0.1333 7.1268 ((21 . 2) (22 . 3) (24 . 6) (25 . 7)) 6099 0.6635 8.9229 ((20 . 19) (23 . 21) (24 . 20) (25 . 23)) 6123 0.6619 9.8951 ((21 . 4) (22 . 5) (23 . 6) (24 . 7)) 6173 0.6667 2.2857 ((21 . 13) (22 . 15) (23 . 16) (25 . 7)) 6191 0.3473 4.5744 ((20 . 1) (21 . 3) (22 . 4) (24 . 5) (25 . 13)) 6192 0.2969 9.6404 ((22 . 1) (23 . 2) (24 . 4) (25 . 3)) 6215 0.6664 4.9875 ((21 . 19) (22 . 20) (24 . 22) (25 . 24)) 6225 0.6599 10.8495 ((21 . 7) (22 . 8) (23 . 9) (25 . 10)) 6228 0.2488 8.3850 ((21 . 14) (23 . 16) (24 . 18) (25 . 19)) 6234 0.6661 5.7297 ((21 . 6) (22 . 7) (23 . 8) (25 . 10)) 6238 0.6655 6.8803 ((20 . 2) (21 . 3) (22 . 4) (24 . 6)) 6243 0.6665 3.9881 ((21 . 2) (22 . 3) (24 . 5) (25 . 6)) 6251 0.6610 10.3631 ((22 . 17) (23 . 18) (24 . 20) (25 . 19)) 6258 0.1996 8.3644 ((20 . 5) (21 . 12) (22 . 13) (24 . 14)) 6261 0.6660 6.0519 ((20 . 7) (22 . 9) (24 . 10) (25 . 11)) 6266 0.0999 6.2544 ((20 . 7) (22 . 8) (23 . 9) (25 . 10)) 6270 0.8330 3.8676 ((20 . 16) (21 . 17) (22 . 18) (24 . 19) (25 . 20)) 6271 0.6659 6.1892 ((20 . 9) (21 . 10) (22 . 11) (25 . 12)) 6273 0.6640 8.5874 ((21 . 1) (22 . 2) (24 . 5) (25 . 6)) 6294 0.6606 10.5521 ((20 . 7) (22 . 11) (23 . 12) (25 . 14)) 6306 0.6644 8.1905 ((21 . 15) (22 . 16) (24 . 18) (25 . 19)) 6309 0.6665 4.4108 ((20 . 19) (21 . 20) (24 . 26) (25 . 25)) 6344 0.6663 5.2778 ((21 . 3) (22 . 4) (24 . 5) (25 . 6)) 6348 0.6666 3.4914 ((22 . 1) (23 . 2) (24 . 3) (25 . 4)) 6355 0.1996 7.8391 ((20 . 3) (21 . 4) (22 . 6) (25 . 9)) 6356 0.1250 7.5068 ((20 . 2) (22 . 4) (24 . 5) (25 . 6)) 6369 0.3877 9.4165 ((20 . 25) (21 . 26) (23 . 27) (24 . 28)) 6376 0.1333 6.5271 ((20 . 16) (22 . 17) (24 . 18) (25 . 19)) 6391 0.2488 6.3168 ((20 . 7) (22 . 10) (24 . 11) (25 . 12)) 6392 0.1250 8.8657 ((21 . 1) (23 . 2) (24 . 4) (25 . 3)) 6399 0.6653 7.2507 ((20 . 23) (21 . 26) (22 . 27) (25 . 29)) 6403 0.6665 4.1426 ((21 . 14) (22 . 15) (24 . 16) (25 . 17)) 6434 0.2970 6.3938 ((20 . 1) (21 . 2) (22 . 3) (25 . 5)) 6462 0.8306 6.4943 ((20 . 27) (21 . 28) (22 . 29) (23 . 31) (24 . 34)) 6476 0.6613 10.2330 ((21 . 4) (23 . 6) (24 . 7) (25 . 9)) 6498 0.3879 7.0348 ((20 . 15) (22 . 19) (24 . 20) (25 . 21)) 6520 0.6643 8.3381 ((20 . 23) (21 . 24) (22 . 25) (25 . 28)) 6539 0.8331 3.6059 ((20 . 3) (21 . 4) (22 . 5) (24 . 7) (25 . 8)) 6548 0.6657 6.7079 ((20 . 8) (21 . 9) (22 . 12) (24 . 14)) 6553 0.6661 5.7434 ((20 . 16) (22 . 17) (24 . 19) (25 . 20)) 6555 0.1996 6.1839 ((21 . 6) (22 . 7) (23 . 8) (24 . 9)) 6561 0.1996 6.6148 ((21 . 9) (22 . 10) (24 . 11) (25 . 12)) 6573 0.1499 6.6095 ((20 . 15) (22 . 17) (23 . 18) (25 . 19)) 6575 0.6650 7.6516 ((21 . 1) (22 . 2) (24 . 6) (25 . 5)) 6578 0.1996 6.3319 ((22 . 34) (23 . 36) (24 . 39) (25 . 38)) 6584 0.6640 8.5859 ((20 . 1) (21 . 2) (22 . 3) (24 . 4)) 6585 0.6644 8.1869 ((20 . 9) (21 . 10) (22 . 11) (24 . 12)) 6587 0.8316 5.7955 ((20 . 27) (21 . 33) (22 . 34) (23 . 35) (24 . 36)) 6598 0.1996 7.0202 ((20 . 12) (21 . 13) (22 . 16) (25 . 17)) 6613 0.6664 4.7182 ((21 . 21) (22 . 22) (24 . 23) (25 . 24)) 6635 0.4667 5.5392 ((20 . 3) (21 . 4) (23 . 6) (25 . 7)) END