3289 51 0.6664 4.7293 ((25 . 7) (28 . 9) (29 . 10) (31 . 13)) 62 0.1996 7.2134 ((25 . 12) (27 . 13) (28 . 15) (29 . 16)) 64 0.6666 3.7742 ((25 . 12) (29 . 13) (30 . 14) (31 . 15)) 91 0.6598 10.8849 ((28 . 41) (29 . 42) (30 . 44) (31 . 45)) 96 0.1996 7.0756 ((25 . 3) (28 . 4) (30 . 5) (31 . 6)) 129 0.6660 6.1446 ((25 . 3) (29 . 9) (30 . 10) (31 . 11)) 136 0.4667 5.3934 ((27 . 5) (28 . 6) (30 . 7) (31 . 8)) 153 0.6638 8.7151 ((25 . 6) (29 . 8) (30 . 9) (31 . 10)) 157 0.1996 6.3900 ((25 . 9) (27 . 11) (28 . 12) (31 . 14)) 161 0.6666 3.1752 ((27 . 2) (29 . 3) (30 . 4) (31 . 6)) 162 0.1499 7.9763 ((25 . 17) (27 . 18) (30 . 20) (31 . 22)) 169 0.6648 7.8398 ((25 . 4) (29 . 7) (30 . 8) (31 . 9)) 191 0.1665 8.3977 ((25 . 6) (27 . 7) (29 . 8) (31 . 9)) 198 0.6648 7.7796 ((25 . 7) (27 . 9) (30 . 12) (31 . 13)) 233 0.6664 4.6855 ((25 . 2) (27 . 5) (30 . 7) (31 . 8)) 305 0.6659 6.2326 ((25 . 18) (27 . 19) (30 . 21) (31 . 22)) 315 0.6666 3.8986 ((27 . 3) (29 . 4) (30 . 5) (31 . 6)) 340 0.5288 5.1622 ((25 . 2) (27 . 4) (28 . 5) (30 . 9)) 350 0.6662 5.6237 ((25 . 1) (27 . 2) (30 . 5) (31 . 7)) 360 0.6664 4.9001 ((25 . 6) (29 . 9) (30 . 10) (31 . 12)) 365 0.6658 6.4183 ((25 . 1) (29 . 4) (30 . 6) (31 . 8)) 367 0.6655 6.9052 ((25 . 38) (27 . 40) (30 . 42) (31 . 43)) 372 0.6662 5.6622 ((25 . 2) (27 . 5) (29 . 7) (30 . 8)) 387 0.6663 5.3162 ((25 . 7) (29 . 10) (30 . 11) (31 . 12)) 405 0.6657 6.6971 ((25 . 32) (29 . 37) (30 . 38) (31 . 39)) 417 0.6665 3.9879 ((25 . 2) (27 . 5) (30 . 7) (31 . 9)) 420 0.6628 9.3840 ((25 . 2) (27 . 4) (29 . 5) (31 . 8)) 433 0.5633 9.7892 ((25 . 1) (28 . 4) (29 . 5) (30 . 6) (31 . 7)) 460 0.1499 7.1902 ((25 . 2) (27 . 6) (30 . 7) (31 . 8)) 491 0.2970 7.5384 ((25 . 6) (29 . 8) (30 . 9) (31 . 10)) 495 0.6655 6.9980 ((25 . 5) (27 . 8) (30 . 9) (31 . 11)) 541 0.2970 7.8071 ((25 . 7) (28 . 10) (29 . 11) (31 . 14)) 561 0.6665 4.3111 ((25 . 1) (27 . 4) (28 . 5) (31 . 6)) 584 0.1996 5.7874 ((28 . 2) (29 . 3) (30 . 4) (31 . 5)) 587 0.6666 3.4655 ((25 . 13) (29 . 14) (30 . 15) (31 . 16)) 609 0.2970 7.6260 ((25 . 3) (28 . 5) (29 . 6) (31 . 8)) 619 0.6591 11.1574 ((27 . 4) (29 . 6) (30 . 7) (31 . 8)) 624 0.2970 6.8964 ((25 . 20) (27 . 22) (28 . 23) (31 . 24)) 672 0.5288 5.1065 ((25 . 23) (27 . 24) (28 . 25) (29 . 26)) 683 0.3877 9.3756 ((25 . 1) (27 . 2) (28 . 4) (31 . 5)) 719 0.6664 4.7727 ((25 . 22) (27 . 23) (29 . 25) (30 . 27)) 735 0.6648 7.8663 ((25 . 31) (29 . 36) (30 . 37) (31 . 39)) 740 0.3878 8.5764 ((25 . 2) (27 . 4) (29 . 6) (30 . 9)) 767 0.6652 7.3100 ((25 . 26) (28 . 27) (30 . 31) (31 . 32)) 801 0.6652 7.3561 ((25 . 1) (29 . 5) (30 . 6) (31 . 7)) 818 0.6652 7.4153 ((25 . 4) (29 . 7) (30 . 8) (31 . 10)) 819 0.1665 7.5937 ((25 . 5) (27 . 8) (29 . 9) (31 . 10)) 824 0.6659 6.1769 ((25 . 45) (27 . 46) (30 . 49) (31 . 50)) 861 0.1996 8.1213 ((25 . 15) (27 . 16) (30 . 18) (31 . 19)) 913 0.3879 6.9984 ((25 . 16) (27 . 17) (28 . 18) (30 . 20)) 928 0.2970 6.6532 ((27 . 3) (28 . 4) (29 . 5) (31 . 7)) 943 0.6657 6.6393 ((27 . 4) (28 . 5) (29 . 6) (31 . 8)) 1007 0.8281 7.6643 ((25 . 8) (27 . 9) (29 . 11) (30 . 12) (31 . 13)) 1008 0.6657 6.5933 ((25 . 8) (27 . 13) (30 . 15) (31 . 16)) 1034 0.1996 6.8255 ((28 . 19) (29 . 20) (30 . 21) (31 . 22)) 1082 0.3877 9.5555 ((25 . 4) (27 . 6) (28 . 7) (31 . 8)) 1084 0.6606 10.5499 ((25 . 12) (28 . 15) (29 . 17) (31 . 18)) 1121 0.1996 8.2950 ((25 . 2) (27 . 4) (29 . 5) (30 . 6)) 1167 0.0999 5.6307 ((28 . 19) (29 . 20) (30 . 21) (31 . 22)) 1169 0.8306 6.5341 ((25 . 29) (27 . 32) (29 . 34) (30 . 35) (31 . 37)) 1195 0.6659 6.2865 ((25 . 2) (27 . 4) (30 . 5) (31 . 6)) 1201 0.3878 8.7966 ((28 . 13) (29 . 14) (30 . 15) (31 . 16)) 1204 0.3880 6.0547 ((25 . 1) (27 . 3) (28 . 4) (31 . 5)) 1211 0.6650 7.5957 ((25 . 8) (27 . 9) (30 . 10) (31 . 11)) 1217 0.6665 4.4740 ((27 . 11) (29 . 3) (30 . 5) (31 . 7)) 1224 0.6660 6.1319 ((25 . 6) (27 . 7) (30 . 9) (31 . 10)) 1267 0.6546 12.5887 ((25 . 9) (27 . 12) (29 . 13) (31 . 15)) 1294 0.6615 10.1269 ((25 . 42) (28 . 45) (30 . 46) (31 . 47)) 1345 0.3877 9.7930 ((25 . 14) (27 . 16) (28 . 17) (31 . 18)) 1366 0.8325 4.8586 ((25 . 12) (27 . 17) (29 . 20) (30 . 21) (31 . 22)) 1388 0.3880 5.8556 ((25 . 4) (27 . 5) (28 . 6) (31 . 8)) 1410 0.6663 5.3296 ((27 . 19) (29 . 20) (30 . 21) (31 . 22)) 1425 0.6666 3.8481 ((28 . 7) (29 . 8) (30 . 10) (31 . 11)) 1435 0.6634 8.9852 ((25 . 2) (27 . 3) (30 . 5) (31 . 6)) 1451 0.6577 11.6586 ((25 . 4) (27 . 5) (29 . 6) (31 . 8)) 1464 0.6655 6.9192 ((25 . 8) (27 . 10) (30 . 13) (31 . 14)) 1476 0.6636 8.8691 ((25 . 9) (27 . 11) (30 . 14) (31 . 15)) 1481 0.1996 6.3242 ((25 . 1) (27 . 2) (28 . 3) (31 . 4)) 1501 0.8330 3.9441 ((25 . 1) (27 . 2) (29 . 5) (30 . 6) (31 . 9)) 1513 0.1499 8.8938 ((25 . 2) (27 . 3) (30 . 6) (31 . 8)) 1514 0.6666 3.8866 ((25 . 1) (27 . 4) (28 . 5) (31 . 6)) 1577 0.0999 6.1372 ((28 . 2) (29 . 3) (30 . 4) (31 . 5)) 1604 0.6662 5.4275 ((25 . 7) (27 . 10) (28 . 11) (31 . 12)) 1622 0.6623 9.7205 ((25 . 22) (27 . 23) (29 . 24) (30 . 25)) 1624 0.6655 6.9937 ((28 . 1) (29 . 2) (30 . 3) (31 . 4)) 1643 0.6657 6.6920 ((25 . 6) (29 . 10) (30 . 11) (31 . 12)) 1644 0.6663 5.3226 ((25 . 44) (29 . 48) (30 . 49) (31 . 50)) 1690 0.3879 8.1237 ((27 . 8) (28 . 9) (29 . 11) (31 . 13)) 1692 0.2970 7.5199 ((25 . 6) (29 . 8) (30 . 9) (31 . 10)) 1738 0.1996 5.3031 ((25 . 13) (27 . 17) (30 . 18) (31 . 19)) 1747 0.6665 4.4781 ((25 . 8) (29 . 10) (30 . 11) (31 . 12)) 1756 0.3879 7.0673 ((27 . 21) (29 . 22) (30 . 23) (31 . 24)) 1759 0.6657 6.5539 ((25 . 2) (29 . 6) (30 . 8) (31 . 9)) 1761 0.6664 4.6585 ((25 . 1) (27 . 2) (30 . 4) (31 . 5)) 1763 0.4667 5.2458 ((27 . 7) (28 . 8) (30 . 9) (31 . 10)) 1776 0.3877 9.3961 ((27 . 15) (28 . 18) (29 . 16) (30 . 19)) 1778 0.0999 8.0298 ((27 . 2) (29 . 3) (30 . 4) (31 . 5)) 1793 0.2969 9.1429 ((25 . 6) (27 . 8) (30 . 10) (31 . 11)) 1805 0.6666 3.3548 ((25 . 14) (29 . 15) (30 . 16) (31 . 17)) 1808 0.6634 9.0178 ((25 . 4) (29 . 8) (30 . 9) (31 . 10)) 1817 0.6666 2.7790 ((27 . 16) (29 . 18) (30 . 19) (31 . 20)) 1894 0.2970 7.5449 ((25 . 19) (27 . 21) (29 . 22) (31 . 25)) 1897 0.6619 9.9164 ((25 . 39) (27 . 40) (29 . 41) (30 . 43)) 1913 0.6653 7.2379 ((25 . 3) (27 . 7) (30 . 9) (31 . 10)) 1944 0.1665 12.7433 ((25 . 1) (28 . 2) (29 . 3) (31 . 5)) 1957 0.1996 7.4721 ((27 . 5) (28 . 6) (29 . 7) (31 . 9)) 1961 0.6666 2.5341 ((28 . 13) (29 . 14) (30 . 15) (31 . 16)) 1967 0.2487 9.5150 ((25 . 10) (27 . 13) (29 . 14) (30 . 16)) 1995 0.6660 6.0066 ((25 . 3) (27 . 8) (29 . 9) (30 . 12)) 2003 0.6657 6.5558 ((27 . 7) (29 . 8) (30 . 9) (31 . 10)) 2006 0.6663 5.2086 ((25 . 13) (27 . 14) (30 . 15) (31 . 16)) 2045 0.6603 10.6770 ((25 . 1) (27 . 2) (28 . 4) (29 . 3)) 2063 0.6663 5.1128 ((25 . 44) (29 . 48) (30 . 49) (31 . 50)) 2065 0.6666 3.3433 ((28 . 15) (29 . 16) (30 . 17) (31 . 18)) 2067 0.6651 7.4515 ((25 . 54) (28 . 56) (30 . 59) (31 . 60)) 2072 0.6666 3.0160 ((25 . 1) (29 . 5) (30 . 6) (31 . 7)) 2081 0.6637 8.7548 ((25 . 3) (28 . 7) (30 . 9) (31 . 10)) 2083 0.6661 5.8515 ((25 . 1) (27 . 2) (28 . 3) (31 . 4)) 2097 0.6609 10.3898 ((25 . 1) (28 . 2) (29 . 4) (30 . 5)) 2114 0.2970 7.7672 ((25 . 32) (27 . 34) (28 . 35) (30 . 36)) 2116 0.6656 6.7711 ((25 . 2) (27 . 5) (30 . 6) (31 . 7)) 2117 0.6663 5.0306 ((25 . 11) (27 . 14) (30 . 16) (31 . 17)) 2122 0.6661 5.7675 ((27 . 12) (28 . 13) (29 . 14) (30 . 15)) 2166 0.6544 12.6461 ((25 . 15) (27 . 16) (30 . 19) (31 . 20)) 2179 0.6664 4.6839 ((25 . 1) (29 . 20) (30 . 22) (31 . 23)) 2196 0.6659 6.2053 ((27 . 15) (29 . 17) (30 . 18) (31 . 19)) 2205 0.6658 6.3897 ((25 . 13) (27 . 15) (30 . 17) (31 . 18)) 2209 0.6652 7.3978 ((27 . 3) (29 . 5) (30 . 6) (31 . 7)) 2220 0.6655 6.9888 ((28 . 1) (29 . 3) (30 . 4) (31 . 5)) 2243 0.6651 7.5150 ((25 . 51) (27 . 52) (30 . 53) (31 . 54)) 2244 0.6665 4.1180 ((25 . 75) (29 . 78) (30 . 79) (31 . 80)) 2269 0.6638 8.7279 ((28 . 5) (29 . 6) (30 . 7) (31 . 8)) 2279 0.6664 4.6022 ((25 . 3) (27 . 5) (29 . 7) (31 . 9)) 2298 0.3879 7.5624 ((25 . 10) (27 . 12) (28 . 13) (30 . 15)) 2340 0.4667 5.0964 ((27 . 11) (28 . 12) (30 . 13) (31 . 14)) 2344 0.3879 6.8781 ((25 . 13) (28 . 16) (30 . 18) (31 . 20)) 2364 0.6651 7.5196 ((25 . 15) (27 . 18) (30 . 19) (31 . 20)) 2381 0.1499 9.3551 ((27 . 3) (29 . 4) (30 . 5) (31 . 6)) 2389 0.6656 6.8385 ((25 . 3) (29 . 7) (30 . 8) (31 . 9)) 2408 0.6645 8.1325 ((25 . 33) (27 . 34) (29 . 37) (30 . 38)) 2409 0.6624 9.6607 ((28 . 1) (29 . 4) (30 . 5) (31 . 6)) 2410 0.4667 5.3786 ((27 . 13) (28 . 14) (30 . 17) (31 . 16)) 2422 0.6663 5.0281 ((27 . 4) (29 . 6) (30 . 7) (31 . 8)) 2423 0.6661 5.8677 ((25 . 21) (27 . 22) (30 . 25) (31 . 26)) 2510 0.2970 7.5722 ((25 . 17) (27 . 19) (29 . 21) (31 . 23)) 2525 0.6661 5.7124 ((27 . 43) (28 . 44) (29 . 45) (31 . 47)) 2529 0.6662 5.5931 ((25 . 1) (27 . 3) (30 . 5) (31 . 6)) 2556 0.6666 3.3871 ((27 . 16) (28 . 17) (29 . 18) (31 . 20)) 2557 0.6657 6.7131 ((27 . 3) (28 . 4) (30 . 7) (31 . 6)) 2619 0.2970 4.4430 ((25 . 2) (27 . 3) (28 . 4) (29 . 5)) 2627 0.6666 3.7873 ((25 . 60) (28 . 62) (30 . 64) (31 . 65)) 2650 0.6662 5.6131 ((25 . 5) (29 . 6) (30 . 7) (31 . 8)) 2658 0.2488 6.6045 ((27 . 10) (28 . 11) (29 . 12) (30 . 13)) 2675 0.6662 5.6357 ((27 . 8) (28 . 9) (30 . 10) (31 . 11)) 2682 0.1996 13.6694 ((25 . 7) (28 . 10) (30 . 12) (31 . 13)) 2696 0.1996 5.6385 ((28 . 33) (29 . 34) (30 . 35) (31 . 36)) 2773 0.2970 7.9564 ((25 . 2) (27 . 3) (28 . 4) (31 . 5)) 2804 0.3877 9.9231 ((25 . 29) (27 . 31) (30 . 34) (31 . 36)) 2821 0.2970 7.6565 ((27 . 3) (29 . 4) (30 . 5) (31 . 7)) 2830 0.3867 14.0249 ((28 . 22) (29 . 24) (30 . 25) (31 . 26)) 2834 0.3975 5.0372 ((25 . 1) (27 . 8) (28 . 2) (29 . 3) (30 . 5) (31 . 6)) 2867 0.2487 10.4131 ((25 . 7) (27 . 8) (28 . 10) (29 . 9)) 2879 0.6661 5.8158 ((25 . 52) (29 . 56) (30 . 57) (31 . 58)) 2886 0.6655 6.9039 ((25 . 34) (29 . 38) (30 . 39) (31 . 41)) 2940 0.6646 8.0621 ((25 . 1) (28 . 2) (30 . 4) (31 . 5)) 2947 0.2970 5.8011 ((25 . 3) (27 . 4) (28 . 5) (31 . 6)) 2966 0.6665 4.4902 ((27 . 4) (28 . 5) (30 . 6) (31 . 8)) 2990 0.6666 3.8421 ((28 . 13) (29 . 14) (30 . 15) (31 . 16)) 3014 0.2969 9.4266 ((28 . 31) (29 . 32) (30 . 33) (31 . 34)) 3019 0.6664 4.9156 ((28 . 8) (29 . 9) (30 . 10) (31 . 11)) 3041 0.5286 6.5938 ((25 . 29) (27 . 30) (28 . 31) (30 . 33)) 3055 0.6663 5.2133 ((27 . 1) (29 . 3) (30 . 4) (31 . 5)) 3063 0.6658 6.3854 ((25 . 38) (27 . 39) (30 . 41) (31 . 42)) 3070 0.6664 4.9251 ((25 . 32) (27 . 33) (29 . 35) (30 . 36)) 3084 0.2970 7.2156 ((27 . 7) (28 . 8) (29 . 9) (31 . 11)) 3102 0.6658 6.5146 ((25 . 71) (27 . 72) (30 . 75) (31 . 76)) 3103 0.2970 5.8315 ((25 . 5) (28 . 7) (30 . 9) (31 . 11)) 3114 0.6662 5.5228 ((25 . 25) (27 . 22) (30 . 23) (31 . 24)) 3120 0.1996 5.2942 ((25 . 21) (27 . 22) (28 . 23) (31 . 25)) 3127 0.2970 7.2993 ((27 . 6) (28 . 7) (29 . 8) (31 . 11)) 3147 0.6659 6.3110 ((25 . 1) (29 . 4) (30 . 5) (31 . 6)) 3176 0.1996 10.4695 ((25 . 26) (27 . 27) (28 . 30) (29 . 29)) 3187 0.6654 7.1589 ((25 . 1) (27 . 2) (30 . 3) (31 . 4)) 3197 0.6453 14.6524 ((25 . 8) (27 . 9) (29 . 10) (31 . 12)) 3200 0.2970 6.2159 ((27 . 6) (28 . 8) (30 . 9) (31 . 11)) 3222 0.4667 5.8590 ((25 . 10) (27 . 14) (29 . 15) (30 . 16)) 3256 0.6651 7.4237 ((25 . 13) (27 . 16) (30 . 19) (31 . 20)) 3261 0.1499 9.0591 ((27 . 6) (29 . 7) (30 . 8) (31 . 9)) 3286 0.4666 7.0344 ((25 . 4) (28 . 6) (29 . 7) (31 . 9)) 3289 1.0000 0.0000 ((25 . 25) (27 . 27) (28 . 28) (29 . 29) (30 . 30) (31 . 31)) 3297 0.6661 5.8867 ((25 . 8) (27 . 9) (30 . 11) (31 . 12)) 3300 0.6660 5.9796 ((27 . 2) (28 . 3) (30 . 4) (31 . 5)) 3322 0.6639 8.6481 ((25 . 1) (27 . 3) (30 . 5) (31 . 7)) 3334 0.6566 12.0081 ((25 . 1) (27 . 3) (30 . 5) (31 . 6)) 3339 0.3880 6.0846 ((27 . 15) (28 . 16) (29 . 17) (31 . 19)) 3358 0.6657 6.7006 ((27 . 4) (28 . 5) (29 . 7) (31 . 8)) 3362 0.1996 6.9490 ((25 . 6) (28 . 9) (30 . 10) (31 . 11)) 3366 0.6641 8.4764 ((25 . 28) (27 . 29) (29 . 31) (30 . 32)) 3391 0.2970 7.8730 ((27 . 6) (28 . 7) (29 . 8) (31 . 10)) 3418 0.1996 8.8157 ((25 . 2) (27 . 5) (29 . 6) (31 . 7)) 3472 0.6666 3.1226 ((25 . 3) (29 . 6) (30 . 8) (31 . 9)) 3481 0.1996 7.5774 ((25 . 4) (27 . 7) (28 . 5) (30 . 8)) 3495 0.1996 6.8655 ((25 . 3) (28 . 6) (29 . 7) (30 . 8)) 3548 0.6657 6.6098 ((25 . 3) (29 . 6) (30 . 8) (31 . 9)) 3549 0.6665 4.1177 ((27 . 1) (29 . 2) (30 . 3) (31 . 5)) 3561 0.3880 5.4158 ((25 . 26) (28 . 29) (30 . 30) (31 . 31)) 3585 0.6662 5.6102 ((25 . 8) (29 . 11) (30 . 12) (31 . 13)) 3625 0.6658 6.4565 ((25 . 1) (27 . 2) (29 . 3) (31 . 5)) 3626 0.8298 6.9307 ((25 . 2) (27 . 3) (28 . 5) (30 . 6) (31 . 8)) 3628 0.1996 9.2426 ((25 . 6) (27 . 8) (29 . 9) (30 . 10)) 3651 0.6663 5.1219 ((25 . 8) (27 . 9) (28 . 10) (31 . 13)) 3658 0.2969 9.0924 ((28 . 2) (29 . 3) (30 . 4) (31 . 5)) 3661 0.3880 4.3036 ((25 . 23) (27 . 24) (28 . 25) (29 . 26)) 3663 0.6666 3.6582 ((25 . 1) (27 . 2) (28 . 3) (30 . 5)) 3688 0.1996 8.0769 ((25 . 29) (28 . 33) (30 . 34) (31 . 35)) 3703 0.1499 9.6623 ((27 . 6) (29 . 7) (30 . 8) (31 . 9)) 3732 0.6666 3.2509 ((27 . 3) (28 . 4) (29 . 5) (31 . 7)) 3740 0.6645 8.0838 ((25 . 5) (27 . 6) (30 . 7) (31 . 9)) 3741 0.6617 10.0419 ((25 . 9) (29 . 13) (30 . 14) (31 . 16)) 3776 0.8328 4.3245 ((27 . 17) (28 . 18) (29 . 19) (30 . 20) (31 . 21)) 3778 0.4665 7.7384 ((25 . 2) (27 . 4) (28 . 5) (31 . 6)) 3787 0.2488 6.2499 ((27 . 19) (28 . 20) (29 . 21) (31 . 23)) 3790 0.6664 4.7633 ((25 . 21) (27 . 25) (30 . 26) (31 . 27)) 3810 0.8327 4.5600 ((25 . 4) (27 . 6) (29 . 8) (30 . 9) (31 . 10)) 3829 0.2485 16.1228 ((25 . 2) (27 . 5) (28 . 6) (31 . 9)) 3831 0.6662 5.6415 ((25 . 2) (27 . 3) (28 . 4) (31 . 5)) 3847 0.6665 4.0414 ((25 . 9) (27 . 13) (30 . 16) (31 . 17)) 3849 0.6664 4.6028 ((27 . 1) (29 . 2) (30 . 3) (31 . 5)) 3933 0.8328 4.2472 ((25 . 13) (27 . 14) (29 . 16) (30 . 17) (31 . 18)) 3938 0.8327 4.5690 ((25 . 2) (27 . 4) (29 . 6) (30 . 8) (31 . 9)) 3942 0.1499 7.6656 ((25 . 2) (27 . 3) (28 . 5) (31 . 9)) 3986 0.6647 7.8969 ((27 . 6) (29 . 7) (30 . 8) (31 . 9)) 3990 0.3880 3.2858 ((27 . 22) (29 . 23) (30 . 24) (31 . 25)) 4005 0.6615 10.1311 ((25 . 18) (27 . 21) (30 . 24) (31 . 25)) 4019 0.6661 5.8458 ((25 . 43) (27 . 45) (30 . 46) (31 . 47)) 4034 0.1665 9.2339 ((27 . 9) (28 . 8) (30 . 11) (31 . 12)) 4062 0.6667 2.1434 ((28 . 47) (29 . 48) (30 . 49) (31 . 50)) 4082 0.6651 7.4405 ((28 . 4) (29 . 5) (30 . 6) (31 . 7)) 4087 0.8305 6.5622 ((25 . 1) (27 . 3) (28 . 4) (30 . 5) (31 . 6)) 4112 0.6664 4.6135 ((25 . 2) (27 . 3) (30 . 6) (31 . 1)) 4115 0.1996 4.5851 ((25 . 1) (28 . 4) (29 . 5) (31 . 8)) 4151 0.1996 6.3273 ((27 . 5) (28 . 6) (29 . 7) (31 . 9)) 4154 0.6660 5.9316 ((27 . 53) (29 . 55) (30 . 56) (31 . 57)) 4177 0.6664 4.8487 ((25 . 1) (29 . 7) (30 . 8) (31 . 9)) 4192 0.6657 6.6164 ((27 . 10) (28 . 11) (29 . 13) (31 . 15)) 4194 0.6659 6.2030 ((27 . 3) (29 . 5) (30 . 6) (31 . 7)) 4204 0.6636 8.8359 ((25 . 3) (27 . 5) (30 . 7) (31 . 9)) 4209 0.6662 5.5552 ((25 . 1) (27 . 2) (30 . 5) (31 . 7)) 4210 0.1996 4.7718 ((28 . 3) (29 . 4) (30 . 5) (31 . 6)) 4226 0.6663 5.2788 ((25 . 11) (27 . 14) (28 . 15) (29 . 16)) 4232 0.3878 8.3116 ((25 . 4) (27 . 6) (28 . 7) (31 . 8)) 4236 0.1996 7.8783 ((25 . 5) (27 . 6) (30 . 8) (31 . 10)) 4246 0.6640 8.5413 ((25 . 2) (27 . 3) (30 . 5) (31 . 6)) 4254 0.6653 7.2956 ((25 . 9) (27 . 11) (29 . 13) (31 . 15)) 4255 0.6664 4.9996 ((25 . 21) (27 . 24) (28 . 25) (31 . 26)) 4257 0.6666 3.6127 ((27 . 7) (29 . 8) (30 . 9) (31 . 10)) 4265 0.4665 7.5337 ((25 . 20) (27 . 23) (29 . 24) (31 . 26)) 4266 0.6654 7.0825 ((27 . 8) (28 . 9) (30 . 11) (31 . 12)) 4274 0.3879 6.9243 ((27 . 36) (28 . 37) (29 . 38) (31 . 40)) 4275 0.6659 6.2169 ((27 . 23) (29 . 25) (30 . 27) (31 . 28)) 4281 0.6658 6.4821 ((25 . 4) (28 . 7) (29 . 8) (31 . 10)) 4284 0.8317 5.7351 ((25 . 5) (28 . 7) (29 . 8) (30 . 9) (31 . 10)) 4299 0.6658 6.4981 ((25 . 16) (27 . 19) (30 . 20) (31 . 22)) 4301 0.3878 8.4755 ((25 . 4) (27 . 6) (29 . 8) (31 . 10)) 4326 0.6628 9.4133 ((25 . 7) (28 . 8) (29 . 11) (30 . 12)) 4332 0.2488 8.4495 ((27 . 2) (28 . 3) (29 . 4) (31 . 6)) 4359 0.6665 4.3592 ((25 . 1) (29 . 3) (30 . 4) (31 . 5)) 4380 0.6610 10.3686 ((25 . 10) (29 . 14) (30 . 15) (31 . 17)) 4383 0.6656 6.8344 ((25 . 17) (27 . 19) (30 . 21) (31 . 22)) 4388 0.6659 6.3502 ((25 . 5) (27 . 6) (30 . 8) (31 . 9)) 4398 0.6655 6.9401 ((27 . 4) (29 . 6) (30 . 7) (31 . 8)) 4405 0.2970 8.0622 ((25 . 18) (27 . 19) (28 . 20) (31 . 21)) 4408 0.6664 4.9058 ((27 . 1) (29 . 2) (30 . 3) (31 . 4)) 4415 0.2970 5.8763 ((25 . 3) (27 . 4) (28 . 5) (31 . 9)) 4419 0.8274 7.9089 ((25 . 3) (27 . 6) (29 . 7) (30 . 8) (31 . 9)) 4426 0.6660 5.9397 ((25 . 2) (27 . 4) (28 . 5) (31 . 6)) 4470 0.3877 9.8385 ((25 . 2) (27 . 3) (29 . 5) (31 . 7)) 4491 0.3879 6.4889 ((25 . 5) (27 . 6) (28 . 7) (29 . 8)) 4492 0.8324 5.0150 ((25 . 2) (27 . 3) (29 . 5) (30 . 7) (31 . 8)) 4497 0.2969 8.9233 ((25 . 24) (27 . 25) (29 . 26) (31 . 28)) 4502 0.6607 10.5091 ((25 . 10) (27 . 11) (29 . 14) (31 . 17)) 4503 0.6653 7.2390 ((25 . 1) (29 . 4) (30 . 5) (31 . 6)) 4504 0.6661 5.7219 ((27 . 19) (29 . 20) (30 . 21) (31 . 22)) 4538 0.3879 7.0155 ((25 . 31) (27 . 34) (28 . 36) (31 . 37)) 4561 0.2970 4.8834 ((27 . 12) (29 . 13) (30 . 14) (31 . 15)) 4577 0.6655 6.8901 ((25 . 49) (27 . 50) (29 . 52) (30 . 54)) 4588 0.2487 9.6658 ((25 . 3) (27 . 8) (29 . 9) (30 . 11)) 4589 0.3879 7.0122 ((25 . 23) (28 . 24) (29 . 25) (31 . 27)) 4621 0.6658 6.3563 ((27 . 6) (29 . 7) (30 . 8) (31 . 9)) 4630 0.6658 6.5133 ((25 . 10) (27 . 13) (29 . 14) (30 . 16)) 4648 0.2488 5.3522 ((25 . 1) (27 . 2) (28 . 3) (31 . 5)) 4653 0.8322 5.2262 ((25 . 3) (27 . 4) (29 . 5) (30 . 6) (31 . 7)) 4668 0.2970 7.2260 ((27 . 1) (28 . 2) (29 . 3) (31 . 5)) 4671 0.2970 5.9776 ((25 . 1) (27 . 2) (28 . 3) (29 . 4)) 4678 0.6661 5.8748 ((25 . 6) (27 . 10) (29 . 11) (31 . 12)) 4713 0.6662 5.4948 ((25 . 3) (29 . 6) (30 . 7) (31 . 8)) 4731 0.1333 6.3516 ((28 . 20) (29 . 22) (30 . 23) (31 . 24)) 4734 0.2970 6.8322 ((27 . 2) (29 . 3) (30 . 5) (31 . 6)) 4857 0.3880 5.4433 ((25 . 2) (27 . 3) (28 . 4) (29 . 5)) 4886 0.6633 9.0898 ((28 . 28) (29 . 29) (30 . 30) (31 . 31)) 4888 0.6612 10.2595 ((25 . 12) (27 . 13) (29 . 14) (30 . 15)) 4889 0.4666 6.9168 ((25 . 3) (27 . 4) (28 . 5) (31 . 6)) 4907 0.6665 4.3161 ((27 . 5) (29 . 7) (30 . 8) (31 . 9)) 4914 0.6650 7.6508 ((27 . 1) (28 . 2) (30 . 4) (31 . 5)) 4921 0.4663 8.6300 ((25 . 12) (28 . 13) (29 . 14) (30 . 15)) 4929 0.1996 8.3237 ((25 . 28) (29 . 31) (30 . 32) (31 . 33)) 4932 0.6662 5.3800 ((25 . 1) (28 . 3) (29 . 5) (30 . 6)) 4944 0.6662 5.4121 ((25 . 11) (29 . 13) (30 . 14) (31 . 15)) 4978 0.2969 9.4401 ((25 . 18) (27 . 21) (29 . 22) (31 . 24)) 4982 0.1996 4.3578 ((25 . 9) (28 . 11) (29 . 12) (31 . 14)) 4998 0.1665 10.7764 ((25 . 15) (28 . 17) (29 . 19) (30 . 20)) 5029 0.2970 8.3862 ((27 . 1) (28 . 3) (29 . 2) (31 . 4)) 5036 0.6660 6.0426 ((25 . 4) (29 . 7) (30 . 8) (31 . 9)) 5038 0.6666 3.4104 ((25 . 10) (29 . 14) (30 . 15) (31 . 16)) 5039 0.6659 6.1722 ((25 . 37) (28 . 43) (30 . 44) (31 . 45)) 5044 0.1996 10.0382 ((25 . 2) (27 . 3) (30 . 8) (31 . 9)) 5053 0.9982 4.6695 ((25 . 6) (27 . 5) (28 . 8) (29 . 11) (30 . 10) (31 . 9)) 5065 0.6665 4.5274 ((25 . 7) (27 . 8) (29 . 10) (30 . 11)) 5069 0.6659 6.1982 ((27 . 2) (29 . 4) (30 . 5) (31 . 7)) 5073 0.3879 7.5698 ((25 . 34) (27 . 36) (28 . 37) (31 . 39)) 5083 0.6317 7.1774 ((25 . 1) (27 . 2) (29 . 5) (30 . 6) (31 . 8)) 5101 0.6659 6.1929 ((27 . 23) (28 . 24) (30 . 25) (31 . 26)) 5121 0.6660 5.9478 ((25 . 25) (27 . 27) (30 . 30) (31 . 31)) 5134 0.4662 9.1886 ((25 . 14) (27 . 17) (28 . 18) (31 . 19)) 5176 0.6851 6.2983 ((25 . 82) (27 . 84) (28 . 85) (30 . 86) (31 . 87)) 5198 0.4667 5.7990 ((25 . 26) (27 . 30) (29 . 31) (30 . 32)) 5199 0.6659 6.3408 ((25 . 4) (28 . 6) (29 . 7) (30 . 8)) 5215 0.6640 8.5971 ((28 . 1) (29 . 2) (30 . 3) (31 . 4)) 5223 0.6647 7.8805 ((25 . 10) (27 . 12) (30 . 15) (31 . 17)) 5231 0.1996 4.9739 ((28 . 9) (29 . 12) (30 . 13) (31 . 14)) 5266 0.6657 6.5578 ((25 . 8) (27 . 10) (28 . 11) (31 . 13)) 5278 0.6664 4.5986 ((25 . 5) (29 . 8) (30 . 9) (31 . 10)) 5307 0.6660 6.1339 ((27 . 53) (29 . 55) (30 . 57) (31 . 58)) 5312 0.6664 4.6606 ((25 . 3) (27 . 4) (30 . 5) (31 . 7)) 5324 0.2970 6.4164 ((25 . 20) (27 . 22) (28 . 23) (31 . 25)) 5344 0.6658 6.5366 ((25 . 3) (28 . 6) (30 . 7) (31 . 8)) 5345 0.6663 5.2077 ((25 . 2) (27 . 5) (30 . 7) (31 . 8)) 5368 0.6665 4.1796 ((25 . 30) (29 . 34) (30 . 35) (31 . 36)) 5414 0.6657 6.5431 ((25 . 14) (29 . 18) (30 . 19) (31 . 20)) 5418 0.6666 2.8088 ((27 . 5) (29 . 7) (30 . 8) (31 . 9)) 5421 0.3880 6.0971 ((25 . 1) (27 . 2) (30 . 4) (31 . 5)) 5433 0.2970 6.7292 ((25 . 7) (29 . 13) (30 . 12) (31 . 14)) 5479 0.6659 6.2593 ((25 . 47) (27 . 48) (30 . 50) (31 . 51)) 5487 0.4667 5.6828 ((27 . 2) (28 . 3) (29 . 4) (31 . 7)) 5489 0.6661 5.8275 ((25 . 6) (29 . 10) (30 . 11) (31 . 12)) 5535 0.3878 8.3114 ((27 . 2) (29 . 4) (30 . 6) (31 . 7)) 5540 0.6658 6.4210 ((25 . 10) (27 . 14) (29 . 15) (30 . 16)) 5557 0.1996 10.5864 ((25 . 1) (27 . 3) (29 . 4) (31 . 6)) 5560 0.2487 12.9094 ((25 . 17) (28 . 19) (29 . 20) (31 . 22)) 5567 0.2970 6.9594 ((25 . 15) (27 . 17) (30 . 18) (31 . 19)) 5594 0.6665 4.1876 ((27 . 1) (28 . 2) (30 . 3) (31 . 4)) 5600 0.1996 5.6405 ((25 . 3) (27 . 6) (28 . 7) (31 . 9)) 5601 0.6660 6.0109 ((27 . 5) (28 . 6) (29 . 7) (31 . 8)) 5640 0.6663 5.1070 ((25 . 11) (27 . 12) (29 . 14) (30 . 16)) 5656 0.1996 7.1723 ((25 . 5) (27 . 8) (29 . 9) (30 . 10)) 5700 0.6641 8.5080 ((25 . 4) (29 . 8) (30 . 9) (31 . 11)) 5701 0.3879 7.5887 ((25 . 5) (27 . 6) (28 . 7) (31 . 8)) 5703 0.6662 5.6130 ((25 . 5) (27 . 6) (30 . 7) (31 . 8)) 5711 0.6654 7.1300 ((25 . 31) (29 . 33) (30 . 35) (31 . 36)) 5713 0.6658 6.5364 ((27 . 15) (29 . 18) (30 . 19) (31 . 20)) 5718 0.6659 6.3110 ((27 . 14) (28 . 15) (30 . 16) (31 . 17)) 5731 0.6657 6.7110 ((25 . 7) (27 . 11) (29 . 12) (30 . 13)) 5746 0.6659 6.3351 ((25 . 3) (29 . 7) (30 . 9) (31 . 10)) 5749 0.6638 8.7152 ((25 . 3) (27 . 4) (30 . 5) (31 . 6)) 5761 0.6661 5.7969 ((27 . 28) (28 . 29) (30 . 30) (31 . 31)) 5770 0.6645 8.1384 ((25 . 1) (28 . 5) (29 . 6) (31 . 8)) 5782 0.4665 7.3903 ((25 . 26) (28 . 28) (29 . 30) (31 . 32)) 5794 0.6650 7.5650 ((25 . 19) (28 . 22) (30 . 23) (31 . 24)) 5822 0.4659 10.0887 ((25 . 2) (27 . 4) (28 . 5) (31 . 7)) 5827 0.6664 5.0042 ((27 . 4) (29 . 15) (30 . 16) (31 . 17)) 5847 0.6658 6.4364 ((25 . 1) (29 . 7) (30 . 8) (31 . 9)) 5861 0.6662 5.6035 ((25 . 11) (27 . 12) (30 . 16) (31 . 17)) 5865 0.6663 5.0869 ((25 . 1) (27 . 2) (29 . 4) (30 . 5)) 5878 0.3880 4.8483 ((27 . 25) (29 . 26) (30 . 28) (31 . 30)) 5888 0.6667 2.0309 ((25 . 3) (29 . 28) (30 . 29) (31 . 30)) 5896 0.6665 4.1633 ((25 . 26) (27 . 29) (28 . 30) (31 . 31)) 5913 0.6666 3.2866 ((28 . 4) (29 . 5) (30 . 6) (31 . 7)) 5914 0.6326 4.0862 ((25 . 2) (27 . 3) (28 . 4) (29 . 5) (30 . 6)) 5922 0.6613 10.2074 ((25 . 5) (29 . 8) (30 . 9) (31 . 10)) 5930 0.1400 5.9525 ((25 . 1) (28 . 3) (29 . 8) (30 . 9) (31 . 10)) 5939 0.6646 7.9903 ((25 . 2) (27 . 4) (30 . 6) (31 . 8)) 5945 0.6664 4.5637 ((25 . 33) (28 . 36) (30 . 37) (31 . 38)) 5949 0.2970 3.7247 ((27 . 10) (28 . 11) (29 . 12) (31 . 14)) 5955 0.2488 8.9276 ((25 . 1) (28 . 2) (29 . 4) (30 . 5)) 6000 0.6627 9.4449 ((25 . 14) (27 . 17) (28 . 18) (31 . 21)) 6011 0.8321 5.3798 ((25 . 3) (27 . 4) (29 . 13) (30 . 14) (31 . 15)) 6022 0.6659 6.2040 ((25 . 4) (27 . 5) (30 . 8) (31 . 9)) 6029 0.6548 12.5431 ((25 . 1) (27 . 3) (29 . 5) (30 . 6)) 6041 0.6656 6.7557 ((25 . 10) (27 . 11) (29 . 13) (31 . 15)) 6046 0.6664 4.9139 ((28 . 1) (29 . 2) (30 . 3) (31 . 5)) 6074 0.3879 6.9573 ((27 . 2) (28 . 3) (29 . 4) (31 . 6)) 6075 0.1996 7.3387 ((25 . 17) (27 . 20) (29 . 21) (31 . 24)) 6079 0.6655 7.0148 ((25 . 1) (28 . 2) (30 . 6) (31 . 7)) 6089 0.1996 5.7417 ((28 . 15) (29 . 16) (30 . 17) (31 . 18)) 6094 0.6664 4.7002 ((25 . 7) (29 . 10) (30 . 11) (31 . 12)) 6099 0.6662 5.6300 ((25 . 22) (27 . 23) (30 . 24) (31 . 25)) 6123 0.1499 6.6940 ((27 . 1) (29 . 2) (30 . 3) (31 . 4)) 6142 0.6665 4.4682 ((27 . 1) (29 . 2) (30 . 3) (31 . 4)) 6148 0.4665 7.6334 ((25 . 33) (27 . 34) (28 . 35) (30 . 37)) 6167 0.1996 7.3310 ((25 . 9) (27 . 12) (29 . 14) (30 . 17)) 6173 0.6656 6.8242 ((25 . 5) (29 . 9) (30 . 11) (31 . 12)) 6191 0.6664 4.7740 ((27 . 6) (28 . 7) (30 . 9) (31 . 10)) 6192 0.1996 10.7023 ((25 . 3) (27 . 5) (28 . 7) (31 . 10)) 6215 0.6648 7.7764 ((25 . 17) (27 . 18) (30 . 19) (31 . 20)) 6225 0.6664 4.8193 ((28 . 2) (29 . 3) (30 . 4) (31 . 5)) 6228 0.6643 8.3374 ((25 . 9) (27 . 12) (28 . 13) (31 . 14)) 6234 0.5285 7.0849 ((25 . 10) (27 . 13) (28 . 14) (30 . 15)) 6238 0.1333 8.0081 ((28 . 2) (29 . 3) (30 . 4) (31 . 5)) 6243 0.2488 5.6485 ((25 . 2) (27 . 3) (28 . 5) (29 . 6)) 6251 0.2970 4.9798 ((25 . 15) (27 . 17) (28 . 18) (31 . 19)) 6270 0.2488 5.3769 ((25 . 15) (27 . 18) (28 . 19) (31 . 20)) 6271 0.4660 9.7514 ((25 . 5) (27 . 8) (28 . 9) (31 . 10)) 6273 0.2487 10.3157 ((25 . 1) (27 . 3) (28 . 5) (29 . 4)) 6294 0.1996 6.6016 ((27 . 23) (28 . 24) (29 . 25) (31 . 27)) 6306 0.2970 7.2740 ((25 . 16) (27 . 17) (28 . 18) (29 . 19)) 6311 0.6658 6.4492 ((25 . 5) (27 . 9) (30 . 10) (31 . 11)) 6326 0.6665 4.5169 ((27 . 7) (29 . 9) (30 . 10) (31 . 11)) 6338 0.1333 7.9102 ((25 . 2) (27 . 5) (29 . 7) (30 . 8)) 6344 0.2970 6.7944 ((25 . 13) (27 . 15) (30 . 18) (31 . 19)) 6355 0.6661 5.9128 ((25 . 6) (27 . 8) (29 . 9) (30 . 10)) 6356 0.2970 6.9596 ((27 . 9) (28 . 10) (29 . 11) (31 . 13)) 6369 0.2970 7.3917 ((27 . 20) (28 . 21) (29 . 22) (31 . 24)) 6376 0.4665 7.6528 ((27 . 19) (28 . 20) (29 . 21) (31 . 24)) 6391 0.6660 6.1196 ((25 . 6) (27 . 8) (30 . 10) (31 . 12)) 6399 0.6655 6.9177 ((25 . 7) (29 . 11) (30 . 12) (31 . 13)) 6403 0.6664 4.9568 ((27 . 4) (29 . 13) (30 . 14) (31 . 15)) 6434 0.6661 5.8155 ((28 . 1) (29 . 2) (30 . 3) (31 . 4)) 6520 0.6660 6.0199 ((28 . 12) (29 . 13) (30 . 14) (31 . 15)) 6539 0.6663 5.1032 ((25 . 2) (27 . 5) (28 . 7) (31 . 8)) 6540 0.6665 4.1114 ((25 . 16) (29 . 19) (30 . 20) (31 . 21)) 6548 0.6664 4.8731 ((27 . 5) (28 . 6) (29 . 7) (31 . 9)) 6553 0.6661 5.7077 ((27 . 17) (29 . 23) (30 . 24) (31 . 25)) 6573 0.3880 3.7995 ((27 . 21) (29 . 22) (30 . 23) (31 . 24)) 6575 0.6665 4.4854 ((25 . 1) (27 . 2) (28 . 3) (30 . 5)) 6584 0.6666 2.6244 ((25 . 2) (29 . 7) (30 . 8) (31 . 9)) 6598 0.8319 5.5477 ((25 . 16) (27 . 17) (29 . 20) (30 . 21) (31 . 22)) 6613 0.6663 5.1332 ((25 . 21) (27 . 22) (28 . 23) (31 . 24)) 6635 0.1996 5.7942 ((25 . 1) (27 . 4) (28 . 6) (31 . 7)) END