// File: /workspace/github_cpp_makefile_star2_O1/tomfunkhouser[P]gaps/pkgs/fglut/freeglut_geometry.c
// Function: glutSolidDodecahedron
void FGAPIENTRY glutSolidDodecahedron( void )
{
  FREEGLUT_EXIT_IF_NOT_INITIALISED ( "glutSolidDodecahedron" );

  /* Magic Numbers:  It is possible to create a dodecahedron by attaching two pentagons to each face of
   * of a cube.  The coordinates of the points are:
   *   (+-x,0, z); (+-1, 1, 1); (0, z, x )
   * where x = (-1 + sqrt(5))/2, z = (1 + sqrt(5))/2 or
   *       x = 0.61803398875 and z = 1.61803398875.
   */
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.0,  0.525731112119,  0.850650808354 ) ; glVertex3d (  0.0,  1.61803398875,  0.61803398875 ) ; glVertex3d ( -1.0,  1.0,  1.0 ) ; glVertex3d ( -0.61803398875, 0.0,  1.61803398875 ) ; glVertex3d (  0.61803398875, 0.0,  1.61803398875 ) ; glVertex3d (  1.0,  1.0,  1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.0,  0.525731112119, -0.850650808354 ) ; glVertex3d (  0.0,  1.61803398875, -0.61803398875 ) ; glVertex3d (  1.0,  1.0, -1.0 ) ; glVertex3d (  0.61803398875, 0.0, -1.61803398875 ) ; glVertex3d ( -0.61803398875, 0.0, -1.61803398875 ) ; glVertex3d ( -1.0,  1.0, -1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.0, -0.525731112119,  0.850650808354 ) ; glVertex3d (  0.0, -1.61803398875,  0.61803398875 ) ; glVertex3d (  1.0, -1.0,  1.0 ) ; glVertex3d (  0.61803398875, 0.0,  1.61803398875 ) ; glVertex3d ( -0.61803398875, 0.0,  1.61803398875 ) ; glVertex3d ( -1.0, -1.0,  1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.0, -0.525731112119, -0.850650808354 ) ; glVertex3d (  0.0, -1.61803398875, -0.61803398875 ) ; glVertex3d ( -1.0, -1.0, -1.0 ) ; glVertex3d ( -0.61803398875, 0.0, -1.61803398875 ) ; glVertex3d (  0.61803398875, 0.0, -1.61803398875 ) ; glVertex3d (  1.0, -1.0, -1.0 ) ;
  glEnd () ;

  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.850650808354,  0.0,  0.525731112119 ) ; glVertex3d (  0.61803398875,  0.0,  1.61803398875 ) ; glVertex3d (  1.0, -1.0,  1.0 ) ; glVertex3d (  1.61803398875, -0.61803398875, 0.0 ) ; glVertex3d (  1.61803398875,  0.61803398875, 0.0 ) ; glVertex3d (  1.0,  1.0,  1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d ( -0.850650808354,  0.0,  0.525731112119 ) ; glVertex3d ( -0.61803398875,  0.0,  1.61803398875 ) ; glVertex3d ( -1.0,  1.0,  1.0 ) ; glVertex3d ( -1.61803398875,  0.61803398875, 0.0 ) ; glVertex3d ( -1.61803398875, -0.61803398875, 0.0 ) ; glVertex3d ( -1.0, -1.0,  1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.850650808354,  0.0, -0.525731112119 ) ; glVertex3d (  0.61803398875,  0.0, -1.61803398875 ) ; glVertex3d (  1.0,  1.0, -1.0 ) ; glVertex3d (  1.61803398875,  0.61803398875, 0.0 ) ; glVertex3d (  1.61803398875, -0.61803398875, 0.0 ) ; glVertex3d (  1.0, -1.0, -1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d ( -0.850650808354,  0.0, -0.525731112119 ) ; glVertex3d ( -0.61803398875,  0.0, -1.61803398875 ) ; glVertex3d ( -1.0, -1.0, -1.0 ) ; glVertex3d ( -1.61803398875, -0.61803398875, 0.0 ) ; glVertex3d ( -1.61803398875,  0.61803398875, 0.0 ) ; glVertex3d ( -1.0,  1.0, -1.0 ) ;
  glEnd () ;

  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.525731112119,  0.850650808354,  0.0 ) ; glVertex3d (  1.61803398875,  0.61803398875,  0.0 ) ; glVertex3d (  1.0,  1.0, -1.0 ) ; glVertex3d ( 0.0,  1.61803398875, -0.61803398875 ) ; glVertex3d ( 0.0,  1.61803398875,  0.61803398875 ) ; glVertex3d (  1.0,  1.0,  1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d (  0.525731112119, -0.850650808354,  0.0 ) ; glVertex3d (  1.61803398875, -0.61803398875,  0.0 ) ; glVertex3d (  1.0, -1.0,  1.0 ) ; glVertex3d ( 0.0, -1.61803398875,  0.61803398875 ) ; glVertex3d ( 0.0, -1.61803398875, -0.61803398875 ) ; glVertex3d (  1.0, -1.0, -1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d ( -0.525731112119,  0.850650808354,  0.0 ) ; glVertex3d ( -1.61803398875,  0.61803398875,  0.0 ) ; glVertex3d ( -1.0,  1.0,  1.0 ) ; glVertex3d ( 0.0,  1.61803398875,  0.61803398875 ) ; glVertex3d ( 0.0,  1.61803398875, -0.61803398875 ) ; glVertex3d ( -1.0,  1.0, -1.0 ) ;
  glEnd () ;
  glBegin ( GL_POLYGON ) ;
  glNormal3d ( -0.525731112119, -0.850650808354,  0.0 ) ; glVertex3d ( -1.61803398875, -0.61803398875,  0.0 ) ; glVertex3d ( -1.0, -1.0, -1.0 ) ; glVertex3d ( 0.0, -1.61803398875, -0.61803398875 ) ; glVertex3d ( 0.0, -1.61803398875,  0.61803398875 ) ; glVertex3d ( -1.0, -1.0,  1.0 ) ;
  glEnd () ;
}

// Assembly:
pushq %rax
leaq 0x6a460(%rip), %rax     # 0x1441c0
cmpb $0x0, 0x1c(%rax)
jne 0xd9d7b
leaq 0x117f9(%rip), %rdi     # 0xeb566
leaq 0x23249(%rip), %rsi     # 0xfcfbd
xorl %eax, %eax
callq 0xd1cf7
movl $0x9, %edi
callq 0x21190
movsd 0x2352b(%rip), %xmm1    # 0xfd2b8
movsd 0x2352b(%rip), %xmm2    # 0xfd2c0
xorps %xmm0, %xmm0
callq 0x21310
movsd 0x23523(%rip), %xmm1    # 0xfd2c8
movsd 0x23523(%rip), %xmm2    # 0xfd2d0
xorps %xmm0, %xmm0
callq 0x21e70
movsd 0x2713(%rip), %xmm0     # 0xdc4d0
movsd 0x2253(%rip), %xmm1     # 0xdc018
movaps %xmm1, %xmm2
callq 0x21e70
movsd 0x23503(%rip), %xmm0    # 0xfd2d8
xorps %xmm1, %xmm1
movsd 0x234e8(%rip), %xmm2    # 0xfd2c8
callq 0x21e70
xorps %xmm1, %xmm1
movsd 0x234e0(%rip), %xmm0    # 0xfd2d0
movsd 0x234d0(%rip), %xmm2    # 0xfd2c8
callq 0x21e70
movsd 0x2213(%rip), %xmm0     # 0xdc018
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
movsd 0x234b9(%rip), %xmm2    # 0xfd2e0
xorps %xmm0, %xmm0
movsd 0x23486(%rip), %xmm1    # 0xfd2b8
callq 0x21310
xorps %xmm0, %xmm0
movsd 0x23486(%rip), %xmm1    # 0xfd2c8
movsd 0x2348e(%rip), %xmm2    # 0xfd2d8
callq 0x21e70
movsd 0x21c1(%rip), %xmm0     # 0xdc018
movaps %xmm0, %xmm1
movsd 0x266e(%rip), %xmm2     # 0xdc4d0
callq 0x21e70
movsd 0x23479(%rip), %xmm2    # 0xfd2e8
xorps %xmm1, %xmm1
movsd 0x23456(%rip), %xmm0    # 0xfd2d0
callq 0x21e70
xorps %xmm1, %xmm1
movsd 0x2344e(%rip), %xmm0    # 0xfd2d8
movsd 0x23456(%rip), %xmm2    # 0xfd2e8
callq 0x21e70
movsd 0x2631(%rip), %xmm0     # 0xdc4d0
movsd 0x2171(%rip), %xmm1     # 0xdc018
movaps %xmm0, %xmm2
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
movsd 0x2342a(%rip), %xmm1    # 0xfd2f0
xorps %xmm0, %xmm0
movsd 0x233ef(%rip), %xmm2    # 0xfd2c0
callq 0x21310
xorps %xmm0, %xmm0
movsd 0x23407(%rip), %xmm1    # 0xfd2e8
movsd 0x233e7(%rip), %xmm2    # 0xfd2d0
callq 0x21e70
movsd 0x2122(%rip), %xmm0     # 0xdc018
movsd 0x25d2(%rip), %xmm1     # 0xdc4d0
movaps %xmm0, %xmm2
callq 0x21e70
xorps %xmm1, %xmm1
movsd 0x233bf(%rip), %xmm0    # 0xfd2d0
movsd 0x233af(%rip), %xmm2    # 0xfd2c8
callq 0x21e70
xorps %xmm1, %xmm1
movsd 0x233af(%rip), %xmm0    # 0xfd2d8
movsd 0x23397(%rip), %xmm2    # 0xfd2c8
callq 0x21e70
movsd 0x2592(%rip), %xmm0     # 0xdc4d0
movaps %xmm0, %xmm1
movsd 0x20cf(%rip), %xmm2     # 0xdc018
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
xorps %xmm0, %xmm0
movsd 0x23388(%rip), %xmm1    # 0xfd2f0
movsd 0x23370(%rip), %xmm2    # 0xfd2e0
callq 0x21310
xorps %xmm0, %xmm0
movsd 0x23368(%rip), %xmm1    # 0xfd2e8
movsd 0x23350(%rip), %xmm2    # 0xfd2d8
callq 0x21e70
movsd 0x253b(%rip), %xmm0     # 0xdc4d0
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e70
xorps %xmm1, %xmm1
movsd 0x2332d(%rip), %xmm0    # 0xfd2d8
movsd 0x23335(%rip), %xmm2    # 0xfd2e8
callq 0x21e70
xorps %xmm1, %xmm1
movsd 0x2330d(%rip), %xmm0    # 0xfd2d0
movsd 0x2331d(%rip), %xmm2    # 0xfd2e8
callq 0x21e70
movsd 0x2040(%rip), %xmm0     # 0xdc018
movsd 0x24f0(%rip), %xmm1     # 0xdc4d0
movaps %xmm1, %xmm2
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x232be(%rip), %xmm0    # 0xfd2c0
movsd 0x232ae(%rip), %xmm2    # 0xfd2b8
callq 0x21310
xorps %xmm1, %xmm1
movsd 0x232b6(%rip), %xmm0    # 0xfd2d0
movsd 0x232a6(%rip), %xmm2    # 0xfd2c8
callq 0x21e70
movsd 0x1fe9(%rip), %xmm0     # 0xdc018
movsd 0x2499(%rip), %xmm1     # 0xdc4d0
movaps %xmm0, %xmm2
callq 0x21e70
xorps %xmm2, %xmm2
movsd 0x2327e(%rip), %xmm0    # 0xfd2c8
movsd 0x23286(%rip), %xmm1    # 0xfd2d8
callq 0x21e70
xorps %xmm2, %xmm2
movsd 0x23266(%rip), %xmm0    # 0xfd2c8
movsd 0x23266(%rip), %xmm1    # 0xfd2d0
callq 0x21e70
movsd 0x1fa1(%rip), %xmm0     # 0xdc018
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x23244(%rip), %xmm0    # 0xfd2e0
movsd 0x23214(%rip), %xmm2    # 0xfd2b8
callq 0x21310
xorps %xmm1, %xmm1
movsd 0x23224(%rip), %xmm0    # 0xfd2d8
movsd 0x2320c(%rip), %xmm2    # 0xfd2c8
callq 0x21e70
movsd 0x2407(%rip), %xmm0     # 0xdc4d0
movsd 0x1f47(%rip), %xmm1     # 0xdc018
movaps %xmm1, %xmm2
callq 0x21e70
xorps %xmm2, %xmm2
movsd 0x23204(%rip), %xmm0    # 0xfd2e8
movsd 0x231e4(%rip), %xmm1    # 0xfd2d0
callq 0x21e70
xorps %xmm2, %xmm2
movsd 0x231ec(%rip), %xmm0    # 0xfd2e8
movsd 0x231d4(%rip), %xmm1    # 0xfd2d8
callq 0x21e70
movsd 0x23bf(%rip), %xmm0     # 0xdc4d0
movaps %xmm0, %xmm1
movsd 0x1efc(%rip), %xmm2     # 0xdc018
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x23185(%rip), %xmm0    # 0xfd2c0
movsd 0x231ad(%rip), %xmm2    # 0xfd2f0
callq 0x21310
xorps %xmm1, %xmm1
movsd 0x2317d(%rip), %xmm0    # 0xfd2d0
movsd 0x2318d(%rip), %xmm2    # 0xfd2e8
callq 0x21e70
movsd 0x1eb0(%rip), %xmm0     # 0xdc018
movaps %xmm0, %xmm1
movsd 0x235d(%rip), %xmm2     # 0xdc4d0
callq 0x21e70
xorps %xmm2, %xmm2
movsd 0x23145(%rip), %xmm0    # 0xfd2c8
movsd 0x23145(%rip), %xmm1    # 0xfd2d0
callq 0x21e70
xorps %xmm2, %xmm2
movsd 0x2312d(%rip), %xmm0    # 0xfd2c8
movsd 0x23135(%rip), %xmm1    # 0xfd2d8
callq 0x21e70
movsd 0x1e68(%rip), %xmm0     # 0xdc018
movsd 0x2318(%rip), %xmm1     # 0xdc4d0
movaps %xmm1, %xmm2
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
xorps %xmm1, %xmm1
movsd 0x23106(%rip), %xmm0    # 0xfd2e0
movsd 0x2310e(%rip), %xmm2    # 0xfd2f0
callq 0x21310
xorps %xmm1, %xmm1
movsd 0x230e6(%rip), %xmm0    # 0xfd2d8
movsd 0x230ee(%rip), %xmm2    # 0xfd2e8
callq 0x21e70
movsd 0x22c9(%rip), %xmm0     # 0xdc4d0
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e70
xorps %xmm2, %xmm2
movsd 0x230cb(%rip), %xmm0    # 0xfd2e8
movsd 0x230b3(%rip), %xmm1    # 0xfd2d8
callq 0x21e70
xorps %xmm2, %xmm2
movsd 0x230b3(%rip), %xmm0    # 0xfd2e8
movsd 0x23093(%rip), %xmm1    # 0xfd2d0
callq 0x21e70
movsd 0x2286(%rip), %xmm0     # 0xdc4d0
movsd 0x1dc6(%rip), %xmm1     # 0xdc018
movaps %xmm0, %xmm2
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x23044(%rip), %xmm0    # 0xfd2b8
movsd 0x23044(%rip), %xmm1    # 0xfd2c0
callq 0x21310
xorps %xmm2, %xmm2
movsd 0x2303c(%rip), %xmm0    # 0xfd2c8
movsd 0x2303c(%rip), %xmm1    # 0xfd2d0
callq 0x21e70
movsd 0x1d77(%rip), %xmm0     # 0xdc018
movaps %xmm0, %xmm1
movsd 0x2224(%rip), %xmm2     # 0xdc4d0
callq 0x21e70
xorps %xmm0, %xmm0
movsd 0x2300c(%rip), %xmm1    # 0xfd2c8
movsd 0x23014(%rip), %xmm2    # 0xfd2d8
callq 0x21e70
xorps %xmm0, %xmm0
movsd 0x22ff4(%rip), %xmm1    # 0xfd2c8
movsd 0x22ff4(%rip), %xmm2    # 0xfd2d0
callq 0x21e70
movsd 0x1d2f(%rip), %xmm0     # 0xdc018
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x22faa(%rip), %xmm0    # 0xfd2b8
movsd 0x22fca(%rip), %xmm1    # 0xfd2e0
callq 0x21310
xorps %xmm2, %xmm2
movsd 0x22fa2(%rip), %xmm0    # 0xfd2c8
movsd 0x22faa(%rip), %xmm1    # 0xfd2d8
callq 0x21e70
movsd 0x1cdd(%rip), %xmm0     # 0xdc018
movsd 0x218d(%rip), %xmm1     # 0xdc4d0
movaps %xmm0, %xmm2
callq 0x21e70
xorps %xmm0, %xmm0
movsd 0x22f92(%rip), %xmm1    # 0xfd2e8
movsd 0x22f72(%rip), %xmm2    # 0xfd2d0
callq 0x21e70
xorps %xmm0, %xmm0
movsd 0x22f7a(%rip), %xmm1    # 0xfd2e8
movsd 0x22f62(%rip), %xmm2    # 0xfd2d8
callq 0x21e70
movsd 0x1c95(%rip), %xmm0     # 0xdc018
movsd 0x2145(%rip), %xmm1     # 0xdc4d0
movaps %xmm1, %xmm2
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x22f43(%rip), %xmm0    # 0xfd2f0
movsd 0x22f0b(%rip), %xmm1    # 0xfd2c0
callq 0x21310
xorps %xmm2, %xmm2
movsd 0x22f23(%rip), %xmm0    # 0xfd2e8
movsd 0x22f03(%rip), %xmm1    # 0xfd2d0
callq 0x21e70
movsd 0x20f6(%rip), %xmm0     # 0xdc4d0
movsd 0x1c36(%rip), %xmm1     # 0xdc018
movaps %xmm1, %xmm2
callq 0x21e70
xorps %xmm0, %xmm0
movsd 0x22ed3(%rip), %xmm1    # 0xfd2c8
movsd 0x22ed3(%rip), %xmm2    # 0xfd2d0
callq 0x21e70
xorps %xmm0, %xmm0
movsd 0x22ebb(%rip), %xmm1    # 0xfd2c8
movsd 0x22ec3(%rip), %xmm2    # 0xfd2d8
callq 0x21e70
movsd 0x20ae(%rip), %xmm0     # 0xdc4d0
movsd 0x1bee(%rip), %xmm1     # 0xdc018
movaps %xmm0, %xmm2
callq 0x21e70
callq 0x21c60
movl $0x9, %edi
callq 0x21190
xorps %xmm2, %xmm2
movsd 0x22ea4(%rip), %xmm0    # 0xfd2f0
movsd 0x22e8c(%rip), %xmm1    # 0xfd2e0
callq 0x21310
xorps %xmm2, %xmm2
movsd 0x22e84(%rip), %xmm0    # 0xfd2e8
movsd 0x22e6c(%rip), %xmm1    # 0xfd2d8
callq 0x21e70
movsd 0x2057(%rip), %xmm0     # 0xdc4d0
movaps %xmm0, %xmm1
movaps %xmm0, %xmm2
callq 0x21e70
xorps %xmm0, %xmm0
movsd 0x22e59(%rip), %xmm1    # 0xfd2e8
movsd 0x22e41(%rip), %xmm2    # 0xfd2d8
callq 0x21e70
xorps %xmm0, %xmm0
movsd 0x22e41(%rip), %xmm1    # 0xfd2e8
movsd 0x22e21(%rip), %xmm2    # 0xfd2d0
callq 0x21e70
movsd 0x2014(%rip), %xmm0     # 0xdc4d0
movaps %xmm0, %xmm1
movsd 0x1b51(%rip), %xmm2     # 0xdc018
callq 0x21e70
popq %rax
jmp 0x21c60