Self-Dual Dodecahedron #8 (canonical)

C0 = 0.171572875253809902396622551581   = 3 - 2 * sqrt(2)
C1 = 0.348310699749006523686374494327   = sqrt(2 * (3 * sqrt(2) - 4)) / 2
C2 = 0.69662139949801304737274898865452 = sqrt(2 * (3 * sqrt(2) - 4))
C3 = 0.738878573257062029017126472859   = 3 * sqrt(3 * sqrt(2) - 4) / 2
C4 = 0.840896415253714543031125476233   = sqrt(2 * sqrt(2)) / 2
C5 = 0.985171431009416038689501963812   = 2 * sqrt(3 * sqrt(2) - 4)
C6 = 1.18920711500272106671749997056    = sqrt(sqrt(2))

V0  = ( C6, 0.0, -1.0)
V1  = (-C6, 0.0, -1.0)
V2  = ( C4, 0.0,  1.0)
V3  = (-C4, 0.0,  1.0)
V4  = ( C3,  C2,   C0)
V5  = ( C3, -C2,   C0)
V6  = (-C3,  C2,   C0)
V7  = (-C3, -C2,   C0)
V8  = ( C1,  C5,  -C0)
V9  = ( C1, -C5,  -C0)
V10 = (-C1,  C5,  -C0)
V11 = (-C1, -C5,  -C0)

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