# Computed using the Mathematica program that I contributed to this sequence 1 9 2 12 3 15 4 18 5 23 6 29 7 36 8 45 9 56 10 70 11 88 12 110 13 137 14 171 15 214 16 268 17 335 18 418 19 523 20 654 21 817 22 1021 23 1277 24 1596 25 1995 26 2494 27 3117 28 3896 29 4870 30 6088 31 7610 32 9512 33 11890 34 14863 35 18579 36 23223 37 29029 38 36286 39 45358 40 56697 41 70872 42 88590 43 110737 44 138421 45 173027 46 216283 47 270354 48 337943 49 422428 50 528035 51 660044 52 825055 53 1031319 54 1289149 55 1611436 56 2014295 57 2517869 58 3147336 59 3934170 60 4917712 61 6147140 62 7683925 63 9604907 64 12006133 65 15007667 66 18759583 67 23449479 68 29311849 69 36639811 70 45799764 71 57249705 72 71562131 73 89452664 74 111815830 75 139769787 76 174712234 77 218390293 78 272987866 79 341234832 80 426543540 81 533179425 82 666474282 83 833092852 84 1041366065 85 1301707581 86 1627134477 87 2033918096 88 2542397620 89 3177997025 90 3972496281 91 4965620351 92 6207025439 93 7758781799 94 9698477249 95 12123096561 96 15153870701 97 18942338376 98 23677922970 99 29597403713 100 36996754641 101 46245943301 102 57807429127 103 72259286408 104 90324108010 105 112905135013 106 141131418766 107 176414273458 108 220517841822 109 275647302278 110 344559127847 111 430698909809 112 538373637261 113 672967046576 114 841208808220 115 1051511010275 116 1314388762844 117 1642985953555 118 2053732441944 119 2567165552430 120 3208956940537 121 4011196175672 122 5013995219590 123 6267494024487 124 7834367530609 125 9792959413261 126 12241199266576 127 15301499083220 128 19126873854025 129 23908592317532 130 29885740396915 131 37357175496143 132 46696469370179 133 58370586712724 134 72963233390905 135 91204041738631 136 114005052173289 137 142506315216611 138 178132894020764 139 222666117525955 140 278332646907444 141 347915808634305 142 434894760792881 143 543618450991101 144 679523063738876 145 849403829673595 146 1061754787091994 147 1327193483864993 148 1658991854831241 149 2073739818539051 150 2592174773173814 151 3240218466467267 152 4050273083084084 153 5062841353855105 154 6328551692318881 155 7910689615398602 156 9888362019248252 157 12360452524060315 158 15450565655075394 159 19313207068844242 160 24141508836055303 161 30176886045069129 162 37721107556336411 163 47151384445420514 164 58939230556775642 165 73674038195969553 166 92092547744961941 167 115115684681202426 168 143894605851503033 169 179868257314378791 170 224835321642973489 171 281044152053716861 172 351305190067146076 173 439131487583932595 174 548914359479915744 175 686142949349894680 176 857678686687368350 177 1072098358359210437 178 1340122947949013047 179 1675153684936266308 180 2093942106170332885 181 2617427632712916107 182 3271784540891145133 183 4089730676113931417 184 5112163345142414271 185 6390204181428017839 186 7987755226785022298 187 9984694033481277873 188 12480867541851597341 189 15601084427314496676 190 19501355534143120845 191 24376694417678901057 192 30470868022098626321 193 38088585027623282901 194 47610731284529103626 195 59513414105661379533 196 74391767632076724416 197 92989709540095905520 198 116237136925119881900 199 145296421156399852375 200 181620526445499815469 201 227025658056874769336 202 283782072571093461670 203 354727590713866827088 204 443409488392333533860 205 554261860490416917325 206 692827325613021146656 207 866034157016276433320 208 1082542696270345541650 209 1353178370337931927062 210 1691472962922414908828 211 2114341203653018636035 212 2642926504566273295044 213 3303658130707841618805 214 4129572663384802023506 215 5161965829231002529382 216 6452457286538753161728 217 8065571608173441452160 218 10081964510216801815200 219 12602455637771002269000 220 15753069547213752836250 221 19691336934017191045312 222 24614171167521488806640 223 30767713959401861008300 224 38459642449252326260375 225 48074553061565407825469 226 60093191326956759781836 227 75116489158695949727295 228 93895611448369937159119 229 117369514310462421448899 230 146711892888078026811124 231 183389866110097533513905 232 229237332637621916892381 233 286546665797027396115476 234 358183332246284245144345 235 447729165307855306430431 236 559661456634819133038039 237 699576820793523916297549 238 874471025991904895371936 239 1093088782489881119214920 240 1366360978112351399018650 241 1707951222640439248773313 242 2134939028300549060966641 243 2668673785375686326208301 244 3335842231719607907760376 245 4169802789649509884700470 246 5212253487061887355875588 247 6515316858827359194844485 248 8144146073534198993555606 249 10180182591917748741944508 250 12725228239897185927430635 251 15906535299871482409288293 252 19883169124839353011610367 253 24853961406049191264512958 254 31067451757561489080641198 255 38834314696951861350801497 256 48542893371189826688501872 257 60678616713987283360627340 258 75848270892484104200784175 259 94810338615605130250980218 260 118512923269506412813725273 261 148141154086883016017156591 262 185176442608603770021445739 263 231470553260754712526807174 264 289338191575943390658508967 265 361672739469929238323136209 266 452090924337411547903920261 267 565113655421764434879900326 268 706392069277205543599875408 269 882990086596506929499844260 270 1103737608245633661874805325 271 1379672010307042077343506656 272 1724590012883802596679383320 273 2155737516104753245849229150 274 2694671895130941557311536438 275 3368339868913676946639420547 276 4210424836142096183299275684 277 5263031045177620229124094605 278 6578788806472025286405118256 279 8223486008090031608006397820 280 10279357510112539510007997275 281 12849196887640674387509996594 282 16061496109550842984387495742 283 20076870136938553730484369678 284 25096087671173192163105462097 285 31370109588966490203881827622 286 39212636986208112754852284527 287 49015796232760140943565355659 288 61269745290950176179456694574 289 76587181613687720224320868217 290 95733977017109650280401085271 291 119667471271387062850501356589 292 149584339089233828563126695736 293 186980423861542285703908369670 294 233725529826927857129885462088 295 292156912283659821412356827610 296 365196140354574776765446034512 297 456495175443218470956807543140 298 570618969304023088696009428925 299 713273711630028860870011786157 300 891592139537536076087514732696 301 1114490174421920095109393415870 302 1393112718027400118886741769837 303 1741390897534250148608427212297 304 2176738621917812685760534015371 305 2720923277397265857200667519214 306 3401154096746582321500834399017 307 4251442620933227901876042998771 308 5314303276166534877345053748464 309 6642879095208168596681317185580 310 8303598869010210745851646481975 311 10379498586262763432314558102469 312 12974373232828454290393197628086 313 16217966541035567862991497035108 314 20272458176294459828739371293885 315 25340572720368074785924214117356 316 31675715900460093482405267646695 317 39594644875575116853006584558369 318 49493306094468896066258230697961 319 61866632618086120082822788372451 320 77333290772607650103528485465564 321 96666613465759562629410606831955 322 120833266832199453286763258539944 323 151041583540249316608454073174930 324 188801979425311645760567591468662 325 236002474281639557200709489335828 326 295003092852049446500886861669785 327 368753866065061808126108577087231 328 460942332581327260157635721359039 329 576177915726659075197044651698798 330 720222394658323843996305814623498 331 900277993322904804995382268279372 332 1125347491653631006244227835349215 333 1406684364567038757805284794186519 334 1758355455708798447256605992733149 335 2197944319635998059070757490916436 336 2747430399544997573838446863645545 337 3434287999431246967298058579556931 338 4292859999289058709122573224446164 339 5366074999111323386403216530557705 340 6707593748889154233004020663197131 341 8384492186111442791255025828996414 342 10480615232639303489068782286245518 343 13100769040799129361335977857806897 344 16375961300998911701669972322258621 345 20469951626248639627087465402823277 346 25587439532810799533859331753529096 347 31984299416013499417324164691911370 348 39980374270016874271655205864889212 349 49975467837521092839569007331111515 350 62469334796901366049461259163889394 351 78086668496126707561826573954861743 352 97608335620158384452283217443577178 353 122010419525197980565354021804471473 354 152513024406497475706692527255589341 355 190641280508121844633365659069486676 356 238301600635152305791707073836858345 357 297877000793940382239633842296072932 358 372346250992425477799542302870091165 359 465432813740531847249427878587613956 360 581791017175664809061784848234517445 361 727238771469581011327231060293146806 362 909048464336976264159038825366433508 363 1136310580421220330198798531708041885 364 1420388225526525412748498164635052356 365 1775485281908156765935622705793815445 366 2219356602385195957419528382242269306 367 2774195752981494946774410477802836633 368 3467744691226868683468013097253545791 369 4334680864033585854335016371566932239 370 5418351080041982317918770464458665298 371 6772938850052477897398463080573331623 372 8466173562565597371748078850716664529 373 10582716953206996714685098563395830661 374 13228396191508745893356373204244788326 375 16535495239385932366695466505305985408 376 20669369049232415458369333131632481760 377 25836711311540519322961666414540602200 378 32295889139425649153702083018175752750 379 40369861424282061442127603772719690937 380 50462326780352576802659504715899613671 381 63077908475440721003324380894874517089 382 78847385594300901254155476118593146361 383 98559231992876126567694345148241432952 384 123199039991095158209617931435301791190 385 153998799988868947762022414294127238987 386 192498499986086184702528017867659048734 387 240623124982607730878160022334573810917 388 300778906228259663597700027918217263647 389 375973632785324579497125034897771579558 390 469967040981655724371406293622214474448 391 587458801227069655464257867027768093060 392 734323501533837069330322333784710116325 393 917904376917296336662902917230887645406 394 1147380471146620420828628646538609556758 395 1434225588933275526035785808173261945947 396 1792781986166594407544732260216577432434 397 2240977482708243009430915325270721790542 398 2801221853385303761788644156588402238178 399 3501527316731629702235805195735502797722 400 4376909145914537127794756494669378497153 401 5471136432393171409743445618336723121441 402 6838920540491464262179307022920903901801 403 8548650675614330327724133778651129877252 404 10685813344517912909655167223313912346565 405 13357266680647391137068959029142390433206 406 16696583350809238921336198786427988041507 407 20870729188511548651670248483034985051884 408 26088411485639435814587810603793731314855 409 32610514357049294768234763254742164143569 410 40763142946311618460293454068427705179461 411 50953928682889523075366817585534631474326 412 63692410853611903844208521981918289342908 413 79615513567014879805260652477397861678635 414 99519391958768599756575815596747327098294 415 124399239948460749695719769495934158872867 416 155499049935575937119649711869917698591084 417 194373812419469921399562139837397123238855 418 242967265524337401749452674796746404048569 419 303709081905421752186815843495933005060711 420 379636352381777190233519804369916256325889 421 474545440477221487791899755462395320407361 422 593181800596526859739874694327994150509201 423 741477250745658574674843367909992688136501 424 926846563432073218343554209887490860170627 425 1158558204290091522929442762359363575213283 426 1448197755362614403661803452949204469016604 427 1810247194203268004577254316186505586270755 428 2262808992754085005721567895233131982838444 429 2828511240942606257151959869041414978548055 430 3535639051178257821439949836301768723185069 431 4419548813972822276799937295377210903981336 432 5524436017466027845999921619221513629976670 433 6905545021832534807499902024026892037470837 434 8631931277290668509374877530033615046838547 435 10789914096613335636718596912542018808548183 436 13487392620766669545898246140677523510685229 437 16859240775958336932372807675846904388356536 438 21074050969947921165466009594808630485445670 439 26342563712434901456832511993510788106807088 440 32928204640543626821040639991888485133508860 441 41160255800679533526300799989860606416886075 442 51450319750849416907875999987325758021107594 443 64312899688561771134844999984157197526384492 444 80391124610702213918556249980196496907980615 445 100488905763377767398195312475245621134975769 446 125611132204222209247744140594057026418719711 447 157013915255277761559680175742571283023399639 448 196267394069097201949600219678214103779249549 449 245334242586371502437000274597767629724061936 450 306667803232964378046250343247209537155077420 451 383334754041205472557812929059011921443846775 452 479168442551506840697266161323764901804808469 453 598960553189383550871582701654706127256010586 454 748700691486729438589478377068382659070013232 455 935875864358411798236847971335478323837516540 456 1169844830448014747796059964169347904796895675 457 1462306038060018434745074955211684880996119594 458 1827882547575023043431343694014606101245149493 459 2284853184468778804289179617518257626556436866 460 2856066480585973505361474521897822033195546082 461 3570083100732466881701843152372277541494432603 462 4462603875915583602127303940465346926868040754 463 5578254844894479502659129925581683658585050942 464 6972818556118099378323912406977104573231313678 465 8716023195147624222904890508721380716539142097 466 10895028993934530278631113135901725895673927621 467 13618786242418162848288891419877157369592409527 468 17023482803022703560361114274846446711990511908 469 21279353503778379450451392843558058389988139885 470 26599191879722974313064241054447572987485174857 471 33248989849653717891330301318059466234356468571 472 41561237312067147364162876647574332792945585714 473 51951546640083934205203595809467915991181982142 474 64939433300104917756504494761834894988977477678 475 81174291625131147195630618452293618736221847097 476 101467864531413933994538273065367023420277308871 477 126834830664267417493172841331708779275346636089 478 158543538330334271866466051664635974094183295111 479 198179422912917839833082564580794967617729118889 480 247724278641147299791353205725993709522161398611 481 309655348301434124739191507157492136902701748264 482 387069185376792655923989383946865171128377185330 483 483836481720990819904986729933581463910471481663 484 604795602151238524881233412416976829888089352078 485 755994502689048156101541765521221037360111690098 486 944993128361310195126927206901526296700139612622 487 1181241410451637743908659008626907870875174515778 488 1476551763064547179885823760783634838593968144722 489 1845689703830683974857279700979543548242460180903 490 2307112129788354968571599626224429435303075226129 491 2883890162235443710714499532780536794128844032661 492 3604862702794304638393124415975670992661055040826 493 4506078378492880797991405519969588740826318801033 494 5632597973116100997489256899961985926032898501291 495 7040747466395126246861571124952482407541123126614 496 8800934332993907808576963906190603009426403908267 497 11001167916242384760721204882738253761783004885334 498 13751459895302980950901506103422817202228756106667 499 17189324869128726188626882629278521502785945133334 500 21486656086410907735783603286598151878482431416668 501 26858320108013634669729504108247689848103039270835 502 33572900135017043337161880135309612310128799088543 503 41966125168771304171452350169137015387660998860679 504 52457656460964130214315437711421269234576248575849 505 65572070576205162767894297139276586543220310719811 506 81965088220256453459867871424095733179025388399764 507 102456360275320566824834839280119666473781735499705 508 128070450344150708531043549100149583092227169374631 509 160088062930188385663804436375186978865283961718289 510 200110078662735482079755545468983723581604952147861 511 250137598328419352599694431836229654477006190184826 512 312671997910524190749618039795287068096257737731033 513 390839997388155238437022549744108835120322172163791 514 488549996735194048046278187180136043900402715204739 515 610687495918992560057847733975170054875503394005924 516 763359369898740700072309667468962568594379242507405 517 954199212373425875090387084336203210742974053134256 518 1192749015466782343862983855420254013428717566417820 519 1490936269333477929828729819275317516785896958022275 520 1863670336666847412285912274094146895982371197527844 521 2329587920833559265357390342617683619977963996909805 522 2911984901041949081696737928272104524972454996137256 523 3639981126302436352120922410340130656215568745171570 524 4549976407878045440151153012925163320269460931464462 525 5687470509847556800188941266156454150336826164330578 526 7109338137309446000236176582695567687921032705413222 527 8886672671636807500295220728369459609901290881766528 528 11108340839546009375369025910461824512376613602208160 529 13885426049432511719211282388077280640470767002760200 530 17356782561790639649014102985096600800588458753450250 531 21695978202238299561267628731370751000735573441812812 532 27119972752797874451584535914213438750919466802266015 533 33899965940997343064480669892766798438649333502832519 534 42374957426246678830600837365958498048311666878540649 535 52968696782808348538251046707448122560389583598175811 536 66210870978510435672813808384310153200486979497719764 537 82763588723138044591017260480387691500608724372149705 538 103454485903922555738771575600484614375760905465187131 539 129318107379903194673464469500605767969701131831483914 540 161647634224878993341830586875757209962126414789354892 541 202059542781098741677288233594696512452658018486693615 542 252574428476373427096610291993370640565822523108367019 543 315718035595466783870762864991713300707278153885458774 544 394647544494333479838453581239641625884097692356823467 545 493309430617916849798066976549552032355122115446029334 546 616636788272396062247583720686940040443902644307536668 547 770795985340495077809479650858675050554878305384420835 548 963494981675618847261849563573343813193597881730526043 549 1204368727094523559077311954466679766491997352163157554 550 1505460908868154448846639943083349708114996690203946943 551 1881826136085193061058299928854187135143745862754933678 552 2352282670106491326322874911067733918929682328443667098 553 2940353337633114157903593638834667398662102910554583872 554 3675441672041392697379492048543334248327628638193229840 555 4594302090051740871724365060679167810409535797741537300 556 5742877612564676089655456325848959763011919747176921625 557 7178597015705845112069320407311199703764899683971152032 558 8973246269632306390086650509138999629706124604963940040 559 11216557837040382987608313136423749537132655756204925050 560 14020697296300478734510391420529686921415819695256156312 561 17525871620375598418137989275662108651769774619070195390 562 21907339525469498022672486594577635814712218273837744238 563 27384174406836872528340608243222044768390272842297180297 564 34230218008546090660425760304027555960487841052871475371 565 42787772510682613325532200380034444950609801316089344214 566 53484715638353266656915250475043056188262251645111680268 567 66855894547941583321144063093803820235327814556389600335 568 83569868184926979151430078867254775294159768195487000418 569 104462335231158723939287598584068469117699710244358750523 570 130577919038948404924109498230085586397124637805448438154 571 163222398798685506155136872787606982996405797256810547692 572 204027998498356882693921090984508728745507246571013184615 573 255034998122946103367401363730635910931884058213766480769 574 318793747653682629209251704663294888664855072767208100961 575 398492184567103286511564630829118610831068840959010126201 576 498115230708879108139455788536398263538836051198762657752 577 622644038386098885174319735670497829423545063998453322190 578 778305047982623606467899669588122286779431329998066652737 579 972881309978279508084874586985152858474289162497583315921 580 1216101637472849385106093233731441073092861453121979144902 581 1520127046841061731382616542164301341366076816402473931127 582 1900158808551327164228270677705376676707596020503092413909 583 2375198510689158955285338347131720845884495025628865517386 584 2968998138361448694106672933914651057355618782036081896733 585 3711247672951810867633341167393313821694523477545102370916 586 4639059591189763584541676459241642277118154346931377963645 587 5798824488987204480677095574052052846397692933664222454556 588 7248530611234005600846369467565066057997116167080278068195 589 9060663264042507001057961834456332572496395208850347585244 590 11325829080053133751322452293070415715620494011062934481555 591 14157286350066417189153065366338019644525617513828668101944 592 17696607937583021486441331707922524555657021892285835127430 593 22120759921978776858051664634903155694571277365357293909287 594 27650949902473471072564580793628944618214096706696617386609 595 34563687378091838840705725992036180772767620883370771733261 596 43204609222614798550882157490045225965959526104213464666576 597 54005761528268498188602696862556532457449407630266830833220 598 67507201910335622735753371078195665571811759537833538541525 599 84384002387919528419691713847744581964764699422291923176907 600 105480002984899410524614642309680727455955874277864903971133 601 131850003731124263155768302887100909319944842847331129963917 602 164812504663905328944710378608876136649931053559163912454896 603 206015630829881661180887973261095170812413816948954890568620 604 257519538537352076476109966576368963515517271186193613210775 605 321899423171690095595137458220461204394396588982742016513469 606 402374278964612619493921822775576505492995736228427520641836 607 502967848705765774367402278469470631866244670285534400802295 608 628709810882207217959252848086838289832805837856918001002869 609 785887263602759022449066060108547862291007297321147501253586 610 982359079503448778061332575135684827863759121651434376566982 611 1227948849379310972576665718919606034829698902064292970708728 612 1534936061724138715720832148649507543537123627580366213385910 613 1918670077155173394651040185811884429421404534475457766732387 614 2398337596443966743313800232264855536776755668094322208415484 615 2997921995554958429142250290331069420970944585117902760519355 616 3747402494443698036427812862913836776213680731397378450649194 617 4684253118054622545534766078642295970267100914246723063311492 618 5855316397568278181918457598302869962833876142808403829139365 619 7319145496960347727398071997878587453542345178510504786424207 620 9148931871200434659247589997348234316927931473138130983030258 621 11436164839000543324059487496685292896159914341422663728787823 622 14295206048750679155074359370856616120199892926778329660984779 623 17869007560938348943842949213570770150249866158472912076230973 624 22336259451172936179803686516963462687812332698091140095288717 625 27920324313966170224754608146204328359765415872613925119110896 626 34900405392457712780943260182755410449706769840767406398888620 627 43625506740572140976179075228444263062133462300959257998610775 628 54531883425715176220223844035555328827666827876199072498263469 629 68164854282143970275279805044444161034583534845248840622829336 630 85206067852679962844099756305555201293229418556561050778536670 631 106507584815849953555124695381944001616536773195701313473170837 632 133134481019812441943905869227430002020670966494626641841463547 633 166418101274765552429882336534287502525838708118283302301829433 634 208022626593456940537352920667859378157298385147854127877286792 635 260028283241821175671691150834824222696622981434817659846608490 636 325035354052276469589613938543530278370778726793522074808260612 637 406294192565345586987017423179412847963473408491902593510325765 638 507867740706681983733771778974266059954341760614878241887907206 639 634834675883352479667214723717832574942927200768597802359884008 640 793543344854190599584018404647290718678659000960747252949855010 641 991929181067738249480023005809113398348323751200934066187318762 642 1239911476334672811850028757261391747935404689001167582734148453 643 1549889345418341014812535946576739684919255861251459478417685566 644 1937361681772926268515669933220924606149069826564324348022106958 645 2421702102216157835644587416526155757686337283205405435027633697 646 3027127627770197294555734270657694697107921604006756793784542121 647 3783909534712746618194667838322118371384902005008445992230677652 648 4729886918390933272743334797902647964231127506260557490288347065 649 5912358647988666590929168497378309955288909382825696862860433831 650 7390448309985833238661460621722887444111136728532121078575542289 651 9238060387482291548326825777153609305138920910665151348219427861 652 11547575484352864435408532221442011631423651138331439185274284826 653 14434469355441080544260665276802514539279563922914298981592856033 654 18043086694301350680325831596003143174099454903642873726991070041 655 22553858367876688350407289495003928967624318629553592158738837551 656 28192322959845860438009111868754911209530398286941990198423546939 657 35240403699807325547511389835943639011912997858677487748029433674 658 44050504624759156934389237294929548764891247323346859685036792092 659 55063130780948946167986546618661935956114059154183574606295990115 660 68828913476186182709983183273327419945142573942729468257869987644 661 86036141845232728387478979091659274931428217428411835322337484555 662 107545177306540910484348723864574093664285271785514794152921855694 663 134431471633176138105435904830717617080356589731893492691152319617 664 168039339541470172631794881038397021350445737164866865863940399521 665 210049174426837715789743601297996276688057171456083582329925499402 666 262561468033547144737179501622495345860071464320104477912406874252 667 328201835041933930921474377028119182325089330400130597390508592815 668 410252293802417413651842971285148977906361663000163246738135741019 669 512815367253021767064803714106436222382952078750204058422669676274 670 641019209066277208831004642633045277978690098437755073028337095342 671 801274011332846511038755803291306597473362623047193841285421369178 672 1001592514166058138798444754114133246841703278808992301606776711472 673 1251990642707572673498055942642666558552129098511240377008470889340 674 1564988303384465841872569928303333198190161373139050471260588611675 675 1956235379230582302340712410379166497737701716423813089075735764594 676 2445294224038227877925890512973958122172127145529766361344669705742 677 3056617780047784847407363141217447652715158931912207951680837132178 678 3820772225059731059259203926521809565893948664890259939601046415222 679 4775965281324663824074004908152261957367435831112824924501308019028 680 5969956601655829780092506135190327446709294788891031155626635023785 681 7462445752069787225115632668987909308386618486113788944533293779731 682 9328057190087234031394540836234886635483273107642236180666617224664 683 11660071487609042539243176045293608294354091384552795225833271530830 684 14575089359511303174053970056617010367942614230690994032291589413537 685 18218861699389128967567462570771262959928267788363742540364486766922 686 22773577124236411209459328213464078699910334735454678175455608458652 687 28466971405295514011824160266830098374887918419318347719319510573315 688 35583714256619392514780200333537622968609898024147934649149388216644 689 44479642820774240643475250416922028710762372530184918311436735270805 690 55599553525967800804344063021152535888452965662731147889295919088506 691 69499441907459751005430078776440669860566207078413934861619898860633 692 86874302384324688756787598470550837325707758848017418577024873575791 693 108592877980405860945984498088188546657134698560021773221281091969739 694 135741097475507326182480622610235683321418373200027216526601364962173 695 169676371844384157728100778262794604151772966500034020658251706202717 696 212095464805480197160125972828493255189716208125042525822814632753396 697 265119331006850246450157466035616568987145260156303157278518290941745 698 331399163758562808062696832544520711233931575195378946598147863677181 699 414248954698203510078371040680650889042414468994223683247684829596476 700 517811193372754387597963800850813611303018086242779604059606036995595 701 647263991715942984497454751063517014128772607803474505074507546244494 702 809079989644928730621818438829396267660965759754343131343134432805618 703 1011349987056160913277273048536745334576207199692928914178918041007022 704 1264187483820201141596591310670931668220258999616161142723647551258778 705 1580234354775251426995739138338664585275323749520201428404559439073472 706 1975292943469064283744673922923330731594154686900251785505699298841840 707 2469116179336330354680842403654163414492693358625314731882124123552300 708 3086395224170412943351053004567704268115866698281643414852655154440375 709 3857994030213016179188816255709630335144833372852054268565818943050469 710 4822492537766270223986020319637037918931041716065067835707273678813086 711 6028115672207837779982525399546297398663802145081334794634092098516358 712 7535144590259797224978156749432871748329752681351668493292615123145447 713 9418930737824746531222695936791089685412190851689585616615768903931809 714 11773663422280933164028369920988862106765238564611982020769711129914761 715 14717079277851166455035462401236077633456548205764977525962138912393451 716 18396349097313958068794328001545097041820685257206221907452673640491814 717 22995436371642447585992910001931371302275856571507777384315842050614768 718 28744295464553059482491137502414214127844820714384721730394802563268460 719 35930369330691324353113921878017767659806025892980902162993503204085575 720 44912961663364155441392402347522209574757532366226127703741879005106968 721 56141202079205194301740502934402761968446915457782659629677348756383710 722 70176502599006492877175628668003452460558644322228324537096685945479638 723 87720628248758116096469535835004315575698305402785405671370857431849547 724 109650785310947645120586919793755394469622881753481757089213571789811934 725 137063481638684556400733649742194243087028602191852196361516964737264918 726 171329352048355695500917062177742803858785752739815245451896205921581147 727 214161690060444619376146327722178504823482190924769056814870257401976434 728 267702112575555774220182909652723131029352738655961321018587821752470542 729 334627640719444717775228637065903913786690923319951651273234777190588178 730 418284550899305897219035796332379892233363654149939564091543471488235222 731 522855688624132371523794745415474865291704567687424455114429339360294028 732 653569610780165464404743431769343581614630709609280568893036674200367535 733 816962013475206830505929289711679477018288387011600711116295842750459419 734 1021202516844008538132411612139599346272860483764500888895369803438074273 735 1276503146055010672665514515174499182841075604705626111119212254297592842 736 1595628932568763340831893143968123978551344505882032638899015317871991052 737 1994536165710954176039866429960154973189180632352540798623769147339988815 738 2493170207138692720049833037450193716486475790440675998279711434174986019 739 3116462758923365900062291296812742145608094738050844997849639292718732524 740 3895578448654207375077864121015927682010118422563556247312049115898415655 741 4869473060817759218847330151269909602512648028204445309140061394873019568 742 6086841326022199023559162689087387003140810035255556636425076743591274460 743 7608551657527748779448953361359233753926012544069445795531345929489093075 744 9510689571909685974311191701699042192407515680086807244414182411861366344 745 11888361964887107467888989627123802740509394600108509055517728014826707930 746 14860452456108884334861237033904753425636743250135636319397160018533384913 747 18575565570136105418576546292380941782045929062669545399246450023166731141 748 23219456962670131773220682865476177227557411328336931749058062528958413926 749 29024321203337664716525853581845221534446764160421164686322578161198017408 750 36280401504172080895657316977306526918058455200526455857903222701497521760 751 45350501880215101119571646221633158647573069000658069822379028376871902200 752 56688127350268876399464557777041448309466336250822587277973785471089877750 753 70860159187836095499330697221301810386832920313528234097467231838862347187 754 88575198984795119374163371526627262983541150391910292621834039798577933984 755 110718998730993899217704214408284078729426437989887865777292549748222417480 756 138398748413742374022130268010355098411783047487359832221615687185278021850 757 172998435517177967527662835012943873014728809359199790277019608981597527312 758 216248044396472459409578543766179841268411011698999737846274511226996909140 759 270310055495590574261973179707724801585513764623749672307843139033746136425 760 337887569369488217827466474634656001981892205779687090384803923792182670532 761 422359461711860272284333093293320002477365257224608862981004904740228338165 762 527949327139825340355416366616650003096706571530761078726256130925285422706 763 659936658924781675444270458270812503870883214413451348407820163656606778382 764 824920823655977094305338072838515629838604018016814185509775204570758472978 765 1031151029569971367881672591048144537298255022521017731887219005713448091222 766 1288938786962464209852090738810180671622818778151272164859023757141810114028 767 1611173483703080262315113423512725839528523472689090206073779696427262642535 768 2013966854628850327893891779390907299410654340861362757592224620534078303169 769 2517458568286062909867364724238634124263317926076703446990280775667597878961 770 3146823210357578637334205905298292655329147407595879308737850969584497348701 771 3933529012946973296667757381622865819161434259494849135922313711980621685876 772 4916911266183716620834696727028582273951792824368561419902892139975777107345 773 6146139082729645776043370908785727842439741030460701774878615174969721384182 774 7682673853412057220054213635982159803049676288075877218598268968712151730227 775 9603342316765071525067767044977699753812095360094846523247836210890189662784 776 12004177895956339406334708806222124692265119200118558154059795263612737078480 777 15005222369945424257918386007777655865331399000148197692574744079515921348100 778 18756527962431780322397982509722069831664248750185247115718430099394901685125 779 23445659953039725402997478137152587289580310937731558894648037624243627106406 780 29307074941299656753746847671440734111975388672164448618310047030304533883008 781 36633843676624570942183559589300917639969235840205560772887558787880667353760 782 45792304595780713677729449486626147049961544800256950966109448484850834192200 783 57240380744725892097161811858282683812451931000321188707636810606063542740250 784 71550475930907365121452264822853354765564913750401485884546013257579428425312 785 89438094913634206401815331028566693456956142188001857355682516571974285531640 786 111797618642042758002269163785708366821195177735002321694603145714967856914550 787 139747023302553447502836454732135458526493972168752902118253932143709821143188 788 174683779128191809378545568415169323158117465210941127647817415179637276428985 789 218354723910239761723181960518961653947646831513676409559771768974546595536231 790 272943404887799702153977450648702067434558539392095511949714711218183244420289 791 341179256109749627692471813310877584293198174240119389937143389022729055525361 792 426474070137187034615589766638596980366497717800149237421429236278411319406701 793 533092587671483793269487208298246225458122147250186546776786545348014149258376 794 666365734589354741586859010372807781822652684062733183470983181685017686572970 795 832957168236693426983573762966009727278315855078416479338728977106272108216213 796 1041196460295866783729467203707512159097894818848020599173411221382840135270266 797 1301495575369833479661834004634390198872368523560025748966764026728550169087833 798 1626869469212291849577292505792987748590460654450032186208455033410687711359791 799 2033586836515364811971615632241234685738075818062540232760568791763359639199739 800 2541983545644206014964519540301543357172594772578175290950710989704199548999673 801 3177479432055257518705649425376929196465743465722719113688388737130249436249592 802 3971849290069071898382061781721161495582179332153398892110485921412811795311990 803 4964811612586339872977577227151451869477724165191748615138107401766014744139987 804 6206014515732924841221971533939314836847155206489685768922634252207518430174984 805 7757518144666156051527464417424143546058944008112107211153292815259398037718730 806 9696897680832695064409330521780179432573680010140134013941616019074247547148412 807 12121122101040868830511663152225224290717100012675167517427020023842809433935515 808 15151402626301086038139578940281530363396375015843959396783775029803511792419394 809 18939253282876357547674473675351912954245468769804949245979718787254389740524243 810 23674066603595446934593092094189891192806835962256186557474648484067987175655303 811 29592583254494308668241365117737363991008544952820233196843310605084983969569129 812 36990729068117885835301706397171704988760681191025291496054138256356229961961411 813 46238411335147357294127132996464631235950851488781614370067672820445287452451764 814 57798014168934196617658916245580789044938564360977017962584591025556609315564705 815 72247517711167745772073645306975986306173205451221272453230738781945761644455881 816 90309397138959682215092056633719982882716506814026590566538423477432202055569852 817 112886746423699602768865070792149978603395633517533238208173029346790252569462315 818 141108433029624503461081338490187473254244541896916547760216286683487815711827893 819 176385541287030629326351673112734341567805677371145684700270358354359769639784867 820 220481926608788286657939591390917926959757096713932105875337947942949712049731083 821 275602408260985358322424489238647408699696370892415132344172434928687140062163854 822 344503010326231697903030611548309260874620463615518915430215543660858925077704818 823 430628762907789622378788264435386576093275579519398644287769429576073656347131022 824 538285953634737027973485330544233220116594474399248305359711786970092070433913778 825 672857442043421284966856663180291525145743092999060381699639733712615088042392222 826 841071802554276606208570828975364406432178866248825477124549667140768860052990278 827 1051339753192845757760713536219205508040223582811031846405687083925961075066237847 828 1314174691491057197200891920274006885050279478513789808007108854907451343832797309 829 1642718364363821496501114900342508606312849348142237260008886068634314179790996636 830 2053397955454776870626393625428135757891061685177796575011107585792892724738745795 831 2566747444318471088282992031785169697363827106472245718763884482241115905923432244 832 3208434305398088860353740039731462121704783883090307148454855602801394882404290305 833 4010542881747611075442175049664327652130979853862883935568569503501743603005362881 834 5013178602184513844302718812080409565163724817328604919460711879377179503756703601 835 6266473252730642305378398515100511956454656021660756149325889849221474379695879502 836 7833091565913302881722998143875639945568320027075945186657362311526842974619849377 837 9791364457391628602153747679844549931960400033844931483321702889408553718274811721 838 12239205571739535752692184599805687414950500042306164354152128611760692147843514652 839 15299006964674419690865230749757109268688125052882705442690160764700865184804393315 840 19123758705843024613581538437196386585860156316103381803362700955876081481005491643 841 23904698382303780766976923046495483232325195395129227254203376194845101851256864554 842 29880872977879725958721153808119354040406494243911534067754220243556377314071080693 843 37351091222349657448401442260149192550508117804889417584692775304445471642588850866 844 46688864027937071810501802825186490688135147256111771980865969130556839553236063582 845 58361080034921339763127253531483113360168934070139714976082461413196049441545079478 846 72951350043651674703909066914353891700211167587674643720103076766495061801931349347 847 91189187554564593379886333642942364625263959484593304650128845958118827252414186684 848 113986484443205741724857917053677955781579949355741630812661057447648534065517733355 849 142483105554007177156072396317097444726974936694677038515826321809560667581897166694 850 178103881942508971445090495396371805908718670868346298144782902261950834477371458367 851 222629852428136214306363119245464757385898338585432872680978627827438543096714322959 852 278287315535170267882953899056830946732372923231791090851223284784298178870892903699 853 347859144418962834853692373821038683415466154039738863564029105980372723588616129624 854 434823930523703543567115467276298354269332692549673579455036382475465904485770162030 855 543529913154629429458894334095372942836665865687091974318795478094332380607212702537 856 679412391443286786823617917619216178545832332108864967898494347617915475759015878171 857 849265489304108483529522397024020223182290415136081209873117934522394344698769847714 858 1061581861630135604411902996280025278977863018920101512341397418152992930873462309643 859 1326977327037669505514878745350031598722328773650126890426746772691241163591827887053 860 1658721658797086881893598431687539498402910967062658613033433465864051454489784858817 861 2073402073496358602366998039609424373003638708828323266291791832330064318112231073521 862 2591752591870448252958747549511780466254548386035404082864739790412580397640288841901 863 3239690739838060316198434436889725582818185482544255103580924738015725497050361052376 864 4049613424797575395248043046112156978522731853180318879476155922519656871312951315470 865 5062016780996969244060053807640196223153414816475398599345194903149571089141189144338 866 6327520976246211555075067259550245278941768520594248249181493628936963861426486430422 867 7909401220307764443843834074437806598677210650742810311476867036171204826783108038028 868 9886751525384705554804792593047258248346513313428512889346083795214006033478885047535 869 12358439406730881943505990741309072810433141641785641111682604744017507541848606309419 870 15448049258413602429382488426636341013041427052232051389603255930021884427310757886773 871 19310061573017003036728110533295426266301783815290064237004069912527355534138447358467 872 24137576966271253795910138166619282832877229769112580296255087390659194417673059198083 873 30171971207839067244887672708274103541096537211390725370318859238323993022091323997604 874 37714964009798834056109590885342629426370671514238406712898574047904991277614154997005 875 47143705012248542570136988606678286782963339392798008391123217559881239097017693746256 876 58929631265310678212671235758347858478704174240997510488904021949851548871272117182820 877 73662039081638347765839044697934823098380217801246888111130027437314436089090146478525 878 92077548852047934707298805872418528872975272251558610138912534296643045111362683098157 879 115096936065059918384123507340523161091219090314448262673640667870803806389203353872696 880 143871170081324897980154384175653951364023862893060328342050834838504757986504192340870 881 179838962601656122475192980219567439205029828616325410427563543548130947483130240426087 882 224798703252070153093991225274459299006287285770406763034454429435163684353912800532609 883 280998379065087691367489031593074123757859107213008453793068036793954605442391000665761 884 351247973831359614209361289491342654697323884016260567241335045992443256802988750832202 885 439059967289199517761701611864178318371654855020325709051668807490554071003735938540252 886 548824959111499397202127014830222897964568568775407136314586009363192588754669923175315 887 686031198889374246502658768537778622455710710969258920393232511703990735943337403969144 888 857538998611717808128323460672223278069638388711573650491540639629988419929171754961430 889 1071923748264647260160404325840279097587047985889467063114425799537485524911464693701787 890 1339904685330809075200505407300348871983809982361833828893032249421856906139330867127234 891 1674880856663511344000631759125436089979762477952292286116290311777321132674163583909043 892 2093601070829389180000789698906795112474703097440365357645362889721651415842704479886303 893 2617001338536736475000987123633493890593378871800456697056703612152064269803380599857879 894 3271251673170920593751233904541867363241723589750570871320879515190080337254225749822349 895 4089064591463650742189042380677334204052154487188213589151099393987600421567782187277936 896 5111330739329563427736302975846667755065193108985266986438874242484500526959727734097420 897 6389163424161954284670378719808334693831491386231583733048592803105625658699659667621775 898 7986454280202442855837973399760418367289364232789479666310741003882032073374574584527219 899 9983067850253053569797466749700522959111705290986849582888426254852540091718218230659024 900 12478834812816316962246833437125653698889631613733561978610532818565675114647772788323780 901 15598543516020396202808541796407067123612039517166952473263166023207093893309715985404725 902 19498179395025495253510677245508833904515049396458690591578957529008867366637144981755906 903 24372724243781869066888346556886042380643811745573363239473696911261084208296431227194882 904 30465905304727336333610433196107552975804764681966704049342121139076355260370539033993603 905 38082381630909170417013041495134441219755955852458380061677651423845444075463173792492004 906 47602977038636463021266301868918051524694944815572975077097064279806805094328967240615005 907 59503721298295578776582877336147564405868681019466218846371330349758506367911209050768756 908 74379651622869473470728596670184455507335851274332773557964162937198132959889011313460945 909 92974564528586841838410745837730569384169814092915966947455203671497666199861264141826181 910 116218205660733552298013432297163211730212267616144958684319004589372082749826580177282726 911 145272757075916940372516790371454014662765334520181198355398755736715103437283225221603408 912 181590946344896175465645987964317518328456668150226497944248444670893879296604031527004260 913 226988682931120219332057484955396897910570835187783122430310555838617349120755039408755325 914 283735853663900274165071856194246122388213543984728903037888194798271686400943799260944156 915 354669817079875342706339820242807652985266929980911128797360243497839608001179749076180195 916 443337271349844178382924775303509566231583662476138910996700304372299510001474686345225244 917 554171589187305222978655969129386957789479578095173638745875380465374387501843357931531555 918 692714486484131528723319961411733697236849472618967048432344225581717984377304197414414444 919 865893108105164410904149951764667121546061840773708810540430281977147480471630246768018055 920 1082366385131455513630187439705833901932577300967136013175537852471434350589537808460022568 921 1352957981414319392037734299632292377415721626208920016469422315589292938236922260575028210 922 1691197476767899240047167874540365471769652032761150020586777894486616172796152825718785263 923 2113996845959874050058959843175456839712065040951437525733472368108270215995191032148481579 924 2642496057449842562573699803969321049640081301189296907166840460135337769993988790185601973 925 3303120071812303203217124754961651312050101626486621133958550575169172212492485987732002467 926 4128900089765379004021405943702064140062627033108276417448188218961465265615607484665003083 927 5161125112206723755026757429627580175078283791385345521810235273701831582019509355831253854 928 6451406390258404693783446787034475218847854739231681902262794092127289477524386694789067318 929 8064257987823005867229308483793094023559818424039602377828492615159111846905483368486334147 930 10080322484778757334036635604741367529449773030049502972285615768948889808631854210607917684 931 12600403105973446667545794505926709411812216287561878715357019711186112260789817763259897105 932 15750503882466808334432243132408386764765270359452348394196274638982640325987272204074871381 933 19688129853083510418040303915510483455956587949315435492745343298728300407484090255093589226 934 24610162316354388022550379894388104319945734936644294365931679123410375509355112818866986533 935 30762702895442985028187974867985130399932168670805367957414598904262969386693891023583733166 936 38453378619303731285234968584981412999915210838506709946768248630328711733367363779479666458 937 48066723274129664106543710731226766249894013548133387433460310787910889666709204724349583072 938 60083404092662080133179638414033457812367516935166734291825388484888612083386505905436978840 939 75104255115827600166474548017541822265459396168958417864781735606110765104233132381796223550 940 93880318894784500208093185021927277831824245211198022330977169507638456380291415477245279438 941 117350398618480625260116481277409097289780306513997527913721461884548070475364269346556599297 942 146687998273100781575145601596761371612225383142496909892151827355685088094205336683195749121 943 183359997841375976968932001995951714515281728928121137365189784194606360117756670853994686402 944 229199997301719971211165002494939643144102161160151421706487230243257950147195838567493358002 945 286499996627149964013956253118674553930127701450189277133109037804072437683994798209366697503 946 358124995783937455017445316398343192412659626812736596416386297255090547104993497761708371878 947 447656244729921818771806645497928990515824533515920745520482871568863183881241872202135464848 948 559570305912402273464758306872411238144780666894900931900603589461078979851552340252669331060 949 699462882390502841830947883590514047680975833618626164875754486826348724814440425315836663825 950 874328602988128552288684854488142559601219792023282706094693108532935906018050531644795829781 951 1092910753735160690360856068110178199501524740029103382618366385666169882522563164555994787226 952 1366138442168950862951070085137722749376905925036379228272957982082712353153203955694993484033 953 1707673052711188578688837606422153436721132406295474035341197477603390441441504944618741855041 954 2134591315888985723361047008027691795901415507869342544176496847004238051801881180773427318801 955 2668239144861232154201308760034614744876769384836678180220621058755297564752351475966784148502 956 3335298931076540192751635950043268431095961731045847725275776323444121955940439344958480185627 957 4169123663845675240939544937554085538869952163807309656594720404305152444925549181198100232034 958 5211404579807094051174431171942606923587440204759137070743400505381440556156936476497625290042 959 6514255724758867563968038964928258654484300255948921338429250631726800695196170595622031612553 960 8142819655948584454960048706160323318105375319936151673036563289658500868995213244527539515691 961 10178524569935730568700060882700404147631719149920189591295704112073126086244016555659424394614 962 12723155712419663210875076103375505184539648937400236989119630140091407607805020694574280493267 963 15903944640524579013593845129219381480674561171750296236399537675114259509756275868217850616584 964 19879930800655723766992306411524226850843201464687870295499422093892824387195344835272313270730 965 24849913500819654708740383014405283563554001830859837869374277617366030483994181044090391588413 966 31062391876024568385925478768006604454442502288574797336717847021707538104992726305112989485516 967 38827989845030710482406848460008255568053127860718496670897308777134422631240907881391236856895 968 48534987306288388103008560575010319460066409825898120838621635971418028289051134851739046071119 969 60668734132860485128760700718762899325083012282372651048277044964272535361313918564673807588898 970 75835917666075606410950875898453624156353765352965813810346306205340669201642398205842259486123 971 94794897082594508013688594873067030195442206691207267262932882756675836502052997757302824357654 972 118493621353243135017110743591333787744302758364009084078666103445844795627566247196628530447067 973 148117026691553918771388429489167234680378447955011355098332629307305994534457808995785663058834 974 185146283364442398464235536861459043350473059943764193872915786634132493168072261244732078823542 975 231432854205552998080294421076823804188091324929705242341144733292665616460090326555915098529428 976 289291067756941247600368026346029755235114156162131552926430916615832020575112908194893873161785 977 361613834696176559500460032932537194043892695202664441158038645769790025718891135243617341452231 978 452017293370220699375575041165671492554865869003330551447548307212237532148613919054521676815289 979 565021616712775874219468801457089365693582336254163189309435384015296915185767398818152096019111 980 706277020890969842774336001821361707116977920317703986636794230019121143982209248522690120023889 981 882846276113712303467920002276702133896222400397129983295992787523901429977761560653362650029861 982 1103557845142140379334900002845877667370278000496412479119990984404876787472201950816703312537326 983 1379447306427675474168625003557347084212847500620515598899988730506095984340252438520879140671658 984 1724309133034594342710781254446683855266059375775644498624985913132619980425315548151098925839572 985 2155386416293242928388476568058354819082574219719555623281232391415774975531644435188873657299465 986 2694233020366553660485595710072943523853217774649444529101540489269718719414555543986092071624332 987 3367791275458192075606994637591179404816522218311805661376925611587148399268194429982615089530415 988 4209739094322740094508743296988974256020652772889757076721157014483935499085243037478268861913018 989 5262173867903425118135929121236217820025815966112196345901446268104919373856553796847836077391273 990 6577717334879281397669911401545272275032269957640245432376807835131149217320692246059795096739091 991 8222146668599101747087389251931590343790337447050306790471009793913936521650865307574743870923864 992 10277683335748877183859236564914487929737921808812883488088762242392420652063581634468429838654830 993 12847104169686096479824045706143109912172402261016104360110952802990525815079477043085537298318537 994 16058880212107620599780057132678887390215502826270130450138691003738157268849346303856921622898172 995 20073600265134525749725071415848609237769378532837663062673363754672696586061682879821152028622715 996 25092000331418157187156339269810761547211723166047078828341704693340870732577103599776440035778393 997 31365000414272696483945424087263451934014653957558848535427130866676088415721379499720550044722992 998 39206250517840870604931780109079314917518317446948560669283913583345110519651724374650687555903740 999 49007813147301088256164725136349143646897896808685700836604891979181388149564655468313359444879675 1000 61259766434126360320205906420436429558622371010857126045756114973976735186955819335391699306099593