Simplest Canonical Polyhedron with C3 Symmetry (2 of 5)

C0  = 0.0561577109412995124091623491397
C1  = 0.0998587729034770336746087278826
C2  = 0.371501622969877562892844656621
C3  = 0.494759029465606487074781448313
C4  = 0.529437539635248900374984774480
C5  = 0.544462091220182080639218788799
C6  = 0.551854286373788211712278610977
C7  = 0.621844656916376764330542858519
C8  = 0.743318458981602040990511310327
C9  = 0.843177231885079074665120038209
C10 = 0.915963714190059643532063445419
C11 = 0.917012718082512338179885476414
C12 = 1.05887507927049780074996954896
C13 = 1.07706654019440181159585740318
C14 = 1.11883889322350832768695291244
C15 = 1.24368931383275352866108571704
C16 = 1.263627037956673656291941858500496

C0  = square-root of a root of the polynomial:  19117763289*(x^12)
    - 3205089488754*(x^11) + 45154435291857*(x^10) - 212213622429225*(x^9)
    + 262344176995509*(x^8) + 522529820757819*(x^7) - 1240319742160688*(x^6)
    - 360081500689302*(x^5) + 1867906496418525*(x^4) - 150342273150908*(x^3)
    - 706979420254461*(x^2) - 202499285447187*x + 645655639729
C1  = square-root of a root of the polynomial:  65755881*(x^12)
    + 84974130*(x^11) + 2288917296*(x^10) - 1015178592*(x^9)
    - 11334302561*(x^8) - 7712077023*(x^7) + 635962407762*(x^6)
    + 1982325294063*(x^5) + 3652349322150*(x^4) + 588006555039*(x^3)
    + 12227464674*(x^2) - 159695469*x - 242757
C2  = square-root of a root of the polynomial:  811801*(x^12) - 6404194*(x^11)
    + 11568920*(x^10) + 16701256*(x^9) + 721077760*(x^8) + 11308008177*(x^7)
    + 36798126282*(x^6) + 36252112221*(x^5) + 594983424780*(x^4)
    + 1434075836922*(x^3) + 422243101476*(x^2) - 75629900151*x - 1592728677
C3  = square-root of a root of the polynomial:  5069297601*(x^12)
    - 47040668514*(x^11) + 242923907385*(x^10) - 978710248197*(x^9)
    + 2319577365105*(x^8) - 2545606739781*(x^7) + 2325429340672*(x^6)
    - 6605386079658*(x^5) + 11506379361885*(x^4) - 8160649440104*(x^3)
    + 2065346892159*(x^2) - 228389912919*x + 15947396089
C4  = square-root of a root of the polynomial:  19117763289*(x^12)
    + 822581276562*(x^11) + 309470687208*(x^10) - 174764159064*(x^9)
    - 52784123184*(x^8) + 14810269023*(x^7) + 2657950774*(x^6)
    - 521897445*(x^5) - 51485676*(x^4) + 6516882*(x^3) + 526140*(x^2) - 24273*x
    - 2997
C5  = square-root of a root of the polynomial:  811801*(x^12) + 10946850*(x^11)
    + 37385235*(x^10) + 38484657*(x^9) + 774640042*(x^8) + 4405225293*(x^7)
    + 6316810893*(x^6) + 12040858251*(x^5) + 79293319065*(x^4)
    + 177881405535*(x^3) + 78778274733*(x^2) - 35787768381*x - 1592728677
C6  = square-root of a root of the polynomial:  65755881*(x^12)
    - 1346668038*(x^11) + 8647260777*(x^10) - 21649205265*(x^9)
    + 7821720145*(x^8) + 43139602431*(x^7) + 38482439304*(x^6)
    - 403563927182*(x^5) + 676380618885*(x^4) - 344426169444*(x^3)
    - 21680475665*(x^2) + 1360239405*x + 6522662169
C7  = square-root of a root of the polynomial:  5069297601*(x^12)
    + 10143572814*(x^11) + 4711280760*(x^10) + 773979732*(x^9)
    - 585009549*(x^8) - 385337763*(x^7) + 343923538*(x^6) - 200619045*(x^5)
    + 23342286*(x^4) + 838575*(x^3) - 333702*(x^2) + 15903*x - 2997
C8  = square-root of a root of the polynomial:  65755881*(x^12)
    - 320732838*(x^11) - 9049292037*(x^10) + 11455760391*(x^9)
    + 675806365258*(x^8) + 2644892349903*(x^7) - 8852035986663*(x^6)
    - 77627635476867*(x^5) - 424208614599459*(x^4) + 1889895044789973*(x^3)
    + 3902834489523489*(x^2) - 2295793810633167*x - 198024342637797
