0 1 1 2 2 6 3 10 4 26 5 42 6 86 7 130 8 258 9 386 10 694 11 1002 12 1754 13 2506 14 4134 15 5762 16 9346 17 12930 18 20198 19 27466 20 42330 21 57194 22 85750 23 114306 24 169602 25 224898 26 326934 27 428970 28 618138 29 807306 30 1144390 31 1481474 32 2084610 33 2687746 34 3732422 35 4777098 36 6591386 37 8405674 38 11470230 39 14534786 40 19723138 41 24911490 42 33490038 43 42068586 44 56274522 45 70480458 46 93521766 47 116563074 48 153983874 49 191404674 50 251085222 51 310765770 52 406031322 53 501296874 54 650917686 55 800538498 56 1035699714 57 1270860930 58 1635162582 59 1999464234 60 2564092186 61 3128720138 62 3992446086 63 4856172034 64 6177928706 65 7499685378 66 9498566534 67 11497447690 68 14520974106 69 17544500522 70 22068619990 71 26592739458 72 33363169282 73 40133599106 74 50165826102 75 60198053098 76 75064049114 77 89930045130 78 111758267046 79 133586488962 80 165637221762 81 197687954562 82 244353311334 83 291018668106 84 358957056090 85 426895444074 86 525031564662 87 623167685250 88 764907713922 89 906647742594 90 1109879328918 91 1313110915242 92 1604463189402 93 1895815463562 94 2310659036358 95 2725502609154 96 3316069444866 97 3906636280578 98 4742019696966 99 5577403113354 100 6758828871834 101 7940254630314 102 9601080935958 103 11261907241602 104 13596112461954 105 15930317682306 106 19192500347382 107 22454683012458 108 27012575747930 109 31570468483402 110 37904938010598 111 44239407537794 112 53040536680066 113 61841665822338 114 74008753505062 115 86175841187786 116 102991332733146 117 119806824278506 118 142936311405494 119 166065798532482 120 197870703858434 121 229675609184386 122 273213186224982 123 316750763265578 124 376330835374618 125 435910907483658 126 517095867853062 127 598280828222466 128 708870584126466 129 819460340030466 130 969492312825606 131 1119524285620746 132 1323000705828378 133 1526477126036010 134 1801365033342294 135 2076252940648578 136 2447495303161602 137 2818737665674626 138 3318253379924406 139 3817769094174186 140 4489660251919578 141 5161551409664970 142 6062103297893670 143 6962655186122370 144 8169291348916866 145 9375927511711362 146 10987209750248934 147 12598491988786506 148 14749407615861594 149 16900323242936682 150 19762285082960886 151 22624246922985090 152 26431054207247490 153 30237861491509890 154 35285699858177046 155 40333538224844202 156 47024767928362138 157 53715997631880074 158 62559153542974278 159 71402309454068482 160 83085596573217026 161 94768883692365570 162 110160177149799110 163 125551470607232650 164 145820897794503066 165 166090324981773482 166 192710265551753878 167 219330206121734274 168 254278800797948290 169 289227395474162306 170 334988546050784118 171 380749696627405930 172 440648952097178714 173 500548207566951498 174 578752764121187430 175 656957320675423362 176 759027975355629954 177 861098630035836546 178 993989780733716646 179 1126880931431596746 180 1299842635964522970 181 1472804340497449194 182 1697382316608463926 183 1921960292719478658 184 2213464069885281282 185 2504967847051083906 186 2882470766482030806 187 3259973685912977706 188 3748690177107046170 189 4237406668301114634 190 4868692249043902854 191 5499977829786691074 192 6315163397536756226 193 7130348965286821378 194 8180740797175679622 195 9231132629064537866 196 10584166967708701978 197 11937201306352866090 198 13676444359853845462 199 15415687413354824834 200 17650677607154911746 201 19885667800954998658 202 22751915777837268278 203 25618163754719537898 204 29292820629931753434 205 32967477505143968970 206 37669334866398581670 207 42371192227653194370 208 48385536750667210626 209 54399881273681226882 210 62078494722176208230 211 69757108170671189578 212 79557525984447103578 213 89357943798223017578 214 101843455093158237814 215 114328966388093458050 216 130230414848570591106 217 146131863309047724162 218 166347647187953609622 219 186563431066859495082 220 212256397128293848986 221 237949363189728202890 222 270546806709003617734 223 303144250228279032578 224 344489340010753823490 225 385834429793228614402 226 438186208174306819142 227 490537986555385023882 228 556807108838407901850 229 623076231121430779818 230 706824965577676812054 231 790573700033922844290 232 896381798695906929282 233 1002189897357891014274 234 1135654596019364467958 235 1269119294680837921642 236 1437421084090719549786 237 1605722873500601177930 238 1817625499362977276134 239 2029528125225353374338 240 2296250900785825519746 241 2562973676346297665154 242 2898191482391982716454 243 3233409288437667767754 244 3654592861374218394330 245 4075776434310769020906 246 4604192366162373702838 247 5132608298013978384770 248 5795372541213774824706 249 6458136784413571264642 250 7288214651803646387798 251 8118292519193721510954 252 9157634560752177423386 253 10196976602310633335818 254 11496518605151587324422 255 12796060607992541313026 256 14420499367478413039618 257 16044938126964284766210 258 18072731446705796267526 259 20100524766447307768842 260 22631141813048333224986 261 25161758859649358681130 262 28315680162706924415574 263 31469601465764490150018 264 35399297410077086641410 265 39328993354389683132802 266 44218924179957265014966 267 49108855005524846897130 268 55192044451631172952794 269 61275233897737499008458 270 68833269202950132169254 271 76391304508162765330050 272 85779294103754001391746 273 95167283699345237453442 274 106813857209292105075942 275 118460430719238972698442 276 132905213732453856706906 277 147349996745668740715370 278 165243610815999382100214 279 183137224886330023485058 280 205297421456163935548034 281 227457618025997847611010 282 254869278426262315965206 283 282280938826526784319402 284 316179926040544510950042 285 350078913254562237580682 286 391952071918051340845126 287 433825230581540444109570 288 485535352176007608556290 289 537245473770474773003010 290 601031296623215249371590 291 664817119475955725740170 292 743479072867649774665626 293 822141026259343823591082 294 919041230424056715603862 295 1015941434588769607616642 296 1135279166091284345180034 297 1254616897593799082743426 298 1401428589329616400253558 299 1548240281065433717763690 300 1728807009090245967252058 301 1909373737115058216740426 302 2131221220644749367873894 303 2353068704174440519007362 304 2625568783885756685305730 305 2898068863597072851604098 306 3232439501627622290440102 307 3566810139658171729276106 308 3977001072297550753679322 309 4387192004936929778082538 310 4889884742626722756739382 311 5392577480316515735396226 312 6008486671292594197164546 313 6624395862268672658932866 314 7378269292561195292841942 315 8132142722853717926751018 316 9054669019501738659364122 317 9977195316149759391977226 318 11105003947201227387391622 319 12232812578252695382806018 320 13611264756265684715092482 321 14989716934278674047378946 322 16672905616321383700581766 323 18356094298364093353784586 324 20410917924256746780956442 325 22465741550149400208128298 326 24971904042464245331330262 327 27478066534779090454532226 328 30534011903179882314984450 329 33589957271580674175436674 330 37312869612822674933518390 331 41035781954064675691600106 332 45570212055371198145866202 333 50104642156677720600132298 334 55622507495740128187313318 335 61140372834802535774494338 336 67853473569696641467263362 337 74566574304590747160032386 338 82726593273776813467005030 339 90886612242962879773977674 340 100803235585089788915829850 341 110719858927216698057682026 342 122760776081121951967149942 343 134801693235027205876617858 344 149418783819702182075638146 345 164035874404377158274658434 346 181765208218967109874368150 347 199494542033557061474077866 348 220994145675564921307847066 349 242493749317572781141616266 350 268543606182859161765048006 351 294593463048145542388479746 352 326149883357782596626225410 353 357706303667419650863971074 354 395901924467691071809730374 355 434097545267962492755489674 356 480319448956794029826034842 357 526541352645625566896580010 358 582431066972585025831755798 359 638320781299544484766931586 360 705886325963821973499194498 361 773451870628099462231457410 362 855067757278507390885875702 363 936683643928915319540293994 364 1035251279779319648868961114 365 1133818915629723978197628234 366 1252766603459044219579662822 367 1371714291288364460961697410 368 1515226475385993117108486786 369 1658738659483621773255276162 370 1831755925649424338210476326 371 2004773191815226903165676490 372 2213319296406656315748752602 373 2421865400998085728331828714 374 2673047270930182372138055094 375 2924229140862279015944281474 376 3226702635407406400082611970 377 3529176129952533784220942466 378 3893146040740378543314010454 379 4257115951528223302407078442 380 4694998163375863526117191194 381 5132880375223503749827303946 382 5659301866135408982856442630 383 6185723357047314215885581314 384 6818462085624242633007154178 385 7451200814201171050128727042 386 8211185719640169456187569414 387 8971170625079167862246411786 388 9883813411521012008360737306 389 10796456197962856154475062826 390 11891651334492050738036463446 391 12986846471021245321597864066 392 14300855377079333320347228930 393 15614864283137421319096593794 394 17190315328522983991124109238 395 18765766373908546663151624682 396 20654316103523672997051848922 397 22542865833138799330952073162 398 24805198966989086045823936294 399 27067532100839372760695799426 400 29777114625894550968697052802 401 32486697150949729176698306178 402 35729776321143664383045522406 403 38972855491337599589392738634 404 42853744114212906574515521370 405 46734632737088213559638304106 406 51375709173796256379179288054 407 56016785610504299198720272002 408 61565923120813049566533994626 409 67115060631121799934347717250 410 73745627373415837222500618774 411 80376194115709874510653520298 412 88297481711516220002120456346 413 96218769307322565493587392394 414 105675992841310682382251633990 415 115133216375298799270915875586 416 126422132195624081711774758146 417 137711048015949364152633640706 418 151177953734253137261798564038 419 164644859452556910370963487370 420 180707052205045085689282028954 421 196769244957533261007600570538 422 215915021404976336500656485526 423 235060797852419411993712400514 424 257878046848314889518943444354 425 280695295844210367044174488194 426 307871498434782752350872416630 427 335047701025355137657570345066 428 367409831864735415864760461402 429 399771962704115694071950577738 430 438286490054341329668391732838 431 476801017404566965264832887938 432 522629511011943647867830842754 433 568458004619320330470828797570 434 622957135714421974826236223142 435 677456266809523619181643648714 436 742255191822274324985109226970 437 807054116835025030788574805226 438 884054477394699082685543228982 439 961054837954373134582511652738 440 1052538306261562369874881632258 441 1144021774568751605167251611778 442 1252650053395365413813375874774 443 1361278332221979222459500137770 444 1490242405464257988342555820826 445 1619206478706536754225611503882 446 1772226611385051855153600152454 447 1925246744063566956081588801026 448 2106779345386004915905374109186 449 2288311946708442875729159417346 450 2503549570069605364342467227782 451 2718787193430767852955775038218 452 2973944854050183935867288156442 453 3229102514669600018778801274666 454 3531417689591526157112159469014 455 3833732864513452295445517663362 456 4191861286752268050732575575554 457 4549989708991083806019633487746 458 4974005367531291840200460632886 459 5398021026071499874381287778026 460 5899962557653120104736191656922 461 6401904089234740335091095535818 462 6995774778353309934240621634982 463 7589645467471879533390147734146 464 8292166615600210665300405396354 465 8994687763728541797210663058562 466 9825298689316721617193325482854 467 10655909614904901437175987907146 468 11637805038097348007663492732506 469 12619700461289794578150997557866 470 13779830503925256868696546863222 471 14939960546560719159242096168578 472 16310457499114828151316607228802 473 17680954451668937143391118289026 474 19299132773254205830383223574934 475 20917311094839474517375328860842 476 22827627198993770172058695195546 477 24737943303148065826742061530250 478 26991995557834610001275390089158 479 29246047812521154175808718648066 480 31905265332216101543902041470722 481 34564482851911048911995364293378 482 37700125497603487268910044283462 483 40835768143295925625824724273546 484 44532610879826600549772385400474 485 48229453616357275473720046527402 486 52585786512418590325862573826326 487 56942119408479905178005101125250 488 62074790424533104298011365424770 489 67207461440586303418017629724290 490 73251876428861472124063487646454 491 79296291417136640830109345568618 492 86413307760917678215556681715034 493 93530324104698715601004017861450 494 101906250718323334534400744813286 495 110282177331947953467797471765122 496 120138187958649186510819828518018 497 129994198585350419553842185270914 498 141586331797256618961294737234982 499 153178465009162818368747289199050 500 166810462770071894421712087461594 501 180442460530980970474676885724138 502 196465768196360391480513467049654 503 212489075861739812486350048375170 504 231320333272505900629729670859010 505 250151590683271988773109293342850 506 272272632165789920116014936411222 507 294393673648307851458920579479594 508 320375329873173756970216722941978 509 346356986098039662481512866404362 510 376859084080080628036945490453510 511 407361182062121593592378114502658 512 443164900123238096632288165507074 513 478968618184354599672198216511490 514 520976485953520509201521607015430 515 562984353722686418730844997519370 516 612264183613008504556268787767322 517 661544013503330590381692578015274 518 719328900712048523111654975951958 519 777113787920766455841617373888642 520 844861698132004186189712558807298 521 912609608343241916537807743725954 522 992003377728007675322785866268342 523 1071397147112773434107763988810730 524 1164425215764594124000396274712282 525 1257453284416414813893028560613834 526 1366409696351336009416107310703654 527 1475366108286257204939186060793474 528 1602959782622326984156379957451906 529 1730553456958396763373573854110338 530 1879908187915665707889427961268966 531 2029262918872934652405282068427594 532 2204065111133250427722837879938394 533 2378867303393566203040393691449194 534 2583365972100573558561189131084534 535 2787864640807580914081984570719874 536 3027070950580660760942117280697986 537 3266277260353740607802249990676098 538 3545964525288010018872377331661078 539 3825651790222279429942504672646058 540 4152624694369916925637325062702746 541 4479597598517554421332145452759434 542 4861692195887799969610398367353414 543 5243786793258045517888651281947394 544 5690233386739171466150225239377666 545 6136679980220297414411799196807938 546 6658103121579608489497731758206918 547 7179526262938919564583664319605898 548 7788433362657830626759801697184666 549 8397340462376741688935939074763434 550 9108121789650777731892936131811734 551 9818903116924813774849933188860034 552 10648489070810948185668854357814146 553 11478075024697082596487775526768258 554 12445936134113737155640094809210998 555 13413797243530391714792414091653738 556 14542827416558679083637425750156890 557 15671857589586966452482437408660042 558 16988374113470690173267255966784358 559 18304890637354413894052074524908674 560 19839819980519351148277838821684098 561 21374749323684288402503603118459522 562 23163627135738190010925476308385190 563 24952504947792091619347349498310858 564 27037066460592840474840873811919834 565 29121627973393589330334398125528810 566 31549808001049200397895494869388086 567 33977988028704811465456591613247362 568 36806052045139335917553935873154562 569 39634116061573860369651280133061762 570 42926660200527385586226300774045142 571 46219204339480910802801321415028522 572 50052008161798578351059994504186138 573 53884811984116245899318667593343754 574 58344838477748251533731516399843462 575 62804864971380257168144365206343170 576 67994075944384840024871542605630978 577 73183286917389422881598720004918786 578 79218642997932865478490008478718854 579 85253999078476308075381296952518922 580 92272557661625762058401687961998106 581 99291116244775216041422078971477290 582 107450031492498702184651772957245142 583 115608946740222188327881466943012994 584 125092275153410843099056153007466498 585 134575603566599497870230839071920002 586 145594303985067573430741694979243574 587 156613004403535648991252550886567146 588 169414014651313386963876870759527898 589 182215024899091124936501190632488650 590 197081261784424756405402384952436390 591 211947498669758387874303579272384130 592 229209953006674501329968938666231170 593 246472407343590614785634298060078210 594 266510143951896156124874993300299366 595 286547880560201697464115688540520522 596 309804140544758533444914541866940506 597 333060400529315369425713395193360490 598 360042601280040287667224880313153910 599 387024802030765205908736365432947330 600 418325956046913721722750182028389762 601 449627110063062237536763998623832194 602 485925824953228593927705072352300182 603 522224539843394950318646146080768170 604 564313483319331413179251464803005850 605 606402426795267876039856783525243530 606 655188326671884734151175397305362630 607 703974226548501592262494011085481730 608 760515668056437237899012475067745538 609 817057109564372883535530939050009346 610 882564535349993812465173313458832710 611 948071961135614741394815687867656074 612 1023957816009797627282994527197603994 613 1099843670883980513171173366527551914 614 1187722401822112207580789719543339542 615 1275601132760243901990406072559127170 616 1377355659709129482679211362319456386 617 1479110186658015063368016652079785602 618 1596891902535877834288612675937345014 619 1714673618413740605209208699794904426 620 1850990424730479731933744061525808986 621 1987307231047218858658279423256713546 622 2145023537904409368378449533060504550 623 2302739844761599878098619642864295554 624 2485193072818032112379323439017389698 625 2667646300874464346660027235170483842 626 2878646881346143961439367184026173222 627 3089647461817823576218707132881862602 628 3333632877755374765281031660508604634 629 3577618293692925954343356188135346666 630 3859653079981591449319259680316764086 631 4141687866270256944295163172498181506 632 4467667123738047283568376575818492674 633 4793646381205837622841589979138803842 634 5170295776623531151548980800982822742 635 5546945172041224680256371622826841642 636 5982089588709805550716459305398618650 637 6417234005378386421176546987970395658 638 6919797543129044592889502908293217542 639 7422361080879702764602458828616039426 640 8002721412768273460946982188649206786 641 8583081744656844157291505548682374146 642 9253070116963807865524823375321201414 643 9923058489270771573758141201960028682 644 10696426742031236885908952522382409242 645 11469794994791702198059763842804789802 646 12362215561795405810928239684471195990 647 13254636128799109423796715526137602178 648 14284317068192797298430893401482649346 649 15313998007586485173065071276827696514 650 16501683001873912534760855183260143030 651 17689367996161339896456639089692589546 652 19059145646316527095700092154476473562 653 20428923296471714294943545219260357578 654 22008227121938946807410889699514997030 655 23587530947406179319878234179769636482 656 25408203497612875974883246826366521986 657 27228876047819572629888259472963407490 658 29327168902176285610382271530526202342 659 31425461756532998590876283588088997194 660 33843433575488864205884630335472671578 661 36261405394444729820892977082856345962 662 39046921919487468505514997833147176950 663 41832438444530207190137018583438007938 664 45041007918559892004086804467041582210 665 48249577392589576818036590350645156482 666 51944350559918633445642984315286370326 667 55639123727247690073249378279927584170 668 59893301571654576998932659019515272346 669 64147479416061463924615939759102960522 670 69044313160790672432887821713729896262 671 73941146905519880941159703668356832002 672 79577094216220468391550694185488476418 673 85213041526921055841941684702620120834 674 91697766511646645669001084037094622918 675 98182491496372235496060483371569125002 676 105642998869014576120780560812833647002 677 113103506241656916745500638254098169002 678 121684141321945881575316632126208886422 679 130264776402234846405132625998319603842 680 140132636365470598427958742066919747970 681 150000496328706350450784858135519892098 682 161345430205759342235014269607839750006 683 172690364082812334019243681080159607914 684 185732050266165534691806798587194334298 685 198773736449518735364369916094229060682 686 213761682693267630610734387690738677862 687 228749628937016525857098859287248295042 688 245972422643973925325356503925070461314 689 263195216350931324793614148562892627586 690 282980524572627362094480956090942637222 691 302765832794323399395347763618992646858 692 325492483385718399539256231159756700122 693 348219133977113399683164698700520753386 694 374317115596597879080263830650055956534 695 400415097216082358477362962599591159682 696 430381326682894290725844822493495213058 697 460347556149706222974326682387399266434 698 494745878443931038860426392900810464470 699 529144200738155854746526103414221662506 700 568625952310959197481752545958458091290 701 608107703883762540216978988502694520074 702 653411712657390265438114803225254057350 703 698715721431017990659250617947813594626 704 750695106452642293357609116376232659458 705 802674491474266596055967614804651724290 706 862296662915986010577392779846505277062 707 921918834357705425098817944888358829834 708 990300395830369179817374735274518416666 709 1058681957303032934535931525660678003498 710 1137088705856240951853905875945311756246 711 1215495454409448969171880226229945508994 712 1305387804594555349697966209245807034882 713 1395280154779661730224052192261668560770 714 1498313138649774752773352019120096942390 715 1601346122519887775322651845978525324010 716 1719428465713747419199989007899219679194 717 1837510808907607063077326169819914034378 718 1972804930649585008077245438130933516198 719 2108099052391562953077164706441952998018 720 2263097845596904811282843292516714977154 721 2418096638802246669488521878591476956290 722 2595623470077071985271769433848757021030 723 2773150301351897301055016989106037085770 724 2976458731532038477416744895908760164954 725 3179767161712179653778472802711483244138 726 3412540945863181952348694174366723607158 727 3645314730014184250918915546021963970178 728 3911797247820169688494304238229077221250 729 4178279765626155126069692930436190472322 730 4483274021389822474613583541286813550486 731 4788268277153489823157474152137436628650 732 5137304776957592446042135468904233471898 733 5486341276761695068926796785671030315146 734 5885678028469040920933431784807691860422 735 6285014780176386772940066783944353405698 736 6741854897509618891327517572480743041794 737 7198695014842851009714968361017132677890 738 7721186717384447514219716176559286245446 739 8243678419926044018724463992101439813002 740 8841196904417103418493051832644240935578 741 9438715388908162818261639673187042058154 742 10121862829248404011850672297114222142230 743 10805010269588645205439704921041402226306 744 11585980704309289842313179703472121610882 745 12366951139029934479186654485902840995458 746 13259530471293706959715961418691688952054 747 14152109803557479440245268351480536908650 748 15172147842481908211331717637968613511514 749 16192185881406336982418166924456690114378 750 17357596342063754537492988979471606240486 751 18523006802721172092567811034486522366594 752 19854377586609260604006374486231411142786 753 21185748370497349115444937937976299918978 754 22706341565539140434566749628029816721958 755 24226934760580931753688561318083333524938 756 25963475131391634507034894272791116690138 757 27700015502202337260381227227498899855338 758 29682690490089336849715120657973570676918 759 31665365477976336439049014088448241498498 760 33928843313043086220530610474287355739394 761 36192321148109836002012206860126469980290 762 38775750849255857286198751949412517872214 763 41359180550401878570385297038698565764138 764 44307505687043603329116751404215582891034 765 47255830823685328087848205769732600017930 766 50619789515756098954247244808966167315974 767 53983748207826869820646283848199734614018 768 57821567361831839580315101211492448798722 769 61659386515836809339983918574785162983426 770 66036781824852940931004226165336636549638 771 70414177133869072522024533755888110115850 772 75406536597637285017059311475508737029146 773 80398896061405497512094089195129363942442 774 86091279986330666118387584944240319639126 775 91783663911255834724681080693351275335810 776 98273617333121125872054464242456135161090 777 104763570754986417019427847791560994986370 778 112161123438953288360279210781245734194358 779 119558676122920159701130573770930473402346 780 127989962776074050106308896505163186055898 781 136421249429227940511487219239395898709450 782 146028509700578270070292370685526797680166 783 155635769971928599629097522131657696650882 784 166582005722226710855401897779392473491586 785 177528241472524822081706273427127250332290 786 189997216774263979913954795288527075277030 787 202466192076003137746203317149926900221770 788 216668420951653893114715799269594892994906 789 230870649827304648483228281389262885768042 790 247043396249314838310199429844344115584246 791 263216142671325028137170578299425345400450 792 281631114376579866360740911334170962541186 793 300046086081834704584311244368916579681922 794 321009434571656782158567092394683815495446 795 341972783061478859732822940420451051308970 796 365834983639225575992881912933338304422554 797 389697184216972292252940885446225557536138 798 416853035988035854914951871027072393856070 799 444008887759099417576962856607919230176002 800 474910193843469708200256655148116830479106 801 505811499927839998823550453688314430782210 802 540967067460104572810639776389805590715846 803 576122634992369146797729099091296750649482 804 616114539455162279903669138455938282825626 805 656106443917955413009609177820579815001770 806 701590029141958101341997607650142548997014 807 747073614365960789674386037479705282992258 808 798798342264097603783869155747300980381570 809 850523070162234417893352274014896677770882 810 909332520729673502773625002864978032127606 811 968141971297112587653897731715059386484330 812 1035000554850532110988185720900426459468378 813 1101859138403951634322473710085793532452426 814 1177852095581539786483533336967593753810278 815 1253845052759127938644592963849393975168130 816 1340212658605496573700064121515281381666690 817 1426580264451865208755535279181168788165250 818 1524717828418049844467941376445304023591846 819 1622855392384234480180347473709439259018442 820 1734357030168160565919513246291678335061978 821 1845858667952086651658679018873917411105514 822 1972517301498569568401730529399811707356470 823 2099175935045052485144782039925706003607426 824 2243039277697223771050897246414920363088386 825 2386902620349395056957012452904134722569346 826 2550273176848702407367421208770447451734998 827 2713643733348009757777829964636760180900650 828 2899150365316788534421550759978027535066394 829 3084656997285567311065271555319294889232138 830 3295254923227040542059111516917451072574086 831 3505852849168513773052951478515607255916034 832 3744915076589990559191283245985244615721474 833 3983977304011467345329615013454881975526914 834 4255294629424342860084376739243251002194310 835 4526611954837218374839138465031620028861706 836 4834509711949337554606822779313122734882586 837 5142407469061456734374507093594625440903466 838 5491745528777114278476161104270815360862422 839 5841083588492771822577815114947005280821378 840 6237405353037141107520186240206417399141378 841 6633727117581510392462557365465829517461378 842 7083259520500643471938093333783980268403766 843 7532791923419776551413629302102131019346154 844 8042635470735208861408090677556553584636378 845 8552479018050641171402552053010976149926602 846 9130607788259391530195012235281220458754214 847 9708736558468141888987472417551464767581826 848 10364240471008102699724089781981125258056066 849 11019744383548063510460707146410785748530306 850 11762829198798000761154725044007501367680102 851 12505914014047938011848742941604216986829898 852 13348210013660503774259941353067022845203546 853 14190506013273069536671139764529828703577194 854 15145068000174801966305835300249156075242358 855 16099629987076534395940530835968483446907522 856 17181330377975690347831570445898526774110594 857 18263030768874846299722610055828570101313666 858 19488559594261401328429371029487286994479766 859 20714088419647956357136132003146003887645866 860 22102453642388356198413850370418554286555546 861 23490818865128756039691568737691104685465226 862 25063346380465916610491339268829850859254470 863 26635873895803077181291109799968597033043714 864 28416843997365193261653187388235264387432706 865 30197814098927309342015264976501931741821698 866 32214461478727854575069064638167608819114822 867 34231108858528399808122864299833285896407946 868 36514431838896907909149963160073998346515610 869 38797754819265416010177062020314710796623274 870 41382515352847480766611199313211421377061910 871 43967275886429545523045336606108131957500546 872 46893027928543764822498786221823413146170498 873 49818779970657984121952235837538694334840450 874 53129869479295959952215806322316728330025974 875 56440958987933935782479376807094762325211498 876 60187830094909104872362229103886246257202010 877 63934701201884273962245081400677730189192522 878 68173896212831907781574728849139876120282598 879 72413091223779541600904376297602022051372674 880 77208908800162828002021270397860596245596802 881 82004726376546114403138164498119170439820930 882 87429221535656157620895694910768493362953510 883 92853716694766200838653225323417816286086090 884 98988804780161314761060869392868788422157530 885 105123892865556428683468513462319760558228970 886 112061349547062136851691836216799862409525686 887 118998806228567845019915158971279964260822402 888 126842935787552272549287624442707236535498498 889 134687065346536700078660089914134508810174594 890 143554700675910573658683061138117552422251862 891 152422336005284447238706032362100596034329130 892 162446220839664103775862078909993734907647514 893 172470105674043760313018125457886873780965898 894 183798894589751146930771023436790154849183494 895 195127683505458533548523921415693435917401090 896 207930227030375401247741269670263059307027458 897 220732770555292268946958617924832682696653826 898 235198115168860172605911838037281001727049990 899 249663459782428076264865058149729320757446154 900 266006274192134505528282159059066527891046938 901 282349088601840934791699259968403735024647722 902 300809663743219314070764837970437861866961750 903 319270238884597693349830415972471988709275778 904 340121355955226172590096873161111869081182978 905 360972473025854651830363330349751749453090178 906 384519403485356106511750874617007019390841782 907 408066333944857561193138418884262289328593386 908 434655528057452175423291334730712893174825178 909 461244722170046789653444250577163497021056970 910 491263809004552056167730899111959687424789286 911 521282895839057322682017547646755877828521602 912 555171669648178212981463280019309986825586306 913 589060443457299103280909012391864095822651010 914 627310863677628067632196169791850534835691494 915 665561283897957031983483327191836973848731978 916 708731360249072279188359948498541659291430746 917 751901436600187526393236569805246344734129514 918 800615229084653023788516391587566698011208182 919 849329021569118521183796213369887051288286850 920 904294180856046225640369914913958395975233666 921 959259340142973930096943616458029740662180482 922 1021267107568023788019778819767225302505250326 923 1083274874993073645942614023076420864348320170 924 1153222229748374052800420900802237693006389402 925 1223169584503674459658227778528054521664458634 926 1302059243637822259983459053970113490709025094 927 1380948902771970060308690329412172459753591554 928 1469917272127329187585715338453003697062067458 929 1558885641482688314862740347493834934370543362 930 1659202815695389791527845038598877822126255302 931 1759519989908091268192949729703920709881967242 932 1872625011100977013191732412158915320728776090 933 1985730032293862758190515094613909931575584938 934 2113230890076485586977886438524897028617885846 935 2240731747859108415765257782435884125660186754 936 2384449835973086414711931916126881543731299714 937 2528167924087064413658606049817878961802412674 938 2690138040406080940051100559830881607464582518 939 2852108156725097466443595069843884253126752362 940 3034634530832311292605397244012879589174366298 941 3217160904939525118767199418181874925221980234 942 3422817198127570432058766245632842970681567846 943 3628473491315615745350333073083811016141155458 944 3860173374699553179588298473735752359044742530 945 4091873258083490613826263874387693701948329602 946 4352870412600807249283438698952629499333438118 947 4613867567118123884740613523517565296718546634 948 4907844549492089029411999772466955827386469850 949 5201821531866054174083386021416346358054393066 950 5532889774605719363686176844981091022570195510 951 5863958017345384553288967668545835687085997954 952 6236769671087840233155105298485372309444796418 953 6609581324830295913021242928424908931803594882 954 7029329258340671438097418678027213759430558422 955 7449077191851046963173594427629518587057521962 956 7921635686402764875834584777888418648805968666 957 8394194180954482788495575128147318710554415370 958 8926118930329258818544241727762491816705812358 959 9458043679704034848592908327377664922857209346 960 10056748701233137980905699990390087403480090114 961 10655453722762241113218491653402509884102970882 962 11329211357326493587745444359194456589052935302 963 12002968991890746062272397064986403294002899722 964 12761132252959362575965127136252308987193065754 965 13519295514027979089657857207518214680383231786 966 14372298087658566796469561310264674039784235478 967 15225300661289154503281265413011133399185239170 968 16184936241234364745436950252560136894156248578 969 17144571821179574987592635092109140389127257986 970 18223994108887103295589117413098074280415973174 971 19303416396594631603585599734087008171704688362 972 20517489869476111550692318858622595515822955482 973 21731563342357591497799037983158182859941222602 974 23096863253788594700058055810816483509165033894 975 24462163165219597902317073638474784158388845186 976 25997415822794810149573675120088030837897472898 977 27532668480370022396830276601701277517406100610 978 29258751245903243652732969739357875825282096998 979 30984834011436464908635662877014474133158093386 980 32925327684876011003851965644608074642306793050 981 34865821358315557099068268412201675151455492714 982 37047010177744259731284708755431173409605012598 983 39228198997172962363501149098660671667754532482 984 41679763377012535249779464306357293507067691906 985 44131327756852108136057779514053915346380851330 986 46886344287863147012834916218181216883455171990 987 49641360818874185889612052922308518420529492650 988 52737170641322526017393765919164976732140282778 989 55832980463770866145175478916021435043751072906 990 59311189267427582308536331166240448166851427270 991 62789398071084298471897183416459461289951781634 992 66696964173417534888738248429563843295288139522 993 70604530275750771305579313442668225300624497410 994 74993764621925741627128175277070206292736642630 995 79382998968100711948677037111472187284848787850 996 84312927909253776725199996286634223829521989274 997 89242856850406841501722955461796260374195190698 998 94779222143645508182525028958231035498460202262 999 100315587436884174863327102454665810622725213826 1000 106532552362402008302978804877524513039570691714