_application polytope _version 2.1.0 _type RationalPolytope VERTICES 1 155 295 1 155 9556 1 160 9566 1 167 9573 1 226 153 1 252 114 1 258 106 1 262 101 1 341 22 1 368 4 1 373 2 1 379 0 1 1235 0 1 1276 2 1 1324 5 1 1364 8 1 1377 9 1 1404 12 1 1436 16 1 1459 19 1 1477 22 1 1499 26 1 1519 30 1 1533 33 1 1542 35 1 1578 44 1 1589 47 1 1603 51 1 1613 54 1 1724 91 1 1740 97 1 1780 113 1 1789 117 1 1967 206 1 1974 210 1 1984 216 1 2071 274 1 2083 283 1 2088 287 1 2516 715 1 2522 722 1 2530 732 1 2578 796 1 2670 934 1 2782 9573 1 2824 9531 1 2853 1300 1 2853 9473 VERTEX_COUNTS 8586614468933932172090291736894683824387125308343566770329000764178403596960381228954975128171174966004740366697677155499289566194411011792865476381239229812030574772711258101716547849814163978762186235120726300654500350199523735030988800000000000000000000000000000000000000 79778534666530813570590189059010875432875075155325210865632378125768027668845053435561516398867218672328328762181398179323402138654408344955292281083854701976957107944476928536261826885214423109070872018561970948768808439607938730287172606614796042475387430099821387056893964468320095833903191500294049453993516352006132806193046035894477877385600503480130837950076028700242882147347573970492893723418802938766934412748357940156474886089184151713834377697470347285332945194600181362205429268377071904266289496960034366755685753684508401203118302454554491351910363556552926242934469346453108388834864893782399769177218457587860086561740136649219400688080879251454931058689154155999159319441521261877917692544453136149972434048559609514733219920444067491972932771930325488488184342304839411295415475826950914084918923844621839187270832591053965846416034629620336818271069776495731371786542186945054824111554277447316287061321335960188728370725503000817295841353996195004957138937591987072113006401913906908702581476981963115129501851676385291428015845980512100390503086084922281769725160725795335135731060578976464338649608996366358711064161122441416634952290066780703322012523074108297943821336552527970671083287970785997327241794056539227657417043520254542472411496668973464263609378427838738341189111444133828891944231404380659824368060488873111872992450866232154490291398337792029227217202501622265650610524213725757275770467786762593175068834128117727037780701527794378236156390044084525524902380243943120071327090611758467339163162826064153643164147927366780231478782030505741444791321347591849541318183593799901998342237440832560147086430163405157573512397550221741914781729009221391000902564700855109685855551949379569947198700203028322930899527750454885600019300626098098854651915328564456067599060495828548784487708147413915410570519020369675357795365619029961690813987978266963437327678294656433942045810466962683505256777739007460444317571077115925376434336861858160199987733645125825662891646535056304917767234300143336465965876787875101016629365073345340509503807222077811810860707722369816297276857672012528620458631893929071322841851304143607008205404714397158847383502958744804677364965936967505838414824154062177523614390887903894677328867569174498617539601117197901639023267487507397290962783782192001993212324758711340634256902669498208869169002623649921802775309096722607156877138552512841329543478758753658902924649442989727395613120320473725942383180402490334165762118993411041130825974820086860215348525465103736080887954657172021545934604288484815321672235967930166778049068328685754135907071004508657605301125416332677697279958183546921095643413519635497407123530506015546700795969248662788123145233305703449998039510210677656900446147129671096836619318860447497051813469296098189239072050892467411270604333256667230253622633622253105616837673600545673430040714935137637696482115719091722378592617625560834218981342979833735342474499861820849678191292064161841919009479558569923611654908250636221443205344460105340000702028649304470224616278692478771503335377699108205034687756116597964597360976635886434467740688952973050825103244824395140379837661166242733804459010879071738257528082699749467613779141502089077089372489812664935509462468804269333903514696540614267101621156725654117052589644424924988374198387154186981285752520711409298167478983788385925639671997149282910600993352287037174535728575096611329592920006198182486242773713865655229406461559558046227138433552433781161317207563619012804031761789649464008095685976009463474242836659422455127192483401379495965845866205551323104917695159416716522304149017958521640453438580067986160366679513019553713264850070598599909536183131035600286605032805015557030506398081550978268502246378408843547664735315116940916796555425364006610291200541430903283604953490755932007733544322764729418231624840169872135034403993170393431368507577567530954752434208509100465492988537432421784354689649008557699569847151698903215429909199956083361471426053407338832384447516122646057474670601231942637946752306123402591067987973940452564439072814818744146750946334838646923702254468991079444223713539807335078819870469509762943751860707708274293041779632916732311601679164802567092198799951319544258472436631694753555607096496366921485989773046325933815878674058726593281724257097574734625669755225921642487368622121258859597485164117359594629035536642917145490834793021824258778032289308371668118638539196757296245133827001993424173248084131406479364251142753614021361220130124596757081289591926080383477681503671584160977637749405033125024108133103395486046688657979038248266596086723363546474167712574154140565702751612879879742133880462319052145044396889735870342995301445272375667695066458684993079093520234402527751127531941383665202152618311306729694995212975991671265882830559164922295584035123084637059925644759392031461647354702974871924982825418623339708854039522063682564142514876386654670384967262634648173045633810734129221080729901653579023547403491605576654224925921329604213619348196081748069307142531980991608094246817647685436841318201488304146310686665310330967787302761477333808766674940678217757479067800524988947942877837010090748622283485986297517897249438000183813551753176833485154351669678696977262863620455135893706754068530190785935506903961088142828442333304293885142484928109663773140398399776260370824627434829151951720654357391451154727827424878079509919790588530837534622151936796970354769671405488846546572646320063046037922660911466768977413943824816135649469511248568919506281853027100808638816066090119150467696645377010746222045990216266686485921506294593069048057635380942571475549898141949070961446089837797907611703002917375358186294766680820147762920439522477241706266857834593555648006599382169304356036937717083483757188653971551443515569713772143276965676750684229911316401677755921650787244173555965518329129423193165182124768182928486364592138382693375206849212498121055114356698206235130948625619524900669492467336418727164990341495252112926100274836613098647745463184932887026572995994336555541212089923843924054857276258581595694040953945227481369296407375358946765164971528607282049431964594442176273584141874082700529224639969120390467530175791935077679695969910532728092794612164300793866501606999434802703928296621118818510787136715609447263780059218813898059917518831281808087626986619106253632491193836408977862755163783317293220764111488572008456886867160618065886392781963265806794372260272240324758891804093243401731506203751442425402022591332196254987375722096618685503667117031869933987625656285859640685324313390280246799523132704703346922800650336309857226602636006807271686442244788871103629687916556357311625725077594189938379180020333903216930708708132376508468678247124549566765934680049670481826655155576713998684461585541229669030793679325584421104463444570763175880813075127381789200190837190351278957053028010011268527528720283923018092331325174097592821808090991612427767184548766832930631091915739231306841506771335465398450146168520787345795798256059678495494484675086002697660668591315087373046615048718091453318767839368859930959751372328666708482867270498793901671646398063792665491567847839829245903106857467712996667778999113451301227210642584443958455676459215307385743394430979643561516040098017073467375345329568045663332082013690710489397319708881852127587335189135950550468137715485221976849725130115196012135617023400279775505570190841350002047817258272641296248979909148809058707522042179065083510885451414740969871073967762311890977264894515143793450909441100676238753084679920867595179474456619166264882264999627556300721990392944115488307218596257166373748646404283244068729799711581997552084779431908222207498575180981232750151055883907857818520443829584137841808124261997036632609572794575280315652323774302886009366754001764114986733816208143570038234634292335281834594456738597058308884039864030079705997535626490652384930762477488784061837527141016140045116796471962589014888794140424436705016692718590460853194905956624124706673780678552644992056626255073062515085959054114104627568133195802669470766268076783389135526120595726852526718405168255846276159552255394814885737944830383423293297551645930266266769739967918844853231177164497821456711586388610609328328054351045558354913505648225329850125482535817303698902158993946946536508434896710382835586912219816048059798864791797824596423062276760872345547179678138306480011739384809357463152205631488389038645411367387288768613915744958122745562837208794810278262930551466431457632876846535465683690495145566329355041725024631775316547469493811137841808242251577885613224618431854152669119982145639971968106054086916924533736558177610290950090071920774158609982811241643801676984022950393166738975951505866071779780736216673590827208943819707183052286256141917135522668973030576089722075039662080000000000000000000000000000000000000000000 47867120799918488142354113435406525259725045093195126519379426875460816601307032061336909839320331203396997257308838907594041283192645006973175368650312821186174264766686157121757096131128653865442523211137182569261285063764763238172303563968877625485232458059892832234136378680992057500341914900176429672396109811203679683715827621536686726431360302088078502770045617220145729288408544382295736234051281763260160647649014764093884931653510491028300626618482208371199767116760108817323257561026243142559773698176020620053411452210705040721870981472732694811146218133931755745760681607871865033300918936269439861506331074552716051937044081989531640412848527550872958635213492493599495591664912757126750615526671881689983460429135765708839931952266440495183759663158195293092910605382903646777249285496170548450951354306773103512362499554632379507849620777772202090962641865897438823071925312167032894466932566468389772236792801576113237022435301800490377504812397717002974283362555192243267803841148344145221548886189177869077701111005831174856809507588307260234301851650953369061835096435477201081438636347385878603189765397819815226638496673464849980971374040068421993207513844464978766292801931516782402649972782471598396345076433923536594450226112152725483446898001384078558165627056703243004713466866480297335166538842628395894620836293323867123795470519739292694174839002675217536330321500973359390366314528235454365462280672057555905041300476870636222668420916676626941693834026450715314941428146365872042796254367055080403497897695638492185898488756420068138887269218303444866874792808555109724790910156279941199005342464499536088251858098043094544107438530133045148869037405532834600541538820513065811513331169627741968319220121816993758539716650272931360011580375658859312791149197138673640559436297497129270692624888448349246342311412221805214677219371417977014488392786960178062396606976793860365227486280177610103154066643404476266590542646269555225860602117114896119992640187075495397734987921033782950660340580086001879579526072725060609977619044007204305702284333246687086516424633421889778366114603207517172275179136357442793705110782486164204923242828638295308430101775246882806418979562180503503048894492437306514168634532742336806397320541504699170523760670318740983413960492504438374577670269315201195927394855226804380554141601698925321501401574189953081665185458033564294126283131507704797726087255252195341754789665793836437367872192284235565429908241494200499457271396046624678495584892052116129209115279062241648532772794303212927560762573090889193003341580758100066829440997211452481544242602705194563180675249799606618367974910128152657386048111781298444274118303609328020477581549197672873887139983422069998823706126406594140267688277802658101971591316268498231088081577658913543443230535480446762362599954000338152173580173351863370102604160327404058024428961082582617889269431455033427155570575336500531388805787900241205484699917092509806914775238497105151405687735141954166992944950381732865923206676063204000421217189582682134769767215487262902001226619464923020812653669958778758416585981531860680644413371783830495061946894637084227902596699745640282675406527443042954516849619849680568267484901253446253623493887598961305677481282561600342108817924368560260972694035392470231553786654954993024519032292512188771451512426845578900487390273031555383803198289569746360596011372222304721437145057966797755752003718909491745664228319393137643876935734827736283060131460268696790324538171407682419057073789678404857411585605678084545701995653473076315490040827697579507519723330793862950617095650029913382489410775112984272063148040791696220007707811732227958910042359159945721709878621360171963019683009334218303838848930586961101347827045306128598841189070164550077933255218403966174720324858541970162972094453559204640126593658837650938974904101923281020642395902236058821104546540518572851460525105460279295793122459453070612813789405134619741908291019341929257945519973650016882855632044403299430668509673587634484802360739165582768051383674041554640792784364271538663443688891246488050567800903188154221352681394647666534228123884401047291922281705857766251116424624964575825067779750039386961007498881540255319279970791726555083461979016852133364257897820152891593863827795560289527204435235955969034554258544840775401853135552985492421173272755315758491098470415756777421321985750287294500875813094555266819373585023000871183123518054377747080296201196054503948850478843887618550685652168412816732078074758054248773755155648230086608902202950496586582649643019875014464879862037291628013194787422948959957652034018127884500627544492484339421650967727927845280328277391431287026638133841522205797180867163425400617039875210995847456112140641516650676519164830199121291570986784037816997127785595002759529698335498953377350421073850782235955386855635218876988412821784923154989695251174003825312423713238209538485508925831992802230980357580788903827380286440477532648437940992147414128442094963345992534955552797762528171608917649048841584285519188594964856548090588611262104790920892982487786411999186198580672381656886400285260004964406930654487440680314993368765726702206054449173370091591778510738349662800110288131051906100091092611001807218186357718172273081536224052441118114471561304142376652885697065399982576331085490956865798263884239039865756222494776460897491171032392614434870692836696454926847705951874353118502520773291162078182212861802843293307927943587792037827622753596546880061386448366294889681389681706749141351703769111816260485183289639654071490280617987226206447733227594129760011891552903776755841428834581228565542885329938885169442576867653902678744567021801750425214911776860008492088657752263713486345023760114700756133388803959629301582613622162630250090254313192382930866109341828263285966179406050410537946789841006653552990472346504133579310997477653915899109274860909757091818755283029616025124109527498872633068614018923741078569175371714940401695480401851236298994204897151267755660164901967859188647277910959732215943797596601933324727253954306354432914365755148957416424572367136488821577844425215368059098982917164369229659178756665305764150485124449620317534783981472234280518105475161046607817581946319636855676767298580476319900964199660881622356977972671291106472282029365668358268035531288338835950511298769084852576191971463752179494716301845386717653098269990375932458466893143205074132120296370839531835669177959484076623356163344194855335082455946041038903722250865455241213554799317752992425433257971211302200270219121960392575393771515784411194588034168148079713879622822008153680390201785914335961581604084363011865346873322662177812749933814386975435046556513963027508012200341930158425224879425905081206948274729740059560808029802289095993093346028399210676951324737801418476207595350652662678066742457905528487845076429073520114502314210767374231816806006761116517232170353810855398795104458555693084854594967456660310729260099758378655149443538784104904062801279239070087701112472407477478953635807097296690805051601618596401154789052423827969029230854871991260703621315958575850823397200025089720362299276341002987838838275599294940708703897547541864114480627798000667399468070780736326385550666375073405875529184431446036658587786136909624058810244080425207197740827397999249208214426293638391825329111276552401113481570330280882629291133186109835078069117607281370214040167865303342114504810001228690354963584777749387945489285435224513225307439050106531270848844581922644380657387134586358936709086276070545664660405743251850807952520557107684673971499758929358999776533780433194235766469292984331157754299824249187842569946441237879826949198531250867659144933324499145108588739650090633530344714691112266297750482705084874557198221979565743676745168189391394264581731605620052401058468992040289724886142022940780575401169100756674043158234985330423918418047823598521375894391430958457486493270437102516284609684027070077883177553408933276484254662023010015631154276511916943573974474824004268407131586995233975753043837509051575432468462776540879917481601682459760846070033481315672357436111516031043100953507765695731353236888931442766898230053975978530987558159760061843980751306911938706298698692874026951833166365596996832610627335012948103388935197910075289521490382219341295396368167921905060938026229701352147331889628835879318875078694757853837366056523407328307806882983888007043630885614477891323378893033423187246820432373261168349446974873647337702325276886166957758330879858874579726107921279410214297087339797613025035014779065189928481696286682705084945350946731367934771059112491601471989287383983180863632452150154720241934906566174570054043152464495165989686744986281006190413770235900043385570903519643067868441730004154496325366291824309831371753685150281313601383818345653833245023797248000000000000000000000000000000000000000000000000 26569833805525670414238081864266611670530269745240849272456680949525453025433634461817826332147877880308925241779397902789128540026720866570662331695916446832100639297058176850186955815317382850826727914144202589323799653727198280865065880502562487484131707364889293484973886260064958136265400452388486574870739605186471743527923092286465047232687951347160216315671853746828449187435084397898203317638624506442349283209503742276555291954217892970686574921588373949274792472649582006006691534096725054478579552882572291548665650864629542406301111094002091073086026547846498393511202236633343440625903969762203818391723519919317534325295503715915694821602430062878194477688084948066649153214114031859853685947131949789753737287473344293826637539743298965331576595867027324135035583145592540488806613436150164132017536608886484665825839756646150667468719522689405136925877366411828829088653511935655885052716288698996537877288912076763546956674759076249935740352625001747489374383504728453478082309266636432324878031638173776748291230134651089344484380884533549488052672597827411206050878429099727304772108767147369410416951957997605214807526273804399592579480942862904411255406314455174987053500969532833778727317656525414181645333697490037847149546304866989787720353863166300132487512947086041843203186538501277541204986857900005793338863565516169348143363875519688384181888436695026306070228208070094407356934842564917144605895062659994584727035195929518757781232345461207900677328551400810969769731544347374456962404731358591175017103718573146305769541403602348532104406026102608525584013257124164588306650851368866071576556147697825014295455576135933647822109676410607384696046785640764411555861306277115281385834740951186231779392293855162896880374919050945864467780351546562074780349264670858477004972121333821384987993839075448856525083436118703160454076791632043691281439283540734660264671070032323989765333963290062317361642300171707722432792884922063483959327155440378685674602092355145689700343699409968951663236185413342226455996871414752534297836011000432722418201064992048383913233640931490007278465639565537236415347322329217346912982676238214040789041721003670083607212037745846893547547485484022316279223943951200930034432367963864136497406209560762691828062505827984326228006289351969612366630714919570250394156358182768814561432833889486609960027174209738607339976611090667330545476540524161184259665280312759598650240062258813668170448750600937826168744874031110623488558369900786493218912671227246593872154669879776239432297376478449544714537320522267310507726542555932374416178730117651509030941387413011586974969036564257547794808521292478211796133607799421430124133815335074508547518458956189332811509586553408098948569982979494744637162461653905314816803343083022871597555894690163101281515882657294878030342992526184688470549901984904991008736576291470287390179225920753933640323929854835320769738334296552390705236334229009582230960579692564933905425638376948655866170816230854035254523632820604513381803370921474018633745050462155573292416206203065191697971468442265072226893749496094685989073163492038272054597286743639029062427268490648269120222036845044883314733207220410343571813624657201162943809326556707255990486132304904475685472970969137649529550545654233751019299403451924055881154408214038472877948374120682731730169219047212224041207239233894914460608866238670416243452985285809838035102623807481447833072723647761259359645501190560302087613695923421312504552588141641106384146742828862895050426998326127564039995862096547337513771795030253199748556226886480157854120346138822442521622658712112380538307321438405295552030291274301373622518023411374552500424502832748406042501562398284841833513353220298974997498785986818633983415947320474004677397043895933001872828781083339661404766092257248213745421159020657730456848148400393955269203360974793786108998477960496766407751060326489857449589062957215428979720526217297923739530167277451852687971731147765703352435589814359255130435634160986159267836745601300853003766128674060718602060372255092347886227701857587611662596917969443322996231337416394029857259018518213541428354606689306466927139220315614174790417756139208555266346982902330102702528985048255628963559294222628324542568249407720932957300784990858374193188153181791585312576625811783042362317143935113742374398605103219129810901501626766365579601391180013913325093950717917250097875544387257843842713050486649959780971739196667814931233540884890811701367584890952845498231870173398332619322446616274880464834940169644011276220977241454087955620535081028641556455096245666149879663329570423205055098372190460310071873294362257231736664178664965238630725013243181285878160330382226696346965614079115714703998731265188449017467488184854470398865062435205906707329951038346274130761193449196711865791109023937828036951677441884107162873362835463586238578093820072348357689497414270027197205863568616283198651823343111569448808028627699851999286236101579161891160541957519093410145671206651613593954641792613919924512648443139377623424995368550350857767123951991718730328780620363383284653887081282257215943921897451987744601401285862150548535541945301767123788675539257857014588003156281415103075465089778721291950067268097344944113600145011027962719841616484761734010329342556160239777255484514151157463445468281108323306194691861404074845370319784508830449348564585513039578884108890021558994828545961853688611873543465794525650452522578770296264532799735088000485164390472577334835447609666716242924831419701127900815431747607554153618666584038107750917390954441726649710165373243443766026550033213120898575438623914908496382012029102627209287583452211015987189397866088628538065262534938791835144610873425138451143387594953736389232508671760453960414010309804562196502042944491728096161623215446816417797213150033804904423014192683262552571909893609896078727176198509476647832460269255639172268982401664011021938287212477056101013421858565814221195418519821310172005514923373023816729345912120295840412418883176039978279857437363592169690689477203783086219949250174009453338959185611869965947407619784539604351977012554520123579992063216796231624133493363069317661709467628426920757183395174726946150971739719368211637595007427259187782508415009559115912049050507398840475114258482945065748148603597568830171403541821991974348560545326730023813559978509027940411398295399702602108311460868377886600520204935483958350310342644270787684421676080228404332532003373109979077970770939753717599274736414776006834173354834084111241053889208695460724617681598669299344363725330013865131743080173040964041082012466677243893398987995950307785697453422006153069380664369331147020956070713740021323019864852117163818823156054301618506899553970377402714535528221069882902212125132517209733385133379573943782410726288495138089639390876962061311484299992286086230055905070522023375975659379192091925255797368500212137650466472243532010999324313899752501791265793453567656163313285052068416391623526750073415848977309807099338447493451708171448403100621387738734045755615472090812868042940208295470238139158376773253357559982763885472755601173600155586970723847280352657805188416627006737438452341636793276711385764784267723521944146062518440114824205326768912349110759921479535112961983619480504048367591137389761921840937839721086457628384691826817935760251625005289234660925116893511398058094737074546690895624588037605286272535791784519337462239564082803210061839931836709677218194876003366813544403898234131752241514735999264914359776029048791297273249500182190977878138737595290982630940098008770261029988933436197169663114052976480619423452473811873326103388957131916094358013215723527326246194586096445914100404533625811866697254920434747640562346255507848278384926379762893844281268569383909234415439139904113089591385686366933292047061363589536613702259811981369479553308967014777277890134793337981648801881558662556210618898230457011783287525067359888814727090666349574550026635963561679661650079176858531271956403460782134040859199550576375699367909293468380126542645325127466471397008884391900395536762883897089666970584680339417861050419349769097985375528228867765931505658108369886498236662581881692704326172917414329454617063969215860015916066895488299479100597915516155399217738152006788616406404595529539307712799655833734433534851510547691143017010559602280003109558022942501325752856027397005621009255102455243766024765300403254803898209755213570646532462871437216869134426974780102630247484986977429060062411335864039628884572533434414405993602372786106626173823255026617079495876146466269581944833297322332791536594715181637299307818818819166625712397094815777115441974472987348970086962191597670173968460838955752006902306929529563775631862998936495945730475848429102875680680184735800869503153935613877816409361850031857587309417507684957583337267283361792000000000000000000000000000000000000000000000000 714982368982125334448228922641002463254857873861650880361399933308064362548431626229011067132968960000000000000000000000000000 598250042592712179365244074933991942419961998386878763439125243625472000000000000000000000 11591027926823219241690964228801778274161687289043864039414824960000000000000000000 965918993901934936807580352400148189513473940753655336617902080000000000000000000 3112140629606400 588 12 1 1 10 124800 2246400 4492800 36391680 698720256 132756848640 6372328734720 26739632913776640 6166375070013849600000 123327501400276992000000 310456430191630614528000000 268324555170599388003088465920000000 188363837729760770378168103075840000000 29237343508488954358698266433945600000000 10700867724106957295283565514824089600000000 3620255577258344538942410348126486853902711893391604449280000000000000 193085702837245726428610436797948841968284839931081004154880000000000000 13273805842610895595891405619022610955698672194973684485158410781888348160000000000000 743333127186210153369918714665266213519125642918526331168871003785747496960000000000000 743668368790732306844170462805145097885940497846773427658138723523058078228118152899240984888390220943994809469338910720000000000000000000 614270072621144885453284802277049850853786851221434851245622585630045972616425594294773053517810322499739712621673940254720000000000000000000 1418639533156500720897568558884382873150996826864069588775930484080193532470401650107138113453884441124118873587802558147948707840000000000000000000 207519874463530155517481907819412282650272829099291244791035037634502420797239149822226401138830671905089847205074856013164990824335195850437649409432603353677824000000000000000000000000 1127710478382100120781579086951195425451852935748846542031292583322496928766075948451457589188986435589990114269417288702594372289338062144088767025041644803532617102131200000000000000000000000 304481829163167032611026353476822764872000292652188566348448997497074170766840506081893549081026337609297330852742667949700480518121276778903967096761244096953806617575424000000000000000000000000 77215522717882839118721593989352844847519031165070285918615968881165802179221629559627566655751514845494542237163957444039061701639260524820710710779047296395075318338090886676076232614272980127391513704687896703110473297012456194369261098779398322877397595389385364728130365315845273040529243648419602290675818495710035551028366602479530289535078157516800000000000000000000000000000000000000000000000000000000000000 4158519191494298183577870165890586812107984942426025318432981620064065442164160081563302229812153583518954066724702092106167707003484014824744196039716371194653176344416222792826761583674285617740797362079671364842717649883902840803950925735863276076885124897290738202798188954450163024870742945929286100966636880904959674636183711743137583273201169251224780800000000000000000000000000000000000000000000000000000000000000 8323452482989557172674090838725043265314965240827248538317114270978917698866314163636407696983569432725127768201920364719199967078250203393954077527404400920236985748026073167689179164415230453618398130010614414798568707470986613349557865379581547670791237411223057640200373835543669981191046525778373532815404702535027159074526273243267781954842923985902650701905920000000000000000000000000000000000000000000000000000000000000000 5518506574608463262170820536843046318730999187154093676016130996077272132316528352413671634661061681338188120535499774103310480524921581045157641003311393464518509947648331787008691044161021445180423225227451241337779346725058905612299567736997385264993227329185421078504608208232463214961784038104703221276281060054394046339805210760696004545610684649592517066942230674241474066759271003979906674379980800000000000000000000000000000000000000000000000000000000000000000000 175642725857615841631602467919198567167968193709583068405321488944537934767130424204751465296786344712118587259776658250125272535484204690817392791567101545689617379131745569605770732818689834572605296387728664612603657260015993902720127531584267147278842021460633757252854583184263130471014714231606776985154122597510897046034064076195234756238427094458944927730001931973638980890362791306613864978150225899439443916358155857350905860060260699909397514006011861727555401510735262515200000000000000000000000000000000000000000000000000000000000000000000000000 95300793951104940155203614101587846121462757355595542750435362078732049210145409293112001828770427587280073726513701867008240644693391694280108105072556926696564137231273640819796016385885550721077858297014374937678470118075519887407667847652623762490864411223067389745282840377188700079978019668475584470022414344740836075302874512838105204336616575475469741720517179078714853561885657950594946168220323040654297754170451601519447775114551168351617170939932661795658158014952062331449674312337328351669352384924782110244639018435000355316053109552320941871038806955980014501390511590352433853628506596940486497864751619236700599743996872581437380215615220173463109355218166898472893692676614991865013216465290435725529388570074729057482689190158766942882914067572658118506523172014412991572735335166333382705960828781375344324147527825912291893067499264998774217458864355566170650056408663525257383032396810316065462133941216988712657400991149482712269075625439220709495191727268261479198909570806365754911909435025540855740357312014578098973696107011576342585541736059694377262942549718855288263497094037108984588756737357905289246497732512022881370472695454206229629594355109933447964262794403347841770950915683376494269411629515445219137723740585427466342688652284871235482398340984467270159339666452645762395812028363560776647025467858639200132194664314777385349863875814106455809991499740787824733768199031181498899437753966456043309880931610334485031821445212781320199467113743639459651818870030656161304962305473837325047839391422714899091048658362476806018116641834393741734916485523916281547074928737143489337292784766788221762466917595689845898739688319432486971530074608383388056956509769607434322517445840103123564248076185272993066751091766672362354292949262126586526295905610116806456280139956392280519498618998809516762525910663440259695027991567043854653914055507155990037544849329927149366610028290612828527234138366874427255940717305054145972698423563021080192035840862602978612970973221619705397430575881714865562748942359316797687406748311023785026711551913521873508071769557925775026145734007476896085475502120790861459180405062788443612761153288843098139061027140040452979524467086151171670406157968606830459226228893355741742568789769889748259399145005509105609092403181090896703050896913900711638279991327305162019550645774873913191551668577943332245154165709411019231291262987779285639374255691682133775850604688624313630205431151689898794429783804283235045028657998844252980028535537660172268660136374123338843623215270152376543314880019235899827048214960481872002882682666858970659888533270893093717960449607437702748535332943029414724674713233277931202026862919913108638506383753200551376680479928585208860819711619999984618496948960805521187425164761122846848841343013178765744412689881804642196896516691443367426299975902549761321819187286407958432156708968166615717980018253556547703818934223009835395619433317023210050752629716252741551286833647368224467788868159826329366806371232836287241725189638393962031161373197750570788057574149326039269791118201437900833663938632197738710808528326728805513835496659934163525244070086849364340491227544235052015980055738356794425632646980410298387723253635591262732108286408702337110519318099275480345734270899696359073153474983089391369894580806570849024363981463967335041958584845227408492030094986620819585804627000522364313696513349932950937429440596638090483838733235254229214432572886013592888951414671054956462551645841975586707061435745815756768801532909893052189839931206373420572514990317442192239978932626304330278972477244057707830425789870453101021752821821513720421028455641062819592607569746168162865466238502571422914285936280767095924900537303169162295621195709541947423398911471513785308574812338184067791227880003067232617907170726177894362100132089674892016633635781307336529182225664114235732797772287912085205108500786274186413358815677030147277016619352220534901430345437704435167951517139230712876433705682950970626645148658030519580641343109024540356722324319577515852169873419337585747696560881691248569142193389164978797960257342058763269230850557868417730528234103858534105077941123964997891265633396059096337371657145368820348629264386222887648405157893031013566603111995485865034465597554328081573275246092590432168660773417596727878739524061170898621210075824885736992658507187496250254558717298402573433446625376040275178890126246561466473392322279099156969479447599870422811499257146881198703114932949351731710073939653592142940107916605431426337049152219382041793904530756649804690198698157093182172762522584092574442503073683024111124609382135998098714121143507184831655008395289765698861265684107200549756426974741629936282809752124300550181923783728048124717809907353398769546179247903844444397802420509904121257304884852852993113133613932300309482249560204682479020917096190880302291232124528854423438530354168163402279531795392407782705266072536923420355680881585381305351832872422735091880028699763795166309135075807009202476003620249170962760620089626395920445339761975721238823216368859460361214321571866782892588847715736903486815478655394257192600701609464851039294017647842887907003163093851686933121564800304300926401147711105239696848507472646283567504615106140255224881959787460208485877636668005445215852354065135350377940843770652686569309957926028549392322511649814688375443264173774996355012305653877304766646077882509730980947281980433714567344332016351057152546374829791222925011475187500995460036649789377137367031340858931386438270580835311171471534102364216105949131398586734744976545012117842178460979224928799223271207775816959293604346816107867634828289103633688747453632368380405767187683848248967341682488402192342152282528494162721377641834230896143527560659844502460541657672204553277578913949697220848760240758142434091928657166507780493399478644879136208105672599909764779517587652987329458324141976716413118529470782263556949030722035270083777555025647651548410497666855595382184451826554847874525868257329556166505232207740307113237882155052814285952656441022653860909600445229252262562543666781217259370024705114053337668436726772885682510760530170955546517636170193624834224744673359392754018242427207686591731768331249192149783059232549364134163892518714851450622635234946883700630198271486852275189029095378868344712562839508323297438939648332996151084404312906727747908275688680819446228498502081663706383452747568142656096369062840290637840189656615871182994613833984721066976643303641344067852983638678166540713913183709667845063519113931800400640583722821026895218147668413989330625612609782583256564791797646288380496206523578405153346054200107222190886092295995152947699974183632255244335848475494579849564841592831455876150368048178853360231806421955272358152588657391006851461210454888503079881848962560201436420931652590194525219263754982787377369684032962682912851701730963828041096067327784105467940677917400015095048818553323864489485318319945677471285069997513095715094319304370288251957362382573044959036701452660661332175240754646158044514355764702121084583738975833050300268178576019838949924312338948741971430519249506316954299431480829990727640535977042045104923939126617630482622162356871897512748778389747824139953894830615479286724596143827606195380443116230898918635042259138268210438812061840864948454692895892118733905872232992581098910260922365955194070260322799892896048443517848233124790964328044734983885718451224878221627495529480629455695593023190248541812974766944463488350105212190548329321448185310781736072421815031883692352650181688809765502137265080838469744066005839249710186651353535049948687675429950991566583749663327299691771943868018541472968878325760000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 9027102781035956283585086382924723271002641510907096701940136501606763106784223790741069742763279784437758650883211868759747579422702394388501747087197015912889317825378650508041978993186097428810019307563310094305638238413177908431924148865207151284693458961428570684637050918408527519204214056860980110112396491399721836003721079164332515308972803979066760641296646908737451020327486653981673144152255407471625613117058182566456209179743410766113351928545382179550931698221081749457108361423132645972816062288206773305572556841000961087399998403023007616715162287943946659172772460884561486115287715664661051773638517441376114713589795289367505805739760061509510461166592873373815001560247762648244845201007200210829995600294687159520019772859973024110509071315157737110202995570973595584264014997418415946954921310021760935479340454822404209775016054964709893222541799866714146415192269671768365073876032385094316159771672300790111501145165351060747758553615656364359352088731158741918193937743260204601230975249533515127127119295838083368118718671142215995931676200704653694389774215730689848370070275847486636599769379567523773099517090748755345272860834361734170387294546639146003017616063420896900004972658600755747258376815060130765196358959052049457406265238925253619792965202804055311515816925304988964245407754977888197296418724752069922669507322789943025950823293486311344196140568226807812942513718782397115283795585806491217475589714011841524007035235563503912921729084966544568165534737912817036865870885719398581190451730046458654156770581806371842949652478067509879374594548640596528633170827357716365114377014481099887924949533250212291293415058952358907642113414040590232564482077315380700103248156055207161102706756949281789838462769937136646233685918814738511831622053788408184471912127062604091903286945649326242252033492459804329760372949628016460143010007004718235607457218952209798997823615278061183573535159619598152836633947878179141886669453812484958273599209476553630883565380650223012624647727480585767713394129252060812683713876011540631109395328506687987086450710300035916974200641441488604184680153323898188000710452433702928043353040915413132786606809536096426302323870544223200669265545660696707462944890366895557924551157696562611978771925456887526775588168144513353161123388073223538963476331923964667722631351327984744247303999696934974959594164828199746113249838216808968537584636612319907921562705285596786385358646162230437884761751127695612142977827836906108553447922635214844354042511304771572793320007300869807122188462531936608648822804931523168441575894007396634951758689738074247850173297170361723945905678615999146906014344887971868145439891904062593007134535523114896855068827984814792816744382268200122695235840461446228644033452574265938972269253650610210802125606895161299133739995480159861261264771598333455557143912406016217058517581369412908754501302952019379316535712654114049772342905935631164884145613670799721014692412623479611189672325976836474374864574951277876311489427215140705840585807371279806095469143126350249885369938750657523258951301682968305710261169140303208116039032284577693530848368291213336492336123872072009776374979971765575644113196371529573337708063243935747312618248338744905843134258501336405606902348742361600117444452511134945571206956452359744333989608091093729856618342157492237116242004846545114217116695082382272632411158810720430685617227949180007166030512032367836669783724925075066759300670578798791267121538209507585249918678931927003994029688730190410889843664094594947225542042197818095475330115884664567341231535993679239222739787613664821080951578511209450709365467302453527501293199798879091208344370045738838028794641293076416942750700031084872605021371490045500112472556822050813637317627633591285799864146357728304178128013926890087584416268023453409221431551498875170469953112004226716927636483231448494023047085539375555004068380856769644251307613428594252451459513129984844368274308369938395005483801718517736781882512719308383696393119665370428552315691550591963792964304312081222266596242774303082502905361537388646254880756877999833446814187489807013108456183397928090194194009088490642613862767707445584362484419400759978174585017879956824496406924689868298700032516788705472737968063294067349634487743530255346654571506146000176219012688551008473151654087320999556924418921652634448530077090696016968577622025956761105583725213696513360030805998174892276795327054266133643440546286351806478429528501763924605508574244118751350094147732124681925714273069439232976058046982509444584560465243603131943232145292794160858255649894846533308532264242989425053003467949307116854958614193061277019426909793425405970592761191885683904356946856490169627271427896073811530554659011241705891307923223959729254360432505100536293327341602021666197385031682849497208252894526623642609995333880266198732375412988574638536235556488560423198338078596687951267445403245033084900343057483994298824010848636829192147241098340731076266174134162809718029378826007927397303135892838722903883055700510078983341752044263536274977366665366599196010165426525321832467508819562169933989769156365344782855195392983498450578173758508258320432845709248445281764273619231437608860528330742733470571336881777753099489151122280932502892780825763317178733903814738807314082427223650393280807911967803026253558170745596579018769289119174203035122866708428718373167259085419569268399253711606476835617836674060421167312936149984219350831718926710165534519777321906709222063527460912346167838916441133111047674843516062472882355830491405769174362277382094638173780740077917796923527032709917801578645377814328595083377934635892803510954924988759395990186213613671136518934045982085190371749659329814536555464343055187211607679072158494286547269715622487433873979311818827172441126568027364392042549572614559457331574073181859191370498959373771819116321468295729695477901898288290924537556924126325287220368987640121054834378292286596402567080283025910437600136344090263967173046934822095784750597196856577295133106947492651051085419539047527568700031633483247297317485424952850739657725286670429719899995133159560024997062891709005194231025176724539583282930802544255596078009448180111605464212862377274490969515374821948857313204824975500104962063306045877553830252554199407443809022173716179898589524658807625646286907362367011645975015720045470652715562635286343313301609324490576734231155159185177683678608936358926710410172807935026551417197765592539478199813368516616298620845799599546016788108966448810446338850500552945801873895084423963164332593361132291752486376342786715519939873596033701106947118011264533066483563933901594941043887743787093589023970506913543956002248411800434348164427344716750002181355448491009025672058059249718528429037603050933010573544863049900471581925610791989578041630331193705121241967709159701404049057666561970145721323397600980594399051415777450357626922692967048300048611388366780174216233212975595424719222281467403839814886627213803795745383973785463245364854530019503389571631658919780392892496442778640984320200211299843437905303538277628011832230483525573071275456723264334641318908078564569780428037239212554968997019432692630172671387513469007685840198096811675415776424124998997803839851469860831798553531578649523032362479949658410589575037660534287081278601508050534779838270238431095357717426835046956950421127719001820231435700960756194076787540383724436763584369732517109109048949896775402668769224211524229525172393892925339033989581969457091055951182268238699768049224917257881567874411754337862394359312992813909853092210183367096922884628839091474173788160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 161093703339266337467114632683927677762451665593727970892681118258890052135197584654283193707735926328683023524209245427540535815746880125516668469932857216319231923412614637389561983421725691666704315624705502204443844282817857669245093980649280918682007756424460375689402969924571031274594329220422378532079401949906017934179636967053945385056554995069079301069065720619069845605932183425660341287265153956331647861150536218121564573278294503017859320325803176180026757260415599034014444370118179115148705317421115475066946095676516024936991852210956896403611586832362810026455181670805998335771392085389452915002019105165867819111834777144095139442035003625596688843156500070471355863284337913175736320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 5015057100575531268658381323847068483890356394948387056633409167559312837102346550411705412646266546909865917157339927088748655234834663549167637270665008840494065458543694726689988329547831904894455170868505607947576799118432171351068971591781750713718588311904761491465028288004737510669007809367211172284664717444289908890956155091295841838318224432814867022942581615965250566848603696656485080084586337484236451731698990314697893988746339314507417738080767877528295387900600971920615756346184803318231145715670429614206976022778311715222221335012782009286201271079970366207095811602534158952937619813700584318688065245208952618660997382981947669855422256394172478425884929652119445311248757026802691778337333450461108666830381755288899873811096124505838372952865409505668330872763108657924452776343564414974956283345422741932966919345780116541675586091505496234745444370396748008440149817649091707708906880607953422095373500438950833969536306144859865863119809091310751160406199301065663298746255669222906097360851952848403955164354490760065954817301231108850931222613696496883207897628161026872261264359714798110982988648624318388620605971530747373811574645407872437385859243970001676453368567164944447207032555975415143542675033405980664643866140027476336814021625140899884980668224475173064342736280549424580782086098826776275788180417816623705281845994412792194901829714617413442300315681559896079174288212442841824330881003606231930883174451023068892797353090835507178738380536969204536408187729342798258817158732999211772473183359143696753761434336873246083140265593061044096996971466998071462872681865397980619098341378388826624971962916784606274119477195754948690063007800327906980267820730767055612915642252892867279281531638489883243590427742853692352047732674854728795345585438004546928840070590335606612937192027403467917796384699891294311318305348898033412783337224843464226365121640116554998790897376700657540852866455332307131463304376766189937038585451380532374221783042529794935314100361235007013693181933658759840774516251144895935396597784189239505219626948159992825805950166686620541222578578604780102600085179943437778172473574279404468529467175229518214781560853386903501291039191235111482925303144831504146080494648275309958083976498090339988206625253826403764215648969174085089512993374013077201931295513313704290350750737769302359613333164963874977552313793444303396249910120449426965324798117955504400868169603109325769643692312350243269312083959830895634987682131614504751915512575119357974468061835984207107400004056038781734549145851075893693790447184179538023097718892998130528754827632263471027874053983534291081058710342221748281119080493317704525244384391145885003963630846174942697260459991563773787080212371222290386242133589692349246685251430147743873482918694783450445625337163978499518744441933422145145147095332407475309524395781120120588065322983007171530278501640010766286964284807841138762412725519795091602303118705999845008162451457488672883151292209353596874924763861821042395271904008411503244769892984044336719705079514639027714094410417031957366084056490537947616811760633501782286688351269209829739360204606229631384631179928928894320208322206536430913396220206405318520948924024408748507010137965969392135074588056298003114945749301312000065246918061741636428448309140199857963327560050607627698121301198606798397912224914747285676175941712434595906895088228178017047565126638433337314461395573537687038768736069486148199611483654888217370623076783059769583288154962181668885572049294550228272135368941441637347523356776565608597405619935924759634017519996488466234855437563147122822750876950671917060758592945807515278496222110488384004635761136521576682663689607264676079305944461713818113900761938914166729151420456694896465176459796439603222146747976515724543404452181605604213564593346363005123017528610486205816640617780125953848686935128582496679470603077430863891149100475983135695170896349219029139699729516658246871263504649965775003046556510287631545490284844060213164662844258539126973508717528106646551646835728934012370331245985723934723836311965215914586044864932222129692674548605448340615808990776626716774552227271383690341034870948580880201380233000422210096991676599976013609114958161037943722240287104836373743315590718926305352493190850141859252539725636666764566118160306115818417585604067221976069121623140352471405598383720009426987567792198200614213180674275840755572669998986051264886292807925629801911414603528781376905293612091069225282541246732639638941193184513712180952373927466240542254470545838580324755814024223962190684525162663422699030916608248074060295702357216347251668593305170620474977007885034042788570505440791892205884867328825379946864970475827872015150793275596561961419255006245392161837735124422071807978018058389186829626300890012036776325017601583054004584941403679801449997407711258999295764118326985910297908642493644679554632265887048861815247446247240602722412809713330166013339360353793995637356165744850597925652296757116510016321570004404109612853273799290502157253166950043879634306691257520152765203702981443997783425236958512129148616010867872185549871753536302657141775218324165805876763199171254622462692060693580712091263121795243116033626850412629705872964934320973944160639512378295834940433792090731765963279897077115174490237346472440711559951093223903474198983747553655010427382843985668352846037060238176873981810603010871815777363173114709353121020374478011759618297861102344083795399403727869741399876289948171790035293033840192315466064689518395026486024175590262712419905828558760652423487434497021207655966709954331624181684838843223099247432119071441712987741464384890839419402771532997772325674229817298066074469990047327984305366294341409197480190586215117559821706754719048081816508679159685485544062121570651356181426681869106690305318119199698517541151767699550761388310763206566175734149053183164154389943493494958076420513403514048455760548688956141574654606825886890315044601681061354222297968939035537318359408234497658194776220475876275073948304162583917269677521693070871500017574157359609620825236084917077587625159261349844388886185088644458331701606505002885683902875958077546268294890302364220043338582322284225257896034654041383871952986012193809618447124986388947201146281136598641016806974555226357671678985397877721438624810448680914603837423537228692208342066691928140397534797381301840723116291383653741239530643991765379821449409088292616894540448852792528565109869773633043444340760287009054789358777555303342660060536916005803521583611418303223263275046902201757962551867295717640270209079325953066633263108907611726081732228480296148046424407723108300579937635437274216124428059396413308890138006555796860091348524842638890100753026939449458706698921805399182460576446139407228096413812805500261989958672662216432245350183996502845134426505088723002249476481423316747622957443111655885777250786543027976459401496092804611138117437981544541231240673875330791510679045259668799897159237341002108747435540991924025202696961121946327539795366066544662718053579321467213511222339611024132169613076820904451017905824180873928486364846257963689621615599202538766904465132895863871665010795940350095928548618593893158800110053784264119875791180554998779911028594367128776974184210360846129090266638699116994208354255852381711821445282250297099910150132461719643176348241692753861345070955001011239686500533753441153770855768735798201991316518065060616138305498208557038205124561957905291762441051625188352216434427476161697750656815688166537805124954032156426596895419076590219088507218229949918384561212981720512713682688384152318771200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 AMBIENT_DIM 2 BOUNDED 1 FACETS 4406 -2 1 9573 0 -1 7924/3 -4/3 1 6661/3 -7/6 1 6917/4 -1 5/4 1660 -1 3/2 3213/2 -1 7/4 6103/4 -1 9/4 4444/3 -1 8/3 1433 -1 10/3 4250/3 -1 11/3 2769/2 -1 9/2 1369 -1 5 1345 -1 6 1308 -1 8 1260 -1 13 1244 -1 16 0 0 1 -378 1 5/2 -363 1 1 -450 4/3 1 -605 2 1 -155 1 0 9246 2 -1 9406 1 -1 -492 3/2 1 -857/2 5/4 1 -374 1 3/2 -379 1 3 1235 -1 41/2 3772/3 -1 40/3 1296 -1 9 3940/3 -1 23/3 1356 -1 11/2 1379 -1 14/3 1402 -1 4 2849/2 -1 7/2 1451 -1 3 2995/2 -1 5/2 1555 -1 2 1624 -1 5/3 5117/3 -1 4/3 1801 -1 1 4861/2 -5/4 1 3071 -3/2 1 12355 -1 -1 15179 -2 -1 2853 -1 0 AFFINE_HULL DIM 2 VERTICES_IN_FACETS {43 46} {3 44} {41 42} {39 40} {37 38} {35 36} {33 34} {31 32} {29 30} {27 28} {25 26} {23 24} {21 22} {19 20} {17 18} {15 16} {13 14} {11 12} {9 10} {7 8} {5 6} {0 4} {0 1} {1 2} {2 3} {4 5} {6 7} {8 9} {10 11} {12 13} {14 15} {16 17} {18 19} {20 21} {22 23} {24 25} {26 27} {28 29} {30 31} {32 33} {34 35} {36 37} {38 39} {40 41} {42 43} {44 45} {45 47} {46 47} DUAL_GRAPH {44 47} {24 45} {43 44} {42 43} {41 42} {40 41} {39 40} {38 39} {37 38} {36 37} {35 36} {34 35} {33 34} {32 33} {31 32} {30 31} {29 30} {28 29} {27 28} {26 27} {25 26} {22 25} {21 23} {22 24} {1 23} {20 21} {19 20} {18 19} {17 18} {16 17} {15 16} {14 15} {13 14} {12 13} {11 12} {10 11} {9 10} {8 9} {7 8} {6 7} {5 6} {4 5} {3 4} {2 3} {0 2} {1 46} {45 47} {0 46}