# A075257 b-file computed by Hugo Pfoertner 2020-03-21 1 1 2 1 3 2 4 1 5 3 6 2 7 6 8 1 9 3 10 9 11 5 12 15 13 7 14 21 15 17 16 46 17 5 18 15 19 45 20 73 21 62 22 157 23 29 24 87 25 261 26 94 27 282 28 407 29 439 30 782 31 535 32 1605 33 206 34 618 35 1854 36 2137 37 3425 38 2986 39 7289 40 1669 41 5007 42 15021 43 170 44 510 45 1530 46 4590 47 13770 48 24493 49 16817 50 50451 51 6211 52 18633 53 55899 54 70610 55 97087 56 114743 57 176518 58 167711 59 361843 60 141290 61 423870 62 520369 63 751241 64 809866 65 1443857 66 985741 67 2957223 68 388607 69 1165821 70 3497463 71 3819778 72 6672611 73 4786723 74 14360169 75 870941 76 2612823 77 7838469 78 23515407 79 8242867 80 24728601 81 37574753 82 36611050 83 76113209 84 33719941 85 101159823 86 93459863 87 210019606 88 70359983 89 211079949 90 348618886 91 284620961 92 761235697 93 92627186 94 277881558 95 833644674 96 1079553673 97 1421380349 98 1817280670 99 2446860377 100 3004981633 101 4335599498 102 4679345401 103 8327453093 104 5710583110 105 17131749330 106 2140026839 107 6420080517 108 19260241551 109 23574899083 110 34205825570 111 36518871679 112 66098605031 113 43458010006 114 130374030018 115 24463775069 116 73391325207 117 220173975621 118 73093014157 119 219279042471 120 368149870235 121 289687257178 122 814762353527 123 54299418007 124 162898254021 125 488694762063 126 1466084286189 127 272310340301 128 816931020903 129 2450793062709 130 858218434654 131 2574655303962 132 3919505449511 133 3804460462375 134 7954055886158 135 3459325500967 136 10377976502901 137 10024865654606 138 21109063854097 139 8965533109721 140 26896599329163 141 27465059123407 142 53224738864082 143 29170438506139 144 87511315518417 145 42992462567690 146 128977387703070 147 90564096284491 148 271692288853473 149 24675777971246 150 74027333913738 151 222082001741214 152 494291752934221 153 171954252289421 154 515862756868263 155 795058249644979 156 752530020959810 157 1632644727975127 158 624945334904303 159 1874836004712909 160 2398152844308169 161 3226355169830558 162 3968103363093949 163 5710962146397725 164 6193347942884122 165 10939538496309053 166 7640505332343313 167 22921515997029939 168 2256594159553907 169 6769782478661721 170 20309347435985163 171 39428823916889026 172 21499218391066463 173 64497655173199389 174 32289598186401226 175 96868794559203678 176 64334572773993263 177 193003718321979789 178 33268092581637982 179 99804277744913946 180 299412833234741838 181 146525951404645601 182 439577854213936803 183 312134694085643110 184 936404082256929330 185 70194786299237969 186 210584358897713907 187 631753076693141721 188 1895259230079425163 189 1420794801269230 190 4262384403807690 191 12787153211423070 192 38361459634269210 193 115084378902807630 194 345253136708422890 195 1035759410125268670 196 3107278230375806010 197 1025570742075201089 198 3076712226225603267 199 5219551722826613674 200 4010584955850196127 201 11648070212629644895 202 383684654920943486 203 1151053964762830458 204 3453161894288491374 205 10359485682865474122 206 19596824441051195245 207 11481632607545227121 208 34444897822635681363 209 12863942892972677251 210 38591828678918031753 211 51878921896016335085 212 63896564140737760174 213 91740201547311245081 214 99949490874902035441 215 175271113767031699802 216 124577358857674406521 217 373732076573023219563 218 27503905870397473322 219 82511717611192419966 220 247535152833577259898 221 742605458500731779694 222 21039994903170725809 223 63119984709512177427 224 189359954128536532281 225 568079862385609596843 226 1386216579375366306722 227 318023007781462483807 228 954069023344387451421 229 2862207070033162354263 230 24350636967086630675 231 73051910901259892025 232 219155732703779676075 233 657467198111339028225 234 1972401594334017084675 235 5640194137082004751114 236 277010645920046502911 237 831031937760139508733 238 2493095813280418526199 239 7479287439841255578597 240 5840156574444154136902 241 16597705745079612598889 242 922763978252849811817 243 2768291934758549435451 244 8304875804275648306353 245 24914627412826944919059 246 12882558105124845323987 247 38647674315374535971961 248 23213649817981453461229 249 69640949453944360383687 250 23088423674197794070967 251 69265271022593382212901 252 116569153665041904867193 253 91226659402738241771510 254 258480801592387472830069 255 15199176615827252484461 256 45597529847481757453383 257 136792589542445272360149 258 410377768627335817080447 259 167475340144072319111767 260 502426020432216957335301 261 561231945305718174794273 262 946046115990932697211630 263 737649719926221827171189 264 2100488628046576264463701 265 112460531732089217049866 266 337381595196267651149598 267 1012144785588802953448794 268 3036434356766408860346382 269 1803044614856160111396463 270 5409133844568480334189389 271 1897124610874586135453294 272 5691373832623758406359882 273 8638903090207096460754991 274 8435218407664178758324655 275 17481490862957110623940318 276 7824164360035425651033647 277 23472493080106276953100941 278 21147815148729629267686366 279 49269664091589201591616457 280 14173781354599686211442641 281 42521344063799058634327923 282 91113866856368859929078807 283 36450165335028315973904962 284 109350496005084947921714886 285 127540939228993315891616573 286 200510548786261527873528085 287 182112268900718419801321634 288 419419377458066163819262621 289 126917429244089095584702281 290 380752287732267286754106843 291 750588415397842109118978739 292 391668447798959751143341790 293 1175005343396879253430025370 294 685091454997687322783569057 295 2055274364993061968350707171 296 784650210199888469155799882 297 2353950630599665407467399646 298 3027222254179632028428921985 299 4034629637619364193973276953 300 5047037124919531891313489002 301 7056851787938560690606341857 302 8084259586820034983334125149 303 13086295776995647088484900422 304 11166482983464457861517475025 305 28092404347522483403937226241 306 5407044602870890180615198834 307 16221133808612670541845596502 308 48663401425838011625536789506 309 13985633205245877863814093881 310 41956899615737633591442281643 311 90047671456530523421353992994 312 35823027390682377352972851935 313 107469082172047132058918555805 314 126850904806862060852170571242 315 195556341709279335324585096173 316 184996372711306847231926617553 317 401672652416531158741828670966 318 153316465717389382953951181693 319 459949397152168148861853545079 320 591752094380035944409681286126 321 788096097076468502175879349111 322 987160186063639331053164509267 323 1377128105165766175474473538066 324 1584352453025151817685019989735 325 2547031862472146708738400624463 326 2206025496603308744316659344742 327 5435070090813131381898542528647 328 1183006398996794851051435505579 329 3549019196990384553154306516737 330 10647057590971153659462919550211 331 926127085481061082026966013414 332 2778381256443183246080898040242 333 8335143769329549738242694120726 334 19901520661659666912038200476251 335 5103910646328982302689881885927 336 15311731938986946908069645657781 337 39288919399663071525355073885045 338 6646276417297769198853863088298 339 19938829251893307596561589264894 340 59816487755679922789684767794682 341 31465164774118214990965001507261 342 94395494322354644972895004521783 343 53588804170566908405194297355002 344 160766412511700725215582892065006 345 68831266284796301297907824145341 346 206493798854388903893723472436023 347 206974172395916970455117379613654 348 412507224167249741226053037694415 349 208415293020501170139299101146547 350 625245879061503510417897303439641 351 403860500419744543120962708497057 352 1211581501259233629362888125491171 353 260295635505532358769841076330695 354 780886906516597076309523228992085 355 2342660719549791228928569686976255 356 250901242205780224080730384174478 357 752703726617340672242191152523434 358 2258111179852022016726573457570302 359 3766266009974230773736214066660551 360 3008067529581835276443506306050355 361 8290730500340857044765135893931298 362 733472088404648784565383024219767 363 2200416265213946353696149072659301 364 6601248795641839061088447217977903 365 15337054351762136934945428366936923 366 4466692035163380248319913286996786 367 13400076105490140744959739860990358 368 28144394914632889811556631952823625 369 12055833401837532423322587630147449 370 36167500205512597269967762890442347 371 36209851136548539741379545337881079 372 72292649479989252068523743333445962 373 36336903929656367155614892680197275 374 109010711788969101466844678040591825 375 71530332721342287583111659279548786 376 214590998164026862749334977838646358 377 40910804481538154068087397003580331 378 122732413444614462204262191010740993 379 368197240333843386612786573032222979 380 111932536232084585362868772469394771 381 335797608696253756088606317408184313 382 656861576073191818386884629219089853 383 350531250015569449878934323005463086 384 1051593750046708349636802969016389258 385 568459728157297655644916595635417215 386 1705379184471892966934749786906251645 387 880942337510934426330742524507498914 388 2642827012532803278992227573522496742 389 1592368203371941195481279262688759279 390 4777104610115823586443837788066277837 391 1559008224110645055051565669812453110 392 4677024672331935165154697009437359330 393 8095280933904890539125250684949021071 394 5935793083090914956338840343363056919 395 17807379249272744869016521030089170757 396 542670469351011792020390681394835537 397 1628011408053035376061172044184506611 398 4884034224159106128183516132553519833 399 14652102672477318384550548397660559499 400 31715318973777762926233935834474090791 401 12240989043654192227417709358507587706 402 36722967130962576682253128075522763118 403 46182000746716519869030970069391921549 404 63986900646171210177728414157176367805 405 74559101593978349429364496050999396842 406 117401600344535281103820746420529706573 407 106275704437399767184272741732468483953 408 245929096596206076127189497529120635766 409 72898016715993225425628727668284816093 410 218694050147979676276886183004854448279 411 446195222924645326679053581914222642926 412 209886927519293702151604967100340701911 413 629660782557881106454814901301022105733 414 499037958696761171430740877341305121134 415 1389944388976882147933703826561761196065 416 107169487113401366358518805462154167337 417 321508461340204099075556416386462502011 418 964525384020612297226669249159387506033 419 2776629834456428681140367008677279412814 420 116946317605408210539640738800883105285 421 350838952816224631618922216402649315855 422 1052516858448673894856766649207947947565 423 3157550575346021684570299947623843842695 424 3652036799152957621835471473996514027042 425 5820614926885107431875428368875017501043 426 5135495470573765433630986053114524580083 427 12326349310081556861995299053510527923046 428 3080137101639739438897659105833045817203 429 9240411304919218316692977317499137451609 430 24658499523685712830395260737199400500326 431 3062734391071942119683671215298011854501 432 9188203173215826359051013645894035563503 433 27564609519647479077153040937682106690509 434 34159951487121890935298056412724047392465 435 48533877071820546296161066400322272679062 436 53945977389545126509733102837849869498333 437 91655653825916512378750096363116948538853 438 70182278342718867150449212150432659956146 439 204784683135030669985801076938918185660413 440 5762151893125931465546559512379794208025 441 17286455679377794396639678537139382624075 442 51859367038133383189919035611418147872225 443 155578101114400149569757106834254443616675 444 383867973680054751335540850321562788660239 445 82866329663145697373730470181200542189786 446 248598988989437092121191410543601626569358 447 745796966968311276363574231630804879708074 448 74341635419270188148126438609081317513499 449 223024906257810564444379315827243952540497 450 669074718773431693333137947481731857621491 451 1270949640454421383165078992974357511448735 452 736274515865873696834334849470838061415738 453 2208823547597621090503004548412514184247214 454 867750857899769362157897581039720288683253 455 2603252573699308086473692743119160866049759 456 3155467211193785822877423321078661398008630 457 4654290509904138436543654908278821200140647 458 4812111123677219032088615054957162993885243 459 9150760406035196277542349669879300606536698 460 5285572964996460818723495494992188375119031 461 15856718894989382456170486484976565125357093 462 6309989358119745557733067029669148319133970 463 18929968074359236673199201089007444957401910 464 22330199252489165137579191336253102099535399 465 34459704970588544882018411930769232772670331 466 32530892786878950530719162077990073525935866 467 70848222124886684115336073714317624792075127 468 26744456235750167476821412519652595785732471 469 80233368707250502430464237558957787357197413 470 105566841431659382438722571064342491233295497 471 135133264690092124852670141612530870838296742 472 181567259604886022463497571580496602861589749 473 223832534465390352094512853257096009653300477 474 320869244349267715295979861484393798931468770 475 350628359046903340987558698286894230028432661 476 611979374000899804900380886166287166765973649 477 439905703139810218062295208694395523319324334 478 1319717109419430654186885626083186569957973002 479 76315309443458542451961823721279407020623611 480 228945928330375627355885471163838221061870833 481 686837784991126882067656413491514663185612499 482 2060513354973380646202969240474543989556837497 483 906538950519950264482183929398383429048974566 484 2719616851559850793446551788195150287146923698 485 2555384262840340880680172003830098252474614227 486 5603466291839211499659483360755352608966156867 487 2062686496681811142381032650734942148457685814 488 6188059490045433427143097952204826445373057442 489 8559652888790389929454319479326289233067727345 490 10004525581345910351974974377288190103051444981 491 15674433085025259436387984060690677596151737054 492 14339143659012471619536939071173892713002597889 493 32684155596063306689627013110898140075452613273 494 10333275380974108168983804102623538063555180394 495 30999826142922324506951412307870614190665541182 496 56719365264293487392945822922200267972137118243 497 36280113164473486127908414001411574599859505303 498 108840339493420458383725242004234723799578515909 499 25037643134986517667203812760954505516973333517 500 75112929404959553001611438282863516550920000551 501 225338788214878659004834314848590549652760001653 502 1031657725436645477526160120295599678082212006 503 3094973176309936432578480360886799034246636018 504 9284919528929809297735441082660397102739908054 505 27854758586789427893206323247981191308219724162 506 83564275760368283679618969743943573924659172486 507 250692827281104851038856909231830721773977517458 508 300492952585697023194980660758173366136354834775 509 451585529257617529921590066937318799185577717599 510 449893328499473539663351915337201299223486786726 511 904863259273379050101418285474755098333246366071 512 444816726225041568888637460536848799337213994107 513 1334450178675124706665912381610546398011641982321 514 935322872919970874749705014276870097650883121785 515 2805968618759912624249115042830610292952649365355 516 262059044345490620998917087724158803431393459823 517 786177133036471862996751263172476410294180379469 518 2358531399109415588990253789517429230882541138407 519 5011138279788359799761422988077766434249833118366 520 2064455917539886967209338380474521258397790296855 521 6193367752619660901628015141423563775193370890565 522 6775591169205531530446915442335214269158338167678 523 11804512088653451174437129981935477056421774504017 524 8522261418963143416903616345070165751053239999017 525 25566784256889430250710849035210497253159719997051 526 1324490590107779855696924565525768165052363515983 527 3973471770323339567090773696577304495157090547949 528 11920415310970018701272321089731913485471271643847 529 35761245932910056103816963269195740456413814931541 530 23720729166357096524255564484600765157384619351833 531 71162187499071289572766693453802295472153858055499 532 12400821133301782214428631869184160739702967387291 533 37202463399905346643285895607552482219108902161873 534 111607390199716039929857686822657446657326706485619 535 52275887764290699930727866062012796800322998131714 536 156827663292872099792183598186038390400968994395142 537 125718619541985320066661596219921152770688126930001 538 344764370336630979309889198338194018432218856255425 539 32391488289324980890095590321569439879845524534578 540 97174464867974942670286770964708319639536573603734 541 291523394603924828010860312894124958918609720811202 542 613203763248668186358424920834179336858664749816761 543 261366420563106297674156017848195539897164412616845 544 784099261689318893022468053544586619691493237850535 545 794145607493579368378650691109755850987336598982903 546 1558152177574377310688753469524004008087143114568702 547 824284644906360794447198603805263544874866682380007 548 2472853934719082383341595811415790634624600047140021 549 1377317953097688754277465993350957844761962614186078 550 4131953859293066262832397980052873534285887842558234 551 1909289991766492132914923460843540524825949684675751 552 5727869975299476398744770382530621574477849054027253 553 4758701610813230256837500096784458503553864788971698 554 12424908315085198939396811050807406219879682373110061 555 1851196517354491831115689239545969290781911993805033 556 5553589552063475493347067718637907872345735981415099 557 16660768656190426480041203155913723617037207944245297 558 13209170219647203013686473038324617879474191199864754 559 36773135748924076426437136429416552971637432632871137 560 2854374910017532614622282685557300666785140966723125 561 8563124730052597843866848056671902000355422900169375 562 25689374190157793531600544170015706001066268700508125 563 73212533416544305289221734376004750246705465331212786 564 3855589153929075305579898134042367756493340770311589 565 11566767461787225916739694402127103269480022310934767 566 34700302385361677750219083206381309808440066932804301 567 104100907156085033250657249619143929425320200798412903 568 65414034092469903644469277766319540480382765181174798 569 196242102277409710933407833298958621441148295543524394 570 50646585098375485174094637792153626354429541670539517 571 151939755295126455522283913376460879063288625011618551 572 386139966438727192103844948728261358905726719948415114 573 69679299446652174463006791401121278284139155086440539 574 209037898339956523389020374203363834852417465259321617 575 627113695019869570167061122610091504557252395777964851 576 252589006509703308292446557970207459023371143721518335 577 757767019529109924877339673910622377070113431164555005 578 870985059020795477331397135949444677578272612447821213 579 1402315999566534297300621885782422453632067681045843802 580 1210639177495852134693569522065911579102750156297619837 581 2996308821203750757208296135281355781793452886839911569 582 635608711283805646872412430916378955514797582052947942 583 1906826133851416940617237292749136866544392746158843826 584 5720478401554250821851711878247410599633178238476531478 585 726013216921778862283526803931140923687990093831411461 586 2178039650765336586850580411793422771063970281494234383 587 6534118952296009760551741235380268313191910844482703149 588 7723263384679627255869287183637399790955663495621245441 589 11879093472208402025785936522503405148620069037826864006 590 11290696681830479741821925028408794224246921449036872317 591 24346583734794726335535884539101421221613285664443719701 592 9525506310696712889929890546124961451127478682666897250 593 28576518932090138669789671638374884353382436048000691750 594 34937725961597327446888091432804417860329942262663570103 595 50791830834673088562480923482320235199817365881338505147 596 54021347050118893778183350816093018381172460906652205162 597 98354145453900371909259419630867687218279636737363310279 598 63709895696456309425290632817411367925237745982593305207 599 191129687089368928275871898452234103775713237947779915621 600 40222853575875878026615727622957589953887926281716710009 601 120668560727627634079847182868872769861663778845150130027 602 362005682182882902239541548606618309584991336535450390081 603 50491964781720370481611236258253641926596672181022516746 604 151475894345161111444833708774760925779790016543067550238 605 454427683035483334334501126324282777339370049629202650714 606 429621504386283890457678574462557583709217271253058452545 607 933661544720166112545824804510290748308892877634549499597 608 355202968438685558827210918877382002818758936124625858038 609 1065608905316056676481632756632146008456276808373877574114 610 1380172760405756102328630738021344233651642888405145066639 611 1816653955542413927116267531875093791717187536716487655703 612 2323864325674854379869624682188938909237741128498947544214 613 3126097540952387401479177913436342465913821481650515422895 614 3845495436072175738129696133130474261799401903846327209747 615 5532797186784986466307837607178553135942062541105219058938 616 6003689121431540748081250792212869649456143170433762570303 617 10594702438923418650842262029322789758370044452881894606511 618 7416364925371203593401490347315819189998385058419393104398 619 22249094776113610780204471041947457569995155175258179313194 620 2118647615285441578920824698705092515116593124968111401941 621 6355942845856324736762474096115277545349779374904334205823 622 19067828537568974210287422288345832636049338124713002617469 623 39204865329630091814642692042676170013469754901189089714349 624 17998620283076830816219574822361327894678259472949918138058 625 53995860849230492448658724467083983684034778418849754414174 626 45620114856582952179049776838583198461696226811767596590815 627 116367467691108525166926396562668752590408108444781666651707 628 20492876878640331370222933953080842794680571990521123120738 629 61478630635920994110668801859242528384041715971563369362214 630 184435891907762982332006405577727585152125147914690108086642 631 82695003651001267687881048297955301440376889457570399385527 632 248085010953003803063643144893865904321130668372711198156581 633 222527661119283876244495023541361549694867885913788726717818 634 521727371739727532946434411140236163268524119204344867751925 635 145855611618124095787050659483848485816079538537021312401529 636 437566834854372287361151978451545457448238615611063937204587 637 981759668746686215691100595485314546541254203464949353649659 638 330940835816430646392355339869321825803461643368242457964102 639 992822507449291939177066019607965477410384930104727373892306 640 1621515662974336061503880426978656336409916036921878229092569 641 1356951859373539756027317631845240095821238753392303892584349 642 3507595129549468428484323649090728913408509357373330794693358 643 563260448571150839597629246444991374055206902803580883059689 644 1689781345713452518792887739334974122165620708410742649179067 645 5069344037140357556378663218004922366496862125232227947537201 646 3200399557223444370683790743487298877507838335673440904304117 647 9601198671670333112051372230461896632523515007020322712912351 648 2406433882527295186400826680065571589459233033002920225395135 649 7219301647581885559202480040196714768377699099008760676185405 650 19177860484901818590550809971123403539733612889049287237156513 651 2480044457843838087056630149466740765399484407976994791399702 652 7440133373531514261169890448400222296198453223930984374199106 653 22320400120594542783509671345200666888595359671792953122597318 654 25293003502735560639916237970302580669007541363446929423273413 655 41668196859048067710612776065299419996778537651931929944518541 656 34210813649158614209135937845608322010244086438408858325301698 657 90793776927985588922702390350289937980091526517386931508253925 658 11838664019490253704705423186535028050640732797839643467651169 659 35515992058470761114116269559605084151922198393518930402953507 660 106547976175412283342348808678815252455766595180556791208860521 661 118478698530583468606936669625914449281945053180245429445296578 662 201165229995653381420109756410531308085354732361424944181284985 663 154270865596097024400700252467212039760480427179311344154604749 664 449224824390863119859629016764381884495583769904963488389250206 665 13587772397427953342471740637254234785857511632970544074564041 666 40763317192283860027415221911762704357572534898911632223692123 667 122289951576851580082245665735288113072717604696734896671076369 668 366869854730554740246736997205864339218152814090204690013229107 669 804163577275471225880017424802976262052450844396068702185188978 670 296445986916192994860193566814616755602007597874545367854498343 671 889337960748578984580580700443850266806022793623636103563495029 672 1226706784161641698199278007150461763749322141690024635137573562 673 1441307098084095255542464094181089036668746239180883675552911525 674 2238813254400829839055369927270296254579220185889190229859809161 675 2085108039851455927572022355272970855427018531653460796798925414 676 4631331723351033589594087426537917908310642026014109892780502069 677 1623992396203334193121979639280994657970413568946272497616274173 678 4871977188610002579365938917842983973911240706838817492848822519 679 7398025585239763996294343722489775093050271802257239687876409515 680 7217905980590243741803473031039176828683450318259212790670058042 681 14976170775129048247079558136430148450467365088512506272959170503 682 6677547166641682978330860956687382035582985866265132099051003623 683 20032641499925048934992582870062146106748957598795396297153010869 684 18218323658820412827915230582540917209070151800476990422673497017 685 41879600840954733977062518027645521111176720995909198468785535590 686 12775370135506504506683173719977230516033734405521772799234955461 687 38326110406519513520049521159931691548101203216565318397704866383 688 74537321980838183904454859203027641269395225365640504209416784926 689 40441009238720356655693704276767433374908384284055450983697814223 690 121323027716161069967081112830302300124725152852166352951093442669 691 61847928987633125090589760502013190308552138960699708693459097886 692 185543786962899375271769281506039570925656416882099126080377293658 693 116577367197950709538884296482854139139966902713700224079443936463 694 349732101593852128616652889448562417419900708141100672238331809389 695 90321892096895287659770658586702156217101639791496481923356135122 696 270965676290685862979311975760106468651304919374489445770068405366 697 687908736393975235210876033998878627391295565257316089021570887679 698 124988292478082353727059893281440778562619192866152248288634328419 699 374964877434247061181179679844322335687857578598456744865902985257 700 1124894632302741183543539039532967007063572735795370234597708955771 701 438878406966855107180849489337905760859837188511969039312466393590 702 1316635220900565321542548468013717282579511565535907117937399180770 703 1619170269040803121907219161247277977751369453338234546543261292953 704 2330735393660892842720426242793873869987165243269486807268936249357 705 2526775413461516523001231240947960063266943116745216832360847629502 706 4465430767521162005160047487433661546694552613063243589445961118569 707 3114895472863387563843646235410218643106276737172406907636581769937 708 9344686418590162691530938706230655929318830211517220722909745309811 709 936710411109935760105557520660110067658550890500103137791556275959 710 2810131233329807280316672561980330202975652671500309413374668827877 711 8430393699989421840950017685940990608926958014500928240124006483631 712 15856823911341323193220568350110536908395329058050321377439004341966 713 9434357188626942329629484707712434918385544985452463342933015108927 714 28303071565880826988888454123137304755156634956357390028799045326781 715 9833042979516200261143766219481871051643807232341110760584952590190 716 29499128938548600783431298658445613154931421697023332281754857770570 717 45577042779577679922090297491484430058894675939707727044057325619583 718 42920344036068122428203598483852409405899589151362269801207247692127 719 93810784302664917338067293990600880770784438667760911330964729166622 720 34950247805539449946543501460956347446914328786325898072657013909759 721 104850743416618349839630504382869042340742986358977694217971041729277 722 141631361685836952228027876127977252524696000857979141702266131860830 723 172920868564018097290863637020629874497532958218953940951646993327001 724 251973216493492759393219991363301883076555044354983484155151402255489 725 266789389198561532479370919698587740416043830301878338699789577725514 726 489130260281916745700289054391317908813621302763072113765664629040953 727 311237907313767851737823704704445312434510188142562902333704104135589 728 933713721941303555213471114113335937303530564427688707001112312406767 729 222439151590678830149572344356172476702823155718964731962177470580503 730 667317454772036490448717033068517430108469467156894195886532411741509 731 1911384559461195345042123964915317905099299070407207193154627054898289 732 90567804854914126304027134290234385226109331063475394504970180326238 733 271703414564742378912081402870703155678327993190426183514910540978714 734 815110243694227136736244208612109467034983979571278550544731622936142 735 2445330731082681410208732625836328401104951938713835651634194868808426 736 2111441484187020982965286523136578306253523968682605799265073951645347 737 5224550709061023247660911354372406897061331847458901155637510654779931 738 1109773743500039701234948215037328021699240058588916242157711200156110 739 3329321230500119103704844645111984065097720175766748726473133600468330 740 9987963691500357311114533935335952195293160527300246179419400801404990 741 1246593461682553626928407267631956409093874780720792318862286362310363 742 3739780385047660880785221802895869227281624342162376956586859086931089 743 11219341155142982642355665408687607681844873026487130869760577260793267 744 13758176072627874783274307326792423267659109432530438393048479694180251 745 19899847392801073143792688899270399777875509646930954216233252088199550 746 21374680825082551206030233081106870025101818650660360962912186994341203 747 38324861353320668225347833616704329308524710290132501685787569270257447 748 25799181121926985392742865626616280766780745661848581202948991712766162 749 77397543365780956178228596879848842300342236985545743608846975138298486 750 11777859572254063105072038343647864858451148223003180245566740959707693 751 35333578716762189315216115030943594575353444669009540736700222879123079 752 106000736150286567945648345092830783726060334007028622210100668637369237 753 79080455658040048168749292172124283741161784057595887634173292938695449 754 237241366974120144506247876516372851223485352172787662902519878816086347 755 1680385818699511161947866589995216213533865790702316093608834157325915 756 5041157456098533485843599769985648640601597372106948280826502471977745 757 15123472368295600457530799309956945921804792116320844842479507415933235 758 45370417104886801372592397929870837765414376348962534527438522247799705 759 136111251314660404117777193789612513296243129046887603582315566743399115 760 408333753943981212353331581368837539888729387140662810746946700230197345 761 100063662915738370569720190790859851944128908702719930633944003181625981 762 300190988747215111709160572372579555832386726108159791901832009544877943 763 824746610168990154781113980943073211889672526611108709705064087964088111 764 75826356072655180346367736174665455607487651713370666000431940670545718 765 227479068217965541039103208523996366822462955140111998001295822011637154 766 682437204653896623117309625571989100467388865420335994003887466034911462 767 1488497201562453119840561372558568712771678107559507471109577035175169999 768 558814412399236749511367504157398588630488488701500510902085362929564387 769 1676443237197710248534102512472195765891465466104501532706256088788693161 770 2230233955090412361476214101046111783793080367872520369720389653807252449 771 2799095756502718384126093436370475513881316030440984228398378612558827034 772 3891606108768518700302548866767859837497925073176576880762790348862930313 773 4505681160739636452075731442343566704146023018146375804432345488813550789 774 7169137165565919648831915157960012808347752201383354837856025557775240150 775 6347906316652989707395279169070687304090316853055772575441010908665412217 776 15159505180044769239100466304809351120952939751094291938127065764660308233 777 3884213769914199883085371202402710791318010808073025788195966961335928418 778 11652641309742599649256113607208132373954032424219077364587900884007785254 779 29941660460477508184959914104817210197586776020990772661597329448637211027 780 5016263468750290762808426716807186924275321251666459432166373203386144735 781 15048790406250872288425280150421560772825963754999378296499119610158434205 782 45146371218752616865275840451264682318477891264998134889497358830475302615 783 24613556287678744638370194995958200577181151791308345366629136701891751526 784 73840668863036233915110584987874601731543455373925036099887410105675254578 785 36984888505542872042346741369961244646709066629761023201975529683858901741 786 110954665516628616127040224109883733940127199889283069605926589051576705223 787 73582452566937213575944789483778826607794099602731015491760111581590156770 788 220747357700811640727834368451336479823382298808193046475280334744770470310 789 38534186282136994077341514394535895389205201256925146850739320828369488589 790 115602558846410982232024543183607686167615603770775440552217962485108465767 791 346807676539232946696073629550823058502846811312326321656653887455325397301 792 161297651434653999178063418225042799410479280084552230366229833465508059273 793 483892954303961997534190254675128398231437840253656691098689500396524177819 794 395232423879082843375967215752297977866623313598770043505042328503943954811 795 1056446439032803149226603548273087216827690207162200029791026172685628578646 796 129250832604445380901298098983806716772179733634110100724100812826203285787 797 387752497813336142703894296951420150316539200902330302172302438478609857361 798 1163257493440008428111682890854260450949617602706990906516907315435829572083 799 1489078493240619495962935358029774332444734084243168779959767951316243020707 800 2000693987079405788372113314533007020404118723877803939590953994991245695542 801 2466541492642452699516692759556315976930083528851702400288349858957483366579 802 3535540468595764665599647184042705084282272642781709418484512126016253720047 803 3864084009331593432950431094626242846507977943773397782380537450856196379690 804 6742537396455700563848510457501872406338839984571730473072998927192564780451 805 4849714631539079735002782826376856133185093846748462874068613425376024358619 806 14549143894617239205008348479130568399555281540245388622205840276128073075857 807 828753663210782751534400066998192686276144566721339922944543080073596906877 808 2486260989632348254603200200994578058828433700164019768833629240220790720631 809 7458782968897044763809600602983734176485301100492059306500887720662372161893 810 22376348906691134291428801808951202529455903301476177919502663161987116485679 811 10497285155420407553649042757463997747620061951882568948835797625440342952491 812 31491855466261222660947128272391993242860185855647706846507392876321028857473 813 25139906098391772659690234396997616597887462096898257963164798984199977647073 814 69335660300391895323151150420178363130693095470044862576357379644763108925346 815 6084057994783422655919552770814486662969290820649911313137017307836824015873 816 18252173984350267967758658312443459988907872461949733939411051923510472047619 817 54756521953050803903275974937330379966723617385849201818233155770531416142857 818 128914226968991191442499265239946762773478505741685740658290913932410614569689 819 35355338890161220267328659572044377126692346415861864796408553379183633858882 820 106066016670483660801985978716133131380077039247585594389225660137550901576646 821 245321325346328693258183157431662779813666131561609762789238528280497308273539 822 72876724665122289147774778716736614326564986181147020378438452132155396456399 823 218630173995366867443324336150209842979694958543441061135315356396466189369197 824 444457077378496923183450357428041882134738449960241206853961776312870338995021 825 211433444607603679146522651022587646804346425670081976551984292876528229112570 826 634300333822811037439567953067762940413039277010245929655952878629584687337710 827 487637453705076052964260468193775059186829647200395714353948157432498100534783 828 1415263547763357059354443391009513762052288183830342074613910478456255961478347 829 47648813351871099538338013571811415508200757770845068447933993841238340126002 830 142946440055613298615014040715434246524602273312535205343801981523715020378006 831 428839320166839895845042122146302739573806819937605616031405944571145061134018 832 1286517960500519687535126366438908218721420459812816848094217833713435183402054 833 2339838109215227196529809630156084665828834240657223485924371681719234279394961 834 1519715772286331866075569469160639990335427138781227058358281819421071270811201 835 4559147316858995598226708407481919971006281416343681175074845458263213812433603 836 940651238500354125287151013825694036144794166846762224339987767473417754940079 837 2821953715501062375861453041477082108434382500540286673019963302420253264820237 838 8465861146503187127584359124431246325303147501620860019059889907260759794460711 839 1448975850072383165947162042711737443136520080023134608804695397635210623079782 840 4346927550217149497841486128135212329409560240069403826414086192905631869239346 841 13040782650651448493524458384405636988228680720208211479242258578716895607718038 842 6560897388568580225439970818041152215134681464561830142718629552524541283344967 843 19682692165705740676319912454123456645404044393685490428155888657573623850034901 844 12878758397680024578813491881052302104147316302377313866852257526052521689774246 845 38636275193040073736440475643156906312441948907131941600556772578157565069322738 846 7533042906397123713705769838161161519622867971547215817058635868510784791007719 847 22599128719191371141117309514483484558868603914641647451175907605532354373023157 848 67797386157574113423351928543450453676605811743924942353527722816597063119069471 849 17979267795957612931146419033375619182228563091282019179908051443832492924867867 850 53937803387872838793439257100126857546685689273846057539724154331497478774603601 851 131475087288891888545470109496848884300903182866646750340950962674461217657736945 852 30338322874726627834847661803531688339153884954891422278221500320031218666073858 853 91014968624179883504542985410595065017461654864674266834664500960093655998221574 854 273044905872539650513628956231785195052384964594022800503993502880280967994664722 855 27064495229503783390725044634704493709044186351761405973383862977810314250681 856 81193485688511350172175133904113481127132559055284217920151588933430942752043 857 243580457065534050516525401712340443381397677165852653760454766800292828256129 858 730741371196602151549576205137021330144193031497557961281364300400878484768387 859 2192224113589806454648728615411063990432579094492673883844092901202635454305161 860 6576672340769419363946185846233191971297737283478021651532278703607906362915483 861 19730017022308258091838557538699575913893211850434064954596836110823719088746449 862 59190051066924774275515672616098727741679635551302194863790508332471157266239347 863 177570153200774322826547017848296183225038906653906584591371524997413471798718041 864 532710459602322968479641053544888549675116719961719753774114574992240415396154123 865 20082560461749250713120650900340112891334335932664651553795338083971186046888322 866 60247681385247752139361952701020338674003007797993954661386014251913558140664966 867 180743044155743256418085858103061016022009023393981863984158042755740674421994898 868 542229132467229769254257574309183048066027070181945591952474128267222023265984694 869 794828960336998876914097124621061133371976722578573199170530201617873804312929489 870 831858437064690430848675598306488010826104487967263576686892183183792265485024593 871 1552628443946306199893615775556695389289825679768456020824698421669829147453763874 872 942946867247765092652411019362768643188487784133334709235978127881547649001309905 873 2828840601743295277957233058088305929565463352400004127707934383644642947003929715 874 886097862847858229071203249219011595115525902772029225530182753483296846356052002 875 2658293588543574687213609747657034785346577708316087676590548260449890539068156006 876 4942130353838452917586886177388871408234286446111895481003072137000741455587581137 877 3032750411792271144053943065582232947805446678836367548768572644348930161616886881 878 9098251235376813432161829196746698843416340036509102646305717933046790484850660643 879 2695389414346274176544886269837682433481072622990216247934925833606503720295195887 880 8086168243038822529634658809513047300443217868970648743804777500819511160885587661 881 16513196048745343590305942510889366796324729617566442947177450464714356573371198381 882 7745308680371123998598033917649775105004923989345503284236882037744176909285564602 883 23235926041113371995794101752949325315014771968036509852710646113232530727856693806 884 18558353424751534776525691862068999968954492895317315704584823243166362082971336735 885 51149424698588581210856613396778975976089823008792213853547115096531230100598744683 886 4525635575666023118720462189428023930773655677159733260207354632967856148315265522 887 13576906726998069356161386568284071792320967031479199780622063898903568444945796566 888 40730720180994208068484159704852215376962901094437599341866191696710705334837389698 889 94615011612107443089203831727772616828211945223300109177945735061011560373697782263 890 27577148930875181116248647386784029302676758060012688847652840029120555630814386831 891 82731446792625543348745942160352087908030274180038066542958520087361666892443160493 892 173536439112821604802616905636181733273928803429849572143225845066552458597835799465 893 74657901265055025243620920844874530450162019110264627485649715195532542079493682014 894 223973703795165075730862762534623591350486057330793882456949145586597626238481046042 895 221977712278244713433367033529047078021138333848490206487078674417527207475532670339 896 449943399107250513759221254074823696030319838143891440883768762342265671239910467787 897 215989737727483626540879846512317538033095163401579178577467260910315951186687543230 898 647969213182450879622639539536952614099285490204737535732401782730947853560062629690 899 485871246411817035114144376175200935958578860825357608341437243385533208972981230441 900 1457613739235451105342433128525602807875736582476072825024311730156599626918943691323 901 422653900084498411341113910054098463541027312782173831456374650710724788262967306 902 1267961700253495234023341730162295390623081938346521494369123952132174364788901918 903 3803885100760485702070025190486886171869245815039564483107371856396523094366705754 904 11411655302281457106210075571460658515607737445118693449322115569189569283100117262 905 34234965906844371318630226714381975546823212335356080347966346707568707849300351786 906 102704897720533113955890680143145926640469637006068241043899040122706123547901055358 907 308114693161599341867672040429437779921408911018204723131697120368118370643703166074 908 924344079484798025603016121288313339764226733054614169395091361104355111931109498222 909 2773032238454394076809048363864940019292680199163842508185274083313065335793328494666 910 213504186974804450019397396734425443919959962338845799710752252825556239460969815623 911 640512560924413350058192190203276331759879887016537399132256758476668718382909446869 912 1921537682773240050174576570609828995279639661049612197396770275430006155148728340607 913 5543542284690724380174978934047289286918561087086532128316042963206964894387377880899 914 221070763628995770348750777782197698920357896062304463874267863083053571058807140922 915 663212290886987311046252333346593096761073688186913391622803589249160713176421422766 916 1989636872660961933138757000039779290283221064560740174868410767747482139529264268298 917 5968910617982885799416271000119337870849663193682220524605232303242446418587792804894 918 7787796308912342326574905690853959903941367418767417829977414366298751840809848005817 919 10118935545036315071673907309504053708607622162279243743838282543428587414953530408865 920 13244453381700711908050809763057826003216480094023009746093960555467668107476013608586 921 17112353253408233306970912165454335122606386392814721485420887074818094137384577618009 922 22621006891693902417181517123719142887043053889254307752860994591584910185043463207749 923 28716052868530797503731219372643862480776105289189856703401666632869372227110269646278 924 39146967806550909747813331998513566180353056378573066555181317141885358328020119976969 925 47001190799041482763380326119418021261975259488996503555023682756722758353310688961865 926 70439712620611246480059669876122677279083909646722696110520268668933316630749670969042 927 70563859776513201810081308482131386506841868820266814554550779601234958429182395916553 928 140755278085320537630097701146236645330409860119901273777010026405564991463066616990573 929 70936301244219067800146224300157514190115746340899169886642312398139883824480570759086 930 212808903732657203400438672900472542570347239022697509659926937194419651473441712277258 931 138520629279085341689708206238079879230766594996107141784460829624135439091277567935375 932 415561887837256025069124618714239637692299784988321425353382488872406317273832703806125 933 84344194081630243442483193749098110787975337083663961841937493086717198055214865090274 934 253032582244890730327449581247294332363926011250991885525812479260151594165644595270822 935 759097746734672190982348743741882997091778033752975656577437437780454782496933785812466 936 150211140450574910455092337404443472833219972877332772114960056489895377103704865244813 937 450633421351724731365277012213330418499659918631998316344880169469686131311114595734439 938 1351900264055174194095831036639991255498979755895994949034640508409058393933343787203317 939 324548414346542737030845844967883844443474453853600932237831578972724445142638109254829 940 973645243039628211092537534903651533330423361560802796713494736918173335427914327764487 941 2757507134779351634164109730048438388723041452273581118152595209336277401229478924590635 942 163428594339532999113502874662516211268228632408827271987889001418242605054264058702826 943 490285783018598997340508623987548633804685897226481815963667004254727815162792176108478 944 1470857349055796992021525871962645901414057691679445447891001012764183445488376528325434 945 4412572047167390976064577615887937704242173075038336343673003038292550336465129584976302 946 1735377630756734937952214203644666715439979060467652474942225571279128001517874425658865 947 5206132892270204813856642610934000146319937181402957424826676713837384004553623276976595 948 6296205618475233176384876033085146250966602983244399131250106829761139003323891052293446 949 9322193058335381265185051799716854187993208560964473143229923311751013010336978778636339 950 9566423797090318263969576299538584564906600388768724250520397177532403999634694378243999 951 18400155377915825531585579099611977999073025294124695179169372757720635031376241957665018 952 10299116013355129260323149799003775695646775872181477572391818774876576967527841177066979 953 30897348040065387780969449397011327086940327616544432717175456324629730902583523531200937 954 14004002080326959553464138102820831214631972393648175247940843173655597224017361164727138 955 42012006240980878660392414308462493643895917180944525743822529520966791672052083494181414 956 36676035798888325129051795779750656402293093275040597159762996279266803811681125934694259 957 89359982924054310852125447145636824529394658267792980071704592283633571204475124547849983 958 20668124472610664535029940193615144677484621557328811407584396554166840230568253256232794 959 62004373417831993605089820580845434032453864671986434222753189662500520691704759768698382 960 185407450881720274416256580662449894878245488574063694584776190634233352691152360618618773 961 605669371775706399012881080086407219116105441895608083483378353268209383961918687476373 962 1817008115327119197038643240259221657348316325686824250450135059804628151885756062429119 963 5451024345981357591115929720777664972044948977060472751350405179413884455657268187287357 964 16353073037944072773347789162332994916134846931181418254051215538241653366971804561862071 965 49059219113832218320043367486998984748404540793544254762153646614724960100915413685586213 966 147177657341496654960130102460996954245213622380632764286460939844174880302746241056758639 967 335758701318803694008081028835897456876474084872189741366378851313071842311318679614456547 968 105774270705686270872309278547093405859166782269708551493003968219452798596920043555819370 969 317322812117058812616927835641280217577500346809125654479011904658358395790760130667458110 970 584179021133665998535005972319318747192755125537735018127120681061404332546275864620092161 971 367789415217510439315777534604521905539745914889641945309915032913670854826004527382282169 972 1103368245652531317947332603813565716619237744668925835929745098741012564478013582146846507 973 281379402530956238341907778539868619419281717054637273141701911529529578334809484331147807 974 844138207592868715025723335619605858257845151163911819425105734588588735004428452993443421 975 2184587126833769000474366697281222672180586365788228415222427650104919380094802809115948293 976 347827495944837144602803309577594902592949087703507043052889553660846824918482549864381970 977 1043482487834511433808409928732784707778847263110521129158668660982540474755447649593145910 978 3130447463503534301425229786198354123336541789331563387476005982947621424266342948779437730 979 2032003933218424121586657067334934282833420957219093685979718752723749416344135279110879269 980 6096011799655272364759971202004802848500262871657281057939156258171248249032405837332637807 981 1263326657636906417929061089255325238675941539118315418509142937947866607422487729894796114 982 3789979972910719253787183267765975716027824617354946255527428813843599822267463189684388342 983 11369939918732157761361549803297927148083473852064838766582286441530799466802389569053165026 984 1864788849686033661202119445695180442713548606433742733198610581191478850604877023365563939 985 5594366549058100983606358337085541328140645819301228199595831743574436551814631070096691817 986 16783099647174302950819075011256623984421937457903684598787495230723309655443893210290075451 987 9867564710278035688457096615856435688974289672555860768164921769103173342543767403407163871 988 29602694130834107065371289847569307066922869017667582304494765307309520027631302210221491613 989 10879040100410766098628838570344129197368653683487610723702798615757235596156610017241570869 990 32637120301232298295886515711032387592105961050462832171108395847271706788469830051724712607 991 45291921990859256801598515261331404411293992319052304018673101458899617698267466561698191363 992 52619438912837638086061031871765758365023890832336192494652086082915502667142023593475946458 993 83256327059740132318734513912228454868858086124820719561367218293783350427660376091618627631 994 74601989678772781939448581703068820226213586372187857922589039954963157573765694688809211743 995 175166991500447615016754960033616544380360672002274300761512614926386893709215433586046671150 996 48638977535870730801590785075589916298280087114289273006254504938502579012081650480380964079 997 145916932607612192404772355226769748894840261342867819018763514815507737036244951441142892237 998 330945064357859921843901739798489967947961667549665810259519825025150365079319698836616157134 999 106805733464976655370415325881819278736559116478937646796770719421372846029415155486812519577 1000 320417200394929966111245977645457836209677349436812940390312158264118538088245466460437558731