.5 .25 0 0 0 0 0 0 .25
3 2 0 0 0 0 0 0
1000
54 163 305 355 498 550 610 624 646 679 700 759 798 814 850 917 939 993 1169 1225 1254 1396 1511 1923 1990 2719 2754 2808 2860 2940 2952 3109 3227 3291 3325 3344 3459 3492 3804 3891 4134 4508 4631 4649 4851 4885 4901 4936 5031 5146 5302 5339 5549 5641 5685 5745 5776 5812 5830 5992 6066 6083 6148 6453 6593 6620 6799 6906 7003 7126 7137 7171 7283 7408 7655 7734 7768 7818 7833 7921 7950 8146 8160 8329 8473 8493 8583 8638 8942 9022 9042 9161 9201 9224 9258 9307 9501 9724 9760 9826 9898 10176 10308 10453 10603 10836 11141 11244 11273 11346 11535 11643 11732 11873 11995 12027 12081 12285 12352 12381 12425 12551 12660 12695 12765 12825 12839 12948 12977 12995 13033 13051 13126 13271 13295 13316 13466 13551 13579 13681 13694 13711 13837 13849 13943 13973 14024 14198 14217 14469 14514 14785 14806 15363 15416 15449 15760 15783 15876 15942 16207 16230 16240 16265 16362 16797 16876 17021 17311 17452 17924 18091 18102 18411 18473 18715 18782 18844 19066 19101 19150 19180 19247 19330 19480 19552 19583 19652 19789 19833 19929 20157 20206 20409 20610 20732 20757 20871 20936 20987 21326 21414 21494 21521 21615 21647 21892 21914 21957 22119 22186 22274 22316 22500 22518 22686 22726 22750 22890 22927 22942 23157 23283 23397 23570 23880 24009 24074 24094 24156 24167 24271 24442 24514 24635 24660 24685 24772 24826 24851 24936 24957 25004 25065 25218 25319 25472 25494 25693 25851 25957 26034 26119 26210 26266 26293 26347 26405 26510 26521 26562 26627 26778 26858 26918 27171 27255 27361 27493 27563 27688 27950 28039 28081 28109 28183 28228 28274 28297 28337 28588 28702 28713 29061 29096 29134 29179 29198 29357 29375 29494 29604 29654 29700 29776 29926 29941 30139 30236 30272 30540 30628 30681 30723 30927 31084 31404 31487 31503 31520 31628 31650 31737 31785 32074 32198 32270 32324 32340 32354 32380 32414 32464 32524 32544 32818 33102 33174 33200 33223 33242 33504 33639 33967 34031 34150 34260 34274 34384 34472 34707 34818 34877 34984 35464 35605 35634 35755 35799 35964 36056 36168 36234 36368 36430 36621 36653 36911 37069 37166 37233 37423 37470 37527 37631 37802 37865 38007 38149 38209 38237 38465 38612 38638 38657 38772 38828 38840 38933 39022 39141 39154 39218 39345 39437 39522 39534 39546 39594 39753 39812 40041 40055 40081 40113 40182 40271 40287 40351 40533 40594 40724 40879 40935 41216 41229 41299 41371 41502 41722 41802 41918 42064 42549 42641 42655 42688 42709 42759 42831 43006 43056 43219 43292 43389 43488 43783 44070 44142 44400 44456 44507 44639 44718 44834 44991 45032 45085 45158 45210 45410 45425 45453 45549 45652 45716 45795 45908 45968 46014 46381 46409 46438 46533 46598 47007 47027 47044 47079 47167 47181 47196 47588 47638 47665 47969 48056 48083 48262 48598 48694 48719 48836 48926 48957 49053 49156 49208 49316 49435 49478 49515 49608 49625 49645 49743 49897 50200 50250 50285 50398 50490 50553 50778 50881 50921 50957 51093 51140 51442 51755 51857 51910 51948 52070 52083 52166 52251 52336 52367 52424 52542 52626 52762 52931 53033 53096 53243 53302 53328 53382 53482 53552 53581 53767 53802 53820 53845 53895 54023 54043 54250 54274 54332 54379 54406 54548 54821 54840 54860 55034 55147 55167 55234 55260 55336 55377 55462 55561 55602 55794 55805 55963 56132 56310 56506 56719 56826 56905 57103 57130 57414 57483 57541 57580 57648 58030 58163 58246 58388 58509 58624 58901 58929 58987 59093 59106 59177 59252 59284 59334 59536 59600 59662 59781 59862 59936 60039 60149 60188 60252 60355 60407 60536 60804 60952 60964 60980 61019 61272 61589 61605 61683 61831 61865 61885 61925 62027 62137 62176 62231 62352 62393 62528 62580 62617 62803 62882 62928 62978 63106 63133 63286 63366 63412 63567 63599 64158 64233 64246 64288 64394 64655 64742 64905 64983 65027 65068 65176 65204 65230 65295 65479 65524 65549 65581 65676 65692 65801 65857 65889 65917 66095 66200 66238 66708 66890 67029 67095 67206 67315 67390 67466 67575 67589 67760 67802 67837 67866 67893 67963 68201 68280 68428 68442 68480 68527 68544 68670 69097 69346 69524 69711 69895 70143 70314 70349 70566 70720 70776 70901 70922 70964 71069 71233 71446 71755 71835 71848 71897 72001 72059 72191 72204 72239 72261 72300 72334 72463 72591 72696 72906 73055 73188 73290 73381 73455 73660 73703 73745 73791 73820 73949 74141 74231 74266 74350 74578 74598 74613 74860 74897 74911 74971 75059 75128 75167 75379 75474 75649 75792 76116 76153 76276 76299 76660 76727 76741 76763 76773 76839 76887 76911 76931 77002 77093 77124 77520 77560 77687 77753 77847 77991 78096 78143 78256 78304 78319 78333 78489 78541 78728 78810 79170 79758 79883 80594 80631 80763 80786 80798 80828 80846 80948 81090 81132 81242 81335 81535 81574 81807 82047 82074 82158 82238 82252 82271 82546 82604 82670 82703 82745 83099 83204 83228 83435 83451 83594 83606 83673 83763 83889 83951 84051 84284 84812 84827 84903 84965 85065 85105 85393 85472 85489 85603 85667 85737 85801 85874 86011 86071 86106 86164 86205 86272 86320 86411 86476 86520 86598 86625 86788 86976 87069 87119 87163 87327 87376 87430 87491 87511 87550 87579 87681 87735 87908 87931 88234 88400 88486 88674 88968 88982 89017 89057 89174 89470 89561 89668 89879 90138 90177 90229 90246 90323 90537 90558 90703 90753 90980 91257 91291 91354 91439 91478 91650 91785 91906 92009 92061 92147 92198 92231 92285 92405 92537 92746 92906 92918 92937 92964 93099 93113 93245 93279 93411 93462 93552 93578 93768 93849 93889 93962 94206 94388 94475 94576 94660 94716 94778 94921 95076 95389 95428 95473 95655 95699 95787 95824 95910 95983 96039 96089 96102 96167 96190 96268 96478 96505 96544 96668 96942 97039 97340 97550 97709 97806 97919 97978 98077 98156 98225 98261 98312 98363 98449 98474 98517 98608 98618 98729 98776 98945 99066 99090 99118 99192 99218 99314 99516 99694 99838 100083 100105 100165 100253 100369 100494 100528 100589 100749 100811 101057 101135 101339 101350 101409 101461 101623 101851 102137 102209 102255 102338 102349 102417 102547 102613 103010 103238
8 5 10 7 8 7 5 7 9
true