metric-prusa/pulley.stl

solid OpenSCAD_Model
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -9.945219 -1.045285 0.000000
      vertex -9.945219 -1.045285 7.000000
      vertex -9.945219 1.045285 0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -9.945219 1.045285 0.000000
      vertex -9.945219 -1.045285 7.000000
      vertex -9.945219 1.045285 7.000000
    endloop
  endfacet
  facet normal -0.978148 -0.207912 -0.000000
    outer loop
      vertex -9.945219 -1.045285 0.000000
      vertex -9.510565 -3.090170 0.000000
      vertex -9.945219 -1.045285 7.000000
    endloop
  endfacet
  facet normal -0.978148 -0.207912 0.000000
    outer loop
      vertex -9.945219 -1.045285 7.000000
      vertex -9.510565 -3.090170 0.000000
      vertex -9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal -0.000000 -0.000000 -1.000000
    outer loop
      vertex -9.945219 -1.045285 0.000000
      vertex -9.945219 1.045285 0.000000
      vertex -9.510565 -3.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -9.945219 1.045285 0.000000
      vertex -9.510565 3.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -9.510565 3.090170 0.000000
      vertex -8.660254 5.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -8.660254 5.000000 0.000000
      vertex -7.431448 6.691306 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -7.431448 6.691306 0.000000
      vertex -5.877853 8.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -5.877853 8.090170 0.000000
      vertex -4.067366 9.135455 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -4.067366 9.135455 0.000000
      vertex -2.079117 9.781476 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -2.079117 9.781476 0.000000
      vertex 0.000000 10.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex 0.000000 10.000000 0.000000
      vertex 2.079117 9.781476 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.079165 -0.738526 0.000000
      vertex 2.079117 9.781476 0.000000
      vertex 4.067366 9.135455 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.481089 0.761474 0.000000
      vertex 4.067366 9.135455 0.000000
      vertex 5.877853 8.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 0.415304 2.888505 0.000000
      vertex 5.877853 8.090170 0.000000
      vertex 7.431448 6.691306 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 1.911020 2.205434 0.000000
      vertex 7.431448 6.691306 0.000000
      vertex 8.660254 5.000000 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 1.911020 2.205434 0.000000
      vertex 9.510565 3.090170 0.000000
      vertex 2.800000 0.822154 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 2.800000 -0.822154 0.000000
      vertex 9.945219 1.045285 0.000000
      vertex 9.945219 -1.045285 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 1.911020 -2.205434 0.000000
      vertex 9.945219 -1.045285 0.000000
      vertex 9.510565 -3.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -1.581089 -4.261474 0.000000
      vertex 8.660254 -5.000000 0.000000
      vertex 7.431448 -6.691306 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.179165 -5.761474 0.000000
      vertex 4.067366 -9.135455 0.000000
      vertex 2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex 2.079117 -9.781476 0.000000
      vertex 0.000000 -10.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex 0.000000 -10.000000 0.000000
      vertex -2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -2.079117 -9.781476 0.000000
      vertex -4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -4.067366 -9.135455 0.000000
      vertex -5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -5.877853 -8.090170 0.000000
      vertex -7.431448 -6.691306 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -7.431448 -6.691306 0.000000
      vertex -8.660254 -5.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.079165 -0.738526 0.000000
      vertex 4.067366 9.135455 0.000000
      vertex -4.481089 0.761474 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex 2.079117 9.781476 0.000000
      vertex -7.079165 -0.738526 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.179165 -5.761474 0.000000
      vertex -9.510565 -3.090170 0.000000
      vertex -7.079165 -0.738526 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -1.581089 -4.261474 0.000000
      vertex 4.067366 -9.135455 0.000000
      vertex -4.179165 -5.761474 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -4.179165 -5.761474 0.000000
      vertex 2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 1.911020 2.205434 0.000000
      vertex 8.660254 5.000000 0.000000
      vertex 9.510565 3.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 2.800000 -0.822154 0.000000
      vertex 9.945219 -1.045285 0.000000
      vertex 1.911020 -2.205434 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 0.415304 2.888505 0.000000
      vertex 7.431448 6.691306 0.000000
      vertex 1.911020 2.205434 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -1.212267 2.654495 0.000000
      vertex 5.877853 8.090170 0.000000
      vertex 0.415304 2.888505 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 1.911020 -2.205434 0.000000
      vertex 9.510565 -3.090170 0.000000
      vertex 0.415304 -2.888505 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -1.581089 -4.261474 0.000000
      vertex 7.431448 -6.691306 0.000000
      vertex 5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -1.581089 -4.261474 0.000000
      vertex 5.877853 -8.090170 0.000000
      vertex 4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.481089 0.761474 0.000000
      vertex 5.877853 8.090170 0.000000
      vertex -1.212267 2.654495 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.481089 0.761474 0.000000
      vertex -1.212267 2.654495 0.000000
      vertex -2.454953 1.577702 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex -4.481089 0.761474 0.000000
      vertex -2.454953 1.577702 0.000000
      vertex -2.918208 0.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.481089 0.761474 0.000000
      vertex -2.918208 0.000000 0.000000
      vertex -2.454953 -1.577702 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 2.800000 0.822154 0.000000
      vertex 9.510565 3.090170 0.000000
      vertex 9.945219 1.045285 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 -1.000000
    outer loop
      vertex 2.800000 0.822154 0.000000
      vertex 9.945219 1.045285 0.000000
      vertex 2.800000 -0.822154 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 0.415304 -2.888505 0.000000
      vertex 9.510565 -3.090170 0.000000
      vertex 8.660254 -5.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -1.212267 -2.654495 0.000000
      vertex 0.415304 -2.888505 0.000000
      vertex 8.660254 -5.000000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -1.212267 -2.654495 0.000000
      vertex 8.660254 -5.000000 0.000000
      vertex -1.581089 -4.261474 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -2.454953 -1.577702 0.000000
      vertex -1.212267 -2.654495 0.000000
      vertex -1.581089 -4.261474 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.481089 0.761474 0.000000
      vertex -2.454953 -1.577702 0.000000
      vertex -1.581089 -4.261474 0.000000
    endloop
  endfacet
  facet normal -0.978148 0.207912 0.000000
    outer loop
      vertex -9.945219 1.045285 0.000000
      vertex -9.945219 1.045285 7.000000
      vertex -9.510565 3.090170 0.000000
    endloop
  endfacet
  facet normal -0.978148 0.207912 0.000000
    outer loop
      vertex -9.510565 3.090170 0.000000
      vertex -9.945219 1.045285 7.000000
      vertex -9.510565 3.090170 7.000000
    endloop
  endfacet
  facet normal -0.972781 0.206771 0.104611
    outer loop
      vertex -9.510565 3.090170 7.000000
      vertex -9.945219 1.045285 7.000000
      vertex -9.489642 3.083372 7.208000
    endloop
  endfacet
  facet normal -0.972780 0.206771 0.104615
    outer loop
      vertex -9.489642 3.083372 7.208000
      vertex -9.945219 1.045285 7.000000
      vertex -9.923339 1.042985 7.208000
    endloop
  endfacet
  facet normal -0.994513 0.000000 0.104615
    outer loop
      vertex -9.945219 -1.045285 7.000000
      vertex -9.923339 -1.042985 7.208000
      vertex -9.945219 1.045285 7.000000
    endloop
  endfacet
  facet normal -0.994513 0.000000 0.104615
    outer loop
      vertex -9.945219 1.045285 7.000000
      vertex -9.923339 -1.042985 7.208000
      vertex -9.923339 1.042985 7.208000
    endloop
  endfacet
  facet normal -0.972780 -0.206771 0.104615
    outer loop
      vertex -9.923339 -1.042985 7.208000
      vertex -9.945219 -1.045285 7.000000
      vertex -9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal -0.972781 -0.206771 0.104611
    outer loop
      vertex -9.489642 -3.083372 7.208000
      vertex -9.923339 -1.042985 7.208000
      vertex -9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal -0.908533 -0.404505 0.104611
    outer loop
      vertex -9.489642 -3.083372 7.208000
      vertex -9.510565 -3.090170 7.000000
      vertex -8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 -0.000000
    outer loop
      vertex -9.332768 -3.489508 4.732126
      vertex -9.510565 -3.090170 7.000000
      vertex -9.396413 -3.346560 4.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -8.887740 -4.489059 2.288098
      vertex -8.660254 -5.000000 0.000000
      vertex -8.660254 -5.000000 2.229636
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -8.660254 -5.000000 0.000000
      vertex -9.152840 -3.893633 2.662339
    endloop
  endfacet
  facet normal -0.913545 -0.406737 -0.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -9.152840 -3.893633 2.662339
      vertex -9.332768 -3.489508 3.267874
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -9.332768 -3.489508 3.267874
      vertex -9.396413 -3.346560 4.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 -0.000000
    outer loop
      vertex -9.510565 -3.090170 0.000000
      vertex -9.396413 -3.346560 4.000000
      vertex -9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -9.152840 -3.893633 5.337661
      vertex -9.510565 -3.090170 7.000000
      vertex -9.332768 -3.489508 4.732126
    endloop
  endfacet
  facet normal -0.913545 -0.406737 -0.000000
    outer loop
      vertex -9.510565 -3.090170 7.000000
      vertex -9.152840 -3.893633 5.337661
      vertex -8.887740 -4.489059 5.711902
    endloop
  endfacet
  facet normal -0.913545 -0.406737 -0.000000
    outer loop
      vertex -8.887740 -4.489059 5.711902
      vertex -8.660254 -5.000000 5.770364
      vertex -9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -9.510565 -3.090170 7.000000
      vertex -8.660254 -5.000000 5.770364
      vertex -8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -9.152840 -3.893633 2.662339
      vertex -8.660254 -5.000000 0.000000
      vertex -8.887740 -4.489059 2.288098
    endloop
  endfacet
  facet normal -0.809017 -0.587785 -0.000000
    outer loop
      vertex -8.660254 -5.000000 0.000000
      vertex -7.431448 -6.691306 0.000000
      vertex -8.660254 -5.000000 2.229636
    endloop
  endfacet
  facet normal -0.809017 -0.587785 0.000000
    outer loop
      vertex -7.619660 -6.432255 4.374241
      vertex -7.431448 -6.691306 0.000000
      vertex -7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal -0.809017 -0.587785 -0.000000
    outer loop
      vertex -8.660254 -5.000000 5.770364
      vertex -7.431448 -6.691306 7.000000
      vertex -8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal -0.809017 -0.587785 -0.000000
    outer loop
      vertex -8.549052 -5.153056 5.790139
      vertex -7.431448 -6.691306 7.000000
      vertex -8.660254 -5.000000 5.770364
    endloop
  endfacet
  facet normal -0.809017 -0.587785 -0.000000
    outer loop
      vertex -8.128333 -5.732126 5.558846
      vertex -7.431448 -6.691306 7.000000
      vertex -8.549052 -5.153056 5.790139
    endloop
  endfacet
  facet normal -0.809017 -0.587785 0.000000
    outer loop
      vertex -7.799588 -6.184605 2.941987
      vertex -7.431448 -6.691306 0.000000
      vertex -7.619660 -6.432255 3.625759
    endloop
  endfacet
  facet normal -0.809017 -0.587785 -0.000000
    outer loop
      vertex -7.619660 -6.432255 3.625759
      vertex -7.431448 -6.691306 0.000000
      vertex -7.619660 -6.432255 4.374241
    endloop
  endfacet
  facet normal -0.809017 -0.587785 -0.000000
    outer loop
      vertex -7.799588 -6.184605 5.058013
      vertex -7.619660 -6.432255 4.374241
      vertex -7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal -0.809017 -0.587785 0.000000
    outer loop
      vertex -8.128333 -5.732126 2.441154
      vertex -7.431448 -6.691306 0.000000
      vertex -7.799588 -6.184605 2.941987
    endloop
  endfacet
  facet normal -0.809017 -0.587785 0.000000
    outer loop
      vertex -8.549052 -5.153056 2.209861
      vertex -7.431448 -6.691306 0.000000
      vertex -8.128333 -5.732126 2.441154
    endloop
  endfacet
  facet normal -0.809017 -0.587785 0.000000
    outer loop
      vertex -8.660254 -5.000000 2.229636
      vertex -7.431448 -6.691306 0.000000
      vertex -8.549052 -5.153056 2.209861
    endloop
  endfacet
  facet normal -0.809017 -0.587785 0.000000
    outer loop
      vertex -7.799588 -6.184605 5.058013
      vertex -7.431448 -6.691306 7.000000
      vertex -8.128333 -5.732126 5.558846
    endloop
  endfacet
  facet normal -0.669131 -0.743145 0.000000
    outer loop
      vertex -7.431448 -6.691306 7.000000
      vertex -7.431448 -6.691306 0.000000
      vertex -5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal -0.669131 -0.743145 0.000000
    outer loop
      vertex -5.877853 -8.090170 7.000000
      vertex -7.431448 -6.691306 7.000000
      vertex -5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal -0.500000 -0.866025 0.000000
    outer loop
      vertex -5.877853 -8.090170 7.000000
      vertex -5.877853 -8.090170 0.000000
      vertex -4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal -0.500000 -0.866025 0.000000
    outer loop
      vertex -4.067366 -9.135455 7.000000
      vertex -5.877853 -8.090170 7.000000
      vertex -4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal -0.309017 -0.951057 0.000000
    outer loop
      vertex -4.067366 -9.135455 7.000000
      vertex -4.067366 -9.135455 0.000000
      vertex -2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal -0.309017 -0.951057 0.000000
    outer loop
      vertex -2.079117 -9.781476 7.000000
      vertex -4.067366 -9.135455 7.000000
      vertex -2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal -0.104528 -0.994522 0.000000
    outer loop
      vertex -2.079117 -9.781476 7.000000
      vertex -2.079117 -9.781476 0.000000
      vertex 0.000000 -10.000000 0.000000
    endloop
  endfacet
  facet normal -0.104528 -0.994522 0.000000
    outer loop
      vertex 0.000000 -10.000000 7.000000
      vertex -2.079117 -9.781476 7.000000
      vertex 0.000000 -10.000000 0.000000
    endloop
  endfacet
  facet normal 0.104528 -0.994522 0.000000
    outer loop
      vertex 0.000000 -10.000000 7.000000
      vertex 0.000000 -10.000000 0.000000
      vertex 2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal 0.104528 -0.994522 0.000000
    outer loop
      vertex 2.079117 -9.781476 7.000000
      vertex 0.000000 -10.000000 7.000000
      vertex 2.079117 -9.781476 0.000000
    endloop
  endfacet
  facet normal 0.309017 -0.951057 0.000000
    outer loop
      vertex 2.079117 -9.781476 7.000000
      vertex 2.079117 -9.781476 0.000000
      vertex 4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal 0.309017 -0.951057 0.000000
    outer loop
      vertex 4.067366 -9.135455 7.000000
      vertex 2.079117 -9.781476 7.000000
      vertex 4.067366 -9.135455 0.000000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex 4.067366 -9.135455 7.000000
      vertex 4.067366 -9.135455 0.000000
      vertex 5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex 5.877853 -8.090170 7.000000
      vertex 4.067366 -9.135455 7.000000
      vertex 5.877853 -8.090170 0.000000
    endloop
  endfacet
  facet normal 0.669131 -0.743145 0.000000
    outer loop
      vertex 5.877853 -8.090170 7.000000
      vertex 5.877853 -8.090170 0.000000
      vertex 7.431448 -6.691306 0.000000
    endloop
  endfacet
  facet normal 0.669131 -0.743145 0.000000
    outer loop
      vertex 7.431448 -6.691306 7.000000
      vertex 5.877853 -8.090170 7.000000
      vertex 7.431448 -6.691306 0.000000
    endloop
  endfacet
  facet normal 0.809017 -0.587785 0.000000
    outer loop
      vertex 7.431448 -6.691306 7.000000
      vertex 7.431448 -6.691306 0.000000
      vertex 8.660254 -5.000000 0.000000
    endloop
  endfacet
  facet normal 0.809017 -0.587785 0.000000
    outer loop
      vertex 8.660254 -5.000000 7.000000
      vertex 7.431448 -6.691306 7.000000
      vertex 8.660254 -5.000000 0.000000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex 8.660254 -5.000000 7.000000
      vertex 8.660254 -5.000000 0.000000
      vertex 9.510565 -3.090170 0.000000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex 9.510565 -3.090170 7.000000
      vertex 8.660254 -5.000000 7.000000
      vertex 9.510565 -3.090170 0.000000
    endloop
  endfacet
  facet normal 0.978148 -0.207912 0.000000
    outer loop
      vertex 9.510565 -3.090170 7.000000
      vertex 9.510565 -3.090170 0.000000
      vertex 9.945219 -1.045285 0.000000
    endloop
  endfacet
  facet normal 0.978148 -0.207912 0.000000
    outer loop
      vertex 9.945219 -1.045285 7.000000
      vertex 9.510565 -3.090170 7.000000
      vertex 9.945219 -1.045285 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 -0.000000
    outer loop
      vertex 9.945219 -1.045285 7.000000
      vertex 9.945219 -1.045285 0.000000
      vertex 9.945219 1.045285 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 9.945219 1.045285 7.000000
      vertex 9.945219 -1.045285 7.000000
      vertex 9.945219 1.045285 0.000000
    endloop
  endfacet
  facet normal 0.978148 0.207912 0.000000
    outer loop
      vertex 9.945219 1.045285 0.000000
      vertex 9.510565 3.090170 0.000000
      vertex 9.510565 3.090170 7.000000
    endloop
  endfacet
  facet normal 0.978148 0.207912 -0.000000
    outer loop
      vertex 9.945219 1.045285 7.000000
      vertex 9.945219 1.045285 0.000000
      vertex 9.510565 3.090170 7.000000
    endloop
  endfacet
  facet normal 0.913545 0.406737 0.000000
    outer loop
      vertex 9.510565 3.090170 0.000000
      vertex 8.660254 5.000000 0.000000
      vertex 8.660254 5.000000 7.000000
    endloop
  endfacet
  facet normal 0.913545 0.406737 -0.000000
    outer loop
      vertex 9.510565 3.090170 7.000000
      vertex 9.510565 3.090170 0.000000
      vertex 8.660254 5.000000 7.000000
    endloop
  endfacet
  facet normal 0.809017 0.587785 0.000000
    outer loop
      vertex 8.660254 5.000000 0.000000
      vertex 7.431448 6.691306 0.000000
      vertex 7.431448 6.691306 7.000000
    endloop
  endfacet
  facet normal 0.809017 0.587785 -0.000000
    outer loop
      vertex 8.660254 5.000000 7.000000
      vertex 8.660254 5.000000 0.000000
      vertex 7.431448 6.691306 7.000000
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex 5.877853 8.090170 0.000000
      vertex 5.877853 8.090170 7.000000
      vertex 7.431448 6.691306 0.000000
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex 7.431448 6.691306 0.000000
      vertex 5.877853 8.090170 7.000000
      vertex 7.431448 6.691306 7.000000
    endloop
  endfacet
  facet normal 0.500000 0.866025 0.000000
    outer loop
      vertex 4.067366 9.135455 0.000000
      vertex 4.067366 9.135455 7.000000
      vertex 5.877853 8.090170 0.000000
    endloop
  endfacet
  facet normal 0.500000 0.866025 0.000000
    outer loop
      vertex 5.877853 8.090170 0.000000
      vertex 4.067366 9.135455 7.000000
      vertex 5.877853 8.090170 7.000000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex 2.079117 9.781476 0.000000
      vertex 2.079117 9.781476 7.000000
      vertex 4.067366 9.135455 0.000000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex 4.067366 9.135455 0.000000
      vertex 2.079117 9.781476 7.000000
      vertex 4.067366 9.135455 7.000000
    endloop
  endfacet
  facet normal 0.104528 0.994522 0.000000
    outer loop
      vertex 0.000000 10.000000 0.000000
      vertex 0.000000 10.000000 7.000000
      vertex 2.079117 9.781476 0.000000
    endloop
  endfacet
  facet normal 0.104528 0.994522 0.000000
    outer loop
      vertex 2.079117 9.781476 0.000000
      vertex 0.000000 10.000000 7.000000
      vertex 2.079117 9.781476 7.000000
    endloop
  endfacet
  facet normal -0.104528 0.994522 0.000000
    outer loop
      vertex -2.079117 9.781476 0.000000
      vertex -2.079117 9.781476 7.000000
      vertex 0.000000 10.000000 0.000000
    endloop
  endfacet
  facet normal -0.104528 0.994522 0.000000
    outer loop
      vertex 0.000000 10.000000 0.000000
      vertex -2.079117 9.781476 7.000000
      vertex 0.000000 10.000000 7.000000
    endloop
  endfacet
  facet normal -0.309017 0.951057 0.000000
    outer loop
      vertex -4.067366 9.135455 0.000000
      vertex -4.067366 9.135455 7.000000
      vertex -2.079117 9.781476 0.000000
    endloop
  endfacet
  facet normal -0.309017 0.951057 0.000000
    outer loop
      vertex -2.079117 9.781476 0.000000
      vertex -4.067366 9.135455 7.000000
      vertex -2.079117 9.781476 7.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -5.877853 8.090170 0.000000
      vertex -5.877853 8.090170 7.000000
      vertex -4.067366 9.135455 0.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -4.067366 9.135455 0.000000
      vertex -5.877853 8.090170 7.000000
      vertex -4.067366 9.135455 7.000000
    endloop
  endfacet
  facet normal -0.669131 0.743145 0.000000
    outer loop
      vertex -7.431448 6.691306 0.000000
      vertex -7.431448 6.691306 7.000000
      vertex -5.877853 8.090170 0.000000
    endloop
  endfacet
  facet normal -0.669131 0.743145 0.000000
    outer loop
      vertex -5.877853 8.090170 0.000000
      vertex -7.431448 6.691306 7.000000
      vertex -5.877853 8.090170 7.000000
    endloop
  endfacet
  facet normal -0.809017 0.587785 0.000000
    outer loop
      vertex -8.660254 5.000000 0.000000
      vertex -8.660254 5.000000 7.000000
      vertex -7.431448 6.691306 0.000000
    endloop
  endfacet
  facet normal -0.809017 0.587785 0.000000
    outer loop
      vertex -7.431448 6.691306 0.000000
      vertex -8.660254 5.000000 7.000000
      vertex -7.431448 6.691306 7.000000
    endloop
  endfacet
  facet normal -0.913545 0.406737 0.000000
    outer loop
      vertex -9.510565 3.090170 0.000000
      vertex -9.510565 3.090170 7.000000
      vertex -8.660254 5.000000 0.000000
    endloop
  endfacet
  facet normal -0.913545 0.406737 0.000000
    outer loop
      vertex -8.660254 5.000000 0.000000
      vertex -9.510565 3.090170 7.000000
      vertex -8.660254 5.000000 7.000000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex -7.079165 -0.738526 0.000000
      vertex -4.481089 0.761474 0.000000
      vertex -4.481089 0.761474 2.325684
    endloop
  endfacet
  facet normal 0.500000 -0.866025 -0.000000
    outer loop
      vertex -6.992563 -0.688526 3.500000
      vertex -7.079165 -0.738526 0.000000
      vertex -6.992563 -0.688526 2.325684
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex -6.992563 -0.688526 2.325684
      vertex -7.079165 -0.738526 0.000000
      vertex -4.481089 0.761474 2.325684
    endloop
  endfacet
  facet normal 0.500000 -0.866025 -0.000000
    outer loop
      vertex -7.079165 -0.738526 3.500000
      vertex -7.079165 -0.738526 0.000000
      vertex -6.992563 -0.688526 3.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -1.581089 -4.261474 0.000000
      vertex -3.031089 -1.750000 0.651368
      vertex -4.481089 0.761474 0.000000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -1.581089 -4.261474 0.000000
      vertex -1.581089 -4.261474 2.325684
      vertex -3.031089 -1.750000 0.651368
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -4.481089 0.761474 2.325684
      vertex -4.481089 0.761474 0.000000
      vertex -3.031089 -1.750000 0.651368
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -4.092563 -5.711474 2.325684
      vertex -1.581089 -4.261474 2.325684
      vertex -1.581089 -4.261474 0.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 -0.000000
    outer loop
      vertex -4.092563 -5.711474 2.325684
      vertex -1.581089 -4.261474 0.000000
      vertex -4.179165 -5.761474 0.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -4.092563 -5.711474 2.325684
      vertex -4.179165 -5.761474 0.000000
      vertex -4.092563 -5.711474 3.500000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -4.179165 -5.761474 0.000000
      vertex -4.179165 -5.761474 3.500000
      vertex -4.092563 -5.711474 3.500000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -7.079165 -0.738526 0.000000
      vertex -6.451356 -1.825923 3.267874
      vertex -6.231383 -2.206929 2.662339
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -5.535090 -3.412944 2.209861
      vertex -4.179165 -5.761474 0.000000
      vertex -5.907281 -2.768290 2.288098
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -5.907281 -2.768290 2.288098
      vertex -4.179165 -5.761474 0.000000
      vertex -6.231383 -2.206929 2.662339
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -6.476026 -1.783194 3.500000
      vertex -6.451356 -1.825923 3.267874
      vertex -7.079165 -0.738526 0.000000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -5.179165 -4.029423 2.441154
      vertex -4.179165 -5.761474 0.000000
      vertex -5.535090 -3.412944 2.209861
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -4.901050 -4.511133 2.941987
      vertex -4.179165 -5.761474 3.500000
      vertex -5.179165 -4.029423 2.441154
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -4.776828 -4.726291 3.500000
      vertex -4.179165 -5.761474 3.500000
      vertex -4.901050 -4.511133 2.941987
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -4.179165 -5.761474 3.500000
      vertex -4.179165 -5.761474 0.000000
      vertex -5.179165 -4.029423 2.441154
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -4.179165 -5.761474 0.000000
      vertex -7.079165 -0.738526 0.000000
      vertex -6.231383 -2.206929 2.662339
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -7.079165 -0.738526 0.000000
      vertex -7.079165 -0.738526 3.500000
      vertex -6.476026 -1.783194 3.500000
    endloop
  endfacet
  facet normal 0.959493 0.281732 -0.000000
    outer loop
      vertex -2.454953 -1.577702 0.000000
      vertex -2.844378 -0.251441 2.662339
      vertex -2.656461 -0.891428 2.288098
    endloop
  endfacet
  facet normal 0.959493 0.281732 -0.000000
    outer loop
      vertex -2.918208 0.000000 3.012861
      vertex -2.844378 -0.251441 2.662339
      vertex -2.454953 -1.577702 0.000000
    endloop
  endfacet
  facet normal 0.959493 0.281732 -0.000000
    outer loop
      vertex -2.454953 -1.577702 2.215042
      vertex -2.454953 -1.577702 0.000000
      vertex -2.656461 -0.891428 2.288098
    endloop
  endfacet
  facet normal 0.959493 0.281732 0.000000
    outer loop
      vertex -2.454953 -1.577702 0.000000
      vertex -2.918208 0.000000 0.000000
      vertex -2.918208 0.000000 3.012861
    endloop
  endfacet
  facet normal 0.959493 -0.281732 0.000000
    outer loop
      vertex -2.454953 1.577702 0.000000
      vertex -2.454953 1.577702 20.000000
      vertex -2.918208 0.000000 20.000000
    endloop
  endfacet
  facet normal 0.959493 -0.281732 0.000000
    outer loop
      vertex -2.779033 0.473985 4.000000
      vertex -2.454953 1.577702 0.000000
      vertex -2.918208 0.000000 20.000000
    endloop
  endfacet
  facet normal 0.959493 -0.281732 0.000000
    outer loop
      vertex -2.918208 0.000000 4.987139
      vertex -2.842566 0.257612 4.732126
      vertex -2.918208 0.000000 20.000000
    endloop
  endfacet
  facet normal 0.959493 -0.281732 0.000000
    outer loop
      vertex -2.842566 0.257612 4.732126
      vertex -2.779033 0.473985 4.000000
      vertex -2.918208 0.000000 20.000000
    endloop
  endfacet
  facet normal 0.959493 -0.281732 -0.000000
    outer loop
      vertex -2.918208 0.000000 3.012861
      vertex -2.454953 1.577702 0.000000
      vertex -2.842566 0.257612 3.267874
    endloop
  endfacet
  facet normal 0.959493 -0.281732 0.000000
    outer loop
      vertex -2.918208 0.000000 0.000000
      vertex -2.454953 1.577702 0.000000
      vertex -2.918208 0.000000 3.012861
    endloop
  endfacet
  facet normal 0.959493 -0.281732 0.000000
    outer loop
      vertex -2.779033 0.473985 4.000000
      vertex -2.842566 0.257612 3.267874
      vertex -2.454953 1.577702 0.000000
    endloop
  endfacet
  facet normal 0.654861 -0.755750 0.000000
    outer loop
      vertex -1.212267 2.654495 0.000000
      vertex -1.212267 2.654495 20.000000
      vertex -2.454953 1.577702 20.000000
    endloop
  endfacet
  facet normal 0.654861 -0.755750 0.000000
    outer loop
      vertex -2.454953 1.577702 0.000000
      vertex -1.212267 2.654495 0.000000
      vertex -2.454953 1.577702 20.000000
    endloop
  endfacet
  facet normal 0.142315 -0.989821 0.000000
    outer loop
      vertex 0.415304 2.888505 0.000000
      vertex 0.415304 2.888505 20.000000
      vertex -1.212267 2.654495 20.000000
    endloop
  endfacet
  facet normal 0.142315 -0.989821 0.000000
    outer loop
      vertex -1.212267 2.654495 0.000000
      vertex 0.415304 2.888505 0.000000
      vertex -1.212267 2.654495 20.000000
    endloop
  endfacet
  facet normal -0.415415 -0.909632 -0.000000
    outer loop
      vertex 1.911020 2.205434 0.000000
      vertex 1.911020 2.205434 20.000000
      vertex 0.415304 2.888505 20.000000
    endloop
  endfacet
  facet normal -0.415415 -0.909632 -0.000000
    outer loop
      vertex 0.415304 2.888505 0.000000
      vertex 1.911020 2.205434 0.000000
      vertex 0.415304 2.888505 20.000000
    endloop
  endfacet
  facet normal -0.841254 -0.540641 0.000000
    outer loop
      vertex 2.800000 0.822154 20.000000
      vertex 1.911020 2.205434 20.000000
      vertex 2.800000 0.822154 0.000000
    endloop
  endfacet
  facet normal -0.841254 -0.540641 0.000000
    outer loop
      vertex 2.800000 0.822154 0.000000
      vertex 1.911020 2.205434 20.000000
      vertex 1.911020 2.205434 0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex 2.800000 0.822154 20.000000
      vertex 2.800000 0.822154 0.000000
      vertex 2.800000 -0.822154 20.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex 2.800000 -0.822154 20.000000
      vertex 2.800000 0.822154 0.000000
      vertex 2.800000 -0.822154 0.000000
    endloop
  endfacet
  facet normal -0.841254 0.540641 0.000000
    outer loop
      vertex 2.800000 -0.822154 20.000000
      vertex 2.800000 -0.822154 0.000000
      vertex 1.911020 -2.205434 20.000000
    endloop
  endfacet
  facet normal -0.841254 0.540641 0.000000
    outer loop
      vertex 1.911020 -2.205434 20.000000
      vertex 2.800000 -0.822154 0.000000
      vertex 1.911020 -2.205434 0.000000
    endloop
  endfacet
  facet normal -0.415415 0.909632 0.000000
    outer loop
      vertex 1.911020 -2.205434 20.000000
      vertex 1.911020 -2.205434 0.000000
      vertex 0.415304 -2.888505 20.000000
    endloop
  endfacet
  facet normal -0.415415 0.909632 0.000000
    outer loop
      vertex 0.415304 -2.888505 20.000000
      vertex 1.911020 -2.205434 0.000000
      vertex 0.415304 -2.888505 0.000000
    endloop
  endfacet
  facet normal 0.142315 0.989821 -0.000000
    outer loop
      vertex -1.212267 -2.654495 20.000000
      vertex -1.103480 -2.670136 4.374241
      vertex -1.212267 -2.654495 4.526835
    endloop
  endfacet
  facet normal 0.142315 0.989821 -0.000000
    outer loop
      vertex 0.415304 -2.888505 20.000000
      vertex -1.103480 -2.670136 4.374241
      vertex -1.212267 -2.654495 20.000000
    endloop
  endfacet
  facet normal 0.142315 0.989821 0.000000
    outer loop
      vertex -1.103480 -2.670136 3.625759
      vertex -1.103480 -2.670136 4.374241
      vertex 0.415304 -2.888505 20.000000
    endloop
  endfacet
  facet normal 0.142315 0.989821 0.000000
    outer loop
      vertex -1.103480 -2.670136 3.625759
      vertex 0.415304 -2.888505 20.000000
      vertex 0.415304 -2.888505 0.000000
    endloop
  endfacet
  facet normal 0.142315 0.989821 0.000000
    outer loop
      vertex -1.103480 -2.670136 3.625759
      vertex 0.415304 -2.888505 0.000000
      vertex -1.212267 -2.654495 3.473165
    endloop
  endfacet
  facet normal 0.142315 0.989821 0.000000
    outer loop
      vertex 0.415304 -2.888505 0.000000
      vertex -1.212267 -2.654495 0.000000
      vertex -1.212267 -2.654495 3.473165
    endloop
  endfacet
  facet normal 0.654861 0.755750 -0.000000
    outer loop
      vertex -2.415528 -1.611864 2.209861
      vertex -1.212267 -2.654495 0.000000
      vertex -2.454953 -1.577702 2.215042
    endloop
  endfacet
  facet normal 0.654861 0.755750 0.000000
    outer loop
      vertex -1.212267 -2.654495 0.000000
      vertex -1.846238 -2.105156 2.441154
      vertex -1.401401 -2.490610 2.941987
    endloop
  endfacet
  facet normal 0.654861 0.755750 0.000000
    outer loop
      vertex -1.212267 -2.654495 0.000000
      vertex -1.401401 -2.490610 2.941987
      vertex -1.212267 -2.654495 3.473165
    endloop
  endfacet
  facet normal 0.654861 0.755750 0.000000
    outer loop
      vertex -2.415528 -1.611864 2.209861
      vertex -1.846238 -2.105156 2.441154
      vertex -1.212267 -2.654495 0.000000
    endloop
  endfacet
  facet normal 0.654861 0.755750 0.000000
    outer loop
      vertex -1.212267 -2.654495 0.000000
      vertex -2.454953 -1.577702 0.000000
      vertex -2.454953 -1.577702 2.215042
    endloop
  endfacet
  facet normal -0.908533 0.404505 0.104615
    outer loop
      vertex -8.660254 5.000000 7.000000
      vertex -9.510565 3.090170 7.000000
      vertex -8.641201 4.989000 7.208000
    endloop
  endfacet
  facet normal -0.908533 0.404505 0.104611
    outer loop
      vertex -8.641201 4.989000 7.208000
      vertex -9.510565 3.090170 7.000000
      vertex -9.489642 3.083372 7.208000
    endloop
  endfacet
  facet normal -0.870122 0.387404 0.304640
    outer loop
      vertex -8.641201 4.989000 7.208000
      vertex -9.489642 3.083372 7.208000
      vertex -8.585776 4.957000 7.407000
    endloop
  endfacet
  facet normal -0.870121 0.387402 0.304646
    outer loop
      vertex -8.585776 4.957000 7.407000
      vertex -9.489642 3.083372 7.208000
      vertex -9.428774 3.063594 7.407000
    endloop
  endfacet
  facet normal -0.931652 0.198029 0.304645
    outer loop
      vertex -9.489642 3.083372 7.208000
      vertex -9.923339 1.042985 7.208000
      vertex -9.428774 3.063594 7.407000
    endloop
  endfacet
  facet normal -0.931653 0.198029 0.304641
    outer loop
      vertex -9.428774 3.063594 7.407000
      vertex -9.923339 1.042985 7.208000
      vertex -9.859690 1.036295 7.407000
    endloop
  endfacet
  facet normal -0.952467 0.000000 0.304641
    outer loop
      vertex -9.923339 -1.042985 7.208000
      vertex -9.859690 -1.036295 7.407000
      vertex -9.923339 1.042985 7.208000
    endloop
  endfacet
  facet normal -0.952467 0.000000 0.304641
    outer loop
      vertex -9.923339 1.042985 7.208000
      vertex -9.859690 -1.036295 7.407000
      vertex -9.859690 1.036295 7.407000
    endloop
  endfacet
  facet normal -0.931654 -0.198029 0.304641
    outer loop
      vertex -9.859690 -1.036295 7.407000
      vertex -9.923339 -1.042985 7.208000
      vertex -9.489642 -3.083372 7.208000
    endloop
  endfacet
  facet normal -0.931652 -0.198029 0.304645
    outer loop
      vertex -9.428774 -3.063594 7.407000
      vertex -9.859690 -1.036295 7.407000
      vertex -9.489642 -3.083372 7.208000
    endloop
  endfacet
  facet normal -0.870121 -0.387403 0.304646
    outer loop
      vertex -9.428774 -3.063594 7.407000
      vertex -9.489642 -3.083372 7.208000
      vertex -8.641201 -4.989000 7.208000
    endloop
  endfacet
  facet normal -0.908533 -0.404505 0.104615
    outer loop
      vertex -8.641201 -4.989000 7.208000
      vertex -9.489642 -3.083372 7.208000
      vertex -8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal -0.804578 -0.584560 0.104614
    outer loop
      vertex -8.641201 -4.989000 7.208000
      vertex -8.660254 -5.000000 7.000000
      vertex -7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal 0.052264 -0.090524 -0.994522
    outer loop
      vertex -5.448487 -3.362944 5.790139
      vertex -8.549052 -5.153056 5.790139
      vertex -5.820678 -2.718290 5.711902
    endloop
  endfacet
  facet normal 0.052264 -0.090524 -0.994522
    outer loop
      vertex -5.820678 -2.718290 5.711902
      vertex -8.549052 -5.153056 5.790139
      vertex -8.660254 -5.000000 5.770364
    endloop
  endfacet
  facet normal 0.052264 -0.090524 -0.994522
    outer loop
      vertex -5.820678 -2.718290 5.711902
      vertex -8.660254 -5.000000 5.770364
      vertex -8.887740 -4.489059 5.711902
    endloop
  endfacet
  facet normal 0.250000 -0.433013 -0.866025
    outer loop
      vertex -5.820678 -2.718290 5.711902
      vertex -8.887740 -4.489059 5.711902
      vertex -6.144780 -2.156929 5.337661
    endloop
  endfacet
  facet normal 0.250000 -0.433013 -0.866025
    outer loop
      vertex -6.144780 -2.156929 5.337661
      vertex -8.887740 -4.489059 5.711902
      vertex -9.152840 -3.893633 5.337661
    endloop
  endfacet
  facet normal 0.404508 -0.700629 -0.587785
    outer loop
      vertex -6.364754 -1.775923 4.732126
      vertex -6.144780 -2.156929 5.337661
      vertex -9.152840 -3.893633 5.337661
    endloop
  endfacet
  facet normal 0.404508 -0.700629 -0.587785
    outer loop
      vertex -9.332768 -3.489508 4.732126
      vertex -6.364754 -1.775923 4.732126
      vertex -9.152840 -3.893633 5.337661
    endloop
  endfacet
  facet normal 0.489074 -0.847101 -0.207911
    outer loop
      vertex -6.442563 -1.641154 4.000000
      vertex -6.364754 -1.775923 4.732126
      vertex -9.332768 -3.489508 4.732126
    endloop
  endfacet
  facet normal 0.489074 -0.847101 -0.207911
    outer loop
      vertex -9.396413 -3.346560 4.000000
      vertex -6.442563 -1.641154 4.000000
      vertex -9.332768 -3.489508 4.732126
    endloop
  endfacet
  facet normal 0.489074 -0.847101 0.207911
    outer loop
      vertex -9.332768 -3.489508 3.267874
      vertex -6.451356 -1.825923 3.267874
      vertex -6.476026 -1.783194 3.500000
    endloop
  endfacet
  facet normal 0.489074 -0.847101 0.207911
    outer loop
      vertex -6.442563 -1.641154 4.000000
      vertex -9.332768 -3.489508 3.267874
      vertex -6.476026 -1.783194 3.500000
    endloop
  endfacet
  facet normal 0.489074 -0.847101 0.207911
    outer loop
      vertex -6.389424 -1.733194 3.500000
      vertex -6.442563 -1.641154 4.000000
      vertex -6.476026 -1.783194 3.500000
    endloop
  endfacet
  facet normal 0.489074 -0.847101 0.207911
    outer loop
      vertex -6.442563 -1.641154 4.000000
      vertex -9.396413 -3.346560 4.000000
      vertex -9.332768 -3.489508 3.267874
    endloop
  endfacet
  facet normal 0.404508 -0.700629 0.587785
    outer loop
      vertex -9.152840 -3.893633 2.662339
      vertex -6.231383 -2.206929 2.662339
      vertex -6.451356 -1.825923 3.267874
    endloop
  endfacet
  facet normal 0.404508 -0.700629 0.587785
    outer loop
      vertex -9.332768 -3.489508 3.267874
      vertex -9.152840 -3.893633 2.662339
      vertex -6.451356 -1.825923 3.267874
    endloop
  endfacet
  facet normal 0.250000 -0.433013 0.866025
    outer loop
      vertex -8.887740 -4.489059 2.288098
      vertex -5.907281 -2.768290 2.288098
      vertex -6.231383 -2.206929 2.662339
    endloop
  endfacet
  facet normal 0.250000 -0.433013 0.866025
    outer loop
      vertex -9.152840 -3.893633 2.662339
      vertex -8.887740 -4.489059 2.288098
      vertex -6.231383 -2.206929 2.662339
    endloop
  endfacet
  facet normal 0.052264 -0.090524 0.994522
    outer loop
      vertex -8.660254 -5.000000 2.229636
      vertex -8.549052 -5.153056 2.209861
      vertex -5.535090 -3.412944 2.209861
    endloop
  endfacet
  facet normal 0.052264 -0.090524 0.994522
    outer loop
      vertex -8.887740 -4.489059 2.288098
      vertex -8.660254 -5.000000 2.229636
      vertex -5.907281 -2.768290 2.288098
    endloop
  endfacet
  facet normal 0.052264 -0.090524 0.994522
    outer loop
      vertex -5.907281 -2.768290 2.288098
      vertex -8.660254 -5.000000 2.229636
      vertex -5.535090 -3.412944 2.209861
    endloop
  endfacet
  facet normal -0.154508 0.267616 0.951057
    outer loop
      vertex -8.128333 -5.732126 2.441154
      vertex -5.179165 -4.029423 2.441154
      vertex -5.535090 -3.412944 2.209861
    endloop
  endfacet
  facet normal -0.154508 0.267616 0.951057
    outer loop
      vertex -8.549052 -5.153056 2.209861
      vertex -8.128333 -5.732126 2.441154
      vertex -5.535090 -3.412944 2.209861
    endloop
  endfacet
  facet normal -0.334565 0.579484 0.743145
    outer loop
      vertex -7.799588 -6.184605 2.941987
      vertex -4.901050 -4.511133 2.941987
      vertex -5.179165 -4.029423 2.441154
    endloop
  endfacet
  facet normal -0.334565 0.579484 0.743145
    outer loop
      vertex -8.128333 -5.732126 2.441154
      vertex -7.799588 -6.184605 2.941987
      vertex -5.179165 -4.029423 2.441154
    endloop
  endfacet
  facet normal -0.456773 0.791154 0.406737
    outer loop
      vertex -4.662230 -4.724781 3.625759
      vertex -4.690225 -4.676291 3.500000
      vertex -7.619660 -6.432255 3.625759
    endloop
  endfacet
  facet normal -0.456773 0.791154 0.406737
    outer loop
      vertex -7.619660 -6.432255 3.625759
      vertex -4.690225 -4.676291 3.500000
      vertex -4.776828 -4.726291 3.500000
    endloop
  endfacet
  facet normal -0.456773 0.791154 0.406737
    outer loop
      vertex -7.619660 -6.432255 3.625759
      vertex -4.776828 -4.726291 3.500000
      vertex -4.901050 -4.511133 2.941987
    endloop
  endfacet
  facet normal -0.456773 0.791154 0.406737
    outer loop
      vertex -7.619660 -6.432255 3.625759
      vertex -4.901050 -4.511133 2.941987
      vertex -7.799588 -6.184605 2.941987
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -4.662230 -4.724781 4.374241
      vertex -4.662230 -4.724781 3.625759
      vertex -7.619660 -6.432255 4.374241
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -7.619660 -6.432255 4.374241
      vertex -4.662230 -4.724781 3.625759
      vertex -7.619660 -6.432255 3.625759
    endloop
  endfacet
  facet normal -0.456773 0.791154 -0.406737
    outer loop
      vertex -4.662230 -4.724781 4.374241
      vertex -7.619660 -6.432255 4.374241
      vertex -4.814447 -4.461133 5.058013
    endloop
  endfacet
  facet normal -0.456773 0.791154 -0.406737
    outer loop
      vertex -4.814447 -4.461133 5.058013
      vertex -7.619660 -6.432255 4.374241
      vertex -7.799588 -6.184605 5.058013
    endloop
  endfacet
  facet normal -0.334565 0.579484 -0.743145
    outer loop
      vertex -4.814447 -4.461133 5.058013
      vertex -7.799588 -6.184605 5.058013
      vertex -5.092563 -3.979423 5.558846
    endloop
  endfacet
  facet normal -0.334565 0.579484 -0.743145
    outer loop
      vertex -5.092563 -3.979423 5.558846
      vertex -7.799588 -6.184605 5.058013
      vertex -8.128333 -5.732126 5.558846
    endloop
  endfacet
  facet normal -0.154508 0.267616 -0.951057
    outer loop
      vertex -5.092563 -3.979423 5.558846
      vertex -8.128333 -5.732126 5.558846
      vertex -5.448487 -3.362944 5.790139
    endloop
  endfacet
  facet normal -0.154508 0.267616 -0.951057
    outer loop
      vertex -5.448487 -3.362944 5.790139
      vertex -8.128333 -5.732126 5.558846
      vertex -8.549052 -5.153056 5.790139
    endloop
  endfacet
  facet normal -0.804578 -0.584560 0.104612
    outer loop
      vertex -7.415099 -6.676585 7.208000
      vertex -8.641201 -4.989000 7.208000
      vertex -7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal -0.665459 -0.739067 0.104613
    outer loop
      vertex -7.415099 -6.676585 7.208000
      vertex -7.431448 -6.691306 7.000000
      vertex -5.877853 -8.090170 7.000000
    endloop
  endfacet
  facet normal -0.665459 -0.739067 0.104614
    outer loop
      vertex -5.864921 -8.072372 7.208000
      vertex -7.415099 -6.676585 7.208000
      vertex -5.877853 -8.090170 7.000000
    endloop
  endfacet
  facet normal -0.497256 -0.861274 0.104613
    outer loop
      vertex -5.864921 -8.072372 7.208000
      vertex -5.877853 -8.090170 7.000000
      vertex -4.067366 -9.135455 7.000000
    endloop
  endfacet
  facet normal -0.497257 -0.861274 0.104612
    outer loop
      vertex -4.058418 -9.115357 7.208000
      vertex -5.864921 -8.072372 7.208000
      vertex -4.067366 -9.135455 7.000000
    endloop
  endfacet
  facet normal -0.307321 -0.945838 0.104612
    outer loop
      vertex -4.058418 -9.115357 7.208000
      vertex -4.067366 -9.135455 7.000000
      vertex -2.079117 -9.781476 7.000000
    endloop
  endfacet
  facet normal -0.307321 -0.945838 0.104611
    outer loop
      vertex -2.074543 -9.759957 7.208000
      vertex -4.058418 -9.115357 7.208000
      vertex -2.079117 -9.781476 7.000000
    endloop
  endfacet
  facet normal -0.103955 -0.989065 0.104611
    outer loop
      vertex -2.074543 -9.759957 7.208000
      vertex -2.079117 -9.781476 7.000000
      vertex 0.000000 -10.000000 7.000000
    endloop
  endfacet
  facet normal -0.103955 -0.989065 0.104613
    outer loop
      vertex 0.000000 -9.978000 7.208000
      vertex -2.074543 -9.759957 7.208000
      vertex 0.000000 -10.000000 7.000000
    endloop
  endfacet
  facet normal 0.103955 -0.989065 0.104613
    outer loop
      vertex 0.000000 -9.978000 7.208000
      vertex 0.000000 -10.000000 7.000000
      vertex 2.079117 -9.781476 7.000000
    endloop
  endfacet
  facet normal 0.103955 -0.989065 0.104611
    outer loop
      vertex 2.074543 -9.759957 7.208000
      vertex 0.000000 -9.978000 7.208000
      vertex 2.079117 -9.781476 7.000000
    endloop
  endfacet
  facet normal 0.307321 -0.945838 0.104611
    outer loop
      vertex 4.067366 -9.135455 7.000000
      vertex 2.074543 -9.759957 7.208000
      vertex 2.079117 -9.781476 7.000000
    endloop
  endfacet
  facet normal 0.307321 -0.945838 0.104612
    outer loop
      vertex 4.058418 -9.115357 7.208000
      vertex 2.074543 -9.759957 7.208000
      vertex 4.067366 -9.135455 7.000000
    endloop
  endfacet
  facet normal 0.497256 -0.861274 0.104612
    outer loop
      vertex 5.877853 -8.090170 7.000000
      vertex 4.058418 -9.115357 7.208000
      vertex 4.067366 -9.135455 7.000000
    endloop
  endfacet
  facet normal 0.497257 -0.861274 0.104613
    outer loop
      vertex 5.864921 -8.072372 7.208000
      vertex 4.058418 -9.115357 7.208000
      vertex 5.877853 -8.090170 7.000000
    endloop
  endfacet
  facet normal 0.665459 -0.739067 0.104614
    outer loop
      vertex 7.431448 -6.691306 7.000000
      vertex 5.864921 -8.072372 7.208000
      vertex 5.877853 -8.090170 7.000000
    endloop
  endfacet
  facet normal 0.665459 -0.739067 0.104613
    outer loop
      vertex 7.415099 -6.676585 7.208000
      vertex 5.864921 -8.072372 7.208000
      vertex 7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal 0.804578 -0.584560 0.104612
    outer loop
      vertex 8.660254 -5.000000 7.000000
      vertex 7.415099 -6.676585 7.208000
      vertex 7.431448 -6.691306 7.000000
    endloop
  endfacet
  facet normal 0.804578 -0.584560 0.104614
    outer loop
      vertex 8.641201 -4.989000 7.208000
      vertex 7.415099 -6.676585 7.208000
      vertex 8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal 0.908533 -0.404505 0.104615
    outer loop
      vertex 9.510565 -3.090170 7.000000
      vertex 8.641201 -4.989000 7.208000
      vertex 8.660254 -5.000000 7.000000
    endloop
  endfacet
  facet normal 0.908533 -0.404505 0.104611
    outer loop
      vertex 9.489642 -3.083372 7.208000
      vertex 8.641201 -4.989000 7.208000
      vertex 9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal 0.972781 -0.206771 0.104611
    outer loop
      vertex 9.945219 -1.045285 7.000000
      vertex 9.489642 -3.083372 7.208000
      vertex 9.510565 -3.090170 7.000000
    endloop
  endfacet
  facet normal 0.972780 -0.206771 0.104615
    outer loop
      vertex 9.923339 -1.042985 7.208000
      vertex 9.489642 -3.083372 7.208000
      vertex 9.945219 -1.045285 7.000000
    endloop
  endfacet
  facet normal 0.994513 -0.000000 0.104615
    outer loop
      vertex 9.923339 1.042985 7.208000
      vertex 9.923339 -1.042985 7.208000
      vertex 9.945219 -1.045285 7.000000
    endloop
  endfacet
  facet normal 0.994513 -0.000000 0.104615
    outer loop
      vertex 9.945219 1.045285 7.000000
      vertex 9.923339 1.042985 7.208000
      vertex 9.945219 -1.045285 7.000000
    endloop
  endfacet
  facet normal 0.972780 0.206771 0.104615
    outer loop
      vertex 9.945219 1.045285 7.000000
      vertex 9.510565 3.090170 7.000000
      vertex 9.923339 1.042985 7.208000
    endloop
  endfacet
  facet normal 0.972781 0.206771 0.104611
    outer loop
      vertex 9.510565 3.090170 7.000000
      vertex 9.489642 3.083372 7.208000
      vertex 9.923339 1.042985 7.208000
    endloop
  endfacet
  facet normal 0.908533 0.404505 0.104611
    outer loop
      vertex 9.510565 3.090170 7.000000
      vertex 8.660254 5.000000 7.000000
      vertex 9.489642 3.083372 7.208000
    endloop
  endfacet
  facet normal 0.908533 0.404505 0.104615
    outer loop
      vertex 8.660254 5.000000 7.000000
      vertex 8.641201 4.989000 7.208000
      vertex 9.489642 3.083372 7.208000
    endloop
  endfacet
  facet normal 0.804578 0.584560 0.104614
    outer loop
      vertex 8.660254 5.000000 7.000000
      vertex 7.431448 6.691306 7.000000
      vertex 8.641201 4.989000 7.208000
    endloop
  endfacet
  facet normal 0.804578 0.584560 0.104612
    outer loop
      vertex 7.431448 6.691306 7.000000
      vertex 7.415099 6.676585 7.208000
      vertex 8.641201 4.989000 7.208000
    endloop
  endfacet
  facet normal 0.665459 0.739067 0.104613
    outer loop
      vertex 7.431448 6.691306 7.000000
      vertex 5.877853 8.090170 7.000000
      vertex 7.415099 6.676585 7.208000
    endloop
  endfacet
  facet normal 0.665459 0.739067 0.104614
    outer loop
      vertex 5.877853 8.090170 7.000000
      vertex 5.864921 8.072372 7.208000
      vertex 7.415099 6.676585 7.208000
    endloop
  endfacet
  facet normal 0.497256 0.861274 0.104613
    outer loop
      vertex 5.877853 8.090170 7.000000
      vertex 4.067366 9.135455 7.000000
      vertex 5.864921 8.072372 7.208000
    endloop
  endfacet
  facet normal 0.497257 0.861274 0.104612
    outer loop
      vertex 4.067366 9.135455 7.000000
      vertex 4.058418 9.115357 7.208000
      vertex 5.864921 8.072372 7.208000
    endloop
  endfacet
  facet normal 0.307321 0.945838 0.104612
    outer loop
      vertex 4.067366 9.135455 7.000000
      vertex 2.079117 9.781476 7.000000
      vertex 4.058418 9.115357 7.208000
    endloop
  endfacet
  facet normal 0.307321 0.945838 0.104611
    outer loop
      vertex 2.079117 9.781476 7.000000
      vertex 2.074543 9.759957 7.208000
      vertex 4.058418 9.115357 7.208000
    endloop
  endfacet
  facet normal 0.103955 0.989065 0.104611
    outer loop
      vertex 2.079117 9.781476 7.000000
      vertex 0.000000 10.000000 7.000000
      vertex 2.074543 9.759957 7.208000
    endloop
  endfacet
  facet normal 0.103955 0.989065 0.104613
    outer loop
      vertex 0.000000 10.000000 7.000000
      vertex 0.000000 9.978000 7.208000
      vertex 2.074543 9.759957 7.208000
    endloop
  endfacet
  facet normal -0.103955 0.989065 0.104613
    outer loop
      vertex 0.000000 10.000000 7.000000
      vertex -2.079117 9.781476 7.000000
      vertex 0.000000 9.978000 7.208000
    endloop
  endfacet
  facet normal -0.103955 0.989065 0.104611
    outer loop
      vertex 0.000000 9.978000 7.208000
      vertex -2.079117 9.781476 7.000000
      vertex -2.074543 9.759957 7.208000
    endloop
  endfacet
  facet normal -0.307321 0.945838 0.104611
    outer loop
      vertex -2.079117 9.781476 7.000000
      vertex -4.067366 9.135455 7.000000
      vertex -2.074543 9.759957 7.208000
    endloop
  endfacet
  facet normal -0.307321 0.945838 0.104612
    outer loop
      vertex -2.074543 9.759957 7.208000
      vertex -4.067366 9.135455 7.000000
      vertex -4.058418 9.115357 7.208000
    endloop
  endfacet
  facet normal -0.497256 0.861274 0.104612
    outer loop
      vertex -4.067366 9.135455 7.000000
      vertex -5.877853 8.090170 7.000000
      vertex -4.058418 9.115357 7.208000
    endloop
  endfacet
  facet normal -0.497257 0.861274 0.104613
    outer loop
      vertex -4.058418 9.115357 7.208000
      vertex -5.877853 8.090170 7.000000
      vertex -5.864921 8.072372 7.208000
    endloop
  endfacet
  facet normal -0.665459 0.739067 0.104614
    outer loop
      vertex -5.877853 8.090170 7.000000
      vertex -7.431448 6.691306 7.000000
      vertex -5.864921 8.072372 7.208000
    endloop
  endfacet
  facet normal -0.665459 0.739067 0.104613
    outer loop
      vertex -5.864921 8.072372 7.208000
      vertex -7.431448 6.691306 7.000000
      vertex -7.415099 6.676585 7.208000
    endloop
  endfacet
  facet normal -0.804578 0.584560 0.104612
    outer loop
      vertex -7.431448 6.691306 7.000000
      vertex -8.660254 5.000000 7.000000
      vertex -7.415099 6.676585 7.208000
    endloop
  endfacet
  facet normal -0.804578 0.584560 0.104614
    outer loop
      vertex -7.415099 6.676585 7.208000
      vertex -8.660254 5.000000 7.000000
      vertex -8.641201 4.989000 7.208000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.389424 -1.733194 3.500000
      vertex -6.476026 -1.783194 3.500000
      vertex -6.992563 -0.688526 3.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.992563 -0.688526 3.500000
      vertex -6.476026 -1.783194 3.500000
      vertex -7.079165 -0.738526 3.500000
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -4.092563 -5.711474 3.500000
      vertex -4.092562 -5.711474 5.674316
      vertex -4.092562 -5.711474 2.325684
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -5.092563 -3.979423 5.558846
      vertex -5.448487 -3.362944 5.790139
      vertex -5.542563 -3.200000 7.348632
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -5.542563 -3.200000 7.348632
      vertex -4.092562 -5.711474 5.674316
      vertex -4.092563 -5.711474 3.500000
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -4.814447 -4.461133 5.058013
      vertex -4.092563 -5.711474 3.500000
      vertex -4.662230 -4.724781 4.374241
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -5.542563 -3.200000 7.348632
      vertex -4.092563 -5.711474 3.500000
      vertex -4.814447 -4.461133 5.058013
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -4.814447 -4.461133 5.058013
      vertex -5.092563 -3.979423 5.558846
      vertex -5.542563 -3.200000 7.348632
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -5.820678 -2.718290 5.711902
      vertex -5.542563 -3.200000 7.348632
      vertex -5.448487 -3.362944 5.790139
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -6.144780 -2.156929 5.337661
      vertex -5.542563 -3.200000 7.348632
      vertex -5.820678 -2.718290 5.711902
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -6.364754 -1.775923 4.732126
      vertex -5.542563 -3.200000 7.348632
      vertex -6.144780 -2.156929 5.337661
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -6.992563 -0.688526 3.500000
      vertex -5.542563 -3.200000 7.348632
      vertex -6.364754 -1.775923 4.732126
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -6.992563 -0.688526 3.500000
      vertex -6.364754 -1.775923 4.732126
      vertex -6.442563 -1.641154 4.000000
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -6.992563 -0.688526 3.500000
      vertex -6.442563 -1.641154 4.000000
      vertex -6.389424 -1.733194 3.500000
    endloop
  endfacet
  facet normal 0.866025 0.500000 -0.000000
    outer loop
      vertex -6.992563 -0.688526 5.674316
      vertex -5.542563 -3.200000 7.348632
      vertex -6.992563 -0.688526 3.500000
    endloop
  endfacet
  facet normal 0.000001 0.000000 -0.000000
    outer loop
      vertex -6.992563 -0.688526 5.674316
      vertex -6.992563 -0.688526 3.500000
      vertex -6.992563 -0.688526 2.325684
    endloop
  endfacet
  facet normal 0.000000 0.000000 0.000000
    outer loop
      vertex -4.092563 -5.711474 2.325684
      vertex -4.092563 -5.711474 3.500000
      vertex -4.092562 -5.711474 2.325684
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -4.092563 -5.711474 3.500000
      vertex -4.662230 -4.724781 3.625759
      vertex -4.662230 -4.724781 4.374241
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -4.092563 -5.711474 3.500000
      vertex -4.690225 -4.676291 3.500000
      vertex -4.662230 -4.724781 3.625759
    endloop
  endfacet
  facet normal 0.250000 -0.433013 0.866025
    outer loop
      vertex -2.944486 -1.700000 0.651368
      vertex -4.481089 0.761474 2.325684
      vertex -3.031089 -1.750000 0.651368
    endloop
  endfacet
  facet normal 0.250000 -0.433013 0.866025
    outer loop
      vertex -4.394486 0.811474 2.325684
      vertex -4.481089 0.761474 2.325684
      vertex -2.944486 -1.700000 0.651368
    endloop
  endfacet
  facet normal 0.000000 -0.000000 0.000001
    outer loop
      vertex -6.992563 -0.688526 2.325684
      vertex -4.481089 0.761474 2.325684
      vertex -4.394486 0.811474 2.325684
    endloop
  endfacet
  facet normal -0.250000 0.433013 0.866025
    outer loop
      vertex -1.581089 -4.261474 2.325684
      vertex -1.494486 -4.211474 2.325684
      vertex -2.944486 -1.700000 0.651368
    endloop
  endfacet
  facet normal -0.250000 0.433013 0.866025
    outer loop
      vertex -1.581089 -4.261474 2.325684
      vertex -4.092563 -5.711474 2.325684
      vertex -4.092562 -5.711474 2.325684
    endloop
  endfacet
  facet normal -0.250000 0.433013 0.866025
    outer loop
      vertex -4.092562 -5.711474 2.325684
      vertex -1.494486 -4.211474 2.325684
      vertex -1.581089 -4.261474 2.325684
    endloop
  endfacet
  facet normal -0.250000 0.433013 0.866025
    outer loop
      vertex -3.031089 -1.750000 0.651368
      vertex -1.581089 -4.261474 2.325684
      vertex -2.944486 -1.700000 0.651368
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.092563 -5.711474 3.500000
      vertex -4.179165 -5.761474 3.500000
      vertex -4.690225 -4.676291 3.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.690225 -4.676291 3.500000
      vertex -4.179165 -5.761474 3.500000
      vertex -4.776828 -4.726291 3.500000
    endloop
  endfacet
  facet normal 0.404508 -0.700629 0.587785
    outer loop
      vertex -3.546704 -0.656929 2.662339
      vertex -2.844378 -0.251441 2.662339
      vertex -2.918208 0.000000 3.012861
    endloop
  endfacet
  facet normal 0.404508 -0.700629 0.587785
    outer loop
      vertex -2.842566 0.257612 3.267874
      vertex -3.546704 -0.656929 2.662339
      vertex -2.918208 0.000000 3.012861
    endloop
  endfacet
  facet normal 0.404508 -0.700629 0.587785
    outer loop
      vertex -2.842566 0.257612 3.267874
      vertex -3.766677 -0.275923 3.267874
      vertex -3.546704 -0.656929 2.662339
    endloop
  endfacet
  facet normal 0.052264 -0.090524 0.994522
    outer loop
      vertex -2.850411 -1.862944 2.209861
      vertex -2.415528 -1.611864 2.209861
      vertex -2.454953 -1.577702 2.215042
    endloop
  endfacet
  facet normal 0.052264 -0.090524 0.994522
    outer loop
      vertex -2.656461 -0.891428 2.288098
      vertex -2.850411 -1.862944 2.209861
      vertex -2.454953 -1.577702 2.215042
    endloop
  endfacet
  facet normal 0.052264 -0.090524 0.994522
    outer loop
      vertex -2.656461 -0.891428 2.288098
      vertex -3.222602 -1.218290 2.288098
      vertex -2.850411 -1.862944 2.209861
    endloop
  endfacet
  facet normal 0.250000 -0.433013 0.866025
    outer loop
      vertex -3.222602 -1.218290 2.288098
      vertex -2.656461 -0.891428 2.288098
      vertex -2.844378 -0.251441 2.662339
    endloop
  endfacet
  facet normal 0.250000 -0.433013 0.866025
    outer loop
      vertex -3.546704 -0.656929 2.662339
      vertex -3.222602 -1.218290 2.288098
      vertex -2.844378 -0.251441 2.662339
    endloop
  endfacet
  facet normal 0.489074 -0.847101 0.207911
    outer loop
      vertex -3.766677 -0.275923 3.267874
      vertex -2.842566 0.257612 3.267874
      vertex -2.779033 0.473985 4.000000
    endloop
  endfacet
  facet normal 0.489074 -0.847101 0.207911
    outer loop
      vertex -3.844486 -0.141154 4.000000
      vertex -3.766677 -0.275923 3.267874
      vertex -2.779033 0.473985 4.000000
    endloop
  endfacet
  facet normal 0.489074 -0.847101 -0.207911
    outer loop
      vertex -2.779033 0.473985 4.000000
      vertex -2.842566 0.257612 4.732126
      vertex -3.766677 -0.275923 4.732126
    endloop
  endfacet
  facet normal 0.489074 -0.847101 -0.207911
    outer loop
      vertex -3.844486 -0.141154 4.000000
      vertex -2.779033 0.473985 4.000000
      vertex -3.766677 -0.275923 4.732126
    endloop
  endfacet
  facet normal 0.404508 -0.700629 -0.587785
    outer loop
      vertex -2.842566 0.257612 4.732126
      vertex -2.918208 0.000000 4.987139
      vertex -3.546704 -0.656929 5.337661
    endloop
  endfacet
  facet normal 0.404508 -0.700629 -0.587785
    outer loop
      vertex -3.546704 -0.656929 5.337661
      vertex -2.918208 0.000000 4.987139
      vertex -2.844378 -0.251441 5.337661
    endloop
  endfacet
  facet normal 0.404508 -0.700629 -0.587785
    outer loop
      vertex -2.842566 0.257612 4.732126
      vertex -3.546704 -0.656929 5.337661
      vertex -3.766677 -0.275923 4.732126
    endloop
  endfacet
  facet normal 0.959493 0.281732 0.000000
    outer loop
      vertex -2.918208 0.000000 20.000000
      vertex -2.454953 -1.577702 20.000000
      vertex -2.454953 -1.577702 5.784958
    endloop
  endfacet
  facet normal 0.959493 0.281732 0.000000
    outer loop
      vertex -2.844378 -0.251441 5.337661
      vertex -2.918208 0.000000 20.000000
      vertex -2.656461 -0.891428 5.711902
    endloop
  endfacet
  facet normal 0.959493 0.281732 0.000000
    outer loop
      vertex -2.656461 -0.891428 5.711902
      vertex -2.918208 0.000000 20.000000
      vertex -2.454953 -1.577702 5.784958
    endloop
  endfacet
  facet normal 0.959493 0.281732 0.000000
    outer loop
      vertex -2.918208 0.000000 4.987139
      vertex -2.918208 0.000000 20.000000
      vertex -2.844378 -0.251441 5.337661
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.139342 -2.802076 20.000000
      vertex -2.802076 -4.139342 20.000000
      vertex -4.908324 -0.945590 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -6.300000 0.700000 20.000000
      vertex -6.300000 -0.700000 20.000000
      vertex -4.908324 -0.945590 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.945590 -4.908324 20.000000
      vertex 0.700000 -6.300000 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.945590 -4.908324 20.000000
      vertex -6.300000 0.700000 20.000000
      vertex -4.908324 -0.945590 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.949747 -3.959798 20.000000
      vertex -3.959798 -4.949747 20.000000
      vertex -4.139342 -2.802076 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.959798 -4.949747 20.000000
      vertex -2.802076 -4.139342 20.000000
      vertex -4.139342 -2.802076 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.802076 -4.139342 20.000000
      vertex -0.945590 -4.908324 20.000000
      vertex -4.908324 -0.945590 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.700000 -6.300000 20.000000
      vertex 0.700000 -6.300000 20.000000
      vertex -0.945590 -4.908324 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.700000 -6.300000 20.000000
      vertex 0.945590 -4.908324 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 2.800000 0.822154 20.000000
      vertex 6.300000 -0.700000 20.000000
      vertex 6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 3.959798 -4.949747 20.000000
      vertex 4.949747 -3.959798 20.000000
      vertex 2.802076 -4.139342 20.000000
    endloop
  endfacet
  facet normal -0.000000 -0.000000 1.000000
    outer loop
      vertex 0.415304 -2.888505 20.000000
      vertex -1.212267 -2.654495 20.000000
      vertex 2.802076 -4.139342 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.945590 4.908324 20.000000
      vertex -2.802076 4.139342 20.000000
      vertex -4.139342 2.802076 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.949747 3.959798 20.000000
      vertex 3.959798 4.949747 20.000000
      vertex 2.802076 4.139342 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.918208 0.000000 20.000000
      vertex -2.454953 1.577702 20.000000
      vertex -4.908324 0.945590 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.949747 3.959798 20.000000
      vertex -2.802076 4.139342 20.000000
      vertex -3.959798 4.949747 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.918208 0.000000 20.000000
      vertex -4.908324 0.945590 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 0.945590 4.908324 20.000000
      vertex 0.700000 6.300000 20.000000
      vertex -0.945590 4.908324 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -1.212267 2.654495 20.000000
      vertex 0.415304 2.888505 20.000000
      vertex 2.802076 4.139342 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.139342 2.802076 20.000000
      vertex -1.212267 2.654495 20.000000
      vertex 0.945590 4.908324 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.139342 2.802076 20.000000
      vertex 0.945590 4.908324 20.000000
      vertex -0.945590 4.908324 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.949747 3.959798 20.000000
      vertex -4.139342 2.802076 20.000000
      vertex -2.802076 4.139342 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 2.800000 0.822154 20.000000
      vertex 2.800000 -0.822154 20.000000
      vertex 4.908324 -0.945590 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.415304 2.888505 20.000000
      vertex 4.139342 2.802076 20.000000
      vertex 4.949747 3.959798 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.945590 -4.908324 20.000000
      vertex -2.454953 -1.577702 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 1.911020 2.205434 20.000000
      vertex 2.800000 0.822154 20.000000
      vertex 4.908324 0.945590 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.454953 -1.577702 20.000000
      vertex -2.918208 0.000000 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 4.949747 3.959798 20.000000
      vertex 2.802076 4.139342 20.000000
      vertex 0.415304 2.888505 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.415304 2.888505 20.000000
      vertex 1.911020 2.205434 20.000000
      vertex 4.139342 2.802076 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.908324 0.945590 20.000000
      vertex 4.139342 2.802076 20.000000
      vertex 1.911020 2.205434 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 6.300000 0.700000 20.000000
      vertex 4.908324 0.945590 20.000000
      vertex 2.800000 0.822154 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 1.911020 -2.205434 20.000000
      vertex 2.802076 -4.139342 20.000000
      vertex 4.949747 -3.959798 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.139342 -2.802076 20.000000
      vertex 4.908324 -0.945590 20.000000
      vertex 2.800000 -0.822154 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.949747 -3.959798 20.000000
      vertex 4.139342 -2.802076 20.000000
      vertex 1.911020 -2.205434 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 1.911020 -2.205434 20.000000
      vertex 0.415304 -2.888505 20.000000
      vertex 2.802076 -4.139342 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.945590 -4.908324 20.000000
      vertex -1.212267 -2.654495 20.000000
      vertex -2.454953 -1.577702 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.945590 -4.908324 20.000000
      vertex 2.802076 -4.139342 20.000000
      vertex -1.212267 -2.654495 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 2.800000 -0.822154 20.000000
      vertex 1.911020 -2.205434 20.000000
      vertex 4.139342 -2.802076 20.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 2.802076 4.139342 20.000000
      vertex 0.945590 4.908324 20.000000
      vertex -1.212267 2.654495 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -0.700000 6.300000 20.000000
      vertex -0.945590 4.908324 20.000000
      vertex 0.700000 6.300000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 2.800000 0.822154 20.000000
      vertex 4.908324 -0.945590 20.000000
      vertex 6.300000 -0.700000 20.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.139342 2.802076 20.000000
      vertex -2.454953 1.577702 20.000000
      vertex -1.212267 2.654495 20.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -4.139342 2.802076 20.000000
      vertex -4.908324 0.945590 20.000000
      vertex -2.454953 1.577702 20.000000
    endloop
  endfacet
  facet normal -0.456773 0.791154 0.406737
    outer loop
      vertex -1.103480 -2.670136 3.625759
      vertex -1.212267 -2.654495 3.473165
      vertex -2.064153 -3.224781 3.625759
    endloop
  endfacet
  facet normal -0.456773 0.791154 0.406737
    outer loop
      vertex -2.064153 -3.224781 3.625759
      vertex -1.212267 -2.654495 3.473165
      vertex -1.401401 -2.490610 2.941987
    endloop
  endfacet
  facet normal -0.456773 0.791154 0.406737
    outer loop
      vertex -2.064153 -3.224781 3.625759
      vertex -1.401401 -2.490610 2.941987
      vertex -2.216371 -2.961133 2.941987
    endloop
  endfacet
  facet normal 0.654861 0.755750 -0.000000
    outer loop
      vertex -1.212267 -2.654495 20.000000
      vertex -1.212267 -2.654495 4.526835
      vertex -2.454953 -1.577702 20.000000
    endloop
  endfacet
  facet normal 0.654861 0.755750 0.000000
    outer loop
      vertex -2.454953 -1.577702 20.000000
      vertex -1.212267 -2.654495 4.526835
      vertex -1.401401 -2.490610 5.058013
    endloop
  endfacet
  facet normal 0.654861 0.755750 0.000000
    outer loop
      vertex -2.454953 -1.577702 20.000000
      vertex -1.401401 -2.490610 5.058013
      vertex -1.846238 -2.105156 5.558846
    endloop
  endfacet
  facet normal 0.654861 0.755750 0.000000
    outer loop
      vertex -1.846238 -2.105156 5.558846
      vertex -2.415528 -1.611864 5.790139
      vertex -2.454953 -1.577702 20.000000
    endloop
  endfacet
  facet normal 0.654861 0.755750 0.000000
    outer loop
      vertex -2.415528 -1.611864 5.790139
      vertex -2.454953 -1.577702 5.784958
      vertex -2.454953 -1.577702 20.000000
    endloop
  endfacet
  facet normal -0.456773 0.791154 -0.406737
    outer loop
      vertex -1.212267 -2.654495 4.526835
      vertex -1.103480 -2.670136 4.374241
      vertex -2.064153 -3.224781 4.374241
    endloop
  endfacet
  facet normal -0.456773 0.791154 -0.406737
    outer loop
      vertex -1.212267 -2.654495 4.526835
      vertex -2.064153 -3.224781 4.374241
      vertex -1.401401 -2.490610 5.058013
    endloop
  endfacet
  facet normal -0.456773 0.791154 -0.406737
    outer loop
      vertex -2.064153 -3.224781 4.374241
      vertex -2.216371 -2.961133 5.058013
      vertex -1.401401 -2.490610 5.058013
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -1.103480 -2.670136 3.625759
      vertex -2.064153 -3.224781 3.625759
      vertex -1.103480 -2.670136 4.374241
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -1.103480 -2.670136 4.374241
      vertex -2.064153 -3.224781 3.625759
      vertex -2.064153 -3.224781 4.374241
    endloop
  endfacet
  facet normal -0.334565 0.579484 0.743145
    outer loop
      vertex -2.216371 -2.961133 2.941987
      vertex -1.401401 -2.490610 2.941987
      vertex -1.846238 -2.105156 2.441154
    endloop
  endfacet
  facet normal -0.334565 0.579484 0.743145
    outer loop
      vertex -2.494486 -2.479423 2.441154
      vertex -2.216371 -2.961133 2.941987
      vertex -1.846238 -2.105156 2.441154
    endloop
  endfacet
  facet normal -0.154508 0.267616 0.951057
    outer loop
      vertex -2.494486 -2.479423 2.441154
      vertex -1.846238 -2.105156 2.441154
      vertex -2.415528 -1.611864 2.209861
    endloop
  endfacet
  facet normal -0.154508 0.267616 0.951057
    outer loop
      vertex -2.850411 -1.862944 2.209861
      vertex -2.494486 -2.479423 2.441154
      vertex -2.415528 -1.611864 2.209861
    endloop
  endfacet
  facet normal -0.770562 0.559846 0.304641
    outer loop
      vertex -7.415099 6.676585 7.208000
      vertex -8.641201 4.989000 7.208000
      vertex -7.367538 6.633761 7.407000
    endloop
  endfacet
  facet normal -0.770562 0.559846 0.304641
    outer loop
      vertex -7.367538 6.633761 7.407000
      vertex -8.641201 4.989000 7.208000
      vertex -8.585776 4.957000 7.407000
    endloop
  endfacet
  facet normal -0.700756 0.509129 0.499729
    outer loop
      vertex -7.367538 6.633761 7.407000
      vertex -8.585776 4.957000 7.407000
      vertex -7.289508 6.563502 7.588000
    endloop
  endfacet
  facet normal -0.700756 0.509129 0.499730
    outer loop
      vertex -7.289508 6.563502 7.588000
      vertex -8.585776 4.957000 7.407000
      vertex -8.494843 4.904500 7.588000
    endloop
  endfacet
  facet normal -0.791296 0.352307 0.499730
    outer loop
      vertex -8.585776 4.957000 7.407000
      vertex -9.428774 3.063594 7.407000
      vertex -8.494843 4.904500 7.588000
    endloop
  endfacet
  facet normal -0.791297 0.352308 0.499728
    outer loop
      vertex -8.494843 4.904500 7.588000
      vertex -9.428774 3.063594 7.407000
      vertex -9.328913 3.031148 7.588000
    endloop
  endfacet
  facet normal -0.847254 0.180090 0.499728
    outer loop
      vertex -9.428774 3.063594 7.407000
      vertex -9.859690 1.036295 7.407000
      vertex -9.328913 3.031148 7.588000
    endloop
  endfacet
  facet normal -0.847254 0.180089 0.499729
    outer loop
      vertex -9.328913 3.031148 7.588000
      vertex -9.859690 1.036295 7.407000
      vertex -9.755265 1.025320 7.588000
    endloop
  endfacet
  facet normal -0.866182 0.000000 0.499729
    outer loop
      vertex -9.859690 -1.036295 7.407000
      vertex -9.755265 -1.025320 7.588000
      vertex -9.859690 1.036295 7.407000
    endloop
  endfacet
  facet normal -0.866182 0.000000 0.499729
    outer loop
      vertex -9.859690 1.036295 7.407000
      vertex -9.755265 -1.025320 7.588000
      vertex -9.755265 1.025320 7.588000
    endloop
  endfacet
  facet normal -0.847254 -0.180089 0.499729
    outer loop
      vertex -9.755265 -1.025320 7.588000
      vertex -9.859690 -1.036295 7.407000
      vertex -9.428774 -3.063594 7.407000
    endloop
  endfacet
  facet normal -0.847254 -0.180089 0.499728
    outer loop
      vertex -9.328913 -3.031148 7.588000
      vertex -9.755265 -1.025320 7.588000
      vertex -9.428774 -3.063594 7.407000
    endloop
  endfacet
  facet normal -0.791297 -0.352308 0.499728
    outer loop
      vertex -9.328913 -3.031148 7.588000
      vertex -9.428774 -3.063594 7.407000
      vertex -8.585776 -4.957000 7.407000
    endloop
  endfacet
  facet normal -0.870122 -0.387403 0.304640
    outer loop
      vertex -8.585776 -4.957000 7.407000
      vertex -9.428774 -3.063594 7.407000
      vertex -8.641201 -4.989000 7.208000
    endloop
  endfacet
  facet normal -0.770562 -0.559846 0.304641
    outer loop
      vertex -8.585776 -4.957000 7.407000
      vertex -8.641201 -4.989000 7.208000
      vertex -7.415099 -6.676585 7.208000
    endloop
  endfacet
  facet normal -0.770562 -0.559846 0.304641
    outer loop
      vertex -7.367538 -6.633761 7.407000
      vertex -8.585776 -4.957000 7.407000
      vertex -7.415099 -6.676585 7.208000
    endloop
  endfacet
  facet normal -0.637325 -0.707821 0.304641
    outer loop
      vertex -7.367538 -6.633761 7.407000
      vertex -7.415099 -6.676585 7.208000
      vertex -5.864921 -8.072372 7.208000
    endloop
  endfacet
  facet normal -0.637324 -0.707820 0.304645
    outer loop
      vertex -5.827303 -8.020594 7.407000
      vertex -7.367538 -6.633761 7.407000
      vertex -5.864921 -8.072372 7.208000
    endloop
  endfacet
  facet normal -0.476233 -0.824860 0.304646
    outer loop
      vertex -5.827303 -8.020594 7.407000
      vertex -5.864921 -8.072372 7.208000
      vertex -4.058418 -9.115357 7.208000
    endloop
  endfacet
  facet normal -0.476234 -0.824860 0.304643
    outer loop
      vertex -4.032387 -9.056890 7.407000
      vertex -5.827303 -8.020594 7.407000
      vertex -4.058418 -9.115357 7.208000
    endloop
  endfacet
  facet normal -0.294328 -0.905850 0.304643
    outer loop
      vertex -4.032387 -9.056890 7.407000
      vertex -4.058418 -9.115357 7.208000
      vertex -2.074543 -9.759957 7.208000
    endloop
  endfacet
  facet normal -0.294328 -0.905849 0.304645
    outer loop
      vertex -2.061237 -9.697355 7.407000
      vertex -4.032387 -9.056890 7.407000
      vertex -2.074543 -9.759957 7.208000
    endloop
  endfacet
  facet normal -0.099560 -0.947248 0.304645
    outer loop
      vertex -2.061237 -9.697355 7.407000
      vertex -2.074543 -9.759957 7.208000
      vertex 0.000000 -9.978000 7.208000
    endloop
  endfacet
  facet normal -0.099560 -0.947249 0.304643
    outer loop
      vertex 0.000000 -9.914000 7.407000
      vertex -2.061237 -9.697355 7.407000
      vertex 0.000000 -9.978000 7.208000
    endloop
  endfacet
  facet normal 0.099560 -0.947249 0.304643
    outer loop
      vertex 0.000000 -9.914000 7.407000
      vertex 0.000000 -9.978000 7.208000
      vertex 2.074543 -9.759957 7.208000
    endloop
  endfacet
  facet normal 0.099560 -0.947248 0.304645
    outer loop
      vertex 2.061237 -9.697355 7.407000
      vertex 0.000000 -9.914000 7.407000
      vertex 2.074543 -9.759957 7.208000
    endloop
  endfacet
  facet normal 0.294328 -0.905849 0.304645
    outer loop
      vertex 4.058418 -9.115357 7.208000
      vertex 2.061237 -9.697355 7.407000
      vertex 2.074543 -9.759957 7.208000
    endloop
  endfacet
  facet normal 0.294328 -0.905850 0.304643
    outer loop
      vertex 4.032387 -9.056890 7.407000
      vertex 2.061237 -9.697355 7.407000
      vertex 4.058418 -9.115357 7.208000
    endloop
  endfacet
  facet normal 0.476233 -0.824860 0.304643
    outer loop
      vertex 5.864921 -8.072372 7.208000
      vertex 4.032387 -9.056890 7.407000
      vertex 4.058418 -9.115357 7.208000
    endloop
  endfacet
  facet normal 0.476233 -0.824859 0.304646
    outer loop
      vertex 5.827303 -8.020594 7.407000
      vertex 4.032387 -9.056890 7.407000
      vertex 5.864921 -8.072372 7.208000
    endloop
  endfacet
  facet normal 0.637324 -0.707820 0.304645
    outer loop
      vertex 7.415099 -6.676585 7.208000
      vertex 5.827303 -8.020594 7.407000
      vertex 5.864921 -8.072372 7.208000
    endloop
  endfacet
  facet normal 0.637325 -0.707821 0.304641
    outer loop
      vertex 7.367538 -6.633761 7.407000
      vertex 5.827303 -8.020594 7.407000
      vertex 7.415099 -6.676585 7.208000
    endloop
  endfacet
  facet normal 0.770562 -0.559846 0.304641
    outer loop
      vertex 8.641201 -4.989000 7.208000
      vertex 7.367538 -6.633761 7.407000
      vertex 7.415099 -6.676585 7.208000
    endloop
  endfacet
  facet normal 0.770562 -0.559846 0.304641
    outer loop
      vertex 8.585776 -4.957000 7.407000
      vertex 7.367538 -6.633761 7.407000
      vertex 8.641201 -4.989000 7.208000
    endloop
  endfacet
  facet normal 0.870122 -0.387404 0.304640
    outer loop
      vertex 9.489642 -3.083372 7.208000
      vertex 8.585776 -4.957000 7.407000
      vertex 8.641201 -4.989000 7.208000
    endloop
  endfacet
  facet normal 0.870121 -0.387402 0.304646
    outer loop
      vertex 9.428774 -3.063594 7.407000
      vertex 8.585776 -4.957000 7.407000
      vertex 9.489642 -3.083372 7.208000
    endloop
  endfacet
  facet normal 0.931652 -0.198029 0.304645
    outer loop
      vertex 9.923339 -1.042985 7.208000
      vertex 9.428774 -3.063594 7.407000
      vertex 9.489642 -3.083372 7.208000
    endloop
  endfacet
  facet normal 0.931653 -0.198029 0.304641
    outer loop
      vertex 9.859690 -1.036295 7.407000
      vertex 9.428774 -3.063594 7.407000
      vertex 9.923339 -1.042985 7.208000
    endloop
  endfacet
  facet normal 0.952467 -0.000000 0.304641
    outer loop
      vertex 9.859690 1.036295 7.407000
      vertex 9.859690 -1.036295 7.407000
      vertex 9.923339 -1.042985 7.208000
    endloop
  endfacet
  facet normal 0.952467 -0.000000 0.304641
    outer loop
      vertex 9.923339 1.042985 7.208000
      vertex 9.859690 1.036295 7.407000
      vertex 9.923339 -1.042985 7.208000
    endloop
  endfacet
  facet normal 0.931654 0.198029 0.304641
    outer loop
      vertex 9.923339 1.042985 7.208000
      vertex 9.489642 3.083372 7.208000
      vertex 9.859690 1.036295 7.407000
    endloop
  endfacet
  facet normal 0.931652 0.198029 0.304645
    outer loop
      vertex 9.489642 3.083372 7.208000
      vertex 9.428774 3.063594 7.407000
      vertex 9.859690 1.036295 7.407000
    endloop
  endfacet
  facet normal 0.870121 0.387403 0.304646
    outer loop
      vertex 9.489642 3.083372 7.208000
      vertex 8.641201 4.989000 7.208000
      vertex 9.428774 3.063594 7.407000
    endloop
  endfacet
  facet normal 0.870122 0.387403 0.304640
    outer loop
      vertex 8.641201 4.989000 7.208000
      vertex 8.585776 4.957000 7.407000
      vertex 9.428774 3.063594 7.407000
    endloop
  endfacet
  facet normal 0.770562 0.559846 0.304641
    outer loop
      vertex 8.641201 4.989000 7.208000
      vertex 7.415099 6.676585 7.208000
      vertex 8.585776 4.957000 7.407000
    endloop
  endfacet
  facet normal 0.770562 0.559846 0.304641
    outer loop
      vertex 7.415099 6.676585 7.208000
      vertex 7.367538 6.633761 7.407000
      vertex 8.585776 4.957000 7.407000
    endloop
  endfacet
  facet normal 0.637325 0.707821 0.304641
    outer loop
      vertex 7.415099 6.676585 7.208000
      vertex 5.864921 8.072372 7.208000
      vertex 7.367538 6.633761 7.407000
    endloop
  endfacet
  facet normal 0.637324 0.707820 0.304645
    outer loop
      vertex 5.864921 8.072372 7.208000
      vertex 5.827303 8.020594 7.407000
      vertex 7.367538 6.633761 7.407000
    endloop
  endfacet
  facet normal 0.476233 0.824860 0.304646
    outer loop
      vertex 5.864921 8.072372 7.208000
      vertex 4.058418 9.115357 7.208000
      vertex 5.827303 8.020594 7.407000
    endloop
  endfacet
  facet normal 0.476234 0.824860 0.304643
    outer loop
      vertex 4.058418 9.115357 7.208000
      vertex 4.032387 9.056890 7.407000
      vertex 5.827303 8.020594 7.407000
    endloop
  endfacet
  facet normal 0.294328 0.905850 0.304643
    outer loop
      vertex 4.058418 9.115357 7.208000
      vertex 2.074543 9.759957 7.208000
      vertex 4.032387 9.056890 7.407000
    endloop
  endfacet
  facet normal 0.294328 0.905849 0.304645
    outer loop
      vertex 2.074543 9.759957 7.208000
      vertex 2.061237 9.697355 7.407000
      vertex 4.032387 9.056890 7.407000
    endloop
  endfacet
  facet normal 0.099560 0.947248 0.304645
    outer loop
      vertex 2.074543 9.759957 7.208000
      vertex 0.000000 9.978000 7.208000
      vertex 2.061237 9.697355 7.407000
    endloop
  endfacet
  facet normal 0.099560 0.947249 0.304643
    outer loop
      vertex 0.000000 9.978000 7.208000
      vertex 0.000000 9.914000 7.407000
      vertex 2.061237 9.697355 7.407000
    endloop
  endfacet
  facet normal -0.099560 0.947249 0.304643
    outer loop
      vertex 0.000000 9.978000 7.208000
      vertex -2.074543 9.759957 7.208000
      vertex 0.000000 9.914000 7.407000
    endloop
  endfacet
  facet normal -0.099560 0.947248 0.304645
    outer loop
      vertex 0.000000 9.914000 7.407000
      vertex -2.074543 9.759957 7.208000
      vertex -2.061237 9.697355 7.407000
    endloop
  endfacet
  facet normal -0.294328 0.905849 0.304645
    outer loop
      vertex -2.074543 9.759957 7.208000
      vertex -4.058418 9.115357 7.208000
      vertex -2.061237 9.697355 7.407000
    endloop
  endfacet
  facet normal -0.294328 0.905850 0.304643
    outer loop
      vertex -2.061237 9.697355 7.407000
      vertex -4.058418 9.115357 7.208000
      vertex -4.032387 9.056890 7.407000
    endloop
  endfacet
  facet normal -0.476233 0.824860 0.304643
    outer loop
      vertex -4.058418 9.115357 7.208000
      vertex -5.864921 8.072372 7.208000
      vertex -4.032387 9.056890 7.407000
    endloop
  endfacet
  facet normal -0.476233 0.824859 0.304646
    outer loop
      vertex -4.032387 9.056890 7.407000
      vertex -5.864921 8.072372 7.208000
      vertex -5.827303 8.020594 7.407000
    endloop
  endfacet
  facet normal -0.637324 0.707820 0.304645
    outer loop
      vertex -5.864921 8.072372 7.208000
      vertex -7.415099 6.676585 7.208000
      vertex -5.827303 8.020594 7.407000
    endloop
  endfacet
  facet normal -0.637325 0.707821 0.304641
    outer loop
      vertex -5.827303 8.020594 7.407000
      vertex -7.415099 6.676585 7.208000
      vertex -7.367538 6.633761 7.407000
    endloop
  endfacet
  facet normal -0.250000 0.433013 -0.866025
    outer loop
      vertex -1.494486 -4.211474 5.674316
      vertex -4.092562 -5.711474 5.674316
      vertex -2.944486 -1.700000 7.348632
    endloop
  endfacet
  facet normal -0.250000 0.433013 -0.866025
    outer loop
      vertex -2.944486 -1.700000 7.348632
      vertex -4.092562 -5.711474 5.674316
      vertex -5.542563 -3.200000 7.348632
    endloop
  endfacet
  facet normal 0.250000 -0.433013 -0.866025
    outer loop
      vertex -2.944486 -1.700000 7.348632
      vertex -5.542563 -3.200000 7.348632
      vertex -4.394487 0.811474 5.674316
    endloop
  endfacet
  facet normal 0.250000 -0.433013 -0.866025
    outer loop
      vertex -4.394487 0.811474 5.674316
      vertex -5.542563 -3.200000 7.348632
      vertex -6.992563 -0.688526 5.674316
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex -6.992563 -0.688526 2.325684
      vertex -4.394486 0.811474 2.325684
      vertex -4.394487 0.811474 5.674316
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex -6.992563 -0.688526 5.674316
      vertex -6.992563 -0.688526 2.325684
      vertex -4.394487 0.811474 5.674316
    endloop
  endfacet
  facet normal -0.500000 0.866025 -0.000000
    outer loop
      vertex -1.494486 -4.211474 2.325684
      vertex -4.092562 -5.711474 2.325684
      vertex -1.494486 -4.211474 5.674316
    endloop
  endfacet
  facet normal -0.500000 0.866025 -0.000000
    outer loop
      vertex -1.494486 -4.211474 5.674316
      vertex -4.092562 -5.711474 2.325684
      vertex -4.092562 -5.711474 5.674316
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -2.064153 -3.224781 4.374241
      vertex -1.494486 -4.211474 2.325684
      vertex -1.494486 -4.211474 5.674316
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -2.850411 -1.862944 5.790139
      vertex -1.494486 -4.211474 5.674316
      vertex -2.944486 -1.700000 7.348632
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -3.766677 -0.275923 4.732126
      vertex -2.944486 -1.700000 7.348632
      vertex -4.394487 0.811474 5.674316
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -3.546704 -0.656929 5.337661
      vertex -2.944486 -1.700000 7.348632
      vertex -3.766677 -0.275923 4.732126
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -4.394486 0.811474 2.325684
      vertex -3.766677 -0.275923 4.732126
      vertex -4.394487 0.811474 5.674316
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -3.222602 -1.218290 5.711902
      vertex -2.944486 -1.700000 7.348632
      vertex -3.546704 -0.656929 5.337661
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -2.064153 -3.224781 4.374241
      vertex -1.494486 -4.211474 5.674316
      vertex -2.216371 -2.961133 5.058013
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -2.494486 -2.479423 5.558846
      vertex -1.494486 -4.211474 5.674316
      vertex -2.850411 -1.862944 5.790139
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -3.222602 -1.218290 5.711902
      vertex -2.850411 -1.862944 5.790139
      vertex -2.944486 -1.700000 7.348632
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -2.216371 -2.961133 5.058013
      vertex -1.494486 -4.211474 5.674316
      vertex -2.494486 -2.479423 5.558846
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -2.064153 -3.224781 3.625759
      vertex -1.494486 -4.211474 2.325684
      vertex -2.064153 -3.224781 4.374241
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -2.850411 -1.862944 2.209861
      vertex -1.494486 -4.211474 2.325684
      vertex -2.494486 -2.479423 2.441154
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -2.216371 -2.961133 2.941987
      vertex -1.494486 -4.211474 2.325684
      vertex -2.064153 -3.224781 3.625759
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -2.494486 -2.479423 2.441154
      vertex -1.494486 -4.211474 2.325684
      vertex -2.216371 -2.961133 2.941987
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -2.944486 -1.700000 0.651368
      vertex -1.494486 -4.211474 2.325684
      vertex -2.850411 -1.862944 2.209861
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -2.944486 -1.700000 0.651368
      vertex -2.850411 -1.862944 2.209861
      vertex -4.394486 0.811474 2.325684
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -3.546704 -0.656929 2.662339
      vertex -4.394486 0.811474 2.325684
      vertex -3.222602 -1.218290 2.288098
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -2.850411 -1.862944 2.209861
      vertex -3.222602 -1.218290 2.288098
      vertex -4.394486 0.811474 2.325684
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -3.766677 -0.275923 3.267874
      vertex -4.394486 0.811474 2.325684
      vertex -3.546704 -0.656929 2.662339
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -3.844486 -0.141154 4.000000
      vertex -4.394486 0.811474 2.325684
      vertex -3.766677 -0.275923 3.267874
    endloop
  endfacet
  facet normal -0.866025 -0.500000 -0.000000
    outer loop
      vertex -3.766677 -0.275923 4.732126
      vertex -4.394486 0.811474 2.325684
      vertex -3.844486 -0.141154 4.000000
    endloop
  endfacet
  facet normal 0.250000 -0.433013 -0.866025
    outer loop
      vertex -2.656461 -0.891428 5.711902
      vertex -3.222602 -1.218290 5.711902
      vertex -2.844378 -0.251441 5.337661
    endloop
  endfacet
  facet normal 0.250000 -0.433013 -0.866025
    outer loop
      vertex -2.844378 -0.251441 5.337661
      vertex -3.222602 -1.218290 5.711902
      vertex -3.546704 -0.656929 5.337661
    endloop
  endfacet
  facet normal 0.052264 -0.090524 -0.994522
    outer loop
      vertex -2.454953 -1.577702 5.784958
      vertex -2.415528 -1.611864 5.790139
      vertex -2.850411 -1.862944 5.790139
    endloop
  endfacet
  facet normal 0.052264 -0.090524 -0.994522
    outer loop
      vertex -2.454953 -1.577702 5.784958
      vertex -2.850411 -1.862944 5.790139
      vertex -2.656461 -0.891428 5.711902
    endloop
  endfacet
  facet normal 0.052264 -0.090524 -0.994522
    outer loop
      vertex -2.850411 -1.862944 5.790139
      vertex -3.222602 -1.218290 5.711902
      vertex -2.656461 -0.891428 5.711902
    endloop
  endfacet
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -6.300000 -0.700000 8.000000
      vertex -6.300000 -0.700000 20.000000
      vertex -6.300000 0.700000 8.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -6.300000 0.700000 8.000000
      vertex -6.300000 -0.700000 20.000000
      vertex -6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal -0.173785 0.984784 0.000000
    outer loop
      vertex -6.300000 0.700000 8.000000
      vertex -6.300000 0.700000 20.000000
      vertex -4.908324 0.945590 8.000000
    endloop
  endfacet
  facet normal -0.173785 0.984784 0.000000
    outer loop
      vertex -4.908324 0.945590 8.000000
      vertex -6.300000 0.700000 20.000000
      vertex -4.908324 0.945590 20.000000
    endloop
  endfacet
  facet normal -0.923880 0.382683 0.000000
    outer loop
      vertex -4.908324 0.945590 8.000000
      vertex -4.908324 0.945590 20.000000
      vertex -4.139342 2.802076 8.000000
    endloop
  endfacet
  facet normal -0.923880 0.382683 0.000000
    outer loop
      vertex -4.139342 2.802076 8.000000
      vertex -4.908324 0.945590 20.000000
      vertex -4.139342 2.802076 20.000000
    endloop
  endfacet
  facet normal -0.819232 -0.573462 -0.000000
    outer loop
      vertex -4.949747 3.959798 8.000000
      vertex -4.139342 2.802076 8.000000
      vertex -4.949747 3.959798 20.000000
    endloop
  endfacet
  facet normal -0.819232 -0.573462 0.000000
    outer loop
      vertex -4.949747 3.959798 20.000000
      vertex -4.139342 2.802076 8.000000
      vertex -4.139342 2.802076 20.000000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex -4.949747 3.959798 8.000000
      vertex -4.949747 3.959798 20.000000
      vertex -3.959798 4.949747 8.000000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex -3.959798 4.949747 8.000000
      vertex -4.949747 3.959798 20.000000
      vertex -3.959798 4.949747 20.000000
    endloop
  endfacet
  facet normal 0.573462 0.819232 0.000000
    outer loop
      vertex -3.959798 4.949747 8.000000
      vertex -3.959798 4.949747 20.000000
      vertex -2.802076 4.139342 8.000000
    endloop
  endfacet
  facet normal 0.573462 0.819232 0.000000
    outer loop
      vertex -2.802076 4.139342 8.000000
      vertex -3.959798 4.949747 20.000000
      vertex -2.802076 4.139342 20.000000
    endloop
  endfacet
  facet normal -0.382683 0.923880 0.000000
    outer loop
      vertex -2.802076 4.139342 8.000000
      vertex -2.802076 4.139342 20.000000
      vertex -0.945590 4.908324 8.000000
    endloop
  endfacet
  facet normal -0.382683 0.923880 0.000000
    outer loop
      vertex -0.945590 4.908324 8.000000
      vertex -2.802076 4.139342 20.000000
      vertex -0.945590 4.908324 20.000000
    endloop
  endfacet
  facet normal -0.984784 0.173785 0.000000
    outer loop
      vertex -0.945590 4.908324 8.000000
      vertex -0.945590 4.908324 20.000000
      vertex -0.700000 6.300000 8.000000
    endloop
  endfacet
  facet normal -0.984784 0.173785 0.000000
    outer loop
      vertex -0.700000 6.300000 8.000000
      vertex -0.945590 4.908324 20.000000
      vertex -0.700000 6.300000 20.000000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex -0.700000 6.300000 8.000000
      vertex -0.700000 6.300000 20.000000
      vertex 0.700000 6.300000 8.000000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex 0.700000 6.300000 8.000000
      vertex -0.700000 6.300000 20.000000
      vertex 0.700000 6.300000 20.000000
    endloop
  endfacet
  facet normal 0.984784 0.173785 0.000000
    outer loop
      vertex 0.945590 4.908324 8.000000
      vertex 0.700000 6.300000 8.000000
      vertex 0.700000 6.300000 20.000000
    endloop
  endfacet
  facet normal 0.984784 0.173785 -0.000000
    outer loop
      vertex 0.945590 4.908324 20.000000
      vertex 0.945590 4.908324 8.000000
      vertex 0.700000 6.300000 20.000000
    endloop
  endfacet
  facet normal 0.382683 0.923880 0.000000
    outer loop
      vertex 0.945590 4.908324 8.000000
      vertex 0.945590 4.908324 20.000000
      vertex 2.802076 4.139342 8.000000
    endloop
  endfacet
  facet normal 0.382683 0.923880 0.000000
    outer loop
      vertex 2.802076 4.139342 8.000000
      vertex 0.945590 4.908324 20.000000
      vertex 2.802076 4.139342 20.000000
    endloop
  endfacet
  facet normal -0.573462 0.819232 0.000000
    outer loop
      vertex 2.802076 4.139342 8.000000
      vertex 2.802076 4.139342 20.000000
      vertex 3.959798 4.949747 8.000000
    endloop
  endfacet
  facet normal -0.573462 0.819232 0.000000
    outer loop
      vertex 3.959798 4.949747 8.000000
      vertex 2.802076 4.139342 20.000000
      vertex 3.959798 4.949747 20.000000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex 4.949747 3.959798 8.000000
      vertex 3.959798 4.949747 8.000000
      vertex 3.959798 4.949747 20.000000
    endloop
  endfacet
  facet normal 0.707107 0.707107 -0.000000
    outer loop
      vertex 4.949747 3.959798 20.000000
      vertex 4.949747 3.959798 8.000000
      vertex 3.959798 4.949747 20.000000
    endloop
  endfacet
  facet normal 0.819232 -0.573462 0.000000
    outer loop
      vertex 4.139342 2.802076 20.000000
      vertex 4.139342 2.802076 8.000000
      vertex 4.949747 3.959798 8.000000
    endloop
  endfacet
  facet normal 0.819232 -0.573462 0.000000
    outer loop
      vertex 4.949747 3.959798 20.000000
      vertex 4.139342 2.802076 20.000000
      vertex 4.949747 3.959798 8.000000
    endloop
  endfacet
  facet normal 0.923880 0.382683 0.000000
    outer loop
      vertex 4.908324 0.945590 8.000000
      vertex 4.139342 2.802076 8.000000
      vertex 4.139342 2.802076 20.000000
    endloop
  endfacet
  facet normal 0.923880 0.382683 -0.000000
    outer loop
      vertex 4.908324 0.945590 20.000000
      vertex 4.908324 0.945590 8.000000
      vertex 4.139342 2.802076 20.000000
    endloop
  endfacet
  facet normal 0.173785 0.984784 0.000000
    outer loop
      vertex 4.908324 0.945590 8.000000
      vertex 4.908324 0.945590 20.000000
      vertex 6.300000 0.700000 8.000000
    endloop
  endfacet
  facet normal 0.173785 0.984784 0.000000
    outer loop
      vertex 6.300000 0.700000 8.000000
      vertex 4.908324 0.945590 20.000000
      vertex 6.300000 0.700000 20.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 -0.000000
    outer loop
      vertex 6.300000 -0.700000 20.000000
      vertex 6.300000 -0.700000 8.000000
      vertex 6.300000 0.700000 8.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 6.300000 0.700000 20.000000
      vertex 6.300000 -0.700000 20.000000
      vertex 6.300000 0.700000 8.000000
    endloop
  endfacet
  facet normal 0.173785 -0.984784 0.000000
    outer loop
      vertex 4.908324 -0.945590 20.000000
      vertex 4.908324 -0.945590 8.000000
      vertex 6.300000 -0.700000 8.000000
    endloop
  endfacet
  facet normal 0.173785 -0.984784 0.000000
    outer loop
      vertex 6.300000 -0.700000 20.000000
      vertex 4.908324 -0.945590 20.000000
      vertex 6.300000 -0.700000 8.000000
    endloop
  endfacet
  facet normal 0.923880 -0.382683 0.000000
    outer loop
      vertex 4.139342 -2.802076 20.000000
      vertex 4.139342 -2.802076 8.000000
      vertex 4.908324 -0.945590 8.000000
    endloop
  endfacet
  facet normal 0.923880 -0.382683 0.000000
    outer loop
      vertex 4.908324 -0.945590 20.000000
      vertex 4.139342 -2.802076 20.000000
      vertex 4.908324 -0.945590 8.000000
    endloop
  endfacet
  facet normal 0.819232 0.573462 0.000000
    outer loop
      vertex 4.949747 -3.959798 8.000000
      vertex 4.139342 -2.802076 8.000000
      vertex 4.139342 -2.802076 20.000000
    endloop
  endfacet
  facet normal 0.819232 0.573462 -0.000000
    outer loop
      vertex 4.949747 -3.959798 20.000000
      vertex 4.949747 -3.959798 8.000000
      vertex 4.139342 -2.802076 20.000000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex 3.959798 -4.949747 20.000000
      vertex 3.959798 -4.949747 8.000000
      vertex 4.949747 -3.959798 8.000000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex 4.949747 -3.959798 20.000000
      vertex 3.959798 -4.949747 20.000000
      vertex 4.949747 -3.959798 8.000000
    endloop
  endfacet
  facet normal -0.573462 -0.819232 0.000000
    outer loop
      vertex 2.802076 -4.139342 20.000000
      vertex 2.802076 -4.139342 8.000000
      vertex 3.959798 -4.949747 8.000000
    endloop
  endfacet
  facet normal -0.573462 -0.819232 0.000000
    outer loop
      vertex 3.959798 -4.949747 20.000000
      vertex 2.802076 -4.139342 20.000000
      vertex 3.959798 -4.949747 8.000000
    endloop
  endfacet
  facet normal 0.382683 -0.923880 0.000000
    outer loop
      vertex 0.945590 -4.908324 20.000000
      vertex 0.945590 -4.908324 8.000000
      vertex 2.802076 -4.139342 8.000000
    endloop
  endfacet
  facet normal 0.382683 -0.923880 0.000000
    outer loop
      vertex 2.802076 -4.139342 20.000000
      vertex 0.945590 -4.908324 20.000000
      vertex 2.802076 -4.139342 8.000000
    endloop
  endfacet
  facet normal 0.984784 -0.173785 0.000000
    outer loop
      vertex 0.700000 -6.300000 20.000000
      vertex 0.700000 -6.300000 8.000000
      vertex 0.945590 -4.908324 8.000000
    endloop
  endfacet
  facet normal 0.984784 -0.173785 0.000000
    outer loop
      vertex 0.945590 -4.908324 20.000000
      vertex 0.700000 -6.300000 20.000000
      vertex 0.945590 -4.908324 8.000000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex -0.700000 -6.300000 20.000000
      vertex -0.700000 -6.300000 8.000000
      vertex 0.700000 -6.300000 8.000000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex 0.700000 -6.300000 20.000000
      vertex -0.700000 -6.300000 20.000000
      vertex 0.700000 -6.300000 8.000000
    endloop
  endfacet
  facet normal -0.984784 -0.173785 -0.000000
    outer loop
      vertex -0.945590 -4.908324 8.000000
      vertex -0.700000 -6.300000 8.000000
      vertex -0.945590 -4.908324 20.000000
    endloop
  endfacet
  facet normal -0.984784 -0.173785 0.000000
    outer loop
      vertex -0.945590 -4.908324 20.000000
      vertex -0.700000 -6.300000 8.000000
      vertex -0.700000 -6.300000 20.000000
    endloop
  endfacet
  facet normal -0.382683 -0.923880 0.000000
    outer loop
      vertex -2.802076 -4.139342 20.000000
      vertex -2.802076 -4.139342 8.000000
      vertex -0.945590 -4.908324 8.000000
    endloop
  endfacet
  facet normal -0.382683 -0.923880 0.000000
    outer loop
      vertex -0.945590 -4.908324 20.000000
      vertex -2.802076 -4.139342 20.000000
      vertex -0.945590 -4.908324 8.000000
    endloop
  endfacet
  facet normal 0.573462 -0.819232 0.000000
    outer loop
      vertex -3.959798 -4.949747 20.000000
      vertex -3.959798 -4.949747 8.000000
      vertex -2.802076 -4.139342 8.000000
    endloop
  endfacet
  facet normal 0.573462 -0.819232 0.000000
    outer loop
      vertex -2.802076 -4.139342 20.000000
      vertex -3.959798 -4.949747 20.000000
      vertex -2.802076 -4.139342 8.000000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 -0.000000
    outer loop
      vertex -4.949747 -3.959798 8.000000
      vertex -3.959798 -4.949747 8.000000
      vertex -4.949747 -3.959798 20.000000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex -4.949747 -3.959798 20.000000
      vertex -3.959798 -4.949747 8.000000
      vertex -3.959798 -4.949747 20.000000
    endloop
  endfacet
  facet normal -0.819232 0.573462 0.000000
    outer loop
      vertex -4.949747 -3.959798 8.000000
      vertex -4.949747 -3.959798 20.000000
      vertex -4.139342 -2.802076 8.000000
    endloop
  endfacet
  facet normal -0.819232 0.573462 0.000000
    outer loop
      vertex -4.139342 -2.802076 8.000000
      vertex -4.949747 -3.959798 20.000000
      vertex -4.139342 -2.802076 20.000000
    endloop
  endfacet
  facet normal -0.923880 -0.382683 -0.000000
    outer loop
      vertex -4.908324 -0.945590 8.000000
      vertex -4.139342 -2.802076 8.000000
      vertex -4.908324 -0.945590 20.000000
    endloop
  endfacet
  facet normal -0.923880 -0.382683 0.000000
    outer loop
      vertex -4.908324 -0.945590 20.000000
      vertex -4.139342 -2.802076 8.000000
      vertex -4.139342 -2.802076 20.000000
    endloop
  endfacet
  facet normal -0.173785 -0.984784 0.000000
    outer loop
      vertex -6.300000 -0.700000 20.000000
      vertex -6.300000 -0.700000 8.000000
      vertex -4.908324 -0.945590 8.000000
    endloop
  endfacet
  facet normal -0.173785 -0.984784 0.000000
    outer loop
      vertex -4.908324 -0.945590 20.000000
      vertex -6.300000 -0.700000 20.000000
      vertex -4.908324 -0.945590 8.000000
    endloop
  endfacet
  facet normal -0.154508 0.267616 -0.951057
    outer loop
      vertex -1.846238 -2.105156 5.558846
      vertex -2.494486 -2.479423 5.558846
      vertex -2.415528 -1.611864 5.790139
    endloop
  endfacet
  facet normal -0.154508 0.267616 -0.951057
    outer loop
      vertex -2.415528 -1.611864 5.790139
      vertex -2.494486 -2.479423 5.558846
      vertex -2.850411 -1.862944 5.790139
    endloop
  endfacet
  facet normal -0.334565 0.579484 -0.743145
    outer loop
      vertex -1.401401 -2.490610 5.058013
      vertex -2.216371 -2.961133 5.058013
      vertex -1.846238 -2.105156 5.558846
    endloop
  endfacet
  facet normal -0.334565 0.579484 -0.743145
    outer loop
      vertex -1.846238 -2.105156 5.558846
      vertex -2.216371 -2.961133 5.058013
      vertex -2.494486 -2.479423 5.558846
    endloop
  endfacet
  facet normal -0.579590 0.643700 0.499725
    outer loop
      vertex -5.827303 8.020594 7.407000
      vertex -7.367538 6.633761 7.407000
      vertex -5.765586 7.935648 7.588000
    endloop
  endfacet
  facet normal -0.579589 0.643698 0.499729
    outer loop
      vertex -5.765586 7.935648 7.588000
      vertex -7.367538 6.633761 7.407000
      vertex -7.289508 6.563502 7.588000
    endloop
  endfacet
  facet normal -0.497786 0.552847 0.668258
    outer loop
      vertex -5.765586 7.935648 7.588000
      vertex -7.289508 6.563502 7.588000
      vertex -5.683296 7.822385 7.743000
    endloop
  endfacet
  facet normal -0.497786 0.552848 0.668257
    outer loop
      vertex -5.683296 7.822385 7.743000
      vertex -7.289508 6.563502 7.588000
      vertex -7.185467 6.469824 7.743000
    endloop
  endfacet
  facet normal -0.601852 0.437271 0.668258
    outer loop
      vertex -7.289508 6.563502 7.588000
      vertex -8.494843 4.904500 7.588000
      vertex -7.185467 6.469824 7.743000
    endloop
  endfacet
  facet normal -0.601853 0.437272 0.668255
    outer loop
      vertex -7.185467 6.469824 7.743000
      vertex -8.494843 4.904500 7.588000
      vertex -8.373600 4.834500 7.743000
    endloop
  endfacet
  facet normal -0.679616 0.302584 0.668255
    outer loop
      vertex -8.494843 4.904500 7.588000
      vertex -9.328913 3.031148 7.588000
      vertex -8.373600 4.834500 7.743000
    endloop
  endfacet
  facet normal -0.679614 0.302583 0.668258
    outer loop
      vertex -8.373600 4.834500 7.743000
      vertex -9.328913 3.031148 7.588000
      vertex -9.195765 2.987885 7.743000
    endloop
  endfacet
  facet normal -0.727674 0.154672 0.668257
    outer loop
      vertex -9.328913 3.031148 7.588000
      vertex -9.755265 1.025320 7.588000
      vertex -9.195765 2.987885 7.743000
    endloop
  endfacet
  facet normal -0.727674 0.154672 0.668256
    outer loop
      vertex -9.195765 2.987885 7.743000
      vertex -9.755265 1.025320 7.588000
      vertex -9.616032 1.010686 7.743000
    endloop
  endfacet
  facet normal -0.743931 0.000000 0.668256
    outer loop
      vertex -9.755265 -1.025320 7.588000
      vertex -9.616032 -1.010686 7.743000
      vertex -9.755265 1.025320 7.588000
    endloop
  endfacet
  facet normal -0.743931 0.000000 0.668256
    outer loop
      vertex -9.755265 1.025320 7.588000
      vertex -9.616032 -1.010686 7.743000
      vertex -9.616032 1.010686 7.743000
    endloop
  endfacet
  facet normal -0.727674 -0.154672 0.668256
    outer loop
      vertex -9.616032 -1.010686 7.743000
      vertex -9.755265 -1.025320 7.588000
      vertex -9.328913 -3.031148 7.588000
    endloop
  endfacet
  facet normal -0.727674 -0.154672 0.668257
    outer loop
      vertex -9.195765 -2.987885 7.743000
      vertex -9.616032 -1.010686 7.743000
      vertex -9.328913 -3.031148 7.588000
    endloop
  endfacet
  facet normal -0.679614 -0.302584 0.668257
    outer loop
      vertex -9.195765 -2.987885 7.743000
      vertex -9.328913 -3.031148 7.588000
      vertex -8.494843 -4.904500 7.588000
    endloop
  endfacet
  facet normal -0.791296 -0.352308 0.499730
    outer loop
      vertex -8.494843 -4.904500 7.588000
      vertex -9.328913 -3.031148 7.588000
      vertex -8.585776 -4.957000 7.407000
    endloop
  endfacet
  facet normal -0.700756 -0.509129 0.499730
    outer loop
      vertex -8.494843 -4.904500 7.588000
      vertex -8.585776 -4.957000 7.407000
      vertex -7.367538 -6.633761 7.407000
    endloop
  endfacet
  facet normal -0.700756 -0.509129 0.499729
    outer loop
      vertex -7.289508 -6.563502 7.588000
      vertex -8.494843 -4.904500 7.588000
      vertex -7.367538 -6.633761 7.407000
    endloop
  endfacet
  facet normal -0.579589 -0.643699 0.499729
    outer loop
      vertex -7.289508 -6.563502 7.588000
      vertex -7.367538 -6.633761 7.407000
      vertex -5.827303 -8.020594 7.407000
    endloop
  endfacet
  facet normal -0.579590 -0.643700 0.499725
    outer loop
      vertex -5.765586 -7.935648 7.588000
      vertex -7.289508 -6.563502 7.588000
      vertex -5.827303 -8.020594 7.407000
    endloop
  endfacet
  facet normal -0.433092 -0.750137 0.499725
    outer loop
      vertex -5.765586 -7.935648 7.588000
      vertex -5.827303 -8.020594 7.407000
      vertex -4.032387 -9.056890 7.407000
    endloop
  endfacet
  facet normal -0.433090 -0.750135 0.499730
    outer loop
      vertex -3.989680 -8.960967 7.588000
      vertex -5.765586 -7.935648 7.588000
      vertex -4.032387 -9.056890 7.407000
    endloop
  endfacet
  facet normal -0.267664 -0.823787 0.499731
    outer loop
      vertex -3.989680 -8.960967 7.588000
      vertex -4.032387 -9.056890 7.407000
      vertex -2.061237 -9.697355 7.407000
    endloop
  endfacet
  facet normal -0.267665 -0.823789 0.499727
    outer loop
      vertex -2.039406 -9.594650 7.588000
      vertex -3.989680 -8.960967 7.588000
      vertex -2.061237 -9.697355 7.407000
    endloop
  endfacet
  facet normal -0.090541 -0.861438 0.499727
    outer loop
      vertex -2.039406 -9.594650 7.588000
      vertex -2.061237 -9.697355 7.407000
      vertex 0.000000 -9.914000 7.407000
    endloop
  endfacet
  facet normal -0.090541 -0.861437 0.499729
    outer loop
      vertex 0.000000 -9.809000 7.588000
      vertex -2.039406 -9.594650 7.588000
      vertex 0.000000 -9.914000 7.407000
    endloop
  endfacet
  facet normal 0.090541 -0.861437 0.499729
    outer loop
      vertex 0.000000 -9.809000 7.588000
      vertex 0.000000 -9.914000 7.407000
      vertex 2.061237 -9.697355 7.407000
    endloop
  endfacet
  facet normal 0.090541 -0.861438 0.499727
    outer loop
      vertex 2.039406 -9.594650 7.588000
      vertex 0.000000 -9.809000 7.588000
      vertex 2.061237 -9.697355 7.407000
    endloop
  endfacet
  facet normal 0.267665 -0.823789 0.499727
    outer loop
      vertex 4.032387 -9.056890 7.407000
      vertex 2.039406 -9.594650 7.588000
      vertex 2.061237 -9.697355 7.407000
    endloop
  endfacet
  facet normal 0.267665 -0.823787 0.499731
    outer loop
      vertex 3.989680 -8.960967 7.588000
      vertex 2.039406 -9.594650 7.588000
      vertex 4.032387 -9.056890 7.407000
    endloop
  endfacet
  facet normal 0.433091 -0.750135 0.499730
    outer loop
      vertex 5.827303 -8.020594 7.407000
      vertex 3.989680 -8.960967 7.588000
      vertex 4.032387 -9.056890 7.407000
    endloop
  endfacet
  facet normal 0.433092 -0.750137 0.499725
    outer loop
      vertex 5.765586 -7.935648 7.588000
      vertex 3.989680 -8.960967 7.588000
      vertex 5.827303 -8.020594 7.407000
    endloop
  endfacet
  facet normal 0.579590 -0.643700 0.499725
    outer loop
      vertex 7.367538 -6.633761 7.407000
      vertex 5.765586 -7.935648 7.588000
      vertex 5.827303 -8.020594 7.407000
    endloop
  endfacet
  facet normal 0.579589 -0.643698 0.499729
    outer loop
      vertex 7.289508 -6.563502 7.588000
      vertex 5.765586 -7.935648 7.588000
      vertex 7.367538 -6.633761 7.407000
    endloop
  endfacet
  facet normal 0.700756 -0.509129 0.499729
    outer loop
      vertex 8.585776 -4.957000 7.407000
      vertex 7.289508 -6.563502 7.588000
      vertex 7.367538 -6.633761 7.407000
    endloop
  endfacet
  facet normal 0.700756 -0.509129 0.499730
    outer loop
      vertex 8.494843 -4.904500 7.588000
      vertex 7.289508 -6.563502 7.588000
      vertex 8.585776 -4.957000 7.407000
    endloop
  endfacet
  facet normal 0.791296 -0.352307 0.499730
    outer loop
      vertex 9.428774 -3.063594 7.407000
      vertex 8.494843 -4.904500 7.588000
      vertex 8.585776 -4.957000 7.407000
    endloop
  endfacet
  facet normal 0.791297 -0.352308 0.499728
    outer loop
      vertex 9.328913 -3.031148 7.588000
      vertex 8.494843 -4.904500 7.588000
      vertex 9.428774 -3.063594 7.407000
    endloop
  endfacet
  facet normal 0.847254 -0.180090 0.499728
    outer loop
      vertex 9.859690 -1.036295 7.407000
      vertex 9.328913 -3.031148 7.588000
      vertex 9.428774 -3.063594 7.407000
    endloop
  endfacet
  facet normal 0.847254 -0.180089 0.499729
    outer loop
      vertex 9.755265 -1.025320 7.588000
      vertex 9.328913 -3.031148 7.588000
      vertex 9.859690 -1.036295 7.407000
    endloop
  endfacet
  facet normal 0.866182 -0.000000 0.499729
    outer loop
      vertex 9.755265 1.025320 7.588000
      vertex 9.755265 -1.025320 7.588000
      vertex 9.859690 -1.036295 7.407000
    endloop
  endfacet
  facet normal 0.866182 -0.000000 0.499729
    outer loop
      vertex 9.859690 1.036295 7.407000
      vertex 9.755265 1.025320 7.588000
      vertex 9.859690 -1.036295 7.407000
    endloop
  endfacet
  facet normal 0.847254 0.180089 0.499729
    outer loop
      vertex 9.859690 1.036295 7.407000
      vertex 9.428774 3.063594 7.407000
      vertex 9.755265 1.025320 7.588000
    endloop
  endfacet
  facet normal 0.847254 0.180089 0.499728
    outer loop
      vertex 9.428774 3.063594 7.407000
      vertex 9.328913 3.031148 7.588000
      vertex 9.755265 1.025320 7.588000
    endloop
  endfacet
  facet normal 0.791297 0.352308 0.499728
    outer loop
      vertex 9.428774 3.063594 7.407000
      vertex 8.585776 4.957000 7.407000
      vertex 9.328913 3.031148 7.588000
    endloop
  endfacet
  facet normal 0.791296 0.352308 0.499730
    outer loop
      vertex 8.585776 4.957000 7.407000
      vertex 8.494843 4.904500 7.588000
      vertex 9.328913 3.031148 7.588000
    endloop
  endfacet
  facet normal 0.700756 0.509129 0.499730
    outer loop
      vertex 8.585776 4.957000 7.407000
      vertex 7.367538 6.633761 7.407000
      vertex 8.494843 4.904500 7.588000
    endloop
  endfacet
  facet normal 0.700756 0.509129 0.499729
    outer loop
      vertex 7.367538 6.633761 7.407000
      vertex 7.289508 6.563502 7.588000
      vertex 8.494843 4.904500 7.588000
    endloop
  endfacet
  facet normal 0.579589 0.643699 0.499729
    outer loop
      vertex 7.367538 6.633761 7.407000
      vertex 5.827303 8.020594 7.407000
      vertex 7.289508 6.563502 7.588000
    endloop
  endfacet
  facet normal 0.579590 0.643700 0.499725
    outer loop
      vertex 5.827303 8.020594 7.407000
      vertex 5.765586 7.935648 7.588000
      vertex 7.289508 6.563502 7.588000
    endloop
  endfacet
  facet normal 0.433092 0.750137 0.499725
    outer loop
      vertex 5.827303 8.020594 7.407000
      vertex 4.032387 9.056890 7.407000
      vertex 5.765586 7.935648 7.588000
    endloop
  endfacet
  facet normal 0.433090 0.750135 0.499730
    outer loop
      vertex 4.032387 9.056890 7.407000
      vertex 3.989680 8.960967 7.588000
      vertex 5.765586 7.935648 7.588000
    endloop
  endfacet
  facet normal 0.267664 0.823787 0.499731
    outer loop
      vertex 4.032387 9.056890 7.407000
      vertex 2.061237 9.697355 7.407000
      vertex 3.989680 8.960967 7.588000
    endloop
  endfacet
  facet normal 0.267665 0.823789 0.499727
    outer loop
      vertex 2.061237 9.697355 7.407000
      vertex 2.039406 9.594650 7.588000
      vertex 3.989680 8.960967 7.588000
    endloop
  endfacet
  facet normal 0.090541 0.861438 0.499727
    outer loop
      vertex 2.061237 9.697355 7.407000
      vertex 0.000000 9.914000 7.407000
      vertex 2.039406 9.594650 7.588000
    endloop
  endfacet
  facet normal 0.090541 0.861437 0.499729
    outer loop
      vertex 0.000000 9.914000 7.407000
      vertex 0.000000 9.809000 7.588000
      vertex 2.039406 9.594650 7.588000
    endloop
  endfacet
  facet normal -0.090541 0.861437 0.499729
    outer loop
      vertex 0.000000 9.914000 7.407000
      vertex -2.061237 9.697355 7.407000
      vertex 0.000000 9.809000 7.588000
    endloop
  endfacet
  facet normal -0.090541 0.861438 0.499727
    outer loop
      vertex 0.000000 9.809000 7.588000
      vertex -2.061237 9.697355 7.407000
      vertex -2.039406 9.594650 7.588000
    endloop
  endfacet
  facet normal -0.267665 0.823789 0.499727
    outer loop
      vertex -2.061237 9.697355 7.407000
      vertex -4.032387 9.056890 7.407000
      vertex -2.039406 9.594650 7.588000
    endloop
  endfacet
  facet normal -0.267665 0.823787 0.499731
    outer loop
      vertex -2.039406 9.594650 7.588000
      vertex -4.032387 9.056890 7.407000
      vertex -3.989680 8.960967 7.588000
    endloop
  endfacet
  facet normal -0.433091 0.750135 0.499730
    outer loop
      vertex -4.032387 9.056890 7.407000
      vertex -5.827303 8.020594 7.407000
      vertex -3.989680 8.960967 7.588000
    endloop
  endfacet
  facet normal -0.433092 0.750137 0.499725
    outer loop
      vertex -3.989680 8.960967 7.588000
      vertex -5.827303 8.020594 7.407000
      vertex -5.765586 7.935648 7.588000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -8.950697 0.940756 8.000000
      vertex -8.950697 -0.940756 8.000000
      vertex -8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.688303 -6.022175 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -7.794229 -4.500000 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.794229 -4.500000 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.290067 -7.281153 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -6.688303 -6.022175 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.660630 -8.221909 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -5.290067 -7.281153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -1.871205 -8.803328 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -3.660630 -8.221909 8.000000
    endloop
  endfacet
  facet normal -0.000000 -0.000000 1.000000
    outer loop
      vertex -4.949747 -3.959798 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.949747 -3.959798 8.000000
      vertex -4.139342 -2.802076 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.908324 0.945590 8.000000
      vertex 6.300000 0.700000 8.000000
      vertex 8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 4.949747 3.959798 8.000000
      vertex 4.139342 2.802076 8.000000
      vertex 7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 6.300000 0.700000 8.000000
      vertex 6.300000 -0.700000 8.000000
      vertex 8.950697 -0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 3.959798 4.949747 8.000000
      vertex 7.794229 4.500000 8.000000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -0.945590 4.908324 8.000000
      vertex -0.700000 6.300000 8.000000
      vertex -2.802076 4.139342 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.700000 6.300000 8.000000
      vertex 0.945590 4.908324 8.000000
      vertex 5.290067 7.281153 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -1.871205 8.803328 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex 0.000000 9.000000 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -3.660630 8.221909 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -1.871205 8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -5.290067 7.281153 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -6.688303 6.022175 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -5.290067 7.281153 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -7.794229 4.500000 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -8.559509 2.781153 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.700000 -6.300000 8.000000
      vertex -0.945590 -4.908324 8.000000
      vertex -2.802076 -4.139342 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 4.908324 -0.945590 8.000000
      vertex 4.139342 -2.802076 8.000000
      vertex 8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 3.959798 4.949747 8.000000
      vertex 4.949747 3.959798 8.000000
      vertex 7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.700000 6.300000 8.000000
      vertex 5.290067 7.281153 8.000000
      vertex 3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 9.000000 8.000000
      vertex -8.950697 0.940756 8.000000
      vertex -4.949747 3.959798 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 0.000000 9.000000 8.000000
      vertex -3.959798 4.949747 8.000000
      vertex 1.871205 8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 9.000000 8.000000
      vertex -4.949747 3.959798 8.000000
      vertex -3.959798 4.949747 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.945590 4.908324 8.000000
      vertex 2.802076 4.139342 8.000000
      vertex 3.959798 4.949747 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.959798 4.949747 8.000000
      vertex -2.802076 4.139342 8.000000
      vertex -0.700000 6.300000 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 2.802076 -4.139342 8.000000
      vertex 5.290067 -7.281153 8.000000
      vertex 3.959798 -4.949747 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 1.871205 8.803328 8.000000
      vertex -0.700000 6.300000 8.000000
      vertex 3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.959798 4.949747 8.000000
      vertex -0.700000 6.300000 8.000000
      vertex 1.871205 8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 2.802076 -4.139342 8.000000
      vertex 0.945590 -4.908324 8.000000
      vertex 5.290067 -7.281153 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 5.290067 7.281153 8.000000
      vertex 0.945590 4.908324 8.000000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.700000 6.300000 8.000000
      vertex 0.700000 6.300000 8.000000
      vertex 3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.139342 2.802076 8.000000
      vertex 4.908324 0.945590 8.000000
      vertex 8.559509 2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.945590 4.908324 8.000000
      vertex 3.959798 4.949747 8.000000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 7.794229 4.500000 8.000000
      vertex 4.139342 2.802076 8.000000
      vertex 8.559509 2.781153 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -4.139342 2.802076 8.000000
      vertex -4.949747 3.959798 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 8.559509 2.781153 8.000000
      vertex 4.908324 0.945590 8.000000
      vertex 8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 8.950697 0.940756 8.000000
      vertex 6.300000 0.700000 8.000000
      vertex 8.950697 -0.940756 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 8.950697 -0.940756 8.000000
      vertex 6.300000 -0.700000 8.000000
      vertex 8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.300000 0.700000 8.000000
      vertex -4.908324 0.945590 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 6.300000 -0.700000 8.000000
      vertex 4.908324 -0.945590 8.000000
      vertex 8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 8.559509 -2.781153 8.000000
      vertex 4.139342 -2.802076 8.000000
      vertex 7.794229 -4.500000 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 7.794229 -4.500000 8.000000
      vertex 4.949747 -3.959798 8.000000
      vertex 6.688303 -6.022175 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 6.688303 -6.022175 8.000000
      vertex 3.959798 -4.949747 8.000000
      vertex 5.290067 -7.281153 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -4.908324 0.945590 8.000000
      vertex -4.139342 2.802076 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 5.290067 -7.281153 8.000000
      vertex 0.945590 -4.908324 8.000000
      vertex 3.660630 -8.221909 8.000000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 3.660630 -8.221909 8.000000
      vertex 0.700000 -6.300000 8.000000
      vertex 1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 0.700000 -6.300000 8.000000
      vertex -0.700000 -6.300000 8.000000
      vertex 1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.139342 -2.802076 8.000000
      vertex -4.908324 -0.945590 8.000000
      vertex -6.300000 -0.700000 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -2.802076 -4.139342 8.000000
      vertex -3.959798 -4.949747 8.000000
      vertex 0.000000 -9.000000 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 -9.000000 8.000000
      vertex -3.959798 -4.949747 8.000000
      vertex -1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal -0.000000 -0.000000 1.000000
    outer loop
      vertex -3.959798 -4.949747 8.000000
      vertex -4.949747 -3.959798 8.000000
      vertex -1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -4.139342 -2.802076 8.000000
      vertex -6.300000 -0.700000 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -2.802076 -4.139342 8.000000
      vertex 0.000000 -9.000000 8.000000
      vertex -0.700000 -6.300000 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -0.700000 -6.300000 8.000000
      vertex 0.000000 -9.000000 8.000000
      vertex 1.871205 -8.803328 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 4.139342 -2.802076 8.000000
      vertex 4.949747 -3.959798 8.000000
      vertex 7.794229 -4.500000 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 4.949747 -3.959798 8.000000
      vertex 3.959798 -4.949747 8.000000
      vertex 6.688303 -6.022175 8.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 0.945590 -4.908324 8.000000
      vertex 0.700000 -6.300000 8.000000
      vertex 3.660630 -8.221909 8.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.300000 -0.700000 8.000000
      vertex -6.300000 0.700000 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal -0.371966 0.644264 0.668256
    outer loop
      vertex -3.989680 8.960967 7.588000
      vertex -5.765586 7.935648 7.588000
      vertex -3.932737 8.833071 7.743000
    endloop
  endfacet
  facet normal -0.371965 0.644262 0.668258
    outer loop
      vertex -3.932737 8.833071 7.743000
      vertex -5.765586 7.935648 7.588000
      vertex -5.683296 7.822385 7.743000
    endloop
  endfacet
  facet normal -0.295284 0.511448 0.806987
    outer loop
      vertex -3.932737 8.833071 7.743000
      vertex -5.683296 7.822385 7.743000
      vertex -3.863998 8.678682 7.866000
    endloop
  endfacet
  facet normal -0.295284 0.511447 0.806988
    outer loop
      vertex -3.863998 8.678682 7.866000
      vertex -5.683296 7.822385 7.743000
      vertex -5.583960 7.685661 7.866000
    endloop
  endfacet
  facet normal -0.395167 0.438878 0.806988
    outer loop
      vertex -5.683296 7.822385 7.743000
      vertex -7.185467 6.469824 7.743000
      vertex -5.583960 7.685661 7.866000
    endloop
  endfacet
  facet normal -0.395168 0.438879 0.806986
    outer loop
      vertex -5.583960 7.685661 7.866000
      vertex -7.185467 6.469824 7.743000
      vertex -7.059876 6.356741 7.866000
    endloop
  endfacet
  facet normal -0.477781 0.347128 0.806986
    outer loop
      vertex -7.185467 6.469824 7.743000
      vertex -8.373600 4.834500 7.743000
      vertex -7.059876 6.356741 7.866000
    endloop
  endfacet
  facet normal -0.477779 0.347127 0.806988
    outer loop
      vertex -7.059876 6.356741 7.866000
      vertex -8.373600 4.834500 7.743000
      vertex -8.227241 4.750000 7.866000
    endloop
  endfacet
  facet normal -0.539510 0.240205 0.806988
    outer loop
      vertex -8.373600 4.834500 7.743000
      vertex -9.195765 2.987885 7.743000
      vertex -8.227241 4.750000 7.866000
    endloop
  endfacet
  facet normal -0.539513 0.240207 0.806986
    outer loop
      vertex -8.227241 4.750000 7.866000
      vertex -9.195765 2.987885 7.743000
      vertex -9.035037 2.935661 7.866000
    endloop
  endfacet
  facet normal -0.577665 0.122787 0.806986
    outer loop
      vertex -9.195765 2.987885 7.743000
      vertex -9.616032 1.010686 7.743000
      vertex -9.035037 2.935661 7.866000
    endloop
  endfacet
  facet normal -0.577664 0.122786 0.806987
    outer loop
      vertex -9.035037 2.935661 7.866000
      vertex -9.616032 1.010686 7.743000
      vertex -9.447958 0.993020 7.866000
    endloop
  endfacet
  facet normal -0.590569 0.000000 0.806987
    outer loop
      vertex -9.616032 1.010686 7.743000
      vertex -9.616032 -1.010686 7.743000
      vertex -9.447958 -0.993020 7.866000
    endloop
  endfacet
  facet normal -0.590569 0.000000 0.806987
    outer loop
      vertex -9.447958 0.993020 7.866000
      vertex -9.616032 1.010686 7.743000
      vertex -9.447958 -0.993020 7.866000
    endloop
  endfacet
  facet normal -0.577664 -0.122786 0.806987
    outer loop
      vertex -9.447958 -0.993020 7.866000
      vertex -9.616032 -1.010686 7.743000
      vertex -9.195765 -2.987885 7.743000
    endloop
  endfacet
  facet normal -0.577665 -0.122786 0.806986
    outer loop
      vertex -9.035037 -2.935661 7.866000
      vertex -9.447958 -0.993020 7.866000
      vertex -9.195765 -2.987885 7.743000
    endloop
  endfacet
  facet normal -0.539513 -0.240206 0.806986
    outer loop
      vertex -9.035037 -2.935661 7.866000
      vertex -9.195765 -2.987885 7.743000
      vertex -8.373600 -4.834500 7.743000
    endloop
  endfacet
  facet normal -0.679616 -0.302584 0.668255
    outer loop
      vertex -8.373600 -4.834500 7.743000
      vertex -9.195765 -2.987885 7.743000
      vertex -8.494843 -4.904500 7.588000
    endloop
  endfacet
  facet normal -0.601854 -0.437272 0.668255
    outer loop
      vertex -8.373600 -4.834500 7.743000
      vertex -8.494843 -4.904500 7.588000
      vertex -7.289508 -6.563502 7.588000
    endloop
  endfacet
  facet normal -0.601852 -0.437271 0.668258
    outer loop
      vertex -7.185467 -6.469824 7.743000
      vertex -8.373600 -4.834500 7.743000
      vertex -7.289508 -6.563502 7.588000
    endloop
  endfacet
  facet normal -0.497787 -0.552848 0.668257
    outer loop
      vertex -7.185467 -6.469824 7.743000
      vertex -7.289508 -6.563502 7.588000
      vertex -5.765586 -7.935648 7.588000
    endloop
  endfacet
  facet normal -0.497786 -0.552847 0.668258
    outer loop
      vertex -5.683296 -7.822385 7.743000
      vertex -7.185467 -6.469824 7.743000
      vertex -5.765586 -7.935648 7.588000
    endloop
  endfacet
  facet normal -0.371965 -0.644262 0.668258
    outer loop
      vertex -5.683296 -7.822385 7.743000
      vertex -5.765586 -7.935648 7.588000
      vertex -3.989680 -8.960967 7.588000
    endloop
  endfacet
  facet normal -0.371966 -0.644264 0.668256
    outer loop
      vertex -3.932737 -8.833071 7.743000
      vertex -5.683296 -7.822385 7.743000
      vertex -3.989680 -8.960967 7.588000
    endloop
  endfacet
  facet normal -0.229888 -0.707521 0.668256
    outer loop
      vertex -3.932737 -8.833071 7.743000
      vertex -3.989680 -8.960967 7.588000
      vertex -2.039406 -9.594650 7.588000
    endloop
  endfacet
  facet normal -0.229887 -0.707519 0.668258
    outer loop
      vertex -2.010298 -9.457709 7.743000
      vertex -3.932737 -8.833071 7.743000
      vertex -2.039406 -9.594650 7.588000
    endloop
  endfacet
  facet normal -0.077762 -0.739855 0.668258
    outer loop
      vertex -2.010298 -9.457709 7.743000
      vertex -2.039406 -9.594650 7.588000
      vertex 0.000000 -9.809000 7.588000
    endloop
  endfacet
  facet normal -0.077762 -0.739856 0.668257
    outer loop
      vertex 0.000000 -9.669000 7.743000
      vertex -2.010298 -9.457709 7.743000
      vertex 0.000000 -9.809000 7.588000
    endloop
  endfacet
  facet normal 0.077762 -0.739856 0.668257
    outer loop
      vertex 0.000000 -9.669000 7.743000
      vertex 0.000000 -9.809000 7.588000
      vertex 2.039406 -9.594650 7.588000
    endloop
  endfacet
  facet normal 0.077762 -0.739855 0.668258
    outer loop
      vertex 2.010298 -9.457709 7.743000
      vertex 0.000000 -9.669000 7.743000
      vertex 2.039406 -9.594650 7.588000
    endloop
  endfacet
  facet normal 0.229887 -0.707519 0.668258
    outer loop
      vertex 3.989680 -8.960967 7.588000
      vertex 2.010298 -9.457709 7.743000
      vertex 2.039406 -9.594650 7.588000
    endloop
  endfacet
  facet normal 0.229887 -0.707521 0.668256
    outer loop
      vertex 3.932737 -8.833071 7.743000
      vertex 2.010298 -9.457709 7.743000
      vertex 3.989680 -8.960967 7.588000
    endloop
  endfacet
  facet normal 0.371966 -0.644264 0.668256
    outer loop
      vertex 5.765586 -7.935648 7.588000
      vertex 3.932737 -8.833071 7.743000
      vertex 3.989680 -8.960967 7.588000
    endloop
  endfacet
  facet normal 0.371965 -0.644262 0.668258
    outer loop
      vertex 5.683296 -7.822385 7.743000
      vertex 3.932737 -8.833071 7.743000
      vertex 5.765586 -7.935648 7.588000
    endloop
  endfacet
  facet normal 0.497786 -0.552847 0.668258
    outer loop
      vertex 7.289508 -6.563502 7.588000
      vertex 5.683296 -7.822385 7.743000
      vertex 5.765586 -7.935648 7.588000
    endloop
  endfacet
  facet normal 0.497786 -0.552848 0.668257
    outer loop
      vertex 7.185467 -6.469824 7.743000
      vertex 5.683296 -7.822385 7.743000
      vertex 7.289508 -6.563502 7.588000
    endloop
  endfacet
  facet normal 0.601852 -0.437271 0.668258
    outer loop
      vertex 8.494843 -4.904500 7.588000
      vertex 7.185467 -6.469824 7.743000
      vertex 7.289508 -6.563502 7.588000
    endloop
  endfacet
  facet normal 0.601853 -0.437272 0.668255
    outer loop
      vertex 8.373600 -4.834500 7.743000
      vertex 7.185467 -6.469824 7.743000
      vertex 8.494843 -4.904500 7.588000
    endloop
  endfacet
  facet normal 0.679616 -0.302584 0.668255
    outer loop
      vertex 9.328913 -3.031148 7.588000
      vertex 8.373600 -4.834500 7.743000
      vertex 8.494843 -4.904500 7.588000
    endloop
  endfacet
  facet normal 0.679614 -0.302583 0.668258
    outer loop
      vertex 9.195765 -2.987885 7.743000
      vertex 8.373600 -4.834500 7.743000
      vertex 9.328913 -3.031148 7.588000
    endloop
  endfacet
  facet normal 0.727674 -0.154672 0.668257
    outer loop
      vertex 9.755265 -1.025320 7.588000
      vertex 9.195765 -2.987885 7.743000
      vertex 9.328913 -3.031148 7.588000
    endloop
  endfacet
  facet normal 0.727674 -0.154672 0.668256
    outer loop
      vertex 9.616032 -1.010686 7.743000
      vertex 9.195765 -2.987885 7.743000
      vertex 9.755265 -1.025320 7.588000
    endloop
  endfacet
  facet normal 0.743931 -0.000000 0.668256
    outer loop
      vertex 9.616032 1.010686 7.743000
      vertex 9.616032 -1.010686 7.743000
      vertex 9.755265 -1.025320 7.588000
    endloop
  endfacet
  facet normal 0.743931 -0.000000 0.668256
    outer loop
      vertex 9.755265 1.025320 7.588000
      vertex 9.616032 1.010686 7.743000
      vertex 9.755265 -1.025320 7.588000
    endloop
  endfacet
  facet normal 0.727674 0.154672 0.668256
    outer loop
      vertex 9.755265 1.025320 7.588000
      vertex 9.328913 3.031148 7.588000
      vertex 9.616032 1.010686 7.743000
    endloop
  endfacet
  facet normal 0.727674 0.154672 0.668257
    outer loop
      vertex 9.328913 3.031148 7.588000
      vertex 9.195765 2.987885 7.743000
      vertex 9.616032 1.010686 7.743000
    endloop
  endfacet
  facet normal 0.679614 0.302584 0.668257
    outer loop
      vertex 9.328913 3.031148 7.588000
      vertex 8.494843 4.904500 7.588000
      vertex 9.195765 2.987885 7.743000
    endloop
  endfacet
  facet normal 0.679616 0.302584 0.668255
    outer loop
      vertex 8.494843 4.904500 7.588000
      vertex 8.373600 4.834500 7.743000
      vertex 9.195765 2.987885 7.743000
    endloop
  endfacet
  facet normal 0.601854 0.437272 0.668255
    outer loop
      vertex 8.494843 4.904500 7.588000
      vertex 7.289508 6.563502 7.588000
      vertex 8.373600 4.834500 7.743000
    endloop
  endfacet
  facet normal 0.601852 0.437271 0.668258
    outer loop
      vertex 7.289508 6.563502 7.588000
      vertex 7.185467 6.469824 7.743000
      vertex 8.373600 4.834500 7.743000
    endloop
  endfacet
  facet normal 0.497787 0.552848 0.668257
    outer loop
      vertex 7.289508 6.563502 7.588000
      vertex 5.765586 7.935648 7.588000
      vertex 7.185467 6.469824 7.743000
    endloop
  endfacet
  facet normal 0.497786 0.552847 0.668258
    outer loop
      vertex 5.765586 7.935648 7.588000
      vertex 5.683296 7.822385 7.743000
      vertex 7.185467 6.469824 7.743000
    endloop
  endfacet
  facet normal 0.371965 0.644262 0.668258
    outer loop
      vertex 5.765586 7.935648 7.588000
      vertex 3.989680 8.960967 7.588000
      vertex 5.683296 7.822385 7.743000
    endloop
  endfacet
  facet normal 0.371966 0.644264 0.668256
    outer loop
      vertex 3.989680 8.960967 7.588000
      vertex 3.932737 8.833071 7.743000
      vertex 5.683296 7.822385 7.743000
    endloop
  endfacet
  facet normal 0.229888 0.707521 0.668256
    outer loop
      vertex 3.989680 8.960967 7.588000
      vertex 2.039406 9.594650 7.588000
      vertex 3.932737 8.833071 7.743000
    endloop
  endfacet
  facet normal 0.229887 0.707519 0.668258
    outer loop
      vertex 2.039406 9.594650 7.588000
      vertex 2.010298 9.457709 7.743000
      vertex 3.932737 8.833071 7.743000
    endloop
  endfacet
  facet normal 0.077762 0.739855 0.668258
    outer loop
      vertex 2.039406 9.594650 7.588000
      vertex 0.000000 9.809000 7.588000
      vertex 2.010298 9.457709 7.743000
    endloop
  endfacet
  facet normal 0.077762 0.739856 0.668257
    outer loop
      vertex 0.000000 9.809000 7.588000
      vertex 0.000000 9.669000 7.743000
      vertex 2.010298 9.457709 7.743000
    endloop
  endfacet
  facet normal -0.077762 0.739856 0.668257
    outer loop
      vertex 0.000000 9.809000 7.588000
      vertex -2.039406 9.594650 7.588000
      vertex 0.000000 9.669000 7.743000
    endloop
  endfacet
  facet normal -0.077762 0.739855 0.668258
    outer loop
      vertex 0.000000 9.669000 7.743000
      vertex -2.039406 9.594650 7.588000
      vertex -2.010298 9.457709 7.743000
    endloop
  endfacet
  facet normal -0.229887 0.707519 0.668258
    outer loop
      vertex -2.039406 9.594650 7.588000
      vertex -3.989680 8.960967 7.588000
      vertex -2.010298 9.457709 7.743000
    endloop
  endfacet
  facet normal -0.229887 0.707521 0.668256
    outer loop
      vertex -2.010298 9.457709 7.743000
      vertex -3.989680 8.960967 7.588000
      vertex -3.932737 8.833071 7.743000
    endloop
  endfacet
  facet normal -0.978148 0.207911 0.000000
    outer loop
      vertex -8.950697 0.940756 7.995000
      vertex -8.950697 0.940756 8.000000
      vertex -8.559509 2.781153 7.995000
    endloop
  endfacet
  facet normal -0.978148 0.207911 0.000000
    outer loop
      vertex -8.559509 2.781153 7.995000
      vertex -8.950697 0.940756 8.000000
      vertex -8.559509 2.781153 8.000000
    endloop
  endfacet
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -8.950697 -0.940756 7.995000
      vertex -8.950697 -0.940756 8.000000
      vertex -8.950697 0.940756 7.995000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -8.950697 0.940756 7.995000
      vertex -8.950697 -0.940756 8.000000
      vertex -8.950697 0.940756 8.000000
    endloop
  endfacet
  facet normal -0.913545 0.406737 0.000000
    outer loop
      vertex -8.559509 2.781153 7.995000
      vertex -8.559509 2.781153 8.000000
      vertex -7.794229 4.500000 7.995000
    endloop
  endfacet
  facet normal -0.913545 0.406737 0.000000
    outer loop
      vertex -7.794229 4.500000 7.995000
      vertex -8.559509 2.781153 8.000000
      vertex -7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal -0.809017 0.587786 0.000000
    outer loop
      vertex -7.794229 4.500000 7.995000
      vertex -7.794229 4.500000 8.000000
      vertex -6.688303 6.022175 7.995000
    endloop
  endfacet
  facet normal -0.809017 0.587786 0.000000
    outer loop
      vertex -6.688303 6.022175 7.995000
      vertex -7.794229 4.500000 8.000000
      vertex -6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal -0.669131 0.743145 0.000000
    outer loop
      vertex -6.688303 6.022175 7.995000
      vertex -6.688303 6.022175 8.000000
      vertex -5.290067 7.281153 7.995000
    endloop
  endfacet
  facet normal -0.669131 0.743145 0.000000
    outer loop
      vertex -5.290067 7.281153 7.995000
      vertex -6.688303 6.022175 8.000000
      vertex -5.290067 7.281153 8.000000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -5.290067 7.281153 7.995000
      vertex -5.290067 7.281153 8.000000
      vertex -3.660630 8.221909 7.995000
    endloop
  endfacet
  facet normal -0.500000 0.866025 0.000000
    outer loop
      vertex -3.660630 8.221909 7.995000
      vertex -5.290067 7.281153 8.000000
      vertex -3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal -0.309017 0.951057 0.000000
    outer loop
      vertex -3.660630 8.221909 7.995000
      vertex -3.660630 8.221909 8.000000
      vertex -1.871205 8.803328 7.995000
    endloop
  endfacet
  facet normal -0.309017 0.951057 0.000000
    outer loop
      vertex -1.871205 8.803328 7.995000
      vertex -3.660630 8.221909 8.000000
      vertex -1.871205 8.803328 8.000000
    endloop
  endfacet
  facet normal -0.104529 0.994522 0.000000
    outer loop
      vertex -1.871205 8.803328 7.995000
      vertex -1.871205 8.803328 8.000000
      vertex 0.000000 9.000000 7.995000
    endloop
  endfacet
  facet normal -0.104529 0.994522 0.000000
    outer loop
      vertex 0.000000 9.000000 7.995000
      vertex -1.871205 8.803328 8.000000
      vertex 0.000000 9.000000 8.000000
    endloop
  endfacet
  facet normal 0.104529 0.994522 0.000000
    outer loop
      vertex 0.000000 9.000000 7.995000
      vertex 0.000000 9.000000 8.000000
      vertex 1.871205 8.803328 7.995000
    endloop
  endfacet
  facet normal 0.104529 0.994522 0.000000
    outer loop
      vertex 1.871205 8.803328 7.995000
      vertex 0.000000 9.000000 8.000000
      vertex 1.871205 8.803328 8.000000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex 1.871205 8.803328 7.995000
      vertex 1.871205 8.803328 8.000000
      vertex 3.660630 8.221909 7.995000
    endloop
  endfacet
  facet normal 0.309017 0.951057 0.000000
    outer loop
      vertex 3.660630 8.221909 7.995000
      vertex 1.871205 8.803328 8.000000
      vertex 3.660630 8.221909 8.000000
    endloop
  endfacet
  facet normal 0.500000 0.866025 0.000000
    outer loop
      vertex 3.660630 8.221909 7.995000
      vertex 3.660630 8.221909 8.000000
      vertex 5.290067 7.281153 7.995000
    endloop
  endfacet
  facet normal 0.500000 0.866025 0.000000
    outer loop
      vertex 5.290067 7.281153 7.995000
      vertex 3.660630 8.221909 8.000000
      vertex 5.290067 7.281153 8.000000
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex 5.290067 7.281153 7.995000
      vertex 5.290067 7.281153 8.000000
      vertex 6.688303 6.022175 7.995000
    endloop
  endfacet
  facet normal 0.669131 0.743145 0.000000
    outer loop
      vertex 6.688303 6.022175 7.995000
      vertex 5.290067 7.281153 8.000000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.809017 0.587786 0.000000
    outer loop
      vertex 7.794229 4.500000 7.995000
      vertex 6.688303 6.022175 7.995000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.809017 0.587786 -0.000000
    outer loop
      vertex 7.794229 4.500000 8.000000
      vertex 7.794229 4.500000 7.995000
      vertex 6.688303 6.022175 8.000000
    endloop
  endfacet
  facet normal 0.913545 0.406737 0.000000
    outer loop
      vertex 8.559509 2.781153 7.995000
      vertex 7.794229 4.500000 7.995000
      vertex 7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal 0.913545 0.406737 -0.000000
    outer loop
      vertex 8.559509 2.781153 8.000000
      vertex 8.559509 2.781153 7.995000
      vertex 7.794229 4.500000 8.000000
    endloop
  endfacet
  facet normal 0.978148 0.207911 0.000000
    outer loop
      vertex 8.950697 0.940756 7.995000
      vertex 8.559509 2.781153 7.995000
      vertex 8.559509 2.781153 8.000000
    endloop
  endfacet
  facet normal 0.978148 0.207911 -0.000000
    outer loop
      vertex 8.950697 0.940756 8.000000
      vertex 8.950697 0.940756 7.995000
      vertex 8.559509 2.781153 8.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 -0.000000
    outer loop
      vertex 8.950697 -0.940756 8.000000
      vertex 8.950697 -0.940756 7.995000
      vertex 8.950697 0.940756 7.995000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 8.950697 0.940756 8.000000
      vertex 8.950697 -0.940756 8.000000
      vertex 8.950697 0.940756 7.995000
    endloop
  endfacet
  facet normal 0.978148 -0.207911 0.000000
    outer loop
      vertex 8.559509 -2.781153 8.000000
      vertex 8.559509 -2.781153 7.995000
      vertex 8.950697 -0.940756 7.995000
    endloop
  endfacet
  facet normal 0.978148 -0.207911 0.000000
    outer loop
      vertex 8.950697 -0.940756 8.000000
      vertex 8.559509 -2.781153 8.000000
      vertex 8.950697 -0.940756 7.995000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex 7.794229 -4.500000 8.000000
      vertex 7.794229 -4.500000 7.995000
      vertex 8.559509 -2.781153 7.995000
    endloop
  endfacet
  facet normal 0.913545 -0.406737 0.000000
    outer loop
      vertex 8.559509 -2.781153 8.000000
      vertex 7.794229 -4.500000 8.000000
      vertex 8.559509 -2.781153 7.995000
    endloop
  endfacet
  facet normal 0.809017 -0.587786 0.000000
    outer loop
      vertex 6.688303 -6.022175 8.000000
      vertex 6.688303 -6.022175 7.995000
      vertex 7.794229 -4.500000 7.995000
    endloop
  endfacet
  facet normal 0.809017 -0.587786 0.000000
    outer loop
      vertex 7.794229 -4.500000 8.000000
      vertex 6.688303 -6.022175 8.000000
      vertex 7.794229 -4.500000 7.995000
    endloop
  endfacet
  facet normal 0.669131 -0.743145 0.000000
    outer loop
      vertex 5.290067 -7.281153 8.000000
      vertex 5.290067 -7.281153 7.995000
      vertex 6.688303 -6.022175 7.995000
    endloop
  endfacet
  facet normal 0.669131 -0.743145 0.000000
    outer loop
      vertex 6.688303 -6.022175 8.000000
      vertex 5.290067 -7.281153 8.000000
      vertex 6.688303 -6.022175 7.995000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex 3.660630 -8.221909 8.000000
      vertex 3.660630 -8.221909 7.995000
      vertex 5.290067 -7.281153 7.995000
    endloop
  endfacet
  facet normal 0.500000 -0.866025 0.000000
    outer loop
      vertex 5.290067 -7.281153 8.000000
      vertex 3.660630 -8.221909 8.000000
      vertex 5.290067 -7.281153 7.995000
    endloop
  endfacet
  facet normal 0.309017 -0.951057 0.000000
    outer loop
      vertex 1.871205 -8.803328 8.000000
      vertex 1.871205 -8.803328 7.995000
      vertex 3.660630 -8.221909 7.995000
    endloop
  endfacet
  facet normal 0.309017 -0.951057 0.000000
    outer loop
      vertex 3.660630 -8.221909 8.000000
      vertex 1.871205 -8.803328 8.000000
      vertex 3.660630 -8.221909 7.995000
    endloop
  endfacet
  facet normal 0.104529 -0.994522 0.000000
    outer loop
      vertex 0.000000 -9.000000 8.000000
      vertex 0.000000 -9.000000 7.995000
      vertex 1.871205 -8.803328 7.995000
    endloop
  endfacet
  facet normal 0.104529 -0.994522 0.000000
    outer loop
      vertex 1.871205 -8.803328 8.000000
      vertex 0.000000 -9.000000 8.000000
      vertex 1.871205 -8.803328 7.995000
    endloop
  endfacet
  facet normal -0.104529 -0.994522 0.000000
    outer loop
      vertex -1.871205 -8.803328 8.000000
      vertex -1.871205 -8.803328 7.995000
      vertex 0.000000 -9.000000 7.995000
    endloop
  endfacet
  facet normal -0.104529 -0.994522 0.000000
    outer loop
      vertex 0.000000 -9.000000 8.000000
      vertex -1.871205 -8.803328 8.000000
      vertex 0.000000 -9.000000 7.995000
    endloop
  endfacet
  facet normal -0.309017 -0.951057 0.000000
    outer loop
      vertex -3.660630 -8.221909 8.000000
      vertex -3.660630 -8.221909 7.995000
      vertex -1.871205 -8.803328 7.995000
    endloop
  endfacet
  facet normal -0.309017 -0.951057 0.000000
    outer loop
      vertex -1.871205 -8.803328 8.000000
      vertex -3.660630 -8.221909 8.000000
      vertex -1.871205 -8.803328 7.995000
    endloop
  endfacet
  facet normal -0.500000 -0.866025 0.000000
    outer loop
      vertex -5.290067 -7.281153 8.000000
      vertex -5.290067 -7.281153 7.995000
      vertex -3.660630 -8.221909 7.995000
    endloop
  endfacet
  facet normal -0.500000 -0.866025 0.000000
    outer loop
      vertex -3.660630 -8.221909 8.000000
      vertex -5.290067 -7.281153 8.000000
      vertex -3.660630 -8.221909 7.995000
    endloop
  endfacet
  facet normal -0.669131 -0.743145 0.000000
    outer loop
      vertex -6.688303 -6.022175 8.000000
      vertex -6.688303 -6.022175 7.995000
      vertex -5.290067 -7.281153 7.995000
    endloop
  endfacet
  facet normal -0.669131 -0.743145 0.000000
    outer loop
      vertex -5.290067 -7.281153 8.000000
      vertex -6.688303 -6.022175 8.000000
      vertex -5.290067 -7.281153 7.995000
    endloop
  endfacet
  facet normal -0.809017 -0.587786 -0.000000
    outer loop
      vertex -7.794229 -4.500000 7.995000
      vertex -6.688303 -6.022175 7.995000
      vertex -7.794229 -4.500000 8.000000
    endloop
  endfacet
  facet normal -0.809017 -0.587786 0.000000
    outer loop
      vertex -7.794229 -4.500000 8.000000
      vertex -6.688303 -6.022175 7.995000
      vertex -6.688303 -6.022175 8.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 -0.000000
    outer loop
      vertex -8.559509 -2.781153 7.995000
      vertex -7.794229 -4.500000 7.995000
      vertex -8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal -0.913545 -0.406737 0.000000
    outer loop
      vertex -8.559509 -2.781153 8.000000
      vertex -7.794229 -4.500000 7.995000
      vertex -7.794229 -4.500000 8.000000
    endloop
  endfacet
  facet normal -0.978148 -0.207911 -0.000000
    outer loop
      vertex -8.950697 -0.940756 7.995000
      vertex -8.559509 -2.781153 7.995000
      vertex -8.950697 -0.940756 8.000000
    endloop
  endfacet
  facet normal -0.978148 -0.207911 0.000000
    outer loop
      vertex -8.950697 -0.940756 8.000000
      vertex -8.559509 -2.781153 7.995000
      vertex -8.559509 -2.781153 8.000000
    endloop
  endfacet
  facet normal -0.182496 0.561664 0.806987
    outer loop
      vertex -2.010298 9.457709 7.743000
      vertex -3.932737 8.833071 7.743000
      vertex -1.975161 9.292402 7.866000
    endloop
  endfacet
  facet normal -0.182496 0.561665 0.806987
    outer loop
      vertex -1.975161 9.292402 7.866000
      vertex -3.932737 8.833071 7.743000
      vertex -3.863998 8.678682 7.866000
    endloop
  endfacet
  facet normal -0.126218 0.388459 0.912781
    outer loop
      vertex -1.975161 9.292402 7.866000
      vertex -3.863998 8.678682 7.866000
      vertex -1.935450 9.105576 7.951000
    endloop
  endfacet
  facet normal -0.126218 0.388458 0.912781
    outer loop
      vertex -1.935450 9.105576 7.951000
      vertex -3.863998 8.678682 7.866000
      vertex -3.786311 8.504195 7.951000
    endloop
  endfacet
  facet normal -0.204225 0.353727 0.912781
    outer loop
      vertex -3.863998 8.678682 7.866000
      vertex -5.583960 7.685661 7.866000
      vertex -3.786311 8.504195 7.951000
    endloop
  endfacet
  facet normal -0.204225 0.353728 0.912781
    outer loop
      vertex -3.786311 8.504195 7.951000
      vertex -5.583960 7.685661 7.866000
      vertex -5.471693 7.531139 7.951000
    endloop
  endfacet
  facet normal -0.273306 0.303537 0.912781
    outer loop
      vertex -5.583960 7.685661 7.866000
      vertex -7.059876 6.356741 7.866000
      vertex -5.471693 7.531139 7.951000
    endloop
  endfacet
  facet normal -0.273305 0.303536 0.912781
    outer loop
      vertex -5.471693 7.531139 7.951000
      vertex -7.059876 6.356741 7.866000
      vertex -6.917935 6.228937 7.951000
    endloop
  endfacet
  facet normal -0.330442 0.240080 0.912781
    outer loop
      vertex -7.059876 6.356741 7.866000
      vertex -8.227241 4.750000 7.866000
      vertex -6.917935 6.228937 7.951000
    endloop
  endfacet
  facet normal -0.330442 0.240080 0.912781
    outer loop
      vertex -6.917935 6.228937 7.951000
      vertex -8.227241 4.750000 7.866000
      vertex -8.061830 4.654500 7.951000
    endloop
  endfacet
  facet normal -0.373137 0.166131 0.912781
    outer loop
      vertex -8.227241 4.750000 7.866000
      vertex -9.035037 2.935661 7.866000
      vertex -8.061830 4.654500 7.951000
    endloop
  endfacet
  facet normal -0.373137 0.166131 0.912781
    outer loop
      vertex -8.061830 4.654500 7.951000
      vertex -9.035037 2.935661 7.866000
      vertex -8.853385 2.876639 7.951000
    endloop
  endfacet
  facet normal -0.399523 0.084921 0.912781
    outer loop
      vertex -9.035037 2.935661 7.866000
      vertex -9.447958 0.993020 7.866000
      vertex -8.853385 2.876639 7.951000
    endloop
  endfacet
  facet normal -0.399523 0.084921 0.912781
    outer loop
      vertex -8.853385 2.876639 7.951000
      vertex -9.447958 0.993020 7.866000
      vertex -9.258004 0.973055 7.951000
    endloop
  endfacet
  facet normal -0.408448 0.000000 0.912781
    outer loop
      vertex -9.447958 0.993020 7.866000
      vertex -9.447958 -0.993020 7.866000
      vertex -9.258004 -0.973055 7.951000
    endloop
  endfacet
  facet normal -0.408448 0.000000 0.912781
    outer loop
      vertex -9.258004 0.973055 7.951000
      vertex -9.447958 0.993020 7.866000
      vertex -9.258004 -0.973055 7.951000
    endloop
  endfacet
  facet normal -0.399523 -0.084921 0.912781
    outer loop
      vertex -9.258004 -0.973055 7.951000
      vertex -9.447958 -0.993020 7.866000
      vertex -9.035037 -2.935661 7.866000
    endloop
  endfacet
  facet normal -0.399523 -0.084921 0.912781
    outer loop
      vertex -8.853385 -2.876639 7.951000
      vertex -9.258004 -0.973055 7.951000
      vertex -9.035037 -2.935661 7.866000
    endloop
  endfacet
  facet normal -0.373137 -0.166131 0.912781
    outer loop
      vertex -8.853385 -2.876639 7.951000
      vertex -9.035037 -2.935661 7.866000
      vertex -8.227241 -4.750000 7.866000
    endloop
  endfacet
  facet normal -0.539510 -0.240206 0.806988
    outer loop
      vertex -8.227241 -4.750000 7.866000
      vertex -9.035037 -2.935661 7.866000
      vertex -8.373600 -4.834500 7.743000
    endloop
  endfacet
  facet normal -0.477779 -0.347127 0.806988
    outer loop
      vertex -8.227241 -4.750000 7.866000
      vertex -8.373600 -4.834500 7.743000
      vertex -7.185467 -6.469824 7.743000
    endloop
  endfacet
  facet normal -0.477781 -0.347128 0.806986
    outer loop
      vertex -7.059876 -6.356741 7.866000
      vertex -8.227241 -4.750000 7.866000
      vertex -7.185467 -6.469824 7.743000
    endloop
  endfacet
  facet normal -0.395168 -0.438879 0.806987
    outer loop
      vertex -7.059876 -6.356741 7.866000
      vertex -7.185467 -6.469824 7.743000
      vertex -5.683296 -7.822385 7.743000
    endloop
  endfacet
  facet normal -0.395167 -0.438878 0.806988
    outer loop
      vertex -5.583960 -7.685661 7.866000
      vertex -7.059876 -6.356741 7.866000
      vertex -5.683296 -7.822385 7.743000
    endloop
  endfacet
  facet normal -0.295284 -0.511447 0.806988
    outer loop
      vertex -5.583960 -7.685661 7.866000
      vertex -5.683296 -7.822385 7.743000
      vertex -3.932737 -8.833071 7.743000
    endloop
  endfacet
  facet normal -0.295285 -0.511448 0.806987
    outer loop
      vertex -3.863998 -8.678682 7.866000
      vertex -5.583960 -7.685661 7.866000
      vertex -3.932737 -8.833071 7.743000
    endloop
  endfacet
  facet normal -0.182496 -0.561665 0.806987
    outer loop
      vertex -3.863998 -8.678682 7.866000
      vertex -3.932737 -8.833071 7.743000
      vertex -2.010298 -9.457709 7.743000
    endloop
  endfacet
  facet normal -0.182496 -0.561664 0.806987
    outer loop
      vertex -1.975161 -9.292402 7.866000
      vertex -3.863998 -8.678682 7.866000
      vertex -2.010298 -9.457709 7.743000
    endloop
  endfacet
  facet normal -0.061731 -0.587334 0.806987
    outer loop
      vertex -1.975161 -9.292402 7.866000
      vertex -2.010298 -9.457709 7.743000
      vertex 0.000000 -9.669000 7.743000
    endloop
  endfacet
  facet normal -0.061731 -0.587334 0.806987
    outer loop
      vertex 0.000000 -9.500000 7.866000
      vertex -1.975161 -9.292402 7.866000
      vertex 0.000000 -9.669000 7.743000
    endloop
  endfacet
  facet normal 0.061731 -0.587334 0.806987
    outer loop
      vertex 0.000000 -9.500000 7.866000
      vertex 0.000000 -9.669000 7.743000
      vertex 2.010298 -9.457709 7.743000
    endloop
  endfacet
  facet normal 0.061731 -0.587334 0.806987
    outer loop
      vertex 1.975161 -9.292402 7.866000
      vertex 0.000000 -9.500000 7.866000
      vertex 2.010298 -9.457709 7.743000
    endloop
  endfacet
  facet normal 0.182496 -0.561664 0.806987
    outer loop
      vertex 3.932737 -8.833071 7.743000
      vertex 1.975161 -9.292402 7.866000
      vertex 2.010298 -9.457709 7.743000
    endloop
  endfacet
  facet normal 0.182496 -0.561665 0.806987
    outer loop
      vertex 3.863998 -8.678682 7.866000
      vertex 1.975161 -9.292402 7.866000
      vertex 3.932737 -8.833071 7.743000
    endloop
  endfacet
  facet normal 0.295284 -0.511448 0.806987
    outer loop
      vertex 5.683296 -7.822385 7.743000
      vertex 3.863998 -8.678682 7.866000
      vertex 3.932737 -8.833071 7.743000
    endloop
  endfacet
  facet normal 0.295284 -0.511447 0.806988
    outer loop
      vertex 5.583960 -7.685661 7.866000
      vertex 3.863998 -8.678682 7.866000
      vertex 5.683296 -7.822385 7.743000
    endloop
  endfacet
  facet normal 0.395167 -0.438878 0.806988
    outer loop
      vertex 7.185467 -6.469824 7.743000
      vertex 5.583960 -7.685661 7.866000
      vertex 5.683296 -7.822385 7.743000
    endloop
  endfacet
  facet normal 0.395168 -0.438879 0.806986
    outer loop
      vertex 7.059876 -6.356741 7.866000
      vertex 5.583960 -7.685661 7.866000
      vertex 7.185467 -6.469824 7.743000
    endloop
  endfacet
  facet normal 0.477781 -0.347128 0.806986
    outer loop
      vertex 8.373600 -4.834500 7.743000
      vertex 7.059876 -6.356741 7.866000
      vertex 7.185467 -6.469824 7.743000
    endloop
  endfacet
  facet normal 0.477779 -0.347127 0.806988
    outer loop
      vertex 8.227241 -4.750000 7.866000
      vertex 7.059876 -6.356741 7.866000
      vertex 8.373600 -4.834500 7.743000
    endloop
  endfacet
  facet normal 0.539510 -0.240205 0.806988
    outer loop
      vertex 9.195765 -2.987885 7.743000
      vertex 8.227241 -4.750000 7.866000
      vertex 8.373600 -4.834500 7.743000
    endloop
  endfacet
  facet normal 0.539513 -0.240207 0.806986
    outer loop
      vertex 9.035037 -2.935661 7.866000
      vertex 8.227241 -4.750000 7.866000
      vertex 9.195765 -2.987885 7.743000
    endloop
  endfacet
  facet normal 0.577665 -0.122787 0.806986
    outer loop
      vertex 9.616032 -1.010686 7.743000
      vertex 9.035037 -2.935661 7.866000
      vertex 9.195765 -2.987885 7.743000
    endloop
  endfacet
  facet normal 0.577664 -0.122786 0.806987
    outer loop
      vertex 9.447958 -0.993020 7.866000
      vertex 9.035037 -2.935661 7.866000
      vertex 9.616032 -1.010686 7.743000
    endloop
  endfacet
  facet normal 0.590569 -0.000000 0.806987
    outer loop
      vertex 9.447958 0.993020 7.866000
      vertex 9.447958 -0.993020 7.866000
      vertex 9.616032 -1.010686 7.743000
    endloop
  endfacet
  facet normal 0.590569 -0.000000 0.806987
    outer loop
      vertex 9.616032 1.010686 7.743000
      vertex 9.447958 0.993020 7.866000
      vertex 9.616032 -1.010686 7.743000
    endloop
  endfacet
  facet normal 0.577664 0.122786 0.806987
    outer loop
      vertex 9.616032 1.010686 7.743000
      vertex 9.195765 2.987885 7.743000
      vertex 9.447958 0.993020 7.866000
    endloop
  endfacet
  facet normal 0.577665 0.122786 0.806986
    outer loop
      vertex 9.195765 2.987885 7.743000
      vertex 9.035037 2.935661 7.866000
      vertex 9.447958 0.993020 7.866000
    endloop
  endfacet
  facet normal 0.539513 0.240206 0.806986
    outer loop
      vertex 9.195765 2.987885 7.743000
      vertex 8.373600 4.834500 7.743000
      vertex 9.035037 2.935661 7.866000
    endloop
  endfacet
  facet normal 0.539510 0.240206 0.806988
    outer loop
      vertex 8.373600 4.834500 7.743000
      vertex 8.227241 4.750000 7.866000
      vertex 9.035037 2.935661 7.866000
    endloop
  endfacet
  facet normal 0.477779 0.347127 0.806988
    outer loop
      vertex 8.373600 4.834500 7.743000
      vertex 7.185467 6.469824 7.743000
      vertex 8.227241 4.750000 7.866000
    endloop
  endfacet
  facet normal 0.477781 0.347128 0.806986
    outer loop
      vertex 7.185467 6.469824 7.743000
      vertex 7.059876 6.356741 7.866000
      vertex 8.227241 4.750000 7.866000
    endloop
  endfacet
  facet normal 0.395168 0.438879 0.806987
    outer loop
      vertex 7.185467 6.469824 7.743000
      vertex 5.683296 7.822385 7.743000
      vertex 7.059876 6.356741 7.866000
    endloop
  endfacet
  facet normal 0.395167 0.438878 0.806988
    outer loop
      vertex 5.683296 7.822385 7.743000
      vertex 5.583960 7.685661 7.866000
      vertex 7.059876 6.356741 7.866000
    endloop
  endfacet
  facet normal 0.295284 0.511447 0.806988
    outer loop
      vertex 5.683296 7.822385 7.743000
      vertex 3.932737 8.833071 7.743000
      vertex 5.583960 7.685661 7.866000
    endloop
  endfacet
  facet normal 0.295285 0.511448 0.806987
    outer loop
      vertex 3.932737 8.833071 7.743000
      vertex 3.863998 8.678682 7.866000
      vertex 5.583960 7.685661 7.866000
    endloop
  endfacet
  facet normal 0.182496 0.561665 0.806987
    outer loop
      vertex 3.932737 8.833071 7.743000
      vertex 2.010298 9.457709 7.743000
      vertex 3.863998 8.678682 7.866000
    endloop
  endfacet
  facet normal 0.182496 0.561664 0.806987
    outer loop
      vertex 2.010298 9.457709 7.743000
      vertex 1.975161 9.292402 7.866000
      vertex 3.863998 8.678682 7.866000
    endloop
  endfacet
  facet normal 0.061731 0.587334 0.806987
    outer loop
      vertex 2.010298 9.457709 7.743000
      vertex 0.000000 9.669000 7.743000
      vertex 1.975161 9.292402 7.866000
    endloop
  endfacet
  facet normal 0.061731 0.587334 0.806987
    outer loop
      vertex 0.000000 9.669000 7.743000
      vertex 0.000000 9.500000 7.866000
      vertex 1.975161 9.292402 7.866000
    endloop
  endfacet
  facet normal -0.061731 0.587334 0.806987
    outer loop
      vertex 0.000000 9.669000 7.743000
      vertex -2.010298 9.457709 7.743000
      vertex 0.000000 9.500000 7.866000
    endloop
  endfacet
  facet normal -0.061731 0.587334 0.806987
    outer loop
      vertex 0.000000 9.500000 7.866000
      vertex -2.010298 9.457709 7.743000
      vertex -1.975161 9.292402 7.866000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -8.950697 -0.940756 7.995000
      vertex -9.055122 -0.951732 7.995000
      vertex -8.659370 -2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 6.688303 -6.022175 7.995000
      vertex 5.290067 -7.281153 7.995000
      vertex 6.766334 -6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -8.559509 2.781153 7.995000
      vertex -7.794229 4.500000 7.995000
      vertex -7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -9.055122 0.951732 7.995000
      vertex -9.055122 -0.951732 7.995000
      vertex -8.950697 -0.940756 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 7.794229 -4.500000 7.995000
      vertex 6.688303 -6.022175 7.995000
      vertex 7.885161 -4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -8.659370 2.813600 7.995000
      vertex -8.559509 2.781153 7.995000
      vertex -7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex -8.659370 2.813600 7.995000
      vertex -9.055122 0.951732 7.995000
      vertex -8.559509 2.781153 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.885161 4.552500 7.995000
      vertex -7.794229 4.500000 7.995000
      vertex -6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.794229 4.500000 7.995000
      vertex -6.688303 6.022175 7.995000
      vertex -6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.766334 6.092434 7.995000
      vertex -6.688303 6.022175 7.995000
      vertex -5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.351785 7.366100 7.995000
      vertex -5.290067 7.281153 7.995000
      vertex -3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.703337 8.317831 7.995000
      vertex -3.660630 8.221909 7.995000
      vertex -1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -1.893036 8.906034 7.995000
      vertex -1.871205 8.803328 7.995000
      vertex 0.000000 9.105000 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 0.000000 9.105000 7.995000
      vertex 0.000000 9.000000 7.995000
      vertex 1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 1.893036 8.906034 7.995000
      vertex 1.871205 8.803328 7.995000
      vertex 3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 3.703337 8.317831 7.995000
      vertex 3.660630 8.221909 7.995000
      vertex 5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 5.351785 7.366100 7.995000
      vertex 5.290067 7.281153 7.995000
      vertex 6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 6.766334 6.092434 7.995000
      vertex 6.688303 6.022175 7.995000
      vertex 7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 7.885161 4.552500 7.995000
      vertex 7.794229 4.500000 7.995000
      vertex 8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 8.659370 2.813600 7.995000
      vertex 8.559509 2.781153 7.995000
      vertex 9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 9.055122 0.951732 7.995000
      vertex 8.950697 0.940756 7.995000
      vertex 9.055122 -0.951732 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 8.950697 0.940756 7.995000
      vertex 8.950697 -0.940756 7.995000
      vertex 9.055122 -0.951732 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 9.055122 -0.951732 7.995000
      vertex 8.559509 -2.781153 7.995000
      vertex 8.659370 -2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 8.659370 -2.813600 7.995000
      vertex 7.794229 -4.500000 7.995000
      vertex 7.885161 -4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.688303 6.022175 7.995000
      vertex -5.290067 7.281153 7.995000
      vertex -5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.885161 -4.552500 7.995000
      vertex 6.688303 -6.022175 7.995000
      vertex 6.766334 -6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.290067 7.281153 7.995000
      vertex -3.660630 8.221909 7.995000
      vertex -3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 6.766334 -6.092434 7.995000
      vertex 5.290067 -7.281153 7.995000
      vertex 5.351785 -7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.660630 8.221909 7.995000
      vertex -1.871205 8.803328 7.995000
      vertex -1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 5.351785 -7.366100 7.995000
      vertex 3.660630 -8.221909 7.995000
      vertex 3.703337 -8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -1.871205 8.803328 7.995000
      vertex 0.000000 9.000000 7.995000
      vertex 0.000000 9.105000 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 3.703337 -8.317831 7.995000
      vertex 1.871205 -8.803328 7.995000
      vertex 1.893036 -8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 9.000000 7.995000
      vertex 1.871205 8.803328 7.995000
      vertex 1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 1.893036 -8.906034 7.995000
      vertex 0.000000 -9.000000 7.995000
      vertex 0.000000 -9.105000 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 1.871205 8.803328 7.995000
      vertex 3.660630 8.221909 7.995000
      vertex 3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 -9.105000 7.995000
      vertex -1.871205 -8.803328 7.995000
      vertex -1.893036 -8.906034 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 3.660630 8.221909 7.995000
      vertex 5.290067 7.281153 7.995000
      vertex 5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -1.893036 -8.906034 7.995000
      vertex -3.660630 -8.221909 7.995000
      vertex -3.703337 -8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 5.290067 7.281153 7.995000
      vertex 6.688303 6.022175 7.995000
      vertex 6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -3.703337 -8.317831 7.995000
      vertex -5.290067 -7.281153 7.995000
      vertex -5.351785 -7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 6.688303 6.022175 7.995000
      vertex 7.794229 4.500000 7.995000
      vertex 7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -5.351785 -7.366100 7.995000
      vertex -6.688303 -6.022175 7.995000
      vertex -6.766334 -6.092434 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.794229 4.500000 7.995000
      vertex 8.559509 2.781153 7.995000
      vertex 8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.766334 -6.092434 7.995000
      vertex -7.794229 -4.500000 7.995000
      vertex -7.885161 -4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 8.559509 2.781153 7.995000
      vertex 8.950697 0.940756 7.995000
      vertex 9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.885161 -4.552500 7.995000
      vertex -8.559509 -2.781153 7.995000
      vertex -8.659370 -2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 8.950697 -0.940756 7.995000
      vertex 8.559509 -2.781153 7.995000
      vertex 9.055122 -0.951732 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -8.559509 -2.781153 7.995000
      vertex -8.950697 -0.940756 7.995000
      vertex -8.659370 -2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 5.290067 -7.281153 7.995000
      vertex 3.660630 -8.221909 7.995000
      vertex 5.351785 -7.366100 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 3.660630 -8.221909 7.995000
      vertex 1.871205 -8.803328 7.995000
      vertex 3.703337 -8.317831 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 1.871205 -8.803328 7.995000
      vertex 0.000000 -9.000000 7.995000
      vertex 1.893036 -8.906034 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex 0.000000 -9.000000 7.995000
      vertex -1.871205 -8.803328 7.995000
      vertex 0.000000 -9.105000 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -1.871205 -8.803328 7.995000
      vertex -3.660630 -8.221909 7.995000
      vertex -1.893036 -8.906034 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -3.660630 -8.221909 7.995000
      vertex -5.290067 -7.281153 7.995000
      vertex -3.703337 -8.317831 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -5.290067 -7.281153 7.995000
      vertex -6.688303 -6.022175 7.995000
      vertex -5.351785 -7.366100 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -6.688303 -6.022175 7.995000
      vertex -7.794229 -4.500000 7.995000
      vertex -6.766334 -6.092434 7.995000
    endloop
  endfacet
  facet normal -0.000000 0.000000 1.000000
    outer loop
      vertex -7.794229 -4.500000 7.995000
      vertex -8.559509 -2.781153 7.995000
      vertex -7.885161 -4.552500 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -8.950697 -0.940756 7.995000
      vertex -8.950697 0.940756 7.995000
      vertex -9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 1.000000
    outer loop
      vertex 8.559509 -2.781153 7.995000
      vertex 7.794229 -4.500000 7.995000
      vertex 8.659370 -2.813600 7.995000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -8.950697 0.940756 7.995000
      vertex -8.559509 2.781153 7.995000
      vertex -9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal -0.042695 0.406211 0.912781
    outer loop
      vertex 0.000000 9.500000 7.866000
      vertex -1.975161 9.292402 7.866000
      vertex 0.000000 9.309000 7.951000
    endloop
  endfacet
  facet normal -0.042695 0.406212 0.912781
    outer loop
      vertex 0.000000 9.309000 7.951000
      vertex -1.975161 9.292402 7.866000
      vertex -1.935450 9.105576 7.951000
    endloop
  endfacet
  facet normal -0.022155 0.210786 0.977281
    outer loop
      vertex 0.000000 9.309000 7.951000
      vertex -1.935450 9.105576 7.951000
      vertex 0.000000 9.105000 7.995000
    endloop
  endfacet
  facet normal -0.022155 0.210786 0.977281
    outer loop
      vertex 0.000000 9.105000 7.995000
      vertex -1.935450 9.105576 7.951000
      vertex -1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal -0.065495 0.201574 0.977281
    outer loop
      vertex -1.935450 9.105576 7.951000
      vertex -3.786311 8.504195 7.951000
      vertex -1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal -0.065495 0.201573 0.977281
    outer loop
      vertex -1.893036 8.906034 7.995000
      vertex -3.786311 8.504195 7.951000
      vertex -3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal -0.105973 0.183551 0.977281
    outer loop
      vertex -3.786311 8.504195 7.951000
      vertex -5.471693 7.531139 7.951000
      vertex -3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal -0.105974 0.183552 0.977281
    outer loop
      vertex -3.703337 8.317831 7.995000
      vertex -5.471693 7.531139 7.951000
      vertex -5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal -0.141821 0.157508 0.977281
    outer loop
      vertex -5.471693 7.531139 7.951000
      vertex -6.917935 6.228937 7.951000
      vertex -5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal -0.141820 0.157508 0.977281
    outer loop
      vertex -5.351785 7.366100 7.995000
      vertex -6.917935 6.228937 7.951000
      vertex -6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal -0.171469 0.124580 0.977281
    outer loop
      vertex -6.917935 6.228937 7.951000
      vertex -8.061830 4.654500 7.951000
      vertex -6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal -0.171469 0.124579 0.977281
    outer loop
      vertex -6.766334 6.092434 7.995000
      vertex -8.061830 4.654500 7.951000
      vertex -7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal -0.193624 0.086207 0.977281
    outer loop
      vertex -8.061830 4.654500 7.951000
      vertex -8.853385 2.876639 7.951000
      vertex -7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal -0.193624 0.086207 0.977281
    outer loop
      vertex -7.885161 4.552500 7.995000
      vertex -8.853385 2.876639 7.951000
      vertex -8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal -0.207316 0.044066 0.977281
    outer loop
      vertex -8.853385 2.876639 7.951000
      vertex -9.258004 0.973055 7.951000
      vertex -8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal -0.207316 0.044066 0.977281
    outer loop
      vertex -8.659370 2.813600 7.995000
      vertex -9.258004 0.973055 7.951000
      vertex -9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal -0.211948 0.000000 0.977281
    outer loop
      vertex -9.258004 0.973055 7.951000
      vertex -9.258004 -0.973055 7.951000
      vertex -9.055122 -0.951732 7.995000
    endloop
  endfacet
  facet normal -0.211948 0.000000 0.977281
    outer loop
      vertex -9.055122 0.951732 7.995000
      vertex -9.258004 0.973055 7.951000
      vertex -9.055122 -0.951732 7.995000
    endloop
  endfacet
  facet normal -0.207316 -0.044066 0.977281
    outer loop
      vertex -9.055122 -0.951732 7.995000
      vertex -9.258004 -0.973055 7.951000
      vertex -8.853385 -2.876639 7.951000
    endloop
  endfacet
  facet normal -0.207316 -0.044066 0.977281
    outer loop
      vertex -8.659370 -2.813600 7.995000
      vertex -9.055122 -0.951732 7.995000
      vertex -8.853385 -2.876639 7.951000
    endloop
  endfacet
  facet normal -0.193624 -0.086207 0.977281
    outer loop
      vertex -8.659370 -2.813600 7.995000
      vertex -8.853385 -2.876639 7.951000
      vertex -8.061830 -4.654500 7.951000
    endloop
  endfacet
  facet normal -0.373137 -0.166131 0.912781
    outer loop
      vertex -8.061830 -4.654500 7.951000
      vertex -8.853385 -2.876639 7.951000
      vertex -8.227241 -4.750000 7.866000
    endloop
  endfacet
  facet normal -0.330442 -0.240080 0.912781
    outer loop
      vertex -8.061830 -4.654500 7.951000
      vertex -8.227241 -4.750000 7.866000
      vertex -7.059876 -6.356741 7.866000
    endloop
  endfacet
  facet normal -0.330442 -0.240080 0.912781
    outer loop
      vertex -6.917935 -6.228937 7.951000
      vertex -8.061830 -4.654500 7.951000
      vertex -7.059876 -6.356741 7.866000
    endloop
  endfacet
  facet normal -0.273305 -0.303537 0.912781
    outer loop
      vertex -6.917935 -6.228937 7.951000
      vertex -7.059876 -6.356741 7.866000
      vertex -5.583960 -7.685661 7.866000
    endloop
  endfacet
  facet normal -0.273306 -0.303537 0.912781
    outer loop
      vertex -5.471693 -7.531139 7.951000
      vertex -6.917935 -6.228937 7.951000
      vertex -5.583960 -7.685661 7.866000
    endloop
  endfacet
  facet normal -0.204225 -0.353728 0.912781
    outer loop
      vertex -5.471693 -7.531139 7.951000
      vertex -5.583960 -7.685661 7.866000
      vertex -3.863998 -8.678682 7.866000
    endloop
  endfacet
  facet normal -0.204225 -0.353727 0.912781
    outer loop
      vertex -3.786311 -8.504195 7.951000
      vertex -5.471693 -7.531139 7.951000
      vertex -3.863998 -8.678682 7.866000
    endloop
  endfacet
  facet normal -0.126218 -0.388458 0.912781
    outer loop
      vertex -3.786311 -8.504195 7.951000
      vertex -3.863998 -8.678682 7.866000
      vertex -1.975161 -9.292402 7.866000
    endloop
  endfacet
  facet normal -0.126218 -0.388458 0.912781
    outer loop
      vertex -1.935450 -9.105576 7.951000
      vertex -3.786311 -8.504195 7.951000
      vertex -1.975161 -9.292402 7.866000
    endloop
  endfacet
  facet normal -0.042695 -0.406212 0.912781
    outer loop
      vertex -1.935450 -9.105576 7.951000
      vertex -1.975161 -9.292402 7.866000
      vertex 0.000000 -9.500000 7.866000
    endloop
  endfacet
  facet normal -0.042695 -0.406211 0.912781
    outer loop
      vertex 0.000000 -9.309000 7.951000
      vertex -1.935450 -9.105576 7.951000
      vertex 0.000000 -9.500000 7.866000
    endloop
  endfacet
  facet normal 0.042695 -0.406211 0.912781
    outer loop
      vertex 0.000000 -9.309000 7.951000
      vertex 0.000000 -9.500000 7.866000
      vertex 1.975161 -9.292402 7.866000
    endloop
  endfacet
  facet normal 0.042695 -0.406212 0.912781
    outer loop
      vertex 1.935450 -9.105576 7.951000
      vertex 0.000000 -9.309000 7.951000
      vertex 1.975161 -9.292402 7.866000
    endloop
  endfacet
  facet normal 0.126218 -0.388459 0.912781
    outer loop
      vertex 3.863998 -8.678682 7.866000
      vertex 1.935450 -9.105576 7.951000
      vertex 1.975161 -9.292402 7.866000
    endloop
  endfacet
  facet normal 0.126218 -0.388458 0.912781
    outer loop
      vertex 3.786311 -8.504195 7.951000
      vertex 1.935450 -9.105576 7.951000
      vertex 3.863998 -8.678682 7.866000
    endloop
  endfacet
  facet normal 0.204225 -0.353727 0.912781
    outer loop
      vertex 5.583960 -7.685661 7.866000
      vertex 3.786311 -8.504195 7.951000
      vertex 3.863998 -8.678682 7.866000
    endloop
  endfacet
  facet normal 0.204225 -0.353728 0.912781
    outer loop
      vertex 5.471693 -7.531139 7.951000
      vertex 3.786311 -8.504195 7.951000
      vertex 5.583960 -7.685661 7.866000
    endloop
  endfacet
  facet normal 0.273306 -0.303537 0.912781
    outer loop
      vertex 7.059876 -6.356741 7.866000
      vertex 5.471693 -7.531139 7.951000
      vertex 5.583960 -7.685661 7.866000
    endloop
  endfacet
  facet normal 0.273305 -0.303536 0.912781
    outer loop
      vertex 6.917935 -6.228937 7.951000
      vertex 5.471693 -7.531139 7.951000
      vertex 7.059876 -6.356741 7.866000
    endloop
  endfacet
  facet normal 0.330442 -0.240080 0.912781
    outer loop
      vertex 8.227241 -4.750000 7.866000
      vertex 6.917935 -6.228937 7.951000
      vertex 7.059876 -6.356741 7.866000
    endloop
  endfacet
  facet normal 0.330442 -0.240080 0.912781
    outer loop
      vertex 8.061830 -4.654500 7.951000
      vertex 6.917935 -6.228937 7.951000
      vertex 8.227241 -4.750000 7.866000
    endloop
  endfacet
  facet normal 0.373137 -0.166131 0.912781
    outer loop
      vertex 9.035037 -2.935661 7.866000
      vertex 8.061830 -4.654500 7.951000
      vertex 8.227241 -4.750000 7.866000
    endloop
  endfacet
  facet normal 0.373137 -0.166131 0.912781
    outer loop
      vertex 8.853385 -2.876639 7.951000
      vertex 8.061830 -4.654500 7.951000
      vertex 9.035037 -2.935661 7.866000
    endloop
  endfacet
  facet normal 0.399523 -0.084921 0.912781
    outer loop
      vertex 9.447958 -0.993020 7.866000
      vertex 8.853385 -2.876639 7.951000
      vertex 9.035037 -2.935661 7.866000
    endloop
  endfacet
  facet normal 0.399523 -0.084921 0.912781
    outer loop
      vertex 9.258004 -0.973055 7.951000
      vertex 8.853385 -2.876639 7.951000
      vertex 9.447958 -0.993020 7.866000
    endloop
  endfacet
  facet normal 0.408448 -0.000000 0.912781
    outer loop
      vertex 9.258004 0.973055 7.951000
      vertex 9.258004 -0.973055 7.951000
      vertex 9.447958 -0.993020 7.866000
    endloop
  endfacet
  facet normal 0.408448 -0.000000 0.912781
    outer loop
      vertex 9.447958 0.993020 7.866000
      vertex 9.258004 0.973055 7.951000
      vertex 9.447958 -0.993020 7.866000
    endloop
  endfacet
  facet normal 0.399523 0.084921 0.912781
    outer loop
      vertex 9.447958 0.993020 7.866000
      vertex 9.035037 2.935661 7.866000
      vertex 9.258004 0.973055 7.951000
    endloop
  endfacet
  facet normal 0.399523 0.084921 0.912781
    outer loop
      vertex 9.035037 2.935661 7.866000
      vertex 8.853385 2.876639 7.951000
      vertex 9.258004 0.973055 7.951000
    endloop
  endfacet
  facet normal 0.373137 0.166131 0.912781
    outer loop
      vertex 9.035037 2.935661 7.866000
      vertex 8.227241 4.750000 7.866000
      vertex 8.853385 2.876639 7.951000
    endloop
  endfacet
  facet normal 0.373137 0.166131 0.912781
    outer loop
      vertex 8.227241 4.750000 7.866000
      vertex 8.061830 4.654500 7.951000
      vertex 8.853385 2.876639 7.951000
    endloop
  endfacet
  facet normal 0.330442 0.240080 0.912781
    outer loop
      vertex 8.227241 4.750000 7.866000
      vertex 7.059876 6.356741 7.866000
      vertex 8.061830 4.654500 7.951000
    endloop
  endfacet
  facet normal 0.330442 0.240080 0.912781
    outer loop
      vertex 7.059876 6.356741 7.866000
      vertex 6.917935 6.228937 7.951000
      vertex 8.061830 4.654500 7.951000
    endloop
  endfacet
  facet normal 0.273305 0.303537 0.912781
    outer loop
      vertex 7.059876 6.356741 7.866000
      vertex 5.583960 7.685661 7.866000
      vertex 6.917935 6.228937 7.951000
    endloop
  endfacet
  facet normal 0.273306 0.303537 0.912781
    outer loop
      vertex 5.583960 7.685661 7.866000
      vertex 5.471693 7.531139 7.951000
      vertex 6.917935 6.228937 7.951000
    endloop
  endfacet
  facet normal 0.204225 0.353728 0.912781
    outer loop
      vertex 5.583960 7.685661 7.866000
      vertex 3.863998 8.678682 7.866000
      vertex 5.471693 7.531139 7.951000
    endloop
  endfacet
  facet normal 0.204225 0.353727 0.912781
    outer loop
      vertex 3.863998 8.678682 7.866000
      vertex 3.786311 8.504195 7.951000
      vertex 5.471693 7.531139 7.951000
    endloop
  endfacet
  facet normal 0.126218 0.388458 0.912781
    outer loop
      vertex 3.863998 8.678682 7.866000
      vertex 1.975161 9.292402 7.866000
      vertex 3.786311 8.504195 7.951000
    endloop
  endfacet
  facet normal 0.126218 0.388458 0.912781
    outer loop
      vertex 1.975161 9.292402 7.866000
      vertex 1.935450 9.105576 7.951000
      vertex 3.786311 8.504195 7.951000
    endloop
  endfacet
  facet normal 0.042695 0.406212 0.912781
    outer loop
      vertex 1.975161 9.292402 7.866000
      vertex 0.000000 9.500000 7.866000
      vertex 1.935450 9.105576 7.951000
    endloop
  endfacet
  facet normal 0.042695 0.406211 0.912781
    outer loop
      vertex 0.000000 9.500000 7.866000
      vertex 0.000000 9.309000 7.951000
      vertex 1.935450 9.105576 7.951000
    endloop
  endfacet
  facet normal 0.022155 0.210786 0.977281
    outer loop
      vertex 0.000000 9.309000 7.951000
      vertex 0.000000 9.105000 7.995000
      vertex 1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.065495 0.201574 0.977281
    outer loop
      vertex 1.935450 9.105576 7.951000
      vertex 1.893036 8.906034 7.995000
      vertex 3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.022155 0.210786 0.977281
    outer loop
      vertex 1.935450 9.105576 7.951000
      vertex 0.000000 9.309000 7.951000
      vertex 1.893036 8.906034 7.995000
    endloop
  endfacet
  facet normal 0.105973 0.183551 0.977281
    outer loop
      vertex 3.786311 8.504195 7.951000
      vertex 3.703337 8.317831 7.995000
      vertex 5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.065495 0.201573 0.977281
    outer loop
      vertex 3.786311 8.504195 7.951000
      vertex 1.935450 9.105576 7.951000
      vertex 3.703337 8.317831 7.995000
    endloop
  endfacet
  facet normal 0.141821 0.157508 0.977281
    outer loop
      vertex 5.471693 7.531139 7.951000
      vertex 5.351785 7.366100 7.995000
      vertex 6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.105974 0.183552 0.977281
    outer loop
      vertex 5.471693 7.531139 7.951000
      vertex 3.786311 8.504195 7.951000
      vertex 5.351785 7.366100 7.995000
    endloop
  endfacet
  facet normal 0.171469 0.124580 0.977281
    outer loop
      vertex 6.917935 6.228937 7.951000
      vertex 6.766334 6.092434 7.995000
      vertex 7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.141820 0.157508 0.977281
    outer loop
      vertex 6.917935 6.228937 7.951000
      vertex 5.471693 7.531139 7.951000
      vertex 6.766334 6.092434 7.995000
    endloop
  endfacet
  facet normal 0.193624 0.086207 0.977281
    outer loop
      vertex 8.061830 4.654500 7.951000
      vertex 7.885161 4.552500 7.995000
      vertex 8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal 0.171469 0.124579 0.977281
    outer loop
      vertex 8.061830 4.654500 7.951000
      vertex 6.917935 6.228937 7.951000
      vertex 7.885161 4.552500 7.995000
    endloop
  endfacet
  facet normal 0.207316 0.044066 0.977281
    outer loop
      vertex 8.853385 2.876639 7.951000
      vertex 8.659370 2.813600 7.995000
      vertex 9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal 0.193624 0.086207 0.977281
    outer loop
      vertex 8.853385 2.876639 7.951000
      vertex 8.061830 4.654500 7.951000
      vertex 8.659370 2.813600 7.995000
    endloop
  endfacet
  facet normal 0.211948 -0.000000 0.977281
    outer loop
      vertex 9.055122 0.951732 7.995000
      vertex 9.055122 -0.951732 7.995000
      vertex 9.258004 -0.973055 7.951000
    endloop
  endfacet
  facet normal 0.211948 -0.000000 0.977281
    outer loop
      vertex 9.258004 0.973055 7.951000
      vertex 9.055122 0.951732 7.995000
      vertex 9.258004 -0.973055 7.951000
    endloop
  endfacet
  facet normal 0.207316 0.044066 0.977281
    outer loop
      vertex 9.258004 0.973055 7.951000
      vertex 8.853385 2.876639 7.951000
      vertex 9.055122 0.951732 7.995000
    endloop
  endfacet
  facet normal 0.207316 -0.044066 0.977281
    outer loop
      vertex 9.055122 -0.951732 7.995000
      vertex 8.659370 -2.813600 7.995000
      vertex 9.258004 -0.973055 7.951000
    endloop
  endfacet
  facet normal 0.193624 -0.086207 0.977281
    outer loop
      vertex 8.659370 -2.813600 7.995000
      vertex 7.885161 -4.552500 7.995000
      vertex 8.853385 -2.876639 7.951000
    endloop
  endfacet
  facet normal 0.207316 -0.044066 0.977281
    outer loop
      vertex 9.258004 -0.973055 7.951000
      vertex 8.659370 -2.813600 7.995000
      vertex 8.853385 -2.876639 7.951000
    endloop
  endfacet
  facet normal 0.171469 -0.124579 0.977281
    outer loop
      vertex 7.885161 -4.552500 7.995000
      vertex 6.766334 -6.092434 7.995000
      vertex 8.061830 -4.654500 7.951000
    endloop
  endfacet
  facet normal 0.193624 -0.086207 0.977281
    outer loop
      vertex 8.853385 -2.876639 7.951000
      vertex 7.885161 -4.552500 7.995000
      vertex 8.061830 -4.654500 7.951000
    endloop
  endfacet
  facet normal 0.141820 -0.157508 0.977281
    outer loop
      vertex 6.766334 -6.092434 7.995000
      vertex 5.351785 -7.366100 7.995000
      vertex 6.917935 -6.228937 7.951000
    endloop
  endfacet
  facet normal 0.171469 -0.124580 0.977281
    outer loop
      vertex 8.061830 -4.654500 7.951000
      vertex 6.766334 -6.092434 7.995000
      vertex 6.917935 -6.228937 7.951000
    endloop
  endfacet
  facet normal 0.105974 -0.183552 0.977281
    outer loop
      vertex 5.351785 -7.366100 7.995000
      vertex 3.703337 -8.317831 7.995000
      vertex 5.471693 -7.531139 7.951000
    endloop
  endfacet
  facet normal 0.141821 -0.157508 0.977281
    outer loop
      vertex 6.917935 -6.228937 7.951000
      vertex 5.351785 -7.366100 7.995000
      vertex 5.471693 -7.531139 7.951000
    endloop
  endfacet
  facet normal 0.065495 -0.201573 0.977281
    outer loop
      vertex 3.703337 -8.317831 7.995000
      vertex 1.893036 -8.906034 7.995000
      vertex 3.786311 -8.504195 7.951000
    endloop
  endfacet
  facet normal 0.105973 -0.183551 0.977281
    outer loop
      vertex 5.471693 -7.531139 7.951000
      vertex 3.703337 -8.317831 7.995000
      vertex 3.786311 -8.504195 7.951000
    endloop
  endfacet
  facet normal 0.022155 -0.210786 0.977281
    outer loop
      vertex 1.893036 -8.906034 7.995000
      vertex 0.000000 -9.105000 7.995000
      vertex 1.935450 -9.105576 7.951000
    endloop
  endfacet
  facet normal 0.065495 -0.201574 0.977281
    outer loop
      vertex 3.786311 -8.504195 7.951000
      vertex 1.893036 -8.906034 7.995000
      vertex 1.935450 -9.105576 7.951000
    endloop
  endfacet
  facet normal -0.022155 -0.210786 0.977281
    outer loop
      vertex 0.000000 -9.105000 7.995000
      vertex -1.893036 -8.906034 7.995000
      vertex 0.000000 -9.309000 7.951000
    endloop
  endfacet
  facet normal 0.022155 -0.210786 0.977281
    outer loop
      vertex 0.000000 -9.105000 7.995000
      vertex 0.000000 -9.309000 7.951000
      vertex 1.935450 -9.105576 7.951000
    endloop
  endfacet
  facet normal -0.065495 -0.201574 0.977281
    outer loop
      vertex -1.893036 -8.906034 7.995000
      vertex -3.703337 -8.317831 7.995000
      vertex -1.935450 -9.105576 7.951000
    endloop
  endfacet
  facet normal -0.022155 -0.210786 0.977281
    outer loop
      vertex -1.893036 -8.906034 7.995000
      vertex -1.935450 -9.105576 7.951000
      vertex 0.000000 -9.309000 7.951000
    endloop
  endfacet
  facet normal -0.105973 -0.183551 0.977281
    outer loop
      vertex -3.703337 -8.317831 7.995000
      vertex -5.351785 -7.366100 7.995000
      vertex -3.786311 -8.504195 7.951000
    endloop
  endfacet
  facet normal -0.065495 -0.201573 0.977281
    outer loop
      vertex -3.703337 -8.317831 7.995000
      vertex -3.786311 -8.504195 7.951000
      vertex -1.935450 -9.105576 7.951000
    endloop
  endfacet
  facet normal -0.141821 -0.157508 0.977281
    outer loop
      vertex -5.351785 -7.366100 7.995000
      vertex -6.766334 -6.092434 7.995000
      vertex -5.471693 -7.531139 7.951000
    endloop
  endfacet
  facet normal -0.105974 -0.183552 0.977281
    outer loop
      vertex -5.351785 -7.366100 7.995000
      vertex -5.471693 -7.531139 7.951000
      vertex -3.786311 -8.504195 7.951000
    endloop
  endfacet
  facet normal -0.171469 -0.124580 0.977281
    outer loop
      vertex -6.766334 -6.092434 7.995000
      vertex -7.885161 -4.552500 7.995000
      vertex -6.917935 -6.228937 7.951000
    endloop
  endfacet
  facet normal -0.141820 -0.157508 0.977281
    outer loop
      vertex -6.766334 -6.092434 7.995000
      vertex -6.917935 -6.228937 7.951000
      vertex -5.471693 -7.531139 7.951000
    endloop
  endfacet
  facet normal -0.193624 -0.086207 0.977281
    outer loop
      vertex -7.885161 -4.552500 7.995000
      vertex -8.659370 -2.813600 7.995000
      vertex -8.061830 -4.654500 7.951000
    endloop
  endfacet
  facet normal -0.171469 -0.124579 0.977281
    outer loop
      vertex -7.885161 -4.552500 7.995000
      vertex -8.061830 -4.654500 7.951000
      vertex -6.917935 -6.228937 7.951000
    endloop
  endfacet
endsolid OpenSCAD_Model