In[14]:=

Out[14]=

In[15]:=

Out[15]=

In[16]:=

Out[16]=

In[17]:=

Out[17]=

In[18]:=

Out[18]=

In[19]:=

Out[19]=

In[20]:=

Out[20]=

In[21]:=

Out[21]=

In[22]:=

Out[22]//InputForm=

Graphics3D[GraphicsComplex[{{-1 + (-15 - 53*Sqrt[6])/1928, (-53*Sqrt[2] - 5*Sqrt[3])/1928, -1/2},
   {-1 + (-15 - 53*Sqrt[6])/1928, (-53*Sqrt[2] - 5*Sqrt[3])/1928, 1/2},
   {-1/2 + (-15 - 53*Sqrt[6])/1928, -Sqrt[3]/2 + (-53*Sqrt[2] - 5*Sqrt[3])/1928, -1/2},
   {-1/2 + (-15 - 53*Sqrt[6])/1928, -Sqrt[3]/2 + (-53*Sqrt[2] - 5*Sqrt[3])/1928, 1/2},
   {-1/2 + (-15 - 53*Sqrt[6])/1928, Sqrt[3]/2 + (-53*Sqrt[2] - 5*Sqrt[3])/1928, -1/2},
   {-1/2 + (-15 - 53*Sqrt[6])/1928, Sqrt[3]/2 + (-53*Sqrt[2] - 5*Sqrt[3])/1928, 1/2},
   {1/2 + (-15 - 53*Sqrt[6])/1928, -Sqrt[3]/2 + (-53*Sqrt[2] - 5*Sqrt[3])/1928, -1/2},
   {1/2 + (-15 - 53*Sqrt[6])/1928, -Sqrt[3]/2 + (-53*Sqrt[2] - 5*Sqrt[3])/1928, 1/2},
   {1/2 + (-15 - 53*Sqrt[6])/1928, Sqrt[3]/2 + (-53*Sqrt[2] - 5*Sqrt[3])/1928, -1/2},
   {1/2 + (-15 - 53*Sqrt[6])/1928, Sqrt[3]/2 + (-53*Sqrt[2] - 5*Sqrt[3])/1928, 1/2},
   {1 + (-15 - 53*Sqrt[6])/1928, (-53*Sqrt[2] - 5*Sqrt[3])/1928, -1/2},
   {1 + (-15 - 53*Sqrt[6])/1928, (-53*Sqrt[2] - 5*Sqrt[3])/1928, 1/2},
   {(-15 - 53*Sqrt[6])/1928 + (3 + Sqrt[6])/4, (-53*Sqrt[2] - 5*Sqrt[3])/1928 +
     Root[1 - 160*#1^2 + 256*#1^4 & , 4, 0], 0}},
  Polygon[{{7, 3, 1, 5, 9, 11}, {12, 10, 6, 2, 4, 8}, {9, 5, 6, 10}, {5, 1, 2, 6}, {1, 3, 4, 2},
    {3, 7, 8, 4}, {7, 11, 12, 8}, {13, 11, 9}, {13, 9, 10}, {13, 10, 12}, {13, 12, 11}}]]]

In[23]:=

Out[23]=

In[24]:=

Out[24]=

In[25]:=

Out[25]=

Johnson Polyhedra