Simplest Canonical Polyhedron with Cs Symmetry (1 of 2)

C0 = 0.504908937145061572750161105187
C1 = 0.540156361389042184958368786632
C2 = 0.553529398617591025503726371863
C3 = 0.8328296373605156581225562069651
C4 = 0.925296210906545684956765715670
C5 = 1.25896042869795608005471229937
C6 = 1.37372336641126545646538379668
C7 = 2.28924497352631154373993950704

C0 = square-root of a root of the polynomial:
    25341067362057861464064*(x^34) + 9703240942337841011097600*(x^33)
    + 1514460718194510908734046208*(x^32)
    + 131036605081597642736928817152*(x^31)
    + 7201684432455571231695324577792*(x^30)
    + 271886960362367730427797186805760*(x^29)
    + 7412695616247502819449343613861888*(x^28)
    + 150948917744053876855959178922950656*(x^27)
    + 2350022579712960604083421371378434048*(x^26)
    + 28427055555118541205565718111631441920*(x^25)
    + 270127091949738517141495771684774084608*(x^24)
    + 2030228510240128532659550883900145008640*(x^23)
    + 12108166789901354145277861198486076063744*(x^22)
    + 57291681570104249405531046887501625425920*(x^21)
    + 214212707661111599593532126193741663109120*(x^20)
    + 627185494005980122477965073641543243235328*(x^19)
    + 1413274364445955827369900617725254174093312*(x^18)
    + 2368718955842906766758461095402040910995456*(x^17)
    + 2723639116489525570808702121681446818867200*(x^16)
    + 1573951642738269389909849178795889160428544*(x^15)
    - 972492569916723064408148780822830100987648*(x^14)
    - 3352059463069410174519066475251203972507136*(x^13)
    - 3950618175641764489609115580243096701199552*(x^12)
    - 2802256068826681173203033033879094085942272*(x^11)
    - 1257026563809537296310028328926466071719792*(x^10)
    - 322305040046053061243738140384825591902048*(x^9)
    - 19808396292660674246388827316518641872804*(x^8)
    + 16093017814933593781671517595382915145980*(x^7)
    + 6077079090370679190214618325215429791345*(x^6)
    + 1056320735314400820361012721466267878832*(x^5)
    + 102761581011569905908106065230044901568*(x^4)
    + 5570204935456516814296236579664557216*(x^3)
    + 156587123021893411233344760716389200*(x^2)
    + 2001173134677481057641961694843520*x + 8853525057272860339517040446592
C1 = square-root of a root of the polynomial:
    3473117095110923620231680098304*(x^34)
    + 1019960171254788745723562617208832*(x^33)
    - 2592829564726899921632566930806145024*(x^32)
    - 1011469059393303764969921114665893494784*(x^31)
    + 101299345140012940977860944639905524350976*(x^30)
    + 29897537157750887111303496674041599698665472*(x^29)
    + 63523976177244013088559233463083866603388928*(x^28)
    - 109811654644621264597934961751034457769595895808*(x^27)
    - 4377113335421002795661366744324371955272735784960*(x^26)
    - 57444973330575099351541212174023967402446911700992*(x^25)
    - 57029063318232057569577022269175255086261881274368*(x^24)
    + 3579668803814851639880480011517923984714457404669952*(x^23)
    + 11124209700617066145863557682652339186651543354671104*(x^22)
    - 90400588769903329474664785836709933179560320179372032*(x^21)
    - 211648667758717562820072192104113765670622534926630912*(x^20)
    + 1187534520788742581189635992939178434971650667069472768*(x^19)
    + 590564178188020495796845706426501705786187936529494016*(x^18)
    - 5219499502435437025769082923159049881039148993073971200*(x^17)
    + 361060524952623790736924647384379455205398212124147712*(x^16)
    + 9796117401901211543959146730881654694954351822008543232*(x^15)
    - 2738486192896181046782518868325127680191834514106668288*(x^14)
    - 8577818900808610130614750519805331611656706462418382848*(x^13)
    + 3036078277500221938328272237219274740072997585025182336*(x^12)
    + 3499221457855016012570810969668830376216812123875720064*(x^11)
    - 1272700934027781405071549559503785490274714828435702240*(x^10)
    - 656934767819944581970402490075998298334092510699205952*(x^9)
    + 228747895555364678069900647848198812824988635534157008*(x^8)
    + 56733998409014758515681145473251891878577955938620808*(x^7)
    - 18728680215750603489200646182600016400126666654496751*(x^6)
    - 2023083135585676483947200427004976711695188933854806*(x^5)
    + 632806327791114023591729928424906459576295582891063*(x^4)
    + 19394695179152870114236878114629733075443592717972*(x^3)
    - 5055179562921176419551172630348676162403161911905*(x^2)
    - 146891866114603968279649875675687885324574051782*x
    - 169757192534317897927982923963721564555643927
