VERTICES 1 226 393 1 226 9568 1 227 9570 1 230 9573 1 276 293 1 306 248 1 312 240 1 316 235 1 322 228 1 446 104 1 462 92 1 504 64 1 514 58 1 521 54 1 555 37 1 560 35 1 568 32 1 595 23 1 609 19 1 625 15 1 640 12 1 651 10 1 660 9 1 671 8 1 694 6 1 722 4 1 751 2 1 785 0 1 1244 0 1 1290 1 1 1318 2 1 1351 4 1 1383 6 1 1413 8 1 1437 10 1 1500 17 1 1508 18 1 1515 19 1 1539 23 1 1579 31 1 1588 33 1 1636 45 1 1671 55 1 1767 87 1 1778 91 1 1794 97 1 1819 107 1 1985 190 1 1999 198 1 2034 219 1 2106 267 1 2130 285 1 2140 293 1 2589 742 1 2597 752 1 2633 800 1 2709 914 1 2818 9573 1 2863 9528 1 2892 1280 1 2892 9470 VERTEX_COUNTS 361131611358050742391512122391076433675038995246795588473215013398039200088777720265553505765782535406931244836476369626686043329370158394772413220691569227414121074683709907995265073231573839542737040087836918159361842165148986432971709354437187157836646488330168445961088089647532895395962715709212983296000000000000000000000000000000000000000000000000000 339158700423845814298428669810771942717743052386161888309425158278464241024807166712425841105957780976943209926611922141683385978324423107910800908214997977171039312867430374701358614499376226338158430477860123796871628732382113150194111075589099354269850670194424514105439553657771652601397893145922547208197727684355168070127940005465827683938556151162531991365545419210219484134370516707090134874725242324537153517504201833187356754525712424219200584458519511222411126011094732985990604976185068698766589713631320149127189889951785164214873976783411901214490583756972008029628800858285598710714051046093996736774110111296545491564906310402061570302988024440766918292283675603189766054811866613432646404142600326658506907660433876836710398913988077729539647824517442844886385945586240914569327829956694855844182978355497400526886148450292920238210468214896108241020458641187118269396744808751189384230354030961375298216566928710171128714253319896607482496436004545757404380405506659350919018759613498967471601870340745695725826224276633527502533642893392989487136488942130537683842114446455636560229390684003224883756884432465651037072276559619887703321733454936103334869595562069570204663888104647442132524985129475909385098706526277271618452472150526579569057443360946419896298990915156101591216828100234171063995659454146470309533328413895792459036528721311159108334607396718983114316129393487005981774260616243353813527462047594527180924603893805109152229322306891093397128014113772816408105240321240455498245581638881455971623579978012699155522961040077128729229419625411615562080179497706546483701852870274796862294598659527078326867285445415272351208476321985103739921765369981387184994629198423398766697562548748493332241351189422553976365409594079235119545983996150748356154932768139854005868744903393838590821432102476402474511460486782598904026265682338325714523957182216431537360968294080135615456055405492635582797504092222375095288478924703918067359175041809258232447684019940710878369127575879656993037758476389556448676306385493638795329441512469838517135951713318336182925364803351353920876619758558220358492142241653783079560247762781750991029725988806541747256464647994482929704910202015613823779266580401531811305016817273640902542422549653352427412843316273773997308625699522237252422640605188096381424237112929627370672496124748989869802207372301065713514651786334045044482778891995357356861938920089551183361214105146399491355984593877204264056583508622464930243137888897854581633737957019731047892886414540450973622810672488898091660475884975842786148074758826810864329117119718508568389982686682581326022998083019357069572599088776008618779365489139858826477605787623477503577483178878841534474231849391062291408483482246085555961796292102929141810693590490302583022675456382967236812592315696205210010033730478309786862019279973405763649769613752029197199173832295896296235323789269168252272705885289004729563604198334483466931492946587698124140136897481358099249238381556887971279950946279006499930795180640524683281783229374097639724219128346644935992237412763042058359114672541754232599381659369099548819864254470715047057406651220158859743862069969279397651009012005421686761973426432169927009438250574914620011068791939109541580915089432260244301640083442924657877604609139362887476229918156091255010239721834876097862491593879614483962164979700903137350424264883038632167297068109714210973270441682849664435402823880613431323150506292938782934887019363179447862827468422494684261229764595830634619644580289517857585028088097426963343867814565006519619151356845907231441229238552725029543222251260636449753638293100365212825331642567582194901083114034647376666455583934107751637975823100911283498994825984370364035203979576522719626918400568707160275573519000396877419815558756857609716495480524162005020383589830407555061561751850461901589049552839003756563242343451592989249113509326251185413537437107281153527752797255439291426361034699687003035784588477069656864144199151846172393172601167480391124323169731212836733258665016627863057236113164641921124627487267817295853440360532165012636607150461884973832045084671636027805345621388521422701772114166292595453350151184893620095747582966994638970350361575757748656412769879274321261651064841054666094840222399465928371966312559259824068708461002224423160519826251045569650653473329054746644541838328776704282230254575350981448557764642649283309328849651570052596992178610938585153635586953853659495136065605103923928432805895312669072087937746303457062258489895710458567704733079984226119965588068628803536744183419497683504731053493673405911183707498982579994706440313420271412939327076144902841942313460290812592651765539545112303449033025468982876225127168999884365892462836361267186967974337193559895057621236289241150751719142872223049563444775148974279386063257448623768758022249571834647813010826038720806548953683817530124979924350971366661125447035750284610607208758231692618152672965772528531738842367224330210659916765964485646706764553233956102590237239674096579667841621782360947052828281504934119086833830093541680742422533938021879229020773391492303112048772521338603475977116769875518095158734525220604751065915160904167528045388785778932011582385932352742390297478904355804501016743725395021492111902911745591459301854043860587971068944125937003245349436686590924415070490517985690395145794788189020142024583321558693200097845878196852858661044401006243490379977159654854726661741128167230835006056382520353069507448955759345855656312680388005556591890158478622819393877086621457863804234647629153603645115374271818868173851340991633473464232520300776519675740087733450300394818014876744670573118222333492724082922087638686937297724478674713873022590781607207864828821366467694411105210175517784797908538380959190075710418433566207392350164456688466166834717450204618632190693859348278806073389890015560008788636412816897677720885110295981726391635496650580948950876082027196997730585734523773172401602544348669235107695769928646480481303013936731945920376375582996531783171830752803571506112384216180922477255489698458044117865554830777899365439271618115046584354559446904710550013894553331413010365382743216330120986904949236455981558795313382849024463764025845551492695361786684729371646835420275476122222202142320760435080959336316656010994502877820076045638815442372255459652012552900234269175430447371041003511940268151821127299006538204763748250390607218632847743943712542107208657995669412574954957321970569041381363538444099206672067399019425915972514596567661914823946362998048782344023308026784860941572009636299171015865974497157027226240414766451873829703478079960127369225719923114592902232609668836078806711218827882713680725022970274862223328692096819071236328767107208647356332646994316466695655261630074341493008445636534788830555637701885602047580885555897812808504309407890428128535384225727635950618113471616638644741698329151272251612153938248491576149592077310347696246162912133147080534799295572485468249335162031014270490543935258066642567602381845922402008708904006812745383727628407244045607534861397309303903627397402558211695051101288384008664233642335811068540233238936800318141721071904086035502334710993239614906058334177781319965881864037791959698752201418800258127402466352183797390337938436912999665069278412698109888752117056705093091767785560009400401722328380641489534379795801371537891792473685109512353445619935495582263319719387341113437400358888912227055464248936817334356795370108162114921737853100835866086511428979342194406689890907506233951156386605374496740219872391929479766874644139059798403055448964492582134732433865515808355188392168246799138350301561176072818686352598091618178871751678993396672386626184215611549556699803612446346540636655235337167136439676946722322771798255794260851639074717428482467341946388183429563092020200933278496900619624440091945009534555509860216615823347475667227579598712125856177319656800154645736610775281559719024402643415793685062501596619153365353482605692215454970262087907368388644924044608608619749758065745916916510983098480824631162339118681584826624031633743757169807993040278863852037014726433188212687338574160050381855178301276342243682507071006445825243962432182799299333090721042937155156289829684025430813155855390178650840194679829046381918731685898385635377663977974715925672638091212574555176979584900700760233871105018582073941950903968704194254468287372563369951471859650771283741343951058699349612868378754232355996211398037365818909224133161133024019007715762093432988430881513440276526878015444066331646008798964152634255910447482714562191742428484776820041758517217272558811077336981181924657381664221380966337270053751026273521117628746819733238760189759394411473012456986940899639352425114334863811900784564190217364377514986229593937043400302933942619485503488000000000000000000000000000000000000000000000000000000000000 3391587004238458142984286698107719427177430523861618883094251582784642410248071667124258411059577809769432099266119221416833859783244231079108009082149979771710393128674303747013586144993762263381584304778601237968716287323821131501941110755890993542698506701944245141054395536577716526013978931459225472081977276843551680701279400054658276839385561511625319913655454192102194841343705167070901348747252423245371535175042018331873567545257124242192005844585195112224111260110947329859906049761850686987665897136313201491271898899517851642148739767834119012144905837569720080296288008582855987107140510460939967367741101112965454915649063104020615703029880244407669182922836756031897660548118666134326464041426003266585069076604338768367103989139880777295396478245174428448863859455862409145693278299566948558441829783554974005268861484502929202382104682148961082410204586411871182693967448087511893842303540309613752982165669287101711287142533198966074824964360045457574043804055066593509190187596134989674716018703407456957258262242766335275025336428933929894871364889421305376838421144464556365602293906840032248837568844324656510370722765596198877033217334549361033348695955620695702046638881046474421325249851294759093850987065262772716184524721505265795690574433609464198962989909151561015912168281002341710639956594541464703095333284138957924590365287213111591083346073967189831143161293934870059817742606162433538135274620475945271809246038938051091522293223068910933971280141137728164081052403212404554982455816388814559716235799780126991555229610400771287292294196254116155620801794977065464837018528702747968622945986595270783268672854454152723512084763219851037399217653699813871849946291984233987666975625487484933322413511894225539763654095940792351195459839961507483561549327681398540058687449033938385908214321024764024745114604867825989040262656823383257145239571822164315373609682940801356154560554054926355827975040922223750952884789247039180673591750418092582324476840199407108783691275758796569930377584763895564486763063854936387953294415124698385171359517133183361829253648033513539208766197585582203584921422416537830795602477627817509910297259888065417472564646479944829297049102020156138237792665804015318113050168172736409025424225496533524274128433162737739973086256995222372524226406051880963814242371129296273706724961247489898698022073723010657135146517863340450444827788919953573568619389200895511833612141051463994913559845938772042640565835086224649302431378888978545816337379570197310478928864145404509736228106724888980916604758849758427861480747588268108643291171197185085683899826866825813260229980830193570695725990887760086187793654891398588264776057876234775035774831788788415344742318493910622914084834822460855559617962921029291418106935904903025830226754563829672368125923156962052100100337304783097868620192799734057636497696137520291971991738322958962962353237892691682522727058852890047295636041983344834669314929465876981241401368974813580992492383815568879712799509462790064999307951806405246832817832293740976397242191283466449359922374127630420583591146725417542325993816593690995488198642544707150470574066512201588597438620699692793976510090120054216867619734264321699270094382505749146200110687919391095415809150894322602443016400834429246578776046091393628874762299181560912550102397218348760978624915938796144839621649797009031373504242648830386321672970681097142109732704416828496644354028238806134313231505062929387829348870193631794478628274684224946842612297645958306346196445802895178575850280880974269633438678145650065196191513568459072314412292385527250295432222512606364497536382931003652128253316425675821949010831140346473766664555839341077516379758231009112834989948259843703640352039795765227196269184005687071602755735190003968774198155587568576097164954805241620050203835898304075550615617518504619015890495528390037565632423434515929892491135093262511854135374371072811535277527972554392914263610346996870030357845884770696568641441991518461723931726011674803911243231697312128367332586650166278630572361131646419211246274872678172958534403605321650126366071504618849738320450846716360278053456213885214227017721141662925954533501511848936200957475829669946389703503615757577486564127698792743212616510648410546660948402223994659283719663125592598240687084610022244231605198262510455696506534733290547466445418383287767042822302545753509814485577646426492833093288496515700525969921786109385851536355869538536594951360656051039239284328058953126690720879377463034570622584898957104585677047330799842261199655880686288035367441834194976835047310534936734059111837074989825799947064403134202714129393270761449028419423134602908125926517655395451123034490330254689828762251271689998843658924628363612671869679743371935598950576212362892411507517191428722230495634447751489742793860632574486237687580222495718346478130108260387208065489536838175301249799243509713666611254470357502846106072087582316926181526729657725285317388423672243302106599167659644856467067645532339561025902372396740965796678416217823609470528282815049341190868338300935416807424225339380218792290207733914923031120487725213386034759771167698755180951587345252206047510659151609041675280453887857789320115823859323527423902974789043558045010167437253950214921119029117455914593018540438605879710689441259370032453494366865909244150704905179856903951457947881890201420245833215586932000978458781968528586610444010062434903799771596548547266617411281672308350060563825203530695074489557593458556563126803880055565918901584786228193938770866214578638042346476291536036451153742718188681738513409916334734642325203007765196757400877334503003948180148767446705731182223334927240829220876386869372977244786747138730225907816072078648288213664676944111052101755177847979085383809591900757104184335662073923501644566884661668347174502046186321906938593482788060733898900155600087886364128168976777208851102959817263916354966505809489508760820271969977305857345237731724016025443486692351076957699286464804813030139367319459203763755829965317831718307528035715061123842161809224772554896984580441178655548307778993654392716181150465843545594469047105500138945533314130103653827432163301209869049492364559815587953133828490244637640258455514926953617866847293716468354202754761222222021423207604350809593363166560109945028778200760456388154423722554596520125529002342691754304473710410035119402681518211272990065382047637482503906072186328477439437125421072086579956694125749549573219705690413813635384440992066720673990194259159725145965676619148239463629980487823440233080267848609415720096362991710158659744971570272262404147664518738297034780799601273692257199231145929022326096688360788067112188278827136807250229702748622233286920968190712363287671072086473563326469943164666956552616300743414930084456365347888305556377018856020475808855558978128085043094078904281285353842257276359506181134716166386447416983291512722516121539382484915761495920773103476962461629121331470805347992955724854682493351620310142704905439352580666425676023818459224020087089040068127453837276284072440456075348613973093039036273974025582116950511012883840086642336423358110685402332389368003181417210719040860355023347109932396149060583341777813199658818640377919596987522014188002581274024663521837973903379384369129996650692784126981098887521170567050930917677855600094004017223283806414895343797958013715378917924736851095123534456199354955822633197193873411134374003588889122270554642489368173343567953701081621149217378531008358660865114289793421944066898909075062339511563866053744967402198723919294797668746441390597984030554489644925821347324338655158083551883921682467991383503015611760728186863525980916181788717516789933966723866261842156115495566998036124463465406366552353371671364396769467223227717982557942608516390747174284824673419463881834295630920202009332784969006196244400919450095345555098602166158233474756672275795987121258561773196568001546457366107752815597190244026434157936850625015966191533653534826056922154549702620879073683886449240446086086197497580657459169165109830984808246311623391186815848266240316337437571698079930402788638520370147264331882126873385741600503818551783012763422436825070710064458252439624321827992993330907210429371551562898296840254308131558553901786508401946798290463819187316858983856353776639779747159256726380912125745551769795849007007602338711050185820739419509039687041942544682873725633699514718596507712837413439510586993496128683787542323559962113980373658189092241331611330240190077157620934329884308815134402765268780154440663316460087989641526342559104474827145621917424284847768200417585172172725588110773369811819246573816642213809663372700537510262735211176287468197332387601897593944114730124569869408996393524251143348638119007845641902173643775149862295939370434003029339426194855034880000000000000000000000000000000000000000000000000000000000000 28431099106485744053729774361208825574316705364586206127412132459657339254002864245436364454641679576965012130137607870345731739294020739123283124116824541810091280852428316510951199848634971860897416622445875475845201726395139320603833688432912670370713240879898184341281753565639987443896306390823445272943257962017770005416510800192082361272386787579195138285401706123752990755015276072313154007456471966620815675723315304454060482518746596070613823131325204427272673901010919509571253477613412625900126588864171730749591054022216806880019396542715189798233383638578922237773980622076791466702338993274795185408580910284969696942773373934260247547641003601523691902416640492251299054637641343052049039241248279240455313231664768928027106250981728338796882176182342286193580855436348280796884031858022703085694972244928095706046456472319918343475756344175398471865509213720998487032484173137240021979764496217996708227543866639827502492184205815530739020556856383442943211733738907262754333019413770425256314082566384019914980771415276612964311247191516501690551270936267805107532355623992973288319397989317115980616780702800880459913236652098319044809338678758975062822133240871469412506042117357800659936447599339110772366162011027220228624900223212570507665576515239859023052839089282188866572408687899420788819101175332641907087524183097930905084758916698625743518357136225604875130387027568143943129026527277299886605899464550085283733364705160009555536386323081616201775984311080383132404993915952416537742278004740280748020097247732852286252424458668943419118360370990756987438544612067531826015365406824174103168768099060880603148992782724106195975133230353025864734984234950188978418554902309874316641103285870064282240533346023614445744151654747403202532552993144037334954312893707997597929221118406088020287040772235948486474062590856824800305476644597353108690350164046110125537561803845268094724517568039821601512026439568805759586213828959622540269362001901331313584875010258721237915791276544090544569348682370131023154365500569184894551115519887935020094922041934097707736822120242009505414955539402060646371326230581043198725848954831568348558663068226264715783953084959401083938087465918938651137418796842080852243984839224194613779123580572023852977099562499039482589730685463858142661207635696237793063555293675787736768557351550165390636441281554389390829483249531723528706793934254110966310607604098383262604454509788440770601456462128398362689358918346953435150838678914358673634885627696630601557167007133900085145216911858334729392146875256215982271635448853827937107102454363720349044212743125955700077299804229665253883929363796527800096174821445881813946350166849701958636674454525966281210847958367581649382335374849156198304590905891507375538000204929403175798493227442023356285170302431775363130612201610901415008308153849892435449419525507475537248340654801985977152226775101779397293568845233978090476477805752437292593794331550184097886373405153150786314976491577968712749795565053560600281938876281172531028053696785728693644732225730909731309204373476921500161285744163704710919073635303833351225215806683897967025076040572291389162966030763014768380895377094223822530561872142658675017501501315618070003528826348583136959140317276071589702814824513355920118935431200663522892322353352780176072841527037594289038648462197008358229486004474967940691587754520309002935542617576774742666989937337021649762387290215713294910772991466274674766961717427419133687157076359578082251353361172960907206845670593174868063591920124665095971033664891743788541381896091047229382412303245308609248467369897826933004765460340801593128639782859538488070697530025692762615462966616039471320591031852730193974448487693574475949169757774449133114935170906454563843642923083619001762114381306268405907419491390977016784216280109319870336232178990420690939113558422793764909201551404889003588163220169748242063005943354619273256945916073109852719487907976459500953983567616305714582411005562600432198268881869580310452956766579445010985266422071674876863557748361005091917588654800395710368835389000048284761990260703689406139005801000240068106537154346196380174947709618062842281017305058284343916735927291079403437212122178869620505853865878273218584355608967612628992542533171177919423501997098849329896265305046104015918340116543374016332763248950707790583975884591466616039850819722976958988481764612444340920684167163223701746445909139276383456337247423897504991633169536461315422792304537609655348821329262513464552316826983112551750393257997222283249973221229383687440947548580929145119631057130656756809787763499685477463650859500353792011176304487726982954682105004526697345064537462846497446386064511574214173923318960644304535986915105856672890891979436692703210559200246995607817486052799712444402764914938507273353512532725743189458407461303314348870898613584197787641375796498337088418058033767125434389722880274689046075070348946719695833563100877337499787263999031628564882030007448363020919767761422932100604023561076915302719254441602861845906429404853811133173975057055310432323498981662223265329033136705769314373180608268582939471722714135607568799159845440727851430129033800735020281790583058662662900084963020510246739905142773193050639907723232642625272929374792903242668588646198376959749419252999279778058871244058562046760064419621367621374737170531322996506412675384002411548073155507951800870339865626813774018062575885102971350502396748055821716688385302181736650229636692770389925847044260707089427528328379571328108619692935961242549913843654400004961170954259701247010797395187410733704732012061989327638982548960094438859222332356306390268961522268017984688513078887011184886846354189210770083007934431363292221748457540991939877165637458703314312085532210009480723000122856681528572006874393608017740595060109094721215846917246984930276511084618145567405620064376864815337360687490122247617468118254650219794737782565466629505213455977238808215730232969362576676017970407348216596321780467847549724992603396690993861947786164229587764548302414284326197595603626003115181959262937260967456469108029639793767683332611409682392459871135264490480652144369430450114847833805824543149932119931251782046667830409749279855088910565721026033222341432401467678572122861651012964523410116690676228219183716937074205965188167867298829679994505942037308999966121082165938195026835035884538201860651192116725692081226558349173105274236641529719044654208047789016244742232602855174293507346849938199554144492125620523709182620972394785228285842041588755492652337704518719157998526916719418225072615637813314798869650434617927344896733172638963163694153835720833245990949118978166362544615464055792210104814505449456097163543822068495259045647778411107714289035900989010605088366453483706494286316718852995290300387227032036708056328136923319929275547631101954119183817572330216944660451005577262105297009739653216778910346785756606232158686656319347838248931960920509182412170606418073230535403505172726690916560779215014630122285067802923850777740504469092081745708419938050858265069205940030716153471293076971657307851620358264476455587879020794671385930915738949523097655449454031135175696311382432376292555935417209289288385846019510362955632453499075531739480698400177830896349045854313937601595814302075802817888480446327255789827213544699966382371248574926801802407075273415133390191232853526041505627823813243265991877587593590052212556805518338546372210433602308674601707660975400729265390780793861544463716919358714375370927202380655038507246041914458611930789547546046133502581416127954051990670991745130347075023257581107700622797385328166604565298557591891436960310050715951861460450895343376395304458451663721355822464267837329914994415038427867957168981884953401693947996086988393640586727754306824062614294127325248998996247908682673520059127976974809608254093273181596729917854900714652701045043426042095359339160545000882064774791792029833629075176530527432418994768959312399958294825467266070500887288400350135869360232336954900904950257619210576393884831592039373692802832283179498814306064740793950303984705471882030498276418780796218263396006952159377298132934638099238332724138045689403917027539593858647377231185550788207682782255236271487560948118104376955945700183838243092588874221297693468600902301718005178177672319345862340432594170658986606621662584982221115314911478797484728125997948056957447846904050862724810684561367473350627574095940727518311399331313569052297315545467095962844563248109468570598967778299896914138485839039738670724909852990330485013237296672419682623007480734138606238027584732311746261275831379586203958436199998755790261429776577890906347317347640629351438329253817348621966588509674215588552469528045063687491232737454944602487495077225879688254974868949357473758468592613332316848966860800000000000000000000000000000000000000000000000000000000000 11594135353473839676789000370633465201758858394655354201619177028853174402186251786860424148962541094816893142856096676342820483895812522754004883684289519285952306071001819616537635602138328002768469700202804089194545152000000000000000000000000000000000 5938709408900273080111428440476661805389630597334518765426654699606352167575727932797823640802659662093199774561299530206470980800254045321538857039417667452879389328872302094235729920000000000000000000000000000 459458974619066977999312088445473562632268657572548305158405029121356964836456471330788247115971267677788901156270079022955580684313574262968135478515057704254508111822290157568000000000000000000000000000 106293962506128088258312091658209194585295053117903613804620852451062549249691710460343866135374097683571148538549045544310542736808108504239994905419147103738002614052192256000000000000000000000000000 6892180367914727166868457027324488703787675920602734581169004334673108546639414777229475706464240175560946969249211895963698434537303435537918540915755466317693913661440000000000000000000000000 966116708161850831037073514695967515648927240800482337787078891714542845841899520000000000000000 649586110500251079520817838453480519121346676669824956186273347796992000000000000000 9326161040311874015760190183662156465448157184000000000 6476500722438801399833465405320941989894553600000000 139857059739975844342952954248098427699200000000 5696886746943580582969344000000000 2136332530103842718613504000000000 107504656305547640832000000000 9187898758004736000000 2531101586227200000 1255506739200000 104625561600000 7846917120000 148055040000 5483520000 4608000 57600 240 1 1 5 5 10175 10632875 113675100 1932476700 27396066724185600 111433451151052800 1114334511510528000 146933136972882247680000 11442676167544373615001600000000 171640142513165604225024000000000 78538451854465227368091982233600000000000 15300891216353859457194541164942916520509440000000000 10746191994838120707311028480484679308921469472417574567909785600000000000 14335420121114053023552911992966562198101240276205044473591653990400000000000 1391063295208520140435899210479097702704710432434053659575018609935646720000000000 416857103912277295303877431625271557390008441467796740105454833377504580477753753600000000000 2402947030102879541346555544062327520676692906723985980263748912495026223400248305425714144687185059821319206203948007424000000000000000000000 2937977604037466288504614215281069117120482642563521802685354190355518782197653992118581953286654936500894855380494254964998144000000000000000000000 332473673644429151868021091648686461546669289184836629409876165322728292975019437663818199340221039926019137528819740572123685487378432000000000000000000000000 3463486483127580445231069016046592634417761645615086572464899430338150068248422481439097626593444395557238901778965585070651986472343405888309926675952559686942720000000000000000000000000000 11691853496493174949394112919518032206792461607387825750080257806632187156633203456567727956459269098032851139467907472376824246165912851935955023588278907074172140409742950400000000000000000000000000000 4329299264983380897056480071823063326840615778353029237347268133516308809794475128789650637992790123134537431616050969757096563072751174918542008381348113859708512336197012800143360000000000000000000000000000 51396575212960928718887918893118307210490083018050718315405626304293535965256624657839090452191064815058903603622661255080212088278925083553194515073131041874359501571936247344141417127507625250639623119868688295823676415221016954836916778941471438865456086341028137700744447802199108115632254559439015973902041098878619372012525493376106710384859515209596642626036494678097920000000000000000000000000000000000000000000000000000000 3657686204569967231083799129327550581262991144538612553199677662101291174413726618081793134844287613457370811028037336991298129624277745107742630306357720215740658319612339525553295572508185538221007388246665317563549556229150961999110187318143367227669982298653464078260569736557807222599895477628818157725945909544823080054913532660380328098126813786149424608485667130509772026019840000000000000000000000000000000000000000000000000000000 6345218486070601328660616973406463451400815154893144100169815342707540106596605770286111096639984115613111908708966013105588310280254223005363714532520371214366092583729328704974899922334578576740950883144938753217313336772025268665402027174184575497710694596213178815756217706703335999967471013920385037531944515881141503234953742609381335722746405585345753125689980825365926532134172956814503040546634523187567656960000000000000000000000000000000000000000000000000000000 1285219816699821493165054067757162144425481589090389170341421135147015351909052262413318109607300101432571680976243549703625854625639232156122767487307302028919044462764885261023825516354653100434124785563147381427945588628399439305653212735083535960679789922650024737382099139951213980585127991378691017871294396703807104354463668574525516821279457357423195216580273472473698955075593628763236652226878100646097780024004052655158515378548559114625263137109071417663382881702196019200000000000000000000000000000000000000000000000000000000000000000000000 54455409194235656329772645129258077023564476992930515541345476385090949416198668084183004558878092789240105874710046864299075177236370656412456837962687324450913502387278268949434621917932612411982505540469026325265697038922866499291186320478890337381830104060529267801086458460284723903876131774741717403689508541169026470912665401303138601554580134190580979665717008447625259801867925917074667146930574571050137233541227373136188506621586840323840962423536096002533591009518023784309196458781242538029779473910822658405727008607344331258522150367795198883052177458635713459342321673067853712053687648091965335877011524048154514088098268616981341260690042576835110281103108937236846039963471147587953299456598135671281285116691242567668485026007896810206502238377369386652749074175143104424151954830918013788673892498229794709738944327613614513305201370865942693184634655434674533775773759839251426028506903587429661231143373565033866010513676773421280258711608792125655994881594768483991526267051772042914637558258572380756435102873752326786677142495459436281442674415222749454077893102113633052102893227100591893395024043328921710555866929285929080715758072725702531534304857751736405182561995951862718072062399418779059034230207283510048362987834580127864446825689916867569690545729604494816953071711022761020453079680521307370298195882340108610521528904407698320325813524771953559951596900322311980103917689636411419464226228509068169171687583438979226172175053537883551096779644330546165317544011152209144527477654240645800910078472167086298091758825515305576974586232883700476236950337808723476306213006894761390137322201064030130556394886717118129321944327817174348768443570645904536735142843695146346639187745772883082890135473804379156323290966667787596598967357717333091250379811937716815100401857569747312701153691734653127938958621163665522521565707207974173312234976948537616241726222269092080331660337070539920436328112699975527286414920025000758263723396282099461347296652356799530233175035041955165591284226024706243554094105995554746016717200336584514942226911077217653018890205191418954168069593716866538976248350496005236302577041315932770074819801955780754349827878320399321973548823176888041582215097837984882309531603914049268849197452971316653961280175221023877341042763345939282955372432413118291836571045310727473716962173437930443969830509045668670268444337654203582142564046453326046398698723266959681072004931785982589417107658828896837482609569207810658494341144738587834648667769488271901547510785217522283211362130295970400550309392732800456172022259931099059108824051688762603265720427958653124775463035793226367466747567475755005858685502697391493767206484777477711358475412294764326838132528284365201331442094261807641957642679977671124106704456505894710645278222587521427281986482305904457758775871625853399092948561446200731716551618794097026573603089411247076415614880133279090936939827199196806637614986439456531609352868657653989528887330321570677986985189717888861399612577514599956221688644517344768675831263003286241072288890456951212688892861704833925553011018597477123747783857497140238655402666969384432318023434838536198566574132347420220790628581822323230600773029125288739907145181836908124804909246768825860838594571299666380588720450139276981614149611872759215959345682231410054057727810329173700868137279727439656988458763368234736051480407381736444135944332830240268761716376257696132968882611827191095872947226733890963823415975377508272578431968464515525002531208340208921240280861185497115690542981553772875503692701113354715924965569852262535352819097652824383313307393298566548101975645502493456175236864406242126408296602961412079943481408497831748583943577339878790885869191299580771633590582906767696056851428623439713841325886062059482778404161239042515396137663283812019535031116053170253911935766296390929729795749674072592590550950866500741241310700947786552605471577869408799513796479437921318935292590053979422062063251504449256939135413370221294362103755990956335494633807906599861064401284448211164825712919400620690259987627713078158063752642604730678056938112628850840734773090499544538917294712212071388725020373419634851374581715606666600099288299256037085610875734737715665480768066763629951459537664430183576833413746190298642315632768576146866951020356753699125305535421837690362911482688499468337727791498414673650246367812718092127874146425252590164274567494608128044622186371989002231718939453498577906565508711522620200455664725910212520808051208167378970295243764085189513262380505636833345613028257576295082490426314559213723863781147965157845176965676769619319693087122936007463245032739988468299746791698514875505964843746174865377905037906374304880712305448131200124645711355442291600737175217652288113839561826467530203190321820466672503856466918523443201505525959653060047696558844620119558191142568026987419893659866031384702246502135787246784059550259043035170696094906792145258276453253534782336347359923203851550433761653585015282196042614805435242524761004919525743462977283457096354611556742290271528375254732319970788405792466955709402226052429832220078049694833620911015158903817777131687302964879401393111739310571065906333810849932969001505060658724371135379763786802650311192781940034428864428940794741699218570490363379207112255673172598954917029817132790879309439518112703961839733618409111141733567081903351485223725213929979155430916688726526880749200638731374684542958258012743754450834705371731671528466149732188799298012410494926919874186340445741108373998262942070891712049062399103439410739621904210619506252269938705544694413010359635365973324945160772741957859318577596025370066920828281889456006287912784804321931131167849970681932731244344470610701350103370264475252523524212569120314443042796815339578175736052626721080210445110495023860445954977932274293301704322592085148801050779600727331107903876049477905952237954904362978524986966682666132144407819676784195839223787909265317803833873260115480897005072317319438367170182448359073057064723622317374248793164584957520322543021272645925790660796501714424305633929505783393571876349163068691784165134477261235910976327363826500866182428732958008766874450273225038243652503947599108504211091523294136868724912208464387251375830095796678030918984032959021026248033566241880898932970844378985320027135129835547536897833728151517864750268983200453158489498163928804397988410873630476489420929331402561764324748274309265421917372035492272910710829465566321455845674419779904600492729617462841339881110500772214674700425983828819560667342967634707634239647594186326423711563068749929007233234186799164338880005203033196423017296581994078179531456286278022813364859531733948723917705812184495433793643640524940220311767701941685803138418363101534203649127778692480712712948429691084321669514907317839054617516403718002957800626601704704476610607914753327611867137429452714031944034775973735126960463921566361811282513673098271032964014478690634163417413658016150923849230413736382508383702481713180996368938729836494799311507072794852787652212987579387576248260606249051354226667780743077135717344232921390526951515569854783078962885264399630271674343018332432609296332996403950120235410267290330530214372187825721613205375026319719815146482290633751699885101087803221662775009032369040129063757853065944916085010625417359954305238869331196356772550079731411173601623034411748859152580556408032017067931393358870781265816211246282745617155600051848774942646091957171632335312664340685659348554571972162486129475620001554210506516656036317912026574924960437957415875741949130325296033698768440511072972840609989426718703931021580005190444473323377872803398799314080685660804263980281011886999378518182979239499947914724257387302092800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 834927026565332941318597597508495227176068201321320657210454449165465452488150297773838648033564772638652718543884654634814158469351610799353446230266893616612874241985518814942802156446680904151654285235288676339684406382367842327724376591067986297670583439353063220575090088968215897252976929726288863658368411853213177753949219461505200252444327868109801168602250129696400553959973665929485356806805456727494953296480747731648641539981676873436465665408219754058342926777077826452208330357328935241540757470687683299788888705225930963798563804731688297518094777168054343024675871123005737321868352866066821945308867236986845099457827610090672726834998216791252007415493722039001167788602746097895606464213050798570343602621985926450511732247698211501844426808049561893345851294771471275005041630040379775063251440804518956943413000513779318697316530539719862059396716315417966776375079500671836876356348940759593299703304610773258476663537960716311379452164876452456929121683105924594780244844401376722509297270199773686787717466899132463432426313303644198495239607413976403012282901342307426413689010485918233528183624857622516854012099726510144090399247896931207637137153145756062094593510036368415638811596834303218064277774754100690397309075371179865757961090817606958967907774307633136761927045005352534151238072385499954580566341034274854066505563806184807711556350325924592311205184126807887218817030507271438768842877937924873308677492642669538817027777282771502259166271555925092195789546970947377840774917619865844291245522440088558929101479576177550260054019831865130470813065934697490576318218603259686892190749778472034945122966724303704147354125130015288387356840528033312561870757385208442200019749355993729014783568304134495778669848034826154531094988440210822229018219290252488901297961852773488797516652016890603833851960778435011769845891039111091932067588904102825930355130922184147815262130662964629979633742203689289963411176747878317790975801256699693222596757222985846333769122065122752567649484952675226117099215190687162733262929338414035037517003145281407456876000423202189563132785232044746626299067216597010763559659383217611935289552044205431435227509144620972582757628822673330979550501292083263988697724417140453783376827344066836162050100937010685177345439935525385772714921161623016734189558498372780445092858069599701835249552480496267339894726557577992315173621068699312053691703781528979504957341415151117101190409253953801800651510734286657170981500488638814804058358566444170017212935718960640321190487205949053458116261098185048363155496303436132498730501597985421014442902586511737019937825103639544464458616191658007260623332757243732116996926766725647909380527529573456933487181006973577319079112069448750749740553911593216288558786960115806441866182046324436299750793963415435615882096296218430680345190434844251827227464175310286060681114629539532707297495533596453638890219935939004593196092265239669630245980978042432363819632140561004010708138374932672353990151464501570700675491243772250946761271628342229573232364109482764225423615638399815487431132285531813170141088015626142323297476853170276003485624319078929415819549228320284463086253210003379374558142448665445657038856334357879862168812612133442369973492672232986254766043551159951544809152084537288791098277296730423673950615559903219969377616180105022144405248937789777402026834705585538120401368538703837603945711734056813092135919309602026929381958247487026149732476220587631439201769139815180179127993598133599893884132250974484789343221952514354067812468067291343466555473545418329980047470082991251720532691298703731771759050086696493106919431125241445451225972738078259403684628698554964528625420752015878839134174186024202004862746720182836727972696401958512146753988999642678940932028807662973862464049462141580396653896175592306545946455376118304328624498790894470426534714183063022350152386991940676794104119678003974476851357696180701982300180248107089147532726130499641184025548332151175470985773285803377176138732023523651258878012638285729748239999243154142558609600828769770868015470710446992526760189173641196589208492268189647259249327683462326864075791105399220961024394901782639102186657455053809963382945349729342024816897420668258493960757551556074872079653505163873678853860362651438939550674915833566537692296793424988521873634136069287013730580336289132760106263849730218555954996388676808382018746525092723046879420598749729191247659063227488144698591272626849209771402105678994650123275098367679701069962327913106879408947048995072904615865256776499048161214227167042203945538588563494153431180943627292889897676562974671751892155361821055231526531688021318521315499642568563455622743861345023234429491132958987984118538077237317259204112271817187695635059738883621517989201321588891840871809534624232738111199456343133103113696593181013882639068347398239209280321050187353535343001166695970874960297585486206787408842008976802344003203584509646053992188874751493566026880101233536665508143368128991743427788829261381276688359412807922348636595496757845875308442607762811990486617678777088284533284807606951957733027846329145938821522480213740707040985976587350007248910645345610444579599085907180329319116610550388060678987538960322915337480708984841893607378949969753981470098169131737502356664839571194259623669980812331880356657554843937761046551826728652496010934925540989201697836836745191505545493258427286317987476629085007214062137721142835813676187643653335114684585323987629151315339821622441946355677694179470647809295162036497397122570591841140601781721066183093414014215758726510248388378693032252004082268736271652385506997235118721552782607205791289144441077236493322603138212155241950116419444878034401514513176976074442074610965251982209700349306205620625091352701982160768265999702503056819040011534356822451720959991486474559928718131714841596936812563626137483492697678300142317266829136415286053864002030520796754485640177904963740203106541003466565250325614368903175103333318996426669516394307905891521671208487674254380388611018121900780303206882959821545406415948556606841095523197099406324893824702307987416683029101158474359213782881893030246257571101330040310844468442614751150506084823233561932206209872680544662988543912245035479641209919231394682945873675316107735992688155983545354981751562665564469785713914312040375384359318345669383350027811786421301647888135202325194162092628769298126163762862458490439118098828599229772427362371134828319474810059944164853890838079131563873917029682897539574210461203853007941426629901032106702616995870462523763500124977066597870161642591479360078066827213943516959260321013140289573693385052274709542423089035322613551229200214070101816354961991755553897473153784999626838558073626890534805112262417491418871869658947480309631784971865702137875563992891184252052685287469322270250762204621632471822563971247476837245580536758875489018643338280662473617808146396415769999892103564656964241369549842111356101408295980993972481881561209239100724374845790281038485338878034396424616053006765399355402740745588331192746707530836236029421603444007208586184651692101794017715177318876511948254543664311892021137464291214699357528634389414999179018367906710199221317813300249284672814675046317132088938450214167289261120657485798454027984712926519900646322403115734301424454392137088904498786284625937357582573349784677421840940601904846261572713997120967191691378188329123980312524440958652948618979809959947186850756576667643177330071318394463450861612075835291647092058453727199374912366194229953465281654631368059739017358844928197717695515268811059009361753995272717991079457320914601581526576075565779375657318841950666752000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 3289185248054263438096807518330487510040476279955512137951506704665249096316451207286209360754172528259137825529447424259203673678760966963284165155774190550845104520157848100906254736625600656757977812460047109668406074448721078877119383179791380716513943291555939344087803720668996841711388967006802728014366360212161916309249749463534817910158002927606067622194388350718672230374299464048614359354413596445638447318036019590605565173546821084248771963099943386274753269473814725678029952530633723097935318728481890903219482458264800773777615342038127922550476636260716197924140569754082261035560512347589106971697857817493151154528193514384069317829109558675961364531218659371309961995878400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 231924174045925817032943777085693118660018944811477960336237346990407070135597304937177402231545770177403532928856848509670599574819891888709290619518581560170242844995977448595222821235189140042126190343135743427690112883991067313256771275296662860464050955375850894604191691380059971459160258257302462127324558848114771598319227628195888959012313296697166991278402813804555709433326018313745932446334849090970820360133541036569067094439354687065684907057838820571761924104743840681168980654813593122650210408524356472163580195896091934388489945758802304866137438102237317506854408645279371478296764685018561651474685343607456972071618780580742424120832837997570002059859367233055879941278540582748779573392514110713984334061662757347364370068805058750512340780013767192596069804103186465279178230566772159739792066890144154706503611253827588527032369594366628349832421198727212993437522083519954687876763594655442583250917947437016243517649433532308716514490243459015813644911973867942994512456778160200697027019499937135218810407471981239842340642584345610693122113170549000836745250372863174003802502912755064868939895793784032459447805479586151136222013304703113232538098096043350581831530565657893233003221342862005017854937431694636221474743158661073821655858560446377491085492863231426878313068057042370597566131218194431827935094731743015018473767723940224364321208423867942308668106701891079783004730696464288546900799427201353696854859067408205226952160356325417294212853209979192276608207491929827177993032672184956747568200677802377480305966548938208405570561064406980686336962759638191826755060723127690803386319382908898595867490756751028929820590313893135663154677924453697933852988162557900611116597043331591392995435640037359938519402231896154036415274566725228396949505358403469139249433847992635777087958893580723287181100216231947713846080844197525536685441362250784980654203033940041059795036295267952772120483945469247212058660207743977164159944793527692561832432561940512870491422795867431268791523597965340588083115330746434092573035927337231954865834207022613182465555673111719323092440342234651840638629782388058545433238717560447759802653345612619843118752540172492384099341339631480827652917025578684441304923449205681606493563151129676711680583593614079215929288870979273825754144767117504648385988471770216790303571685999917176458209022360074261081868488216108976437116963527586681581028828202494306932594837541976972552891459431611611292086315079626991939305691288559667793988490678936115892482144155733422552913112763625960587850305051402323098748973176703471869583777218172504011917385142149172204951417677651240127393386571668683506481321456592254721368546312679974827924313770404703746439168603771477521975574846875208261264975442560080155218600032168456073939457312343416597442767615398782189471193394008522318108454123403285340962270919523905744754063760981307582637648221237121913949982205279053665581184788797119512772493900675656616564483489167780752260659703520098330597629028214083520969789936736374100353230095063770342323363745212284839893232888837635397536745981059213928080004340595089804854681436187778746006755299702615505430341200079017523959225000938715155039569073734904733015648432744406158003503370400658325970186731385070768345430877764318002542245704802441971743693536228798319615433306449991493782272251395040112569149386049278340787418218205033444824594084399334429364370571336970037755363778340813717210624301951708259021172385453177556046983281994494202220443925999970523370069715134663706450542365098352170130018692039851820964873727313883346519467497569922370192027417703269933069468526803640810953090344845958673881316132849834356841305154156813507061320004410788648381718340056112461874088939676868881304556099586707431663611011855261370008002128603850684458183928216776848304493220085151651793160032862313506805219692908451815198384184172875042329719983521331695588799445548465792043804494639439527827846696413652092423925138789217784874536708659853051603690500938104482981117645458683021670177301591596733333123098372932947111341324936352226519641790831257433385881566999052557914518941568683124813245406201906687719751499783600284554139384066417274071515292724989828595930480372784671360394630071803877988208765576353355459306989964910792738989625399705430743032175990704914526887062496811631565037797024170480716760080314655585073291591727376654165663521335661671874034747978624133172388541591442013238628674302262416275353507458113825389473799720736145354193991022139186100646642529688724707513609742473504407015771249735600337285324178389984871830156526153730883595452025802749354600826297708858932044950293119868481024450366255920972122935712071006317739262506454008191981377496662255149465899254794223364519949218804343072149689894866108111478219136622464391537395620205030888737873092528642693498105837189621963429832844224800089180607598204261944768526658576377860440412835218724678335826889540000889884586012792775608020764303768340800028120426851530039824480275484285496897017050354635655392446645096843498749099401632030122946600781108468504910771413412370356891001931099370285512869207205228200688948261307511384993496486113124697401484891790160999746085327869255310169597330016855274316377867476482633530273567192668716374991598328186138380314371528432406899880887294339908328003425522321293765234427155846264396313514582225259701539163667138288010206997640429303682896468421663187952523613115017260478095232170465607678792593087412384812218785875365372172672900540654354915049852957724804211676804832534047386622539056050478073939748170559504377424030624552327414731181112245074648964347884863054787532978209106279779386469206789188121248145167538392265344986143449845799454000420698104715576233909614157014439502694541473946005729192042417217266880073888806250849116400003203988006236589155553190687377757977258809678221371336823229482634303527132861150643685230315670912792740000564033554654023788938306934372278640705834296268125090448435806437528703699721229630421220641084969867130891246576181772330169727256083550084224134155505984835115541265724122526534221416501756914951306196663171300841416988465099781606356081397290627103083702788975234574567392986430696134673120433870057280520189040184163484420068065411011447199786498523040520465365585482220191154439873709717153211851545686051587198420011215384544255096019273152785503274005917124413370889534776156136841324805035045489684016247344199471896833119381229822880870785644298558349984490237191899466425434409421397134138205437280683667736946650396286083620029639615832186239589934305590271407388297267122942077600021685229781650976933127866948094524881581495847854085984006413620922948208674777837241694948987489442154320527075876051388785232932798229691815223642295115969838575519349707633419342162492184917260520989998025328958903523690963700630625211723506009019950712214235410232568216815766354302505178705077961798227168929554559936111081139879071378955935986067253154472613415550276103467189322558121972423437457163966955134816355009554562393348057434833154278539095996758664651863203010065563728223178890891273940181025583831671587549255243475541181817684531081116982628969781860932646842885948610883060657751863944228143837027847023520226298623976981135816236170602024794755738190499570563329086924033305735089556421037305951237331149191362360773967951649265995159263829077061622483500529123961547976110311379775469827274535867772309034566932959152394161058322207551902987937963234215925019810665128736350447798843136568636682903813110937475657276174987073689348508713349927504821901368943810470976463558627502600487220909088330855404811365167105979604465434938715460366344986296320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000