x-carriage_mg v2.stl

solid OpenSCAD_Model
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 0.000000 11.300000
      vertex -35.000000 5.650000 9.786087
      vertex -35.000000 -5.650000 9.786087
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 4.141071 7.172546
      vertex -35.000000 5.650000 9.786087
      vertex -35.000000 9.786087 5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 7.249582 3.853571
      vertex -35.000000 9.786087 5.650000
      vertex -35.000000 11.300000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -35.000000 8.205107 -0.287500
      vertex -35.000000 11.300000 -0.000000
      vertex -35.000000 9.786087 -5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 7.172546 -4.141071
      vertex -35.000000 9.786087 -5.650000
      vertex -35.000000 5.650000 -9.786087
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 0.000000 -8.282143
      vertex -35.000000 5.650000 -9.786087
      vertex -35.000000 0.000000 -11.300000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -4.141071 -7.172546
      vertex -35.000000 0.000000 -11.300000
      vertex -35.000000 -5.650000 -9.786087
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -7.172546 -4.141071
      vertex -35.000000 -5.650000 -9.786087
      vertex -35.000000 -9.786087 -5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 -0.000000
    outer loop
      vertex -35.000000 -8.282143 -0.000000
      vertex -35.000000 -9.786087 -5.650000
      vertex -35.000000 -11.300000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -5.650000 9.786087
      vertex -35.000000 -11.300000 -0.000000
      vertex -35.000000 -9.786087 5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 0.000000 8.282143
      vertex -35.000000 5.650000 9.786087
      vertex -35.000000 0.287500 8.205107
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -5.650000 9.786087
      vertex -35.000000 5.650000 9.786087
      vertex -35.000000 0.000000 8.282143
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -4.141071 -7.172546
      vertex -35.000000 -5.650000 -9.786087
      vertex -35.000000 -7.172546 -4.141071
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -7.172546 4.141071
      vertex -35.000000 -5.650000 9.786087
      vertex -35.000000 -4.141071 7.172546
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -5.650000 9.786087
      vertex -35.000000 -3.853571 7.249582
      vertex -35.000000 -4.141071 7.172546
    endloop
  endfacet
  facet normal -1.000000 0.000000 -0.000000
    outer loop
      vertex -35.000000 -7.249582 -3.853571
      vertex -35.000000 -9.786087 -5.650000
      vertex -35.000000 -8.282143 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -5.650000 9.786087
      vertex -35.000000 -7.172546 4.141071
      vertex -35.000000 -11.300000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -7.172546 4.141071
      vertex -35.000000 -8.205107 0.287500
      vertex -35.000000 -11.300000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -8.205107 0.287500
      vertex -35.000000 -8.282143 -0.000000
      vertex -35.000000 -11.300000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -7.249582 -3.853571
      vertex -35.000000 -7.172546 -4.141071
      vertex -35.000000 -9.786087 -5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 7.172546 -4.141071
      vertex -35.000000 5.650000 -9.786087
      vertex -35.000000 4.141071 -7.172546
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -0.287500 -8.205108
      vertex -35.000000 0.000000 -8.282143
      vertex -35.000000 0.000000 -11.300000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 4.141071 -7.172546
      vertex -35.000000 5.650000 -9.786087
      vertex -35.000000 3.853571 -7.249582
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 8.205107 -0.287500
      vertex -35.000000 9.786087 -5.650000
      vertex -35.000000 7.172546 -4.141071
    endloop
  endfacet
  facet normal -1.000000 0.000000 -0.000000
    outer loop
      vertex -35.000000 8.282143 -0.000000
      vertex -35.000000 11.300000 -0.000000
      vertex -35.000000 8.205107 -0.287500
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 7.172546 4.141071
      vertex -35.000000 9.786087 5.650000
      vertex -35.000000 7.249582 3.853571
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 3.853571 -7.249582
      vertex -35.000000 5.650000 -9.786087
      vertex -35.000000 0.000000 -8.282143
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -0.287500 -8.205108
      vertex -35.000000 0.000000 -11.300000
      vertex -35.000000 -4.141071 -7.172546
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 0.287500 8.205107
      vertex -35.000000 5.650000 9.786087
      vertex -35.000000 4.141071 7.172546
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 -3.853571 7.249582
      vertex -35.000000 -5.650000 9.786087
      vertex -35.000000 0.000000 8.282143
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 4.141071 7.172546
      vertex -35.000000 9.786087 5.650000
      vertex -35.000000 7.172546 4.141071
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 7.249582 3.853571
      vertex -35.000000 11.300000 -0.000000
      vertex -35.000000 8.282143 -0.000000
    endloop
  endfacet
  facet normal -0.000000 0.258819 0.965926
    outer loop
      vertex -35.000000 5.650000 9.786087
      vertex -35.000000 0.000000 11.300000
      vertex 35.000000 0.000000 11.300000
    endloop
  endfacet
  facet normal -0.000000 0.258819 0.965926
    outer loop
      vertex 35.000000 5.650000 9.786087
      vertex -35.000000 5.650000 9.786087
      vertex 35.000000 0.000000 11.300000
    endloop
  endfacet
  facet normal -0.000000 -0.258819 0.965926
    outer loop
      vertex 35.000000 0.000000 11.300000
      vertex -35.000000 0.000000 11.300000
      vertex -35.000000 -5.650000 9.786087
    endloop
  endfacet
  facet normal -0.000000 -0.258819 0.965926
    outer loop
      vertex 35.000000 -5.650000 9.786087
      vertex 35.000000 0.000000 11.300000
      vertex -35.000000 -5.650000 9.786087
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex -15.000000 -6.000000 9.436087
      vertex -35.000000 -5.650000 9.786087
      vertex -35.000000 -9.786087 5.650000
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex 35.000000 -5.650000 9.786087
      vertex -35.000000 -5.650000 9.786087
      vertex -15.000000 -6.000000 9.436087
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex 15.000000 -6.000000 9.436087
      vertex 15.000000 -9.786087 5.650000
      vertex 35.000000 -5.650000 9.786087
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex 35.000000 -5.650000 9.786087
      vertex -15.000000 -6.000000 9.436087
      vertex 15.000000 -6.000000 9.436087
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex 35.000000 -9.786087 5.650000
      vertex 35.000000 -5.650000 9.786087
      vertex 15.000000 -9.786087 5.650000
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex -15.000000 -9.786087 5.650000
      vertex -15.000000 -6.000000 9.436087
      vertex -35.000000 -9.786087 5.650000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex -15.000000 -9.786087 5.650000
      vertex -35.000000 -9.786087 5.650000
      vertex -35.000000 -11.300000 -0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 0.258819
    outer loop
      vertex -15.000000 -10.630127 2.500000
      vertex -15.000000 -9.786087 5.650000
      vertex -35.000000 -11.300000 -0.000000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex 35.000000 -9.786087 5.650000
      vertex 15.000000 -9.786087 5.650000
      vertex 35.000000 -11.300000 0.000000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex 15.000000 -9.786087 5.650000
      vertex 15.000000 -10.630127 2.500000
      vertex 35.000000 -11.300000 0.000000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex 35.000000 -11.300000 0.000000
      vertex -15.000000 -10.630127 2.500000
      vertex -35.000000 -11.300000 -0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 0.258819
    outer loop
      vertex 15.000000 -10.630127 2.500000
      vertex -15.000000 -10.630127 2.500000
      vertex 35.000000 -11.300000 0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex 35.000000 -11.300000 0.000000
      vertex -35.000000 -11.300000 -0.000000
      vertex -35.000000 -9.786087 -5.650000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex 35.000000 -9.786087 -5.650000
      vertex 35.000000 -11.300000 0.000000
      vertex -35.000000 -9.786087 -5.650000
    endloop
  endfacet
  facet normal 0.000000 -0.707107 -0.707107
    outer loop
      vertex 35.000000 -9.786087 -5.650000
      vertex -35.000000 -9.786087 -5.650000
      vertex -35.000000 -5.650000 -9.786087
    endloop
  endfacet
  facet normal 0.000000 -0.707107 -0.707107
    outer loop
      vertex 35.000000 -5.650000 -9.786087
      vertex 35.000000 -9.786087 -5.650000
      vertex -35.000000 -5.650000 -9.786087
    endloop
  endfacet
  facet normal 0.000000 -0.258819 -0.965926
    outer loop
      vertex -35.000000 -5.650000 -9.786087
      vertex -35.000000 0.000000 -11.300000
      vertex 35.000000 -5.650000 -9.786087
    endloop
  endfacet
  facet normal 0.000000 -0.258819 -0.965926
    outer loop
      vertex 35.000000 -5.650000 -9.786087
      vertex -35.000000 0.000000 -11.300000
      vertex 35.000000 0.000000 -11.300000
    endloop
  endfacet
  facet normal 0.000000 0.258819 -0.965926
    outer loop
      vertex -35.000000 5.650000 -9.786087
      vertex 35.000000 5.650000 -9.786087
      vertex -35.000000 0.000000 -11.300000
    endloop
  endfacet
  facet normal 0.000000 0.258819 -0.965926
    outer loop
      vertex -35.000000 0.000000 -11.300000
      vertex 35.000000 5.650000 -9.786087
      vertex 35.000000 0.000000 -11.300000
    endloop
  endfacet
  facet normal 0.000000 0.707107 -0.707107
    outer loop
      vertex -35.000000 9.786087 -5.650000
      vertex 35.000000 9.786087 -5.650000
      vertex -35.000000 5.650000 -9.786087
    endloop
  endfacet
  facet normal 0.000000 0.707107 -0.707107
    outer loop
      vertex -35.000000 5.650000 -9.786087
      vertex 35.000000 9.786087 -5.650000
      vertex 35.000000 5.650000 -9.786087
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex -35.000000 11.300000 -0.000000
      vertex -30.000000 11.300000 -0.000000
      vertex -35.000000 9.786087 -5.650000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex -35.000000 9.786087 -5.650000
      vertex -30.000000 11.300000 -0.000000
      vertex -30.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex -35.000000 9.786087 -5.650000
      vertex -30.000000 10.094229 -4.500000
      vertex -10.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex -10.000000 10.094229 -4.500000
      vertex -10.000000 11.300000 -0.000000
      vertex -5.745794 11.300000 -0.000000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex -10.000000 10.094229 -4.500000
      vertex -5.745794 11.300000 -0.000000
      vertex -4.635255 10.734152 -2.111773
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex -10.000000 10.094229 -4.500000
      vertex -4.635255 10.734152 -2.111773
      vertex 0.000000 10.000000 -4.851666
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex -10.000000 10.094229 -4.500000
      vertex 0.000000 10.000000 -4.851666
      vertex -35.000000 9.786087 -5.650000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex 4.635255 10.734152 -2.111773
      vertex 5.745794 11.300000 0.000000
      vertex 10.000000 11.300000 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.965926 -0.258819
    outer loop
      vertex 4.635255 10.734152 -2.111773
      vertex 10.000000 11.300000 0.000000
      vertex 0.000000 10.000000 -4.851666
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex 0.000000 10.000000 -4.851666
      vertex 10.000000 11.300000 0.000000
      vertex 10.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex 0.000000 10.000000 -4.851666
      vertex 10.000000 10.094229 -4.500000
      vertex 30.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex 0.000000 10.000000 -4.851666
      vertex 30.000000 10.094229 -4.500000
      vertex -35.000000 9.786087 -5.650000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 30.000000 11.300000 0.000000
      vertex 35.000000 11.300000 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.965926 -0.258819
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 35.000000 11.300000 0.000000
      vertex 35.000000 9.786087 -5.650000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 35.000000 9.786087 -5.650000
      vertex -35.000000 9.786087 -5.650000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex 10.000000 11.300000 0.000000
      vertex 5.745794 11.300000 0.000000
      vertex 4.635255 10.734152 2.111773
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex 30.000000 11.300000 0.000000
      vertex 35.000000 9.786087 5.650000
      vertex 35.000000 11.300000 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex 30.000000 10.094229 4.500000
      vertex 35.000000 9.786087 5.650000
      vertex 30.000000 11.300000 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex -0.000000 10.000000 4.851666
      vertex 35.000000 9.786087 5.650000
      vertex 10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex -5.745794 11.300000 -0.000000
      vertex -10.000000 11.300000 -0.000000
      vertex -4.635255 10.734152 2.111773
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex -0.000000 10.000000 4.851666
      vertex 10.000000 10.094229 4.500000
      vertex 4.635255 10.734152 2.111773
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex -30.000000 11.300000 -0.000000
      vertex -35.000000 11.300000 -0.000000
      vertex -30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex -35.000000 9.786087 5.650000
      vertex 35.000000 9.786087 5.650000
      vertex -0.000000 10.000000 4.851666
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex -4.635255 10.734152 2.111773
      vertex -10.000000 10.094229 4.500000
      vertex -0.000000 10.000000 4.851666
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex -10.000000 10.094229 4.500000
      vertex -35.000000 9.786087 5.650000
      vertex -0.000000 10.000000 4.851666
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex -10.000000 10.094229 4.500000
      vertex -4.635255 10.734152 2.111773
      vertex -10.000000 11.300000 -0.000000
    endloop
  endfacet
  facet normal 0.000000 0.965926 0.258819
    outer loop
      vertex -35.000000 9.786087 5.650000
      vertex -10.000000 10.094229 4.500000
      vertex -30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.965926 0.258819
    outer loop
      vertex -35.000000 9.786087 5.650000
      vertex -30.000000 10.094229 4.500000
      vertex -35.000000 11.300000 -0.000000
    endloop
  endfacet
  facet normal 0.000000 0.965926 0.258819
    outer loop
      vertex 10.000000 10.094229 4.500000
      vertex 35.000000 9.786087 5.650000
      vertex 30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.965926 0.258819
    outer loop
      vertex 10.000000 11.300000 0.000000
      vertex 4.635255 10.734152 2.111773
      vertex 10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal -0.000000 0.707107 0.707107
    outer loop
      vertex -35.000000 5.650000 9.786087
      vertex 35.000000 5.650000 9.786087
      vertex -35.000000 9.786087 5.650000
    endloop
  endfacet
  facet normal -0.000000 0.707107 0.707107
    outer loop
      vertex -35.000000 9.786087 5.650000
      vertex 35.000000 5.650000 9.786087
      vertex 35.000000 9.786087 5.650000
    endloop
  endfacet
  facet normal -0.017246 -0.258780 -0.965782
    outer loop
      vertex -22.000000 4.025000 6.971505
      vertex -22.000000 0.000000 8.050000
      vertex -35.000000 0.287500 8.205107
    endloop
  endfacet
  facet normal -0.017246 -0.258780 -0.965782
    outer loop
      vertex -35.000000 0.287500 8.205107
      vertex -22.000000 0.000000 8.050000
      vertex -35.000000 0.000000 8.282143
    endloop
  endfacet
  facet normal -0.017246 -0.258781 -0.965782
    outer loop
      vertex -35.000000 4.141071 7.172546
      vertex -22.000000 4.025000 6.971505
      vertex -35.000000 0.287500 8.205107
    endloop
  endfacet
  facet normal -0.017246 -0.707002 -0.707002
    outer loop
      vertex -22.000000 6.971505 4.025000
      vertex -22.000000 4.025000 6.971505
      vertex -35.000000 7.172546 4.141071
    endloop
  endfacet
  facet normal -0.017246 -0.707002 -0.707002
    outer loop
      vertex -35.000000 7.172546 4.141071
      vertex -22.000000 4.025000 6.971505
      vertex -35.000000 4.141071 7.172546
    endloop
  endfacet
  facet normal -0.017246 -0.965782 -0.258780
    outer loop
      vertex -35.000000 7.249582 3.853571
      vertex -22.000000 8.050000 -0.000000
      vertex -22.000000 6.971505 4.025000
    endloop
  endfacet
  facet normal -0.017246 -0.965782 -0.258780
    outer loop
      vertex -35.000000 7.172546 4.141071
      vertex -35.000000 7.249582 3.853571
      vertex -22.000000 6.971505 4.025000
    endloop
  endfacet
  facet normal -0.017246 -0.965782 -0.258781
    outer loop
      vertex -35.000000 8.282143 -0.000000
      vertex -22.000000 8.050000 -0.000000
      vertex -35.000000 7.249582 3.853571
    endloop
  endfacet
  facet normal -0.017246 -0.965782 0.258780
    outer loop
      vertex -35.000000 8.282143 -0.000000
      vertex -35.000000 8.205107 -0.287500
      vertex -22.000000 6.971505 -4.025000
    endloop
  endfacet
  facet normal -0.017246 -0.965782 0.258780
    outer loop
      vertex -22.000000 8.050000 -0.000000
      vertex -35.000000 8.282143 -0.000000
      vertex -22.000000 6.971505 -4.025000
    endloop
  endfacet
  facet normal -0.017246 -0.965782 0.258781
    outer loop
      vertex -35.000000 7.172546 -4.141071
      vertex -22.000000 6.971505 -4.025000
      vertex -35.000000 8.205107 -0.287500
    endloop
  endfacet
  facet normal -0.017246 -0.707002 0.707002
    outer loop
      vertex -35.000000 7.172546 -4.141071
      vertex -35.000000 4.141071 -7.172546
      vertex -22.000000 4.025000 -6.971505
    endloop
  endfacet
  facet normal -0.017246 -0.707002 0.707002
    outer loop
      vertex -22.000000 6.971505 -4.025000
      vertex -35.000000 7.172546 -4.141071
      vertex -22.000000 4.025000 -6.971505
    endloop
  endfacet
  facet normal -0.017246 -0.258780 0.965782
    outer loop
      vertex -35.000000 4.141071 -7.172546
      vertex -35.000000 3.853571 -7.249582
      vertex -22.000000 0.000000 -8.050000
    endloop
  endfacet
  facet normal -0.017246 -0.258780 0.965782
    outer loop
      vertex -22.000000 4.025000 -6.971505
      vertex -35.000000 4.141071 -7.172546
      vertex -22.000000 0.000000 -8.050000
    endloop
  endfacet
  facet normal -0.017246 -0.258781 0.965782
    outer loop
      vertex -35.000000 0.000000 -8.282143
      vertex -22.000000 0.000000 -8.050000
      vertex -35.000000 3.853571 -7.249582
    endloop
  endfacet
  facet normal -0.017246 0.258780 0.965782
    outer loop
      vertex -22.000000 0.000000 -8.050000
      vertex -35.000000 0.000000 -8.282143
      vertex -35.000000 -0.287500 -8.205108
    endloop
  endfacet
  facet normal -0.017246 0.258780 0.965782
    outer loop
      vertex -22.000000 -4.025000 -6.971505
      vertex -22.000000 0.000000 -8.050000
      vertex -35.000000 -0.287500 -8.205108
    endloop
  endfacet
  facet normal -0.017246 0.258781 0.965782
    outer loop
      vertex -35.000000 -0.287500 -8.205108
      vertex -35.000000 -4.141071 -7.172546
      vertex -22.000000 -4.025000 -6.971505
    endloop
  endfacet
  facet normal -0.017246 0.707002 0.707002
    outer loop
      vertex -35.000000 -4.141071 -7.172546
      vertex -35.000000 -7.172546 -4.141071
      vertex -22.000000 -4.025000 -6.971505
    endloop
  endfacet
  facet normal -0.017246 0.707002 0.707002
    outer loop
      vertex -22.000000 -4.025000 -6.971505
      vertex -35.000000 -7.172546 -4.141071
      vertex -22.000000 -6.971505 -4.025000
    endloop
  endfacet
  facet normal -0.017246 0.965782 0.258780
    outer loop
      vertex -35.000000 -7.172546 -4.141071
      vertex -35.000000 -7.249582 -3.853571
      vertex -22.000000 -6.971505 -4.025000
    endloop
  endfacet
  facet normal -0.017246 0.965782 0.258780
    outer loop
      vertex -22.000000 -6.971505 -4.025000
      vertex -35.000000 -7.249582 -3.853571
      vertex -22.000000 -8.050000 -0.000000
    endloop
  endfacet
  facet normal -0.017246 0.965782 0.258781
    outer loop
      vertex -22.000000 -8.050000 -0.000000
      vertex -35.000000 -7.249582 -3.853571
      vertex -35.000000 -8.282143 -0.000000
    endloop
  endfacet
  facet normal -0.017246 0.965782 -0.258780
    outer loop
      vertex -35.000000 -8.282143 -0.000000
      vertex -35.000000 -8.205107 0.287500
      vertex -22.000000 -8.050000 -0.000000
    endloop
  endfacet
  facet normal -0.017246 0.965782 -0.258780
    outer loop
      vertex -22.000000 -8.050000 -0.000000
      vertex -35.000000 -8.205107 0.287500
      vertex -22.000000 -6.971505 4.025000
    endloop
  endfacet
  facet normal -0.017246 0.965782 -0.258781
    outer loop
      vertex -22.000000 -6.971505 4.025000
      vertex -35.000000 -8.205107 0.287500
      vertex -35.000000 -7.172546 4.141071
    endloop
  endfacet
  facet normal -0.017246 0.707002 -0.707002
    outer loop
      vertex -22.000000 -6.971505 4.025000
      vertex -35.000000 -7.172546 4.141071
      vertex -22.000000 -4.025000 6.971505
    endloop
  endfacet
  facet normal -0.017246 0.707002 -0.707002
    outer loop
      vertex -22.000000 -4.025000 6.971505
      vertex -35.000000 -7.172546 4.141071
      vertex -35.000000 -4.141071 7.172546
    endloop
  endfacet
  facet normal -0.017246 0.258780 -0.965782
    outer loop
      vertex -35.000000 -4.141071 7.172546
      vertex -35.000000 -3.853571 7.249582
      vertex -22.000000 -4.025000 6.971505
    endloop
  endfacet
  facet normal -0.017246 0.258780 -0.965782
    outer loop
      vertex -22.000000 -4.025000 6.971505
      vertex -35.000000 -3.853571 7.249582
      vertex -22.000000 0.000000 8.050000
    endloop
  endfacet
  facet normal -0.017246 0.258781 -0.965782
    outer loop
      vertex -22.000000 0.000000 8.050000
      vertex -35.000000 -3.853571 7.249582
      vertex -35.000000 0.000000 8.282143
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 5.650000 9.786087
      vertex 35.000000 0.000000 11.300000
      vertex 35.000000 -5.650000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 0.000000 8.282143
      vertex 35.000000 5.650000 9.786087
      vertex 35.000000 -5.650000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 0.000000 -8.282143
      vertex 35.000000 -3.853571 -7.249582
      vertex 35.000000 -5.650000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 8.282143 0.000000
      vertex 35.000000 7.249582 -3.853571
      vertex 35.000000 9.786087 -5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 9.786087 5.650000
      vertex 35.000000 5.650000 9.786087
      vertex 35.000000 11.300000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -4.141071 7.172546
      vertex 35.000000 -0.287500 8.205108
      vertex 35.000000 -5.650000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -7.172546 4.141071
      vertex 35.000000 -4.141071 7.172546
      vertex 35.000000 -9.786087 5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -0.287500 8.205108
      vertex 35.000000 0.000000 8.282143
      vertex 35.000000 -5.650000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -8.282143 0.000000
      vertex 35.000000 -7.249582 3.853571
      vertex 35.000000 -11.300000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 4.141071 7.172546
      vertex 35.000000 5.650000 9.786087
      vertex 35.000000 3.853571 7.249582
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -7.172546 -4.141071
      vertex 35.000000 -8.205107 -0.287500
      vertex 35.000000 -9.786087 -5.650000
    endloop
  endfacet
  facet normal 1.000000 -0.000000 -0.000000
    outer loop
      vertex 35.000000 11.300000 0.000000
      vertex 35.000000 5.650000 9.786087
      vertex 35.000000 7.172546 4.141071
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 7.172546 -4.141071
      vertex 35.000000 4.141071 -7.172546
      vertex 35.000000 5.650000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 -0.000000 -0.000000
    outer loop
      vertex 35.000000 11.300000 0.000000
      vertex 35.000000 7.172546 4.141071
      vertex 35.000000 8.205107 0.287500
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 11.300000 0.000000
      vertex 35.000000 8.282143 0.000000
      vertex 35.000000 9.786087 -5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 11.300000 0.000000
      vertex 35.000000 8.205107 0.287500
      vertex 35.000000 8.282143 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -4.141071 -7.172546
      vertex 35.000000 -7.172546 -4.141071
      vertex 35.000000 -5.650000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 9.786087 -5.650000
      vertex 35.000000 7.172546 -4.141071
      vertex 35.000000 5.650000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 9.786087 -5.650000
      vertex 35.000000 7.249582 -3.853571
      vertex 35.000000 7.172546 -4.141071
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 5.650000 -9.786087
      vertex 35.000000 4.141071 -7.172546
      vertex 35.000000 0.000000 -11.300000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 0.000000 -11.300000
      vertex 35.000000 0.000000 -8.282143
      vertex 35.000000 -5.650000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 0.000000 -11.300000
      vertex 35.000000 0.287500 -8.205107
      vertex 35.000000 0.000000 -8.282143
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -3.853571 -7.249582
      vertex 35.000000 -4.141071 -7.172546
      vertex 35.000000 -5.650000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -5.650000 -9.786087
      vertex 35.000000 -7.172546 -4.141071
      vertex 35.000000 -9.786087 -5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -9.786087 -5.650000
      vertex 35.000000 -8.205107 -0.287500
      vertex 35.000000 -11.300000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 4.141071 -7.172546
      vertex 35.000000 0.287500 -8.205107
      vertex 35.000000 0.000000 -11.300000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -8.205107 -0.287500
      vertex 35.000000 -8.282143 0.000000
      vertex 35.000000 -11.300000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -11.300000 0.000000
      vertex 35.000000 -7.249582 3.853571
      vertex 35.000000 -9.786087 5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -7.249582 3.853571
      vertex 35.000000 -7.172546 4.141071
      vertex 35.000000 -9.786087 5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 -9.786087 5.650000
      vertex 35.000000 -4.141071 7.172546
      vertex 35.000000 -5.650000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 0.000000 8.282143
      vertex 35.000000 3.853571 7.249582
      vertex 35.000000 5.650000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 4.141071 7.172546
      vertex 35.000000 7.172546 4.141071
      vertex 35.000000 5.650000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 15.000000 -6.000000 9.500000
      vertex 15.000000 -34.000000 9.500000
      vertex 15.000000 -34.000000 2.500000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 15.000000 -9.786087 5.650000
      vertex 15.000000 -6.000000 9.500000
      vertex 15.000000 -34.000000 2.500000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 15.000000 -10.630127 2.500000
      vertex 15.000000 -9.786087 5.650000
      vertex 15.000000 -34.000000 2.500000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 15.000000 -9.786087 5.650000
      vertex 15.000000 -6.000000 9.436087
      vertex 15.000000 -6.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex -15.000000 -6.000000 9.500000
      vertex 15.000000 -6.000000 9.500000
      vertex -15.000000 -6.000000 9.436087
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex -15.000000 -6.000000 9.436087
      vertex 15.000000 -6.000000 9.500000
      vertex 15.000000 -6.000000 9.436087
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -15.000000 -34.000000 9.500000
      vertex -15.000000 -6.000000 9.500000
      vertex -15.000000 -34.000000 2.500000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -15.000000 -34.000000 2.500000
      vertex -15.000000 -6.000000 9.500000
      vertex -15.000000 -6.000000 9.436087
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -15.000000 -34.000000 2.500000
      vertex -15.000000 -6.000000 9.436087
      vertex -15.000000 -9.786087 5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -15.000000 -34.000000 2.500000
      vertex -15.000000 -9.786087 5.650000
      vertex -15.000000 -10.630127 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.925000 -11.405995 2.500000
      vertex -15.000000 -10.630127 2.500000
      vertex 15.000000 -10.630127 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -15.000000 -34.000000 2.500000
      vertex -15.000000 -10.630127 2.500000
      vertex -13.150000 -30.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 4.850000 -30.000000 2.500000
      vertex -6.925000 -18.594005 2.500000
      vertex 6.925000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -15.000000 -34.000000 2.500000
      vertex -13.150000 -30.000000 2.500000
      vertex -11.075000 -33.594005 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -15.000000 -34.000000 2.500000
      vertex -11.075000 -33.594005 2.500000
      vertex 15.000000 -34.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -11.075000 -33.594005 2.500000
      vertex -6.925000 -33.594005 2.500000
      vertex 15.000000 -34.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -13.150000 -15.000000 2.500000
      vertex -15.000000 -10.630127 2.500000
      vertex -11.075000 -11.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.925000 -18.594005 2.500000
      vertex -6.925000 -26.405995 2.500000
      vertex -11.075000 -18.594005 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -13.150000 -30.000000 2.500000
      vertex -15.000000 -10.630127 2.500000
      vertex -11.075000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -11.075000 -26.405995 2.500000
      vertex -15.000000 -10.630127 2.500000
      vertex -13.150000 -15.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -11.075000 -26.405995 2.500000
      vertex -13.150000 -15.000000 2.500000
      vertex -6.925000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.925000 -18.594005 2.500000
      vertex -4.850000 -30.000000 2.500000
      vertex -6.925000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -13.150000 -15.000000 2.500000
      vertex -11.075000 -18.594005 2.500000
      vertex -6.925000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 6.925000 -33.594005 2.500000
      vertex -4.850000 -30.000000 2.500000
      vertex 4.850000 -30.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.075000 -11.405995 2.500000
      vertex 15.000000 -10.630127 2.500000
      vertex 13.150000 -15.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -11.075000 -11.405995 2.500000
      vertex -15.000000 -10.630127 2.500000
      vertex -6.925000 -11.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 6.925000 -11.405995 2.500000
      vertex -6.925000 -11.405995 2.500000
      vertex 15.000000 -10.630127 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.850000 -30.000000 2.500000
      vertex -6.925000 -18.594005 2.500000
      vertex 4.850000 -30.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 4.850000 -15.000000 2.500000
      vertex -4.850000 -15.000000 2.500000
      vertex 6.925000 -11.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.925000 -33.594005 2.500000
      vertex 6.925000 -33.594005 2.500000
      vertex 15.000000 -34.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 6.925000 -33.594005 2.500000
      vertex 11.075000 -33.594005 2.500000
      vertex 15.000000 -34.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 6.925000 -26.405995 2.500000
      vertex -4.850000 -15.000000 2.500000
      vertex 11.075000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 15.000000 -34.000000 2.500000
      vertex 13.150000 -30.000000 2.500000
      vertex 15.000000 -10.630127 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 13.150000 -30.000000 2.500000
      vertex 11.075000 -26.405995 2.500000
      vertex 15.000000 -10.630127 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.075000 -26.405995 2.500000
      vertex -4.850000 -15.000000 2.500000
      vertex 4.850000 -15.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.075000 -26.405995 2.500000
      vertex 4.850000 -15.000000 2.500000
      vertex 6.925000 -18.594005 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.075000 -26.405995 2.500000
      vertex 6.925000 -18.594005 2.500000
      vertex 11.075000 -18.594005 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.075000 -26.405995 2.500000
      vertex 11.075000 -18.594005 2.500000
      vertex 13.150000 -15.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.075000 -26.405995 2.500000
      vertex 13.150000 -15.000000 2.500000
      vertex 15.000000 -10.630127 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.850000 -15.000000 2.500000
      vertex -6.925000 -11.405995 2.500000
      vertex 6.925000 -11.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.075000 -11.405995 2.500000
      vertex 6.925000 -11.405995 2.500000
      vertex 15.000000 -10.630127 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 13.150000 -30.000000 2.500000
      vertex 15.000000 -34.000000 2.500000
      vertex 11.075000 -33.594005 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.850000 -30.000000 2.500000
      vertex 6.925000 -33.594005 2.500000
      vertex -6.925000 -33.594005 2.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -4.850000 -15.000000 2.500000
      vertex 6.925000 -26.405995 2.500000
      vertex -6.925000 -18.594005 2.500000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 30.000000 39.905771 4.500000
      vertex 30.000000 10.094229 4.500000
      vertex 30.000000 11.300000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 30.000000 39.905771 4.500000
      vertex 30.000000 11.300000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 30.000000 38.700000 0.000000
      vertex 30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 30.000000 39.905771 -4.500000
      vertex 30.000000 38.700000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.000000 10.094229 -4.500000
      vertex 10.000000 14.047966 -4.500000
      vertex 30.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 10.000000 14.047966 -4.500000
      vertex 12.135255 16.183221 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 12.135255 16.183221 -4.500000
      vertex 14.265848 20.364745 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 14.265848 20.364745 -4.500000
      vertex 15.000000 25.000000 -4.500000
      vertex 30.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 15.000000 25.000000 -4.500000
      vertex 14.265848 29.635255 -4.500000
      vertex 30.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 14.265848 29.635255 -4.500000
      vertex 12.135255 33.816779 -4.500000
      vertex 30.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 12.135255 33.816779 -4.500000
      vertex 10.000000 35.952034 -4.500000
      vertex 10.000000 39.905771 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 12.135255 33.816779 -4.500000
      vertex 10.000000 39.905771 -4.500000
      vertex 30.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 23.138045 26.075000 -4.500000
      vertex 10.000000 39.905771 -4.500000
      vertex 30.000000 39.905771 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 23.138045 23.925000 -4.500000
      vertex 10.000000 39.905771 -4.500000
      vertex 22.850000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 10.000000 39.905771 -4.500000
      vertex 23.138045 23.925000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 26.861955 26.075000 -4.500000
      vertex 30.000000 39.905771 -4.500000
      vertex 27.150000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 23.925000 23.138045 -4.500000
      vertex 25.000000 22.850000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 25.000000 22.850000 -4.500000
      vertex 26.075000 23.138045 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 26.075000 23.138045 -4.500000
      vertex 26.861955 23.925000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 26.861955 23.925000 -4.500000
      vertex 27.150000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 30.000000 10.094229 -4.500000
      vertex 27.150000 25.000000 -4.500000
      vertex 30.000000 39.905771 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 26.075000 26.861955 -4.500000
      vertex 30.000000 39.905771 -4.500000
      vertex 26.861955 26.075000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 25.000000 27.150000 -4.500000
      vertex 30.000000 39.905771 -4.500000
      vertex 26.075000 26.861955 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 23.138045 26.075000 -4.500000
      vertex 30.000000 39.905771 -4.500000
      vertex 23.925000 26.861955 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 25.000000 27.150000 -4.500000
      vertex 23.925000 26.861955 -4.500000
      vertex 30.000000 39.905771 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 22.850000 25.000000 -4.500000
      vertex 10.000000 39.905771 -4.500000
      vertex 23.138045 26.075000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 23.925000 23.138045 -4.500000
      vertex 30.000000 10.094229 -4.500000
      vertex 23.138045 23.925000 -4.500000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex 10.000000 10.094229 4.500000
      vertex 10.000000 14.047966 4.500000
      vertex 10.000000 11.300000 0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex 10.000000 11.300000 0.000000
      vertex 10.000000 14.047966 4.500000
      vertex 10.000000 14.047966 -4.500000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex 10.000000 11.300000 0.000000
      vertex 10.000000 14.047966 -4.500000
      vertex 10.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal -0.453991 0.891007 -0.000000
    outer loop
      vertex 5.745794 11.300000 0.000000
      vertex 4.635255 10.734152 -2.111773
      vertex 4.635255 10.734152 2.111773
    endloop
  endfacet
  facet normal -0.156434 0.987688 -0.000000
    outer loop
      vertex 4.635255 10.734152 -2.111773
      vertex 0.000000 10.000000 -4.851666
      vertex 4.635255 10.734152 2.111773
    endloop
  endfacet
  facet normal -0.156434 0.987688 -0.000000
    outer loop
      vertex 4.635255 10.734152 2.111773
      vertex 0.000000 10.000000 -4.851666
      vertex -0.000000 10.000000 4.851666
    endloop
  endfacet
  facet normal 0.156434 0.987688 0.000000
    outer loop
      vertex -4.635255 10.734152 -2.111773
      vertex -4.635255 10.734152 2.111773
      vertex 0.000000 10.000000 -4.851666
    endloop
  endfacet
  facet normal 0.156434 0.987688 0.000000
    outer loop
      vertex 0.000000 10.000000 -4.851666
      vertex -4.635255 10.734152 2.111773
      vertex -0.000000 10.000000 4.851666
    endloop
  endfacet
  facet normal 0.453991 0.891007 0.000000
    outer loop
      vertex -4.635255 10.734152 -2.111773
      vertex -5.745794 11.300000 -0.000000
      vertex -4.635255 10.734152 2.111773
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -10.000000 14.047966 4.500000
      vertex -10.000000 10.094229 4.500000
      vertex -10.000000 11.300000 -0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -10.000000 10.094229 -4.500000
      vertex -10.000000 14.047966 4.500000
      vertex -10.000000 11.300000 -0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -10.000000 10.094229 -4.500000
      vertex -10.000000 14.047966 -4.500000
      vertex -10.000000 14.047966 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -23.138045 26.075000 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -10.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.000000 35.952034 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -10.000000 39.905771 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -12.135255 33.816779 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -10.000000 35.952034 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -14.265848 29.635255 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -12.135255 33.816779 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -15.000000 25.000000 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -14.265848 29.635255 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -14.265848 20.364745 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -15.000000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.000000 10.094229 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -14.265848 20.364745 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.000000 10.094229 -4.500000
      vertex -14.265848 20.364745 -4.500000
      vertex -12.135255 16.183221 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -25.000000 22.850000 -4.500000
      vertex -10.000000 10.094229 -4.500000
      vertex -26.075000 23.138045 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -30.000000 10.094229 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -27.150000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -30.000000 10.094229 -4.500000
      vertex -27.150000 25.000000 -4.500000
      vertex -26.861955 23.925000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -30.000000 10.094229 -4.500000
      vertex -26.861955 23.925000 -4.500000
      vertex -26.075000 23.138045 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -30.000000 10.094229 -4.500000
      vertex -26.075000 23.138045 -4.500000
      vertex -10.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -23.925000 23.138045 -4.500000
      vertex -10.000000 10.094229 -4.500000
      vertex -25.000000 22.850000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -23.925000 26.861955 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -23.138045 26.075000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -26.075000 26.861955 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -25.000000 27.150000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -23.925000 23.138045 -4.500000
      vertex -23.138045 23.925000 -4.500000
      vertex -10.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -25.000000 27.150000 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -23.925000 26.861955 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -23.138045 23.925000 -4.500000
      vertex -22.850000 25.000000 -4.500000
      vertex -10.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -22.850000 25.000000 -4.500000
      vertex -23.138045 26.075000 -4.500000
      vertex -10.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -26.861955 26.075000 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -26.075000 26.861955 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -27.150000 25.000000 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -26.861955 26.075000 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.000000 14.047966 -4.500000
      vertex -10.000000 10.094229 -4.500000
      vertex -12.135255 16.183221 -4.500000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -30.000000 10.094229 4.500000
      vertex -30.000000 39.905771 4.500000
      vertex -30.000000 11.300000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -30.000000 11.300000 -0.000000
      vertex -30.000000 39.905771 4.500000
      vertex -30.000000 38.700000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -30.000000 11.300000 -0.000000
      vertex -30.000000 38.700000 -0.000000
      vertex -30.000000 39.905771 -4.500000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -30.000000 11.300000 -0.000000
      vertex -30.000000 39.905771 -4.500000
      vertex -30.000000 10.094229 -4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -26.075000 23.138045 4.500000
      vertex -30.000000 10.094229 4.500000
      vertex -10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -12.135255 16.183221 4.500000
      vertex -30.000000 39.905771 4.500000
      vertex -10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -10.000000 14.047966 4.500000
      vertex -12.135255 16.183221 4.500000
      vertex -10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -27.150000 25.000000 4.500000
      vertex -26.861955 26.075000 4.500000
      vertex -30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -15.000000 25.000000 4.500000
      vertex -30.000000 39.905771 4.500000
      vertex -14.265848 20.364745 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -14.265848 29.635255 4.500000
      vertex -30.000000 39.905771 4.500000
      vertex -15.000000 25.000000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -12.135255 33.816779 4.500000
      vertex -30.000000 39.905771 4.500000
      vertex -14.265848 29.635255 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -10.000000 35.952034 4.500000
      vertex -30.000000 39.905771 4.500000
      vertex -12.135255 33.816779 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -10.000000 39.905771 4.500000
      vertex -30.000000 39.905771 4.500000
      vertex -10.000000 35.952034 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -27.150000 25.000000 4.500000
      vertex -30.000000 10.094229 4.500000
      vertex -26.861955 23.925000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -23.138045 26.075000 4.500000
      vertex -22.850000 25.000000 4.500000
      vertex -10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -30.000000 39.905771 4.500000
      vertex -30.000000 10.094229 4.500000
      vertex -27.150000 25.000000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -25.000000 22.850000 4.500000
      vertex -26.075000 23.138045 4.500000
      vertex -10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -30.000000 39.905771 4.500000
      vertex -26.861955 26.075000 4.500000
      vertex -26.075000 26.861955 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -30.000000 39.905771 4.500000
      vertex -26.075000 26.861955 4.500000
      vertex -25.000000 27.150000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -22.850000 25.000000 4.500000
      vertex -23.138045 23.925000 4.500000
      vertex -10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -30.000000 39.905771 4.500000
      vertex -25.000000 27.150000 4.500000
      vertex -23.925000 26.861955 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -30.000000 39.905771 4.500000
      vertex -23.138045 26.075000 4.500000
      vertex -10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -30.000000 39.905771 4.500000
      vertex -23.925000 26.861955 4.500000
      vertex -23.138045 26.075000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -23.925000 23.138045 4.500000
      vertex -25.000000 22.850000 4.500000
      vertex -10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -26.861955 23.925000 4.500000
      vertex -30.000000 10.094229 4.500000
      vertex -26.075000 23.138045 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -12.135255 16.183221 4.500000
      vertex -14.265848 20.364745 4.500000
      vertex -30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -23.138045 23.925000 4.500000
      vertex -23.925000 23.138045 4.500000
      vertex -10.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 10.000000 14.047966 4.500000
      vertex 10.000000 10.094229 4.500000
      vertex 30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 23.138045 26.075000 4.500000
      vertex 23.925000 26.861955 4.500000
      vertex 30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 12.135255 16.183221 4.500000
      vertex 10.000000 14.047966 4.500000
      vertex 30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 10.000000 39.905771 4.500000
      vertex 10.000000 35.952034 4.500000
      vertex 30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 10.000000 35.952034 4.500000
      vertex 12.135255 33.816779 4.500000
      vertex 30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 12.135255 33.816779 4.500000
      vertex 14.265848 29.635255 4.500000
      vertex 30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 14.265848 29.635255 4.500000
      vertex 15.000000 25.000000 4.500000
      vertex 30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 15.000000 25.000000 4.500000
      vertex 14.265848 20.364745 4.500000
      vertex 30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 23.138045 23.925000 4.500000
      vertex 12.135255 16.183221 4.500000
      vertex 30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 23.925000 23.138045 4.500000
      vertex 23.138045 23.925000 4.500000
      vertex 30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 22.850000 25.000000 4.500000
      vertex 12.135255 16.183221 4.500000
      vertex 23.138045 23.925000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 23.138045 26.075000 4.500000
      vertex 12.135255 16.183221 4.500000
      vertex 22.850000 25.000000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 23.925000 26.861955 4.500000
      vertex 25.000000 27.150000 4.500000
      vertex 30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 30.000000 39.905771 4.500000
      vertex 12.135255 16.183221 4.500000
      vertex 23.138045 26.075000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 27.150000 25.000000 4.500000
      vertex 26.861955 23.925000 4.500000
      vertex 30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 30.000000 39.905771 4.500000
      vertex 25.000000 27.150000 4.500000
      vertex 26.075000 26.861955 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 30.000000 39.905771 4.500000
      vertex 26.075000 26.861955 4.500000
      vertex 26.861955 26.075000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 30.000000 39.905771 4.500000
      vertex 27.150000 25.000000 4.500000
      vertex 30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 30.000000 39.905771 4.500000
      vertex 26.861955 26.075000 4.500000
      vertex 27.150000 25.000000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 26.075000 23.138045 4.500000
      vertex 25.000000 22.850000 4.500000
      vertex 30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 25.000000 22.850000 4.500000
      vertex 23.925000 23.138045 4.500000
      vertex 30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 14.265848 20.364745 4.500000
      vertex 12.135255 16.183221 4.500000
      vertex 30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 26.861955 23.925000 4.500000
      vertex 26.075000 23.138045 4.500000
      vertex 30.000000 10.094229 4.500000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 6.971505 4.025000
      vertex -22.000000 8.050000 -0.000000
      vertex -22.000000 4.025000 6.971505
    endloop
  endfacet
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -22.000000 4.025000 6.971505
      vertex -22.000000 8.050000 -0.000000
      vertex -22.000000 6.971505 -4.025000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 4.460031 -2.575000
      vertex -22.000000 6.971505 -4.025000
      vertex -22.000000 4.025000 -6.971505
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 2.575000 -4.460031
      vertex -22.000000 4.025000 -6.971505
      vertex -22.000000 0.000000 -8.050000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 0.000000 -5.150000
      vertex -22.000000 0.000000 -8.050000
      vertex -22.000000 -4.025000 -6.971505
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 -4.460031 -2.575000
      vertex -22.000000 -4.025000 -6.971505
      vertex -22.000000 -6.971505 -4.025000
    endloop
  endfacet
  facet normal -1.000000 0.000000 -0.000000
    outer loop
      vertex -22.000000 -5.150000 -0.000000
      vertex -22.000000 -6.971505 -4.025000
      vertex -22.000000 -8.050000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 -2.575000 4.460031
      vertex -22.000000 -8.050000 -0.000000
      vertex -22.000000 -6.971505 4.025000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 4.025000 6.971505
      vertex -22.000000 -6.971505 4.025000
      vertex -22.000000 -4.025000 6.971505
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 4.025000 6.971505
      vertex -22.000000 -4.025000 6.971505
      vertex -22.000000 0.000000 8.050000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 -4.460031 2.575000
      vertex -22.000000 -8.050000 -0.000000
      vertex -22.000000 -2.575000 4.460031
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 4.025000 6.971505
      vertex -22.000000 -2.575000 4.460031
      vertex -22.000000 -6.971505 4.025000
    endloop
  endfacet
  facet normal -1.000000 0.000000 -0.000000
    outer loop
      vertex -22.000000 -4.460031 -2.575000
      vertex -22.000000 -6.971505 -4.025000
      vertex -22.000000 -5.150000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 -2.575000 -4.460031
      vertex -22.000000 -4.025000 -6.971505
      vertex -22.000000 -4.460031 -2.575000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 0.000000 -5.150000
      vertex -22.000000 -4.025000 -6.971505
      vertex -22.000000 -2.575000 -4.460031
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 2.575000 -4.460031
      vertex -22.000000 0.000000 -8.050000
      vertex -22.000000 0.000000 -5.150000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 4.460031 -2.575000
      vertex -22.000000 4.025000 -6.971505
      vertex -22.000000 2.575000 -4.460031
    endloop
  endfacet
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -22.000000 5.150000 -0.000000
      vertex -22.000000 6.971505 -4.025000
      vertex -22.000000 4.460031 -2.575000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 2.575000 4.460031
      vertex -22.000000 4.025000 6.971505
      vertex -22.000000 4.460031 2.575000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 4.025000 6.971505
      vertex -22.000000 6.971505 -4.025000
      vertex -22.000000 5.150000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 4.025000 6.971505
      vertex -22.000000 5.150000 -0.000000
      vertex -22.000000 4.460031 2.575000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 0.000000 5.150000
      vertex -22.000000 4.025000 6.971505
      vertex -22.000000 2.575000 4.460031
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 4.025000 6.971505
      vertex -22.000000 0.000000 5.150000
      vertex -22.000000 -2.575000 4.460031
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 -5.150000 -0.000000
      vertex -22.000000 -8.050000 -0.000000
      vertex -22.000000 -4.460031 2.575000
    endloop
  endfacet
  facet normal 0.017246 0.258780 -0.965782
    outer loop
      vertex 22.000000 -4.025000 6.971505
      vertex 22.000000 0.000000 8.050000
      vertex 35.000000 -0.287500 8.205108
    endloop
  endfacet
  facet normal 0.017246 0.258780 -0.965782
    outer loop
      vertex 35.000000 -0.287500 8.205108
      vertex 22.000000 0.000000 8.050000
      vertex 35.000000 0.000000 8.282143
    endloop
  endfacet
  facet normal 0.017246 0.258781 -0.965782
    outer loop
      vertex 35.000000 -4.141071 7.172546
      vertex 22.000000 -4.025000 6.971505
      vertex 35.000000 -0.287500 8.205108
    endloop
  endfacet
  facet normal 0.017246 0.707002 -0.707002
    outer loop
      vertex 22.000000 -6.971505 4.025000
      vertex 22.000000 -4.025000 6.971505
      vertex 35.000000 -7.172546 4.141071
    endloop
  endfacet
  facet normal 0.017246 0.707002 -0.707002
    outer loop
      vertex 35.000000 -7.172546 4.141071
      vertex 22.000000 -4.025000 6.971505
      vertex 35.000000 -4.141071 7.172546
    endloop
  endfacet
  facet normal 0.017246 0.965782 -0.258780
    outer loop
      vertex 22.000000 -8.050000 0.000000
      vertex 22.000000 -6.971505 4.025000
      vertex 35.000000 -7.249582 3.853571
    endloop
  endfacet
  facet normal 0.017246 0.965782 -0.258780
    outer loop
      vertex 35.000000 -7.249582 3.853571
      vertex 22.000000 -6.971505 4.025000
      vertex 35.000000 -7.172546 4.141071
    endloop
  endfacet
  facet normal 0.017246 0.965782 -0.258781
    outer loop
      vertex 35.000000 -8.282143 0.000000
      vertex 22.000000 -8.050000 0.000000
      vertex 35.000000 -7.249582 3.853571
    endloop
  endfacet
  facet normal 0.017246 0.965782 0.258780
    outer loop
      vertex 22.000000 -6.971505 -4.025000
      vertex 22.000000 -8.050000 0.000000
      vertex 35.000000 -8.205107 -0.287500
    endloop
  endfacet
  facet normal 0.017246 0.965782 0.258780
    outer loop
      vertex 35.000000 -8.205107 -0.287500
      vertex 22.000000 -8.050000 0.000000
      vertex 35.000000 -8.282143 0.000000
    endloop
  endfacet
  facet normal 0.017246 0.965782 0.258781
    outer loop
      vertex 35.000000 -7.172546 -4.141071
      vertex 22.000000 -6.971505 -4.025000
      vertex 35.000000 -8.205107 -0.287500
    endloop
  endfacet
  facet normal 0.017246 0.707002 0.707002
    outer loop
      vertex 35.000000 -7.172546 -4.141071
      vertex 35.000000 -4.141071 -7.172546
      vertex 22.000000 -4.025000 -6.971505
    endloop
  endfacet
  facet normal 0.017246 0.707002 0.707002
    outer loop
      vertex 22.000000 -6.971505 -4.025000
      vertex 35.000000 -7.172546 -4.141071
      vertex 22.000000 -4.025000 -6.971505
    endloop
  endfacet
  facet normal 0.017246 0.258780 0.965782
    outer loop
      vertex 35.000000 -4.141071 -7.172546
      vertex 35.000000 -3.853571 -7.249582
      vertex 22.000000 0.000000 -8.050000
    endloop
  endfacet
  facet normal 0.017246 0.258780 0.965782
    outer loop
      vertex 22.000000 -4.025000 -6.971505
      vertex 35.000000 -4.141071 -7.172546
      vertex 22.000000 0.000000 -8.050000
    endloop
  endfacet
  facet normal 0.017246 0.258781 0.965782
    outer loop
      vertex 35.000000 0.000000 -8.282143
      vertex 22.000000 0.000000 -8.050000
      vertex 35.000000 -3.853571 -7.249582
    endloop
  endfacet
  facet normal 0.017246 -0.258780 0.965782
    outer loop
      vertex 22.000000 0.000000 -8.050000
      vertex 35.000000 0.000000 -8.282143
      vertex 35.000000 0.287500 -8.205107
    endloop
  endfacet
  facet normal 0.017246 -0.258780 0.965782
    outer loop
      vertex 22.000000 4.025000 -6.971505
      vertex 22.000000 0.000000 -8.050000
      vertex 35.000000 0.287500 -8.205107
    endloop
  endfacet
  facet normal 0.017246 -0.258781 0.965782
    outer loop
      vertex 35.000000 0.287500 -8.205107
      vertex 35.000000 4.141071 -7.172546
      vertex 22.000000 4.025000 -6.971505
    endloop
  endfacet
  facet normal 0.017246 -0.707002 0.707002
    outer loop
      vertex 22.000000 4.025000 -6.971505
      vertex 35.000000 4.141071 -7.172546
      vertex 35.000000 7.172546 -4.141071
    endloop
  endfacet
  facet normal 0.017246 -0.707002 0.707002
    outer loop
      vertex 22.000000 6.971505 -4.025000
      vertex 22.000000 4.025000 -6.971505
      vertex 35.000000 7.172546 -4.141071
    endloop
  endfacet
  facet normal 0.017246 -0.965782 0.258780
    outer loop
      vertex 22.000000 6.971505 -4.025000
      vertex 35.000000 7.172546 -4.141071
      vertex 35.000000 7.249582 -3.853571
    endloop
  endfacet
  facet normal 0.017246 -0.965782 0.258780
    outer loop
      vertex 22.000000 8.050000 0.000000
      vertex 22.000000 6.971505 -4.025000
      vertex 35.000000 7.249582 -3.853571
    endloop
  endfacet
  facet normal 0.017246 -0.965782 0.258781
    outer loop
      vertex 35.000000 7.249582 -3.853571
      vertex 35.000000 8.282143 0.000000
      vertex 22.000000 8.050000 0.000000
    endloop
  endfacet
  facet normal 0.017246 -0.965782 -0.258780
    outer loop
      vertex 22.000000 8.050000 0.000000
      vertex 35.000000 8.282143 0.000000
      vertex 35.000000 8.205107 0.287500
    endloop
  endfacet
  facet normal 0.017246 -0.965782 -0.258780
    outer loop
      vertex 22.000000 6.971505 4.025000
      vertex 22.000000 8.050000 0.000000
      vertex 35.000000 8.205107 0.287500
    endloop
  endfacet
  facet normal 0.017246 -0.965782 -0.258781
    outer loop
      vertex 22.000000 6.971505 4.025000
      vertex 35.000000 8.205107 0.287500
      vertex 35.000000 7.172546 4.141071
    endloop
  endfacet
  facet normal 0.017246 -0.707002 -0.707002
    outer loop
      vertex 22.000000 4.025000 6.971505
      vertex 22.000000 6.971505 4.025000
      vertex 35.000000 7.172546 4.141071
    endloop
  endfacet
  facet normal 0.017246 -0.707002 -0.707002
    outer loop
      vertex 35.000000 4.141071 7.172546
      vertex 22.000000 4.025000 6.971505
      vertex 35.000000 7.172546 4.141071
    endloop
  endfacet
  facet normal 0.017246 -0.258780 -0.965782
    outer loop
      vertex 35.000000 4.141071 7.172546
      vertex 35.000000 3.853571 7.249582
      vertex 22.000000 4.025000 6.971505
    endloop
  endfacet
  facet normal 0.017246 -0.258780 -0.965782
    outer loop
      vertex 22.000000 4.025000 6.971505
      vertex 35.000000 3.853571 7.249582
      vertex 22.000000 0.000000 8.050000
    endloop
  endfacet
  facet normal 0.017246 -0.258781 -0.965782
    outer loop
      vertex 22.000000 0.000000 8.050000
      vertex 35.000000 3.853571 7.249582
      vertex 35.000000 0.000000 8.282143
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.925000 -31.861955 9.500000
      vertex -15.000000 -34.000000 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -11.150000 -30.000000 9.500000
      vertex -15.000000 -34.000000 9.500000
      vertex -10.861955 -31.075000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.925000 -28.138045 9.500000
      vertex -7.138045 -28.925000 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -15.000000 -6.000000 9.500000
      vertex -15.000000 -34.000000 9.500000
      vertex -11.150000 -30.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.138045 -31.075000 9.500000
      vertex -7.925000 -31.861955 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -7.138045 -28.925000 9.500000
      vertex -6.850000 -30.000000 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -15.000000 -6.000000 9.500000
      vertex -10.861955 -28.925000 9.500000
      vertex -10.075000 -28.138045 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 9.000000 -32.150000 9.500000
      vertex -9.000000 -27.850000 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -15.000000 -6.000000 9.500000
      vertex -10.075000 -28.138045 9.500000
      vertex -9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -9.000000 -27.850000 9.500000
      vertex -7.925000 -28.138045 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.850000 -30.000000 9.500000
      vertex -7.138045 -31.075000 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -9.000000 -32.150000 9.500000
      vertex -15.000000 -34.000000 9.500000
      vertex -7.925000 -31.861955 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -10.075000 -31.861955 9.500000
      vertex -15.000000 -34.000000 9.500000
      vertex -9.000000 -32.150000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -10.861955 -31.075000 9.500000
      vertex -15.000000 -34.000000 9.500000
      vertex -10.075000 -31.861955 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -15.000000 -6.000000 9.500000
      vertex -9.000000 -27.850000 9.500000
      vertex -10.861955 -16.075000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -15.000000 -6.000000 9.500000
      vertex -10.861955 -16.075000 9.500000
      vertex -11.150000 -15.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.925000 -28.138045 9.500000
      vertex -7.925000 -13.138045 9.500000
      vertex -7.138045 -13.925000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -15.000000 -6.000000 9.500000
      vertex -11.150000 -15.000000 9.500000
      vertex -10.861955 -13.925000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.925000 -28.138045 9.500000
      vertex -15.000000 -6.000000 9.500000
      vertex -7.925000 -13.138045 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -15.000000 -6.000000 9.500000
      vertex -10.861955 -13.925000 9.500000
      vertex -10.075000 -13.138045 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -15.000000 -6.000000 9.500000
      vertex -10.075000 -13.138045 9.500000
      vertex -9.000000 -12.850000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 10.861955 -28.925000 9.500000
      vertex 11.150000 -30.000000 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -15.000000 -6.000000 9.500000
      vertex -9.000000 -12.850000 9.500000
      vertex -7.925000 -13.138045 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 11.150000 -30.000000 9.500000
      vertex 10.861955 -31.075000 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.925000 -28.138045 9.500000
      vertex 9.000000 -27.850000 9.500000
      vertex -15.000000 -6.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -10.861955 -16.075000 9.500000
      vertex -9.000000 -27.850000 9.500000
      vertex -10.075000 -16.861955 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.925000 -13.138045 9.500000
      vertex 9.000000 -12.850000 9.500000
      vertex 15.000000 -6.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -10.075000 -16.861955 9.500000
      vertex -9.000000 -27.850000 9.500000
      vertex 7.138045 -31.075000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 10.075000 -31.861955 9.500000
      vertex 9.000000 -32.150000 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -10.075000 -16.861955 9.500000
      vertex 7.138045 -31.075000 9.500000
      vertex 6.850000 -30.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -10.075000 -16.861955 9.500000
      vertex 6.850000 -30.000000 9.500000
      vertex 7.138045 -28.925000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.925000 -28.138045 9.500000
      vertex -7.138045 -13.925000 9.500000
      vertex -6.850000 -15.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 10.861955 -31.075000 9.500000
      vertex 10.075000 -31.861955 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.138045 -16.075000 9.500000
      vertex -15.000000 -6.000000 9.500000
      vertex 9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 15.000000 -6.000000 9.500000
      vertex 9.000000 -27.850000 9.500000
      vertex 10.075000 -28.138045 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 15.000000 -6.000000 9.500000
      vertex 10.861955 -28.925000 9.500000
      vertex 15.000000 -34.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 15.000000 -6.000000 9.500000
      vertex 10.075000 -28.138045 9.500000
      vertex 10.861955 -28.925000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.925000 -31.861955 9.500000
      vertex -9.000000 -27.850000 9.500000
      vertex 9.000000 -32.150000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.138045 -31.075000 9.500000
      vertex -9.000000 -27.850000 9.500000
      vertex 7.925000 -31.861955 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.925000 -16.861955 9.500000
      vertex 7.138045 -16.075000 9.500000
      vertex 9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 6.850000 -15.000000 9.500000
      vertex -15.000000 -6.000000 9.500000
      vertex 7.138045 -16.075000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.138045 -13.925000 9.500000
      vertex -15.000000 -6.000000 9.500000
      vertex 6.850000 -15.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 15.000000 -6.000000 9.500000
      vertex -15.000000 -6.000000 9.500000
      vertex 7.138045 -13.925000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 9.000000 -12.850000 9.500000
      vertex 10.075000 -13.138045 9.500000
      vertex 15.000000 -6.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 15.000000 -6.000000 9.500000
      vertex 7.138045 -13.925000 9.500000
      vertex 7.925000 -13.138045 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 10.861955 -16.075000 9.500000
      vertex 10.075000 -16.861955 9.500000
      vertex 9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 10.075000 -16.861955 9.500000
      vertex 9.000000 -17.150000 9.500000
      vertex 9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 15.000000 -6.000000 9.500000
      vertex 10.075000 -13.138045 9.500000
      vertex 10.861955 -13.925000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 15.000000 -6.000000 9.500000
      vertex 11.150000 -15.000000 9.500000
      vertex 9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 15.000000 -6.000000 9.500000
      vertex 10.861955 -13.925000 9.500000
      vertex 11.150000 -15.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 11.150000 -15.000000 9.500000
      vertex 10.861955 -16.075000 9.500000
      vertex 9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 9.000000 -17.150000 9.500000
      vertex 7.925000 -16.861955 9.500000
      vertex 9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -11.150000 -30.000000 9.500000
      vertex -10.861955 -28.925000 9.500000
      vertex -15.000000 -6.000000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex -6.850000 -15.000000 9.500000
      vertex -7.138045 -16.075000 9.500000
      vertex 7.925000 -28.138045 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.138045 -28.925000 9.500000
      vertex -9.000000 -17.150000 9.500000
      vertex -10.075000 -16.861955 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.138045 -28.925000 9.500000
      vertex -7.925000 -16.861955 9.500000
      vertex -9.000000 -17.150000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.138045 -28.925000 9.500000
      vertex -7.138045 -16.075000 9.500000
      vertex -7.925000 -16.861955 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 1.000000
    outer loop
      vertex 7.138045 -28.925000 9.500000
      vertex 7.925000 -28.138045 9.500000
      vertex -7.138045 -16.075000 9.500000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex 15.000000 -34.000000 9.500000
      vertex -15.000000 -34.000000 9.500000
      vertex -15.000000 -34.000000 2.500000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex 15.000000 -34.000000 2.500000
      vertex 15.000000 -34.000000 9.500000
      vertex -15.000000 -34.000000 2.500000
    endloop
  endfacet
  facet normal 0.866025 -0.500000 0.000000
    outer loop
      vertex -13.150000 -30.000000 5.000000
      vertex -13.150000 -30.000000 2.500000
      vertex -11.075000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.866025 -0.500000 0.000000
    outer loop
      vertex -11.075000 -26.405995 5.000000
      vertex -13.150000 -30.000000 5.000000
      vertex -11.075000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -11.075000 -33.594005 2.500000
      vertex -13.150000 -30.000000 2.500000
      vertex -13.150000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -11.075000 -33.594005 5.000000
      vertex -11.075000 -33.594005 2.500000
      vertex -13.150000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex -11.075000 -26.405995 5.000000
      vertex -11.075000 -26.405995 2.500000
      vertex -6.925000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex -6.925000 -26.405995 5.000000
      vertex -11.075000 -26.405995 5.000000
      vertex -6.925000 -26.405995 2.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -6.925000 -26.405995 2.500000
      vertex -4.850000 -30.000000 2.500000
      vertex -6.925000 -26.405995 5.000000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -6.925000 -26.405995 5.000000
      vertex -4.850000 -30.000000 2.500000
      vertex -4.850000 -30.000000 5.000000
    endloop
  endfacet
  facet normal -0.866025 0.500000 0.000000
    outer loop
      vertex -6.925000 -33.594005 2.500000
      vertex -6.925000 -33.594005 5.000000
      vertex -4.850000 -30.000000 2.500000
    endloop
  endfacet
  facet normal -0.866025 0.500000 0.000000
    outer loop
      vertex -4.850000 -30.000000 2.500000
      vertex -6.925000 -33.594005 5.000000
      vertex -4.850000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex -11.075000 -33.594005 2.500000
      vertex -11.075000 -33.594005 5.000000
      vertex -6.925000 -33.594005 2.500000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex -6.925000 -33.594005 2.500000
      vertex -11.075000 -33.594005 5.000000
      vertex -6.925000 -33.594005 5.000000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -11.075000 -18.594005 2.500000
      vertex -13.150000 -15.000000 2.500000
      vertex -13.150000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex -11.075000 -18.594005 5.000000
      vertex -11.075000 -18.594005 2.500000
      vertex -13.150000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.866025 -0.500000 0.000000
    outer loop
      vertex -13.150000 -15.000000 5.000000
      vertex -13.150000 -15.000000 2.500000
      vertex -11.075000 -11.405995 2.500000
    endloop
  endfacet
  facet normal 0.866025 -0.500000 0.000000
    outer loop
      vertex -11.075000 -11.405995 5.000000
      vertex -13.150000 -15.000000 5.000000
      vertex -11.075000 -11.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex -11.075000 -11.405995 5.000000
      vertex -11.075000 -11.405995 2.500000
      vertex -6.925000 -11.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex -6.925000 -11.405995 5.000000
      vertex -11.075000 -11.405995 5.000000
      vertex -6.925000 -11.405995 2.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -6.925000 -11.405995 2.500000
      vertex -4.850000 -15.000000 2.500000
      vertex -6.925000 -11.405995 5.000000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex -6.925000 -11.405995 5.000000
      vertex -4.850000 -15.000000 2.500000
      vertex -4.850000 -15.000000 5.000000
    endloop
  endfacet
  facet normal -0.866025 0.500000 0.000000
    outer loop
      vertex -6.925000 -18.594005 2.500000
      vertex -6.925000 -18.594005 5.000000
      vertex -4.850000 -15.000000 2.500000
    endloop
  endfacet
  facet normal -0.866025 0.500000 0.000000
    outer loop
      vertex -4.850000 -15.000000 2.500000
      vertex -6.925000 -18.594005 5.000000
      vertex -4.850000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex -11.075000 -18.594005 2.500000
      vertex -11.075000 -18.594005 5.000000
      vertex -6.925000 -18.594005 2.500000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex -6.925000 -18.594005 2.500000
      vertex -11.075000 -18.594005 5.000000
      vertex -6.925000 -18.594005 5.000000
    endloop
  endfacet
  facet normal 0.866025 -0.500000 0.000000
    outer loop
      vertex 4.850000 -30.000000 5.000000
      vertex 4.850000 -30.000000 2.500000
      vertex 6.925000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.866025 -0.500000 0.000000
    outer loop
      vertex 6.925000 -26.405995 5.000000
      vertex 4.850000 -30.000000 5.000000
      vertex 6.925000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex 6.925000 -33.594005 2.500000
      vertex 4.850000 -30.000000 2.500000
      vertex 4.850000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex 6.925000 -33.594005 5.000000
      vertex 6.925000 -33.594005 2.500000
      vertex 4.850000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex 6.925000 -26.405995 5.000000
      vertex 6.925000 -26.405995 2.500000
      vertex 11.075000 -26.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex 11.075000 -26.405995 5.000000
      vertex 6.925000 -26.405995 5.000000
      vertex 11.075000 -26.405995 2.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex 11.075000 -26.405995 2.500000
      vertex 13.150000 -30.000000 2.500000
      vertex 11.075000 -26.405995 5.000000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex 11.075000 -26.405995 5.000000
      vertex 13.150000 -30.000000 2.500000
      vertex 13.150000 -30.000000 5.000000
    endloop
  endfacet
  facet normal -0.866025 0.500000 0.000000
    outer loop
      vertex 11.075000 -33.594005 2.500000
      vertex 11.075000 -33.594005 5.000000
      vertex 13.150000 -30.000000 2.500000
    endloop
  endfacet
  facet normal -0.866025 0.500000 0.000000
    outer loop
      vertex 13.150000 -30.000000 2.500000
      vertex 11.075000 -33.594005 5.000000
      vertex 13.150000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex 6.925000 -33.594005 2.500000
      vertex 6.925000 -33.594005 5.000000
      vertex 11.075000 -33.594005 2.500000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex 11.075000 -33.594005 2.500000
      vertex 6.925000 -33.594005 5.000000
      vertex 11.075000 -33.594005 5.000000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex 6.925000 -18.594005 2.500000
      vertex 4.850000 -15.000000 2.500000
      vertex 4.850000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.866025 0.500000 0.000000
    outer loop
      vertex 6.925000 -18.594005 5.000000
      vertex 6.925000 -18.594005 2.500000
      vertex 4.850000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.866025 -0.500000 0.000000
    outer loop
      vertex 4.850000 -15.000000 5.000000
      vertex 4.850000 -15.000000 2.500000
      vertex 6.925000 -11.405995 2.500000
    endloop
  endfacet
  facet normal 0.866025 -0.500000 0.000000
    outer loop
      vertex 6.925000 -11.405995 5.000000
      vertex 4.850000 -15.000000 5.000000
      vertex 6.925000 -11.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex 6.925000 -11.405995 5.000000
      vertex 6.925000 -11.405995 2.500000
      vertex 11.075000 -11.405995 2.500000
    endloop
  endfacet
  facet normal 0.000000 -1.000000 0.000000
    outer loop
      vertex 11.075000 -11.405995 5.000000
      vertex 6.925000 -11.405995 5.000000
      vertex 11.075000 -11.405995 2.500000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex 11.075000 -11.405995 2.500000
      vertex 13.150000 -15.000000 2.500000
      vertex 11.075000 -11.405995 5.000000
    endloop
  endfacet
  facet normal -0.866025 -0.500000 0.000000
    outer loop
      vertex 11.075000 -11.405995 5.000000
      vertex 13.150000 -15.000000 2.500000
      vertex 13.150000 -15.000000 5.000000
    endloop
  endfacet
  facet normal -0.866025 0.500000 0.000000
    outer loop
      vertex 11.075000 -18.594005 2.500000
      vertex 11.075000 -18.594005 5.000000
      vertex 13.150000 -15.000000 2.500000
    endloop
  endfacet
  facet normal -0.866025 0.500000 0.000000
    outer loop
      vertex 13.150000 -15.000000 2.500000
      vertex 11.075000 -18.594005 5.000000
      vertex 13.150000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex 6.925000 -18.594005 2.500000
      vertex 6.925000 -18.594005 5.000000
      vertex 11.075000 -18.594005 2.500000
    endloop
  endfacet
  facet normal 0.000000 1.000000 0.000000
    outer loop
      vertex 11.075000 -18.594005 2.500000
      vertex 6.925000 -18.594005 5.000000
      vertex 11.075000 -18.594005 5.000000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 0.258819
    outer loop
      vertex -30.000000 39.905771 4.500000
      vertex -35.000000 40.213913 5.650000
      vertex -35.000000 38.700000 -0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 0.258819
    outer loop
      vertex -10.000000 39.905771 4.500000
      vertex -10.000000 38.700000 -0.000000
      vertex -4.635255 39.265848 2.111773
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex 35.000000 40.213913 5.650000
      vertex -35.000000 40.213913 5.650000
      vertex -30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 0.258819
    outer loop
      vertex 10.000000 39.905771 4.500000
      vertex 30.000000 39.905771 4.500000
      vertex 35.000000 40.213913 5.650000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 0.258819
    outer loop
      vertex -0.000000 40.000000 4.851666
      vertex -30.000000 39.905771 4.500000
      vertex -10.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 0.258819
    outer loop
      vertex -4.635255 39.265848 2.111773
      vertex -0.000000 40.000000 4.851666
      vertex -10.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex 10.000000 38.700000 0.000000
      vertex 4.635255 39.265848 2.111773
      vertex 5.745794 38.700000 0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 0.258819
    outer loop
      vertex 35.000000 40.213913 5.650000
      vertex -30.000000 39.905771 4.500000
      vertex -0.000000 40.000000 4.851666
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex -0.000000 40.000000 4.851666
      vertex 10.000000 39.905771 4.500000
      vertex 35.000000 40.213913 5.650000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex 10.000000 38.700000 0.000000
      vertex 10.000000 39.905771 4.500000
      vertex 4.635255 39.265848 2.111773
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex -0.000000 40.000000 4.851666
      vertex 4.635255 39.265848 2.111773
      vertex 10.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex 30.000000 38.700000 0.000000
      vertex 35.000000 40.213913 5.650000
      vertex 30.000000 39.905771 4.500000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex 35.000000 38.700000 0.000000
      vertex 35.000000 40.213913 5.650000
      vertex 30.000000 38.700000 0.000000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex -5.745794 38.700000 -0.000000
      vertex -4.635255 39.265848 2.111773
      vertex -10.000000 38.700000 -0.000000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex -30.000000 38.700000 -0.000000
      vertex -30.000000 39.905771 4.500000
      vertex -35.000000 38.700000 -0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex -30.000000 38.700000 -0.000000
      vertex -35.000000 38.700000 -0.000000
      vertex -35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex -10.000000 38.700000 -0.000000
      vertex -10.000000 39.905771 -4.500000
      vertex 0.000000 40.000000 -4.851666
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex -30.000000 39.905771 -4.500000
      vertex -30.000000 38.700000 -0.000000
      vertex -35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex 35.000000 38.700000 0.000000
      vertex 30.000000 38.700000 0.000000
      vertex 35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex 30.000000 38.700000 0.000000
      vertex 30.000000 39.905771 -4.500000
      vertex 35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex 0.000000 40.000000 -4.851666
      vertex -10.000000 39.905771 -4.500000
      vertex -35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex -10.000000 38.700000 -0.000000
      vertex 0.000000 40.000000 -4.851666
      vertex -4.635255 39.265848 -2.111773
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex 35.000000 40.213913 -5.650000
      vertex 0.000000 40.000000 -4.851666
      vertex -35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 -0.258819
    outer loop
      vertex 35.000000 40.213913 -5.650000
      vertex 10.000000 39.905771 -4.500000
      vertex 0.000000 40.000000 -4.851666
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex -4.635255 39.265848 -2.111773
      vertex -5.745794 38.700000 -0.000000
      vertex -10.000000 38.700000 -0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex -10.000000 39.905771 -4.500000
      vertex -30.000000 39.905771 -4.500000
      vertex -35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 -0.258819
    outer loop
      vertex 4.635255 39.265848 -2.111773
      vertex 0.000000 40.000000 -4.851666
      vertex 10.000000 39.905771 -4.500000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex 30.000000 39.905771 -4.500000
      vertex 10.000000 39.905771 -4.500000
      vertex 35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 -0.258819
    outer loop
      vertex 10.000000 39.905771 -4.500000
      vertex 5.745794 38.700000 0.000000
      vertex 4.635255 39.265848 -2.111773
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex 10.000000 39.905771 -4.500000
      vertex 10.000000 38.700000 0.000000
      vertex 5.745794 38.700000 0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex 10.000000 35.952034 4.500000
      vertex 10.000000 39.905771 4.500000
      vertex 10.000000 35.952034 -4.500000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex 10.000000 35.952034 -4.500000
      vertex 10.000000 39.905771 4.500000
      vertex 10.000000 38.700000 0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex 10.000000 35.952034 -4.500000
      vertex 10.000000 38.700000 0.000000
      vertex 10.000000 39.905771 -4.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 -0.000000
    outer loop
      vertex 10.000000 35.952034 -4.500000
      vertex 12.135255 33.816779 -4.500000
      vertex 12.135255 33.816779 4.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex 10.000000 35.952034 4.500000
      vertex 10.000000 35.952034 -4.500000
      vertex 12.135255 33.816779 4.500000
    endloop
  endfacet
  facet normal -0.891007 -0.453991 -0.000000
    outer loop
      vertex 14.265848 29.635255 -4.500000
      vertex 14.265848 29.635255 4.500000
      vertex 12.135255 33.816779 -4.500000
    endloop
  endfacet
  facet normal -0.891007 -0.453991 -0.000000
    outer loop
      vertex 12.135255 33.816779 -4.500000
      vertex 14.265848 29.635255 4.500000
      vertex 12.135255 33.816779 4.500000
    endloop
  endfacet
  facet normal -0.987688 -0.156434 -0.000000
    outer loop
      vertex 15.000000 25.000000 -4.500000
      vertex 15.000000 25.000000 4.500000
      vertex 14.265848 29.635255 -4.500000
    endloop
  endfacet
  facet normal -0.987688 -0.156434 -0.000000
    outer loop
      vertex 14.265848 29.635255 -4.500000
      vertex 15.000000 25.000000 4.500000
      vertex 14.265848 29.635255 4.500000
    endloop
  endfacet
  facet normal -0.987688 0.156434 -0.000000
    outer loop
      vertex 15.000000 25.000000 -4.500000
      vertex 14.265848 20.364745 -4.500000
      vertex 15.000000 25.000000 4.500000
    endloop
  endfacet
  facet normal -0.987688 0.156434 -0.000000
    outer loop
      vertex 15.000000 25.000000 4.500000
      vertex 14.265848 20.364745 -4.500000
      vertex 14.265848 20.364745 4.500000
    endloop
  endfacet
  facet normal -0.891007 0.453991 -0.000000
    outer loop
      vertex 14.265848 20.364745 -4.500000
      vertex 12.135255 16.183221 -4.500000
      vertex 14.265848 20.364745 4.500000
    endloop
  endfacet
  facet normal -0.891007 0.453991 -0.000000
    outer loop
      vertex 14.265848 20.364745 4.500000
      vertex 12.135255 16.183221 -4.500000
      vertex 12.135255 16.183221 4.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 -0.000000
    outer loop
      vertex 12.135255 16.183221 -4.500000
      vertex 10.000000 14.047966 -4.500000
      vertex 12.135255 16.183221 4.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 -0.000000
    outer loop
      vertex 12.135255 16.183221 4.500000
      vertex 10.000000 14.047966 -4.500000
      vertex 10.000000 14.047966 4.500000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex 23.138045 23.925000 4.500000
      vertex 23.138045 23.925000 -4.500000
      vertex 22.850000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex 22.850000 25.000000 4.500000
      vertex 23.138045 23.925000 4.500000
      vertex 22.850000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex 22.850000 25.000000 -4.500000
      vertex 23.138045 26.075000 -4.500000
      vertex 23.138045 26.075000 4.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex 22.850000 25.000000 4.500000
      vertex 22.850000 25.000000 -4.500000
      vertex 23.138045 26.075000 4.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex 23.138045 26.075000 -4.500000
      vertex 23.925000 26.861955 -4.500000
      vertex 23.925000 26.861955 4.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex 23.138045 26.075000 4.500000
      vertex 23.138045 26.075000 -4.500000
      vertex 23.925000 26.861955 4.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex 23.925000 26.861955 -4.500000
      vertex 25.000000 27.150000 -4.500000
      vertex 25.000000 27.150000 4.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex 23.925000 26.861955 4.500000
      vertex 23.925000 26.861955 -4.500000
      vertex 25.000000 27.150000 4.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 0.000000
    outer loop
      vertex 25.000000 27.150000 -4.500000
      vertex 26.075000 26.861955 -4.500000
      vertex 26.075000 26.861955 4.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 -0.000000
    outer loop
      vertex 25.000000 27.150000 4.500000
      vertex 25.000000 27.150000 -4.500000
      vertex 26.075000 26.861955 4.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex 26.075000 26.861955 -4.500000
      vertex 26.861955 26.075000 -4.500000
      vertex 26.861955 26.075000 4.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex 26.075000 26.861955 4.500000
      vertex 26.075000 26.861955 -4.500000
      vertex 26.861955 26.075000 4.500000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0.000000
    outer loop
      vertex 27.150000 25.000000 -4.500000
      vertex 27.150000 25.000000 4.500000
      vertex 26.861955 26.075000 -4.500000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0.000000
    outer loop
      vertex 26.861955 26.075000 -4.500000
      vertex 27.150000 25.000000 4.500000
      vertex 26.861955 26.075000 4.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 0.000000
    outer loop
      vertex 27.150000 25.000000 -4.500000
      vertex 26.861955 23.925000 -4.500000
      vertex 27.150000 25.000000 4.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 0.000000
    outer loop
      vertex 27.150000 25.000000 4.500000
      vertex 26.861955 23.925000 -4.500000
      vertex 26.861955 23.925000 4.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex 26.861955 23.925000 -4.500000
      vertex 26.075000 23.138045 -4.500000
      vertex 26.861955 23.925000 4.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex 26.861955 23.925000 4.500000
      vertex 26.075000 23.138045 -4.500000
      vertex 26.075000 23.138045 4.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 0.000000
    outer loop
      vertex 26.075000 23.138045 -4.500000
      vertex 25.000000 22.850000 -4.500000
      vertex 26.075000 23.138045 4.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 -0.000000
    outer loop
      vertex 26.075000 23.138045 4.500000
      vertex 25.000000 22.850000 -4.500000
      vertex 25.000000 22.850000 4.500000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex 25.000000 22.850000 -4.500000
      vertex 23.925000 23.138045 -4.500000
      vertex 25.000000 22.850000 4.500000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex 25.000000 22.850000 4.500000
      vertex 23.925000 23.138045 -4.500000
      vertex 23.925000 23.138045 4.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex 23.925000 23.138045 -4.500000
      vertex 23.138045 23.925000 -4.500000
      vertex 23.925000 23.138045 4.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex 23.925000 23.138045 4.500000
      vertex 23.138045 23.925000 -4.500000
      vertex 23.138045 23.925000 4.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex -10.000000 14.047966 -4.500000
      vertex -12.135255 16.183221 -4.500000
      vertex -10.000000 14.047966 4.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex -10.000000 14.047966 4.500000
      vertex -12.135255 16.183221 -4.500000
      vertex -12.135255 16.183221 4.500000
    endloop
  endfacet
  facet normal 0.891007 0.453991 0.000000
    outer loop
      vertex -12.135255 16.183221 4.500000
      vertex -12.135255 16.183221 -4.500000
      vertex -14.265848 20.364745 -4.500000
    endloop
  endfacet
  facet normal 0.891007 0.453991 0.000000
    outer loop
      vertex -14.265848 20.364745 4.500000
      vertex -12.135255 16.183221 4.500000
      vertex -14.265848 20.364745 -4.500000
    endloop
  endfacet
  facet normal 0.987688 0.156434 0.000000
    outer loop
      vertex -14.265848 20.364745 4.500000
      vertex -14.265848 20.364745 -4.500000
      vertex -15.000000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.987688 0.156434 0.000000
    outer loop
      vertex -15.000000 25.000000 4.500000
      vertex -14.265848 20.364745 4.500000
      vertex -15.000000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.987688 -0.156434 0.000000
    outer loop
      vertex -15.000000 25.000000 -4.500000
      vertex -14.265848 29.635255 -4.500000
      vertex -14.265848 29.635255 4.500000
    endloop
  endfacet
  facet normal 0.987688 -0.156434 0.000000
    outer loop
      vertex -15.000000 25.000000 4.500000
      vertex -15.000000 25.000000 -4.500000
      vertex -14.265848 29.635255 4.500000
    endloop
  endfacet
  facet normal 0.891007 -0.453991 0.000000
    outer loop
      vertex -14.265848 29.635255 -4.500000
      vertex -12.135255 33.816779 -4.500000
      vertex -12.135255 33.816779 4.500000
    endloop
  endfacet
  facet normal 0.891007 -0.453991 0.000000
    outer loop
      vertex -14.265848 29.635255 4.500000
      vertex -14.265848 29.635255 -4.500000
      vertex -12.135255 33.816779 4.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex -12.135255 33.816779 -4.500000
      vertex -10.000000 35.952034 -4.500000
      vertex -10.000000 35.952034 4.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex -12.135255 33.816779 4.500000
      vertex -12.135255 33.816779 -4.500000
      vertex -10.000000 35.952034 4.500000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -10.000000 39.905771 4.500000
      vertex -10.000000 35.952034 4.500000
      vertex -10.000000 35.952034 -4.500000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -10.000000 38.700000 -0.000000
      vertex -10.000000 39.905771 4.500000
      vertex -10.000000 35.952034 -4.500000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex -10.000000 39.905771 -4.500000
      vertex -10.000000 38.700000 -0.000000
      vertex -10.000000 35.952034 -4.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex -27.150000 25.000000 -4.500000
      vertex -26.861955 26.075000 -4.500000
      vertex -26.861955 26.075000 4.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex -27.150000 25.000000 4.500000
      vertex -27.150000 25.000000 -4.500000
      vertex -26.861955 26.075000 4.500000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex -26.861955 23.925000 4.500000
      vertex -26.861955 23.925000 -4.500000
      vertex -27.150000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex -27.150000 25.000000 4.500000
      vertex -26.861955 23.925000 4.500000
      vertex -27.150000 25.000000 -4.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex -26.861955 26.075000 -4.500000
      vertex -26.075000 26.861955 -4.500000
      vertex -26.075000 26.861955 4.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex -26.861955 26.075000 4.500000
      vertex -26.861955 26.075000 -4.500000
      vertex -26.075000 26.861955 4.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex -26.075000 26.861955 -4.500000
      vertex -25.000000 27.150000 -4.500000
      vertex -25.000000 27.150000 4.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex -26.075000 26.861955 4.500000
      vertex -26.075000 26.861955 -4.500000
      vertex -25.000000 27.150000 4.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 0.000000
    outer loop
      vertex -25.000000 27.150000 -4.500000
      vertex -23.925000 26.861955 -4.500000
      vertex -23.925000 26.861955 4.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 -0.000000
    outer loop
      vertex -25.000000 27.150000 4.500000
      vertex -25.000000 27.150000 -4.500000
      vertex -23.925000 26.861955 4.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex -23.925000 26.861955 -4.500000
      vertex -23.138045 26.075000 -4.500000
      vertex -23.138045 26.075000 4.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex -23.925000 26.861955 4.500000
      vertex -23.925000 26.861955 -4.500000
      vertex -23.138045 26.075000 4.500000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0.000000
    outer loop
      vertex -22.850000 25.000000 -4.500000
      vertex -22.850000 25.000000 4.500000
      vertex -23.138045 26.075000 -4.500000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0.000000
    outer loop
      vertex -23.138045 26.075000 -4.500000
      vertex -22.850000 25.000000 4.500000
      vertex -23.138045 26.075000 4.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 0.000000
    outer loop
      vertex -22.850000 25.000000 -4.500000
      vertex -23.138045 23.925000 -4.500000
      vertex -22.850000 25.000000 4.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 0.000000
    outer loop
      vertex -22.850000 25.000000 4.500000
      vertex -23.138045 23.925000 -4.500000
      vertex -23.138045 23.925000 4.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex -23.138045 23.925000 -4.500000
      vertex -23.925000 23.138045 -4.500000
      vertex -23.138045 23.925000 4.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex -23.138045 23.925000 4.500000
      vertex -23.925000 23.138045 -4.500000
      vertex -23.925000 23.138045 4.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 0.000000
    outer loop
      vertex -23.925000 23.138045 -4.500000
      vertex -25.000000 22.850000 -4.500000
      vertex -23.925000 23.138045 4.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 -0.000000
    outer loop
      vertex -23.925000 23.138045 4.500000
      vertex -25.000000 22.850000 -4.500000
      vertex -25.000000 22.850000 4.500000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex -25.000000 22.850000 -4.500000
      vertex -26.075000 23.138045 -4.500000
      vertex -25.000000 22.850000 4.500000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex -25.000000 22.850000 4.500000
      vertex -26.075000 23.138045 -4.500000
      vertex -26.075000 23.138045 4.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex -26.075000 23.138045 -4.500000
      vertex -26.861955 23.925000 -4.500000
      vertex -26.075000 23.138045 4.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex -26.075000 23.138045 4.500000
      vertex -26.861955 23.925000 -4.500000
      vertex -26.861955 23.925000 4.500000
    endloop
  endfacet
  facet normal 0.000000 0.707107 -0.707107
    outer loop
      vertex 22.000000 -4.460031 2.575000
      vertex -22.000000 -4.460031 2.575000
      vertex 22.000000 -2.575000 4.460031
    endloop
  endfacet
  facet normal 0.000000 0.707107 -0.707107
    outer loop
      vertex 22.000000 -2.575000 4.460031
      vertex -22.000000 -4.460031 2.575000
      vertex -22.000000 -2.575000 4.460031
    endloop
  endfacet
  facet normal 0.000000 0.258819 -0.965926
    outer loop
      vertex 22.000000 -2.575000 4.460031
      vertex -22.000000 -2.575000 4.460031
      vertex 22.000000 0.000000 5.150000
    endloop
  endfacet
  facet normal 0.000000 0.258819 -0.965926
    outer loop
      vertex 22.000000 0.000000 5.150000
      vertex -22.000000 -2.575000 4.460031
      vertex -22.000000 0.000000 5.150000
    endloop
  endfacet
  facet normal 0.000000 -0.258819 -0.965926
    outer loop
      vertex 22.000000 2.575000 4.460031
      vertex 22.000000 0.000000 5.150000
      vertex -22.000000 2.575000 4.460031
    endloop
  endfacet
  facet normal 0.000000 -0.258819 -0.965926
    outer loop
      vertex -22.000000 2.575000 4.460031
      vertex 22.000000 0.000000 5.150000
      vertex -22.000000 0.000000 5.150000
    endloop
  endfacet
  facet normal 0.000000 -0.707107 -0.707107
    outer loop
      vertex -22.000000 4.460031 2.575000
      vertex 22.000000 4.460031 2.575000
      vertex 22.000000 2.575000 4.460031
    endloop
  endfacet
  facet normal 0.000000 -0.707107 -0.707107
    outer loop
      vertex -22.000000 2.575000 4.460031
      vertex -22.000000 4.460031 2.575000
      vertex 22.000000 2.575000 4.460031
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex -22.000000 5.150000 -0.000000
      vertex 22.000000 5.150000 0.000000
      vertex 22.000000 4.460031 2.575000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex -22.000000 4.460031 2.575000
      vertex -22.000000 5.150000 -0.000000
      vertex 22.000000 4.460031 2.575000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex -22.000000 4.460031 -2.575000
      vertex 22.000000 4.460031 -2.575000
      vertex 22.000000 5.150000 0.000000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex -22.000000 5.150000 -0.000000
      vertex -22.000000 4.460031 -2.575000
      vertex 22.000000 5.150000 0.000000
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex -22.000000 2.575000 -4.460031
      vertex 22.000000 2.575000 -4.460031
      vertex 22.000000 4.460031 -2.575000
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex -22.000000 4.460031 -2.575000
      vertex -22.000000 2.575000 -4.460031
      vertex 22.000000 4.460031 -2.575000
    endloop
  endfacet
  facet normal -0.000000 -0.258819 0.965926
    outer loop
      vertex -22.000000 0.000000 -5.150000
      vertex 22.000000 0.000000 -5.150000
      vertex 22.000000 2.575000 -4.460031
    endloop
  endfacet
  facet normal -0.000000 -0.258819 0.965926
    outer loop
      vertex -22.000000 2.575000 -4.460031
      vertex -22.000000 0.000000 -5.150000
      vertex 22.000000 2.575000 -4.460031
    endloop
  endfacet
  facet normal -0.000000 0.258819 0.965926
    outer loop
      vertex 22.000000 -2.575000 -4.460031
      vertex 22.000000 0.000000 -5.150000
      vertex -22.000000 0.000000 -5.150000
    endloop
  endfacet
  facet normal -0.000000 0.258819 0.965926
    outer loop
      vertex -22.000000 -2.575000 -4.460031
      vertex 22.000000 -2.575000 -4.460031
      vertex -22.000000 0.000000 -5.150000
    endloop
  endfacet
  facet normal -0.000000 0.707107 0.707107
    outer loop
      vertex 22.000000 -2.575000 -4.460031
      vertex -22.000000 -2.575000 -4.460031
      vertex 22.000000 -4.460031 -2.575000
    endloop
  endfacet
  facet normal -0.000000 0.707107 0.707107
    outer loop
      vertex 22.000000 -4.460031 -2.575000
      vertex -22.000000 -2.575000 -4.460031
      vertex -22.000000 -4.460031 -2.575000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex 22.000000 -4.460031 -2.575000
      vertex -22.000000 -4.460031 -2.575000
      vertex 22.000000 -5.150000 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex 22.000000 -5.150000 0.000000
      vertex -22.000000 -4.460031 -2.575000
      vertex -22.000000 -5.150000 -0.000000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex 22.000000 -5.150000 0.000000
      vertex -22.000000 -5.150000 -0.000000
      vertex 22.000000 -4.460031 2.575000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex 22.000000 -4.460031 2.575000
      vertex -22.000000 -5.150000 -0.000000
      vertex -22.000000 -4.460031 2.575000
    endloop
  endfacet
  facet normal 1.000000 -0.000000 0.000000
    outer loop
      vertex 22.000000 -4.025000 6.971505
      vertex 22.000000 -6.971505 4.025000
      vertex 22.000000 -8.050000 0.000000
    endloop
  endfacet
  facet normal 1.000000 -0.000000 0.000000
    outer loop
      vertex 22.000000 -5.150000 0.000000
      vertex 22.000000 -4.025000 6.971505
      vertex 22.000000 -6.971505 -4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 -6.971505 -4.025000
      vertex 22.000000 -4.025000 6.971505
      vertex 22.000000 -8.050000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 -2.575000 -4.460031
      vertex 22.000000 -4.460031 -2.575000
      vertex 22.000000 -4.025000 -6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 4.025000 6.971505
      vertex 22.000000 -4.025000 6.971505
      vertex 22.000000 6.971505 4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 0.000000 8.050000
      vertex 22.000000 -4.025000 6.971505
      vertex 22.000000 4.025000 6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 5.150000 0.000000
      vertex 22.000000 4.460031 -2.575000
      vertex 22.000000 6.971505 -4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 6.971505 4.025000
      vertex 22.000000 -4.025000 6.971505
      vertex 22.000000 0.000000 5.150000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 6.971505 4.025000
      vertex 22.000000 2.575000 4.460031
      vertex 22.000000 8.050000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 6.971505 4.025000
      vertex 22.000000 0.000000 5.150000
      vertex 22.000000 2.575000 4.460031
    endloop
  endfacet
  facet normal 1.000000 -0.000000 -0.000000
    outer loop
      vertex 22.000000 2.575000 4.460031
      vertex 22.000000 4.460031 2.575000
      vertex 22.000000 8.050000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 8.050000 0.000000
      vertex 22.000000 5.150000 0.000000
      vertex 22.000000 6.971505 -4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 4.460031 2.575000
      vertex 22.000000 5.150000 0.000000
      vertex 22.000000 8.050000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 6.971505 -4.025000
      vertex 22.000000 4.460031 -2.575000
      vertex 22.000000 4.025000 -6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 -4.460031 2.575000
      vertex 22.000000 -2.575000 4.460031
      vertex 22.000000 -4.025000 6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 4.460031 -2.575000
      vertex 22.000000 2.575000 -4.460031
      vertex 22.000000 4.025000 -6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 4.025000 -6.971505
      vertex 22.000000 0.000000 -5.150000
      vertex 22.000000 0.000000 -8.050000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 0.000000 -8.050000
      vertex 22.000000 -2.575000 -4.460031
      vertex 22.000000 -4.025000 -6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 -4.025000 -6.971505
      vertex 22.000000 -4.460031 -2.575000
      vertex 22.000000 -6.971505 -4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 -4.460031 -2.575000
      vertex 22.000000 -5.150000 0.000000
      vertex 22.000000 -6.971505 -4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 -0.000000
    outer loop
      vertex 22.000000 -4.460031 2.575000
      vertex 22.000000 -4.025000 6.971505
      vertex 22.000000 -5.150000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 2.575000 -4.460031
      vertex 22.000000 0.000000 -5.150000
      vertex 22.000000 4.025000 -6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 0.000000 -5.150000
      vertex 22.000000 -2.575000 -4.460031
      vertex 22.000000 0.000000 -8.050000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 -2.575000 4.460031
      vertex 22.000000 0.000000 5.150000
      vertex 22.000000 -4.025000 6.971505
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex -10.075000 -31.861955 5.000000
      vertex -10.861955 -31.075000 5.000000
      vertex -10.075000 -31.861955 9.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex -10.075000 -31.861955 9.500000
      vertex -10.861955 -31.075000 5.000000
      vertex -10.861955 -31.075000 9.500000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex -10.861955 -31.075000 9.500000
      vertex -10.861955 -31.075000 5.000000
      vertex -11.150000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex -11.150000 -30.000000 9.500000
      vertex -10.861955 -31.075000 9.500000
      vertex -11.150000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex -9.000000 -32.150000 5.000000
      vertex -10.075000 -31.861955 5.000000
      vertex -9.000000 -32.150000 9.500000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex -9.000000 -32.150000 9.500000
      vertex -10.075000 -31.861955 5.000000
      vertex -10.075000 -31.861955 9.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 -0.000000
    outer loop
      vertex -7.925000 -31.861955 5.000000
      vertex -9.000000 -32.150000 5.000000
      vertex -7.925000 -31.861955 9.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 0.000000
    outer loop
      vertex -7.925000 -31.861955 9.500000
      vertex -9.000000 -32.150000 5.000000
      vertex -9.000000 -32.150000 9.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex -7.138045 -31.075000 5.000000
      vertex -7.925000 -31.861955 5.000000
      vertex -7.138045 -31.075000 9.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 -0.000000
    outer loop
      vertex -7.138045 -31.075000 9.500000
      vertex -7.925000 -31.861955 5.000000
      vertex -7.925000 -31.861955 9.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 -0.000000
    outer loop
      vertex -6.850000 -30.000000 5.000000
      vertex -7.138045 -31.075000 5.000000
      vertex -6.850000 -30.000000 9.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 0.000000
    outer loop
      vertex -6.850000 -30.000000 9.500000
      vertex -7.138045 -31.075000 5.000000
      vertex -7.138045 -31.075000 9.500000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 -0.000000
    outer loop
      vertex -6.850000 -30.000000 5.000000
      vertex -6.850000 -30.000000 9.500000
      vertex -7.138045 -28.925000 5.000000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0.000000
    outer loop
      vertex -7.138045 -28.925000 5.000000
      vertex -6.850000 -30.000000 9.500000
      vertex -7.138045 -28.925000 9.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex -7.925000 -28.138045 5.000000
      vertex -7.138045 -28.925000 5.000000
      vertex -7.138045 -28.925000 9.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 -0.000000
    outer loop
      vertex -7.925000 -28.138045 9.500000
      vertex -7.925000 -28.138045 5.000000
      vertex -7.138045 -28.925000 9.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 -0.000000
    outer loop
      vertex -9.000000 -27.850000 5.000000
      vertex -7.925000 -28.138045 5.000000
      vertex -7.925000 -28.138045 9.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 0.000000
    outer loop
      vertex -9.000000 -27.850000 9.500000
      vertex -9.000000 -27.850000 5.000000
      vertex -7.925000 -28.138045 9.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex -10.075000 -28.138045 5.000000
      vertex -9.000000 -27.850000 5.000000
      vertex -9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex -10.075000 -28.138045 9.500000
      vertex -10.075000 -28.138045 5.000000
      vertex -9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex -10.861955 -28.925000 5.000000
      vertex -10.075000 -28.138045 5.000000
      vertex -10.075000 -28.138045 9.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex -10.861955 -28.925000 9.500000
      vertex -10.861955 -28.925000 5.000000
      vertex -10.075000 -28.138045 9.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex -11.150000 -30.000000 5.000000
      vertex -10.861955 -28.925000 5.000000
      vertex -10.861955 -28.925000 9.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex -11.150000 -30.000000 9.500000
      vertex -11.150000 -30.000000 5.000000
      vertex -10.861955 -28.925000 9.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex -10.075000 -16.861955 5.000000
      vertex -10.861955 -16.075000 5.000000
      vertex -10.075000 -16.861955 9.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex -10.075000 -16.861955 9.500000
      vertex -10.861955 -16.075000 5.000000
      vertex -10.861955 -16.075000 9.500000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex -10.861955 -16.075000 9.500000
      vertex -10.861955 -16.075000 5.000000
      vertex -11.150000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex -11.150000 -15.000000 9.500000
      vertex -10.861955 -16.075000 9.500000
      vertex -11.150000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex -9.000000 -17.150000 5.000000
      vertex -10.075000 -16.861955 5.000000
      vertex -9.000000 -17.150000 9.500000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex -9.000000 -17.150000 9.500000
      vertex -10.075000 -16.861955 5.000000
      vertex -10.075000 -16.861955 9.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 -0.000000
    outer loop
      vertex -7.925000 -16.861955 5.000000
      vertex -9.000000 -17.150000 5.000000
      vertex -7.925000 -16.861955 9.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 0.000000
    outer loop
      vertex -7.925000 -16.861955 9.500000
      vertex -9.000000 -17.150000 5.000000
      vertex -9.000000 -17.150000 9.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex -7.138045 -16.075000 5.000000
      vertex -7.925000 -16.861955 5.000000
      vertex -7.138045 -16.075000 9.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 -0.000000
    outer loop
      vertex -7.138045 -16.075000 9.500000
      vertex -7.925000 -16.861955 5.000000
      vertex -7.925000 -16.861955 9.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 -0.000000
    outer loop
      vertex -6.850000 -15.000000 5.000000
      vertex -7.138045 -16.075000 5.000000
      vertex -6.850000 -15.000000 9.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 0.000000
    outer loop
      vertex -6.850000 -15.000000 9.500000
      vertex -7.138045 -16.075000 5.000000
      vertex -7.138045 -16.075000 9.500000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 -0.000000
    outer loop
      vertex -6.850000 -15.000000 5.000000
      vertex -6.850000 -15.000000 9.500000
      vertex -7.138045 -13.925000 5.000000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0.000000
    outer loop
      vertex -7.138045 -13.925000 5.000000
      vertex -6.850000 -15.000000 9.500000
      vertex -7.138045 -13.925000 9.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex -7.925000 -13.138045 5.000000
      vertex -7.138045 -13.925000 5.000000
      vertex -7.138045 -13.925000 9.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 -0.000000
    outer loop
      vertex -7.925000 -13.138045 9.500000
      vertex -7.925000 -13.138045 5.000000
      vertex -7.138045 -13.925000 9.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 -0.000000
    outer loop
      vertex -9.000000 -12.850000 5.000000
      vertex -7.925000 -13.138045 5.000000
      vertex -7.925000 -13.138045 9.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 0.000000
    outer loop
      vertex -9.000000 -12.850000 9.500000
      vertex -9.000000 -12.850000 5.000000
      vertex -7.925000 -13.138045 9.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex -10.075000 -13.138045 5.000000
      vertex -9.000000 -12.850000 5.000000
      vertex -9.000000 -12.850000 9.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex -10.075000 -13.138045 9.500000
      vertex -10.075000 -13.138045 5.000000
      vertex -9.000000 -12.850000 9.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex -10.861955 -13.925000 5.000000
      vertex -10.075000 -13.138045 5.000000
      vertex -10.075000 -13.138045 9.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex -10.861955 -13.925000 9.500000
      vertex -10.861955 -13.925000 5.000000
      vertex -10.075000 -13.138045 9.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex -11.150000 -15.000000 5.000000
      vertex -10.861955 -13.925000 5.000000
      vertex -10.861955 -13.925000 9.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex -11.150000 -15.000000 9.500000
      vertex -11.150000 -15.000000 5.000000
      vertex -10.861955 -13.925000 9.500000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex 7.138045 -31.075000 9.500000
      vertex 7.138045 -31.075000 5.000000
      vertex 6.850000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex 6.850000 -30.000000 9.500000
      vertex 7.138045 -31.075000 9.500000
      vertex 6.850000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex 7.925000 -31.861955 5.000000
      vertex 7.138045 -31.075000 5.000000
      vertex 7.925000 -31.861955 9.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex 7.925000 -31.861955 9.500000
      vertex 7.138045 -31.075000 5.000000
      vertex 7.138045 -31.075000 9.500000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex 9.000000 -32.150000 5.000000
      vertex 7.925000 -31.861955 5.000000
      vertex 9.000000 -32.150000 9.500000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex 9.000000 -32.150000 9.500000
      vertex 7.925000 -31.861955 5.000000
      vertex 7.925000 -31.861955 9.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 -0.000000
    outer loop
      vertex 10.075000 -31.861955 5.000000
      vertex 9.000000 -32.150000 5.000000
      vertex 10.075000 -31.861955 9.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 0.000000
    outer loop
      vertex 10.075000 -31.861955 9.500000
      vertex 9.000000 -32.150000 5.000000
      vertex 9.000000 -32.150000 9.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex 10.861955 -31.075000 5.000000
      vertex 10.075000 -31.861955 5.000000
      vertex 10.861955 -31.075000 9.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 -0.000000
    outer loop
      vertex 10.861955 -31.075000 9.500000
      vertex 10.075000 -31.861955 5.000000
      vertex 10.075000 -31.861955 9.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 0.000000
    outer loop
      vertex 11.150000 -30.000000 5.000000
      vertex 10.861955 -31.075000 5.000000
      vertex 11.150000 -30.000000 9.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 0.000000
    outer loop
      vertex 11.150000 -30.000000 9.500000
      vertex 10.861955 -31.075000 5.000000
      vertex 10.861955 -31.075000 9.500000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0.000000
    outer loop
      vertex 11.150000 -30.000000 5.000000
      vertex 11.150000 -30.000000 9.500000
      vertex 10.861955 -28.925000 5.000000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0.000000
    outer loop
      vertex 10.861955 -28.925000 5.000000
      vertex 11.150000 -30.000000 9.500000
      vertex 10.861955 -28.925000 9.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex 10.075000 -28.138045 5.000000
      vertex 10.861955 -28.925000 5.000000
      vertex 10.861955 -28.925000 9.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 -0.000000
    outer loop
      vertex 10.075000 -28.138045 9.500000
      vertex 10.075000 -28.138045 5.000000
      vertex 10.861955 -28.925000 9.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 -0.000000
    outer loop
      vertex 9.000000 -27.850000 5.000000
      vertex 10.075000 -28.138045 5.000000
      vertex 10.075000 -28.138045 9.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 0.000000
    outer loop
      vertex 9.000000 -27.850000 9.500000
      vertex 9.000000 -27.850000 5.000000
      vertex 10.075000 -28.138045 9.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex 7.925000 -28.138045 5.000000
      vertex 9.000000 -27.850000 5.000000
      vertex 9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex 7.925000 -28.138045 9.500000
      vertex 7.925000 -28.138045 5.000000
      vertex 9.000000 -27.850000 9.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex 7.138045 -28.925000 5.000000
      vertex 7.925000 -28.138045 5.000000
      vertex 7.925000 -28.138045 9.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex 7.138045 -28.925000 9.500000
      vertex 7.138045 -28.925000 5.000000
      vertex 7.925000 -28.138045 9.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex 6.850000 -30.000000 5.000000
      vertex 7.138045 -28.925000 5.000000
      vertex 7.138045 -28.925000 9.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex 6.850000 -30.000000 9.500000
      vertex 6.850000 -30.000000 5.000000
      vertex 7.138045 -28.925000 9.500000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex 7.138045 -16.075000 9.500000
      vertex 7.138045 -16.075000 5.000000
      vertex 6.850000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.965926 0.258819 0.000000
    outer loop
      vertex 6.850000 -15.000000 9.500000
      vertex 7.138045 -16.075000 9.500000
      vertex 6.850000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex 7.925000 -16.861955 5.000000
      vertex 7.138045 -16.075000 5.000000
      vertex 7.925000 -16.861955 9.500000
    endloop
  endfacet
  facet normal 0.707107 0.707107 0.000000
    outer loop
      vertex 7.925000 -16.861955 9.500000
      vertex 7.138045 -16.075000 5.000000
      vertex 7.138045 -16.075000 9.500000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex 9.000000 -17.150000 5.000000
      vertex 7.925000 -16.861955 5.000000
      vertex 9.000000 -17.150000 9.500000
    endloop
  endfacet
  facet normal 0.258819 0.965926 0.000000
    outer loop
      vertex 9.000000 -17.150000 9.500000
      vertex 7.925000 -16.861955 5.000000
      vertex 7.925000 -16.861955 9.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 -0.000000
    outer loop
      vertex 10.075000 -16.861955 5.000000
      vertex 9.000000 -17.150000 5.000000
      vertex 10.075000 -16.861955 9.500000
    endloop
  endfacet
  facet normal -0.258819 0.965926 0.000000
    outer loop
      vertex 10.075000 -16.861955 9.500000
      vertex 9.000000 -17.150000 5.000000
      vertex 9.000000 -17.150000 9.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 0.000000
    outer loop
      vertex 10.861955 -16.075000 5.000000
      vertex 10.075000 -16.861955 5.000000
      vertex 10.861955 -16.075000 9.500000
    endloop
  endfacet
  facet normal -0.707107 0.707107 -0.000000
    outer loop
      vertex 10.861955 -16.075000 9.500000
      vertex 10.075000 -16.861955 5.000000
      vertex 10.075000 -16.861955 9.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 0.000000
    outer loop
      vertex 11.150000 -15.000000 5.000000
      vertex 10.861955 -16.075000 5.000000
      vertex 11.150000 -15.000000 9.500000
    endloop
  endfacet
  facet normal -0.965926 0.258819 0.000000
    outer loop
      vertex 11.150000 -15.000000 9.500000
      vertex 10.861955 -16.075000 5.000000
      vertex 10.861955 -16.075000 9.500000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0.000000
    outer loop
      vertex 11.150000 -15.000000 5.000000
      vertex 11.150000 -15.000000 9.500000
      vertex 10.861955 -13.925000 5.000000
    endloop
  endfacet
  facet normal -0.965926 -0.258819 0.000000
    outer loop
      vertex 10.861955 -13.925000 5.000000
      vertex 11.150000 -15.000000 9.500000
      vertex 10.861955 -13.925000 9.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 0.000000
    outer loop
      vertex 10.075000 -13.138045 5.000000
      vertex 10.861955 -13.925000 5.000000
      vertex 10.861955 -13.925000 9.500000
    endloop
  endfacet
  facet normal -0.707107 -0.707107 -0.000000
    outer loop
      vertex 10.075000 -13.138045 9.500000
      vertex 10.075000 -13.138045 5.000000
      vertex 10.861955 -13.925000 9.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 -0.000000
    outer loop
      vertex 9.000000 -12.850000 5.000000
      vertex 10.075000 -13.138045 5.000000
      vertex 10.075000 -13.138045 9.500000
    endloop
  endfacet
  facet normal -0.258819 -0.965926 0.000000
    outer loop
      vertex 9.000000 -12.850000 9.500000
      vertex 9.000000 -12.850000 5.000000
      vertex 10.075000 -13.138045 9.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex 7.925000 -13.138045 5.000000
      vertex 9.000000 -12.850000 5.000000
      vertex 9.000000 -12.850000 9.500000
    endloop
  endfacet
  facet normal 0.258819 -0.965926 0.000000
    outer loop
      vertex 7.925000 -13.138045 9.500000
      vertex 7.925000 -13.138045 5.000000
      vertex 9.000000 -12.850000 9.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex 7.138045 -13.925000 5.000000
      vertex 7.925000 -13.138045 5.000000
      vertex 7.925000 -13.138045 9.500000
    endloop
  endfacet
  facet normal 0.707107 -0.707107 0.000000
    outer loop
      vertex 7.138045 -13.925000 9.500000
      vertex 7.138045 -13.925000 5.000000
      vertex 7.925000 -13.138045 9.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex 6.850000 -15.000000 5.000000
      vertex 7.138045 -13.925000 5.000000
      vertex 7.138045 -13.925000 9.500000
    endloop
  endfacet
  facet normal 0.965926 -0.258819 0.000000
    outer loop
      vertex 6.850000 -15.000000 9.500000
      vertex 6.850000 -15.000000 5.000000
      vertex 7.138045 -13.925000 9.500000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.000000 -32.150000 5.000000
      vertex -6.925000 -33.594005 5.000000
      vertex -10.075000 -31.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.861955 -28.925000 5.000000
      vertex -13.150000 -30.000000 5.000000
      vertex -11.075000 -26.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.925000 -28.138045 5.000000
      vertex -11.075000 -26.405995 5.000000
      vertex -6.925000 -26.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.850000 -30.000000 5.000000
      vertex -6.925000 -26.405995 5.000000
      vertex -4.850000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.138045 -28.925000 5.000000
      vertex -6.925000 -26.405995 5.000000
      vertex -6.850000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.925000 -33.594005 5.000000
      vertex -6.850000 -30.000000 5.000000
      vertex -4.850000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.861955 -28.925000 5.000000
      vertex -11.075000 -26.405995 5.000000
      vertex -10.075000 -28.138045 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.138045 -28.925000 5.000000
      vertex -7.925000 -28.138045 5.000000
      vertex -6.925000 -26.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.075000 -28.138045 5.000000
      vertex -11.075000 -26.405995 5.000000
      vertex -9.000000 -27.850000 5.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 -1.000000
    outer loop
      vertex -11.150000 -30.000000 5.000000
      vertex -13.150000 -30.000000 5.000000
      vertex -10.861955 -28.925000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.075000 -31.861955 5.000000
      vertex -13.150000 -30.000000 5.000000
      vertex -10.861955 -31.075000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.861955 -31.075000 5.000000
      vertex -13.150000 -30.000000 5.000000
      vertex -11.150000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 -1.000000
    outer loop
      vertex -11.075000 -33.594005 5.000000
      vertex -13.150000 -30.000000 5.000000
      vertex -10.075000 -31.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -11.075000 -33.594005 5.000000
      vertex -10.075000 -31.861955 5.000000
      vertex -6.925000 -33.594005 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.925000 -31.861955 5.000000
      vertex -6.925000 -33.594005 5.000000
      vertex -9.000000 -32.150000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.138045 -31.075000 5.000000
      vertex -6.925000 -33.594005 5.000000
      vertex -7.925000 -31.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.850000 -30.000000 5.000000
      vertex -6.925000 -33.594005 5.000000
      vertex -7.138045 -31.075000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.000000 -27.850000 5.000000
      vertex -11.075000 -26.405995 5.000000
      vertex -7.925000 -28.138045 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.000000 -17.150000 5.000000
      vertex -6.925000 -18.594005 5.000000
      vertex -10.075000 -16.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.861955 -13.925000 5.000000
      vertex -13.150000 -15.000000 5.000000
      vertex -11.075000 -11.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.925000 -13.138045 5.000000
      vertex -11.075000 -11.405995 5.000000
      vertex -6.925000 -11.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.850000 -15.000000 5.000000
      vertex -6.925000 -11.405995 5.000000
      vertex -4.850000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.138045 -13.925000 5.000000
      vertex -6.925000 -11.405995 5.000000
      vertex -6.850000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.925000 -18.594005 5.000000
      vertex -6.850000 -15.000000 5.000000
      vertex -4.850000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.861955 -13.925000 5.000000
      vertex -11.075000 -11.405995 5.000000
      vertex -10.075000 -13.138045 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.138045 -13.925000 5.000000
      vertex -7.925000 -13.138045 5.000000
      vertex -6.925000 -11.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.075000 -13.138045 5.000000
      vertex -11.075000 -11.405995 5.000000
      vertex -9.000000 -12.850000 5.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 -1.000000
    outer loop
      vertex -11.150000 -15.000000 5.000000
      vertex -13.150000 -15.000000 5.000000
      vertex -10.861955 -13.925000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.075000 -16.861955 5.000000
      vertex -13.150000 -15.000000 5.000000
      vertex -10.861955 -16.075000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -10.861955 -16.075000 5.000000
      vertex -13.150000 -15.000000 5.000000
      vertex -11.150000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 -1.000000
    outer loop
      vertex -11.075000 -18.594005 5.000000
      vertex -13.150000 -15.000000 5.000000
      vertex -10.075000 -16.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -11.075000 -18.594005 5.000000
      vertex -10.075000 -16.861955 5.000000
      vertex -6.925000 -18.594005 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.925000 -16.861955 5.000000
      vertex -6.925000 -18.594005 5.000000
      vertex -9.000000 -17.150000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -7.138045 -16.075000 5.000000
      vertex -6.925000 -18.594005 5.000000
      vertex -7.925000 -16.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -6.850000 -15.000000 5.000000
      vertex -6.925000 -18.594005 5.000000
      vertex -7.138045 -16.075000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex -9.000000 -12.850000 5.000000
      vertex -11.075000 -11.405995 5.000000
      vertex -7.925000 -13.138045 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 9.000000 -32.150000 5.000000
      vertex 11.075000 -33.594005 5.000000
      vertex 7.925000 -31.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 7.138045 -28.925000 5.000000
      vertex 4.850000 -30.000000 5.000000
      vertex 6.925000 -26.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.075000 -28.138045 5.000000
      vertex 6.925000 -26.405995 5.000000
      vertex 11.075000 -26.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.150000 -30.000000 5.000000
      vertex 11.075000 -26.405995 5.000000
      vertex 13.150000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.861955 -28.925000 5.000000
      vertex 11.075000 -26.405995 5.000000
      vertex 11.150000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 -1.000000
    outer loop
      vertex 11.075000 -33.594005 5.000000
      vertex 11.150000 -30.000000 5.000000
      vertex 13.150000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 7.138045 -28.925000 5.000000
      vertex 6.925000 -26.405995 5.000000
      vertex 7.925000 -28.138045 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.861955 -28.925000 5.000000
      vertex 10.075000 -28.138045 5.000000
      vertex 11.075000 -26.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 7.925000 -28.138045 5.000000
      vertex 6.925000 -26.405995 5.000000
      vertex 9.000000 -27.850000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 6.850000 -30.000000 5.000000
      vertex 4.850000 -30.000000 5.000000
      vertex 7.138045 -28.925000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 7.925000 -31.861955 5.000000
      vertex 4.850000 -30.000000 5.000000
      vertex 7.138045 -31.075000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 7.138045 -31.075000 5.000000
      vertex 4.850000 -30.000000 5.000000
      vertex 6.850000 -30.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 6.925000 -33.594005 5.000000
      vertex 4.850000 -30.000000 5.000000
      vertex 7.925000 -31.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 6.925000 -33.594005 5.000000
      vertex 7.925000 -31.861955 5.000000
      vertex 11.075000 -33.594005 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.075000 -31.861955 5.000000
      vertex 11.075000 -33.594005 5.000000
      vertex 9.000000 -32.150000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.861955 -31.075000 5.000000
      vertex 11.075000 -33.594005 5.000000
      vertex 10.075000 -31.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.150000 -30.000000 5.000000
      vertex 11.075000 -33.594005 5.000000
      vertex 10.861955 -31.075000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 9.000000 -27.850000 5.000000
      vertex 6.925000 -26.405995 5.000000
      vertex 10.075000 -28.138045 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 9.000000 -17.150000 5.000000
      vertex 11.075000 -18.594005 5.000000
      vertex 7.925000 -16.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 7.138045 -13.925000 5.000000
      vertex 4.850000 -15.000000 5.000000
      vertex 6.925000 -11.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.075000 -13.138045 5.000000
      vertex 6.925000 -11.405995 5.000000
      vertex 11.075000 -11.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.150000 -15.000000 5.000000
      vertex 11.075000 -11.405995 5.000000
      vertex 13.150000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.861955 -13.925000 5.000000
      vertex 11.075000 -11.405995 5.000000
      vertex 11.150000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 -0.000000 -1.000000
    outer loop
      vertex 11.075000 -18.594005 5.000000
      vertex 11.150000 -15.000000 5.000000
      vertex 13.150000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 7.138045 -13.925000 5.000000
      vertex 6.925000 -11.405995 5.000000
      vertex 7.925000 -13.138045 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.861955 -13.925000 5.000000
      vertex 10.075000 -13.138045 5.000000
      vertex 11.075000 -11.405995 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 7.925000 -13.138045 5.000000
      vertex 6.925000 -11.405995 5.000000
      vertex 9.000000 -12.850000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 6.850000 -15.000000 5.000000
      vertex 4.850000 -15.000000 5.000000
      vertex 7.138045 -13.925000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 7.925000 -16.861955 5.000000
      vertex 4.850000 -15.000000 5.000000
      vertex 7.138045 -16.075000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 7.138045 -16.075000 5.000000
      vertex 4.850000 -15.000000 5.000000
      vertex 6.850000 -15.000000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 6.925000 -18.594005 5.000000
      vertex 4.850000 -15.000000 5.000000
      vertex 7.925000 -16.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 6.925000 -18.594005 5.000000
      vertex 7.925000 -16.861955 5.000000
      vertex 11.075000 -18.594005 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.075000 -16.861955 5.000000
      vertex 11.075000 -18.594005 5.000000
      vertex 9.000000 -17.150000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 10.861955 -16.075000 5.000000
      vertex 11.075000 -18.594005 5.000000
      vertex 10.075000 -16.861955 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 11.150000 -15.000000 5.000000
      vertex 11.075000 -18.594005 5.000000
      vertex 10.861955 -16.075000 5.000000
    endloop
  endfacet
  facet normal 0.000000 0.000000 -1.000000
    outer loop
      vertex 9.000000 -12.850000 5.000000
      vertex 6.925000 -11.405995 5.000000
      vertex 10.075000 -13.138045 5.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 55.650000 9.786087
      vertex 35.000000 50.000000 11.300000
      vertex 35.000000 44.350000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 50.000000 8.282143
      vertex 35.000000 55.650000 9.786087
      vertex 35.000000 44.350000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 50.000000 -8.282143
      vertex 35.000000 46.146429 -7.249582
      vertex 35.000000 44.350000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 58.282143 0.000000
      vertex 35.000000 57.249582 -3.853571
      vertex 35.000000 59.786087 -5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 59.786087 5.650000
      vertex 35.000000 55.650000 9.786087
      vertex 35.000000 61.300000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 45.858929 7.172546
      vertex 35.000000 49.712500 8.205108
      vertex 35.000000 44.350000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 42.827454 4.141071
      vertex 35.000000 45.858929 7.172546
      vertex 35.000000 40.213913 5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 49.712500 8.205108
      vertex 35.000000 50.000000 8.282143
      vertex 35.000000 44.350000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 41.717857 0.000000
      vertex 35.000000 42.750418 3.853571
      vertex 35.000000 38.700000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 54.141071 7.172546
      vertex 35.000000 55.650000 9.786087
      vertex 35.000000 53.853571 7.249582
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 42.827454 -4.141071
      vertex 35.000000 41.794892 -0.287500
      vertex 35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal 1.000000 -0.000000 -0.000000
    outer loop
      vertex 35.000000 61.300000 0.000000
      vertex 35.000000 55.650000 9.786087
      vertex 35.000000 57.172546 4.141071
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 57.172546 -4.141071
      vertex 35.000000 54.141071 -7.172546
      vertex 35.000000 55.650000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 -0.000000 -0.000000
    outer loop
      vertex 35.000000 61.300000 0.000000
      vertex 35.000000 57.172546 4.141071
      vertex 35.000000 58.205107 0.287500
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 61.300000 0.000000
      vertex 35.000000 58.282143 0.000000
      vertex 35.000000 59.786087 -5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 61.300000 0.000000
      vertex 35.000000 58.205107 0.287500
      vertex 35.000000 58.282143 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 45.858929 -7.172546
      vertex 35.000000 42.827454 -4.141071
      vertex 35.000000 44.350000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 59.786087 -5.650000
      vertex 35.000000 57.172546 -4.141071
      vertex 35.000000 55.650000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 59.786087 -5.650000
      vertex 35.000000 57.249582 -3.853571
      vertex 35.000000 57.172546 -4.141071
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 55.650000 -9.786087
      vertex 35.000000 54.141071 -7.172546
      vertex 35.000000 50.000000 -11.300000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 50.000000 -11.300000
      vertex 35.000000 50.000000 -8.282143
      vertex 35.000000 44.350000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 50.000000 -11.300000
      vertex 35.000000 50.287500 -8.205107
      vertex 35.000000 50.000000 -8.282143
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 46.146429 -7.249582
      vertex 35.000000 45.858929 -7.172546
      vertex 35.000000 44.350000 -9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 44.350000 -9.786087
      vertex 35.000000 42.827454 -4.141071
      vertex 35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 40.213913 -5.650000
      vertex 35.000000 41.794892 -0.287500
      vertex 35.000000 38.700000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 54.141071 -7.172546
      vertex 35.000000 50.287500 -8.205107
      vertex 35.000000 50.000000 -11.300000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 41.794892 -0.287500
      vertex 35.000000 41.717857 0.000000
      vertex 35.000000 38.700000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 38.700000 0.000000
      vertex 35.000000 42.750418 3.853571
      vertex 35.000000 40.213913 5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 42.750418 3.853571
      vertex 35.000000 42.827454 4.141071
      vertex 35.000000 40.213913 5.650000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 40.213913 5.650000
      vertex 35.000000 45.858929 7.172546
      vertex 35.000000 44.350000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 50.000000 8.282143
      vertex 35.000000 53.853571 7.249582
      vertex 35.000000 55.650000 9.786087
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 35.000000 54.141071 7.172546
      vertex 35.000000 57.172546 4.141071
      vertex 35.000000 55.650000 9.786087
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex 35.000000 44.350000 9.786087
      vertex -35.000000 44.350000 9.786087
      vertex -35.000000 40.213913 5.650000
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex 35.000000 40.213913 5.650000
      vertex 35.000000 44.350000 9.786087
      vertex -35.000000 40.213913 5.650000
    endloop
  endfacet
  facet normal -0.453991 -0.891007 -0.000000
    outer loop
      vertex 4.635255 39.265848 -2.111773
      vertex 5.745794 38.700000 0.000000
      vertex 4.635255 39.265848 2.111773
    endloop
  endfacet
  facet normal -0.156434 -0.987688 -0.000000
    outer loop
      vertex 0.000000 40.000000 -4.851666
      vertex 4.635255 39.265848 -2.111773
      vertex 4.635255 39.265848 2.111773
    endloop
  endfacet
  facet normal -0.156434 -0.987688 -0.000000
    outer loop
      vertex -0.000000 40.000000 4.851666
      vertex 0.000000 40.000000 -4.851666
      vertex 4.635255 39.265848 2.111773
    endloop
  endfacet
  facet normal 0.156434 -0.987688 0.000000
    outer loop
      vertex -4.635255 39.265848 2.111773
      vertex -4.635255 39.265848 -2.111773
      vertex 0.000000 40.000000 -4.851666
    endloop
  endfacet
  facet normal 0.156434 -0.987688 0.000000
    outer loop
      vertex -0.000000 40.000000 4.851666
      vertex -4.635255 39.265848 2.111773
      vertex 0.000000 40.000000 -4.851666
    endloop
  endfacet
  facet normal 0.453991 -0.891007 0.000000
    outer loop
      vertex -5.745794 38.700000 -0.000000
      vertex -4.635255 39.265848 -2.111773
      vertex -4.635255 39.265848 2.111773
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 50.000000 11.300000
      vertex -35.000000 55.650000 9.786087
      vertex -35.000000 44.350000 9.786087
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 54.141071 7.172546
      vertex -35.000000 55.650000 9.786087
      vertex -35.000000 59.786087 5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 57.249582 3.853571
      vertex -35.000000 59.786087 5.650000
      vertex -35.000000 61.300000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -35.000000 58.205107 -0.287500
      vertex -35.000000 61.300000 -0.000000
      vertex -35.000000 59.786087 -5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 57.172546 -4.141071
      vertex -35.000000 59.786087 -5.650000
      vertex -35.000000 55.650000 -9.786087
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 50.000000 -8.282143
      vertex -35.000000 55.650000 -9.786087
      vertex -35.000000 50.000000 -11.300000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 45.858929 -7.172546
      vertex -35.000000 50.000000 -11.300000
      vertex -35.000000 44.350000 -9.786087
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 42.827454 -4.141071
      vertex -35.000000 44.350000 -9.786087
      vertex -35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 -0.000000
    outer loop
      vertex -35.000000 41.717857 -0.000000
      vertex -35.000000 40.213913 -5.650000
      vertex -35.000000 38.700000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 44.350000 9.786087
      vertex -35.000000 38.700000 -0.000000
      vertex -35.000000 40.213913 5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 50.000000 8.282143
      vertex -35.000000 55.650000 9.786087
      vertex -35.000000 50.287500 8.205107
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 44.350000 9.786087
      vertex -35.000000 55.650000 9.786087
      vertex -35.000000 50.000000 8.282143
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 45.858929 -7.172546
      vertex -35.000000 44.350000 -9.786087
      vertex -35.000000 42.827454 -4.141071
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 42.827454 4.141071
      vertex -35.000000 44.350000 9.786087
      vertex -35.000000 45.858929 7.172546
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 44.350000 9.786087
      vertex -35.000000 46.146429 7.249582
      vertex -35.000000 45.858929 7.172546
    endloop
  endfacet
  facet normal -1.000000 0.000000 -0.000000
    outer loop
      vertex -35.000000 42.750418 -3.853571
      vertex -35.000000 40.213913 -5.650000
      vertex -35.000000 41.717857 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 44.350000 9.786087
      vertex -35.000000 42.827454 4.141071
      vertex -35.000000 38.700000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 42.827454 4.141071
      vertex -35.000000 41.794892 0.287500
      vertex -35.000000 38.700000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 41.794892 0.287500
      vertex -35.000000 41.717857 -0.000000
      vertex -35.000000 38.700000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 42.750418 -3.853571
      vertex -35.000000 42.827454 -4.141071
      vertex -35.000000 40.213913 -5.650000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 57.172546 -4.141071
      vertex -35.000000 55.650000 -9.786087
      vertex -35.000000 54.141071 -7.172546
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 49.712500 -8.205108
      vertex -35.000000 50.000000 -8.282143
      vertex -35.000000 50.000000 -11.300000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 54.141071 -7.172546
      vertex -35.000000 55.650000 -9.786087
      vertex -35.000000 53.853571 -7.249582
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 58.205107 -0.287500
      vertex -35.000000 59.786087 -5.650000
      vertex -35.000000 57.172546 -4.141071
    endloop
  endfacet
  facet normal -1.000000 0.000000 -0.000000
    outer loop
      vertex -35.000000 58.282143 -0.000000
      vertex -35.000000 61.300000 -0.000000
      vertex -35.000000 58.205107 -0.287500
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 57.172546 4.141071
      vertex -35.000000 59.786087 5.650000
      vertex -35.000000 57.249582 3.853571
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 53.853571 -7.249582
      vertex -35.000000 55.650000 -9.786087
      vertex -35.000000 50.000000 -8.282143
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 49.712500 -8.205108
      vertex -35.000000 50.000000 -11.300000
      vertex -35.000000 45.858929 -7.172546
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 50.287500 8.205107
      vertex -35.000000 55.650000 9.786087
      vertex -35.000000 54.141071 7.172546
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 46.146429 7.249582
      vertex -35.000000 44.350000 9.786087
      vertex -35.000000 50.000000 8.282143
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 54.141071 7.172546
      vertex -35.000000 59.786087 5.650000
      vertex -35.000000 57.172546 4.141071
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -35.000000 57.249582 3.853571
      vertex -35.000000 61.300000 -0.000000
      vertex -35.000000 58.282143 -0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.707107 -0.707107
    outer loop
      vertex 35.000000 40.213913 -5.650000
      vertex -35.000000 40.213913 -5.650000
      vertex -35.000000 44.350000 -9.786087
    endloop
  endfacet
  facet normal 0.000000 -0.707107 -0.707107
    outer loop
      vertex 35.000000 44.350000 -9.786087
      vertex 35.000000 40.213913 -5.650000
      vertex -35.000000 44.350000 -9.786087
    endloop
  endfacet
  facet normal -0.000000 0.258819 0.965926
    outer loop
      vertex -35.000000 55.650000 9.786087
      vertex -35.000000 50.000000 11.300000
      vertex 35.000000 50.000000 11.300000
    endloop
  endfacet
  facet normal -0.000000 0.258819 0.965926
    outer loop
      vertex 35.000000 55.650000 9.786087
      vertex -35.000000 55.650000 9.786087
      vertex 35.000000 50.000000 11.300000
    endloop
  endfacet
  facet normal -0.000000 0.707107 0.707107
    outer loop
      vertex -35.000000 55.650000 9.786087
      vertex 35.000000 55.650000 9.786087
      vertex -35.000000 59.786087 5.650000
    endloop
  endfacet
  facet normal -0.000000 0.707107 0.707107
    outer loop
      vertex -35.000000 59.786087 5.650000
      vertex 35.000000 55.650000 9.786087
      vertex 35.000000 59.786087 5.650000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex -35.000000 59.786087 5.650000
      vertex 35.000000 59.786087 5.650000
      vertex -35.000000 61.300000 -0.000000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex -35.000000 61.300000 -0.000000
      vertex 35.000000 59.786087 5.650000
      vertex 35.000000 61.300000 0.000000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex -35.000000 61.300000 -0.000000
      vertex 35.000000 61.300000 0.000000
      vertex -35.000000 59.786087 -5.650000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex -35.000000 59.786087 -5.650000
      vertex 35.000000 61.300000 0.000000
      vertex 35.000000 59.786087 -5.650000
    endloop
  endfacet
  facet normal 0.000000 0.707107 -0.707107
    outer loop
      vertex -35.000000 59.786087 -5.650000
      vertex 35.000000 59.786087 -5.650000
      vertex -35.000000 55.650000 -9.786087
    endloop
  endfacet
  facet normal 0.000000 0.707107 -0.707107
    outer loop
      vertex -35.000000 55.650000 -9.786087
      vertex 35.000000 59.786087 -5.650000
      vertex 35.000000 55.650000 -9.786087
    endloop
  endfacet
  facet normal 0.000000 0.258819 -0.965926
    outer loop
      vertex -35.000000 55.650000 -9.786087
      vertex 35.000000 55.650000 -9.786087
      vertex -35.000000 50.000000 -11.300000
    endloop
  endfacet
  facet normal 0.000000 0.258819 -0.965926
    outer loop
      vertex -35.000000 50.000000 -11.300000
      vertex 35.000000 55.650000 -9.786087
      vertex 35.000000 50.000000 -11.300000
    endloop
  endfacet
  facet normal 0.000000 -0.258819 -0.965926
    outer loop
      vertex -35.000000 44.350000 -9.786087
      vertex -35.000000 50.000000 -11.300000
      vertex 35.000000 44.350000 -9.786087
    endloop
  endfacet
  facet normal 0.000000 -0.258819 -0.965926
    outer loop
      vertex 35.000000 44.350000 -9.786087
      vertex -35.000000 50.000000 -11.300000
      vertex 35.000000 50.000000 -11.300000
    endloop
  endfacet
  facet normal -0.000000 -0.258819 0.965926
    outer loop
      vertex 35.000000 50.000000 11.300000
      vertex -35.000000 50.000000 11.300000
      vertex -35.000000 44.350000 9.786087
    endloop
  endfacet
  facet normal -0.000000 -0.258819 0.965926
    outer loop
      vertex 35.000000 44.350000 9.786087
      vertex 35.000000 50.000000 11.300000
      vertex -35.000000 44.350000 9.786087
    endloop
  endfacet
  facet normal 0.017246 0.258781 -0.965782
    outer loop
      vertex 35.000000 45.858929 7.172546
      vertex 22.000000 45.975000 6.971505
      vertex 35.000000 49.712500 8.205108
    endloop
  endfacet
  facet normal 0.017246 0.258780 -0.965782
    outer loop
      vertex 22.000000 45.975000 6.971505
      vertex 22.000000 50.000000 8.050000
      vertex 35.000000 49.712500 8.205108
    endloop
  endfacet
  facet normal 0.017246 0.258780 -0.965782
    outer loop
      vertex 35.000000 49.712500 8.205108
      vertex 22.000000 50.000000 8.050000
      vertex 35.000000 50.000000 8.282143
    endloop
  endfacet
  facet normal 0.017246 0.707002 -0.707002
    outer loop
      vertex 22.000000 43.028495 4.025000
      vertex 22.000000 45.975000 6.971505
      vertex 35.000000 42.827454 4.141071
    endloop
  endfacet
  facet normal 0.017246 0.707002 -0.707002
    outer loop
      vertex 35.000000 42.827454 4.141071
      vertex 22.000000 45.975000 6.971505
      vertex 35.000000 45.858929 7.172546
    endloop
  endfacet
  facet normal 0.017246 0.965782 -0.258780
    outer loop
      vertex 22.000000 41.950000 0.000000
      vertex 22.000000 43.028495 4.025000
      vertex 35.000000 42.750418 3.853571
    endloop
  endfacet
  facet normal 0.017246 0.965782 -0.258780
    outer loop
      vertex 35.000000 42.750418 3.853571
      vertex 22.000000 43.028495 4.025000
      vertex 35.000000 42.827454 4.141071
    endloop
  endfacet
  facet normal 0.017246 0.965782 -0.258781
    outer loop
      vertex 35.000000 41.717857 0.000000
      vertex 22.000000 41.950000 0.000000
      vertex 35.000000 42.750418 3.853571
    endloop
  endfacet
  facet normal 0.017246 0.965782 0.258780
    outer loop
      vertex 22.000000 43.028495 -4.025000
      vertex 22.000000 41.950000 0.000000
      vertex 35.000000 41.794892 -0.287500
    endloop
  endfacet
  facet normal 0.017246 0.965782 0.258780
    outer loop
      vertex 35.000000 41.794892 -0.287500
      vertex 22.000000 41.950000 0.000000
      vertex 35.000000 41.717857 0.000000
    endloop
  endfacet
  facet normal 0.017246 0.965782 0.258781
    outer loop
      vertex 35.000000 42.827454 -4.141071
      vertex 22.000000 43.028495 -4.025000
      vertex 35.000000 41.794892 -0.287500
    endloop
  endfacet
  facet normal 0.017246 0.707002 0.707002
    outer loop
      vertex 35.000000 42.827454 -4.141071
      vertex 35.000000 45.858929 -7.172546
      vertex 22.000000 45.975000 -6.971505
    endloop
  endfacet
  facet normal 0.017246 0.707002 0.707002
    outer loop
      vertex 22.000000 43.028495 -4.025000
      vertex 35.000000 42.827454 -4.141071
      vertex 22.000000 45.975000 -6.971505
    endloop
  endfacet
  facet normal 0.017246 0.258780 0.965782
    outer loop
      vertex 35.000000 45.858929 -7.172546
      vertex 35.000000 46.146429 -7.249582
      vertex 22.000000 50.000000 -8.050000
    endloop
  endfacet
  facet normal 0.017246 0.258780 0.965782
    outer loop
      vertex 22.000000 45.975000 -6.971505
      vertex 35.000000 45.858929 -7.172546
      vertex 22.000000 50.000000 -8.050000
    endloop
  endfacet
  facet normal 0.017246 0.258781 0.965782
    outer loop
      vertex 35.000000 50.000000 -8.282143
      vertex 22.000000 50.000000 -8.050000
      vertex 35.000000 46.146429 -7.249582
    endloop
  endfacet
  facet normal 0.017246 -0.258780 0.965782
    outer loop
      vertex 22.000000 50.000000 -8.050000
      vertex 35.000000 50.000000 -8.282143
      vertex 35.000000 50.287500 -8.205107
    endloop
  endfacet
  facet normal 0.017246 -0.258780 0.965782
    outer loop
      vertex 22.000000 54.025000 -6.971505
      vertex 22.000000 50.000000 -8.050000
      vertex 35.000000 50.287500 -8.205107
    endloop
  endfacet
  facet normal 0.017246 -0.258781 0.965782
    outer loop
      vertex 35.000000 50.287500 -8.205107
      vertex 35.000000 54.141071 -7.172546
      vertex 22.000000 54.025000 -6.971505
    endloop
  endfacet
  facet normal 0.017246 -0.707002 0.707002
    outer loop
      vertex 22.000000 54.025000 -6.971505
      vertex 35.000000 54.141071 -7.172546
      vertex 35.000000 57.172546 -4.141071
    endloop
  endfacet
  facet normal 0.017246 -0.707002 0.707002
    outer loop
      vertex 22.000000 56.971505 -4.025000
      vertex 22.000000 54.025000 -6.971505
      vertex 35.000000 57.172546 -4.141071
    endloop
  endfacet
  facet normal 0.017246 -0.965782 0.258780
    outer loop
      vertex 22.000000 56.971505 -4.025000
      vertex 35.000000 57.172546 -4.141071
      vertex 35.000000 57.249582 -3.853571
    endloop
  endfacet
  facet normal 0.017246 -0.965782 0.258780
    outer loop
      vertex 22.000000 58.050000 0.000000
      vertex 22.000000 56.971505 -4.025000
      vertex 35.000000 57.249582 -3.853571
    endloop
  endfacet
  facet normal 0.017246 -0.965782 0.258781
    outer loop
      vertex 35.000000 57.249582 -3.853571
      vertex 35.000000 58.282143 0.000000
      vertex 22.000000 58.050000 0.000000
    endloop
  endfacet
  facet normal 0.017246 -0.965782 -0.258780
    outer loop
      vertex 22.000000 58.050000 0.000000
      vertex 35.000000 58.282143 0.000000
      vertex 35.000000 58.205107 0.287500
    endloop
  endfacet
  facet normal 0.017246 -0.965782 -0.258780
    outer loop
      vertex 22.000000 56.971505 4.025000
      vertex 22.000000 58.050000 0.000000
      vertex 35.000000 58.205107 0.287500
    endloop
  endfacet
  facet normal 0.017246 -0.965782 -0.258781
    outer loop
      vertex 22.000000 56.971505 4.025000
      vertex 35.000000 58.205107 0.287500
      vertex 35.000000 57.172546 4.141071
    endloop
  endfacet
  facet normal 0.017246 -0.707002 -0.707002
    outer loop
      vertex 22.000000 54.025000 6.971505
      vertex 22.000000 56.971505 4.025000
      vertex 35.000000 57.172546 4.141071
    endloop
  endfacet
  facet normal 0.017246 -0.707002 -0.707002
    outer loop
      vertex 35.000000 54.141071 7.172546
      vertex 22.000000 54.025000 6.971505
      vertex 35.000000 57.172546 4.141071
    endloop
  endfacet
  facet normal 0.017246 -0.258780 -0.965782
    outer loop
      vertex 35.000000 54.141071 7.172546
      vertex 35.000000 53.853571 7.249582
      vertex 22.000000 54.025000 6.971505
    endloop
  endfacet
  facet normal 0.017246 -0.258780 -0.965782
    outer loop
      vertex 22.000000 54.025000 6.971505
      vertex 35.000000 53.853571 7.249582
      vertex 22.000000 50.000000 8.050000
    endloop
  endfacet
  facet normal 0.017246 -0.258781 -0.965782
    outer loop
      vertex 22.000000 50.000000 8.050000
      vertex 35.000000 53.853571 7.249582
      vertex 35.000000 50.000000 8.282143
    endloop
  endfacet
  facet normal -0.017246 -0.258781 -0.965782
    outer loop
      vertex -35.000000 54.141071 7.172546
      vertex -22.000000 54.025000 6.971505
      vertex -35.000000 50.287500 8.205107
    endloop
  endfacet
  facet normal -0.017246 -0.258780 -0.965782
    outer loop
      vertex -22.000000 54.025000 6.971505
      vertex -22.000000 50.000000 8.050000
      vertex -35.000000 50.287500 8.205107
    endloop
  endfacet
  facet normal -0.017246 -0.258780 -0.965782
    outer loop
      vertex -35.000000 50.287500 8.205107
      vertex -22.000000 50.000000 8.050000
      vertex -35.000000 50.000000 8.282143
    endloop
  endfacet
  facet normal -0.017246 -0.707002 -0.707002
    outer loop
      vertex -22.000000 56.971505 4.025000
      vertex -22.000000 54.025000 6.971505
      vertex -35.000000 57.172546 4.141071
    endloop
  endfacet
  facet normal -0.017246 -0.707002 -0.707002
    outer loop
      vertex -35.000000 57.172546 4.141071
      vertex -22.000000 54.025000 6.971505
      vertex -35.000000 54.141071 7.172546
    endloop
  endfacet
  facet normal -0.017246 -0.965782 -0.258780
    outer loop
      vertex -35.000000 57.249582 3.853571
      vertex -22.000000 58.050000 -0.000000
      vertex -22.000000 56.971505 4.025000
    endloop
  endfacet
  facet normal -0.017246 -0.965782 -0.258780
    outer loop
      vertex -35.000000 57.172546 4.141071
      vertex -35.000000 57.249582 3.853571
      vertex -22.000000 56.971505 4.025000
    endloop
  endfacet
  facet normal -0.017246 -0.965782 -0.258781
    outer loop
      vertex -35.000000 58.282143 -0.000000
      vertex -22.000000 58.050000 -0.000000
      vertex -35.000000 57.249582 3.853571
    endloop
  endfacet
  facet normal -0.017246 -0.965782 0.258780
    outer loop
      vertex -35.000000 58.282143 -0.000000
      vertex -35.000000 58.205107 -0.287500
      vertex -22.000000 56.971505 -4.025000
    endloop
  endfacet
  facet normal -0.017246 -0.965782 0.258780
    outer loop
      vertex -22.000000 58.050000 -0.000000
      vertex -35.000000 58.282143 -0.000000
      vertex -22.000000 56.971505 -4.025000
    endloop
  endfacet
  facet normal -0.017246 -0.965782 0.258781
    outer loop
      vertex -35.000000 57.172546 -4.141071
      vertex -22.000000 56.971505 -4.025000
      vertex -35.000000 58.205107 -0.287500
    endloop
  endfacet
  facet normal -0.017246 -0.707002 0.707002
    outer loop
      vertex -35.000000 57.172546 -4.141071
      vertex -35.000000 54.141071 -7.172546
      vertex -22.000000 54.025000 -6.971505
    endloop
  endfacet
  facet normal -0.017246 -0.707002 0.707002
    outer loop
      vertex -22.000000 56.971505 -4.025000
      vertex -35.000000 57.172546 -4.141071
      vertex -22.000000 54.025000 -6.971505
    endloop
  endfacet
  facet normal -0.017246 -0.258780 0.965782
    outer loop
      vertex -35.000000 54.141071 -7.172546
      vertex -35.000000 53.853571 -7.249582
      vertex -22.000000 50.000000 -8.050000
    endloop
  endfacet
  facet normal -0.017246 -0.258780 0.965782
    outer loop
      vertex -22.000000 54.025000 -6.971505
      vertex -35.000000 54.141071 -7.172546
      vertex -22.000000 50.000000 -8.050000
    endloop
  endfacet
  facet normal -0.017246 -0.258781 0.965782
    outer loop
      vertex -35.000000 50.000000 -8.282143
      vertex -22.000000 50.000000 -8.050000
      vertex -35.000000 53.853571 -7.249582
    endloop
  endfacet
  facet normal -0.017246 0.258780 0.965782
    outer loop
      vertex -22.000000 50.000000 -8.050000
      vertex -35.000000 50.000000 -8.282143
      vertex -35.000000 49.712500 -8.205108
    endloop
  endfacet
  facet normal -0.017246 0.258780 0.965782
    outer loop
      vertex -22.000000 45.975000 -6.971505
      vertex -22.000000 50.000000 -8.050000
      vertex -35.000000 49.712500 -8.205108
    endloop
  endfacet
  facet normal -0.017246 0.258781 0.965782
    outer loop
      vertex -35.000000 49.712500 -8.205108
      vertex -35.000000 45.858929 -7.172546
      vertex -22.000000 45.975000 -6.971505
    endloop
  endfacet
  facet normal -0.017246 0.707002 0.707002
    outer loop
      vertex -35.000000 45.858929 -7.172546
      vertex -35.000000 42.827454 -4.141071
      vertex -22.000000 45.975000 -6.971505
    endloop
  endfacet
  facet normal -0.017246 0.707002 0.707002
    outer loop
      vertex -22.000000 45.975000 -6.971505
      vertex -35.000000 42.827454 -4.141071
      vertex -22.000000 43.028495 -4.025000
    endloop
  endfacet
  facet normal -0.017246 0.965782 0.258780
    outer loop
      vertex -35.000000 42.827454 -4.141071
      vertex -35.000000 42.750418 -3.853571
      vertex -22.000000 43.028495 -4.025000
    endloop
  endfacet
  facet normal -0.017246 0.965782 0.258780
    outer loop
      vertex -22.000000 43.028495 -4.025000
      vertex -35.000000 42.750418 -3.853571
      vertex -22.000000 41.950000 -0.000000
    endloop
  endfacet
  facet normal -0.017246 0.965782 0.258781
    outer loop
      vertex -22.000000 41.950000 -0.000000
      vertex -35.000000 42.750418 -3.853571
      vertex -35.000000 41.717857 -0.000000
    endloop
  endfacet
  facet normal -0.017246 0.965782 -0.258780
    outer loop
      vertex -35.000000 41.717857 -0.000000
      vertex -35.000000 41.794892 0.287500
      vertex -22.000000 41.950000 -0.000000
    endloop
  endfacet
  facet normal -0.017246 0.965782 -0.258780
    outer loop
      vertex -22.000000 41.950000 -0.000000
      vertex -35.000000 41.794892 0.287500
      vertex -22.000000 43.028495 4.025000
    endloop
  endfacet
  facet normal -0.017246 0.965782 -0.258781
    outer loop
      vertex -22.000000 43.028495 4.025000
      vertex -35.000000 41.794892 0.287500
      vertex -35.000000 42.827454 4.141071
    endloop
  endfacet
  facet normal -0.017246 0.707002 -0.707002
    outer loop
      vertex -22.000000 43.028495 4.025000
      vertex -35.000000 42.827454 4.141071
      vertex -22.000000 45.975000 6.971505
    endloop
  endfacet
  facet normal -0.017246 0.707002 -0.707002
    outer loop
      vertex -22.000000 45.975000 6.971505
      vertex -35.000000 42.827454 4.141071
      vertex -35.000000 45.858929 7.172546
    endloop
  endfacet
  facet normal -0.017246 0.258780 -0.965782
    outer loop
      vertex -35.000000 45.858929 7.172546
      vertex -35.000000 46.146429 7.249582
      vertex -22.000000 45.975000 6.971505
    endloop
  endfacet
  facet normal -0.017246 0.258780 -0.965782
    outer loop
      vertex -22.000000 45.975000 6.971505
      vertex -35.000000 46.146429 7.249582
      vertex -22.000000 50.000000 8.050000
    endloop
  endfacet
  facet normal -0.017246 0.258781 -0.965782
    outer loop
      vertex -22.000000 50.000000 8.050000
      vertex -35.000000 46.146429 7.249582
      vertex -35.000000 50.000000 8.282143
    endloop
  endfacet
  facet normal 1.000000 -0.000000 0.000000
    outer loop
      vertex 22.000000 45.975000 6.971505
      vertex 22.000000 43.028495 4.025000
      vertex 22.000000 41.950000 0.000000
    endloop
  endfacet
  facet normal 1.000000 -0.000000 0.000000
    outer loop
      vertex 22.000000 44.850000 0.000000
      vertex 22.000000 45.975000 6.971505
      vertex 22.000000 43.028495 -4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 43.028495 -4.025000
      vertex 22.000000 45.975000 6.971505
      vertex 22.000000 41.950000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 47.425000 -4.460031
      vertex 22.000000 45.539969 -2.575000
      vertex 22.000000 45.975000 -6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 54.025000 6.971505
      vertex 22.000000 45.975000 6.971505
      vertex 22.000000 56.971505 4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 50.000000 8.050000
      vertex 22.000000 45.975000 6.971505
      vertex 22.000000 54.025000 6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 55.150000 0.000000
      vertex 22.000000 54.460031 -2.575000
      vertex 22.000000 56.971505 -4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 56.971505 4.025000
      vertex 22.000000 45.975000 6.971505
      vertex 22.000000 50.000000 5.150000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 56.971505 4.025000
      vertex 22.000000 52.575000 4.460031
      vertex 22.000000 58.050000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 56.971505 4.025000
      vertex 22.000000 50.000000 5.150000
      vertex 22.000000 52.575000 4.460031
    endloop
  endfacet
  facet normal 1.000000 -0.000000 -0.000000
    outer loop
      vertex 22.000000 52.575000 4.460031
      vertex 22.000000 54.460031 2.575000
      vertex 22.000000 58.050000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 58.050000 0.000000
      vertex 22.000000 55.150000 0.000000
      vertex 22.000000 56.971505 -4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 54.460031 2.575000
      vertex 22.000000 55.150000 0.000000
      vertex 22.000000 58.050000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 56.971505 -4.025000
      vertex 22.000000 54.460031 -2.575000
      vertex 22.000000 54.025000 -6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 45.539969 2.575000
      vertex 22.000000 47.425000 4.460031
      vertex 22.000000 45.975000 6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 54.460031 -2.575000
      vertex 22.000000 52.575000 -4.460031
      vertex 22.000000 54.025000 -6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 54.025000 -6.971505
      vertex 22.000000 50.000000 -5.150000
      vertex 22.000000 50.000000 -8.050000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 50.000000 -8.050000
      vertex 22.000000 47.425000 -4.460031
      vertex 22.000000 45.975000 -6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 45.975000 -6.971505
      vertex 22.000000 45.539969 -2.575000
      vertex 22.000000 43.028495 -4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 45.539969 -2.575000
      vertex 22.000000 44.850000 0.000000
      vertex 22.000000 43.028495 -4.025000
    endloop
  endfacet
  facet normal 1.000000 0.000000 -0.000000
    outer loop
      vertex 22.000000 45.539969 2.575000
      vertex 22.000000 45.975000 6.971505
      vertex 22.000000 44.850000 0.000000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 52.575000 -4.460031
      vertex 22.000000 50.000000 -5.150000
      vertex 22.000000 54.025000 -6.971505
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 50.000000 -5.150000
      vertex 22.000000 47.425000 -4.460031
      vertex 22.000000 50.000000 -8.050000
    endloop
  endfacet
  facet normal 1.000000 0.000000 0.000000
    outer loop
      vertex 22.000000 47.425000 4.460031
      vertex 22.000000 50.000000 5.150000
      vertex 22.000000 45.975000 6.971505
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 56.971505 4.025000
      vertex -22.000000 58.050000 -0.000000
      vertex -22.000000 54.025000 6.971505
    endloop
  endfacet
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -22.000000 54.025000 6.971505
      vertex -22.000000 58.050000 -0.000000
      vertex -22.000000 56.971505 -4.025000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 54.460031 -2.575000
      vertex -22.000000 56.971505 -4.025000
      vertex -22.000000 54.025000 -6.971505
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 52.575000 -4.460031
      vertex -22.000000 54.025000 -6.971505
      vertex -22.000000 50.000000 -8.050000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 50.000000 -5.150000
      vertex -22.000000 50.000000 -8.050000
      vertex -22.000000 45.975000 -6.971505
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 45.539969 -2.575000
      vertex -22.000000 45.975000 -6.971505
      vertex -22.000000 43.028495 -4.025000
    endloop
  endfacet
  facet normal -1.000000 0.000000 -0.000000
    outer loop
      vertex -22.000000 44.850000 -0.000000
      vertex -22.000000 43.028495 -4.025000
      vertex -22.000000 41.950000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 47.425000 4.460031
      vertex -22.000000 41.950000 -0.000000
      vertex -22.000000 43.028495 4.025000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 54.025000 6.971505
      vertex -22.000000 43.028495 4.025000
      vertex -22.000000 45.975000 6.971505
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 54.025000 6.971505
      vertex -22.000000 45.975000 6.971505
      vertex -22.000000 50.000000 8.050000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 45.539969 2.575000
      vertex -22.000000 41.950000 -0.000000
      vertex -22.000000 47.425000 4.460031
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 54.025000 6.971505
      vertex -22.000000 47.425000 4.460031
      vertex -22.000000 43.028495 4.025000
    endloop
  endfacet
  facet normal -1.000000 0.000000 -0.000000
    outer loop
      vertex -22.000000 45.539969 -2.575000
      vertex -22.000000 43.028495 -4.025000
      vertex -22.000000 44.850000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 47.425000 -4.460031
      vertex -22.000000 45.975000 -6.971505
      vertex -22.000000 45.539969 -2.575000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 50.000000 -5.150000
      vertex -22.000000 45.975000 -6.971505
      vertex -22.000000 47.425000 -4.460031
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 52.575000 -4.460031
      vertex -22.000000 50.000000 -8.050000
      vertex -22.000000 50.000000 -5.150000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 54.460031 -2.575000
      vertex -22.000000 54.025000 -6.971505
      vertex -22.000000 52.575000 -4.460031
    endloop
  endfacet
  facet normal -1.000000 -0.000000 -0.000000
    outer loop
      vertex -22.000000 55.150000 -0.000000
      vertex -22.000000 56.971505 -4.025000
      vertex -22.000000 54.460031 -2.575000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 52.575000 4.460031
      vertex -22.000000 54.025000 6.971505
      vertex -22.000000 54.460031 2.575000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 54.025000 6.971505
      vertex -22.000000 56.971505 -4.025000
      vertex -22.000000 55.150000 -0.000000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 54.025000 6.971505
      vertex -22.000000 55.150000 -0.000000
      vertex -22.000000 54.460031 2.575000
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 50.000000 5.150000
      vertex -22.000000 54.025000 6.971505
      vertex -22.000000 52.575000 4.460031
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 54.025000 6.971505
      vertex -22.000000 50.000000 5.150000
      vertex -22.000000 47.425000 4.460031
    endloop
  endfacet
  facet normal -1.000000 0.000000 0.000000
    outer loop
      vertex -22.000000 44.850000 -0.000000
      vertex -22.000000 41.950000 -0.000000
      vertex -22.000000 45.539969 2.575000
    endloop
  endfacet
  facet normal 0.000000 -0.258819 -0.965926
    outer loop
      vertex 22.000000 52.575000 4.460031
      vertex 22.000000 50.000000 5.150000
      vertex -22.000000 52.575000 4.460031
    endloop
  endfacet
  facet normal 0.000000 -0.258819 -0.965926
    outer loop
      vertex -22.000000 52.575000 4.460031
      vertex 22.000000 50.000000 5.150000
      vertex -22.000000 50.000000 5.150000
    endloop
  endfacet
  facet normal 0.000000 0.258819 -0.965926
    outer loop
      vertex 22.000000 47.425000 4.460031
      vertex -22.000000 47.425000 4.460031
      vertex 22.000000 50.000000 5.150000
    endloop
  endfacet
  facet normal 0.000000 0.258819 -0.965926
    outer loop
      vertex 22.000000 50.000000 5.150000
      vertex -22.000000 47.425000 4.460031
      vertex -22.000000 50.000000 5.150000
    endloop
  endfacet
  facet normal 0.000000 0.707107 -0.707107
    outer loop
      vertex 22.000000 45.539969 2.575000
      vertex -22.000000 45.539969 2.575000
      vertex 22.000000 47.425000 4.460031
    endloop
  endfacet
  facet normal 0.000000 0.707107 -0.707107
    outer loop
      vertex 22.000000 47.425000 4.460031
      vertex -22.000000 45.539969 2.575000
      vertex -22.000000 47.425000 4.460031
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex 22.000000 44.850000 0.000000
      vertex -22.000000 44.850000 -0.000000
      vertex 22.000000 45.539969 2.575000
    endloop
  endfacet
  facet normal 0.000000 0.965926 -0.258819
    outer loop
      vertex 22.000000 45.539969 2.575000
      vertex -22.000000 44.850000 -0.000000
      vertex -22.000000 45.539969 2.575000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex 22.000000 45.539969 -2.575000
      vertex -22.000000 45.539969 -2.575000
      vertex 22.000000 44.850000 0.000000
    endloop
  endfacet
  facet normal -0.000000 0.965926 0.258819
    outer loop
      vertex 22.000000 44.850000 0.000000
      vertex -22.000000 45.539969 -2.575000
      vertex -22.000000 44.850000 -0.000000
    endloop
  endfacet
  facet normal -0.000000 0.707107 0.707107
    outer loop
      vertex 22.000000 47.425000 -4.460031
      vertex -22.000000 47.425000 -4.460031
      vertex 22.000000 45.539969 -2.575000
    endloop
  endfacet
  facet normal -0.000000 0.707107 0.707107
    outer loop
      vertex 22.000000 45.539969 -2.575000
      vertex -22.000000 47.425000 -4.460031
      vertex -22.000000 45.539969 -2.575000
    endloop
  endfacet
  facet normal -0.000000 0.258819 0.965926
    outer loop
      vertex 22.000000 47.425000 -4.460031
      vertex 22.000000 50.000000 -5.150000
      vertex -22.000000 50.000000 -5.150000
    endloop
  endfacet
  facet normal -0.000000 0.258819 0.965926
    outer loop
      vertex -22.000000 47.425000 -4.460031
      vertex 22.000000 47.425000 -4.460031
      vertex -22.000000 50.000000 -5.150000
    endloop
  endfacet
  facet normal -0.000000 -0.258819 0.965926
    outer loop
      vertex -22.000000 50.000000 -5.150000
      vertex 22.000000 50.000000 -5.150000
      vertex 22.000000 52.575000 -4.460031
    endloop
  endfacet
  facet normal -0.000000 -0.258819 0.965926
    outer loop
      vertex -22.000000 52.575000 -4.460031
      vertex -22.000000 50.000000 -5.150000
      vertex 22.000000 52.575000 -4.460031
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex -22.000000 52.575000 -4.460031
      vertex 22.000000 52.575000 -4.460031
      vertex 22.000000 54.460031 -2.575000
    endloop
  endfacet
  facet normal -0.000000 -0.707107 0.707107
    outer loop
      vertex -22.000000 54.460031 -2.575000
      vertex -22.000000 52.575000 -4.460031
      vertex 22.000000 54.460031 -2.575000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex -22.000000 54.460031 -2.575000
      vertex 22.000000 54.460031 -2.575000
      vertex 22.000000 55.150000 0.000000
    endloop
  endfacet
  facet normal -0.000000 -0.965926 0.258819
    outer loop
      vertex -22.000000 55.150000 -0.000000
      vertex -22.000000 54.460031 -2.575000
      vertex 22.000000 55.150000 0.000000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex -22.000000 55.150000 -0.000000
      vertex 22.000000 55.150000 0.000000
      vertex 22.000000 54.460031 2.575000
    endloop
  endfacet
  facet normal 0.000000 -0.965926 -0.258819
    outer loop
      vertex -22.000000 54.460031 2.575000
      vertex -22.000000 55.150000 -0.000000
      vertex 22.000000 54.460031 2.575000
    endloop
  endfacet
  facet normal 0.000000 -0.707107 -0.707107
    outer loop
      vertex -22.000000 54.460031 2.575000
      vertex 22.000000 54.460031 2.575000
      vertex 22.000000 52.575000 4.460031
    endloop
  endfacet
  facet normal 0.000000 -0.707107 -0.707107
    outer loop
      vertex -22.000000 52.575000 4.460031
      vertex -22.000000 54.460031 2.575000
      vertex 22.000000 52.575000 4.460031
    endloop
  endfacet
endsolid OpenSCAD_Model