# A075258 b-file computed by Hugo Pfoertner 2020-03-21 1 2 2 3 3 3 4 6 5 5 6 9 7 7 8 18 9 17 10 14 11 27 12 22 13 45 14 38 15 63 16 51 17 138 18 133 19 118 20 135 21 219 22 186 23 471 24 442 25 355 26 783 27 689 28 846 29 1221 30 1317 31 2346 32 1811 33 4815 34 4609 35 3991 36 5562 37 6411 38 10275 39 8958 40 21867 41 20198 42 15191 43 45063 44 44893 45 44383 46 42853 47 38263 48 41310 49 73479 50 56662 51 151353 52 145142 53 126509 54 167697 55 211830 56 291261 57 344229 58 529554 59 503133 60 1085529 61 944239 62 1271610 63 1561107 64 2253723 65 2429598 66 4331571 67 3345830 68 8871669 69 8483062 70 7317241 71 10492389 72 11459334 73 20017833 74 15231110 75 43080507 76 42209566 77 39596743 78 31758274 79 70546221 80 62303354 81 74185803 82 112724259 83 109833150 84 228339627 85 194619686 86 303479469 87 280379589 88 630058818 89 559698835 90 633239847 91 1045856658 92 853862883 93 2283707091 94 2191079905 95 1913198347 96 2500934022 97 3238661019 98 4264141047 99 5451842010 100 7340581131 101 9014944899 102 13006798494 103 14038036203 104 24982359279 105 19271776169 106 51395247990 107 49255221151 108 42835140634 109 57780724653 110 70724697249 111 102617476710 112 109556615037 113 198295815093 114 154837805087 115 391122090054 116 366658314985 117 293266989778 118 660521926863 119 587428912706 120 657837127413 121 1104449610705 122 869061771534 123 2444287060581 124 2389987642574 125 2227089388553 126 1738394626490 127 4398252858567 128 4125942518266 129 3309011497363 130 7352379188127 131 6494160753473 132 7723965911886 133 11758516348533 134 11413381387125 135 23862167658474 136 20402842157507 137 31133929508703 138 30074596963818 139 63327191562291 140 54361658452570 141 80689797987489 142 82395177370221 143 159674216592246 144 130503778086107 145 262533946555251 146 219541483987561 147 386932163109210 148 296368066824719 149 815076866560419 150 790401088589173 151 716373754675435 152 666246005223642 153 1482875258802663 154 1310921006513242 155 1547588270604789 156 2385174748934937 157 2257590062879430 158 4897934183925381 159 4272988849021078 160 5624508014138727 161 7194458532924507 162 9679065509491674 163 11904310089281847 164 17132886439193175 165 18580043828652366 166 32818615488927159 167 25178110156583846 168 68764547991089817 169 66507953831535910 170 59738171352874189 171 60928042307955489 172 118286471750667078 173 96787253359600615 174 193492965519598167 175 161203367333196941 176 290606383677611034 177 226271810903617771 178 579011154965939367 179 545743062384301385 180 445938784639387439 181 898238499704225514 182 751712548299579913 183 1318733562641810409 184 1006598868556167299 185 2809212246770787990 186 2739017460471550021 187 2528433101573836114 188 1896680024880694393 189 5685777690238275489 190 5684356895437006259 191 5680094511033198569 192 5667307357821775499 193 5628945898187506289 194 5513861519284698659 195 5168608382576275769 196 4132848972451007099 197 9321834691127418030 198 8296263949052216941 199 9230136678676809801 200 15658655168479841022 201 12031754867550588381 202 34944210637888934685 203 34560525982967991199 204 33409472018205160741 205 29956310123916669367 206 31078457048596422366 207 58790473323153585735 208 47308840715608358614 209 103334693467907044089 210 90470750574934366838 211 115775486036754095259 212 155636765688049005255 213 191689692422213280522 214 275220604641933735243 215 299848472624706106323 216 525813341301095099406 217 401235982443420692885 218 1121196229719069658689 219 1093692323848672185367 220 1011180606237479765401 221 763645453403902505503 222 2227816375502195339082 223 2206776380599024613273 224 2143656395889512435846 225 1954296441760975903565 226 1704239587156828790529 227 4158649738126098920166 228 3840626730344636436359 229 2886557707000248984938 230 8586621210099487062789 231 8562270573132400432114 232 8489218662231140540089 233 8270062929527360864014 234 7612595731416021835789 235 5917204783002051254025 236 16920582411246014253342 237 16643571765325967750431 238 15812539827565828241698 239 13319444014285409715499 240 22437862319523766735791 241 17520469723332462410706 242 49793117235238837796667 243 48870353256985987984850 244 46102061322227438549399 245 37797185517951790243046 246 74743882238480834757177 247 61861324133355989433190 248 115943022946123607915883 249 92729373128142154454654 250 208922848361833081151061 251 185834424687635287080094 252 207795813067780146638703 253 349707460995125714601579 254 273679978208214725314530 255 775442404777162418490207 256 760243228161335166005746 257 714645698313853408552363 258 577853108771408136192214 259 1231133305882007451241341 260 1063657965737935132129574 261 1507278061296650872005903 262 1683695835917154524382819 263 2838138347972798091634890 264 2212949159778665481513567 265 6301465884139728793391103 266 6189005352407639576341237 267 5851623757211371925191639 268 4839478971622568971742845 269 9109303070299226581039146 270 7306258455443066469642683 271 16227401533705441002568167 272 14330276922830854867114873 273 17074121497871275219079646 274 25916709270621289382264973 275 25305655222992536274973965 276 52444472588871331871820954 277 44620308228835906220787307 278 70417479240318830859302823 279 63443445446188887803059098 280 147808992274767604774849371 281 133635210920167918563406730 282 127564032191397175902983769 283 273341600569106579787236421 284 236891435234078263813331459 285 328051488015254843765144658 286 382622817686979947674849719 287 601531646358784583620584255 288 546336806702155259403964902 289 1258258132374198491457787863 290 1131340703130109395873085582 291 1142256863196801860262320529 292 2251765246193526327356936217 293 1860096798394566576213594427 294 3525016030190637760290076110 295 2839924575192950437506507053 296 6165823094979185905052121513 297 5381172884779297435896321631 298 7061851891798996222402198938 299 9081666762538896085286765955 300 12103888912858092581919830859 301 15141111374758595673940467006 302 21170555363815682071819025571 303 24252778760460104950002375447 304 39258887330986941265454701266 305 33499448950393373584552425075 306 84277213042567450211811678723 307 78870168439696560031196479889 308 62649034631083889489350883387 309 145990204277514034876610368518 310 132004571072268157012796274637 311 125870698847212900774326844929 312 270143014369591570264061978982 313 234319986978909192911089127047 314 322407246516141396176755667415 315 380552714420586182556511713726 316 586669025127838005973755288519 317 554989118133920541695779852659 318 1205017957249593476225486012898 319 1051701491532204093271534831205 320 1379848191456504446585560635237 321 1775256283140107833229043858378 322 2364288291229405506527638047333 323 2961480558190917993159493527801 324 4131384315497298526423420614198 325 4753057359075455453055059969205 326 7641095587416440126215201873389 327 6618076489809926232949978034226 328 16305210272439394145695627585941 329 15122203873442599294644192080362 330 11573184676452214741489885563625 331 31941172772913460978388758650633 332 31015045687432399896361792637219 333 28236664430989216650280894596977 334 25005431307988649214728082362178 335 59704561984979000736114601428753 336 54600651338650018433424719542826 337 45935195816960840724208936973343 338 117866758198989214576065221655135 339 111220481781691445377211358566837 340 91281652529798137780649769301943 341 179449463267039768369054303384046 342 147984298492921553378089301876785 343 283186482967063934918685013565349 344 229597678796497026513490716210347 345 482299237535102175646748676195018 346 413467971250305874348840852049677 347 619481396563166711681170417308069 348 620922517187750911365352138840962 349 1237521672501749223678159113083245 350 1029106379481248053538860011936698 351 1875737637184510531253691910318923 352 1471877136764765988132729201821866 353 3634744503777700888088664376473513 354 3374448868272168529318823300142818 355 2593561961755571453009300071150733 356 7027982158649373686785709060928765 357 6777080916443593462704978676754287 358 6024377189826252790462787524230853 359 6774333539556066050179720372710906 360 11298798029922692321208642199981653 361 9024202588745505829330518918151065 362 24872191501022571134295407681793894 363 24138719412617922349730024657574127 364 21938303147403975996033875584914826 365 19803746386925517183265341653933709 366 46011163055286410804836285100810769 367 41544471020123030556516371813813983 368 40200228316470422234879219582971074 369 84433184743898669434669895858470875 370 72377351342061137011347308228323426 371 108502500616537791809903288671327041 372 108629553409645619224138636013643237 373 216877948439967756205571230000337886 374 180541044510311389049956337320140611 375 327032135366907304400534034121775475 376 255501802645565016817422374842226689 377 643772994492080588248004933515939074 378 602862190010542434179917536512358743 379 480129776565927971975655345501617750 380 1104591721001530159838359719096668937 381 992659184769445574475490946627274166 382 1007392826088761268265818952224552939 383 1970584728219575455160653887657269559 384 1620053478204006005281719564651806473 385 3154781250140125048910408907049167774 386 2586321521982827393265492311413750559 387 5116137553415678900804249360718754935 388 4235195215904744474473506836211256021 389 7928481037598409836976682720567490226 390 6336112834226468641495403457878730947 391 14331313830347470759331513364198833511 392 12772305606236825704279947694386380401 393 14031074016995805495464091028312077990 394 24285842801714671617375752054847063213 395 18350049718623756661036911711484006294 396 53422137747818234607049563090267512271 397 52879467278467222815029172408872676734 398 51251455870414187438968000364688170123 399 46367421646255081310784484232134650290 400 43956308017431955153651645192981678497 401 95145956921333288778701807503422272373 402 82904967877679096551284098144914684667 403 110168901392887730046759384226568289354 404 138546002240149559607092910208175764647 405 191960701938513630533185242471529103415 406 223677304781935048288093488152998190526 407 352204801033605843311462239261589119719 408 318827113312199301552818225197405451859 409 737787289788618228381568492587361907298 410 664889273072625002955939764919077091205 411 656082150443939028830658549014563344837 412 1338585668773935980037160745742667928778 413 1128698741254642277885555778642327226867 414 1888982347673643319364444703903066317199 415 1497113876090283514292222632023915363402 416 4169833166930646443801111479685283588195 417 4062663679817245077442592674223129420858 418 3741155218477040978367036257836666918847 419 2893576152061836891680007747478162518099 420 8329889503369286043421101026031838238442 421 8212943185763877832881460287230955133157 422 7862104232947653201262538070828305817302 423 6809587374498979306405771421620357869737 424 9472651726038065053710899842871531528085 425 10956110397458872865506414421989542081126 426 17461844780655322295626285106625052503129 427 15406486411721296300892958159343573740249 428 36979047930244670585985897160531583769138 429 33898910828604931147088238054698537951935 430 27721233914757654950078931952497412354827 431 73975498571057138491185782211598201500978 432 70912764179985196371502110996300189646477 433 61724561006769370012451097350406154082974 434 82693828558942437231459122813046320071527 435 102479854461365672805894169238172142177395 436 145601631215461638888483199200966818037186 437 161837932168635379529199308513549608494999 438 274966961477749537136250289089350845616559 439 210546835028156601451347636451297979868438 440 614354049405092009957403230816754556981239 441 608591897511966078491856671304374762773214 442 591305441832588284095216992767235380149139 443 539446074794454900905297957155817232276914 444 466734303343200448709271320502763330850025 445 1151603921040164254006622550964688365980717 446 1068737591377018556632892080783487823790931 447 820138602387581464511700670239886197221573 448 2237390900904933829090722694892414639124222 449 2163049265485663640942596256283333321610723 450 1940024359227853076498216940456089369070226 451 2007224156320295079999413842445195572864473 452 3812848921363264149495236978923072534346205 453 3076574405497390452660902129452234472930467 454 6626470642792863271509013645237542552741642 455 5758719784893093909351116064197822264058389 456 7809757721097924259421078229357482598149277 457 9466401633581357468632269963235984194025890 458 13962871529712415309630964724836463600421941 459 14436333371031657096265845164871488981655729 460 27452281218105588832627049009637901819610094 461 22166708253109128013903553514645713444491063 462 47570156684968147368511459454929695376071279 463 41260167326848401810778392425260547056937309 464 56789904223077710019597603267022334872205730 465 66990597757467495412737574008759306298606197 466 103379114911765634646055235792307698318010993 467 97592678360636851592157486233970220577807598 468 212544666374660052346008221142952874376225381 469 185800210138909884869186808623300278590492910 470 240700106121751507291392712676873362071592239 471 316700524294978147316167713193027473699886491 472 405399794070276374558010424837592612514890226 473 544701778814658067390492714741489808584769247 474 671497603396171056283538559771288028959901431 475 962607733047803145887939584453181396794406310 476 1051885077140710022962676094860682690085297983 477 1835938122002699414701142658498861500297920947 478 1396032418862889196638847449804465976978596613 479 3959151328258291962560656878249559709873919006 480 3882836018814833420108695054528280302853295395 481 3653890090484457792752809583364442081791424562 482 2967052305493330910685153169872927418605812063 483 6181540064920141938608907721423631968670512491 484 5275001114400191674126723792025248539621537925 485 8158850554679552380339655364585450861440771094 486 7666152788521022642040516011490294757423842681 487 16810398875517634498978450082266057826898470601 488 14747712378835823356597417431531115678440784787 489 18564178470136300281429293856614479336119172326 490 25678958666371169788362958437978867699203182035 491 30013576744037731055924923131864570309154334943 492 47023299255075778309163952182072032788455211162 493 43017430977037414858610817213521678139007793667 494 98052466788189920068881039332694420226357839819 495 87719191407215811899897235230070882162802659425 496 92999478428766973520854236923611842571996623546 497 170158095792880462178837468766600803916411354729 498 133877982628406976050929054765189229316551849426 499 326521018480261375151175726012704171398735547727 500 301483375345274857483971913251749665881762214210 501 226370445940315304482360474968886149330842213659 502 676016364644635977014502944545771648958280004959 503 674984706919199331536976784425476049280197792953 504 671889733742889395104398304064589250245951156935 505 662604814213959585806662862981928853143211248881 506 634750055627170157913456539733947661834991524719 507 551185779866801874233837569990004087910332352233 508 752078481843314553116570727695492165321932552374 509 901478857757091069584941982274520098409064504325 510 1354756587772852589764770200811956397556733152797 511 1349679985498420618990055746011603897670460360178 512 2714589777820137150304254856424265294999739098213 513 2269773051595095581415617395887416495662525104106 514 4003350536025374119997737144831639194034925946963 515 3068027663105403245248032130554769096384042825178 516 8417905856279737872747345128491830878857948096065 517 8155846811934247251748428040767672075426554636242 518 7369669678897775388751676777595195665132374256773 519 7075594197328246766970761368552287692647623415221 520 15033414839365079399284268964233299302749499355098 521 12968958921825192432074930583758778044351709058243 522 18580103257858982704884045424270691325580112671695 523 20326773507616594591340746327005642807475014503034 524 35413536265960353523311389945806431169265323512051 525 26891274846997210106407773600736265418212083513034 526 76700352770668290752132547105631491759479159991153 527 75375862180560510896435622540105723594426796475170 528 71402390410237171329344848843528419099269705927221 529 59481975099267152628072527753796505613798434283374 530 107283737798730168311450889807587221369241444794623 531 83563008632373071787195325322986456211856825442790 532 213486562497213868718300080361406886416461574166497 533 201085741363912086503871448492222725676758606779206 534 163883277964006739860585552884670243457649704617333 535 334822170599148119789573060467972339971980119456857 536 282546282834857419858845194405959543171657121325143 537 470482989878616299376550794558115171202906983185426 538 377155858625955960199984788659763458312064380790003 539 1034293111009892937929667595014582055296656568766275 540 1001901622720567957039572004693012615416811044231697 541 904727157852593014369285233728304295777274470627963 542 874570183811774484032580938682374876755829162433606 543 1839611289746004559075274762502538010575994249450283 544 1578244869182898261401118744654342470678829836833438 545 2352297785067956679067404160633759859074479713551605 546 2382436822480738105135952073329267552962009796948709 547 4674456532723131932066260408572012024261429343706106 548 3850171887816771137619061804766748479386562661326099 549 7418561804157247150024787434247371903873800141420063 550 6041243851059558395747321440896414059111837527233985 551 12395861577879198788497193940158620602857663527674702 552 10486571586112706655582270479315080078031713842998951 553 17183609925898429196234311147591864723433547162081759 554 14276104832439690770512500290353375510661594366915094 555 37274724945255596818190433152422218659639047119330183 556 35423528427901104987074743912876249368857135125525150 557 29869938875837629493727676194238341496511399144110051 558 49982305968571279440123609467741170851111623832735891 559 39627510658941609041059419114973853638422573599594262 560 110319407246772229279311409288249658914912297898613411 561 107465032336754696664689126602692358248127156931890286 562 98901907606702098820822278546020456247771734031720911 563 77068122570473380594801632510047118003198806101524375 564 219637600249632915867665203128014250740116395993638358 565 215782011095703840562085304993971882983623055223326769 566 204215243633916614645345610591844779714143032912392002 567 169514941248554936895126527385463469905702965979587701 568 312302721468255099751971748857431788275960602395238709 569 246888687375785196107502471091112247795577837214063911 570 588726306832229132800223499896875864323444886630573182 571 538079721733853647626128862104722237969015344960033665 572 455819265885379366566851740129382637189865875034855653 573 1158419899316181576311534846184784076717180159845245342 574 1088740599869529401848528054783662798433041004758804803 575 879702701529572878459507680580298963580623539499483186 576 1881341085059608710501183367830274513671757187333894553 577 1628752078549905402208736809860067054648386043612376218 578 2273301058587329774632019021731867131210340293493665015 579 2612955177062386431994191407848334032734817837343463639 580 4206947998699602891901865657347267360896203043137531406 581 3631917532487556404080708566197734737308250468892859511 582 8988926463611252271624888405844067345380358660519734707 583 8353317752327446624752475974927688389865561078466786765 584 6446491618476029684135238682178551523321168332307942939 585 17161435204662752465555135634742231798899534715429594434 586 16435421987740973603271608830811090875211544621598182973 587 14257382336975637016421028419017668104147574340103948590 588 19602356856888029281655223706140804939575732533448109447 589 23169790154038881767607861550912199372866990486863736323 590 35637280416625206077357809567510215445860207113480592018 591 33872090045491439225465775085226382672740764347110616951 592 73039751204384179006607653617304263664839856993331159103 593 63514244893687466116677763071179302213712378310664261853 594 85729556796270416009369014915124653060147308144002075250 595 104813177884791982340664274298413253580989826787990710309 596 152375492504019265687442770446960705599452097644015515441 597 162064041150356681334550052448279055143517382719956615486 598 295062436361701115727778258892603061654838910212089930837 599 231352540665244806302487626075191693729601164229496625630 600 573389061268106784827615695356702311327139713843339746863 601 533166207692230906800999967733744721373251787561623036854 602 412497646964603272721152784864871951511588008716472906827 603 1086017046548648706718624645819854928754974009606351170243 604 1035525081766928336237013409561601286828377337425328653497 605 884049187421767224792179700786840361048587320882261103259 606 1363283049106450003003503378972848332018110148887607952142 607 1288864513158851671373035723387672751127651813759175357635 608 2800984634160498337637474413530872244926678632903648498791 609 2445781665721812778810263494653490242107919696779022640753 610 3196826715948170029444898269896438025368830425121632722342 611 4140518281217268306985892214064032700954928665215435199917 612 5449961866627241781348802595625281375151562610149462967109 613 6971592977024563139608874046566816727713223385496842632642 614 9378292622857162204437533740309027397741464444951546268685 615 11536486308216527214389088399391422785398205711538981629241 616 16598391560354959398923512821535659407826187623315657176814 617 18011067364294622244243752376638608948368429511301287710909 618 31784107316770255952526786087968369275110133358645683819533 619 24367742391399052359125295740652550085111748300226290715135 620 66747284328340832340613413125842372709985465525774537939582 621 64628636713055390761692588427137280194868872400806426537641 622 58272693867199066024930114331022002649519093025902092331818 623 57203485612706922630862266865037497908148014374139007852407 624 117614595988890275443928076128028510040409264703567269143047 625 99615975705813444627708501305667182145731005230617351004989 626 161987582547691477345976173401251951052104335256549263242522 627 136860344569748856537149330515749595385088680435302789772445 628 349102403073325575500779189688006257771224325334344999955121 629 328609526194685244130556255734925414976543753343823876834383 630 267130895558764250019887453875682886592502037372260507472169 631 553307675723288946996019216733182755456375443744070324259926 632 470612672072287679308138168435227454015998554286499924874399 633 744255032859011409190929434681597712963392005118133594469743 634 667582983357851628733485070624084649084603657741366180153454 635 1565182115219182598839303233420708489805572357613034603255775 636 1419326503601058503052252573936860003989492819076013290854246 637 1312700504563116862083455935354636372344715846833191811613761 638 2945279006240058647073301786455943639623762610394848060948977 639 2614338170423628000680946446586621813820300967026605602984875 640 2978467522347875817531198058823896432231154790314182121676918 641 4864546988923008184511641280935969009229748110765634687277707 642 4070855578120619268081952895535720287463716260176911677753047 643 10522785388648405285452970947272186740225528072119992384080074 644 9959524940077254445855341700827195366170321169316411501020385 645 8269743594363801927062453961492221244004700460905668851841318 646 15208032111421072669135989654014767099490586375696683842611603 647 12007632554197628298452198910527468221982748040023242938307486 648 28803596015010999336154116691385689897570545021060968138737053 649 26397162132483704149753290011320118308111311988058047913341918 650 21657904942745656677607440120590144305133097297026282028556215 651 57533581454705455771652429913370210619200838667147861711469539 652 55053536996861617684595799763903469853801354259170866920069837 653 47613403623330103423425909315503247557602901035239882545870731 654 66961200361783628350529014035602000665786079015378859367791954 655 75879010508206681919748713910907742007022624090340788269820239 656 125004590577144203131838328195898259990335612955795789833555623 657 102632440947475842627407813536824966030732259315226574975905094 658 272381330783956766768107171050869813940274579552160794524761775 659 260542666764466513063401747864334785889633846754321151057110606 660 225026674705995751949285478304729701737711648360802220654157099 661 319643928526236850027046426036445757367299785541670373626581563 662 355436095591750405820810008877743347845835159540736288335889734 663 603495689986960144260329269231593924256064197084274832543854955 664 462812596788291073202100757401636119281441281537934032463814247 665 1347674473172589359578887050293145653486751309714890465167750618 666 1334086700775161406236415309655891418700893798081919921093186577 667 1293323383582877546209000087744128714343321263183008288869494454 668 1171033432006025966126754422008840601270603658486273392198418085 669 1100609564191664220740210991617593017654458442270614070039687321 670 2412490731826413677640052274408928786157352533188206106555566934 671 2116044744910220682779858707594312030555344935313660738701068591 672 2668013882245736953741742101331550800418068380870908310690485087 673 3680120352484925094597834021451385291247966425070073905412720686 674 4323921294252285766627392282543267110006238717542651026658734575 675 6716439763202489517166109781810888763737660557667570689579427483 676 6255324119554367782716067065818912566281055594960382390396776242 677 13893995170053100768782262279613753724931926078042329678341506207 678 12270002773849766575660282640332759066961512509096057180725232034 679 14615931565830007738097816753528951921733722120516452478546467557 680 22194076755719291988883031167469325279150815406771719063629228545 681 21653717941770731225410419093117530486050350954777638372010174126 682 44928512325387144741238674409290445351402095265537518818877511509 683 38250965158745461762907813452603063315819109399272386719826507886 684 60097924499775146804977748610186438320246872796386188891459032607 685 54654970976461238483745691747622751627210455401430971268020491051 686 125638802522864201931187554082936563333530162987727595406356606770 687 112863432387357697424504380362959332817496428582205822607121651309 688 114978331219558540560148563479795074644303609649695955193114599149 689 223611965942514551713364577609082923808185676096921512628250354778 690 183170956703794195057670873332315490433277291812866061644552540555 691 363969083148483209901243338490906900374175458556499058853280328007 692 302121154160850084810653577988893710065623319595799350159821230121 693 556631360888698125815307844518118712776969250646297378241131880974 694 440053993690747416276423548035264573637002347932597154161687944511 695 1049196304781556385849958668345687252259702124423302016714995428167 696 958874412684661098190188009758985096042600484631805534791639293045 697 812897028872057588937935927280319405953914758123468337310205216098 698 2063726209181925705632628101996635882173886695771948267064712663037 699 1938737916703843351905568208715195103611267502905796018776078334618 700 1563773039269596290724388528870872767923409924307339273910175349361 701 3374683896908223550630617118598901021190718207386110703793126867313 702 2935805489941368443449767629260995260330881018874141664480660473723 703 3949905662701695964627645404041151847738534696607721353812197542310 704 4857510807122409365721657483741833933254108360014703639629783878859 705 6992206180982678528161278728381621609961495729808460421806808748071 706 7580326240384549569003693722843880189800829350235650497082542888506 707 13396292302563486015480142462300984640083657839189730768337883355707 708 10281396829700098451636496226890765996977381102017323860701301585770 709 28034059255770488074592816118691967787956490634551662168729235929433 710 27097348844660552314487258598031857720297939744051559030937679653474 711 24287217611330745034170586036051527517322287072551249617563010825597 712 25291181099968265522850053057822971826780874043502784720372019450893 713 47570471734023969579661705050331610725185987174150964132317013025898 714 38136114545397027250032220342619175806800442188698500789383997916971 715 84909214697642480966665362369411914265469904869072170086397135980343 716 75076171718126280705521596149930043213826097636731059325812183390153 717 88497386815645802350293895975336839464794265091069996845264573311710 718 136731128338733039766270892474453290176684027819123181132171976858749 719 128761032108204367284610795451557228217698767454086809403621743076381 720 281432352907994752014201881971802642312353316003282733992894187499866 721 246482105102455302067658380510846294865438987216956835920237173590107 722 314552230249855049518891513148607127022228959076933082653913125187831 723 424894085057510856684083628383931757574088002573937425106798395582490 724 518762605692054291872590911061889623492598874656861822854940979981003 725 755919649480478278179659974089905649229665133064950452465454206766467 726 800368167595684597438112759095763221248131490905635016099368733176542 727 1467390780845750237100867163173953726440863908289216341296993887122859 728 1156152873531982385363043458469508414006353720146653438963289782987270 729 2801141165823910665640413342340007811910591693283066121003336937220301 730 2578702014233231835490840997983835335207768537564101389041159466639798 731 2001952364316109471346151099205552290325408401470682587659597235224527 732 5734153678383586035126371894745953715297897211221621579463881164694867 733 5643585873528671908822344760455719330071787880158146184958910984368629 734 5371882458963929529910263357585016174393459886967720001444000443389915 735 4556772215269702393174019148972906707358475907396441450899268820453773 736 7335992193248044230626197877508985203314855816141506954902584606425278 737 6334324452561062948895859569409734918760571906047817397795221854936041 738 15673652127183069742982734063117220691183995542376703466912531964339793 739 14563878383683030041747785848079892669484755483787787224754820764183683 740 11234557153182910938042941202967908604387035308021038498281687163715353 741 29963891074501071933343601806007856585879481581900738538258202404214970 742 28717297612818518306415194538375900176785606801179946219395916041904607 743 24977517227770857425629972735480030949503982459017569262809056954973518 744 33658023465428947927066996226062823045534619079461392609281731782379801 745 41274528217883624349822921980377269802977328297591315179145439082540753 746 59699542178403219431378066697811199333626528940792862648699756264598650 747 64124042475247653618090699243320610075305455951981082888736560983023609 748 114974584059962004676043500850112987925574130870397505057362707810772341 749 89175402938035019283300635223496707158793385208548923854413716098006179 750 232192630097342868534685790639546526901026710956637230826540925414895458 751 220414770525088805429613752295898662042575562733634050580974184455187765 752 185081191808326616114397637264955067467222118064624509844273961576064686 753 318002208450859703836945035278492351178181002021085866630302005912107711 754 238921752792819655668195743106368067437019217963489978996128712973412262 755 711724100922360433518743629549118553670456056518362988707559636448259041 756 710043715103660922356795762959123337456922190727660672613950802290933126 757 705002557647562388870952163189137688816320593355553724333124299818955381 758 689879085279266788413421363879180742894515801239232879490644792403022146 759 644508668174379987040828965949309905129101424890270344963206270155222441 760 508397416859719582923051772159697391832858295843382741380890703411823326 761 1225001261831943637059994744106512619666188161421988432240840100690592035 762 1124937598916205266490274553315652767722059252719268501606896097508966054 763 900572966241645335127481717117738667497160178324479375705496028634633829 764 2474239830506970464343341942829219635669017579833326129115192263892264333 765 2398413474434315283996974206654554180061529928119955463114760323221718615 766 2170934406216349742957870998130557813239066972979843465113464501210081461 767 2047311613961689869351928876715967301402166596261007982011662398104734386 768 4465491604687359359521684117675706138315034322678522413328731105525509997 769 3906677192288122610010316613518307549684545833977021902426645742595945610 770 5029329711593130745602307537416587297674396398313504598118768266366079483 771 6690701865271237084428642303138335351379241103617561109161168961421757347 772 8397287269508155152378280309111426541643948091322952685195135837676481102 773 11674818326305556100907646600303579512493775219529730642288371046588790939 774 13517043482218909356227194327030700112438069054439127413297036466440652367 775 21507411496697758946495745473880038425043256604150064513568076673325720450 776 19043718949958969122185837507212061912270950559167317726323032725996236651 777 45478515540134307717301398914428053362858819253282875814381197293980924699 778 41594301770220107834216027712025342571540808445209850026185230332644996281 779 34957923929227798947768340821624397121862097272657232093763702652023355762 780 89824981381432524554879742314451630592760328062972317984791988345911633081 781 84808717912682233792071315597644443668485006811305858552625615142525488346 782 69759927506431361503646035447222882895659043056306480256126495532367054141 783 135439113656257850595827521353794046955433673794994404668492076491425907845 784 110825557368579105957457326357835846378252522003686059301862939789534156319 785 221522006589108701745331754963623805194630366121775108299662230317025763734 786 184537118083565829702985013593662560547921299492014085097686700633166861993 787 332863996549885848381120672329651201820381599667849208817779767154730115669 788 259281543982948634805175882845872375212587500065118193326019655573139958899 789 662242073102434922183503105354009439470146896424579139425841004234311410930 790 623707886820297928106161590959473544080941695167653992575101683405941922341 791 508105327973886945874137047775865857913326091396878552022883720920833456574 792 1040423029617698840088220888652469175508540433936978964969961662365976191903 793 879125378183044840910157470427426376098061153852426734603731828900468132630 794 1451678862911885992602570764025385194694313520760970073296068501189572533457 795 1185697271637248530127901647256893933599869940796310130515126985511831864433 796 3169339317098409447679810644819261650483070621486600089373078518056885735938 797 3040088484493964066778512545835454933710890887852489988648977705230682450151 798 2652335986680627924074618248884034783394351686950159686476675266752072592790 799 3489772480320025284335048672562781352848852808120972719550721946307488716249 800 4467235479721858487888806074089322997334202252729506339879303853948729062121 801 6002081961238217365116339943599021061212356171633411818772861984973737086626 802 7399624477927358098550078278668947930790250586555107200865049576872450099737 803 10606621405787293996798941552128115252846817928345128255453536378048761160141 804 11592252027994780298851293283878728539523933831320193347141612352568589139070 805 20227612189367101691545531372505617219016519953715191419218996781577694341353 806 15377897557828021956542748546128761085831426106966728545150383356201669982734 807 43647431683851717615025045437391705198665844620736165866617520828384219227571 808 42818678020640934863490645370393512512389700054014825943672977748310622320694 809 40332417031008586608887445169398934453561266353850806174839348508089831600063 810 32873634062111541845077844566415200277075965253358746868338460787427459438170 811 67129046720073402874286405426853607588367709904428533758507989485961349457037 812 56631761564652995320637362669389609840747647952545964809672191860521006504546 813 94475566398783667982841384817175979728580557566943120539522178628963086572419 814 75419718295175317979070703190992849793662386290694773889494396952599932941219 815 208006980901175685969453451260535089392079286410134587729072138934289326776038 816 201922922906392263313533898489720602729109995589484676415935121626452502760165 817 183670748922041995345775240177277142740202123127534942476524069702942030712546 818 164269565859152411709827924811991139900170852157547605454699467311594248428571 819 386742680906973574327497795719840288320435517225057221974872741797231843709067 820 351387342016812354060169136147795911193743170809195357178464188418048209850185 821 318198050011450982405957936148399394140231117742756783167676980412652704729938 822 735963976038986079774549472294988339440998394684829288367715584841491924820617 823 663087251373863790626774693578251725114433408503682267989277132709336528364218 824 655890521986100602329973008450629528939084875630323183405946069189398568107591 825 1333371232135490769550351072284125646404215349880723620561885328938611016985063 826 1121937787527887090403828421261537999599868924210641644009901036062082787872493 827 1902901001468433112318703859203288821239117831030737788967858635888754062013130 828 1462912361115228158892781404581325177560488941601187143061844472297494301604349 829 4245790643290071178063330173028541286156864551491026223841731435368767884435041 830 4198141829938200078524992159456729870648663793720181155393797441527529544309039 831 4055195389882586779909978118741295624124061520407645950049995460003814523931033 832 3626356069715746884064935996594992884550254700470040334018589515432669462797015 833 3859553881501559062605379099316724656164261379438450544282653501140305550206162 834 7019514327645681589589428890468253997486502721971670457773115045157702838184883 835 5499798555359349723513859421307614007151075583190443399414833225736631567373682 836 13677441950576986794680125222445759913018844249031043525224536374789641437300809 837 12736790712076632669392974208620065876874050082184281300884548607316223682360730 838 9914836996575570293531521167142983768439667581643994627864585304895970417540493 839 25397583439509561382753077373293738975909442504862580057179669721782279383382133 840 23948607589437178216805915330582001532772922424839445448374974324147068760302351 841 19601680039220028718964429202446789203363362184770041621960888131241436891063005 842 39122347951954345480573375153216910964686042160624634437726775736150686823154114 843 32561450563385765255133404335175758749551360696062804295008146183626145539809147 844 59048076497117222028959737362370369936212133181056471284467665972720871550104703 845 46169318099437197450146245481318067832064816878679157417615408446668349860330457 846 115908825579120221209321426929470718937325846721395824801670317734472695207968214 847 108375782672723097495615657091309557417702978749848608984611681865961910416960495 848 85776653953531726354498347576826072858834374835206961533435774260429556043937338 849 203392158472722340270055785630351361029817435231774827060583168449791189357208413 850 185412890676764727338909366596975741847588872140492807880675117005958696432340546 851 161813410163618516380317771300380572640057067821538172619172462994492436323810803 852 394425261866675665636410328490546652902709548599940251022852888023383652973210835 853 364086938991949037801562666687014964563555663645048828744631387703352434307136977 854 273071970367769154297019681276419899546094008780374561909966886743258778308915403 855 819134717617618951540886868695355585157154893782068401511980508640842903983994166 856 819107653122389447757496143650720880663445849595716640106007124777865093669743485 857 819026459636700936407323968516816767182318717036661355888086973188931662726991442 858 818782879179635402356807443115104426738937319359495503234326518422131369898735313 859 818052137808438800205257866909967405408793126327997945273045154121730491413966926 860 815859913694848993750609138294556341418360547233505271389201061220527855959661765 861 809283241354079574386662952448323149447062809950027249737668782516919949596746282 862 789553224331771316294824394909623573533169598099593184783071946406096230507999833 863 730363173264846542019308722293524845791489962548290989919281438073625073241760486 864 552793020064072219192761704445228662566451055894384405327909913076211601443042445 865 1598131378806968905438923160634665649025350159885159261322343724976721246188462369 866 1578048818345219654725802509734325536134015823952494609768548386892750060141574047 867 1517801136959971902586440557033305197460012816154500655107162372640836502000909081 868 1337058092804228646168354698930244181438003792760518791123004329885095827578914183 869 1626687397401689307762772722927549144198081210545836775857422384801666069797954082 870 2384486881010996630742291373863183400115930167735719597511590604853621412938788467 871 2495575311194071292546026794919464032478313463901790730060676549551376796455073779 872 4657885331838918599680847326670086167869477039305368062474095265009487442361291622 873 3714938464591153507028436307307317524680989255172033353238117137127939793359981717 874 8486521805229885833871699174264917788696390057200012383123803150933928841011789145 875 7600423942382027604800495925045906193580864154427983157593620397450631994655737143 876 7974880765630724061640829242971104356039733124948263029771644781349671617204468018 877 14826391061515358752760658532166614224702859338335686443009216411002224366762743411 878 11793640649723087608706715466584381276897412659499318894240643766653294205145856530 879 27294753706130440296485487590240096530249020109527307938917153799140371454551981929 880 24599364291784166119940601320402414096767947486537091690982227965533867734256786042 881 24258504729116467588903976428539141901329653606911946231414332502458533482656762983 882 49539588146236030770917827532668100388974188852699328841532351394143069720113595143 883 41794279465864906772319793615018325283969264863353825557295469356398892810828030541 884 69707778123340115987382305258847975945044315904109529558131938339697592183570081418 885 55675060274254604329577075586206999906863478685951947113754469729499086248914010205 886 153448274095765743632569840190336927928269469026376641560641345289593690301796234049 887 148922638520099720513849378000908903997495813349216908300433990656625834153480968527 888 135345731793101651157687991432624832205174846317737708519811926757722265708535171961 889 122192160542982624205452479114556646130888703283312798025598575090132116004512169094 890 283845034836322329267611495183317850484635835669900327533837205183034681121093346789 891 256267885905447148151362847796533821181959077609887638686184365153914125490278959958 892 248194340377876630046237826481056263724090822540114199628875560262085000677329481479 893 520609317338464814407850716908545199821786410289548716429677535199657375793507398395 894 445951416073409789164229796063670669371624391179284088944027820004124833714013716381 895 671921111385495227192588287603870774051458171992381647370847436759792878715443138126 896 665933136834734140300101100587141234063415001545470619461236023252581622426598011017 897 1349830197321751541277663762224471088090959514431674322651306287026797013719731403361 898 1133840459594267914736783915712153550057864351030095144073839026116481062533043860131 899 1943907639547352638867918618610857842297856470614212607197205348192843560680187889070 900 1458036393135535603753774242435656906339277609788854998855768104807310351707206658629 901 4372841217706353316027299385576808423627209747428218475072935190469798880756831073969 902 4372418563806268817615958271666754325163668720115436301241478815819088155968568106663 903 4371150602106015322381934929936592029773045638177089779747109691866955981603779204745 904 4367346717005254836679864904746105143601176392362050215264002320010559458509412498991 905 4355935061702973379573654829174644485085568654916931521814680204441369889226312381729 906 4321700095796129008255024602460262509538745442581575441466713857733801181377012029943 907 4218995198075595894299133922317116582898275805575507200422814817611095057829110974585 908 3910880504913996552431461881887678802976866894557302477291117697242976687185407808511 909 2986536425429198526828445760599365463212640161502688307896026336138621575254298310289 910 8319096715363182230427145091594820057878040597491527524555822249939196007379985483998 911 8105592528388377780407747694860394613958080635152681724845069997113639767919015668375 912 7465079967463964430349555504657118282198200748136144325712813238636971049536106221506 913 5764613048319720150523729711829486985838918983148836592190310826290018465446185021821 914 16630626854072173140524936802141867860755683261259596384948128889620894683162133642697 915 16409556090443177370176186024359670161835325365197291921073861026537841112103326501775 916 15746343799556190059129933691013077065074251677010378529451057437288680398926905079009 917 13756706926895228125991176690973297774791030612449638354582646669541198259397640810711 918 17906731853948657398248813000358013612548989581046661573815696909727339255763378414682 919 23363388926737026979724717072561879711824102256302253489932243098896255522429544017451 920 30356806635108945215021721928512161125822866486837731231514847630285762244860591226595 921 39733360145102135724152429289173478009649440282069029238281881666403004322428040825758 922 51337059760224699920912736496363005367819159178444164456262661224454282412153732854027 923 67863020675081707251544551371157428661129161667762923258582983774754730555130389623247 924 86148158605592392511193658117931587442328315867569570110204999898608116681330808938834 925 117440903419652729243439995995540698541059169135719199665543951425656074984060359930907 926 141003572397124448290140978358254063785925778466989510665071048270168275059932066885595 927 211319137861833739440179009628368031837251728940168088331560806006799949892249012907126 928 211691579329539605430243925446394159520525606460800443663652338803704875287547187749659 929 422265834255961612890293103438709935991229580359703821331030079216694974389199850971719 930 351329533011742545090146879138552421801113834018804651444387766818555090564719280212633 931 638426711197971610201316018701417627711041717068092528979780811583258954420325136831774 932 499906081918886268511607812463337748480275122071985387195319981959123515329047568896399 933 1246685663511768075207373856142718913076899354964964276060147466617218951821498111418375 934 1162341469430137831764890662393620802288924017881300314218209973530501753766283246328101 935 909308887185247101437441081146326469924998006630308428692397494270350159600638651057279 936 2277293240204016572947046231225648991275334101258926969732312313341364347490801357437398 937 2127082099753441662491953893821205518442114128381594197617352256851468970387096492192585 938 1676448678401716931126676881607875099942454209749595881272472087381782839075981896458146 939 4055700792165522582287493109919973766496939267687984847103921525227175181800031361609951 940 3731152377818979845256647264952089922053464813834383914866089946254450736657393252355122 941 2920935729118884633277612604710954599991270084682408390140484210754520006283742983293461 942 8272521404338054902492329190145315166169124356820743354457785628008832203688436773771905 943 8109092809998521903378826315482798954900895724411916082469896626590589598634172715069079 944 7618807026979922906038317691495250321096209827185434266506229622335861783471380538960601 945 6147949677924125914016791819532604419682152135505988818615228609571678337983004010635167 946 13237716141502172928193732847663813112726519225115009031019009114877651009395388754928906 947 11502338510745437990241518644019146397286540164647356556076783543598523007877514329270041 948 15618398676810614441569927832802000438959811544208872274480030141512152013660869830929785 949 18888616855425699529154628099255438752899808949733197393750320489283417009971673156880338 950 27966579175006143795555155399150562563979625682893419429689769935253039031010936335909017 951 28699271391270954791908728898615753694719801166306172751561191532597211998904083134731997 952 55200466133747476594756737298835933997219075882374085537508118273161905094128725872995054 953 44901350120392347334433587499832158301572300010192607965116299498285328126600884695928075 954 92692044120196163342908348191033981260820982849633298151526368973889192707750570593602811 955 78688042039869203789444210088213150046189010455985122903585525800233595483733209428875673 956 126036018722942635981177242925387480931687751542833577231467588562900375016156250482544242 957 110028107396664975387155387339251969206879279825121791479288988837800411435043377804082777 958 268079948772162932556376341436910473588183974803378940215113776850900713613425373643549949 959 247411824299552268021346401243295328910699353246050128807529380296733873382857120387317155 960 186013120253495980815269461742536302097361594015959302668259568987501562075114279306095146 961 556222352645160823248769741987349684634736465722191083754328571902700058073457081855856319 962 555616683273385116849756860907263277415620360280295475670845193549431848689495163168379946 963 553799675158057997652718217667004055758272043954608651420395058489627220537609407105950827 964 548348650812076640061602287946226390786227094977548178669044653310213336081952138918663470 965 531995577774132567288254498783893395870092248046366760414993437771971682714980334356801399 966 482936358660300348968211131296894411121687707252822505652839791157246722614064920671215186 967 441532972024489964880390307382990862735640867141898292859382819532524640908238723170275917 968 1007276103956411082024243086507692370629422254616569224099136553939215526933956038843369641 969 901501833250724811151933807960598964770255472346860672606132585719762728337035995287550271 970 951968436351176437850783506923840652732501040427376963437035713975075187372280392002374330 971 1752537063400997995605017916957956241578265376613205054381362043184212997638827593860276483 972 1384747648183487556289240382353434336038519461723563109071447010270542142812823066477994314 973 3310104736957593953841997811440697149857713234006777507789235296223037693434040746440539521 974 3028725334426637715500090032900828530438431516952140234647533384693508115099231262109391714 975 2532414622778606145077170006858817574773535453491735458275317203765766205013285358980330263 976 6553761380501307001423100091843668016541759097364685245667282950314758140284408427347844879 977 6205933884556469856820296782266073113948810009661178202614393396653911315365925877483462909 978 5162451396721958423011886853533288406169962746550657073455724735671370840610478227890316999 979 9391342390510602904275689358595062370009625367994690162428017948842864272799028846338313190 980 7359338457292178782689032291260128087176204410775596476448299196119114856454893567227433921 981 18288035398965817094279913606014408545500788614971843173817468774513744747097217511997913421 982 17024708741328910676350852516759083306824847075853527755308325836565878139674729782103117307 983 13234728768418191422563669248993107590797022458498581499780897022722278317407266592418728965 984 34109819756196473284084649409893781444250421556194516299746859324592398400407168707159495078 985 32245030906510439622882529964198601001536872949760773566548248743400919549802291683793931139 986 26650664357452338639276171627113059673396227130459545366952416999826482997987660613697239322 987 50349298941522908852457225033769871953265812373711053796362485692169928966331679630870226353 988 40481734231244873164000128417913436264291522701155193028197563923066755623787912227463062482 989 88808082392502321196113869542707921200768607053002746913484295921928560082893906630664474839 990 77929042292091555097485030972363792003399953369515136189781497306171324486737296613422903970 991 97911360903696894887659547133097162776317883151388496513325187541815120365409490155174137821 992 135875765972577770404795545783994213233881976957156912056019304376698853094802399685094574089 993 157858316738512914258183095615297275095071672497008577483956258248746508001426070780427839374 994 249768981179220396956203541736685364606574258374462158684101654881350051282981128274855882893 995 223805969036318345818345745109206460678640759116563573767767119864889472721297084066427635229 996 525500974501342845050264880100849633141082016006822902284537844779160681127646300758140013450 997 476861996965472114248674095025259716842801928892533629278283339840658102115564650277759049371 998 437750797822836577214317065680309246684520784028603457056290544446523211108734854323428676711 999 992835193073579765531705219395469903843885002648997430778559475075451095237959096509848471402 1000 886029459608603110161289893513650625107325886170059783981788755654078249208543941023035951825