C2 = square-root of a root of the polynomial:
    212137024684032*(x^34) + 4861473482342400*(x^33) - 99179478214770688*(x^32)
    - 1633259184529080320*(x^31) + 16231852911812935680*(x^30)
    + 192642582069859319808*(x^29) - 1358543207750462078976*(x^28)
    - 11248490838439650918400*(x^27) + 64231293807329078673408*(x^26)
    + 376901861362217447849984*(x^25) - 1805572314690815228903424*(x^24)
    - 7860867354333572931256320*(x^23) + 31188934474162474706075648*(x^22)
    + 106695152886789021737156608*(x^21) - 335984159267413064193409024*(x^20)
    - 962216248123652813744537600*(x^19) + 2248525125131231776583766016*(x^18)
    + 5797184679861846551567097856*(x^17) - 9093985593693592810176440320*(x^16)
    - 23191397111120787368983931904*(x^15)
    + 20502155855579389783807264512*(x^14)
    + 60023573896446170567483428864*(x^13)
    - 18754516051322876336750497600*(x^12)
    - 94555717926807673431986361344*(x^11)
    - 13312929591238339124648518480*(x^10)
    + 79251952435818919702839789024*(x^9) + 40826004300534863220202137044*(x^8)
    - 23357114968440556216594286140*(x^7) - 24423240446828450452401487605*(x^6)
    - 4395705656505049710483690398*(x^5) + 1603968671648493325966683149*(x^4)
    + 621504448798143330884318256*(x^3) + 36080730164564740372716837*(x^2)
    - 5844622937250726754551414*x - 361166989584394508661441
C3 = square-root of a root of the polynomial:
    212137024684032*(x^34) - 12074132321599488*(x^33)
    + 180258017550270464*(x^32) + 970716533015707648*(x^31)
    - 47229937026708013056*(x^30) + 313837668489106554880*(x^29)
    + 1820060221303584456704*(x^28) - 29989271834759260012544*(x^27)
    + 52978332709773455130624*(x^26) + 921039172600840220311552*(x^25)
    - 4833191836413929191112704*(x^24) - 7347041281178333515874304*(x^23)
    + 116683705364668241373364224*(x^22) - 180049768892745549914963968*(x^21)
    - 1137676616420923596710674432*(x^20) + 4467364232809323369031827456*(x^19)
    + 1314292332413796944760164352*(x^18)
    - 35893512776360374687167447040*(x^17)
    + 54483007077804383014726879232*(x^16)
    + 91653622074195822636808186880*(x^15)
    - 355655736221060317867170303232*(x^14)
    + 179075038585880296321212258816*(x^13)
    + 703290151354148462997141318080*(x^12)
    - 1098241330470206361170842201344*(x^11)
    - 166845543999970383070728647376*(x^10)
    + 1592053708979888877013844283456*(x^9)
    - 935569105806729102325739127324*(x^8)
    - 750584201735931649024888687716*(x^7)
    + 989615404356406591058732723319*(x^6)
    - 81793107049278704593816951704*(x^5)
    - 307216597273537230196091596224*(x^4)
    + 105063235569559257357606985152*(x^3)
    + 21951887441976659562867028656*(x^2) - 8607244023641396685116442240*x
    - 1349417018331483057387142272
