In[266]:=

Out[266]=

In[267]:=

Out[267]=

In[268]:=

Out[268]=

In[269]:=

Out[269]=

In[270]:=

Out[270]=

In[271]:=

Out[271]=

In[272]:=

Out[272]=

In[273]:=

Out[273]=

In[274]:=

Out[274]//InputForm=

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

In[275]:=

Out[275]=

In[276]:=

Out[276]=

In[277]:=

Out[277]=

Johnson Polyhedra