In[386]:=

Out[386]=

In[387]:=

Out[387]=

In[388]:=

Out[388]=

In[389]:=

Out[389]=

In[390]:=

Out[390]=

In[391]:=

Out[391]=

In[392]:=

Out[392]=

In[393]:=

Out[393]=

In[394]:=

Out[394]//InputForm=

Graphics3D[GraphicsComplex[{{0, 0, (-1 - Sqrt[2])/2}, {0, 0, (1 + Sqrt[2])/2}, {0, -(1/Sqrt[2]), -1/2},
   {0, -(1/Sqrt[2]), 1/2}, {0, 1/Sqrt[2], -1/2}, {0, 1/Sqrt[2], 1/2}, {-(1/Sqrt[2]), 0, -1/2},
   {-(1/Sqrt[2]), 0, 1/2}, {1/Sqrt[2], 0, -1/2}, {1/Sqrt[2], 0, 1/2}},
  Polygon[{{6, 8, 2}, {8, 4, 2}, {4, 10, 2}, {10, 6, 2}, {1, 7, 5}, {1, 3, 7}, {1, 9, 3}, {1, 5, 9},
    {5, 7, 8, 6}, {7, 3, 4, 8}, {3, 9, 10, 4}, {9, 5, 6, 10}}]]]

In[395]:=

Out[395]=

In[396]:=

Out[396]=

In[397]:=

Out[397]=

Johnson Polyhedra