Self-Dual Enneahedron #10 (canonical)

C0  = 0.0809646960847983854447944251347
C1  = 0.288628379659922178789590045083
C2  = 0.403782809609503593876165915744
C3  = 0.553483683828275811812410237832
C4  = 0.609906197569681144362143240111
C5  = 0.715047618563803215615644936243
C6  = 0.725350807604189778200931098231
C7  = 0.765995015250664575877636888161
C8  = 0.832860019292486639045231500338
C9  = 0.947646816213631262828618023543
C10 = 1.06578944063953553030368769380
C11 = 1.20188695522114331071647122800
C12 = 1.45746839770313517091412313997

C0  = square-root of a root of the polynomial:
    9417294315946624884674513239*(x^18) + 349950312752021287558140660284*(x^17)
    + 4338170192961890202685342932832*(x^16)
    + 16355794013383061355784957077776*(x^15)
    - 43327623253790406254168673030224*(x^14)
    - 285202740018844648438076987050496*(x^13)
    + 143454947863612560242881187983616*(x^12)
    + 881904409244602721507308733487872*(x^11)
    - 446176262978814859497940706830336*(x^10)
    - 706881586566767739953626726023168*(x^9)
    + 429194294049552006496605223573504*(x^8)
    + 36934006827301657120084227907584*(x^7)
    - 36598399522946014337689168056320*(x^6)
    + 210859761534949891371076288512*(x^5)
    + 209347105334222377754081361920*(x^4) - 6938904446616601195783913472*(x^3)
    + 78494626335582359027449856*(x^2) - 369412992512862938202112*x
    + 616946419774296948736
C1  = square-root of a root of the polynomial:
    1695059250692321005587958759*(x^18) - 550540825897690264813714757388*(x^17)
    + 15832620772359786074286460010920*(x^16)
    - 96377105916466807562965226690080*(x^15)
    - 1207460702228357309663200464002608*(x^14)
    + 16915782766641673736264405662924800*(x^13)
    - 62723150854428334981560591374681856*(x^12)
    + 9055926490539824069411426881362944*(x^11)
    + 334763331689251224726899005620649472*(x^10)
    - 259860585528017672538317007839388672*(x^9)
    - 556013877979363178094849560405170176*(x^8)
    + 95903911434598722115022109386240000*(x^7)
    + 39997981189937640747070353316540416*(x^6)
    - 7537082517016278005004928166789120*(x^5)
    - 44839211211546309151543117479936*(x^4)
    + 25975453926115049529267583975424*(x^3)
    + 371129947230600980387086729216*(x^2) + 1222423640728213509554307072*x
    + 373041386199597306609664
C2  = square-root of a root of the polynomial:  8281*(x^18) + 85742552*(x^17)
    + 39626789160*(x^16) + 5238616953312*(x^15) + 251130953729008*(x^14)
    + 4665631693153536*(x^13) + 26269827004467968*(x^12)
    - 234728010716836864*(x^11) - 4161109896559515904*(x^10)
    - 24631271946809100288*(x^9) - 73425257350129539072*(x^8)
    - 113510593893307424768*(x^7) - 81638215282498859008*(x^6)
    - 17195903788797788160*(x^5) + 7154917782257139712*(x^4)
    + 3265937025437532160*(x^3) + 101357214270226432*(x^2)
    - 75707242497703936*x - 5660354579267584
C3  = square-root of a root of the polynomial:  348271246800161334559*(x^18)
    - 2752027844359355358266470*(x^17) + 668451669849559147079432247*(x^16)
    + 138747870563351459747043947920*(x^15)
    - 30410679880156691031338260916676*(x^14)
    - 1626610259812454746041230954969576*(x^13)
    + 121105858149394943918933194517487116*(x^12)
    + 5635763489601185172902355934561010928*(x^11)
    - 18035692629285152467211639572411236478*(x^10)
    - 620920092801612079582751480987984319204*(x^9)
    + 4639856981184147815835714905127217516866*(x^8)
    - 11844624111787650733929605954558713838608*(x^7)
    + 11024050789073167279684871517245434028684*(x^6)
    + 1345642875261543794282257820745159536408*(x^5)
    - 7637159250706803797234504948481046937156*(x^4)
    + 3373893386018555872370362091598120882320*(x^3)
    - 191989505672861891733475322842920897897*(x^2)
    - 66152228523572485416040955666251394278*x
    - 1540630836934052344178481417568565569
