1 12 13 14 25 56 137 328 809 20010 51111 132312 347113 918314 2449115 6571516 17736317 48113518 131134019 358902320 986025421 2718183522 7516519423 20843974224 57952297725 161509375526 451112296427 1262588194428 3540519706529 9945908512530 27986179287431 78871243053232 222601552959233 629121209355934 1780338679918035 5044307330105936 14308763802927737 40632890870585838 115505801348568439 328668161291314740 936091285479161341 2668492447923866642 7613473041226852343 21739613016468750744 62123683140122292445 177657785586220742246 508415955330928385747 1455958713384342003148 4172168017558347646549 11963161661017361141850 34323446535230517549451 98534076979832211919152 283023918406592757576853 813377141418993980172054 2338753386528522569126255 6728100979186820300189356 19364601582654419045759557 55760339362094145883882658 160633521471888798062914859 462950309340913032198442260 1334792695891639809451301661 3850070016109614601191616962 11109466324245347510004318963 32068761913351885799538669364 92604166763843226795968436465 267505888087731730477274876966 773011593845545266960932791267 2234519154693460563799661899368 6461350939618792616413432382369 18689586605930928041482806971370 54076589600792326441340661067771 156512275644740491977157441924572 453120240303179770881699016764573 1312203041423242314233645780787174 3801087395889178061985477215523875 11013636854843933579754861230986276 31920280666925322384954549833440977 92536439864262544907786150626604078 268328131556526193072339845218834779 778259198869560968224818789916319380 2257794226690374254118769265886742381 6551548968880828340504103194984749182 19015193605799087496394560598783495983 55201682417936826774051557453489846084 160286312318438164439361478399187106385 465512082087247133432193111097744450786 1352240022787347136371354560127329374787 3928826998784029578643102983685024456088 11417114800823531083287529832322969949489 33184271608234551987040383630741383067790 96469238098349963994633325918903666880891 280494457370482894336639915564541832528292 815712074593440131481054873488231538494393 2372602697732207836914502852958321103064294 6902192587014287641960227344118580868251395 20082672347877095472636645176730182910868796 58442234137058411452853943691279989600456397 170098914032496853943044435526120558947799898 495158555032455307507542515518698225126574799 14416295677347503762038807195733983088171725100 41978643196757899558286263099059241926917664101 122255146235392158334754909565860997048797310102 356097305735344180894411733163370361167374418103 1037365497709378624712671824906925799364319233104 3022423423700597566338104787583670882287874336105 8807204157961196830382999319201027938318529259106 25667227451175539765302685588976070061546023707107 74812972569787317946573516332802464967944009899108 218087547123134442412587521144886395452077430711109 635828231101781273901099080808329334217067011673110 1853970130791571905783562418059309411800238328967111 5406530754920184968476327313633342609364664415546112 15768366257935660884214325180557602239044584521339113 45994497524325344701983594480571678206136589160802114 134176149168710466187745732889618002482748891784367115 391466103529826214016858189111551073938406878971345116 1142251006434976595582003464680354560623064663204705117 3333317297803142494508998665805105597692752712143682118 9728338590404514187306048576479844252139811158310576119 28395324026636436708403839597421503431660215883430049120 82889657320620135552013031694960677275959019068528569121 241990589050324178044760814216212391235225759359431074122 706546090922401116618482529386539425045109569174455572123 2063125738037350037221701070632895268879575334173480687124 6024949073007020380869356631383372094374681407405439893125 17596361300509582841821030524106136905780362100284520698126 51396495444435514459860193583550409722592814270701777433127 150135931774765615230548028651288494302504595913377340332128 438607092671681102761351629279769341718821685089772455666129 1281462527674321673487493485398107008954989038943534406664130 3744336093739534943478367580923255194997879067731735592964131 10941624388560117467599312030768541920966921276606350280685132 31976157123507311889297296572633785836498008442668272110931133 93456102361765228095813151242709138435539829851824271550627134 273165242259342020601563371113988685728076675577524653279116135 798507600403511276325346081755336707180980804502553122198096136 2334360824341012387693590651391753322757136266811784146973725137 6824828156872989024434353535566770879379725417120248024622334138 19954909155925506684707948214052493077858725802266521300800634139 58350099002728857535519545650071011127192039797538452894358927140 170634469279466340372055624153950870288483258924857965936101613141 499027857482820153613007724760551458038399096856402517675582829142 1459537333676529504270280147659879482488405190537938884436902184143 4269112199842428235615322519598948373870474071469410811198816299144 12487958011798498015955231339167473405800662324234488976780750043145 36532244680536479568284725824825619144805472347852944159110610628146 106878888449612955988363800359357371426599102244393139539832772077147 312707088717666359858184516231464106483555410107893074977450222916148 914983672027704803420928313636591831229684540710122998609671205437149 2677431587430681398807746240231393190489069917460856566709784806556150 7835242657302831173975969676919687265181716849319671391428086419631151 22930586654056006175246923543490215842486331850190028074214462186454152 67112922507219911053057759028886646637005935450790622676138027693865153 196437789475424166900073175311395837582094951103235222106392673245694154 575004795032541192671992016063438062990114842445794068698845261677023155 1683236270062248072311485131228900894725597218733163405425414435660103156 4927714453260535489120461228413030364874312513737937963203764102396748157 14426882168865877698855396890084599232514893174785557781213877644420335158 42240164319897325888709401286365634061802655981206758452619826232214191159 123681444380293302494593400317686953051047032429805894624004608186165515160 362167112747159285311404807560843213066629195437709648812860020650274214161 1060568368916601707799796823325642071495508127135446294890310147043452023162 3105941105683551132527513829111702133079644559186872091142741037427609948163 9096458547532671143713067607434045983274963728846880177689093097138749166164 26642547962041323449857446909744745045374480393616140770537300427082317155165 78037465751177463050222901179031837117193706210285904768752936908048059148166 228588437835025226954342313072204063613655209762615450071116912552047292958167 669620560703241604671819352221204539216013939031722169216011954963768728515168 1961672214905350723805949966553264569626706137201724883893217710245891729320169 5747076369707188448780784561378152858305845997818700474291740977676076463132170 16837984069651252020721754956228055013317688852239092514104614381459987473924171 49335048014548722643652188817830154709041096718668516608799533022129781886401172 144558319846142095233029593186435387249360867264059061314325977171535513788337173 423596584640582006992418428864582107776899614328513572251521673569618096457417174 1241318930979621420838581993047997040654023380909118623312336389211003074465578175 3637773313528577672745892733483549587814204396205334406449093967884848279801799176 10661270681437708023319823849195422395632351841583321687714089752117929958072393177 31246627688754562817510764689710138521288223794482349127850597198222805763479630178 91583649879886192513464803181653661083188615545975442134069628354177144057842430179 268443643270165280732298769536276339983494152836644284522953792747476048564654558180 786879910101071825332479151390281682254123697213505456756437086913672743915049777181 2306660743349184920517210757173663238607219212248459524574059916393560495054042213182 6762055126861069707453709006755062049104293106744515866853244276765408149226849789183 19824086766692796207877941469248014913238690834070241690376908466742674491583844375184 58120181476327914971314144025662515040880989040292454123570365865251880062387731277185 170404011506944228486581631428696552109616949638200058178405727020512623507655441625186 499633492375512523716883648286605349615491219701338123444481934664750757677974611978187 1465014579038768812433128122091499153780555121565134137074052446229542591967312341350188 4295866993159257235649097435197557522702001749901926256705014545192632892985671726770189 12597314956054692457492705764048861853049003978022909449636367846451584395391182816909190 36942241081103732110440628510941200566939019261656716507630470804317799829061599826116191 108339390727612577006548112526513515031005939380123547603241683816440375095089995327536192 317736607216571592404710849044545661763178475568503485365509050067703430036697685653895193 931892142315928012157618983096066563967867412782439544167273546630054985402962426413329194 2733262836313516078420313738319572441482265293791146274171457694313515821956974403509480195 8017044901724711699127216731106268656855872897669671032356804548531252879246361178244079196 23516042357012618175321675146134879378381830753818307811784029408585624144095723348417534197 68981236907867873567069962902411436779661019056436467792409519550214572332324448141474235198 202355203899664002870117688948862800383136197202469746966083592183237328868840646911313322199 593627848732668582607701126489614775718245177553394113008065655639654696679315147148153362200 1741528077155042554652710441976110120518026283515600471046424081858592961402113189599256826201 5109317098403912209274924948033238663223877611475129038751042410782701944270607628329909728202 14990331473784137465039719262505430687555311920880753837365330085094919580798489589861283931203 43982049298572337424718751726471871885039827678357814774369105695176901319603257815759488917204 129049217679780070855770165763492697272413311116078987877192526733435505564348882691116114444205 378661219156839346498462594436783984911452854388506615712375885927251507564103711808579379823206 1111121800378592302538503291042573407628398097818584935105560951470099634605140960756701755716207 3260526595491140530809883199232799878880585574901020940413544138624790143420482916170266973153208 9568170768728959560127787081654191663376411676801589083504952162897674760289288718943115396012209 28079219825589642864902041959641841685660265437243327893613186230059731304080491572035236222704210 82405455065424754869727854082380902193144118391242846759594476590794513592751851266420997046209211 241847472605180171263775990426444226808447089534722483860407560221038573141503654437711855496912212 709809278922772148809547189574877430580236648047636815921528539268214924439607672876578374852521213 2083320959705887618854883715949158926309931393636225447628961354441828225476679158158628612530869214 6114837940238336459341701784458193543894135003280167814338612336763158024759727404971292082180400215 17948487006737027107159712971649703327368367767422120378171175782816418704253780473706932638471984216 52684726875573411825385649633362529624343100847376908417904079283728042049588133372129209417548795217 154651980737234546505962069802603676139894166030783531110059894667480040404210867863959475710710322218 453983406406501373669097843492248601154072002472888102422807129565337608638401894287089321631346983219 1332717453158725630182560947150077025995506696298178563088957553015329585467604897999399589571381554220 3912457935105207336379920507845014049303998328435258180808278712951663119647849592739482984393697551221 11486154280109325264673590706738223914741107190297739495306282787672118120795407040070439886433266969222 33721963759311413668327826322824975171753474747191897618205457125952652109726381590497111620351913384223 99006611840147436222983912461950873216041162580622605436829400516727490171338464875734917976276876174224 290688969258443296483485503771022180903260876467970158895074158872911250782559196017748021403944500709225 853504474251822261144405460650309091195445270317940330994917008579951347833039639367156972614956807214226 2506085219316731013754254596245037085270766261110174839103559146136244338216291707216108146023422410035227 7358656630820803298452576740812584170981114811834581453597774208770312758725154826763872979440809765643228 21607961683504649467758834018876865233670734545949325402800213639857049865649169373376632896846320127844229 63451444525286765243849056380030410885962935190997699112298328706484042790844371885939984435364620081155230 186329478284817918798580642649213802568374337602830995980591957323653428548388216001069584916241112728403231 547184589065087677347109806733655152970940050168682799743096902490385781978243966995228843668154564510111232 1606934876272549934597440422616350556189253216187785068818579692538111702724763324020082077562652552404867233 4719268876826262915852040254015140057437444177324832941275799477363571960100063309304756699951733241291786234 13859995519957748743712065403064626010765025310383049521484577806468123230129717647262969926070525959424499235 40706454753264047162190463302824153583758757871607956428857209340742246040083977156790942967676677944299613236 119557050401938058770012115336016828814119603054880633141322984833368623267966306670357903431202998495004599237 351154895256378100102059715672833797610480297828628117603421743143873652178655952683152906224852483175441138238 1031415818272474697426138457407057212647204857162064449942209976009875015525153705871321080425946253677464395239 3029565018872339510942417662418269318226483623760455376119520556928131582052680113754870680389772388844501794240 8898936371698469570346132450049178990183383667566530061994294004482976594912718047154484623862864294316886893241 26140095251532355246296579428853691675614698774147227255499552334483908102926534846005139361889570115313198982242 76786942899934407488655389905344084312249750546374978749132877090236807479803771502530991142923688142203474118243 225568600489062286391046180907676488705432241770318797432176242785087179797395752852970961832924263399025080797244 662644927696372203965370229407952191608925608166600843710429768089756128531919417628570493599690570915841984834245 1946677399550972631252024954438528985946918078104975503461122683529275454742178005562496100110408732198958720312246 5718970856821426080208108390117736485204708217992393992103425473397668680848291174534635380751864738247294700960247 16801671159250238272860007792705247651325895301206549860741433641632964083918234329096926515057609818267446736619248 49362561953457368516893738084725119896882490849273037770819848940383870394949354675266046853155042123162600695020249 145028525753386207649121013700876179341760330118341803676296829438380776832112642342420334393957769747543405211933250 426107931160468801785055791959230275734724188793947399799163520039461861995181544507722857139395468117137628231199251 1251976465835500802274755918908445054803628756052421431400704748633134992605989578146850484960554065595251275882216252 3678603608197856904101132316526954482384575711831766018370269572365927404726670128739339695821075815916013811799102253 10808863151660302841911595741518682250247127585825025878455803948073331887438271939080922494239272386069676762270591254 31760487706160051855021763520159599064162463484073743369638182318077871478052607325939710488809032113953591062379403255 93326364052730798440516720706914933509881211843465804221354694875924518544097544176463733100673868868815829044955213256 274240435988428196330126785372987120605601026725079018407512706597674741343132288190713643289169353006782234848114880257 805876550072205122983342410757633499182828209267637420880718514832683913097153327887576853453925198384383581231983226258 2368183513623953812110899524626949338120502661010321435549095718848176800161585040332135860184609578273907663431793151259 6959401934719694293815744781048353072941260294316345914774099234190823932676113871546426394107339579491151532718111239260 20452111054312074461944390051504284810610653887787490367733578557399115318983528484203501379394707858974842293581387105261 60105463099279961067589418280411152561608497231764486772542674941703351140844675638930351212051715975797686990722686510262 176644151357712640682220612922665062700276179521061209680939208676327078010561908206813135085864652980748378391328232861263 519151382650354923735076066251962561943512678795458283593810166073562818991298044963543599707162950253211486568450703658264 1525801836743814591335354743004169102317688684567268952239711507668149024878972996874763947009393644932288640044560503997265 4484474378828563616817407181775966636127214040004339725243629726682472914635091541505880059674267560492622549457246202933266 13180569832905920476194454038363819463028357735026327460802105423551629069278365146684134206787172771948464816471898236417267 38740567859887280547905181303695278222192029165205183299561927850969127651102274070877684466959812618397091810215936229369268 113869356546447669689715090003421798445821401266213935208360860888314491128603425225550055976380326999949293015338584828004269 334700816329967551359444349690681874439083224600916630682346275016306318632317650466040759167812242900797779614455904178678270 983819963064626821264854652327886925382527086651407274372166805695118362098464018730813409961638141060298058508600184582525271 2891900710703755702763154882738035328138256290064672878970511023003382815921663384434664884657042152490522984701428620520843272 8500802926337444673570396776255052202415644985615556863146308805155660178145280893126048191517326038037669939030166983428424273 24988792822625585762332126292199332618600104226652292882431875764226525623757383920127112534223350201422737157030982596148215274 73458033708638057460013819920382182782461599409639441592411036411187560507212302797147813404190535804523114029547136615709056275 215944403501702146168777140091797031643401616531183193129174564403826219824473834988788812384814502201280817088601790756304435276 634823764330173096265975259791092132480690857240456444800606624220069343433855601021353889309368227184184713504933202492814648277 1866263257221922150129471060812225842894120683202522209605181207995117026394768472867603125864032652402366732981242809417811761278 5486571983414348414524482285921972323097976856570924184238906087715443015791449199417566096901226697841233281082073256359402914279 16130121642579344927586428402260791468561946530166859494652334538265854359690184628560259774871079634086738902641213508204150815280 47422290784362018669795088173163087514180311397737097966473857388758768096869600072033716167397315176991174351115270652994486736281 139423404154251052911040986690344480911837550700301496663030166145982274823186992014889679456738138648775764788390808174732511134282 409918050935312885977262409671634743974776988795210370232262219378976416640797562024687645605342932152881743373406641575070821884283 1205220621341559152402737175672769732692286144037320958450399694647388628625195912569249062207338375123822142035406764694428507984284 3543595627744655747223864850007553357636633110539089134265607261550157028645468935709790145252420883730769319953493622888662146869285 10419090163843372283158122343883607642425357812154951810092427778325725265756536811718153873478301283145208105398518490438883328974286 30635390121843630182719107278976561950203551853759838275239236738047860958523097881891597781094387345800582067766540028687054092310287 90079290776411189939032256379546720578933188012036502531759082506848120769789226740570481771076925768967935490729024523541252501251288 264870975119204740409453190515548014604864874793885687477240398600475239409681930507829734825780262939633335975740611451789415177422289 778846006474628487318444145305769057720456894945673546305087665613646915589896348555758154741083287822595890662973654610788000914100290 2290216743294210877780754329160729769536424696368704961703604494897056377549657823882121307880911148971059027944460462859206709977036291 6734560845517570787556817345658271819316350057308664445947421034656877448622374332760083425791874458696989203251788670064444928200670292 19803850157333202518697854437118308970920494934061983076998020101404332548124931264517318863634405272056117488852537549428255625655188293 58236810956113728953474414503205349284822312962052931446924610058492810726682167789887230976415054454381621530253858343135009543631714294 171258876051390427259761662381963248259591125393430306345105214364635161614498342965088392422510369231838508718284769267862071408853995295 503635220585036681466844635346347218573303693121235029627077665448362628100223604832144060681135949417301155480112734308423299651197489296 1481107385860072749117196121921871070682011734869627342238229446635302367898169379309585152003410688416432432739412713517785279488556449297 4355764596231639417933259414539562806385812552004270624607645636511919133947584523192344245222363622047589769061444510494056616496728492298 12810013965746925700788418914358839465899567022722357977091578613477193145168810447322212378687769095676818760959381650339319739204650218299 37674032347218678516254430986771769785863376822339851169312901696316933525115683578420182859704150299559782930661792791167752337455964641300 110800536006764683942214047841770043589402794008814534049872904256767547670447091678122176163707090415108350509331008757580886562447385809301 325873331153410885972144844935055972207726315215269438110301123256924577629613304451676031593906607469003561597262463664334079825454763743302 958435596113833184386805747963360080433788098507077761493484813444068474421898080513725002763764266080761619856856828350306997390983939863303 2818929137924460791673727249351288993956737772460892559059489183537685687480539357249942143773963441498552442373879352351277246199144474760304 8291105564270010912721959832513382667125982852922329073139898942207255947741361450753461259402173779876544821083082252236208523056368067758305 24386403007253838693815032993038274305659932013239944311948958273922804196970446602333241016716656189282015881225784511537968441102481949676306 71728214237615861860094071616233735165866530701957067858050571043599093808322100405648287768479929626884925614678667976932066693638417325868307 210978993177275078761691238593460303624786145011802238968130423348395837698009414200428998131570462810097574977406676832797644177377009704520308 620576452052515067662622711761618434683701148130612482716964780702761823512303049964327279083939964921698103833806389809925073068794825995496309 1825400663915488175202258746128338823738404212031155900716032601579330089378919878266045709324254490050275834912624717247433164869418260933329310 5369426569350812713086450377921389629643717335362125911558435522180870872359658295551849668658987063845093382252539985940360637518798289886098311 15794444585928417180984462962245808378397746234143906066945296423025407945096499120233335268843236842111231448198408408291525022323843228737547312 46460888834222127530323387670440601706261295841235544231323589881224214072632935141152892555620128247458354364118216782004799875882984618162672313 136671301791817036410228401637542906094988972305020087818386611528008150863027422360706085093520455469069907841975835376021904690120299242791302314 402044168766968832725489814546431311166716434237366778018599755998037156422924028642005764214637255451917149399259806710683472201093822032605828315 1182705948756836795747407430382350540658050970674462120631019033810107567183990299663653711399665445753939479126178341496280149134649894400122565316 3479255565750152270278683005440937456684561244094161514174854350839415840263687468867223937232792044292152158853623257960570821656401816391097235317 10235342376872317813302717479193564032797514550720909808340666902517596195979181666867321367104853706045374892443435067717594658609995044901551693318 30110978740321461056638561388748307128956138195365797753219913291379244461930664544881392976873577183264687018272632886945961373193647937709982194319 88583693280482348472562122783129419144649747489128110130676405950034421098812335217223454776530876231726727758505617873597789684489893903172844192320 260608794518142984380497851354999061402613624960636577498241596709563890267610648349495978600936314482838099593441444041203512418926806231268957243321 766709218648259472965710465326949757423978134429132718715557642039119086927725111594298490268615159763807033076414111520125096040822891104000584989322 2255685756008975338974863183772282962874532458649342254429745100065943738915611177110544942811920950106513284539151098938582538777810151519133414327323 6636403206099704689315591765589494870820440726199146890892930773485314203502430385746443625467746621484908417066144623034797023238580815521320632813324 19525094682664100371850294647268702371556438355905305326334172312507819456090217845501943363897418917458663257627049391062420285755906530247740071368325 57445989064446927618509144718451279158714104749978771047938016513749272043020386042240123701139735379623233481758432024718058961510607478076129781145326 169017788348502818622728714755950996869468504393423605378549821630585011664043783122753569994659485936083838254627506521868232705199380019095157461861327 497291711724332037941894840036943420320453241302837707857342685452555314142742908947626747869032712586657404011540566289924155061920344141204685143854328 1463174397885688976433905478763412363266274543552729367860504112865699602689708406343496069109238791676303365607540505862758301541340229342052721858067329 4305137184615148683594434749906848332034857622893250234823525320285111149824595182905510737321332996405198609353355344797754762536384560728290711711031330 12667295129949879895775067056246342725230665131709761705180566000082399368139381188304991992747524147523897689307153690759638531292904853868033066302232331 37272346917588686969941674223404776782309269222712786231995502657069028825281043064037888356706911237196592962929396521261051505899123030412076506638583332 109671936234691939269299545074725569842134015153008827159810273053174665489732933857873024695584461011276419991832077314290169782573125263323314863593412333 322708323521570201501000870446272239216414348379034281458567279012229874756823552922912508666972975758463034960837176961358309094593998131966769360514489334 949578063528320525595249955779419590197533919016691302566189659328593222556214807272410249486639424203356902715384182563455119000111206341051783596110218335 2794196822148821212160138631528923302042814114130338753988077820147252300217256587850871946791785593152013364828767612796489650364470371918178411880289558336 8222220055855022952652381430215491609015156689120765805937316820140732121580730454086213449374284117564723461923470679638643539345794213185176355690018601337 24195073371747965563963866705236029432259065132760878395822797374767620318909549189689483904523879440877815580293705502513034606755469313354078730688699875338 71198444111457526344172365628650899703711966304783302821998312998923061774131645706172074687511746494314337587936843933128531823775035259765208852756330774339 209517228870454463017165083652946737573137401821622457522087097960532824658962859946545286560112271612647686822960904589801004285259030102735777398341564102340 616558975947263131354416357403618336640521375004279512136730187421184044464715670171855881758128616701924915291787260484302902294659592525987611147352468185341 1814408701332638466187547633849641519139869409066186065704866827025533977756296104465102011281024100706323306487104388157365410875433460382416273194470168374342 5339507421576462520732497813097432623832645731461649476844350659255703518732420965145226334405306944274252201776541595025272161820941112916400694026377820946343 15713495870512097913977876964462983876103672281181589863592148391213898681651950202972059096413237088901649108415386770998800253191189553030204369165731265440344 46243420640703687031307348091179159724403776198217709249039151900181635708522725990749600224003900288641226682048290785041832536856540451991115623019148001675345 136091991644064136940693496973102063873038364894167081646837660755951901759151008616253828540579563687863979957450126627511048810044374557253474131891201899542346 400516709077197711854874429966148778810587701458859629943098435173266702760539526167432179075929777806300779784866854917758024930418088488960802290499764058264347 1178729432254000130671229938561102688950743413419710338710575627562415567236092830956065414336756353443720876228879210065523270585588040648062087289591190949871348 3469069533713231057047974526946584108174652029939422911661675581962530126715578271409943182857449425322531146727546172297743292929628812373252400746254600065457349 10209800112250722536961197951262630465825514657415990488630568561448783594422642825660633940540456530543688120529700660482396165067390319766157919324941176515136350 30048777030520075248726332067927813560175224425016376464075935001147442450829526404454475904785691936827219660294528109683734549753517298643804949353775307095441351 88438559346721822360581259556412484148422276625004807271739292299858875615210889080749180135115912320898564508714020969243130707735369894338428148244561380769834352 260292577608918964824510666479908486642692383287073902302296663166689345133645401807185736776812722304885378581387195822784143202294402055092295702455311163692356353 766102969363910635538578905691106264768929069512102968741928694526678490350478416273324144690843957284564676936636525237703193001752191604300061004945407268270422354 2254850300294853598330329548441064117355833385850594543869297794871712612063027806639979854934001050718805988657175780915621279595349064039560297607795511926244136355 6636719473027835861015782947911888640850255425815819180533628843433450918285312832900386852558207080023066380415573791974190965325931880502993558456785930416066374356 19534142710489548716004418828583173989182021455982160686521031273708482168221240908035541634045133822131725399387117197872673068328139330487611431517942756215436767357 57496362707569422491883877487648503694878978192119483760869746572026642831759204060835677930202099686181103732797328669579913433287757864038682208366055137965635285358 169235503668423870324731782063454993594120678963189709614277297815836136336994869688987251064928945941864709982178785452425411718839763357462272106422493603628993771359 498135677655107810502717574311162110796852336185820384857686160171833122215285353615923480645145188548556074658124736886956558524652228274738356421682448963135287002360 1466252794292195348937905565233215826578111400885811495906141562865971962635132382584986968690605095874757764407507020478568177205763956267993285483732737108332079320361 4315936681523799668398952982891523375900307913667453232552867199529036805647843998938643847914184694323007798505360768965786210184551745777075264981318846147981175895362 12704168807450956248657327118376184962959748779849149479333035905968877345977494499437908667621038676143333002676219791449812143048178018441774720835537367437287549622363 37395763033360372695649040896219241919237509211744812388111158284882664063291906003406339963162463798794513540472727356561396004033482063330869013708058755680171849691364 110078744409204073231173983214974123932876970337462804622494143581426859720226626977716366604782196006839221186877085778099775778944783291509895382202173960352935483013365 324033142930520416209241823063349662859908827551367126687989958647426233082311802729497762009406885364227736586235163195889880545529415510639202313991696029471618658543366 953850409175895412596049033107064614100710318031483169389808946360953246076601898727154285076431375709881868963918783979834360377493808293107549792453180255144252066560367 2807863245663662724893629873604944707780219175361884500704300103715198239958779276605014009704530202453838687940226353287420696929504303335702318058289490350777356637826368 8265639351230871641734251162082793088425646234091689431844754365643037026889788191786591437579958651145210319945975703898440596557465568976685248497230817570189796275183369 24332220551383850725629709542499314575818336157219600681688961717846270761693197777928455179567140856360651555381364392176337169820968261349121410915576265103542381295941370 71629480743003685322941363205921561153363642505060878254167445954970405852154308174167996696550604769587613128061367371908758210579504959935575267029137520118078322192872371 210866020520839778081034634952524127414523371475187623609968032301347399968783365353310339608948558716853858581436881121401771325910571351579492812928931435507006703739906372 620763419012944522431141954155780370330336635758743273600601303794224501531173392511907096414238574386005269481623875846091563219843812515412096635753040929835528156316068373 1827470271371627431664759537603126829140647279662487108651445942524940584160399607145102337116502604896628484152215463820577558374167510465694435793215343796621269421409138374 5379961773771475310830783201571687016362370190727829767789659962066210614914438500072097711380952285387950943809822639518426497824830108150032102011531359588786379701731793375 15838450769559791111469692043463920095340697963347080590095018622637354341481874445750248377241533682439305286273322007013208924871288583038918830564070193106994493270382312376 46628433294513623774900337595652506998731598073212936745834939386637408255970914708502474520824546538574443725372292453502965007440645222503108762387599005678382098566400716377 137275659503340877096158581405089430102423133903553476630524631645687885954746358686709077279057732125518067303928135648482260477763445402424032900053688030683310599447884068378 404148359963557219009369457191708807026383425798596617896780483586106639820769672533527424707031367286857132916762688372417366568915968651399588900197276275294757157498857938379 1189851178841944815705203329820097999361491400496430048561831737650713604412875508174625865175090311083225684446946964976479735733321782603984971148001067628108920944190591359380 3503071392269952029528945659158974086886535183969151803152967211213387189403380253798172797425810179507773315773917104120842422518079005033605912651901775816408092127359815381381 10313589134188467217492556194711031739721972267087550890951981435615725126508033488134185418964727315322559687948390721203626580420969249260611843009217702012721115996270099059382 30365129364502057061593782570841956395553138898242221542495232409153546406931479843488345306695338319240136031190244757158759492713751651423533092719976892435660582445584726896383 89401518034521895911479532388736658760270836901168972042217960863879654769608392459562007453596999057412789076340483115396181202315611593979994061718543699028777491404715463522384 263220115626558390370206018332813444522456499847291846857216567017044448520929281147980649175000834988252183369337805744414478767474381047721831150231306521638109653596174031847385 774992786025131815630866572422393114870534605290379682046928730678284738535531880340332297863586468673248720330703821630943811587855565752978482837643017576839040984458983534361386 2281816012501177108565738941093598201222427060596897317954861017161461992162253005709143446910040942777743635002312520537912004528255310958834156255962166915631759170949646269282387 6718432273174588938375929209177996493125196490369264071893436401822153926396542840035663402786270629791155566604400900407260424583531667576677139624109561772770357502194443129251388 19781517185943962387184472752510042032268471376967512272009570580614248422651621464241904890025299744290152169278764673260164097995778198834594285758766945223980698035087581941268389 58244586139407059650013919609960935339574767838530515273256396563324841165444415358461170311356235881756641736499061599620757835547282560083431287494344037087829254686727168620404390 171496720478384584435028734877253449695132768874697291965558997104884379857780716542501863834286058032783180054018415498735430536095910328967652781263723334251494022014901367422763391 504963913546822354205758079979664983749442280288474264141539404752519277065265489839447473836987711266015478347272350338471751540128838745699369617043915136486304138533723266688764392 1486856694907736263598291827958890522318905321590106308117224565426458885820015736264921606921685853123558465750944742540093761895315298874606343283593554159963611703517026634692368393 4378064008761545726595273865334975058256361763611090365142472624471361234960186738284437760809078917592691522246070502520587106934258129480041880138541971073733688934559477028967565394 12891376842888469249953444493959806421985480025549591521324950766145390930087902911938971828299184757589460757663429023716401024965048342672881832362725636725749174281930867272539850395 37959517444687618827741163486113033741495358661297592450800370448908080305799356105617720078202251902976285507340670747820743400740963172795377618058344620370666577209176084044429200396 111775397363666377393388893395194801025729078436857558782971828531082536644413671614771647647821126445443110168723209969746916505810159671272470577174256426845119925566718003717878193397 329136390252033728922360629850525378445317219069102430108040020780650274982613180909909228601178205773107328570631398065332450613091426999005738371437999982190247823330626461812381328398 969191730721910161081563973196825441797529868693463330069075683168528470541528714881026247063719510858626654953963686951232991447880761092997515774038983283752885153213614078928473594399 2853958124808908263966009170515865920142107331596912954501307283871903578997201084787667955244716903154081680884519784436089069326144827139799416834740548076690665249207691766873698618400 8404068254851484285187968219360654638651207940683687953359955861533870204719581682092011079235311969874485258543995353346653505174748481266066860312616848460115320805404502506800701403401 24747743312589312669665705029520207344669242080650271239793681705484421114998828208766135641416800992919764837880386551928576452660981542566588487771334017800656654612315273309262942377402 72876192105991599732015558425600917132881527123332616305889886194598652538017328600507611024369215965690685627615481241488935863793063203013796555105497271927017021653174063180805860643403 214604961599587896614913657176413650800496238498744138022913298018399415128808960518123424657946005922392223968564718395636603222174181716971942045010843702036844660876893027597466876624404 631972007957939297632991443696217568983536551169552514506704809759596764744849433348875589889175431876536692027576431791034355618500477017676356877001610043330001929249157703980777143961405 1861057982458879277877168553910734043521783822464100765180517211002650773800456069779027612100723567012468849180711296264127984007461225213599334590394309084322013194479315672834685576542406 5480572457294240221757672296828872768271160103268852665849502519681939833552354600780106669976709857687784368894901392785805026556169791890703060947340530711263212931538672697179800104034407 16139715769936679906464987590196955820693934114885428304685267394789809783201188645760593249721590134109351619910540819359337358162107944649800507505906061667563824281656056726559307634400408 47530212953317030403539746155173298624249708798433659311466060703035838720127219891992130981748735209588426857992276813121937509820077591302686344030245968332437449034916021378851632667278409 139974053075997335693989520588109196551171580582716290691879089236493420592521166897758911696911632801293456521314005356584788160249492932023283000712929783240903402903961817157845150777167410 412220131475930722840994768047207932728176968488590035346116579286436861946181760820226453398201654258163061533743803435989818941479905550023576046629759940834960793661927400877669614706648411 1213988909232020621579275390956367476652105637612948999687066255133247189200838996830466869125045703959373792056945570353639982807160863405754439062307665069695359230327092751091612277546677412 3575230811131329170917437156295299219790760527749343547079946811155481623504839475339267810978671461598021213469567912584901854128766159820983002359039794782164566772439487646312263162706018413 10529246054083450121138525805769726164051563265345396087436754534672244010294424535380452113822457184912760670673365546576999743893080734981912944924510918407482647504223552164076779218323613414 31009464856766243889717137909466826777942850233256571701786385440655488034072231920635760662665644544743214219897790181597651937876482732260361777281692920390996413336661605264250491869267623415 91326130420264724087325476590024656953330230866541315615288237866843170754091952261314704795062879544703956460719754248420601569013034426515304357750093710466336206322054406210471043985625543416 268967379414385826975638860895932561309055866505672860931063049642394736813333396878237042165801195380248778791467765786993495619017116001179729531791858213113502391441908242128284817830350336417 792150897518366980095094622892695344572545408245956694915887681766810347869275378185241192309509043054653183633409672562539021963755040797108321138257251485592611423908041604165406544086187112418 2333028046056079785405929544411045315866216630348915627549763937328897556693230453948739099583123850653607927930390460002619953054227498716561413060160746044912714586220668111721935141752321726419 6871249475374197982142468720377512661058246497313912253589363044784095042352232075990001408469217746075340982857099208364089578134429239525612383246018697020524627161880241438586357651104437424420 20237421284113847156297463009601221797309031469756510569471923509675640215865374871288376711647782689672753100217725758944052995435788922128188438352781342456514719292594168557584060734063493008421 59604398437748047483072359422484035387386378100118688536596520590941271300433818902860828650730879722653400341708087760734809770184120061970127877810894252900837574194905813822845835030908961870422 175551728268287928270725410315663647314234348467623432199277740729354287395520073337234026014848923834739003158563373719978527069888619620376979540250032265044165427496211348472601077937134087870423 517053587467820605207923899577967689468058804947933617530826968671196203654764151589293805066659065951212635572582403170749686651080213247023096968410968092494938284648332455769569656711334357253424 1522893844007676728796405007035589713666622417650557343044729505666349699186824938553688808508866537962072240691688978818258965606258968314771659709601132030163028851665246373072791806614153515982425 4485463411975802637500515959923587562608985478434512384931821948963620648537094931087462115040284363378514685370737009030628634145296653378576746016397464301549171193706706824775481733362795237622426 13211392668154026006218982452374277794164123576167984398381718944446161531172781426676225166602341777595486747254888517882636837545805176906421726349535651770590198439324493532788786843514117519034427 38912887757334902958184286631857936331132837497271435845303800679934434793702763178744085029549286521408074483772494869036326392216370371310960852462791763375929058507346652843825409950711903797254428 114615112056692300817966851030142663647530533106002894487030048996500070183382421054410088120101797737840246150397348614984386966921064073141570022223629119680316280131882566277218922788667283942890429 337593324353529580121733546221227491667365194639265391400332385173271708995873441788133754334566813152629061036147981012727602396952263414754969729879182039177731300956515768448575717917984322577050430 994373050306108588925007453215499816278129086252806902824318439330343777645176854397667506899020880551395245705598703666868860655931113510508749863773851083289711800841287187341098685812266022562151431 2928925686258958452365415066592777852600143830162943484985419541919372055243078633009035564793403571250976835779246738231057569568018782133350103357753987445627003392471127771457651227274242791120138432 8627219659014978447251267977091122911801697162122381383630627836305316851231130195426877735815279014668914391825946061389049265152387526220144735354805941102570542055084024385339316420540251465084916433 25411882498224697081479659227427316904767422242014422797424726586802604245976799549574555465003301862235977452640723524204760416596076638272217851881567013056339454888555516938529624885721293288695130434 74852495681730421424668528825458420110147218590153610821252455953264813204939383200091371523403647720937421871328363360144486842254299528804953672434013235108047437297659906088360532472529935884611068435 220485065980561126664572746054700858568391336769169728800894653683646011014347373306622901600238794621906127733498783595632204821319624511622490041808581196061377895330925985510672798456921723473094307436 649464630887250725074207144458429707190484924155641042294676028199952410404072479784599508291698363564066493897205739833389086594299332560942931386383214655685786947395209940501620194642299161807218100437 1913089319065178361405061465764973134440810349980428707975226097371150358006237860850226328311882602205825350334070804292305793042399952692769809958352628453125219349249456269579059607583705488694782724438 5635317500930518756987509827236195288605160503875458098942195212045251772963375443785586369182076892372406372436982582855219374895129299795528368739329748487183483588257951691456941193861997065422937257439 16599878819455662369747382477885692678941486470612159127259348766495555296973788105815447249873113422505105504282282536928141387500996151444261740287114880202838697536829115018919756501068684316549959975440 48898418742421346124785288700294578779631850759879679133362704897441200989518743307665767549525295101575675659000297190364631660641743764410938844838532217769630493798293450150526689452613262156924552650441 144041643317870570971669870272317378622871420647664711485529868472665117674696856091764542143354340312887971067395202213306993670501324324526814703058331446126700561168640125073018290041803796715754575866442 424311359676098089743013155287973291471469628466713139743080889182718906738560446254507101271492343518715501066220482275490604591620860029996673732009539095367546319371406690341688310545044555183234498885443 1249926784359436424424868661739520623117782976654849091401909408995880973224442879296752042312264173340822158231264916792634223340941938977292274659078938780377364168000387861665665099733209004894698807737444 3682034042613158949804108795155921167303296554829954406551654304132266289417610772445972203989354504509761483487156063265160687118027218875626039046611840087433693655659241626650872894044503614358468226420445 10846617340106778010248594725114360822789715999538326220667550280871926726733060002078197724707060058659253834102161625433800116058732637165720725999716021630050720201021739660133046353939215585498310746380446 31952446612908691435387023016629157052987724485033409793738235246398506634535465690624337330414336067636124451381658031114769592778127811023385991091486894288954904749659236875008179107341948602785149699223447 94127642566919312787639748676601783963093079319326956295696029902900139826904424118435057884906209683452393490892233170474444554691029688005501237010154380407051859240981190459347614260389364835639100992877448 277289545753052833900255439662873552784440497247657442529080474239132846542721648447787514467408432852606512912811694965023455287048210167727335511342623815535393096225194299984821305339603009443150774730311449 816870188141650982625970775695060893342975013009411218891384215126614542972446479325253921319377353520099238412914302821762496029998016386119957822074302522266543030621345113792932798051254426104639031342214450 2406444326291159662329678063404511822150797179715328084110812364137752896060391569228906103580980422534502142721898683772912550987839762118091000238550048565783141493220875616463757243194672545697245023963544451 7089274583054871836216035096432281968684906030661339740597582273102850707334436702492122053044627501424224308422649423152057576163670185139531620430802357167032705827396848967324925268115680889375081528369579452 20884831235181099548081402139289467747843382982082578462678858153023853180456902356051971708709959272116827365167132515561135635933617169966600212888712985508821208781647391651278768394343823516373084741336005453 61526657406188748887949335892582300840863520913126174037960221997238911432343052191674664240109736144027620349690082210716504832632020443942951163796276113559436447892326520454933231875012364311454653572277288454 181258690434787814781985251714844001592219678511553114271973170780283431478070134242467694889987955724848478737686384057716112356415726641325425647938185647812915402562181694386831176519745873498514216684398003455 533995387184633733696052940922149091147712970994573821679785521570300449307158064378289900397885573713777198228649388155837432882352741783965153835934859757579519422462276003504184039187213145729215387527412613456 1573183237541372146576805985156794506981583633845411970596910281228061107430508232217893764281236530826388162940925864492072870942550723340653772020492988908577394641984429562963751085143049517884877543698167795457 4634727862195454382464800568079971852510616951081708822528850785455019241268404568224905535715384766203623187210465290947338808504197494823173984584447740174518640194560635074661307970600607436238785782605295815458 13654389181416453507377535885513983895809183259848092136511301567221566687885106089781712962910342377202346548146181242083528202777333549532784968595153795155669788355889513445034196997003099763833858101058874697459 40227534119196322142446123365286671780749919483701697479132879383544680072226411991324909022028738295138797046206893374067590683532202566175908500813053482276202979673881097372051612556893794882146006531469916412460 118516175821977992282575512344926052206252719118283582821737588967467268041006238317186350530248023485137660760078488690613938861725314342123073194039755858858188973532822160575020204323169827837980296722818100033461 349168387198751744714245258886243720293698414438749049995792187259945832847300522437936053728352025932513479938007686786684412244130567559825045524542456624026006863443658221289791433646084685135108159299768807416462 1028715445526129104588148170268724772356080213865839584625065444830389773624425812372255462484211649663647035614899012587571435896210821159956476885020001847065628276494687331168387293828719460850756573873607674822463 3030809551816273095917548800387420725076895258461225626761316718345691446552237260025036806141702636098731878635535864426642148337750529120337306837616010152917515096010362186815020668807685949660148731529178966510464 8929457283317325946465559451109135857187122244132605073171379914156625633935231746244233654073585084700779426305532631777785685945592023347883762294212596218414780945102830427079820159597561230970115255472899229320465 26308403719139646522840950139800629972561885691214507820038431330020669126148931206716004116142989173573715018552186852073653401852856730480094186561161729705625980756878889262840627538863795004826666041383299787843466 77511641729024920760380801597108248556070918076776152250074176219936318609821558520716330423376416813045042249943585566493962483662950091298703768468837972968563512498075204043481521065816639273818532039520095163022467 228371741894866062079631360983022373616209587581089407631370055886702564150966289651934474798835987696440140921884231475222487956307951963366346592349523544732416989690026268218101339673807069246672702732995172806542468 672853896590291506576962227877585077741133293644807261239282495052418320112080584218048537301133159856096856519275658139854655027641433447491038798785898654121070521364915460205876182654873252518069087297959455900687469 1982449553647237338205961711683843160019306147140315331926567500830162349154966360031330101565883038989170054702205737443334880242218977137270729695393696928496047740174084922122783722187752731095852517665406628153231470 5840990111706215669866222970660372047504820191041622960003327620420628313023999760667138001645141942239663989865085738496512013518135267223826168598293276072849639140745184753203429647126807471607750766472327845811230471 17209717355422046321597265277129066098938889573667496745291562631427464937096847172611803763807513750741428628067299007040529472671029928133382003309125295669890123050102100165015419383682109945980039034615559320867837472 50706534794537121789789968282702284034510382762219626076256047019548150358703308332693533536138960294183861620660958594634690572141773086069393129556229367714776142023247442896873212834683889367727466345167235649677077473 149402217354927219138004958105700893074748612650607874254688843688870657388183136668593000597970948795580990612838343925184351068335628734949229349167451211162714156321377758012258862346906923780167232662155732043608978474 440203059957821142232398951519603382978406589929511675692330427027232739821029176670983383718956437954699800454086686258646516424101304168888482235484868677996836793960388303908154783196419567984732841336309572388808334475 1297035796865506513127297503895071392289853180984906126634287052521397508940653515407675503670299193391377680433896408230039063794335138811922231638392342225195525187133477464711943779253570234662029196079109946559757055476 3821674958544898497201617917591533401647661578498092653760042766986378462759650365017782369702657033278006146525826588286366285202771991649171653717020050602865608044049626951817615308956966501517984868354489890642775209477 11260518746877222744898764461143826373230501372209838702370570768261702950612105184784072124855662488886922245793782976357098568191308289412686201473803860325601266049449043224320885627619308790290476077579412143384675825478 33179199538857274306981421886366896604091306054082352888190051405026692335138443666902944865447981010246693925018810462282434708348664314355362863540022002884506269164752898674247601617868634176370258666447711598015512054479 97763390265534738637355225971040637441698580444064689528338513017118715141364408092428750346151733042330986855726695824945879012134561289358253100029984320830067561015427551736886518355057496071234041526254304210241976752480 288064296851210415067953677363319109537315305246095595060990995864213396543108532568024175747000721622628838140102329134200513798347545177784573321995391453852386591460923584716205739845189739031135936329911985896152246926481 848800124689284482800993948290547948426411426563188066313214735625370152931437693131280170197573387851204483351497438101126547800617216837400820015233967755469428683992784179763049183737104907236954838183097948006530067483482 2501060761468062918781820020385720946534099893309581774853128210883919128492561930907111875872287705188852073600621363107050024289217786203503128955251648242163159401702156083154267613325976925528951405521634496906352517643483 7369632761961061387209589671593463639500471657087594415572195098438398445653302791976401600791694031487349709087149618535611180836274175407892438429702547248716571001833749531653103090931726610748227462039874053764306001559484 21715520119542102068263512364362459066595854539170464774147893722378683979584153661052269244388116189395389342671689192260843235071627620910800353771766994206537798451914419750527100877664113187368898655275129869228578224802485 63987832291054361631524505504913903938079016993349287412790351346684386122599173992715257121218551467900796840831054556538077184536533102212652249101709461022918413469446159986022676095037864298902182798660921785590426699332486 188550340778137203001346266387907161854162059085990697152402890977314958117759738389733690693884160346029199365303686955489934923413882350756882025426004142423073943874698926584788590950918517538444636038269628034198835181995487 555597132834377162238012308358654107122197971432348130292252740606215028691569997741082670547896544373712584227708658888230559495248219055451542011084860893660022937981221965944730055207005830552673067127141580355305434674721488 1637176149807946136617014210349882883998623640598561951195164511942587638200097429261702232365320747975622739377923374940107165453342827755595282188880004387949522298514263793919754359975874036618007315956056887955102084994438489 4824291601531574815768261646874300469463555654931034623793701263954980296551279820441010177934962973526737516742057296795105778592351979345016399722431985388850326103507353566544346091557032271251279257418001505807940596435086490 14215901602549180139540444450134813682635375285105972156343691237675542501445906331841439795369321647882577793032428258085326248672589423884822229384372396608773132847630096047777620193740329197805841627406417945131428967115422491 41890734258092060602144037319843544449783825436067667752794962197812175930876948209105428153075346017468533517738998958859232797861934339791961107494118816292598002245856524575607974635941731780518414978002309341995856750225936492 123442364363344788866166846941509996333262529297383396249910528830091825989366540815997923578149304168588931125549817434903776158478493438939565731369738338973855866701581806042614720237090632956080921583651599051604359548150267493 363758519815320810047351406965845188587151246004906625498675458382884753707152364058642301539855145540196954910692705726068193346095596073758488716994718012023767692810507517903682342697042485950250705196386673141382121318474374494 1071925961772960739267498655036176354062795453495051166204404553100847140951590361185024542144299994520031138369040816418715268833392609367535237425540808258295172334463339065608094349292757752255102875895992506625489896027216733495 3158777728625841211351699743198614648508027675299294380735076134459925662296429404201610013049746302955016366127112938600401270960150036924877133142945251966744490438809142404614524323834313111199230638513083842570781666842488089496 9308420555223809164634284157358993177402433658443353656227954089610399075428066236740910953703594467905601199069636967496543541658865610432800881570912050351500990442806059424318214062250945848358047963015991253079166840828913639497 27430616380280264822665457149422199756222866910482797124257839940130832411694613930678795003724736591672947224584713054217227281347282201581096497414389852474480824824647729040509569149706485179031678727908352976868905545657485601498 80834688067458134176249743711229434130445391469113691370780980942367975380717335000252981239392109203029175056743881587178340045577827955061998959112692968504071406577213254463868298776103497434106575928608092847285048640224464304499 238211424748113606411375231584107019788696206358569921892645591311963081064935124440970255792782406627146199230459485576186014919145686061282455215408379743079219897413685566388607552828299107630964275963900996252998132295070816937500 701988529351775789545083064305244409086253806962632953567108936051616127440550681065337819070876246714235944594323690308265301257203753198531717570466778888755092155267262148611725528208870882083618097498379448804656663504472205761