C4 = square-root of a root of the polynomial:
    158243897645991457446805924478976*(x^34)
    + 36339570897852793290734770235375616*(x^33)
    - 88945810130104318609199347267736174592*(x^32)
    + 10331388927632091813274157818254937030656*(x^31)
    + 4287036588234003040541528317078671275851776*(x^30)
    - 461463103313200799306423084808269045912567808*(x^29)
    - 24742746084762345650086132840317498980484513792*(x^28)
    + 2039925764829572439088967255079471252022816407552*(x^27)
    - 13281823866642226448599941930235975423968188366848*(x^26)
    - 997213144284969145688741530922891766334775059152896*(x^25)
    + 18619861094402210324488881449879869459379351691526144*(x^24)
    - 93479327398199004606752616154933514781935682187853824*(x^23)
    - 252728082807005209925670668355513567343924276287557632*(x^22)
    + 3474100333201307760004409210078306107963357292146343936*(x^21)
    - 5627662418421549140844658877273617909461844432809965568*(x^20)
    - 26882124551470372664556898578947104902821462379567422464*(x^19)
    + 83776367424483753619769832281688087143070986526411997440*(x^18)
    + 36488555966140650866319335727316662186247794693209601024*(x^17)
    - 331115131369636329822486280985893269942889313126767984064*(x^16)
    + 156119936843148812408071835716987091832941047220354560000*(x^15)
    + 530401117021322960128890607377411684132541047925897056784*(x^14)
    - 518148519738306870799885540487421584467238159441068180576*(x^13)
    - 311400514480134150451594717796731419384785426984817406452*(x^12)
    + 558747143211019027327696564963649087785335497731955209092*(x^11)
    - 45191675550093357183598747207616388418545285688790060447*(x^10)
    - 229145668891749102769915445275240157533426465037264317608*(x^9)
    + 97392389442504918567928001765639367840998703417483766648*(x^8)
    + 16204678271259364348748218438539773504120944551377099334*(x^7)
    - 18443025477896042143969558391867722256199834705719283916*(x^6)
    + 3924573725301516485856691602938807149192695761277067788*(x^5)
    - 243850451405502831551019533894178515057874717537773631*(x^4)
    - 3355283870821885892349502238743068078672922310221080*(x^3)
    + 131521892081102124899741223938951235986868453065520*(x^2)
    + 388701705280450742744960383551738007021164201984*x
    - 7006342947981476383327370094308520031951793664
C5 = square-root of a root of the polynomial:
    3177258600824397688209408*(x^34) - 351077513398300498059142889472*(x^33)
    + 191548987613382163426788539105280*(x^32)
    - 26895739408356422913706512422535168*(x^31)
    + 1241289010474078618494401443033776128*(x^30)
    - 13075649710271720552417841855888097280*(x^29)
    - 194998416537735695063505118327147855872*(x^28)
    + 3226070453930565982999646642137059295232*(x^27)
    + 5750317345996019608209961328997640503296*(x^26)
    - 208051433953858928981506066347072366968832*(x^25)
    + 262232953273302632415466873056591984394240*(x^24)
    + 5175407204703495639750388477592816601432064*(x^23)
    - 15617280263481761101269323026009754073870336*(x^22)
    - 41993174474414574459485113519047787868266496*(x^21)
    + 245793882198129748441711250376367292408350720*(x^20)
    - 153627560915367179857720910014512932434979840*(x^19)
    - 1138443721549680130816764648498116633184056576*(x^18)
    + 2817774273817687545640694971175597570141598720*(x^17)
    - 1573040390131465224975114800562793712857233728*(x^16)
    - 3197702571760026862813202565137360911980077824*(x^15)
    + 6062542187291132319824311772778322806409254192*(x^14)
    - 3199055578561652014193247401735365868863339264*(x^13)
    - 1217246742873480906872335654420981305628030764*(x^12)
    + 2098288472452102049064902902503502589366244292*(x^11)
    - 545387311347946180368149593476781217408876209*(x^10)
    - 313426569916626440278789474654597252959238812*(x^9)
    + 168294095188730851394189558167404699075467508*(x^8)
    + 13772510137390202603661348258030033234302094*(x^7)
    - 16397232420141580122053464845797013852211104*(x^6)
    - 483764717197487925384024884839391597878548*(x^5)
    + 654837422460320051159601603788036541363951*(x^4)
    + 62325627670668125261386325334268889799336*(x^3)
    + 981613688376131505726322586953485838032*(x^2)
    - 24805586580738512326551221844088281600*x
    - 502355011824147555749850560781120000
