# Computed by Robert Israel using Maple, December 19 2023 4 98 5 39776 6 30091200 7 9401745272 8 1515384378466 9 95800979329752 10 2928316303055152 11 53344688287016072 12 663945041894867938 13 6175076522911203760 14 45628666065434624608 15 279828063504222635456 16 1470965315291014733938 17 6792045678467252817192 18 28076984297136536880400 19 105489240417147560084432 20 364639824334045533118674 21 1171252537879882279878560 22 3525014857453406514024576 23 10009437291361133988170376 24 26974323450986725094689458 25 69337265256020002889671800 26 170741512082984164268093168 27 404296760811933553995232120 28 923583435315526252138568946 29 2041361117493784584474571888 30 4376616775239153938675186336 31 9122529563386486404643826960 32 18523672186100733403176543842 33 36707903480305587547279232136 34 71108147409156442922106957392 35 134847931214613028126442953792 36 250675633014635668073555641602 37 457349153853363166075331537248 38 819841854301510919105652434240 39 1445426807748869011080845651608 40 2508688564433652958102588021186 41 4289930462162510173066914152728 42 7233453744334661693083481734832 43 12034999621079830022472993305320 44 19771554760479401269767102696642 45 32092102909118568304389880026544 46 51495254254509257157960991881440 47 81729639856314967071626818260576 48 128366345258820112800856456498706 49 199610530102701491265060674222568 50 307443081139744495404496086464400 51 469214372127924257360027464565808 52 709853091621138579976408901406450 53 1064906322413472628021471797838496 54 1584695944833536969605423540668928 55 2339965119242994979576605435856296 56 3429502176979318998694362138132370 57 4990373975866691174277627924233912 58 7211584319851553719867556568147056 59 10352204743347670625080062794326232 60 14765316161650419497443629146451282 61 20929464310524106202757693956427632 62 29489786081234065119948339140485408 63 41311527672704106571434911997977520 64 57549372723229673017856478700547458 65 79736857649326121698486467443481416 66 109901206101499613574364389586959568 67 150710204837451557112982557694355872 68 205659316840543482754410953395376290 69 279309140127113720183963372947379552 70 377585638221056355435966888094147264 71 508158367980490587196960900388424120 72 680915302767747437776699243018824226 73 908556899453878524284346829072200536 74 1207336909453329608503279506475514928 75 1597983229866115992908176323801283400 76 2106838996668428041042862905093441698 77 2767272329605624013535354763487144880 78 3621412869565815664840277869276665696 79 4722284759078110880536986971671987968 80 6136419298850043442483154890876553906 81 7947046505033755272055014706483328680 82 10257983579426937145889970368546249232 83 13198360329801485998657649722950072976 84 16928347344307605475191872959281941522 85 21646082807156124631793449349321427872 86 27596028896439080683179140657313878912 87 35079029471763772366171232820709332168 88 44464388081681305968696733647375316850 89 56204340152455789600355369436596188408 90 70851356638847415646796117563935334896 91 89078789641557535582542236595193905208 92 111705454896996316246441858738444048562 93 139724843167699450486239437430365672560 94 174339764142343601905082435990214442912 95 217003354442034772406702111949235925584 96 269467527909555518069302716175396690850 97 333840113977207448249299779022178144776 98 412652121302721336429169583066804513616 99 508936782087102257371989528757699372288 100 626322280951877821474122139488378762050 101 769140354753926367779187545519182901088 102 942553270480599764341040888581418500160 103 1152702052094858375298330393910793134296 104 1406879239107060351683116483054818768258 105 1713729925524175343318629418406981163416 106 2083485354081045067965651097702850654640 107 2528233934389804400299206049449889328552 108 3062235222701259467547796950626488502146 109 3702283154025793217200408853097869038512 110 4468125663979049200252191317261881081312 111 5382948788447811150496150893238419980192 112 6473934395633071309557228656617828189778 113 7772901900006304911591884078305556165480 114 9317045645269079560309853822391345368208 115 11149781138977272795662415777772256155376 116 13321714992027110432751169813646104782898 117 15891755280285445064818628381386243861152 118 18928381123643267559234848734721025690880 119 22511092591970708240852065883699800426472 120 26732064622237271222049060867047846748754 121 31698031493083607037315272815195228845880 122 37532431581496957122297083110265819268976 123 44377845652714784833928867721473888780696 124 52398765843696781192558383340205895642898 125 61784736830206472814070806957643941663600 126 72753915458825839533799389344187784541728 127 85557100422805017852784146921785376205040 128 100482289413143689728852309984456523620546 129 117859827636538663957645540913152662479048 130 138068218717174170818128528637723671386576 131 161540676852018578829676825484509398204000 132 188772507736815612488409240951115343953122 133 220329415295458044605642564809957697406816 134 256856841708113581157397235284126293269952 135 299090459729059963901658295892970964239352 136 347867948906399042580074169297035773258722 137 404142201162883477449272985643644819350488 138 468996116378279012850744881276878836154160 139 543659165245899627314723929631039168985608 140 629525914885331148580342602731984224459106 141 728176732615931168517345622742281028115888 142 841400905078073249824481224130942539959392 143 971222433689224809941694391554431722408000 144 1119928793409843968534048850615617617162482 145 1290102970152712318415827350234253278634024 146 1484659123095455330488107449119570417970960 147 1706882251861143936158141472702352524298576 148 1960472285243246466954048152587929662387026 149 2249593048112803238345121712116534436655008 150 2578926606619392687926438751317188783068800 151 2953733539064156285634988420416811806191368 152 3379919731184037031290961623175525544734770 153 3864110350364238556700242321719278407480696 154 4413731713836474442835047267888599933007088 155 5037101831594027550133801941975998011430136 156 5743530475957128522930719033714198588113010 157 6543429706877446110005513918600050911534192 158 7448435865631637017343534336520541377176736 159 8471544140005143382708980841544563469768592 160 9627256901926014315226232219280933374422242 161 10931747124326792420490002308810753083471752 162 12403038298379965564287606332707499760724048 163 14061202395798086483437744930092570245768640 164 15928577554284143695936871507596941669481858 165 18030007308176131632347330015439433145642336 166 20393103341613903419810117761539064515844928 167 23048533908977814760480794523943227356939032 168 26030340247771422476577047574145073067343170 169 29376283503464189178069894525107972971463192 170 33128224895053126051553272188199644648916144 171 37332542075285053712166928167295120635252840 172 42040584881709793025999080673595080689077826 173 47309173935184576256641836623285287369447856 174 53201145822369990702552953798452522115654368 175 59785948899473844711749212499626396117938400 176 67140294077419089943224962983163993250970258 177 75348865295229043863266864365370625991994600 178 84505094760322132266756615228884826857988496 179 94712008433269450175325880313683546632094128 180 106083147662172770518871479549616964818943346 181 118743573330055698259365487119803338034997920 182 132830959369525972517477303287201205521600512 183 148496783024579922878518770621700937872431656 184 165907619802022440032175503594663895480209682 185 185246551656939883932958731029933318034530232 186 206714697600499010239604027640377087963794032 187 230532876606706794405999517441448938115525208 188 256943413430460641304446725936686414042537170 189 286212098735212479334896694500565479773028208 190 318630315767998323214163599709426643672918816 191 354517346715758322281197041903922732327390768 192 394222872833287870766989212573546110536888322 193 438129683453509630570132301699122623491245640 194 486656610078935415005682930566840803663558352 195 540261702913306577059716075620362459076184864 196 599445668428797861870528870005978842038420770 197 664755587881414943460740777478659764559130976 198 736788938090130219587946408576552508590495936 199 816197937288964886442790803506961990417116728 200 903694240450990248802030239003503257022175650 201 1000054010174725500244883384555312743846978648 202 1106123391022589788943628513920486464799007280 203 1222824417114173527860729116543532387004522696 204 1351161384810705980880890405351894052163024418 205 1492227724488135053028491588274360577744705456 206 1647213407691982417716189262597058470729392480 207 1817412928405250427119555258548292882208360832 208 2004233899749188203666548426274624565111083826 209 2209206310184136288829218697980340708202498472 210 2433992486192856339666538029456585979972781072 211 2680397811521059075113253086797320645779255312 212 2950382256329085215979413558538116296518211218 213 3246072773085177779484279274522246210734468000 214 3569776619715331123647466027299234175171713408 215 3923995674428670993992620196447448609090132296 216 4311441810772629843295602061286055154918716658 217 4735053405851337956367270277916905545244075512 218 5198013059276770021735548319701265008111282160 219 5703766605329023664219280392027640541241782712 220 6256043505994082130371607417696811566947472434 221 6858878718039643870926243491400872295088934000 222 7516636133097928287266980557191877126515599776 223 8234033695865386676757694959087439361031544016 224 9016170312020346209704491576719009673755810338 225 9868554664319000451452515155431629865637313800 226 10797136062576897246771243277798413786020734288 227 11808337460897121462656128202165122088720850560 228 12909090783588614376956443716948542718216004546 229 14106874709750370988947623162275521422741562208 230 15409755075502478447139078300837179992227313216 231 16826428062347021802454534428022741023933060440 232 18366266350165800807039619604510251883349766402 233 20039368423933726529311298921109038972284025496 234 21856611234374038336683192981994819221815457712 235 23829706424532673854395863165959343142589897512 236 25971260346634094674768373196174237191151427842 237 28294838106630812706729758765000805374529169328 238 30815031887606359533829695899387331522728486880 239 33547533817670522440440561518607622385125106208 240 36509213663231866782263761156205074498750819026 241 39718201644582967935264278770013044866322015848 242 43193976687627103403605891708360951301625886352 243 46957460443351810149001288341363050739004474480 244 51031117425356850148311344084079560705163513522 245 55439061635415726057653000490895341086716691104 246 60207170067736817763862795817394972901119169280 247 65363203504340303200088638764012483936783055976 248 70936935036830156717951522894902269486313147346 249 76960286773868677102864911981772405448231483448 250 83467475218908375088605794417249971547812703600 251 90495165829259118928432909078936989297776859928 252 98082637295426036145223803835953682843628844690 253 106271956108907096913869452688778802856593085296 254 115108162017352405450515861062795085491306889248 255 124639464998226490044061107235479272849307243376 256 134917454415949541773324037664451796910418058050 257 145997321062995681734545843937432386961922198472 258 157938092822670960079117344782834657001493566416 259 170802884730358986833935507018524770231084765152 260 184659164250989111628621898795829799256957544802 261 199579032633435437349575499588238666502744363872 262 215639523247582603540673485125305271434514404288 263 232922917856987665856534143081133765853650749560 264 251517081829521636097006947033733493513199317858 265 271515819340188223304862785084449967948407895256 266 293019249674593836845956155688345466383025399088 267 316134205798388839896477832745506038197505011592 268 340974656417526438193225738275434755966887386850 269 367662152816507863327040589398334930932424858032 270 396326301827020571102380936812332185291578070624 271 427105266347654589421629834252980407184758983360 272 460146294906830301861904711265662992812668563826 273 495606281835823214040084713269485371831900091176 274 533652359696967150110040768865522070366164801808 275 574462525693901732626064019540051862557403950800 276 618226303876253296055122366474214343695234020818 277 665145445040556665671759127059322729239483989920 278 715434666322700494628720522094347652537460333696 279 769322432574879189918865213046315811634854417288 280 827051781722134278129351352374935426401315915186 281 888881196400248290141457513809935233554471421560 282 955085524288202545041369433604190766264317655792 283 1025956949664821216334316366419118821017058121336 284 1101806018840799592746187077439470151420180141042 285 1182962722244263760457409541948106629436585518192 286 1269777636070548972467187281175106498186800533152 287 1362623126545239605524166714017583204309884600848 288 1461894619993917900058309214706444906509385704290 289 1568011942062763158638218511158486774159771689608 290 1681420729591378004357994411388057331654137094736 291 1802593918803252952153325776312646601769883832128 292 1932033313650383514006332083550654149169852884482 293 2070271238327003544535186804793611890366077063520 294 2217872278153482656748717725425763744471565340992 295 2375435113225452655066746531962944021524811470744 296 2543594449425486962612694628513015377714174775490 297 2723023051605477778431404382558750999901941367576 298 2914433883967569246211955867829701436281156078256 299 3118582362900453904666408824223536134246414536168 300 3336268727766378737457160734750303297527727603650 301 3568340535382703199644276651303093487898129612208 302 3815695284200684340709067704159257025608435404000 303 4079283174453726359973445970445049736806217798496 304 4360110010828029929743552506090948763800674850578 305 4659240254500830655770698922384624337270455377896 306 4977800231695660733563794637574533343149306104720 307 5316981506220752632199996925529951505417067192112 308 5678044423786293186267647413900655427671223147506 309 6062321836239211220239728921913937009677023785632 310 6471223014211038391253197156078635535393438930432 311 6906237757045634634105233059458227615088098635432 312 7368940709259746942643718242686058656147084186258 313 7860995893191021456089847212478215813420130779320 314 8384161467905780414368641328062887238132222980208 315 8940294724873192770848942606345941326527666656216 316 9531357331364014721162877251568318805109311323218 317 10159420833001478663540096279926649466804231868272 318 10826672427379811202242626877968838596864451966240 319 11535421021172928910802644341514276771662531967152 320 12288103583682782592255952383254077664606221443714 321 13087291810324306988934293103972886184084824174920 322 13935699110112716610005738805185170421405431328976 323 14836187931809726561727731774435174798641679666336 324 15791777443998951366615580245825089482539225999778 325 16805651584998051213710787941919639583256297090400 326 17881167499176986172690484544240444761175949446848 327 19021864376938863460101442888800584686866590634680 328 20231472716333207007396155429966391435428880070946 329 21513924025011956578165813046822064045187983873368 330 22873360982007058634927903406430267404033627998256 331 24314148079606115890383377275620414823599003166280 332 25840882766430220367535134977744416417382470603682 333 27458407113676840618331377006713979228370340832176 334 29171820027381534582047055064055055501372013816672 335 30986490030476415666543241436400856289474814774272 336 32908068639381845391999160522678976992179192662962 337 34942504360861930801248383551607090284119221017768 338 37096057335905274309181881821656741493339482320400 339 39375314658461300270346052482451156944045285803408 340 41787206397970646883322192445417558416256863260946 341 44339022355776883823140390664551538577405004360608 342 47038429586697555076742072337482724539216737443712 343 49893490718266654004253272629124723187700834786760 344 52912683101439557212565772786664643396162168283762 345 56104918827876662509789629795958971599805841921784 346 59479565650295025841162986683688802540851023228400 347 63046468843799750457109278360662858249024783614776 348 66815974047580373573041882193960441613335671455666 349 70798951127883694827128641223430029967801548235888 350 75006819104755120039279799827264984937490808656800 351 79451572186677427295071096234271414491127416817488 352 84145806958930726813073150085252051540596254722210 353 89102750773252161801730014503239512371119880972296 354 94336291388190520201188890475525720316024395587408 355 99861007911431389150790359268188919668746797398016 356 105692203097314835714248731028166740357738735207490 357 111845937054781949021771036328886529364817507366752 358 118339062423071102001109508903375243098007924780096 359 125189261074641719573131333570820936684505419581912 360 132415082407034973375717951846854382758521780984962 361 140035983287689525705342474431974421319746291587992 362 148072369718118650248795753706888560974414071070128 363 156545640286325266753983511871719982588326802778280 364 165478231478886214897463844195693595020574049315458 365 174893664926779106318071412483446514855654186720176 366 184816596661757055272836778521149003565291290350048 367 195272868462901296819605731601339112648419299771552 368 206289561375902034995770815234912083056050031509330 369 217895051490636781268592705580708175232550094068072 370 230119068065735987717046884666311507970660297154704 371 242992754092051077208471612180592668538463919837680 372 256548729390273238735878151079851901353054119634226 373 270821156341395893988115686386858952383229832526496 374 285845808352272946696551204587220168494146101205248 375 301660141162202288838970057244720957936042549178600 376 318303367100263143156053611121690793831037481559378 377 335816532407060354075536194882823523790571684886840 378 354242597738582484563139980648751046425225815741296 379 373626521974067423727987399047264092623101302199448 380 394015349454093154428829616073651591689440130641426 381 415458300779576475605884174248527544186387958559600 382 438006867306973035931167552834316894575260247575072 383 461714909479732343051011939161226962660048564076016 384 486638759140975912476090421675876621368424620721602 385 512837325977439978041402475922236249090988631127752 386 540372208249960890384805222637690550824045607800272 387 569307807971186295194449298852591040992812864373088 388 599711450696773351730030476349717147181481619146210 389 631653510102091698649421469222705731332250245152608 390 665207537522388807579673477168645690512328269662656 391 700450396640504132271461967886117916217046147927288 392 737462403512541550965706438963513683352248422755042 393 776327472128432644813247127910751264217455761098200 394 817133265711052136913515601634071309639477085014832 395 859971353964487267417182280139376170007741193897224 396 904937376489221087928865242622873516423215873447010 397 952131212589371869664861763379004250519217166726576 398 1001657157704743443457339097531657449254382137876576 399 1053624106708290901007995348626487943841826302348608 400 1108145744317699431178163560384356341998576835224050 401 1165340742878118062047816755264074418702293449737768 402 1225332967781691826597366639863192931126113126466320 403 1288251690798402647019557748463491402277501839471696 404 1354231811601868506152401287432205030616161909958738 405 1423414087783169901364951073861377791985927671672736 406 1495945373655480008555367828710543398047568605471360 407 1571978868162278473430103356826125235536313684752392 408 1651674372212236549737812543074884934862941212347186 409 1735198555774481884209533828703659863833531111855992 410 1822725235078893283688809428231746106866446401585392 411 1914435660277348187740613988688468346887422361794552 412 2010518813933457429594538431557503886859578602198898 413 2111171720720282547593777330572324943645203490147440 414 2216599768717849989805943657245537844465782283368608 415 2327017042714963856187265681927623417445793856597136 416 2442646669932884409761968511858032834742843446020578 417 2563721178601893774211225601029146461030468688727432 418 2690482869835623588583197489569014710691229678935120 419 2823184203262282739714323299422454510055125483673792 420 2962088196886607734995479379805838532227219294846594 421 3107468841671475180239353475634158770385238115980640 422 3259611531343676835833231702484527690520253762848576 423 3418813507944374769748911886478608313370797281733656 424 3585384323661239429648524438786369729404646505649218 425 3759646319496239536614745410626931722744992592741400 426 3941935121340512381793697911482296753301631738335408 427 4132600154045709516427210601321932551306331630103400 428 4332005174099699414171586265082628030634918221799746 429 4540528821533529224765068007812110271523462243844528 430 4758565191706116333232743719705741013352115139753696 431 4986524427633271529956904910214618616239581635671520 432 5224833333548363970244324488437006990468035974914962 433 5473936010403238896145829454343486428555340367450856 434 5734294514039907806934528048851004138255721413522832 435 6006389536786063264272743604443368455521935294995632 436 6290721113250643045713083205885822661335861193108082 437 6587809351119497541360757270769816970880903905499808 438 6898195187775717140535317055938239308387778123422720 439 7222441173594370295347554905657511123250912710247208 440 7561132282787305801903820233678964165901982992974866 441 7914876752700302850032192011363331176123211198538168 442 8284306952492228227433578534228184393595408450639472 443 8670080282154000827133509436677895210231886806506840 444 9072880102854088844970302646559280186174387891637202 445 9493416699626994766568327416980830249657716660830064 446 9932428277451737893248329722745453981138188412780320 447 10390681991798744678130979833839111330596902220636976 448 10868975014755824953658627862012372710648110716617986 449 11368135637877069138069286990426432157117730756320328 450 11889024412932570121135065551869052638636783655496400 451 12432535331771876671133939437116550812191687911190048 452 12999597046550046320763921920171781638873483400183330 453 13591174131602108758239911099884126804276700182841696 454 14208268388289700294247154077398379401267477777253568 455 14851920194182611074375389680860808425607491399776056 456 15523209897978025005540508021190106089732490775431330 457 16223259261601354087437706429133021314600371066259032 458 16953232950974800799999275503532284672241266001161776 459 17714340076983151810825628357558542914507327514364872 460 18507835788210841562365302598948873630830041009938722 461 19335022917070053933406015411516026135149007040008112 462 20197253680986583438365942378808773921032508238345568 463 21095931440358384277893023976688523497216014352092800 464 22032512515051226597153018496532668155969631447364658 465 23008508061246685833742295819297254025335182854877096 466 24025486010509845026780168360684301908471049350305808 467 25085073072997624099077837815209266826932670680496912 468 26188956806783597821252867086630770970715961117342610 469 27338887755331559559624309196530872865220920392977312 470 28536681655207965885969617189866555222028216292992384 471 29784221716182793336670804453612046600340486145417800 472 31083460975929289478951254145602491087602474816471026 473 32436424731595643193172093979656524761304964958029816 474 33845213050585771741219709973133490592521991857992688 475 35312003362952263614676303912039412205076280219759800 476 36839053137872066035665084394996632859419943746181938 477 38428702646744804867396558317866461291156644612021360 478 40083377815524714002958486219758627423824893979131296 479 41805593168970073352166877105194454594014433421062608 480 43597954869568852556808696798328891163943457901324066 481 45463163853975975678405462938574893598990218522252040 482 47404019069876305406087181013364706815967496672598352 483 49423420816268139872060213319790102993313628020109696 484 51524374190244767964021063518353336549757650594567362 485 53709992643436488110704021366443486557890054351874912 486 55983501651362509928001367982207979760700097894179392 487 58348242499031377923983567182587892796087663803235928 488 60807676186220032802320540740479413039778590173820930 489 63365387455955410981112971608086011287289750671277208 490 66025088949818630059749977209348850999329640453702576 491 68790625493790371538252249198888676875979425844254248 492 71665978518457107677143725821836488790403731474048002 493 74655270617501383695445985919503392239216459091701680 494 77762770248505517434559370177552839704443066402683872 495 80992896580206875263726682119306129366838285134358304 496 84350224490454385690536427459132524983076272550757330 497 87839489719230222437307333049061468175858348670159976 498 91465594181217689491905811895096769825966291045386896 499 95233611442516335974753477906190068913269171846152048 500 99148792366228284036071380988335690967204989205244850 501 103216570931765735205130596938059179151169133833671328 502 107442570232858697820286173008793123282794944979050240 503 111832608659374219931361422934429110240283160411432296 504 116392706268193889359223268584832260528195338512690898 505 121129091348535147840022329588683404078095306633361976 506 126048207187244133263007427787939057736998330587052400 507 131156719039733388317896298272161807140235566153051672 508 136461521312386932311970746438765774378918896507966866 509 141969744962407963962183910346468717918380517718045552 510 147688765121240926657920632802681819926963163344081952 511 153626208947859905679016871298787433073585018414786672 512 159789963718379422432728258918021711538352788780163138 513 166188185158611728901697783955065358348612734805500360 514 172829306026366772829403784916879283299219452661958608 515 179722044950467189094976095477599394834681463122105056 516 186875415533631065389616747277590287628608619719856738 517 194298735726559922636627200900819443838427941836720992 518 202001637480758436353154942590320071783243361396260800 519 209994076687805999946060374279248388069701524186976632 520 218286343412998392266468692233096082425677628008895074 521 226889072431480659038658486507586763816910523850643160 522 235813254075199952405355246885688988828679471624630576 523 245070245399219598159552011800949140640606917034211976 524 254671781676153181653966119030495603769037203867826658 525 264629988227700068345076029502573908916359010084794800 526 274957392602491612988091602002583330272630514049935968 527 285666937109690474334485397571667441506274647179382720 528 296771991718024053648031643098528569695252082863800946 529 308286367330177231510637757719432105026105895945787688 530 320224329442719406544871358465545138032735168860171536 531 332600612201996462431616994959490324405064957992606160 532 345430432866679828870438227088749760850165438047980242 533 358729506687932383205033219710755671801112886498885536 534 372514062218424690012002217710248925119388068524632192 535 386800857061715126172173399439515402844758222760467592 536 401607194073793921445158715481415383648126890417537202 537 416950938028884194518680695323311087321256715331299448 538 432850532761892819650903282013674866856938807300441840 539 449325018800210559734369021701883372726917615307487608 540 466394051497874490918337674841740124429677283531180786 541 484077919685426467578271089367352981519027559680316528 542 502397564849129382920821042484762463031018538219561632 543 521374600853538421168709343341666535125619412923176720 544 541031334221767526243544112489322059759344131102367842 545 561390784988142086217842320983345525809127771326199944 546 582476708138287512552055355464164185020144912975337040 547 604313615652070141279496609722763200700400965156864576 548 626926799165181865913080517973608028933538847269570306 549 650342353265543298085357481865138885502885567342524768 550 674587199441092214113479799926062518814829405089070400 551 699689110695924759325630769576186003823397458702483608 552 725676736852166525877012955947742993839237699094874050 553 752579630555369376017776660988520831069502089483273496 554 780428274001657936817653978283973940444880994424919728 555 809254106405287233093254214248275346371800309638539496 556 839089552225720145096839205620728059860321544328229570 557 869968050173790472322625603954581589738668588583675312 558 901924083016984554079290995254236411327468465875935456 559 934993208204351844434142401160534756740401590281640032 560 969212089332042770642047404524009775744206247564632082 561 1004618528470970830896518200297261230774126366254368232 562 1041251499378605423688160108754107058295668314011934608 563 1079151181617422565637942991116917082419197049071811120 564 1118358995603072669768164354773439721433640384014985458 565 1158917638605868148193885429839906591722087564238906016 566 1200871121729749002671671165809653392147130333909754368 567 1244264807893452008005228295347793704609340050477045672 568 1289145450839188815886136654013676317416989601579148690 569 1335561235194730553550560439405707346347066418850349752 570 1383561817615401510238555267059977660206014671473687664 571 1433198369033102546871560250866858971110560302693205720 572 1484523618040116187148923256403886408314927980570086226 573 1537591895436090212524327199368394882955284579628257136 574 1592459179967255255035310305982124045105424898123172128 575 1649183145287604631235001988546337731255505295270612400 576 1707823208172451762835527510065826257841029743769114498 577 1768440578015482265324391079412431062655280479565809480 578 1831098307641134439929884828212860248500423819578303696 579 1895861345464873767103794359348587289585307569001508768 580 1962796589034674366497361378489742395740663486866195106 581 2031972939987783559772237603841126526161359246285718880 582 2103461360457624954341677752994245209150498054802045632 583 2177334930966491169478728070445846652835394246941416376 584 2253668909840489767813256971931649995558969887622924322 585 2332540794184035457265181950593078864835973651739555672 586 2414030382452028518752376638309341472657217693443134512 587 2498219838658724027110401749776553592281838552712663368 588 2585193758263179105915569300724953014865967135322316450 589 2675039235772066536558174369507504529000850904090303408 590 2767845934101562879203413862474384065170605756613574496 591 2863706155740958215520451683948794939790716620749771008 592 2962714915761593053749308779145388804402220863106141362 593 3064970016715706215577852217897501345811298038715105960 594 3170572125470776027554565971868021958047924230763332112 595 3279624852025956249973385887243138135674370603365027984 596 3392234830358248282509951691156821526941281713896658450 597 3508511801347112684209678064767208094563311589717199776 598 3628568697827306338345528200010846618135328105260985216 599 3752521731820837089672804420075093227862160086078924488 600 3880490484000055799187772874743154140141627317192904050 601 4012597995435056923214215318247002318638074967402608888 602 4148970861679733360262764917357590984335236516958091760 603 4289739329252029858705764289276922374087343645173450296 604 4435037394565162186378318882342330871522639673641019058 605 4585002905367816982779349418005468877275868460798997616 606 4739777664752620206276544329082496849946968905445287840 607 4899507537793460821050542464607944016079885211049679952 608 5064342560873581317760924237848842390156770353455920546 609 5234437053767698312393368626055525834364189579553570312 610 5409949734542795311887285938799177346361804546961036112 611 5591043837343636273622252346936727879782667288828545792 612 5777887233130483327701744739111035188714556583882822978 613 5970652553437965493747907675769703327829244509755146080 614 6169517317225537933764375457076823230086746529992710208 615 6374664060891493774436587418156965711357579968429109976 616 6586280471524043349800395504733561745209179635938509698 617 6804559523464559411311068487008810682192668123125996952 618 7029699618259701988922394857559829352226582418930895280 619 7261904728080783735057119889945772745019325932371829672 620 7501384542690416323952099402545512445470390891644833154 621 7748354620038191401989579108735160990997987901856834480 622 8003036540568896290175155495039714685778179331349226976 623 8265658065328545737631703273925203310710729971693947296 624 8536453297955327134573668074627669899089135975334230098 625 8815662850644408344569784789236441360184403450010058600 626 9103534014177445349140957109494593004412715258091664528 627 9400320932109551863455371891661840689234728864136678640 628 9706284779208455641244604347578610837939290066470314546 629 10021693944242567011985043693303836558976184453321394848 630 10346824217216724966680690005607782404180296767318123776 631 10681958981156465524117082675320081132828304667483380200 632 11027389408543776872322175642535446203780822497966909522 633 11383414662509466606641255960751525575128088761193020216 634 11750342102889469004330027347652951438966320837392080752 635 12128487497254665425628138707779072133574646390177376152 636 12518175237026079364514376836172006422622954353524354322 637 12919738558789640152439927994961247387437503164722680688 638 13333519770927086621192585226854947867549267076784905760 639 13759870485682004944973132523977340211747565845448954608 640 14199151856782464207659750905696142210415593716304128706 641 14651734822744229792755824538564373006361259410865343688 642 15118000355981099297266715974448967517567549043426378192 643 15598339717851519166469867037601704377455034000661218400 644 16093154719773303487287574187777799412356870184002899682 645 16602857990540990230310107209107371394486103625174595424 646 17127873249983135574717371544193325425425008825603290560 647 17668635589099664680575376294777987978032006661135619576 648 18225591756822268297498244655175578982066021364367878626 649 18799200453543759840019448906757901103449592282398517208 650 19389932631565287955254720227739052192161007250046506800 651 19998271802613336109310977615041227115865146004853084168 652 20624714352581534292055115203301597409398979629845270370 653 21269769863655459567075043485751161728222972832777227696 654 21933961443981812872043877160565479632223866043006497888 655 22617826065046630216881983466642376766282503167056630336 656 23321914906930518261508397998511793773176133473411732210 657 24046793711612298225973262746041647927159243160617495592 658 24793043144495899253962767016538319455948956471775205136 659 25561259164338863793095813214285648332413648825368813392 660 26352053401764414365776206491897950280418103073845321042 661 27166053546542684393206779510753363250760027122386792352 662 28003903743830436630220442889915888719956571492375621248 663 28866264999562382414909704169851663015409680171170431240 664 29753815595191074497317063407965370382981385347942327858 665 30667251511976276866207757349026652728617691557906626936 666 31607286865028717940801210468455989451763947399888063728 667 32574654347317209952248829812372645257407950218772355832 668 33570105683852268543169220528897043712595670326292819570 669 34594412096263593817093801158793343708021366298847329392 670 35648364777993078546751438928627249119497277585268624544 671 36732775380329392293615947193695854533084001375663063440 672 37848476509514653113576263723061861993307657115903321826 673 38996322235158242657390345061139143701100264192942744456 674 40177188610197447172349290846996966691072602765389631568 675 41391974202649317546356017291093025836101409887407934400 676 42641600639402937501187858799019792349353220453205213058 677 43927013162306171752847752839364357633081170963367247200 678 45249181196805936849689707620628795111322901542813938496 679 46609098933406097931087184305484978095482299235291419928 680 48007785922212246300325965951671966013444678334838516546 681 49446287680837856976841083105104799083557136709957060120 682 50925676315951663809040855157354803210777393642243316912 683 52447051158751523836697930033987942062992973207291070056 684 54011539414655573961238241267804269248854911281380668482 685 55620296827507113206607234483672075052292175529134746032 686 57274508358595374549816980995050933647482879181613009632 687 58975388880800183109868249226847790423618323397479709408 688 60724183888174434071920939929187255266823210889053850770 689 62522170221284365780433760704684349730588630651092351208 690 64370656808633752675573479781782961886361280223064918416 691 66270985424504400911885952525196351085629212506556315568 692 68224531463551698353058124171565817204168051923215243122 693 70232704732500451973607312522158184925289596181812923040 694 72296950259292841335872153627820414188972054737276823552 695 74418749120047028593793320170172251092229705151351860264 696 76599619284191795275741845961790785471005618198049732370 697 78841116478149525816550662867576332247360728533891457976 698 81144835067946929371154715361885472202183106414789927536 699 83512408961140086804186970636273706823695692339663523928 700 85945512528447730895336900072741515379154286890873469650 701 88445861545494116741937508736424711450211642409110126448 702 91015214155070418120024753571399673127820946379186606880 703 93655371850331296254543954666861944483620256620875675696 704 96368180479351132149999075566985322784766046711641545218 705 99155531271472394476583330455449964693630514697633411656 706 102019361885886734156412598615202649502988725286659497680 707 104961657482897656443813639867591196603271671731300307232 708 107984451818322023668196273045944589750643654844443752226 709 111089828361496189165362625924257526051387668691027026272 710 114279921437361257553091911753119024198975408564758343872 711 117556917393110810732233340620727343820532407290011385912 712 120923055789893435171345998119409223382292881319906752418 713 124380630620071536550829857284481073085955615989390272600 714 127931991550547235125300145296029197093679973210784463408 715 131579545192675601669025989342687176914449941634409821896 716 135325756399295122091938577283582202092067950903741287458 717 139173149589415071281813742837166644269133160177972283312 718 143124310101109436006446313026179594316477891635832670560 719 147181885573177155399011743450692044373704719712020566912 720 151348587356138748288226300117150076040758289877398934834 721 155627191953149872097529292300380727097575701014893106600 722 160020542491423010937239459986926146113762816559537269776 723 164531550224759323601642319219697904383763835763640665616 724 169163196067803698249130150550545896687753830483600187538 725 173918532162647262416939669912279878765932968007319120800 726 178800683478412987571522121773540650121030013570415817088 727 183812849444471609530154969985426403974330545029070777160 728 188958305617946862758798974506896405172260445741122210546 729 194240405386181000746383931574250665206947025975897238008 730 199662581704843749409382600194045292280464132637823762416 731 205228348872380218867688096438562846919710406663127283640 732 210941304341505884071228473795238972687685877055525642802 733 216805130568469539807552312927953122388619599549168118896 734 222823596900818143788797096250203873478639275597895684512 735 229000561504410686051428675007894014606061187869160687312 736 235339973330441667098313964720785177390929523233240593442 737 241845874123248434409996374201519582434709306646766987528 738 248522400469690520536523885643834009865757264117721222480 739 255373785890903249385547881691332255803577119625830958208 740 262404362977242234026634968812679986336068529911298098626 741 269618565567249982863620492629197166310789942257046647648 742 277020930971490664962616651026831974175496841781181337152 743 284616102242114163288232235073120633419353600187282433880 744 292408830489025870269557965651794516027898648437404286722 745 300403977243554257215655471866035652023132713120013860504 746 308606516870524081403652276341620756301508702556943912880 747 317021539029659185998565668434454618197310402276543303976 748 325654251187255202212244748893844701766965423195890738946 749 334509981179079084201673384111282082334114644942358345648 750 343594179825469299130054624781788787389350174421766213600 751 352912423599627661607384440254362156398183442991657757728 752 362470417350111247485111043905290829950465132974309678290 753 372273997078550550851829663980021656249223934397257544296 754 382329132773638064269690798990161879550435320077934780048 755 392641931302449770066937965846980579489123450557878270576 756 403218639360180634180787245715469504315113770045197699250 757 414065646479394098004872500022247085408240172235536179872 758 425189488099904772373674814179199084275001711599997954816 759 436596848700433055709221324121344109207845682501270670952 760 448294564993190230019604486620952285293824465732707291602 761 460289629182572738492229400296361962495134979896564284472 762 472589192289164821546532325554936925221580360363851269488 763 485200567540269489143054380249010670402442036453854331160 764 498131233828208940693213543505653870814518651794413171858 765 511388839237657014945852154487499748392439627536704639856 766 524981204643288065676310978402372817840169564550719481888 767 538916327379048819870540873269337576114128571758514945392 768 553202384980382288446017830642910159982637139035450877250 769 567847739000755670515437262078093813067239762024604940232 770 582860938903867425978639086228537649012729427204478467024 771 598250726032932293091922503671560451759086248361859732960 772 614026037658467002950284928669662598501299926437975849826 773 630196011106023796935893795586729327430657126820186407776 774 646769987965343591615129045165508435283278895889755139008 775 663757518382425763858640632169404730851779863961101703800 776 681168365436037052738687930125647457771069737574797963618 777 699012509600207999723879333376069239453254954260845410520 778 717300153294291680616165293999766636416549963592209595696 779 736041725522186227406829287090473739407870069174358558088 780 755247886602349801691845361972336221471161620056431580386 781 774929532990264269484103215438474064843110191476566755760 782 795097802195031846270520087264914724354121941350301892192 783 815764077791817437144857513419593576349921175437292524736 784 836939994531878296040973712931196560873169616503371305842 785 858637443551951976815974720761371499259486226234014301992 786 880868577684803353589799123586593745116215948753387028752 787 903645816872761754821468454411141607968001783094729508048 788 926981853686109991660572081909482898966930224377199271890 789 950889658948218272808245767482654391585145677145054920608 790 975382487469347692193342564929158661561212297644114654336 791 1000473883891080159041752528291469209573556332810983105928 792 1026177688643364319302648491111482722222064670525669391282 793 1052508044016200199896251660869935615588687448954789644920 794 1079479400348018999954666309814118030091538677458467902192 795 1107106522332848663322314720733027086940262879558457089144 796 1135404495448390601339186730396598919897288672407022191090 797 1164388732507168201715019788221051177405243393191832126576 798 1194074980332943565576069800776934622877065384165760349856 799 1224479326564635268083727891102031682742885554038505188368 800 1255618206590006846037361613849035241794156560529517239650 801 1287508410611433186331057527826223982155808570759729680008 802 1320167090846090029882339243693698927209630549267995691600 803 1353611768862950424636752962324038608272442158354841138496 804 1387860343059011166522302588855660147477876539269974501378 805 1422931096277212066930603088907441796972256701137645216096 806 1458842703568551287688655763289364211684204400454793881920 807 1495614240100940997911678417846805122429730975931291183512 808 1533265189217389240053964917774341241096312951440275635906 809 1571815450646136153468182285831831124616215524180731889432 810 1611285348865415601518283215329624424137454401474403181232 811 1651695641625556791550539418001230414561755773769571501032 812 1693067528631184674704312460006951490598421712715005355458 813 1735422660386322773643541958909326381633501978095072447920 814 1778783147205247619928507763872532356834187049000720938208 815 1823171568391990198155931074190506252284419073492775230816 816 1868610981591426700519669795253230640978679561748276128018 817 1915124932314948502546207155793057473081127054303744388072 818 1962737463643749588018523409465036009831783442331124298640 819 2011473126112818688217408643646278488106398778558230402352 820 2061356987778773167399714623625396487911597577282107504114 821 2112414644474722192838953992066219259003053535701885391520 822 2164672230255397983838493041319931305650269601727857470976 823 2218156428035845950079132080110920842591035150928189472936 824 2272894480427017315794613544791966049826029245974209656978 825 2328914200771661393021131144523798262494091259804963849400 826 2386243984383969025109330410581502971756713875084469569648 827 2444912819996473881518619044393108174146081865838583544280 828 2504950301417774257464237290786071753665215318739941988946 829 2566386639404694828220682805614180775374897322257232269168 830 2629252673752565438898229567466254606107186996965568519456 831 2693579885607352487535672964825709556514319892093165986480 832 2759400410003437793762571036122606799000421049717709950082 833 2826747048630900048587391251931619865105342638527590325576 834 2895653282836215024713650182431714609417185811384800139472 835 2966153286860352702965704501410659000366128237270636647072 836 3038281941318312350854040199962461932714363353442286918562 837 3112074846924200386106373313634285318599613660619852143968 838 3187568338466020583361799330680496385412352493831626680000 839 3264799499034411848544905428459927005292623452886587188408 840 3343806174509635405229214711984134583429521091492634400546 841 3424626988311180823239947472521391389839794826714882136408 842 3507301356414428884663246065575375229720263624730872766512 843 3591869502638878839305764571870804778339189098062396505160 844 3678372474212518163624257689060088205411366692047151212962 845 3766852157616984517516931828588452978396220466818660619184 846 3857351294718242205594001028348741278721040450304699356000 847 3949913499187569107242741206189809651675056384945221899776 848 4044583273217724756754184438316866902935856463823433977266 849 4141406024539246044931230285743866827820653727800985938088 850 4240428083741893891064902603640412567519097683362637878800 851 4341696721906352213228807545678001548827702862595506150288 852 4445260168551359619953951353607541015217526248034223233810 853 4551167629901534472131520960938072718163724059342752443296 854 4659469307481235335248592288872000811718772520648167438208 855 4770216417039881373765457307991925611663820290145921462216 856 4883461207814240946745548370347365014598028059338186520690 857 4999256982133281562081630517734027824295805091999006268152 858 5117658115371260451338434280471168539098014436235666048496 859 5238720076254822354049111813710462206501412601307691878712 860 5362499447529959665143162115158249590220194253649685859762 861 5489053946994779918116545153826975798118692237809326228592 862 5618442448904116665839751255646005010996661699812798823328 863 5750725005752112196987181652052700765349057508630140268880 864 5885962870438994205605334320132787286763040829748279927458 865 6024218518828363531157461415044731859980903630546545824776 866 6165555672701406423525599528179305863235578650167403136848 867 6310039323114542479153827231860793228855192519033381412352 868 6457735754167118458217660855398175761926793029917687473730 869 6608712567185858646045895936822102627522933991965421586272 870 6763038705332884282851169059410191488571458480791875159104 871 6920784478644217872200439733480091766130578684167905336280 872 7082021589505792908843200045606544103714800204611759172226 873 7246823158574095758992777540022057002188263981118517043096 874 7415263751148674099618635061890396717740380377151472342448 875 7587419404003855496666128961037333377225097183381748178600 876 7763367652687130394505075632131728804616634026170804482178 877 7943187559291766019671565545292831039578908792398574955440 878 8126959740711331490684488295677674255173690589199111715296 879 8314766397383929792191119311131315405217257577629703065248 880 8506691342534049235955338720721838954007924095525533708626 881 8702820031920065613508989202320785502119815106627455165800 882 8903239594095546466136222820387041670189328063570031331472 883 9108038861192630777982849155216762153278688999583492114416 884 9317308400235880958446249686946247792576545189531851972402 885 9531140544995129241815556398241575561833016044083028859552 886 9749629428385967616848796748069624874564635020292173295872 887 9972871015426659128291479202326799729807659507641937773288 888 10200963136760378888205663692676200915636147251762806057810 889 10434005522751825419586644612464006404973249000953630391608 890 10672099838167377050545943967163363951964619272098410982256 891 10915349717448104007040199312100500148294631023548139240088 892 11163860800585084638690043239032790380106393941787733453842 893 11417740769606613878886639593562193228612448767409210143600 894 11677099385687033610615389802220929932666717675250576192032 895 11942048526887058106992159914509604952868731924594351728624 896 12212702226535613164432118122509244516752140910263374876610 897 12489176712263354970951772650015475602174788179204221477576 898 12771590445698184176912633483508256681545307483762673268176 899 13060064162833222085399166666556448364004504510127614035808 900 13354720915077869379513768255156315443857867772904314542050 901 13655686111002723379579924131395845786751599601146092105568 902 13963087558789287500270143932672957272848714832763724521920 903 14277055509395566382005193547360710273882945319069278248696 904 14597722700448802128884981369794112355347969107272388749538 905 14925224400876771223483354963001207566110501584499674302936 906 15259698456289228033940981785945874762749506486900047520560 907 15601285335121249408095133259618102422015820746658231638792 908 15950128175550405690369073318272479098826433153723797375586 909 16306372833199856627590226362004832661937540269665184015792 910 16670167929639646077908649495352007905373022495737824004192 911 17041664901698647230951881182069763842865215888034929465152 912 17421018051599790216001476620974909704074614901283163866098 913 17808384597931386547352299165249169213234705915179661120040 914 18203924727467549861482274937872546893020220843212710734608 915 18607801647850899868907940586727282152433097820773977606736 916 19020181641150926404648824867403659036213571673679124599378 917 19441234118311582945422880712410867017086109147117001699232 918 19871131674501873999732783618569850247639112325009301371520 919 20310050145383398399904808877664156396808591983155325929992 920 20758168664309010764276350125773282337633323263455221874994 921 21215669720466966284808776793878007216787858615157414501240 922 21682739217985119562492181008102985903081315661302596622576 923 22159566536009956492423123580500363742814240686361153355256 924 22646344589775449225147282906286631997901640275890980226418 925 23143269892676938033897025195396726406500009846419434892400 926 23650542619365460532213537804256564618187253873724894978208 927 24168366669878168146985168318423571124915769974214922426000 928 24696949734820692092389148715811212507854550552790968779746 929 25236503361617546345198044521695233179761878364253905320328 930 25787243021846883326387743531599210465616614816735475106896 931 26349388179676149183324583914178264360068416853978926038720 932 26923162361415419776764356606992395700889189771666622431362 933 27508793226205435743603252993450314132835431635927511164256 934 28106512637857595366310830593949336203223361918065555021632 935 28716556737863407470174649973775876497352547175336755281432 936 29339166019591153227222624714297196372702644531178552623682 937 29974585403687755608693770499461158946373687070632554154008 938 30623064314704108334340539767958339759591519862518141446320 939 31284856758962372555218008173839386412177507983728651215208 940 31960221403684009215914687657706837742167193517551794374466 941 32649421657397578111794691937402501137051923717489132097968 942 33352725751645601126563624601060629695881437591005467074272 943 34070406824010057045581493873607591705798365645905773494240 944 34802743002476348731498266213997040889777048729461796992402 945 35550017491155860362091105300481690598138328848215727775464 946 36312518657387502907187537971780632682781697329529676651920 947 37090540120238930104261511661939628694630591734253331468976 948 37884380840428394923134746460972638287406702691960435049586 949 38694345211688507932102871062387747693510010603652612602528 950 39520743153593454134091602546771225406537499986073802470400 951 40363890205871523775952225419709240999795241371685995287848 952 41224107624225115391014324568506736726322861911926572902930 953 42101722477680675959285020944017909714178315241418413024696 954 42997067747491353606451662454339925637380355747204757024368 955 43910482427615452757823323681282605853622638052631760487256 956 44842311626794100162734916124644036335104280208731632216530 957 45792906672251852755425244157055591003021583370724729880432 958 46762625215044304967170354496792813118230015627038224230176 959 47751831337077083899188473838643515462028835324801159482672 960 48760895659820955754718972409086880344818865245296471371522 961 49790195454748106160409985539680392358207135341353611888712 962 50840114755515000530935844778415125455979143720750466306768 963 51911044471917578496332874299847643264660082792395917882400 964 53003382505644888669140150764610578975395921879797988634658 965 54117533867857626728838401330248506601530535627167446841696 966 55253910798618400995606354552469990521080026857546303036608 967 56412932888200915405908757581500749525867912227916888934712 968 57595027200305630141286366002145585121981555204594453391010 969 58800628397209835151876293225269349171790211452076160551512 970 60030178866880451511145485518155979500773717276693551924784 971 61284128852078259992123798332154639086092446617651601875400 972 62562936581482645522693188610013804226070225601976461621026 973 63867068402866340313412162858243294854463541749183902826416 974 65196998918350047511690680479903804445597029240152248769888 975 66553211121767231277221025335299363489689337135733082396800 976 67936196538169768252340938947296892083348189818956670514738 977 69346455365505569574973631937296418039410715149644863617960 978 70784496618499701909068608266069612540714884965250939617296 979 72250838274770960506772937633504566600176404872469119963408 980 73746007423216277127217624347893010580512537333859033253266 981 75270540414695780778744168798475375233893927338665510030240 982 76824983015051769785177314929552155465852806322317033274752 983 78409890560495299663550975887490670123109453975754071553096 984 80025828115394542802325512823729470777094050218794008434162 985 81673370632499533008042262358957951566630082279658290334712 986 83353103115638370707633979986305681848930612123483354794992 987 85065620784920433016984300246346858511784202332005793299128 988 86811529244482607078196103232788488746805219592080763316530 989 88591444652815045093438632088946943048321908891571483524208 990 90405993895703425407913341053768109822329324663544043382176 991 92255814761825195884798118154178596906862591808574136196048 992 94141556121037773738066591436203344724421549965120744128802 993 96063878105397180012586318945024506294610884415263987171080 994 98023452292946097093320448158761988613687246613630606197072 995 100020961894310854055932956278293475104017929042311678072704 996 102057101942147367409472661656256812657653939482918142260930 997 104132579483476593898640849199437584596010581519776022362976 998 106248113774950587599703299684718624785966034822659402578496 999 108404436481090795632384721473832216784816354787406217564248 1000 110602291875540775492806864666419650872500405603302350734850