C4  = square-root of a root of the polynomial:
    9417294315946624884674513239*(x^18)
    - 2241470844388249392608664299526*(x^17)
    + 127898143263810468858596455672415*(x^16)
    - 3198510341569145131946350420998832*(x^15)
    + 39440754536463983426467370543408220*(x^14)
    - 219219657583970004520903497645117864*(x^13)
    + 194909439377991268306065566840020332*(x^12)
    + 2359063424280213890939780568731874224*(x^11)
    - 4520462593386642343878245930704671150*(x^10)
    - 11578728408859536720592600422815236580*(x^9)
    + 18348212449538957938377805188199839666*(x^8)
    + 34559328463577548891777412708809386800*(x^7)
    - 15895163923378975366536184920368351316*(x^6)
    - 36996879479196965974045251774250189096*(x^5)
    - 3971056959653399316883308758107368420*(x^4)
    + 6287303937747787572155942927957887696*(x^3)
    + 235154234616869001565729714709107791*(x^2)
    - 35752711826005006324989660367974982*x - 231960307724449512285514972347289
C5  = square-root of a root of the polynomial:  42056665475203639*(x^18)
    - 395568100084735190*(x^17) - 2407778449835158097*(x^16)
    + 27719857647385671824*(x^15) - 16715023275422667620*(x^14)
    - 267142994732986291880*(x^13) + 350550603031948470380*(x^12)
    + 1005176341607863601904*(x^11) - 1673269918562202114222*(x^10)
    - 1754130664325160926212*(x^9) + 3637463378123237179090*(x^8)
    + 1316567263856207174384*(x^7) - 4073982917869177126548*(x^6)
    - 35581092888975605416*(x^5) + 2288628472666196837276*(x^4)
    - 476199835275708151664*(x^3) - 506412929955893917585*(x^2)
    + 183989630140888418090*x - 3893219949176594569
C6  = square-root of a root of the polynomial:
    31015033135715789302102584572476879*(x^18)
    - 363370750373349194503752872710317126*(x^17)
    + 957881214141246886619688691911554183*(x^16)
    + 644458637154182156521489462497922448*(x^15)
    - 4103978267333371943111986484374579588*(x^14)
    + 1656684881473436247923645435106307992*(x^13)
    + 3395202004714733968460222783953157836*(x^12)
    - 1669001750471228316407401430532829968*(x^11)
    - 847649908833914756053552986816897630*(x^10)
    + 474218121185272727468034178148468188*(x^9)
    + 41800766614701445665810607943262754*(x^8)
    - 43207368567896665371399058791234576*(x^7)
    + 4448889396129500824864582157323980*(x^6)
    + 184465533941544850998057040486552*(x^5)
    - 34432115046969623155896211216260*(x^4)
    - 30047333052475771316898430832*(x^3) + 78027992101358102369302789959*(x^2)
    - 303950988214180313967284422*x - 42751322978084359966506481
C7  = square-root of a root of the polynomial:
    385977113466396708670705618951*(x^18)
    + 90449375067778691886860305489120*(x^17)
    + 2530461859686636782071730592954944*(x^16)
    + 3940809482925808691851145183401472*(x^15)
    - 350625103476778534166587792384225280*(x^14)
    - 571920438402271019295995690491904000*(x^13)
    + 16652138221947595419703787743270141952*(x^12)
    - 43552053548946142011903995696662970368*(x^11)
    - 48050984364789962311756167974360186880*(x^10)
    + 329594384568044594638007729525429895168*(x^9)
    - 290498598451362465840440128618299916288*(x^8)
    - 532284287835847345805229139406322925568*(x^7)
    + 1113485106742263047114235003577655361536*(x^6)
    - 300514707018219374739498252476287549440*(x^5)
    - 823698447518603123590687431372102959104*(x^4)
    + 820676882840926742321924815833289195520*(x^3)
    - 233537772761773701824804988071413022720*(x^2)
    - 23100688295116585068136934679244701696*x
    + 15705819418549678677985323947439161344
