.75 0 0 0 0 0 0 0 .25
0 0 0 0 0 0 0 0
1000
39 425 443 459 472 624 806 885 991 1213 1257 1336 1534 1546 1686 1702 1848 1920 1938 1957 2017 2127 2145 2434 2494 2651 2781 2830 3106 3118 3311 3335 3368 3458 3513 3565 3583 3634 3803 3814 4114 4277 4316 4359 4404 4670 4737 4750 5024 5126 5223 5363 5863 5984 6068 6107 6210 6226 6312 6403 6425 6469 6658 6787 7112 7218 7285 7439 7511 7578 7612 7708 7979 8054 8148 8206 8356 8440 8538 8578 8693 8749 8924 8957 8976 9136 9289 9382 9503 9672 9779 9924 9986 10039 10049 10096 10144 10257 10518 10784 10798 10914 11008 11051 11156 11188 11252 11385 11475 11570 11610 11632 11696 11963 12072 12228 12263 12421 12487 12559 12647 12683 12828 12901 12951 13005 13138 13368 13464 13591 13895 14032 14209 14340 14381 14422 14497 14565 14645 14676 14773 14879 14892 14931 15092 15199 15229 15281 15418 15563 15574 15680 15709 15721 15764 15801 15925 15943 16036 16054 16069 16133 16302 16360 16399 16506 16605 16619 16706 16724 16760 16795 16815 16912 16971 17048 17163 17218 17250 17428 17460 17506 17639 17728 17747 17788 17851 17942 18034 18088 18467 18671 18733 19141 19294 19513 19601 19613 19672 19738 19754 20066 20088 20457 20558 20592 20913 21029 21219 21233 21250 21455 21535 21693 21723 21751 21827 21906 21921 21958 21984 22006 22077 22205 22383 22789 22823 22972 22997 23108 23344 23372 23559 23574 23630 23661 23745 23919 23951 24029 24061 24158 24193 24360 24401 24430 24506 24568 24647 24691 24716 24749 24828 25025 25056 25519 25581 25737 25766 25825 25839 25865 26009 26075 26091 26274 26323 26624 26640 26712 26809 26896 26924 26947 27135 27243 27299 27371 27414 27506 27528 27583 27634 27807 27863 28031 28104 28132 28560 28609 28642 28681 28695 28736 28768 28785 28973 29050 29071 29197 29207 29360 29454 29576 29688 29782 29926 30001 30083 30132 30208 30406 30433 30487 30539 30575 30600 30632 30711 30838 30959 31120 31212 31292 31427 31701 32016 32037 32313 32362 32596 32640 32724 32865 32890 32918 32957 33045 33114 33242 33339 33380 33491 33565 33598 33621 33781 33832 33850 33982 34114 34370 34476 34554 34567 35002 35070 35084 35242 35297 35433 35463 35525 35796 35911 36134 36470 36558 36573 36692 36839 37035 37332 37481 37569 37611 37666 37760 37911 37973 38153 38252 38320 38336 38416 38505 38534 38608 38686 38769 38818 38906 39026 39327 39348 39424 39524 39817 39869 39902 39930 39951 39970 39982 40055 40085 40272 40283 40322 40389 40453 40652 40718 40754 40934 41043 41104 41123 41541 41555 41602 41759 41955 42015 42031 42086 42158 42269 42339 42349 42461 42553 42587 42649 42942 42982 43139 43200 43246 43299 43482 43503 43646 43674 43723 44087 44178 44237 44264 44274 44609 44622 44653 44788 44937 45098 45176 45186 45267 45293 45354 45497 45573 45756 46026 46082 46293 46347 46364 46526 46866 47015 47026 47077 47250 47459 47674 47765 47779 47791 47912 47925 47946 48058 48163 48359 48519 48697 48733 48760 48856 48883 48936 48982 49014 49120 49153 49207 49262 49301 49320 49452 49524 49556 50082 50099 50123 50161 50188 50377 50418 50553 50961 50998 51034 51115 51205 51277 51336 51504 51621 51798 51918 51935 52125 52273 52468 52864 52938 53050 53145 53442 53517 53575 53649 53659 53669 53704 53740 53773 53841 53851 54021 54090 54158 54446 54842 54888 54908 55307 55387 55488 55695 55880 55937 56066 56121 56136 56239 56283 56295 56325 56463 56566 56656 56800 56870 56988 57010 57038 57078 57392 57477 57521 58089 58102 58149 58198 58218 58237 58350 58392 58457 58570 58621 58758 59103 59148 59184 59241 59465 59728 59738 59749 59876 59917 59965 60047 60060 60110 60132 60253 60359 60534 60687 60745 60855 60877 61059 61161 61185 61297 61315 61680 61804 61814 61893 62025 62182 62199 62389 62439 62562 62738 62770 62913 62928 63078 63111 63214 63309 63328 63538 63632 63828 64299 64435 64469 64558 64611 64662 64841 64855 64921 65140 65168 65451 65491 65568 65636 65767 65814 65926 65952 66110 66187 66308 66350 66420 66436 66664 66716 66824 67044 67425 67522 67607 67711 67827 67856 67866 67924 68002 68095 68208 68270 68499 68580 68690 68700 68715 68773 68848 68861 68991 69278 69353 69635 69818 69949 69987 70047 70114 70199 70263 70487 70851 71005 71061 71102 71362 71425 71548 71638 71688 71809 71869 71911 72200 72352 72372 72400 72450 72482 72559 72599 72683 72767 73022 73097 73211 73395 73542 73641 73696 74080 74116 74168 74266 74570 74788 74933 75288 75350 75708 75783 75805 75928 75973 76000 76263 76281 76293 76334 76481 76519 76601 76644 76717 76829 76958 77053 77076 77120 77195 77476 77494 77509 77536 77548 77616 77803 77884 78013 78085 78352 78516 78543 78576 78742 78819 78886 79056 79169 79271 79368 79396 79552 79621 79824 79853 79916 79949 80156 80207 80259 80289 80306 80450 80466 80478 80511 80540 80616 80704 80722 80786 80852 80883 80936 81280 81405 81684 81731 81751 81957 82042 82060 82326 82481 82558 82774 82843 83239 83461 83642 83793 83965 84026 84058 84085 84168 84232 84355 84434 84491 84570 84620 84684 84703 84818 85280 85337 85362 85447 85590 85605 85750 85933 86029 86331 86460 86513 86552 86640 86675 86693 86836 86900 86929 86971 86987 87173 87258 87637 87666 87684 87828 87847 87992 88056 88085 88128 88395 88482 88518 88565 88616 88669 88693 88703 88847 88870 89156 89369 89595 89738 89765 89820 89949 89984 90071 90124 90173 90213 90224 90234 90385 90416 90562 90642 90799 90847 91195 91331 91496 91649 91739 91997 92111 92154 92196 92373 92439 92504 92665 92685 92751 93062 93137 93190 93217 93327 93509 94035 94136 94436 94471 94502 94685 94725 94755 94782 94873 95027 95231 95247 95314 95381 95440 95550 95584 95633 95749 95878 95902 95930 96202 96222 96454 96598 96688 97031 97089 97115 97133 97270 97307 97383 97497 97552 97576 98108 98220 98295 98807 98911 98980 99095 99235 99301 99344 99369 99452 100043 100082 100112 100211 100222 100283 100396 100469 100499 100707 100816 100942 100980 101090 101213 101225 101286 101456 101534 101639 101698 101789 101967 102011 102150 102274 102586 102765 102826 102913 102929 102950 103037 103173 103184 103197
10 5 5 9 7 8 6 10 8
true