VERTICES 1 147 337 1 147 9567 1 148 9569 1 152 9573 1 217 197 1 253 143 1 268 123 1 272 118 1 360 30 1 375 20 1 389 13 1 394 11 1 402 8 1 408 6 1 420 3 1 436 0 1 1252 0 1 1300 1 1 1338 3 1 1384 6 1 1410 8 1 1440 11 1 1458 13 1 1474 15 1 1497 18 1 1512 20 1 1526 22 1 1550 26 1 1567 29 1 1578 31 1 1603 36 1 1630 42 1 1643 45 1 1687 56 1 1694 58 1 1704 61 1 1764 81 1 1799 95 1 1820 104 1 1958 173 1 1965 177 1 1975 183 1 1983 188 1 2055 236 1 2069 246 1 2077 252 1 2540 715 1 2548 725 1 2599 793 1 2667 895 1 2771 9573 1 2811 9533 1 2840 1241 1 2840 9475 VERTEX_COUNTS 13236528390306911199401545453452406372947037292509853268310886470058557710283350078999641400477974331174530139499231376976586972253695580636688251364803908356345518674263566602825887043007721641188122039450398040775091125916097042408485570171975266398646111913902080000000000000000000000000000000000000000 220672344382266467384701076429563623728140049855503289985085126296657069064913232998433610578979030490600076136284233991451700397602487914597332978786167528365533209372276716652075296948390045940968752779115817082496219902517778119723229535295662226882255094721400596255801701539328656762670640045592208747001947653877474354481478371870391398242999413162056801542302525247105359645859111530103499221784487990411626519101721162514423372284741883354458460033266988578974411753079386673676011354839879521049778509709672480255447535947446068375538694695696292627909628700113194559909350438545510682499745850430734516999809476421238753052489341016547410492388184297099826492865786596610003319765423052186953918904218019016598903345466588003621374260396317082557950326694951998482738525355896199360656363175099041087965785289684371617320699068732907427168927830305274207762624561074079664239531213422590574171632312374196028360179586802781046035781075683739200110140056363761971543084644286668657733207429339304718440625757551358583643210436784881622238901108672460097724155053996485483694997612128133857017610095910483420157803265632478125121486644486797117166590153307855673892771326614719828827009217987540625436529728293122937551587789067974109741991386275193139662671548706289842873569220167101892605378785948280831296235740168944856645898696904042286584446310588068330388686374190031315295684404638492499801838654719491044956596177399634518748789390429150940108152249993671762733018377399458639579381433560616368619291169585157296900044558251101306076806939439108692170349293118153751505796842935038327466400164885408486376497563182248535947904536862786655979199556998339402738731662336637253810925832619125387275131081774030627632210793903892760601862012479395134781919770970700884824310245087389963647231264398573303447230416086350148496557811331744468991142707164500308546572782431303000416962221204894544512785354457633220121240723652560958623217775260048808289296205307468341945685015040175738685539054460027556068106264045169788952408515030252921393718343887398267108218176372496514251405963311150057125798395713237520171331490759575466661334294448588502809910305651762025797693294299220630286697141230384794203471748990154118283401560443498454121159527958513886733930802144835190670376292206119720615990037466580702008772892958703994775926896671132768211284423956359722637594527094125469842589798553885129503823906162499299922827802836103263743433157519823764406432843996756508231050377523144102280523553427869100504038367740081481626393763516813202013080841508091806265873629297690193392023293863042109650738126655408065210388957719572240106352850674599484210980954080396656502039222300655463341732162209435298752220189400651111359618536644804675341839115286107015401316446083367802478089887802766148456550163944938692876278590853359744119163880841888291755798897780975401193603345192875736001179572603042649509461430973896989131969160571676731572785327445403916523990906138963313490528682630590524998484283049652087997802603248476937564237584432342132467454058886529341180041032586179334047125746329599799687653047262223140606392635675612081549591736799292917488665584476345978956400174394060692380245670871003716935654598576146429145584336454179051484619501063505442221345931743729527147126519581005175445388798868800008708886066406694794162776098108823990745927260269689551576942663910619030674245432349905517362981869462057755995548348163009774104653473297357871985422243986725214302221684553500912659767025875601219755051510023866408044165534026329266492734502507787415081401148687269849110123831036727167361706221267860091902098192441391276300448870186728694413929137322193210353183868097339337661600314215869420987367284997558430367460443646769374239902368453409322641657554839598373399050943500660683412180308316576660656747801676061709266850878528703871819876703125824790838811993154259545149534633640849726571525689362282790490796550053385529468992000952277005759400540383649068315139843826520828289038171591649390814559351542615134937569203277620750414508366114217653828439975242425739227176452199887952761199289178777488092846662120624727512961236678897695656704226667163447773385324550868935459833308974657785194036609112266302724556521893406578899684572257980061856646495911149125984799722639752105965101383671091359535769373827703672869790877480339357998909989375517808500250207762961557971997411064731510354510107136244742709247837300236720923315766517740393100878579339331577573958230308263986602471139265415098909075440725935714256775802446207533186179502467037876695745642509454885246730764210666792688506780004053041186337431022447016088169121936380850421492298936736262521158058885344916408499874723344043673405774253699149462846049112831779097200998017113329760659869136755946306742052184583614151166168057749589204372347794578735047905311873988947695247002855506051813401026337890834654181011187202354480987535855031056766706417753391883693203501785041294243659868484635493696622363024301381357266794538507950887095373005970114926482191971536587770086657490810123684254851743542704590379842426645194731278033992607515812869845224241725684479816109745189489239999514848836097107155832583537279311243967125779743381693394552432433803975960192374587491609635783042370451560718055007740863979183834538909092075172373168159764947528267202613513247978453624911199378198729482129707755902979412877007817302954789774715936297408164930673185405179815459571725312086973439054311476284638297860805262698753184236517996578853630544734291938254101501924935362018592281295416239113988287848938762697936447100303953336169910090058648001329046372879652159728538105633487877818564268727214495122600345119052689100327901524552829039717812870882457007602552450370220472174659660609647766167209077796281545999381815936244155058545919949965511981319095057680879933504456625815389216515455698727890704209381418268950779771669151581522420461433296288579959450479027717467114989060610996762401063123896861021950744684476571063278491518376015418157921689567661559569613366713795983200665321103183185576166610428785670420055341030293366607701115268600249453761353785590806141994448417658351665310104115061890120756786638330418870704558682806512693551854791148659607354720135995595235045910722756254549331553537498781196171574704558574697368671206047814515506238833118888183033125009467038517257234073487194188015369672433183115625036061642846764492238979494768063219746214402728034487428227135336186735144988713594143025034524895191326154875351673089945537534390905002467785987811596640714463707737851053764161346160343364281050609355803802378717565822173986000786932948380041517405843574977700416324326526698281729538083853786545340279013376125605260943056943064394269132019269662126304634188518117229156618998759205700089957751444037914907497724609703693382843326709975995851735411582516084209034659065125492082562704308379173869846917052488300086925895300318044648985996070945339400329703962911642192776427199148862935808805238040744931248122580920189672858045041907516745043852233078334124722210630602620521806642546245838513650193980940973577540053159072341120321192376641141025507579928280439680621404689214627181693946043593254546054017789789687944453968914630357639117396364234667764069277774239040690982714498692899518778612184037922542437335152052799549899238325452300984904638169199113601917943343670331011997848594021766251386464908287174299877144350493220017874777488578697041875238535670920550859485797470242860499826802343395434037568608296208809970178018231032359555446751145056900031234647605736151677330225216582097671562003030518736633008925697585271224681552655188545648174899256429396367575406633675870670173044769098866697464166286245774282043644318750605214896740593489959217087726118282235843563129236399863190120503174848209040724137439590204970799439882693780029504975280674072069835239269297710581976782839047244888516232943964878852346429958684602150161757567296741460367672813935821870366839145910270508841635962564866748985124913527039094470173608714383955417716949317921618695523177354501910022750181220873028537564329180717891539649887947951849891168155383942148158804966027827088556681060891630724776248249895799175119281267852891353389652699024992504922744651018078759717162561382615460532576034820801881890253954350028753921836085764921138362085914253392107178345934685518340157176796176812780924914884048733143005377361974266604074772333735022520584826754079949263892942814364978125487376477833819044764350211659464881100076218129651211686294844916350132372668947066135624199866825076342225845677046238784199300874786717567997601782823413317212770665738393199260714900485843529142407937389526013470132449125283105757845891957280756976443314171098695723732853237503259337999809249280000000000000000000000000000000000000000000000000000000000000000000 2206723443822664673847010764295636237281400498555032899850851262966570690649132329984336105789790304906000761362842339914517003976024879145973329787861675283655332093722767166520752969483900459409687527791158170824962199025177781197232295352956622268822550947214005962558017015393286567626706400455922087470019476538774743544814783718703913982429994131620568015423025252471053596458591115301034992217844879904116265191017211625144233722847418833544584600332669885789744117530793866736760113548398795210497785097096724802554475359474460683755386946956962926279096287001131945599093504385455106824997458504307345169998094764212387530524893410165474104923881842970998264928657865966100033197654230521869539189042180190165989033454665880036213742603963170825579503266949519984827385253558961993606563631750990410879657852896843716173206990687329074271689278303052742077626245610740796642395312134225905741716323123741960283601795868027810460357810756837392001101400563637619715430846442866686577332074293393047184406257575513585836432104367848816222389011086724600977241550539964854836949976121281338570176100959104834201578032656324781251214866444867971171665901533078556738927713266147198288270092179875406254365297282931229375515877890679741097419913862751931396626715487062898428735692201671018926053787859482808312962357401689448566458986969040422865844463105880683303886863741900313152956844046384924998018386547194910449565961773996345187487893904291509401081522499936717627330183773994586395793814335606163686192911695851572969000445582511013060768069394391086921703492931181537515057968429350383274664001648854084863764975631822485359479045368627866559791995569983394027387316623366372538109258326191253872751310817740306276322107939038927606018620124793951347819197709707008848243102450873899636472312643985733034472304160863501484965578113317444689911427071645003085465727824313030004169622212048945445127853544576332201212407236525609586232177752600488082892962053074683419456850150401757386855390544600275560681062640451697889524085150302529213937183438873982671082181763724965142514059633111500571257983957132375201713314907595754666613342944485885028099103056517620257976932942992206302866971412303847942034717489901541182834015604434984541211595279585138867339308021448351906703762922061197206159900374665807020087728929587039947759268966711327682112844239563597226375945270941254698425897985538851295038239061624992999228278028361032637434331575198237644064328439967565082310503775231441022805235534278691005040383677400814816263937635168132020130808415080918062658736292976901933920232938630421096507381266554080652103889577195722401063528506745994842109809540803966565020392223006554633417321622094352987522201894006511113596185366448046753418391152861070154013164460833678024780898878027661484565501639449386928762785908533597441191638808418882917557988977809754011936033451928757360011795726030426495094614309738969891319691605716767315727853274454039165239909061389633134905286826305905249984842830496520879978026032484769375642375844323421324674540588865293411800410325861793340471257463295997996876530472622231406063926356756120815495917367992929174886655844763459789564001743940606923802456708710037169356545985761464291455843364541790514846195010635054422213459317437295271471265195810051754453887988688000087088860664066947941627760981088239907459272602696895515769426639106190306742454323499055173629818694620577559955483481630097741046534732973578719854222439867252143022216845535009126597670258756012197550515100238664080441655340263292664927345025077874150814011486872698491101238310367271673617062212678600919020981924413912763004488701867286944139291373221932103531838680973393376616003142158694209873672849975584303674604436467693742399023684534093226416575548395983733990509435006606834121803083165766606567478016760617092668508785287038718198767031258247908388119931542595451495346336408497265715256893622827904907965500533855294689920009522770057594005403836490683151398438265208282890381715916493908145593515426151349375692032776207504145083661142176538284399752424257392271764521998879527611992891787774880928466621206247275129612366788976956567042266671634477733853245508689354598333089746577851940366091122663027245565218934065788996845722579800618566464959111491259847997226397521059651013836710913595357693738277036728697908774803393579989099893755178085002502077629615579719974110647315103545101071362447427092478373002367209233157665177403931008785793393315775739582303082639866024711392654150989090754407259357142567758024462075331861795024670378766957456425094548852467307642106667926885067800040530411863374310224470160881691219363808504214922989367362625211580588853449164084998747233440436734057742536991494628460491128317790972009980171133297606598691367559463067420521845836141511661680577495892043723477945787350479053118739889476952470028555060518134010263378908346541810111872023544809875358550310567667064177533918836932035017850412942436598684846354936966223630243013813572667945385079508870953730059701149264821919715365877700866574908101236842548517435427045903798424266451947312780339926075158128698452242417256844798161097451894892399995148488360971071558325835372793112439671257797433816933945524324338039759601923745874916096357830423704515607180550077408639791838345389090920751723731681597649475282672026135132479784536249111993781987294821297077559029794128770078173029547897747159362974081649306731854051798154595717253120869734390543114762846382978608052626987531842365179965788536305447342919382541015019249353620185922812954162391139882878489387626979364471003039533361699100900586480013290463728796521597285381056334878778185642687272144951226003451190526891003279015245528290397178128708824570076025524503702204721746596606096477661672090777962815459993818159362441550585459199499655119813190950576808799335044566258153892165154556987278907042093814182689507797716691515815224204614332962885799594504790277174671149890606109967624010631238968610219507446844765710632784915183760154181579216895676615595696133667137959832006653211031831855761666104287856704200553410302933666077011152686002494537613537855908061419944484176583516653101041150618901207567866383304188707045586828065126935518547911486596073547201359955952350459107227562545493315535374987811961715747045585746973686712060478145155062388331188881830331250094670385172572340734871941880153696724331831156250360616428467644922389794947680632197462144027280344874282271353361867351449887135941430250345248951913261548753516730899455375343909050024677859878115966407144637077378510537641613461603433642810506093558038023787175658221739860007869329483800415174058435749777004163243265266982817295380838537865453402790133761256052609430569430643942691320192696621263046341885181172291566189987592057000899577514440379149074977246097036933828433267099759958517354115825160842090346590651254920825627043083791738698469170524883000869258953003180446489859960709453394003297039629116421927764271991488629358088052380407449312481225809201896728580450419075167450438522330783341247222106306026205218066425462458385136501939809409735775400531590723411203211923766411410255075799282804396806214046892146271816939460435932545460540177897896879444539689146303576391173963642346677640692777742390406909827144986928995187786121840379225424373351520527995498992383254523009849046381691991136019179433436703310119978485940217662513864649082871742998771443504932200178747774885786970418752385356709205508594857974702428604998268023433954340375686082962088099701780182310323595554467511450569000312346476057361516773302252165820976715620030305187366330089256975852712246815526551885456481748992564293963675754066336758706701730447690988666974641662862457742820436443187506052148967405934899592170877261182822358435631292363998631901205031748482090407241374395902049707994398826937800295049752806740720698352392692977105819767828390472448885162329439648788523464299586846021501617575672967414603676728139358218703668391459102705088416359625648667489851249135270390944701736087143839554177169493179216186955231773545019100227501812208730285375643291807178915396498879479518498911681553839421481588049660278270885566810608916307247762482498957991751192812678528913533896526990249925049227446510180787597171625613826154605325760348208018818902539543500287539218360857649211383620859142533921071783459346855183401571767961768127809249148840487331430053773619742666040747723337350225205848267540799492638929428143649781254873764778338190447643502116594648811000762181296512116862948449163501323726689470661356241998668250763422258456770462387841993008747867175679976017828234133172127706657383931992607149004858435291424079373895260134701324491252831057578458919572807569764433141710986957237328532375032593379998092492800000000000000000000000000000000000000000000000000000000000000000000 319415914468239100810939670011828798409668117490864966094467557631436401893536641467946748759929823599053237842609759971142376767555134391729954812157063949920951873587441172097788463976746609051335404762759270852649345103368205733910253380132723909846579025842058259495236756431301006794400460137776721765869701604375359223115672120353257213657179008009865846827886813343535701536030948399253251843025248280449428812881096586707689217224303010783999444267175517824531884058501908572243151888219596778519085176446826324721771708024408889962667883628662696906473313687187073492652207490952793312964700738712950433752197422029513750738107969280063574169090268768082739692060278569210723876875477016003978299573971588797972946919488153405531631355813419008939232823534409996638165749078140332163862772961852431390013179827140951614734575607416083283414577070525292542903554930199070874366502027132706603926914413038326122714221440297088958469621140460172884100034591700376422614082050645872272504299789915578798242432039292970874261931529515198715283085656921922749684864382874227745759877737315108471030122163979273768377433831688059197638459350405687679974936015975387026503228726965689149944257659654323911357288429089606363572820236552795326344505137962078286511657750095086547096465991058666240483577363169164367168040710618471043876593523971698216542393253301975458098252564647027400238223528257026798907162799092625922724858631095453524169676552556978873587657983403208116206687751873101486418248073001152189544070124211815645559195313419332300613260815265202942327385138610215765902123260669479463886338634140241423992962588639204612038384397306305639937300338126216101392049402131695035578026120260723035866918339729357321702767271995595386975216479824950015613859461593735543243551124149231899253045090728683478313969210089037069449585197173820527183237976760136850900761080007916072103404139434105379234712339454906164796502663759549354189270573949344394236023159859546824353183461357205126931125530614743646427902570706582428056764205724230527813413696561153765582454834345850909352377882649028446347912940320459249682236957618097553766795296573253092150260085711199763202222988145124426418338142679649271370048767266746263454879787080951040839553705512612001169877177670238653672388396234314372861137375017024852232622187115705006117819376805467987783013146888476279269112172402411890761716702914041987366399416239242675393798083425202484913596386745387613696634729313099477073543640757290632074834361974415800735342287371703871438188616279249256769463372123260736011437676175185136391119106425916209966256615645676491800574619961152743992574686595645743279845920535004948344246181237293535082964996820568205170408250593611299084483030267355669634955028261054205608205574567359274634530012501121936139624997856456875097804942779854017554042755225772676631643631524662406775186430430493700898225172892492470430279028031940339076577922453166882110268802933869777381830425014822964373779406104666996334250314014379870585829884653822189018097977613629277499757644644485763704620683677269307737275552920440421010520295986040364258486177870252588445560237586525835140928024927176083741475325237805201637749748994277885288734731037412986140380179811046083346308044721299738639573110808238750565631368033451480193260755031739268320319964399257612810647491599441418570422435509057255897451263227090645108045311699742509422808684937674425252253786522732442594240714697432079760858435584622211132312849651467054025186914184807010839909609246986472284168964850537071148368549396239216404133303491938470662007041510523588879897468052325284547858064709512769909967994283367933625977225039674686088631002958901449139614080769817728417194269592722139228009700405868879124904380731956464480591665719184571671900983923145473652277810723615358962511951785790257843044493337591779562426376665106100435958614137964904408134438729905854939707242103861653240379090948149780730651266070058129445416805102338556462815669642703748783214151437409693710251588593559739241936139542161128922798645617374422768151622673645594904211619661754207799086800825237907747106481873222910209469185613475342595187738651874050520824998541844361905492974026341399617415538293355377440601077120447710126957150527655281409339289722942184744674752330142720206990794339463528123808394066319780938531573983815392543205968141935948679095895505058114124360622754501510309978219706057566236899294146308468041643514355423244608883778447752140141077177496206581828772854885986915801407934619329390292318582905123434896046092423286456485505889043633201922437249251251353544485358102518819595351077320353153136851597654146124073516017411125272855595479098231974666083999576982225025685500243152637789584333414902621255400802586711929359767135668856641456752793680842304122536579156049587643556612566276617018202069018696897858750601517057430002164323829726176045750650703783114315962611665945131451985101182740269382620149908839838083777778316141742567586857482683535637240830486230980865240913080769438682010389211145653181200027740197281770363717587508858394531641895323629026912650462977904823368642809884073568028013911724004166972230030648215626707727678814658891920144012925209644442326538042397651573618411711572985943412769521404245832718457107131832543418901237618552625925584892688585988461197912256496312373304897636006746854204049192815780108280643246207393365523388588437520057792079630549928482367894024942439156617902443112789288678601705735950905207112460977222683390467977136779649335625820230586128392492929390864784299369926853049917834895845188151282032163734067952152730771696417455262600654399075820893265124459656823532686964556237542249687837593853536344966313040897400870248799655826819898906641153013587908426188108657564779549939157111678818431584856666715274327598750301535391605946541135005806912922267684100862038738415584727507323754143716388563669106698519576343507801710716573634165911296081375539943159980339685553289133843301270846539477912286261309146393048093649911143694215330381215757243573645514758039094315098593998785441750503734977865480280053087488103866222470354896951481760986799549940211014082522176466770300450624562913683583695101176318226939777795090786757406387251280929288760500725677543588854875098774742808055216739155456501474716875193432081827114679502106778721532189305606022139316846696771312592165433662994425826270184359961054316535546183384925977676212333745156310971562412936595940911877404534945800153641765102765095431257185972210631580870746986556533632077392073102129251351985438081625836392786936956003590513514159986621281270712530712057371475051248214257750623339366642643001893922667506743306273444568678555500740678838065108297392336502112807556548300172353611442396291344044548840445261268710544098422066031351260163932519681404267869298599470719894508648786330073006816489564553930817344881835156413421484570560547461911296291464826878110313032541976297687799124821117036132767002335522107085497871571867745323445051077413063273546557553821900924808220657447259988321416956151281349738476022792592721151561613738506416651842419097639754361892658869825127224132935396783559178117218658265613864662937684495971109454648041891382438876497155211239434287204075022026986445150877942182166770895917489868633508125006548038678708716421597036334742938822395501647059815420205345276262119357701324143011288087084854506515514856399808859921321671031705912064432672787255907694758860909576028357985881960222982256514678323148852135092113529859446271835778726884716464316663240063661752014459176943494118104394098051167180724103503852297609774755737732512994678279919831257767399996609032206990370855638141692675417671485888937656275774208108642284202142667919923201038387006467829503524533939705995722127305994555555467899147456959400207064498509685381940929816514002512887451566362899576598407821111165849112091234864453037305640532333911739935988624254053501064774572432508505013893354290402940554557667669511560284928771079373074747568121187431299604235527472965047667353245399795723575895678900410320539540028838319183878136195860014801437871560502883486362269875685876085619647908966320379480432488093147012900844974689967962278040989104708778635510395652046956260622623071853174378031464417260220572058926007269090383309123141564860308281071041969256141640883344542721982617473555381546053218612012334465394378330728245010971287943985785533103463783551195161314183609030893271128186642899507670479067442398021653727686642760297811145146706168062650680701979148584164435496859481913474084890886874996794863516288698707693966468580538055374665151163760964160574266311568385522434999538491464863349045494825245045069372342856203032115739401080390446537180416522552733910099912547010238858060559497577680076800000000000000000000000000000000000000000000000000000000000000000000 132474972411507549120441773233794351148051594234916306892352769125954864804951068984560007206880540119806492907353970493773758079544349950465382809600000000000000000 26333057214656534793376522248766637999267105317168015477125079587737155711926316403343508339109886208411435008000000000 312656013532323770585719015780326696076156221842090209708794416202651929079490833806002225152000000000 9982631338835369431217082240751171649941130965583978598620511373009320851835594949106073600000000 99613131271213160595456000 4439530912481280 184207478400 667418400 3707880 11660 856 1 1 81 13851 1329696 59836320 2074325760 1750212360000 1594881013050000 6124343090112000 97989489441792000 238926740637611520000 5132500354437580800000 677490046785760665600000 1237774315477584736051200000 56656234312537211928576000000 183492772692951518421926805504000000 323681251030366478496278884909056000000 16202080980455681541645692301394809402163200000000 2754353766677465862079767691237117598367744000000000 12031017252847170885564425275323729669670305792000000000 921637752702699584486622330516405293888111521289994240000000000000 1903064659980730662017758633310674843932455440906583015424000000000000000 9322885401486401825545557413552998779443827310348441402600325120000000000000000 590613452146015498804296184058207362314532513581548941945815136221007187667454021674268568322048000000000000000000000000 52219678984942106342280651409690462146401706720826231251081191084116571504805614780352129736762195968000000000000000000000000 1470506160215969714598623143696883414042672061258466672030446340928722653575326112214715973387223438458880000000000000000000000000 3834239776608839890122009945536502296158121494584219099699958087804435124722407457163285135180514599821639680000000000000000000000000 6185262908396572419366633964796535869320082656470296246459860528901147876176673684192870108978722363841416237385226491224934193914605933669908480000000000000000000000000 65112114190380916340934490948197977979471646442679053299373036751089690064962815633329923008336394834821856536964582027689092860918402713200718491156480000000000000000000000000 56256866660489111718567400179243052974263502526474702050658303752941492216127872707197053479202645137286084047937398871923376231833499944205420776359198720000000000000000000000000 16751285855684097231587553112249656953864375236205098222468470639020284965752715844903463850467831696074040994357717385032068425380644339714556104518583797595545094832091573328806132983123914374134140886614234130814982616383855474629039380429761611446679036891767566348064884397497538151687253734221567979739250490583471430552368457558786201398411480707573725465855674723121967084339200000000000000000000000000000000000000000000000000000000000 13505149317014736314750476611928473510826495908832253882894209334797773577458102516745620642560341248975886290613983284821450867374785435181121855702601109015474753600719193613553300091159675151404330806117497667454210164256089182499773731839958949810380123469441474905250247458649868019288482416667980699451706056956087016143350511621307957335037262838463432226588149578760588415838145478656000000000000000000000000000000000000000000000000000000000000 357927074018075742666096793150177142764744335694060524150110303270364635469092910615049251555025594375111345250916938578703233130311601974725173352295818525727946391239889798900188788054234457729769750452802637471344500841463828637017266089582677875706403209799373901663566615627435280411936829834673582945198530385325816216505886310319968074160868774571844230442512567071634125516027306502024324639166263270887702839003749285888000000000000000000000000000000000000000000000000000000000000000000000 1023254263208625217434795075923017078448363979459142952473761902016944401437057044594931837555655610160976034797913148610319141619378062499518034475614533717230951804946401424091907645525659985945248944642867985637657877341295427521430500200540503268063875898619164008240855598383278475596969126384051077792240848601224291095268227741962743080103976991754553308453138896521198496026405101877175396364611370808233739649677368562888798624531992157759372975154889878179543022665697549352960000000000000000000000000000000000000000000000000000000000000000000000000000000 2251123076686203540725070993805612523298947731505670424503785571860956640484142296115659165773007064667058493805602765028143310864764471103296914394953093863391251972979853173668680207631517013916681490530023306073568894942824374967501854044907010319490333755128945620179181418301680455144541232063433006531413763737658957651027219777026465061683864658239988755352582998958735497907290144313745719182736759190805266256122483823070288845880118166178606558109689024796441559450463062874497734603210346241678334015429443249613402986649616409868420577483568674520709947842275593912804180289804626834710874277224213610972442523318959525948912079528991472897986259560938452555412337436215617605927469505444539510964369475886490570495572133341461706738984559772459902909081168334919498317546686334633170306223584375502890429282821976076330660321205729029771409056602593831489285485998750345826479906393399195546633899948550079192582591714709404644811840313440292290864889657391104612505234424633099147416206419775230954757681282624381998461717438620242839549295164828449420682609481825692127403051185497050293497826119819232320225794996382465630663109562772108272828507835037191894948448669358025786398442835519487223577611008835700246989314811288736590233154743570692170617200962558800257197544822460224788250858726121290495430403727795558492684308626070507725251560999553091191231377379246126904951277433503115315183168271050955486069068366578037423534200043911869956185209593905164885086175177410506988233913909400950873733712130553434101218487253280843150004901525408963404283472368443352273917673356323242403882138251439932174588097823639254285324063737678823158613969435614773778290934281516534448190944369122571985272244777326753432942882070355497806667175392172069471189097984661174620349056077444647210771723348196125575280277988615137822785909265211853438185546694923829697733147062532717008611812605402222286456694395578299313509031016962763753368591129502653855528874952601953020973188610257446803941418750651532862526158472419347360524247254984467273204977185373453555109121269915569214008473195409772386978033547906012699622335806827031664576892139677985579424375368700314968215494989945153302570802118993076588164338072590509341840376105907006330256691860274992028715782826516082355811123518734163410425867699218337657375976728812633304930380939126703844502105244142325336993666897950202175880677486548827920979363071137733283955939149963128400466181980289063341544444728371713626406715593027499271241493100795759383555725403714368643576572663709281964222818234658766948555398517998878009197373611369655856352382644689079273864950080533061894264847301791480102502700967574731165728130134053431357803834634446512172409630025983271360556108725456809824399848325528971124126580435403752339398134845211177995951805184353515331220841944286577588692899451628437215255207434437703472516780264451832441458420632463919007365033010246239267984517088270986002716713208279276149460371818795211978135576847551880003597623392517859250385477269807443728180641895694927460862782014784674453034984228293918727947197952150484214012347881258346854644992040814352882550756937610979894153292799465749334503672659880734533913183206355301164006125710228182516809266553931625261330174556640998159078919428571348611330181313723907156195820818935345092227254775357871405314211184830307654473194803388677267725135770283875004365844563663157824278729770140436643401522111271067685815067943007664644341595803623138797542027238487761825815657220155072675719362839309953520041778785574403052585964401847302049155322114031680815392876714279321323430432096977250411093661110194042968688904050240313988536847986139020988120931450143029271964299954387700119098253779914338405072615352701785579137508496259493476022343496343425962610124917525086021302725430616907461899176404504218554931833932623254664765291195222125033551804187190655445064709452009971724786926243856194244554473409071388609928522501361332030215143717237288894448947585684958866103467867800860528640354561806758925931052357582757030134529574229835018611293576877067519464004172919038181436476892214939665856113950471153353027172495115670482911790371955053444205100814674940981321333246794657590414110799603846519335725626932032754520439040623599046119220559992008798595230807029076239293495162899571226132035304021252152343419873483897834082095385059055246496216592399189175403953764524913557644266791025056527268805284231914497297430397552813640451999259813402938179266587190484722774806534355680261965445544847598297465123158942658685571737031618891498634011058667800748669719522404115767759107192690795256861100017971408956347196079546664055017320621547769867014889930972495864189325488724182975649797929939565045998655989701627955037722636851947406073435034685184239212133916545209191572544323982584394149684547099505187155710681543800992135292287583857197203078199444796557555905030313905234044389670889651622276070900655085682944169413198696382963516667420705425658449064325524460900706800948485924253486843992846703748459107333341446839262130567237338028250848676354688928379828166898097187442403319493655108226126593019797224151740315394277700767883739228367885420992107596297318625603016578301818972383942758608723511295736498857035274737610100868861348367855357122748766273105002836992833037572267187575734838244027543072494467005997237228563030925574795237919577625324324269432891346538805241265652585295003411835694414310275356040723797866159930476698993595795551915032949043639709720110863907800017752895346125648290926101342632699700599325780901683560895505004956531913888440438761456333227522837069743303722586385551232430126683714148332666759685890381978365116494751347899118191566182707747542107970437127401479160674161906076592943519059047128016409080612999943590735231814958118353351760022916330458332322813847495342414426942770003135295382875894181203137692326702519055472704708072574638193005649637577945401272823547871841556683457276374892710700831698724245780826718850484607792571800678376109809626959837656863305193563611007197055572094806600265303908414729723832853650190616339350235156588488720160959664077169120419595669052705683538350301769039174512413765726261548253206005949889197010354716623757044820598601648095215744726744349401969654171836635009597498981725546353018236664500717462902033140006510127246181261755953187492143430983907187922559178537065648359463085389855594830865477635667273183801766820941791875426920628415918683632408039971668674334274471531947246803034939654936214206911938584475873660321281992061030987785010405485275393978084932895265529006116348681832282609626313047105565638477335892663378388220667098339269264700369976911396095286316496865660043483576845913574933884088607093726683944094805400405888897123758135069771082726087243322758060727003120602508805629238527171146645776130756481178022977576177270995587001650600054758443090988455662502380228428705987482893977140488891740215705967946259155788581393500407974359567060754833813687522758247511961655608550686655339477307774334417664258541449352288006329426734533977857874714512715930930034195499312393209086762192260596294791340663212316613733762910118297960671850539311689849149164415815223478238134001468422812165961783746866255604398980763208888622025607887032261366420018008293288212341121432972191469675807582799137371398679269683901887853539726055667718343943416716114911505969727037322495448800078092728882534927101182351131113593775228609413610409692176676438108782357093494188655788911508142642720123038491770957165596982516302264968924811420262012336747518088355928284552341696445314308050163521326374485099609092901145659112241078502037290341213181840913167870992332066215089592588307933810879665782170599094154216372164295131136000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 295114028846645663660010573769654996050094624673858160204617257274021632798460183673257477629661614729201143169860375763834658370527018895703833424512545019133087911031832632550310854155966999813111241232845152357883482239641766287657124863424697556400776824925602495842794370933510425154746179883223068260715798108984310762254095458733942760451055351760988105461744554227204850971927107013262886186751139757409359637459702127927351515905459341842945428056783900497810324547189196763694913766688041554986919780398314882532914363385916679209076494558229299051669715947804569517083569085277036908481076743407905951154120428129652103179624107134520081653570077590357715763498389636402489903869331902544714353191662329829734865551142855933583785695173113916503348050164066860432528597939057129345465700180816081047534141133793152928738644866426953741990924968381407579370690926166028836167923184338334687129345475981140930846404719895017759690820838684778767668253341341241048625832890911929205277491768097388289694384911353533306949538669276677720686926721547438063062848524780150969599722757003771129690536962365640881790437129637924662374481932176665433883661399348637571756670172426975703361709285335395983296719211342297255022629774183745475663174395000062562541625153100562430741236421126828203615275296749695712594989109979406201766547446826828057313943163789227650854890641391552194290975157512224291422178203796343706119569342063183594308349511605389067546279813865498150736168064300419134417785385042575282609274490293800902072640907005889224687686314507286239321055533699417998078840665624619957612723015858131341538057844734681386784518651935846890777096724605216365014428726143632428798260537467640476207219547816971615547609403088606104615035078328439123775309911809144570697482553154174233766658717599048993528738875352490594781229081252035375792540739485742702623788361327702984223346213425927394716200164392184779134718972393834343868926455490063208547558886679474406452443999034708759677917244012113782984568708049172335435495489052675026411800911675191669965358176598660751193516582082878495270545304659893592790281969403717046739017150568862660302395651252040346409054671850627116991140185500733535478746558046249827605381893885558598085046131787143040412585687597486897653830987482882081150672194869054510316175202036498540979046959965790011900110297897840378285905752411704401363287464058733386168526553646669305104545337271487693943223148351149151965489549395792467500483612556191983027896570099586657760007111880966914648387350584718947405458153309366575615359494700880825920730890946465577922990993121365804790376711105967148792749100175899163310139549606418782828317345683753318019056616799775034791764189816614129376167629754377201203604202861601524914782690523401058805882476816174185819176753434956899766823744809712533220877699193667303242482149655277878371626955465379684685594015534253638121953720315242307666258918707663377471298803408272985103141742256656641433158334339196835350817789591391636201642495461675601393288793367618891925523243804212088890935537593467991732806197241250408111863793072009880555511553975527601157215723910098360991448453309258031492279345684535070784002824314973554770385557126377600019727692200880304162883691661778954565316574353351181879909311055299013513998915319978837250421853210444389438585847863842643182517512726790904587844342868321076460528807007760077641589190827553062504897531155452961980801935977639951081769928770896240224629440897611340073491217584914027257539733926495297282417498243452639522826319769195905530259026800219527800995405358187258885674687462551956652794013675916352239012986795752155142207310651924122280358485687858964058743007422281275391393789517301504433414572782942891879820848468631608003538450183671644517195006648231390563686610411536423644408120412732462877989971697717575531860753103341210631860063427196448863164266392232736338568301104836968148488440084394767824369504215372860846119184878262152224039835894801865421016483493845603762125537918454204041857695454823140989739344588666754705648889863516676717056835411596442128772235110784710400691751800966051563840895375867376692222727936779941600346226515132437141741712639450757248947954785999332476770557900951033925557708758905365640673526223133212047755080404055652575922206285621362231865675634344998587305282895823811835645786238418976625481188586331092454175813911936812977460890816531397944554084800431744913535552712660427332154352852695917218094881428819601093847187241927519706268022016714460355403794935676597592228458528316445796751658649564905429640052588228575306963878223686817507233031393822281866336280328637886123901719109267685379867448088847647112748441223719869577369716982676568447457526418663111624589327215644099381633125673360413578813852223253883294494616207199619949492868076990845378956250290711355739317016025307470852148442736800037569941615189319361063040304823333691623413835768926540220028665751634105657513319689007344076217137995947238128277424691163289225002128780131078508040680685893217419887183253278977290229796526297466956999897351309573859639785061556891520074082657658636408647689459819767871349219516139631209979440602281755391718318420348800871126154296865531375625455973261922110258804453298426647985336800203283679997665637680994561100224720417267858242953588987632146174777016745688742243165158865485471428206470572055246884350240876734862922964589679114208829083709623715085407373514211738592039317717551118506302393346089352813702210300833547010820630707083955378666694617821370938784554614535102921726555108087347038213890189805188712964590489965643263465809147600235074474143778605137187503596940561076100772828042415172451175758855147034478649290439560885646551368212872025603546997465162933380676501325787824793165187930848880844605096688653169889740781296619747343399448059466295882130557593173914141340578844760241806601762891868641821287154581194999647913872660962310767159234411951789187843186417071111465690029405174848543337334222178103032449987482019677826977180164508122160753083679785724355448283299709225104010240131551503705415993939642720348370800445816573719387675292085736564931198127999443631837661938504357415438957688340188714862504772775979425110477323105133645142434871195178365096677238749934256670190611243786020290730082180719571177454749572864133310246013686564488323792925411484899958519792411504623135141006916074619233440553025732926398438850160805156272801131561399379453209301132105757268167558391995230710780221647370117751564895041882115168888677180393137507218650968824072420941437542963574697465473756487377626484692243758654910825405983969506908318250378541379411948758112636249063183209449956813474891560494555569940824573736099565691524548462930166093456139215688930735578316053023764305070220130765871732041388892453138809530241509903350571802172891075127882423788969244297007515559105351634273705198197205451093591203450102036744180306922286670926460333726214776655711778633271684963136914155909324850690480653495978035063751229997955801696625466730522268392763052219847828146708362008176472359105545882152318242307005364530212749698822294042375716156457274256515445059209603273764489084274103463818340129904535974287899240804860286100843556354540246977137040800754034170734745706046566906371163909720095716116430768002664808999453972371607381037077234894683743671907314484175642942786620770354808841600333953476240412153659833766363684312204302967172819639973249902951981914804069241627725666753337128320953869906043337634527489782148668268794321404646619855142037997610692814304141539568191664749324350895779564470363093438079377655900116343842609004818683931091858044090936543808115890790072320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 27841190174664037051852357956463544525572167083224158695378230834960774969757373280037575010219188511847134827591774364001090207173588606329672778788907700457961564774721997052312850206472238295433624540670357673838642228697651488490835832599724191151739982090897008110231382004199243847690494019092066398653596203461656492506157676532996833954403731931863589986273634763958049498367664507627692461642251044931187503146754936840696119515142242286318624193474634486475711242884758555645809921782878010872721904966645905623618241089370447400299408663216400447455703360183395446183120167966758451473888122466293906125105348176957531097178529553805483363312662020319389114977210194093202452480248249243926528000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 81976119124068239905558492713793054458359617964960600056838127020561564666238939909238188230461559647000317547183437712176293991813060804362175951253484727536968864175509064597308570598879722170308678120234764543856522844344935079904756906506860432333549118034889582178553991925975118098540605523117518961309943919162308545070582071870539655680848708822496695961595709507556903047757529725906357274097538821502599899294361702202042087751516483845262618904662194582725090151996999101026364935191122654163033272332865245148031767607199077558076804043952583069908254429945713754745435857021399141244743539835529430876144563369347806438784474204033356014880577108432698823193997121222913862185925528484642875886572869397148573764206348870439940470881420532362041125045574127897924610538626980373740472272448911402092816981609209146871845796229709372775256935661502105380747479490563565602200884538426301980373743328094703012890199970838266580783566301327435463403705928122513507175803031091445910414380027052302692884697598203696374871852576854922413035200429843906406346812438930824888811876945491980469593600657122467164010313788312406215133870049073731634350388707954881043519492340826584267141468148721106471310892039527015284063826162151521017548443055572934039340320305711786317010116979674501004243137986026586831941419438723944935152068563007793698317545497007680793025178164320053969715321531173414283938389943428807255435928350884331752319308779274740985077726073749486315602240083449759560495940289604245169242913970500250575733585279413673524357309585357288700293203805393888355233518229061099336867504405036483760571623537411496329032958871068580771415756834782323615119090595453452443961260407677910057560985504714337652113723080168362393065299535677534382030531058095714082634042542826176046294088221958053757983020931247387439230300347787604386816872079372972951052322591028606728707281507202054087833378997829105315199714553842873296924015413906446818766357410965112903456666398530211021643678892253828606824641124770093176526524736854174003278031020886574990377271277405764220421272800799582019595917961081553552856102612143624094171430713572961195109903125566762891404075514063088053094495972425982077429599457291618779272748301544055023623925496428622336829357665968582681619718745245022541853387463626252865604222787916261383068599990497225527808416082733438412751597892140111489802073349648162824590709346297029195707038130968803873117541208652542212635985943275685416801003487831106396637936138774071600001975522490809624552041829088596501516153697046271004266526305800229422425247485129327200830831422601612441771308640546430220208083382194212030594319335116328563421484912153699449737949111048620775490052726837258160046563820660333667667834128222645809661858478722516334967354671159496060882431509710249935228818002697925894688249776018695345133930459799410658785265407049912412665004315070455033876033420900641018405255196573160408694112057853606973094928404626844842543981760888009819671608219831010056011804294909889275913553713227469979312012167836691358593204887074442148001721455902891142184386964447189043197653882091000321448812197249544719846792585905008747855373801259741884445228976381542991773765868438222227702136722466751156356581017160820712587937320375328299974808626471948198333032033327454791783848114012330399607179962178511995143753535219695718845650796755854572369113057711132678219219674320295140249314209848044994667204438233319744936091325248955617952622471558705575969782662476118682649926090693138134004860623181288756340644380332195980627507444505424389165390377274238579354079850708876847998337132198986733059162998820043095057586292201145077877357135516378905206390950633687608720497088139306787059603550817469966616902352397668889871791717686567921443057402286497378801836225426784345668922336870128577219436582699326536627986973150336286627795396443458017545629553397982316268972529121380041246788912331879951213751170936905790588662466183931173344398859667184839171245414957112156145982755126167789404915404117539163816484607962987418235802739865743532515787614332345035770065308551308444636597722490569878844693159963160192284091093549983777873951809759010317150475733180765902485542996110925687991821639153064979321585766362601566853757284203670013265300112237681271089501746005933953296021009540277385362578582173281065457162844005271284855885718425303459493281642204670271516914115703166095709468000119929142648764642405674258931764681304421449470800396894333637179774233868755473963339449087350098723276371021277108952349591199012721319905180434695952677792385619048696378855062135227085342508720506189407315633424621635034417144197018801494407624469124346420207900339922185993713810272965713457627090671850864340163702004345583161564757131489003771892736728681634248470726724222116652636907799164123716376736191864265483143615562585408570041234093555565991650448663699822517511195784259358784281621046924038950007962708787251571531477691390928910060316109985343924521506858656469229167257994480855141122411301637004838857550903688604802841610146193740821388860375363770516566606961543580977798356293794065669068802627727713297597005421149897558327622389522709831032866227874666908646153971351536493229293325906089475071890125916229624440371333389801022221573788244720711416729089004796627289709330274342262826326949096024650623101433018190408730057352936682013023430622465759684145267941577531724674745474895476412613159309503260720010921588208644029528442596135931337139502861342651947450175196412209827407415171617047482995709615148639700479598641135374177281636163834774642490164024990456462073835874333398631798373271834760329862110261266965583548007789559770125326599681985287355180358455433579346264268948020007112096388184767481494632361479385506886990329980791355790168082413514769413816883693505485373166513349851748856147377109214976150372383012433400501833823025519067172579765161443055457753853516933975213099787336653274774400885115853086518247230390326346817593703950605028620124996522783243840826994490141145044653634355496034543180078694363673640002844480986528807059998316567422318991889012726826033163243136690482379147555035555401008843794982917877059844154913427830198572917992437772062530688145306981568095120797554216212526854788541648404630608503123273894525202800605755436438181874881351148141735003801823468978831368169856916655144386780973506426428057476687394231511264729370257332899680600223654520222536544833160959224805870029377018935432886665341864105617124269477153212470844967254213580188105664760418671847491340020116928177095267659638184853821246493785134636734377404141895946106658196363421736216261494281096877253510069184217558180543559298580989026265436094673492704472101580979041239702823914848927559913591870993976681395490084741727814101631036678163581236983002647289308306486269945048025298646634006608047012304724309877529264342853806999499223736414886445402806121317827863033968519701794537146170771293253271842575468045315809487752590236302911292637771676406597563888321056026840407425145074553545292283291063374085656113382353433084873856153421733974168156813947986027450637233993254487904798404587623627558223131601246967853917628838427813862371103968860900223572301694678765654038957493649178000209453936315207140568490807325323308255582143365675213334073558055403881214335383621410343026301039908863142912271011928551839102876335789333426098187844558931572176046212134531167861935325783233325902750819994976334463678229923796320371424533598297196123149342924302717263518963553978167957394404206121666002970226195594872102275462430367875248827656797323081510577604904416698984400724723560745536414405012247482373280032191886131200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000