Self-Dual Tridecahedron #9 (canonical)

C0 = 0.308561912809170133578806589913  = 2 * sqrt(29 * sqrt(2) - 1) / 41
C1 = 0.414213562373095048801688724210  = sqrt(2) - 1
C2 = 0.703986770044140568557964133917  = 2 * sqrt(5 * sqrt(2) - 1) / 7
C3 = 0.867295401695067892001206231578  = (5 * sqrt(2) - 1) / 7
C4 = 0.9759071538736525954938773902947 = (29 * sqrt(2) - 1) / 41
C5 = 1.02468764167853064427436519517   = (1 + 29 * sqrt(2)) / 41
C6 = 1.28718850581116524947088687484   = 2 * sqrt(sqrt(2) - 1)

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

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