_application polytope _version 2.1.0 _type RationalPolytope VERTICES 1 275 461 1 275 9563 1 278 9569 1 282 9573 1 331 349 1 351 319 1 363 303 1 368 297 1 539 126 1 551 117 1 572 103 1 582 97 1 589 93 1 671 52 1 686 46 1 694 43 1 727 32 1 751 26 1 771 22 1 801 17 1 822 14 1 837 12 1 845 11 1 865 9 1 890 7 1 904 6 1 924 5 1 945 4 1 967 3 1 1026 1 1 1084 0 1 1271 0 1 1294 1 1 1334 3 1 1369 5 1 1397 7 1 1422 9 1 1434 10 1 1457 12 1 1467 13 1 1512 18 1 1544 22 1 1551 23 1 1569 26 1 1580 28 1 1630 38 1 1639 40 1 1652 43 1 1700 55 1 1711 58 1 1739 66 1 1749 69 1 1785 81 1 1799 86 1 1815 92 1 1845 104 1 1852 107 1 2034 198 1 2043 203 1 2063 215 1 2071 220 1 2140 266 1 2168 287 1 2604 723 1 2624 747 1 2640 767 1 2691 835 1 2763 943 1 2865 9573 1 2907 9531 1 2922 1261 1 2922 9501 VERTEX_COUNTS 96692070166422466468495282869884689059138229730838184798412248720226400494355904675776287842207997902460607278232610847847589386015945461805827443215955945684211821366705231932248674906517612752448602500406433596150670735455094471551763754711664475198784948771219855248144530951949892142271946708974611495309926862655929619388106921883985351919150531619204780033262904934400000000000000000000000000000000000000000000000000000 219165642857356579741858449632684320399880134655802264490005901468392460431715677722961572769951978886709204656355707561106311566693847524718392524553301860098225087351742906290766791200960836990798898480596859349147875001486352208830629177129587391170224568868217889153094844925818496917841519619017375851161643152203250258868129118399093081316280810079084740803009439875397330044189417223714363013491307103885181644707822479735317435919678769274725623798060143161093679809197835087358362189937401412056149757640227136628906505331385402471526335537312884393644262359558186325307266577350892472822127771138983390559658625116969886005656610397468236577815043897538349027831999387330189745326620107524613558096947974865837707684878988672525536768613608375613160330359159904270606169206725043620756890035885018451287019928919172075235474887839243384032254941090298257919467211063186908566554171010122111704504346820416242102373029847880073499828507740088146484178197257728000795800720666579751945004134906965745459953751107657185894106510351213258012699204215285241425954342331604000455571944227997448665792707452606623340015170202912293808369531543701445168587972640208844517509881055913681130147084967062059577744206260463957581247892426672516891255831139079757550390890624756899200912546392482013928549193399651728048040699586825054446953162782216302259664507084405263130381601462347080657903561379328022261512422127247897929505558135498169073152978120717916705328704941866881468376291111001539177860864356298406476739912752665340618302410952108317775671604814626603065407587690075652154747341015569101760709337490138477289740816073848414453820966217697082257621759105800569577393301974262328299485221786257042339386193445022008467465073211353932397586672030651120941171612361371432380872218951440534574839883085282546709363025335095815807348643982835030094098075539233643339277766988329495672801173124796320508834576779122386780015341787245505538813494903928630074651914681885170051375801503664776300357919634129036959516218325645946171716016915535312168652642282466195570192278825892459103242551166513497586308367590725062615481481430111638538166376162420467554100780519535084977028765087235071313047759293923207481650983595075284345135190101427223506872031803761354216312766781045126907299618682061356865649575693057339182838538764344906337801508921972458425662965851582275440257788934328371005512098889614315812149881125687121357589572323340822658120122676305878283391950645354855387771068888776019593294091345675520216842578036925933890021221747228547631328671710372762711036267509419280869330174535746136124776105638179280661260556997650223522277639212572898684916867959267837374792691833109127187418568603408326061369484794444310721249229288119520620076266667777768528124261413861901308017138972360898095021201655095630467072619169041559849314219390911602887291138880356073197225634466420352246516190345936128225353101141521935796904650489268356904846992882567811103434221865888985246639772508052736679077644830923225072631981975331131808143151557642314791140457726071039261234140547222944648135931035100547736422844357519900191033984896414950275656305724101650577902304527437907830792130933108392155024889998897171355167697695141550682154595810285365398357374184233094709548948177910802364556332172194271910066150425295915397381534580481030510865487580180599137890116530435571918565764694361267586605937349973165385879181880378220221154082340200391826995272238771952876806345297725180188466931938977630445146819666046327647040283058133456330860203966559152427344204619382346462291866655276262585299737281211657699257985247538188649752598217782332510673062022954732616848092068493923737803646156715852444746691484621016539799139593057032218167300939446645722264708766078369955987638684764259704886022601805193320455593128363981334395665183574361303380497976584204277239178200425409978103100121434876293721247662499263073101858235908619963628820472129935202413479227798955777809849082366694747352579135465213505809667821748094912292699707990118361753178302589423723272128216722195413742202351438376994481897744264014479008654563039164983327734385111728958368025512823037603309232680168494343122990438699653599508253201129878413850794872624786223253215164680486985294342742538532377098024578889843929252755690578767959035523558237494879458390312621034615209893242513736279378184948422906701143851644611334063947764343404248870318168168511126976205816276396105936767213697306982906299527443951980747857830405867543392326867508204894364060338634435197949755390777704564596163223979317182551912486899320777168080996883749766455312568808520158799976190382960256558155564581685112859416925632285441397869705928727401758252396598551635203724087537394214542423568547417315700728083403473586255898606594284151892390292174635756546676471465629934445199453648048756998171487955926388456115046966845643855566380880228060981284815098903354965435248857243825252686822201605102836118598096118138331239268820078468343580901488896705592273388332670279715865842860877418437597428943730341917436844994830655008250504880493618269679296593132085273485712822864941041557686631598263604055934087058625079813790831290929512070623041257221910179142612007598367216573988024731184598016153448869374090137095643882065497436115102941007345127775992889610071024256299775184615724762374336746320351210028164757623403673515067829791623753205653386384543475385573982816423901134725884305997176671475602446453006724568243489382796293365876839449493635942326638167527551080889500615650716451436967476515410895640072642124736969340515789120935735700600242604210503984525799269416688925592766478193497543521918839783508126262661222305821839691443183357806540876664967101660704614119197636401377305452033009848639090533547694528254057936045170750260010697318501319429053602741616547811317691938390933412874776501026534124129267531665166695398145840918576963144697654793387827938544241604661057567314105269780299599321037073154886117476066179420519709518618452311616746276476187346659277757196551021289968768240119588074509694094172267831927992641950959219246067361540098072788543745159035751371574456120464886520925225003413867033473358034282784699443647193153761236414630652117143863682966067902661320013502885410303584487285839703082850452325205718824622276871468141202994761567054512412781544299425042698308702413181259613829897849587057592627090604473800239599749783058234762941733182718502322433968950714304058913755432449286290581101825469928720391178232253900482996651880951320593265838294714463433531986006079328942988436356752931784700928182943394764194639187769085628534209182242440620956069098361749689470422421363379705349961853464876876175493933899152399573961665760794970017994644017647479344244143033301601581267351202794531096748666973706868629107050605320642468202908619383744730496208242986927040106496134565697589193111904018168810513038774307360146589236633262024278758118291437621854866041719845838561480891740158639333111750770977045966206564226163344575114666118133970103186992824414875290458415987588212238585060252140919350275722839849042586575300062781914041479843667485410198473423466721018024202733205140495829557479357931243594650816400864107462626389154786771919783761701985915873325399413300787657147080926789377954475648771920341951679794588445507832142240122552427185010085773170721537684909771269005543390295917515614925142084102203834780219480394689871055100552063227383698824896590040552406718145710423842561420748353619756636694183537797922667936973528262769946669135775350460018113100213404040341713657208711237783534183366447294067686695535302299580005568138497661596069849938477682470310854012808768057147542493284494118848238352903757584628945801638810107372268609447604179145609654829364201880002756307022785935315909324223112969610277012121817938029998786457000071202382540097297361399843794865312662330069585122562227516536265696176546518563709997808956044417300991066321646445673444351899957903466022308723628981489482126860366489584002659816477877898048379753692088513256608099633674280122013871261871537460699289544026714363515984500515856410438983396102780293822629631996167045052312586937163482822614482160759576485818236403864429880348011093370003713433030346837093528013167130117120909824438016085015265447126326960350915090009406409774793388394800364324877151949840182040491429913778954188822199291536614966161509747058448684579271712812573131356842702474309923037191485256260956248816363180438718271244193595524446751944180235249865587843823562384201692668098894310619417923411688637317423070404669751480729080616239188325529641831528657644791048359119026987382446279270865269288973641273816271559078933325735687079284677761950349911575650213351117305079046387611882937935532505508998649675982594637824000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 219165642857356579741858449632684320399880134655802264490005901468392460431715677722961572769951978886709204656355707561106311566693847524718392524553301860098225087351742906290766791200960836990798898480596859349147875001486352208830629177129587391170224568868217889153094844925818496917841519619017375851161643152203250258868129118399093081316280810079084740803009439875397330044189417223714363013491307103885181644707822479735317435919678769274725623798060143161093679809197835087358362189937401412056149757640227136628906505331385402471526335537312884393644262359558186325307266577350892472822127771138983390559658625116969886005656610397468236577815043897538349027831999387330189745326620107524613558096947974865837707684878988672525536768613608375613160330359159904270606169206725043620756890035885018451287019928919172075235474887839243384032254941090298257919467211063186908566554171010122111704504346820416242102373029847880073499828507740088146484178197257728000795800720666579751945004134906965745459953751107657185894106510351213258012699204215285241425954342331604000455571944227997448665792707452606623340015170202912293808369531543701445168587972640208844517509881055913681130147084967062059577744206260463957581247892426672516891255831139079757550390890624756899200912546392482013928549193399651728048040699586825054446953162782216302259664507084405263130381601462347080657903561379328022261512422127247897929505558135498169073152978120717916705328704941866881468376291111001539177860864356298406476739912752665340618302410952108317775671604814626603065407587690075652154747341015569101760709337490138477289740816073848414453820966217697082257621759105800569577393301974262328299485221786257042339386193445022008467465073211353932397586672030651120941171612361371432380872218951440534574839883085282546709363025335095815807348643982835030094098075539233643339277766988329495672801173124796320508834576779122386780015341787245505538813494903928630074651914681885170051375801503664776300357919634129036959516218325645946171716016915535312168652642282466195570192278825892459103242551166513497586308367590725062615481481430111638538166376162420467554100780519535084977028765087235071313047759293923207481650983595075284345135190101427223506872031803761354216312766781045126907299618682061356865649575693057339182838538764344906337801508921972458425662965851582275440257788934328371005512098889614315812149881125687121357589572323340822658120122676305878283391950645354855387771068888776019593294091345675520216842578036925933890021221747228547631328671710372762711036267509419280869330174535746136124776105638179280661260556997650223522277639212572898684916867959267837374792691833109127187418568603408326061369484794444310721249229288119520620076266667777768528124261413861901308017138972360898095021201655095630467072619169041559849314219390911602887291138880356073197225634466420352246516190345936128225353101141521935796904650489268356904846992882567811103434221865888985246639772508052736679077644830923225072631981975331131808143151557642314791140457726071039261234140547222944648135931035100547736422844357519900191033984896414950275656305724101650577902304527437907830792130933108392155024889998897171355167697695141550682154595810285365398357374184233094709548948177910802364556332172194271910066150425295915397381534580481030510865487580180599137890116530435571918565764694361267586605937349973165385879181880378220221154082340200391826995272238771952876806345297725180188466931938977630445146819666046327647040283058133456330860203966559152427344204619382346462291866655276262585299737281211657699257985247538188649752598217782332510673062022954732616848092068493923737803646156715852444746691484621016539799139593057032218167300939446645722264708766078369955987638684764259704886022601805193320455593128363981334395665183574361303380497976584204277239178200425409978103100121434876293721247662499263073101858235908619963628820472129935202413479227798955777809849082366694747352579135465213505809667821748094912292699707990118361753178302589423723272128216722195413742202351438376994481897744264014479008654563039164983327734385111728958368025512823037603309232680168494343122990438699653599508253201129878413850794872624786223253215164680486985294342742538532377098024578889843929252755690578767959035523558237494879458390312621034615209893242513736279378184948422906701143851644611334063947764343404248870318168168511126976205816276396105936767213697306982906299527443951980747857830405867543392326867508204894364060338634435197949755390777704564596163223979317182551912486899320777168080996883749766455312568808520158799976190382960256558155564581685112859416925632285441397869705928727401758252396598551635203724087537394214542423568547417315700728083403473586255898606594284151892390292174635756546676471465629934445199453648048756998171487955926388456115046966845643855566380880228060981284815098903354965435248857243825252686822201605102836118598096118138331239268820078468343580901488896705592273388332670279715865842860877418437597428943730341917436844994830655008250504880493618269679296593132085273485712822864941041557686631598263604055934087058625079813790831290929512070623041257221910179142612007598367216573988024731184598016153448869374090137095643882065497436115102941007345127775992889610071024256299775184615724762374336746320351210028164757623403673515067829791623753205653386384543475385573982816423901134725884305997176671475602446453006724568243489382796293365876839449493635942326638167527551080889500615650716451436967476515410895640072642124736969340515789120935735700600242604210503984525799269416688925592766478193497543521918839783508126262661222305821839691443183357806540876664967101660704614119197636401377305452033009848639090533547694528254057936045170750260010697318501319429053602741616547811317691938390933412874776501026534124129267531665166695398145840918576963144697654793387827938544241604661057567314105269780299599321037073154886117476066179420519709518618452311616746276476187346659277757196551021289968768240119588074509694094172267831927992641950959219246067361540098072788543745159035751371574456120464886520925225003413867033473358034282784699443647193153761236414630652117143863682966067902661320013502885410303584487285839703082850452325205718824622276871468141202994761567054512412781544299425042698308702413181259613829897849587057592627090604473800239599749783058234762941733182718502322433968950714304058913755432449286290581101825469928720391178232253900482996651880951320593265838294714463433531986006079328942988436356752931784700928182943394764194639187769085628534209182242440620956069098361749689470422421363379705349961853464876876175493933899152399573961665760794970017994644017647479344244143033301601581267351202794531096748666973706868629107050605320642468202908619383744730496208242986927040106496134565697589193111904018168810513038774307360146589236633262024278758118291437621854866041719845838561480891740158639333111750770977045966206564226163344575114666118133970103186992824414875290458415987588212238585060252140919350275722839849042586575300062781914041479843667485410198473423466721018024202733205140495829557479357931243594650816400864107462626389154786771919783761701985915873325399413300787657147080926789377954475648771920341951679794588445507832142240122552427185010085773170721537684909771269005543390295917515614925142084102203834780219480394689871055100552063227383698824896590040552406718145710423842561420748353619756636694183537797922667936973528262769946669135775350460018113100213404040341713657208711237783534183366447294067686695535302299580005568138497661596069849938477682470310854012808768057147542493284494118848238352903757584628945801638810107372268609447604179145609654829364201880002756307022785935315909324223112969610277012121817938029998786457000071202382540097297361399843794865312662330069585122562227516536265696176546518563709997808956044417300991066321646445673444351899957903466022308723628981489482126860366489584002659816477877898048379753692088513256608099633674280122013871261871537460699289544026714363515984500515856410438983396102780293822629631996167045052312586937163482822614482160759576485818236403864429880348011093370003713433030346837093528013167130117120909824438016085015265447126326960350915090009406409774793388394800364324877151949840182040491429913778954188822199291536614966161509747058448684579271712812573131356842702474309923037191485256260956248816363180438718271244193595524446751944180235249865587843823562384201692668098894310619417923411688637317423070404669751480729080616239188325529641831528657644791048359119026987382446279270865269288973641273816271559078933325735687079284677761950349911575650213351117305079046387611882937935532505508998649675982594637824000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 28758633859305417086770611371544357011039000911236082392648939086605441306934605284659957619650473492012419484976251788765685514002177372092465611163632675625901167873704603089954252129559826886342189314148521646840809817273106015365246627775680364744422672454555013438063420110967655261423503124445196061281599582987910018819985207218405591671618773552911959612419215719149628793152509180578320868292830623644189061790502337578661414784368286507362720380041948576577213789981848639847233535577900667632481905025205442788980466392639864602647173710499450197468334626970526796114432775805230382262044563614718377781103858072361430603776356193043586215557566087957665141885096672011800620595448971281755503652878788372726601816426885884040959409674331671310332792722630997017066817441507848033804670322500017654292688904882411556867403393507675341984159413079782718284395177035417545069792178950382250852243817365294019028293571170555487743231635810333821939588899216889682453302622087318467137930841383789475487862922937188841448961639072431915395497821422861777420648450882186071969816259974764145658878034600683710873958940329170019181231493481968394000784700938156257619363505573519292006533015636454880970744730503691550275545861459748325624341073623293800902013876975448847661500489072692616750659518503449673924483465661385221310125015932717870755387330923469373308591105052003260375155366709536624428407860362557261373783934274293370439218051842082325918510670652021184047385586034594000565445656681069001987239014288438777552983568178114605504363711739368509710957308038318712181440301328698662717295730264441346890097916363484578562440523733352329422763594449854587932105560698951768775318937628386840110291130599496935894885557505099914563685904882496595914640842514979775450831449730330264350583684636535414451351001783634416727008266687657637607016856731486742652353818114642022579531839435823943035001315454086410713435090461931969909669898291989583691695012071211431726074861823340889303337255872958987905246221218079879044139596154204888975557561294502084034663296518117984601833379759946625371809990584310565524675656070785767586242138363651400429254011839696829903905184117364836023865041362187961266735088649279357599678153097472509496787883474000929015242628443317948755268006146118326464996231092721965335425540761322589561631626024511144807913739299683820407101401708444463485812666254125971721619643657304494880328150536559770035437341062608706733515361079006572228560042150117603630653909187458426818154940298378082279846793698530430930637555649226429308830904775102501585698270674910378655521652130855432488643215660471582544252148516121132196800929582971280124905797661774356202997526757838845312321919841010531850165935011894479015417348596955043994011619434445648571332906709752790181893319433864205864482825015333979834749873555069256237449467013614739660736483513742078818864164081066253244894123377436561771626805580567223544147114462474355487485747983875749985169697577570303832008838419378075659118016165536065769551485552936788164238389908339532037510338787397209054147342659551050853615290606200996863665242901548501350914656306319708604757257037799627162615988854475742580810080513302493983383147041766024703920009548742423638063413978390597556531997849441282536612739991097993548960908652476691045962212098471717384209074491254224057352672693338499871672756220095464420822173990055146388939854495083704667659433492564483061758554832288130736692644743979605877101265069416042370958487281043890538186595637496766160161606977161858401516179869374755285069212129425485071050126091821805526053491283016930778915922567216397713151974751547194794362387944647780375808363587535572772286205574894906801818067219948068434215463528482887636137454081709940097170657045059462704736590444744330002063010007181267075187057280821059729071721501683135133036208326978897398110831413696748622401698570934441886228768449052972157201216967651615794347056825252295947261028327136855750047883820655232605284929490927495528079498360445138864670312264019032746385420152512630563822557735790455833884981208200092231474767180416018384294362388212027107428733752594058338003390553975468466153683158825155035447316906300398636131737259326002203420952905100185657285586990870768933996453554481749186317032772501237984668121169671493467242411033599442530331953994314214566884195853099331423533086405827721319961973973721614883933040919726895418077852994898268433998557652966535906988999959329922498232728757507323072601544413537718561739475972154801291648204753787270841857010111679538451751451001289375145739536967999117737539703131895635081255941062429369334346489985840407539028238749058344440866624832093731250016935415804176043278021438413594572859359356207963921008924108392297732684844398264540254515488853921127832946806729091083336306718048350994305386857191997697552787377020592304159177108486711766644359873888035026171500154726099418990421033884711658983708242351843979429071829443281625494448756999495220780766169685973023300137565889093899419597307527608369307550410012026275685689045568583453130564677176942281070392878702725067379271458735919752252657244141327790197542912059344631442569027258137933601572982084487995499003563257548125307246716132939820448989720463407165745405639094113082005055464085296800345796674356780858474571028434054059534182204830411455642919022428185731047196798398291103094222928326259663580125619023865054248554600652382202012715075519409947149679010013434672897952431621019684997476635890577226622544715356937415161074860705502447092385883943513255953086531276341649579628410569453391270238185673636080569684709379137894977027888221372537758391114408346439602093411341686993166743350836405029875646306054976001511755951412732298553738052981523808034743123332453237552773492605874798065269712468808490168188933667625826792148395677773881877081269374540533330105830012511338976668694194631489684948603673579079224096038680861126834164246856093882407258314097324866926748597806618285645481599701254971708412314102895175973750476191557946633231274169539691653379360480369479539009255682468684612029454691640409364519552039166953874843913476585451292091958761904596080371062007761940783277772012725705155519226308379643124586116897953662447173737123479824119266085586098787689386130822461409820020200037821216241714126155869934904743741347147744120379234310174149162967739622376263846627731196983044813160507357368948996430563437497392146710345632180754112467529093518554453042476126294793632892465794942223323323099044519794275987300897085801009272618710514365562453414451391785138937340184317043536058092251485013674367649276654181760250335020473955755146012353271106032138877440811512944531354427647897399708893388016295470985803946402445445752564914574692264311915476255006615261379366703168852957667942511091189117564366117758054179249700188773753702381455274130955824630260470111213345346857801891548074334198207348508202401533772685068892513312752226442205183100928790610371004119580708873859600819741932843793714111853339784818802414730638746821637223112589611616464667261213955348383404968905585109498558714502843140193648120876844884692025018203569889993182826555104021008602233486450972821268862558182678777777454976031159788028392504676185788613374520180457234837605044585467409206813910417415938573510695061493657515191376567716011180102220855405511854851652237427668909728872837700789140901810861678287769474901649989032912933647618101923858800375753793531599336891017558636724110891719152291739965849645316566748119854525800737305440200383725979979380040898008333196247211882150029320710189401176850382742705101396498355382455611747558661468290919602725855637368812181739886334868345672781501053162478316801424777554621936308334399302681861764879928906766271444285074515653279941345903780464974144211197513735040360719358546080768823902367944754608931892968377438130556604981720378356496848297044719281082923862561553636089116035644957879413610063190135805781173284750646837886403781156970884212851166460666397732614491961448810304064188016994781470380535515537009728361802750037318485324742492833292700266210740341730833951381150758951303368544860376564980241292979681591227697639554372948095689167395615445823999747147400711235204160968469586490048800868246823601199146782872380415307309851870445003845859673674107909284266419540346906889257849851649769525504209536095416441555630961152625720882508441302822209170483874757515183355983553767852817048537927140357053333838162117196134489072775188923887583453138816708238096908440032686266069790903002935042491566104407873028098297690289210266947866324764881804131972672126687698714494329817038053333975157897733223576367675643018101307262499925875313854514305321489235774437105471830988965877544593333789354096741842944000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 2229172350983278742627986689285524046393752296054882487659923423855503274252813808410112748175850415038051172259000893333144021618297696056987195928560245743912822328395232406691831978539139662305039037345711218437621296332571687123528198338627144611348348928000000000000000000000000000000000000000 33459656855534827058671440648314381205848179962395694890504426147744162441947299054411163709196005011018726189295995479460454301877698275375257947645800036765859322205412379417191836939359030845747611291818391422659321856650689928621352550400000000000000000000000000000000000 7873410041894209889441641695413132149088173874130709369154135175636569984104583399832702802949754777525603366591071832248107153330546751687619657863031527238259119301414703600762667228715668019701618428525226994262922410065920000000000000000000000000000000000 1422063841596553320993944612913381649755260598931820596501347968943542686082269757915442596432645182307579544477606475345212656075804310452829540733790712154131034615673477985214533380133769271673490055377810203334410240000000000000000000000000000000000 22756748752957967670591256641452810200715225213027040714380155292317486553241931088511393739771271656243200000000000 65376430434669540533339701911312689327958614311764793525381442172311519665565631888352948330168320000000000 1976325590855425465314979779459139493694842571056646748134117663380065498684823961600000000000 5941334748843871648974806936805974908895029374268418554996746222282544187965440000000000 6784857583556273179384810390796946655219632310121342177002457105693028856627200000000 6132343051155275687150438180504800716442828800000000 695276989926902005345854668991474004131840000000 603539053755991324084943289055098961920000000 2111271304299173654940352512000000 13780327708528176660480000 111171122886574080000 346393941011712000 744089799847680 417558810240 139186270080 12653297280 2530659456 22676160 283452 28704 1248 8 1 1 9 2160 1460160 1433203200 257976576000 4586250240000 669592535040000 2678370140160000 5056781065246310400000 1589132934208546062336000 185398842324330373939200 49782634294036848338534400 28376101547601003552964608000 13697863468593117332644585222963200000 1164318394830414973274789743951872000000 2529625362441165996221897738249306112000000 5461670287563915632367460949440856064000000000 262160173803067950353638125573161091072000000000 14248667606370546169670585763026878460854272000000000 53679466346490589912773114586444680344371200000000000 961111985097808754968252303278292265148093957144576000000000000 115910105402795735849171227775362047176860131231635865600000000000000 12393108469666920076993387673741710084149885231286506749952000000000000000 10642173708127707864843430595182383836514340531875606151728980778024960000000000000000 10642173708127707864843430595182383836514340531875606151728980778024960000000000000000 41159584408317376235896215322235849502018526311719679063077489722974968863469650058003524373294347038457404907149412270080000000000000000000000 206703432898569863456670793348268436199137039137456228254775153388780293632344582591293699402684210827133087443704348420341760000000000000000000000 3289792206658321297340630066580761774834463041841962472619228025886766265512639704787174850542673515694763598584566053135014522456637440000000000000000000000 304519615609327510888335422113048213687552071468101256277998842216208519367177494273624840040482573980285792502980356708442619271198644633600000000000000000000000 7664326363094978150340428207677052276767044754502476344568250994816324085933570104901024471754876679697801675960798791277249834921316448897037114911393137204651498668032000000000000000000000000000 5166009304681027857155254125248197923297520811307208628551816414710046326850044097316857067794436598437271434572923104075387894924435953224254913130549541648207813230361982120718541783040000000000000000000000000000 1711900275538778051893125551068732348943536152645647894591847740931946621277586152297556639518305963771413768220673452336311800326318445597576447291394441974835553408708380731099755108736248567818594542719503372973879507573694082707741130456975671042618016666991951287609641765079951580434398440143379414951814782752448145281679544060910594329807198848103304430975994298368000000000000000000000000000000000000000000000000000000 369892822721510067222119394616892245333877943516202615745061847209729071839979244688469667943008078300088703190619806876283141621420505167364649795180922464296395875950543115017879775339574255184577137037959403945953385555428001500701014282638503757019265488408050391537293764194697095914175407093749924299150676571136091987748077038896781374038424303614465434782711061181668664299592089600000000000000000000000000000000000000000000000000000000000 137448148489401930950208190380623726578439811218595435726405676150237681243434668352053118057634581968421057140543606291728001465939018665096482936499459219296129162716091479631552729984230098658692455924054741508001346099562202301004169280393072889187482685883917645906998437018595002537304035047608291870388016654473077821966358728575860761611328933166712030181324994438762419098660840933425152000000000000000000000000000000000000000000000000000000000000 2475149664330786119631554653816120990686398693817583665090541201241753294044187162931316761608152742550241382435407086067478310589991024621432600070380490376180572564860508472530895401417877149719771270490926866087084510809450628173780526168730714347091658110253298361338612320600787841095299422166172251853793596014729375742453607125829920028619690311592097341346943873870580026114152509184076442687543670682025500964154051846471680000000000000000000000000000000000000000000000000000000000000000000000000 2687059161952638239148459150746020428876557670109971701833387124042939297436618158626664650666036231695366644489732629332632210251089639451842168821842112853448201334556923422862029696581283559641317351262995929839954589348909382676940936104996436990572586983484644758738699970596818032807586412410822570552255381057299642408612705364359940937461759338383218525667045738046318201211294345813871686762329604786804823456636581339345378385561070821615358461747711624416622662617261643839369264496640000000000000000000000000000000000000000000000000000000000000000000000000000000000 5538970710170785174205258948148862576700056822577410871616196949788545170086182611251232462414827231811847533063810212234323951298165028882749782059637181010156789648042861374568767378913919499924469168251002125750739938281932631877405138080908738833513607359730049425972178571170635774965496222302645107348921925984788687936362780537041684432052732828365651654069828613943320483686130474491609119330805063395029452937465882188258938867123832293395088661301757860595781062374385175348841446483866324214681972661818590198053584642146666600281522562966179654477898169737153944394099379590370108540331662741089463579290310620107817319292998685249206364362497710833742330336813756275640820205021313168979311983489739648843850048090162863088008041057134175689126740073283691737868449956248304412656179629109627419100643364520856001066938702981661033535266560231195346454499279740965623287067217410548631386702421313840118234378144526617055979142246180293129031535297540991011897046267123542146434891923178141176177968635170474117498983425592597717069708447915185896175467146094984364568068171846777879111161846711537175227051817764752577060947699694441522433322582574724164151579910064945793594641280024522093950702046281179192424610821006415794379699985203418976609140550814437151409671971687135480113481144120335259102766122433648336823648772959100695798324549006261052196117151121913101844662905116148970138255576325739867793573187106093244666735870757701753970351458264467649068103525797803840899945535624756579224552739757932753846613199497848426960049954525658533242927656563199720415522309402513992821093262414258025073320130473223413529155365689673528575633338338123671511413425083097200853279984800412212781964625581971415495486068732402604138139375926566513799571100010326037415981175146404191299303743673218888102805409248286252718845012777147582937711971888732170434959917019588216678827131170452753965485414243962913199988154450009381797294144228598427538837711044451870423200181572757261427845136859065275324529652772059389914949006391250147619388296674177358873545606083334439226032857068801914576454554844893424737207358339789525700145316345817017497847555723848834415943223082527094724513220670012626899501939843787129358757379086736818286094260694069398123314262094762229470045866449964790220887842660065065487565198369277740964624207717167541177057892382424311955330317007922343067986911355304485618631731328822041369561528607415200025238263622304576336931163601291182746490722426514876073737155611979234417575145929361247176315483294874363560057427941416425659889721115088952328710878165857671040950221466270447601984693373305930788876615358002445412393768561009342461774930203273565244836770418839308986661705521424328081488926540709945973866008063791658992584235467902076880469915615821810389450013483296326830242921581238739531530402232267647981138514175914474147943159719086801007944935281056107220765742268959638022670536590337123050800111899202305429840543244356577305909210715533618489962053561004062336262683240365632969652993007028626218626229087360532587250811102949478668972769768873185729419489841149496828505524602111711656984240465654138053147256415590295284104700897934684401574010613494339913425621876944586013342495963221833420754008322630538000312686331242844470583908978919760035867736849271139189432131870799903180260090821832153461455582640939024240452218466627411527821981064632853395727100262975318575034682076936059690331585465236835016929849628793095280079892985667942833483237418347208203100221913914394748847137787194147503889959136093179945843293342173707037290355581186968994607057733029087629296157489274920489452761389460507772204918243846574157404781249096659991590472336807420374713830388567500766685576633268753965175899566366539493925193541715082117029012142220754932798521896432600223375229594909528899998012823596970828734033144014099493397224329471317871770989602412335384808200796375429601182171442839163153179662142202509746824663833077861223434855679466410127708410597950120826815355614350786702545042976042475429622438860030094142948133383943980705546739845331912499754812713922972761920143565380784375380774580340923889429068277772042271167930743381091836200200493242762574552493062061711882167003287916863978254637582352822317065833344963339231387133070403049143234645274282240555237361893321295396818974725867788011650762807260517860050690697818648984166635354610502040697310276551538869006106815328438918617043559323683246547757482952093589757534460646385295176324588926366713610663565482170554772574860095482181870911891342144919603572437746350421843118143932592087365586723336926008283259257437870672602632440477963786752343167420579225733922502770003966720247515586054059470635598578756107981980898487631430361668221423436507071066586442411178011451744926457380424125804096755424987431632193629561155351876232668841308427262422805004052023724017133517341920616522046643415607007213342282142640092305977467390941381719600004424727115687918506257321365939170757073432926914217581641345619441108611038780451181316766471449617920542232345480281636145854729960201314052893932231658367376926500492132103321118803782470959625030825546036009074847086138603006578587917017880840285229842190615376494823358309867464735469110685090345700633377276203603955763655432111278165862744306533151559686478156210972586103344258618075025897907352290159750835535202307854614458275112347921163104789151976608826409237219727793622897247933722790452910706250407230340601841337685393437046759475031847077289866098210753564460113653625475575116217201316503069906719955016356765055007093967940789417027852348390602329443358871982815773092917166482368524923318935730560960732357527731863379435108579906052744278068653186623527182046924185116621707084533215090650385957448743047488423200772710640724207272820941817111875455788682268798170595457153806249177504219975694176500634372930726119935117899367742732906136557372273001870590749583134370045041600458727867112481073710991821036650462459485465461346167105833531435808221896903815118186222998799541615196827596770835520450519177630825265322346806250839470754925138474782076530073405399029302656609087010053499510311862150260931898108874583748653461937052061847347124862206527907406868682488409142395797946525452304420396409378176493601772245079573672297202853160231785753717870927615870796218953470442835881735828219023899294109271400090900991781482385280307559042750067479636990798508373886480882600697800999037046923169690988698536403897622650413651859486008453981035041442426446106227280127873293499389937895631359525880364777307473966386900637484785503069572338102261782262059870083178030035479635306190349385651934517150963105550670516101484093167621927102019185163258083726261653512690713297737698697841917255670223879170292160159878007102435365491477653255726106664866452088800398172960703182311630820476433963178639397579098084188996493087149170722099275571826490405845399104395734049477828535484304488337719046805583424628455113534705376167470335779461314482863451021848027216961279528305792187976586263797005662985970381341600040672388937700415790613394318486777793914587978855889073659134675954459958474535502681579466410234210644808266939212548538494961609951067614178075103233783656687394888791164110100772985152112041423729702276328113171440835571420344811573138177519202843819403475440125387336251882473312331320778508634960384892658810589741371383528556169834369025478688311301996022178508692233256788612886169935312193516901418918746825512035772119148896323831400783289843847921452184407721326320504885639562353403315964512769779779967192250276370228700248599159718070500154320124670697941691922634940907979622983455739505800317782195184427847774259136163424457628838554386164292303854247164721228467404800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 769623480683990065376753010470352081923562325024936689556231479997751828162574633968618209108484359805462269030527314920570216641361106870244833416160348938455136619576125333480173179343507726126366188753707882575115657424980238108246573940089599381306809992852635953332550964257751868999801383819205909565072472726796527553952632020971546630165195613344889145126982973246897345545392815406432164777969341206030783198450188524085559637747101263824381049699577508660641585140955992107935265634707767053808703354202972111291404544836098216901515746428860337294228979862071574170060388575612872184045332156328669968359543990904723536041767774406349912110982781940961616383671658000773901476352099533079836448171371508426389380245525737553066605997885033338828488752095138690772502236492973790376130506145666260204269686294674940913338872776578788871778629213191849138696847148153560561124901037710225001939164525399641217503319153168708983554372822230150512185776414184755538660169799204431641143956544950289007253641670986489907366549072521476937635821372118971446753864664687662461736515011842418887223167917378789547740740419051583404474015184400389716945459344507983855072556163415242303769893353511032640439967921747443143905516488473490349587531393115076352003509717383819192299503953603156190000692529169798854902458852557977737854795748285027032753183178289520014918619524190441168525644922374894584251597426928803812596904874666225942672755085814328243420900905057448985841261074881623467589109919741838850570562936201337564110037425090839429700014512879742044811534427087770661986554670604659718890881176841578241098699998287132905760180347096388995860616281717194541995733569809537678064891887118970576198866306731641824300932089215973717840415492144915095217400575162376756187075165973506331564168382198900861350927110050520568247806017216513503138283672206536178631970310493484855148151857396759949365807100454154858935972828642854336220686472083016953985945731493042601250563842110936666802582457242300908605123993942499811788643036640263226551529742009923935140742380527227537360325875027276708648192782124908269253070797888006126061321905306325779167302825233185891748232011015453247593480186155800665317874605004822018258146150165631832153962644101975528688414515796580977071418549279514342591678788026619256194870636326277488191216336914683127585281039721301245385637289690142168050476125563016257133946330974291609331331701278370114865543927448448444358050490820429900732840698374485377649030173063976897685997340246501779276928511085312440267629548112766649689637187022228005144942240605963212445021568055615535537277732100094356345497323257214713162627431294914659206234127953311131745512942562534878285705558650500918958732014793744986706188432015916647842009730413905450318094475185765409661469358800023341273571456426229158804855559779429719215180191675922276146730752621581895617387576531242970667594812541161493292640285234234439561888829535741498811465027485190610654376533190118897705582452182134242113020390414570074652851909017809768154842184515132866150384374937592734739079145588663640585596776686150352836981784221052478592831355825240317833003349103988919977958099629435129752658208484527732765481201255270289375299536192665451852571359272346523775891165238424256207742588285458944636023404254335117969008827045587978255777576067302217158813092215128757072979490595019457619833027418179019234023560440451673005466632334760927130226136427946500730180109419444144736673567700474130904911311703540925365171327710126642866704283077930452230902453401290237113442991141402662618477048207902100584704738178248705222804612067070335658857522398397100453516315795954778583128787246301831010849243949324680994860559261380215487820195328293313584898869308082697723914063821340458795997597375222350723436255004658409689148539188331375977328213416915667692833410754074628509942522984656298843411661151236861339733769787942316764897070301154946320585073578199098852239490721805803649269689521373654327342882530097991867847864321756970082609401793294807758633145297485051045179109378220772184855428633088825995218952299434556594087533744385018388239496187055610933542187287310655202356337904394236272664026821394493674438536860913070210632792557931713325874082453829693450927567873780395381345388548204120223751566903030820971974097105874387237653391595857368027815224022571169227751859453787516801550432610512584131673692935560936645403308526570626617976171376891281349043829611870415277029544237703257458087632500906712570786039623062723970691689846741322709803322893164102353039549753241660666619425152937712199404678205640035110013095786646599794838916896059754667480219089616578407883575825878611894155389281998719366745943758436693784739812787528405885449359843473332579081518951789493957788123085246277423166430981385710991166202071480928974797388797755828635194915958142181604542580028156148551056800140673040526334295910714504156376383199228701333462111370023665705811401031929830851963300067712525373544614230059391999355093455371061920334736731456608293899116224455748903463114619110171013732262866692750993050238752605226309787610033208942217983841329857885736726566119294827338405474052606349986111192118254229868117098325558270270918081033587643737079561279417037101519948649684265445637216978025826764363372846938578848279240973503304389051888730910975013636015430959470560508383361921448172377130929400565096609464244178332686901803932681385909524237132735719762751592578012710765370742465941668236334272167626574778884063875084525805937895986931701593472401288946409320657632207665357974568627612326205642736932832441095627218652415818786754151332571870022811135931557889963311995662762891083292502272839624555081644810379360494266592891463656673170530061186379138416233109644195666715571167739572691252531342761763179069341680902550805566221242712049602797233823921433275243870926400917430736163976009323585724400804625082539511272397230498417248672031230978510817457090135396806358804225696345379120703163835636553660386814832293898331219946258967050828746189269288446997529057052347152096280029816731866813285274079922085655296986682837253194760912092218853842906704393312834322491307695966085230586153595458934040724776674915032250816851210147415511593225321119772932258579224844391939243374689793438023881039484438225223693251689879542816648071521569778219130372343833340774428763125424616571234482170372258016170940923521215621761549080771853300052797370066560861076996562783696328680710024711050137423782186485086965956772995988399131253739555558599509122035698760128708545592885795339845146819411547172662384893521875766557819988396177078440245667724974960771168314012556978658920178056318170680247466114921625800309686269717855861985599283279318413549644502692976247032858507935827340725526369388950907366380255850543151079128625759314062354214155920504431165425078219736971164140923488723465402800746840564675987808358373781612464835871692295630466467021205292583784168737461681185476507591757741837858559871898037399384147879129331947460415978316679558619083396817361936639932319069367924624947701450062032636350594202349530014928582683888366015288866872890650192529996633716505986659735612372975237531255637843017962826428314141707212001599102690707115137107642592780206517431607638561774449757109878863355489753375589590334462062375217857942891196969356498691501147028232980643635501632535783349173267029034680642843559976394094789408524238144811076734818136937236508670291025267049331722774942817091334961739508996984771538798668707998862430420252916898603833981224195851937120429014412093782396287262652776596097870686560507729328297666429479760247788380254899873771399623259712283623628460155354506812456960000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 241411077351028890644378581958659157652003948917993802340130200849575698850278005242364313192320016191959656407073309441776453358011464723071846178206488909191568934147993645953012047354221175584733173527432697573381543554009962312151897620589474833774061824329595313627899921016446899681157323040055155062556192266678910635446418464427834419849859056717952333713452234939610489113970867094266713016023411421069374091492395338893255262609643632946569967519728479724307507974858250452608422889913452632113387650695241332465440813283586476298423230904196319913954645355702602068722788726908737978621323057218013476304285376416735108218971158151164304127288419571965304901014361672968130486905561649381663561482240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 256541160227996688458917670156784027307854108341645563185410493332583942720858211322872736369494786601820756343509104973523405547120368956748277805386782979485045539858708444493391059781169242042122062917902627525038552474993412702748857980029866460435603330950878651110850321419250622999933794606401969855024157575598842517984210673657182210055065204448296381708994324415632448515130938468810721592656447068676927732816729508028519879249033754608127016566525836220213861713651997369311755211569255684602901118067657370430468181612032738967171915476286779098076326620690524723353462858537624061348444052109556656119847996968241178680589258135449970703660927313653872127890552666924633825450699844359945482723790502808796460081841912517688868665961677779609496250698379563590834078830991263458710168715222086734756562098224980304446290925526262957259543071063949712898949049384520187041633679236741667313054841799880405834439717722902994518124274076716837395258804728251846220056599734810547047985514983429669084547223662163302455516357507158979211940457372990482251288221562554153912171670614139629074389305792929849246913473017194468158005061466796572315153114835994618357518721138414101256631117837010880146655973915814381301838829491163449862510464371692117334503239127939730766501317867718730000230843056599618300819617519325912618265249428342344251061059429840004972873174730147056175214974124964861417199142309601270865634958222075314224251695271442747806966968352482995280420358293874489196369973247279616856854312067112521370012475030279809900004837626580681603844809029256887328851556868219906296960392280526080366233332762377635253393449032129665286872093905731513998577856603179226021630629039656858732955435577213941433644029738657905946805164048305031739133525054125585395691721991168777188056127399633620450309036683506856082602005738837834379427890735512059543990103497828285049383952465586649788602366818051619645324276214284778740228824027672317995315243831014200416854614036978888934194152414100302868374664647499937262881012213421075517176580669974645046914126842409179120108625009092236216064260708302756417690265962668708687107301768775259722434275077728630582744003671817749197826728718600221772624868334940672752715383388543944051320881367325176229471505265526992357139516426504780863892929342206418731623545442092496063738778971561042528427013240433748461879096563380722683492041854338752377982110324763869777110567092790038288514642482816148119350163606809966910946899458161792549676724354658965895332446748833926425642837028437480089209849370922216563212395674076001714980746868654404148340522685205178512425910700031452115165774419071571054209143764971553068744709317770377248504314187511626095235186216833639652910671597914995568729477338638882614003243471301816772698158395255136553823119600007780424523818808743052934951853259809906405060063891974092048910250873860631872462525510414323555864937513720497764213428411411479853962943178580499603821675828396870218125511063372965901860817394044747371006796804856691550950636339269922718280728171710955383461458312530911579693048529554546861865592228716784278993928073684159530943785275080105944334449701329639992652699876478376584219402828175910921827067085090096458433178730888483950857119757448841258630388412808085402580862761819648212007801418111705989669609015195992751925858689100739052937697405042919024326496865006485873277675806059673078007853480150557668488877444920309043408712142648833576726703139814714912224522566824710301637103901180308455057109236708880955568094359310150743634151133763412371147663713800887539492349402634033528234912726082901740934870689023445219619174132799033484505438598651592861042929082100610336949747983108226998286853087126738495940065109431104528299623102694232574638021273780152931999199125074116907812085001552803229716179729443791992442737805638555897611136918024876169980840994885432947803887050412287113244589929314105588299023433718315440195024526066366284079830240601934549756563173791218109114294176699330622615954773918990027536467264431602586211048432495017015059703126073590728285142877696275331739650766478185531362511248128339462746498729018536977847395762436885067452112634798078757554675607131497891479512286971023403544264185977237775291360817943231150309189291260131793781796182734706741250522301010273657324699035291462412551130531952456009271741340857056409250619817929172267183477536837528043891230978520312215134436175523542205992057125630427116347943203956805092343181412567752486029210833635570856928679874354241323563896615580440903267774297721367451013183251080553555539808384312570733134892735213345036671031928882199931612972298686584889160073029872192802627858608626203964718463093999573122248647919478897928246604262509468628483119947824444193027172983929831319262707695082092474388810327128570330388734023826976324932462932585276211731638652714060534847526676052049517018933380224346842111431970238168052125461066409567111154037123341221901937133677309943617321100022570841791181538076686463999785031151790353973444912243818869431299705408151916301154371539703390337910754288897583664350079584201742103262536677736314072661280443285961912242188706431609112801824684202116662037064039418076622705699441852756756972693677862547912359853759805679033839982883228088481879072326008608921454457615646192949426413657834434796350629576970325004545338476986490186836127787307149390792376976466855032203154748059444228967267977560461969841412377578573254250530859337570255123580821980556078778090722542191592961354625028175268645965328977233864490800429648803106885877402555119324856209204108735214245644277480365209072884138606262251383777523956674270378643852629987770665220920963694430834090946541518360548270126453498088864297154552224390176687062126379472077703214731888905190389246524230417510447587254393023113893634183601855407080904016534265744607973811091747956975466972476912054658669774528574800268208360846503757465743499472416224010410326170272485696711798935452934741898781793040234387945212184553462271610764632777073315419655683609582063089762815665843019017449050698760009938910622271095091359974028551765662227612417731586970697406284614302234797770944774163769231988695076862051198486311346908258891638344083605617070049138503864408440373257644086193074948130646414458229931146007960346494812741741231083896626514272216023840523259406376790781277780258142921041808205523744827390124086005390313641173738540587183026923951100017599123355520287025665520927898776226903341570350045807927395495028988652257665329466377084579851852866503040678566253376236181864295265113281715606470515724220794964507291922185939996132059026146748555908324986923722771337518992886306726018772723560082488704973875266769895423239285287328533094426439471183214834230992082344286169311942446908508789796316969122126751950181050359709541919771354118071385306834810388475026073245657054713641162907821800933582280188225329269452791260537488278623897431876822155673735097527928056245820560395158835863919247279286186623966012466461382626376443982486805326105559852873027798939120645546644106356455974874982567150020677545450198067449843338309527561296122005096288957630216730843332211238835328886578537457658412510418545947672654275476104713902404000533034230235705045702547530926735505810535879520591483252369959621118496584458529863444820687458405952647630398989785499563833715676077660214545167210845261116391089009678226880947853325464698263136174746048270358911606045645745502890097008422349777240924980939030444987246502998994923846266222902666287476806750972299534611327074731950645706809671470697927465429087550925532032623562186835909776099222143159920082596126751633291257133207753237427874542820051784835604152320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 AMBIENT_DIM 2 BOUNDED 1 FACETS 4583 -2 1 9573 0 -1 2753 -4/3 1 12009/5 -6/5 1 5356/3 -1 4/3 1719 -1 8/5 8388/5 -1 9/5 4807/3 -1 7/3 4709/3 -1 8/3 1542 -1 3 1508 -1 7/2 1480 -1 4 1459 -1 9/2 1426 -1 11/2 1390 -1 7 1350 -1 9 1319 -1 23/2 2619/2 -1 25/2 2563/2 -1 35/2 1271 -1 23 -1084 1 58 -1033 1 22 -1024 1 20 -1955/2 1 25/2 -933 1 8 -920 1 7 -881 1 5 -823 1 3 -801 1 5/2 -3007/4 1 7/4 -1453/2 1 3/2 -665 1 1 -787 4/3 1 -1011 2 1 -275 1 0 9013 2 -1 9291 1 -1 -1691/2 3/2 1 -3693/5 6/5 1 -707 1 4/3 -2231/3 1 5/3 -775 1 2 -2426/3 1 8/3 -855 1 4 -903 1 6 -927 1 15/2 -955 1 10 -988 1 14 -1029 1 21 -2111/2 1 59/2 0 0 1 1274 -1 20 1299 -1 14 1314 -1 12 1337 -1 10 1368 -1 8 1413 -1 6 1440 -1 5 4397/3 -1 13/3 4495/3 -1 11/3 1519 -1 10/3 7791/5 -1 14/5 1585 -1 5/2 1638 -1 2 5114/3 -1 5/3 1741 -1 3/2 1881 -1 1 2533 -5/4 1 6403/2 -3/2 1 12438 -1 -1 15345 -2 -1 2922 -1 0 AFFINE_HULL VERTICES_IN_FACETS {67 70} {3 68} {65 66} {63 64} {61 62} {59 60} {57 58} {55 56} {53 54} {51 52} {49 50} {47 48} {45 46} {43 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} {46 47} {48 49} {50 51} {52 53} {54 55} {56 57} {58 59} {60 61} {62 63} {64 65} {66 67} {68 69} {69 71} {70 71} DUAL_GRAPH {68 71} {36 69} {67 68} {66 67} {65 66} {64 65} {63 64} {62 63} {61 62} {60 61} {59 60} {58 59} {57 58} {56 57} {55 56} {54 55} {53 54} {52 53} {51 52} {50 51} {49 50} {48 49} {47 48} {46 47} {45 46} {44 45} {43 44} {42 43} {41 42} {40 41} {39 40} {38 39} {37 38} {34 37} {33 35} {34 36} {1 35} {32 33} {31 32} {30 31} {29 30} {28 29} {27 28} {26 27} {25 26} {24 25} {23 24} {22 23} {21 22} {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 70} {69 71} {0 70} DIM 2