In[1000]:=

Out[1000]=

In[1001]:=

Out[1001]=

In[1002]:=

Out[1002]=

In[1003]:=

Out[1003]=

In[1004]:=

Out[1004]=

In[1005]:=

Out[1005]=

In[1006]:=

Out[1006]=

In[1007]:=

Out[1007]=

In[1008]:=

Out[1008]//InputForm=

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

In[1009]:=

Out[1009]=

In[1010]:=

Out[1010]=

In[1011]:=

Out[1011]=

Johnson Polyhedra

Geometry