solid OpenSCAD_Model facet normal -0.000000 0.000000 -1.000000 outer loop vertex -12.250000 0.000000 0.000000 vertex -11.950221 1.892729 0.000000 vertex -11.950221 -1.892729 0.000000 endloop endfacet facet normal 0.000000 -0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex -11.950221 1.892729 0.000000 vertex -11.080229 3.600185 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex -11.080229 3.600185 0.000000 vertex -9.725185 4.955229 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex -9.725185 4.955229 0.000000 vertex -8.017729 5.825221 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex -8.017729 5.825221 0.000000 vertex -6.125000 6.125000 0.000000 endloop endfacet facet normal -0.000000 0.000000 -1.000000 outer loop vertex -6.125000 6.125000 0.000000 vertex 6.125000 6.125000 0.000000 vertex -11.950221 -1.892729 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 6.125000 6.125000 0.000000 vertex 8.017729 5.825221 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 8.017729 5.825221 0.000000 vertex 9.725185 4.955229 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 9.725185 4.955229 0.000000 vertex 11.080229 3.600185 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 11.080229 3.600185 0.000000 vertex 11.950221 1.892729 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 11.950221 1.892729 0.000000 vertex 12.250000 -0.000000 0.000000 endloop endfacet facet normal -0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 12.250000 -0.000000 0.000000 vertex 11.950221 -1.892729 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 11.950221 -1.892729 0.000000 vertex 11.080229 -3.600185 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 11.080229 -3.600185 0.000000 vertex 9.725185 -4.955229 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 9.725185 -4.955229 0.000000 vertex 8.017729 -5.825221 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 8.017729 -5.825221 0.000000 vertex 6.125000 -6.125000 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex 6.125000 -6.125000 0.000000 vertex -6.125000 -6.125000 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex -6.125000 -6.125000 0.000000 vertex -8.017729 -5.825221 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex -8.017729 -5.825221 0.000000 vertex -9.725185 -4.955229 0.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex -9.725185 -4.955229 0.000000 vertex -11.080229 -3.600185 0.000000 endloop endfacet facet normal -0.987688 0.156435 0.000000 outer loop vertex -12.250000 0.000000 0.000000 vertex -12.250000 0.000000 5.000000 vertex -11.950221 1.892729 0.000000 endloop endfacet facet normal -0.987688 0.156435 0.000000 outer loop vertex -11.950221 1.892729 0.000000 vertex -12.250000 0.000000 5.000000 vertex -11.950221 1.892729 5.000000 endloop endfacet facet normal -0.987688 -0.156435 -0.000000 outer loop vertex -12.250000 0.000000 0.000000 vertex -11.950221 -1.892729 0.000000 vertex -12.250000 0.000000 5.000000 endloop endfacet facet normal -0.987688 -0.156435 0.000000 outer loop vertex -12.250000 0.000000 5.000000 vertex -11.950221 -1.892729 0.000000 vertex -11.950221 -1.892729 5.000000 endloop endfacet facet normal -0.891007 -0.453990 -0.000000 outer loop vertex -11.950221 -1.892729 0.000000 vertex -11.080229 -3.600185 0.000000 vertex -11.950221 -1.892729 5.000000 endloop endfacet facet normal -0.891007 -0.453990 0.000000 outer loop vertex -11.950221 -1.892729 5.000000 vertex -11.080229 -3.600185 0.000000 vertex -11.080229 -3.600185 5.000000 endloop endfacet facet normal -0.707107 -0.707107 -0.000000 outer loop vertex -11.080229 -3.600185 0.000000 vertex -9.725185 -4.955229 0.000000 vertex -11.080229 -3.600185 5.000000 endloop endfacet facet normal -0.707107 -0.707107 0.000000 outer loop vertex -11.080229 -3.600185 5.000000 vertex -9.725185 -4.955229 0.000000 vertex -9.725185 -4.955229 5.000000 endloop endfacet facet normal -0.453990 -0.891007 0.000000 outer loop vertex -9.725185 -4.955229 5.000000 vertex -9.725185 -4.955229 0.000000 vertex -8.017729 -5.825221 0.000000 endloop endfacet facet normal -0.453990 -0.891007 0.000000 outer loop vertex -8.017729 -5.825221 5.000000 vertex -9.725185 -4.955229 5.000000 vertex -8.017729 -5.825221 0.000000 endloop endfacet facet normal -0.156435 -0.987688 0.000000 outer loop vertex -8.017729 -5.825221 5.000000 vertex -8.017729 -5.825221 0.000000 vertex -6.125000 -6.125000 0.000000 endloop endfacet facet normal -0.156435 -0.987688 0.000000 outer loop vertex -6.125000 -6.125000 5.000000 vertex -8.017729 -5.825221 5.000000 vertex -6.125000 -6.125000 0.000000 endloop endfacet facet normal 0.000000 -1.000000 0.000000 outer loop vertex -6.125000 -6.125000 5.000000 vertex -6.125000 -6.125000 0.000000 vertex 6.125000 -6.125000 0.000000 endloop endfacet facet normal 0.000000 -1.000000 0.000000 outer loop vertex 6.125000 -6.125000 5.000000 vertex -6.125000 -6.125000 5.000000 vertex 6.125000 -6.125000 0.000000 endloop endfacet facet normal 0.156435 -0.987688 0.000000 outer loop vertex 6.125000 -6.125000 5.000000 vertex 6.125000 -6.125000 0.000000 vertex 8.017729 -5.825221 0.000000 endloop endfacet facet normal 0.156435 -0.987688 0.000000 outer loop vertex 8.017729 -5.825221 5.000000 vertex 6.125000 -6.125000 5.000000 vertex 8.017729 -5.825221 0.000000 endloop endfacet facet normal 0.453990 -0.891007 0.000000 outer loop vertex 8.017729 -5.825221 5.000000 vertex 8.017729 -5.825221 0.000000 vertex 9.725185 -4.955229 0.000000 endloop endfacet facet normal 0.453990 -0.891007 0.000000 outer loop vertex 9.725185 -4.955229 5.000000 vertex 8.017729 -5.825221 5.000000 vertex 9.725185 -4.955229 0.000000 endloop endfacet facet normal 0.707107 -0.707107 0.000000 outer loop vertex 9.725185 -4.955229 5.000000 vertex 9.725185 -4.955229 0.000000 vertex 11.080229 -3.600185 0.000000 endloop endfacet facet normal 0.707107 -0.707107 0.000000 outer loop vertex 11.080229 -3.600185 5.000000 vertex 9.725185 -4.955229 5.000000 vertex 11.080229 -3.600185 0.000000 endloop endfacet facet normal 0.891007 -0.453990 0.000000 outer loop vertex 11.080229 -3.600185 5.000000 vertex 11.080229 -3.600185 0.000000 vertex 11.950221 -1.892729 0.000000 endloop endfacet facet normal 0.891007 -0.453990 0.000000 outer loop vertex 11.950221 -1.892729 5.000000 vertex 11.080229 -3.600185 5.000000 vertex 11.950221 -1.892729 0.000000 endloop endfacet facet normal 0.987688 -0.156435 0.000000 outer loop vertex 11.950221 -1.892729 5.000000 vertex 11.950221 -1.892729 0.000000 vertex 12.250000 -0.000000 0.000000 endloop endfacet facet normal 0.987688 -0.156435 0.000000 outer loop vertex 12.250000 -0.000000 5.000000 vertex 11.950221 -1.892729 5.000000 vertex 12.250000 -0.000000 0.000000 endloop endfacet facet normal 0.987688 0.156435 0.000000 outer loop vertex 12.250000 -0.000000 0.000000 vertex 11.950221 1.892729 0.000000 vertex 11.950221 1.892729 5.000000 endloop endfacet facet normal 0.987688 0.156435 -0.000000 outer loop vertex 12.250000 -0.000000 5.000000 vertex 12.250000 -0.000000 0.000000 vertex 11.950221 1.892729 5.000000 endloop endfacet facet normal 0.891007 0.453990 0.000000 outer loop vertex 11.950221 1.892729 0.000000 vertex 11.080229 3.600185 0.000000 vertex 11.080229 3.600185 5.000000 endloop endfacet facet normal 0.891007 0.453990 -0.000000 outer loop vertex 11.950221 1.892729 5.000000 vertex 11.950221 1.892729 0.000000 vertex 11.080229 3.600185 5.000000 endloop endfacet facet normal 0.707107 0.707107 0.000000 outer loop vertex 11.080229 3.600185 0.000000 vertex 9.725185 4.955229 0.000000 vertex 9.725185 4.955229 5.000000 endloop endfacet facet normal 0.707107 0.707107 -0.000000 outer loop vertex 11.080229 3.600185 5.000000 vertex 11.080229 3.600185 0.000000 vertex 9.725185 4.955229 5.000000 endloop endfacet facet normal 0.453990 0.891007 0.000000 outer loop vertex 8.017729 5.825221 0.000000 vertex 8.017729 5.825221 5.000000 vertex 9.725185 4.955229 0.000000 endloop endfacet facet normal 0.453990 0.891007 0.000000 outer loop vertex 9.725185 4.955229 0.000000 vertex 8.017729 5.825221 5.000000 vertex 9.725185 4.955229 5.000000 endloop endfacet facet normal 0.156435 0.987688 0.000000 outer loop vertex 6.125000 6.125000 0.000000 vertex 6.125000 6.125000 5.000000 vertex 8.017729 5.825221 0.000000 endloop endfacet facet normal 0.156435 0.987688 0.000000 outer loop vertex 8.017729 5.825221 0.000000 vertex 6.125000 6.125000 5.000000 vertex 8.017729 5.825221 5.000000 endloop endfacet facet normal 0.000000 1.000000 0.000000 outer loop vertex -6.125000 6.125000 0.000000 vertex -6.125000 6.125000 5.000000 vertex 6.125000 6.125000 0.000000 endloop endfacet facet normal 0.000000 1.000000 0.000000 outer loop vertex 6.125000 6.125000 0.000000 vertex -6.125000 6.125000 5.000000 vertex 6.125000 6.125000 5.000000 endloop endfacet facet normal -0.156435 0.987688 0.000000 outer loop vertex -8.017729 5.825221 0.000000 vertex -8.017729 5.825221 5.000000 vertex -6.125000 6.125000 0.000000 endloop endfacet facet normal -0.156435 0.987688 0.000000 outer loop vertex -6.125000 6.125000 0.000000 vertex -8.017729 5.825221 5.000000 vertex -6.125000 6.125000 5.000000 endloop endfacet facet normal -0.453990 0.891007 0.000000 outer loop vertex -9.725185 4.955229 0.000000 vertex -9.725185 4.955229 5.000000 vertex -8.017729 5.825221 0.000000 endloop endfacet facet normal -0.453990 0.891007 0.000000 outer loop vertex -8.017729 5.825221 0.000000 vertex -9.725185 4.955229 5.000000 vertex -8.017729 5.825221 5.000000 endloop endfacet facet normal -0.707107 0.707107 0.000000 outer loop vertex -11.080229 3.600185 0.000000 vertex -11.080229 3.600185 5.000000 vertex -9.725185 4.955229 0.000000 endloop endfacet facet normal -0.707107 0.707107 0.000000 outer loop vertex -9.725185 4.955229 0.000000 vertex -11.080229 3.600185 5.000000 vertex -9.725185 4.955229 5.000000 endloop endfacet facet normal -0.891007 0.453990 0.000000 outer loop vertex -11.950221 1.892729 0.000000 vertex -11.950221 1.892729 5.000000 vertex -11.080229 3.600185 0.000000 endloop endfacet facet normal -0.891007 0.453990 0.000000 outer loop vertex -11.080229 3.600185 0.000000 vertex -11.950221 1.892729 5.000000 vertex -11.080229 3.600185 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -11.950221 1.892729 5.000000 vertex -12.250000 0.000000 5.000000 vertex -11.950221 -1.892729 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -9.725185 -4.955229 5.000000 vertex -11.950221 1.892729 5.000000 vertex -11.080229 -3.600185 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -11.080229 -3.600185 5.000000 vertex -11.950221 1.892729 5.000000 vertex -11.950221 -1.892729 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -8.017729 -5.825221 5.000000 vertex -11.950221 1.892729 5.000000 vertex -9.725185 -4.955229 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -6.125000 -6.125000 5.000000 vertex -11.950221 1.892729 5.000000 vertex -8.017729 -5.825221 5.000000 endloop endfacet facet normal -0.000000 -0.000000 1.000000 outer loop vertex -8.625000 -2.385278 5.000000 vertex -11.950221 1.892729 5.000000 vertex -6.125000 -6.125000 5.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex -3.625000 2.242998 5.000000 vertex -3.625000 -2.385278 5.000000 vertex 6.125000 -6.125000 5.000000 endloop endfacet facet normal -0.000000 0.000000 1.000000 outer loop vertex -8.625000 2.242998 5.000000 vertex -8.017243 2.944387 5.000000 vertex -11.950221 1.892729 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -4.232757 2.944387 5.000000 vertex 6.125000 3.500000 5.000000 vertex 9.725185 4.955229 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -6.125000 3.500000 5.000000 vertex 9.725185 4.955229 5.000000 vertex 8.017729 5.825221 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -6.125000 3.500000 5.000000 vertex 8.017729 5.825221 5.000000 vertex 6.125000 6.125000 5.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex -9.725185 4.955229 5.000000 vertex -11.950221 1.892729 5.000000 vertex -8.017729 5.825221 5.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex -11.080229 3.600185 5.000000 vertex -11.950221 1.892729 5.000000 vertex -9.725185 4.955229 5.000000 endloop endfacet facet normal -0.000000 -0.000000 1.000000 outer loop vertex -7.111064 -3.358225 5.000000 vertex -8.625000 -2.385278 5.000000 vertex -6.125000 -6.125000 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 4.232757 2.944387 5.000000 vertex -4.232757 2.944387 5.000000 vertex -3.625000 2.242998 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -3.625000 2.242998 5.000000 vertex 5.138936 -3.358225 5.000000 vertex 3.625000 -2.385278 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -6.125000 6.125000 5.000000 vertex -11.950221 1.892729 5.000000 vertex -8.017243 2.944387 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -6.125000 6.125000 5.000000 vertex -6.125000 3.500000 5.000000 vertex 6.125000 6.125000 5.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex -6.125000 6.125000 5.000000 vertex -8.017243 2.944387 5.000000 vertex -6.125000 3.500000 5.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex 8.625000 2.242998 5.000000 vertex 8.625000 -2.385278 5.000000 vertex 11.950221 -1.892729 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -6.125000 3.500000 5.000000 vertex -4.232757 2.944387 5.000000 vertex 9.725185 4.955229 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 8.625000 2.242998 5.000000 vertex 11.950221 -1.892729 5.000000 vertex 12.250000 -0.000000 5.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex 8.625000 -2.385278 5.000000 vertex 7.111064 -3.358225 5.000000 vertex 11.080229 -3.600185 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 6.125000 -6.125000 5.000000 vertex -5.138936 -3.358225 5.000000 vertex -6.125000 -6.125000 5.000000 endloop endfacet facet normal -0.000000 0.000000 1.000000 outer loop vertex -5.138936 -3.358225 5.000000 vertex -7.111064 -3.358225 5.000000 vertex -6.125000 -6.125000 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -3.625000 2.242998 5.000000 vertex 8.017729 -5.825221 5.000000 vertex 5.138936 -3.358225 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 4.232757 2.944387 5.000000 vertex -3.625000 2.242998 5.000000 vertex 3.625000 2.242998 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 8.625000 2.242998 5.000000 vertex 12.250000 -0.000000 5.000000 vertex 11.950221 1.892729 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 6.125000 3.500000 5.000000 vertex 8.017243 2.944387 5.000000 vertex 11.080229 3.600185 5.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex 9.725185 4.955229 5.000000 vertex 6.125000 3.500000 5.000000 vertex 11.080229 3.600185 5.000000 endloop endfacet facet normal -0.000000 0.000000 1.000000 outer loop vertex 4.232757 2.944387 5.000000 vertex 6.125000 3.500000 5.000000 vertex -4.232757 2.944387 5.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex 11.080229 3.600185 5.000000 vertex 8.017243 2.944387 5.000000 vertex 11.950221 1.892729 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 8.017243 2.944387 5.000000 vertex 8.625000 2.242998 5.000000 vertex 11.950221 1.892729 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 11.950221 -1.892729 5.000000 vertex 8.625000 -2.385278 5.000000 vertex 11.080229 -3.600185 5.000000 endloop endfacet facet normal -0.000000 0.000000 1.000000 outer loop vertex 11.080229 -3.600185 5.000000 vertex 7.111064 -3.358225 5.000000 vertex 9.725185 -4.955229 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -3.625000 2.242998 5.000000 vertex 6.125000 -6.125000 5.000000 vertex 8.017729 -5.825221 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -6.125000 6.125000 5.000000 vertex -8.017729 5.825221 5.000000 vertex -11.950221 1.892729 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 3.625000 -2.385278 5.000000 vertex 3.625000 2.242998 5.000000 vertex -3.625000 2.242998 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 5.138936 -3.358225 5.000000 vertex 8.017729 -5.825221 5.000000 vertex 9.725185 -4.955229 5.000000 endloop endfacet facet normal -0.000000 -0.000000 1.000000 outer loop vertex 7.111064 -3.358225 5.000000 vertex 5.138936 -3.358225 5.000000 vertex 9.725185 -4.955229 5.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex -3.625000 -2.385278 5.000000 vertex -5.138936 -3.358225 5.000000 vertex 6.125000 -6.125000 5.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -8.625000 -2.385278 5.000000 vertex -8.625000 2.242998 5.000000 vertex -11.950221 1.892729 5.000000 endloop endfacet facet normal -0.540640 -0.841254 0.000000 outer loop vertex -8.625000 -2.385278 11.062176 vertex -8.625000 -2.385278 5.000000 vertex -7.111064 -3.358225 5.000000 endloop endfacet facet normal -0.540640 -0.841254 0.000000 outer loop vertex -8.527885 -2.447690 11.000000 vertex -8.625000 -2.385278 11.062176 vertex -7.111064 -3.358225 5.000000 endloop endfacet facet normal -0.540640 -0.841254 0.000000 outer loop vertex -7.111064 -3.358225 11.092916 vertex -7.363017 -3.196305 11.000000 vertex -7.111064 -3.358225 5.000000 endloop endfacet facet normal -0.540640 -0.841254 -0.000000 outer loop vertex -7.363017 -3.196305 11.000000 vertex -8.527885 -2.447690 11.000000 vertex -7.111064 -3.358225 5.000000 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex -8.625000 -0.875000 7.000000 vertex -8.625000 -2.385278 5.000000 vertex -8.625000 -0.875000 13.000000 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex -8.625000 -0.875000 7.000000 vertex -8.625000 -0.707890 7.000000 vertex -8.625000 -0.707890 6.485688 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex -8.625000 2.242998 5.000000 vertex -8.625000 0.875000 7.000000 vertex -8.625000 2.242998 11.000000 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex -8.625000 0.270390 6.167826 vertex -8.625000 2.242998 5.000000 vertex -8.625000 -0.707890 6.485688 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex -8.625000 2.573802 11.262120 vertex -8.625000 0.875000 13.000000 vertex -8.625000 3.624400 13.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex -8.625000 2.415343 11.000000 vertex -8.625000 0.875000 13.000000 vertex -8.625000 2.573802 11.262120 endloop endfacet facet normal -1.000000 -0.000000 -0.000000 outer loop vertex -8.625000 2.242998 11.000000 vertex -8.625000 0.875000 13.000000 vertex -8.625000 2.415343 11.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex -8.625000 0.875000 7.000000 vertex -8.625000 0.875000 13.000000 vertex -8.625000 2.242998 11.000000 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex -8.625000 0.875000 7.000000 vertex -8.625000 2.242998 5.000000 vertex -8.625000 0.270390 6.167826 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex -8.625000 -0.707890 6.485688 vertex -8.625000 2.242998 5.000000 vertex -8.625000 -2.385278 5.000000 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex -8.625000 -0.707890 6.485688 vertex -8.625000 -2.385278 5.000000 vertex -8.625000 -0.875000 7.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex -8.625000 -2.385278 5.000000 vertex -8.625000 -2.385278 11.062176 vertex -8.625000 -0.875000 13.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex -8.625000 -2.385278 11.062176 vertex -8.625000 -2.691611 11.481287 vertex -8.625000 -0.875000 13.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex -8.625000 -2.691611 11.481287 vertex -8.625000 -3.440954 12.506507 vertex -8.625000 -0.875000 13.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex -8.625000 -3.440954 12.506507 vertex -8.625000 -3.624157 12.848714 vertex -8.625000 -0.875000 13.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex -8.625000 -3.624157 12.848714 vertex -8.625000 -3.705149 13.000000 vertex -8.625000 -0.875000 13.000000 endloop endfacet facet normal -0.000000 -1.000000 0.000000 outer loop vertex -7.111064 -3.358225 11.092916 vertex -7.111064 -3.358225 5.000000 vertex -5.138936 -3.358225 5.000000 endloop endfacet facet normal 0.000000 -1.000000 0.000000 outer loop vertex -6.999339 -3.358225 11.000000 vertex -7.111064 -3.358225 11.092916 vertex -5.138936 -3.358225 5.000000 endloop endfacet facet normal 0.000000 -1.000000 0.000000 outer loop vertex -5.138936 -3.358225 11.092916 vertex -5.250661 -3.358225 11.000000 vertex -5.138936 -3.358225 5.000000 endloop endfacet facet normal -0.000000 -1.000000 -0.000000 outer loop vertex -5.250661 -3.358225 11.000000 vertex -6.999339 -3.358225 11.000000 vertex -5.138936 -3.358225 5.000000 endloop endfacet facet normal 0.540640 -0.841254 0.000000 outer loop vertex -5.138936 -3.358225 11.092916 vertex -5.138936 -3.358225 5.000000 vertex -3.625000 -2.385278 5.000000 endloop endfacet facet normal 0.540640 -0.841254 -0.000000 outer loop vertex -4.886983 -3.196305 11.000000 vertex -5.138936 -3.358225 11.092916 vertex -3.625000 -2.385278 5.000000 endloop endfacet facet normal 0.540640 -0.841254 0.000000 outer loop vertex -3.625000 -2.385278 11.062176 vertex -3.722115 -2.447690 11.000000 vertex -3.625000 -2.385278 5.000000 endloop endfacet facet normal 0.540640 -0.841254 0.000000 outer loop vertex -3.722115 -2.447690 11.000000 vertex -4.886983 -3.196305 11.000000 vertex -3.625000 -2.385278 5.000000 endloop endfacet facet normal 1.000000 -0.000000 0.000000 outer loop vertex -3.625000 -0.707890 6.485688 vertex -3.625000 -2.385278 11.062176 vertex -3.625000 -2.385278 5.000000 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex -3.625000 0.875000 7.000000 vertex -3.625000 2.242998 5.000000 vertex -3.625000 2.242998 11.000000 endloop endfacet facet normal 1.000000 0.000000 -0.000000 outer loop vertex -3.625000 0.875000 7.000000 vertex -3.625000 0.270390 6.167826 vertex -3.625000 2.242998 5.000000 endloop endfacet facet normal 1.000000 -0.000000 -0.000000 outer loop vertex -3.625000 2.242998 5.000000 vertex -3.625000 0.270390 6.167826 vertex -3.625000 -2.385278 5.000000 endloop endfacet facet normal 1.000000 -0.000000 0.000000 outer loop vertex -3.625000 0.270390 6.167826 vertex -3.625000 -0.707890 6.485688 vertex -3.625000 -2.385278 5.000000 endloop endfacet facet normal 1.000000 -0.000000 -0.000000 outer loop vertex -3.625000 -0.875000 7.000000 vertex -3.625000 -2.385278 11.062176 vertex -3.625000 -0.707890 6.485688 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex -3.625000 -0.707890 7.000000 vertex -3.625000 -0.875000 7.000000 vertex -3.625000 -0.707890 6.485688 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex -3.625000 -3.440954 12.506507 vertex -3.625000 -0.875000 13.000000 vertex -3.625000 -3.705149 13.000000 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex -3.625000 0.875000 13.000000 vertex -3.625000 3.092982 12.120938 vertex -3.625000 3.624400 13.000000 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex -3.625000 0.875000 13.000000 vertex -3.625000 2.415343 11.000000 vertex -3.625000 3.092982 12.120938 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex -3.625000 0.875000 13.000000 vertex -3.625000 2.242998 11.000000 vertex -3.625000 2.415343 11.000000 endloop endfacet facet normal 1.000000 0.000000 -0.000000 outer loop vertex -3.625000 0.875000 13.000000 vertex -3.625000 0.875000 7.000000 vertex -3.625000 2.242998 11.000000 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex -3.625000 -2.385278 11.062176 vertex -3.625000 -0.875000 13.000000 vertex -3.625000 -3.440954 12.506507 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex -3.625000 -0.875000 7.000000 vertex -3.625000 -0.875000 13.000000 vertex -3.625000 -2.385278 11.062176 endloop endfacet facet normal 0.755749 0.654861 0.000000 outer loop vertex -3.625000 2.242998 5.000000 vertex -4.232757 2.944387 5.000000 vertex -4.232757 2.944387 11.144713 endloop endfacet facet normal 0.755749 0.654861 -0.000000 outer loop vertex -3.625000 2.242998 11.000000 vertex -3.625000 2.242998 5.000000 vertex -4.028127 2.708232 11.000000 endloop endfacet facet normal 0.755749 0.654861 0.000000 outer loop vertex -4.028127 2.708232 11.000000 vertex -3.625000 2.242998 5.000000 vertex -4.232757 2.944387 11.144713 endloop endfacet facet normal 0.281733 0.959493 0.000000 outer loop vertex -6.125000 3.500000 5.000000 vertex -6.125000 3.500000 11.000000 vertex -4.232757 2.944387 5.000000 endloop endfacet facet normal 0.281733 0.959493 -0.000000 outer loop vertex -4.232757 2.944387 5.000000 vertex -6.125000 3.500000 11.000000 vertex -4.434836 3.003723 11.000000 endloop endfacet facet normal 0.281733 0.959493 0.000000 outer loop vertex -4.232757 2.944387 5.000000 vertex -4.434836 3.003723 11.000000 vertex -4.232757 2.944387 11.144713 endloop endfacet facet normal -0.281733 0.959493 0.000000 outer loop vertex -8.017243 2.944387 5.000000 vertex -8.017243 2.944387 11.144713 vertex -6.125000 3.500000 5.000000 endloop endfacet facet normal -0.281733 0.959493 0.000000 outer loop vertex -6.125000 3.500000 5.000000 vertex -8.017243 2.944387 11.144713 vertex -7.815164 3.003723 11.000000 endloop endfacet facet normal -0.281733 0.959493 0.000000 outer loop vertex -6.125000 3.500000 5.000000 vertex -7.815164 3.003723 11.000000 vertex -6.125000 3.500000 11.000000 endloop endfacet facet normal -0.755749 0.654861 0.000000 outer loop vertex -8.625000 2.242998 5.000000 vertex -8.625000 2.242998 11.000000 vertex -8.017243 2.944387 5.000000 endloop endfacet facet normal -0.755749 0.654861 -0.000000 outer loop vertex -8.017243 2.944387 5.000000 vertex -8.625000 2.242998 11.000000 vertex -8.221873 2.708232 11.000000 endloop endfacet facet normal -0.755749 0.654861 0.000000 outer loop vertex -8.017243 2.944387 5.000000 vertex -8.221873 2.708232 11.000000 vertex -8.017243 2.944387 11.144713 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex 3.625000 -0.875000 7.000000 vertex 3.625000 -2.385278 5.000000 vertex 3.625000 -0.875000 13.000000 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex 3.625000 -0.875000 7.000000 vertex 3.625000 -0.707890 7.000000 vertex 3.625000 -0.707890 6.485688 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex 3.625000 2.242998 5.000000 vertex 3.625000 0.875000 7.000000 vertex 3.625000 2.242998 11.000000 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex 3.625000 0.270390 6.167826 vertex 3.625000 2.242998 5.000000 vertex 3.625000 -0.707890 6.485688 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex 3.625000 2.573802 11.262120 vertex 3.625000 0.875000 13.000000 vertex 3.625000 3.624400 13.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex 3.625000 2.415343 11.000000 vertex 3.625000 0.875000 13.000000 vertex 3.625000 2.573802 11.262120 endloop endfacet facet normal -1.000000 -0.000000 -0.000000 outer loop vertex 3.625000 2.242998 11.000000 vertex 3.625000 0.875000 13.000000 vertex 3.625000 2.415343 11.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex 3.625000 0.875000 7.000000 vertex 3.625000 0.875000 13.000000 vertex 3.625000 2.242998 11.000000 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex 3.625000 0.875000 7.000000 vertex 3.625000 2.242998 5.000000 vertex 3.625000 0.270390 6.167826 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex 3.625000 -0.707890 6.485688 vertex 3.625000 2.242998 5.000000 vertex 3.625000 -2.385278 5.000000 endloop endfacet facet normal -1.000000 0.000000 0.000000 outer loop vertex 3.625000 -0.707890 6.485688 vertex 3.625000 -2.385278 5.000000 vertex 3.625000 -0.875000 7.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex 3.625000 -2.385278 5.000000 vertex 3.625000 -2.385278 11.062176 vertex 3.625000 -0.875000 13.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex 3.625000 -2.385278 11.062176 vertex 3.625000 -2.691611 11.481287 vertex 3.625000 -0.875000 13.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex 3.625000 -2.691611 11.481287 vertex 3.625000 -3.440954 12.506507 vertex 3.625000 -0.875000 13.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex 3.625000 -3.440954 12.506507 vertex 3.625000 -3.624157 12.848714 vertex 3.625000 -0.875000 13.000000 endloop endfacet facet normal -1.000000 0.000000 -0.000000 outer loop vertex 3.625000 -3.624157 12.848714 vertex 3.625000 -3.705149 13.000000 vertex 3.625000 -0.875000 13.000000 endloop endfacet facet normal -0.540640 -0.841254 0.000000 outer loop vertex 3.625000 -2.385278 11.062176 vertex 3.625000 -2.385278 5.000000 vertex 5.138936 -3.358225 5.000000 endloop endfacet facet normal -0.540640 -0.841254 0.000000 outer loop vertex 3.722115 -2.447690 11.000000 vertex 3.625000 -2.385278 11.062176 vertex 5.138936 -3.358225 5.000000 endloop endfacet facet normal -0.540640 -0.841254 0.000000 outer loop vertex 5.138936 -3.358225 11.092916 vertex 4.886983 -3.196305 11.000000 vertex 5.138936 -3.358225 5.000000 endloop endfacet facet normal -0.540640 -0.841254 -0.000000 outer loop vertex 4.886983 -3.196305 11.000000 vertex 3.722115 -2.447690 11.000000 vertex 5.138936 -3.358225 5.000000 endloop endfacet facet normal -0.000000 -1.000000 0.000000 outer loop vertex 5.138936 -3.358225 11.092916 vertex 5.138936 -3.358225 5.000000 vertex 7.111064 -3.358225 5.000000 endloop endfacet facet normal 0.000000 -1.000000 0.000000 outer loop vertex 5.250661 -3.358225 11.000000 vertex 5.138936 -3.358225 11.092916 vertex 7.111064 -3.358225 5.000000 endloop endfacet facet normal 0.000000 -1.000000 0.000000 outer loop vertex 7.111064 -3.358225 11.092916 vertex 6.999339 -3.358225 11.000000 vertex 7.111064 -3.358225 5.000000 endloop endfacet facet normal -0.000000 -1.000000 -0.000000 outer loop vertex 6.999339 -3.358225 11.000000 vertex 5.250661 -3.358225 11.000000 vertex 7.111064 -3.358225 5.000000 endloop endfacet facet normal 0.540640 -0.841254 0.000000 outer loop vertex 7.111064 -3.358225 11.092916 vertex 7.111064 -3.358225 5.000000 vertex 8.625000 -2.385278 5.000000 endloop endfacet facet normal 0.540640 -0.841254 -0.000000 outer loop vertex 7.363017 -3.196305 11.000000 vertex 7.111064 -3.358225 11.092916 vertex 8.625000 -2.385278 5.000000 endloop endfacet facet normal 0.540640 -0.841254 0.000000 outer loop vertex 8.625000 -2.385278 11.062176 vertex 8.527885 -2.447690 11.000000 vertex 8.625000 -2.385278 5.000000 endloop endfacet facet normal 0.540640 -0.841254 -0.000000 outer loop vertex 8.527885 -2.447690 11.000000 vertex 7.363017 -3.196305 11.000000 vertex 8.625000 -2.385278 5.000000 endloop endfacet facet normal 1.000000 -0.000000 0.000000 outer loop vertex 8.625000 -0.707890 6.485688 vertex 8.625000 -2.385278 11.062176 vertex 8.625000 -2.385278 5.000000 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex 8.625000 0.875000 7.000000 vertex 8.625000 2.242998 5.000000 vertex 8.625000 2.242998 11.000000 endloop endfacet facet normal 1.000000 0.000000 -0.000000 outer loop vertex 8.625000 0.875000 7.000000 vertex 8.625000 0.270390 6.167826 vertex 8.625000 2.242998 5.000000 endloop endfacet facet normal 1.000000 -0.000000 -0.000000 outer loop vertex 8.625000 2.242998 5.000000 vertex 8.625000 0.270390 6.167826 vertex 8.625000 -2.385278 5.000000 endloop endfacet facet normal 1.000000 -0.000000 0.000000 outer loop vertex 8.625000 0.270390 6.167826 vertex 8.625000 -0.707890 6.485688 vertex 8.625000 -2.385278 5.000000 endloop endfacet facet normal 1.000000 -0.000000 -0.000000 outer loop vertex 8.625000 -0.875000 7.000000 vertex 8.625000 -2.385278 11.062176 vertex 8.625000 -0.707890 6.485688 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex 8.625000 -0.707890 7.000000 vertex 8.625000 -0.875000 7.000000 vertex 8.625000 -0.707890 6.485688 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex 8.625000 -3.440954 12.506507 vertex 8.625000 -0.875000 13.000000 vertex 8.625000 -3.705149 13.000000 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex 8.625000 0.875000 13.000000 vertex 8.625000 3.092982 12.120938 vertex 8.625000 3.624400 13.000000 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex 8.625000 0.875000 13.000000 vertex 8.625000 2.415343 11.000000 vertex 8.625000 3.092982 12.120938 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex 8.625000 0.875000 13.000000 vertex 8.625000 2.242998 11.000000 vertex 8.625000 2.415343 11.000000 endloop endfacet facet normal 1.000000 0.000000 -0.000000 outer loop vertex 8.625000 0.875000 13.000000 vertex 8.625000 0.875000 7.000000 vertex 8.625000 2.242998 11.000000 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex 8.625000 -2.385278 11.062176 vertex 8.625000 -0.875000 13.000000 vertex 8.625000 -3.440954 12.506507 endloop endfacet facet normal 1.000000 0.000000 0.000000 outer loop vertex 8.625000 -0.875000 7.000000 vertex 8.625000 -0.875000 13.000000 vertex 8.625000 -2.385278 11.062176 endloop endfacet facet normal 0.755749 0.654861 0.000000 outer loop vertex 8.625000 2.242998 5.000000 vertex 8.017243 2.944387 5.000000 vertex 8.017243 2.944387 11.144713 endloop endfacet facet normal 0.755749 0.654861 -0.000000 outer loop vertex 8.625000 2.242998 11.000000 vertex 8.625000 2.242998 5.000000 vertex 8.221873 2.708232 11.000000 endloop endfacet facet normal 0.755749 0.654861 0.000000 outer loop vertex 8.221873 2.708232 11.000000 vertex 8.625000 2.242998 5.000000 vertex 8.017243 2.944387 11.144713 endloop endfacet facet normal 0.281733 0.959493 0.000000 outer loop vertex 6.125000 3.500000 5.000000 vertex 6.125000 3.500000 11.000000 vertex 8.017243 2.944387 5.000000 endloop endfacet facet normal 0.281733 0.959493 -0.000000 outer loop vertex 8.017243 2.944387 5.000000 vertex 6.125000 3.500000 11.000000 vertex 7.815164 3.003723 11.000000 endloop endfacet facet normal 0.281733 0.959493 0.000000 outer loop vertex 8.017243 2.944387 5.000000 vertex 7.815164 3.003723 11.000000 vertex 8.017243 2.944387 11.144713 endloop endfacet facet normal -0.281733 0.959493 0.000000 outer loop vertex 4.232757 2.944387 5.000000 vertex 4.232757 2.944387 11.144713 vertex 6.125000 3.500000 5.000000 endloop endfacet facet normal -0.281733 0.959493 0.000000 outer loop vertex 6.125000 3.500000 5.000000 vertex 4.232757 2.944387 11.144713 vertex 4.434836 3.003723 11.000000 endloop endfacet facet normal -0.281733 0.959493 0.000000 outer loop vertex 6.125000 3.500000 5.000000 vertex 4.434836 3.003723 11.000000 vertex 6.125000 3.500000 11.000000 endloop endfacet facet normal -0.755749 0.654861 0.000000 outer loop vertex 3.625000 2.242998 5.000000 vertex 3.625000 2.242998 11.000000 vertex 4.232757 2.944387 5.000000 endloop endfacet facet normal -0.755749 0.654861 -0.000000 outer loop vertex 4.232757 2.944387 5.000000 vertex 3.625000 2.242998 11.000000 vertex 4.028127 2.708232 11.000000 endloop endfacet facet normal -0.755749 0.654861 0.000000 outer loop vertex 4.232757 2.944387 5.000000 vertex 4.028127 2.708232 11.000000 vertex 4.232757 2.944387 11.144713 endloop endfacet facet normal -0.667581 -0.601093 -0.439344 outer loop vertex -8.625000 -2.691611 11.481287 vertex -8.625000 -2.385278 11.062176 vertex -8.182248 -2.831559 11.000000 endloop endfacet facet normal -0.667581 -0.601093 -0.439344 outer loop vertex -8.182248 -2.831559 11.000000 vertex -8.625000 -2.385278 11.062176 vertex -8.527885 -2.447690 11.000000 endloop endfacet facet normal -0.000000 -0.000000 -1.000000 outer loop vertex -8.182248 -2.831559 11.000000 vertex -8.527885 -2.447690 11.000000 vertex -7.363017 -3.196305 11.000000 endloop endfacet facet normal -0.365380 -0.820655 -0.439344 outer loop vertex -6.852691 -3.423517 11.000000 vertex -8.625000 -3.624157 12.848714 vertex -8.625000 -3.440954 12.506507 endloop endfacet facet normal -0.365380 -0.820655 -0.439344 outer loop vertex -7.111064 -3.358225 11.092916 vertex -6.852691 -3.423517 11.000000 vertex -8.625000 -3.440954 12.506507 endloop endfacet facet normal -0.365380 -0.820655 -0.439344 outer loop vertex -8.182248 -2.831559 11.000000 vertex -7.363017 -3.196305 11.000000 vertex -8.625000 -3.440954 12.506507 endloop endfacet facet normal -0.365380 -0.820655 -0.439344 outer loop vertex -7.363017 -3.196305 11.000000 vertex -7.111064 -3.358225 11.092916 vertex -8.625000 -3.440954 12.506507 endloop endfacet facet normal -0.365380 -0.820655 -0.439344 outer loop vertex -6.999339 -3.358225 11.000000 vertex -6.852691 -3.423517 11.000000 vertex -7.111064 -3.358225 11.092916 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex -8.625000 -0.875000 13.000000 vertex -8.625000 -3.705149 13.000000 vertex -7.060603 -4.401664 13.000000 endloop endfacet facet normal -0.000000 0.000000 1.000000 outer loop vertex -3.625000 -3.705149 13.000000 vertex -8.625000 -0.875000 13.000000 vertex -5.189397 -4.401664 13.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -5.189397 -4.401664 13.000000 vertex -8.625000 -0.875000 13.000000 vertex -7.060603 -4.401664 13.000000 endloop endfacet facet normal -0.000000 0.000000 1.000000 outer loop vertex -3.625000 -0.875000 13.000000 vertex -8.625000 -0.875000 13.000000 vertex -3.625000 -3.705149 13.000000 endloop endfacet facet normal 0.000000 1.000000 -0.000000 outer loop vertex -3.625000 -0.875000 13.000000 vertex -3.625000 -0.875000 7.000000 vertex -8.625000 -0.875000 13.000000 endloop endfacet facet normal 0.000000 1.000000 -0.000000 outer loop vertex -8.625000 -0.875000 13.000000 vertex -3.625000 -0.875000 7.000000 vertex -8.625000 -0.875000 7.000000 endloop endfacet facet normal -0.365379 -0.820655 -0.439344 outer loop vertex -7.060603 -4.401664 13.000000 vertex -8.625000 -3.705149 13.000000 vertex -8.625000 -3.624157 12.848714 endloop endfacet facet normal -0.365379 -0.820655 -0.439344 outer loop vertex -6.852691 -3.423517 11.000000 vertex -7.060603 -4.401664 13.000000 vertex -8.625000 -3.624157 12.848714 endloop endfacet facet normal -0.667581 -0.601092 -0.439344 outer loop vertex -8.182248 -2.831559 11.000000 vertex -8.625000 -3.440954 12.506507 vertex -8.625000 -2.691611 11.481287 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -8.221873 2.708232 11.000000 vertex -8.625000 2.242998 11.000000 vertex -8.625000 2.415343 11.000000 endloop endfacet facet normal -0.528018 0.726755 -0.439344 outer loop vertex -8.625000 2.415343 11.000000 vertex -8.625000 2.573802 11.262120 vertex -8.221873 2.708232 11.000000 endloop endfacet facet normal -0.528018 0.726755 -0.439344 outer loop vertex -8.221873 2.708232 11.000000 vertex -8.625000 2.573802 11.262120 vertex -7.955315 4.110955 13.000000 endloop endfacet facet normal -0.528018 0.726755 -0.439344 outer loop vertex -7.815164 3.003723 11.000000 vertex -7.955315 4.110955 13.000000 vertex -7.548578 3.197409 11.000000 endloop endfacet facet normal -0.528018 0.726755 -0.439344 outer loop vertex -8.017243 2.944387 11.144713 vertex -7.955315 4.110955 13.000000 vertex -7.815164 3.003723 11.000000 endloop endfacet facet normal -0.528018 0.726755 -0.439344 outer loop vertex -8.221873 2.708232 11.000000 vertex -7.955315 4.110955 13.000000 vertex -8.017243 2.944387 11.144713 endloop endfacet facet normal -0.528019 0.726755 -0.439344 outer loop vertex -7.955315 4.110955 13.000000 vertex -8.625000 2.573802 11.262120 vertex -8.625000 3.624400 13.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex -8.625000 3.624400 13.000000 vertex -8.625000 0.875000 13.000000 vertex -3.625000 0.875000 13.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex -4.294685 4.110955 13.000000 vertex -8.625000 3.624400 13.000000 vertex -3.625000 3.624400 13.000000 endloop endfacet facet normal -0.000000 0.000000 1.000000 outer loop vertex -3.625000 3.624400 13.000000 vertex -8.625000 3.624400 13.000000 vertex -3.625000 0.875000 13.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex -6.125000 4.500000 13.000000 vertex -8.625000 3.624400 13.000000 vertex -4.294685 4.110955 13.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex -7.955315 4.110955 13.000000 vertex -8.625000 3.624400 13.000000 vertex -6.125000 4.500000 13.000000 endloop endfacet facet normal -0.000000 -1.000000 0.000000 outer loop vertex -6.125000 0.875000 7.000000 vertex -3.625000 0.875000 7.000000 vertex -3.625000 0.875000 13.000000 endloop endfacet facet normal -0.000000 -1.000000 -0.000000 outer loop vertex -8.625000 0.875000 7.000000 vertex -6.125000 0.875000 7.000000 vertex -8.625000 0.875000 13.000000 endloop endfacet facet normal -0.000000 -1.000000 -0.000000 outer loop vertex -8.625000 0.875000 13.000000 vertex -6.125000 0.875000 7.000000 vertex -3.625000 0.875000 13.000000 endloop endfacet facet normal -0.000000 -0.809017 0.587785 outer loop vertex -3.625000 0.270390 6.167826 vertex -3.625000 0.875000 7.000000 vertex -6.125000 0.875000 7.000000 endloop endfacet facet normal -0.000000 -0.809017 0.587785 outer loop vertex -8.625000 0.270390 6.167826 vertex -3.625000 0.270390 6.167826 vertex -8.625000 0.875000 7.000000 endloop endfacet facet normal -0.000000 -0.809017 0.587785 outer loop vertex -8.625000 0.875000 7.000000 vertex -3.625000 0.270390 6.167826 vertex -6.125000 0.875000 7.000000 endloop endfacet facet normal 0.000000 0.309017 0.951057 outer loop vertex -3.625000 -0.707890 6.485688 vertex -3.625000 0.270390 6.167826 vertex -8.625000 0.270390 6.167826 endloop endfacet facet normal 0.000000 0.309017 0.951057 outer loop vertex -8.625000 -0.707890 6.485688 vertex -3.625000 -0.707890 6.485688 vertex -8.625000 0.270390 6.167826 endloop endfacet facet normal 0.000000 1.000000 -0.000000 outer loop vertex -3.625000 -0.707890 7.000000 vertex -3.625000 -0.707890 6.485688 vertex -8.625000 -0.707890 7.000000 endloop endfacet facet normal 0.000000 1.000000 -0.000000 outer loop vertex -8.625000 -0.707890 7.000000 vertex -3.625000 -0.707890 6.485688 vertex -8.625000 -0.707890 6.485688 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -3.625000 -0.875000 7.000000 vertex -3.625000 -0.707890 7.000000 vertex -8.625000 -0.707890 7.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex -8.625000 -0.875000 7.000000 vertex -3.625000 -0.875000 7.000000 vertex -8.625000 -0.707890 7.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -6.999339 -3.358225 11.000000 vertex -5.250661 -3.358225 11.000000 vertex -6.852691 -3.423517 11.000000 endloop endfacet facet normal -0.000000 0.000000 -1.000000 outer loop vertex -6.852691 -3.423517 11.000000 vertex -5.250661 -3.358225 11.000000 vertex -5.397309 -3.423517 11.000000 endloop endfacet facet normal 0.365380 -0.820655 -0.439344 outer loop vertex -5.189397 -4.401664 13.000000 vertex -5.397309 -3.423517 11.000000 vertex -5.250661 -3.358225 11.000000 endloop endfacet facet normal 0.365380 -0.820655 -0.439344 outer loop vertex -4.886983 -3.196305 11.000000 vertex -5.189397 -4.401664 13.000000 vertex -5.138936 -3.358225 11.092916 endloop endfacet facet normal 0.365380 -0.820655 -0.439344 outer loop vertex -5.138936 -3.358225 11.092916 vertex -5.189397 -4.401664 13.000000 vertex -5.250661 -3.358225 11.000000 endloop endfacet facet normal 0.365380 -0.820655 -0.439344 outer loop vertex -4.067752 -2.831559 11.000000 vertex -5.189397 -4.401664 13.000000 vertex -4.886983 -3.196305 11.000000 endloop endfacet facet normal 0.000000 -0.000000 -1.000000 outer loop vertex -4.067752 -2.831559 11.000000 vertex -4.886983 -3.196305 11.000000 vertex -3.722115 -2.447690 11.000000 endloop endfacet facet normal 0.667581 -0.601093 -0.439344 outer loop vertex -3.625000 -3.440954 12.506507 vertex -4.067752 -2.831559 11.000000 vertex -3.722115 -2.447690 11.000000 endloop endfacet facet normal 0.667581 -0.601093 -0.439344 outer loop vertex -3.625000 -2.385278 11.062176 vertex -3.625000 -3.440954 12.506507 vertex -3.722115 -2.447690 11.000000 endloop endfacet facet normal 0.365379 -0.820655 -0.439344 outer loop vertex -3.625000 -3.705149 13.000000 vertex -5.189397 -4.401664 13.000000 vertex -4.067752 -2.831559 11.000000 endloop endfacet facet normal 0.365379 -0.820655 -0.439344 outer loop vertex -3.625000 -3.440954 12.506507 vertex -3.625000 -3.705149 13.000000 vertex -4.067752 -2.831559 11.000000 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex -4.701422 3.197409 11.000000 vertex -4.294685 4.110955 13.000000 vertex -3.625000 3.092982 12.120938 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex -3.625000 3.092982 12.120938 vertex -4.294685 4.110955 13.000000 vertex -3.625000 3.624400 13.000000 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex -4.701422 3.197409 11.000000 vertex -3.625000 3.092982 12.120938 vertex -4.434836 3.003723 11.000000 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex -4.028127 2.708232 11.000000 vertex -3.625000 3.092982 12.120938 vertex -3.625000 2.415343 11.000000 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex -4.232757 2.944387 11.144713 vertex -3.625000 3.092982 12.120938 vertex -4.028127 2.708232 11.000000 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex -4.434836 3.003723 11.000000 vertex -3.625000 3.092982 12.120938 vertex -4.232757 2.944387 11.144713 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -3.625000 2.242998 11.000000 vertex -4.028127 2.708232 11.000000 vertex -3.625000 2.415343 11.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -4.434836 3.003723 11.000000 vertex -6.125000 3.500000 11.000000 vertex -4.701422 3.197409 11.000000 endloop endfacet facet normal 0.186771 0.878688 -0.439344 outer loop vertex -4.701422 3.197409 11.000000 vertex -6.125000 3.500000 11.000000 vertex -4.294685 4.110955 13.000000 endloop endfacet facet normal 0.186771 0.878688 -0.439344 outer loop vertex -4.294685 4.110955 13.000000 vertex -6.125000 3.500000 11.000000 vertex -6.125000 4.500000 13.000000 endloop endfacet facet normal -0.186771 0.878688 -0.439344 outer loop vertex -6.125000 3.500000 11.000000 vertex -7.548578 3.197409 11.000000 vertex -6.125000 4.500000 13.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex -6.125000 3.500000 11.000000 vertex -7.815164 3.003723 11.000000 vertex -7.548578 3.197409 11.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex 3.625000 -0.875000 13.000000 vertex 3.625000 -3.705149 13.000000 vertex 5.189397 -4.401664 13.000000 endloop endfacet facet normal -0.000000 0.000000 1.000000 outer loop vertex 8.625000 -3.705149 13.000000 vertex 3.625000 -0.875000 13.000000 vertex 7.060603 -4.401664 13.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 7.060603 -4.401664 13.000000 vertex 3.625000 -0.875000 13.000000 vertex 5.189397 -4.401664 13.000000 endloop endfacet facet normal -0.000000 0.000000 1.000000 outer loop vertex 8.625000 -0.875000 13.000000 vertex 3.625000 -0.875000 13.000000 vertex 8.625000 -3.705149 13.000000 endloop endfacet facet normal 0.000000 1.000000 -0.000000 outer loop vertex 8.625000 -0.875000 13.000000 vertex 8.625000 -0.875000 7.000000 vertex 3.625000 -0.875000 13.000000 endloop endfacet facet normal 0.000000 1.000000 -0.000000 outer loop vertex 3.625000 -0.875000 13.000000 vertex 8.625000 -0.875000 7.000000 vertex 3.625000 -0.875000 7.000000 endloop endfacet facet normal -0.365379 -0.820655 -0.439344 outer loop vertex 5.189397 -4.401664 13.000000 vertex 3.625000 -3.705149 13.000000 vertex 3.625000 -3.624157 12.848714 endloop endfacet facet normal -0.365379 -0.820655 -0.439344 outer loop vertex 5.397309 -3.423517 11.000000 vertex 5.189397 -4.401664 13.000000 vertex 3.625000 -3.624157 12.848714 endloop endfacet facet normal -0.365380 -0.820655 -0.439344 outer loop vertex 5.397309 -3.423517 11.000000 vertex 3.625000 -3.624157 12.848714 vertex 3.625000 -3.440954 12.506507 endloop endfacet facet normal -0.365380 -0.820655 -0.439344 outer loop vertex 5.138936 -3.358225 11.092916 vertex 5.397309 -3.423517 11.000000 vertex 3.625000 -3.440954 12.506507 endloop endfacet facet normal -0.365380 -0.820655 -0.439344 outer loop vertex 4.067752 -2.831559 11.000000 vertex 4.886983 -3.196305 11.000000 vertex 3.625000 -3.440954 12.506507 endloop endfacet facet normal -0.365380 -0.820655 -0.439344 outer loop vertex 4.886983 -3.196305 11.000000 vertex 5.138936 -3.358225 11.092916 vertex 3.625000 -3.440954 12.506507 endloop endfacet facet normal -0.365380 -0.820655 -0.439344 outer loop vertex 5.250661 -3.358225 11.000000 vertex 5.397309 -3.423517 11.000000 vertex 5.138936 -3.358225 11.092916 endloop endfacet facet normal -0.667581 -0.601092 -0.439344 outer loop vertex 4.067752 -2.831559 11.000000 vertex 3.625000 -3.440954 12.506507 vertex 3.625000 -2.691611 11.481287 endloop endfacet facet normal -0.667581 -0.601093 -0.439344 outer loop vertex 3.625000 -2.691611 11.481287 vertex 3.625000 -2.385278 11.062176 vertex 4.067752 -2.831559 11.000000 endloop endfacet facet normal -0.667581 -0.601093 -0.439344 outer loop vertex 4.067752 -2.831559 11.000000 vertex 3.625000 -2.385278 11.062176 vertex 3.722115 -2.447690 11.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex 4.028127 2.708232 11.000000 vertex 3.625000 2.242998 11.000000 vertex 3.625000 2.415343 11.000000 endloop endfacet facet normal -0.528018 0.726755 -0.439344 outer loop vertex 3.625000 2.415343 11.000000 vertex 3.625000 2.573802 11.262120 vertex 4.028127 2.708232 11.000000 endloop endfacet facet normal -0.528018 0.726755 -0.439344 outer loop vertex 4.028127 2.708232 11.000000 vertex 3.625000 2.573802 11.262120 vertex 4.294685 4.110955 13.000000 endloop endfacet facet normal -0.528018 0.726755 -0.439344 outer loop vertex 4.434836 3.003723 11.000000 vertex 4.294685 4.110955 13.000000 vertex 4.701422 3.197409 11.000000 endloop endfacet facet normal -0.528018 0.726755 -0.439344 outer loop vertex 4.232757 2.944387 11.144713 vertex 4.294685 4.110955 13.000000 vertex 4.434836 3.003723 11.000000 endloop endfacet facet normal -0.528018 0.726755 -0.439344 outer loop vertex 4.028127 2.708232 11.000000 vertex 4.294685 4.110955 13.000000 vertex 4.232757 2.944387 11.144713 endloop endfacet facet normal -0.528019 0.726755 -0.439344 outer loop vertex 4.294685 4.110955 13.000000 vertex 3.625000 2.573802 11.262120 vertex 3.625000 3.624400 13.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex 3.625000 3.624400 13.000000 vertex 3.625000 0.875000 13.000000 vertex 8.625000 0.875000 13.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex 7.955315 4.110955 13.000000 vertex 3.625000 3.624400 13.000000 vertex 8.625000 3.624400 13.000000 endloop endfacet facet normal -0.000000 0.000000 1.000000 outer loop vertex 8.625000 3.624400 13.000000 vertex 3.625000 3.624400 13.000000 vertex 8.625000 0.875000 13.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex 6.125000 4.500000 13.000000 vertex 3.625000 3.624400 13.000000 vertex 7.955315 4.110955 13.000000 endloop endfacet facet normal 0.000000 -0.000000 1.000000 outer loop vertex 4.294685 4.110955 13.000000 vertex 3.625000 3.624400 13.000000 vertex 6.125000 4.500000 13.000000 endloop endfacet facet normal -0.000000 -1.000000 0.000000 outer loop vertex 6.125000 0.875000 7.000000 vertex 8.625000 0.875000 7.000000 vertex 8.625000 0.875000 13.000000 endloop endfacet facet normal -0.000000 -1.000000 -0.000000 outer loop vertex 3.625000 0.875000 7.000000 vertex 6.125000 0.875000 7.000000 vertex 3.625000 0.875000 13.000000 endloop endfacet facet normal -0.000000 -1.000000 -0.000000 outer loop vertex 3.625000 0.875000 13.000000 vertex 6.125000 0.875000 7.000000 vertex 8.625000 0.875000 13.000000 endloop endfacet facet normal -0.000000 -0.809017 0.587785 outer loop vertex 8.625000 0.270390 6.167826 vertex 8.625000 0.875000 7.000000 vertex 6.125000 0.875000 7.000000 endloop endfacet facet normal -0.000000 -0.809017 0.587785 outer loop vertex 3.625000 0.270390 6.167826 vertex 8.625000 0.270390 6.167826 vertex 3.625000 0.875000 7.000000 endloop endfacet facet normal -0.000000 -0.809017 0.587785 outer loop vertex 3.625000 0.875000 7.000000 vertex 8.625000 0.270390 6.167826 vertex 6.125000 0.875000 7.000000 endloop endfacet facet normal 0.000000 0.309017 0.951057 outer loop vertex 8.625000 -0.707890 6.485688 vertex 8.625000 0.270390 6.167826 vertex 3.625000 0.270390 6.167826 endloop endfacet facet normal 0.000000 0.309017 0.951057 outer loop vertex 3.625000 -0.707890 6.485688 vertex 8.625000 -0.707890 6.485688 vertex 3.625000 0.270390 6.167826 endloop endfacet facet normal 0.000000 1.000000 -0.000000 outer loop vertex 8.625000 -0.707890 7.000000 vertex 8.625000 -0.707890 6.485688 vertex 3.625000 -0.707890 7.000000 endloop endfacet facet normal 0.000000 1.000000 -0.000000 outer loop vertex 3.625000 -0.707890 7.000000 vertex 8.625000 -0.707890 6.485688 vertex 3.625000 -0.707890 6.485688 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 8.625000 -0.875000 7.000000 vertex 8.625000 -0.707890 7.000000 vertex 3.625000 -0.707890 7.000000 endloop endfacet facet normal 0.000000 0.000000 1.000000 outer loop vertex 3.625000 -0.875000 7.000000 vertex 8.625000 -0.875000 7.000000 vertex 3.625000 -0.707890 7.000000 endloop endfacet facet normal -0.000000 -0.000000 -1.000000 outer loop vertex 4.067752 -2.831559 11.000000 vertex 3.722115 -2.447690 11.000000 vertex 4.886983 -3.196305 11.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex 5.250661 -3.358225 11.000000 vertex 6.999339 -3.358225 11.000000 vertex 5.397309 -3.423517 11.000000 endloop endfacet facet normal -0.000000 0.000000 -1.000000 outer loop vertex 5.397309 -3.423517 11.000000 vertex 6.999339 -3.358225 11.000000 vertex 6.852691 -3.423517 11.000000 endloop endfacet facet normal 0.365380 -0.820655 -0.439344 outer loop vertex 7.060603 -4.401664 13.000000 vertex 6.852691 -3.423517 11.000000 vertex 6.999339 -3.358225 11.000000 endloop endfacet facet normal 0.365380 -0.820655 -0.439344 outer loop vertex 7.363017 -3.196305 11.000000 vertex 7.060603 -4.401664 13.000000 vertex 7.111064 -3.358225 11.092916 endloop endfacet facet normal 0.365380 -0.820655 -0.439344 outer loop vertex 7.111064 -3.358225 11.092916 vertex 7.060603 -4.401664 13.000000 vertex 6.999339 -3.358225 11.000000 endloop endfacet facet normal 0.365380 -0.820655 -0.439344 outer loop vertex 8.182248 -2.831559 11.000000 vertex 7.060603 -4.401664 13.000000 vertex 7.363017 -3.196305 11.000000 endloop endfacet facet normal 0.000000 -0.000000 -1.000000 outer loop vertex 8.182248 -2.831559 11.000000 vertex 7.363017 -3.196305 11.000000 vertex 8.527885 -2.447690 11.000000 endloop endfacet facet normal 0.667581 -0.601093 -0.439344 outer loop vertex 8.625000 -3.440954 12.506507 vertex 8.182248 -2.831559 11.000000 vertex 8.527885 -2.447690 11.000000 endloop endfacet facet normal 0.667581 -0.601093 -0.439344 outer loop vertex 8.625000 -2.385278 11.062176 vertex 8.625000 -3.440954 12.506507 vertex 8.527885 -2.447690 11.000000 endloop endfacet facet normal 0.365379 -0.820655 -0.439344 outer loop vertex 8.625000 -3.705149 13.000000 vertex 7.060603 -4.401664 13.000000 vertex 8.182248 -2.831559 11.000000 endloop endfacet facet normal 0.365379 -0.820655 -0.439344 outer loop vertex 8.625000 -3.440954 12.506507 vertex 8.625000 -3.705149 13.000000 vertex 8.182248 -2.831559 11.000000 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex 7.548578 3.197409 11.000000 vertex 7.955315 4.110955 13.000000 vertex 8.625000 3.092982 12.120938 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex 8.625000 3.092982 12.120938 vertex 7.955315 4.110955 13.000000 vertex 8.625000 3.624400 13.000000 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex 7.548578 3.197409 11.000000 vertex 8.625000 3.092982 12.120938 vertex 7.815164 3.003723 11.000000 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex 8.221873 2.708232 11.000000 vertex 8.625000 3.092982 12.120938 vertex 8.625000 2.415343 11.000000 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex 8.017243 2.944387 11.144713 vertex 8.625000 3.092982 12.120938 vertex 8.221873 2.708232 11.000000 endloop endfacet facet normal 0.528018 0.726755 -0.439344 outer loop vertex 7.815164 3.003723 11.000000 vertex 8.625000 3.092982 12.120938 vertex 8.017243 2.944387 11.144713 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex 8.625000 2.242998 11.000000 vertex 8.221873 2.708232 11.000000 vertex 8.625000 2.415343 11.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex 7.815164 3.003723 11.000000 vertex 6.125000 3.500000 11.000000 vertex 7.548578 3.197409 11.000000 endloop endfacet facet normal 0.186771 0.878688 -0.439344 outer loop vertex 7.548578 3.197409 11.000000 vertex 6.125000 3.500000 11.000000 vertex 7.955315 4.110955 13.000000 endloop endfacet facet normal 0.186771 0.878688 -0.439344 outer loop vertex 7.955315 4.110955 13.000000 vertex 6.125000 3.500000 11.000000 vertex 6.125000 4.500000 13.000000 endloop endfacet facet normal -0.186771 0.878688 -0.439344 outer loop vertex 6.125000 3.500000 11.000000 vertex 4.701422 3.197409 11.000000 vertex 6.125000 4.500000 13.000000 endloop endfacet facet normal 0.000000 0.000000 -1.000000 outer loop vertex 6.125000 3.500000 11.000000 vertex 4.434836 3.003723 11.000000 vertex 4.701422 3.197409 11.000000 endloop endfacet facet normal -0.000000 -0.898319 -0.439344 outer loop vertex -5.189397 -4.401664 13.000000 vertex -7.060603 -4.401664 13.000000 vertex -6.852691 -3.423517 11.000000 endloop endfacet facet normal -0.000000 -0.898319 -0.439344 outer loop vertex -5.397309 -3.423517 11.000000 vertex -5.189397 -4.401664 13.000000 vertex -6.852691 -3.423517 11.000000 endloop endfacet facet normal -0.186771 0.878688 -0.439344 outer loop vertex -7.548578 3.197409 11.000000 vertex -7.955315 4.110955 13.000000 vertex -6.125000 4.500000 13.000000 endloop endfacet facet normal -0.000000 -0.898319 -0.439344 outer loop vertex 7.060603 -4.401664 13.000000 vertex 5.189397 -4.401664 13.000000 vertex 5.397309 -3.423517 11.000000 endloop endfacet facet normal -0.000000 -0.898319 -0.439344 outer loop vertex 6.852691 -3.423517 11.000000 vertex 7.060603 -4.401664 13.000000 vertex 5.397309 -3.423517 11.000000 endloop endfacet facet normal -0.186771 0.878688 -0.439344 outer loop vertex 4.701422 3.197409 11.000000 vertex 4.294685 4.110955 13.000000 vertex 6.125000 4.500000 13.000000 endloop endfacet endsolid OpenSCAD_Model