C9  = square-root of a root of the polynomial:  65755881*(x^12)
    + 1084701726*(x^11) + 8989492392*(x^10) + 40982963172*(x^9)
    - 112072319540*(x^8) - 643761391365*(x^7) - 4941326488938*(x^6)
    + 11057467153815*(x^5) - 9368605917648*(x^4) + 151819403592978*(x^3)
    + 651104109921672*(x^2) - 464914262692341*x - 52037118874917
C10 = square-root of a root of the polynomial:  811801*(x^12) + 5938122*(x^11)
    - 21434184*(x^10) + 1261083240*(x^9) + 7339452499*(x^8) - 48799979577*(x^7)
    + 153590089194*(x^6) + 1640945371473*(x^5) - 8810871279678*(x^4)
    + 10199821988169*(x^3) + 104207454367110*(x^2) - 77812242954183*x
    - 10449892849797
C11 = square-root of a root of the polynomial:  26224641*(x^12)
    + 3385108134*(x^11) + 3820625768*(x^10) - 6472746632*(x^9)
    - 5864902576*(x^8) + 4936756341*(x^7) + 2657950774*(x^6) - 1565692335*(x^5)
    - 463371084*(x^4) + 175955814*(x^3) + 42617340*(x^2) - 5898339*x - 2184813
C12 = square-root of a root of the polynomial:  19117763289*(x^12)
    + 3290325106248*(x^11) + 4951530995328*(x^10) - 11184906180096*(x^9)
    - 13512735535104*(x^8) + 15165715479552*(x^7) + 10886966370304*(x^6)
    - 8550767738880*(x^5) - 3374165262336*(x^4) + 1708361515008*(x^3)
    + 551697776640*(x^2) - 101808340992*x - 50281316352
C13 = square-root of a root of the polynomial:  6953769*(x^12)
    + 41743098*(x^11) + 58163960*(x^10) + 28665916*(x^9) - 65001061*(x^8)
    - 128445921*(x^7) + 343923538*(x^6) - 601857135*(x^5) + 210080574*(x^4)
    + 22641525*(x^3) - 27029862*(x^2) + 3864429*x - 2184813
C14 = square-root of a root of the polynomial:  33051001*(x^12)
    - 263586210*(x^11) + 993794049*(x^10) - 2271548297*(x^9) + 3421565709*(x^8)
    - 3522030309*(x^7) + 2505212440*(x^6) - 1208384406*(x^5) + 367688421*(x^4)
    - 58242132*(x^3) + 2532627*(x^2) - 56619*x + 729
C15 = square-root of a root of the polynomial:  5069297601*(x^12)
    + 40574291256*(x^11) + 75380492160*(x^10) + 49534702848*(x^9)
    - 149762444544*(x^8) - 394585869312*(x^7) + 1408710811648*(x^6)
    - 3286942433280*(x^5) + 1529760055296*(x^4) + 219827404800*(x^3)
    - 349911908352*(x^2) + 66702016512*x - 50281316352
C16 = square-root of a root of the polynomial:  166848889*(x^12)
    - 1467133170*(x^11) + 5794573653*(x^10) - 13517764157*(x^9)
    + 20563968237*(x^8) - 21214982493*(x^7) + 14924930776*(x^6)
    - 6993032454*(x^5) + 2052735021*(x^4) - 332293428*(x^3) + 22800771*(x^2)
    - 661203*x + 6561

V0  = ( 0.0,  0.0,  C14)
V1  = ( 0.0,  0.0, -C16)
V2  = ( 0.0,  C15,   C3)
V3  = (-C13,  -C7,   C3)
V4  = ( C13,  -C7,   C3)
V5  = ( C10,   C1,  -C6)
V6  = ( -C5,   C8,  -C6)
V7  = ( -C2,  -C9,  -C6)
V8  = ( 0.0, -C12,   C0)
V9  = ( C11,   C4,   C0)
V10 = (-C11,   C4,   C0)

Faces:
{  1,  5,  4,  8,  7 }
{  1,  7,  3, 10,  6 }
{  1,  6,  2,  9,  5 }
{  0,  2, 10,  3 }
{  0,  3,  8,  4 }
{  0,  4,  9,  2 }
{  2,  6, 10 }
{  3,  7,  8 }
{  4,  5,  9 }
