VERTICES 1 250 433 1 250 9559 1 255 9569 1 259 9573 1 305 323 1 341 269 1 356 249 1 360 244 1 489 115 1 497 109 1 530 87 1 540 81 1 598 52 1 623 42 1 647 33 1 680 22 1 701 16 1 709 14 1 719 12 1 730 10 1 739 9 1 758 7 1 772 6 1 801 4 1 816 3 1 848 1 1 866 0 1 1322 0 1 1362 2 1 1401 4 1 1433 6 1 1463 8 1 1477 9 1 1490 10 1 1500 11 1 1516 13 1 1545 17 1 1559 19 1 1581 23 1 1591 25 1 1605 28 1 1631 34 1 1683 47 1 1694 50 1 1708 54 1 1728 60 1 1824 92 1 1835 96 1 1875 112 1 2013 181 1 2027 189 1 2057 207 1 2114 245 1 2138 263 1 2158 279 1 2589 710 1 2599 722 1 2611 737 1 2641 777 1 2727 906 1 2824 9573 1 2865 9532 1 2886 1224 1 2886 9490 VERTEX_COUNTS 19563609128112449702527687422487018903932356780741598638028810144039916612142071412022368015518433962965818915086889416246877247781872745166713712124679527261292178928989662095590838699692859158874368678026383848755978796251147358819379780366529326850499142904905939271920979173369100050726145015788744050424970106338742474824573916282880000000000000000000000000000000000000000000000000000 5604223768116740062532494240111544629258197087617633729529956660245883853117576281209819126587296965461422559822375222291556793346195964848696344907195691808940487611417347041027433818400622106482735396056227777971273529871190205236467048791553449375269443136686929593833074225292534522835841310349628803974534614793327749556822655639459465446426946861636305243619164339540081611010140432255536650790050706436592118676963154043718165195820347817729072809216139431623872011698867341075926308119550643967054195257480762069812555796224863227889433064795956812277944413681296051787163316796901909227486189134668392350253729372042382469225343050441207989279636643632694215543270003181773099362224216483188342839212177284216865548626621623901665139680045465105930903610333448952949797127635803478288373314093186062093174322680538589408192976831099464533604484241123951502350568735771410094743579591658714003209622770479775397058991063791836872704446643176494188024950155702010858345438481971757376530966754047788510925475756248217606214474907203974215167352952998077734078038863412811150753581756123487776783082966504316609935526074741932113650267942273886259307959577989300396400498550942515571991209061169141610794445441264190450488572217164844948865574043958576010512145489080555641079655052647288932769330819527999222985275730003865894717178072435881877438330476273052339098254580105581132877606980283460599506384469469966083456280080267678106973530120489151477011945556149613265487236044309292467708755558344767633593467556775132168237928809494725379382175957272218372902613907934161636316830799608981989547594413232304630598085171315998225897372543580155486101732379224516732222521755167105861827740931070092696812815794023018929120733395973324241118801292604960361357555467375140167946664015899387475377655724598214320313649315803101749619317498757237511974173923340186467986097412309439399205960483210061428029499976836503935106578000164050329805047212962100448006736537199234386364006227168236452098405600774255416578002260117032971758656724942441869773419762042123362325377150239809570274713171116011560109624609457280071515745088998456832636759700398819924628371811872245597670009673159261791655585798899921172043445894322591657148807207147471014929733633147026492756680892330081331638177734943707688574043925589728239096844176122869414592198999717067029034833675856798697777614491493698558726788284562884214998925379329150921817804251180203944624978502617844788184434753649634550985866229301490562437249739288368815736017212701898735660867284949767316899921544046486228848987009303756729376062674649690456352550702337626746357730492199573598740684026317232546635530248509379558696785585291580729991609009453667809930042103042655586770087895479159015982360469687287838251451559682188719901215993061673348850115030849168049459432349104405641085845403200922808012274001452117907241220045723301906393577936677968987359446747069735744638265821906577052032878615720530316650273144539367453566886342720216608455020913645925875331407518634251777288064908958457169751870939430185046661991907215389940437258769646939357896429010194018521439644368639522821059221395127059119686013744135366836630284760044432497062483313531065007792475496484537567064199025614453089035212373093549016053269657624108844741657716655412053638233169360839307425818228187132323317457065356188590375402188903516666890696734567516367564781745684680975914111622464794642903367745363874903031387172036688214415955543730585903934649946899735173486130542881741962723288506648826739552523333609470736112371353145382919656582860324745705203717154870908211780188629343452478418261321907800467689914314153356244245524256859304706422776476959096018592218736020212228656296842490381884060506400771438882360551699063145479584146121230283192518042758864850789996924962347293810424383142792226440772672951494639077254097116531839975473651784300052695408517857885097741310848010966263468252866866869322297983566616718785830700029508498167309756957221198210694329336383719772508891274865211156713881381514109760221029571640434436934702124122483320018605625544135948857609497284687090855273512653243483990462247596779554202920399740032545680733080639989225526578507584612402397345367558570012321492044646899750844906485772696258987930649797929396822307652056457479248519818178335508491712377005559206669756134455005621102039916807834429741457141107133467706556263689279214540901310465632049256240924996014059864126980679997218140598681044803019865448971683646322077171221477915161697507601399610505452256992418409477898925807399007744161645732204910497483955148646907217949169297259545845900554192024664067216038808632552823441090683345468497849083179080933062311241951509613301466769593571453460518683735882268038409666497163067859202268220875754176093174783555455016666191054762579824564310258183379180317525984943787914970732795509407068374147763079797292799639504470361704140766479165022077750894952313295273151151140119035895399266453983723731293619099342807592069041353231093303845287079430297503591843834472840713634920880922699905238457378583380785009140149346778428838255216583623416791792529750090680540861913421070250489610980774178439251982106907882033232094934144172673548387890883923179014634628575920463688731620776833853791421494790996053131191603853908790305746104521754887295735949495653725489936482345319762000278432370491969495695292593093651818865914883392461118199079256734968526469824138364602306903968736720336278415376665983977797294240997304918663788929603259151843615003931343618880395326943814808288250899978855286720582224366928956964666021603507861559208522460208874282670822233096601748127472348585535964375247866471663131181096749693532389275633743158636563416031998921185407473198071412530400809250057828458244953083967481475819896979178599785708189880054854127685066814336477528689141601332137098170987914482869510077016194787038106373680328845717623717950557607376174868575860874338322428151634602994443606669729970561723291642048536032725490071671352477940645189765855725638111659028185079494759264859377546146164408702366281876649419169115697121557206427574635378061278986601659273285175047974536919942716696453769217327377249472950022840979747488377217181100206992456117988854697902154429911990157597780661749769206619995466339521060351251872441943999484789063881944061360393295705611893473229562405903103162254354287060565444076063695261433865419501861095944419091327706486951162375405246402902406509769017582749484450756954000055936977916708858000605088391387282826664055449266052094089890255511486941556331503839282689947377222168354118766748665278505231889687435160661451403817382255028997586357228891230427568457177110982702338202461352087156030349439181227449862577175945381575829217186891244976412469433391384287324902367002668772779316164452685751634909705482847268096360586638070433312819397604022969044929920294387729504114013467677859040812236142043325634124283488137970977452406404690232703864071421485762098158292050358224549574818114889344415117453377303165193668520480961878871121450048205794661146487504290236387329208232120862174081142310635986010226440824709174941189810786030392352575637132364981939237005091834216035334447623996927729701610427902943792152627525954818855833690178579834263698908321024602981490002335288099109456819015732045742983010481430041527538641645633861928674845439973060795178430148183024434502946364165188517553653101165934729956130407346442605045194330462431599904272417311105652816784113976052547376296599457404852662439992103266204130872988639105353263057892068893494013904454554586999520855859841212868393563498981387998164886046992021499899738282314751652631147321534593138243693853774967416361972299513760744437081094525141804550630365057251016764121872496103167363190464984060743546705541559317342556462998720476527928790128544805937706128711110734229256904516129734484409432675983804476442221052842044314208931784366778381073414874076774180021230179782686113098885712880709634008456785693896788522567681028558563392744534458065322251900781526628882954048779767936204269553290092895211339940731984362872450313843815997383457334685541496119849526819298864126188038367902110502558880265601112394092908945948924351796483992567623346828142283673942855541089631125348514907568345901767487708994893790806905770151654966991938754645272693625057519377134457747313218019146413705497986285051665515886994019044348811804855754018910582057552409166884582188114495454539356372392357991675426945194813808727205463855424755616991332325265468863825579097307149368208881620255302177241340692762278323043264674704910544632455573382893049102939614056967171959590006323477948398094319853427834785763239056899871384020588701687608380609367466974096687339751247404843163800784899903118788114255074400665600000000000000000000000000000000000000000000000000000000000000000 560422376811674006253249424011154462925819708761763372952995666024588385311757628120981912658729696546142255982237522229155679334619596484869634490719569180894048761141734704102743381840062210648273539605622777797127352987119020523646704879155344937526944313668692959383307422529253452283584131034962880397453461479332774955682265563945946544642694686163630524361916433954008161101014043225553665079005070643659211867696315404371816519582034781772907280921613943162387201169886734107592630811955064396705419525748076206981255579622486322788943306479595681227794441368129605178716331679690190922748618913466839235025372937204238246922534305044120798927963664363269421554327000318177309936222421648318834283921217728421686554862662162390166513968004546510593090361033344895294979712763580347828837331409318606209317432268053858940819297683109946453360448424112395150235056873577141009474357959165871400320962277047977539705899106379183687270444664317649418802495015570201085834543848197175737653096675404778851092547575624821760621447490720397421516735295299807773407803886341281115075358175612348777678308296650431660993552607474193211365026794227388625930795957798930039640049855094251557199120906116914161079444544126419045048857221716484494886557404395857601051214548908055564107965505264728893276933081952799922298527573000386589471717807243588187743833047627305233909825458010558113287760698028346059950638446946996608345628008026767810697353012048915147701194555614961326548723604430929246770875555834476763359346755677513216823792880949472537938217595727221837290261390793416163631683079960898198954759441323230463059808517131599822589737254358015548610173237922451673222252175516710586182774093107009269681281579402301892912073339597332424111880129260496036135755546737514016794666401589938747537765572459821432031364931580310174961931749875723751197417392334018646798609741230943939920596048321006142802949997683650393510657800016405032980504721296210044800673653719923438636400622716823645209840560077425541657800226011703297175865672494244186977341976204212336232537715023980957027471317111601156010962460945728007151574508899845683263675970039881992462837181187224559767000967315926179165558579889992117204344589432259165714880720714747101492973363314702649275668089233008133163817773494370768857404392558972823909684417612286941459219899971706702903483367585679869777761449149369855872678828456288421499892537932915092181780425118020394462497850261784478818443475364963455098586622930149056243724973928836881573601721270189873566086728494976731689992154404648622884898700930375672937606267464969045635255070233762674635773049219957359874068402631723254663553024850937955869678558529158072999160900945366780993004210304265558677008789547915901598236046968728783825145155968218871990121599306167334885011503084916804945943234910440564108584540320092280801227400145211790724122004572330190639357793667796898735944674706973574463826582190657705203287861572053031665027314453936745356688634272021660845502091364592587533140751863425177728806490895845716975187093943018504666199190721538994043725876964693935789642901019401852143964436863952282105922139512705911968601374413536683663028476004443249706248331353106500779247549648453756706419902561445308903521237309354901605326965762410884474165771665541205363823316936083930742581822818713232331745706535618859037540218890351666689069673456751636756478174568468097591411162246479464290336774536387490303138717203668821441595554373058590393464994689973517348613054288174196272328850664882673955252333360947073611237135314538291965658286032474570520371715487090821178018862934345247841826132190780046768991431415335624424552425685930470642277647695909601859221873602021222865629684249038188406050640077143888236055169906314547958414612123028319251804275886485078999692496234729381042438314279222644077267295149463907725409711653183997547365178430005269540851785788509774131084801096626346825286686686932229798356661671878583070002950849816730975695722119821069432933638371977250889127486521115671388138151410976022102957164043443693470212412248332001860562554413594885760949728468709085527351265324348399046224759677955420292039974003254568073308063998922552657850758461240239734536755857001232149204464689975084490648577269625898793064979792939682230765205645747924851981817833550849171237700555920666975613445500562110203991680783442974145714110713346770655626368927921454090131046563204925624092499601405986412698067999721814059868104480301986544897168364632207717122147791516169750760139961050545225699241840947789892580739900774416164573220491049748395514864690721794916929725954584590055419202466406721603880863255282344109068334546849784908317908093306231124195150961330146676959357145346051868373588226803840966649716306785920226822087575417609317478355545501666619105476257982456431025818337918031752598494378791497073279550940706837414776307979729279963950447036170414076647916502207775089495231329527315115114011903589539926645398372373129361909934280759206904135323109330384528707943029750359184383447284071363492088092269990523845737858338078500914014934677842883825521658362341679179252975009068054086191342107025048961098077417843925198210690788203323209493414417267354838789088392317901463462857592046368873162077683385379142149479099605313119160385390879030574610452175488729573594949565372548993648234531976200027843237049196949569529259309365181886591488339246111819907925673496852646982413836460230690396873672033627841537666598397779729424099730491866378892960325915184361500393134361888039532694381480828825089997885528672058222436692895696466602160350786155920852246020887428267082223309660174812747234858553596437524786647166313118109674969353238927563374315863656341603199892118540747319807141253040080925005782845824495308396748147581989697917859978570818988005485412768506681433647752868914160133213709817098791448286951007701619478703810637368032884571762371795055760737617486857586087433832242815163460299444360666972997056172329164204853603272549007167135247794064518976585572563811165902818507949475926485937754614616440870236628187664941916911569712155720642757463537806127898660165927328517504797453691994271669645376921732737724947295002284097974748837721718110020699245611798885469790215442991199015759778066174976920661999546633952106035125187244194399948478906388194406136039329570561189347322956240590310316225435428706056544407606369526143386541950186109594441909132770648695116237540524640290240650976901758274948445075695400005593697791670885800060508839138728282666405544926605209408989025551148694155633150383928268994737722216835411876674866527850523188968743516066145140381738225502899758635722889123042756845717711098270233820246135208715603034943918122744986257717594538157582921718689124497641246943339138428732490236700266877277931616445268575163490970548284726809636058663807043331281939760402296904492992029438772950411401346767785904081223614204332563412428348813797097745240640469023270386407142148576209815829205035822454957481811488934441511745337730316519366852048096187887112145004820579466114648750429023638732920823212086217408114231063598601022644082470917494118981078603039235257563713236498193923700509183421603533444762399692772970161042790294379215262752595481885583369017857983426369890832102460298149000233528809910945681901573204574298301048143004152753864164563386192867484543997306079517843014818302443450294636416518851755365310116593472995613040734644260504519433046243159990427241731110565281678411397605254737629659945740485266243999210326620413087298863910535326305789206889349401390445455458699952085585984121286839356349898138799816488604699202149989973828231475165263114732153459313824369385377496741636197229951376074443708109452514180455063036505725101676412187249610316736319046498406074354670554155931734255646299872047652792879012854480593770612871111073422925690451612973448440943267598380447644222105284204431420893178436677838107341487407677418002123017978268611309888571288070963400845678569389678852256768102855856339274453445806532225190078152662888295404877976793620426955329009289521133994073198436287245031384381599738345733468554149611984952681929886412618803836790211050255888026560111239409290894594892435179648399256762334682814228367394285554108963112534851490756834590176748770899489379080690577015165496699193875464527269362505751937713445774731321801914641370549798628505166551588699401904434881180485575401891058205755240916688458218811449545453935637239235799167542694519481380872720546385542475561699133232526546886382557909730714936820888162025530217724134069276227832304326467470491054463245557338289304910293961405696717195959000632347794839809431985342783478576323905689987138402058870168760838060936746697409668733975124740484316380078489990311878811425507440066560000000000000000000000000000000000000000000000000000000000000000000000 89167808314633818238099197632660407537950129814503227489746212679041914551437081145052601470348173077616503052345817464085041264747095987095036549774828596553052756965110308074893132707184039932287078899237598966302995144217358985409025480979504626381238406144386832472104401987316089631549399323550680237560635320570524988179791332296619622947633159079858615140366982875120850575412962496986206979744853071132446757810445709667664191854797038401297739031473458254306371214762937026849543187297488914925784584903205070439556961121563590569860242155028233098912645589553663391882374846555949495452487909193892258670703268699933351510092998537242771450054094575146118580370699028915763656442186703971232160488735668118367782056612512821838526549261869612962475757158474870435826510681933963298789202716813176533519930380452990139231057585194116140224426879141141446542629553900231659946755770014192124400242553441894124392541394181104108326379792527773372408197789910694382289047002142641182243946150791271945060230835422945809515554474132511049766237837541125991074134506990024112866814093934284338504147023011920426384401603477353722538619202120533830757352009789160146650813436351182662124303246860731304206417860450936522162932707783578769653654353607618070107653712667829010114701411314365610299592687393947075656392223977825750856833521017319752209382209573670528445740846175869653198378420855884933862618732757638978105408585892649186129545847624571781351749122386471161954357686455773803065839556845423263716820500671550086518874638999003731150854332059919124693074948284601269827048868851418621765695816688819201847068939138765421557208168744406945508292810030266493456054534979656895858631098262448725200398986081886118018238033341414750479709671260365270036066660282380449256474691884556785025021763700353706787642370391706754275802428816855141405968707922128242211292832323164861317989756147444385405541433573297013691846597510716220486893261741201112682531910724813778593026666702451584061706987871609443933834066802134691134635666115967545884056224061704284273236414514534842608043961191591097662605247342650622922052921532201850971097919185387821857174437921792942922073015639581520069784168006604685242392390533913499079025549423282552783398870850921019819786488709051197692558731656849116440941964719802539907143234220903899168994032335155208377030667432349864244030832592622805360059046060086521035516855513708820222581374154862254836653053450084255285546495725541348101818599702119039077311272232337337289848657946239725669356699590955628025679911168775368394795753616672101399640658675563340928557300626477413427995905067368139252363765832446929709192336800992695261361086147418651380638148389242654409058205906468060938157277518121147920536541422490647518475728308599842226691494467857244120334279060071684094769791185091150644770734142136809513915270590435658409970655801531679291774559505603849170481779178578339542742881576163228176195264727777481758441338814468958573175863653266639046592099886222802384667246228523238975610622211013436855114186848374384507529669918490192617300481919543318204871890205401362836734191663072489497959562275369084945788122708665736762499986760254603954970930765394870300708805003140670940403254440944625025531793350400407556631710957061458550545366651615323446890014426115365229107574057430848535802751013091278807830374310356368643161382935129320560041455825395004221313881719247060903172298008136748007221236442622076733519818149517679001222472417515297003889184602439466104251446174880353772630215033868862895007141765184363072353959257034868776343089012388901220000222113711926832844717598266728635999554755070135104298946047922967252024183224371094997100686851156666207138681180034311923282357360162603682870230597111161959120275958567638208724329066223792630771964177048194259318437099128257477423694870811264171310238790167360395589974352117142232786803942264708413867357565786626991733452963747834313998604706615150174907398589335304340469612431779960537779972772995057065020725697408555919384389359014996851718434273564396683935908743755730847009815841746071304559437420653398372493467602918041820278026019243815095458425765837439239777087036857457698672119099922476251536366994149494618057486305941959480336488481082072786300000726360185770907732650913718534675351099918901429895543151420547421963961163966547704437013660328875175528026821156433716380442497491172246035865670377968983725758566629877811972869692827974608751734941071185360993016841151271396276970855416602374716016366133985330232248274699851130786308101068461972653505607610539218729627685057030824541311053186085088316720205718138727448483780037501859587370016694526746525910429981518034679724980447915389770250037772610498647600378298282420142416110646309440557479432254604092588365793573949488719606983360027456026550000816379400872658861766675452636334419268833640012906736718575068288990310078687373372571556795186417544944115862473634351453096807490729583572746033931686184457539270796536235881135242814180429760840393387862920383021682544688617090751518990503252631325134754658557454998303717233585493988340812055202247762710086263914915128831500286669746691558012093254871247936640615115758998863478081321536783450488276833377318450400018041417090612633624098700934560311083737553097827696974774294325511146538984743025924376178151324586315556859062217896959665979053998353602474791948875539222970500854580120178113154954654215803507015171980950804539710928872379252653654344030506141966965835456063945873957856697754715041940913059590093249457488954043005187808140344810970930784494482394451646440176596520848192004292294415520543857356449836938657868676413749805359377277782560992083899377481974450281866826854147160660196242131400005218793924460172112622126199318681709589466262363770838068669539964116542993291550084047805364712712911481759689114638687602481730525795411644750250423894709730315316967277574900616102834998899308335524675015894745612792358977446165283073904210494283054230225927740859829108809574835638014406084037443366140329969584534720042244396507708302005107434123898778736226977172464808286293454672009530451152020385554761260746262943486267161760919462183350817590718004668347930683852126095166208456616550328315738691176067149607973369401672203160145312398377799603368169730869648887762036064937328228474745246296096813407176876013880383995036257570909407122478435709681621338175934689687285802739252295277950350236757876319579342034314492010861816075799136326870015834335617571980548153381602943687804925037654501345176751565384410694800775980786120362729731740445021150058008293187048382062485460638204537140063939027099705145117726349479437948103550018326369234777371802232569696791346952605722149308149905345600369073754603728859052708086171094124527410566135762091670848601930418477840888346079588830425134883885250013579089183641130517466288265772440080782489028423042804343173086524543469891932267028660020414608062311766532234437685738737932382519616158736426390798877042760822571401434750804292281367764388200225226692092201700344730416251402496310796270336446963705153603253380116896584531138881997860783659817570992994332326552447770934590506128366637123313805943284832869473756270701302558952661707480849201045011539516352529135432841124814267073795485495010159848200060786115379241813873522788435695250089149113147482292145952172257444344674465018764030021903117019663929358960482160188920268773962536348536035877236813411690250754879416761468162002377828970607754445349285601478263958214006988656550386105396624334205449021198633659183368680249363557506204115428082751037890557115038838227791238523164080372408724376505631818680701910838627129577537479929278154242908237028596669556869411619091965444122979808640009145263975551222780941196429202090614550667436886542808190915548381246027321400276881272629961902968488318811772781846078198374828721902227918222004374445203648464449923889323710373089461973146851081500176752429501424886127913072537790244748024509870691008077520393856052917076529624214597466064983173831664370183929539056264671874865488590098204205970521004307225997248146609340293387862642267433466874976086868980535987084458871467181785666576188923834906351470894819855981415541837776307895642175123824532112943720935227644685126604012276094929582338297892812158076379389189648013665424945518110994666096795786630071231780628168466044225509057663836950394239183759478400057582655007923905008156025951369640482867397086886662673842783743715417436021263349918817468234902592214817679538361145806219498522206820675392174782745468139992135675024869503738736491107872271573140050287574875238336264016327174190851252500679759206701136543831050902272337882739247820054418870582230469883961031188079624461225698477831255400140092871206953287680000000000000000000000000000000000000000000000000000000000000000000000 16974945163375435809622114064513341900681957365292692719456203627734028535515730475481405557104422829214275563814342134957822456659154838767000865098601046628055111963501215328694517120751036261099334770247358018124458088076813533184000000000000000000000000000000000000 6245943268273898310177765725667277434648251612709231244639295667739056894388852119604561864731970886377230800847879395805330750739854885187882570244751109875947439135407843305290214541151436800000000000000000000000000000000000 21740830260784455874174376567923703469119683906160802322670528238540907723619588660869892063246270897577379695570316400644355335414869709350870206553495729786313995284447345246208000000000000000000000000000000000 6039119516884571076159549046645473185866578862822445089630702288483585478783219072463858906457297471549272137658421222401209815393019363708575057375971036051753887579013151457280000000000000000000000000000000 5742360791032361314250447157296444766935287920971689763788831747040996082517905600675840000000000000000 876200013585032190049673720273928014351457101545794635983104493033868767845679104000000000000000 262472050056347872762771914821744224722972090527740940255232000000000000000 70705463441807103291919177878849884017288818452751974400000000000000 710858676435955241260565304893767680000000000000 3337291234193873039815451502182400000000 3648269747468049586575114240000000 643950945694082138112000 6165277896121344000 2614726033920000 10622324512800 272367295200 25803217440 11675664 11027016 25704 71604 17 1 1 22 3696 280896 211386599424 15642608357376 18112493887488 46227409772544 40961687550271488 813294306310640394240 30711812965576630272000 15171635604994855354368000 2366775154379197435281408000 31951464584119165376299008000 9307845050928922304100416618496000 43193563890903937196786294837791948800000000 431762864653475756219075803198568320204800000000 331593880053869380776250216856500469917286400000000 1261951566376440043411329396722453216942358528000000000 1898378120955151689997884824095382971550417280330452601541754880000000000000 37967562419103033799957696481907659431008345606609052030835097600000000000000 41143916910813666707725654189109651384553196822236557269930970153948597452800000000000000000 114471602271998959606329410542874734655077810510598898550660015395430711372991692999844597204678455433625600000000000000000000000000 34492583196598726508579177984779015046268045863053660111284875838951181950909856934713174029713712191260065792000000000000000000000000000 7566326162885765381699376718751990128403802957843479413525157197513136665886259090661339179805068431438511641796280320000000000000000000000000000 310497589950254726094043884692528766898479484341235125124479915850665237792746563506111197650169472415153158449410747528775514462759547998044160000000000000000000000000000000 246955693030727242053906936732375435739199018466734357302349453787338574131483033090572804387273899821808202831970720837623842298412371495379619343928509071360000000000000000000000000000000 9624441233729132524587159466692624489276215475351850062468645711814446606167361469837054127334330096981448695556525802528961174160108402124242954142158791222126182400000000000000000000000000000000 25155226661046433894149021876663477012082802820552837549189072940445045865742467784224372339281755588477320084422477336425981920208624145513150475915714527606713818850274384943435657080231723529787103624874533271539076602802892835287261752294538886385811179982109370970225053092699436195283167073549703156086171875266770059063824301240695409082368000000000000000000000000000000000000000000000000000000000000000000000000000000000 23343744453894892329134139449437686439332374090590735323142861549606046751651282675351961362485823519958997154131832390878900282013453470166594201739995946530374726253017409890987377592864943817884309952703488401663681172229594467969701813026424184973174323559448913810417851333379469564078644400942510164457589492397559370887310735447862252772263062405120000000000000000000000000000000000000000000000000000000000000000000000000000000000 198175577275011835288456262419577211797997245458033708181007668800136518278360294741850991099573171385774344952614924438733566831069985710044526418947810200363788747116774681749574735658131376411971570506716401093457259334936104399847082290154069981661929755354532461759925723090140458475330451662508135722217769729941832759429205556317694843103734133456050478645248000000000000000000000000000000000000000000000000000000000000000000000000000000000000 14138284324844472920210652040992655811985881372952915791511068718114109075243095598435363277180423035362256550990597037687480187529999575216342354582332772341354405291284654238699436943415282991345030647206317675053254322243199848610244288977106084369707678015821966451064757807695255274919205621458882101593832481466117029825772654570364677522658974083459928061850355272843099952381952000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 10811789773321608082526890504349180665218561574901621368411462163164782602384159522053575172204492462607665560254412793807134977024552003011917834700094284795290280005169395705432260098044462433528868015373018892819304721633991417351036521265515996184936903993663136172933974216097945638263350695514991553702111691397855623078936207045899439505444887459724327062843887297006959183659598351763456204080204378521678066885436134243879685297053723633880556826211123200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1508361687467860630011827209813948704940962320793584959010458490500003370517488506105051496506484467309373911247033992819788908864329715668102480648688529618809998538659531631147930056951675144387194106767911536575344134001302796593877700674364034634755397911504100916600197048802738018664836323965519467589324337840775544392006016725582535239496345323842225068191754236249780299014147392681699535611164828026270514494803471920279935495989252760512008651578955546458853302855480159516026928076122349258296985964279404487093892698965567324085109751403350860217236720197283606511193139440707603948203842066846809174048521057917299151410639904985557313140684750083683181764073010156547655404526661699564471309728447934502310777264588571287005531362029536037110951277864548733641998105462651102922506915110708673363030482651899688883148888292326460721747132136766467998492523221180377537173887011327652436955596431825390283351943273762692901537158275993503326523452184099963213875333459821492904077629117085776134385105245794780639598507312959099878500150745657338869607151187034769733722536219576346141111147305290214356926307121640685684119705546646886802836043706952315172599392371892867405120349007215725486685369464113706474591311572116040932217121534211588869622932545705330084831253411889949655840974306255258278070876236361494741468363561779540171125494832246131003101025756623019424381551011637981826593087225207463600050732307479837116266494430989397933063337437860166896870857406577367681786219983167426429507199927994020553084840654119838242172394007554706990203939121297630914363341448022035598518502711134875810080406838102313195643950945071074894674387136127960864486310858387231230095439508179772788596258293298898294069495080661872804150681360756206036998574863641156163532514153123878961574889851556954743273348649399698956637017551759138242740162178169759501742981471082916951927096072651705352790184265053866058194008624704167886385441172020658075149794359418251285477850023079062061862425622693109860703651646738320029797559273054665314271604543876500425941789869652264556693438483015362690637405795598200972020420565057721225543100429757730884404615814551925099431829620633793148347577489310245516394146409027406053145482519486264572373641925191918231253888672606847792851219878488483765670044344156763762550647135632639575011430105471495246456591434585916281859241105160958214507170880580321750064271473650943088601402786037737077162156960311159541361036179274546410663737251135583479385291057135212425963129219606180035651482707806956730668415406014732211731108666258836616445666284513186017659440569074766071243485477958228685957566566141490907372877438052517180655867397544146732531964178855574787296864984011916167488826068841006595749181120047645708607638062777242938310950816813760599205390492902166604381269001118998323762944875278275560702933113001206765732527107020335665004230865277093016271064096874912728959354745739414000219126855977742788737669730578204869347312929382271133870191470300356213411484260374650520580272467459882822751091704511198623222731889150069425264767944823950881484621496358736423681970780211639521544473592158412005789447102509835279780073131283395528838570657770311056059086598779060690617443050505884635458081902234202143795099692419744650955566987243159310059126656344759037199367543066445919373168887270855269050232347739623125187678618272100271474442301536331528064422248608469854373356235334753651216655172049089054178458161077325068209010756431210815719814542323527721257096186382923525590769017537414999129605537013180930796283181168959542860759455990442498578081520326109650813535102066562448906802407422809672280156527439408981549168238294091967938241803774814318272415165629581947497998333245606541035306028492669460184560602446082525431508756052312780906900447444139608568998256158005351468022446649187280258753395198395279757013412104832119535826677837801202516181330520484218828760576054360678231154127037984813955632298598940892491170840399222669358836436285818625626922927763018728901851392762142906257194779992093357511282518349167690297481848795109257490095223922827595727339317488022941523821912088090542361272731631154278212002485740487512066163496742763940152694271132783709242680536426896405411168364084447393334043912491966107662072417872998799012884053895834987930623468890749763868762019954995392025178629382053347633271859617745024120921404537754892219761185348428625658363224440663977779371838098368992488913257296985625056623282884879164682706991906043809161981832672215625057189684425064334682857909610820154881334300807840243532058474823147323203950447001633230502534997579800015266001909107834586824246272749871053625978801505493329999726769773873300571037663923117876466948827536899044922067741286542718588298938821230579741030197476476189129842014457058405634385320146755670436794725279029555566680209871330877107664100161372072250820053921665453729511460286651350692375393371982424207622387105356700961489801498753015742396028650978693175785980756526415276428158755146658420160852634688277517985127996864377037954474788351289270207458427867024377201961127486854993477505187961098452574053335395469167166014949535303784198300480075980338932977864139424231957749092542514121936147834820139502708543576007293215613907023928877928012811600124872859418621991070893533996085185969693192355383035769062743635634752109682524865304971231056786613451893142625896622148410972294690271177629313038313514677152029664071312037563391910599414809158312413469272997315265411870494689674247874356990787354801164064270001144752941869746115473194485700652607328572480337934121619374924471235917578520984507109924779525369363635507439155864279840046453664114710289723975587312933083310470128238212365275588209679508919629976230040920733288605455435767661472231139262883198693407787101250653970067450122863472095200856434430029097114734134640640612773610876879510785557770331509693079380999054660019604180474209218126633239603129810074092282083771797559670911276377650302243147729467997734176930783012585617397278635918312666574057110189885878078751753029518184601687451915876530903645002398671069023175173802362852446750909064147280469430218008933377179967601185386730719134512441122137158796079352054735400608719909689245824292872704206430781048657192967747994460792600418746337847039884445774436826128564484808915402891505303191740157240076407354315833281522054483038614501546708416677870712015167857367066164410095628108036231433908227501055364584461750230503415547179605288754278771799537458586681612224540687098179827954408209839354402551555996336728048850548656372989000032306678415277448883443111655006829299377839808345603321472034247634733626138839562860719960020972242921714675309136745071914557219120701874108915726964390187040026834953949857974743639361801793885900389379343885769951578052003850916768274677153979707796922337041092082357653074464342782474982185671655276281532929934103352032743729516240409792461728096382934049106468162731320983248208662905173890376533921618125862611161308933318623173896502837523014013856104450302793965598605752547250448486071265497590353679473662979547830768176551528794631133159430388554286725218037366209377989563413168100923394064089704220296797142536623293817938645050098185795186411844991493694902766049213299835391148252501308134389295779846769647880071504743090542457455391508189493285553726418739223558719552435149336672354131221394237174115440123038907128343226947784888608440422949572511898579882343477133116787806375869810726199049817249092456172846930973183543897674546917077726875402578770576765755220803289219470326627373078151125252656725346268327911684927191400347028197974589796132994363819332449240993289020721085905213832596726599849520236144996115559597718626946371322041968614294094261739040276480000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 6239680202126864220613471766472324000540276652725411318675674198146533642695083021380587377128068742263427280485794390552060408164527148832310337977823576031095694229601108631213982547992394301846288412390691627503219035213958108518984996780582131522725586241278728358526491523814757919652989317993232642392564996431374754643610804441705970592707018983028934956108985049935261322082325526995317935724741089745934886408495323106605897774618095257307907690073480237273502348682334132553216132316649821431143181507017574844390444143190158213940015663627577601250661320793128685982583701075678875850314815708889704003915810865343324760853175383609085596413360652158447721430326864834712707313797557572268858029584746215070988838428490245647207840665797368525183793148717399113008669605142298611004989492998819440373037391782424803615215003712178856518857880435237472951508773636948600949935117859188481584947115646790155847753773870905750904314688789085725340984751106940180623990869443300398191230223281082823045777398627343081607751460367095111211721523935116858490040561695540352898145316247259963441906571239035549996710221955115122481108428365860704313670875569908293097187200349087887871004991401854866530289842306585032731530799887152860650938426512283106277966245196971561158175689748027631031939336978756061516660813698156926231604041651909025209821876819801382973928588087059014653194636403990339020611912023068557194877079763787772316897753814763253694068351454573164750009137786396238797543636285437742041732340354052865971989830595829184083316018518017244710125664517491422104586404452837115491956871095844510670423965126771293735548724032983632276412936555065241930303876833151253667911803668753645573239144704917817336323211104745767827027881398605315356853515988876840075097379934577027852408992987205522177050051200688434188143916849814093591728472957314789774056515985690170540410169389505943589075354439569858791846510074854142985674256899350876236264545749539006539096088353981316042742762913768200213019277185272517188932532162575367659739466775083414709512591562982573268069864263352938311513231872719628103933249599337365053264505428604764345630815253191874683562295761297802732696056127586483122952222672757689269084855649206899362210438408519656992345901288528442566792365374982387804123364643691598099045550590683440376532089499004187178385311410458763331563002623087943086131222479790396733763438594196304354339738831029741847888547824110756785378598800951071231968506989932341227903967844570559964200430410547616423728093102126878094726652604038364189178967010753849323602335668231676304748405896319626678872607953201511392614788546527637287278772258223890872618354349952622749325633406591789243255158178700720237873082369112278315447267884660132057467038537323374296165662163369620480567156537343904293252752164109289282228664636743836687397655957797449285101447265993221954848809128618221888203519309751966022796614696574695776485878482005146280403680068211515482947458177606581465462936248218235032569503073771005950885248566471625796885957607556376070243237387963420226141704682483067375243569422113214706782414355850943119967614623011417210964366892508938279810422037437727183038652763805253344179995889045264674987621527746312551297123164840854895136220888332094962308893518763711793688302959277422029218628001671389010918526268467480960831763956539067366254072304817481421603428367934292428005505057294670633261766510854299609980927371979100632206371545764420416596706886130636432452775629995287280994846190060087449656113429246883808515307192420459229363581765951651295780081553715786988137221766267649420035072797790624080275421778181432915740923885534659067482088121934649313780984488979958234638612132135229444463491236551159032767142766685033493787899617325242300149306868802176748500901384462595545098108542686826345365681008458372228177126529659299908832446831534348652621415523705593739380124239254087607824587077941008071147872342364414720049944387588506412238825796234194821796234038641115957331408073030039514509360085754244519168892019671501712215359657904427077263434489197067635543249190329912365099992972239490728589382910778322576157495271126948529605429435755794512362719155924115362591601749458972748209462046224134820021783463514178156841777862307395890383465831134965881068005104861906665882054813903662459976769177464458672828014947567923436258357432388952185567772281794348556007085358848308205778404515239375819455249887631372503696205085821958520571787241131419900790590058568471816814538555056926287028213642143400815974322448841422935623664108149989105591415447671333440672430982688044854817119688728648813803795392939324546306084509745021851438654322686611573383745912470370778246305481708200848965640439672136170744903039199385432811858875223343815014318079610204486480126053983168188546259062209498183190813326151545010882427588036362299620222359919104484554913632426974782784732920008510439605513386733702431209141261679295148753718351542526531876899466563924515967394955214689537388109529633121480107282145372277956598014265482858091571155081476722498316232312868159616473279063135716987719509634217941043592117585248931707378741633784155201338387228073514891585811222774631468107962919718354065670583758695039183651121206797645037960302968363164688349251180980971758085101066931623733661488802679179277032591448218201303441872903508864098139451576031059013588644267427252638803317107513166288529397645665964281348929095833927942739202683242621538920659729669487896456541866265377956284348158568945679309632045180298559898561394552792256687507947228313636103039932764178797878748452259678453707942872921867704885101927318253409375685932989074862633213673812262417711581084813106784815665821212591286234122733953282726407090491163349077911983649486932579608832632027859989849758474780681477278547399357875018688718402608399260840577379320469232729538081013292689285207301072119738622507735111180970903549939651104554993256403417949174045246790796047973166718764573148810506763828113961565541345441386316726483795288661687284365770762679655770090721149335121730163588545355029547883495948967516918991781944131462463101244857037956654801149295402957965827442813082654215973665311237658112868202694890658279338162924027561552292619042103912165005487771011554019397616206510639768528188326230175698698241771036721668869785719093851556398847984759075583360024022231533537549566461511929923747979098520189843309626742070822621172073476863450389747708077938808780429410742712433542810806901859502556035667956039603108810411346305900219491553966757097335097177802315862921888415428666884965433457530394260857864240138069933716998492352530273122066237792427482630697249493339293697522668311994619856602873348271399401099283094401389047181074906235462479651755145330257620958917676276576763609757752695109371030280263110103897003893084386545412560436681775111105134602651049562002375891937716176941551787702881614119202356134239142624418706050160297110021902570299265912111581025747759542178713886017118472418594310687630406400756470946161125849143084479596582114722404060215893916884343158035843314693817982421642722529222892526890235942021389624153234959649172181234433304307121398602361765959736634970370499883128851001112671424690737340197800382799753258809726651679915710509411377229187761970958359299761267742725723834870606250265858092280218938195893196209441197845942324238972591284595972071405952032938892944585572703218923030112123178200142376113502647677860280469607591413340711920584732768715066079615387444926722655036367926637246895619523309363840253500629130730488376720351500182423085781866083914104896459046365719142011809226521126308744401480435964775015505100252841477735387019133976566327973806991737670860800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 3217929172053082259039184621564068664571394484260346389031272774130022704023487025641794648337978089006728013656154604355723223412540273371551756419058739401076505991360142000250196720786257689325782493449308977851804057235902478155813516759112153153490521075089274133483897568494049234102501612422409321319411436543333947261285603865195660668459330383149865464298088640440307746570448854023252909209462416984443817383741002533249010854074041207050079292888502151422337943499928569726150552477382547330946720399748200370364021835060154101205056717385284973548940386421970262503680987120879970171318400174373822345401470631254800631727628456288590526954001702969689296076800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 519973350177238685051122647206027000045023054393784276556306183178877803557923585115048948094005728521952273373816199212671700680377262402692528164818631335924641185800092385934498545666032858487190701032557635625268252934496509043248749731715177626893798853439894029877207626984563159971082443166102720199380416369281229553634233703475497549392251581919077913009082087494605110173527127249609827977061757478827907200707943592217158147884841271442325640839456686439458529056861177712768011026387485119261931792251464570365870345265846517828334638635631466770888443399427390498548641756306572987526234642407475333659650905445277063404431281967423799701113387679870643452527238736226058942816463131022404835798728851255915736535707520470600653388816447377098649429059783259417389133761858217583749124416568286697753115981868733634601250309348238043238156702936456079292397803079050079161259821599040132078926303899179653979481155908812575359557399090477111748729258911681718665905786941699849269185273423568587148116552278590133979288363924592600976793661259738207503380141295029408178776353938330286825547603252962499725851829592926873425702363821725359472572964159024424765600029090657322583749283487905544190820192215419394294233323929405054244868876023592189830520433080963429847974145668969252661611414896338459721734474846410519300336804325752100818489734983448581160715673921584554432886366999194918384326001922379766239756646982314359741479484563604474505695954547763729167428148866353233128636357119811836811028362837738830999152549652432006943001543168103725843805376457618508715533704403092957663072591320375889201997093897607811295727002748636023034411379588770160858656402762604472325983639062803797769928725409818111360267592062147318918990116550442946404459665739736672924781661214752321034082748933793514754170933390702849011993070817841132644039413109565814504709665474180878367514115792161965756279536630821565987209172904511915472854741612573019688712145794917211591340696165109670228563576147350017751606432106043099077711013547947304978288897923617892459382630248547772339155355279411525959435989393302341994437466611447087772042119050397028802567937765989556963524646774816894391338010632206926912685222729807439090404637433908280184203200709971416028825107377370213899363781248532317010280386974299841587129215890286698044340791583682264865442617538230277630250218590661923844268539982533061146953216183025362861644902585811820657378985342563065448216566745922602664042249161028435658663987047546663683369200878968035310674425177239841227221050336530349098247250896154110300194639019306358729033824693302223239383996100125949384565712210636440606564354851990906051529529162718562443802783882649103604596514891726686489423530759356526287272323721677671455586544776947858013805180280801706713929711445325357771062680342440773519055386395319723949804663149787440425120605499435162904067427384851824016959942479330501899717891381224648040489873500428856700306672350959623578954848133881788788578020684852919380791922814250495907104047205968816407163133963031339186936448996951685511808723540255614603630785176101225565201196320911926663967885250951434247030574375744856650868503119810598586554396983771112014999657420438722915635127312192712608093597070071241261351740694341246859074459896975982807358579939785169101552333472615750909877189038956746735980329711588947187839358734790118466952363994524369000458754774555886105147209237858300831743947664925052683864295480368368049725573844219702704397969166273940082903849171673954138009452437240317376275599368371602446965147162637607981673462809648915678101813855637451669589399815885340022951814848452742978410323794554922290174010161220776148415374081663186219884344344602453705290936379263252730595230557086124482324968110436858345775572400181395708408448705216295424842378557235528780473417371531019014760544138274992402703902627862387718451293642132811615010353271173967318715589828417339262322695197034560004162032299042201019902149686182901816352836553426329777617339419169959542446673812853709930741001639291809351279971492035589771952874099755636295270765860826030424999414353290894049115242564860214679791272593912377467119119646316209363559929660342946882633479121581062350788503852011235001815288626181513070148155192282990865288819261247156755667092071825555490171234491971871664730764788704889402334578963993619688196452699079348797314356816195713000590446570692350481533709603281318287937490635947708641350423818496543380982270094284991732549171547372651401211546254743857252351136845283401331193537403451911301972009012499092132617953972611120056035915224003737901426640727387401150316282744943712192173709145418487619887860223884297781978826039197564853858790142350070747136703306011347562075253266615452734321572935278651251193173300850373873343837831930682378854921850791515265901110512628750906868965669696858301685196659925373712909469368914565232061076667375869967126115561141869267428438473274595729476529295210544323074955546993709663949579601224128115675794136093456675606845447689829716501188790238174297596256789726874859686026072346634706106588594643082309959136184828420299343132104077642281561802815346266778198935672792907632150935231219289008996909976529505472548646557919931970926767233137086496691914030263724029104265081747646507091755577635311138457400223264939752715954018183441953489408625738674844954298002588251132387022285604386566943092292763857377449803805497023445744091319493995228266890270218461576721644139123991371378488855448163023695679880745473275802670431691546658213449546066021390625662269026136341919994397014899823229037688306537808995239410155642073758493943187784114640494415756238552767806151021868142631757067758898734638818434382607186176894496106893867257540930279089825998637457244381634069386002321665820813206231723456439878949946489584890726533550699938403381448276705769394128173417774390773767275089343311551875644592598414241962494970925379582771366951495764503770565899670664430559897047762400875563652342830130461778786782193060540316274055140607030480896889971314174226762444593477513632378779585795656957995747293076582648495344288538591770404753163054566762441283579830485620234423554517997805442603138176072350224574221523278180243668963462691051586841992680417123980917629501616468017209219980710682360519181308224853480919726805739148809924487629699903998729922965280002001852627794795797205125994160312331591543349153609135561839235218431006123071954199145642339828234065035784228559369461900900575154958546336305663003300259067534278858825018290962830563091444591431483526321910157367952388907080452788127532855071488686678172494476416541029377522760172186482702290219224770791111607808126889025999551654716906112355949950091606924533449087265089575519621873304312928777521468413243139689714730300813146057925780919190021925841991416991090365545451046703056814592592094550220920796833531324328143014745129315641906801176600196344519928552034892170846691425835158547524938826009298418812313295181559490501426539368216192557302533866729705912180093820761923706633048509560200338351324493073695263169653609557818165201803560210768574377240852995168449135346102913304097681769536108692260116550196813829978052914197541656927404250092722618724228111683150031899979438234143887639992975875784281435765646830913196608313438978560476986239217187522154841023351578182991099684120099820495193686581049273716331005950496002744907745382131058601576919176010264850011864676125220639821690039133965951111725993382061064059588839967948953743893554586363993886437241301626942446986687791719094227540698060029291681868590481822173659508741371587197143261834317435543427192395366790036330397917958758354403456477948918261164713860664483915978139238400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000