C6 = square-root of a root of the polynomial:
    22092555856379904*(x^34) + 8065918946613657600*(x^33)
    + 1309356342694125764608*(x^32) + 126164886259001462882304*(x^31)
    + 8117937379140428166594560*(x^30) + 371787501142827957460402176*(x^29)
    + 12609750576724812613547982848*(x^28)
    + 325277403639857359319082205184*(x^27)
    + 6502377257448163503546178732032*(x^26)
    + 102091968648061582349830318981120*(x^25)
    + 1271036943722641108486020646305792*(x^24)
    + 12629057536135525537295450674823168*(x^23)
    + 100513162233184110043039297404076032*(x^22)
    + 641286844380660778685679675320434688*(x^21)
    + 3270595837689235491363260726809788416*(x^20)
    + 13222784328407928946439425510429917184*(x^19)
    + 41598287744578585651009187754519277568*(x^18)
    + 97595502376315785926036649231526830080*(x^17)
    + 151101676413263266757628150527547541504*(x^16)
    + 69024546973227150045791009597857410048*(x^15)
    - 383683846491842360412684493192091055872*(x^14)
    - 1334005693227245593729142889259670960640*(x^13)
    - 2453777400119754503764656038404130299584*(x^12)
    - 2950439078960458643268507946996341276672*(x^11)
    - 2239584854655397475579161126784627216880*(x^10)
    - 686367076347586033176040039654063780320*(x^9)
    + 641298497238876263084871859065511453788*(x^8)
    + 1048930868225977250750780833731074881644*(x^7)
    + 749576769861432537388666555543667375361*(x^6)
    + 329781077383717278233179117708949395632*(x^5)
    + 93711024743637629386328327790765474816*(x^4)
    + 16965030906839424506776454282883232032*(x^3)
    + 1856120170219092927369796774060695888*(x^2)
    + 109271408587424975661723445135602816*x
    + 2558668741551856638120424689065088
C7 = square-root of a root of the polynomial:
    627606637199881024831488*(x^34) + 101087690163246246262323806208*(x^33)
    + 76413072430935738296095528189952*(x^32)
    + 15541987377577222489970105076678656*(x^31)
    + 1065135440108297449864428134386892800*(x^30)
    + 17430342382562245210233750872123244544*(x^29)
    - 92425755834483760835877543833898057728*(x^28)
    - 2904007527952407204036144236527133655040*(x^27)
    + 3747720081515705070218917999040093224960*(x^26)
    + 174948430492261009225601435006675133136896*(x^25)
    - 230150299342506916360767711547642792116224*(x^24)
    - 4564018283425306022143702795303362336129024*(x^23)
    + 7555299716021864065743577195205450645962752*(x^22)
    + 54620252512097909024093729938522834747392000*(x^21)
    - 98927642933052045393215868495520289496465408*(x^20)
    - 312289236291483854732054463780862367481724928*(x^19)
    + 528325915158357766371108205838804415906304000*(x^18)
    + 1005335737483053842691842608626174350485463040*(x^17)
    - 1381382055878121937576022590850200114419531776*(x^16)
    - 1931099481983086957884690901290518358005886976*(x^15)
    + 1904536025444612614209070712964927090958675200*(x^14)
    + 2169429605830339210182155720518738110014976512*(x^13)
    - 1426764729766959154137390192475296690760259200*(x^12)
    - 1337278233076595818915354096851133065469402624*(x^11)
    + 617791342118262336014848532229262699274706400*(x^10)
    + 426702312585826630118932532630397384005607552*(x^9)
    - 161405983181299952559873838593505296399513328*(x^8)
    - 62445193933739521571377330414621471324876960*(x^7)
    + 23269575418411584835474546664610084362066487*(x^6)
    + 2523864280315788173568499828109808316237102*(x^5)
    - 1259159641013725092695034465971047619329759*(x^4)
    + 69129884923519119302775450534282912504708*(x^3)
    + 3486876447455418019283587426085926762329*(x^2)
    + 3137669669273919009715626639959285550*x
    - 51748785663625752561922043030625

V0 = ( C6, -C2,  C3)
V1 = (-C6, -C2,  C3)
V2 = ( C0, -C2, -C3)
V3 = (-C0, -C2, -C3)
V4 = (0.0,  C1,  C4)
V5 = (0.0,  C7, -C5)

Faces:
{ 0, 1, 3, 2 }
{ 5, 0, 2 }
{ 5, 2, 3 }
{ 5, 3, 1 }
{ 5, 1, 4 }
{ 5, 4, 0 }
{ 0, 4, 1 }
