Self-Dual Tetradecahedron #23 (canonical)

C0 = 0.0942521961716776417155428397979 = sqrt(2 * (5 * sqrt(2) - 7)) / 4
C1 = 0.266585468218872057873272078227  = sqrt(5 * sqrt(2) - 7)
C2 = 0.347221858389298948918111189278  = 2 * sqrt(2 * (25 * sqrt(2) - 31)) / 17
C3 = 0.414213562373095048801688724210  = sqrt(2) - 1
C4 = 0.703986770044140568557964133917  = 2 * sqrt(5 * sqrt(2) - 1) / 7
C5 = 0.867295401695067892001206231578  = (5 * sqrt(2) - 1) / 7
C6 = 0.953717849152730925413254756656  = 5 * (3 * sqrt(2) - 1) / 17
C7 = 1.28718850581116524947088687484   = 2 * sqrt(sqrt(2) - 1)

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

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