/* This is the data of a truncated tetrahedron */
/* The data must start with '0' or '2'.        */

0 (0.0,0.0,1.87163)
0 (0.0,1.76459,-0.623878)
0 (-1.52818,-0.882296,-0.623878)
0 (1.52818,-0.882296,-0.623878)
0 (0.0,0.0,-1.60288)
0 (0.0,-1.51121,0.534293)
0 (1.30874,0.755604,0.534293)
0 (-1.30874,0.755604,0.534293)
