.5 0 0 0 0 0 0 0 .5
2 0 0 0 0 0 0 0
1000
15 53 222 345 357 474 544 628 728 862 919 1032 1116 1172 1203 1276 1365 1383 1441 1452 1484 1523 1613 1775 1881 1900 1923 2129 2255 2341 2489 2539 2589 2640 2692 2716 3053 3091 3106 3162 3237 3257 3408 3489 3514 3654 3740 3799 3891 3944 4007 4062 4161 4222 4290 4397 4445 4555 4674 5185 5279 5327 5337 5356 5655 5700 5859 6009 6025 6165 6231 6268 6461 6528 6580 6599 6619 6695 6725 6762 6832 7130 7271 7371 7522 7545 7727 7903 7925 7979 8038 8077 8338 8364 8398 8429 8511 8666 9093 9111 9307 9430 9494 9750 9786 9831 9891 10114 10191 10398 10528 10577 10608 10656 10687 10780 10875 11000 11085 11138 11312 11414 11469 11845 12085 12163 12274 12399 12419 12442 12502 12635 12788 12863 12940 13074 13387 13659 13935 13978 14140 14165 14278 14623 14729 14923 14998 15190 15293 15358 15468 15555 15606 15689 15727 15790 15800 15818 15943 16029 16194 16254 16302 16315 16409 16421 16566 16596 16681 16700 16785 16799 16811 16901 16963 17145 17206 17273 17534 17551 17831 17844 18024 18102 18275 18329 18398 18451 18463 18478 18600 18616 18637 18829 18947 19096 19119 19164 19303 19438 19488 19924 19984 20075 20209 20227 20333 20349 20477 20496 21051 21078 21103 21189 21209 21242 21499 21596 22033 22143 22235 22353 22404 22421 22531 22646 22770 22821 23009 23032 23067 23225 23242 23268 23606 23638 23680 24006 24185 24457 24765 24917 24964 25015 25180 25397 25477 25495 25525 25546 25689 25735 25753 25802 25903 25926 25960 26093 26106 26213 26356 26440 26480 26491 26626 26836 26898 27108 27121 27336 27354 27398 27408 27418 27435 27508 27527 27962 28013 28046 28141 28284 28371 28416 28446 28458 28477 28487 28519 28695 28752 28810 28823 28856 28992 29184 29387 29406 29623 29720 29735 29847 29904 29949 29962 29988 30200 30258 30333 30350 30392 30440 30485 30614 30715 30762 31007 31017 31098 31183 31360 31424 31513 31781 31815 31976 32174 32256 32443 32493 32573 32589 32634 32647 32790 32850 33064 33100 33259 33371 33483 33501 33565 33595 33615 33639 33654 33746 33790 33911 33970 34039 34058 34116 34131 34349 34689 35142 35244 35482 35651 35745 36094 36290 36371 36447 36504 36658 36805 36859 36968 37012 37205 37224 37317 37524 37547 37622 37762 37980 38194 38205 38306 38369 38568 38623 38693 38730 38873 39013 39178 39405 39416 39428 39460 39593 39632 39709 39804 39866 40300 40498 40815 40854 41012 41057 41202 41254 41274 41293 41462 41526 41757 41870 41912 42033 42238 42383 42412 42524 42562 42646 42846 42860 42981 43285 43348 43523 43534 43591 43725 43786 44250 44751 44783 44814 44890 44946 45023 45145 45209 45488 45534 45769 45805 45902 46137 46173 46189 46392 46469 46536 46546 46559 46632 46651 46685 46750 46856 46894 47014 47114 47255 47313 47429 47461 47477 47564 47620 47710 47735 47788 47823 47848 47942 47973 48191 48537 48606 48622 48902 48943 48975 49166 49215 49258 49323 49400 49597 49642 49723 49835 50106 50150 50240 50281 50333 50486 50503 50513 50533 50557 50682 50789 50833 50856 50972 51169 51379 51399 51415 51481 51755 51769 51884 51898 52165 52296 52362 52778 52982 53220 53251 53429 53456 53497 53602 53613 53866 53939 54091 54271 54355 54394 54436 54545 54787 54823 55020 55054 55118 55130 55337 55360 55390 55440 55600 55871 56049 56251 56303 56387 56505 56706 56767 56799 56823 56905 56919 57008 57104 57121 57151 57161 57177 57268 57290 57449 57598 57741 57846 57893 57922 58027 58046 58089 58157 58181 58204 58308 58433 58649 58748 58878 58932 58954 58999 59049 59104 59167 59195 59299 59329 59370 59541 59558 59614 59778 60317 60441 60745 60786 60907 61085 61481 61553 61595 61608 61711 61908 61968 62109 62183 62214 62361 62372 62399 62460 62497 62512 62624 62762 62820 62888 62915 62967 62986 63033 63098 63164 63235 63289 63334 63514 63578 63597 63820 63850 63922 63933 64007 64106 64183 64315 64333 64514 64575 64672 64908 65183 65279 65293 65493 65657 65820 65992 66032 66082 66144 66257 66296 66318 66438 66601 66717 66730 66807 66861 67015 67152 67363 67391 67406 67418 67559 67631 67654 68049 68103 68232 68282 68415 68714 68767 68839 68951 69164 69199 69350 69481 69783 69859 69900 69961 70087 70171 70274 70466 70482 70531 70543 70564 70850 70876 71182 71356 71370 71441 71609 71674 71771 71824 71906 72268 72339 72354 72425 72504 72552 72589 72631 72806 72827 72863 72899 73054 73238 73284 73324 73383 73408 73459 73700 73758 73811 73919 73931 73944 74196 74299 74419 74552 74731 74752 74889 75026 75229 75239 75318 75384 75590 75705 75797 75920 76035 76132 76196 76299 76608 76625 76695 76926 77077 77132 77393 77462 77860 77897 77918 78053 78134 78205 78236 78303 78403 78415 78554 78652 78836 78948 78987 79048 79147 79216 79256 79269 79498 79604 79660 79710 79756 79813 79827 79866 80017 80074 80168 80677 80701 80850 80864 80922 80952 80980 81055 81232 81284 81312 81380 81489 81563 81692 81825 81925 81940 81959 82014 82030 82207 82336 82402 82524 82638 82711 82727 82792 82819 82886 82906 83148 83538 83581 83612 83633 83938 84094 84124 84244 84319 84350 84489 84740 84751 84843 84965 85174 85293 85318 85492 85537 85634 85778 85829 85893 85926 86051 86131 86195 86406 86511 86601 86701 86827 86862 87048 87237 87301 87354 87442 87553 87687 87715 87810 87853 87879 87975 88030 88048 88098 88335 88438 88515 88880 88950 89070 89081 89103 89125 89137 89177 89190 89235 89360 89391 89533 89642 89842 89940 89950 90206 90316 90353 90399 90467 90715 90739 90856 91074 91120 91143 91206 91225 91314 91385 91437 91638 91873 91986 92026 92112 92362 92381 92395 92433 92510 92547 92593 92643 92658 92671 92805 92864 93045 93100 93170 93314 93362 93432 93445 93584 93616 93684 93880 93893 94068 94152 94175 94186 94270 94331 94489 94540 94769 94844 94887 94995 95062 95198 95239 95251 95373 95420 95529 95623 95897 96066 96412 96478 96559 96579 96609 96645 96857 97113 97134 97150 97417 97482 97537 97681 97742 97848 97920 97973 98015 98025 98120 98232 98271 98337 98437 98456 98495 98508 98617 98676 98846 98888 99026 99057
6 8 5 9 10 8 10 7 8
true