# This b-file was computed by Antti Karttunen, 2024-06-21 # in GP/PARI CALCULATOR Version 2.9.4 (released) amd64 running linux (x86-64/GMP-6.1.2 kernel) 64-bit version, compiled: Dec 19 2017, gcc version 7.3.0 (Ubuntu 7.3.0-1ubuntu1), threading engine: pthread # with the following program: # # A002110(n) = prod(i=1,n,prime(i)); # A003415(n) = if(n<=1, 0, my(f=factor(n)); n*sum(i=1, #f~, f[i, 2]/f[i, 1])); # A373845(n) = { n--; my(c = (sqrtint(8*n + 1) - 1) \ 2, x=A002110(1+n - binomial(c + 1, 2))); A003415(1+(A002110(1+c)+x)); }; # for(n=1,1035,write("b373845.txt", n, " ", A373845(n))); 1 1 2 6 3 1 4 14 5 1 6 1 7 74 8 38 9 1 10 1 11 1551 12 338 13 1 14 1 15 1 16 21084 17 8631 18 1330 19 1 20 1 21 3550 22 172655 23 72938 24 1970 25 3410 26 1 27 1 28 5822 29 3233234 30 4157356 31 421750 32 228491 33 10190 34 13610 35 537398 36 289610 37 297753138 38 32805527 39 5188250 40 8698439 41 761710 42 1 43 18344100 44 1 45 6954431 46 2156564414 47 929540471 48 68769335 49 335525472 50 4283242 51 21900155 52 348965439 53 109820278 54 185002 55 32593310 56 66863476775 57 32959606836 58 7432719484 59 6200954315 60 1947189350 61 97693490 62 10555842158 63 3740967932 64 5075048819 65 5120489831 66 1 67 2595355228700 68 1060105447838 69 239378649542 70 13180707730 71 104517438622 72 1 73 390565191878 74 1 75 298359500063 76 551443258 77 1163752043 78 391113543095 79 202833509018151 80 43570667408855 81 9815527186031 82 1 83 5163527087759 84 7149095859983 85 22486581665495 86 2322521169802 87 1718620296503 88 35626358 89 1 90 3501921367078 91 28884082730 92 13082761331670060 93 1975933331238901 94 668869112515511 95 179224103374451 96 135669760042 97 10209831935423 98 688566385904258 99 46557869542522 100 5124794998 101 165604655713538 102 2510605838 103 144484931158 104 51015991603535 105 175607534653438 106 204970583682010655 107 87841397512641638 108 19835154277048142 109 1328200112354271 110 1964504097727130 111 9177459441619790 112 32371374138574319 113 13908375983155105 114 1 115 1 116 2423625542 117 6339146426047790 118 129983529649460 119 530233344849551 120 42994775582810 121 21726105651460029831 122 4655594068170006398 123 1051400019108042623 124 180050599321492142 125 69784065261649390 126 657627290762 127 1715218867220555558 128 170623866372773722 129 1364008702702 130 7728043273340650 131 239149637268169115 132 1 133 54599544173618991 134 3657540857270 135 14026422670 136 22639220894195338 137 650887188173555450480 138 549360101522344925596 139 62024897179056883839 140 7147845104921240819 141 17015578319948784550 142 32933061240587658719 143 101231687388050317428 144 21604048878137329738 145 1 146 1214171234427698 147 99857228302 148 39340984941782 149 14472956128960249633 150 17969845167434993650 151 254428217301518 152 424798937352036470 153 48742168489606513560 154 39202516323127227705944 155 17201448979307011563252 156 6405797144896175888233 157 6746256459693974063 158 420670418378930350 159 2861113071880037111145 160 7780607334405397221268 161 43559386132943192199 162 1096424097728123914295 163 339780280585461559780 164 1 165 1102496298127811205925 166 2155938763255584999264 167 21440972039270305751 168 2369008598981822460074 169 59282956300093059598 170 239189815004203757088 171 1 172 2632259964907800166625831 173 1123037714573882053449841 174 315425293875675876939941 175 54792750968004850298 176 2145163304913302 177 133410134969641456793735 178 414549920801753697257184 179 17740040740824564639023 180 1 181 310099280350736362151 182 36997009603890470 183 1 184 257962842401978991542801 185 8458906548845471413439 186 101358817656902 187 1 188 13622607125529326289170 189 243404682846846677760 190 511712701390442330 191 1117315956221127628077249549 192 80965292995640435329021188 193 20507393327572704605565997 194 99521403525261619317615 195 1 196 9456624239840815321703903 197 29365346842564756400366028 198 1597159986053912917030403 199 1904234915108187580855270 200 68686608699406434712463 201 1 202 3032962943518427560198 203 9146885401981648349797379 204 4393234882990407262197650 205 1070903724311481010893503 206 7077354443504136050471113 207 10190614126731713866315425 208 3099384170211110101171739 209 16101592092193733282352 210 2703826219765630 211 40823744526945147099091378230 212 6145130419053907798488676219 213 1735117437853607035434480709 214 1645831837671318355426272 215 591837727942123892462218 216 690334367528653206251657604 217 2143711284453385015666377279 218 479980857212109567950015 219 12640721255866602112342 220 6878409600052947224978428 221 26418845797490098510 222 968871238554348602460471 223 674027868100578898566255340 224 12234897212106476245415039 225 63314802006427926285384 226 1110672574435846354300519153 227 380651773951122630705518255 228 92285141147669770 229 740406824220696076770975464 230 1 231 774245060110258809793047972 232 2148761267634290997784423984170 233 919327076383049402256881301231 234 103795005788990634017157155751 235 23423403432705974592901584828 236 25335785815118559883029699935 237 54587897829067303531610541068 238 169349724596877521468372898158 239 1 240 849599214297352823005661964 241 18639518773732884318522518003 242 116588231239738401862 243 39606739269796154140567583 244 58696224314427381496331659324 245 881669326908498587382425388 246 3761593327059303719572012804 247 44077325580455644744880474030 248 4250521491761470618300261250 249 794314236847498713797351 250 5019738885588492961257630022 251 4157673034711902944024926071 252 116614254380908691951197572 253 69977795165534204926472116069 254 89021706429065580832198689211631 255 38155784393878282778331561761775 256 9948669349791010409379053920237 257 3000724895385121925344090089898 258 1 259 4526517421926293639478228150959 260 15202226779700684045146155175908 261 301087716511477193011092637416 262 2039604460819825592162 263 3155712256636685847379200494736 264 1 265 302311274451632353506527359896 266 8761545022749287093429529947065 267 22029357180783503214701076996 268 1456638735535452492025548950 269 3674043075179416201039890773124 270 1421759448412123170005051326431 271 258926291698343103890976141708 272 43390605014943767464717386503 273 220053106797141884785450 274 1 275 1493271604732687979356481229722 276 1 277 15845834958642544543336596212499000 278 3782524020655631029000701514985473 279 770449217789542318576677288371196 280 117988991591778095226901786586984 281 809946612721541453810 282 402860084722220803035879115422768 283 1250986415597134251086870400098378 284 1 285 81096245547814348246633743310 286 38523082490025203842221303195190 287 6923606944541633752346302717343 288 23464118197818713744464687659431 289 715374913646825832519395335065193 290 249043026490441350331993912389168 291 235404816328378289677899109194469 292 325927266630104024910199036651092 293 5644441436275696581316365567479 294 23614445610957816524089084991 295 179096599074717891063674298539708 296 1932261075655460175769484417991 297 1 298 1464807801696102723550635390735 299 4912265088697760344284398498 300 1149897058753805584083685490 301 2306137380582895227183805163720126550 302 329370573217159561756980748678370748 303 74478313096767852085357090175355952 304 8506778396179385170713936490 305 865778433661987438093884884778551 306 40766196739620303699034557807069791 307 145114431607670444926902685122900916 308 88291960477368300262440246161810 309 1 310 4139260258438003704453233210546555 311 1 312 3798299775857526235178104724992190 313 37941750623698801090663019759453545 314 12184395998084368310227535471210 315 192031687279592589570518 316 33673392934256745468427383890923584 317 949508071690799514331345773242 318 1797013222093246853573235817852210 319 75557495169926143731545472827041 320 12305091063008134581928776099575 321 257219852232670217428810 322 11254979414101794480027585351666351 323 729002538242556971420947762048610 324 894838803670116560225150527463 325 19133344099133054696872000335867291 326 77649754702949611326380113378655753015 327 66593395519489198391188661041133522738 328 7511689172854753577421397318726044002 329 45098137255739159745890 330 14460806331655421800083311846053223 331 3947572649881605879870903693088733281 332 14663444907676273816194336896786954005 333 1802961211775874927492070 334 129192745833003202232126260212146848 335 31797943789872529060595470 336 201962154774223509256116867835569471 337 320305865692568584456758355297449830 338 3836012417451353747859790408158344880 339 172109831327645691274252007944210 340 440545044160561174463890 341 3189921150190053851194959835471189105 342 410783035798867933625103902152797852 343 3897235172226702270316309658 344 12296328394796463814066604185652039 345 51089583722139444119938 346 8136976375095198131684191907352 347 828691699559224655660983006333067602 348 28533804510073604756506579048570431 349 608467374107738215026139336942896204 350 898507170613878659801271797830 351 1 352 8005014600722069713528258096967988809687 353 3433487006207420286892018945763656167815 354 904202802710426842513099506101358431967 355 2030131901448060900820213063800111 356 145210317335195513142796827977785511 357 565362337425614422798676296076178034860 358 1509626922554729463843722201422166802496 359 13778671901569783258312978238409531 360 2104830872644569530110992339793059 361 71889663871064949592394339966785657216 362 3316278275732841520506078169481883 363 63712444754523743020630958540784010441 364 393193828343036527421418392507254457822 365 9762045401547772071550640437043 366 936818301526508368546897724090 367 328559275859863128882046318252924082063 368 724815309636823206557146444936378848 369 850624873217472703401190 370 444220985260256881506539941012662863 371 121750377363784666903018345722738876851 372 107644278137431869421041090230550445684 373 1895583935204526431680012214225203750 374 8456547558277175078849498363101983 375 730387491859433814801030330748002229 376 11459631027185694173315528416511270592 377 130393377814913132505759618173964493395 378 6708103350279744979081672951668936922 379 2568950216023746656448826291480905461550870 380 368162872547314176855018482589842238088066 381 82786326374032239176761219849679730593402 382 1066294794066074993090518 383 3882526694369775801906258756910 384 45858872019975916896718123378425770563549 385 173701695602001006875855377973575314904310 386 14808186253964456132170213904921575158540 387 14337296746340815157072267245331252291279 388 5226835270050961323514835387513586046103 389 14834544032341043974599030099521816850083 390 13034737370718093943080065392569371514840 391 42071739632704912702670645485798078634291 392 865457879167011142973900470 393 3503027789662851048586282 394 35155837227328760854219879323492932597823 395 8405763175772738616638723637830939115792 396 7639207244100593209861761369791 397 1 398 1419451180501848908231253190 399 3172281974777552712188129869424254969558 400 34891793257497074312921070613260960 401 13095960635525695296498255658839162050 402 45257113987896486828524575927051898028 403 1 404 85732074634889013185458150 405 31700253535700717402174754492518 406 26054613470558356460894185193699331249275 407 279734996817854936178276161872067809674997260 408 40102924987763515972670280674962570453617556 409 9070367418135260134377083970348037250806132 410 2256546629718679006317356762864908302367151 411 4987610471710790473442245394849759 412 5405724806657690885819186325634167038294124 413 17636611704192154402078375668918464385022826 414 960310373021852966479932304756745327799011 415 1315380678186714369138391309728130652371657 416 62846172323525219584841182358719758509771 417 1 418 52185867386578067002741226052771 419 4585819619966648153153769557001007147074551 420 381763540628478199472665262723009711909820 421 1598824296771649956148712837476902034310553 422 3896101544695847623322126791777008218451424 423 3283236076836691617515713721761267575711 424 2436547553474382471655737998032036202521799 425 171114917249501581995695832997418210 426 1 427 57520243767942361567559384216718834582433 428 5595807644257821227002595054260995392111 429 17884735236614867451675775240979865521771 430 1325913529408964118259893579657002465953979 431 5728640083241155177011105910 432 83279791815613329135496469350316231 433 1215238700190698617994450107119114256103904 434 331373890893743828249241531775990 435 1367925851005996759910360109583961237843643 436 10537622502262431546535992795318187095218062031 437 4654538087519631041911437174234314622116736772 438 1133794902672484359933471938720792831946975351 439 7621152643217716395183582118524895686894084 440 3425193739872491969678604071969009219402 441 588116568202335791714612852974804527478582885 442 1989563938301937938144612590944701884845545188 443 4779490127433416800584453420876437952995 444 1 445 7510690864252711550310451956757838475766440 446 22018725586595564715467512631263537103453783 447 333599331989620031106788700582466835821928686 448 518571704969971109283776303107468694044135479 449 4415079687864384982476182680128096184624860 450 3903047707548890190086920273577762670292740 451 433831392174376160041420917649021835654324963 452 63670988383301321481636046942074877375612872 453 17339582628080357647385774358617590007336351 454 4024868146695635793500946066872133361150 455 58696951453893514044594309052287182 456 293004723711900395505858426332271552120756 457 242947390388200273868341427079880347163138807 458 112452576100321485559392799901614336346789553 459 106205743053391902589503068249636683275846060 460 871352545803994958604728412299542881474171 461 2213160051572027344571971859988012500184 462 34365763994873250179669249196021636117781801 463 3364018776570356136136871368250194838 464 311779847682850177494493377316011924875 465 1 466 1367067639385612655982341321987121808537985167796 467 573891870196161727554945999398797825129128733716 468 157564186553939857389388436487736474863298883009 469 7904103161917022187953725366923409801575197135 470 1 471 68061165544215493017366816850392608023635791936 472 252676889700988131266738144992532393050366136473 473 1120423380300304133735489955389581157784492852 474 1017938817012161394557347328483798 475 3046120106407376946805600780756809464162 476 10551946943720837926267049001585441277344327404 477 252657620953680923223263968722137651461191758 478 65858378182000014974275298163366420037388073185 479 1 480 36395912003251289394794540251102539781979 481 80562831459691524834254609983155298316050518121 482 17758421874444281425140147323616927433332100689 483 1028444167451411712780938632329890483929736737 484 18065128968189785791479305400962836692726962265 485 27865881464671217509734017335853662838415750308 486 10960987311445504202365235961888071 487 13262398639262249414104589764245248362395372 488 51446324284948442093683469290477290411679838112 489 28881129059950386655379339441434449291204385455 490 1 491 25574092330485901717908698937985754262379240417 492 1 493 418819405303961231840833420418683930197551 494 89910579189884488304321405271451570 495 750247912845068384365397071262300908425586690 496 353745159213379406009114966649869598329835910 497 353689988117648772956009884400454329728302820806075 498 78075416292993511469059365475234057380206471890801 499 16971536834102842540331820536949665016232768206193 500 71833968086886694429576431831108874897640774031 501 589356832762413320976735038984545855038845883 502 8920708271512716064358071562964393448736004794144 503 33100375241511024378461527873728336043659023884956 504 168502556569249516432423603894659753018838158659 505 4106187101372759699275216142613785508892692 506 380808456953387212728407756374634429988195168039 507 2248298016216979766041681118361673961546085060 508 1 509 8640602563332816029034782013144733697885460240777 510 6563512654111688455601251580269125054820651995371 511 556953992163069198547491215787594528156614952 512 7204118985044756341706959514528005684501148135524 513 718461867491563470347574424188258698 514 27075965559008790648786067918946624839624070210 515 299935223829043605389880421873424834930377928975 516 139828896318167704627310143508462306565120581951 517 110505669059177925089458282941686141251857202439 518 1 519 1 520 4014476951838226205066877796152759433952182037951 521 1689937517284054009676723437188159189077394462063 522 2492400374666252577148234943950457668362583204071 523 6544202191278362286911294025916892438074559 524 991271851609821664809465327027671971908996290 525 719266901252140929002227375921349174072655016491 526 166241744892851214582845534129512363511959400250 527 1996977775203990144934116898909071966861379667893 528 484806081999487016570713017239375766770 529 24019657039820637532618455557411152116460061451869765 530 10493235675549884670815011798171459664410041834467207 531 2431177856092980214895518504267359054242484176272332 532 268703968442336094555934869074432093292581298542544 533 521452075041171892128448499048735738165452731336372 534 1601548478181874673834018151841862947037084750094717 535 4791149335596654470873589494445457998833266208604649 536 628238558873655429963607758338854676240590763631529 537 383100363874019680605442114527081302787433259 538 4169017781741898720961558261826544080315183 539 552705631199796318057527764740658208354300097471026 540 71888086850973929079267110257522 541 1860777846130983798916312120420738154414144006814675 542 14423401489568833256998257215060926446431512578609 543 1819787435574858219253316355517885962877206170 544 1162137257848257639262479918056368179010926155543329 545 3363771645209140041153046289199361571735424302064 546 317391267106695106031520811607968658186189386667375 547 2115770875015167404676167739406550942454821283026 548 47947064337340247200043048332219805908218671 549 19651217733500501411677602218 550 2487719318714816621773084010273184359 551 68788411454780944065086713303390755250724175862536 552 549983340688625958087379222101267044565146871315922 553 193331320843654345728048277200590020716489521835541 554 1 555 1 556 2838658942757661181390397900202550807643486572 557 458903298789458581551164792211443273499691160611670 558 280062830303225988108873133639642948916495435071824 559 518380658491792792003829030332290328827824852201688 560 376886915019828721794325810285609214864125314870084 561 135088576810268040254677827122 562 3338648188331130952621683140852991052275357290043358598 563 1440377334532625646400840798460568604053201030681857844 564 375485822738223306027199755991603900141078583518076543 565 244065270962950766230127310841010655898544020345932 566 7003798645862332668081793351075610510104284998 567 229354545894510196485516776213420433180954084110714469 568 678196278606303128783954944744597479602112978478115117 569 9066886658493868713554775085345025646463223 570 185671010445038432613464297257519984020220924538 571 8611334327370617130071912831747945650 572 31039405124988121479767539078392852840519412455348 573 2458288195678818024307240530971533320733551721564 574 166455256424159679002695923861047870403307347735469703 575 2020305422155743678799330110184659464990 576 1074648208026525385503727130770462502197792084545098 577 250934649100880994978385646102808533013394616261691386 578 46492699065836174076370615262 579 1428405726124003333746004485788236214181021379671336 580 13734335770158442779309031097641961983398698034140546 581 1 582 36954415684878534496893614253776830891038986219445852 583 6285849769534486178936839724213048003146793511 584 17350556030396752309585714622618 585 131777242892600576662489881852827093156929160758100232 586 676071467670235706935153646635632312394253766308963 587 902427493093482315053464010939269229891 588 6393004906413554743347175402 589 1 590 6078030604346066546378276588612390767276616056355665 591 2560635817491496984895638179441356775481973190102382 592 39935350988730176878330610216569404011611557089690999 593 336542647095185994920420102434075804628282766592548 594 266858772511123221117092952044327344135723890359 595 1059807042764081704588521417180796873629962924321818 596 1991354993768124437368303550733620557169600615566881201483 597 216627365171198320244115257295525142989560734823844310417 598 49882064314044435550881024782282344058644825942626789460 599 9467955665080786098002107639505443746715156045653451916 600 1523457408069538884141671368855468411517474197654751 601 26787898655149838702245284581313946448574670127269725696 602 101650751184598923394051389787266337260273983117910913145 603 365562928771149079300017719124470 604 587695886907968374796317036956872182555780924119547118 605 1 606 2581517571740943271362900560496351742 607 208537722851191878574925440547189503588378 608 25379143030877782735016780020481550777788851706473828492 609 135232845540944439604615784141297161558 610 16344264882080236152982855259382466768329723354740990 611 31176034357545528089448328826751941072876556230540066021 612 24599044791159651373730315056396582070 613 4157278575168361752560371144122557351582710033092790175 614 1 615 981857923475139860316315372897896390 616 1010153082028443998673220464421318 617 666450357916242149164120297646286609422472018929044719 618 249348659811227698958288389823394360369659921218488 619 12126133548320244797209565333383879472317098333275873305 620 26744187164306405920936142513666059080056699319931893 621 383693070439516410463290846226366271393069472925530218 622 18433801901152731577298968101591678822623582798633228545 623 13388852065846973365153540346290659948073208501116685928 624 132558103143743049244291818137686014852137023642051512 625 963407471924811167710285558570222104727165944615135779 626 1767587523003191478623514102963459231062445790 627 2271779740472266775279691379768967316357742922824127496 628 3648543764750047355861115934555017729147502332834827535 629 450695109816245794945759186084731915446102821781511 630 109409689371052077684951870679438048441263444 631 150382820431265896421992297884957535333731658794015268620717 632 32361430206208722127713747413014820152517930289339612541585 633 7806127572108365961044663120423872424353856358483994448064 634 25503625014887365774559424002823576841907496277307501448 635 300966841150890652307137944569889534641262359890657194876 636 4332231513298027836033701416726120489865364167953873677013 637 16276218844748960845035671010413330754544204744590819103563 638 462668449676898153064203401665945047178998231994600183895 639 496431569507978747912404415219473824129486289968235249 640 70851496654930873942306884978353451945281213738591 641 273778292821180045357096277313477522904842239808696361190 642 1013239865067567486044035730936141084728213943256527390055 643 3693762875481922266948979318081033200467582192996514300279 644 897700251423204547171188278055163493967922854575852414924 645 2614795406712596782315282824024230905416970654305352822 646 4904220256594278347507838657929233427601968205618867720495 647 1 648 1 649 19276562798880688204422013491340724093074248151937736996 650 364005710810712725894835524361576937106100609245461827639 651 1 652 2326565463835311592225061808913598018315446961414061901 653 151349522317567581116452883254032971061479107727728464839 654 1719996450319321964342673740440716776307144534449573629522 655 1477342121832655228751195014983282497073428984038248570780 656 32621910379590441194313464397473649733833100720897220090 657 24916458590722559557959543868059469515630553645638602831 658 1512211728961166924676832440621763466171064506544278168004 659 79210774067474927679453362675695077543584812715 660 18121562137202093851639727603503521485027455874705339 661 258404105990352701011014779122617953805648351931311576 662 37686754239333543179589960071798747118822509730732 663 1348258639704627861311243521814209313109406206242452895 664 301943940681504576650704572796252962263168503140790 665 1760723648184692395216589571770605117539056578962969336 666 1316621846007181374144250901138484166322174838332142770174 667 94333778649913319575028730777714010749076806954665671878669114 668 10187771815943877325286154636310434718389821845735762342768170 669 1151703638635993293761935195650033561535025475146580607633116 670 15466272065237424923850304269846549625201347006187785630133 671 130535671563533191293858919143733373476227197962693643625482 672 676502493078477003998645038803954861074942449507805672226820 673 2373328262925519750082976797828441418522262204948348776065276 674 129879977529226940952874861788444774528955524771594250 675 2395555427225360577448580324253076049789779667674113354831 676 17932762003277375017658119612298113335210056008783102 677 1 678 2888060323290869101198178801043523985544732312943218874199 679 579970082335108327698641031256303736786337158549517316980912 680 697823398858279410969916824142917506894168132717682302 681 23773119786888725151461382637482619894588608441144766224 682 739088932952410456904975607855267533202396038683461015779584 683 9461130514695595400611553863468818908008526824912300333944 684 9320814735148486752289291188769582962283184125275318730 685 14672636749939053709075692983137711495099641760061221030380 686 11787793084703268684424230367026441493645482801993150179884 687 236452069154052865552816130425532574602911790189955546903512 688 34980898400042757504745927348772359425884630893988907351 689 8153918138595630217844755088615272385244588599 690 274536096117488552420990780925509056158860420259071801258736 691 222365470833764062591701121275975065502358 692 672800300380712733993343349061718608368711286087731997458 693 133568370034978223084946228932039978263968911732074407670995 694 241290040534970313050650681591025269945620298680448215866448 695 1 696 11405658564566213912324860897422998962304980030 697 79276748268162277299573154844028337726252632964274622613248 698 190541518009916288283268435326522701222358348269730084566892 699 4304487227659915656931086959251437928842396537246042911 700 15962456926012771030092232057445446399298935911 701 2151982280159701202871543502259531018831315926696635094856 702 342414436309951293346720372411820233633625580026409437759 703 34034587955644423265966197838931746004621691370052002149176 704 9633669953594225519160562232960147278099401518586721309342472655 705 823736031425135951289090005048019186652197716515152331408009838 706 186004910321804893480261292592434511762647104945873566389799039 707 36580052399966726593298103913950010240733975970390111394229063 708 11067470673675313913600031591892256792501703920635318543784291 709 97731486576048823614725714428449954041596656725584133177000265 710 393448077213448932334785913591800341262100615540775633069044949 711 2358048706307348016372021926749838199336724931915622180529 712 1 713 10339318899148865851260032019835487106506591701991611258 714 27495503730193007483719898262881424358179532973760987385165 715 2130090211253524541535348011127308499280408371948695093334108 716 98784532763461655073915972383031599345060128866037401194966422 717 3350466136341464644872474836504304448884795988736568321378300 718 911351470297376322583887079562803873410801481260944432028 719 121894991411637383967362049374340517088160376783002299392062485 720 20567985366204988068183831973302956475802523727694403 721 76878492636552056659922768297855587467872908115888519 722 11396918649014723096600200196496900836075521206698773017927670 723 525292070110819880598350582113360319536258064104718458861016 724 28980852348919864383116078762620460925428256730349297843757348 725 5837352504355205464399011699710953401212578264832868851805469 726 388494294611905179510811565287811284501013329392255592066 727 71344164799923771436592423060223388099030290196385928742777893 728 11557703535988843085037944411333368031908341009759896802241 729 1 730 203316416211318644513199543751614177677462977536696267969983 731 38699008187758064825679170546669324201207138345110110010097218 732 36480391021598369741696733765628015549832393986317335 733 4290226007755672759310866915366223295115207728825465539295842 734 1 735 23169761728847253368052979139698492117791773109772337897221 736 4516300787167927992738736146198958774160218950886617573 737 36792335731854441276109030762555557723905832536669183504519858 738 1423879123275204926962853463795964818238601124357043522128 739 7681909187217975992284417332610351038052519778 740 228433744032774778420174035793878448516289621592429981204 741 50465903656994061147785501211897904352357125942458043066210048 742 321396180447044675715903459429172594349593499810654994441962045345 743 143738091194490675716903819040833733486787101556408411331346944101 744 31062820023741417001836974814481004747988925492745895261933964551 745 1 746 4714561925175656074887235414432082 747 17413734894633887743296258841121237550019234932416358044151871630 748 70795653884436898631447740171421358899415775286891426773671521574 749 1 750 1 751 152078620794543221629270027911904742307063358685930 752 129897583582641905024920108098578954090036655117516398904240 753 3373164610089164043734263454888995296006036915050217345702383 754 15786023290753834869786017805476684987657442237204538248098543763 755 5795046422432923291042843571233306824722851804073651114807771325 756 1303042090929438847105090745459758318224840132074852413299750639 757 20118831394542497138103322110638815806471869757874490228891245673 758 676702333616292404166414005323019096744644888804278300600886068 759 710471148311859075510278594557901515852857614070808528653671 760 105620316400834499258206691437870725549438795342660791620 761 118536766440294730285694410515829131354526428552133739 762 794537815811812790310627542510023253866233426211385902642238194 763 244284574495593436002586235932663603395983618714322408863591 764 995810685925986318129479089706815886646521518267135340559503976 765 7350743669740335321045390961077543495712331879060944472927976082 766 5509835117212185157733274651234322976600767343431403956464589 767 25739818630208525872406086266906837291895155554749457199612 768 1690859183791681198310365516472491729642236384432964374098108136 769 6462734367355596825885562297162765263059285974523680640856455758 770 5078673056791233734630232017372989090551896465030971997305968252 771 5507245716272620271480038836160799978178931415306499464914762 772 4032382731315945290263520146706277670953813570834792813878987414 773 3428353754890664178814510167961800808713899744581414882332689160 774 4148107055275612924958307555567767421411461898354431523582250562 775 112114410532530447909015574271777569435042809047041779957062 776 662575918095921309207695478782075322221744377733993361061023 777 2664168783256990791234075715973134105334113199232526917009753 778 5613128987129661775571721662562228130845712957730194931035119 779 162632643363130312425211181108859565433023042596562760 780 6934021811319970427835509123105644638925305207268968901975548 781 222124373782339171088616551542006511583148501468271096911445700564411 782 23798557683903602775886811500948418512859077704269903071549525961604 783 10747735728214530282635875100475161412461857838076063726629409152824 784 395700570054342260826574510948528713046845422336491593759937351872 785 1709630144007556576916065088012100503970187731975736810 786 2841007688055374665198978516088320598776346103796084497518074679629 787 10995072910804049036684374633342807784082881343504486780858163997580 788 580570973668069703232930301870135977958567192592200661837500096931 789 477334999458243241184507162767804878963493818779937230928869802828 790 4469452520251260144899838900836966604538956069940033322967551390 791 129068381049441425132400742690257376748648982684542438122042931290 792 113800472546081080954619019545944104718084122222580113584262600385 793 2740962851529125506915108418105876791996252066737943479429927049441 794 1065902958143830064043157572748615765813766925643236766580939074356 795 30517130628667085873185032018398102461100798726350 796 4443495223598510424667275843623238843460277721528754366717229143178 797 439551198837131175795909637755703218688520547090971927980902045960 798 549807251610771312113846878061699495585060288525555563878392435282 799 300951273127473232814630833911405711691654425748642261330536204471 800 3275653376867003940083994245647526520458954864339323765576523150 801 156161881805968088345410236020176903186909015919422813832928830 802 41621902810120392517495844264523719959654558 803 116637712283079530751054784624312302800293736128529579829183744133 804 1278231378929977258739716199748622845775202286401463291016350921204 805 1025041808995592530604931839778397734200695201016043739922846687386 806 49389239189838487809325046291368527202697600970078176379804316251 807 44797319586946080756940172647040051549995256741303718408567324204 808 1267193514475817462499373619403363230487806789541868238691458209488 809 46544581042485308682214018716259279521598111029068185097783 810 113249490750269028218212226753697798648358841801277853957739297880 811 64405866251225417769828478630769818642 812 385818768296657062193466981494398369686828639639429550254180 813 3628504654798980267317422623157329800395950778194742192259019 814 925365207312456859713168773222418779512942480929274924983437759465 815 278024856278081003994783659505033432479748484658278488362019488691 816 6167744825372386762878308063109436334302619484042112525931 817 147555304838345627190740953043988790259277875688614269208980609118 818 29813917155944383679274218203529085824039397433026334822 819 9668089123258918189544965383861357378402479959225795990 820 1208240388263990261516310268278686447845845579187393757244130289064 821 9940351070933335589930847286484921856170559873424431808006224684015554 822 4265803746546704643956996438372800865174291234281415405322339115827936 823 961922347675200460301804565450006278167087412006160125030002592516031 824 1453125716610104613535249530814852191367901693494624403189185658436 825 1607632294182895305056905539860160026825030507222080491047057085791 826 533843511947581803658740017860289835442965382657551996795586127800928 827 1876870789843342051296018221089909860187625645240808469928267756637313 828 11164205457855190666107245776042841583274246056713815165258757563082 829 196300346353076009679104715456217624561422788767683102095785981834 830 1 831 85356576192817744557668121403644019857253033752964037989277771 832 1987386307916404556413462532621312746140344106263597758227220295 833 489447655250567495381105337554321228367116058073311454076537137070700 834 178560444366398640453297112276485898533788249409205643172601001533535 835 78679664321718243454280879862317972642780877596392920906529309974215 836 987478688406430451085491742850270478915135991951834308825774150248440 837 39239618915949432557298902029078358536816261989313554011697673966 838 90089404162934350634779968529548587448695732791176766829675958970391 839 730880989342747046365349191731054984040597982 840 2566580328588818332020587795111361392573492093209636520168887129 841 4248858863926555916538376431899615029012855864864084973960123184471 842 12988958717746710274295676796211653892774585574801939678775818468891 843 1 844 227630483035740334029508860925489859574057169004359861241858410091072 845 59758702961786000539423754444509884117221393112226503125267111755838 846 67661544465869813806096846444046441597315287698342435179724055715 847 10430988178852962302638310995245739582008550129216636961073493492501 848 357645286376030332475300395166796039429436171126364780625422769913680 849 77857944589898731773296223883930617981149993200414522659200916734470 850 41017323082974428204365637477410593650593781403358418683653299687351 851 2190429913545502419129090192890630013892900164684724003708356755196 852 18017707769432307365411327952199341630941877834948967472893659592536 853 4238766476408197828929416560681242118599010757023776249251117736 854 8483197959157764723954203631665105365667757424302664898452140744 855 906245422743663646635154028293256383580924634089270032701067791 856 61002689144631123846115329014933238533028616233338210308856568244720 857 168821978852108724594894714990522547581657672415841224643191968112 858 40681580551273443717788013171648764750535004841633540730392273224571 859 1879434004775062127881292563261713725993627667991080398579606173271 860 1747548381707532882657893200540991582608616647811231028013578645239 861 46380990227441092709617229754630523412836190482329315705439384868076 862 1806315227441660271008991693172250848103889501436548734364199525973742956 863 771583914038064392573104794873533787367845023000458350015535624221504096 864 182127775973498875858459028456227590261130438641446717223960895657700031 865 6572715015689664540235867061961435479208696174450778837402 866 1285751618292166337692027053930368700972287622552933811808729922160776 867 91480445640772059876726274154739650862387080454099228178818413012624279 868 340195638488224357061515746430547990531737369946262548554401673446912399 869 854416066614777550006352593447284981709713400273456002129900693879035 870 6126386257441032670511026195713905197754734832388503920144317803402291 871 668287891492654044927833881702887866737744418676284341715461450478 872 34064949274770314854731841803683759094056680941035226415631016742130534 873 29819709083103555124897160799356000808267256710018508045600668918221569 874 88481086767304094798692034060224390266811762792858207466554358194199102 875 32335245597576654121174423495190607448193883062390473208868894207857676 876 10730310760586544254580584286090666335613296489196548417739375254173764 877 143998454586684690865955654191935472173110397466157232869425100528517745 878 74486224214500089545326304598002668428011086195376014438911282495479 879 10178442051186529923569743625483614804814873849243955591 880 35814998411037786170258059696980662522611249902360457682253920712943225 881 3549533482931868582009257126288961036005434183960809064271704872 882 2047909565175479807970551540009177405073594785677281455572359875 883 1010578850026551892996716601308930390337111432697117853391090350936948 884 4866858695045581409125531179146697751375820193760180280713135458613018 885 41203682050549811753353259215934674403731125207178624077542278060331544 886 28074804970792988889494157103583301176930450734880282938 887 15792473090360660923322759869435689425774868664068629392425162543 888 1501039978914143622426210901921840511543928374115926186284282034026008 889 36223800622856038810202779044807075049618204897844498344126521283429738 890 1 891 3150893816208876792308531598745603913330 892 38514401153627261119043764098178037575178125753467858265036725925482171 893 1579895857493079859897793408037828279793889710695364862894221482104931 894 13573346677309923187844750179842034685693035055967078554362272915911 895 9200331907303289944496756482047871367274005839873144252102164212213109 896 14241019242231006002381438039453846609897768195792662804863786085612898 897 10992571762934508910724857344274147084895925776505564682576390010153412 898 1808447144419449909720885957852311648217084302008308878040102967293168 899 5585052375434937471615917781386231217843410035874993194154949961751352 900 77938022116864446452253603708085651784351391130330 901 2647137267722670161230151367173932067358278146312148591799045329657456 902 1017393082166025783195778040721367355907122981182397543810 903 20274018623405524541751365876196764206044109575687374406019811364 904 687262094910752327217060175116979059837350974860303113569131592346290093701 905 148470818882908959582970448045293938526650377481604969268729228357614758516 906 33473816533557998533790519762595477645068592441682822059787216335990229991 907 112272517460706540164817187814660754269839758716459534701612608573144 908 36504749559281094514486996458377434390557804297461296269396840889910 909 17474001008658245026853758144370531371035708208546938590129175951707979010 910 65010070935580526864567343249973089800658949851587899773221765761118948569 911 736365984600584752775017819864697535741509296888719402615461682825 912 742466290707716246811592954040690680826475870909408830657356498795380 913 1088156494548281742710908582009159962882200253901245608436601689591864 914 9206293631065844047769030966321774910072779925375651071436093277620671 915 7204902604078085409259029998953763766399039384456985966228314974480938104 916 16899898986645157844728990462558543535515440969907039919980914138124627971 917 6189396778922577060448766797904626036104699791539058120545794364686098962 918 6489954393309586921400299970856869636076335115679404409949667861792 919 27504311905802557995114561758130691196183452934642091731904190420443802584 920 71475639452908072548930481315299008459420177830922951899685727212035103 921 913103742036369932826917983561046726254480174456978091999961538713734548 922 1096082503566928936034435126434966690301307671971693187204617225222777392 923 964677284960964071665481853295711172638660000548276190388774693034714516 924 1 925 32657304841346503354889005158433291482648645875197500727677813905735495 926 150079071552691543873081734859206196557570151853736293124063044832416148 927 7869413297143969542344342588277316543870843170190959821473054970704602036 928 9283227602817836648280803541022805985370789669890029887616762822065199 929 515859451157175466840833726217945088185371087093893740890101876967342108 930 1529182449822230937577641782503655893923968247338615021001394047696 931 8450551429605870147404268176839403497232375006796436493826894238857699358 932 109228119953143649817315319903322788778595306418127119395148455688941081 933 274875415728468556542027492490497555447157395790486135925954609947398073 934 1 935 3059030094735506783335258944929085184280413703001001863694959637235816415 936 285205353133474136396647438635254498102 937 445027365982947211698814050446515763527485742876502996485433968284376 938 921706723540339311244797622773844055205861109251230281297353586432054 939 446080978764976301955472073843894929378413211921749113794107201049355351 940 49713038647464486870246523269144089357306329856465599960060644 941 370938967944086516159156073505457270289957780371909034206035831335 942 1 943 6738120766090046256625294330217720768011140836874413862976716688610 944 838856169014621093473894619362852134694557297914767325752714418344313808 945 1870793407602358526714034448640611445582549197156275691428847363740789110 946 125110772439509048926296587219260657027475144415703856974036296795162108 947 199869564333641259201994837695745634140949573830775064183767688240227610468663 948 28423196632590166647744667604102206956310728340478311982395082784582333745068 949 6418154330970682671189580254185205202512070282929090041836039338944005288151 950 85863613662632708374294772829036491900290486013168886805273912924072814517 951 274470401202338628125105670668789554946127431282660965869354756184651515660 952 3834120739024222362194182701394645887302675040517893464382908637224320878517 953 13036254760471900630412176713538635000986120737926393653273836141606644943623 954 2190572474005861628956152192958928464877163309873416581661905091354423 955 13664059912896846484700554745723423766704909570561814619636425611210529983 956 6944862891198750006497651683112357782908925992806246363150985723 957 573803139581694003968878168017429536502178344906706742585463802054227092191 958 1099239648572878351604504152183895989016831925946738065061783836458094567591 959 3889504376623495397532121292891590681661528454603173760016820871639660535273 960 1192079658148455513130170736022018425187265141629155844960692667165429327714 961 269784139133862670532132744380967873627196190635115545212661669065830970758 962 5475436960713979855874213367470091165920761850718626798440164926839808122066 963 14182024097630781998512823890862343807556107224091430203201333228849420 964 648085916585312643779854241334578588924802493609863407031555893722516441391 965 6687136638042919424609795702795857681670231664767286191998303605541688290 966 1379038496695717283879119738654850256148455476823387722407189190671266697 967 13279938143538923390739283617176347082678404592119682558 968 1 969 44741862476352038037431041407401301403118061404752592463227044591203719280 970 1531517086627302875188899535280722167862355981390428018852141193558155943290 971 127621793717645376959212222750748078313710802208534375476147938716025473079 972 25572870148386740935689101498494965552187133053856921458 973 108663231295131214907416752971220712275139952683020075489635686118906459725 974 1335317962360342158660505043928088296436983357831009883837595915674399724758 975 3702934551593884008122224629083498042800826721571480830216557446599290402 976 702358368386934599555496854066529885945574333226725828871485911420013263528 977 4615975138428784614221413389461610128958560868874905785356270824369697344 978 103103684602512465022542132593186113844552501614573666114404489019323802 979 11787568955014573235405848900592617087074760850746919671345224449263388618 980 343046012217837339009795573012745485613235953527039264451003594512 981 32917034939799403318351447009720043584901770139470024742202036641978918 982 6906737126104453149086499342534494820203844858839852759464428631523340311 983 1 984 625740656591165474576083467249158478290775149486347856814219208404232150 985 22297043312031265510465250743648985950651781551244526575 986 104305193706367457567184513876129035228839582811846204106069068042369365 987 1651030154548208960856266733748907265065468764564646377971674629820667533870 988 1 989 902405193574954255916473795330015126838381946992157072428095677699385 990 164595246835514206501503566742740957983275494203997649274669853851422730184 991 13065330986813142789590992674182852534539194279187796636075546134272152436042617 992 5599467769713986712098558696591597270770706573231598823879522693723754845725769 993 1475934230335599466898928783438313846325539951029283146947871834252652179736330 994 705154459724676603513549845515236298680585954590708902483012954884527856 995 131538585762672780745604023537622046310961058541888903681684584459488752932 996 752746450560477234178937333692767427536882542086789699192394633608094619111935 997 2467010456200029275514653607849376704870217912569205625885517551935795771908023 998 63320820919488083009954450007142447915571368879157913518262008547328821313118 999 93623166460859700563546799779500576568168838057140320266975064891053533295657 1000 3930170274657891619690227139196132107712142378781261821890424394573112906043 1001 66771232758007214842326737233283763763262070320006249115985928155461791 1002 216550210768857039387768491750763761192020482522098089931871969953289262673703 1003 642550625396116776773144336957724565615148466146239508299486120608349714432979 1004 234709070493217700117571588448072662636926081069540322744570471390973327796006 1005 122181146685732692256892760958824817738190067384886905322210113109391638978324 1006 1238979460663923530279725289120336550595235714399773668410824129724679246093016 1007 957414402526418951915926871668702561035485693430447240037955836364041136548 1008 1 1009 81567649102209405258634544890584225780523295725584075803090654855827069189388 1010 13138985958954594370295337092072162927230547527603001552133386581311230361508 1011 309643351021446149387112062136089874624767793425450941523059060387745700091418 1012 5118440349180013659829895251214725472013107678963732286796392288880268351 1013 21693568182176632863630120693747457160781226558788514918079018937367432513 1014 300786709562849393663336585264759550034954302142994394408126713796837159277822 1015 308489683247847885748629184052983853151502588626522683925348995166638 1016 17277488175090018730136667746731244045032209731705261468125274147028351059188 1017 103036144886053936676466774563528340783070077195033657638488969120647668808 1018 460185188976213862860499833394902343967523959064543206047836295842112536116595 1019 42191160548076559077677835332027917205763080704322292412584479944964780373599 1020 116230345927759970132204157909628552679506873548054641542497497392665507853870 1021 300790888312258262344927024017680580275663551118697363050972455613398905190885 1022 35729797765873403266327989582697775238390731161990814826488511705016501523771 1023 12347965546669103721917384326216650372165019333325055181191668239431 1024 20783624882435729637988643730523985415486281709228803469214486848538272057905 1025 158945693230369903640135235729143996400368049303231700846821663323976 1026 1 1027 32635793629611260132024377614687733510155213333503475948918454942025833426431 1028 8630112632376249218967717750966912338932030648367810610487521903784002204 1029 2090801334931210446766471470353477157689304489225349565045931757368380123170 1030 67402169819753827257739598168946891119972987649488329975765840837238222988 1031 133345430474234989380257650472792434262436235872470325272297971809485350588354 1032 234964701863117180108042373152688839055382 1033 23097595204459692883611963681014488413911276711839319589682598191964893044356 1034 47933101004039821970076210030721300009125405005899286520021442656674273138064 1035 397317888973372162161253487399429258778767060526783145849611382631468122063863