4 11 5 59 6 359 7 1799 8 7091 9 22995 10 64143 11 159093 12 359348 13 752180 14 1478204 15 2754752 16 4906202 17 8402522 18 13907394 19 22337388 20 34933761 21 53348561 22 79746821 23 116926733 24 168459797 25 238853045 26 333735545 27 460071495 28 626402322 29 843120306 30 1122776354 31 1480424654 32 1934007044 33 2504780036 34 3217787540 35 4102382438 36 5192800263 37 6528788343 38 8156293875 39 10128214499 40 12505215047 41 15356614247 42 18761345267 43 22808994089 44 27600919808 45 33251461056 46 39889232856 47 47658518316 48 56720759678 49 67256153342 50 79465353590 51 93571289840 52 109821102365 53 128488201517 54 149874455601 55 174312512649 56 202168261449 57 233843437289 58 269778377981 59 310454935835 60 356399551358 61 408186494558 62 466441279838 63 531844260570 64 605134409544 65 687113291592 66 778649234792 67 880681706762 68 994225902659 69 1120377551603 70 1260317948351 71 1415319217151 72 1586749814811 73 1776080280123 74 1984889236887 75 2214869657885 76 2467835397260 77 2745727998860 78 3050623788212 79 3384741255896 80 3750448740194 81 4150272416994 82 4586904605034 83 5063212394676 84 5582246608505 85 6147251102153 86 6761672413853 87 7429169771333 88 8153625464765 89 8939155594589 90 9790121203137 91 10711139799087 92 11707097283882 93 12783160289354 94 13944788935898 95 15197750020646 96 16548130645196 97 18002352292556 98 19567185363068 99 21249764179182 100 23057602469055 101 24998609339055 102 27081105745355 103 29313841474907 104 31706012646191 105 34267279740239 106 37007786172539 107 39938177416529 108 43069620689496 109 46413825211800 110 49983063050448 111 53790190558148 112 57848670419078 113 62172594312710 114 66776706207134 115 71676426293432 116 76887875572757 117 82427901107877 118 88314101951049 119 94564855760193 120 101199346115441 121 108237590548241 122 115700469295301 123 123609754789763 124 131988141902102 125 140859278943350 126 150247799443350 127 160179354716850 128 170680647230352 129 181779464782736 130 193504715512784 131 205886463746834 132 218955966699899 133 232745712043691 134 247289456355095 135 262622264458743 136 278780549677443 137 295802115004323 138 313726195210655 139 332593499903429 140 352446257546852 141 373328260462052 142 395284910819372 143 418363267637744 144 442612094805738 145 468081910138986 146 494825035488786 147 522895647916796 148 552349831950833 149 583245632936897 150 615643111502645 151 649604399147645 152 685193754975845 153 722477623585797 154 761524694134281 155 802405960589079 156 845194783186754 157 889966951111394 158 936800746410386 159 985777009163390 160 1036979203920788 161 1090493487427988 162 1146408777652068 163 1204816824127350 164 1265812279636599 165 1329492773244647 166 1395958984701347 167 1465314720230867 168 1537666989724439 169 1613126085353783 170 1691805661622531 171 1773822816873081 172 1859298176266416 173 1948355976252528 174 2041124150549192 175 2137734417646940 176 2238322369858190 177 2343027563928590 178 2451993613228742 179 2565368281544576 180 2683303578484749 181 2805955856523549 182 2933485909697889 183 3066059073977081 184 3203845329324185 185 3347019403467833 186 3495760877403533 187 3650254292643563 188 3810689260234670 189 3977260571562894 190 4150168310964942 191 4329617970165642 192 4515820564561112 193 4708992751367384 194 4909356949654328 195 5117141462284826 196 5332580599779251 197 5555914806125411 198 5787390786554223 199 6027261637301487 200 6275786977376235 201 6533233082356235 202 6799873020231335 203 7075986789315437 204 7361861458247996 205 7657791308106044 206 7964077976647844 207 8281030604709384 208 8608965984775026 209 8948208711743730 210 9299091335912378 211 9661954518197828 212 10037147187619433 213 10425026701063865 214 10825959005354189 215 11240318801645237 216 11668489712167437 217 12110864449341357 218 12567844987285329 219 13039842735738623 220 13527278716422746 221 14030583741863546 222 14550198596696906 223 15086574221480918 224 15640171899037532 225 16211463443346780 226 16800931391016780 227 17409069195352830 228 18036381423049007 229 18683383953525791 230 19350604180937339 231 20038581218872139 232 20747866107770879 233 21479022025085471 234 22232624498203275 235 23009261620160673 236 23809534268170248 237 24634056324985928 238 25483454903130560 239 26358370572010484 240 27259457587941782 241 28187384127112982 242 29142832521509102 243 30126499497822024 244 31139096419372293 245 32181349531067541 246 33254000207422841 247 34357805203668401 248 35493536909970113 249 36661983608788577 250 37863949735402325 251 39100256141621075 252 40371740362714950 253 41679256887585702 254 43023677432206086 255 44405891216353634 256 45826805243665184 257 47287344585038624 258 48788452665408416 259 50331091553921570 260 51916242257540843 261 53544905018102043 262 55218099612852423 263 56936865658497255 264 58702262918781779 265 60515371615635827 266 62377292743908527 267 64289148389720597 268 66252082052461844 269 68267258970461588 270 70335866450359836 271 72459114200207136 272 74638234666321146 273 76874483373928058 274 79169139271617122 275 81523505079636620 276 83938907642059745 277 86416698282848945 278 88958253165847397 279 91564973658726381 280 94238286700917429 281 96979645175558229 282 99790528285481369 283 102672441933275111 284 105626919105445490 285 108655520260709138 286 111759833722446338 287 114941476075343918 288 118202092566257700 289 121543357509324324 290 124966974695352372 291 128474677805522822 292 132068230829428967 293 135749428487486039 294 139520096657740883 295 143382092807112131 296 147337306427091431 297 151387659473936391 298 155535106813386003 299 159781636669929417 300 164129271080659040 301 168580066353739040 302 173136113531520440 303 177799538858334092 304 182572504252992926 305 187457207786034974 306 192455884161738774 307 197570805204942864 308 202804280352701181 309 208158657150806285 310 213636321755212433 311 219239699438390633 312 224971255100647913 313 230833493786443145 314 236828961205731869 315 242960244260372667 316 249229971575627742 317 255640814036790462 318 262195485330972734 319 268896742494085178 320 275747386463043176 321 282750262633231976 322 289908261421264136 323 297224318833062698 324 304701417037303587 325 312342584944250835 326 320150898790018335 327 328129482726291935 328 336281509415545787 329 344610200631786971 330 353118827866862519 331 361810712942363069 332 370689228627157484 333 379757799260592876 334 389019901381394580 335 398479064362300728 336 408138871050466178 337 418002958413670658 338 428075018192366090 339 438358797557598164 340 448858099774837337 341 459576784873754537 342 470518770323976957 343 481688031716859429 344 493088603453306973 345 504724579437684221 346 516600113777847521 347 528719421491335631 348 541086779217755018 349 553706525937395882 350 566583063696115130 351 579720858336522630 352 593124440235507180 353 606798405048138732 354 620747414457983516 355 634976196933868814 356 649489548493134239 357 664292333471406479 358 679389485298934571 359 694786007283522875 360 710486973400099023 361 726497529086954223 362 742822892048693403 363 759468353065932785 364 776439276811782584 365 793741102675152632 366 811379345590918832 367 829359596876988452 368 847687525078302374 369 866368876817812518 370 885409477654472766 371 904815232948281816 372 924592128732416501 373 944746232592494213 374 965283694553003177 375 986210747970939425 376 1007533710436689425 377 1029258984682197425 378 1051393059496456677 379 1073942510648363811 380 1096914001816975734 381 1120314285529208534 382 1144150204105017974 383 1168428690610101266 384 1193156769816159920 385 1218341559168763568 386 1243990269762854768 387 1270110207325934898 388 1296708773208971355 389 1323793465385066379 390 1351371879455927927 391 1379451709666183127 392 1408040749925574947 393 1437146894839082819 394 1466778140745008063 395 1496942586761065061 396 1527648435838519236 397 1558903995824412996 398 1590717680531920908 399 1623098010818875472 400 1656053615674504970 401 1689593233314424970 402 1723725712283925170 403 1758460012569593372 404 1793805206719318481 405 1829770480970714529 406 1866365136388007829 407 1903598590007429469 408 1941480375991155461 409 1980020146789836965 410 2019227674313763113 411 2059112851112699063 412 2099685691564442018 413 2140956333072138050 414 2182935037270402674 415 2225632191240288222 416 2269058308733141172 417 2313224031403392692 418 2358140130050325764 419 2403817505868862358 420 2450267191709414231 421 2497500353346841031 422 2545528290758559491 423 2594362439411847603 424 2644014371560387767 425 2694495797550093015 426 2745818567134260515 427 2797994670798096665 428 2851036241092658192 429 2904955553978253776 430 2959765030177350824 431 3015477236537032124 432 3072104887401047214 433 3129660845991503406 434 3188158125800241510 435 3247609891989941408 436 3308029462805002733 437 3369430310992246013 438 3431826065231479745 439 3495230511575978969 440 3559657594902921017 441 3625121420373824217 442 3691636254905035437 443 3759216528648312459 444 3827876836481547278 445 3897631939509676526 446 3968496766575825326 447 4040486415782730986 448 4113616156024493048 449 4187901428528696312 450 4263357848408953560 451 4340001206227914810 452 4417847469570790035 453 4496912784629432387 454 4577213477797029071 455 4658766057273447119 456 4741587214681281419 457 4825693826692652459 458 4911102956666801351 459 4997831856298529805 460 5085897967277532828 461 5175318922958672028 462 5266112550043237508 463 5358296870271246440 464 5451890102124826514 465 5546910662542732562 466 5643377168646044762 467 5741308439475096932 468 5840723497737683529 469 5941641571568594073 470 6044082096300523821 471 6148064716246409621 472 6253609286493239981 473 6360735874707388493 474 6469464762951519857 475 6579816449513117855 476 6691811650744684730 477 6805471302915661530 478 6920816564076119082 479 7037868815932269366 480 7156649665733847164 481 7277180948173411964 482 7399484727297620204 483 7523583298430518046 484 7649499190108904975 485 7777255166029818623 486 7906874227010191323 487 8038379612958729003 488 8171794804860063135 489 8307143526771226559 490 8444449747830504107 491 8583737684278709057 492 8725031801492936552 493 8868356816032845224 494 9013737697699518368 495 9161199671606956116 496 9310768220266250166 497 9462469085682492726 498 9616328271464471438 499 9772372044947202152 500 9930626939327351525 501 10091119755811601525 502 10253877565778008025 503 10418927712950405777 504 10586297815585912161 505 10756015768675582209 506 10928109746158267509 507 11102608203147731699 508 11279539878173075366 509 11458933795432523270 510 11640819267060626918 511 11825225895408935618 512 12012183575340189248 513 12201722496536086080 514 12393873145818679104 515 12588666309485454402 516 12786133075658145227 517 12986304836645335547 518 13189213291318906919 519 13394890447504382663 520 13603368624385223411 521 13814680454921128211 522 14028858888280395471 523 14245937192286398133 524 14465948955878227572 525 14688928091585560820 526 14914908838017805820 527 15143925762367579520 528 15376013762928573722 529 15611208071627863706 530 15849544256572714754 531 16091058224611941804 532 16335786223911877569 533 16583764846547004561 534 16835031031105306565 535 17089622065308395213 536 17347575588646467413 537 17608929595028149493 538 17873722435445284025 539 18141992820652715399 540 18413779823863130322 541 18689122883457009522 542 18968061805707747042 543 19250636767521993614 544 19536888319195280708 545 19826857387182981956 546 20120585276886668756 547 20418113675455916966 548 20719484654605621703 549 21024740673448877367 550 21333924581345480115 551 21647079620766110115 552 21964249430172251015 553 22285478046911904167 554 22610809910131155251 555 22940289863701651049 556 23273963159164044224 557 23611875458687464064 558 23954072838045071256 559 24300601789605754860 560 24651509225342029758 561 25006842479854192958 562 25366649313410797238 563 25730977915005500720 564 26099876905430351069 565 26473395340365563117 566 26851582713485848817 567 27234488959583358537 568 27622164457707292809 569 28014660034320243753 570 28412026966471325501 571 28814316984986153051 572 29221582277673729086 573 29633875492550298398 574 30051249741080229662 575 30473758601433984410 576 30901456121763233160 577 31334396823493178760 578 31772635704632147112 579 32216228243098505546 580 32665230400064969219 581 33119698623320356019 582 33579689850648850559 583 34045261513226837951 584 34516471539037368155 585 34993378356302311803 586 35476040896932268503 587 35964518599994288733 588 36458871415197470540 589 36959159806396492364 590 37465444755113143412 591 37977787764075913112 592 38496250860777701282 593 39020896601051710754 594 39551788072665584298 595 40088988898933847796 596 40632563242348721721 597 41182575808229363081 598 41739091848389600093 599 42302177164824221957 600 42871898113413886205 601 43448321607648706205 602 44031515122370581505 603 44621546697534333807 604 45218484941987711466 605 45822399037270325514 606 46433358741431580314 607 47051434392867662054 608 47676696914177648396 609 48309217816038802700 610 48949069201101116348 611 49596323767901162798 612 50251054814795327103 613 50913336243912474735 614 51583242565126123659 615 52260848900046183707 616 52946230986030327407 617 53639465180215056527 618 54340628463566528699 619 55049798444951208593 620 55767053365226408216 621 56492472101350781016 622 57226134170514834576 623 57968119734291526788 624 58718509602807010502 625 59477385238931591750 626 60244828762490966750 627 61020922954497803000 628 61805751261403729877 629 62599397799371804261 630 63401947358569516809 631 64213485407482404609 632 65034098097248336049 633 65863872266012533841 634 66702895443303402245 635 67551255854429224643 636 68409042424895797718 637 69276344784845068598 638 70153253273514841430 639 71039858943719619954 640 71936253566352652752 641 72842529634909247952 642 73758780370031424272 643 74685099724073965394 644 75621582385691944763 645 76568323784449788011 646 77525420095451940311 647 78492968243995206071 648 79471065910242828483 649 80459811533920376547 650 81459304319033507295 651 82469644238607671045 652 83490932039449827620 653 84523269246932241572 654 85566758169798424556 655 86621501904991293104 656 87687604342503610154 657 88765170170250778794 658 89854304878966056786 659 90955114767118260540 660 92067706945852027313 661 93192189343950704513 662 94328670712821935093 663 95477260631506008125 664 96638069511707043749 665 97811208602847081797 666 98996789997143143497 667 100194926634707335767 668 101405732308670067714 669 102629321670326449058 670 103865810234305940306 671 105115314383765324606 672 106377951375605071316 673 107653839345709161428 674 108943097314208445092 675 110245845190767601590 676 111562203779895772215 677 112892294786280936615 678 114236240820148103267 679 115594165402641384851 680 116966192971230029399 681 118352448885138478199 682 119753059430800521539 683 121168151827337623481 684 122597854232061486960 685 124042295746000930608 686 125501606419453148808 687 126975917257559426588 688 128465360225905381070 689 129970068256145801294 690 131490175251654158342 691 133025816093196857792 692 134577126644632306637 693 136144243758634866909 694 137727305282443768353 695 139326450063637052601 696 140941817955930621401 697 142573549825002461561 698 144221787554342119373 699 145886674051125497387 700 147568353252115046510 701 149266970129585426510 702 150982670697274708110 703 152715602016361189962 704 154465912201465903896 705 156233750426680881944 706 158019266931623258744 707 159822613027515283034 708 161643941103290312051 709 163483404631724862755 710 165341158175596793903 711 167217357393869693103 712 169112159047903543083 713 171025721007691741515 714 172958202258124548839 715 174909762905279038637 716 176880564182735625212 717 178870768457921243132 718 180880539238479253604 719 182910041178666152648 720 184959440085775156146 721 187028902926586736946 722 189118597833846189306 723 191228694112768296068 724 193359362247569174057 725 195510773908025373305 726 197683101956060305805 727 199876520452358079605 728 202091204663004814157 729 204327331066157512941 730 206585077358740569489 731 208864622463169983039 732 211166146534105360154 733 213489830965229778746 734 215835858396057591050 735 218204412718770242198 736 220595679085080181148 737 223009843913122940828 738 225447094894377464460 739 227907621000614755134 740 230391612490874925807 741 232899260918472727007 742 235430759138031629627 743 237986301312546540299 744 240566082920475226943 745 243170300762858532191 746 245799152970469452491 747 248452839010991160801 748 251131559696224050888 749 253835517189321881352 750 256564915012057097600 751 259319958052115410100 752 262100852570419707350 753 264907806208483382102 754 267741027995793149486 755 270600728357221435784 756 273487119120468416709 757 276400413523533784149 758 279340826222218320441 759 282308573297655359345 760 285303872263872212993 761 288326942075381644193 762 291378003134803463573 763 294457277300516331155 764 297564987894339842054 765 300701359709246976102 766 303866619017106991302 767 307060993576458841122 768 310284712640315195744 769 313538006963997147488 770 316821108812999680736 771 320134251970887986786 772 323477671747224704171 773 326851604985528165083 774 330256290071261728647 775 333691966939854281895 776 337158877084751989395 777 340657263565501372595 778 344187371015863800047 779 347749445651961469781 780 351343735280454965204 781 354970489306752466004 782 358629958743250695644 783 362322396217607687136 784 366048055981047448890 785 369807193916696612538 786 373600067547953144738 787 377426936046887205068 788 381288060242674232225 789 385183702630060340849 790 389114127377860111397 791 393079600337486855597 792 397080389051515440117 793 401116762762277751189 794 405188992420490883033 795 409297350693918133031 796 413442111976062886706 797 417623552394895475666 798 421841949821613091778 799 426097583879432840942 800 430390735952418019940 801 434721689194337699940 802 439090728537559700340 803 443498140701977036742 804 447944214203967926951 805 452429239365389438999 806 456953508322604865299 807 461517315035544907139 808 466120955296802753831 809 470764726740763140935 810 475448928852765472083 811 480173862978301089033 812 484939832332244774688 813 489747142008120573920 814 494596098987402017144 815 499487012148846831692 816 504420192277866226142 817 509395952075928832862 818 514414606169999394134 819 519476471122012277328 820 524581865438379904701 821 529731109579536183501 822 534924525969515022161 823 540162439005564018473 824 545445175067793405737 825 550773062528860342985 826 556146431763688635485 827 561565615159223971835 828 567030947124224764062 829 572542764099088677246 830 578101404565714935294 831 583707209057402489594 832 589360520168784137384 833 595061682565796676776 834 600811042995687185480 835 606608950297055510378 836 612455755409933055203 837 618351811385897953683 838 624297473398226715615 839 630293098752082433439 840 636339046894739636987 841 642435679425845884187 842 648583360107720175607 843 654782454875688280829 844 661033331848455064748 845 667336361338513901996 846 673691915862593267796 847 680100370152140593656 848 686562101163843476418 849 693077488090188329282 850 699646912370056563530 851 706270757699358389780 852 712949410041704327705 853 719683257639114513257 854 726472691022765892541 855 733318103023777391589 856 740219888784033151389 857 747178445767043917629 858 754194173768846674721 859 761267474928942613775 860 768398753741273524298 861 775588417065236699498 862 782836874136738445178 863 790144536579286282310 864 797511818415119933484 865 804939136076381183532 866 812426908416322704732 867 819975556720555937102 868 827585504718338114399 869 835257178593898526543 870 842991006997804109291 871 850787421058364452091 872 858646854393076315151 873 866569743120107746863 874 874556525869821892827 875 882607643796340587825 876 890723540589147822200 877 898904662484733174200 878 907151458278275299952 879 915464379335365572836 880 923843879603771964134 881 932290415625243256934 882 940804446547353685374 883 949386434135388091416 884 958036842784267691445 885 966756139530516545093 886 975544794064268818793 887 984403278741316936673 888 993332068595200711505 889 1002331641349337548529 890 1011402477429193815077 891 1020545059974497469027 892 1029759874851492039222 893 1039047410665232051094 894 1048408158771919990838 895 1057842613291284901586 896 1067351271119002705136 897 1076934631939158342896 898 1086593198236749829808 899 1096327475310234315122 900 1106137971284116243995 901 1116025197121577713995 902 1125989666637151120695 903 1136031896509434186647 904 1146152406293847468131 905 1156351718435434434179 906 1166630358281704212479 907 1176988854095517096869 908 1187427737068012911236 909 1197947541331582324740 910 1208548803972881213388 911 1219232065045888163088 912 1229997867585005209418 913 1240846757618201909450 914 1251779284180202841074 915 1262795999325718625372 916 1273897458142720567697 917 1285084218765759013217 918 1296356842389325512789 919 1307715893281258895133 920 1319161938796195341381 921 1330695549389062558181 922 1342317298628618145641 923 1354027763211032256503 924 1365827522973514643042 925 1377717160907986188290 926 1389697263174795018290 927 1401768419116477292190 928 1413931221271562767092 929 1426186265388425234676 930 1438534150439177926724 931 1450975478633613986774 932 1463510855433192105239 933 1476140889565067415431 934 1488866193036167748035 935 1501687381147315341683 936 1514605072507394107383 937 1527619889047562544663 938 1540732456035512407395 939 1553943402089773217369 940 1567253359194062723792 941 1580662962711683406992 942 1594172851399965124712 943 1607783667424753999484 944 1621496056374947645678 945 1635310667277076834926 946 1649228152609933698726 947 1663249168319246567136 948 1677374373832401542573 949 1691604432073210907837 950 1705940009476728467585 951 1720381776004111922585 952 1734930405157532376185 953 1749586573995131072537 954 1764350963146023466221 955 1779224256825350723019 956 1794207142849378751694 957 1809300312650644866734 958 1824504461293152182126 959 1839820287487611836330 960 1855248493606733148728 961 1870789785700561807928 962 1886444873511866192408 963 1902214470491571924090 964 1918099293814244755539 965 1934100064393621891587 966 1950217506898191846287 967 1966452349766822936207 968 1982805325224440511179 969 1999277169297753023723 970 2015868621831027038471 971 2032580426501911283021 972 2049413330837309841756 973 2066368086229304594268 974 2083445447951127000132 975 2100646175173179331880 976 2117971030979105458130 977 2135420782381911278930 978 2152996200340134915482 979 2170698059774066756516 980 2188527139582019463689 981 2206484222656648038489 982 2224570095901320053229 983 2242785550246536148821 984 2261131380666400902125 985 2279608386195144165773 986 2298217369943692983473 987 2316959139116294183903 988 2335834505027187756410 989 2354844283117331111834 990 2373989292971174331882 991 2393270358333486510582 992 2412688307126233291452 993 2432243971465505704124 994 2451938187678500404268 995 2471771796320551420766 996 2491745642192213514191 997 2511860574356397250751 998 2532117446155555895963 999 2552517115228924232427 1000 2573060443529809406175