Below is the file 'STL/Pixel-motor-holder-3.stl' from this revision. You can also download the file.

solid OpenSCAD_Model
  facet normal -1 0 0
    outer loop
      vertex -8 -8 0
      vertex -8 18.5 5
      vertex -8 18.5 0
    endloop
  endfacet
  facet normal -1 -0 0
    outer loop
      vertex -8 18.5 5
      vertex -8 -8 0
      vertex -8 -8 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.75 19.25 5
      vertex 1.5 19.25 5
      vertex 1.47721 19.5105 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 8 18.5 5
      vertex 6 16.5 5
      vertex 8 -8 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 1.5 18.5 5
      vertex 6 16.5 5
      vertex 8 18.5 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.738605 19.3802 5
      vertex 1.47721 19.5105 5
      vertex 1.40954 19.763 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.704769 19.5065 5
      vertex 1.40954 19.763 5
      vertex 1.29904 20 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.649519 19.625 5
      vertex 1.29904 20 5
      vertex 1.14907 20.2142 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.574533 19.7321 5
      vertex 1.14907 20.2142 5
      vertex 0.964181 20.3991 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.48209 19.8245 5
      vertex 0.964181 20.3991 5
      vertex 0.75 20.549 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 1.40954 19.763 5
      vertex 0.704769 19.5065 5
      vertex 0.738605 19.3802 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.704769 18.9935 5
      vertex 1.5 19.25 5
      vertex 0.738605 19.1198 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 1.5 19.25 5
      vertex 0.704769 18.9935 5
      vertex 1.5 18.5 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0.649519 18.875 5
      vertex 1.5 18.5 5
      vertex 0.704769 18.9935 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0.574533 18.7679 5
      vertex 1.5 18.5 5
      vertex 0.649519 18.875 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0.48209 18.6755 5
      vertex 1.5 18.5 5
      vertex 0.574533 18.7679 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0.374999 18.6005 5
      vertex 1.5 18.5 5
      vertex 0.48209 18.6755 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0.256515 18.5452 5
      vertex 1.5 18.5 5
      vertex 0.374999 18.6005 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0.130236 18.5114 5
      vertex 1.5 18.5 5
      vertex 0.256515 18.5452 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 1.5 18.5 5
      vertex 0.130236 18.5114 5
      vertex 6 16.5 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0 18.5 5
      vertex 6 16.5 5
      vertex 0.130236 18.5114 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -6 16.5 5
      vertex 0 18.5 5
      vertex -0.130236 18.5114 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -1.5 18.5 5
      vertex -0.130236 18.5114 5
      vertex -0.256515 18.5452 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -1.40954 19.763 5
      vertex -0.704769 19.5065 5
      vertex -1.29904 20 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.704769 19.5065 5
      vertex -1.40954 19.763 5
      vertex -0.738605 19.3802 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -1.47721 19.5105 5
      vertex -0.738605 19.3802 5
      vertex -1.40954 19.763 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.738605 19.3802 5
      vertex -1.47721 19.5105 5
      vertex -0.75 19.25 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -1.5 19.25 5
      vertex -0.75 19.25 5
      vertex -1.47721 19.5105 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.75 19.25 5
      vertex -1.5 19.25 5
      vertex -0.738605 19.1198 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.738605 19.1198 5
      vertex -1.5 19.25 5
      vertex -0.704769 18.9935 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -1.5 18.5 5
      vertex -0.704769 18.9935 5
      vertex -1.5 19.25 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.704769 18.9935 5
      vertex -1.5 18.5 5
      vertex -0.649519 18.875 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.649519 18.875 5
      vertex -1.5 18.5 5
      vertex -0.574533 18.7679 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.574533 18.7679 5
      vertex -1.5 18.5 5
      vertex -0.48209 18.6755 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.48209 18.6755 5
      vertex -1.5 18.5 5
      vertex -0.375 18.6005 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -1.5 18.5 5
      vertex -0.256515 18.5452 5
      vertex -0.375 18.6005 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.130236 18.5114 5
      vertex -1.5 18.5 5
      vertex -6 16.5 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0 18.5 5
      vertex -6 16.5 5
      vertex 6 16.5 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -6 16.5 5
      vertex -8 18.5 5
      vertex -6 -6 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -8 18.5 5
      vertex -6 16.5 5
      vertex -1.5 18.5 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 6 -6 5
      vertex 8 -8 5
      vertex 6 16.5 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 6 -6 5
      vertex 4 -8 5
      vertex 8 -8 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 4 -8 5
      vertex 2 -15 5
      vertex 4 -21.05 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.738605 -8.88024 5
      vertex 4 -8 5
      vertex 0.75 -8.75 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.256515 -8.04523 5
      vertex 4 -8 5
      vertex 6 -6 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 4 -8 5
      vertex 0.738605 -8.61976 5
      vertex 0.75 -8.75 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 4 -8 5
      vertex 0.704769 -8.49348 5
      vertex 0.738605 -8.61976 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 4 -8 5
      vertex 0.649519 -8.375 5
      vertex 0.704769 -8.49348 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 4 -8 5
      vertex 0.574533 -8.26791 5
      vertex 0.649519 -8.375 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 4 -8 5
      vertex 0.48209 -8.17547 5
      vertex 0.574533 -8.26791 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 4 -8 5
      vertex 0.375 -8.10048 5
      vertex 0.48209 -8.17547 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 4 -8 5
      vertex 0.256515 -8.04523 5
      vertex 0.375 -8.10048 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 6 -6 5
      vertex 0.130236 -8.01139 5
      vertex 0.256515 -8.04523 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 6 -6 5
      vertex 0 -8 5
      vertex 0.130236 -8.01139 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -6 -6 5
      vertex 0 -8 5
      vertex 6 -6 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0 -8 5
      vertex -6 -6 5
      vertex -0.130236 -8.01139 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -4 -8 5
      vertex -0.75 -8.75 5
      vertex -0.738605 -8.61976 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -4 -21.05 5
      vertex -2 -15 5
      vertex -4 -8 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.75 -8.75 5
      vertex -4 -8 5
      vertex -2 -15 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.704769 -8.49348 5
      vertex -4 -8 5
      vertex -0.738605 -8.61976 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.649519 -8.375 5
      vertex -4 -8 5
      vertex -0.704769 -8.49348 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.574533 -8.26791 5
      vertex -4 -8 5
      vertex -0.649519 -8.375 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.48209 -8.17547 5
      vertex -4 -8 5
      vertex -0.574533 -8.26791 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.374999 -8.10048 5
      vertex -4 -8 5
      vertex -0.48209 -8.17547 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.256515 -8.04523 5
      vertex -4 -8 5
      vertex -0.374999 -8.10048 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.130236 -8.01139 5
      vertex -6 -6 5
      vertex -0.256515 -8.04523 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.256515 -8.04523 5
      vertex -6 -6 5
      vertex -4 -8 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -6 -6 5
      vertex -8 -8 5
      vertex -4 -8 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -8 -8 5
      vertex -6 -6 5
      vertex -8 18.5 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 2 -19 5
      vertex 4 -21.05 5
      vertex 2 -15 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -2 -19 5
      vertex 4 -21.05 5
      vertex 2 -19 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -2 -19 5
      vertex -4 -21.05 5
      vertex 4 -21.05 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -2 -15 5
      vertex -4 -21.05 5
      vertex -2 -19 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 1.5 19.25 5
      vertex 0.75 19.25 5
      vertex 0.738605 19.1198 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 1.47721 19.5105 5
      vertex 0.738605 19.3802 5
      vertex 0.75 19.25 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 1.29904 20 5
      vertex 0.649519 19.625 5
      vertex 0.704769 19.5065 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 1.14907 20.2142 5
      vertex 0.574533 19.7321 5
      vertex 0.649519 19.625 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.375 19.8995 5
      vertex 0.75 20.549 5
      vertex 0.51303 20.6595 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.964181 20.3991 5
      vertex 0.48209 19.8245 5
      vertex 0.574533 19.7321 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.75 20.549 5
      vertex 0.375 19.8995 5
      vertex 0.48209 19.8245 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.256515 19.9548 5
      vertex 0.51303 20.6595 5
      vertex 0.260471 20.7272 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.51303 20.6595 5
      vertex 0.256515 19.9548 5
      vertex 0.375 19.8995 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.260471 20.7272 5
      vertex 0.130236 19.9886 5
      vertex 0.256515 19.9548 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0 20.75 5
      vertex 0.130236 19.9886 5
      vertex 0.260471 20.7272 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0 20.75 5
      vertex 0 20 5
      vertex 0.130236 19.9886 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0 20.75 5
      vertex -0.130236 19.9886 5
      vertex 0 20 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -0.260471 20.7272 5
      vertex -0.130236 19.9886 5
      vertex 0 20.75 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.130236 19.9886 5
      vertex -0.260471 20.7272 5
      vertex -0.256515 19.9548 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -0.51303 20.6595 5
      vertex -0.256515 19.9548 5
      vertex -0.260471 20.7272 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.256515 19.9548 5
      vertex -0.51303 20.6595 5
      vertex -0.374999 19.8995 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -0.749999 20.549 5
      vertex -0.374999 19.8995 5
      vertex -0.51303 20.6595 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.374999 19.8995 5
      vertex -0.749999 20.549 5
      vertex -0.48209 19.8245 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -0.964181 20.3991 5
      vertex -0.48209 19.8245 5
      vertex -0.749999 20.549 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.48209 19.8245 5
      vertex -0.964181 20.3991 5
      vertex -0.574533 19.7321 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -1.14907 20.2142 5
      vertex -0.574533 19.7321 5
      vertex -0.964181 20.3991 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.574533 19.7321 5
      vertex -1.14907 20.2142 5
      vertex -0.649519 19.625 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex -1.29904 20 5
      vertex -0.649519 19.625 5
      vertex -1.14907 20.2142 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.649519 19.625 5
      vertex -1.29904 20 5
      vertex -0.704769 19.5065 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.704769 -9.00651 5
      vertex 4 -8 5
      vertex 0.738605 -8.88024 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.649519 -9.125 5
      vertex 4 -8 5
      vertex 0.704769 -9.00651 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0.574533 -9.23209 5
      vertex 4 -8 5
      vertex 0.649519 -9.125 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 4 -8 5
      vertex 0.574533 -9.23209 5
      vertex 2 -15 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0.48209 -9.32453 5
      vertex 2 -15 5
      vertex 0.574533 -9.23209 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0.374999 -9.39952 5
      vertex 2 -15 5
      vertex 0.48209 -9.32453 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0.256515 -9.45477 5
      vertex 2 -15 5
      vertex 0.374999 -9.39952 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0.130236 -9.48861 5
      vertex 2 -15 5
      vertex 0.256515 -9.45477 5
    endloop
  endfacet
  facet normal -0 0 1
    outer loop
      vertex 0 -9.5 5
      vertex 2 -15 5
      vertex 0.130236 -9.48861 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -2 -15 5
      vertex 0 -9.5 5
      vertex -0.130236 -9.48861 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -2 -15 5
      vertex -0.130236 -9.48861 5
      vertex -0.256515 -9.45477 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -2 -15 5
      vertex -0.256515 -9.45477 5
      vertex -0.375 -9.39952 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -2 -15 5
      vertex -0.375 -9.39952 5
      vertex -0.48209 -9.32453 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -2 -15 5
      vertex -0.48209 -9.32453 5
      vertex -0.574533 -9.23209 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -2 -15 5
      vertex -0.574533 -9.23209 5
      vertex -0.649519 -9.125 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -2 -15 5
      vertex -0.649519 -9.125 5
      vertex -0.704769 -9.00651 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex 0 -9.5 5
      vertex -2 -15 5
      vertex 2 -15 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -0.738605 -8.88024 5
      vertex -2 -15 5
      vertex -0.704769 -9.00651 5
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -2 -15 5
      vertex -0.738605 -8.88024 5
      vertex -0.75 -8.75 5
    endloop
  endfacet
  facet normal 1 -0 0
    outer loop
      vertex 8 -8 5
      vertex 8 18.5 0
      vertex 8 18.5 5
    endloop
  endfacet
  facet normal 1 0 0
    outer loop
      vertex 8 18.5 0
      vertex 8 -8 5
      vertex 8 -8 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.75 19.25 0
      vertex -1.5 19.25 0
      vertex -1.47721 19.5105 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 4 -8 0
      vertex 0.738605 -8.88024 0
      vertex 0.75 -8.75 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 4 -8 0
      vertex 0.704769 -9.00651 0
      vertex 0.738605 -8.88024 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 4 -8 0
      vertex 0.649519 -9.125 0
      vertex 0.704769 -9.00651 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 4 -8 0
      vertex 0.574533 -9.23209 0
      vertex 0.649519 -9.125 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 2 -15 0
      vertex 0.48209 -9.32453 0
      vertex 0.574533 -9.23209 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 2 -15 0
      vertex 0.374999 -9.39952 0
      vertex 0.48209 -9.32453 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 2 -15 0
      vertex 0.256515 -9.45477 0
      vertex 0.374999 -9.39952 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 2 -15 0
      vertex 0.130236 -9.48861 0
      vertex 0.256515 -9.45477 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 2 -15 0
      vertex 0 -9.5 0
      vertex 0.130236 -9.48861 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -2 -15 0
      vertex 0 -9.5 0
      vertex 2 -15 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex 0 -9.5 0
      vertex -2 -15 0
      vertex -0.130236 -9.48861 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex -0.130236 -9.48861 0
      vertex -2 -15 0
      vertex -0.256515 -9.45477 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex -0.256515 -9.45477 0
      vertex -2 -15 0
      vertex -0.375 -9.39952 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex -0.375 -9.39952 0
      vertex -2 -15 0
      vertex -0.48209 -9.32453 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex -0.48209 -9.32453 0
      vertex -2 -15 0
      vertex -0.574533 -9.23209 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -4 -8 0
      vertex -0.574533 -9.23209 0
      vertex -2 -15 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.704769 -9.00651 0
      vertex -4 -8 0
      vertex -0.738605 -8.88024 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.649519 -9.125 0
      vertex -4 -8 0
      vertex -0.704769 -9.00651 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.574533 -9.23209 0
      vertex -4 -8 0
      vertex -0.649519 -9.125 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 2 -15 0
      vertex 4 -21.05 0
      vertex 2 -19 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 4 -21.05 0
      vertex -2 -19 0
      vertex 2 -19 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex -2 -19 0
      vertex -4 -21.05 0
      vertex -2 -15 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -4 -21.05 0
      vertex -2 -19 0
      vertex 4 -21.05 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 8 -8 0
      vertex 6 -6 0
      vertex 8 18.5 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 4 -8 0
      vertex 6 -6 0
      vertex 8 -8 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 4 -21.05 0
      vertex 2 -15 0
      vertex 4 -8 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.574533 -9.23209 0
      vertex 4 -8 0
      vertex 2 -15 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.738605 -8.61976 0
      vertex 4 -8 0
      vertex 0.75 -8.75 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.704769 -8.49348 0
      vertex 4 -8 0
      vertex 0.738605 -8.61976 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.649519 -8.375 0
      vertex 4 -8 0
      vertex 0.704769 -8.49348 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.574533 -8.26791 0
      vertex 4 -8 0
      vertex 0.649519 -8.375 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.48209 -8.17547 0
      vertex 4 -8 0
      vertex 0.574533 -8.26791 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.375 -8.10048 0
      vertex 4 -8 0
      vertex 0.48209 -8.17547 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.256515 -8.04523 0
      vertex 4 -8 0
      vertex 0.375 -8.10048 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex 4 -8 0
      vertex 0.256515 -8.04523 0
      vertex 6 -6 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.130236 -8.01139 0
      vertex 6 -6 0
      vertex 0.256515 -8.04523 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0 -8 0
      vertex 6 -6 0
      vertex 0.130236 -8.01139 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -6 -6 0
      vertex 0 -8 0
      vertex -0.130236 -8.01139 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -6 -6 0
      vertex -0.130236 -8.01139 0
      vertex -0.256515 -8.04523 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.738605 -8.88024 0
      vertex -4 -8 0
      vertex -0.75 -8.75 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -4 -8 0
      vertex -2 -15 0
      vertex -4 -21.05 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.75 -8.75 0
      vertex -4 -8 0
      vertex -0.738605 -8.61976 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -4 -8 0
      vertex -0.704769 -8.49348 0
      vertex -0.738605 -8.61976 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -4 -8 0
      vertex -0.649519 -8.375 0
      vertex -0.704769 -8.49348 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -4 -8 0
      vertex -0.574533 -8.26791 0
      vertex -0.649519 -8.375 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -4 -8 0
      vertex -0.48209 -8.17547 0
      vertex -0.574533 -8.26791 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -4 -8 0
      vertex -0.374999 -8.10048 0
      vertex -0.48209 -8.17547 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -4 -8 0
      vertex -0.256515 -8.04523 0
      vertex -0.374999 -8.10048 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -6 -6 0
      vertex -0.256515 -8.04523 0
      vertex -4 -8 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0 -8 0
      vertex -6 -6 0
      vertex 6 -6 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex -6 -6 0
      vertex -8 -8 0
      vertex -6 16.5 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -8 -8 0
      vertex -6 -6 0
      vertex -4 -8 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 6 16.5 0
      vertex 8 18.5 0
      vertex 6 -6 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 6 16.5 0
      vertex 1.5 18.5 0
      vertex 8 18.5 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.704769 18.9935 0
      vertex 1.5 19.25 0
      vertex 1.5 18.5 0
    endloop
  endfacet
  facet normal 0 -0 -1
    outer loop
      vertex 0.75 19.25 0
      vertex 1.5 19.25 0
      vertex 0.738605 19.1198 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.738605 19.3802 0
      vertex 1.47721 19.5105 0
      vertex 0.75 19.25 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex 1.47721 19.5105 0
      vertex 0.738605 19.3802 0
      vertex 1.40954 19.763 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex 1.40954 19.763 0
      vertex 0.704769 19.5065 0
      vertex 1.29904 20 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.704769 19.5065 0
      vertex 1.40954 19.763 0
      vertex 0.738605 19.3802 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 1.5 19.25 0
      vertex 0.75 19.25 0
      vertex 1.47721 19.5105 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 1.5 19.25 0
      vertex 0.704769 18.9935 0
      vertex 0.738605 19.1198 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 1.5 18.5 0
      vertex 0.649519 18.875 0
      vertex 0.704769 18.9935 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.130236 18.5114 0
      vertex 1.5 18.5 0
      vertex 6 16.5 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 1.5 18.5 0
      vertex 0.574533 18.7679 0
      vertex 0.649519 18.875 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 1.5 18.5 0
      vertex 0.48209 18.6755 0
      vertex 0.574533 18.7679 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 1.5 18.5 0
      vertex 0.374999 18.6005 0
      vertex 0.48209 18.6755 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 1.5 18.5 0
      vertex 0.256515 18.5452 0
      vertex 0.374999 18.6005 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 1.5 18.5 0
      vertex 0.130236 18.5114 0
      vertex 0.256515 18.5452 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 6 16.5 0
      vertex 0 18.5 0
      vertex 0.130236 18.5114 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -6 16.5 0
      vertex 0 18.5 0
      vertex 6 16.5 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex 0 18.5 0
      vertex -6 16.5 0
      vertex -0.130236 18.5114 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -1.5 19.25 0
      vertex -0.75 19.25 0
      vertex -0.738605 19.1198 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.75 19.25 0
      vertex -1.14907 20.2142 0
      vertex -0.964181 20.3991 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -1.5 19.25 0
      vertex -0.704769 18.9935 0
      vertex -1.5 18.5 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.75 19.25 0
      vertex -1.29904 20 0
      vertex -1.14907 20.2142 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -1.5 18.5 0
      vertex -0.704769 18.9935 0
      vertex -0.649519 18.875 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.75 19.25 0
      vertex -1.40954 19.763 0
      vertex -1.29904 20 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -1.5 18.5 0
      vertex -0.649519 18.875 0
      vertex -0.574533 18.7679 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.75 19.25 0
      vertex -1.47721 19.5105 0
      vertex -1.40954 19.763 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -1.5 18.5 0
      vertex -0.574533 18.7679 0
      vertex -0.48209 18.6755 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.704769 18.9935 0
      vertex -1.5 19.25 0
      vertex -0.738605 19.1198 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex -0.375 18.6005 0
      vertex -1.5 18.5 0
      vertex -0.48209 18.6755 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex -0.256515 18.5452 0
      vertex -1.5 18.5 0
      vertex -0.375 18.6005 0
    endloop
  endfacet
  facet normal 0 -0 -1
    outer loop
      vertex -1.5 18.5 0
      vertex -0.130236 18.5114 0
      vertex -6 16.5 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex -0.130236 18.5114 0
      vertex -1.5 18.5 0
      vertex -0.256515 18.5452 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -6 16.5 0
      vertex -8 18.5 0
      vertex -1.5 18.5 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -8 18.5 0
      vertex -6 16.5 0
      vertex -8 -8 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.649519 19.625 0
      vertex 1.29904 20 0
      vertex 0.704769 19.5065 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex 1.29904 20 0
      vertex 0.649519 19.625 0
      vertex 1.14907 20.2142 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.574533 19.7321 0
      vertex 1.14907 20.2142 0
      vertex 0.649519 19.625 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex 1.14907 20.2142 0
      vertex 0.574533 19.7321 0
      vertex 0.964181 20.3991 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.48209 19.8245 0
      vertex 0.964181 20.3991 0
      vertex 0.574533 19.7321 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex 0.964181 20.3991 0
      vertex 0.48209 19.8245 0
      vertex 0.75 20.549 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.375 19.8995 0
      vertex 0.75 20.549 0
      vertex 0.48209 19.8245 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex 0.75 20.549 0
      vertex 0.375 19.8995 0
      vertex 0.51303 20.6595 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.256515 19.9548 0
      vertex 0.51303 20.6595 0
      vertex 0.375 19.8995 0
    endloop
  endfacet
  facet normal -0 0 -1
    outer loop
      vertex 0.51303 20.6595 0
      vertex 0.256515 19.9548 0
      vertex 0.260471 20.7272 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0.130236 19.9886 0
      vertex 0.260471 20.7272 0
      vertex 0.256515 19.9548 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0 20 0
      vertex 0.260471 20.7272 0
      vertex 0.130236 19.9886 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex 0 20 0
      vertex 0 20.75 0
      vertex 0.260471 20.7272 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.130236 19.9886 0
      vertex 0 20.75 0
      vertex 0 20 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.260471 20.7272 0
      vertex -0.130236 19.9886 0
      vertex -0.256515 19.9548 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.130236 19.9886 0
      vertex -0.260471 20.7272 0
      vertex 0 20.75 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.51303 20.6595 0
      vertex -0.256515 19.9548 0
      vertex -0.374999 19.8995 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.749999 20.549 0
      vertex -0.374999 19.8995 0
      vertex -0.48209 19.8245 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.256515 19.9548 0
      vertex -0.51303 20.6595 0
      vertex -0.260471 20.7272 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.964181 20.3991 0
      vertex -0.48209 19.8245 0
      vertex -0.574533 19.7321 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.964181 20.3991 0
      vertex -0.574533 19.7321 0
      vertex -0.649519 19.625 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.964181 20.3991 0
      vertex -0.649519 19.625 0
      vertex -0.704769 19.5065 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.964181 20.3991 0
      vertex -0.704769 19.5065 0
      vertex -0.738605 19.3802 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.374999 19.8995 0
      vertex -0.749999 20.549 0
      vertex -0.51303 20.6595 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.964181 20.3991 0
      vertex -0.738605 19.3802 0
      vertex -0.75 19.25 0
    endloop
  endfacet
  facet normal 0 0 -1
    outer loop
      vertex -0.48209 19.8245 0
      vertex -0.964181 20.3991 0
      vertex -0.749999 20.549 0
    endloop
  endfacet
  facet normal 0 -1 0
    outer loop
      vertex -8 -8 0
      vertex -4 -8 5
      vertex -8 -8 5
    endloop
  endfacet
  facet normal 0 -1 -0
    outer loop
      vertex -4 -8 5
      vertex -8 -8 0
      vertex -4 -8 0
    endloop
  endfacet
  facet normal 0 -1 0
    outer loop
      vertex 4 -8 0
      vertex 8 -8 5
      vertex 4 -8 5
    endloop
  endfacet
  facet normal 0 -1 -0
    outer loop
      vertex 8 -8 5
      vertex 4 -8 0
      vertex 8 -8 0
    endloop
  endfacet
  facet normal 0 1 -0
    outer loop
      vertex 8 18.5 0
      vertex 1.5 18.5 5
      vertex 8 18.5 5
    endloop
  endfacet
  facet normal 0 1 0
    outer loop
      vertex 1.5 18.5 5
      vertex 8 18.5 0
      vertex 1.5 18.5 0
    endloop
  endfacet
  facet normal 0 1 -0
    outer loop
      vertex -1.5 18.5 0
      vertex -8 18.5 5
      vertex -1.5 18.5 5
    endloop
  endfacet
  facet normal 0 1 0
    outer loop
      vertex -8 18.5 5
      vertex -1.5 18.5 0
      vertex -8 18.5 0
    endloop
  endfacet
  facet normal 0.996194 0.0871584 0
    outer loop
      vertex 1.5 19.25 5
      vertex 1.47721 19.5105 0
      vertex 1.47721 19.5105 5
    endloop
  endfacet
  facet normal 0.996194 0.0871584 0
    outer loop
      vertex 1.47721 19.5105 0
      vertex 1.5 19.25 5
      vertex 1.5 19.25 0
    endloop
  endfacet
  facet normal -0.0871584 0.996194 0
    outer loop
      vertex 0 20.75 0
      vertex -0.260471 20.7272 5
      vertex 0 20.75 5
    endloop
  endfacet
  facet normal -0.0871584 0.996194 0
    outer loop
      vertex -0.260471 20.7272 5
      vertex 0 20.75 0
      vertex -0.260471 20.7272 0
    endloop
  endfacet
  facet normal 0.573576 0.819152 -0
    outer loop
      vertex 0.964181 20.3991 0
      vertex 0.75 20.549 5
      vertex 0.964181 20.3991 5
    endloop
  endfacet
  facet normal 0.573576 0.819152 0
    outer loop
      vertex 0.75 20.549 5
      vertex 0.964181 20.3991 0
      vertex 0.75 20.549 0
    endloop
  endfacet
  facet normal -0.819149 0.57358 0
    outer loop
      vertex -1.29904 20 0
      vertex -1.14907 20.2142 5
      vertex -1.14907 20.2142 0
    endloop
  endfacet
  facet normal -0.819149 0.57358 0
    outer loop
      vertex -1.14907 20.2142 5
      vertex -1.29904 20 0
      vertex -1.29904 20 5
    endloop
  endfacet
  facet normal -0.422618 0.906308 0
    outer loop
      vertex -0.51303 20.6595 0
      vertex -0.749999 20.549 5
      vertex -0.51303 20.6595 5
    endloop
  endfacet
  facet normal -0.422618 0.906308 0
    outer loop
      vertex -0.749999 20.549 5
      vertex -0.51303 20.6595 0
      vertex -0.749999 20.549 0
    endloop
  endfacet
  facet normal 0.906308 0.422618 0
    outer loop
      vertex 1.40954 19.763 5
      vertex 1.29904 20 0
      vertex 1.29904 20 5
    endloop
  endfacet
  facet normal 0.906308 0.422618 0
    outer loop
      vertex 1.29904 20 0
      vertex 1.40954 19.763 5
      vertex 1.40954 19.763 0
    endloop
  endfacet
  facet normal 0.965926 0.258818 0
    outer loop
      vertex 1.47721 19.5105 5
      vertex 1.40954 19.763 0
      vertex 1.40954 19.763 5
    endloop
  endfacet
  facet normal 0.965926 0.258818 0
    outer loop
      vertex 1.40954 19.763 0
      vertex 1.47721 19.5105 5
      vertex 1.47721 19.5105 0
    endloop
  endfacet
  facet normal 0.819149 0.57358 0
    outer loop
      vertex 1.29904 20 5
      vertex 1.14907 20.2142 0
      vertex 1.14907 20.2142 5
    endloop
  endfacet
  facet normal 0.819149 0.57358 0
    outer loop
      vertex 1.14907 20.2142 0
      vertex 1.29904 20 5
      vertex 1.29904 20 0
    endloop
  endfacet
  facet normal 0.258818 0.965926 -0
    outer loop
      vertex 0.51303 20.6595 0
      vertex 0.260471 20.7272 5
      vertex 0.51303 20.6595 5
    endloop
  endfacet
  facet normal 0.258818 0.965926 0
    outer loop
      vertex 0.260471 20.7272 5
      vertex 0.51303 20.6595 0
      vertex 0.260471 20.7272 0
    endloop
  endfacet
  facet normal 0.0871584 0.996194 -0
    outer loop
      vertex 0.260471 20.7272 0
      vertex 0 20.75 5
      vertex 0.260471 20.7272 5
    endloop
  endfacet
  facet normal 0.0871584 0.996194 0
    outer loop
      vertex 0 20.75 5
      vertex 0.260471 20.7272 0
      vertex 0 20.75 0
    endloop
  endfacet
  facet normal 0.422616 0.906309 -0
    outer loop
      vertex 0.75 20.549 0
      vertex 0.51303 20.6595 5
      vertex 0.75 20.549 5
    endloop
  endfacet
  facet normal 0.422616 0.906309 0
    outer loop
      vertex 0.51303 20.6595 5
      vertex 0.75 20.549 0
      vertex 0.51303 20.6595 0
    endloop
  endfacet
  facet normal -0.965926 0.258818 0
    outer loop
      vertex -1.47721 19.5105 0
      vertex -1.40954 19.763 5
      vertex -1.40954 19.763 0
    endloop
  endfacet
  facet normal -0.965926 0.258818 0
    outer loop
      vertex -1.40954 19.763 5
      vertex -1.47721 19.5105 0
      vertex -1.47721 19.5105 5
    endloop
  endfacet
  facet normal -0.906308 0.422618 0
    outer loop
      vertex -1.40954 19.763 0
      vertex -1.29904 20 5
      vertex -1.29904 20 0
    endloop
  endfacet
  facet normal -0.906308 0.422618 0
    outer loop
      vertex -1.29904 20 5
      vertex -1.40954 19.763 0
      vertex -1.40954 19.763 5
    endloop
  endfacet
  facet normal -0.996194 0.0871584 0
    outer loop
      vertex -1.5 19.25 0
      vertex -1.47721 19.5105 5
      vertex -1.47721 19.5105 0
    endloop
  endfacet
  facet normal -0.996194 0.0871584 0
    outer loop
      vertex -1.47721 19.5105 5
      vertex -1.5 19.25 0
      vertex -1.5 19.25 5
    endloop
  endfacet
  facet normal -0.573574 0.819153 0
    outer loop
      vertex -0.749999 20.549 0
      vertex -0.964181 20.3991 5
      vertex -0.749999 20.549 5
    endloop
  endfacet
  facet normal -0.573574 0.819153 0
    outer loop
      vertex -0.964181 20.3991 5
      vertex -0.749999 20.549 0
      vertex -0.964181 20.3991 0
    endloop
  endfacet
  facet normal -0.258818 0.965926 0
    outer loop
      vertex -0.260471 20.7272 0
      vertex -0.51303 20.6595 5
      vertex -0.260471 20.7272 5
    endloop
  endfacet
  facet normal -0.258818 0.965926 0
    outer loop
      vertex -0.51303 20.6595 5
      vertex -0.260471 20.7272 0
      vertex -0.51303 20.6595 0
    endloop
  endfacet
  facet normal 0.70711 0.707103 0
    outer loop
      vertex 1.14907 20.2142 5
      vertex 0.964181 20.3991 0
      vertex 0.964181 20.3991 5
    endloop
  endfacet
  facet normal 0.70711 0.707103 0
    outer loop
      vertex 0.964181 20.3991 0
      vertex 1.14907 20.2142 5
      vertex 1.14907 20.2142 0
    endloop
  endfacet
  facet normal -0.70711 0.707103 0
    outer loop
      vertex -1.14907 20.2142 0
      vertex -0.964181 20.3991 5
      vertex -0.964181 20.3991 0
    endloop
  endfacet
  facet normal -0.70711 0.707103 0
    outer loop
      vertex -0.964181 20.3991 5
      vertex -1.14907 20.2142 0
      vertex -1.14907 20.2142 5
    endloop
  endfacet
  facet normal -1 0 0
    outer loop
      vertex -1.5 18.5 0
      vertex -1.5 19.25 5
      vertex -1.5 19.25 0
    endloop
  endfacet
  facet normal -1 -0 0
    outer loop
      vertex -1.5 19.25 5
      vertex -1.5 18.5 0
      vertex -1.5 18.5 5
    endloop
  endfacet
  facet normal 1 -0 0
    outer loop
      vertex 1.5 18.5 5
      vertex 1.5 19.25 0
      vertex 1.5 19.25 5
    endloop
  endfacet
  facet normal 1 0 0
    outer loop
      vertex 1.5 19.25 0
      vertex 1.5 18.5 5
      vertex 1.5 18.5 0
    endloop
  endfacet
  facet normal -1 0 0
    outer loop
      vertex -4 -21.05 0
      vertex -4 -8 5
      vertex -4 -8 0
    endloop
  endfacet
  facet normal -1 -0 0
    outer loop
      vertex -4 -8 5
      vertex -4 -21.05 0
      vertex -4 -21.05 5
    endloop
  endfacet
  facet normal 1 -0 0
    outer loop
      vertex 4 -21.05 5
      vertex 4 -8 0
      vertex 4 -8 5
    endloop
  endfacet
  facet normal 1 0 0
    outer loop
      vertex 4 -8 0
      vertex 4 -21.05 5
      vertex 4 -21.05 0
    endloop
  endfacet
  facet normal 0 -1 0
    outer loop
      vertex -4 -21.05 0
      vertex 4 -21.05 5
      vertex -4 -21.05 5
    endloop
  endfacet
  facet normal 0 -1 -0
    outer loop
      vertex 4 -21.05 5
      vertex -4 -21.05 0
      vertex 4 -21.05 0
    endloop
  endfacet
  facet normal 1 -0 0
    outer loop
      vertex -6 -6 5
      vertex -6 16.5 0
      vertex -6 16.5 5
    endloop
  endfacet
  facet normal 1 0 0
    outer loop
      vertex -6 16.5 0
      vertex -6 -6 5
      vertex -6 -6 0
    endloop
  endfacet
  facet normal -1 0 0
    outer loop
      vertex 6 -6 0
      vertex 6 16.5 5
      vertex 6 16.5 0
    endloop
  endfacet
  facet normal -1 -0 0
    outer loop
      vertex 6 16.5 5
      vertex 6 -6 0
      vertex 6 -6 5
    endloop
  endfacet
  facet normal 0 -1 0
    outer loop
      vertex -6 16.5 0
      vertex 6 16.5 5
      vertex -6 16.5 5
    endloop
  endfacet
  facet normal 0 -1 -0
    outer loop
      vertex 6 16.5 5
      vertex -6 16.5 0
      vertex 6 16.5 0
    endloop
  endfacet
  facet normal 0 1 -0
    outer loop
      vertex 6 -6 0
      vertex -6 -6 5
      vertex 6 -6 5
    endloop
  endfacet
  facet normal 0 1 0
    outer loop
      vertex -6 -6 5
      vertex 6 -6 0
      vertex -6 -6 0
    endloop
  endfacet
  facet normal -0.422615 -0.906309 0
    outer loop
      vertex 0.256515 19.9548 0
      vertex 0.375 19.8995 5
      vertex 0.256515 19.9548 5
    endloop
  endfacet
  facet normal -0.422615 -0.906309 -0
    outer loop
      vertex 0.375 19.8995 5
      vertex 0.256515 19.9548 0
      vertex 0.375 19.8995 0
    endloop
  endfacet
  facet normal -0.996195 0.0871572 0
    outer loop
      vertex 0.738605 19.1198 0
      vertex 0.75 19.25 5
      vertex 0.75 19.25 0
    endloop
  endfacet
  facet normal -0.996195 0.0871572 0
    outer loop
      vertex 0.75 19.25 5
      vertex 0.738605 19.1198 0
      vertex 0.738605 19.1198 5
    endloop
  endfacet
  facet normal 0.0871584 0.996194 -0
    outer loop
      vertex 0 18.5 0
      vertex -0.130236 18.5114 5
      vertex 0 18.5 5
    endloop
  endfacet
  facet normal 0.0871584 0.996194 0
    outer loop
      vertex -0.130236 18.5114 5
      vertex 0 18.5 0
      vertex -0.130236 18.5114 0
    endloop
  endfacet
  facet normal 0.422618 -0.906308 0
    outer loop
      vertex -0.374999 19.8995 0
      vertex -0.256515 19.9548 5
      vertex -0.374999 19.8995 5
    endloop
  endfacet
  facet normal 0.422618 -0.906308 0
    outer loop
      vertex -0.256515 19.9548 5
      vertex -0.374999 19.8995 0
      vertex -0.256515 19.9548 0
    endloop
  endfacet
  facet normal 0.965926 -0.258818 0
    outer loop
      vertex -0.738605 19.3802 5
      vertex -0.704769 19.5065 0
      vertex -0.704769 19.5065 5
    endloop
  endfacet
  facet normal 0.965926 -0.258818 0
    outer loop
      vertex -0.704769 19.5065 0
      vertex -0.738605 19.3802 5
      vertex -0.738605 19.3802 0
    endloop
  endfacet
  facet normal -0.906308 -0.422618 0
    outer loop
      vertex 0.704769 19.5065 0
      vertex 0.649519 19.625 5
      vertex 0.649519 19.625 0
    endloop
  endfacet
  facet normal -0.906308 -0.422618 0
    outer loop
      vertex 0.649519 19.625 5
      vertex 0.704769 19.5065 0
      vertex 0.704769 19.5065 5
    endloop
  endfacet
  facet normal -0.819148 -0.573583 0
    outer loop
      vertex 0.649519 19.625 0
      vertex 0.574533 19.7321 5
      vertex 0.574533 19.7321 0
    endloop
  endfacet
  facet normal -0.819148 -0.573583 0
    outer loop
      vertex 0.574533 19.7321 5
      vertex 0.649519 19.625 0
      vertex 0.649519 19.625 5
    endloop
  endfacet
  facet normal -0.258819 -0.965926 0
    outer loop
      vertex 0.130236 19.9886 0
      vertex 0.256515 19.9548 5
      vertex 0.130236 19.9886 5
    endloop
  endfacet
  facet normal -0.258819 -0.965926 -0
    outer loop
      vertex 0.256515 19.9548 5
      vertex 0.130236 19.9886 0
      vertex 0.256515 19.9548 0
    endloop
  endfacet
  facet normal 0.0871584 -0.996194 0
    outer loop
      vertex -0.130236 19.9886 0
      vertex 0 20 5
      vertex -0.130236 19.9886 5
    endloop
  endfacet
  facet normal 0.0871584 -0.996194 0
    outer loop
      vertex 0 20 5
      vertex -0.130236 19.9886 0
      vertex 0 20 0
    endloop
  endfacet
  facet normal 0.996195 0.0871572 0
    outer loop
      vertex -0.738605 19.1198 5
      vertex -0.75 19.25 0
      vertex -0.75 19.25 5
    endloop
  endfacet
  facet normal 0.996195 0.0871572 0
    outer loop
      vertex -0.75 19.25 0
      vertex -0.738605 19.1198 5
      vertex -0.738605 19.1198 0
    endloop
  endfacet
  facet normal 0.906308 -0.422618 0
    outer loop
      vertex -0.704769 19.5065 5
      vertex -0.649519 19.625 0
      vertex -0.649519 19.625 5
    endloop
  endfacet
  facet normal 0.906308 -0.422618 0
    outer loop
      vertex -0.649519 19.625 0
      vertex -0.704769 19.5065 5
      vertex -0.704769 19.5065 0
    endloop
  endfacet
  facet normal 0.573584 -0.819147 0
    outer loop
      vertex -0.48209 19.8245 0
      vertex -0.374999 19.8995 5
      vertex -0.48209 19.8245 5
    endloop
  endfacet
  facet normal 0.573584 -0.819147 0
    outer loop
      vertex -0.374999 19.8995 5
      vertex -0.48209 19.8245 0
      vertex -0.374999 19.8995 0
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0
    outer loop
      vertex -0.256515 19.9548 0
      vertex -0.130236 19.9886 5
      vertex -0.256515 19.9548 5
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0
    outer loop
      vertex -0.130236 19.9886 5
      vertex -0.256515 19.9548 0
      vertex -0.130236 19.9886 0
    endloop
  endfacet
  facet normal -0.996194 -0.0871584 0
    outer loop
      vertex 0.75 19.25 0
      vertex 0.738605 19.3802 5
      vertex 0.738605 19.3802 0
    endloop
  endfacet
  facet normal -0.996194 -0.0871584 0
    outer loop
      vertex 0.738605 19.3802 5
      vertex 0.75 19.25 0
      vertex 0.75 19.25 5
    endloop
  endfacet
  facet normal -0.258819 0.965926 0
    outer loop
      vertex 0.256515 18.5452 0
      vertex 0.130236 18.5114 5
      vertex 0.256515 18.5452 5
    endloop
  endfacet
  facet normal -0.258819 0.965926 0
    outer loop
      vertex 0.130236 18.5114 5
      vertex 0.256515 18.5452 0
      vertex 0.130236 18.5114 0
    endloop
  endfacet
  facet normal -0.422606 0.906314 0
    outer loop
      vertex 0.374999 18.6005 0
      vertex 0.256515 18.5452 5
      vertex 0.374999 18.6005 5
    endloop
  endfacet
  facet normal -0.422606 0.906314 0
    outer loop
      vertex 0.256515 18.5452 5
      vertex 0.374999 18.6005 0
      vertex 0.256515 18.5452 0
    endloop
  endfacet
  facet normal -0.573584 0.819147 0
    outer loop
      vertex 0.48209 18.6755 0
      vertex 0.374999 18.6005 5
      vertex 0.48209 18.6755 5
    endloop
  endfacet
  facet normal -0.573584 0.819147 0
    outer loop
      vertex 0.374999 18.6005 5
      vertex 0.48209 18.6755 0
      vertex 0.374999 18.6005 0
    endloop
  endfacet
  facet normal -0.906308 0.422618 0
    outer loop
      vertex 0.649519 18.875 0
      vertex 0.704769 18.9935 5
      vertex 0.704769 18.9935 0
    endloop
  endfacet
  facet normal -0.906308 0.422618 0
    outer loop
      vertex 0.704769 18.9935 5
      vertex 0.649519 18.875 0
      vertex 0.649519 18.875 5
    endloop
  endfacet
  facet normal -0.0871584 0.996194 0
    outer loop
      vertex 0.130236 18.5114 0
      vertex 0 18.5 5
      vertex 0.130236 18.5114 5
    endloop
  endfacet
  facet normal -0.0871584 0.996194 0
    outer loop
      vertex 0 18.5 5
      vertex 0.130236 18.5114 0
      vertex 0 18.5 0
    endloop
  endfacet
  facet normal 0.422603 0.906315 -0
    outer loop
      vertex -0.256515 18.5452 0
      vertex -0.375 18.6005 5
      vertex -0.256515 18.5452 5
    endloop
  endfacet
  facet normal 0.422603 0.906315 0
    outer loop
      vertex -0.375 18.6005 5
      vertex -0.256515 18.5452 0
      vertex -0.375 18.6005 0
    endloop
  endfacet
  facet normal 0.819148 0.573583 0
    outer loop
      vertex -0.574533 18.7679 5
      vertex -0.649519 18.875 0
      vertex -0.649519 18.875 5
    endloop
  endfacet
  facet normal 0.819148 0.573583 0
    outer loop
      vertex -0.649519 18.875 0
      vertex -0.574533 18.7679 5
      vertex -0.574533 18.7679 0
    endloop
  endfacet
  facet normal 0.965925 0.258821 0
    outer loop
      vertex -0.704769 18.9935 5
      vertex -0.738605 19.1198 0
      vertex -0.738605 19.1198 5
    endloop
  endfacet
  facet normal 0.965925 0.258821 0
    outer loop
      vertex -0.738605 19.1198 0
      vertex -0.704769 18.9935 5
      vertex -0.704769 18.9935 0
    endloop
  endfacet
  facet normal -0.965926 -0.258818 0
    outer loop
      vertex 0.738605 19.3802 0
      vertex 0.704769 19.5065 5
      vertex 0.704769 19.5065 0
    endloop
  endfacet
  facet normal -0.965926 -0.258818 0
    outer loop
      vertex 0.704769 19.5065 5
      vertex 0.738605 19.3802 0
      vertex 0.738605 19.3802 5
    endloop
  endfacet
  facet normal -0.707103 -0.70711 0
    outer loop
      vertex 0.48209 19.8245 0
      vertex 0.574533 19.7321 5
      vertex 0.48209 19.8245 5
    endloop
  endfacet
  facet normal -0.707103 -0.70711 -0
    outer loop
      vertex 0.574533 19.7321 5
      vertex 0.48209 19.8245 0
      vertex 0.574533 19.7321 0
    endloop
  endfacet
  facet normal -0.573588 -0.819144 0
    outer loop
      vertex 0.375 19.8995 0
      vertex 0.48209 19.8245 5
      vertex 0.375 19.8995 5
    endloop
  endfacet
  facet normal -0.573588 -0.819144 -0
    outer loop
      vertex 0.48209 19.8245 5
      vertex 0.375 19.8995 0
      vertex 0.48209 19.8245 0
    endloop
  endfacet
  facet normal -0.0871584 -0.996194 0
    outer loop
      vertex 0 20 0
      vertex 0.130236 19.9886 5
      vertex 0 20 5
    endloop
  endfacet
  facet normal -0.0871584 -0.996194 -0
    outer loop
      vertex 0.130236 19.9886 5
      vertex 0 20 0
      vertex 0.130236 19.9886 0
    endloop
  endfacet
  facet normal 0.996194 -0.0871584 0
    outer loop
      vertex -0.75 19.25 5
      vertex -0.738605 19.3802 0
      vertex -0.738605 19.3802 5
    endloop
  endfacet
  facet normal 0.996194 -0.0871584 0
    outer loop
      vertex -0.738605 19.3802 0
      vertex -0.75 19.25 5
      vertex -0.75 19.25 0
    endloop
  endfacet
  facet normal 0.707103 -0.70711 0
    outer loop
      vertex -0.574533 19.7321 0
      vertex -0.48209 19.8245 5
      vertex -0.574533 19.7321 5
    endloop
  endfacet
  facet normal 0.707103 -0.70711 0
    outer loop
      vertex -0.48209 19.8245 5
      vertex -0.574533 19.7321 0
      vertex -0.48209 19.8245 0
    endloop
  endfacet
  facet normal 0.819148 -0.573583 0
    outer loop
      vertex -0.649519 19.625 5
      vertex -0.574533 19.7321 0
      vertex -0.574533 19.7321 5
    endloop
  endfacet
  facet normal 0.819148 -0.573583 0
    outer loop
      vertex -0.574533 19.7321 0
      vertex -0.649519 19.625 5
      vertex -0.649519 19.625 0
    endloop
  endfacet
  facet normal -0.70711 0.707103 0
    outer loop
      vertex 0.48209 18.6755 0
      vertex 0.574533 18.7679 5
      vertex 0.574533 18.7679 0
    endloop
  endfacet
  facet normal -0.70711 0.707103 0
    outer loop
      vertex 0.574533 18.7679 5
      vertex 0.48209 18.6755 0
      vertex 0.48209 18.6755 5
    endloop
  endfacet
  facet normal -0.965925 0.258821 0
    outer loop
      vertex 0.704769 18.9935 0
      vertex 0.738605 19.1198 5
      vertex 0.738605 19.1198 0
    endloop
  endfacet
  facet normal -0.965925 0.258821 0
    outer loop
      vertex 0.738605 19.1198 5
      vertex 0.704769 18.9935 0
      vertex 0.704769 18.9935 5
    endloop
  endfacet
  facet normal 0.258819 0.965926 -0
    outer loop
      vertex -0.130236 18.5114 0
      vertex -0.256515 18.5452 5
      vertex -0.130236 18.5114 5
    endloop
  endfacet
  facet normal 0.258819 0.965926 0
    outer loop
      vertex -0.256515 18.5452 5
      vertex -0.130236 18.5114 0
      vertex -0.256515 18.5452 0
    endloop
  endfacet
  facet normal 0.906308 0.422618 0
    outer loop
      vertex -0.649519 18.875 5
      vertex -0.704769 18.9935 0
      vertex -0.704769 18.9935 5
    endloop
  endfacet
  facet normal 0.906308 0.422618 0
    outer loop
      vertex -0.704769 18.9935 0
      vertex -0.649519 18.875 5
      vertex -0.649519 18.875 0
    endloop
  endfacet
  facet normal 0.70711 0.707103 0
    outer loop
      vertex -0.48209 18.6755 5
      vertex -0.574533 18.7679 0
      vertex -0.574533 18.7679 5
    endloop
  endfacet
  facet normal 0.70711 0.707103 0
    outer loop
      vertex -0.574533 18.7679 0
      vertex -0.48209 18.6755 5
      vertex -0.48209 18.6755 0
    endloop
  endfacet
  facet normal -0.819148 0.573583 0
    outer loop
      vertex 0.574533 18.7679 0
      vertex 0.649519 18.875 5
      vertex 0.649519 18.875 0
    endloop
  endfacet
  facet normal -0.819148 0.573583 0
    outer loop
      vertex 0.649519 18.875 5
      vertex 0.574533 18.7679 0
      vertex 0.574533 18.7679 5
    endloop
  endfacet
  facet normal 0.573588 0.819144 -0
    outer loop
      vertex -0.375 18.6005 0
      vertex -0.48209 18.6755 5
      vertex -0.375 18.6005 5
    endloop
  endfacet
  facet normal 0.573588 0.819144 0
    outer loop
      vertex -0.48209 18.6755 5
      vertex -0.375 18.6005 0
      vertex -0.48209 18.6755 0
    endloop
  endfacet
  facet normal -0.996195 -0.0871578 0
    outer loop
      vertex 0.75 -8.75 0
      vertex 0.738605 -8.61976 5
      vertex 0.738605 -8.61976 0
    endloop
  endfacet
  facet normal -0.996195 -0.0871578 0
    outer loop
      vertex 0.738605 -8.61976 5
      vertex 0.75 -8.75 0
      vertex 0.75 -8.75 5
    endloop
  endfacet
  facet normal 0.996195 -0.0871578 0
    outer loop
      vertex -0.75 -8.75 5
      vertex -0.738605 -8.61976 0
      vertex -0.738605 -8.61976 5
    endloop
  endfacet
  facet normal 0.996195 -0.0871578 0
    outer loop
      vertex -0.738605 -8.61976 0
      vertex -0.75 -8.75 5
      vertex -0.75 -8.75 0
    endloop
  endfacet
  facet normal 0.0871512 -0.996195 0
    outer loop
      vertex -0.130236 -8.01139 0
      vertex 0 -8 5
      vertex -0.130236 -8.01139 5
    endloop
  endfacet
  facet normal 0.0871512 -0.996195 0
    outer loop
      vertex 0 -8 5
      vertex -0.130236 -8.01139 0
      vertex 0 -8 0
    endloop
  endfacet
  facet normal -0.573583 -0.819148 0
    outer loop
      vertex 0.375 -8.10048 0
      vertex 0.48209 -8.17547 5
      vertex 0.375 -8.10048 5
    endloop
  endfacet
  facet normal -0.573583 -0.819148 -0
    outer loop
      vertex 0.48209 -8.17547 5
      vertex 0.375 -8.10048 0
      vertex 0.48209 -8.17547 0
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0
    outer loop
      vertex -0.574533 -8.26791 5
      vertex -0.48209 -8.17547 0
      vertex -0.48209 -8.17547 5
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0
    outer loop
      vertex -0.48209 -8.17547 0
      vertex -0.574533 -8.26791 5
      vertex -0.574533 -8.26791 0
    endloop
  endfacet
  facet normal 0.422618 -0.906308 0
    outer loop
      vertex -0.374999 -8.10048 0
      vertex -0.256515 -8.04523 5
      vertex -0.374999 -8.10048 5
    endloop
  endfacet
  facet normal 0.422618 -0.906308 0
    outer loop
      vertex -0.256515 -8.04523 5
      vertex -0.374999 -8.10048 0
      vertex -0.256515 -8.04523 0
    endloop
  endfacet
  facet normal 0.819148 0.573583 0
    outer loop
      vertex -0.574533 -9.23209 5
      vertex -0.649519 -9.125 0
      vertex -0.649519 -9.125 5
    endloop
  endfacet
  facet normal 0.819148 0.573583 0
    outer loop
      vertex -0.649519 -9.125 0
      vertex -0.574533 -9.23209 5
      vertex -0.574533 -9.23209 0
    endloop
  endfacet
  facet normal -0.906308 -0.422618 0
    outer loop
      vertex 0.704769 -8.49348 0
      vertex 0.649519 -8.375 5
      vertex 0.649519 -8.375 0
    endloop
  endfacet
  facet normal -0.906308 -0.422618 0
    outer loop
      vertex 0.649519 -8.375 5
      vertex 0.704769 -8.49348 0
      vertex 0.704769 -8.49348 5
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0
    outer loop
      vertex 0.738605 -8.61976 0
      vertex 0.704769 -8.49348 5
      vertex 0.704769 -8.49348 0
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0
    outer loop
      vertex 0.704769 -8.49348 5
      vertex 0.738605 -8.61976 0
      vertex 0.738605 -8.61976 5
    endloop
  endfacet
  facet normal -0.81915 -0.573579 0
    outer loop
      vertex 0.649519 -8.375 0
      vertex 0.574533 -8.26791 5
      vertex 0.574533 -8.26791 0
    endloop
  endfacet
  facet normal -0.81915 -0.573579 0
    outer loop
      vertex 0.574533 -8.26791 5
      vertex 0.649519 -8.375 0
      vertex 0.649519 -8.375 5
    endloop
  endfacet
  facet normal -0.258819 -0.965926 0
    outer loop
      vertex 0.130236 -8.01139 0
      vertex 0.256515 -8.04523 5
      vertex 0.130236 -8.01139 5
    endloop
  endfacet
  facet normal -0.258819 -0.965926 -0
    outer loop
      vertex 0.256515 -8.04523 5
      vertex 0.130236 -8.01139 0
      vertex 0.256515 -8.04523 0
    endloop
  endfacet
  facet normal -0.0871512 -0.996195 0
    outer loop
      vertex 0 -8 0
      vertex 0.130236 -8.01139 5
      vertex 0 -8 5
    endloop
  endfacet
  facet normal -0.0871512 -0.996195 -0
    outer loop
      vertex 0.130236 -8.01139 5
      vertex 0 -8 0
      vertex 0.130236 -8.01139 0
    endloop
  endfacet
  facet normal -0.422615 -0.906309 0
    outer loop
      vertex 0.256515 -8.04523 0
      vertex 0.375 -8.10048 5
      vertex 0.256515 -8.04523 5
    endloop
  endfacet
  facet normal -0.422615 -0.906309 -0
    outer loop
      vertex 0.375 -8.10048 5
      vertex 0.256515 -8.04523 0
      vertex 0.375 -8.10048 0
    endloop
  endfacet
  facet normal 0.906308 -0.422618 0
    outer loop
      vertex -0.704769 -8.49348 5
      vertex -0.649519 -8.375 0
      vertex -0.649519 -8.375 5
    endloop
  endfacet
  facet normal 0.906308 -0.422618 0
    outer loop
      vertex -0.649519 -8.375 0
      vertex -0.704769 -8.49348 5
      vertex -0.704769 -8.49348 0
    endloop
  endfacet
  facet normal 0.81915 -0.573579 0
    outer loop
      vertex -0.649519 -8.375 5
      vertex -0.574533 -8.26791 0
      vertex -0.574533 -8.26791 5
    endloop
  endfacet
  facet normal 0.81915 -0.573579 0
    outer loop
      vertex -0.574533 -8.26791 0
      vertex -0.649519 -8.375 5
      vertex -0.649519 -8.375 0
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0
    outer loop
      vertex -0.738605 -8.61976 5
      vertex -0.704769 -8.49348 0
      vertex -0.704769 -8.49348 5
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0
    outer loop
      vertex -0.704769 -8.49348 0
      vertex -0.738605 -8.61976 5
      vertex -0.738605 -8.61976 0
    endloop
  endfacet
  facet normal 0.573579 -0.81915 0
    outer loop
      vertex -0.48209 -8.17547 0
      vertex -0.374999 -8.10048 5
      vertex -0.48209 -8.17547 5
    endloop
  endfacet
  facet normal 0.573579 -0.81915 0
    outer loop
      vertex -0.374999 -8.10048 5
      vertex -0.48209 -8.17547 0
      vertex -0.374999 -8.10048 0
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0
    outer loop
      vertex -0.256515 -8.04523 0
      vertex -0.130236 -8.01139 5
      vertex -0.256515 -8.04523 5
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0
    outer loop
      vertex -0.130236 -8.01139 5
      vertex -0.256515 -8.04523 0
      vertex -0.130236 -8.01139 0
    endloop
  endfacet
  facet normal -0.996194 0.0871584 0
    outer loop
      vertex 0.738605 -8.88024 0
      vertex 0.75 -8.75 5
      vertex 0.75 -8.75 0
    endloop
  endfacet
  facet normal -0.996194 0.0871584 0
    outer loop
      vertex 0.75 -8.75 5
      vertex 0.738605 -8.88024 0
      vertex 0.738605 -8.88024 5
    endloop
  endfacet
  facet normal -0.573579 0.81915 0
    outer loop
      vertex 0.48209 -9.32453 0
      vertex 0.374999 -9.39952 5
      vertex 0.48209 -9.32453 5
    endloop
  endfacet
  facet normal -0.573579 0.81915 0
    outer loop
      vertex 0.374999 -9.39952 5
      vertex 0.48209 -9.32453 0
      vertex 0.374999 -9.39952 0
    endloop
  endfacet
  facet normal -0.819148 0.573583 0
    outer loop
      vertex 0.574533 -9.23209 0
      vertex 0.649519 -9.125 5
      vertex 0.649519 -9.125 0
    endloop
  endfacet
  facet normal -0.819148 0.573583 0
    outer loop
      vertex 0.649519 -9.125 5
      vertex 0.574533 -9.23209 0
      vertex 0.574533 -9.23209 5
    endloop
  endfacet
  facet normal -0.965926 0.258819 0
    outer loop
      vertex 0.704769 -9.00651 0
      vertex 0.738605 -8.88024 5
      vertex 0.738605 -8.88024 0
    endloop
  endfacet
  facet normal -0.965926 0.258819 0
    outer loop
      vertex 0.738605 -8.88024 5
      vertex 0.704769 -9.00651 0
      vertex 0.704769 -9.00651 5
    endloop
  endfacet
  facet normal 0.422615 0.906309 -0
    outer loop
      vertex -0.256515 -9.45477 0
      vertex -0.375 -9.39952 5
      vertex -0.256515 -9.45477 5
    endloop
  endfacet
  facet normal 0.422615 0.906309 0
    outer loop
      vertex -0.375 -9.39952 5
      vertex -0.256515 -9.45477 0
      vertex -0.375 -9.39952 0
    endloop
  endfacet
  facet normal 0.707107 0.707107 0
    outer loop
      vertex -0.48209 -9.32453 5
      vertex -0.574533 -9.23209 0
      vertex -0.574533 -9.23209 5
    endloop
  endfacet
  facet normal 0.707107 0.707107 0
    outer loop
      vertex -0.574533 -9.23209 0
      vertex -0.48209 -9.32453 5
      vertex -0.48209 -9.32453 0
    endloop
  endfacet
  facet normal 0.573583 0.819148 -0
    outer loop
      vertex -0.375 -9.39952 0
      vertex -0.48209 -9.32453 5
      vertex -0.375 -9.39952 5
    endloop
  endfacet
  facet normal 0.573583 0.819148 0
    outer loop
      vertex -0.48209 -9.32453 5
      vertex -0.375 -9.39952 0
      vertex -0.48209 -9.32453 0
    endloop
  endfacet
  facet normal 0.996194 0.0871584 0
    outer loop
      vertex -0.738605 -8.88024 5
      vertex -0.75 -8.75 0
      vertex -0.75 -8.75 5
    endloop
  endfacet
  facet normal 0.996194 0.0871584 0
    outer loop
      vertex -0.75 -8.75 0
      vertex -0.738605 -8.88024 5
      vertex -0.738605 -8.88024 0
    endloop
  endfacet
  facet normal 0.906309 0.422615 0
    outer loop
      vertex -0.649519 -9.125 5
      vertex -0.704769 -9.00651 0
      vertex -0.704769 -9.00651 5
    endloop
  endfacet
  facet normal 0.906309 0.422615 0
    outer loop
      vertex -0.704769 -9.00651 0
      vertex -0.649519 -9.125 5
      vertex -0.649519 -9.125 0
    endloop
  endfacet
  facet normal 0.965926 0.258819 0
    outer loop
      vertex -0.704769 -9.00651 5
      vertex -0.738605 -8.88024 0
      vertex -0.738605 -8.88024 5
    endloop
  endfacet
  facet normal 0.965926 0.258819 0
    outer loop
      vertex -0.738605 -8.88024 0
      vertex -0.704769 -9.00651 5
      vertex -0.704769 -9.00651 0
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0
    outer loop
      vertex 0.574533 -8.26791 0
      vertex 0.48209 -8.17547 5
      vertex 0.48209 -8.17547 0
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0
    outer loop
      vertex 0.48209 -8.17547 5
      vertex 0.574533 -8.26791 0
      vertex 0.574533 -8.26791 5
    endloop
  endfacet
  facet normal -0.422618 0.906308 0
    outer loop
      vertex 0.374999 -9.39952 0
      vertex 0.256515 -9.45477 5
      vertex 0.374999 -9.39952 5
    endloop
  endfacet
  facet normal -0.422618 0.906308 0
    outer loop
      vertex 0.256515 -9.45477 5
      vertex 0.374999 -9.39952 0
      vertex 0.256515 -9.45477 0
    endloop
  endfacet
  facet normal -0.0871584 0.996194 0
    outer loop
      vertex 0.130236 -9.48861 0
      vertex 0 -9.5 5
      vertex 0.130236 -9.48861 5
    endloop
  endfacet
  facet normal -0.0871584 0.996194 0
    outer loop
      vertex 0 -9.5 5
      vertex 0.130236 -9.48861 0
      vertex 0 -9.5 0
    endloop
  endfacet
  facet normal -0.258819 0.965926 0
    outer loop
      vertex 0.256515 -9.45477 0
      vertex 0.130236 -9.48861 5
      vertex 0.256515 -9.45477 5
    endloop
  endfacet
  facet normal -0.258819 0.965926 0
    outer loop
      vertex 0.130236 -9.48861 5
      vertex 0.256515 -9.45477 0
      vertex 0.130236 -9.48861 0
    endloop
  endfacet
  facet normal -0.707107 0.707107 0
    outer loop
      vertex 0.48209 -9.32453 0
      vertex 0.574533 -9.23209 5
      vertex 0.574533 -9.23209 0
    endloop
  endfacet
  facet normal -0.707107 0.707107 0
    outer loop
      vertex 0.574533 -9.23209 5
      vertex 0.48209 -9.32453 0
      vertex 0.48209 -9.32453 5
    endloop
  endfacet
  facet normal -0.906309 0.422615 0
    outer loop
      vertex 0.649519 -9.125 0
      vertex 0.704769 -9.00651 5
      vertex 0.704769 -9.00651 0
    endloop
  endfacet
  facet normal -0.906309 0.422615 0
    outer loop
      vertex 0.704769 -9.00651 5
      vertex 0.649519 -9.125 0
      vertex 0.649519 -9.125 5
    endloop
  endfacet
  facet normal 0.0871584 0.996194 -0
    outer loop
      vertex 0 -9.5 0
      vertex -0.130236 -9.48861 5
      vertex 0 -9.5 5
    endloop
  endfacet
  facet normal 0.0871584 0.996194 0
    outer loop
      vertex -0.130236 -9.48861 5
      vertex 0 -9.5 0
      vertex -0.130236 -9.48861 0
    endloop
  endfacet
  facet normal 0.258819 0.965926 -0
    outer loop
      vertex -0.130236 -9.48861 0
      vertex -0.256515 -9.45477 5
      vertex -0.130236 -9.48861 5
    endloop
  endfacet
  facet normal 0.258819 0.965926 0
    outer loop
      vertex -0.256515 -9.45477 5
      vertex -0.130236 -9.48861 0
      vertex -0.256515 -9.45477 0
    endloop
  endfacet
  facet normal 1 -0 0
    outer loop
      vertex -2 -19 5
      vertex -2 -15 0
      vertex -2 -15 5
    endloop
  endfacet
  facet normal 1 0 0
    outer loop
      vertex -2 -15 0
      vertex -2 -19 5
      vertex -2 -19 0
    endloop
  endfacet
  facet normal -1 0 0
    outer loop
      vertex 2 -19 0
      vertex 2 -15 5
      vertex 2 -15 0
    endloop
  endfacet
  facet normal -1 -0 0
    outer loop
      vertex 2 -15 5
      vertex 2 -19 0
      vertex 2 -19 5
    endloop
  endfacet
  facet normal 0 -1 0
    outer loop
      vertex -2 -15 0
      vertex 2 -15 5
      vertex -2 -15 5
    endloop
  endfacet
  facet normal 0 -1 -0
    outer loop
      vertex 2 -15 5
      vertex -2 -15 0
      vertex 2 -15 0
    endloop
  endfacet
  facet normal 0 1 -0
    outer loop
      vertex 2 -19 0
      vertex -2 -19 5
      vertex 2 -19 5
    endloop
  endfacet
  facet normal 0 1 0
    outer loop
      vertex -2 -19 5
      vertex 2 -19 0
      vertex -2 -19 0
    endloop
  endfacet
endsolid OpenSCAD_Model