C8  = square-root of a root of the polynomial:  348271246800161334559*(x^18)
    + 2745758961916952454244408*(x^17) + 621720481996210530673089784*(x^16)
    - 149069105683448922703239624096*(x^15)
    - 28251117934548621190633007277296*(x^14)
    + 2037423465632662296766132870910208*(x^13)
    + 97256882742801230978285237984295168*(x^12)
    - 6951280976244375654186626705663697920*(x^11)
    + 51455462728631627864093713530795503872*(x^10)
    + 465889944877123102217281045220259731456*(x^9)
    - 772365516077471941578822469230685063168*(x^8)
    - 2709648340312927488358067005578286473216*(x^7)
    + 4795636890630724988121647218132731424768*(x^6)
    + 1498609365283625428648684615095768711168*(x^5)
    - 5424909338605115995279551366316006834176*(x^4)
    + 1332654911776984113006352856702800363520*(x^3)
    + 1255915703536693957052669787329309704192*(x^2)
    - 496705430650522356159164236004312743936*x
    + 8777731044919027524449674087823835136
C9  = square-root of a root of the polynomial:  223919186401*(x^18)
    + 27983068044*(x^17) - 234852398707184*(x^16) - 5393979206737936*(x^15)
    - 55207289655662064*(x^14) - 303953495890150400*(x^13)
    - 914051908685660416*(x^12) - 1319358322405162752*(x^11)
    - 204532681390160896*(x^10) + 2010161793257482240*(x^9)
    + 2687110712206321664*(x^8) + 1035541309481107456*(x^7)
    - 737778081769320448*(x^6) - 1087474688949616640*(x^5)
    - 599257267351584768*(x^4) - 183854556692611072*(x^3)
    - 32532772560044032*(x^2) - 3058394671874048*x - 115517440393216
C10 = square-root of a root of the polynomial:  40304176081*(x^18)
    + 19008987743780*(x^17) + 907409403549960*(x^16) + 18134762681681152*(x^15)
    + 189647224593520496*(x^14) + 1097750670726716928*(x^13)
    + 3328579722076947200*(x^12) + 3521271748919295488*(x^11)
    - 6127295204040432128*(x^10) - 17443984552354712576*(x^9)
    - 5320348136709474304*(x^8) + 16118552545804783616*(x^7)
    + 13426776715089416192*(x^6) - 985749076535541760*(x^5)
    - 4824568621173833728*(x^4) - 2014772077755629568*(x^3)
    - 313201384193261568*(x^2) - 14450950043336704*x - 115517440393216
C11 = square-root of a root of the polynomial:
    163735849023909350905365177816436591*(x^18)
    - 6197956707234013972970410834964246400*(x^17)
    - 57909155054316963250890814433788211840*(x^16)
    + 450069677374791448676003051447563883520*(x^15)
    + 2956280270827055447119866311910322925568*(x^14)
    - 4378685365552000094061239850719958073344*(x^13)
    - 15285111702363783930398906638006673997824*(x^12)
    + 15430041863976290174435682624010387980288*(x^11)
    + 24576575448840842633293572510073996967936*(x^10)
    - 19718986394519552446184191759680482050048*(x^9)
    - 11998098580189506637428843477927133708288*(x^8)
    + 6513747306521687888093281737185515536384*(x^7)
    + 1758604701303986099491962847464548990976*(x^6)
    - 214287609177420234460092319948064423936*(x^5)
    - 10484585611301895148395985563553890304*(x^4)
    + 1332310912915814638584633527476682752*(x^3)
    - 17941338701692511005501628323201024*(x^2)
    - 448702425566800084622427325202432*x + 1219830632739008033519319384064
C12 = square-root of a root of the polynomial:
    31015033135715789302102584572476879*(x^18)
    + 117854115501891631774000523080547584*(x^17)
    - 666970876725458784274182204716022656*(x^16)
    - 22932578714827484182354021291214848*(x^15)
    + 2018894302798800529462000619299241984*(x^14)
    - 826032395872225183725952432933765120*(x^13)
    - 2314555626532481747236993407163301888*(x^12)
    + 1415430259946430369196162707288489984*(x^11)
    + 1074799184045103938269913381412536320*(x^10)
    - 859828774142314935660535859241811968*(x^9)
    - 130738209553866354023676250916126720*(x^8)
    + 186503245604274334565260017423876096*(x^7)
    - 13842512409294902828833734200918016*(x^6)
    - 11213395664691498623768080385310720*(x^5)
    + 1355342220306195749895716483366912*(x^4)
    + 184870598714324668952017069146112*(x^3)
    - 16185999241361091346787970580480*(x^2)
    - 151516717918397567667261145088*x + 11237777223844197694003216384

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

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