In[398]:=

Out[398]=

In[399]:=

Out[399]=

In[400]:=

Out[400]=

In[401]:=

Out[401]=

In[402]:=

Out[402]=

In[403]:=

Out[403]=

In[404]:=

Out[404]=

In[405]:=

Out[405]=

In[406]:=

Out[406]//InputForm=

Graphics3D[GraphicsComplex[{{-1/2, -1/2, (-1 - Sqrt[2])/2}, {-1/2, 1/2, (-1 - Sqrt[2])/2},
   {0, -(1/Sqrt[2]), (1 + Sqrt[2])/2}, {0, 1/Sqrt[2], (1 + Sqrt[2])/2}, {1/2, -1/2, (-1 - Sqrt[2])/2},
   {1/2, 1/2, (-1 - Sqrt[2])/2}, {-(1/Sqrt[2]), 0, (1 + Sqrt[2])/2}, {1/Sqrt[2], 0, (1 + Sqrt[2])/2},
   {1/2, (1 + Sqrt[2])/2, -1/2}, {1/2, (1 + Sqrt[2])/2, 1/2}, {-1/2, (1 + Sqrt[2])/2, -1/2},
   {-1/2, (1 + Sqrt[2])/2, 1/2}, {(-1 - Sqrt[2])/2, 1/2, -1/2}, {(-1 - Sqrt[2])/2, 1/2, 1/2},
   {(-1 - Sqrt[2])/2, -1/2, -1/2}, {(-1 - Sqrt[2])/2, -1/2, 1/2}, {-1/2, (-1 - Sqrt[2])/2, -1/2},
   {-1/2, (-1 - Sqrt[2])/2, 1/2}, {1/2, (-1 - Sqrt[2])/2, -1/2}, {1/2, (-1 - Sqrt[2])/2, 1/2},
   {(1 + Sqrt[2])/2, -1/2, -1/2}, {(1 + Sqrt[2])/2, -1/2, 1/2}, {(1 + Sqrt[2])/2, 1/2, -1/2},
   {(1 + Sqrt[2])/2, 1/2, 1/2}}, Polygon[{{4, 7, 3, 8}, {7, 4, 12, 14}, {3, 7, 16, 18}, {8, 3, 20, 22},
    {4, 8, 24, 10}, {10, 12, 4}, {14, 16, 7}, {18, 20, 3}, {22, 24, 8}, {5, 1, 2, 6}, {11, 9, 6, 2},
    {15, 13, 2, 1}, {19, 17, 1, 5}, {23, 21, 5, 6}, {6, 9, 23}, {2, 13, 11}, {1, 17, 15}, {5, 21, 19},
    {9, 11, 12, 10}, {11, 13, 14, 12}, {13, 15, 16, 14}, {15, 17, 18, 16}, {17, 19, 20, 18},
    {19, 21, 22, 20}, {21, 23, 24, 22}, {23, 9, 10, 24}}]]]

In[407]:=

Out[407]=

In[408]:=

Out[408]=

In[409]:=

Out[409]=

Johnson Polyhedra

Geometry