.75 0 0 0 0 0 0 0 .25
2 0 0 0 0 0 0 0
1000
88 128 159 437 586 657 850 933 979 1123 1187 1209 1248 1617 1663 1797 1823 1930 2208 2272 2298 2340 2450 2546 2557 2610 3002 3145 3183 3197 3210 3388 3427 3439 3524 3572 3610 3677 3742 3799 3866 3889 3914 4000 4062 4133 4198 4239 4478 4544 4640 4672 4684 4940 5230 5331 5475 5496 5849 5894 6101 6122 6189 6222 6252 6300 6363 6467 6493 6592 6629 6656 6737 6829 6917 7027 7354 7449 7464 7626 7809 7883 7917 7967 7987 8002 8056 8076 8234 8372 8395 8667 8688 8706 8813 8913 8933 8950 9070 9253 9391 9474 9489 9544 9561 9680 9701 9734 9773 9890 10013 10062 10077 10110 10172 10264 10294 10341 10416 10528 10713 10766 10901 10974 11011 11095 11172 11217 11461 11525 11592 11720 11797 11876 11984 12016 12036 12275 12397 12562 12674 12686 12703 12813 12863 12971 13086 13257 13517 13530 13555 13634 13690 13767 13841 14017 14099 14129 14164 14591 14860 14878 14961 15108 15170 15186 15415 15771 15859 15890 16085 16372 16480 16542 16583 16756 16772 16813 16825 17292 17357 17396 17429 17440 17592 17640 18052 18079 18135 18219 18300 18361 18457 18524 18567 18584 18665 18705 18827 18914 19030 19092 19130 19173 19220 19280 19396 19452 19505 19544 19627 19811 19827 19853 20022 20115 20135 20152 20213 20225 20266 20388 20485 20651 20736 20855 20956 20985 21116 21156 21209 21363 21498 21511 21622 21652 21701 21735 21810 21821 21955 22022 22073 22100 22122 22133 22182 22292 22310 22349 22455 22487 22728 22784 22830 22952 23023 23176 23243 23255 23270 23415 23473 23590 23628 23858 23898 23985 24048 24061 24084 24157 24335 24407 24471 24532 24666 24754 24797 24841 24858 24919 24974 25002 25111 25138 25198 25302 25313 25348 25373 25527 25538 25569 25632 25656 25755 25927 25968 26113 26186 26235 26454 26589 26648 26763 27331 27385 27470 27568 27580 27637 27744 27770 27896 27921 28050 28397 28423 28465 28681 28691 28774 28900 28966 29050 29277 29406 29553 29582 29643 29669 29804 29832 29914 29943 30011 30055 30068 30167 30187 30345 30619 30803 31140 31290 31312 31386 31543 31587 31819 31935 31952 32049 32093 32236 32299 32328 32396 32529 32804 32845 32856 32877 32966 33036 33206 33349 33384 33425 33460 33485 33572 33622 33667 33716 33813 34026 34062 34098 34250 34339 34393 34449 34565 34592 35011 35074 35165 35192 35287 35525 35585 35758 35929 35968 36021 36142 36180 36208 36258 36298 36369 36405 36419 36534 36578 36690 36701 36720 36829 36866 36901 36976 36986 37009 37065 37165 37203 37260 37322 37362 37561 37721 37860 38000 38232 38345 38842 38853 38912 38997 39103 39116 39133 39146 39281 39377 39417 39443 39589 39638 39656 39707 39747 39936 39951 40018 40158 40332 40392 40432 40680 40746 40991 41018 41061 41597 41685 41957 42251 42343 42363 42390 42445 42677 42751 42800 43042 43275 43286 43401 43415 43570 43623 43768 43952 44030 44089 44200 44248 44275 44434 44497 44624 44696 44923 45037 45134 45237 45290 45406 45429 45617 45659 45773 45794 45979 46196 46210 46314 46497 46648 46850 46977 47140 47160 47210 47249 47335 47346 47360 47472 47503 47554 47603 47636 47683 47802 47924 47949 48049 48136 48160 48247 48422 48593 48811 48827 48852 48981 49024 49510 49530 49579 49762 49798 49812 49857 50095 50107 50146 50299 50373 50550 50614 50700 50808 50854 50943 50976 50986 51032 51227 51356 51436 51689 51770 51943 52034 52170 52226 52366 52438 52532 52708 52789 52856 52905 52945 52988 53028 53218 53491 53506 53668 53682 53960 54232 54269 54369 54413 54440 54492 54524 54566 54590 54836 54866 54927 54971 55029 55141 55156 55170 55205 55392 55609 55741 55830 55958 55976 56031 56114 56136 56237 56353 56496 56594 56711 56787 56845 56907 57066 57079 57195 57236 57275 57465 57486 57521 57766 57805 57843 58398 58659 58674 58875 58924 58974 59279 59367 59544 59718 59886 59996 60011 60332 60364 60499 60568 60595 60690 60730 60889 60983 61002 61101 61125 61220 61436 61449 61523 61773 61790 62007 62143 62371 62420 62702 62952 63259 63328 63382 63423 63679 63690 64188 64415 64482 64646 64737 64803 64960 65035 65215 65272 65290 65317 65368 65378 65476 65557 65595 65723 65811 65884 66069 66103 66286 66340 66538 66805 66824 66890 66920 67014 67212 67222 67346 67386 67527 67632 67805 67929 67961 68089 68253 68267 68388 68505 68645 68744 68793 69284 69465 69580 69641 69672 69723 69833 69869 69980 69994 70030 70050 70076 70200 70254 70418 70499 70562 70595 70728 70843 70939 70985 71044 71180 71214 71253 71349 71589 71816 71914 72019 72068 72091 72102 72382 72506 72545 72618 72810 72862 72962 72990 73310 73583 73615 73661 73787 73814 73829 73865 73936 73946 73970 74052 74131 74235 74291 74317 74659 74855 75113 75140 75201 75250 75511 75617 75678 75787 75891 75959 76005 76015 76139 76179 76226 76263 76378 76416 76510 76542 76713 76752 76774 76887 76978 77110 77154 77229 77268 77295 77343 77353 77380 77408 77471 77586 77650 77725 77746 77893 78015 78173 78197 78219 78271 78565 78613 78652 78663 78989 78999 79067 79080 79201 79218 79273 79352 79471 79529 79584 79638 79698 79776 79843 79872 79902 79983 80004 80215 80306 80332 80379 80457 80482 80857 80898 80922 81001 81261 81306 81324 81492 81665 81957 82072 82249 82322 82378 82394 82413 82533 82659 82954 82965 83018 83102 83143 83242 83261 83353 83372 83408 83529 83558 83648 83689 83707 83725 83744 83848 83866 83912 84045 84144 84247 84328 84405 84593 84609 84645 84697 84759 84820 84876 84965 85005 85019 85073 85129 85311 85384 85464 85595 85765 85815 85925 86045 86179 86252 86263 86341 86358 86464 86496 86541 86889 87138 87343 87353 87370 87390 87463 87682 87911 87976 88212 88231 88362 88372 88436 88469 88593 88704 88803 88885 88903 88920 89009 89055 89161 89329 89350 89364 89504 89534 89571 89616 89649 89695 89715 89733 89747 90110 90268 90304 90339 90358 90421 90527 90697 90794 90843 90878 90996 91192 91229 91314 91342 91380 91513 91562 91581 91684 91697 91771 92017 92104 92158 92175 92295 92504 92565 92600 92803 92952 93041 93284 93336 93422 93468 93478 93519 93529 93829 93893
10 6 5 10 8 7 9 6 9
true