{(1331, 39304, 77175)}
{(324192824164395568303098152168116044059400, 1525060922793096646754493680120109426575659, 11265757674931024482838307044536908092180511)}
{(4940826766052547925320883454730294097693143465596633223050724163087594307009023124410600859778610236400859325797146875, 10585337335154220487333934857259155025030296410305153766038998658205081821907716345671332668738339152439529069478336399, 121521089023062406363263001558994544548673926358679300761068461045212999356886447031447683240880675688609157060038880776)}
{(1792057408304085585451277202904300845075271414844246332649048046243957349472112739903235948826428480021597361887249527291739953164456982403526014995565526395388111008036725298506492585420764497861690875165134903579312707718832929416, 30925342597767572810772044964799717669341711789653145704757299667287482848333454518432276648631461813878259194799044258325607213660628252323108647931114200819637026973843835173624379023984806558869993641433260039365304420933216770439, 96802236753835057344161021698147131066825589094874860163363545875501325940483000177181608835803043824627192215015106100928873428892374654645796753719892502700520411228911074726851123558846322055057354908473852291769278148242979701475)}
{(131082148667793451093648299450140086080491083294755134465963899062415370274165325016560517568007692876695914945337041211169563246395302072592822999149686834051207476408684624034539037481569786000985461058429550237409479782319304130247874220185558010622989230923970503416043505627342850408488940818174133884577816470481706009163788394409767694136171118834932710371797640313943835296871, 5714680445847976387318279726382958912305061317603174850154419371297159766116920508714522422397785947438536507795865407126974854146517925174138806674557419450215573439268789237685571848412281302455071266106107088165145406508648899278248822926198293235884804565663687520459170375496731855194672752981330458114571986662392848701551599111020550333176360212475039555253669077000219772057219, 7020533913556494587017481042611962296248738077605222099305760053265954081380671753090258568087878221896286966309173130856086750572955446406177764900533442752025580063342892683428035882783782137491424833315569840866799629430025518471049849134802104186635835252337034960133231800361373305686591168485085716531406081549820383329825668630075074756778355254256502926094111591218569119576200)}
{(2598416390234667969789116298790313806158124829964245503704450914494757915087000159425153661794660288493849475344242892049173647840889097790398896186941828001209771022745927606093075466782866004681285347234374373514480929416659164497229558305252676636234795350732949249688387683611161021134506023809278740622891969706001680553115609523197042714084665582701062393892913757909865058402025754611595577301162624846626048883763078011633068334726766327434215269051969351585173061947000639310207276332863761304396440962083854231111453214077017805849303515543044382972150895273542575, 25386353921736786280675806246188674864954677574924239843382006162073821683101270529609875697349570114203263783463344292853378861356078483031362544072977572824106731619604606129322736647625375007995661557434955100144625955950800140023986673057119077785127830565361127233642762493315797412724987359209389993451425121927746829187394166387434751881460612008975208194346396111586384783414267651059423121501588779821460803708400192316810140855629039483665442421373683892033810642089204901451051628950794429014701585978072118087590752513117898540312534913158718760179572772088180744, 119094769840796864329153565241134377744194073128083312930890253396742006329910250944479531594958448525484528447074011748100530808145139085501253814474281283038768801169887200456818329545401815220863473449887148842438013319884076254032559082735839825815964421808883344260561993267920007845285313786907516828254743524532776170044645707039573747854731062449553158205906119974545054612253449492206875416862416111448912607949970949304454389390588211561141131103864593842970120737983837132944740057772488426971734804658964223437876180307303099009856525143871473641261295592971335771)}
{(8554172895028579114438452481539031138137585082952060989174531427073731866068524201762615880759288282767909375425346038888143411824522591973610503041524214492766165869501661379598164483719351339483991810353541359537811184498937683840959386536450956815006235505275510300506167198308196472382672171816343369013495938840031331354250482476308406898991397428936374964047139241052431664828423254866098184606746118376600399509785482250575495279169503489681466423766726805747499324439446521801005623256441024251828406692842289097667448253091016896650196720050389939688029856059375855948349630554361577527044647833496593924451309125214928952097055369734704908137688435015242399379627693131163657220066108841408964821037623738001435822936350074168385093459471565987741308950210879542828464916562517333494890086664, 8997086987018597126820801760684733497811269628838014802387004872809117649725087589514700401431910868759328433933134056122835055934977162006363072125916638360374556918058503260901555781806312568109836769829027213616482428147177282417043816451849968352973653201004636792173905583925798777746153172798075260812132454679413185363590514665712352529158995037065377789738580622069520807999930831187677220630489724541593107809108259882042180519781211498675390550698655928371797645513129187191439695988611168815811521113549934156660426583681705847357246981995446609011760470590795415948018698699607211475613949344503427035561410235243162946174719440291635649062695324175221676129214542713464669582530716059606395993936232709603598136326789528368554528982850348189878719867216681536099690955666568568828322750975, 149464634549717123071844356479667410458852060697818431332017836851313841498024159159020533014710418368801403553712434323135648832057800196713688438325325756746024249184040288365927288127105828200030106718191193190631096756799004959632484659260898098038100402802314664170805312280608072249012222319229911281865005102137556114337718494573365939610591978901363290675684909547779520921435179437191096759464512523256690774563327864677573328562933912852250027891495176340669985237221142654610594543996916623982344317073881806074833309430969661113867335358612659822242991121891699715188892843003604493591443228393316165944419265843526704619153041867503884326184128876852070491088745813627926337171669829774984048546095877396517205486164742102211446997214383971604628719466905714996448489149103332534252031954891)}
{(311266481424261438297835741938224041707192934129542549691402607185452361545468228659995833887399263061977556437008003198175891361643330249496687550151342327921560563020784569422101946443428062572957859851494245492765801498817605616032816072186457035298787350512625791266956338433490937167735520401998835872032115610664084131540611419201532531788293371190745323104576745623143075462498143360428314032275115380436964012820822380184600191925943212007183376099732808774133843837927221788156380720130049091611037847327587359316886758141188197712844872733284449222870594489556636497786026291839833446440058125587052312707727427602850543068854725172941037835720955647159730403383547974320416462565437039746833818696482649731317706605588290093509725595966753424574283888031845256026629982640397987395228513664909479495605695650879323990201777435919933269665492352054322270876151359438664731292484924819237167536167465046944328977014572535207800324234903036027210917783821695266631634909497366194899977657733379505586081812242905995944941534459950004721845402267745510010214551, 2789586898241887264761390091128971970777110566825912469383435376957229924661886035461547446537571910455507061797102296918082604828116461618436002699747571640664543457373508176912316733107647714994520889453814333244798282956318137619850148789769138131070132608513995678582595289171005366181881573813074653135769802519545144800936973333560917491060124160490524043558761574478426981933062015834282694744633489138917193751964800275474163864944223302123173318954066772827395285384926974600995921898065864337895057524414565633446430945049341048277123118732143294253427615595115909297888634149618092692075672593640280421310728414030490947333373023065001694416736530079241077665866880599805412862059811638507372112996021423235570785654785279500761646416488755594628095709624818955205757277049861474531407767551887617807590138581235032235447105469347077750266356084897431879733096455366018027359790841914336405971452650694158306435377167551583393243294626424591243089948413496989015887737017096268183663933316187691811953550816843457037776356263804945521094204425013200085393299, 13850051545171644416024902518601617518494344310591913156396591373122715032770426076677265564205767584286603480795950391215922106430936471728646409286461047069222128755520586959435215800357736023879588828016029975462222131134287857819012136471766963941643710567263638981516359500293166336626314100465466704631136582982028012461700284215594244269053077574747791142181687370461285237043028318150519636830310455490252676719120609655324767523091711378689107377825602895371749054791076269217684674885457355087689976292395071811722775324795140490503170332549821327544841702023690249365646839596263111308389399392933165275086396547758019193566484912075483768141754421056267852462596851152236573692998442874534997632294950265508685436804889652446339356133595724850340492036441688499338468004991653888131209664679158502963390373933311902621580588101944625762546312015986601717895783120337343128465274860664540963680985322582759275755851968680995198771168851587078819079805139318355066132449892672221590229801807433046937379202897433506704273452562006775600924445593258628689925000)}
{(1739733053158526588318455654735675775432473561655942097334521385259233922717930915798156759934653333977646791080798609419250001793310150991300456898864893638482325667207465767781079836535622457472872474165494437835643574707905318422550325708788914874442909409426706547373109813943043100696096253208251884969422166207854310062431604449370615068995319250334059400684117944837909092334645937489980801359114479260925839159244533472730574434410913663402558601377652677855517191876700504463981705385512693852804615466985553673658414925999376574285556657171412605003248754712357734399112857984078580011506076800207675610674903785186815880522981266751782999815022876845777205854708026071054889985078068963337711758615773150395137945825849453579607460905018800362662811733887986340612147740179359868238295307206588035217383949694323316798196954436222075033887538102646239203143512673599055838318208720194832194507272334532995987152064102273280114238663495637072211192942328912329423830503368668417815581509527214252446959455071706514792981824936465082692896112896429745808419224501827813437237547412406033031311554456670122939059377955751312435674439242503705818061255129189592972141527293500802306795684491378360892324699777749550892442619464815684139032330869631595783444991717156009111791196163562748718900681879134378922310127577759098497891679168349098642553632137672904441736, 72912387679381703900694639139073822922530209467872493716027841685781644157703214250020269000290933715308941135140216896523368672202126857910238729485615317496373014471296928792386133670251671755658459966623731488640846330252854689494141958456570825267323644787067465806806981122080450845628536229312760628401240642031454180661519118928463853035518349068776989262005128652887847739083245726322995294732440847827989319587356501967052113995539381444404792785327118952001488520875077073319757677372950388815612210906253646151468324376061661648606361311217575382804489274883240471238782855950759972755114212512506972229040017596960133041874306798998348298846175706533473557134248819599223763689982785437136591679467088525101948329393139794420706174221111270214255303530237789110942800624628597885226837114845340898203999245232365111316274762407957828738656738409456166776472121853285159844578002930880364254849054406622391594035313248958923520496979405759921538719499872384995998851944527585233893393661612187820792006915157803973303795749538167516069864304750463360142741715252241945027615135472202938575463573970072252629713899194773897096417929075275611228356101647746091576868510713370491961079311962790467778124747459916454143274819165252658331373332414917215352443886372474059941735681578079875717303115168754817200606786694233978334523095362578763635507888386333457688275, 94930724875734604159295771491480597090992407936047073439104313147663492310578840661579219008366497761724401896134628298873435166136515918038154302750709923174169631011953022697224892268584614769852291527486490033087451884540948227037141243624281810212228206874498350576651745808375243141278169478932934783435914522336414197541059205651605233129832231471166601949455545959441892995127787944707314938773601085820458538178841318410782635014955384765705590309009568722286044899229518120683079144456584444011158874432665257758044374673689543261033591278465043673101205382050275427205904590085733750077347996588845999986766598560607639774595222528572900367084020216143753708905649407153807954574879503210910654778788379771951887573267129070950277667087264771514153904476094361921691124438376018112554563094249234718251737267755261252158637420669173509140950705157506754916603893779113855794612726635285656242985593032548984838219232665713314585175886309080092759558878761323099151612802615784188632275573316407284484749265871777763276013234611817843996836595751774283989827024165407692627819019857630963425308881039771813796464412410010196500667955484455354075519920910151539895351897620888862714370874043393711515863914167950834327358584405041345131718710962468633277024777145702496072310891739455587388395117475820842050456207116825617764601772608398743637549250171139411676759)}
{(2615774364452449578759919047961677567697429079098266540998514451619542608567020415400997817836846046821845892940076843772780339579881130965819405755741249840642519360605821611383386541325195994403980795782689459158844395076099403814825873519625401670291715452625808968452248534588101572563138701207303660300073539013473864050444671911570991810481804688958308976284016581093879816055428544185486784048939453064135182567908786326893634943179723888329772774083629292969187663763537045036458172277639157916977249920657021862642319298352951100395236646062622271875669604822680686337541710685436424724538808437806321085703370796919327239640711814014839812375039687469059833645282770446839732586985596481134884663303011776503964573101471583463520947488363145374826235672269197050848657190290589581014768016721439879238001405600141673651603685991615433832756241157456776617429426270614932942146113082796912248039514219954692888610110772872573328787129188711521423726918443915051114344572205448725188080368271853836327421527727870092735099332405944507248298369179379136221134359208770724549510427572600452599324777920723355517159159064064820751230418664594635405705947991096133687999463755856539647757482857422938584733103144981651604864326032449753148675021450501593895603595499191947182669132808960400345339543321363551815711656405177453814715133895384191847554660258844539609729544967855411453365453934964405768987484660400727551086578347066676259680901462097093498605589505191208053342626745487471606259766325388450909241381555270385810085590628687406758177073819757300989780926704581362296154885478518158933987731092495949220511789287070238151765414316011197986378420754169342119699100577228206512708193159774119681675, 48584003213739734801807268702510609473601091499766153212681833341036439673279622666148360619998129220334754635814050465994305465613383405095812835172311591317634410986621485044668425215891713418952678460682823606236124772511047310387979816633926525959853646201947461401987096111072309868240053520730485834845343367951269955834501625647047250770339677937889317631105033863783276109280291671973002078258383258520844075250891169496092640788198642078891744638462555214858811616473378593426715503576318551620964903681958654993952659980754175588691108351799646304494325330346925820034360060172955901702226841783194125712245761178103930323151840653659717271697574040049965383290902914317781219226259897258483119389582294616847290535318641384038540542654909170746354891927209633887339694546831521631032497323233392943801764765248685416135114762627233038553319677853499679243393145046785372687731708943195363336239421874430684093409189047288280057003859273912565186584177244278179491067778219866471293106837672975864152837269684393273390514207395429488173481215015069787287445699409883065700390719699956687390564573360238438330876429665159289359118960592907113558187337158961285921137195755625140285576061491177952459245874081436592320597229877023553257076934194981297014078011504625010314109716804081157040465113971488586119109597576580194139089818083733323046930092696581525799627485270949201317253172354870009637610970788462273622359805948554114961996428784134958802389809053199802241922281566736031400446421709384307945516428034441828293982115328216583062321478156472494237452870290336628291155853475695948226830478696490498670782456844558794404165171002568630475702904604307278679326544280356833488358242477111472790079, 143582988773252321774122212507333189989465325204874287767111232660084599036505990758039041661458245307864612346929095216733904586527479593768802614315884609545008655656985046223560527434585731715928278596892880907141210648022321349149254189767923382889725753096146309593239758517653769322128778947049451246388364248561683626600085034068421474665474867870664170184687003597916551923250681955564008741989075493763077901539999319650402987556144627376898925317764567682572151380641412720135430829774972636894665717334106384872109424791740234538517576618824863701200752260689330497622299727593744657683327326244766019255331754868721203108717540360688056003068058689560469092130523586602705412155959740869218268999065184004865733903611236562935324377100051610854892626771119393992003086822328861964365044548017641306239630479325681492695246882016312819711391893734544879181405642380770701818523387638810359364455581555041087936330815568867189962523987644084022949200363374088655854459020214736014530915258368875242340665086964344176627179548243315934446581455821071848530431575651776613685341443317138817967685675679118972029627927715181595795769054496416367471526289341718310886464762899871351877867086633071354087475232613313970913106802447226295488628419786284762983688070509513224138107306157303594838820277074904469678369607422283221499592078084984907900690105361103860652851330453304963824656188645423041448750248946744338145420618553787869189131242878298996230724964990267702984906760696249895739258412828244854059018982648077432214233386237268192569361959738071761051044316208584395140496429707445273434710308413213573283769554612845110749016921440152924035730383303080474808099435812887056438294732956526990574856)}
{(814183380559767670212217338887059707265939490470688002457828448777022912581194717569268770863388454141037465125702114720602127287745225928342003258705118827525376852084634841482532243346006588142839226472589729158928618333788566870899076577564927306449366365892517876467443016787415402220126037473024909710346198898282051766658153376699865501234641378702800198711506489231209992619030935535161134117686122156702385158532064096221670699695312984912782927394171796884507887552271820798269859039428974706066545638981411532882381239951075887607929235888190671179351153960318913195154723621954810323645985848107432250914704415708587060289526775246462492001791718476795412973526187581814449986528971614503722741374956868376767190523452276832857521614873813434164378090335584120953091859304543879556355631152747038130483103880029229048068436891154359260066536804721745898489753497628217030739092223440670420234915833928749975707012487328271764081802764927635268347768171538027268231782820157355369489542813100866690740838902705918459852337143117013395035128394550397866230190209218721709876613897262565002900822081196482848978580884091127961831381556778679766147310070650789304826049309491767201584299762027891458954765561236950569046718320327666042079332229810866954856474102190520039174377713932922574323102352526018787632205155867548658188782522815198346446091830758620921483964201795216481771461347104866773333237883308107792187200848141533377126772582774077585820197547925969812293646158014373209735498666077793126236806676007512820728649784882082047353075282274725144080054643714807941414080746924434272175391713796660461519177603958909838394625493210013010359986506185424114785346124491067794934627664123818098385793374402365415613257466391204067575023115190596494329006657339874323935253934964596089764793517022200423661002133207691812226931772051624028436332474573120576540805163637181840464016153969453148380406629570933481928268427114053009885009757731206957727280934245611246971239100033155818261394425349367007652520400262092519395862343567854650466376167884198137177371112855933372474779, 1926386676352475295687952207946916910090034749818899611187982702333890405808569074042597477442310561521326582019050426780019009866518119382114673230799877288259375334116203779560069701640299923172468409749839499113657593052823401586427756252229534123484997567651528371192364515876160651946030794321401769919038812252590726831067825336588477819014642825797563568130942657001589947312813254696729248473762206820938583009906852478218768416223453007822830277511829179359816075776285059801351822079963057502816322432346262665555756564977879422156058736042153164774013793429367700363581389531011293225331678011144324571208935301520520647976072995731979026564246955704443598767331676103193472174810662205735583156780710846683588504275099597077338628388958654890842650101063200763340415684470213605756116605886780421513630563352316293838609238206908174250841377115287733284618784021704723099838941201736548470801361005685765342644906152138632367456076628383919055085550046604476345520571790813303476287296467525038631996693731502871796201782792355333789265927428721265439269350391123393838172606974423067588127687984908800842018495688421506806478276466233980063354117373988152581864415449195756857857079421630612877780392164648810766482853976040959491453341963663772281076424276669667746738734137361045944999442658063772980404269508485945023824486545189469939696970523819495358927245935360374709222550291102992103173154814742446728078815688753096134233384784606342441632554729627022834981705237739442744296485200152840535367036308204513651097615414862086513237749573557092765126540927319653474612677243229083109231233257212136671252277920042449375612448810317219691446590572442389825851871381349030861627719298988016850374663591756986783216797606605996054506144941059564158599077471733803696143237157656984762244446407714020996730167665254664953578431285344239250015379127692310761615256893966624099790178301166115921502929305218762088724458039023292798864287825566718458725771977305477267648067263639911979078788859598116910797889942058124067602106643821907777536306178965729076646569525315640442145800, 20961040077724650042509356262077969070571983387932730955976396005376551312298651817283760807817524056884115019614831747649657014577202130077219908442489335347846106428168729400964947711686927878827778760221407687021584911872910018038511010933660502943014570514938176230579776325818958261405902955708605795952604964576583168861239299102375984050645377710530675367518325780282721648474113520405727061360732522444645821780655707917191126013078129268068446854528814872596526885744822551258247671426648344918654124889142947671390004403217045214612370543575765247554445157008588893316883637485583337469900224435616921372782396548843310719278180973873028021974456163990383023102182608687976059341930549924074384981313267349329598846240774774423549070950801573084378380788688562053750360365197619713258927748730895534563673776035207592634250571694691135459257385937688396204525744302270743704854752884215466464619602934796139628273013410005479749050683307711043628284557774031477457276862931949364096769695042041698729281237474171383079439169158488821915991944072834781171557359598173931339026018727707817994804402452628589543060641423325499601502364196980251153108343156597756688746133727246347026657753679054177798924029720848453815378611164629759270097133897763170710967845634168557306433046555258457423143004271716284004121866411738081492851579803483776566504870277886563458488863718281191153934921986822669641831400788222378416768143351102211239450125852451880295731618079994934326624874553736596559212770707669490509244830731048717956285605803457354165988778100835361894523811075602750930864779656023375448307518050300955619349339117673007648890382993929257589949547727650704995706546629333972062526712509405796311043728155628077512493054562195012194372502157629235949558370489440390072778897422216900171334259495278476505042582139810975555958983947442788422761576755376030256217627241991833836587091237870571270497632103287153792962862227507302892930828806736514950515598448631038360038922344186043591975903821506807161153783576368658895788907247616077973317599635087470643489295226721414374168431)}
{(6765498280354114436979817602370661889219211375659314802262626296062859053789800640495022530495828746293643630817495171740643683291730239270605210239075952632741825641878614548797766800009074537938006132867764614212863755792912290541620195649681122795237993390948358600349357116389330867413957636657777955274981520812219794859982637417040490672603937366312532545189873784123848045354832043668600932397047342124193012699878349742325138101494643718927037895416488167552189223963872789772867081554595419110445435831040965807221641480413760849280251162610927622333558413354212990314193590253784335453183816335098816352140583704756681382796427048176976611329204436690838069214673930731213128115255199141406479502142514198288143845279085734147148404305361976059191794887672270697566123750351018501563445041741499047690798062463758000938576422028222864747432377497942805114326830968121624842413005855571464157633130333474119272199216537925932430826441349165563459730246373740760673493568819610492734806244816386417705826489688602061285276464201100798111874873512696592093168289900763006875325463065704267613735607383406589096459731893787941347643504803604799785178193973706040829641530243570069699326810486487067539438551879482520687857060218063711714779758453983484502931819216362981817916499075024922907205697573656815743027777097165832350625600978478756742298820878163568779355103028405621672991686501291180347545172777034400651352811688414880119210482603379537223526819515619704016473323014200069707348795439990783855355060955957250852511419593280913549339546163111369508379211111313854720818660027564667028028908714142028518276202288922184430305644227484571233596880255232268086950955243070490840887113159300881226155709009951263844254100096403755958188081696408650109418720847115949059998915682360919456038647941180562976633718472846764301308544400637311102172034417451570844982523108425013839005659493278800313307624308269915411481134717325273024978541800481191953660214317863254915081312710627110958764242662633893308098612163225479832954526308673469391147200430005434477540882856910931172353720459592636367858107454921675914743637640471669980895611221457220954346951444869512258932629733298392354945180233825515300564363300174065520119940483031667970718283709443165632416566144806087739617314669917050424208840668163192706111147495172187345981333261247960207551961329115368071707696280136124403622138037807793383041886277539276878689181467388833144607819771792335328329117354259103598472630660680391678662937411, 28944234138563616307345332244646799025417665977387790382699363842556133213888439859459953931634459358759483502181670384536833337498571174285856832424363220481713372500188320115202526702795719322271625657246502183344471037889282437327445454719855652520296697418659789921988778004000236409578046916404930222640057487088130735659018453117673428927172828191463145289399234312001280237387929160067748248665258224776007943480596993428276366091213645232217975278290893095929723135870865464859299295384095320447478638804005752669072934878206696660899800183773504732783150503858890592163912927528085398354293506054987672489013426942494987405510073950433490639335368983380736199930637325544452294157148595457175800073255666612080024217092776853541231545754237412568395020468244477801916585959431044245854194832751532019501522834912255230649322342863204686761977959808437310855333902011245564301234501216372409277024026829600682710608872665510957675162166230734684884617707296133852775128863290443893399876848635365737309381484961150149729030412517777687989403205098009855543913014179766005262315195531850428626693423219748885678955828643803765000325098376023058937251624685247656832730156219220593194746722708688090585123097069361077863292692142221834215822505108998270357760665654704138321488037427341458396148486677295962489150540235582378664999405197078908694047307180414653498795523410092275879875676832803187607948916831298857214189729439103389397245974153207400507331307092150724280958240109724022812950401102609856420115325823534634869676090436459369339958675283746494851494703077984889783312785549674413355735716086821386535030660052552264697810404950422614385254349131929119777209812481016938737261390793674761105373273666375370818244869006276332785931244636823776509526600492768287711252005377095812164897165872534816196787159881393966757731975501453865416285430579831852052069222254586244020587382494961953392644053674561886588867132217664993525970557270846250800406960984196726594590939709935007616734497689490368427214979543625999677755515205357596004499999329068021891488454007431977584803302186443620269923480969151807289142108276726281175794939337631046629248927668337291870363074571657480859968237400300139320557699091634237844585841601646108808806312358113573591612963713832944548173501419703933469298543693740942532804749823611647549430880025478093602061442668577130930954037036383165170120069013546665957251327605470324982473732799418707629692747561177008741413126089828601812376120699579253545089410184, 225988776589331935149662668668002393409531197475509768043453457011610079441673797217344930232616387143553212938288568592517089014568622224541522786276494261378450985731575044756749281546343296393659511766316494011398579585182276744742693480511478599832836667529871152018842865392284318662625719952705801324484956351236870633658368519673823481842419630195503880274208324563705530233352487442767822621032189021590264726563435786299339745884842331081390418121853187051732295522313572079740773013441243748358952503634154053196626755620252683059066544673491833274457515418483671477548052301907699022610800884242602313094352731025183765653719949932350371052711773775749343252054951524499908275788688583629641557380159801079089495063800858422137225979648369891531032661300878211740181230034877894105495056092226239845829520537632099343788254634612219333560156700312992196953208731312578022485846949630573622104703032006458848019704289143110377316119683277673246717457171696337680643131677675988350347816041146842712867630953055743527073372791338653167086609870016754796323390004801316077284493620672551473347986293929253892008914766463064683799727450540499386612423725482848151127738047744856943790830886711155991856058649057130867250370706998036751038889338544074672216803666547690778825992872706859773097352144251085778478930537131146737795770253619778952967847505134771592234794994656505328175978289169714321695405452911632932402117596041509271768274659307926955809979130597197923653226788478767311973605983866077598914544005996694304308431732747179312198521035178475989488348376541883332400722168879063442471926828457048454277114648520338817989394366697868591862861351143378465001391192281147589440718388127894236942185169881024306777152820596568174498120137282047506572371029301784886484114447950842972814196828927681107640496272010301270217489226593034504601080919602664205316344989881665879257241874347926944149599604412567082926145065287645489100153454722160394936151025846895653957908987470215702150689650633933792680487912994860229688709111488748849436823839445327233900380910811206604426821032447168332571351132681202833811503426953516242455475528200584965043058758078273873334342813053511975876534562979471273601278874633993071573055645464968329208240783806525577307254325997753941682558534363202327368442271620122389936138701010714177946751715900155412725808727260706119578126881652484258546343616129682476468215443187254693282944158332007707697862869099130820893648740307275137273834237408952901537212676775)}
{(3108148734358308404055543956968924790839189397463192285554832812327618397185937443626901859269364408576627675216572842784795230730318301885439447453232012463742348895003152239686122658210548220685393625817104057000317093683822667804681316951858751221531770335483118021780195959388545467304613699007849672851947586508228158200816040780815237957428610010957880364892503922388715495855391601031264562569677555811959750142072582166554662442395211488403686898738064033736866244715877737863589658660679375209692735076154774781076553647126148313741144756402819646345339472309582117417250238247365557102642679123915032085991281592129899131379377196137380231921653010662679350982682407743299789964409981238212072863286279449225723070098534599606174612783222545511955459364562252727486816697199850631649575367763168788848832655313999485053195948383249130432748078865451969234833464798932126786523085800850522888783494647398284832066357643047273127079726727458617347901844834504780636549566447343105797644196140569914637140716485673360252623088451369267261678461658342103538733419380480516724482357249640391266376191213495794394758383010832144521109951299892120945517918478421250017686072679366808238046135489908340035703395394468712752606634995631634962278517378382628550754224603316197435897463186454120343667832500298299497292154941720315958058444288155199116909601086953315460167699859132879290029723279091896942311109347030141874075303163638350743236500134550223453935260320779196846655509904097888238249244062255763917723974997703305102754999436981197717064991162289616435126808247498404887997197383421725563274568358190422248866196333950117064926997475831339974257761586702732443573673607767899305822395208515599577833169787464994665809957759557955770618147803924026317461897639917549947619266929787473436502829969097989207331933423168188318224623233048679066864625650618768217939350115903713933711647595005434666159886336090253609547348107495480752328632972335999363744230336037401323565542864111337155905831128069725782496510760492443420163244591152571634763620562353226449360775380503103930029947677099906067931344903284664486412668599032679806911511311616576799239897686936897323624544686155960002994867254588344855789422350432176521902107758106094918629508746434209720249063426571707430409076169277458001356177909162884393363983773375190543600158168613780465714007565910755399567899861415008607438758518142235074914288318703005467417799623597854514739031426460710130829520257426997783175233341761806761549344829983503249041262965307946980096694939875690138772956504752553063986429721058103227152137286109111550143506459985247049425881379155408268333889181196773310532037800447771957857279645393945980640664606595595036569848579846880595852826623635067327817643493531212454079744783129554363576447568499488175035532005839299143179966277443604244989397313852794409035255889707119071526296737077493511340514740717933498168266284699814185376834157936665244980931831113251, 86526539994040669351281601708402383636295285410792988915539328582059688811230457659585529958396269755921637472930018864239648458700815310088768904330551978090276646804463504698435009124380379275656046706765739978026767999544023066927521993680509769676544663536857113220943321829502225983733564620196494929677978496012129319770541434204502655451114028916088357497374264294008713451349464884777812207378128889915858579645569754164580624674597485185625294085236971275168950703516836541347379980285624025226832279806653931737801537677931520968460992989397041137669251405567927677711024574074401379000327009917317115281235604641830761315299990871038188788678461587244772145298998870748357793295797722889445015986655070632273698348672776693390200624842215115168191108880374006063905134834581444403394692162531172316408499251349759530511311574750757481712212064575025356650654311266873779069673848872134485431519234433671795564380194082076663122899989053105688330946745522317740024287591660573604438990735843014502078788080779236035742668060395245385886670179468516427011298211900686296485603193573922070330776652350510737955902505915311397119057864002846701696218154722516800321932393765454144368202025160139229510769834509695016844669724646771529632445716207686775094285481813681587432381206114491721884549978148418729376273395102451257451141007865473416082915477035368754716310621763051696636095667249146983684261732032733754134710391308393191112377525237327246247321387451319690393276282282244680121916118605239499300298869093754471979055099926478696345076215366694892130656686517387703515025230942519384443713219997935634389345590389646693026374755163633831665856740616538751588220746266129912244863942623547008777726301394949975397558377717083507142987176749869680524476126719851876404818240581723494487530703274693661130948738633643179750443492016501823696944069382714494746301981110332204040232536924853134258107063580812416776546041660886888122652464296679919245925904522598369160819538035911996693209894300009626261305268098119970842868635275683831689658594465968940327031662523827486209345358411083303155052875797940741763932418875505237851787244119181369994601567357548282389867662646638577007748886395258821335370167265159869462482614421379823635319925952358123184994149943704803065222864693374446120685051483534822478702337092782624861411567946151811397002266433810712541594364754203245624101779886199129258646998371652893868455386260295084627131577100071713197573034897834228564712203988313068923478893820320693355735647839530664260124094936272397415129060714138782788916640778101957443031740837822059960105588435519776571132770397411373734802594825001027181077826069643527582885552172773560293897847983763522165355133105020349531567750939696710433848637669933716664770076354834772486782881447729089033185657502953259237875088391471555744769663488465272895345878284272669156444826748520893493267870604060487994195327410830009803081743930736972984034675815234375, 180021232900497426601996896195542408849770885641583529757790201785146588106844440832970045709521822831126990074215299668044061839401663893570619806957893489400557627917491883238131425821104839132656449131212171702784525055938034908768889986600875923090757487941231682512917401772856105110421539652374294159287602954618704552239955241263753780347927463843847488131099942160859043638830499711841536354691230092143453309419521866441551679537207914380270420986912002848913899532842584761038628048144981163223414247334171867617288162880324111712821718088104979016177437409303479995659000760330814056206729738890781177262036093134912477248173931136246957768692214440551794345714762963449169056440162123755640881306726019104115276002293670898526582675894573361866318961932922309026982852238506151208675064829421874064380408599362455909965925750836756793984606417996863334189912148128648091681973702041288757875633290121869925312783118929807331878250869506314946370198424034732070329274152100523906667404062054724627511548455728330524263975962123204234452068824860738288496052318210121083322002468304960950319833520076177627595503098247636513128813905409062531267941313524914124647053299057995798182885008804809115868110488846635173541158687793098159018037547804401397315177678264529812511992066621579474458758831434601429625516804357599949540267568898816343517895525665652959054332266590683919022405338666005077155388782176409180651455546761190157088671873640154548006369886913970787112188643239755867178941738540450661364948302595133743220929628392363542669006135483539702806569612516844767514033373917809172720849036444078158456973467392946124229850745153626873880481051261618356625140495636512570368351472980997323533702491201865610357732946246352842186913781018733186334912530001345524598389818349957935823621691187744377651602260360631387400675845171426643922842711859919287010226552397641547880013994342626521205174247342804147614122864686707070248145088032512505747759230097270647664490478887001324555074034594618533977589367870251713145065289211498562897324217068348478493252734240981961034023918552956928084702402887220530012013274416481952299395567883808780110609399059932588217054843743480390445020895213082053041178338663156070556324182942940003434208691869552581160196747840674236154305150019155927012258688364888817204885596476969368122555215378693847751220309117190645835011014607798357862415702252756963112918310379165771953693569188407152484172793482592743914272950005632201726514364962041389086496952112662538037467704427707074215635246714917912271011054122872104362787539657959040523954457594049933598903864494215943255890286271617335203249078750449468949532156789652858022775946530604833707681590962385784977614307925481615219773289662336290582346883936903473968508495141747743124068487647973525125747872583587238283494641195888803262399590681554529102929184480877536928837494394433490764827634063557755148818576272465975485606442868210364195969594094847624)}
{(340968625688945112679425942919915134145780077407970564334175808732632745100045869907409230640990352928265026329759953294386653276752192773160514228232990109942722865970236527203796936331432405362492273898008348128204873439049987186541757318788799742836715497020346807895587931633803911822466272185639578781673585338992551728976893135798734530604859341427430690670196546998201288101008794094962640000809663274021668560569957448797422181568991974291388235155997762229544948261987264089743198652165507219888865650919823028607725888712324025926608475256392962494450001270090691856072667030706821132175136037111991280939584179960213579295168241436190701517122953147090610034176822170787319228371111497433085005019442137249474875315207984850660367205468637858885976041196393056314171457959108820997116953981078165502426442546309379200122069887301778473253802648487477867239186938436286669639992013572526212146549652267996881069468414965266830363302565431384650330421475146085125890873899698513731657741587162621888080511866948191117384177719265748009956031121589676651866001349096783145354645343488668443125906749600228379666612502707179156116050770424374947003070113299459234658157932624706926210063089482429245554392559349799503470357016886957277051319483767552077400747904159994970374284396556501147474270486795948074146472544121368043930382684772198778614574427534000218148511706928854086286064660986730214381574618635702655171550024597359326373302088857535374610185733110842696380872270107264228076888952943485629130303247738207030574517229222322737218026080691453474209110793865382672386022218640600782294688549600299591004759788514617776966474660877468025096462917838325678500094407575118375567135868659668765042092909644190854674704776462223368640763309111716441803430703825702075592168762425161222542860723609816177865292115304040637356326677627881113097576896692673532494121482358501143803220839127774877469248310183111114582034191448333631887425262221542117075373890737963054129928423323867414404253035661111236306603649350026757844605454726201481721747878493348970707541415523571384569847320897851031259536066742440737726462618670159636314052356311896547033004867472844468173323870529835659143927583407866800477309108683794635804779088120581912937386628445749993682963929768606064750857211909819549341647459224167677640001403913410426912459882422698912267059668556460673461525889997997366052889131130792885257375174772835332035135382532271184357577790099455316437118710784392116253060877377104922576818316487377397087820478980209029930557640650508609551341175165867672839285195284728550831217374738528424723069621767726707818380282974514052378876756352929175620259779673598823793268969192942015095489525281178082255008201133551911607635105527214544828181947670089786972154892411098860800057579804162121125397680959571478026619419177364777076957454395281312125471151946302627705631801553045633731862030159607975882228293354468529734753048464338580872112225606888593534339496022149650010781150977503871784301584920480168094511186012332630444464876216362646720329804058682407371349787941629855261950050714991158704384723341224948013269876945327049035111079317401893459693832377021428883205663308917524925884518832896214694098272371521412239223046378133408816430080205784019020411708741784206847939184853834881677993409862525519388832144568936014225096990689126366920632935526519816449277207451199175853530741398906409150412875592349679511731850116409731502600, 10656055135796254293319719411334443063751921101372337461233750133711363786433535772555954853655484997896735257265006363895759305521927994982053482900822291247219108238758668885059011919804590380154799112054482789496145588859577982689063409027357941889539721665462629150311968031915254191569826279013311019722994162223460760162315761007471482886060866798424555878086390123584721511690981311456055391151512941394810172091049779975199505216028367071610167963780247889019510578993733110595483383178612640391998291311504201236070866791264808739407516316471752291731022768163265785215701117725643042094726484992641600791423433801875523333031084111156552385899425783308481633294336247825897613450882257248669513144233459402043206436044599452699290825332811772510892444711550728874186231151807060369568782916516615873591107912683838353501431098976535087824812721565894653510653384515932631103256209239692713228396847999020339948503761729269846995264263469935280633266320108573031176926171203013769404506411853626001760091476663077431182537052048781357767890444668981936670439291096527808178613427251732040657184260487173870804018292510285641165885279720812825111204520597428961181325262237400336325591768012304839990218997418245312256048448657018900663467065259875540676144576574642214964751356747621941926609920739482837619805292292673266144838467423853637933723517286220576652514472571204136446581302283345830547357313368034484304846639490150115219193830929674875752353012068951615791882868394348686546889362804856423410725400366309483204205866101535408034013599083315044626894264121829674836945028036457921513091634533241421146069968511968894640716791406949787160914497921345553916820288619422202103614556150217044898707883972893309163047440708890224403116674991812860642612640513276002049320857524127886730468259347368431377140313262209187141767671243998013827721478350399416340845615177325446282932169070490698835168637147821211604398430342071214802079982334990214082320881058268946296874508023611292945021817815630589026865528723024246688810051975379473807528639153116755358582519295644785717200423681089579320003681400045121206433351599515611201830148609635760950071123963094315669615613635206310003319541774789194994276106326481363240841084089760316530377059255450151872169293421773839026740858759408294685909594458722129045143808227251291913937386851831571226803677021199938179440447945048130537957515744994722607173883281733976451492466573137593936854325118527670788449915579318332469713797415274434946012066507545280078141596472365329614012005302374966852351193656659212972856709239763929460602349548099387710475802211267268498225391474849956775191772329726807890051352187661781260008340380779278820985378455459491370078177629484668978977954984569319280339261383646930061449162885357299065983182951240223737604044132317802025946252903225279260640176679334136136119124829751520490763396761266175170680019821986628042991682637798486354572459272982528071456349833303096611473249835017446738470839538139016296782718991282233689788979724992458952618147112484795484152388019085931721924791627521353935668648005777902234726715951828343237583941726448546630789443818374818762795985807860448897843086320002415637261613239502020548889381112683807583983815098977931298252846474509096519483244747213693396736649510109976130614038087093352443492414152815070993361463344580154160162212534962675216345475905629912276738054674673417284252832777830025936364812427256114028817339, 19746259579370026962566602744772422205121220937609886265038591166380390444140046966773809283991429246924502453274808631357645310966796777546186129853154611401539124757011723693965974996206253191328097925048148429738702905461739323296194105668625902077016051259083971852231545628205016555109955989148038852443031193312660763267582195959619231691703403491026490881924875684928666802847046947355837432873011232393242356497903994395511099706727243211147743587089928269491496264923044465196351709423459933469983520696142252122223784650408966345860634819212074990580617239702396993682558255587798062543225540205727197976911547855028284011524746150696995646982020615665563229041772463415393673714939958847168101567557312270201229829213184144125157854241172000556651250956019989907978980362710192046121201180247168843196619660244295703043734163733055971145359606679561579872412544015979163494860099868718581998212483037541776879127921883106981860734399928003200869384709796198520142881236752998583679765984626761300960503671680926397512031581222520876002927194736159573257547175867910038045373707989563912885612109541886640300081982858100270393117565339444954121479232104302305258075790450462889166299981071555704324514510202999198175082658602013060005468279226922613927293736120198935802758346075683925964625112465084305793581502977134756192671778359210277894740105683584851869194654223398453297850071984287822596853809310589155234119295269335339093973168556409392448142794790000883851900391703133774367269203295417165023551562483712919629613417767086334313552888559964352210141430576178708369772976153527250042617721769070238459748889131429819253480713598986893219456490928918302619623770515958829641485163659292389328472920367741655947060151652496386276363593087242794223081020349734858200203429507703576428607969172380183335588838706606795820207143569659764236572663215731476214696659851555185630037516136115726003063662208745312756946916101177880778767518822395502675379912461902435487689441006814612624442023472758427404883167618291966196857716384543678430045168372841936831162255826789919891060085537644240551351707876125621478349682131978567322415143733098932812892134755859771075991608334396374070207598786034907646889609889223637574642402413419003977957709360622061303673980352411503224211611478587321290230039185409432443107903886542871190228287433860198162089385230203595976312571917200951380511981443312848377863902760295325148565770507332943743979725617626690749746610479683800506018958364289478485148462587308769033687378032513404104175573193329408996778648370483212283150118512125191690827556325977288062913056942575504961878001150714066862328613544922900366568490665139932333129519015639920014765620305177311025031385335035017101870825617195153713249053736870155259364719324557127890365075195980161704534237006968480862787454610236258220746543082817430458907335006611062012343720886550163469835709951946953489406581443666466594139537328518673869884583577605759662493884275946235111644336933540777689377302146517749052282565399433036893395636538016774449779902659364655267742356759903925166877000422019750974237207446233336247138944996234391304639558725107160088476426089481409532904717689751611401139770464051466999029150482201274731278955393256648882522536869627719880627922575661582590704916658589068114445635314827186441002002933574817984262023924697690594271305825325368540296335394213543992962119776400985126381195873573097429801171063960342884490191)}
{(9281369641487802396568906866030846433115534283636237165022446249502952796939847772182965990092375754687788619512945715958594053435195128436504476743549615081123946089760096769888787912731285300139138316710198757422297366679481826578229948707176803436003144642207961085901193376994903937470061169219393032440956898599353480034357442877281125573267582763292921586602028612844179912572330359492960329740955626025399971308167232290516925279418896460261790076048966406719003299818902824519537364006656503964490169561270909173856378234026860393743106873102538552903013819248869107667035050792889032584243262752673223124418774017916926430338436559514102338086084095616766081895805954472599744283684552328028485254615677032200058650749495334152287552152372146522904439408765421763284427292279557990748206445262234171290074004160594491001241121804662870850757224765155344034383961712254856050650167868128772588405438190693402470568048734161620551929926169369802920450754309993477669082519822331001688015662099694116801063689568433176397024065423575854962943782202240166975608991636256162343425445832450760404004393141980671257854905665706134857602901949773399719989304600090631179628563186611840653273566407578571710424555810611988457808491885770697991413122597711693695248853653040958135544852490335175534186941337949617853839520451457401304348410349761203934484000580076878160755804671340563198988384413117715577671559726832479049674568217355235278175645826578897733813681854563522592403633616790721707848453015375429602741416105684366874862096624993228174531921135914257696549180822705246721387013509530476701581014469950558201783757030684542168592238898717958180450547586114593256712776302122124469743445146040732738571644186477299442731890095783212834517856060886928357649247351971761131776524495772827682703951993222516704443683850678358147744843158403515388392878539789294139367101558197716792463773880206248380380569804175249346505372727037722350962634996189265885689896798142304010936580612088285978642346388278862250150044271430327136936858341542175533798326228566247088674477268029678896195128971885266925174441864674498189753728405516333403717992298593601557802885699420708250377302087044877386463717178559218118018232336696823175321096379837948327962218727989600238065641122336956032899069969895562544108358780842925081500725090753518336306959672958396409456044756738447013756577669428478528154387258711637534087981823289619408753990274040621424351689610835593858103307557857175625714722230339568808121772672579875580941535018679538789977908377046543787915374298872987998108850068032339973506719990750811045397625399355702235346464947068257721577640323283892437990539284667354191447875917536426938115522441202490738210996754138644538210319996651344732225834213610461384448188725326341541323021410501713618168221229338870422303571598527605402718189920535471506847284272607166310301857574174724828136946608297030918251976937424803397834032352822858047574356678630035611409545621257402459362005805683403464597217950259231019802889202835945476383188907538775154636045723356640043955443859431338827800464100294064687857566631578398979087862447155314175687811501239403134315507129313333263468341629661074343678453672855646130332097847309749609546818214382183458248644144295684027108341932130711790808203756685057192676204460131005823960788790232007929769914783648071841091112273682108981101990882393228635693708653644371154513524723085580172355100985002001439638020731259635188120196925426040020037810314832850437371628581339484603662992394613345915343027475846337586446029535785344066728225656524933178829202177204920089385764713443890906147224437122190966390404636106435999186514348570063098190345800351369564806238698445503017938656047660005531409007206663517189810319074777909423130553810814950067543631991496339535078147298687084031640114441591217865495422696225548183503324504935266976769479741073958076391924050844108125780953161769463612621278091089884621553536446871307481064164609124319, 47967750694088956637173931846549662993976707796419203004349540463514436431539867232418323561199418149144486258106986371806554959176635356419539853551501342195987490156306078814459349564242529379319889217172653853343304576863112452246967362065531451393705045364609204387232749204510695936040143608242330213295871739328369322548529077531724091024537477090548622803297816806029924264474963919748082152625157061930657619032575774972634276004866136765573447312776855927920710899033852413655743679226596936125514161366201461693120146882828635474097888316751051946931299063173936618356121126687045954957199395195994251349500275672869641597106924868949033866500920650683911948368546533555184863347690508512059340162908071560636569939368109364716360847084136458845238188515343989001732965674087882573544204666187920058641271408803322532507883596301646015036817189620331153475552604777724228174393939135487011382034676018175971134563909289963865282047856321373710784264574272007578271504709125963938062931287206350545283230722967566523619463669787180337031019410693333158321506794666010218073994950630922098875549495686614880853860349587184316817888209228892318471732857303759350716078823910175370405453844302458729032654284795565358190033482359426854840710212243546270055610296133941386071578910187896268108180536790070851265345109546071803324689338865490420646962486034000262030874007143554090908733707868158270937149703684998097714086857471660651861868117710020144708707105308815924712098590569132122590966144966113137690191313329848087391698841082795623508349637393563152403960322005927480811456402094005586337956271990958399242430680739155158307783432613798015460088531485753700078506785561500176883114245672194538968531758208525461371909860403124921152719077361420537461885584754083366467726060550308466844162722897848175888865838456991655544566599104286367864947949400711866418529644942147708962306502506585614004620617394867483168523924955623576561775041454772502276077614965585691934691796814235509476901385910216581793038526808019890143001931687524243370289960496469966732311668623407889349599575600904875267788390130343936367708778326091229939796350397014652410445412389263278128009853279852276105875045728767389447774581926547878610949532296459740794996965032961815362251748266431592932139060497039832053288538323495373540686800103077104367812315294002925913817299768545123750184571969059780442123085827953931848633842541925079288387911387409939412580151909520705306526007133384465850692362649209011748771435167231180432517605655094554617526989325419938372777610550961961032817973312495445711156645870865905269963835775429061987553516580126480472164438562468326653922311915189332077819814913748848403025984281849956585841047499707621745731963826483834894246842445930179083499761166954634347844045924647351634961705484769170865401124315301985651096600988812571484837605233451048641967420632751034029355444762782791667249550605343773820320933556742579074490119499529098381151795972772198442871451236238064418999676691910911985801670987731297350178954879659241449139630303544287805631333114674775005169130557873382484749546094634313129317168430334177871219582492119942443484367065102271273676489339703601016639654946355809483668353770867515190665500614726907973494632196427766614614251047204456921668582212454657024751615745322514745545381659585520381831135159175935219400352868375157268953953852029042112120297295872644636483665120893054759858033730373828562661358052834128168331047353439552854939924579088266297651023106580354455748415715558292425713674284762741556375800963297674207308927464239973244608162276018792383212824722609837689346353612845664672607414946223539534972444619860208883112295616211051934467127267969476238401680759381366715032183820608303325239161202794364252579426865071101931971866157826782525568606596433110915222396200340332211054262356663852866209084989069794610570506728771116315128758265246953243209576599971330844718194225930374046185542036192278194077465486996075, 335185365980507973613601466566774819261518153065452271994303169262623728031821318312234588578064970459496020377460445116153379064673175493795085215389604459939866373434776828344269830032596980918304645338825515337646585830408146599242909688287289834217741274744513121980090842249967457830457510143849429023232253099864861817935386429985377167500022446135334179558721059525287239808677155739256649830976288878004875974399570813046542103452038156562669438380181488329589400082687273230799649271392985596626891385881981488303518323879103009744140279460732388594232841838645522012309212413077777010275456285690043603863217272535877130088777370542733290585876523152723705569060828274978133393128461140600763876357837430822412584381052650925420989365905558324240852723394910707160114197489063038262049597786811735750097813350071307711044935815905423935364874882343109536571694811171816787231131906471484734908809710009591533219324527069758883115618287575501935045519087175319558553553575386784935400491310933987881665071165001148668570367117714729638280469197222477307030400295277713586884292232316898290697032587800157374828384580939457685698919843765232811032861311660791502725245932883102208148835867071264094656827922435155487461309331527024239613915156625095056809617370161778704849788115618114946111232168623778085780792138429032630050020644592446615370979128461297845434202750201661167317466351522787333101520478887397999573498762361674284327801217704100507136775769970761113194103334071430408755081479217388812329389620543728933211568626909579063376291011138914220452359373155718604803033238206375261003483666257171804023115773842031062467570785026901721675320263504529391065500551221629116634476238556521763750310549809214719525518339776256166655646226933425535386784802030376855946370755930606189476247134135331079662668462016201065624275810422601180010548086948022481692879944650215322655440446898322851280603207274555513096369655015907898907779766731981231633139559087978121287264695471339408439484447808722746580029217556261440644473846382451133651428224609135464390162942097919660812324889126008550479322123997631828567439961436451634063357541988853534732879894711842067076729808214831863271106109893252477455699313530806066790385364142600019750085184557708910925130691947953416879159608278801811700453087372096695999086254970433870110386674505141067220012975464583548556918494665207968198310701380662305318075508997865685354498018088625178082832037646708595665002832459106786670254865182119769959321678668929652612647200737265372476113960523742273974067568527967990252339476437470889336450073811411309062268049157991525245044222323901048529091334706566403423413616933599956679392670663628295733191487043842029881892329957838998682826621863062126537708311397627897075865461677928324930743416277099269616616174627864350872420853659035116165032846282742061775589138263182611976235143333357161254440440856512813853104907794145383899717266939300590626365919259858977366216397256324470809847342721999716544402427969440372060898175709117539221016683367443820048747762544449080349722597764642203388336137286197795798725656679977894808476492927937726266507117347477695957056029843604367723199942182279135710779933213621288656041569789217433676601833396708649945192516912161731997795085417057480553625875753754229479087167652608561159101145065277819494807174811332322718504194551265300711930150223491939776470194900116207272881874877203575161975442750232385626201039975437106109958711541990299472652955828117250930079173685197358040304807396979338411342736323708170826831561730044446499519229311976400508541063328938102137380560001957039633259134723540350998899169658425508617748943809321063878399518107592635535038765708790731712153938943420453933733479878918363209147441327343202811633862728149622358464675324045405926227266976571190550595162157584301896447239215448542140266762944568740402601408506092539772193966594834920714103094340198656469672015910948736843622219613843021538515047489081096)}
{(17907508841031095527204027433460948498903504509357792912393015258064043819048368926055088104401486452628350965541791082127388377731133378324262388698848860276766045019158925882379623007825865327994212622124073573744082282270512602969847214496223853194046214711158556664118095790839463840829524231709285501753889658100871878983394618343294454749509633120629245640895462988142029790034459185135329970799620292546993198638866679323893408090679361513496259182670491591576398191332997406300061087718285384246780381022114182525989712962504265571857765707029474379661223441162324854786105126352296785862850700194881363446373630093231795413450384718546463153466370261750061225724530325991712573700392228349730552173305359149650712039606560870222142275115535605895089199424493866893162645394216848998695713502598309707553589502111070435817731952599060352696207952027738590729507922647094695528787577592727805462902558689463647740824132253350405018593355176418067596074565460497144196836119178007142910539039279121348792786362703272195954911768197343588990435406788573775526713499669420228703550324425523568670813631487886790699257667879007622250691211515446403857538753656821409396183529980380848591036965189522234288285118531361501353989955983490770231054378191308855423912447377091530935599199185153720794884007500424944359870300713994615417249433103135830918705022954532906383622352489937484361387831240345226445011673840991434766738848039609831608446580715929963439490263145446065698607421307774644825243228250304971233071510258479842654310299826963841454517260236870006616228462993859129341061450715163330917370753701058220963486302334903896660512480430687897797443895187435984406098619365296303973551262343561153130324771111079039456228753372527631944905533892301669674451598336691571767089061408779182553825047313625167775871124634877360598287258967135046000415430073661964860989421458084545655556056663697139664683634959553680400334631561675955815789913522048644782874960636948413411857208278719702953674290990480406783637882039557642001016433148907445632351647370702506145506697684443206066786234466994179263321840883468239890337760458207702978177005276655233113220512718724764093513927709256737155731954671506814886382489358666130093423747801476833886045147399859877004860554549113891190767537231937988735316051453080150788485033359514049220495149848728634917913823123181917092232363822805930140446206201640385104837591018454613345637800501920942447886147610031531356432799987189994159797458626212796493014303055654827898364746666906530046869071032723945018647497826196646281993412638551354411624954620163151449291908427374432139746847672474719184206824342965212391341624656573975285600095958116826456638408791086381602248531742608926056400316732094301477838915890010222525966703313434048445416115202071912172006125743330096020833353491767805547174356464513591756013399205567042694327805502507610016786906575096290218937516690661213210228477061750410434585362652452784829810971661702262413716407043658264833052205559241655448707696012190139056343124007656508966637271522044458701625853281591353437783465905924549486668417190462510051693152277049085187095815260952454685861671704799556268766162952051732521298872266542709156534443184461203601383759917001658241831946988185582296790153459920140403562070802773431887493049136906294594905296775861350226066328413910396091670001703826292334187973723792115100175593812841023628143437017610879994525382733651742509557565546970553259990985063107555246474557831882726787095176492350817315740788081932062227658013153517507683549074075081559971539409767071869083593355372094333017321719172246729815028940717497627413520180657569165727619481498274032823914367275747885353982563172950026388274740342922487193772929159677176500174188063291377788727893175974694741890271548176563749856987890336430315725046335219093730965309124756600432418523471710478817962393996564441801345719258170472010653841490857085045680004876492181253290808109948073611086989012012611657724911208885291488915240828275760224540025897211542345039958046571867785435152167360437837229673242984158678689848391840279008482745281348042297645820319302588785041772142594855638981016371802030340214964570459889972114233475851130316595866216611607642933497267670818246411522296858560410152726770287385414736145504229781103087079011193343833557205851103313267236030519705536256083465209964852870086054142669034405964222710842419536333637800956346552340253176971940217854619919575352536354868771175436101495956479336986958900214964604922198688295016148835050030460296, 34725875323508547079896040106765185205445696663318931384718662240417778180001263029530245297040856714244443053449304648077327409969545306764709709436785055038315772751922532336179019450891650680450322160229181595180641436595141124080562852350803748550965357466300495957279670142430398037932447965914107334986616023996649876161802055714041399084125490775025509988027351291932738321060920246229227395276894848524251385558205713665207447524080141566627907232838613063187971199576466024666636422264713700487081868379873946025105859963504673313733041970567730376496363502499372326561992251290171944776877561558956563094733086071123361963454289033163614511094942172661279278987338065858695990165271409949076230962168918805111075994489736280660635598421294261918307292828777673462154900140556108889901255106334530235878902276742790380320934800759618687284694996225318309809034411958050766935105198400576314903523964814728184489352320747951095781971104097751630956528000643245945366786166735113019265623625683507614151690596675670504316755255159851225646526062112556901495400714165377197158528058852157563474904344142784995765856215736029688900517363791390337230343656915266833085831773881959847289488113507053896785979483083340971473875249985952848937117201564741723212389308503740244062785636188502463725059913366991564295516355701251645182510945440777434703588993545940254880199013483230032910764028676507622601753096370188367661217015702942460224433074841825202324848181069093024965249164243047362450927389512187488311034308056127877345987156298947487726464170142345699237019975229891016182978971606946215404386396022711441788141068653054279939013199977430211686130456437150670578244325906907811095037494117103195848687113240597217732649789214259665521926302818771392627586141188556782495494278926577652422858469474448558310726515860189628498589919328906413657619231075608206929136469825022554341657483642819738578323422945175828035609451585846539218079625824591821654158829769294828165294551695392271507605452883579391869836188808992119112195392762942276643180325446683345286425684992264994781273339073611797133503639979169516026274856061557664818028759437688989981990094726192719998742806100349512584063957087048975331909258734741139239558535552479477936166754337197681216456950696347062590610562384960374682209899659914888164107619626329492435916158053589595731091016565113286792600367649936174252041794485338482593029698411247834694723112034209198136335937272166464420596574384471815114022933818448112069446850478663327671746622079627604998312075375961291672911997733280400976342584091172776341609722290258506570737991549635699580721420647868828477952214885403901940806829379739409205030033622067087597447430949216262361641634070998855865137152836692743205248271224538258822194004607095137722725915085531441862819779631082181692911787088673063448319161723734707662069077849555519529785042943566617238561422384553856874885585913788457920758519461855375902745112425115602467016990312797747480396567210140801352826320720683927888527685469135806667280783098407426777456059452841207194987824747597251767956326083767500635049897650130920040268549728540975663779383694087853778415997456813640364858612695702163409535441902006494180919900705700182375317914047540157749189630200982749676952258513924697300020426358970408925515513260303867757130220488832665355060055517931145256139993503219591654781726218711076484531578725789742329310709774478822689618834265127719162013735296988609381614038212195176700571623835620637623822215893618413859611901393410385352216765458642432148055075703286811193921818255296572114024427458678822783181975453950525214764890687719639744939982729681319466059005220518768606271982602356282752661801651308153834639768682773021123322345594017316108237351318412163006597138408684062680221570291655099385197245605395059022383863248866584505001747436501329291386216455839565602312417070101344560470245929069671436252777288228503805619381547336625175486544571825004369341379705663975016243572516560647187929520132896657249896372712837233465863358109452639660504155999724710041129645106746059895864932936794509460761849633479963163497689719815248956050878043365619402256615774801850546439835995629978873683888896106501713855961819739918466003793997563456659193444411932676375924113010033414228175310072313423777745784893946131095053156016836919185250358831596922544869618291347639216493254038829963811461424252330432723868385394935230604520353022605186266725888086763923636742950415444933510437177058599221099384123378766811014523192045047096148761710519, 420475955854229100821281608904058700459153488249127677665514280881912781514997569360122439389233368860406190463367544015775393845782283196827662025915668520016636518509362225143070793847074344081148938952176300460175670044047041759219401440599886081055443248544210753172619866200111098163680110491040426818503683839242155187140281535538232539196163086580014866693592370205482461640500370333586016406906740463151471450629576347781462109851906317455651800305208281238407718730301519871936256824915827923188836429894534389424744030926393589064271542962889300986983432543887773359318842322999166500178557602154022003930887000762019663000812084562926257152062688078860427749037134679091464525310019770961884038380938533847148951943463349836052584881400410522450396805012266796763409213849029194617844821881605930392913328332860037750615828543326944482641230982564417138041576239548369025341731409766018174232025224651874430579242649516920913384651882943890323528453057559209421559163907841275437395043778762349222723405712833562223330191699302439958373490994381673855253289603520243680634691485387772909306349126015141905186085322071886217583902801683965525302811493509195230278478758017847595202384331892962906675656599284252211242556757326342144058449043102408136765912389226258697209033305489041020736466845915585427621339462020709773165776380476601126924423750836170362698686833148866498647621061359199066940276465061483049342279838541093892198243324689987638038271095373213278300310894004895126926248062650569940617687078248824616202218726298301883983910151859933270994538712444000017520907637956684679634560673977579527693774355803153762303683157573542045901195618258100171823199601463469073323442240341767387538366361462920928651108601255180979844282264812927547666450672005506183234122291108314030181229098430023056776622675591257712905929524178581898249958527986164176732907192868377374012947384246365043639544471358820060674712904583182859414489496662584354336086362591972352090920258565323747654374358803337509097069636442163547348372860187805410509124383639959535224862224503172025022452095840879065574739758334783104555294450384444028185749303383257583561919951879434452214557198442339001399578377544888052950311329440381354640801279866938030998103540193095134621690731680615144420548983116184265068482540146683195879446555468188407471692693530136476567745442118794050845400914588029591923523611301574116214439649948106019692498114036984080255701543549502221854304510307795245838282513468323650547993139100935873513550361453482347311996534569125527087080567583299242399667128851308896735529704315912374530151987428124700181822897284101552134480658012651017861828038039006671195862401661829293246051337396164057937573405487500020680814033273690269438767751438302573413852997516332782131337564442218902004384807289191065171951508046609722046003556406397626069819011566778913822852902040926397486713297990174984873262220148507996480982060265268779017444176546479394902224447806671159051475238326772913708839886723678073028679651460818600719126745615664356479403854260955324924430916729208757754480264433982446907805292716487672603782822766828247488917196228977565654293249551537594846621274715585122580399720205933948297911587947374267496320865232797516845965562042717338993818839562492334038079614933176540358185344987558547729299192758808441889926093367329015752140773403844649923413829617867436238043779240049947724618374877371566562484699463224876828738657979618550469053970665035395451578377229326011032188486676006355438134970031122054680149803352120109540428719930288216068814798760743082866976153215729993888385918637498024393831646713430997500248752354516713698625682766332642983133252027820707402815346037657793445063936679003682216280739841957593305640870668649717774328210043585807282159626057361408075457314667556213041893313391067510870518300169282738255587818132755272386637083538464789159145393732297581082086230516674624904736670398530963429940915562752311700197123581015586525781046704172831917655918921300112770243393297919184251996930125049806971830549646254918266609113555151342537875592623233204147401278723321943158370003892331158098763791826199122872671402497256228298962894859129803332035598784698776947090393559483099769696535718542006517386456060022740382856707401215216371924351765243185382747284464842696001629387721354042458278613427806624987320624843806915338711029394849650861476663453043339722727577704258152417618591467983412068992805939509012760008018291367207876480762137535345222279533050189315323347786479875947779339417075)}
{(734135363527585732790293951752846814452735135192512761095064730852570828046996714568127001808426745466645404031092674520739550557132669158939370694737032599822037306965352065208968572744417748002765971696492566625515924393922893998199256500513201099073948158076396861739931935287206254797543808006350485243252717246111095719965159245530102758352821274377604839895908688427021499557488801051600508021617063276718187537783351423957464211633484305228410510995918433407106296469149031183665767202223041586228606205610607404730754359349645625376464593877304165997200799286322015894208914051383299231200265960876231862534353700715417193219569338514087629943178574283240981369475471989552032741228383818554095684175338892581278665505327288959890498680877802238529510942234059984100640701485165397340918801381010650215319410321503622759788044778022394695707935251787024082381060741329919163304886715794108106851025550941261225152366986329503010320266520412331657563278609561503816918080874576197174141831612922737581212173860448868327289051977380163908496539976889568788963079009346182191937599406491862728781286142912359892729600761344843684498466255738768405914999451050549427907282278225304075422920018880445472930628612832660824179095239243474967312940462169661065522988224162049617544092848044913272408092049963762086839765639911497387754254270294001432491657484121044963974758317469742222816360505699421694796698991831624695051954461269046065828860790322310822716899559645453348407394060986650229152550537182141596504530936183057889202665672526305236155946480804507032124160066660313478782469736060026355048895577785601472687930756657365116144293881521829530989950222235398732440360034841435374753953469746155526058639572428654849034192899359237360016115021141232641152803513766970275294327784587108024953016664528137822707615680533049754189377403968353276114650887525281189534859659329535714472938772903820216694391610067778120597664114594815750800610807158925130413327223315994226169438039457965807596722972843795432075355559789344224155357807191447341104246443768602071847908597283561656516307366017057806931736355771543143422733848840765460754768764906832518608023206059291882081687611129481427470435869787261578432157434757851666985593114540207305150371389325966564840943787210145164298029873818407294542957359357727032315969223187855787679266098128196845505115501917000928902025501657913040798350222470150881158163484983569419476512460766396939009444815442581971492653799607139027319625821360244647530393132053446882997239360626465222222994800552787952541585801309213263889926884922121966608256294635754214353331836500648730494013264315845055803155052281358516912811489818454694534961351060637685792185102650886853201987415864327332280830400117184132247741674093937428700809645182002716070110982504410423187624240075830775445160206190786337400329774965315941715314995660368498084532493516191826598142408547214794651827399861686784386806368944416937101033442099828517587264091455015320551818933392171315593233825245998383756904563956370791121968321012889440834801893548958442947227769742222892116743385379858369471552377831165313999451048913545639190773785462759772930625954152528182718946795817016623243014972399548066269464236795156757837688778644436744923898445896723553553637433727633644960152219436708208844755245739082791821416876868149968466861293880824775666444701004721785287626720827090310014505756877021780835280540300932013731040257207206172666139393010768562976596679196938196098643931486226714095125270094995072158271616325437873209198403772588402510188472334723150110578886498654369319587408616403194162266535534820734523519250172445742610583888913678622046274172737836070001907502493823845992620423548082910633063106602194674509537941982505169577091966779687346684709691142230494391444163531715687488501267607469751167547617273771315971903505426223823009712853143301115222684564429590921945059124385747710155003981921550071524550562670403693320141720520608160830979072374600726974217171774925210712755539850448512305539715276475793146689702709292767198612774586489386395081058248414448700814560934871829608866479148232599100307642851210943290209562200712796782480201113916424102144300333065140165787091142436690831857540927618409581387990437702582743861439340492822107726757511538165231971169259938314909509268782175645910228152948862639116296338286169818647992322595273127049510381579306125830007005855090508380541402605739005888583213173060341289476097770835019454055087815836159351453806841486256307029213437719801271419709534028972613862620469350362896064447296997389331647143855319093572767219402501778919890051395127566698373190990741224272984700985902339870356624100477177008562725084816045643430509407092013476551869924976066489895948398631752858483447592234288962522472299539718879798645815055873403008274688544537653409839497111366398282442809692380876061124564188747144299257396820378068171186693359305566205463387633301222965999101565452638573720924460183208714632203388440518811399775856303393141032786051643031505873816484846595334443057141360957070946472223580890982884026166560650217961819237886938856230223698593614974805654487363975991, 11749565215132263674767884216837789478896836855354114646404827746463010016412331693907390639076771419859901320994105345531989850288078338672207094648471185416086613174626283888039402807730865830264673870189879967404280554550670640152206225067812883781153763163381700114946597915725355137272384716997763654420527698024876195960432065825684719515819324010709876773707373615928037620462817431114279081859127885692210818012601656410024471115362445869293139704886853182330875028004165162876805103826938696133282081726812163073082612374441213437740342991068887416477853536344658493809870559294156427803152030591212135563915492655505543329900803267915250837350929642970043110122128796279664425549833181441487217142828186019432086720503628485251907904607622626639579244357372840993563841693881661953927290925540019737599177204194627685083824485062040350175519184975200441705887255757847840190016652532293266961289043341563142467519965920055282163791787368543221424865134486083212925728009491729599368202181664658187927178930944456004579571030304692017928447222961438766947497092439463740738859480659999870586563271888116469022304388089848369550614025627486642335068568926746447337115612509963927975314838937745853868677953351399944018812002361927531332652083751221129170518909812631606975717045660714892480569083065536843179346342028298876974363347888992494006598934127561522299091279380768622177446976138444215511399526047737786780501425192304608732095238974107525957322902226486524777467803498674894417458352391367114041104156134805539428696326250948851971385556320459550478497620890543996376894563211869597271400154084314699020808003531922599324387897427060783595088613680451921812620881634007369260461779585751986035779712206970275009722440836215294286199087323051545310691771353709335637900719232903102062834328550817822963596770542865592312546144081879899061988283777347017313185420928007720853323305212673498681273307271935984140526911684067034042861467554147870711762434747778820334245687069372849800693454658114106864726890365168968187238768869897549961880508474556631871920047439529965655145302289854500491198134999408278860878526182272794463896158672749601262489876343888337579894960122802411521239448928470423675978339350454058049877700418620397911179289598447514234659431375818631248091808399819386033885137857670141540400424202156867143905548926900716801827535160822361006531221132456135102897032712590067899172270364908678671422429143271349460619417502839874130999441757906788402113509068205770743190576084059372517208350032551912308449577636364175062619450381290442995974060662426665963504679257199060325144098304299955619864079502179684687326931985408391488926953915661386366027812406231463243803705578767610174418126467161231565637873666635136682381355691193138552003683323323710819027569087373977576290081185569633205129995094138428193155602484343825195455245281521493833070818269395096511477864376346478743307734067585920609209626947723650313561665127280295236386000409327899956128317848453652305034297452884284672143192680484687368805599126741185403412831844454225007529773074165215729891865445374243364004790311722799008010430458147227592192242529651516630652333977642705592564504279376566902442101012904090409234648700858701446079520676710396247345944611054188993848124721472542716470314596299981744459099310616349455332894143603347046475763367499113851998332406663921503744415723134755489739468990871946181394226236897993795089059862494186394952042634007975457996780792880040826557546401630511433331834557447562571252120155285940749000507599209592056294766250013508977934351418317101652814524506812870133339538192313923922702402050114069902552525412669080346906404983611400558076670055150726275714487371706916669378803500287209572321524124497509218534543529748898390879042565477173527359451280563963047829376037445749670896655976113878149503095449016504247955844148872539265239099620161948246483537864671976282897665152576048874820851139077864699907874251106546802048911556247752895979572385098889591662788744268676713753901060436154051156106296511292140279835993263102184926970117680753779471477620680147888682765126111810287906612084572769611267624294814189814884688414796018016603162828244013334619961825562730340616103884875151595080287475524915354108190046625105143324679245834401562183396494332326111429102047554976844681747469538390527983462561393661584899945361440360047082374940854201990230117373718738554293758137929728452122993569647338895095770984557408122367667164770121862451019560093808494217176389101224566716343979010137585153040495532147152726802706278692382343942983786299470913988698116154947431890229470647922729955318433409629774764153956825258845660766350362185919303736013389209676458538347223410999001319298670714128444750253576774797712299126719299910319427531841418505249215483237681458593831038305575783179723747023029905147536731346307104566276561367637331422539028248499371716887903888661992325212240919977412655701558610701450211190665736994165087121746372852556396629703249096650712158396635290233694195250662311249488113588154256563147604927559146602499321090102777144919883331144637555864255891728236905575579883098582238600, 38951206471994990348408452805476930160149488407173993077044645998071635022521019827538096128736808314431190561222154207626538774133918705080159626141709281511662232063590493915056576153934387750645876100199831518493969217789795251760086683502072726790667474706365750881425543498220947508826064472874695110726068443522515359990081412125358512473007635808965817176424054908558293023629852622917070873043959228519793188453908402391975405037422421643214102728226761088438257623833674452204984563522628600550019584819865776411716496773614583158481169351495046305000533605654119138822289740170906848176222690552506746912770455917564951440573400714248761179765689646824007904294291095038512909156436223591011240693850800792427968261814797988453097429911655031231694067474910264186443435672182677295150576291187765314390942525215511772242609978393059027123668256738187130199758652721368322498896756874023199161446322013094929479909007890807728033680739659790628465306035728458330896822691256887325869080544079249107280609426546806157145586661024026797854261225705545120445401884052359008287236387100635165886659183096092782470969652330145866501294964577623289073310204652106331440381288786189556780973984888234518310797506629928381111034326821981879134974564181659662459888003627425529681084646989264961128505372619438579844618397889537857650171373128890553038110181846041354390756463388720311874038641744028645490250192493952411862116081344097210532888140079683764602276290041924837454562593876950462250432690680899057259668820129993350259482955537358894563137302633682613377545248300764157192270053600314057032008439165855790321951038352471847396704531118458515931460668994037224177275474467555793095898066262887235688081797900279448234365295474023816333781915645981606103091453977934156942463154578411341254375141869460966453703057918634583713890992938984174032889491435422592801820397847552552474553322171838826793128818525682308949807845566565651240791334973252773330564290012833154097847493261223849948177190968219365652923295800042293374596379493032762966801029848296260581178685700068518135720054118493114597251959009193076666046948211092040407800767583169859521443995595169523520589313658978495415892284157421730600738941536527260319961516726801925911529963627810735519067227971127563594994909709143137066468239907796086664399987094255866180820807764586853599070245748917317958871102328740208764298376229865529330591937045059907044158550702081014384403146127521159790573551857421587550251939337335597736496738348556489266992048281810777409664104688322423089030815581585465847313323655962933889571801413213184778520008116048231496424619604993921844529863100168199441447508891610732558276679658924526218229208554135983510942413860105994201515615326243941869088620859994336239914647630830495801132532396884232206822756564850537276645693294459899285651392676063567940785996708610205805524424012233691263321797892050541192416002815945341066373600687864394953297437418616642811617962921862331320152735941730368238621607775574981147895677204330128256331972452181085647296188225153756292155826031224797537742790228546912917727747179041806106805471337137166876298957644966507809469098286474943826666892158859075811031691905199719108128068649122590650782616699664651985949317101681015358021940581530598112625083687313512853867199294653766456677293339596316420499744965255127820847661249147734151050562782431842186518062887935020337004862184366902390542644655462267476917751805153848965431627517505139444094101246647038830920364454247486407112756140222895283208301583841798151998534621484845117616293567306787616646000896656615516685060720595581314856837923365939406090491613185377331859012788133181700732897799009955802518162733323774895499562844889042664146560931968706763785536301880865011612945732317697786249393421624992349235674458238248617428339857811778388976439941699413500624352614020028830266999946578041985803230802490067860390572624819770581550525731009377656108538172395756472270313857653409842686054899049188114580592792609003745222667137023637182633605112841442367402519812227398168706021606024450292097711769254392359638936582063316242325456823598925252412945097914496354203282424666870665278635687314934958717449222118351156731234560906158440244981058813903285678137324825247269289699156390068321674216244683345918660875025154907410983112377291639493197295073027894562558310042624008822017245185921925128757971529783692331369518046628982233772806568757716495940724761903414484406145853095048924802071383856619801986088347495295243336308288388665001853748113036741583249768039984767871544557903628949330343399074799392002394153992976863324880897352855254942451120984678272825174795738658608206782526890985444597978802784444400577422186026480671923330835910389362283048629128115923108505937913047958992610259150901140431219535542200661758589087679591357174882698167229862676329161254532346378282315215803211785214553167164374022645428911517697539846028449667884230407730239471182044536073224934450117811775179425085392980493199029756430697222161664259928241365175023846849830815384246486800605740389576508561679003452057112119691049900620256340926995133274637856769139)}
{(5909842687654576310425460864319866301129646626231215265947538875833209871829217551844864181325830934235076508363375030480323891459258358187034799544561331462593278444763578338659216380156526463941680531610120504138947871539497321864096367460793516048295582367138473411023109700766415370073438521307115643176493557214284450611526797381889867110789330745132445845473061085843660015821022047935569080221584131139875687219316415194319739143503341534840229479273614667197647693616375339250396476101790365555564522898229419394383055160575702025884638239023750580065962644884484735407934168164389568786688294119563815095712872932289168734654427087889264128963346128346709527999356580389482143315966493396673653820746100888278249293847629982051914288397829647519124131540443212878921840995066003547559930402719563638701512890069774756267576346616803748142544836750208890771433568542697789332749278140388633714377718451335398825062099757695584170010001326929046460309445989340989286482434039048512185886265434525420244980129351556408555584826307409658841004742722712140882714246933247050583464720680222348466854232042491865365604062986883685960054212472287860593230555675022593978729976333632343897029698551501039574637772658168622736820606395670069654715245317599535059825823575490850193738040855367871570591891868679003807441430213147242758350725648563562846563010783337396193350583306150634519733065162104258180055013449877273169922105685376395997144718168347639980294294011852981505091830215381312396789679874490931723710900208467176415295828136045063194723171528388841896913189775900964567958924205048532415792438420716000322973003133222387306741978511433629525140089196748160880260335513770006682490102025285199836031613035183659786036435069892043304146636216197601551192161002632208468978389506723331778824724862887082132809755986290181381334366741374424095893773590009031264633173226025700764610502039201260869454897900160776863992671007899696391436450883837981930523816372035048384421132335589994365683732893290323831783619630471164390433365495996937430816259222353281209945274839073289934027456280758143467520382260498605790751010567468541098404451152205050875530876541593807991052755802459483737068173064241419133614870455523511262367762406510306207919973243677567798454043708610306138454403054651684736887933427011234897525096521829463099849418616101143740865274330363655915796615608177113342275091540361516988336623322105516950910754950690626787466509065666593158227776949248087428300662199540250612538150022193505122498697158359394385122289226889088423749085382998694456763691888231830010198115642432523551269332524330671175184390343301709168108463946879349811164112275768139504008718202643817768239274091892871598355016618218566131332162652552099743500098261564593993524554901443100571970653922473886788291364923438134253764524396345883409806812395366677547573176776653789138354863929336483819153152296142257974990235129531905420704000430225459645550925227192418381895029538967950258876324972649346211597993338354612833551768385277674551653128228477983912324027990245809515711005839572980422613159320371731411132193459592621314483673987185375031622064255573448317683634989015420042684779657934100275671518861575950572829342851763941288974592046626536907307223150249806135360429871384677629044137235396651721811880843188625921040616501343702234551101495873318346014819283185014040929555788184786143125747813113186017413679046557438989454287512342190469712236476797683683355036337395473841414435258688726196188440410488005825013775587737616629275562668889198950849524065519092306538887186257670476782747940295467768987895065814904329926239941786304534962289960342992612211793136798065606449765339087684006439257900644086815055913117377740564508891383029740145536246834636322984379932437773649159635503809133146981258238781274354668810259655633467984717366416248184949835073716490245584293650199341749658989187724210265065242904695106870555450521591680432177473390435971246991373390656541648933534672639040501037507047249930031215039891625193762087504936890855832411570208917978378845120177712149283149876648351249522765593824425894991794357169745169038434057398307912730625760360996767984326139646476642411366932578350740464588346155039678247532913621913455425587218103207298411667687659443083388246716565685666435117830677866172254469861715172959040033996169562662797086383799255893582648680666934871293108664958865059991534606696442289709651706350540003503278291939555633295204824319148306795750519871772386875095363389069012460742256249863647678717125170312889985128067015647434733929635057640237521383335737332780524507323164103929464813026131253172010095929318642502624637717653989937988578965700396013703801265108527540988249180415784759374748898016238584719712819653730888822549713891772687560632450924189276755814354141205959668942639727245242316792503658108722231034064285897223592819132465543016426559179780770603646867984123824362994545635209067863629172114652728977526347622355127292672436445130468219317214921895962917945491000320316314001916964230023498411960306742057462064472745273127778696706182792960992182392038105307061517453890419515350188890637383902054731612187842345785904988705412553890538244632335429413951003708089756046602202063088091238394367343935150659245074942141011060506054150608189140114609435146873035175380320220883839207312672405137182557525001516124546212014808198565088715978662964160594542534831889053589039473124513822594031200402058439368876648045047215175592869805867836178400037971323572643459199411015220403070066037655911285626223924341092270012063702036251449625651074863806750374483819733606693791325736966763239859689620768474817917710959595562088759168882027187187920091619157217497353372971581755382584224429788370589777605025089982921500253453723447412195809375, 267329111364974020634586137630361987508066840466762034895017801070216796160496762621330371507559882098307227408651090975543963053400541442516989353379372638855204815182905557324052264872481725085797719117881698817785658221281496551827824182083365699621181089941648036114461463792091955737142492567918377983421356735348508922579585036624885977659473156966493799789163181160168368117972184423541207100065231572910856090872792484629070900922621178805336399701520746440349171001779148237440005826232284801835650498891004674359900280544861546984827402463511667925484320516985469456582419831745948719461716076424819482432395147090806763575621870404641548981721213514227315860680561005058220703105708865207125033090066734732362877415233875513068890897973944312048291285211968711866643571141171566120341515030453357414169456889761179703410114320104892022423836450853111462104714794329979463733222644426854316896045553143823399827224362753859088100476127224705434321903655032795027318326053477772159443637508217576158437865033367466315145739605270479855765482476730267187037739258650428107092268582763002198035333344272092703582118681066144503275493003275184578269880528990214148642885775235251687992752263892783890916365569012692324805843854795752252159198802441314330363363147392834491307153487542376379935447803601176126117318763093805394168592421054737321449798749264252574970121911007016520244410463513725343163168287241242637148327107920756698509246398726909742412097110004987833974460913934310428595371686445111048743694408073679726054630521686076359749932884541568812963933593824773550507211718228901182085461496152363424164400152763978042752203567534459237586811873374278867109696171030375370937398225695890617182686556919921051187027730155923975899333326195897821828792722380404602657543854674968466859785424222474724832068180662815566636009837627182001102056107972319908655329922491130333372698605218309687077803193988502819783930726076069943868255034570346303865907620444919210428246530449208810315161542755548494799062629109792218990267053350007247474953641508013218344376937229428290654121938633370796201422600090937560079667091625457061262229367790568755132585258957744437109347716951139172890442980899874536627908339231462744077208615073632549059968828971137011630556021832472193120313798822815725520799442003514293325690503129214102405308435925660593849724464028088206468648468087238915759807176629902202329590049780569483359531138708192773273902656745257122912188235523477318174083476491224392081252311409967424677844036335768909723376316466706764096731497477929806757393354518769954034801759116915279656005191703226249944272110277966530545719043939532181306760077782638464067507961947487266776751894606738841882761333870300813822419564310753727116516032520599193181683274097662751887712542456375069063848029454091609756908698612216906880172713631478013641524284986175912733921387264585052318773118338457865262622096506110776899517989850748991999493944774097760268655430269161056054858261416396435053454216499874295541516706949183942635335229651934492061670757402578398881879510844775048736352539764639388031336586500643892406883267665503919484776958574797124426201557835987349132551048663819542229600869849345601063587231600933231058257336278783519109527490559102262587885327652560785226869566098918402285452376098778629384334342461840972652820757445540036817821436724253684484021592002737892320280786495708991423177058915888491776269406199445729897005746598868961410531781755391811626527928421130612747012414728575879859965464627359911303178692967732826119165794884909274257378555513597071457171591453581837775679276642978371983288562210403482298199325382705494505474769318357957883595029812172709483494251992583615750204064806323835605083848801623233345879800878201315157189901127499899365513954463779976850007914276604483569931284329087374718414607098856402704332660915606474203036581417801506762090341103006914317055401053692320488650108390939478558515185892468394913681331926286179584192684544922097368191378327902257349466422168087302921203541429164527320310537617180976944126887764907994268159593422160464498145964871774158039617708189673172061942301950213729279451843505121393335301251807885831207060043544084902714519770229332636863621473214876963053701471416173589903409319030705080778686628825676820489979367166786214717162684455268793921376367740187670037838348843964680777297917511634064123353615113268029676576838039000922350338474561333897071408192556568396529894892908320834282280069758449606130080376891419364849654863819636206562036534326862068274633365724765492438678997855462020614554493516863524038179530347521062093401753685580245672933764444718224549332230540187445391609815709517573057242412855287601797288261612126616059389745279658982153892445349620567757107608697038788106011041775340419828914583042938907429778704879904771234722818827522992603678487357321734652354786313494287713482268110750887619698039977786242579471489532249128088122439069685990146360987353403773827370930255198802073305882560485807514086385303900462997680047861313823923858183070835539484550653138651122363460968546979618300186228001879269450274066072286000365369794741802365687055408399526774018513494571056248369604762622477268453127418976034916674777102346544819151986909904295428900444303304912494924308999388147598264875770852620096071316440655769360947020539139962043331602742452199481175682986220909962144261044217882616532910769349479368729006108212111178962515000813994888264760853120110312127191586447790294472929896788470959924981669517713436662227222922997912222848942388095845119742609667424856777174829897715220756457350427563053129435693219052679062123959615516173852147920076279965502818770554365682296782597635272954104636555430292660970515149278465422794865357606009283829478428220226502530824, 309879125001746446787188795173588910572983975446595743091955502612852884047758622733900200011110591331453135630730470960488862916344055083235415214626310785253742043235644983738184445237938959626977469230571860131108551504900268984699405365106570793865844024460208521011934033631464701792193364047580098011584401952959962222064252909945546130797815219592508846545122260298259236340190754398337371894032298033958828098866636953588408082540392448705351417976931811976779437829394583680820083955030433999584188393986257873828556219406888572589795269627291023465239759007815607363673441442866910131152274247001935379264841475958847510729915953952653189769154978216120129397534849072493290672171030376439175566568892522034940739141235719939574790209040653204645026450952481350020228761898044280712151470342388810920589428106971117119454000646218163700017679547892239954348854105322316138322590883029305906876059858106526203727352879703258869331893466030356489527969619685622520795157877887837066069083545987361246965267362236143697024393157070090473795865381466753607070195064956228166903884528905895046405706947344049862358970027391219741113189528551064062317977860858573054317216804409638547086636617474730587972092298977353448014495971751433678892646611387485361556349029209785580028016936226372183690912681122609873311155143065290933393769374063335417161636423931216805268920301157004024391935154910651049064190290012520619373865919025975995362461863074006369702670476827124832504852716648071351576462148460535177529789272658757740762594516442132461975957450193518353609582856830488667503852370002100603839441163527193321010238060056307349395604870731317888108230853228063895084699776821627271406759252360804004803963241556489417442926583913417770401405263634556284720307488517662802301329000409156624035029272127634373151928943682374671630785114224441792311595869932971008250995191928738066547435015351991609084531536670341102225072079605964553744657019476160928276071478507279724674257285622878808271746725937401783245851897005940195500783484395463105875795569974799129473728902585887164120748312449036951027410919918107810959231315927343734970715215757894452574671964419533526782061184433277222796470074964664723846606579493754404241646449339335484139856696224922073056832295251469035390492018156288021652458199486678541087739397008606062884453227472201076257303872507734514314106635568517323029058093932399387610332281958063664248358829324416735115700554202529301289089799217680607224412024837393107558669968700690096640413748112141394219179064175274855874007481621603992291459757809627754594793897574318393008037812594999855171986246029532882868553431034985375215427485465166851202013538615903410493873254782230295576338793111476213511622187447875518774731357091113886763163395132586758866007814379596637796827237405300785462263735581773227402249815400352384302266994655055611272377309382234596074062716410594697015462767283637548628659140658151324826223527947230014943217946900564663184859275733893361131804921244467687286584363272763168574602102325136509135872477036198381360758217199710887349027487728363285891329627587429663718215156890244498510555939182971794820463994349330914277619797990048173405547127993084988421415081942416052927390778908523403726896179349019576994563170364525710653868150340223758886671516001893284831451312509486158408929783248928004420844517227628369513224774517937839321088847113416880916046190450269576293993296468211079802857034147673364299870003808452859880668063814958618979303978517612735063922101825456405546526649036439778191208812959624549615216139036657765086928562968427934265191173593658420435828505587559591182449851312279052414958068124480249336830676116591188514183335030439848012552172769086700123964120301001225327793862634441790392315806328232545832824882647431302815099592651254777139255626573945475134739702763145538175781114077465994311235072731546323626859162971036048638886525711582875202577145435229280309246270701853407040059623508183167051366840095027204545817234587716405052853110020188750937331866132991759757108190449353460924143858165602523010838660462762495397312817847047287633505014952271988525063906584051542135908244000254235002185889410708240692485343117554766414770267899869911805242308982198235937464829793112173853591923044242787470368149574628725712717751480235531204481189479397006262027327967682252279131802966936023635743165079635954678581304644012724297630463678435051341127401091064222972591514736895041510863163228306248900489594296304218889097303614748651561836915697548090858973297312086334316648232764058285614419214036500583060654928329490905560177077497108842358187090099890082878187199586734608319236471549971033459006949601024066286043155549406132782531225139654729888580898266771984346843816254432230182014249151605497910805559663305362966120248295673908911156548431950330327400245733376653212826838857391671140463486032122764093668536840597828490457290249939265250856063539959766910926505978932993604369017231448169378896347223756925322973670981522787806556561539452066087025973993837509286820075087710152258982093274691707382486986104727424705975171249604279065713610919713713790583147313032209721500593538370963004785438163722201399454958948964874884772862061027041999983664790728968642057951992828169605392001883219967125317813501591927215445763519761101337625551865229904671059034886232885929429913828414712273403324029407709475857329874248615322352127233213390661252851316122434489100883298722329392899237425515223668083400896168512893648303708034883392364828621976828759611517925433387530429721467645716415070400311091921921991741093196238046370340767077571861738543550441016007021910083054513287593143821520684166218576919495879205753344598048914029656397234919337105263008502655892556915617904948483843506223097554864361451)}
{(12965125896923888344403437940573100343500311778855118788243511097993178831048913553755146996005902831864331752665297867025709488746140477810027170429074830791948412946638331071404166849270300373320329035140814617783683540477294589629840585395991272103690791003544233086087671776940999266163760000694306227753203024710061498758568224943385794286244929804541911455412469358848511268413653819071826517156662450519070560283653266928301779104700347191603234640934350588877171009499049972879541024850300631304683867182036377478091132800536197131320434637869132404270947652876046820168539855604021158295929483684416998183625742652122078387972157656052116630590178342563220335001248547729926239661049627039465422290472038497337846345433348397061589375997166891173319075233908605005420741656268885121661925483194442456228329125582705207418433975193606512782072889211829607257047130751062549297891406954348284808647150310089933633703807780934466486962037353719911165514217182056444314868871268689788791581836830661227390050043805430006054126641161708955689507868798578862111926962577885443953147538314815925448534234829706904966071041276373796513677251406531396400308595568950481877945371089080760608093766784222908684535558161368941137045537686700681374338664453967411385831353873278505332767932389591014785045138689692528494118392694694264615087195361057119752895170922351338898571798347459216413801445588448262555142847266229088453966160784649388544306649782739301050844406678529138421959702445093452799245368197058481092448683797744726214416412098894921248467770098809390410888542246423066906324177152476152096550722261643192323292392108580553713905952971546469229923900938256378129205295192668458224110493059708006725411388227197866942888794050770472663076008623697678406306625229274316882283261732418893615196314695389347518471396548202670169502976877614942167433424256121133847327627140747898998040340748875020308650194359750037036419937161281923569957510480685041882395581424381797857776283325793974656025671215263072529109451714682410534705797458424938037606078853222883927336371036950294451953453823331250179929115080477987705513735035421095120407180593134368490683850312634511154490028846971599555463472391770994735533439481794262305534387618451492277268040266585301007434276020911994498103552580537129712554861232514362528510330792639944053064329937044783726194686563088903950622617175977388502142820570808849843842994159661544613134439058878487221898342289328760717226392458283546835084652305632285989657488903798502586291272990649328340815908398409821611278027882582909277340896683364698832244125821137106871197231690277258400910750023706773400100844491139684948035414094285040707455017223663575208545898108229695033745915145330842229666805702200346303681019080703863776326817879514413600674679326947286535047911033460441033862092113319351169922382720075181232473013823971259452768791609168183671886122290704908877978298184964584093324348087681355201812275880324665124541052202421430700334440630281471631358947078946221417106716672067032645255740854205189794206700758963858177986064196510117570064232951505892184510506609161108886818957556707539499433552008385443383661477559723194610200187090358298043719030751982715493658980044115826952808201385477969842963371787510059441125624222694589249407691979190988740944056163803238582568284570972496207216886305015436829210231733888706247657033249523911066786350049047811957519366478715899637630713067455054371757103014927597992828794713211905137767976732611334588981475434409052171367953668669290630462749398876156034318512156288037624538471908544517176050720487853338267887969604785321140068005040416442271566238167840174554529135685971010101608615527667034921060979994742459005062825610847156197804376471638375713070411239926533208780718358236482572370748290676458970051650093654301912878573250949581222228420556848328913105262849182615499740484805368708248083554230961906144765528187954382456546084145731554620215235237412902593095669958525332813349275294697797458941845547499211083219424095888394493318246621838949932282520038361887090311172775180536068016405615083096502229897122610244102301821759595296579576333531440429967138193956727982626276232550345320678516186661672864317449108705241981519794868879995551294334393177867436918131283890639985665713873042039924976837977179166540328478815337218952644022339851777491567177659324401114102105850281709770989933482655047953424682220712998968724393096324168361912014484723067090587706344424852798400218042769017858607653546239138774386150414121693574445106590080287630529636369014539701986612325011840920094003007365045562808359651123827239055828282911597325896634970620406259888618633059372135110072455761958559601143657668850300845742997374094046708722404379971339605430184916408572482094383296142993364836140932184600803579918702258990863547282338057092779338818130507002229210810300886745936102601806777468367558497537371155480725853595307786886993871308958162135311171777032581532458642002000278804896609327738214161852005787194448834533137585769707348926422889225942442720370570361457618487324802264849133760659184483824284486403352222599699302827806026012597514711541185550337235138080669328849201348939758371444869914904060128794644378815400182742245751194069602884684016801966925826862907892688240608565727191310281853206812311600793506274345315670247363240851959111581617359854713569660858960313722987089204823970534217715104657249787914386416218963294513050249735228683607824408151813965214980794374744953118905412110927068606435787186556942431207730255445094319567640229864759306123752822857074202656651058314618385707516744091342037611676972785976802664987869692475056278105110806734807201053091967317970102724729884302001599992881438834413487210989966839645430915743897247756119463478549420474633341165322691561819568052139341413710959597251052760654382410684593535164314746929820609037968007659338534516281941784505459921984704031732549649133472472027555580341092831564390333364097787766522332183222688775806699740907712228034055845627158787454448104505779406006255367551268366092192149842461475985408779525667381155385952810105909834871488898994186267654816225448116387926252727958172798669393124961689102582313339543226690701905997265290138175475301590153229519148912894462766763524873812777971143134701030832208673853740777104204450429372829828925909322429409974156656713296967784419343875319794597073217566351752081829831363279601323025279707386417085856171514796264669584245950984, 137900351280237967513217573430094466354973875574590818507827671026251643691169628051456167506078077469122787940882485749190140961495390049835549518359893598903840121520718591702014606706507573408921772157245554037445379975110762462104824442026249204866747003532163405953819123776594141290107437310273405526275098003991166068315540776533167051642540116610647072533560871140595279142934369548031106938821794722289443678789825196723724482447397965531881282729161556525224648193780175299834786271315222985762752893184933816755268421548249484056537637708557033527730115785619908395971150945286480854285337754471629259833288784557877942776097348572829572847955444942306407980073899464734552304079531041013032844993157234656795105308880839773509433979855328537599963875023106347488601957463736787296531105630753915655345527753587877105214662971448271856604776040393613608323865740123105064529862210676849648028491724366383739070455081595591486875080547424374811773800233114755860202019382174049411884837365346320423160982462664277041197947747505000862337901257920970276258827457086623081711832124103157708844778868641040582771960297841882507048859709500669482093625689867352333579040074090341359689172798723548613609676383747555144003141545477389978854595730291594861114283574076913810202965576027354457823712991451605079306647683510625065509949218844863528267398183581986367266895764936495925485927099621914807434114768510070167379157844368958728927393201557993718314968637936151441667688490140793074837158810050356565631965755098204626293682920413632501584532333842511689601418961059451526192884562245069240881063824716622965055619713452414319775450202023565761228526102202812496516349116420550216705074911253070518332880535817593857357982507888476160780816731256640294303010159484918909180296952716303994413110673294129293794609555714161329076780624963864424429594070645497946352669078524425974255893370964343137875138743792466681630405719279150734178964728983304493470595462228706980925211336607395700428425135027564241121368788818109419560163715909772217794902150902226800582466805891971290772669823674055108781996537221347536124107852167189681221626460199356565080880674353264445118536533575448611327117548414551343319469777275886567607038592448410157953072673876624123142287621783895463509124104972776751792841790745782725751787458318304383614982943464427745314168599676986314086828251054057891904445827659633079128507454900317725271564119959959139591020284569102222686595449685284199274759075707790349724585352225643174001478108243709893807910673771187902725552885971022028752858784442415103370162627205664654484063570268586467780266027147074383712249739129929262701026620409128749295865610910041948979266612531327906040634689274369628572995610151074762372041605185248368738318108895099224031099674579151871679118109561977138758509196452569412920760242826391888105593985913468616381609610775226316348867659697807505095921497034077118780070606072550979696262137996721745704621844357181192464076588110057830006876951480604712430702116491125796883832009685167126672736385935932523759055027877065233531803382349642624597804909711895811729164975116434740392647581749163227575020887704091852050065157221463119164155237464354580627057508037526866560515149070189917894937789236475119795880571705010986948449415872551749409659548451209447123463997578687442804295366196805154139872506624615861299697790307601688144184110012995726929984815915821739904800836623814336643152722108886897968308401526205700529924893070603706823004227591219823201678973064184438540257846206136927109008815709500804819726599547524268263418272819125981789178117986826117471448052735771288977030570311415875908034536832239835425620849361639474391356286779337265714513782635841220559236773384731655586386063791870647785826406734478293904667281674877249660290061246500583731222620684867416139251257724580717187608956954416710241379205953875201488101895918935847734516350096788373556378478500030036434846713887895914689853844559478997934805691877802872005404743914777655362350528300887112814576854948337066307647782915699090741773775230099064494324623171782302137407668252804433659392673841696023346695441432532871731619825199345059160595661784446182562769734034658052179502405707336804711146683099284632114836625416101393315764855069828114243082769834270464105220186111490635723507829761412211475104136866578586482853765579183503165373674969070091058515001405789753932943842116028737119242239823048025322434206697905613056917224978066802126736874416474474593278522023497085372364060243899666348018871823444271297854274625869669651806588477181875854778159535746686066520685889730987216004400615719789856828519399853187461738503135596328228455322470540512951164652160140970258456166064032977425712348338151343121083425907442487419534593967303165672523608130615243017902462009178248488166053516734946944440397490240746179155763062169401357824250667421806760939648306002772960910621441828101126479330321085733698923566061750725413836699523950787963543568512451494745912769532942222359224984178594140064410703552832012134106616939414330637924246562798807263850068659273220070824311209076771950104446606596598040947281742428689206262415597353364678146661651656452222089800645522341030620588832404845680472777925541196200234891829998463109853804979705173328108502237923656954273073572227840367029924670015244666540969161188139682998649425221977550099357288187324170263254605310723710750624077409133984072059526279963289635436969069029729396447466320402393122087078252006527023401589478857834241592016995101567324175574233363011754318256861471244920559125013203120414403543201418640790580301996702993137347413196314582127262973697019647593555337027469589917910222206043789267419623743801610404859213479331882983477886057023053545876777455764298156481153741133540502576256167653453351785497265542855459433278268243416122659109523775730680258071937162970585997933081932984290057704905222392380295788757037647346907559939997390273772472410073425338638582871287575568963893026876298459953679231877266926876270345051678372344227613842389778408124234308709289536352878987451918157851324900570553796776098731162251932225312831376445203368255082807346189001945915758068590477967725759930415585780075153101112778132344993686358697793034558724963532771217466618395607057758247552730943416447275897559909264720672444028403590837418128611958988624892522647140241863954570299820318827542618730072228420149077451163669960302688124525038713708832560092343523197775, 611203619337426665906957488924498569064299426934285562336458579953208027748707853442611568553012732361128683402922599172137393171392721710473492691003469349969761321983927709505688770012870061834302400002522127430799308089091499476669261960165292697725076169878107063448534645824646438694529604047658703588136216368953433428163149327082355352220928805702169378442826202889719779497493185523669455434379606734298633366644922849000687475764376282283187317386909775575271498931378446366460311319401663577301611701704953571750950075256052306965377121397816356557115354243082404398585186706701389670512030813631959051429076695945962026712119391318294674732643221334891901944903885206061885905969939595062798749988384417325969708573711459768715082493431203009066534973496012621576294219673694613723076028932383358793748415974844405426645388799468814252422512522089360919332603463009764653469754323192223304046717175670385948693599887285243639404804615485926817224141594967543364983288667673809705133253707369313858816380080962108179622667553083394110393459750382032989686168747607122589609679095434904731133472820959798473140217884843729076779199805815956751605355420206730931844540381369255018316576303180326777610774723283131556680795375037921775001849760974035876939442084922643817667443519364883604149315509285552229728097454225708461505005097383213859494750439919741579249605025508933734222010786937399380400800444225122189492550020196325412631584367392504155423565814615620831289646015519444104944545748061484538172466201439702597830473230553829964288198694369302516709995584124008707446207782073988141355728514518623494313905639169757936585179058712795669706637308063969792652865379378238995784681788031772930038852464890344028433431436661664117113567646409622964829377585480338300595850673411830034816785946017604824006825189237007046831660934110440679007975813129657531260165285572689693324707408011225811801859218081606191805752578074951813114220668900969010532667986494536848351299787448363509070766369794755026005602599983115531496154680868583976060397993609488436085863676792758755025578592470832400291832737925802394092461862391617249938335100855365766925891925368823045983490773066813749193214211800028902383629920954595392354537558992781535566033607385851652547323224328931785833413979706074715563723816347596780097417369581694304790071475132553312101021574730040584588080532058025362418723667251614814949548852774780725018191585349146985454232746910546319327472080855348616871384400261168061579816704256693936050102853915760558151371880393315296726397908564513407723033921906702726958555300151876867961083434936562725930597668159458766456814784770899019964091553721355555266054123072568269926249540117462953747757079599969524193978907248770965014802132424778746851064500324700349190425960898276633694805211924501360582656850000029087501224769869953309534806464677292413803611842204103563356371608738471766565387047028022488186047070209207040614291787009710336559424691620590070464474437166404103518423292635605572410253777685432215403143160195569490028071407826087102274747221465440607009777857736930511524140514731830353443633366336994590558233831761987557188218568487965617712332929208467431971340954950141557356212871912697185697370957546373727650211040223475721489567909752874416868124924960431673672438755385064353292795334656896032537554770765454208738610331410519886889520954209968326564160003625836487418354305631319144997203932054372346795009549525684554749143959520446535172643991539798912737641713290132591254756643936296723794921946817795067318767417633221041461001778945199692153120735298570286381344493965005248181900172799462449034854267989057959167234129400397729166988292185375898970963459090418822089435638787455981114049232465195807446049720754637816722061796983795794144183775175710180410383417553581338810849324361705459199252919733401688590567928192466657716124546881052373309674280886714018462117688704329389058126897766674648194615697138097069969228063577113593051715552245127860839707004532038430481271542842543710567225307713292268293069002315477627252470367717162432099926836287581372132814958139878810904946216615548121305030898746333795605173505155520834666950018634727593453093481937524496722280977600224210874745388280669426391903472231884046482094721387434200491061403964044565727464300233368243285301616965321574955584864606629375278078068399061500906344116490901984520815330073533189920100512146576437537319803726772661684879207993577283974977555744519903866300752635377309476901519471282817700675820065460541724790243888238140045246248933703665511000890027143548469265220034892302956711500973104204490683665629227080750085696102951630624509986828686281337372129203504361951386164652553906010273085453224770434535335681842069855841043958707363125140054653956524699521844179982493212872494722909141411649050540274968641814069120752964051504665375455093885632870452204765873881581962542091663301725651354593837992803410759486067012710823680654392329853517557988873294659401238127523649927983300483840905500389021143628813573491830718397909620767637106547835935087332746896148299339875479638475878357006737136179096339946717500820942439444231554176478729608122600470449069379252782908816303776805295971358719898130791126074001235836138710757659689667728890817639448605500280679902864714320366802126014945827870100105909568823261440809886395320221149098732453473512082707389256738073020009788031157838324355020991603218342123829093021453879982325416384338843601437449189809256511465371958754087761116828351195792105023569657446274238427083977274431951739562227088318071526794101260677115697770748923488775488026994401014241665640330872265358412281689614899073101705881363381725290528611541980375262297676541343396561054704409675999446661095097518403859883783658634274885572178894367332615005270739739475224488452410833137310909691391115712015378599030242468874535139601662424124731010964642060187264640394803180430645047083527799324603004502704799945693928758592749399877565875225241400821687937033152672354608936771592329539805191841694493100257221141608110122920342197734555328972521219418340599668656241239148832126334887815247893709485805375901440290880216453326513653868893742992542245951522879966371368597802526577836373593456227072592512302994417685579355329537560566042309580458593301426875125025012513109166989141042292617714247410594577909349332011489903120366513249300636899960774954712495921400721143983361833182411132082567840687123981651125540849211)}
{(4856432869561182419266973467056341439494006017968087633719366115282371886723410439951826154592302345391423286567558996452205903409975439828507133593017601434959671636693583523480908564700448588557953450023965394324447109867330166887570926804769711456626863670877495644605964636013226830557890103042063236939560133463416893193238250796971863654067617315992407503521081089026003314723024580377359348772744244055620783689938242919190772137314129064742204346860004777621351496043589206937508083486744364784538885909720609024682466175235404663652116840472602932933564668428292037129937378385007169389810534685073294568088231983085398771319872665106340690798290265770960886289845006417060551740724391028484092631774546915556636644362379060084785918019835637184739751586411404067069263676470560127252706678500182988392821858116842093588177175412459694691001178862529716478786598558730680003840983007259458209761924674421590002769998247030235491956733413659756928321033543406443481017809116469295409848544266883868812497674322482582168479224905923167630120030775447641926106013919755540944801459344065068548918304020143408684691193331500159831737868112066705763328722729458412059471094234072338472822020848727841460794286054975269129760879099184341267571739317453714781882753763513767923790106014093919162845978748515700120787269004391314238644379749230329653373394530634398249194952502281672484155712567448271467019590289701385533503814068330831508233983693147877349736651195526192177227309967746725168682586304287953696061790314425863420645814029359836538572940279087387932651981412376476888012782903012751148483787258692281999423851675588416881407258840685128535057569456757011408274907147594400741657357244163335529603085037474951420075094837368671063825176714016784900313944516056037996974024573797089437946459014476223154285908970905048404399851060054476683991288222370587951740941725187195320380785570618704436902168412736189913928036573417281181321934745200388501326533921236539680976381208896872347834341997430978688272255340425612642603138758767173537913982468947968529786987796452082569526671936480455458516508480492009649241584205713461941827903073175133928186637803559149011136756157074144513233733281385531489265971848272139359104187109108934571203859174175945585200377127445108130086622629564896273699183402341774213986448851093273088060153254139391931525531425655757655559455296634305874233278817993258210795950411239899794530499900251353578414821557115528575493054491981944038586790569292533432120657169998199740988722300956638499943919457269869646648309896096260829274490638710461146191094245046899315614720154130379363272881426377361418794536734305005051842717067357191966216286482967660708726816687645348789320349740411002608778940052176473601334697954085515696580666430958199199873425295013616134943470197347686125121776681367960351397485109028814326240456142357572707168383402770581564074486549479631601958937411335078993924285924544528297629962971912965948584209462559112239274974549682566514104534510710884868223363048239118936391931858393410689093762717415131476520162874963644282152759432926009745058419985456367516857515121523341528155883151138614849386519169543774937337140174897746438768531157415341153759246412937047581098471407144830954738079393979005450416725134118778924493251000401798354960003070708121736294285670192792989481588160273187133396663372407176901132857203896067617901017204397955672234270798738089886785499480262740735133183594425839712001373798134343601823726222229024545025324845826255629028615862705682157591638188435771966640521898469156311285108940322949835375710801629489792217144265992460534506056486735867209717502378547107077272627159004784466360871621001468051327936511341918259098234039548061186128670972868014950363056432177748119946909448014258537481596325455898226409119596899054953415115677138674254857794601748648050706915423431903290747248390686347923213941713606210684982858997970491186218924344947455248972663730175926443993724021577191664166393079010866105390802782817567172875023739761507305628912895465137833381965889560921291990862404909553963178728048790921737179503515646202379079415595036318016977739305292075144988504285722039374501349339322953321642198212528632741150837116204118958891439096670255951698573596774138061167854458781349844740648289108268303730929578310123607775292052599272988114331049050187654930888898889558119011448860989819659325550139063096395421918699090014331755742890666124604658839741814718335686686694599352287476209682748486617109842279421630019679355186636079400909676402814960900544798240035255562616660833730049713324508135497046856650468447419244809679081259642881501602433029697136838281915965212816955837354273005032929880308501264496110085385205755015672248056010029861498185864646124747555404182582170125952998671408051123605486615346254169647536626754739552495838082500084540019950691219996894057786605917332256879380030093860051043147290960333217053212759704379552270129202215423860032202078084795809858395234818577350320471979721344961024991244722341111189553585994018072574851112539705195508890072015265622057470775876678212920352156008674424745627127911715391230716058206940873138788644567065489300714494247551838832750997175926089117954761351037632297810233018684698993289356513219215769985848618168339703306829701060003188324207336153374630045294499457061509988249407994102571567202148997228109887512904822039345346133041243432680141691113714090255035564478893939725621856578533832644838060048366321823869354547084275724453548386741727214148876114774890638944868183996238818653179495565217773193559367608673456934692548178434574979531011662463964191163096970193761372537793279514972808118559949569581679430908039066039558347556141661117501561833956495739241685378643212039257438985734979376428023327450309287827577745218121091948799795987549150144177650376102471820632964213341355608974420527774927974984001760283494743720616717760060146575919116702068735776693581777079665714174002028197541941354046171226990060477662436097757372219490156883598489703792299179161568132129418190586659163532265613028635062043221217923063203462566583402901266271680057994335638574062058336439457747495083063343563465803476032452259549212048653522426479964780495862925141384564676571965022423964402096775021610024648279068887862817435983972808815339604465730165131785774607944317234068497735720521257796105373244786415963845357531022079017140368504454828680779514979806883003507347089123430678444572185541969181627033483993012996210382044464668800753445610755947012127150151363472787411676239175674510337007929734511775728040075832292070637215297230993950767480592591660198597598144530723413539287899626365460394589573015218444444785934008961123276443013762221589571342254130885518458916670087777657026005579265431021376765145011716018890330578755045690294274627869275235692732103117532858621860555278433699457942130715752235867186630398918215348395044529967215103662078130099664330355093197363582732716045286725108746408774811004999025104885520475300161026665380554433600730312908949642636613205707896684844673042559514573087131552176360918874060950537801586406506385393733714529356296198240609506358388418885933485245831555396756098979, 5650384100480486107639179215444006136459705755029865149728553701870924893900512910427072657081231380236699475140095220806168662135608751577237807781956988935790487154876781912335810473160327536296958102870742544597273939705476395404814165251053628371367108334995912301448565072304401187147318589448908859627144598286742246031296492980011430294239414794916519319884655924646823627220485058987664917599738507029342718972609079057139581443541641445862942757043594339001263194301399369483834578000483865106939708459490654360905687158859866461107610052697667722697174395008981296532512894025684920459962923831661152574764591830258608444033902652551235719918539428565886364787169571585097036685441498667664087541399936987558667412794150538108468808458828033791005476931668865039296281698088886923404466109083474988972656726310450069261379267978714218049473960452622427789826359712023130150845058425479547230935806534726384903005755909054951072785754322422825150693113681083525183485583609695630018370266574885147978324415225034906630874917484568361079480019679355982497095006922621762367084496073255795499843039805229538176981030286241940159298884579611058883587401650558888507732529440531352674456287614401843979629489154339489359679417329471588614363207024421482395487006380058724159877787685340321826466036240880104365048489326626517287895131083878219818957320565674851409473752398086780054521042870701867169160317634106384312203547525015557290845664625837978954102914476494942832423666730179816519542296597962609773228937289829286312867704066746401880004345376588696541306815920888656421233359207827828558658196323042866958127673691168561854364227894782764568386792706303608432936537529841198773491723507172094006754374838234020307481015089952284818001620672085550845601242628047811716929580027238087938855668910520596561477522996407077465361178422124296789926610622742436528275322911662640110736169069795156382930542621694693956429321309403235446224272404914819595640668186944818105140833764773131491603352945500426054889133916821130670033461671949095210217841740526482884181875754438319263625161528507346113902866906625482039811811658210957226440181659612582742619447243593988582316050584437483249196847487889971870668382715764388890811885249656596193352819997166935132784798096451660661912563927256906773150763873262927230477814441035118194717813156753981138255405147938423954558434243199750003219545933565620118048767079663823089377970246562195552372850197275960085803214732907897325869277137390532533326214012703516466001014132867315803541612622199818501115982238385097283298266888259964440622429486316841643059053231069451520793466374085786255960845323718451473670606724849566012354925820372646952870126408933753201352780239951855189744498447316183117468489853189362684159229712647683726964255330791077184681588959706315240197603438432628046209313193440646911191038153551860891626715008560336274871005964129641538714579568897254530840241252926411479975101824070890673479192785186809041948761587049127661776317153811511668839405724380485145376445468928387487044696458952198093921596517347336884234990467743751377301662112175353841647746665772737913729652383647888756221704519786205388500395066660931974072342400817714559583858316455064439264494540727905860974887197173785696861792843186487829528666742211425851984835887174883161917706651241266377270856017043552535316831543651048899828109101534594252569182056485124748889052338330190558724041970617413712368674603272083450149776299511847504674291996922929322461971262716511029552854681962439396941155478476183331487458215938874512311091790242101338405451963392769273232541800610201554873062978671148648830061306739194839116132769887897148167525745417527291198837891245767546701623912621694840589220691103513847900512381928488265156930555282691432361022088050251316649944185913700214098472139977548515279098725442991813569849129341156399849850742940063699598216337625291399423645282007525991230662411988415298829543978021785686178793866997135945411769845195123935519223921733353483765867429123689332029988174002770102528887899223677977712600485527669954788845906758292472812241937962342623649777065526972670347067077126078276409206126323179768275393914147966204473195462462579153590821863061202238111888961060443047862637131430438502593873915577214098121028882634974018018133463285775073850197257260992549057014567779212538371994777360957064502435464194170809883276660275763872393383112863891380916258402572232318737621291494216966225333093684627802359922586202887424829134276673748011980587585807225386330637346506609556100276474424507018685298547639526037871992062024877235484331099818102663282454133224013749100989640905593690152816806811975408232550532424429816421599855480530940065703071582930617716988493144857587559689061642335242637049358737415667943398350495440506347164971997740653556332193127559722930143751418180877239194213597745048705617177222857633141631914898276171031797810201216612383058702935415616503282928864806685572617520762278188013169969929328717184142239429871811163056482718202965949178946250277539172350288883060901696657859595076875943227793775486278475368098606949141055102148814247918392890597845547252386888556918386403038988210483836890948719236603059188115294596316103590043968035078811415371643970801648353526219613466376254905420507571348977272799705488191965099309832719289225109787197022885667258609839095695570532253465427416296769780173535516017763356186734466115997701245228457740857629595278547942572700515823573690154815084338514970713694581772617771119420799606203166972910852358330043379211654259921568074682331744595641026434443841213391628404216628395811155431999071331992939109716964764152134904181141667572823966282127397427080777386113576126932966582684711628279263995890418628605796616089663192431785825240784674770843540485366352567078971595870152651234882271858261663146455618204826615288765535283197266428267422730468759007567238732764078840167241668389386425452075173630786947191097173367430990929827472345394600502920593294839696415842762742309807494797884690027369410814293033893192668935971625441801077540434014826972995184671219013700514235358265518549126684385115494680402824240151180606023625130068536031353678679842850420272622328804983350798396162952950243967629664644687317590668900492983832016215895178505291419793847173547006933523307570722431609997028032619891182543060846548574998598427063187126517531607064701748136375538733405697883975243593022749566740307990917486087105938648833088252679702450462192096567439631665306025307235281581425137140584153339259617971540507553808832639928975373449559078605651157389408646800823464155229143965907444112875501722143773866350625739219898175711813048711679163106077381332395642321684116307059593688616883566876914793300259020221754368599054742971826421415767068394530669402808189484103853812958960142465837779997767326114416881799569635058092414724082533482210218742539486881143167152779671490896647994151122578487226063404665333677333044122239064776680652403885978176925686510586533365504278067990655614209461380224203439576767034876065251940086059350537209330281826554411110913265715563885232846474135545165151613071026058986741542078355681215634946025386354631, 89204962359054033435569067374926657156783072013672919726858213422746843915661975952582085932717746170876203279036722393502820006658130656048892470918451954834317943850374271707715960896934090837585050759841005624360370677594517781685254474998055021131317736384449697626392177981395112113992820846330988120251508755404291324938601182375431084937789214604926684456207164974202266836174402288588228050914048959613980890536560612600419304821803886256297733022660310770506753741536845520014791629263067738950620856059442768666593501753020301100739299601501283435739164986142033030706123969134225167240684553043450534909291983071671795760501325151404615098932073627704231239886932267228244897783442331961091083549157690659320197166176117549190236261678412071546216395361672249902113659119069518093883129614690837969541508242634216937873481044394287530438700148689161123400565720123743140477117259312539461737538174737274075278904763529389714108371049096954973618912536714437666528340541759913055860268548581227438187362197083294784959081116026617722346136444189275930683223084109349137335841027276714464185139326528507008109636976945763999544301690305573471671946824761673176664816735971793909706368313698072197725843837249892168412366662703133460260950648346593507936684795640679004838784865777191882121359496695821472320437525183556337954694172838700169873434391520491630891069113744566679857154063529542041766188872697499755703860726013910926217770883816911342668321932592407686297696491543319308375904306636637591228124720867853783186270865040216036462146101250043098922509051117327395946772853711537660214079283845712040742739577237769196723063638263557580040861411886029189849571408411002832689007456970097580479947992186740989959102943958873220086033871642217142395191561962097199675117555708583019321826420412262077607268493710494297226137248992587890845395312738379263173751599626185829135609401928184474225470540947153106464188904599969884772619020641054766449856005022642234206751142960772443981391434632597392064071360005234795632563123990067393717233194911873158124515120294857639135713407926563870130247425363766882986292172817028058676808772952508456541575752649784342205030194032356839318115561192516963522529288723084463715422514014122165635639251118034839772344093906457480282218575859973530048737022982461380291832788049393236059735907942046863307415031092392175062455236684749150440709892979104457067055364557577006405324303167775145680514684051659662173138587134946402781663121846075256624618436073753010652430495045436854690084101243695130356659161145392057607718568472801015728473804242172094597590056389865674616126497478240902580322826443553422599875051737982781753711288951759741431727381697833259507149558213859870130590467055631796634587333253898037917819099772525545207583410213563917659836139797127447851882138714863144613259439863646122137018446426579124756105513280772298038746915903191851816071752766835246170104390366567832745516737837663297593925329274700970557014253360219480997948741632045724753773142571283968929864668726443749858347911476220798373473410661193415270368118672348971538116856525777272007248024662151096406615473404193361445494210791674606467546132565635248447691135017441755978203881438259008535899479069265227611778159217821634175178587040799008218228234848501462748932447970177388270118443069798837657919460297970914233063848950083441746486182105342390896898045241576059315851668703364164814228772737075829651371337505366214892270736909657498421579466650391770867483385509479354097100418448305508735826750270325786238659287286061044261652369338487350252736297673513521879160696868233519293026198782168257498443631797588508823776376511547721085817471554680810749467860161790505838233434899351786492495357163640610211636436135228274422502567781489684383660132737765078305765478011356254572071220489928170248539821496705086752305136037273173166738319989954775487720331248746330837854891368972263593985881472430716018203472909761358585879094562942353841943297551813819077487839107168951248035217009781221530553516785067298780224357179734238927363501959097187892942713459285429884402045941042571863409163539588392877913306039428441184867466483461519177341785863482258893757285977558582173378281294203741144000952182705806004275823710320572798636453845919932783069940572075161560024036873971550784185089561221758707195823287920682362252105272282643393463230827649352459523385696909005397875659233075669531994380257826130005220212870871567902037190825364936640490350964711083980191376688121835277269637192495113865892701923551044138403986528938100939038350062850640685046178717060799787921603334478713092973610332020682877600450030611584361335412930187565686654968642128942352779299434454939703197601168674238409095994587736936627359528666084697556832386228973310007344794098309948928094253980485015326598494587957450834454469424107203208817000132475075335472526919339833829789986213045590748342723553941419743670033768955524426132566111582363013412918768855249064950597273381079533338676759365003218202264778654877410311814905419651984330986411549174180133112314010850108764552665190133926756437011539135127846044592009942869928702214998882712416598957026326021044977389215946306321969573867241875686652966264891913508632088052993783172595117972524057431229885647682226832002451698216251432255699337664006649087120054251343998138548222775450946272979332469910294034692305892570988537879620038033934271668579296476675110397658922193788425405671864781960015463122085906313558668201970522270391432980553821292116574685102745487151946190944522274983390477249925937223513481631735322116436434835914403721076259432686950191265907158672207840948656213127794255501538355431160633032416905925197214635829730492302987011055213803217585636452690477087276795678366888999665919035265434477504421620627510984355245686752452355525338971030828378977225021980543251161723610398173860371750725757885339099034185541452583331551125924220003443938817033304401418950652407334202404679721024979922260652820617875924568430234490828577598211883778092852294160426243165621258853399532184688453599473547695294507261198169930350390647488734673207953041937979086813978812044697102966767684392095526032645301107375283091821860808127140323853930923045858111062544975823888548657979738929479049740398365384485385513489223303554942517407835408288150307229395483659642286903568464465861595606031842199285198255850399192477771755356748360586242534597739254239980279411414840408064012696073840708344199164700833390540519620647002938003339567890666692957377280653362145180877810607197247113805135735070866572945365383494026499036508113824493264093878258057895183244645315174963101687213827039853823479027421967300068902803407983671215195806558539300673479574572729416561991802529726499657305071638925161621906619632333245356154985553532023994395723161219684036001104550604082007716420236423000270586703749793894748393554859535074820398416231912227305545120866849543210094867574345468436135412720875667984097404475021408731806903562388542204761300999499572608847973072498151276502756318768426977968114834752291446017273965135721757965054143582127488710094492175857470209768450315361543115817805108011438448743475123121800)}
{(22285520577727987514327753264506475442899720592336824633727107504492781156788864661271559239689309541115033171314920868217101151242683244382175426990429214918746887725331566564406113850976256506102777357656389324238412498075349259429705161926552687576027322632159582886747512981866122462637992495407299007743041738656096632464426205437941655441453902112432100969369644809764618729767043636718122316996894530447255318085990424368746143283285246255149966790496019088909318656023310075703162909682042756015427425759970125865612008919483839744117213677299482552120270660682803087232555777378584856750093593763119086411203826161058373480643299299776759086160646098797528915655174703794625911346820428466415445309933780218536105782145744055993691497220713990283479173109762446579266126303047932603354206303804301064835451889353567072247002526989789339163112832864624423319479006396424360211293298138287096181735937833745490287570054317403641152339254840278482078145566378655581619788916955418351533011714766510316487989055446630269828347168155447689048392125948777171751382295763004638090658272024812076643566518067450333224216771630896495442906319982484517095073205916842042950289646367030676959619750217265870954909963279617743021231073862303661134949616820374876007741045348680059013757654089516060720035322399399197460571611895745986962230767647592030358007844546631434023036699304225681256252981831293496526808110044048648923502490270119341187557526624258352651458948987386731728099491960136701488678703945101342965883045427144767602885619135565335509289956168578223794269004820812665621843077396571885054259960891747735912402323099010692092117188150737593547067092788555111493879835277708539099109998733241967233169074562319952778381860477778511140618139810614592868099125909237224669830744221268716345638891605582879440725162130416039247420922143644461606789765117535086458434108437640671576006813386998098882696052137612002475506494724747721425596560182081730372146768922941009193375848652641039354591003774286915531779035559996221703110126705906743549641232736194244001249824457303422058947458198759369502972740081331005763654254478898872351366638257094089816035957422049849996394851312731570855169412237060877869726029307935611327231522287793762138146064912977150477584388770617559015699374424901753785721611947366658301734964147951661309344756427255687194683824376732356108575961104015551200477994822308562715658658039631618929211458563805633331564826545962877125630815028197071757785892515337351189611068349916929212538196338352018269603522049626340795730747858004804825814864218508493565083412315456425689771115959038015786811258964054893786889923273059955188740212965345996214204879615829897393472525331244745851174136615182192607595923660379239149967291960408519546754480471063896714874054675673528955444990316036470125055952618926356327811491802240819489570192248369869245858567113381613342985961680258112237338351694428460912704290661809397072531441700229989056587559586362001276713953507504040607512743543002802108864311141029117340786046213531289484043269959455986549474468578714186220290720083754252596800300871658072862390231470487224724463265407696822776202761922931769011871239229946181345829215309292307438321249754799325434723180785268827524379237705852123254148535527359629366413759566081059014427740127297947239550848926066042768457265490987106118697446209870909118432282811398067847275953105887549934298784089945194244101677175089117554902804433388427466533653057287398732811453502951005160573913680425199868221329428479692766090604828242605092576722334162591550877856681439814505195279814019190264509158857096286735192107099693879103481713610006574958158745222955526310135226802153472019710657709199774111318999739471003713333256514074222910296990390343383418810472356015584561967181376931400814338190471922461191942332494418456652667090254195087382570845980256801520950563384981841796788352945894221955486653686079749658053558398285455453902431766563759120735158805097215117464591326083877143207597593629683739770164520997705543862631287036828201582841471819120874104900580283968720081833355602157023769475552185363212914966329308119292494675636016550143316207125028760405389718096631943792359567812948597010587116395398359136584447427033035416878137888256825872929729330189461905923031804616404173596763999746548628116205259441347226411767623886528561615369115573849317473045465611331137454665451392234456338825839917920371951789695947826588385710368488385966650866472372866217445940453405046648654489352302258770756545761512921210538302353166901591077313614614138623694683875359352610599949004712666584028557100408297440049972378970256528813070338900082593869514158177977147931682186611423964567646368420715489699286785053599441102636096937427084579310259009052471423968672065388716259428836395602517408359256349964361200752900810990692766806029965821608382111709848625135492997025686906836030019280460630159578073837412610540724360890165897459726650740047213861265472588775203637494337700152303955592597036076135197078609913475112141618822618124073928938026634093835793628349805375079766444223739832717033865485337593951401878488298987403350994052779145150684806334589590527617640787209486323252906160179464961427642163604091766989812203578144799547037969633837302593859916113989915076094006105760744513209046252764297026491131748957057698350959458813876535310987663537059416818809027547994978018405838877383743562698156199745143949490721283573907864825988924886051393393804639032736416793061657926194338797424894422006099855419894897162243161103867727295540794951796570721601140906807983807491372711041214735079157096661866045871535466386136054254193958289103157681917642238836027210009877566823694459651970153053818706869025504838987396169317332435660474803607224973289404364120362562083137517082644395281611548913370688971975508978731907611565133352864995907069346968800471289677273488857042158210641875236148530388223564999663113789829619342852982358354246402592159381481696134606779496886449076837681933819350920384936143423258950902047631656715043046020647611770954633072096615211338666224852891549891820718352567563554585269860374933639523712979738822996180749788413437666462985884764568082458562391178804922410476950609977738323338383386203238161685151071933689805148801538798254244561026441648726403085464468452999697087770088394058990756755407715724662228141534631958358175160987163823079328339746123146782745677167685851626523137421510560294420633572758021710074293021378217339959741477015993217623455836559241020582787592893149813576672103160026028055948572022005869537567983693539566473848960104169574447879195110456957773366667020821128060596485743066598575692154897028773338188945080126693410679984690552893708793966412779138929760487859353952989848273851280160626792801839113515797929509792243288839001844170920448299941691675649068865319597777280128621966972069659681227354088841976309628070603463572614979683961292265580556954523805133723098979539545462152863502152397973023975386624297513683095495891103057483602473339192441849416612587930955891661605015455468183857933979327682509148001305363796100151855780735792763819623654065817020891691707380389934441806841989314601295648076704443047729731036934588131464993808833744475255209559560729846888645865388335890440419451500514554692528424795747530506297553084524473283280048329272528446802347767109365901977174135016220134628984348217972696113914264872518485678762034905912068327915788681392364363239548995718424076923960880862635432977706122346507799248128109103579273775704346934950406291369599943186790509950846435949897807679812058387217769120118178401128467341458454380231190917430510455947787746382728255510205265430773827385616670775220090124753396114510934999728358746288918820063940374784554576003611116414699262157791197276597099482783373554289082133896228798802764403131997318404423737609043663518514428517630890431459840786984861352964926041734013065931104764348611459059563656, 182973136801431994362832820712480231434652429140051652853129491515676180225829599637070943907031784624940749783254752889234729299266357919482551082597031560021683535536311620023905518466003909513235190205672201063050803459670177997650750994868943086441674343625863584831135124354605989980957369773307399250485364839370160555302562254163172132280008201743359056549706302233668825832226664357006554306652211843868368515766026428410576647856159531786541085920249639826492382094411453886221386673019809439867871656351007892352080133396253724784805792338149660821697503332342215579206066767161045490893395304741578880556269783449127124695473098595985842333430797175504577299051789841783799801614337208023583131464314015109701694755773240052557902511426946639589129541772437170115074866945906185982689981442730537738505138536174881624871412273952261012725113358491374696026478291738350692046985774876199478237778371967130278039166913384230871177677549612596439289853767054626014330429669485260274570328497252850727441001553530354401770550514885424231846669022596200572912828374767435046629733875833721938769226670358627710165767746518810027917421081702496186826751642539957894417784467848164818697862011908036576075720078027227152828941668169475973704837587137760790484516927522072268518726133101801812058893135564855512597179756417580440379134284995682763760407769238448612051888753069555473285071895404477142242302720690045333431962247883400589704075530407756964533345686278421133313156358835720748020156846081008405254715854615066277236796155349837611127084019950817473098901514565200359419990847982902655835073480678782667400627253512365217964368989921137199561629494616066442059362052125433693291702880995119702766450506113559460338955634972940376640388273494136841543398648458038361085099471996833088694416621630582732907916111943444107676818002191887943119609276717684204510187143284775514356820663788265179499830909763833430611520433220967071765296695793511827291658145603617210451979470486940561638926479096594146068218666549396801845963311500503938080974967669557615564526796973909825399946850493709414170566241652344923780157331092991315489802670157386336770409388478572503994599094263494605357945474039882794834465007577566214523604650859438937561154297586978839549702770156498252723175320477445383231040441915935792788655789011802141866157228106076477756027469037543596991286064750693914726847239307926519314083742867954589930369601981911276959007727195625745230144145202278636291225378781757792336478582516117463305925588140553709748756074335581428729363109004617741739352607545506308732805014428196340613891562724106633086028683728190352115991691693838110548289941816427127169224036791605926527944944789496975750393386497969202688482788514794727977879705021197553464586553524191891797975380445524656007238112645177576317054573106202451284456103687786539129441120430473396896081173732429240075359940957165434737636295567809467528608892229158376024770554167612035764078327974103376750954117379889210859446335468264763085149288474712956318271936118700924789437086052502022202361670263589307340732083830978522205785636645847332739016904445758698279656706100218086036197952022757089688069790679631559794706058237706472639532668539260561134054835822353384570393921005074490382306237130129059115623252790475305554634853561343787937939983359522682835632912193159563987447779872865809744281855541608036491043986808669898874865965670716721773506872662869865695230107590801723890678946798557919222916939716977904923868384832807345415935878185831589526468297224241346170488751070307185864278286030349317457744683649619436898738092817998924013112434105739787811711402037704230377131777907128940020390686029247460244482449082927647602613449997172611708948158425758423735431828839612357301150856102844538352451746159641016962922786789047249917952203640893681609422542922974473164566098089084074454189739701562879243327098176581813566915730681092377272192597873996333721040523096328963171784715024585737321408789735672993426955163279811827947671477445856283428406730537279559838468630797688249369531235704706328858124771062160368213154457324424567773474058883948829264243217625637279556988523390315727025037272554949844743200251073828189206574932120747019024721641234903811476429980002883815298316096153058271433468754836117226196493794617741812125834448424961155729425183634757678080617377303991477757297782788482025317474486352351081568462827809279129207687993546615577083412183983194345149124522341634919299474544951577879097010316927208544068758609054874293439445268200776596463080651956296383003478407746641619340308394678980340101759123675145229402832670509589313318148054128863304300456695350491108341241217558496254086869647557113653293113410700097391314394279617952335628707805468623360092264765627496690064817135552826218445465151902714157899994362311006046492988760390199473488623165990429473133732296136220889341024524624480232867621623313894950176472026627400327396993877627921378599031911606331194809387217190647755985983820538237339096124003890868195382546616187052867803064904671245781656648730144607804259096419920305389145137519161475069930951368036614172927550052260096374224127190909430471646096612879616831270506494339492528012757684969764108518183279172864092019798595913373541493151285105689868090529206631517398150058607535692447053122299716035315002760560980240749162167065951142153976282956512498280786916725669447143839406558212182422116396898208422569322024301312714823817623014862169094814338573284414533865952038546455659745727223132045839061214511110402745266482011000274343703217227997653660283672432569622402291189370912990981644652166522424438724737809196389356892290628247831867609076722425580331117304449016053491571225979058943046757272263534072398734832132045023546723144668715495282124247211933710914690708084318906845695843075507139574955686223686771352904979223080527684047688208226513959340050350959396893412386282009809030184884148116885323820899015539441009412261806239791479472955785589673828321864777472040394449310714898934008351492846642184139520200004054960221857309176013119845634748333186591793969392744695247428781520175676523150553895809252660663641583978046613045079672902558528864543925168548798670548744093173865131035047555291734357252691728389242554052112307430629107633630446865579467579898903143526728590567463593320844624243337614062490188013043534170303897068999814313575773586774173103037834958176635965599843547902296547678317789460760666638487363699564251958105992072302274137170247023097997433853364970860548977433821122037946425345402970404487015226250505286859034502379451958823847703949261851056067392839352552661934067795146964265404290195867335049869750913307792673636374143300293839904228591056276958146614989996200719693660224731232955297330178348899134771483004858682271321198303296329160190859610947144371078124910119894826851706712688232146258181685202033990380833677917883008433040121199934329683717275966515048568208329481706909105871633202903112161167500556607730048271628110854916555703975648412218850622554181901623161636047498685780645604240066238809455009525387496873383570969349886391943758791303939764431227150816759550530626410199248900123844036397244551903454296926267225734325225735937470241218686403960927276671512830422462604301560286688186519726594850485828068498478022521434499679753330979260201736408757006491845352936744500044896883033952660917129840320951566212380671713039586678258929103982307639061814296797262745914272525435280274021318152129517214140298436821986317461380548476256326823865715369134287696194615398312403322552022133582415072027302665051070128338598283352572808395515991850965277212368702406630398315794572794703734404418493106971889279261213914413866513084103778757036195898900679428132101031982899523432472786704614320067205694790764237270923907852915821261797138833940151705494799040423952131177346414939385225942701599189459162236782079323358195600691482018008429862914740675, 961306524425595374707319106675521738076581783933810766102001531955221935340120652619090120279492568036402616318921095175178722979691698068256227044757655666162558813643216941518485125478421790843296342306463074330190308014259299058852357570592781407448861995434999626555358978853935183417232585415749294640550183115955930512109406359657872594666161041917500488728745051957907084771598793206881912204174950064458642931878436840669329754845289001149913164189295457321654195935510960219080420248555298468252962284473260814110121799182855630188282285629978711509992250829993575522404610302052953236644605114493216914355125545276821764228313776560617929296625109371333844621342604791605240285401582324799030193911710374422375312266848879748709475050184638424166806139577601832662133641050176356918028743991529627957463921582109939725316797836087762099418557186291504265484042399619239149308728500246994329038952692521800577278306883377984274175365930196553154663640874812405767938147066422789389071648451193911839276360262287016012540363539009518159987091409089225302594309850301870531434346733360695373949417264078456167151745096953428555567754973704893556938466509956136989242546026833823579104648154632331962835605978263092413769149221823619237026139255480758433402933680552967488273695961686410054908809621468138066837942105688896711580839996259633144330747390809846506931303825089491486003958971849385819867751234030603108708079214237420974224209592846688697412608772885932026524318358620232559926917308763895527453063168672479365987139639426210538222900742917502630842213717456033702690014365994872385918528370216164961077269097180265061304004917572898754851829828930318275808714152470780915212047634174275833508392687290656781129065139105960453204293389158745052937113208593235078308351302443675926202850122481096006918137417707447312943896331235924603287047339429829558278837103091641073430808155011566613831497835068730937682024326024341739709396049874385894192889896328237232993788228562261431385448429428359120038431584139467002649411209063108643302666730800062062871671983740445687573804064463978207823358332438774146454121366900933603043038531361904046309782187414056235187779682368968253549080949495096375569599433046069826283176917603242501786441983385493286222005085189509112648144268827255968150348595147724602070704672907445310746436679582263291873661186827468238839115340121144388547885860996402235757474710999499668026467420026979966184740550048835031659332489229049206041971647828698015300309526981594319737021016102344235310578782199333218866290523151756570665364269892788029847059343623894999102449913496062697491858761643858419042602474062711561301417061341038153456937437043042440681394684804614378617922515441578375616974326358323500748326244030288197047873090923597533286421532531079416163209517626739838717109280746159467076557525368064984429274162942621612514325206819204774457214693550318839644247837731544685749990307749689446105015883824874847857078606216043446303760764997142952956375578245686576019823993492281530263760458570941625807509970739744714262582009711626244165853438404552949494899216074453398591691671797041035209433076749069783121953535950418809058893222666890373469711724564468505489526471026868624858013247016936973871915746913300819326820207692299147068977220034592176047735076049697190574135748756014358274974975672458097021565755686230123657049894131920668887800426173790112057431998629522983971845565643162957927741696432732654861673733957830202055282657317910878717799502988440230042653749642262750113782099088043776597379341269828051588214567458455464933341194619198660726931669301843783296205925609257326175663407528718635829920522140392247473432137811067136550638525168460233201022532085699563549381667609372851602852935908063426838352737816888844688125296369596931528087254104673409037042576453627608354599908751054460379173605118469152321184481236671418171911010532831686359171288455761464711552659674742374702158369538529176117912098863598768768108717197002801827300468535082265779562587492221873028647076204317279931769205089337625067400577006855665732215203367498349405168788312966588604051777121519556676641288869081922722782212078344009943485695891293056436569145342920444150819729919232477554633402375925769480046445853365877974487724363087389957445011709675253469374037588760676638643860028782531802169422885542806731560004965693536138288731311558874019569987455523802425260580102290846890106121210511395729657115749640862180430911028387259294333067790548814301995246465993262621777476906830665288803530713493174700071546163943502962878323631017643490100252197983133041295840985208906554276659988754328378932563184669505218581582299428790718706563144816081476864366086342979416239509680394391190976854965711141728539996457950124469652356958899663991100107287064533231599386055954405920996793752990854688704736105656270243621261658416806511322279151985220141997433262992864430006286613167621638689259444589030158985232535717977237866511560734909946782863799006021842705659618403013332200177349422991897251277235335635345428510388354235239189029774540265645943595030842725250240254370229071430593700616328007419852433652096790684870808857915880745877493763587274894663728820905239479146007306015194435301152724558640324047658111045134527799673176485400657203350736899543455585284511778056259268393744364567715245467861972452141869255795410548042185580350913422060182058898091358015378220369728392459999795262610512327437805546101722844214161884084726824122052662062798381504502950521972015373256916986038930529537273446143081874555367901024386139766020189202518733658805502421822038299545449607816850847953282167286512304203299575635998682381696781254264262104142498787517571340882216988867822645390149561612732183894112611254758948844632772433142023724018771590077202958003041441763529506895486726498606175804746527866633343286047615996883277788385138519728146995096392643223334860428846506786879968991390840082506265601300036362133350394278492249394706287772862985004854119276238443034634378527403482780306889691907596079930103506445561637810008553731016951912017138371950865134913351551150327733324354972083839698508355004465665143542355119453825176575047047403796378112600180495638777638817988380797702275225764864158085214625786618778861273105737508945080990464841995642895586616693173863476573392027504199538155901446813251070496848265689033933186254332850199617803547350173320805701216645399036767990980626639736606973973762855252423891388507696878766732146925217253260027778922985122744985496790483185041315660245207041160191620750838953969034092618709865808440667478658529588732462423007297612619000201818990129999810490176697310278188769413670167336271146053498898126336304503928991856817818338150125698439605072016532229053294718435932209442032724332689773228340110690457735548176011400997749941068318100727341931990072406737796003256067027484666128143023939386703279840511164065417232642325532698989386640918188720540159329587078014358894209752835807926679887621888364524758741649510514222477300081603509487149115300197502971704543546856115332679833056868700191042128455982038319909484426539431490768670724445725535694267278079520558715191066692742915032726001169886196833853421305491197962941623636277630574965285117757131226912749412851139784974317703065279703603369461796537347109421429322302011732178819210165946929287604856830077006347187274849058551732893996733430356239642881001572907883413760464937841667420592095365430536958616851359128967377219120580026514325744258716143824837727706030969703819681343870608845009057941341968023860651393322502864222258623738199326861542717977782924584200247757343994623730555155967524608414853319009496047413200090006786701309509099241898690431975676618758137397407855603558083128023401568566205133378064519878930802803833776518651047759641165910793810110995144861128432207154753795298573863583270023288490279159975731774721174524770789908842250151097774484600827046755879)}
{(13816094042608767838253716337461600903185489325328878033805841109061402055541950142740065878196816249776185047916894935263861420230080544744607305256107737215952628946422412780683041354833177327945008730542483115292507491466754256901060050073035939873507407449241236201998982882511188494834589829707546102830122769774385611334318959818837402861216417757329063492757542575304982060560718611115917953901138964763696431889026324079102752591235386650648046021555804425410197394986748089618522270852706459991048664138892002688193781994322989535609021148144535305186226372570168514398217377332729911836078101199559734126966355800896531525206643471506969045831913382520289414312751686828992269073095354090728850616229170760576106552331247853980241050390592392439212166054724606539785071436182324781721034423885695563522233486690344904083259198394078149042219211480186205294138029662096704978858226209193359311300518679025699190099335160669253889211730099517013840161310524841002971207181407674203355927449341289180376187121083278916211868608115505621092216567478011628264902144331759443137254684568302607147998411186161072112346941829502023542902557010452888078639338880787684079473422201045187255673463799727839678420714852569935434069765510938841502692310210500888249923437993093695755938328051258417971571133016461009221271154128223752722499328870181556870115243781146604805889795243039013658345380277844748353959877942362235197980673410510640950824337391827474209910141105357217630671863687210375746447497833441572511632113660579157164231586731111604105720736753361821167421225559274012433607897336380539055152378502795191564034341553875737784031925599133088063011188915428984383390066304248881068270191143682207265771547718477336997911136214163193247183273960068004249535747813262309916493625552587869768812870792038263238871021266550970756579623179067902608538563078993123023116733862558015390921344333234589949697457897388078874964946502449489339001462520344262255480709569990841115250361854299600584906323918419028514797275991238534832565885144679430478469215720088952309855711854538126845086920524375279022108348032169011820985372400451686666381390477829920213721754173543451044174617613846187687072315256214953145335476023684720944783983104753590995526483319556407583165648841810549500039105710679796057746003418186834520284296333211598123630559368865083499858122073910170078932542681116382323916291936769471026357446451046388335908520764481018681743289742263319958156484494923454786548929989376576595676530923863400997281146305319669458453068829088958431545227696890619026060030326995203859434355156099986592838485227510100763967728599541590692644802908251933215516967633414433668522536466710521128823564941116457816340290792407491676809758273995837665822864466562267258456493350487827967254493899582908871765787571593127986269888367997497691374287372763922010005051656599447952954893087054400815814981102155948969024413965323360193543971808201828329741103324586595598301890638763867718377924958553099175899115291529942862662143159381777269168457650684797593073024382183888093926695937900007838794716906365313104380827174021015669493559842172711988199204897874244325987148637104865995447951498717112238650197761130739082546504712388472701604815843121004676205558928622321436081752807326700362083837537369002533429564444371212190022330133910547450679846868720478069323245824220101853503637255787925645207765180564621588409234395092469098062963577357176505217440316366690913144289359260809124140485961839778286177639997946179398783275963610946669201841084940699061119757142915795276569303889171243689686666519777876356563331581332632182373779054915672269978917581628651871884081698220762095393138666256088515507414823722590885139556914234423307345360909622800210016444223950117222514253658602698844248660579960160890121541200665334683901013732349113571772141280619621151095664728381162389988409974823197922236598717959332638574833604726955372744291379434143664044725773892430900871764751808343273879624185062015955341216713167343784329041011083366747740686910448266715805594562793096847356432363251778007820177232458812498480565966475465092325222431700129303830344090813145621127377739859389011071274381347174655988826906748466170590503704469939870170195259811004794485204125920045577872904130866825997661169650315668758983991675449563629180480667927654740611395658230619513840285390663263241287911084682798719165701715066098010110838567661678034576166704477977093553920588576098946760721505322350240987264517533968950852926668037691217814346672469355664922341830098428524768818097093122952472905486624272198269869921857583662742019721357438877083432887578555116047044109942005188987739162960074992222003974774002925040300182723486307145321355833597580245873506518943978168882483155136242877339138588150101436106549125170603910155578710500977305879218977693473909990684105447195153206738482994838229887156361561854265123149642189626164069820336266686229940692172057744486843983267764486681880827971304365115602799000345011318114731720199426030196897505816410851797942062100965045930152210871727674200905633194986557962503784977404795439119968982396532144851916426398296642849728548289433184829689475979724020068499543553562392569288914407912945931614818366067762404319419839403647746800181782939471875857968050077105908203270651647704665888473048819960861553476611855671654895150997001688607274142766994818067702084336372508725249109488606725444802850463499280775485321814928681983729750195953981203037029464068767387383874454386775424179057480029432612890952290029672284670841291863569375643352982612439314696680910797646199728821016323195358562478621280077138245507420300710958239781587401345305514173047131054116560728315885347145614795207868931057398335519210385418634508175936670305606140125694976624052162459731739303424379199334030923165212480103714667209041347710169940400670835058779436980987790834560854189921621383574105339143507403948388866616167690330237201753959106656301672705666666076442463504957628810675606924859487729614476732632027206979769986967252734354916881147705417228222313342214999615369136326741144394629884489506131219923089277473340588303647976300531042667028723382095988248489623371799827962059488864952817494806466419706392066667246173530159277158380653306478695152383008281662268904370982510323372703677661239181144951859186445406618433446944548851922767390248349712195695198469161690643166712075345630463159954344861506304234603020456804451674675202305207345412671772496966703185650961351177890523519949667596228405335681158099032485847036248074483700653696807945304357044195628874497852429478984538277950276889674046032536207791161014245467546799965262312334509751010880056967176809564039824918032138196458152552140801938871713086550905220468253866113290180384751366234662561517565090910490053767264442026278090968587370322325215130432440619805150058847110407775711637043508139805186386935180406780272495095377754972444373477573790387077006226832841226630190011840186311321823859736766927672392509782016929356931512383914082991929473523333957864727178523691963221922907905447546882862461084745131287819968671190404387982551588700524030689292079959648567637282345889033050036614018644091878938194366032409341370651131802403871053641429025623489140038226236326916324554481697561584943425772606058481615858262426404519463706843370931384046888788163392807929659905577776888336685950585285499680564761667185675409323947782433536110747803560537887406120828146195750164018289627051164235957001885787781374092481118321096769889774668310684393562958568927108250218193179446658410688541064067690687981069153766147221778170388725683301144573185072135222530102075605320559949626282414478809874516803675777290022899844916574977101811354219870378638130381603048430657276443560108456700861655714368926145038969628676436660858305962074437612203644411723452150604587733193217970109411610731163592971972861590727822200135071449463575499352315884378603173230050000401662573858977210085345014306648314401368201158104095784014727468518459498261771657056830419053517348708509852182206875546423650774788483013768288388252805993624827849760722316838229586466649680467240670846510698671297697362564881702974742974684535678227054047461568341537822134087847978704042749689614010475076679798661282782035546419833923029168179087684344457572648043038564556731467186961980383045574447227361392820507609207392134759095226886942211212917813700907831568591875522521169098308538443046388260211691148221707090364164739584968006148139164478008640136577709721401470273101170449639709768181359741865862480942002873685947211770223828035933394841587161453999026764253723122710654321249101919686992864138829075641742255694777728667545153871184213921012267127396664148964053170173788437275, 555232941142515345534139545298764715574706115917429746760453423800846995701690099109818028689310951015668074058103687289258579550120238938383852651884091384738641595992853273248557657442465606987189317425730853718258856141183714092974366322725278169213720326360268103330920457659223114728700334893229968031027230548916585260282494371977718397684916143676443416931628759066341619157027321190237964509971461948431466096547913996693243946260097346127755684435014874353168674721679963681249145748466007696324884856121708785289681342614034891215539268283669709771877868174275436318999629930812328758560668228956697556143849573369363307247136672122949786323889458457606733114609234482844127062742751250674751292272307435557907739589698520375515810664714867407901627586317769276569439891693452063836776156945375871524549493160835632436969634890845491877579334507510106032771772242630355432672136711360817653723755206254880114365282998303244497417182101962870781324864175621988357411193278985172102488968632360438161343670293393113925034071857738974340003491991114036094706969690148083176139925303663585845969726035628575430354097185443799262830886333646444983423995661460527575634498889306479742509276104820107225991925946131343933808231134383220753627058935325656012447936543123337268406789300830885070796481776390727470609740585581917238066931020496917340215312067549142201734367285525411454470934450140606812077144316519978841950124525588166279802075494585110559844064234239864388992316455530465980962037142744710995660816311977606486975684329401252280929166968228789217478955174258873112728966190866939651081443151675099470970493071788586778786089150349610717287297155757383182985863421920076370267897067550322674569791376278236333420345573025077561411853969748557911128028316368986082182810871501204697417526373400429907297483960036715866560923374248238674982250705979246384063877643876217771167352456639842607252439611380415424265648996951189692146208270461403348319728788301602211148270562257220291768306990413739678820466564691661591677150102721309743913069877828392924774665032264084653566411708754158873623206250848608797766319679128239749407188727049172720142017027448740460291471458582947093455872902332360208546553761353928426525312241382276586100641794199220990282472013048352167657188897930786994406477967959243396922418670695575377658667100500701349456694259943140866278739284046347426122597908104350302373993610139516614552976271742906652281083322709385040786045841962058967419402545218998454146768697730612534453467842485435412998038299760015705479892146422235792748045501994213717890068597404964803633648080702073548710782065150018833890621081322660252338053227150321743653034300281462685014540859050506748955461444008917244929733963188642661657628809005306901884406197510670340187639888655250925975467415844191750646754827787383721432625643979091345099142863103958290681226572407203471768640515789009742173752929986592031926850374812606528556472484545469606179559631918849346767340889878460083298861190475522107009700351583936792113914912359634865186025576137796386022074080043747787314377089685163373159238732424402467560094151171460860643829889327721922991959735356391827442069237138737405023047759598612091917314576419531340712117084247349644052444075702546689414171412317703103963660537287006621221067426774045334498161229006932397834129863560476997189689955237045549147886020398565467699818659741332448704001872241974100588205670019949509680078055365774122744918108887384374540298941805767907894005866373605834074012568509526860358259326159061057288112215595790939728103890483527856229035096055630398012611765860107089559492717474010736317452314674675757209416644357658433106231920589833204741456233416715739118444946767031143013945525283432120170959633627009610038810106903003902919483437178778159597565624149248008275175012381986664277167192156725542320814164573023625775357952184428851212323962472794317762501426349775991769316213721846596749468638937342430929072142824172053879994432870049443490544502598956506684502910861271418038257551557432411267242735463384643266406848063918532991218033309843976598172053321759644064480375198885219372264413939384540150790318477206016617371199344759233914507280301885754036415236990544804577023560255497752210906063242050916054349341787697323015819494864864615329169623151357043715292104144592694977466921260318930376327073398232821023944203963512564927743340119022470963843627066670834619581377219014990516166209748089201334172296553796745616453238731939997124576901361482661136392882402287995205844622137616414111996940316730999482485221264567942965630774601423037933764606949838971454592502563614984061911138404454573396361124619631256739565152928938793128782578077060107298024421016856408537873895266803254989222667566670213789276251278487864245274591724218944880301916899642092136680005269153118493841539577314926589521467516803915897638743488178776539932791263817428747808106733360374336904415667999196366733287659005023535386966740173878414964440624663927875578592900654317647733616853498519129665200911538006848205130608632187699327617232153064671521577909164490453797754894573020679286677233317233483058122420640720263563151733521756040834386727717468809222637952265429655510336145126294956337544716110194980458398045806637797265893458671515413309514452276776447893134811243868551327583459714657711286675182505864477538254034962570751642244145826008889563004420741753170588278062213770999406897408436175651264761747743444954403429558322050925181065803006006450847537124854709515352928341739231973290594853938310544694853247640872647896617833692048363755770247160567542042131575369281876563449172547369713271529762113409016407008304402207106558428629716179569018793736569707057897128856380361438475662927600264314190572888137855506083870961510215174745402025288860162362172881560950220324937442715336710555660358214659153304634821053448317812701453136890188569177106766328246473685338979196719204125549958046322291873597400483098615158248879157274835744897261704871126828388258412385981447866874280198898398542021949574418276588290837608359199278973948822092498371719481252708488158974046915948864885802087804119431981513501130856937422713509984734486111198320116220265242243168783590617922182564530093334375681578800749182587725683411197835889722288782181361033992105256415848832169566496050413363533580120155501608527532541528179147094050949656817156035074569154915388971609763191272038278709795423804694519197327911911271420124663056108519047977400917240172491632749677731988932291068587732741283557973402913659905815772696217400119026499766128100949456033004702887103919463885473050651246696914621411032963136461176859745659410602905364155020212518879843272660160002183222837637827686799692348792829810999248231173274307477839546631544541713793116703008785571156202885611685540762599309469863854774232609779401857181818196103124929875291708681114150592107923494163201049682342668831479276552084399733906198184626804418317505305467454214776889629051940696425501542371037677547815097421522276394217071619937493620034626160646834171706249802748709990754979496855563775930774501628221478464548778905067516478750557450868369376916639146434756760156143585400932688827208502600250872591286468994882019352202741640804409010880061567475201198266809568240927937428846519768456408234655382250598969476054510645029590069850875258412252908978032057984029479074997628964809274695265735799378496064090846853838229327045085350504476284820344880889799437270981581756284853395604358446740856518617207521669754802144831367630127864083317869505837281452501614958342514381573169080683993963088530386708721999567615121991076178998632766868227349329377945243023131806767008697778863805329211086708916265126764746770915263311596590495516011084682429798754516381867383077245753823542754851652198475438270580132157387001804041480081830137746908058592907235572984389306071653288689076084210535577855186991733394137218673449343582491245928708333227835014220606506015691884332074817341890658676668795396557838930123580659317769052520746151406394686473991239139355728627138309651716356922909657368236452539016654240990464905161220082805461318880399697387144040131140090798873229047857408396893933171128310122554816310995070496125184275397244991123459139338096583791872524234393205353393690080677621894909969991453882456998017039940520394724226211009176609984343606528698415582105037138392702009865527204690062000959203242143495024844607985693544674531276173466862930703885246505250000498922204481099756624162740484584738530061120220920130203031216008553429553397706263735147504014806454405201292138819302423455928625903332732576596801655083165732735675243250989234710480419805654099595715442731397068237866262409836958441942943239715529724936, 766128736791675297145169729123139210810216059862784119588455594341296363541824244589654568840596885269379795518401340671275691846354456302663986003749309448478906240190992063382903258921487418798096631820403232074280816349693798231262778494114151406072918154596396365437759248240799919378929717144203115764944255001666122756501318381878555341838897815364829590208085673686952154816697928726583813054951320253183366976797078148649641065704542722019317359907778958739097667916049954724598808745139571799219424396992629788677013770759107962078861382097955337726923652858456700266817765301874285665391795105230058867284248443887292868578898300179183701899529856144906926110042308703402058562662642870844900150788557407024040172307409238476548369306306996343095288200616878195626214951793821815717376348733712745975662985149486614625442435577829458631067371136365336912800079796799916763693595306831317601235252806548032802593500968602530230279681242950133752726827643515348085509214292729707499135445469885121557329732049792773888275207372791871383288232024908944861091918913312237016063419629455969200142291836333356578291252417883805518580752185484344030365395811720357817544382651654549289116926218718375163038134883700890513812998932876698710280678238608702103529201074960318360615379841255237231688481046343516147142326589008021135043042665198181877592095545558514977441032690967508412615341150088036086706010925669852993085822961144156492337010474524853642235936701051714058846743237625214053103975150752065083101565735206755180806458629874058059775012291767874758136362624591718512245518555523345968133603031350197157228387887063140464121318029713477212898470690193920620435738223416894251922351413321967885660801415450221348703458497158162173335327473047603326529553167953882153561453212324468706821974397268601965484005069711685105057027782721718793862027867887514608878181137682994116458430001872199112263307294755264315475603035308410233282189409607081022081801435946921474367067928008891293810233306463599118440728627469318375291416699065751266040068721410778065111198977795397651556827630716193578351071337560144640497235857593376003604327775171051720680387602866026865421433016087934557461279139649777057261375522849802199093825864956772530104675122868812728295190332977760644698699542022530905329834554772536676394049958731763657584440595400256386859577723066635085995382136591650903489987638054359484831584162072817432016538850986912844736903987447887343713844996191700200484647145365962131425420790512767845244551454429687561342680331123653020128586159767886259497710964077541660861979755533931731201368237457082671137109968602206209214365777991114217487495828283223916094133865553076216792576542470385930036782292746860316071718373361963696894054879174071355271022449103724525529499809987387268289362903208203898566869043882616554648241764424090742995852859083706048829098101544993387203404250203729507340878518452450480592958556311795659867056766379562273815433295696680534794054498217145427228091267775709039738977902140654761749791604167854896510685124095288543837232248467687079208584100886939526018280574217244751774405562999801778025573204128277352527054342253730606257830369277225507321881180811728007043645860640488430727270572410811794191286571501888895008308956056690005978632644853729422828065997375828837241181966292287999439921752418601812107749158209100595518734739395366040076888693954138698983073726519972669186347570707995594113610197887024759908795741829330119363816822513236366100837539375735344312602834466444254559012724510886306768057165373816431165973192731616944921167431841547596219362887988650005144653087146786983617432671470083027977656595258013502635904489372230325113125255019953748904489852352827362662768181575415007016777455495436446199438924682448858575945523172940353259052461483896840562187685450268188828986563258542388427799721781003295123893730510168178991092182238910975147670569860997086860896881033987492721513333661406243353353034129801920734626444598827041997368045451257949545095327886613940454162318241798442646553780148153054403482521831067566324888228286435591800523569622237938147895318859298047509452760905967377154221653944083592760116519070579545922232407502361666303084042368082766395351477931168445200602324154428935674555042804576987434644758806262771218866541618344460791409156252230585476964563563049405364661354221701279573255992233822540646371594237143156516055495061609309702640145776489585691650938818301914644268014527732496662014873749642651514955662406771077727144993454491439507413094233503995356858611041434134068411383594343332286161656760044904683820386738091199525419272463944192115741407844094667543015148544300890278438817133568074163810158361094420629949223495921228293587628987253615883272634908691955899498341489868961112841235449342328771015533189808768780873665595210986220832627590988925201518032295233346117353884586884506201799351537900886662684355153878398793243693310791688065641864494976183724380867547384638716394117770594532180359117993302399218834813027282383550678936508294703899462465108890072483847490190061300418356820202048260234484167958484330032032599567815247949227369901806646441963271887271514687702651212516761731523126658447935678236871364536353600623419729599596705958477299509084059392097146641335918884460916021422429352880129370487458703186825422957758854261358897747018077667220846200387093690403498491263951293822809741342645008618980377285877385196350354162127217250648968767624001102812188556747776175635529174164044343038446491809003393513290164529453791005737814444557749706164175809692813645852972680930648419676867977949233848371165955098377651888001114470662193878447490914829573673538511313583147878289214600526345018844134016580875298813682316857011280433750552017372687699499281842389189337308629573401513393404830109607126768725125354114626237635927230778523145545370478911958281347931257733244974159331098443302681054431234338951870009901743681493352414631910886674682796303179247287697538261818812490399976742605177727342486511889379023037250197693252174922966714385846712802260791257975938133607370705879836020019747779219034277659040947034903569960104928714689521379123192355090510468738985276271643540470431992777597611230905022015247367167960499639513548148230951121139493712095454005136676465032114202593461812437241992059341536121138157795937866335365761828347086503767414865337958675078648639615718895247633717430753134603535677995302877423302381580767806701912227450747110557572324287699891379830728801072838510256619002080300023061887797170060634403078235533361323818282420717297925696161514050926884900638435929913330205625458637644476251078073151285094635601820677811924126491174052609191950800559721433522663927899851885930135880119961166070046205779547281552952480303179719761446851806318463311269771975478730959501799765643383442159369479739998820864739937928375031927429268326152403653621385931343869909133652728934843629492922234429824076218158624668683727040211689900963228101672535487661865242647158612314306948872852914995711726292297047160690542156066862388232754777087144008436438510190614162156841513586481700754863298109676057056290430512663902114121490246484078867894906683302374391881813228404929616189637394592167939880703993062233904871573432277188855989190559759216675059574325891120279597832408794400262588780323884365282406250529685600155677657534861222206823420847832150039036489755446007520925167415459498921736241697673717508680155445096215072346766675337570632549812860209064320843582011247935296341733981442198075666382829201458313217743114097606137091201567030177166420876953649026251557560206546111369784747640265045932784905323207186583984951346206104139296158089036268201448139023297704711117865461882773303579040722430307214096153581585186863718711700641883952060717972463982827932520212976468927074846035030042617302609319225096087002745026184241393125129061444818366781072067324823862448494655992918295794519289679215630431726945697386373019281520625233564055119663900875174004519847385166009960967773276303276701284348533065186032557917649503495688597909029680552140346928842066384111129488177249755859227918830207709506531749014116350235333655131525292694342359565254202263282292576481546527355260447881314150421567932703012380171585543013212393908205568991573321922688519731255062940712482946875809725920198363473936979441635671770034114705897916815113578896621339516635023714169872856321760114654980530875962302088694118035659690044076629200766926083378391620319159548539151002233754659859069265615319323880277744127469334173479172019965138602508666044273381734438426751289155518369900942727289419979995725053828503928825730312636731534685944871714465445054381927903168434590073832399201631206482385350270959)}
{(2283213500274700994313118320005346700658980000415683423820076564972331686229987075359375686325983770755867636085284148099621470865811041152680018592683766592492500579132888395845836078086156814770617089552687627266931904300597051825565901648284670377811801265940500323055320965408089387323836813968464523743855214109650076198229767141526458860100969283348925148127626925823186267999619241435284730348844912149776546053974791321524754919409775172708304678781115385865642334422891223927800015533282486473741215121790770127657917764210700570129588359748299613319835333716921980895891049423935967806788622457082152907535382162427889191763889395912701475846837057702324378627524704418075474166052525617346710333269431560686259143696485404237122435534106167771582660221647813293477868735210331126960408699457990686715156842480745094885364216006225043905986232408085573351365460466622186511858711911786705011785793939645433116154521324214072407436735338795138210579071373399599861719252587465233935880906563531854624223842546961764393821495322554802375547991420061348675428644072536117521918282642886086491358046217804009934593033233216579022826531552689415694460543084465917778848548974449416075080676382253915072179991443327714937190509331695893826259126765439827934271962589357699217979454105890062475489052428723257206201653356179023302320055472567323793898347114204798605567770715377215290205831763197654036768696604671348762160187901286603835146440256942209401556217730587123697615452543027987162014475060339923636735717872547630259508085031995676569508275673009462526118847311606127843594832512454388000712759152939007246403611907975880114490045146306914141049519673991656350212483762161685986506591096516050956047142459459972316706788591606996798819414250659786444460654347787362796311846080499673648462625651106068943734995276858725198734540221445944276806119710716576695520714712517478211155554718855768377729775148667744530443762954886700396965604600392240228943967304043726064188682703832315730047349769612509842407659873448283939625101503026264196261379715804575223009213747990530721586707038455029037469594770552246268522389264802131185451885910976556628663645495226944508937590903808336726975271291180872051249518706164646787022548292646892989780305165234378258327282360703559482165194575935019827681893309865290935987410177101750876246807475556143448656186754044130823634826208029555710536551408408323726738614710733859340135476001618177627121250521309781233109784024385466698963453427536621712782686989380949100183347150844558689682643552336742496786542310305067797614256471431449907987934552071987945672513334945845372326762481262142834728111468286241692497542937292635274652285292377215132859405704883271504100725830333593137509761867193937127717153977926896467133334434240048441340523705867994127688435443738775140204806283436620551155558520685207635642995005439729380022375039319294651857414289780857307178698847012996594138355383637448148126572237342887883953499019164977665215951024838796847069656752800892289242428239012664289926589018422411518443768691683822216121768157763197200902843014054176493101766704552183450707477704495297286577501423046773242244053866786141870388022629257447872979768585037559315705928541624175035596219823035165842603169542375640521163587025778931766508531075839306364987633570442623071489070435886571238593659855104202876850329675821469209197756784116548429418557968672061225684386334224146000528019371727189375247450247099430216184930742586879890896124082052818151958488283533170914401927382326178277839122694295821143682231951357750852006725841521537481603123668605593637070022756570510633924275846884403255771174353911815426228127653998910757843487424347349742679811439508464650648253471548969117177351648353198301752864118559053071710766694988094324330858202321165808938580814098167338145471936864435038037588636156486592979307979488800500512610663933489728503260428778546845652266847637835589213165324666624237959039040959301859501276168526273099774097052165271703615617533710410125024652981432233689485705732956628331779406319543737530186431721090214822437002046525157822256553130457440655646768174734087514609179173095981106355286199806179574314794993823444803234402547343744109157528495794759798036959317309181223029978822010880440129916839328902121439573484173800735475973750717572452838610294975282653589141464119422406352753833840960299902626779096243222999436139034941536458701742042626965067894002603876768876053547755089783276971222380202634885034299751685386858033685881456845680064137977594179475253061157088320110835398608644112952398389899525994689859068533510972861181470180145553861052412290413630855991014428012056548498127147382417371602252913297766734386733266186280452635477623939436815887660377743779862628635194102096994070110659416158234019719268272741978217366234280526551214191522984866928349843702329083762134699720671108403990466602159609055864198326971102970540789478225155583619703281560726175795713341740908784726621955870183364573367622377558782450166034256235573053271636104767031028049714366954470019376879243967017205739839793793461926068076126198678679037285794464124834848550061400710818760142534931266411445337548226404384996304262945581929693879122128014267956850265210084063353739115947926782093983679136409647877336854133794280411259056403480375865012588241142053927332932767870314134757912715464327893805497258692448531084102971641553797192470930979362687215901357968352180597545432504968188792801572430371748853562512070368041786657523244916275674898055883177842045032217187071166292212252323027131915616133413914292771915389545287577195390071964848680115499380205351443244383073892798899382614997566351173463072158482253243461247404383590613768945604906983534203600405139030935026596158114599986929538472810216334955866923981386777084779453953287576014565704269632985137666720130202324352709884062347587093764151467780457070669473991205336830203647727053527670529391719863792585694175883633341296738163968404157771814595017433212750208786786033523528634746178754825694265961737451342234274373610811317565283233594697058159112878030294652063050415217239434968209528820245001318678771056888260363449056398017128677056334726363336845842978031580950382555343075690548482251865301190898729977698993620028111095364146529015489488751810037473499401254968382340661594151935049740577396108091129582376078755074844511109357510627294943446359657403225681821274174231344251610109781379336822019215348501909538289239726295798935054400188751764356523397041259040402840979474587695070270343550624761667659198549033848795585121114036250555873732683444378569674713983993202724041548413507146627067286979832651581038434610663220677163394428525954513315518601220635415767608405685228775680129491783382507745441882907939974567067713996785596435153923829873579061770747135613179802481373959238757955425079545429870285239182505324937324549172292382096532894561511418462791071537960183872515437978418739968192176069471818850516469709522418021398222118629085750212424708001487703718673419048911474487865792895438466377162851330184377048394035830108087189870231224010843530525024935711523125758121601721748011250625428321442460177046276737631017112934420460995591215869711257184547030458523220042167826453799082721568611859483504983505495673246881196751587808707787358468773559214598301955477618686897736283938379940730392566962746273553061949487309956510811015974205549548563104014718470960433011001805191629743267207931743542380569634528551117513682319139779993100857205645716297434987211521535762425880657928147256786924047347228334639183001945722025506684272041369370643858343639061061743511046321563660894446139513038424231266285361297219071447457691063736025187786193694375141425016699544031038279544827167898138339569893149306349948351099704737518941779531772495128559103102354881050815629821081063804441081561173262878158688263733450672911207326615651258758768891507519682406183647403547922780437101979196248701563730252136463154613528918671493734079948900519155339222770468626601172495626149254201393531746744010183054372360503615827578443539419708735977398316549711614127466246774988997213356532014037594429164862812926838355930534815725172216378857588665168735965178381234822428923196397313655586142023641325538107951814909248884887654793044116968659741840824588267327369698812123854972667370985925774887730254702931749153805949910021302913399218795306379045347684846091778776962424469126101607441901770521827640702126224496469474592354857280238991337575373483434252947309588732687347264274115852654718701974055486873598484729792550355697690148244459292593238714157977709319391471217712082520039852862631874950446730139502722863278381600936443058260242623402247118375955308907418619849136191420214926936902075105991056466711480343973066052375023877853373064717795807925021937134844990439063977783089253025033836355234613989139903682060032568193189014623004481618849568470294356630384999813907394044019795477659024719701443968196211975000821250058182943472220277841808736177165378620455845457820028120732845900114843715817260125454004971791071849975400550372650280200018234152657571075734427979320529063379241822307015716268485719343981200023348187024591213809169360447541730135317817396894901144170242455711083203287711948557487612255390372740186212529006799653608526810852170398100505242855732674352518403141150504631356742201208191604045562291326552203178364073066465032839604672274138536253479897039846788812194380258179570669874864807485140509162019594290006569669085024811494502683041486116113433468518075705290412409260561015101305099, 45557098906540893225363744921667867128522579340353909168199797513290596475491855772299149211277165956753103049983613966442572925549281531286240898304615619785161893579129343321321968623940448576917429506662195098035677015954926733688224660556672812321989528506904911310132481690144919760709545117496252354294715198078838080546638111730819361087363850415345163161139686917778682555815486344598534532309757651333838627655091076021576765250359929151573037084451578931632621508130045350639249360613884558461849746941177780306952176569637320941428413059007946725289784818260625791554540567487514408695064348989771144396673890871771419137143154247914113951908708209920875321297843285118591610910074241699454731586593896630282198408527467129323837458665490206559371305197564015743720026364764677274967395291528784137871044951539802236718916172113235718096611367172122692407636919237185403433481809598316869438937878567746036149530894379763377309119078806613118286533731600398503887023704231239462855798516864302537425498979132167058381024985286169024920544957867128625658806264488268786116220116951076639490042834808873448308168611382368146698682245260933777754260457417938703437923289490607843189948090254998562923713832010593827237017311658889979515415502476998260577148996325994464948986583182013266090930254366952746444047989691446620593243554341365800520710135338189852920230512418183455594964146335478375385927494001121418159623164813156355177516828226238529103981459563862464934054530879968339571808109712115424160041871187221070778967408435840392723338601858146031989979290134866086030888192599650264749743213159390620624676136903469469668534290553713081380428933037110400557696191442676915913076749180025520577390385412271396147024936584737074047932397185657479918487542673261677022812079175248215414762762540131939724632921649278954768365122561967066814267769329671957710006536476773346613575703167633061153710180210542631128158985329194493975087348556169076689348400544510599572831912665651388614884802074119987099585109125566719590721264454866597979989433590643417223356000736858031328461637101959787157011795389654787315286722351719092950166432242090916778556429510188409876304527046273500643921495365125424716856683914395867735541607846333153044614850319183782587744015760174480111719363289098524020102040847142392668259691045637860228580632744289007173293530219581090908873142867576627302471566597698506029797664674305339551770875506444208463873068161083777541800794862266253623552957293602351610172199798267481324293041922810794405999377932499326911596919372707066832976528567320314772114517147908331770761300961524764939759330284546038239309953231396937140825755615570232225762498324464878510743532451385178908150064229779143516453619823602979565679161809015518621306558728881261923941396652206697247682774735772468123932712573035326169725818615984190184366081225672042239868977042525144430454609237688932313141366859483607868684010742045764711620043919943089442958629253910016134382866911934258944318199938261305442972144928972935371133486565009692426279077460428459997468501368930265476897655123392240800723719607266498249561933363899967061794275096680828408671379982906464188393990802548367506396316545288594636217004034928263591936374126180140295776327536699366773902702027406651782623570921607327601682590242685225908708001919596230286153200662681383770205767826092304323539121391666454986322041327859801830581056416375874598672400839123693200346392517646921299736232373926097183223145139765780653542486886988056113488485278333852466077990784919596756758258422005376695340919296809582779620636212118022554332513349258292329405229915200437309494121006014714508248903301297715021468703487309085185708731199016051469237702536415302878483604011031625449769474937550169895023975575266950349699850408500302750312758847503011713610789272165172318149081059946567319658502400126504667560447883709628488575846549710162354540506407116233852893301393054376513843124678554839497457753169212518328528435991285097843672032498638938814026489295465244987719356567851398697718364207141070535211709301727886665598872929368969958281210340164524033725049541143255360074350337817240194656396860915188573247070540806421803501474822012370596877790786483464250069425847872957297844713084522387451223079710557192323978282490687153164928852092939977998505377441972197626953209643488867860475151326798079757174209033183956575495306519860038473501492455219189684312510990377017513834890753120979050466652120170077808825100629345141759137640761124237979388821531572993680588493660481362312708437750178516883101640236547225466118044174121307989370710325448852249702589738951001546951421405997100244535843333710757405937040615886209254734897806353779509264832963724999283859901792053313451795025399926292941254402507368701666236023885368183306490751319685725423555715636394354333050031691005472831068571247474039020390233343493565314469570777905032174344423017574188096687220186000887481444079111799678162829050026969306899712606845772232321607260816737115178692005402750453454363202737477370579492047171058361988344967079448657649536403687526359539519681026517523632516173118884862051430759449739456843766960245625967051438402360999847541422066153761618557393187889468311048119116347410268788705749976251061434615108304623664481901133572113207521992758179815155500847922195428789089539315415602014322275406921565938029223561805677669559094650317601181749787928491479929690693612643067009388175584435287096471500843619134645647696356673523981817595052711668780933043406694426789208534918253565740053821712317064522581863551131819072197074866239120576683198627948115457420897485180830094936227028465651658498194872257584358843249749304551210580357734890259147567202130728616300446400211075418313641712030251471097517582363134024803319940567427642623531252366619731817118496829043447423119100259407031729559167610676777382722729671957261925102303757403639166577442418678544707532579195631451022767868164757621356306747223482147526007172750538151661036363818382070365346355937182698361964122296515631494825458945806766018710828952913186317500005302252024104702270953234943336282705068726426957995988325027788091082482874943444898829179513947343437132230120717604993052401234611254827826882804282525691095453210571493233884460570176868847503886530099742074331391713262617523507502649623031149477463444578584814562720694433175553362453367556590444412789072867800671184143941741196736759727297988885386034194218958974045159883233974528177816737929303901739019041758576698700486875823958474984582336447051171814418031947768346218841008849518793003521823250578499986588442678194678328305873031925311443307037233703978408242086888201759369590111160876850428934837279415963586447786740138556918068099916062136178218190575735029866330064899014227556694649483991922616164752103835189588455047641986655696252276484154790698689284103814017111383665718106289273074776362877886277537432218832438372716739707331290435400437523136754974451996863378328007583940217407712105751378499000611604125446460216185403942834881124307529193564809019437433602018178881027025372511888927523023311099624284286347362612635520402310079540068506879758309797577633580121341763628735568768511524906462147830835243180030697071899371730715493165527769762060935904579322339954028567368143191828399568162496298779002854213141959607018190263588051592013726324224456878679589263026476851316004309095984561077839899044338098967591599856910043742073283120570399595046315733253790897792257929374653431032495076587919184588216645453000923823741811342284604815093970952915820549107263410107577920270521730153100610241030932774787952232966963382645232111210219820302776526647227180137191650387181940260822894878569457088075333795089562557764168401400441096253987381887615924430345936441848160120410694174143832427124048356528779670731863401678090461668788734139232648516985545537275193671616908851486276269758592732702143175223980195463093817978675733133745403459266672537095066826711322191382592486013685580384816294830396462110372797100798029757281245861327137822865408475181929539542135031516760483058451128830384438186373475595830188023251377945351461509151968879245704137729164269866899833143685036782768069025967239837801117015744128482175442485619843992745634140389943122018277414617347718339861860514404577001084222424906818374731684547519916332723481325482455022932989417303593347588786528093945755611455208142546706766255709536072261662250760178723858545290517806249991918114487443336023321612218474630070715156848419225660569718621113637755783747506458630065958178812871971023705733108493882354978402419608414682235345910321827865745440567788901188385492261445377452187073896532580277056673724907156370799000665367895541102235283682500334129012582158777789336307584113812403489848304335205665757936855760913951278442634109621694936026685938333677144430294031875709920911950813279046152141967777908292623070157317876315301552908903665845941901594611516530098798074191884013873264827209150201821464519789333781268647833625253285338528931211393021999169019094612684839526699279181018646794607691743422279947607521846387600235387972272427975573181467844352446067745770734934293328878297872024456525781094541838876318205119468828673307239031075728839268291567822951052753929295788703993003882322173250036475028895807807771628368182430429306219992849715096015755449510975413454037383821398483437116995837737332146614666691072961213514481640117918507354232793802069568639920925953254999589684943437870151346306850446416147126983629409310847678817152618596841992538998497347809525000, 127108302657812000622425093135302908644956558893402496857953896896127183204670324168493643465504275627743618492331157001018889252966633395325226147150943092969338994106020530062395820196345325846456350577974509665914864650207340905910471002324245710175228580336546118152286687971056143489841931296284045998007004126376785673155850921407650366339865390786997315129588077613548275655003786859138332936157330179028050340320016118186023330547281582674322880039889050316122662358209024248357375640752022108263083064550281533089151624475640648645442072698229125996942932207245696163071993378867345457208950070072437033995229738726747868720313748273269813916525311586394692917662662390810918011729225502176580172837131434589936550470974065294007087532293742998109015190665597775655347662157683004112086452903833058988125638628881243554675957249946517039172122688846848580882906179407402939467537143443801422262937807913764150058882893060507427373211233921869472057846608317051357877901430589159758864901623320513210271638261751092203108190373591034541651372738649471240780076932277373662917693659963334246312195677838637128175040680346817777713494968624412485332162028489743297188841929575260649898019149346921164357730660373295127686238449249161947752037568405701772549682087061034893179861846968770100532675144725575285573670478896369431813008225274212274459223149229068791620794340523125922658879973982638608458439907327304525300163375946663019546747902448154966826387112852230637619921326252742922940311120331469735689562926849716926454567944614789639775966706653729541764675440867870997656549757668977957438075378960561026427758181719213151852288872353122677503349482174358027502317195947861028696965945564209683294746177630086970198085621963806318255288912856247844146531246973446945546182168230803906623939442963115760254577479067258453487699028554108441601075026004155476098881613609051002192166332341697031613827601498001155013496704570476299395125179163658540813634648064006428847613230375146522878107236640306098013790136924542584586693460770048116333420009182375572970190298625783628762721802420333186238337116508686579716408440225125103679788642388895076539970815547242146162729206965958252156638011432463347459592018718636708499389265136211192679171269411257524094235041011638987239350309896506600334667347997140260889372084558690408323558505564816696630117593635978756074180119453403457263693889896419316760266064855359103487452860456650938682511374937093082366802558559238079087374348530574335311942160464515709508080181915404161731604856903913568679779940214740558623786157326444212014527993955820505866125299946904739039158895062167642820387698582500306973097321836740063688579722369114216102699514345422895502705914800502112403593139021113514390961384043128260359822692560789217380802102414108825791038513185671364675223674853275167361072684465443215322325001390070221788214447940593366634499998912760447961054272574952305297163830285797561282078025045402474273294191396067952767810834043491263441235432434246845342779408845565262896565446500810581566367290136462169967965087513541943640271498273285576377008379310603674386856953715829569058631498894480946230975162349216740787723890727944947821966026160769883917669153882293029272630297230636953164300573776421928466594872545289257406032526871729402182563817577772181235585749104069195292123398007119067929971944997828349238275740476282429109783871594527471244501598435142778730641631865769975232753575501605691792278474174343264460618321258754817831677190817728177896636143456301554411687944370946360579734507047695372738892061463310862032072190305307150036124781464820307652031853863506697067954576198747113599384160907402024903498310292024775498567400055671924119791305000505199565807060260183695098250293311388282196495364943341557076158513980829754826672536307671077388745487987893595482426394724194484999566049800709011412315884756627117296990829754856877501734494679227560028522789787402141979047484112614036594239507181073094555238585101109969508496162974204932132740527983792053409005668977143660162474446475906306169145484373949811648392365138434285138513048228859981782672848063754676589530031089238916576491046549056738117094415895552729345547314443282369315891265627503878181887477655705415270026382359031279619251163498306873191610865564824871473167303243598046103563994743920323463493483921434224792184669487405496868443770931725617653738979256994163619531698916461880060003490387708060483663953369355910940672337678150195403693968004891903779370729899717979840748575464506758337591631375262690232071846316349949623671349390664410552029047674014295953791249639672854719743215887548460464641336783688052943701445536017492073383458538164021967929816884003486291034289896295069622055675027047196029028573127693164128375627722350654818736493134918696455772998938622898904512254827218023385670251998806382614202969677497139710619386873816756308456794964132568219485025678712599004821515918781526667595487846336281723564776979446584807060281228251602764336387324641413572105378984045703140057967316814863167553838868441672259650590705293689978586452751785604174476199579532756916644051646919294702626081848250827753241715835459184481032729815486964027334151156475801957808152258288449987928831075942086297216190986832535352816767286696843784429397669299293124311604256908982068846096969990210053515012465504486434111667189216885290335799880410627881992881869983072355399210645183263204780815052411107315806010923928316285785515811455883939889340146843751499151197517377066685703933114964595548958885546857423637043333572923268509733394148962259549312109594964255263261696889368949906781616863068089803618961115276985652516204368895591503865164760718458372658346723614533252726992721743274777874774171199580039355072686821798413292073399483972444298643487140370354375541681611660863914484815865234010142561258627799956986747663808464136563905939809833984864842257297664467103922023920268765886493720818785276917003733197435162357697679307020474938130071562861297239183397862203733583326759282649992222874754679149443052888998646769506767315984399094037073767266846874155300652726711161209808521851373183915830414773534289543394411500541617350915058738691053509837143885501034451837948797700181769877159816745294230556477598889399394649309896283857804902825917308786859080394974599693647529827024567939911908091495631837981071806622262184681967467313579643495247407151956240734242586894910517229505763219809701752221398300746150639585746115193164930470307698083376894846207537328643187700184106965250414738978177654809272335267117075981761563534542180825327108875508041740828424803657329238787957634476921247682578531441720482926273450482276910589780108171091736757390209979937398216092933432427141845773973262794704012844359682714820902806287754459924362650898921024846507448369097353053980931267420560702564156424418524864772011977574209893475873947673770691938544761092050861821515478267900858477901075912802852052792473513315226226595546753131487256934560316520849700044591875208614894222896310550116171246971097132672324871569108878855372223517873254689175999626027882264947926863575999709169742344112037457278077180881247635783914093297127475120718718191041359548790209946103341143869036610208090563977866113894016081598671840489809493421033828724329005038901824853632683053874804260045880802626055487482233360042947553083494302394618663053253246843162983106387385566482726333493242098093317201698264648323100270811132533385297418075246070338164331808261028857393243762355185931337830824312200389793993667770367124768877351599896005448376491680681837970990738670754536682038947587566350989740022304240222975461869832829086640149857496604018410157154765004754910593909086779248603475558596420978686917094716739447945508452460858037949017710136222772476105853369855526856630295743795771829595033759672130717183011536257935192354012134688229718493447973072789937760889575768704831397655072868744241995934442206726996764720471907389278233650324543080407535798036062588054099963495856295878866425074996682353858171027881970110945784400753509183700606337088850880361082442611007861242994356271142065150589603064870490556867579683532379386773805789873143999934263267890269858857641205944865102952763193300352480378890763788419831580269110581780344500438256193156723109145226349640386990285555540959110396361137025226139314948476232883474603796285261550383256989696660862702478971850806393986134543024808239991173865528099686692586773941928683364435241895813653092779972164818001663731819517877896591725766555077313095094535754312085813020429666310008081695872768351172961210654914677657788371491227497728309176649138854008400027019435710104806877017683420631529233586644291451234615522913784154962065740439833117271865977624206128911975492392830720047626989923749287927479725999418144574742964156794379297198160111832734163840561957200332759205482775971214161890956191952565283782657468847494442359769141212855233562118267444945175952333764333521150566266135114958466948028477134501243216361151415296065835110425231306147514676597094543377325192825803445250066022114194624164754695711544756497772811681473147176158312233368599744762744439457113451098240459036708726483606667454154828238750927710718739972439293427323133759951815566416161564041502520571398145299526950838962381290282307855379024312290840886310722863091949957477702041954764525551223178714106643274118622092103227168392531671624014587098983649032059883002198253571663721750197740663945419321418038106899799680815144974533958554576891229186342540039978630503400082839576589856929747196351)}
{(80134375542556488803122404104706787872911027276527350043487126947993985413284086102413648385779369306628575620704607496910259570137219164705390712749705356566309646660066704573482520540131862233365720148406206800649227279028399514350104929863735914654608163557228403016368735800659443297696371288342621642615196497184745841492594623237983458058624697816700497203802279464817041652784129009032783897509760503712094509377845244883756386299563367172021330703442975833297203044828091535276937733829985031068143882083393531105119050198007902556992100568374187715100890855481000838889880784035666283463337307896148140868817772367673004426413727479068528671031789503197658601602786266961892419434752444793818128560310442466648656569310010803605617022961766837472434765995504613365445392981909420352296248063964192351757778214311397265500032292116546057439182194929590873903271257052299666000144592111512154960591905222890605512064880707095518838425646098585280843864533811762615433142770926537266594511915043394950238389459510456014673383390083762388686691093919843727180626042584790992065793965621626425209015912324633681721857685866278672350834371251190645605121609161181791728998588082763718130829221598811220166840209246966213502307381502501838742067334511717179080727884421054878875224344727129659051803747775568901895976885579042895785270584295618750482101988551209830220756827043517428301661500688371309149436832843306310783721210635985212173753494762850030667624626551935697965030981993191889077619411059911077372301554327393462180214571656842040340866740451879045435615812578337317290096062661115652830349430776128917623401259342946979224584490553806535910105281534689610214858996634259072017831356797716698164835572485841227743285852345366474617687747588712420648841976315649330511749006185410550690037599900811436582985505863493835455328650076545575365040244293228914630140800593999287158620306474388246600140926828991085621312934956846498073564058401672936289451430224890959006041528760007763396279990384359113176216873278670764885948133012253518365235284140429344371745552884735210527392682656467702452145982540867400325337679918850753005967675989832484920903311901572679094724457213818798484431149798291711417518479482900455387072803023114210991659647334753231552363676997927902792179225672751190954176754120828134728183733093878650085420920616563019042972138481557795565558146289898457973230592265657468167491887533454191564055315947544319779726777363513256026817916513643207781182028725296926032444260630167193601059023346889568263460070226253587182680190914624265813771091769486026388722194094437039530828059632174182377700850765936834324361713519390148803610559766286657409655698419603315426119730261722665317252351755995022581317542651344915051869992632742248567147401875964557313172547991785558681233079588593864098761545261000016121775070029966305458052844651537676722473927241331045589670601399769913798470150173581552665453668231530047852930884437376850781451267562031412228922219491678428405515101527479957545934297870065452843293422672519768877379763946558712486206489463781532168151467316865262410626974772968932399070907278118328900018133464474764695642792395032091651444653910417276944305742957046063100890178925065891973823748655573659405153036142141614768492400784811727478409113194519680489793995581869743343355826326143403133821488708891497674951998024162590485837950640849124110077232345883936933512906684523051344648675670822056876503807122206309333122844496519979338068025704345844067861158726105505845208432189602782864602322168070923005991889386399445384531277225613849375763076683132623349419939683354745948667853225916746888740559382916402482692887213454265681683212243684586730854824226119610851066879714417654463598434853270379109911719541926816157794762398368008471227602061611704950422381110102575749959135193708944628147305192955395270243361761328134937084468194848747957232765162755347907975402349852600731016959534630596946692891025868149453600201655275869431348329117688028019133456034070102079531909141529769606961063806644604205636859176004598018692310041096579988482834801032645325651888938030947515685516829569094665476189082540373531040214653647318400825671879346891437522440945150206423237061950441693206781358049578255128748360603234263687472886887876059155382938359460943889255413924316661819222909838363196813709932370918089357374929488430104306109313768878334902462345371035412632087675053185052197741784239516585977963271563030027662354096147734110442434214031997610136901155288189668012692813485507432316596049055155714806630947577164522910059143193428170198054083589282674860833282064591777856058015922171762402642142697544927940802628360703814293075746193256431221255864272331851079215617638288698651390985436916494056964617354291448009609767271345765352200639366555658308468895422288513091166960028111097060895919496473900442960811705976470134256406014162424912834640959485935082525368027528854485224976523107945014762756150172263188028196250044628678305597807771543596831740377269875876030853578466989110341943866927840726601179642111517434830460328311542169444946294268427927449508072520877868858394770802452431603492977948307222226043070707229435882171587434827737548886994482698304741722124858468080678502499843212966824126626935208890531723589206414436898313222030971347880344897818815095458378342287907384817251126018985978491319376861057865683654141556964421905885528265410543394001241755102756839564330949548643466461445969616422689058412623854569225129060617465267212087400473418716875738258798254374398131676762295708287474915514656976307148967862540574499921925008989906310255867370709691941425327771847066983622943001284556721450524075939098760559131938100720332426477004170580447037116124644699668306311248020040703406554679893817217780093551237431174458630775410741905499382276261066213991620116335033151372271023505529836177162232679106717944653785476771808109458162014246261329681804733013111086355504596289243538946387760919431145301543911233230730075236377316564054980939166491822052547374868558770817009364845169690285252530140524321607222865639582004778981527175140405035176622721638600180424497784930642342231778137360190046164013924886375020143183151661063872467517169727836582396955106882050835873308399715446746224694341750593077160539406614546874368415603757716476048395726586229163926459589096876608549918381377580359074342530141553431477203630588250098996742406917490236933669017116241483372105146884496161084532358382004150712316982100950117518023884111867915024792268590973660315658262784673645178153151754843144248618889217766345176305615455957772448036190205206725690553603527172737828191042076808915890098046668835613658905995071715851681152211504125944685837263533275844391005910978622317083817264647840306738753462794006539457789545161036185284835780890574149715104549921717649422002685063064464802818224526693618164797193841772360852192093041299803325852429248769471494583502781300749263323371721367330667759197083533404735891244308959672155459406973479356691406440477335879854067649107287749284349602162729403075327165462870323915280504766299075228942669886548271911760418887600512811005721151500369168935483089558147537389833028068130516637508569961612426595442178730819116230815416606272408494429942974053252919657876263801234603008443823550824537582401412633857711563787639875971978893784402694867711314123210669539770648584027922746580722304713542426825208215058627073030941253392283988171108672576175719429251146804145807377960263464702980418679614567859844965333979678160554246954166581130018498632773162529681566523200575727226435001061580201530432021423426006516446976879209757050674983801323266900132140531285516050422185670629838878110033535845206404615929357074063294406955639467541628609473170841203511305310172760380756265082057139015502704895500767667641830016108373148787231530753737439399368630682665429236084220511048936959960580723868034350479927146538619738905509090331868184045688435858017694905299440309323227929355093954016974401779090787554432607951441963301333442523995212963324383244390816886702190450695120766599442471481957264648099573982835228800133331875249145287303659173821821274460488669020665892804290694306921003670239317098829188247946407489070580980953452333194965719905574970538598348271689989066480830201485421901101942749604525387657365576547449049387707571692370418330077869336201363364228822575485405600570681182314595702624995237607853005907103980929410250043773431093308779253087261869788616442957979190827030462093903730653164624116233669182745502814783395075826351633046060203373261125247589850001700224889041542937976963847914507328741668261547945721396899632335405080362976872538437192336393049776265572607457704563493437839311131661926460899893577846618457054838790087195239890006575967446722626068588444892659381134470568396186786607307380675947590865640160364811360679281315575533029438700398330888488524638590197101243533322652456499224233464037891720000448910953171165667030351241374245355421237050167399544867504268789373760321337796030254255648029116989820184987332355626040205555479607364988110304212217644899626611255284173798775430628436423187290754997883952773778864176469346100063818256142623249744999134873032993636418797868853804667076772933665660425743920244193040550694915295639250301941542333511728557738295087950015871429837433646599081983777425670945640974555906613328962474586614600385585721263694228046913902747873891567682929876509918585817278731259234094893485905786222768530137130256305330091934360229137749114941241238307825239317551542342820040945007208197510108368397593006687400322655212217142864679762487342982090080591108238128931843850600921729848428797807391447445119941703832112041893475229431745430977737498680481001278403406480687005850690581480038849141981694297441886115710729915118952652366249092878194817391061139052640938734659404322506517947946965793884120456822836843272223957509074637082148116549335253853625626926860885329344532874776643523843726193375156098459144553165434678914269961121374027482686776885952960953845555080939684929309591738674235777057627309229936754015287564827282523650309438742017067643833689581531195274179965856682570303597949294009702880950063900201826991262904852659946980808284944525133670369243118859167082371615684037930853143019173520591855779341901207114102392503576718868245805800799900559103018961730365191924625921501376038334625335548745207920933849413872983663093791480489864, 209296544713477472413941360735644458110308534914530583141600243604368849771597171298605270395770694920137195393331602689316519988432888658395895144419779100498338175875025955093809010372670903940614869585129988326033678354519518095462396556121188080321282212730272557688377069682329176201674146197853677443577312975501788512452236359300873385637721080612318503248240984354499205717146951662787709528084501338678139711179573738779423829612490867568601820277545214306004326374818136965320568609664666579976191416222665736669324898144299857657483682994951909013724877368254354722964115823792947083070140268214962727449813228875808620530325579582279093903762402161361822078230919176285992401497770751111107566869023279700291281954903652867668914414307340509798348710855857795061653045660157712143247969247465659533520284201000421726790476523214497109833583575620219032642501850070226718056197883169936557152197462219147853723085523009542175152180202415469599017978034755061177656005756362413120846375794202596946034776418429950154955516863018717957109312112853902799919350336619728640942572394620063534994446946196428669977436744299591883684586684069022629344904573022011282781596339392245615137973568133533226220011837784793746251304109229812128924841165824772271116575059501931841597415281055584951055198337633411492691040164807657068934002761797858813880175255505113904849147217956196355860578322294208024919137359230508558970544991421384135829068548590773398564137602707411725806841149207662594431393149068231536187703623047679757626259902866551799942418653601738504923937427374840335638665801365334069983807402601717258202112950713413727365312500571046393721752771827618152354717374665258640387132939864917543954046101118180069345687343438887382522263505958015308982657513667629934409595314879898117806048204939798133133625147905864444977048317967759993623879406255961625260172044141803216978926523681059838530027767598484172437244635524741873727236248713516049749240512864618034013704367854336206078585685054957468164902083058408004102055002755044989941136468578563880774409448257584410739470952669062952710679956004475292628168748196663560994196468374316444943052072741701052301375246252310121553527697156752749912245113733156322576840925615024140971733433014336622859047959003796758223795899593624776635612032550362059262298345401422624967027254505855173270198566439170101232125128270478712213577495517709581467981649791255710876983910842948343929936606502837192403682372774046658852043977597362760772237889638568959254298631105747329166124699058784106816452553743711552135232132500952936443215931727676482418759302403361474472176456441135676120573640128294833208474707943018658722876872162783171969873162535029085403478014024808656915568629694244065362490746595178421405452787581509202024031175499485857772499654519433333388322227477493897505298734133207600273559695321287598199971479931336560260656526250921875533768136828347380196800364965635458432456230647096604923147452880653386322162456776471671257534404557426415251170293779692552014505650256604426957190683936555579795223144770462705538777181608167461577748385355700429741916541770127765044569065640894852872069299835974130410101309211509679469363950889877107254710958514366166621979402875281028101096950467620293461908175438933762888292504404581495245497396564756687168675109173543547828053906383785347497542935086359239426521497054948211417678548377473493307013208638711224242762601184604053551619811997740058839689854608096830935796575576037571775270010820858912177863676230270411056532022747509910386451254720647833302819572574322023153369793561043043500204865544063653912388998055557334038112959283505965549976805455704960859140445122687937836624920775825336038016836229918639767378374189990408701910382028032346460110831562898820402250883607451256359848347347508477504549461370542798172389460391551642715674799526828025310783360912712636941042448576298491871726837667569953948347999929714055529788815552501785673933036994805954875727132323367596650624191852077001111103701126912381986588191534959397345938714815014393057089290799113367546703988657132302759152374959556579543618067184474975558533971398066054072750086008992738038671614154713451904920301518263318569954099985969432988326715997236382477462031459052766333899949575004856608242778259740315545267849864786137667348977691594680314713479305962551719210769059931010208601597269716336187169107969147533451610161666660549810437434476006680500889358926039217348904864538105380295789856304228638747624732407993167713239013352926732644476335459671852369329019517444653977015149520984660039640720514860444347604572328234165438336300146699892511945217313270595663233506875749640089423050179614536820976282456827726397035560721423640884859530736488495035503093659512513169925873780284230819491321086131396805675471069697294819649161599980123804631025323983885354331400584605828592997311112214453108280574381786102526349589333867815063911482774948278459151636478724993760241742394660932922783254748665873978446695358734724424422569028427385557388470833597521296321240325350707773152784360961953755954606388240205768105617189520467920665981459621781099708825432430846215608650464243555533352825770486671120347487126209077900020142772493683927070044133259453738774393121083845572960007832369308859516168268974954148973492692208325091940243880611535720734795219314602312360854438372711961456402364130030339277084277658401141044459440389813286615026648931049765749066952974205043226745381176110116729564393446513463064003252498183810461453830084131940091154400215179401071242173059595746570578912534245712317878014808257177814021975514199126216593762865372644181875030553882840362565190712166698531187322441687460054036163328709995412070013801655009726187343652283657611988392278794698092232935960955892486477940636878623668081719598163055839722103219108738378285038636195771194788327899800284531080581387488246016708258457536652737721598195887864809695752346780052860660136388803387215996258239863306995527616836865301455395467589151462373513674651839202443097376839131468257475026768094176962174203720794855746425256087130227454854856760601094241889988149260932463780842116375639203884512461636788155737314575128009791216639803887968443558787949369694544112827820312652920049637310938568873125846352896029434006679582004115232174237250581002459695968823181055358678866447981218392105950653129199145810454106038586921488378273023193771450774043052056542944024737260606638005039337935949254622744979332752170660328910564922686814611240011509631748493772725250976588327023618478410346642806188786283478193464170309914888213634092957054790636116129413657250831438159374783297129210881091097342256661614694890847629495278608756470448357204193002933820107960054072989591923500800598854894914748300578584109910409672909533083583766753975809674950573067953018139526856312882496588862562316303719264570544724399870910368873564555587470629388722389570867191825612066978586705811411874545631820493994218884124527704558158432059334314225385178338998615662430627568901706067003476556769190119306436279543649623473291136586113743798200226002341896495686438366486440608201565441061810998604949769345144115632687925434677941591856956245173705261436607534163464333281408737801858466651884962003091979097695647814253933598102097222652907518287406938966678920060546648606407505832244717890261756683573827307934644586632015165490501244841794110082160348065948356688115906932949345528527072953910309559063703818971059450678594814274634333570346749463516008384296441233355042496208777088923370066662231153727935808463002278874265194005536901216827704982322619427650400297843660607613901387667234038506171974828758086286187638311394539735216486032362440251211927464446053484390825746788573004838008137583952358460695557335748559245773754016524193352427706246400012768971302375641651453454854395528215358626091218436258685720660913262076333330212638629569656131148860624164995092839023170524055801367361751454617825309885809758381790271680269499437310395327995805006871704059746360132524084289425557746799670073092632133323799671112703854267053435166314388035503427920358811213076758507146218963617636120636622975963467564472691034342453687019375261751647174625541445291095787575601483231898103908985277878450534203942787098079617433643194470932448250081193613136210038022619285515578977684973458913112559556596157877438672369043278609732792564949487784159096385940388772446942059101463876813011206192188627044146028302767707750150695510793289136012522536121283006247897225911398172608147251320358211547422805173508623072280610642981103710601495913820235697567936857133008486405272085659655480845528598127983050747742184823325730504441580958823567541099459390953749590440015596672865489084544809609974316541967182598800903158967855604589711423942473971500645362208405861509557343049272520444813279551974429023185615210900583117748127636749872170242929546579018190717894588417953556301853459524748099525174998091664894147867356038961668833373279057348464768610231562091616000124973304485536027806225108040099142445065244551450741322054297312997743969321269616279021199135745112528769507737235488539532559735414449304099734406699699432596070647426345410942328030085964302166635139421659531937507001086553389166186829007545194745120739592051186695401078950407353604809466164331223605071101887609729170645890549613120618405530849270727173025960144072863335452583111353538476422342170601839466592777428686624793396378169590753521345153127325294165416730405178004184905470512277312035365744599448530754528599034977349075065547454294979748978995914868671531440160080005456209644288326481620478422102320871630916552711535259186311328602923288413817204095170131063213510586274239629865730014359416560194426325305412527137877368811077889270070118712510314815538159153899793301028924607226439912719608321576550470229207589575821706809787684803326308770028066078800599676772432787413745016524704273588923789961635353226184429073448916473356595047547065607746560414808400954297227328348452474975749571929095346945386579310402700979115314623361340188381679630345596983280509534228263324419270555941359116570957061794628997194763164799003954850651495804081481048068361210800693891266914092570194611616252483015649661663854578894057110372388124595088147030017053858796141609617268895659273449385625539630822722844393139792808812600174642997397650176395430290687198079487185838314435433519470407692181519479059721259091, 2157867268385318301306250761252630315594481138949022888015911165540727898949381245632214260898272100671059516175841445978538736384888989512358458087693975612439610001782548845052198073061891210246917730659301312933257659874713572845359180580946661578174290318650805586421923658112501952836141043912050098325438559684188044308049388651940551994379838888143043367167471474684772502123681337335982757242933232216245560882647031236677031486215502787887911784819591874769957514864857646226811158004793540307774767884861450505189767438653958763829985301942127569752690968127199736334680839583815306162842791187917506224439350159500125079014074025731923500596616481740433927390404135378373196726055893080605694345448331044296198706671899218796771904365338707746553961986136821701980107641476279407033799704584662255042533322825779019495625924390715005197776600908228132570303559188109243080958242083081168353990924233156799952985069021333986923498293637385983002238818605144641353522458559972998349066885081328016287630482213845747324386140302294195336803628729684054645049228419254523481996558500435749055358373383935836262600880387787191473753578935888881256012981179182558424071134170200046954744843596676932015078857010693011851482813509439250805129503900518253730223231078288932595679438165362277608158354255533689740323211853293222350997371112849126989802704806057187007238143909996001932874586059363436836512386971780299792667883052249270818681518492916564228429389878888492374066173268623157121505520850827531505267667313620126570151973126143338431605167910580794739947778888224150471408963598103836050169835969880562711341318535180672805502083825921597669352050311099846576395213606610596463852369808711096416574321618329714108892944267759248117914727234046199213672550969462406354106297626229450727507737668718282485545663657217742050951137922092461126810248588051544807440164688692670730840813871233318022088394007682867924777716084841048308661368045515416131265102671340461209584377859486193776298781226997933961683793132573951793367933636980555976164291812865134188462278892034273762285936776540066158716272830241530831355504475372585485103812533802176780742241732975302302097203356868140841329136841799961668191937096241166258904257833967183514854161917132078425682348796075148026876098828176815309068068915025626553857142595556054293014980462113011197054393504496771686687646327269124573962585921761750569299198170366897446513805670079791726856649721837332312462373704443135100744941738982552625434908330820150737627660321479035147478832529172918045712166582525170936332758133083854317684613716623282479676516322746351886479564258804967156991660524968329453068781051396443084176631564055915734648203402275071260659926047568960193255423647181806673120767509067352984270049926052051147706025844142153069052755082564839840689374867230632809584589877180990168808111152712754839652886255854405295134620668491992254694753563447506739864219564780933924804169224223874160294938749600303265824720687419103622716278532398030911677027412250451044008738847687030829689550587804402284318998099752251763690992898039783506077297133370461577470948253406458556193609181921930620667045635315618689026915823878722503705939943932412409842852619048922686408795216870889728052063200695130652184753161687546171437677411571857159455237969818419775585139564618003009249120778167799698339507856789203130473670285926660616673262605831477218803041663433084179933592152793876956061770021501162563758874185433336931914108569580294259369237667123902167799759856262706562374582268629678797472085232277085872249274915743923207667479571961960016611692300636292218575878821348841152451147324606868242715378346981395653844006051498321479956643968717208962789108970236976437464022769001262464368650577596437499982958486293985075801524981833067169471885610841886981966262534427468564988916007775998934326577076404969751510481573418370948302708909603567524841056051439487736170222223950323933362936303613750469637848248483519185882282405810357140035681578884825179218346558238280465685349312027205125364835688030431433652207964509550089675745882269596346278085298976228490514130809273825380145010289870417166911042432154382080910519601429857227710742906145894587178004602939413095197439098405293536167521802778570736258770465640800165516023082751455034677121560040843400832743197822287114765494867260721481867728719410133566508704460370476714858431150269718938951129583973285784738176101239152207602829705258876951766491855690204308282248565061155568681469407262907933134998036855806708652716551154267181006722898619493454051513933774638511190424046431374872863007093909314053231984818696948763584500398915373936169867284150331206283580135613856724861066576394112923231602378681703432359033193080365006085283230765890002469118237974548700645066392223269340121226426109861908010245431316755245133808035961952049430728515477457542546257959956319563131359894263553121472892979689436757667949251443497744754127483609486300886814367656928428437565266497412759160096526029809223944177216035291361544840146257015292597741047020596670621891070259879358605918691837446373049630575029647352068293079464308992468833218232514068033166917656691090337139954889926965883551052844835833324251513509296419718461363417583799401597931798786246929899297894383127965707916186184479180891962422423065269013653091617959912251611522689610663472943785472288662722422044466828735912635313085490518444210771641179985065358519107115667156412687545956343052272057782942113370992345171774625657421118894989688551406720326635215020098617325644143427718490818512533951890585806605262294863728025974148682611802134587618252622937597024739605469805873669361024511831332761964731447196793430311473873516302914280635930234183247984362242061363354776615832331207597513333816220591217251413296432200956618922559010560910860020549179096867060158405366968107266527901147081849199730628124011615510507592797532378556750541864092686402861428174763315510801334499277721467943709240073038716717772394339037719548965601815312883724839821151882468120111985744464305188726394357582515732964968002293461220864175089928013832805954000795307172696748945006367264863255768557789822616711792213979171928385132767723305988799552118660829181928179677998460328041985513490561092076313040346179899483949391338793074592745834141558878157020627198144350683589136349227422254785751428524663541795359390066756718063380449653252196128377009573712994942171656818653370370526436109427601868006371618005648829550126166412035022200029350788161964283257293971776454912734930233686972584677603833497391428058713915972912754567387349050570298910226469469536622187811596294199821888625915957003556465256465416927806783699109849724171480179731455005473876540392314883699624714222584085585438700663268091030964146641617840701337424685573194802443292250683188232962715280724638749247886579837921298609906031896057829255318849122869664350384049657023045235293916225175049570648112633389868905377170090263608883738495204317501547649997903705288780730884226904813819587507443093231634022125212261337757717447356692305803132772226019588024853439024112701765441438801413287163561307832077481580054807512166774731240413659530779372277647835176543646185050924416513692560175484049026011605617650450343895051622902837402560783145757681820783916677327300367871825941373811016414355475497781739794193808929357126827375618188097551580323380570357149526700070151855111824008736814221612909183587751839979856480537861157378644373545461852818500644178987710583614896609370343441508298978902223997510602414822999719276803441678255764757259828357993226163416701102415726065703202829656120980488157700814119746900089459951850530644354229787489502582427056272682293079083827036538482742658537683877093866578415191898917569009752480017258042727247108811220613806517964072771922850995345523030874232352134644093345233943365302963111113319208459068852364391923568564485194655885670874648477398541787295820725333771908284439383194449973953446375102924682909941827178300416065584171215971532638971607003254168667466535727458468966613420103282022859950258031044455702242500499874375972404393079594964317280861803094746836991284111952590209593284610562173368291161010418986018972990620864513582582354643874730505513101691895473229575705943359791504851340392538023642770496689552836565658827052429187841921759115304386440683005657381145282430296036117586557809806206236900399193827136204628973664753507882228922658239149056057846178216591882138701872270928560494360040728899746797575990426385724423222002789048525779430065484145215049578439140657119145271858865257737094204545219463527748372063424259447410228021895883174063461529747018117766825291659847070632651341229884552023955753624878719407628566160342560602470530972104989356642489375035104330626803551926573352459512490445895842960156261650469162102767768920915801740607781324420667567558954528158764202812399376916295963581003693359491802668481912240508670477308653245479206233271752953289403758999493519380130512327370963282555544326271801328137366139627039197418248786548420764327992462839663500351933117529840803856545274169654800445723905509632280993228909811498325680378187788787954775714162398327434145730921568633071603550060948639242605407864688489991591812653137004016171764020387762462574931793589563413565776405756512821618890934556073059207856839670350671688771371897378746343135044372947971581277382095975337221519195036185412066493650885856818055723557419638775251839596213562772140076166177981045297433601987874783097834410932544697733154828259832967340962413651325729161432184118179225026689612357249271850046053337723072536515859425942343981773566190137929466240118920663936938490793638589698050010551907957234498453383689816358279887523090534541301900195165290784138535842281615274978551452028727701490303539098489904516360573445544484695702597991327792202557777359916622111268420814472889262952195521356823402709564393882958623029325881660149027823330653743985810697183295666431994346061258052971415137471362031453477965334121679248545296618256446787482499934974951883917825798145549417312284842362493176680408385364888188164994313940499641164613014436335732813068348934978222384627185986486219201970692927756535569331057704569745741969594157648351876130032224938034007494285487088551413862304063968292769560647485083559740895002966689165570638905340276530006510451062637897127515685626702539358658648179439818368067887587798378036076867977269975)}
{(84349159286851313405062538182367341027009766741666068698332178563683461216583188482796129618335870060685745484910906716601517451312853800919403746351151187905413669749092879272561061234215131238055248084222149242105208961479020231408161669619941520175459923481610131258262932466499142190051909556916348021194081528062751746236221370161170414818407809338341944793174090228497975311505779683638441738233437592964547757079198655361943620174028319046266197081050253753418783436041524271677255106348818046034854739558544236987985835031884959561875216873687150833731719274552420509805784037818338939268699029573172737959380725492462965238743777677910939869171108457354756755503678241866000232459755832180320222721255199801002586758478336210905001017990693383584668658214532871743605649662047963998990687339319355487328301908834638915965308213681081630905156159368950305047033916471804955059332725505144652802883396813854860878906720954757287297421616863540105012089571960493154557688731679168797352557614678435149899887634837224733895945592623470205972958988879912696944282495890616259026634463968662274859639907651875322708291116933172649955737835315906832830383465762560034954840991810938063026081107525780484069697615687946467537280753362376129796035551936067358965472424839790594718291439370274313856522532603088876803695200593107158681339173555537667403148966582422510133044305942815053969905363307747233132363482354026883235399539024433802041160886549310449336655137019470501904784242341703508044587128479181869605438196465573462590629263730413979585581278958834928724121395387656303904204456444247852622928540941510245223596110104161724234334154475239902328455741083855800743007239518827118645185943905803995823354911079711268409550649413767126891695390868658979071422276261141360309130960172458099194088088110570980416363282901599585532650268045382233636291767549922283978632093035828530107774017069544657087104542955760579089663157556341902290052725834961153911769253431419475263988765980739169885845364827608570876681418471418774301805802596477288592105369895647763563187546631559384446192661818548698820959182581757119854830520721098224169933247855750089618584686715693024104778146426608203609960941956813904274109184602764849699162999997824830888741299401629461858196606747342990017910175450230839498291511505606579543840861008558366655805908284875306841079642685775496072185602101996414176920878215851344897346588804790052847314722434763770318624872215999315789044946842856061816705874390745558796777566166580601982697222523232203937340272171082053894725493256657112608723136290943249892326158511272895107318311175472651550310970610798527433055781849139269221224821089106909442973747803279765712343218270017759582459114147327799188798313814911195342987642872643701919565422562957823753348006055306413704478919892644739497086999193460979876097264358111129430895387712039609618317069368806201425723458104623540139016407153937523194214096831137595890831962782816838558291308809890204256826658540024224659565772274198061699435410643739598153212761821042193906838551462514014890129185878859497358210601676665890235278193647440550915307844055580708897097445369911844697682802042531227207087840215546736885196811434894400846711343525664215641788927524230156816307333300960172498106684333076441465926700079346784087855692227350468991780741614135257884197285431468036127386319736050379310821708202924807367994312697989775945320152454254922220380548097462597319675895227080806344071144421771726986077570478003636699352070885307551190898241256692727813627673256571718544640172906588059399708474267504569836957720127968981524545501913631368936612063393593599554614749049948020192506150531321897114931946986945245390321678116237020328643105965736149251496034681071753498370873462553783338568226336340045522094835524503218926026765595931405043102826833464237487125029832052244943454259174327713903428065195138926770692739299973116120122421733396544548205062629692485349192824496762910491523218960222502638686908849308437531848479328298642279589768009004041742164648576651511314961509995779203071615681558950046627585599637821914601201691734622237653542511399702421620982687930167972007746477768666597149950099247127601262290874539078706480988353753277918542653701569761113864278129943313127570747976680276831660514212779031776048781604019519352287881469497072168979209817671164585033027451977957375527549831039423465895257038749792058681000544231015890489980429239037793954407273672487014057646348865179052624435027501259839436306291187114425025832079045384840448000660221397669886279534202936296869055388382563597212810963340039596290160113209117446906968970866685306712922703870626294774253495124258975771368861588863009773866193225905681071762076220587444272321266960440900290096805795664065958970360438311508579232789015958344672001666239945279587811902985815325081635269189130969987678867042861890260462510890928196179566582345799802872025867957847409205782331067325834194109798956881471470803188138487648961961028654412722009785594536542671890421831864151909151568021877860870216547436171299727242435704199697229591301792885370759154325047777450780565896510060968708280219693336015589566962430010563349119681152357130720219185058181202461384336444915330103342181641220054081844276363118215409778971502058671026831042839808164012248738757708931096576227638928712478265600978872122988759704797136462394344400327932888279798229629049121011877978119061547894862138166799667998285840128118352373371718368903075986879105291667535821721982010394347809761552980507472318360474150717776764845961249780337539868813033163290655689186219186185738683600626308178140194086759933123771713029640401031147177722996786820873155563203490715353386847620410315457790735062674145533034807192449059960124825211118951029301356560258300075881030255427735502121006922271677171466521736042132743503702460063071727091082724568291895953008151941136331301204389563470854247376059574860035522009181719038410849093515388481264070506663506862790955851392079001267951894398519563035406644077029972155548445299993219443159206954676627887472817611931801966886074939681769508297795468241380631500613317150207859368633283289146438614202793689969699894456043333859749249462053161555909081770726251197012796165566570338146904573913331395424700743126177045138453895786155706360860800977888152810710967836229740108167924755252583353792874393637725629053410174977444729435542438063102986369005201154673509188940169587795670848276733909897526027704159953906370927829720562556516489911002068977389806213026180188619935268050093681365376043544023924154070724993871604962626967901866210461033813773024369469555411898204295023591064134305536988266178695980494502509457398251294832072549521628032042245799246489317586888924448951090356991986666384516076184241025637076606928061740388834104800276737786383553038818911693587453513172482250567651780619036088365589960372767540019750145444113223199643202827926391662403973414709480248097513878232139538870369713289717902646453143273408240620967797391402825426207695553855741340786921731438516184277103291039997518443261729901297644858347145805917926807466934439816609004658576278449284423126463400427273620268226284795544882336080847856850607628666897185624242851818524827018657701169413163381742542225475381177162139352383671192146377992360653400709472001345942006954159081003299980469453634916452233543292119980879450106236732717725219323636471990358957317605485499651331374442740851395081787564459529887886056806330146222604669429946088121578073280553604391067056159401718300046645545915073516678272177128117398546519815975215999224351756514116070121349515924422080265622116726914862534889630470501708854012593946498201451071530122796973696086200724427603900537682230105118454133127511892888446802946144001216198757183222421378330814653836278864525487104782966381852725251982579528568385405528688818997779085120829408136163960484155439194801352314530338087265859727641836199394623789769530662125486444191472063091437489988717970177439703161757545196313039254467439279834748142817773630334890250816523078506810283757766485643576626334991569691709470281602501218452450937871155113899879786225304070967470342437071803579903956900808130627825745601703371641375839722677208350051675989103578282952438673814999272596071519169134868563201009129575209811602702437654327672084227718208652714234811214824235933689389738431707808798775353021417097429372197108669653780307496499365900554727096887847535316653761718357019263482282744841048471908707591830557130581715789983832937858394298467057351736009079265827669770063482413052528858377035394063598487780089426319724895870291011536463786879649835624827563302477197136701786912795965354618734221556354817836187333031274675506508066014641751613764466523957855415824046239523061830113890732267475135141816518193256639722283003569906332812690564626318407211278206142079599505396608821364042039094065444896382959220830312198508938279264174586198349641620866410255153223323776467330542844265004550346806242985161670337421578148982381109317223685412979437863894363068533976812317569632280678044207438718946400427164872884739022927687654467499096001244546301717197181176290895684485092966673632815248701016871245970886837037014356100313382460012069951381116286632144736925702569331417257755587089565035774477688979424066915941084063574335529191560329486356856987340416823247907412899089765920095315089816890496841088487141088478439903994994160005193302272528246841341182955889088211494862870442869527015082739075525948722137125147775006132388257417954665755152431317352172856120099085808704268688280665584665714925020208394281612414026708991137386478120527043114095203790415311204031476236032116264244846814112160582074492150890433663782429205004743292869874921566201958963810806018740969134134900396925298537930511309495247352167934529413380392807432982723711593627632944907536853943991388742872999733514345478169124325259811988399788687293775467266658725398627980688017396590308051144185745472339722742693251382776291864714137126551353580116742333141221915821308509473202282737337501999448132829041204448023184988764411852924945917860919729130052944391180577973028614578909421581016614821155296730380438724948747719207659628002762485324841478691754874127163923244104700631720574709861616082283319401199132407753114782714725828300138974072865286071050835969027982157281544295282197424008664869929360659301298519398058034356157082902325858076492908443651443200182137761797762885040518108230752983972529692208686835341705550715364054136031722189740639641854790553237609113247336460141476869922074317693745221316964612921318706173198517397307819003560301089981014992270105873744729712383223522309397820560268090844616164272373645033583569801605514801307815393128280314149658922692953122432507817542793383524605872071334089175409398872749589232844597883832982416468466446254374854699492101790495086058319584709035847528639363714864162401587431548766519907661793162140119613430594788594414475032632149357052764420098420090424189562539081794817949945047343006900053048980727954395734968820198940796003554858166017343356102088439531120581841086211561382079471057254307232055011629854841283979949368398724327463275806035416649030093957027776434716951039816706738275752129990312304954063357611061424566558191286396420276456167356805200126071851065351846914249179046333369424719191571, 327928428449539285570454736439176552854941189886116316983608962620027075115719775867182379170311811822106130442936409507931791721162394378032058636877282125008574535989086895551687153744428486650759356612856248928726261556689386415406732477656102428942655547549308890142972844987808095254617828678869200267074469277811358224433148429335089610363660685088367389309911398155699988033536895597319801561939018633140287577849286090265731454037489925602098124792860000061517954469814708357331976185746881566838623406686282213241329954897162665238915109066876900605200415706834418924775054791134973934777715005581183764490820204944411616676281375224633157837522451650211993306592276892789078512631934335367319629060825294511673690902131820942174147564198104377231119391878892562492001106929455878012209496004881865094525990693078847907240748150991520880272079154156694954708263781013039083408534025275957169251717688677215038753000739168986225444193168263042136489622132293848204974183249424247635380423696895850117360716533335046062073145502058395403834912496547184360088662170413026115283301841056994329142834038803837199234166704316646977991998449776176973189364021101672754289680156304224964210653241568436427528374598788986334921755794229641668929336480078479890823503061650948411879253819617893345875365606466504507940922200965399014833071167888634181616599800682001105888138698821524853612116597965445166709484844977945623066413039253493686418939723489275716847399981237790913253211183228470847743173414929305143743390355999517911473948037471262617210772836330854787935527532356004986885367278630004039434895160818893736106515734838054743453116788049450326650522042454083994941418695279521894656542263922976320641697352254872407647556143547401281566509135942077137211917699271616865026310738736750150432327361408779980980155702669564765564220991913883617023935047204260857544174444943292649245838927725442533917916773981853471228144100223531094628348078234554198999195710677117184056473447654535208909009106994244958912053201922972309568603551252070833925958509658954811814705433264708985384484045838183976781379249061402182051718095893784674054427367609497748884279803812441786538649408510247089964305359109686184279451092010530667369408822055623880759061407000545795176464790165030829457823151355097474884098700409829602110112450891594460533658513183750790753249841624095982245227045103056317437291769336876513898945213183843040216426049409334599799554664092105770205924716834640644116545711815899138620486441109422644957550369030545712314244702738237191718941785211589592595682427589645637478029913623266581231931634213606683326314692641437708693578073695301863589568336500318219043689922083072127491550087786489628377135492595297557110978188121876249241086583018840406431660564119954055189255416738153422830113669216049255206065506473522149771275177245723131162773454152560994977645241632450078889705212738429251357617663063894780407500705578111176582164077317328546341195295660029713443940723474526662389271666820334052199434396413288899257998312141101229359120046369387444433371789986043181805041230366653817813242945224731508425706422174419345452707496245210231408803950141517793603024888468915877215922765752582108123202474195937995670152140522358534830746504708080201858176463031961453273364034656176158157722838590875974281584915564671036944137320455173268429134794283944492599619539260347418214429112411568743909200263672897782785193687177980190499070068838397729482661587384342705116199774050620447713281565705865236897776557229479716522740844775527608673623143681387648742095615112812991059332309996648981191238245488106308723726116963489498284592065245943527267014392956856266223972020915197029421305384862898265210558582415197009156536338395518186049946065326047433514388360652688102162792697945771419393294363849129964546186129412444493534618693898304213800169969256714203132203076929874118931109187019540394140947709885806433968199779502164697835916738090078226736374939796775872686228122095376608504389376569375486882164427336374546603473670336974988174720102375286963265127857714380808037946998736344767513980440620517487394868174777979131144559880451720960578592096417741573020975838702678843673054015201856019006640627579381357925684309350962416702887685116232969488182701202556781930790112708866302786518396140746933012270844335773630042427372829816644118568620730072901861672694217729737387556479651990887016127177325728967992102554715224168851169586589956637549166979915894239679954638499744986688012499601877729736155656900561348662168483712849948934347081797891135096086746637195403102506487569981756824285549916817172847136720925990585777291354468297800346079720314350902577799440957179579263053087120221519934887934558535961254207211787898345826266293376367936300271293160776209834577134663884829271633037932897286914929068383966133368246584281831364843920189003244086720601448306119140022909579646824767451046038357956393348622276531843177322711035264497442495419802846629313021066062604225932254953990238889992087254345906492637931620249020316802445647097320077277985493109644757261828087287815496744748392870739812300913235288556104723823061881864598772760308963182291037722217081391279262355521541015349552183547051915100196157823702272343562590081943396651016092019171013991558964635766095007967632038295960138534562579075545584228297878506662884174037366264104862074103421495664988969726603641800983617891860165906259203527913599225242505439903632465015903275388874759320773950379714157280899433962463210090266749146519910364451622264033310283879603097002721721850440488258124834315657695545145548764197733118794438828731047860193514909479580739855881820722007845884441889584879699273440193816973536152609312767496889329122585459426599200163074933754931856915767616848926689985428699866413312799139071075645034678323135739716787963868662521852872197356250643330008164079141354340771816124028605254750896993012084095588098215637497907267813097111993036398379286396039765137277413172350216001067600500443636597994327290581530488184067572469765469998693470747307341456598886027572861382463357309143091274208005843173809133379881529078221391295813212250808840471694273682921771589247487939432016505807264864327440725968563087094540008759434036472882606060431957863900491869909954895522003938314632310346903471627976520953684062929782001192556278511688623234497533238048401353804012365822762741414718884400954133311774137484428383125701426831468856349729305331475859618957196826980436028648624421192782182424017467738665065914028445010727655611636088143317896033466683202335055745899277252658277760412512605637349013117733083157085781938844764572376569742513395678989412822163982158342982440750289156862772576820845952007540707613620296810978981382252256848869506709872040304000348249528817412507260272651316191017938864090704411174210335196706609897030762099606980006046800617280338868046824480742541739088393071326147598477539394478044695027424983427799003741896864129015853522898507562989709388003897753271881522759726847446737113425438006223948632916177398418563044951699826769173938338813822055374921607215371890004002873804282260709275738020268228909096223119880825942222388425867725585123271235870844835782160818026226258321193144165611147268372067908301003002691065675009269789539021754827916974528267901946161688007580950822001074875462970610067174950453017858380379433677625291795317472056330867928620774226690720197245429903216819048609833027284030397248000076613461010547155627642363172188509968571072020871466503754694941389697489078548051329134240408971893003855668696480586225758651882666936863613019724093435261107680100525611574966463155950249368601913851225628024538378642606938697533572004784518344221607653294804179820287819157176578196964892266644170120224397900089856391215809272156751452134872323608986523321900478896958201060198987132739202961431577737537235481824554408389584150884764830069576487621446277008005691874665808417669510436895936933448904894648147330393678555996288531113763957221813380269402835868305957590106229840227850866538051895515096711837655895296773217293986899068612298655126938220833845117517590081026952743105527951891411890592319669205382789047171806574191391319671841247288012670270285096117258731866830147512354309173572401723108079103040044358085306710540377693873082597085199847995069727508181593476656628852724025394719797124718327428051007057968562823275409821892021693135714847379682665440628830043223583146842630778932072584537304287851779961532248344519938291118780403132894607378526150332581686934945112651834899876234536462535531609414534954254966060480425072594834456195819982482437720491958689729625628219734962173641286560804830855261568775339093686994518838516678334020070770945139104694784708204204468897952929700949488738211289365939644174229646606232888809522832080776237050651405867850283637973808055328312267499903833757082918491550029503577253035538006994302903006006141349096801289679491785489697590632954790882399160562737351255404272067880721557586927666024732448821622157821321289837682357885425574542311888027139213273671484179484547815598481311282579846383479807578338971366706126313977946730694868904582978128513913208290779706050462686661191158417320833952652049677325093096553417525081702827763017587481328442948354119876496727992309532631456539525620619905084205427614279517464422147114339200167768779386008526894453170896179866289007978617211166835673195755733628856498014333298367863837770535034002897229932247123496516019633937621544682892464325731226891536290510262249418984501957039487948448063286155865574412497072905995505259857092628056273803493920065399921088608073120872879723731921646079609465678241719907213390194621462610204837857299389184212898961681608055763965671393128029272798914725273371815646763186745519613751880848134046882373356349014360229817319770089475111702849328253605054802438411921174047177294642454242659062891714370579567397644571749175564781005320555792438980351975666265311276140657890793017622666018826285482263788325979490556520178505028276573209637603011093312204514549606659207528032898675582394074044385214471844112935566156523057615260816678524835945144322467742839593163697734295758365104774886418660774707152880236437595491299352828488867016089076303890507219550502907535066208249171404286077277206383280215188606263747726568167975531714921104853028991050983999122684409918610408033322830874495190794304345237294589165254535031801888143190587584224269677761796810504853842159239632223488143724955658373915832972096564855470008783009633196941216158054313415240336925846685352044222510263834329178829674856324571670513897814229674431899986817349313758329742040492336443408068873142630490083602369515421767068085109145513714519947626990957476401335058374311507933635128916550500217832730814541115211087637340802297166920382943232608948028039684135608370246698627417091896945679654476366914601521973666986417607195007480078951633759615600455889640052335200260519323117985157581721656668596659719439619769803044258685649898591998945103991129408986835399817571444076932738986219174143283061688669205470680883686662591843916841161110719184047258696727125739718425547013649968802938388384376160669338221730805551196722422674310562274760330585496164774442922800756054270636694275095464624082271571932108014409757303745192351105938255169058399875560343779692311575, 2705604891955121051476984341371963201377761638108340828292360214593087030955917988676151703428026939963555728060336039923498479325417670060941181102773548640478916408093653943923925678088515635149069666884169841426332934974697074494709243955176922938162891861398254481153187718596115369329583676962762625512542556470864089872431365651452821453461943119500382792059471191796175138759314559544133431216310800902209674748566761901139859145440333015037697940012232313492730761283762401219133220544251289154703334994707115969054856597214333199516437931934572395693111023933471216757269163011535461825226061879790687879609879286852790491473661093989816711910586401983326938659469623642128145632098240212435743628871657153396006102614419728269929280296742713791445143079747130863828937773785439751812628492904297778628499651277542701794700968753702284923426369325476924611402750871976036199468965491122612414516426535015471584464327298129657606946712534326609655274378466007284602511396740937332180804022955578420354031135332759349830075347737412032477326006392896085482055870216088573487778926603503760119486914021312308054251557965131767335245577719742894660738207635182770405886749864496968727643338265104951947791857288825753420885813249991940278732772768630117883127564571478644014771097360423851271284716503266484108904126153750341582258026988617397612197188280471777214138792939525323956913058894763152262904507266386101603636701832406979372092446660147732119411015796311357374835969299196412905393712865737387022403543315080451132867960026829104609432275287235640048384898166177733917187258269731381502628494748862477848095173239371894401727761988257902131507716688507748426469837683502005577149028045317995942911628583814581283458506752791938934421887597087922789297021985995295041446998165311264057623534716454061335287327123892440042327129455455488163793887753719386048095575739385427475646923036919438159733863078769216075615843170108172553863942718744995787175798686784738655294333036537157557353251673825610085748175172484258317638724002926940616665856213094486345500888587277352056766712686412562436863840962176617230629633992032916721745412577133036333958121644551771217328678941059547545684176460425796098746597636848120561570166167931885178545975577860909277350709543610882052077636686411681410426992383208991259071250400156439714529708504550025184895353012450658059793236446307564789467820280681215358205927901836700601813459444824405851163805490282872226094183672452290397693325859596648629298869892521262807518899021066754540907734190689568722689156514182115137296267467677263621927370949400828233230938592907498956557288898288186715040683157498953188386978715130662793224979667934148539799346989106828117618920890291831448194798744356598739381694562011259614673721041054314299544917856830715703245918599856389547328587734129293966665913387130849916025733503716062240728381453177055525920517380140920479400455060311398742324712051153850714700941899422317834248472556220020176209758197921694459053353044308101632910300798424968452904261555273638834921337494773099561115274049199395186419138373663815839655389183096896756022192179113002788355250987727308217006598439092005796518419671157777225270662215887979748053366596616396982041119545461644812932194132632847494005453858999026830373015122945020377354984626149440743333601276838828555337577267354108487772320340498863186085199752465391238665977939436362859175902053369085448645797311238839325777347762231657226540058764833379727381664147170372667257046593751852113278813786355421056514730807495396785478452244202981494897912724465690287251337926807470120709468367916013539157755650569690808049139836598682630916052977038935463846023828095383128613290367683025906035185844726522669309642274752808852119705924409480992035766833394516208692904710222649882791202742382184897325596858991595142942668753979036917937188845008201027797624511273701018451075596109162521655179193697757507134914543549064820112925887299836921459428285552107952439890371768600866794686571581071531141311173997490351945703626680305705812929934686837823928793954217905018920543853058405446509450720740790665645297359468514692587164567110296122363542732505418859558561940006682404632135827619317919117883011996422854799915835414864269414742413316595777410362357159784308783515194633107596581750781695369309009106981448198174048481828582070954026809560639378256375022917469636141753608156017345559763982363008571964496501726097754405471364318417683526676612504137661447140532575732707690812379114153718332745922687726120013586787268612200690977308872661959931932205203216886813036825097892770526536823671863788761765625762692644884783038956382682195828575678014703030833329102397716422452717485153972309021224912674619023715864862094004187672422935449165089149504568586715320229168556215776256488530688822388090056828187793047892525933131421463515120014176073366578808306180271766132371622637246580309802074098693545789917479807385003146634517693239412701956076996509724805574035384917988381083103885298624778531874175007251469007083901910599856895299674631872461942322113631502686925396754903480138763194594066881848617723463169427465971681356609287511701309234083901778970146309303061986103574794892168184058538196671023213640421581659559790147171949185354376906642534315476160057621881826556911178007627143701704910260015718392881819071186563323536291364221309711210542026599797645653958545751522943904302060995802390945692313997031653770165150316229726580159852477522151377092416121833226777795706961359972351474285094021028915303000549385497113743481194560244149579156557014754202186144649347744105256582759243729862016978764276794364987963739147000767177465825550489438991508588813359026769033483395606306743222834195163718233568697155927363788127703997986115438943532681655851319573635194580041113568994666310063413262964185365673867652768289559411689710809511028396522576175730838305219733775896667321705055912495351514131289900551969893653923488046963998114476851213967788986783205443958211361355758701587899369694041940737040660665476244366825695916354827255374459225775493755717997914896747800010357091046007103079707620588991335393645431859376325280542619364602115132373562321740738944242252936543053121495337549285848188853794353200774258305725736383989758384708161586800087010881644079518625225087184028801534292799925092831010512239152688539112629721167522693944971537054129497951131183221936239004780097772752131178008002623482207045664314244971571557663343548470257651274897483786006339562942734402772120723235877913392359852447627539206214395005597633284832678203248628844988214615848883046195169019605029470007837341488436603486177411051085035603685880609473162173966330400564710541418321832526842188969199346166090154286369688673046517809668321175052267874462846542900119195346280253703286848010665735204367440875889151281800336622402888150384644094155233349338444997757811917601413938893605643667400082944484050368569925650614290773041284736722323377113037770724292198538762837771488992196358251093419871227700223384808596688629481401440434480648563433134847038521928074324866688001009780045640930585026112592608080040305718135496017185704499722645226674080037059438679334551703831628433124015895384067461244529604170969913464197856389857689960977727307807239145404266714308672334832361278122915195456554912317279344100450614312556894312501836799379087051637544112800240915978232887955758733219756382405492456875419906318850496103908771920509062580601406756916973052404527872763941950394137151467019311574305014641262922517996926413577815100379006865801942530897953359681325168998297376458952700885697294842314402177293850413162746314457774986475211861648586539360933640706278435452158032838453397577286664563640266556877667266052425067631789655440398423008639364394589343514872914182635768438824885507204985107404730378591928756198251193528121189319012201305188287209895286864034462407054325421971275332960514851784213184056153299188862345735596037787191775997123211013627120226712706550671990899803053378675991658288988578724949446778490131434072518506839909038156626918802732226365199522653112319871371842803309336221234441359384754864177184909670296521811490945953620515213737760887061319055975987634745536345846169114223645729813972464633692909702003528105015579672517920770704716677950376976482571854622754954367993861500127209147093094710764315881240808260938546705671469197813428363837113515148504065309623802963567640978608583616420280594968496506529965329858909795166015721600255278434248568045100441223863623582639663358087425942857720256949672781139999511824931832810835857095195365278947562407214718308447308614671257933171929861668056185586566976684539356285140966018580614095721383865399429006829829607552047744981348775102954123885191596834162098495986652538829307291401158816767119761470638564284148698996623784334124491135552501625341256385401707723512694831472752280570010212410498867646926103052985699459288891773500567962629539734124959493503178902716809772471534808437044832487532953324023549927664443211765761365921803020760808593749487945354859761534050569424877698737812106174958742633014082420550225123373490545491141542325033212647669593010467618044500760087586759692677712043090654600926169374975205308989900470499876473289502925360574088437070425913319704139278607386205536417496359839499270669215408629890089567010439353077524499324631229335540237041619024545907069760771355573448425709720722470985313430318631385840267634657901635970316627393623072282555422876298010923664649025772451244131443808971243909502900716210351648434096135027139370521705852756240039247142885711824762447827976156945480590985465930621982069620281167681411824658428253678245755050474762846263936142479144292245440289565935754318253639624836637154448845599649568326862053189429655248341786043004614910466532640797108122239478509435082844420569615001615202300676098001923225706874863125033588813333201783951705247210448155432115223660601712190316615283215513091730308656724448443957479517261330067923359720235825280409421441407850575502253106037834381546720875003189521659897817852850717636168387716884617779578469223478430561705310425008889880144832005508601402189580253027047675730179959220957638729310489009505647308782198023973846166292238174685553124890629068353763024828560883890203181191433964521951867665028070839173296700710040458957063398027638380651225388924622908789834056221125403105916190487837023790639257521599111569698088281316407130284182689216572139862712341790798125938053055755237012423264970391382302996995274063443060032913286369154548426389839717161415591889818137072223671845020182110212188527437246488670320933985853599925744738385355501877287015483510768909325543461216644183400841609648363298191322706865413598351910320660873272817845483848578914036128245693745883370672527139538345881081425777118019688926600978089738647793883137383813481392636927357825109753366160791522023467916673248304736712241587518114755406266454144288346569552635755682129058288447042322581693955660876724346759553014907891845479564741649901454670091122897682624096995737380857671788336670305311119328653186207769570525580931821686153411793744026108037931399359823917507227869475168195330828649419647514438132668934067465241380702830715029236825643355966104735324037459104444649870383736215939845795735475119929633353471358699520626059201568369544)}