const Vertex saucer_v[] = {
  {    0,0,0}, // Vertex indices in .OBJ files are based at 1.
  {  -11 /* -0.663588 */,   -18 /* -1.146390 */,     0 /*  0.000000 */},
  {   -8 /* -0.469227 */,   -18 /* -1.146390 */,     7 /*  0.466993 */},
  {    0 /*  0.000000 */,   -18 /* -1.146390 */,    11 /*  0.660429 */},
  {    8 /*  0.469227 */,   -18 /* -1.146390 */,     7 /*  0.466993 */},
  {   11 /*  0.663588 */,   -18 /* -1.146390 */,     0 /*  0.000000 */},
  {    8 /*  0.469227 */,   -18 /* -1.146391 */,    -7 /* -0.466993 */},
  {    0 /*  0.000000 */,   -18 /* -1.146391 */,   -11 /* -0.660428 */},
  {   -8 /* -0.469227 */,   -18 /* -1.146391 */,    -7 /* -0.466993 */},
  {   -1 /* -0.033048 */,    18 /*  1.146390 */,     0 /*  0.000000 */},
  {    0 /* -0.023369 */,    18 /*  1.146390 */,     0 /*  0.023369 */},
  {    0 /*  0.000000 */,    18 /*  1.146390 */,     1 /*  0.033048 */},
  {    0 /*  0.023369 */,    18 /*  1.146390 */,     0 /*  0.023369 */},
  {    1 /*  0.033048 */,    18 /*  1.146390 */,     0 /*  0.000000 */},
  {    0 /*  0.023369 */,    18 /*  1.146390 */,     0 /* -0.023369 */},
  {    0 /*  0.000000 */,    18 /*  1.146390 */,    -1 /* -0.033048 */},
  {    0 /* -0.023369 */,    18 /*  1.146390 */,     0 /* -0.023369 */},
  {  -53 /* -3.304820 */,    -1 /* -0.037793 */,     0 /*  0.000000 */},
  {  -37 /* -2.336861 */,    -1 /* -0.037793 */,   -37 /* -2.336860 */},
  {    0 /*  0.000000 */,    -1 /* -0.037793 */,   -53 /* -3.304820 */},
  {   37 /*  2.336860 */,    -1 /* -0.037793 */,   -37 /* -2.336860 */},
  {   53 /*  3.304820 */,    -1 /* -0.037793 */,     0 /*  0.000000 */},
  {   37 /*  2.336860 */,    -1 /* -0.037793 */,    37 /*  2.336860 */},
  {    0 /*  0.000000 */,    -1 /* -0.037793 */,    53 /*  3.304820 */},
  {  -37 /* -2.336861 */,    -1 /* -0.037793 */,    37 /*  2.336860 */},
  { -128,-128,-128}, /* End of list marker */
};
const Edge saucer_e[] = {
  {    1,    2 },
  {    1,    8 },
  {    1,   17 },
  {    2,    3 },
  {    2,   24 },
  {    3,    4 },
  {    3,   23 },
  {    4,    5 },
  {    4,   22 },
  {    5,    6 },
  {    5,   21 },
  {    6,    7 },
  {    6,   20 },
  {    7,    8 },
  {    7,   19 },
  {    8,   18 },
  {    9,   10 },
  {    9,   16 },
  {    9,   17 },
  {   10,   11 },
  {   10,   24 },
  {   11,   12 },
  {   11,   23 },
  {   12,   13 },
  {   12,   22 },
  {   13,   14 },
  {   13,   21 },
  {   14,   15 },
  {   14,   20 },
  {   15,   16 },
  {   15,   19 },
  {   16,   18 },
  {   17,   18 },
  {   17,   24 },
  {   18,   19 },
  {   19,   20 },
  {   20,   21 },
  {   21,   22 },
  {   22,   23 },
  {   23,   24 },
  {    0,    0 }  /* End of list. (Index 0 is never used) */
};