{1,1,1,(0,1,0),[(0, 0, 0), (0, 0, 1)] }
{24564,24564,24567,(175636140862692733986685628360836644142197197480847807996783938945732184854557491875519001299040500327190787977601611874718890070844722584729673897279141879756094310907465990429698682465939771996263799938466566474873265767185720567589297138686349301451800061616999383579085434449464475389119733804636131693224136491809975541197342052334030627074937975636259771492914541331320975792527339498856231263190537393309015589345763240335061846967589097425037243630642382008045245447276184049655065608269822682270237757734279211599581418135518616871671744922349552430407505287197017370637628994598937078039110935248180129951316022235665390773828341984307328615956921559389582198493708257386944546577062957803001636325789532698140924277828072764507221272576457777228717868135344850999175178670015739000074483048934322581266705225403224190645425670030584159806788984780428955304708894433412730851216874825065024722687110407204227445767206430697709859835117426479195557456379096014627166595617389886968722649488790947765694813321649712180757200749775802480336712062314662663242218567369606695072985659385737770884027428976269464803840087273294542722381836696414407750239559254778491935471796643574769917997770156265106045126340621710177621645132315810413326769714878581589649454333146702082627683346448442090229691660876593137371852103952230671189973143424653505888877397871966332395044378796181692245266881158886038759411772863492751583706284005739623344756278608121662545054816523971027883683531123303296575671170260387545835031786321189828838431517949602592970599616714446026894471002400231196234601584528518629671641863507611683477871060481848197886861056840319860318119149612116973384534329284666359099988211610971255108108426805040125646290815636761000902109266011724318361163507641740666082611814064894981836870414422933674490868830121569381783808827872143168580229360462193041061482706450014582031206509312030694952014413566612863507416491763291551159219025943371304338913339526086691002090299260683869582449269496168026159301297228987521609487303931411958240153141875650711172159037401514314789115968769936370070678511618544064488919681707342313394177271289542314579632700012176898886510437067044259922632681961469349988169365223724784638871818347574356193072715272301844209652937000904686826591388957934583926000652059915726005616227368354049091409365794543762460964963888570347359766562417371817204457525270534252397570866438506376004149254414943168664401622879245402880606254045625272644226171458928670327755777957412440885794613598966603074844627409796172427736158620098323222251457021990116450068617245063617732255012023548877081295970439149900549070266740608598375561206063868292342155444009283088409924252580197158401469191428165872488684533076393905890175592702521704448384156392562828953420045505414640642461644014663859776070496653286305146655712236129457363906037610249267639881059219787249410692362881557891798968904037554081187203738269508228468675675949387475199751419384717862588946960525772107135128358827823914713663012466907984495795439822545235954755011150468400410003700702480286258105064233643847418017056540674995388061730603054593240713754691148690441450740578105475662780830789937701815374275343312486024218472638622128094130541947561055947416235480605237439367004759393299925283670095916475174083859279654757900272555029344621906665060823365617882064042553308500322546550252248313447940291002988999685757420883698729933857250496143774866199379511619871047428394261859415426107168906059593968878866536435647225967171885221785427314164576110378539271973642381789353995783152286982224081172041581491182861654170704154928178458790058991768620096553992829214276279539845013914745620647021991605162940474897055584030695264192570310608139557741502920362618984065213174716788143865118463024447004347236389155844406491494369013393715467936770450417863423328301051828439301125320439565148244614444571024949930068229985090556577255176428213877776063161448669131749573918869109216850789027950166235489328224842477732191900094214639684434971071161097184288924459522206465636689251700253838960440322342142793888828483513511229557686051742635372219755971370438606900359468868930447170420489757178736387670401361040648139850303603345829913165264445804195183650027450708257382041121035905925920298737848017292651142015982338957071834795418160604927163455763345040015364731790190126299894041963104165301800103245190912823669669971534638638853521901888021615406140736494539732777040223598850470351343346567180352897632196424119606327497230470499610798224474141520648172725588177788136583869575386128862212257882486237998421601487499703995920444491307362163757841580798401362767757149974610292313680104355089434729832581809736104272056224546782983402497837792602973099681696154714680817303438550562391983716024224463755080066887269303120815649279082647367212949719415914959392312472282556476019034471977322267570935490001775770215758627582626818323005680554797540635133453530502687977873184412560652270382733495243289700688566209044567825266134070454018471563320672921903457554556752640733362747653463827220563170008108629747490705956550602159459610279149117539755396962979505127219211152640375597303096774990423514729392121175355795322579875938081961914794482021292459644640351849215579320828476784874091691741140362519040162733895911814032160516613554734338068719327022189003122934931301484657575131362970813294034479078559585956543885245317024041525041829724509370773027907982910581335897106148559778995480755973923816431184187909234501178007015849644492715213290288013250052708273643838003094168888448614021257230747644532924077225847882181257017322792918710340661395197225031925942314050089471015346064183762668059892430771750209440485504657792536345276981978921274102413406307382101255286437864744790897598244213079561439683700004942764591876757444270376894405047526468544427763749079575071994854303994155564646927441612492466094099129701030863736375843415768915140702060500849551522074900666659765684564417483697227217591026622393178177872310334855025164822520456619922601372079195348109983201844022438522929021825693011511469145806010923617327180284975897306771102562656614085227136623410430115303978833908731526770123891759779528885903129996183555800823591413663041442072882191057905075144632082337545765344278562418542086103351078913577802565628734863535181096945675744244986993646981031659713578678786265936287785029711804767297323374945787448968311304938300776433664044946245656714281680404444451257395438968253262823641980073649037671789853028244338450044980684500894507712245684713519685723052146801830597664567428091349481456193622285237960141607366083106543021876276936893811889182957639592365060393882634681516753430925720487869910666833235945902397165521444704012459086703569706693313731460083596597764178703882163260044071442530941122203332453574032636994019460159633076412978986749173213924547549743418883980274635928385320147364705623231309983057380081583519676494498070789661141591062553232019947760918658331460908428286048175090450933472652936747365321063773070587545355912898203405524647972407039180374583983522888692576687799462478173071435133457041790765420658049313544119535331893673906940466133252588440530833462045543579829555975909087873177075898154787372374004318767354626814407578211221504106256568023779626716412760951271103229285856135279278660136183886212157846057015161026750429487738071216498019674319532561847346551864161719195416106327764689640760535059728630423590075290778948920081533065519123091625128215950451707385269619006073920856093328890223983923323272997642900078939667236898051191001807629606728356216323068224894789176776680964172052948005898890546825715300635082246786133065175142552604656240609303729223163820606443259252048113588130022810679630539765699574401236010509286273487104929990128386754471132509140115739148771110736984660441379291645183932818405442848116744481025999844209277629492077555928884764020350867909412775832502506182040774019186316066648557886749273991005086611127042470371561318969183932233771629960430934690268131656476716646183820877138894560074340445449338448442596633618921636291552469452771179784371135290563763355232841973238147920180775644247186256197088299126140916176125959839987652225338132830410772232028472803260643963332916814047908072575907391383938818051565290968127806246225926004155472314062058762563207690866208894774777651410395028582468905833162134814608571975857073558901985820600357274949613443469232771015178500878467037566537951740742064112927560503249607786583808184586849970394682660897990438845000443750661646450494242559542913335037638062928027509680572992144199443677485121601441297235365200113279468191130609976205066746551206157930276074261239598066476914883909510027916535556421030903583500291725145116145964945791733649655636678742678582238945965458443572437861152989806911401530294353487569169015881942868963360092055157245980444632284097560206737289867460210180786419835366962597287943178063618383640568376947098352616392556072738598568508856309833595717683058504757601886785980596246628502043531605849628286495577333625116334025535925213178778063443771279676087359202628758002580955136120175029700049506727115282419295992348862131658948286785032311524832716492964895392351879943298483222465615448291736471698246543126365719288326224568223356644775689440186980240659259064555122821706869837574675343376801694203859678245885377297997654675407654530600525083020123996233514611382219560817554397471451329374718883842012227236057638980938977720922332996827355649679872343238358147804702526156015697300620693971722424000865769539099896956893633276574909760827093387280611696372939413157780233480786313202643632272229517737220713420348406627806848512025410961724772316001258794092726686152346450561361377566103959393228768478985339085894056108523529034194798939676356119701582671556125659387701433492338363657776931009692319610652765381004100990998083152434536256284051576276554360901931740384539624704340416797953211739859141997639148414075390590945192064509503469119095957194080075292336923667131517964195160651050181025217305658953157655043603966415941138958643264027648069668229705198929159377311564114698207601961047795172988408812184840778683900106456881932050067661695801909777074836723588878018234872530642696969250630538474882279383021686254421009598925882049361431436584015301343891022422650331681346695294372770609650982185862493657628627618337806689382502281317456905928435893773653478631280362075336927689481635824880191789748555801599120597505687282165421727704409435225148664936805944815886657699094900346574836606260562448045711795828490909607693540957979566019630527225595640208972067279734392877851663480066319961296450518993117764155834849338124409715220746245418468049576179929602294531380432602388704216607531010367320278576038057378039348456233308988564589772541409620256660528213709823008908448758507447049906601463842218029863475229723990917769592859361137986767908869418002914070642949978475078784927104641313000337446311063079597556573490187406376889452524638197764571904035286924299649899647041521042555091554424269807604308488173107953401205075463239420627676125904257969386059377341464822784094826952263657069826288725222554254304653876717411025888226456510063942925314398726767848078596828095468565551871039950133623094960239967135774099820492526005113445723081606937471031598162037870130720048811667404954556824550805694859206036069176035547064674468449684117268634073210758440077257410265881987702396166476147125661274256737355075018734097564185884312977522661626825045171089640156391112019804473985410280298452513722253826797599595820526370324509527496589653468713251609022527771523819283621542881179364259705148678142048029819395628184312731103152725393677501247646833498785932139271525750188824702083386776244123375626100277799335375347415359885165220107339741008357447327707103209651036209588817075460280281773432399948329010946541373050616313210186577664339567251180614514533428421696252311523715432980639162149758665836982861626554574493367833743180524251607860849258805661782604189791846288853334880757164047902227686412905325293185374848305479947845126141897692075327686708750026662016377482463187276386530561220936652859060657287333270130188071406928050260103638596558447583109018065136619733974995825688491530573453189025419123280414855111920820316902081630319237758772540179628131133731536258336949627830063855925105487780079960812157356331937118566510807885877737757294021249225597983370234014013347663532629532343414616190143517802553667245033800181147599626094443527560286376243788639187279220164499261570713610039348893176462045734121458396487077455117772212762355370059201392192257394584851842001903397944022316258066096445450643652487134904219069157768194420514853680152919706656430478253865818600544537476647825623105424301502352873454351788959327985305063734683824167488661436572625331962235745035217121559258801270054605403047656964102983036666945143910092176619603649659525882710670168906186852747836358268734149861388464281755162871963995645031001470575768864800299779277181965276996674000528422797644609198841508556283951087421105054945944382067368327650603755772430504512744659546995120952185921709718392914660574432600079557094294188832905840971329359103661759985479951104733861329446858125308944389019198451023682133790946209811490004389768745956079560610862522850280912000245545789641796215465080527885515680194917439147165083576345285056413661847798858033039394726109967799414440265117394078732390072596134229338608342928521077118012837861655084159220934276010333182856361570222129693667786179056918946248001809357616623559148193181712613916220684520419829415507260510250027413448924190886466377884968792297776886602155128497465861965522292328722258829208117778646087046345072624451789679208798286864792186521093891448557715430223422000082724503935507552121623385238850852926534299160907863801978458120560170934241677939131124496679638181904014940552341632502901245012083758092042034711295826759537437690239975937292350179694443208462582438021013307872799854324359100453106160421254360233232643304142516991199605575840936367769858878998776929571159168295641095553331178448729081437999257963779105492961753281026905650570952433258899878144693877994566820857252355581023825521141816961520091437091957476441530880337680336758043604911144442530514660668879598833720454570554910163469170423516999456618566003510936454183015269874272453300250087598431979731857310382765586555715953780796718837470702932662734684098035937413867753792822037859370999784044211995658767611801004554532942452034419623135046316665971361262906414032643464839169665448309361917020158376103282593717306397198018119292775586534274893183366974011689706246924285043586125466180796405852598188640322865186682582540130629962873249281880211383943594744145846156456823041033727573639265825998354921244130216554621296699827276382099520453433435313638430910802270951083107410074383015318058813000347064470295893344228822991324002723231298932067888546107097055258385517430217668895704680599836097449618302701040066960182126916349130310518895169177398582130457779132012977457663212028646187470161010431161178886750879132994753192005685868872179998078696720127081892007086484298386455226243939223916828760627588121397063353562729626838742709710672176652805517642622064307322587872619925388551317573474937374454235885564056162852998004742556551945196379068325189726963728408641244801515292959758997664887636384479966466852236473878025545150492925928645152382565410240035227246704852070624401457277695591499647715710053758254242623994471572153123876538276398912092880631686308745456313994522426571829482855127319974160721719844265957455926350114713649827938638604443064751455456118305202594642528139069300883683496663777209225604306148017179323424053562201686285538210742244542263658625662771428362626286008236237481151967713940468855182725720524280476515846753466295555016121228590490461221829715271599541306961505126521197210984672847813355816312179949320628401381842820236089866378456114814871667340851207930165509559221638379847815016991721779493959020321489311962486624474007991458394416659363294647026039208229741191418114025434369384574116637359023236910756661089506521437948898387330223885953194971878423226852562956590191219637038380530616337608033345628295140280415512675328232345438799499880908716343928166895643305499376738960024350555764697230900192087636060583334699136268988857205959218829736705576314458641892448733137401431475081466734451046901663137367275383379698943456403637324442361550188453770531930423629139604791138439799896621762296868080456934211912497778025619276555261778590018559959747046586740767440059353269403217267878100097600771091306001138353245516480029968059928128452211371781771128228964253507687575198161092283458663728811771236998605498682910676625830920886687695440954057535436901002192369676738597092340260920195644066077497660226958653731448635693019634276593515329306331456997209308460677073565951663747414406033191515687623844165822532614781755390690835947726674502195121246397963877485568841097696157016761822392132566602117051957516274675084319090296343346691647736305694101203732245882689482526069488971233021773480296266685785324423279416634344681770315888313092707602077423198600574922672952079181258517224131985423833194880646994271880864065824005522635655464910057679930795372319999765612661568344654864111667546845242080075489271304643867581934458610863226333949499748772833821895626247195701399604345498105161467314362870689832916276305156044249535840134003719428043750670660715538867144243303842762104155113242308521427556226997306608594442267835778980775853523783555313942123988205819592969117133947570227967337208982640246287123005909115220058217568845745157408856469242550163803402198607634496196951695169257427936988683972047097055951596914443884302067984764269422562852340423704595323218260099361650986766317145009418882707166460404442298985593986451049028219446734993671513555041221067882552449050589322760357097058289959644679290650505064974244536862253446543270584497524649357159712650401746306429183423145131817359720041349836503662103400007337441552234473155166110617803927858800550074018498854940834708280060085376937848335141785409258289727963789555607396783619754222296935268800748504547864039367566869480356252254351219793607848524879883710397860712518235171177924863083887327606790964027259021051364383732928810697260721775987427499887805726938019320046915444133972278006079268639695011689817282934957100910510377396958645014337487517357127315614808720896500626585728299248082866864135441476782062554727944206737754975640359969384743416236106700277128389036366095107106741727786263555329700644936326585923850744376523903175151022758958199643825782677344869935259660488241807975735057137002246904805220842267010891585904355675701754321286505106698936797675760120436742999465945667321331147531627388510022651655993636078103888005130606439130497858405301887044044470962525841786656562708689430987522655522812021433461193486930476517924094059617305758082619965865853313529128722366332542346531053412220214203132319790142603718914633287661680053092306009330383966050287238400543040478669362792934743785883303747842248215664623570385176440379914268703619470830747258233213603887215554485294246976692406683375475856239506512595109966299524947762358976140978303237887522756674893568287738493983831853371178890799301057835332016355079109517069255165407143526650430790342483837379574348285659829809707151056795857892203855004204404237734613773694379249590811292040313403487872169204903335724894338892320688576485166068459362032509835406001343426307035363965060404891558088485847482501126696993377215145088694411320187378293990306747567516258920213339638601589519211855739909492322899829231716268657142038907920887413163973770108634187835845938652801625211925390619994614833814361747875088611265536227362435348739225607415121954458724717426777212554194457051093890128013508194965888514957322126148496825235122271060475935162953777720777972945574465906531540650040086524405054054393125290371619565951695382938343459303220370598719366565138503454879167904944511300233150614181809564088636814948297868181639351736957109456141886165446399023669100421987239510162893439076653534257558908431879182812870248600500539613975189216648076131222082691917754328589167454062421365234008555139578056552535294381841312945076017095234906731903325065440656171866326025772319448454334817429723014078686731728592427639633277338415933337360090633858145094362348041801078377288905221754014065653644813438418122538339630892129912073609094447380023173527853281509024659197170480137937309520437607046970973891200627049851689993269848323141173504330413520852152500519459411147022187232769723563306530918233754775918614620374483700955313765750697702580320053008718983031506269296386809903299454665934919795786669464017232226462353396749525491524245427694830876607128926359570086572399066698822646686709209035965025964654263468898006956052824805898204242840761644602257522621417801873177712349273801328962882952627487240719666070882009981967743959815814693315730408887301116224863249218743129162259263009765063591511619844357161005134134811648959389633875106655631216281795397225698754020617846912463958917061439419281725184134647626249359018959292742891942398209521288292253815580822185135311776010253602292571153939863866651035263913363582013067442775957448754213860756145808458065898527307169998419426985696923974558510504097328648776572613640825846356966255859331165751501004890596271854739865528499666373975138234561988816720580154774035575107722628429278254235992858504194390885702587761478469826156443612146897691384206521735231942984911575118210025833729945500055313823373605626986700667531606905570040784826058647994857988223699753128192896565742867845215162297805289530478591641291576374321958157466682065561626658932063686023501782414882169047437743512330081167662822618007920123314394779803247851771191661014025600298153482444937221048230807224622681184047759008662268309682129044157754410078141400623900388091720363543742995691340722248606476258698071241219567567394888148389194761181655083526460452826723112544084211991343830461203106166887059792119156333736970875845266829384654433740850562979609731764432755295926921696683882981389801933846298259672102472625871609508329070400800327135607932235422197678120121755510881663202421555704812644900714420792312501180266000608725362585096512202271069347478818570914833204853196102197906283793465167103565259830446993434648549452873410256319974613014741695419309837620513790541349782388759580097244973032398206829088715668738768020122583752859050239273066904144368192098237350543731839717785515088661012273665265820620181942076305514925433261092888172300257691467668948518492914510258261924776112851817720478551259651265074673005582492745259304121136869809565315699900644466530439256165082488276365201965112494091343161538288686440813414400814856358158078855919592224836440555372301069090110069264938523854493230675976853060613388267479124864121081999157147599452478728468973205021009966035904367540463013806234182556415796099930072597502077068726407340596996436657823524264588850027873075242339598062160211981670964493586206098115421144294949527727632361424504103194527552438828914937235437951318994368071610323020413828004998955283761813099095746209248627126660327803669513676113027182364781979429036122793797620219010238052085740574456986928636898785964733488804826812516458978158386001501287098621337747588048231323432653602685882043046505560440864946888450410957464933966212863802436344581022334303926415538216810299572295701108858357566654822166727425777859338523666056828425473472045264058752571147279946952451740995640828761450294554168986670016924216977811800918686474847558511843026790268138874556731942766682791803956218329387426699557595760424227707746968369306899806200797769262038345356295705219753999911581069746049742921929968356434868132375580121529902794901743174715617519372484998637880133846988150791181474290613909645893758854787837881490416930123767846756493901500224869078660369814051009369778957694251161469716191952772768272262791605307762100475342456888685640797672788907069915886492372018856972882560904102731310185057745113930819411164129982904570740987274535338270664263685980897587190894518467030889233215310340756867749663355488635155484493909863433116289899340567100525543674690413271781548296562122041835889338489347898495,909826133193305428354040892097814170592093803328617206664628704970635319270239099631697567200030369397616127368568153282807693612092299761170784956409227701480212708597039529340993194976403975705191263654108869843185409700537029580243836511733095793423402861217052574285269973934459408975676059437006684011195345745946176873180578430411050782853341568502256755165491232103070538860447878133253326813530044340471839973750203123302970950123640600569487138302698675560975891469186151193468756490793480726358156595213213716723041166191702762113876714665945800474478168195033448716735927868391285604177166332708943581814474447698511923064908962829402721694996194653927345854374202792403737572483210995023742813072293912599694650722013602345034403248793964815999735297204638689773167963943166669192415332522174481876758413579253232663280669430194658258452003358719176375632287244096352059053236906391275887213606127297055292219376229739459725402828461384095246841466106294847998409250830453519727510497010607413992994230731567609523824060546610859920428391681532481522876475586334237951675217962109335279430336878662313508406406718010947535864409382976865392548443147635382688090347811079954630566630355250989995804058883788283133413097306752061215966009335120841480502685780821889645764895019082877338775909093264439513430822191715981963832091580569455276805262555761274171019969805713546884188720667675109506595685283710510286166945485769293841143672599981981119487958605198306096024639630034490897380918650157527713269696703911162354260244331854371436023304954096119981394327519648378868832643615951237342819149536009049471307852792753124033506291692489780857401683718543115163603048580470050532548905262819821978376269160671235741243832894742690419736971790313994474507865300549845528483440313035970279259920632364840095834886741549324276796422601051827456160106294770286718837961164997840560632722231899809623489863802292782202010117262834478127259488850023278099304360235984509390531287222707795698208994096449028232590483503027253655546359413902551728200825731531754255439396923248178762614709247258768068585074287763758413629767652905603058566661351259667173887501720455108388808036689861853158490180827448610489031970305867946789459002584660052127462417496104300450077460376998002961579547274393146329168222472897953519814589596575886338645229052873025934331761722737152655955061988142995603926264144147404898426227629897434222933644165378185521722271583472104528353596297151357561580826652602161682481410541621123572929400074809675299385364419940712398543261272379205965595749119820778241890998267764319761173752042765406262387460752444462835506032617690078914417895521696640746348324760725627553401911660293039737940188883195530683221619211570355900423079241371433516914728943694052263746386558146048045217964922390552480429116125683594454292379368538469401109496682256364854335859505497048212547793327329087757208121120667058346257820584313314754567483752226078032854533894257281206661495303333956736369495272895870712560262666371679980908063739077210257118902682745135092467258051792505741090922314769997886107620403495627074892463355643554460349077800173305895936508419431441069321481332334512182141017770549019562818026680856100415875976707381800396940792055699130263482176283912615553796257979653494055483825961977674948545983488402893266932420742984964688520970754530760023905114718838692302166168051168012308076585932425488749367806641002106104158199800301073589284403599773043287940692353943705296958790585220352344371102557000162900509818257089491653628336495664004037910918609732438611014759116357685522628620647833565785233817775717376727471582879674227737503014414009658000270010168037709514618225821631494461291458280550044079450346744829055309879746056816278448355200313921865739466085488252950500300972149251775726623776390974549048695308412238020442764830468819621702074628314939645791102523398100334002158816838442023135554634705908835815159830756676285909212811435871479337034562485567325231001823590233321440732872766820324749844306176835549442382619654042900918708441567560861001383033603676514789962597077367901204388997771983189929083261075425521372149168188591958161162224414100005966973885635892466198197114146360519895808047147812104145579105631535840124293800942652325119247350521563618723676930115231138467271451503649439954489567142413144303140738212016189907074403516349898726620250795246269919343624588646331203370592885449703406496211016681533551263274449440476311153648489355715992940464111766157292936115503664262810368187299105297930028812108566211971638084477874746970194929006048566464311114159703984698795824442131557950436854960219040696301994930019485847407983518057653260538479051801953807417973864159423795615099943446483220774905275635576160299885514103837589913709117268123316843271901461683187915763979950308303456064455974104813740281286625574342937173107652324223438491112983687600616762236818044424400211985774016812542349404124828302861692774797302585802219071630067549483364450014274597906513593604417169457884244887501287846633249065942750096352986670483705681737553656954275238930166558754463998623571920701717934653737773866858791739982471172347096126326892364833776040752735043889644515153662499460874001879510003966419301703013558724806816327089318075391009264293210010358731314439344290303503335562388646605022767034549953333097534232489999815429114556928924592718920902656121153266197596765578226264810326702732295786674805699603713553019271849315165903255165794267955284877247372431367992870179034793625339741435503893949673532068792723142380431710244308301069427217983906463257758748383110389687271281103820639206195937270181161667568234342184086945609654845744817338522865712771667569289938917072306955447673875473769227716125885871725329426626160808522548381864708151848143108631509105078066095237859400537743104771670381828673111112965877486028747772748002011659592988020353363562276432556851699334070001570027847440821205782906241975877122582649918178895420793270214549294590046737660503284131702475251120722282024774356971232286583677909690054096949590183494290288929655709990066318638595117823019265088440523568674529418266464220066568778733110311179067813187145009289201624566426390149495051112052762629558306964591010243917929470181248867401866059928511442384845737278923981046223578234936453336538856081151656801936581787062262281143612558927783631768325131431130430442462560129718281025942533394222369018986320099128589951086069561628683243557538934620277665787778590409420045402640148321104224890325459514631107148750993891469706052796302728859223525747766904621678024333505072129873997644537986257938550307413762085067394210782265136036929160546547655594263988976835121455930778641653450941519729751629407406624153023047616461725387906827575122688804932714614065401530746840895454611084359516361628586666515706416346636933514361509835228931822724685379592020814114341318858084461428561459694213837885735063246116716853713232143754691399143196547343373570033692909141889210035450756519966148272203123951426350308857153072427781952611769709496108760551184395038268185154649955259197902373963445594076738690260872064858590260051358702643522881710610999152888971573739128579069884065936044926814166471571957278089617078669366292468814553716056165079079373115207881465210051228473999239390713561419122359399001067422443802591496108679345145038952317164239525959534431419199197781305311146860579611782131076629522768050083366758898828569345040012620256648485894522285853006259375497755192861606330952484480920982485593947340542954534931466186632334823659841473510969653006261648057124224896375357616254196641272241029157106572363079123829070628436782335422694933156003209937886803227273167461883735062480342470076871975960229579509734298913338033219414433653936127423500632552683181904873664969238641416657944386212541932097529007672674534539068357860757715287039081867282931798465652243976596672579780070456857537922603046747988901305463446284110998302029615499825526788235730252059903200704073253858215154609598997068416529940822320648562838301973653493508751873651893664898193003062145863526474415586463243160400536306871450585909992135067602344023412283390139236404977452151315844036828666423006489422468080893583415791072920899573652503096602353629231740738696870172229627404872552874100928815046422648245985121389105372500230053162201416769370703167428812744119875153534869837127837767608212347761039909757155160224393274883575378534355505709134356764968314087816793151472620119902985887009481156310515502231435329467824707309767015489810218766314246799872673029524882538384197360208454388562854468947680929530274680289623300642255281152003791339143757998817414908959217699823893033384473894255205394986562207923141528411250057513948961931703099803247875323079073982916693276531050930771689246837170474494648833728795836769318823316573033766048096321520292941569403241172453640609388092715430352695141847865594103083860712301129703980856280084254596560831252079155675289029978863284945321611969319550505359373611418011782672863711191583201631822899660399367044075726252725194491707356934323129613616039295602710460405108510130868788223220945604361795575594945083169110805570396252147787549751253130222644206688688623506912557747665734713012311490663888038851931818006312889015370766836560890232891666995045486792709553561703161522757962369269669483663334274889551257241889333079406061275917204440893881267704900614052126398959683146973783930228945479366867014843309975086085087461921854169177258590406753103695252726487242524887605053673556016450388848075129555601430480901854539827601393358031651563821805065166305438272071430265970310081765547756656825928131242532842056661341249096905384786911625975407742715406133319656585505272654540274275132169558897487633778354942373519202092364603361744633741717251631919322049426681764644954543977966674649515164633464985984378450400745402616072902597302896586835585355329909456213804802611101135590374910833047265131042664324491343688476411622234662775981776072998913394415305891037408088800917235311400337345648321155035329529896665180679644956595358075197751845432094699034820789479531947238474989846351371230234932352463020335019682343594877598413860238530268205678433980648088959400637611324008067806622260980969301117506478222542155738807663540986381935384987168093034363805950488100342298566282790707594960876116358427916001383205672260102921448234664496947848649198342501567534244159876620093391914487664902011801242475438892180456411659368344579523506882114556972299854417184043016667201190409211262162420940421967588589435189678589922798555789585067411992902954428082365182866802924219795641726971770796223892488512536044465916265025307665808935881070999844617374040056962137705063013021885025762182156251842294527855746443722886425239151731531154227955454979283936565454439489857971225587584474496300281598842307450951866373253359979446194031199367689141452530678493661037801471313622019714024445146171210182783989961620428799180140255934344085927413216225370738246303548736798653663166644861529229214011379970302270276667111376623412398817648611460697683068819382163565908440117746913699182515657643958195570745520657658534311718236698371140333627902861457157897691192819683473559251671553747128434274334251952706656864314700332124072536112084605939072918300397443537303412735646603426336336737201547302526206498360620907732682274971486223743836467826102521360408933032452113037557633680932182632084546082302549117694257195721247956609311560425161616596437272723044964019946330425483448805645739299366257508071204879598446376760425041858695891932783878605271468681492817810311408983341828216493248536912505036034775434713957754056438938916482272238935710397009982135546799492354990059111737202993472669960833832805412778010364342280969429564033774714380731843336550263782398522806608873552983056300657073519384139145821133187217501628535858601431445161758628710396203376194026196430515239352147827035377730632160883093211449976947769518705305399459786103412039511788693324891271818345521763814677086602080214606131759659055556083983275419920746785165989885495523457384574879523618565514543132276009509836706621381881216272766282635698196814498421184660873089507955307724599168477372974707038568894955173592188264386451040356152756922776965338022579334667133100377247810758610257571504433045824181650439770704947079157094800021913912146646950514279068833596761735962129435047822505676499115561092479426318626823816697727325879882649501254941070161956457459680412141718330497042401955290056957839550791141976724494278752029854317623098072900511685100795128713699387528744238335599412987070115221943593579192999975050818589671678142999610285276147807583795858390310964453273315783547464619007217737150736563437916671138145952497283338900135767852505185906601467067023277073649656907577544117134697416028400278049135691306337053773543187408964589819598078347477202119987660830979386665765482870720148478527946127897220006658013995592254133129117424803907858320821297437987596680741062148461420219379784413631448395984482691550052341209783173547140670754631658846555549418068663097918692435597281487132095137540419854295361211045207666622184721571531802006552379716511853630695868671567305739068898614599934130520548604540033147821681781911878612327218082549423267784081773536236222830297715419918664351082572030220604303255823956015418121755756077054662225986408070502670277757970792695511590513485739255005690920578972639338191758192019284372141604110627997206196763427577625797854028695393623443580322751334510437632789023949784605466949780031529223015132359932295559533909763437107572530034674790102309033332358516163510803306339557948090121089604319909017917540627737818836920645962390945843137282359946796478943647476460466495965261869778364935197645752619243452566393358613498697824853773301958946601363590007312059379912885171843781851915779032153233017300671119160683501894483232831133734863942953118442339845820406177386597425348433546744225353381478859282412777280449858872187755449736986016572901231923884973803974634667011348401839631629604832930368459684566927595969922898937297781122658229988463366272055242635082306002394092342913441767833334245625598516258906817225191935468555619530866345656119602534600507545268552875425302328604333406349138348264092254827306514848262490394303220237242576310705712164778505949845294018292875098447479763265796546099201739427777381801016710319729447273778872057450153745157054350131769077577775669562819533474508594943541479613865391920685736308949516763365324763819851745631438838850389681325929417167572342882938429164848929733591461853000765564247855506129585252441673162320983827698094333195315986055669649155194861775207984326310376172529521145302774083338076947465995912633408105061225096682971895506812344772639053468107713029685675050938565666217445759414997685071644228304814492557384240567517943652765725276365766434891455196442733590903154759124721330183308544052461521761212355504622607321808523971998203742608889221644111904117298727679385121514177047206621011987929570021407304808536350866445671964248428021359170283174238773890878853825539800208109708749775423761017204170967571480485994532250192577340050075429217020461227743232945201119110729242288181817632546640649350346691621021116848362349377934449102722417681160186377185592632334594954606512899056248535022899499834349080708333411013713807140101907614765350631230476533958056656777706138514143492382504042991845711057090665731192010586060348394432705657057812316397355668816262035926829346622602315676230890430520096131855600362631079449408723985937742185125146277654211242301151864469075702228147680847959923851792242074020539542651345376785480520389339517246399804436944760038386931483912482470025571780180571138831897304104765977117227791955547540835000423797368146651570264137737711964949396404169552541033067644017467120709959016013418777875602825869216018805184803271471064290596306237775533342058201422138343407871271974044283505027542836553948405055723063213907332389502946925589610013615691282973633890410656018225400572479290599836082247469301151961932228854582425789436211683689240824394845762257101972537599148751355507360965747184932211898538295134510464597150392454944163496217324484556402400555815890708179733796112690370008303158434072699513929003322585901037093139494503661418354041539524543189004011374722218456041203094287373259967780333393753478775361925659586070537981641528638833211779981960925198650353730599659532492683739201252079050638297931580902516229715956691377399598902597007265894687686438073208863228888648835068002002018501680776779369458943800440233584250893135377846115936809700954701843823881229486251240904999192667947339172238463214989031883886645437124481983338481818856309256488705799516378582891847616868219661331337440284811643830348768332497006919226565164342706532291742258720194945535743849669125477623655968842027851657169606219626140088267825792171768123567561147597675487416294054803487275385740157272813519119644358068510204480797021408928573122543360283548122791498898237395464336157002020041825977156728139854954222010631368564265587611367974053572629437403433584390179018648336186543643511472169733959033089759170005785460661869329296997399009182105818818229355800112155790976426151655327793249228768931082853054221860007985210698155705395172113548623350822001570516046108285735202343365007650964442534294614844793678333985490693567649850729782022552905388841409536559429901303235803895947381660769009759787273593984394904056417888842627905659674204315365851155000210188369472132777645945189231885426978255113824024190303484183190723852675598584767967196982410972064862222183107910426747652611738674982962761632959094189637826745287634192854926470818289366256197515055201223211236862991113213361488283053052352261176646345169742484902375287049843809127157149923819088793024577552316057180772871232920373729121003467045463551849106980511128616022748530602498398708156269002827926805111984531539831383589835292943902814331539958932596206558221015829142261144273485696377299050399875095941954577665296090370236548581084969279441451505642566643298560951634224294131007975958336522101886753380399703296484328680163455579593772879891694337371688284894731431356798494873223760907375877640403905490345972160617972854938416261109198185966084368360102691237060879669071412658705410123417150490248751537601078115702720736375999327423540290186065540047191390657623440961147523297262742985546090005953854895060734494687197283885623439563749698266745191478798477243751220663207116017569975630083085858112960125137526157342710096114253153149176548376820180023605680015724449958717952178625219271397808017596030352804745804125637445964260100141474375618775832308321603336762613935668009653430701826606998066640386148949432977000235286527228132198873084680517716197888342678987787900391080590421951033666158323754099621763279234672335981095236183240008801295224338271530314548177281946996556559273326023095710005218483800901460397171383807896350203358550745905481730345304167846126645319495862633812019617008592363401505425523455140001911305595529672087835198787115206875412137484567878130414030192899825715840193029150774544812212922522066652658306745994668852566551817346736377141650685182226844075929937219966815068016040043632370122226569523035966325520034831239824721087626578572241789665802555385713242509709054361087038652472716359281208682592140930801697159675942456117903866546312522999874125599221156984121533989365709068589515640011265128819019243979943363896923922587807141121325285062062872262819354176403432002892531954899414286984336697950113222979707577013350922502518651032840437661296662404974287457687760842122559457663141397552359713110490129679481791258104051511527919543932362268698845803610890924705631084717745518246796618069053283659281431690870132924695962830800372875035522049628014077672680003315458019443426977714461722485882734763400036809026693374989730762913169119899937658600608247212858494521837477360551615191180959447775100841621471912324856325573799758169840130701405889982141308023784295933199871947047081436679274418927585531586415496265587280234066731804648168005792119155860215333985287028635815732607788168685539428124519099791725439584045153300118511063373256522030194893253250064007103714358990078935128734384774467489058869080640566216916534888923823527738981595490639614684043944680431885362416901532002589151136153717907783270146179760637754536906771341243111737353148347816557446972234720423944796997666933797672372304619938383680060750475675681454531476066112876124082108635362907670402976540134380284611353348689048517305244219318270731980499900477060802911653425399412272314283913787958708632742300196430054680889373281405198065120053181566687085695401034004572330574071764900291615673536111798342962484262187109622320232258380027591828350371573885667591203259267748653843969894233368634518566251026340319036842389123759959070161702177099554540031865290520937614822902064133498803587890006665820671604889479951267118738303576859060247095795502823989417342412036143421878227692475821171148327043495194923183070542789032924378100935704342716906937646079330694256636441638196077279657901662176242977776565424006040515099838942190929033473656436385980800177148191476225450150589688355941012422286614804662941990841942753203623393710138240408364931246700128853023440547881536906415974392618495145227115630893234674883243392772743809321095918678871084522392735525485224147276001764875513467847636827063442991431783898926779839957761110398832232170300854395162615970695345370458341142740794682174039212589596889776135381846348568846360978320518162186887073924277054230859958181685139032934856019305400642117908533404255128505621384297969496260396628894811371909373555736347488256790971142205482443947542900040274471878433425866005913282641705937441075866924823259122330196445871179885514907408475250757829943956569534995204022247103922340995090252623029205344863448683162482797097982055193186825605541654085833869121731095297893914613747402407457044534303857298754811529761166495309896600496748973284680336163726237222277026399126885805443237623689494181165839297982567523766743000228643663606806165762705268942963284163296424855305903412021908065320479612051260289323033896731955190189227122190938425919928962849869399492448801449870149900732127913714134590542096118907952684011556436932128651834744022416540867544235740140338611059420174250338869589492608854366903052083304861680521970193458024226109304154008222012252152588008347625984269882692698063056320912083341251174250093596469338017044645686290627835592206536598892366025894341990923157736089421142402187702953774906082121248924502120247435556343388840140529704058717602762630067739039243634536353070578955340765407885382216966524249624872821397140863420365877641013718807184462879010459792777741250542863153307538335005746832431511231310826594538805647857436064217500036634556578139809566779616382251984633454545512555691593018376158558486549749295679994417201491103042548050719590568665511368957374717431134437834510152864806168592737508203071882152721837444801533354526429477618015708661632346781871551602753160722848078261519797937798858499317935549847476328001954679039440338688237544492195850801534928194804701986770739614712130806791300181808054222142463096696246974947846372830340786933963482573160504232449053922163649091746033822316372020075797344429189465453794654662288425658816954694741977285005471885281525737946323441736550597216043004573256849391917142820363063369911895000685195404512638952122021868701287593247457882961753733729259201499400242746447377051423866308362514694079569803927434948047642314522306010695194456219340554877686490513972211844787244793094824220672618353205213500435360491011242904332084526223013978845508648860200940279445804125228462448806184208095366648996002211797514412175233857626138160352365219913746225358917854981397676474822513638803812750258777879734324316329450400157720063751669744881555678669511067735926897050503571116202016974704380356867383789307015595118109431483718349303596840111229248405060797691523677755247912600066493884727650880680564536981502863504029733819392440678219687292493618303353231609400934450946040657919511001470690458235274729872456836901217285882718963099891134226936445954828624628004436816879199322575661229282524119095171803639761691134311784981567671516992544707127962941147022760619406451216,549241766630445549385358028061138268671995208176680050062502891783437123006473610837215658216358467891075704163563096102457859232303621580707794693106055130234113983224425062070277143367977507976676875627613111669432065042898222131504710963383085759773887327348783720959638454285300337656736817348442833980397719382762438641500102210458156494482594907679014942546026122014375450953975759200304868670146696878869443172918032870519453335835932166080058438170468495378760522257194794396421223501465971224609703830454527498382864449440270120706021087949999063923388574250185483017645830447811301769154488388275014201924573816493124515923192646616201640229404952787910793763109975010603280939707905457648205405063605871284022463942739627180002806942494530466341074287732552683227827862368692318017745271309381290077538578140293847791851211640015747016794972073582641905407457426863351720254783775987038825415277274777761387735159113080983505955420379373568205316785265208205547832289222204049729654002423819068857068542824981895686184845541663645688127167196734579503539894679828700215158754746972793774149372034066425186043006156803479470669488260160819756021983361843551265691791150772370084660734561606768134658755730538486919806146639120369026717863340602631764833122897302940107746001269225602201490987459932985291520089100412711451168197032635624148983510352876791396891388116437932799271379140792554295438307295896423997830002408972053377148653944896878908110429919846949415209965116637817765160390630293986317392312421822804618935153617151696171920466666371511743790768842297168194057122844893642201353984265744574003071240990501329560116002491598915561418717773709247379428614840280515788474375994299154546541829486061225826031099285864348506325222762061681418184141262796723930997356503848890033373326093066274485097359058809255896081581723425699300980302843989419118878710239042867143169001458173460568819938315223494790003009454535691705761004500896180072180400412675777561111426871190322333209144767671675015675839684783089521106843281207624843037713135118464132217865522415781758280535884018366607848759763311424677092753080725157478289371387666711745986149316736731787077018607545220354677990218947286028415728527669519357398628817083237639267269632711681719891627920745633631622808599867432519755470857393184526832624343218336960891919876019117347644055731960321491652996336469714744367910164340496276489521598358518217918525630797879723182943077589409894964239687524908578607540609755043349641563326127615691771902264541989422620019603248395129635322563872008587291913384016565587134748991252289720907379648243183653956722955985590448335306090412669130873680181133622973980436244205266000207107325451589588078941208967856836366253617335295564524076503678890107846830902301757534816172250529577076375046243733193308837159325179552370576241084146162650570087287214933625120560941183728746451646732231416711875070307824318892831743333043148286253698937190086243484911210405747599330715793021328911643543764852728985485374316183490523977972685774078768210645535907646805369932859375374559204948776952494786046656353889713668003749473995587038878916577879288841862693358607515952867245326026466030288154738664226899950074481254422304498204389728891152956548165509329041744714502802231821762483402785291680580676571892038189022948049928791744872492651486775624137519059223680143054117204424620806037623712882617382417595668061946325128779239687725236295692176513659089753377465207858443501536600786704969656679643684012168184262387766287032943068381469253122121616289090394815756554829946286280909168923116186099353029818006170566630917277034688384089496770142271668310039117575249459288406022720383862338661774388678992626366742961015922794092580674228305695522406081772426576611698976118583896655968976463071828693862256321574616961513514135547027637919133787529245791178474596676265102899822712530316074352667171843978169314187127092679700552294832726643274867954395782093287356629314208133917713735352638717901557757099887532208384534828519788441052238805893297942019552038178896659007750433905029685159207906498533192572940862843884454182894065759786675384447673102053169408554750383474848733583541143990342259195263664422220819570400997916142165873524456250314591824410097835516662681059778701243980669140879677527108086802565462549637185573187554895109413833688645352235071685549541279464990072809889093271710332956899284465157794586932864127936040529075247912986455014431427763495076132384814791727902158409225020839426163409039246719601158859170223581888419016229778054720286631993982409343762167054013739819706666842968217935969122394128439889525765163055085892080214700747525001754350624799163596029712318530767334086861854105363399357476783739593628073269392866429673058707433057583108957714085282616568746969317940623174364587984233504315362361810602876175109894912848716328382438391128667208909202319693858234388697136599291892904640512466102173342392466910165497111347654953963749350685928741534387773771150671576764193517164859588741196856527938615415337006105765313476001191994257509138783227804425035332469184263006944054239002562606399277007028575135387506888498222429099209083632944788277520759425666938751123118360270352360259345382102408130885815131853158630811142856844221118791673844038852619815596134977999943680029310490966911818958602099632876012497688049424604113535701434378313970443796503366247618170766639006208176406643486480773988405256039108344847479859572597096435839146050258465960001610353355123140862474453555931523462510412639473420869235029655645824567836581036089764348525445563774624465549618499456098206027176779544292164373783268793642634355399785100289771258736549800316348070120315053706381440327448848888546659356938932685178884212560824395147216807670854957082276519899492883671582103716501354851117160270390742757682585097199141492047405707679221523516602424522030377927212439787348737114816506278160155481411220481858409599723516898760318572878724667179688842109365543412636942581841809934938210158495794630349453405225645763377511046473689017396237148863494454545363856164333872938863132239976513560756007596485496191487059400303015140551803873184538779510548517947040875323857472057003731127087869138530143535654902332584375748311735572061203244293454403321153829076282120001262145271081599538911359931592793168274419440559154824704145762150078839154252977561199793067573252732604452652612522576365222840771742097322412225286333585189052741813943986220065926395863501977503588688109379077619030234767723157595964152313710599831409725547116310306569327986018456489639258645007998610404617967083362359813193745235159700393172805889300421951658193464779339446918026408622715378406428130583900273455445869688935850957629245753009319715026323280872924483726348729789091329113785315805444179539534544883144868961094742678568969372407812713812393806437171137186247048089641055882511884655777503229776130777014379331822483454509340905811726942211053594504708670248249635734705640331589182071601042140304792288137823798049597436079352730129764584204908074751686573674524723420096382757320819677121125457572980060275740873323625955517262172863722262529509426725544723851064149835198049159478137573096094420191865513212372822427996499599266300698604908725433355317447140836097889139656210677871882082608067956340290031647222837003183856515554641139759138135783581011953620732396827088867592913360689518830401973630300257996517370054282362827965807925109773848554859234659061664113793761309866929415763354594220330061701820720026851024099584944136766911495702166899318665674865488499295626831617225088737138197287524862613313879200684578356395040279742518059428459829222400333852801979096964818301075117937520524904426675198382646809749702344418646987885621518539820565850524114461363392595100008381942579088909003223833776967904918929671782144966356985669077431003148437317489186235852341893793372976296775087080767636614728890313137724987576167685960725219656565099206724723869550247853332641007014238901142990348963653957238796694244530445415510284756339621880602685798186378786173140053605849829734801591023217633503869040276155956321810750249856753925972538821034817033248131013181712836809402746523359238122889356055083025514038570306268758335017599488894905866968518706155822067481650019108972585248422831190154426437034641796112920348638613151781350602621993771853703837579383146161314783417433332453886940860926802072710638945621369242547690301854598326949270368635942602729535800248489524988153854170376073459536413152361870738371970312542306768722244623225146598942724611869188481063428209811651530857424398978496349614186308629551285806551033730461319927046046386003263530599441260212556682386664647076150287471849285672906270204277750319250472252608189626903733926700444462174787099451659340293562699232161589101807617984346926739032345765928573198374495223305303169477349477088278080787905678727523092645908572741298643536099748471155412006386832675948214317165155941776579828216013266843336011797052921636147904404338121837148640123919124792586200554848986459623419515523497640082190174511550968933098081438321779432915593968456282701109420130989650753629977532591703840062841337201002677298993240216720062367869745438201668615523716812244303267389519026166696945240052793005538151128484735750819214134892121981146411071158689703594571200946649105998597605353086142428158749081319246891204764835692388162940367751322340872189756683963376686665545049705571805439698452055853278214650313449258158343260741475617672789497348395005915266884078238085631874212616006814702435865801987432418640374304791421593142420674029420570454786239323624464040415193110951733791165568488718296760836276347675777688651453366288366833994644076171647031556597189307111970339530746480118327406755286968943477136261167479110825153716176730519194386831198615182748974220972794266862891713312482293122702659692888307435928541605677473515250799775621289634283213625357056718417678331040285408801372136804999313910721770869406102007915613604413274060800715096771922570110523680627435925437274597721185795660137109014565331143556476826250390213825585176813299811665355217691709800412722535708020729777368138655357003883997725602016643455171206898132709220446954483166839337060076093598231754765313312829616572431856088849377751029968639911802185240110896717819567135999675036466278042788976481591619112132653877032214654257316288216992775496944249778157147388632478788821159523337181847554397226109767105696486254904494984301245528083210321114150134612392111916052771229736158607770645397533966010970316005075927702835595379558530683704043496066230671453310143520248678465065179199192740362408441231773048303025059042285102345278174513750922738273494236546349325223289207515983400148916545665835297161931600841787688652867647088988173670949033582142045522819293120352971048767242174947101266581937990234635018885875798050121082277858509106085052599771650845027690520280605596269547278127200903186113323258942300530722520625279591242734127640072279525858719200434339881477880873034711661666319093377636493160223972353459806846607241728762882169922090894310174747394673651666441862003655596079429210599965675613902436362654447556801919602425151932633833497873716012195382873782373616000029646762688874244309506130956759332141646995150093608602368122992653130698428085068537652783568565814866881066280239042977081641505886149685352849614946784160790298157468777259848084594837411832973135906361455026193553645150679608659168742280678974726100199392132413138523882029359747884214664765309399659291575828892483678644413045902395976552381002857547588396540618967759382938467898462498431907810655413239141171710407896607789682112066149725576578013060413911421848176865328514823022642458263352720759664199124795584200789892285183616690766930798151868097219547296491540421778910528103981534429025314610166085549573438928957347582396409758942545961768418782532704906112961603788744000862440941738679970235227275045256123229329173656776843639870552501766994135526895922888954451692288708358011235608432612444393490281084888635427387595206412394792939227878881040044171040495831245121632303472639814217806765843092146375160250605380433361102965629711235236328017508618685033061131025565713519261563190597189838583247213840301862329167856862423514875995421526414132161027294027806896829264415464377526352252746035794805793682563830672738668216320412211315369051849494803764589692373536632388078921288627990466005943329839256328714044686928786595632974461518767434211194835958985897821063220478051372676501174603716858513139573645218736045100371704754869880912161495383076112271107705418795173100587588154450010389150054165350076502833584692689206410833452137369582768578730127392313348234421541044664126285328845389433767504046987925749157615829582222181881674772434975358339671634926170227264075691249386718092824247580955691498309040522713777493591077461689658382301816694025950263970927838168373548671196283950706063134993383622266407969092470402359880087008653217395851188546980566038587544307926675014178496820519662301763979315462009542282920949252128634533304167291633181902678158255041302086200377145531865695540785622722692624312123781237476924974678358899379178937369334494506659416476465173613640159937556114446395876028493042711770858284642033855396671238175437744223578589020037768814625319943426560245612200041706521848531373206566563738731491539441439586018333863347547504914685533145192982590237746436997751172751096921517027377886746872373518314002452086051383030734771072657749589889447095309586301332306816789287024261946356182233960832344920206432678390886568610055370918166988866625325414870181094885345284646588479725899238986676252548486816368373304591631769953501211488061008005714569238835757622904197389473787307120679522830093491223807069704605093683273916086227286895874054771751103189911527583200379471533892112673336723305212259662112650065011395065458948549946004437945635342315439743763166666958748292881737416958749264654199298984070615512475994260338274635266008420741282881059680923363310381167140208297620450192987845070519163410866723323198343139365342521772335475635780216925695818000901882814268629963780511763253077895001644731204892036211918900705842673520408523942490381692544088876286025247273288575264517310661986528754173399949118264261949355929401910280533539486615127551149016200038056419538381522658881266576203190343309543955887739812058211437628188573240760693502268280069942998473758249738052681888480931475947196940164596538612174209393398998607640301601235938319210450699071497391056065922528320679821344539232526662837563573902559900164636426633419520973663534879336251189411532820540673662826431774608496198022435259489831556204544007464467248032699645636766092584647061254415550789297827533577878869293200946252290578240903450251848432712588985012079567513774857631947441743340693509294509255768072459008937648616972064336061336281841315772297340932929760839705240593926612329432820450487839910359385005248219203138912218925792279819561559734002272505262859823980460634430647485169250443119167574486389894547012994035274397632726022104475583007426507956416679457884372593245886791824908666707202210162319499574295224996144651763425781328854708943408110535926055091721151822417230794475633631788629538728818024506960863461422858113731120272169439447842104363253065253175733387148736124591317368884419443372490008266166544691508887512702284150006931660287750715844223733011247815760137753473754600813127347997489148497631840833283051037816965659985756280314141656309516854671143872232765196278401119554496089074091817444892373989439463109144813503392951816419608298517500287329904380799739892462885719487261564721896171765796329549216583140305121996082465081636523413100141879600535510471012412328056484530896056457920026739874751584440008873459222988199355864832246276605460269146351571120982398874000103261950763124626131401078990172899122666811380003892943064706159889738656304436528865776934281479119571103208494975784407094116521734718410140006022190613517537734210936981954163314597043810534164521892758871279826245311041742319472989687672036299881257238693933663802664273798512334661506183550475283347649099299966124893539286067969925454037355955068494669869800865299806885275275030605644353163095705214557185224065927313620321872296210413258554194745434760098380344408156168790729439014720944797429241143354353416808824272894956776157093758209255498330938799333564814960280432198026592828148171243080612595616985338932341566899149630059191540888849177872114377149467019009678808778857122005887310362050284357672754733376048848104167422833214489705475851362178069231911140629109571776711007002256760837628386168885072223218815616538375432677001821387501784322175071423617919885128806733324590249717105926307495592597678583829177398800548417152128291267582855408851308005751487932189700915244056958759884888164410119356816173458923915337247477767599202889418069075496583864947002446017978133580151269110638786277019742824615527407612946017782926953899664343535228595918802664920471947047323757384539596063825853417962935495738022154623713821656187922740857556200098526412203341967740730114497964148894007909606056284702902575865882688925118326674741872014710532527878970536998541177296297753786155211808406958567765365999622632132565501081770259256154378453261722490832382046645323179670109205965473371480804550750419952999792378013271891553248627432400113448598099986974361883751916955330289379808187242145858619864705416818875496547141657630532781770787274730156362927337538910823849606997771468408625137032275437096315492903070938512158580421811568578259372053355038512929972596618932621792850469398756790043832315475399351054944862993093879746926611136274698342942958915402959465570983215352125420834753684442331525384727458752122366683767233296153292664181434248071430310072917268996992717262796804244559785062709319113473076240748658560918444556043233865667987574319190740745883247378373461860621137265997382046391801764802590626588649806483251170206616948091527835129602533512520799637011187811390500190773343943369015012749945653916543232613840203491705241991825811976198029413245433166223631379885985442303164790089133665430416013667607105041729095745783751706604865317627076556332662751226483084244742727998806519311830825336399536654694070080210016236186046155203503009741074920767013124727658001189915138671260062087471666552099205724211163927164403916247636960077294863594833926138525990532111309016737166781044427120362331771829030895361589450268883372111029967735934462909746232518468361734135786192294622590417189590782509094019612659030260579876524334224644454158712431447416085077231319211652934931073383062151552063943539940676677677054839494043237409335835003088033835580286855653783348903858333036032084278231960664089490051196769978855624244765790812179870445204174261140968272138181189116535408708163123147308270845389252487866640677574616825268194151521065157374113925216266280997454440683181333690779249833410776682289077526399161324220639492758844253177847208601384308115577587359929651812821800505780000424945241554823764031115934841820973995527277742172710169375823283453483280082566489920751636018234779635045879116024726233856163958635536594834941717956484509508616573267390442307671639754857998533720666317872756840480723181142438274692352232236804553198754337930322278810098685615948410036716840331779136301952457214068969601181888957207360434225437816246819918286699298368266225235833717734686977505792672933328541464284976372144732725719404067592866615235163208079617549131041529533964203337466586253689459670791628555444729018017421846467019982203831594163790577208050974784922856570241039379446215652045589958643482383269540912125724043591435069459866901489584649672839421499521919769589626134885517931784600394510741213055667157862098544689510580982708074681380731519204445312178677304851307873460351321313788625453591946461730773022281437994216554430707152859102454549835431465668678767187105351736943810968563022528825772470665054269651495968335023493561997613852902636034784259152689590918112391398435227064474977192181881302121651243734680169027269707473464033020465672094296529325878724693297125115534293277384002686860671200563076888616357889783445370854236544694421318257406674413277759842976332178199562454044363433170834291989521747507495934962622170195954589191004469370787782783750235631571626177505338541760825421483090580630694450755017054431422695234475809229416656551373734975579608344952519825677927058004425302417708244641492880566244369961450053081159568612984709856725593829957816161814441776673910452637325098839308918395167307316953256848174128196254030006432856008929558660480852732595726781230307570366794480253989719039957939686699202579356556522414273293710005707397160347312551570051040853490505647653251231888079887426127575652335493529571676473386339684853016141598343562001267255015604371958988603908612313861413489404884255003271942646313791830867102695635446333226485224591853035794966614924793547422720351623407771620802404290663601654692336563599508919176687250074118643472733466151655139784080237304417097370351537528796624644358739683807535559352239817100792973867209580454737198567243715380920311267474013791705485494537250726072847500107333081007580171610449159263578872087597029176648962267243213653202928891990111749773899025482162526790807116123646914557112454462839770442118634978420660224936750407277012307337652837822822463469618312031062298092353163755265740628385560784072056005875249616427590397578976659971889734874961395894730502673195361066592387277683028516658159345481699471142884028409512212295764717217841889141717150078079165928599633918217309536369536707904126753518442440142661038908483378036827541745097633460042668136799179283123175841655996789082618659030995164171813776668590970193705486793598165335316992280469232537700138632363205904006769183012284979033081018420045195227788965218797139003775506082081128077620553050714300461551439894277833381750657050716348091913879106436176260634903755258025115506761682015640118909281060981462996778622124545963970152552154319971229020567708042504638682010851909971015894025312251185673732309320776448909710824176851933535286078918449141136767772447738985796963896816576628486338714628358332404190598219390072515949043808200453067547379661849069402012426477004333680151688263704989604802646389531724684182177257182541525207224891312522437396933801784237669231866937030433036209382542602899148673911150963347878464797208560780320225180159103620857319985250605219159258436922615555885222142405605646192326382055758914812298792933582953086119335881021876684170744804941119496272708920789782678092890869572589050481196625115248699769757744269448126604292713122152718637120333473505565553717046866069577601906647960975821912520678902127084981915711029319974463588019849130889457899319776570007559082143024941876150588534717165060402380595828512972315357781847383987748820742294488642336751052646326104129863875202567879493240519722991833032475551458269842951978525471318651040383514333028414953409910163628641699613747413010000682586238808966162399889632481284779037895316801288248080743955953709335478151380106005850169673113019015952264309429730683885172699512681958112564449050431983800582363025600833930174147977910951542029091058851137907032309356923909995061927185960372425721577394068324408113260219444706437030016081632948868947692867022316170993790591438204222187064472398420057612438497919655587270142981826815971885904519408585864129780005556569415280040215187056063837211897706439065690315578682416971622494798441365832663360015361583045663952747936793864090732061572558575159086295095498863037894081374011413672090536587506717499932448539722929309015132166030806016283689270226401954414199052014082850464671458651527098512703586969008760393304064794784744575910625661908354526263411760745479544991441926773913662613103519032791488048108213864177552762759501681230966379141382557082660809492669796585877282421111485800005389262025451575677997942308131716793233957211850825472774558737240726092679407139346809407864812261877177488204392591715710527335487753889897302092163807080192034389968371582770688397855176693941710570300644856032883505686987134736006825591292210397149864903838594147124871198616168259913080307041043994735446971510478140056257420556449756592635946717721817473492184768226377810886750060923010398401832228999755421102347799),[(-43, -20, 2), (-43, -20, 5), (-43, -20, 6), (43, 20, 2), (43, 20, 5), (43, 20, 6)] }
{25018,25019,25021,(2110809711318024103275947299853352935598617856677183267104872442983057106139134864197396864219454463146077047679311300926879394934555370692963680286729648047494432383118323740407554814576472245071995947641304816956634515847965157005018910642528780241300610864721207740646051874993988331504454672523647677265324213858025544843512250690287260648640182857407952074587096083200625572666046994111375869106531764902859371303864522429121180677210578966378819949338641109635250316870145554053037549799554000023145256866184415570526138625869987633010073467781437066773411198619168016653518756347900983724311255885728123341309928888160541137051226678148440066040722973714798937703445450778542825088101494966465589050338788841479978060337041247884174984593571552549094587378989645203608613121514839379469519474323842041822145239395437492167027724789267391343378608089447250546685333746487455927315251812375954519240717298038326925141913843750331588397848601038401972411002773542376262610803985935851152474750865082330605161988414884886671094121441506811979833991073874400781460841557099354984477069260304073412488297631719988587049717808089964948575922494181520997493650335836373740265375019020343061381862872097514766268364589731732454443608037055849296216458121129533391636896518318038897778511861998872242061274495257270604903115420258027342846244444132328117558426559196795620075335042101516377119473820264705704440153830271697269267466073478260725953123358885386273862232015056694450985608314799868845153312042984281715035071617628266852649177982537362422468836720899704220617518697450998285212302035821546516943304315974680775401402894885797134402370074859575671450550990267679102561287336531063416719247914609497440016428051343424467985953816305343543304188115814055045756041367635037514012720276022651431184890081394073168952187191408246607739398856928708858361244316824519827651679905075790965586439191773268642652906517822513588184349776579210204352619476320444580518238510460869297717338240989681561114288001745289432213439296286995360316542778915773464738532304952383109647419124803641338313811324094486145597332534772010390426511954344294342476985109952887484781373707010209217885480063488115930255272440535620338301262533426827144950682954129400145311013182249245132667643241606391049810671512522630989930160238001703949069625047181197979904248128641032494951760367549314650478375022133275987826965458390790887030493146006237632695539998607407275384284472123554328318054437051663479140386688981348082331519423047093527594749627752663555359001812278963132188904073305902882153364449927073712066734465951124160068762091719779591788597986494965975860186390433557663964855718488123231402319682880650912339648077591113377037358401043800200167153834153135336030514960545356550554702796204147184549833223566361711816394753215496087304710913584878524127171323552062603941179523531859786236963070390519314737622501245199366147050810901638530954936647680142142953680647241565719598655467096584181379801212583027774248953330872177565934387842032209195421103006924184224635262274571498449110062337083347430572476289431281092221448936634427374211183143129051720009612866153588284590368205069031334945981650644292563711672826977143445699341124027146149955263593698815687135569937304525941387788961627244419944349117573989351111315442281382460057171769081436042846904149992889493396267728877466965071856090214111792596129242071328479545718207171136475961764919310000108883011162527849738413074761258334316889184824667322376353813995808016957787010657867175824388806755029666891240467271785052896593142354386405234406361972338866592493955495306145224934786849468170263083600204402435552330072792475580708138676779736902768328869365889893582122030634153790746952441230710401074359299484432448748246012559166842646911451959270340659162571336851716446964306254990403814832508935820391678393538258052444475823946838311862229444978120833712331211572761405516932065163332513109518213976982555624617357081090564599662202571554914288567681713902721030110165176668715753509455475088352245111815629134996436769778396590984450578453468967490145222383377094754402641590999557804261827639985812494227234378383304149906198714751669612510231267144562732031633364178166062216337724738159328821017830360556664025028878911339732512836979307313401510963228011266454002324667017352913905050936186196227876180334543435294242045699240431823234839498245002594408202858460687415304678523118501974965001590037157694314397604174651062841241597097257156326744618189495099046199444025143895601604589593777572858096512671182928661299756487028723895492041610612392164031469548956718358999905822437384593028920416522289805895836430488282429174408970335398049900660989220666581548434103133433124878630883958942231220928036797554437628701280080652781204216285422833162091330567527534327315351066920918786794214423644929674975714406710960711320473270190907071777233724528155958000445450426502580245378970087753345445453761075344960320216452972573243232210663135500347175281615309128676038806952100141184207272360791608191996010659084408615561613388749776801288559738494815647476875660075478644119485776038724687966809365918818763889203731115953837514148617760845534482992989416352025093573956984542580813017127201840981906697064235139919863488285083923203117436202153346952026576550472954452537078548319887305252121758939614561229408919138334680494872095250284945095049335545583325605713311438235854055198207522850826963206178601025147888994823774150485611462180528839271105787274385947361646125446186037212061579209467576749023938986505506242300069377372726014129970840726127602407598138277523620909044717464396388499636201196226755876284774292866692206072186302874513547857435935302140470548973882354244250498111151950508141890166955986889153956718042842151941290192019711121767462136079505953855806545061057176186053008960167774730468902918190211707381260193699304027844920776271645705391157911138760420063228054566279455687949949582698316838340902574497257671565963275183023330814925373378480033661089077492364115243520874932759712650481325953598605431734556292078457242392257652068092135414529000674415206367880330160780030843676737746680622104295343160573339251123655528517765369247905115307756381012739870060602150565838021312230228060865987117009680946474889240575832747771226210923913055314045765428735473681331883959111400031189413181237616133960915220785879661944427548728215784324800068616786207703115719303590821268542775291129025768069948484989553881818297022386350510838377207776110162392353497640225315609263580944885975718473523465739563242827962017797696005226227035699563177260637116405876008535948739430177445888653876362311281620933085291649051485652331779881621806927128913192454832450288538644936039973309187786821417366792804335185616781269331452369045297036662938881765402868116297178381958731725151847308353544537884177937837396737700606647566542824349070315393643740061445861540020534215535450592810852300672130344183245106284187149783354153223805880835491677402866873005174121879727478300259555151565650660435445853851444891527269361047927461637111865088258765163257425934611694474323254499377933037451371605537981240845341346936309699133214228091696647142525116175643384161803235518073391285983963442722938023267364051793833337650173728461917865356839421619878423827759076279128775279227123352412578743975355588108401437874128686500227012904633022352582024123147034558991656573849191461058144432038334424396719830479530641030222555585786250161844049915072566315322934717163061075542551785184438827470837842897461488275080532060876762232825163239606400576722836003251363909035648027831500723480868950544519597357059815214037595562434031511405081326081417725487388306298780290637932978224850417338955144361499173167479058527416542258529674410072396068130099390801057226946138756596835114892918478366752079965262825772396954001162243179016895551739023337427126895212649340903560699897203929295507776431220280961096687116131469615953139825650198532746762402776439534954855483351496440498788224587516553989565084545188530439527477795494235866309359038902987765062474931878157413671261074364685244631104152136563552888660929907394131912423277670224620894776660650992276680757487692714379758180141857709372721624582265538251773080651132037928277851810839268089767396588665567822814724360341291154940362509106531593719437165869803552145855124539139256028171677814018903657059296165212299019510907380737102891664136698858843577812171171903650454885976172376004068172429887224505224801741984739515579749139653306255762505212944386541473777696218623451288808384622555349743280300868098294254341853283230279479569965484458177246505222527030382002660727340615890723430961534675027503062200476171464150072851154399133115939304601957714788700485976174079615313463788413740984875391271974529062443731129988935245279171610292960472941991828381470852218906771150089466704169596994438679135008972261787408595408675768656628879357371655760208499399695939974222743431032809547665888634615418436016387696155759898695708276487651273499621395520273672758102030572491176141078200984094770577540458462877077636522579285180189223178526832072118548738451807746269114803253654432110360400867440503971583812329809075325032063599144258070572344044866274294284608057829512686194533490295888732252337903616350315678609579117133114214666687970586455313886417683304986997002774844283300447107445176067909066367372115604600861002636219882628147212940581902680732012664501853792516290470890757619115066140717841767610955406037949338072850396848903427361043425352933264266951298319052581894107954468287818311453547499669015539980508441450522414194808758290679245130142634272791517920644370424119723509317449081567300648291533398526413048611141971668046422802740076245380772618678996420714805831204251578307007982432745495249043005574065191692225625025585276351186816713357970624999255392836179279522714690958697683388386229132035746169405775351649680243908944202524732587769164524538475703341976004491902012987610142398670904405858831940619839818200043260441443565985962615889220020611027409016488993600289714285497389474273329679682921807257368858893052181565184286838911019978988717046972682904028417012847947150382439276930013087210728564864429558704781946011232162714749129763934218702476862988008934004208333493717934539545088015592869797957914232082218313170003757134794459164326127837205849864713165813924562106973041836707909214092239106224676823834996309969514905089292579748360621959042787410837104640614813153791773781686403254165687428936104635851483698583288046870611462231343090619774012234050900689337978290653945815682408199621235028240520165238243919367512705396032539191223348091882369929168485657751044079105620925246160820464780253204868767922604615378408428707942507352799686840202418969242797169453873501144180991178774050893771652890658166466527575447635902924664968078961541926930814232387491906310836178014890873707015145955999170918863927469082179691033480444924584505509086811861919972751389260030823551262221709768235579328305255691254612482092575414991769010363005051014522053493504479857170806689866257941678382308485252045969601177980690444006956112641452191983084502551794644545935962501864435955065801634877964210433272305758803356497291857948745549168152524053011791348367858800105698019855403938831011259308547901254745422395825738595694448646286416561823096183390565938143145642093997698695235436135499486345115977583948946900361608667577477808207588029548270772613699866664108867611018975991440343528881128286960505899831241692238163112965008543637394382874387864366862000146329114916078452394026174145442191649244625473017896238838622171061031217847907500579329996456439615665457333798083878825464083655841444704661009957706751729008081195747979783089189538107569904054487685323087764650134166415319686296320814255056451727350799139757071483530239375678317483132914071338922598330188856434165044481712962851784841697809210152878699677927120128467667358597446353121300780034419686538536342110688659428539023363758222661000306426839915382004912217951091136724567010006466395261357614598311563399496013750450593190212205148881008749046489307918310514081875436972853332478358295768306179450547783364625213483836985626539152062966596183123930949921310704330281219023325067887595080255342679032164759591417602008907130351498856677937642332369664062839018435965660118535259393108747761738263090924381774551115062560455241602342660927358007393388884668488184605798521306411025363860886402920170767736055935240253611407372627740347444364501564160787372238998370226721950947473334930636688935685811026620921579610289236344088449062010895630752022084715803575557033791320043343333849818773601242575340423243430181292586390575192543402097848951835888494307512518295463604932448572645462247076041304150757244106762802213214205429678703835602639472076409326720849233427309685595170923044781809469676501710025008667350227909175859799975558188686453974850385700090906534121665427458347512662788509328864265982024354988248882681819041844856222441334653290746536652137292455434306015151012394321333501100371702407189805621123761060089076136748952095706808677356327371980088809513841095598007032484540329361371795759225489037225939330091486235354165842506450973277291307949704392461081890853970440256342242034544331359035604983884603272601098792442634352326045395508849261282335033239397659203705132030131029164887593351873476377413349393321793672088282537119955106714629624053729682748728370668623655181961862810454561776870061887376560789996988743546253817907608422786232297071943019272598781679385013681454936676705539626287642134989215313447089199345611363597509097097003123310099718165501929620504986122264796117782140822688236130753635148085229561020434917242057344245980406562775022339324843918655022801827579316297197050395596822603227291366789150491020672738885119720636100788101614860670737471101343595885641979653701954980246762897197682360931529617357554047975000740769638103095930618282338426238569634238466335211075968652465360578666368319050313907892533197357578826735724956677237303527844996463131607468729921509508339713786177818944106194331035910916116788572577151317747982243492399069486016864522244301086331953159321969683953846837155862323562763225191182999551711261688333126462846358407320426305331367744869498666414638134233502102621175949966736057203114926444249762379624558803316236021505372830232354128751696295291651443524652901003444751830191318871512951230770308116722514413044848342572560202112710683975832475336157030109210835034426211047059746053005312541817631498614001522739793071183335375930665262598081578113951865200751118338697315514165015163288401696903667409612971430997986993123538327871691885071613617944617361034438026606450902999163572160101225678950344914794664126685481023860442265770691797467808212852455088567211300823944864627918486265470945167868442688210012082142626901680570499872728813539410287845371896057746953248878867470867524209161728621056682110212021020329598260887108515647658231545304915003471133812903372476759163776670306667722950828100557266776109359800751531519154759899102787830992019561148287428314368398978487689867246735396455825769501862741295363184933809452762389261610924642555584214114388702774837316846163107596052912489342068368444611516011800862464849070503335548962645989882909355726306686556472462024651061490426847978860164092229948317522969397873519508984376639842834276753179575991134897930857629315821095711802877013531963816180640344337059065418545244599901390215641590984853962274085239495304387076186926175963279089150539991268152497073920223562240285342669882806346900998266599077555943700653335961856658250956549161473361618413649558325578734567119751338264743627429832754999103717402780440951479400130133785138612480419949874437974722246769271347576192875714378708841727257887733253449162399936031454685265283428473918126004355226245264225493174357047682505099514383703745855252436784892107612312308587577600733163535401961381617981543939257079988852507240834636487648195672372031898040941641197145626819953802327162953568858984348248508805153770112672894654083040641020757927284886952353693329255271731440970347317399226741467267537441304563307729535792234026833651055064689759670920852066545982321656416882523958284224621394436222305582056522960240298038121533686479590593908265161152068108731425663997131378915679154876051033955007513681008149576943207499195621155770400572295135440595207772080551746404307200169521325773226391883225018577209080314290223402133778280099763767808444675780094422810862221429458940037567475411322698239394898046869775380305286142206880112529767255410532627562203136713059102791508347392571545053500127022028843157745765017069001496733614070382978431401446894267517226547866926547351282032635858056870617353316429189041086686707565859816564138280200272287394046465966404647113142684702652975306296617206526174416248085683306865128349952112678799536058327575202869856898724042060655231105124745599798670624205737691293938935293885100466995993464593883919106777628087352645637436555119632165753537284405839276274738238983890736872662857797186467985616095986371639116647692992689500858147532014357208538473585725511793521415595261117774451950323069236161080335611248744813671102045313188937952113993561537049366947628846442490395409972160287456579851746642284914509338761692566967539369298137232697385921924734855540138029824773713968521791083590994232778460215102452638741119539017999339910930489954065675689587966570339621265639305590297007485891825960378345348070686413364553409899050717375645162563215638977058635667138452562665747833171313570946510098197464352111421144486300107872519535645414294671453639806596203193308289370534646115030153911215125663996116172454968374912621271535910531475497606762915343890187930113762691319041581819691167843781337470246396802025202741211408109983937702187812465405611643805958294383648926641319916571669264873952711160636423121616635890980031825171160022548135814807333554633026327323673409590217158389564819393000315133163355172093012060340967507248997233410350367666491336108488239648856062205377015880403703640413439272335788404939060575434036690708357190726660895178997934444046342983119250431747067808405519587490700645964391102393528585545656915204078262461750224970260775639539535775609403965041377721913867908801180339046592612692994435256356101296692212696364817758138120007579223504543277087937029478900605995046000208753862558908360451354008542265948864632672336856301592868357267985348700107989824916957035930113735504049498398497077902590963509392090265929510441274074704556578847854925852910765770296726560180706170430516594958692441520393657376718949282753592368636903493789629446041440695002780163496830730675734817009944344845258650221252803092341898541690653061600936915846148240817315595787869480187812777389775803307615193978041563352695834162950876400195106462410419196942305204674615107643907217585481778416884546220000408737902466148251933534145917201691362035989965577119250971479011042597478713457346339754584093292972977449043651666064178993737564593245101323718869087726868573179630943931163639020703572403204563458571010536679997989643351427395114855078517478466535166923611407417033033536514407292358243935665224371130474062053765847277625214743707665418346229432230623605494627485075797952701898379457806953470676786111701517680366088401545152896818216312032551409127160983871962900383740140454463920769354857386857371321001910671727514365192981328903490322580947883559282910785733335991881906040939856283262351125502340352830405423368884741753787569689227444595273361288755739517332476637168143272793239830136238039027491670610765833304909056872388442127526864211441999379130173081692553156130244252892839150101203554923162374098793265084733699682659105427434776914095699863057706874545143947764689853828731784848717998201065287411441854279437226252484243921233235081819137919440171262279274911937633295284410690478116726065533285976234921395242456003757871502851139495771557286781175046226687978057067946135993522279202998539323310162063065869134905350611056246846350386434781683730273167430932774908675103616485632318933342872801210744307527153603175060848257606750112796571728485605074732672232438755814248282370029882235337987805693641166925971223091562362561972603070089444484195663984628410131234724939829657526884174944745289575625421961103745977645786542842712369689893699746519190026183444119618097853124118223198823098401321374087449278709089392591498620847347950923227582542812123733928133200032148355982613464028828233002095841056790485604952061312147439090296369713243267723036744854907309680922499937512421909115257068338836978519418045067232744041387890056369007239404412170296593416286342825021158631475928237397989974913278288106106655749301182211443008366442982425077433373701557955838127933131289843935721869006924369813357077241568092545643957572542735377886489628769872055952559057453469194900159389495190130532641372757670350760921363892462192659871659331316486362530979659446756486699206225498683110233243860130996862233150872445782998300142213941403558189924960550924720188051904160749048916483540926949740061041207072961862543388613417885031565359969019220399781203243477291294419233370364484250190077872623737259677337234832252893496643953051572390584150177880452238639200798472870477073449523175759873418929458882741432975230614446710965458790342846584196738537943639783993977894068950891398460902262585415905394641536273348892650168974059263118321453422947508963244901946702531273605452084431063810339752736098159811645680129166828930579973284078106690682715542730238838915137261461175954492167295073214884094936004408488119229075779673510556259313382969949621283287320070762597174979545139878709052003717122877813024765381129834052225558955920539864617933667226228180690009339651086790929502873472656190051331856454651880153523271869746857154256311293800493002974767138419174136417825280614731372500054948307087220307894139869190494881290833178761993299007535319755390195568487669382456288782610304929605488969451734613265603865292151771785233891086750408573043327996416651189375197566596668983999463065670971286426926435244303345733118093325212314174036314799667600973452454427082399770246077627092381488941013235743942070476754604891788326526731658773538667512033657027633850534713248415934193125787474865718337679737986655145226761563999448847626870922039890972169543407900097260640262740785364875339059464411611587233996502513619206600998785268751460956193023401600913626411200533755403053468906467713687521301336987458648814052643585755577645219818039984491570134423412144043770594704514718365337689462000667032142560742310233912892129593721188314823861768279467662186949371001378220496958595865999245247535124299020274364757598505916463418165916460540545084114787548739824607742666560159924677295385287756431359986207760435589253054013792286754823317831857460414638078267230655364749832249533059516276673886622878303107495838048479972818099494627295138293826676784157099495809682306246945925297173947887076732506923625890127811218757986677204619468262724826750754685331543964423731249780912422750497715395828765557206333668695376011001042409966862445147020209487929747113309338606666253213717200608582419529147789341251839615462047401689872949818082126100164832883645136793424203430869968485078085640972760375287303328513620898992953642924781722666675632963133731987882544584213866487409200810590318161452268213464928541992862415089309873631415248747045763119590072852329680929175159231849683666620436469443285885704155933708720080908353580196923851261627291031533659710058196759838747714345172187316096691991181393200785720434554852109744443323311753323101639056184657092627948326446851569492121548361836304618882918109720381644065026336306990940762076541014873641361696269110192571755787739064761583509888618814386198477378542291021045434778162844723609499213789996908694112535827697114345403539487671326548328294279393281512615171133873233026454034530451281239167366803679443212018675931682971713315943855473571973320238297325806020001506884677079127553512949942956365432583462808021966359621547686689878163320572974396810526971646557533105481112625849352319541146943541887784789125629719803902828608820034486384217183221068983213794456811815460838310776350881072405088144113250132164878105508836404751892302253855088818116733398834427021452798036115724803173125253709538760177188625603641786556292383810298414896362304352372039473107290882603571198691666959980537649768088822976485699856857376119805604862948880936358103360957063060352342281412362779557207626960589103341484979244531221431047712695012173929991592621882803224247880406525130263667335985522802593344191710160039469353640252378764139694991390044644365995006035497587368733696611378447875472176476022378393073735584986003561894073040777235590521148645154232807,15583709119612210056459591655917165084547876180163368651724060342852938121342573747484595514633107295435485280252315681390299895120030779894333629419283209529946059294319499015769374143794477062999973872826141057232433442881956488547404231057205324374755465221779613728139517801431345174295335351759522403280410602877083326538539894144357421166666631256889591001280839343650979902316012031683869388381395573690326954627751122959997850975739580247131355375300807922221336402218639720204407074741650111295629615929894972520915236032194353537901409498234993647593674315581430958816028426964800106151529080233033765075194316261750710901278639742803527609206627930565935523554770067414418974464327522291971130981816409057752386467787482591283884092217444821536583472975732147253816915934793340820361391047953292985715719523518456666097884355183637100832316553962926594889320635438616928332758061707209756547665244421686038207560095252171005782157878868526076253137053337676416653164143929995456379619840827775351809468454408989810833636302735202155928830401449899793335922524029098111716716419760498337096970626293975573616685758328091376744525842027629764501667246354274673662111598246435789867441805908529564423951930877022873050420429886790755683690376991744067647275065772744254885419650630550688088383247269447561816125195449203800746105582943793118901679480982514969802828691966742733450159301991567042441335425372918416434851758651487280996164011839068354497421417262852645523660793865566759218368013208274394673794911002686000479986182687680853358878051849936604407779082150362990816195025105300370616036466984728321504477439887289935862728682988858112967612595798608230477025163718769983283418039912902680666004369678097200890739169453436088486952716895118826156104419244605077102193969153708754164216053683507963513341685474773417055584043511679075823199218019906523692738585264506454600206041730962854970342504590228117729728359190982112463239894991904106444229004539235829974611767289750047103291012958245954432191594209265210389535422977740388181838904593368717677477880065270895354401756777687650194505977821787085961306808689082682626373306890212294363758532525091062662129197616682938994325014202582435886785557477881616909407929610194607725442088095020121632968341766143233001992568653846337227163649158421901431515727990409291561299191949693359432330388504986452307060893855265175173412879614827940269212787617613543361634342280760634050113286791226207605157455850831779037245250213766026289568035090960696641393247943232038643140703397872593562958692857625582627140451269917054740443208266063487366360459486643107602753456010521624608482455681877319683949707063162102781119809305951902515650319313427422097684928143877741829638977253331257409737147731557906678004369787666724748813152899423822924205214958412333386926530472717142474165395800519144665895967778891712416076624418414159105480722860244375868728167593349369612317766642052279756848299957762696732321679447853342414733670529918457522357328023874045151077334159525927843475438410219401937496876379330141226063255108368359210917778787695120599218140320252193329521384538035166357759993719064667911877182270252891621260579282344416392723787636206423358763198017734193042361070916607514098424246525664700830565071412444473225305790507551203709939366501388927745703893886119511888709495474675771829458980882588579378862216456351137742677986967901980740824737319147961928476865045764789673419231808463316898654593612155967168674438397520101830825339988945271255369251467315967287414947635154861550655404227094943746929216049256751224141086030568925826540815660530520504691709440816246609476935565272204625051672431855296192855493015179913412464619481902216647841157943376484425339929108898974758533491608201236548817862315919137231377310913891141569413242828839462408274871659728669794553170808979869135220680910177346820360137663609655877065058106280491783228031849510048855488716225617586829402174470284970861910064111822378499496187505135253675574760634731286862220607217877301292549598370427064117056544446835678344458582727866929011572570748426202239980707160759558194976374469232504641183217196260979290821822295437302617410455382739483682071473651232108469044167117822648195266494176971651061594670226873407896813652937596369740311239260207320258480562286234884442598549965365526589294818049859086508912942222503894437305039570053814452414124665011273826591495469179944471927919348450850349609669011753503473525894649854093799803149211977874819005648703255363526991085786589864659531447572480964833032790951607651061592550534206613386658118939730813653036675642181319739372390159039559755028780972984420308435749441401451661948658187254815700145712710882695715124452718826278725475093870021443792370586689801523808109432536223713231176444170530412683094229585869806613696513318045927532807510217796308494693985852351483287632359231808308551484076945748723545869765029154752147607281346809913620285401931203765708152864324120915698677356509139010963370768226192395388383518795695515409492098923280108631298732977267806453831904931475768003661739391945965784723444043963786092321642868738358831420121014516369261771821662639883790897969829008283149581830652455461517595757204331484938177259411044954619889206884660975153260419148851003915308447352840422508687320635802631936120577543450639050202071885357261246599331101966208827343360874212921991213203462782030804473826095747834929432277283656542643771900786240845821753668056185855535852767173969688630535573658416559094572032243040164942249846080045926543400699239596262811315777562692148416433474447791011854379602811141572821212069072721581670576951658800568607162252975032092895909837950871950381564635443739039214653166416398813362490738792570180122881754937910235892976285560633670863628473144866271683745599200496623680368506080627038129125188251620037835566112153628464992252289918767053073655705123303395997997325114099467889347951484255202405191950341330396650470126998380557770084793116063595176651090270739570859025726073994958251005800920476771149477963655216854389403195738341705229244344926375041290593269909211190104719119858357503572681790205058434381017231373140449515255210489761485513452134860028339565233132482473961287253720855080211527251109577657639215613655518520089766978941121573680441543430287845430717982694365888094447439761404206182082697394313635632445727018237759196147276754727980134443930845874787832665834578522622629149217534350337357912645890180563182753884515857880948443666728072851961591510078270623620074423578356707152396828244305340871390513848235854913232269223890283556532098452943521589712875661758727964524421048983944556063248351275921063099260909403214689921281277057351692160620776091896866279134982493055547982898984058764263360105035165228764961983743417983226141625515533646810905034746453856752243943259538089920245134472320590529384046492645057719891494332625482330229229801287500340011386513521271176298141920137143106890508246887963768715883680982671863493078187707705069664997549725346957984796567601762830765805391307720378109480481802764544546448171534182003789669419800019213215339198150419939222289351630358167995357692423297262105546833797038177577398132857370364538338652656172991794320752826649909881252400049253323245327713408291018149382299376550359107861738504386069396181784688727081184172467562102658100974961571449054985894139705444285538877120714600379935202655791357440015159803718124358366467330835523170284212644720830006967216862954623864521189101815652282310989918088931402192198303291297967404613829398504654020176030225769803243279893364662009765828363803797860893382488734186274322936497546894647007931640688502067267512508533957002577799289700938862356932520107835347452420087181397704578801865530593622970311392550743260266689619144885389831116590224206786769075242756076507549407435321208714187593674850756686152449262580458576612871673703821090337407148575597869890406682743791894394652938184499690629593457906014473057753624486647429220572140478230413693456998249952236975186287085052463591628872887176665360161367306506798368475016416116883370065208370650983036656675040742831616309735917006478298502678614155710015509808315074863203961409248148174893175168128195314331652647759355355396075734990558276795977799917882566895646652716175635300008547401725842999528327380545745670615110102911650814770580613381420877215732590012110301219399497421850893414112454298162666860425035664220273928909568478327010724630761695205936942251703834145704295160176777328737496529839658506823968173044387211462994969380463514524881513258203228657528589855292724459815299028689848877538953079618546979817266807463344856562355736781271607215514904218045760173957908060685532162447251970136467160502158565275665984480583524764048253803335955461385714509885601312196131729007808722616788755755876397449019432794613617008583172207474156300231514244430943102943247493326990599583221423725230847417708475040645053835049801630439456476443980066655720695941034320032304153743887133247710992727251221844877736216522034476257960557073170356122691080035086199147870071866477756089799788360876079526081961962641146690779667350221308329463353376484115625282631766015131957750273449438791670795688153224859378432168401651474715959766687096862884744067534708797788471120129585742218711877942865700262416494241731436887792539260697015215533827049036414101127630809330684025813048518061280903632031169136005252238366362475496957332725809725774506599931470443083386653039956492235439930809617447306781445997118950725639171909517338146284260881621010642020810418365845478347572187097001309780789416032863419157835327812408655128999712164312347053594036184129925782446070358477888040402199758530184192345199666051462738079427665421921758677869304802683202710884472289821598395078317804132835951951325076607448426567733884586600885448248820727598195673920355208903907967044726552680710524453890136508751005517455369947934777045756676430680038293874534561196938073225076065865901751952045268610605205062325775957036368079809347105127332344109846647268326742286232839632000999177153980011349864556117047830307834011579456860819079390586979791615506075058808936665299025125882441928045545291811431854737938635522586253520945920149207849654211299480659623759194381609257351972018166774692100262917210139344985732478689673959835664209894775645153971410301532592379766659510727647952706110201555770554331084970194352998138464225105730189835300134680535951501105830052315682338365900857959275351660298915212708356484838740593279422359955727794915407291803094787618795452443941756781977579350880009646632393611981541944159729876465560372685422629150659950516799960993236990008088931310507034996559851815289421828227343813943036153725097663278187554532206820534677407413592081004298294485522724948697338704346158701894677853645014622840751988855108591046195209522544669424135286654785813016930808692349255135443517962319660926653638377451997785357278854416215297004749284129763721760587080629018554227461769330950820079715467451444659342804860675029612173942959144311013722750760422001021276046381771815467074953230109796777460849130324225750029458485532948078351588442989275843909218970923933238021233048957723360442529926976648277304563053848413524330775087782908238883676463231339395958636290895925384842484661947764766039663857207500765499391131483073370853055101973817910615921901298644375934105956410837783376863525599586874686913432546831936158985731228411691289840061361327130747188450047242694608770233399324570982972320474627214462253532084673363792966554711681102761845072939784603859396926482198917859483783415177313755320460335817692845831365065399928878958354955580184139502375711946167885530183644892222614860885204247510680890580965158886860305029822553275668688725705389599300042412947521797026392769684735009679163220298780510003900281305387376992012423185801786075531939486365048877196502704306597855280659147938779189660841312144218351516756041360532860720094621139299852418999479920868358161969834147709650098058804127517298866039855346319253140384823178004535570295363319136931109734473499372787881075958043579812454447016644564596121771935198806058468497130827835341312164447850550901536571402817896199475582111867704005236219030246289827736139375520514736148020537287036746562499427150668306582327845348908311488050143620054105650111459798638284020265469063483900850343100538147271975677351913656724695792258652500443593995867074096212817437545993736617861522805359879164624743049145639085683534304247702160444033635518286320008920608257080879399068471197297544376493922315927417521976156441486704409911285317190385366081244922670391254498552764907224496159357707747298977155763710742708993153810390342451031844489132419235427131911050667802180486798982503743069152897926216773105448753988852451332851684500769690499030768868431473729113897988464599081434846952155090676028112400055148186354298932817002063339861923339866653523436234966917165250112467486574571737181357714400661187776699341355198994183435903663615459000184174875900644072768013000362012614886555208434495563789718383704019745521651136168882173955188459416782495945582317907302278465983334578733482445383421431955508217743542803358914139991908175800059507286789583504040650612960837620316444846871128124077824652377943422383321076069894515591403887982635009696344779615082958315067606601139339464432798277975162439642632366915473018963624611876864832000739587346340589724094263210869392784158219892849673431239521640938016050922903999578908247378599947202733281983388380730566425905703832839434639419882643984548383417438403403118309793945585097937553121493933370045198844948056189034190386489508176596582072765383359420199529304035023406239618178094143522987292518624710498901356433689245912844046268632212045310420167567304034120515151706435262864295294293757121940373356658422408568029696139530601997208932714505725015502291285663253290855288485990276439914216111272225423931447534303429298109024911750331487930262911780113051978039058418655686806740440555129916071842996986630702990862594767369315880663324561690573499896332346960373419391392276461902958839137108965756296834047489347032093657972949031772755747979597359792630588622646010305998287080705064791527609194507099830155229371029059778669444402132846679824038746430947825080071406458252587729005145019896277225670821651605912852499095748001108406428897610247207571497753641263836543209919642301292862861982969058839206004993334317087335471121069384346478455595400194432589540687075709981594230019927553159896628406018673991249259739936548989502804614515421744215428884193609718287640558560565699356891612035624634970091529062345233461883926537517113140540269172173291275963717540226096493729260384447178142009642878479013804600039296910313696597376000398324990398533523639788211825656629675233439539073104626222744941690231181534227710348063958202648500662637558522725241669674698887133497740088166381265500000368180356061984262956958343775612407892557177327362891834476285829798951093058011231136651512717255946123953244220789967741704988441335219030178983604910454574345077626025115634284523530328620148189600719376470760121203126037770709507294311028967114822584537836939525912248698224609887478494487216253696494381521144193726455667563660673295495767519187027931877375353668287292146398375342990221172288937535311440880135762025409074025807772209994859764600047553919550701810972903863820122179077941836267287302776257948877552386549062175524528864319287522647157651785652734984454481630993248712985340096307373538519880962713377855901881466612025748094494274295515511868002457356313292809323131476715936131130051021403137595694826480910216493212939143786508318582300989698044881413349886832842554875542010683418378834913572886195820115792147447337057765956266183368514905711891551279476527453510408823860961948177475786314099094178678268911126945332754917899578213684826071482015414213212073066735222281927097389629381719867448331930397327771122401654597846452520312059184435673221931111462268524945609051898657421930869991798460581442262702550458902885193520613089749736425234938864573492339517164912942669576599105294713467793407614433216203704670176476728323667693379285658977483625681610964399783101171333307456370825108355708019712508547501046834383067906779823205362594508868288940648490485536576128266768141525832554691650225679587701668794884068670237524057063005738439462540721991716148689899683420182596867305452976579076425328439217641270139521552597218389923678378873780745102264390164152682970408351718600446278677373575171596574194500925408217688573497600649709867574015102593076880206885076858880022007408956650163588133542240859863071588520424256939215236539531222653419533655800690120352281858676371752628412177146454983795240611515181588449291982048666914241609802533637389065671003447838357882682630629816988844304366362552299866448298079346853676679969911724170330577841349326858250792110805507608958840409939032803735541968541563996081270380408770889024703146548082914899938906382298956203990343031216868343669229716897192365105586691138758641230210565448098543010019826276228331366959451783405713144713049899323011631753872776723430296492931052426590430782785645997665757537694853495039348270883876108198667342965555558098829740310949574756617898130289843384492541286579310478468264069255686455703885276882410036923779139720946252297901205965034723711914978606248920193261161268578901984781376741163014632765141826666840617938842558148187932916293786014982905099266374622116775958770865917649637261493130169277707024561800459995383300686043143656735036863565737168279648506655575175170161277451232247118276545708594759088589288498885410538349751377885868527541893374344136304056484783470669980782286459513935885776989619005532623796424906743125812476725343774034790098387792719851402766725594884298802421415586411647496171058944408522568730874001278331132624927020126136745145530014397400861918839907445579728205080846945750155815458263773196306501211427620891783462663945313913689437246075692334463500990743013806647250964126896071622488589646013736848983179884780525148679745449475161301692546817702856069925952616041773449108448475562672853043730093325215956868134895645864326162312461543122287668865551883951822395604661562828962730324137030314832934960553155435259478429226569776066609056920401435664776327458499870484323883400154234340483818878186805174089690736214827777825544825948120636308333815769113618390836584050892948053222501066624387600619077243991398014368541832523549005570669680953206900187063821888669945371598374184646942036328952374420571155033425524814135196993225783777258095461728533601654012491810463728445186198512190086746539299124408094179682999170791479741778677341703034362077493961459600471742678116043391191084719442997991997804277704638314439077026707638847868647307128900354331920486293059667828101851577881552944820332471276262273782273508712722118793606893499053590166144017579029202678465218754786429767898440138924633995707951757765784888142334846629165438347986078083807097389775686199282858061854030712120834758294003681116501506468867668659471822408304189053480182070551332509152243793063778442620877638467150779733639489408082507928810435111569601681081908460868899026452863353045129523849856921468710697274647131217943307639468005740315492506383175582655938446593820934789788082221711266682611612014141214155576478437722664841617679017898516280202680114416833379620618272490884232506428941157763599163575128637462261404517968018587821384148285475914750060114424422876951309385603687633975357875113338430452240125703126698955596184029576839495615881991719292691349660114113574934638092238093113039994944634210954170634867057025098611876174070080579438665092836063075204231617684670710547170700376245744972407436965406642814128771121370018387081740847992717887714525890829357744007374999593344323497812443572306810555762471954928634799196770546190853997505863311733280767087784493574274269027913473235488078637681976420556914638729927961440799946942875472872507571994653536161905999818264341010099014363806194049043799953011735359164991365849920770123962701024364425259014239293229714099412332273044936280962162075930966541316015998051553428656365822156150769411047086522604032685143283270321890224270784654268289961201077111415928746614965995718670368780410586968066083692120525916403103493307336417893373313507460740898859137086718378174338046187662938776835712754169584643852904414023252100038641201211070438644625323355571866461330483045625092316760389979800128395678660229975582926884199835289596175276109156419372651015045558579170439695298387767374029312813773473603873528787331841370648978094199963764752036936308094211566567729244419216205397234162903184269633146215937233184327977187129257897463480996325429472810914664019171581015701540235898100269505857711622781123979554103885858314726426813475597690508752073501902747771657883777006576507693040239825374112099614361998817530959598350336507891906161035982262158311525266407864591732240239193586366725614766081881834595812821587117021913624474143029530815683488531210596753601237700951225588686875925458811064368726921518170398390135173972274054699018204098692646373524340757605336855200751884625386860310817779134532710887412804087713074188631793783922028598229391825414359713585449619063989362913917250935088263817759510716206656617366587670909346192906826309276515005430620304259022330084107761917838632736905102476927591956261811788939798716370328962424433569773602373275413843795957297690105963063213390010384532383343834969842348830280671541605715196097044073541052697868088861602385097683810663242653023872184679671158411823060997438861449705753386161136594874185931873891958020303661009741045563015413917457740659117931674366844989622839410047048456735578843914851422178958013907866170991994822884917328288939929144747977332566367797766135944465734050616434554709452242511492996288966569480323296494900257788606394101294864219916095009306038348252245759474142843820899473228910050419556759876867512781294441523422246239567065396730934804845753782250511027434921518557622909439607358075695175611933629294537912756747740198921805510399101618538679958577859334536113546145916250676506450445415788806815335739625827454817802961737808934972977409147614164517465418062493710764850805453673963238655940695763614495922655067011880604168660253815377928757905838506253349641447944488439669850226774532498906875458216148155495003709115931754154616457834271843818435961076532653343990983930029575530347324393727431366908527108818651461556618695895049844054261073866259067255247297395372516414757824654722360897159986081813548715093686286583664079964844456136399111074604414423552949803784334502947820037595898895473772816841641213785134553127878890889147579704272457805328957441873800309697025670281602339632599552011283446905517101728679564084365810369296665633002541190411360672987091533069254954895496421024869862900635025133680130378408838530613231458798874522327067563081461338186812985283617695746130457173076205622562083077493853407081508831047869742997343376903474629807877195956667054886573658810291024403868015838088028564874408978977952435720242619516389729513588912681012410219591491265466173326573004301236015486817499897870501580499721727279907486550291270878722370007262321942928626585305025885397336901856220268503056707922294643611384027758375144913485935279458523943314287525039638622242203699884984844630831667749335801160172998372112387213302062250564926666173875051534633495935323985026184410837424275460721866243793006987298443091247421743758616247778195374709689190140726480522854363246642611743285665751561631163297421962461008826959771939107910073644635700507663872125871087831625364028955958902201861326147962014807374939838919995848322498170369360474586141459259238651052745099878017874061718427602652772106767069973751495284613821336186886811657125025324833834366530004061124503574624189188248814912620457379182105632182208644127503211282569017845909453145190915365331930369981901952195957599152172776079574531004219142621838437659161874800562606270904432154349785494590898439471647391695922411891947388277823452590493968136137371588941929140047442349114566616904766577252357988847659021289159746812819279723584740216242332291072462278776889150811183279175852301892139437665395128647178641521154587608270696560055102828203178597624248186356410542800788536468066603840391247151962747566944031564538765151570263146351491127960976559371834178730526853425955953340977960662624271956881276125411300012810063445676404895942459300742983393531466671051688425107370146220192682716823554207628709190018776319246673855721625708392590961036667077694342050679780537324774284783828307499668011471079502838034983343051095503856196133502046119739573727708630224745839281848417361191159001019100623404655626273544160434267500095969109602238533267773465747558160,8953391573416610758159454433158466858686290106657127061011466397623225386132795419899176916598230670488819197063890711850940226465340671243652918234195657355585416353608401862259026289147958937095355553970478228830975586427284362555954542019843214006669951436678205860220449821504655434626317918056214579055213763853120400740085398575821420132903961558946799832444801308440193009197794179221066476094531919161228456610352175812620713082640577432659058452609411581028944345825252320254520305348492431412290366917619590496536119738377021296758652634501124143849838820362544337529690375271755209761997166124824352157296678289220508443581702106897539982573064427186654609462288972802888147735961466720037708176782712845579548398866499327261309816802960708450149135484991221154885319372770226145819527468155776298368138154057564326779154274202677236678231822679131757132580081798491039902506649508795638790240289367780151216959209875785455449336799348939435618598564548236722448894951527007279689951919717739956077371773130728455252404867637836366713314970357265840855037449627349455452022987940337842956818471809108222434929780843943773785048229320268864400024042917011006709555593311468065368703053158261715262103074894509591673195972284496066225379033331312098645539485066622614347305399554687998289722100390183645100213795600453537424461488746934052872575799817998736403036219583738663746342633303625921178600777804846797710388877516012510526702241775399550985229378364969556229252343734301893688627160880906640696297184522951889769581021256170019595643192339362307315960460340869828090277983920470710520342399473489880084539951325355400139526573430197199843499734824386709030030098176538602784737641978893087182050354856852627092578755796492391555107340926510102383875292918148778122246960619657825493105396719028997898437215591908516577838476899421863522919961783256748095931370291806213718014322924918542092128791663900676205304559565735251478006895513020096929608440565054953822189112060273997937245033879335759277784375806314586142742864234029749430972418927050176252617957638824194920482263304062305408158117051118273281872509905351741949849322432847117851358416509660566447480067574843240534623628437601629110786891896265024689270987278475346648297576010067774660528422193463295604662165725526185363954906752550062295780250884387151614093285828118810207835362428060443860500746389388569822419222731716350581480831249620589124844005412115497158867934061022637512411716574906685893189725067868165542323592986025864594307764536521585079819412183954542033284576209117725609499203635599169007394190880052026175349328394930877790761416109270442364188805286191585277322005480803568530907680560151731358570244818767070930635961345004832110637252414711870103931995501957189287518002192819359685609243567144374186394368109518155408453165510015058913744639479032516747300222109749658760854073975779005284268313576298878296241229181256518846663036474265194678824722448294204913933968877330157204954607151130227272681137833334839969123078409245719662696665852150524397754299987957516402112243803111118343857645738982783764526477381528205384339622319296123161362037332198206209808655834666318899100315548412872958560912489244391902893019525276472016411564283268895592630639920487531202393134924695756540051276725146569477401558661854212211969711014828056035671946041700344756481695313927104402860538776450358149025877257363896249373443826057027417444479735503089838505782015310120603479766466893662292321539534890778374007243142313853160062334158354512359017723684127731576214657881109697679365288658552440092047482698042718790984043153690549733439166552506453580864970723861951267501240503089873849726777327195411138440183996464820938299117909290604268985346385759784627350608836455853557330143650165352996647818069507117523461468070682932468290548995482132594745685001701630001893227175867011721245353244454571945808485016037607317554606475452057333542140231963208976135979992554127419380295706468831527224760209320204547052050558173047803211740361381855516712371245248195214492203164864737318581228776756404042779957823812396452768691915869651336951484901848065339976538164472369810561465490222470706509555666125403475959526313323870346121082767366267663248678974461635292094765158468715733209905144549800965572886984669738524604230543601316408253571240438761710913203539023682160521569327122167996935677526397875587441704280861329904922905720043377883193564098729912394668490131510621491108403321930025169289572191199543799747850035035464522444317538798240638857558993273823751910184793379704104320730578078753707747625413516809499211790338974114476151260373046913566724541208110983046461743313199756037203324167061026805188914961665402321810239044114334709346426080100424317036799526860543626912212758420171371338767092096889215356541540673368650122710588928615972396379160634835682532764990749246269328029395318507461215335657027768214708070836366108780195451928115591341502765566693624701417269535837103831928439853012123536074310408031015117503179686683653977603009756878689604798368641245271534835551864555822434161183341813505899009539128070489177420040418180949550461173260668226124218062226369016485010720268314319934858685591776845995737958048142304710087920678731711544147335929373592696188427773945593874323452558681444526366894017592951214407131227631136914187720617509207141268675321131419770827730380968894104333984617458043637923064911863470200118043416175949471784989870356570789642514552642274043018488721034148037910151460183021765996230209159172579046272111652602487204338282533821947747024840643653379019914415508151542846860274327080458697994442974691047890891081135860653413918073110019428723315279800264005164552757889096537057845484862943251629082968513084244707045428166163199540875710261352654039282615372409102891011644208890803325819258573404617840277240326920765869422198221535873105570708996577974485751125520357839361165632047438619753703986550264347182166404694259100160686173176727133856776300333542571383909005011438756855995559765678020917203468857617948257071178869756621295979248878605370422594477866503561956071687036308686570210587854822437665896699348701283450533884155795721491550887692635165830352060213118031063544024473723115620483057843063002373067471242752348987124684193561173001384323939139728741538914740660380978429857184248864055297614609368253713811953568792529049569143055901734123800298833363926965347545312592100925025653306564904641153910798569763213045529512365311229625436453360883601537597830420370621686956874861453794544687104418892915296659538239660046910496369892874633352203561332676916986779098225814548556002080517030892546756596295146688722303199501995968479797280347318044551639845681699380429408531599106303720423921246659829547313026971268239142559923507221955803260285446534316134241849232314637612709038632556716778858660276170134700905840083615167528303606395946632802823272805036918819282423433632399296901943774636525914564523844563678526870705418287339607677593000617019005314138901925437973999842132965493403368648339377761352561049249504367082406679615378877886402562585721451747962311340369191731691270216978468897069353343031800812274783458539368038088180498396982800322816238166635288172059888677519352399906664972263364115248911786361394355580326463365131336486607613058296495392743712042524356122274598306365933133530963983319048749004342653340576127241255325476463771125755344957902717258091043808193448041148428535964155194290703075630332450906657966695166050818817792938198986078803841718519304387270106548240510603724690997923959042585287916012571931115232061609658377411358194487222676624614109196212325882174727070155049393770211222292262943576337127519335365623083284454623264060833693248678236778032785631090519914408451341634339875108088933472645311373546197113710760439580533741452431540481086872173432787267068819545807079311592409104916051335026285243454481709138314653484380514721017395942752889267547713267444537281508990034398717690459371369756812531730437576029109030010411511988806547146369457186007541033678850790027271094873004492089675852216808996085124695666556820947052051056632952517944857258794252243250107741265119123046501591041120292830297158655775619631029752592391515301441434994951876433256620121728525375783841686167639554515009638809354919206870540351715000916952585817716992701229132644632140611583857636221931316954489420235422271106231411402161600191742143690131662978710797530163843333729443820388821912746334133571149535375584657740276841055591842738273960534093467564987078287633722854810079303275300171562588494729226652036495730486073045892972804510720339092040762857048746632177785443875014422079943346849464827515345114593325987377467262466403917726557514312981466876241020867403640254177203925034731061181089496257796699879099534573401386302377448645791507498728695509983518946713916843336603477804716290009594747794671956547614970496532235118241200618390302514654276144550550580245620225333699064384938133607656679893343355608537533189041878115044140800645162005742977509424284158712544300745798257878721253810681324024517414151850740100372710992937190627619681740834486139327819063052873440274541615067620659569507179415831689012516692565234290062123173320532121350887756567001739080121499864791040022404776912838584619088407901292336405873105159401107348536525493194872571834346727478368810733846484149514158613581734350465468981071885518260351133820376310501463295283852808044154324566308870221655161712087551520378896155604172230617211964344572672031057239945528397471369084634498055155947678171373247482470767618392525347705617243786067941026989232461860875894850450617876110068642748993915761942471540102724617543593294508093764530579197487942261176252693424176905479392572526683235697652471957110083888073362830186405573386966931473182774695649944915041405938002458410444565229658835753656546467299900869400570223131838016795720013097767208270805524333397309506613826020736975387421237063795471904767202875573584875971985407256430159644300876562334321314264425741241286878344053686699051610945321626461417658895771194664576808074591059539358700971150789889830819674064905068363031144400794562515243027243204179653522892240260024063757379520733189062461973745906046320411851290214516377511064505784112359226307879874015497818696949565152706932538610159812737014784811504581971929665380066440702640584756475959898970984505016885967421652092481984997324219280008112481693542195053071499373598527487043637302769806207562894514122183883928915490358365526769082856320457984724006237122163656289977842893946452146066798804057232667867695009014740892267952694114637442388807969232140406854027555676117425763028723837430367801112195106302884677761905367759521869586105379610504593921914705119230891812526901182809747514250669072546574260301878328953142106528826363196766656292889357164451380939115960689978678835198878824978955229088310950861209779462476436424862571611189864366010468462343478192343782501316477780278842763291372674996079593759979304932335431038299119552719460877696668841673667538914922100883341661121445106254138957522303958256805703637626140031685608839499770264931122851588032555890974631476916951980079371731920492288222743087847743580863422687647752762866048700260803465012044306966552245728881779613289878282709075944060975656728751223282237994524614250933920728119658092617188656809020781606982532065709103082912717230700703306864255373880245095520640173020060368315997961053987486270810690033334493137612909843206021685815798422776744239936798881367951971511060563852364226660475549712127977474626078585075579988239303918077975246546285252152446926119871602428596692188837574949893960892742223020803949759987164543149749788956059776748330889880079064006788549176837093456866670349297714204570899698183888239348918793025970650293308024377318026473495497503795312616788887215191616085152135021518857848152493310374131219642853322877118781421731801381697033003017780894579658227247358895575812490655346666518370993383798953083146515301634969218042672159042090798689303894790930381167368474983333448400352561362957615792306077053752194957006427163268424700590919343245058676034330284474611541066766804736168100253323635847719565711791336287448294458126019183851799363323408989496325402879129867273616411660487939988840128794343917168571290829130429832460464660961552424682015190785843630880942349693608389898613324219369950198507400351890163655913661735160072152752200251542389696994968091748187568077097358216631775302918423188253246072813225605926210707264597338605281833594178820959816711425282021680771970541646488723438351735275363086026591870121578390292078854514995017471923012083003169845013068314364123210509076224618386057809010999609662276754422939143022655536420511325141448519595513335955235485933930579690497031546217739555902933547859097785680018140304316593491824781030636577317873333640136211197939351121130084124954154905250345692447200347572310012247659630638706726640770655497837707096641908682824154701587024365621531850879319265284906656084996923261419598297924895819383414568645057331232372088021617593095636619034787091503623541735908959624546203657816328757391855015147304066839196993706871449071113374760509020448700783820851581960059104205714153786013862369477570261153689209948221203549818804612514526085643697886373121928140145327051440266790326538322697977144577109620078658796791168643585639493696738193054747208046136802637342789426804381924979311690578703596887701617475631441015570624678280573626708978075671134744135843024570161275212985891706491328374275504135269310859532447253539832353675371896967409243586604323219548269754583095857190047172853753560773873357578944124945411249043026063197704168277187827095904324940644057352178706617476569586487253743104220437047951356246026759028845657900603218366166294796226630588416468933290107523673458344185362833133932205158281116238489605239363421639395649985534970818404435929199782776350956740228692930625364418925697675712696572927301988165744895473021544183712728699852125034448030584451861087506545436018266082792727727088281294871583205440310757683034496666802683439193135820669134121445918078094965271679647067882422289836142313421973607335500527589268139744709545981882765497900358856567512303508272419532555578655173064647665592234870446718055487871936852347666670686198038750068594627595870689085196803599787692692907393778339704721837354519755170332289167351453372817179906590675356256858642487187681013761830186397871847751595414854555458323565585513241360861208303525368376172245604213855077336188199557559706824704803031681428863573962811913373357685265889343076970084789897188293721523086082876781857576681075113504667718978823228342835550458947859938421426130358022072356873652170740417463347227812783146117615459144827483660298626907618038181426270376280984690975369228390605568819561878027769206970150166606723558114030204054738693786880706397391549744853032781737638611290695068587756609370077750890475548911930403394843679832138371406777941346133449414580837461734638805454283464096352844707284053101599459450853096853890137574056614377246488907848199923311190433330576909279833854561511286215254767836777359246369778910056146786393678911257832530615258219238844367941384021968703794778794699103787427319858843402200078180057683287276380652378666015089058325111807281368041238548546754842288768756183752354878874359147539981266710786786811897199667629890504312101398236940133190997408777071057298823256266049997282012447258700223959923483828876840501675439772736529796267345364586186785000130026241625312534832452147766477964520076380202286552550479311020129583625534272542503038422357691280710559850595065766377367942199145690691951607648485887237937008232842143844542761592561146815388389271845733965822788406813027738799241023880354547272107508771893803950443863091005705428458797969037470345796583812689458007839864213601674191361469307770674619557459113996964190538387901057252847540781661681094248086613849744379757724502903206800180168101857840595636944447852767029850230428558820548643650836302716927363581783839561091047191781315029361168976304006717889862638706949683272433319471070814351498504598189716430421907730857291147854064740154629657357739467488440303029018233945887175139632986756117524325520343391837779382052496202796704987259472729066927379226996359945908280418932076184566334145033196675008638008887616110280803601441831224648355369107136264120238503499155318143686804125194026052538687123379785935396246039171943762114603271277063415137831031746017746355532593012508349278833175423346081451798328569789714770859650023060335587143022716055616191571706673392388156543587688182020370303139698911229054330774493465920116154497781680160789472105390376636821757395070483963570049795073903606407781163929260281227773979198802481711316141227310554607268263892345202151718681501328593450049421845433126893621807065624219432564778793874482796802240611045702738079354176419512885410499273465191669709506583739507063084284975244654678276355560179975511404713971665143744989445864552401077457097495898301806985326907334963898907510008584625740337381887307288919024302119376537804356906644544568783783068967472641290543519878363948089537238678740284689507675881342078018711287585947538053213795990462387871923598365224302509113944384190274572735664800154399037955589903675104330198651757127990684814216019047112764911403615727852305051785490024021067434729660099298790836865704469996481191539513876949168911970041837723078513818069443109530098183028523489360093503802444376217272777676051820845090821815169064385683825786283237528799467775437752936324168376159369029211300309455424290870421319824106599160396650598213446372316656404192640281224306949552362457988268392050538543377040053535337579772617736886770897397925586539808067543327408363736508056111386919830957705821508669956334108878695202071058695915884797342823821412547280294811907139333434924805062117912444400878169178989377193177489445695893559604487645483399331013763160112172632776064635046828151115076092622688670101311117772287400146872867815809885947555802328142729709542340427322069225729189249831438071694989755460626406879375802404631719719447327477128387359452835320491260143531141634137962241596774160436152891879463883352686681181655807596238780319092427516986038347316991163354021697864285853482435638401759707141066652579115461836839597435396294131904839211978043358286451706769212920857395720522561696463954269948016357266773232652828065161442358364184871057199696776225632284719460670772041581899066641611557997465125603183328277045348288055098284341446317047410345669653675311389004048067604820712483982221170652327968955401664905485099795095329916218845266829504803235044043173496299869718110173967582959448185423755024076296625989820161434962625772928608120932811676853172162414345613454239465178620791910178254812422132036235974478722170226435396827575824772219472097583725038526329408165914075353958698203287994958830443746171936517351862399175946674287573353038771504687499517940406865149612923651639842459418626268858279259822959921672902614201407978073857088862918362127919570596587308216593027426894442325251768392489514608825996301802537570533792281310769829999741825545390943062790104356555556125299221457119596303110425541034891292650655885362676605941435778867178392724528384892620007893323898222161880399633202369542062584165379594121660009669055716458527697001129384750060785443898193095218624582818279640211695019914475371025034476692120830016917550944135277356768973535545641656630470151680932867960520769301725628440930559033250494770302714315652644658893895828278100522112290599538318578379495411184821505188546969730569452370594633549825308171764807861242051198185965839773615316882063336891254699491701033124256211652233895662363078103640141988981572541171596600378946807983295934755128681532323744334932372835966638838752932526485590885704108725920388978810937331289926097478404029742015523676685521322538859282026634063912776433207680146601129324073338336425305768559011993894491236741176380154074478059288586661291660065312595073467262032359044859902423603487901721971515255103541487305231287385564805425100590105812429267768019379801942697090414098268987036466990311399750844693663147164450574478472478597133395824266173452583932846657449752097889007175552325420702006963420559552972109000034679181405967717796118558847234364730028090015745965926743275370762638935503084164001388489138982425058436894834899119069333481135951331306292922531489146670389495577602697605148147527149142708008824085153710840665042320336321199936570972012459072160161568010399748468242729868862786901554560767769630720741565765056488242965848525038738982174668827841894064902040321171212409369844386811713924366530022107702541519952786339609756630434426696946235230794074711704407054763814986688795433678673516731733391720069114176189248353973553425106928942167531761124755762215227932051138291995761389783978888625125579765684508469917600801871090244631551667165165511853183531923551891463271150419869332704296600430308434859598601785492148854150551315274583014244479248959734365202228693868845382563828874323247249589012509361164035096539212015198011476185382229520351528081805913902950219295181077808685798236952407547952790276536404829991893434137391973392521112751241194317910558231794631480857342344136960391072940630921208854202791385187576226100502648512717432244722739602219655217112017849100242170385586133425789494349594770635475820782003661087986003279136611940470072016016241371246436836732879476627294714821098835313252927029413605800751865573432851867847805681975087284449097970968168852507016463247520767655701478875249562971712133679859829716461285354391140832638627709568129985520892436551079801187799051426207457206124705584333613483126874391882360228110502347376675421728554344035485801477892201111768151053636239844079706796737474208695512919012095904426394516207252997956601765678174770940004714181514179518603954670660405006517265582449661443235957886518520483484166638558917995726827483789901230947655614042581430133385145679699413687446090195611983168775084448565033852437027567765838352303177694596419718497597804661847650279527168233024156624951219629681691932114937272159677966439829179894153258746171413229666162635105859786615977769459602392480819738610391354768796963871872040852098871894292068617749920033839041585168862328295886858972039862030296622723376685082889763383232291414591842949328999628090388427329977428116880945484914442406993678034819660522909204668969728646984725887769473721512442754854058451628063047112736470709747637905696938496106065201551182259752255640999860536690583425075853931310133568266997926629589575415308441069717819688566235776501033511072212484014410778785183606304839267445803612688026964536573035641057489575813010339450299238432299901247678104311974428857379416804769867664010670775331805493952651157543701753071933952366808396349152810973832207796548694160001941974436466188619693840494021674299301513277491893184437283461275842751334013494216731915097834723753908583014272155991357937465668961229184360249908599110463992393768677469200533962289177091088545624171221153621097825838891252008258887334997641080864118690261045266743610185066860904870576857204258149870830087408849440862819464535002177060474041999373253090513229588236406054869550784024910412123014174647503283852212387094094837183470703216080923091849805039040735170094211903863414787441973930132085306602991102959516717316248329851004174409777013614078324450383792371349919719858326977824789986746525140424175904343818542124465507547414153923424441453283401017735755182479781106770319021796765624503159394914426630985502419070060524105383542450318403525434707878921228674622471728826643230564807112354899264954333528666469090545017128549040229361016525757725620200690996841188714221408395923957909077287923218200337278527172356323517699351826046020671600057236606244529419354005252223235934380213909159620504601236731402926649671797771948917896989459089526427882355345313905281604338594203455680945158185722221081069367014953671548873742248328681925203130807318739786594142043562179816275466205695364141475987040746492477072084015303045782685260113953153072470718405612652263647967243679261138603027797997280011140861311032092403802722012001295778754975104475358056478447330622593781529588024848444990775459825366045601056383508214536247689115941247068559205079098619554042647128070666656081300694185521086463904091722831707834260283838602042768763482080731549965574145895053005428960058104431322810549304028435405914376643026529097341900370266083486625160364333370168936355933231870483017845463603361136619697072652152834654291505867684875558193796349438129013254612996045898903864579055021899243038216305465807515777133766358834765543068202659737611942336798560893977548704181124496549703259291341364159237610219539727499919290374845507875681112463),[(-11, 37, 2), (-11, 37, 5), (-11, 37, 6), (11, -37, 2), (11, -37, 5), (11, -37, 6)] }