kicad-lib/kicad-packages3D/MountingEquipment.3dshapes/DINRailAdapter_3xM3_PhoenixContact_1201578.step

ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
FILE_NAME('DINRailAdapter_3xM3_PhoenixContact_1201578.step'
  ,'2018-12-23T11:08:20',('kicad StepUp'),('ksu MCAD'),
  'Open CASCADE STEP processor 7.3','FreeCAD','Unknown');
FILE_SCHEMA(('AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }'));
ENDSEC;
DATA;
#1 = APPLICATION_PROTOCOL_DEFINITION('international standard',
  'automotive_design',2000,#2);
#2 = APPLICATION_CONTEXT(
  'core data for automotive mechanical design processes');
#3 = SHAPE_DEFINITION_REPRESENTATION(#4,#10);
#4 = PRODUCT_DEFINITION_SHAPE('','',#5);
#5 = PRODUCT_DEFINITION('design','',#6,#9);
#6 = PRODUCT_DEFINITION_FORMATION('','',#7);
#7 = PRODUCT('DINRailAdapter_3xM3_PhoenixContact_1201578',
  'DINRailAdapter_3xM3_PhoenixContact_1201578','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = MANIFOLD_SURFACE_SHAPE_REPRESENTATION('',(#11,#15),#3337);
#11 = AXIS2_PLACEMENT_3D('',#12,#13,#14);
#12 = CARTESIAN_POINT('',(0.,0.,0.));
#13 = DIRECTION('',(0.,0.,1.));
#14 = DIRECTION('',(1.,0.,-0.));
#15 = SHELL_BASED_SURFACE_MODEL('',(#16));
#16 = OPEN_SHELL('',(#17,#49,#66,#98,#115,#147,#164,#623,#663,#703,#743,
    #783,#823,#863,#903,#943,#983,#1023,#1063,#1103,#1143,#1183,#1223,
    #1263,#1303,#1343,#1383,#1423,#1465,#1507,#1549,#1591,#1633,#1673,
    #1713,#1753,#1793,#1833,#1875,#1915,#1957,#1997,#2037,#2077,#2117,
    #2157,#2197,#2239,#2279,#2319,#2359,#2399,#2441,#2481,#2523,#2563,
    #2603,#2643,#2683,#2723,#2763,#2805,#2878));
#17 = ADVANCED_FACE('',(#18),#44,.F.);
#18 = FACE_BOUND('',#19,.F.);
#19 = EDGE_LOOP('',(#20,#29,#36,#43));
#20 = ORIENTED_EDGE('',*,*,#21,.T.);
#21 = EDGE_CURVE('',#22,#22,#24,.T.);
#22 = VERTEX_POINT('',#23);
#23 = CARTESIAN_POINT('',(13.875,0.,-1.6));
#24 = CIRCLE('',#25,1.375);
#25 = AXIS2_PLACEMENT_3D('',#26,#27,#28);
#26 = CARTESIAN_POINT('',(12.5,0.,-1.6));
#27 = DIRECTION('',(0.,0.,-1.));
#28 = DIRECTION('',(1.,0.,0.));
#29 = ORIENTED_EDGE('',*,*,#30,.F.);
#30 = EDGE_CURVE('',#31,#22,#33,.T.);
#31 = VERTEX_POINT('',#32);
#32 = CARTESIAN_POINT('',(13.875,0.,-8.95));
#33 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#34,#35),.UNSPECIFIED.,.F.,.F.,(2,
    2),(-3.675,3.675),.PIECEWISE_BEZIER_KNOTS.);
#34 = CARTESIAN_POINT('',(13.875,-3.367778697655E-16,-8.95));
#35 = CARTESIAN_POINT('',(13.875,-3.367778697655E-16,-1.6));
#36 = ORIENTED_EDGE('',*,*,#37,.T.);
#37 = EDGE_CURVE('',#31,#31,#38,.T.);
#38 = CIRCLE('',#39,1.375);
#39 = AXIS2_PLACEMENT_3D('',#40,#41,#42);
#40 = CARTESIAN_POINT('',(12.5,0.,-8.95));
#41 = DIRECTION('',(0.,0.,1.));
#42 = DIRECTION('',(1.,0.,0.));
#43 = ORIENTED_EDGE('',*,*,#30,.T.);
#44 = CYLINDRICAL_SURFACE('',#45,1.375);
#45 = AXIS2_PLACEMENT_3D('',#46,#47,#48);
#46 = CARTESIAN_POINT('',(12.5,0.,-5.275));
#47 = DIRECTION('',(0.,0.,1.));
#48 = DIRECTION('',(1.,0.,0.));
#49 = ADVANCED_FACE('',(#50),#61,.F.);
#50 = FACE_BOUND('',#51,.T.);
#51 = EDGE_LOOP('',(#52));
#52 = ORIENTED_EDGE('',*,*,#53,.T.);
#53 = EDGE_CURVE('',#54,#54,#56,.T.);
#54 = VERTEX_POINT('',#55);
#55 = CARTESIAN_POINT('',(13.875,0.,-8.95));
#56 = CIRCLE('',#57,1.375);
#57 = AXIS2_PLACEMENT_3D('',#58,#59,#60);
#58 = CARTESIAN_POINT('',(12.5,0.,-8.95));
#59 = DIRECTION('',(0.,0.,1.));
#60 = DIRECTION('',(1.,0.,0.));
#61 = PLANE('',#62);
#62 = AXIS2_PLACEMENT_3D('',#63,#64,#65);
#63 = CARTESIAN_POINT('',(12.5,0.,-8.95));
#64 = DIRECTION('',(0.,0.,-1.));
#65 = DIRECTION('',(0.,1.,0.));
#66 = ADVANCED_FACE('',(#67),#93,.F.);
#67 = FACE_BOUND('',#68,.F.);
#68 = EDGE_LOOP('',(#69,#78,#85,#92));
#69 = ORIENTED_EDGE('',*,*,#70,.T.);
#70 = EDGE_CURVE('',#71,#71,#73,.T.);
#71 = VERTEX_POINT('',#72);
#72 = CARTESIAN_POINT('',(1.375,0.,-1.6));
#73 = CIRCLE('',#74,1.375);
#74 = AXIS2_PLACEMENT_3D('',#75,#76,#77);
#75 = CARTESIAN_POINT('',(0.,0.,-1.6));
#76 = DIRECTION('',(0.,0.,-1.));
#77 = DIRECTION('',(1.,0.,0.));
#78 = ORIENTED_EDGE('',*,*,#79,.F.);
#79 = EDGE_CURVE('',#80,#71,#82,.T.);
#80 = VERTEX_POINT('',#81);
#81 = CARTESIAN_POINT('',(1.375,0.,-8.95));
#82 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#83,#84),.UNSPECIFIED.,.F.,.F.,(2,
    2),(-3.675,3.675),.PIECEWISE_BEZIER_KNOTS.);
#83 = CARTESIAN_POINT('',(1.375,-3.367778697655E-16,-8.95));
#84 = CARTESIAN_POINT('',(1.375,-3.367778697655E-16,-1.6));
#85 = ORIENTED_EDGE('',*,*,#86,.T.);
#86 = EDGE_CURVE('',#80,#80,#87,.T.);
#87 = CIRCLE('',#88,1.375);
#88 = AXIS2_PLACEMENT_3D('',#89,#90,#91);
#89 = CARTESIAN_POINT('',(0.,0.,-8.95));
#90 = DIRECTION('',(0.,0.,1.));
#91 = DIRECTION('',(1.,0.,0.));
#92 = ORIENTED_EDGE('',*,*,#79,.T.);
#93 = CYLINDRICAL_SURFACE('',#94,1.375);
#94 = AXIS2_PLACEMENT_3D('',#95,#96,#97);
#95 = CARTESIAN_POINT('',(0.,0.,-5.275));
#96 = DIRECTION('',(0.,0.,1.));
#97 = DIRECTION('',(1.,0.,0.));
#98 = ADVANCED_FACE('',(#99),#110,.F.);
#99 = FACE_BOUND('',#100,.T.);
#100 = EDGE_LOOP('',(#101));
#101 = ORIENTED_EDGE('',*,*,#102,.T.);
#102 = EDGE_CURVE('',#103,#103,#105,.T.);
#103 = VERTEX_POINT('',#104);
#104 = CARTESIAN_POINT('',(1.375,0.,-8.95));
#105 = CIRCLE('',#106,1.375);
#106 = AXIS2_PLACEMENT_3D('',#107,#108,#109);
#107 = CARTESIAN_POINT('',(0.,0.,-8.95));
#108 = DIRECTION('',(0.,0.,1.));
#109 = DIRECTION('',(1.,0.,0.));
#110 = PLANE('',#111);
#111 = AXIS2_PLACEMENT_3D('',#112,#113,#114);
#112 = CARTESIAN_POINT('',(0.,0.,-8.95));
#113 = DIRECTION('',(0.,0.,-1.));
#114 = DIRECTION('',(0.,1.,0.));
#115 = ADVANCED_FACE('',(#116),#142,.F.);
#116 = FACE_BOUND('',#117,.F.);
#117 = EDGE_LOOP('',(#118,#127,#134,#141));
#118 = ORIENTED_EDGE('',*,*,#119,.T.);
#119 = EDGE_CURVE('',#120,#120,#122,.T.);
#120 = VERTEX_POINT('',#121);
#121 = CARTESIAN_POINT('',(-11.125,0.,-1.6));
#122 = CIRCLE('',#123,1.375);
#123 = AXIS2_PLACEMENT_3D('',#124,#125,#126);
#124 = CARTESIAN_POINT('',(-12.5,0.,-1.6));
#125 = DIRECTION('',(0.,0.,-1.));
#126 = DIRECTION('',(1.,0.,0.));
#127 = ORIENTED_EDGE('',*,*,#128,.F.);
#128 = EDGE_CURVE('',#129,#120,#131,.T.);
#129 = VERTEX_POINT('',#130);
#130 = CARTESIAN_POINT('',(-11.125,0.,-8.95));
#131 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#132,#133),.UNSPECIFIED.,.F.,.F.,
  (2,2),(-3.675,3.675),.PIECEWISE_BEZIER_KNOTS.);
#132 = CARTESIAN_POINT('',(-11.125,-3.367778697655E-16,-8.95));
#133 = CARTESIAN_POINT('',(-11.125,-3.367778697655E-16,-1.6));
#134 = ORIENTED_EDGE('',*,*,#135,.T.);
#135 = EDGE_CURVE('',#129,#129,#136,.T.);
#136 = CIRCLE('',#137,1.375);
#137 = AXIS2_PLACEMENT_3D('',#138,#139,#140);
#138 = CARTESIAN_POINT('',(-12.5,0.,-8.95));
#139 = DIRECTION('',(0.,0.,1.));
#140 = DIRECTION('',(1.,0.,0.));
#141 = ORIENTED_EDGE('',*,*,#128,.T.);
#142 = CYLINDRICAL_SURFACE('',#143,1.375);
#143 = AXIS2_PLACEMENT_3D('',#144,#145,#146);
#144 = CARTESIAN_POINT('',(-12.5,0.,-5.275));
#145 = DIRECTION('',(0.,0.,1.));
#146 = DIRECTION('',(1.,0.,0.));
#147 = ADVANCED_FACE('',(#148),#159,.F.);
#148 = FACE_BOUND('',#149,.T.);
#149 = EDGE_LOOP('',(#150));
#150 = ORIENTED_EDGE('',*,*,#151,.T.);
#151 = EDGE_CURVE('',#152,#152,#154,.T.);
#152 = VERTEX_POINT('',#153);
#153 = CARTESIAN_POINT('',(-11.125,0.,-8.95));
#154 = CIRCLE('',#155,1.375);
#155 = AXIS2_PLACEMENT_3D('',#156,#157,#158);
#156 = CARTESIAN_POINT('',(-12.5,0.,-8.95));
#157 = DIRECTION('',(0.,0.,1.));
#158 = DIRECTION('',(1.,0.,0.));
#159 = PLANE('',#160);
#160 = AXIS2_PLACEMENT_3D('',#161,#162,#163);
#161 = CARTESIAN_POINT('',(-12.5,0.,-8.95));
#162 = DIRECTION('',(0.,0.,-1.));
#163 = DIRECTION('',(0.,1.,0.));
#164 = ADVANCED_FACE('',(#165),#618,.T.);
#165 = FACE_BOUND('',#166,.T.);
#166 = EDGE_LOOP('',(#167,#177,#185,#193,#201,#209,#217,#225,#233,#241,
    #249,#257,#265,#273,#281,#289,#297,#305,#313,#321,#329,#337,#346,
    #355,#364,#373,#382,#390,#398,#406,#414,#422,#431,#439,#448,#456,
    #464,#472,#480,#488,#496,#505,#513,#521,#529,#537,#546,#554,#563,
    #571,#579,#587,#595,#603,#611));
#167 = ORIENTED_EDGE('',*,*,#168,.T.);
#168 = EDGE_CURVE('',#169,#171,#173,.T.);
#169 = VERTEX_POINT('',#170);
#170 = CARTESIAN_POINT('',(20.679865704891,-5.,-1.6));
#171 = VERTEX_POINT('',#172);
#172 = CARTESIAN_POINT('',(-21.245,-5.,-1.6));
#173 = LINE('',#174,#175);
#174 = CARTESIAN_POINT('',(20.679865704891,-5.,-1.6));
#175 = VECTOR('',#176,1.);
#176 = DIRECTION('',(-1.,0.,1.543478E-16));
#177 = ORIENTED_EDGE('',*,*,#178,.T.);
#178 = EDGE_CURVE('',#171,#179,#181,.T.);
#179 = VERTEX_POINT('',#180);
#180 = CARTESIAN_POINT('',(-21.245,-5.,-17.10140467513));
#181 = LINE('',#182,#183);
#182 = CARTESIAN_POINT('',(-21.245,-5.,-1.6));
#183 = VECTOR('',#184,1.);
#184 = DIRECTION('',(0.,0.,-1.));
#185 = ORIENTED_EDGE('',*,*,#186,.T.);
#186 = EDGE_CURVE('',#179,#187,#189,.T.);
#187 = VERTEX_POINT('',#188);
#188 = CARTESIAN_POINT('',(-17.47425281401,-5.,-17.10140467513));
#189 = LINE('',#190,#191);
#190 = CARTESIAN_POINT('',(-21.245,-5.,-17.10140467513));
#191 = VECTOR('',#192,1.);
#192 = DIRECTION('',(1.,0.,5.88861E-16));
#193 = ORIENTED_EDGE('',*,*,#194,.T.);
#194 = EDGE_CURVE('',#187,#195,#197,.T.);
#195 = VERTEX_POINT('',#196);
#196 = CARTESIAN_POINT('',(-16.52390130009,-5.,-16.15105316122));
#197 = LINE('',#198,#199);
#198 = CARTESIAN_POINT('',(-17.47425281401,-5.,-17.10140467513));
#199 = VECTOR('',#200,1.);
#200 = DIRECTION('',(0.707106781187,0.,0.707106781187));
#201 = ORIENTED_EDGE('',*,*,#202,.T.);
#202 = EDGE_CURVE('',#195,#203,#205,.T.);
#203 = VERTEX_POINT('',#204);
#204 = CARTESIAN_POINT('',(-16.52390130009,-5.,-15.70105316122));
#205 = LINE('',#206,#207);
#206 = CARTESIAN_POINT('',(-16.52390130009,-5.,-16.15105316122));
#207 = VECTOR('',#208,1.);
#208 = DIRECTION('',(0.,0.,1.));
#209 = ORIENTED_EDGE('',*,*,#210,.T.);
#210 = EDGE_CURVE('',#203,#211,#213,.T.);
#211 = VERTEX_POINT('',#212);
#212 = CARTESIAN_POINT('',(-17.32425574219,-5.,-15.50090879581));
#213 = LINE('',#214,#215);
#214 = CARTESIAN_POINT('',(-16.52390130009,-5.,-15.70105316122));
#215 = VECTOR('',#216,1.);
#216 = DIRECTION('',(-0.97012659649,0.,0.242599230795));
#217 = ORIENTED_EDGE('',*,*,#218,.T.);
#218 = EDGE_CURVE('',#211,#219,#221,.T.);
#219 = VERTEX_POINT('',#220);
#220 = CARTESIAN_POINT('',(-17.32425574219,-5.,-14.30090879581));
#221 = LINE('',#222,#223);
#222 = CARTESIAN_POINT('',(-17.32425574219,-5.,-15.50090879581));
#223 = VECTOR('',#224,1.);
#224 = DIRECTION('',(0.,0.,1.));
#225 = ORIENTED_EDGE('',*,*,#226,.T.);
#226 = EDGE_CURVE('',#219,#227,#229,.T.);
#227 = VERTEX_POINT('',#228);
#228 = CARTESIAN_POINT('',(-13.24925574219,-5.,-14.30090879581));
#229 = LINE('',#230,#231);
#230 = CARTESIAN_POINT('',(-17.32425574219,-5.,-14.30090879581));
#231 = VECTOR('',#232,1.);
#232 = DIRECTION('',(1.,0.,0.));
#233 = ORIENTED_EDGE('',*,*,#234,.T.);
#234 = EDGE_CURVE('',#227,#235,#237,.T.);
#235 = VERTEX_POINT('',#236);
#236 = CARTESIAN_POINT('',(-12.69153894849,-5.,-11.93988614069));
#237 = LINE('',#238,#239);
#238 = CARTESIAN_POINT('',(-13.24925574219,-5.,-14.30090879581));
#239 = VECTOR('',#240,1.);
#240 = DIRECTION('',(0.229891506061,0.,0.973216263449));
#241 = ORIENTED_EDGE('',*,*,#242,.T.);
#242 = EDGE_CURVE('',#235,#243,#245,.T.);
#243 = VERTEX_POINT('',#244);
#244 = CARTESIAN_POINT('',(-12.66625806829,-5.,-10.1080605821));
#245 = LINE('',#246,#247);
#246 = CARTESIAN_POINT('',(-12.69153894849,-5.,-11.93988614069));
#247 = VECTOR('',#248,1.);
#248 = DIRECTION('',(1.379960709914E-02,0.,0.999904780889));
#249 = ORIENTED_EDGE('',*,*,#250,.T.);
#250 = EDGE_CURVE('',#243,#251,#253,.T.);
#251 = VERTEX_POINT('',#252);
#252 = CARTESIAN_POINT('',(-11.16625806829,-5.,-10.1080605821));
#253 = LINE('',#254,#255);
#254 = CARTESIAN_POINT('',(-12.66625806829,-5.,-10.1080605821));
#255 = VECTOR('',#256,1.);
#256 = DIRECTION('',(1.,0.,0.));
#257 = ORIENTED_EDGE('',*,*,#258,.T.);
#258 = EDGE_CURVE('',#251,#259,#261,.T.);
#259 = VERTEX_POINT('',#260);
#260 = CARTESIAN_POINT('',(-11.16625806829,-5.,-11.6820605821));
#261 = LINE('',#262,#263);
#262 = CARTESIAN_POINT('',(-11.16625806829,-5.,-10.1080605821));
#263 = VECTOR('',#264,1.);
#264 = DIRECTION('',(0.,0.,-1.));
#265 = ORIENTED_EDGE('',*,*,#266,.T.);
#266 = EDGE_CURVE('',#259,#267,#269,.T.);
#267 = VERTEX_POINT('',#268);
#268 = CARTESIAN_POINT('',(-12.39130628317,-5.,-17.2078959824));
#269 = LINE('',#270,#271);
#270 = CARTESIAN_POINT('',(-11.16625806829,-5.,-11.6820605821));
#271 = VECTOR('',#272,1.);
#272 = DIRECTION('',(-0.216439613938,0.,-0.97629600712));
#273 = ORIENTED_EDGE('',*,*,#274,.T.);
#274 = EDGE_CURVE('',#267,#275,#277,.T.);
#275 = VERTEX_POINT('',#276);
#276 = CARTESIAN_POINT('',(-12.39130628317,-5.,-17.7078959824));
#277 = LINE('',#278,#279);
#278 = CARTESIAN_POINT('',(-12.39130628317,-5.,-17.2078959824));
#279 = VECTOR('',#280,1.);
#280 = DIRECTION('',(0.,0.,-1.));
#281 = ORIENTED_EDGE('',*,*,#282,.T.);
#282 = EDGE_CURVE('',#275,#283,#285,.T.);
#283 = VERTEX_POINT('',#284);
#284 = CARTESIAN_POINT('',(-11.54130628317,-5.,-17.7078959824));
#285 = LINE('',#286,#287);
#286 = CARTESIAN_POINT('',(-12.39130628317,-5.,-17.7078959824));
#287 = VECTOR('',#288,1.);
#288 = DIRECTION('',(1.,0.,0.));
#289 = ORIENTED_EDGE('',*,*,#290,.T.);
#290 = EDGE_CURVE('',#283,#291,#293,.T.);
#291 = VERTEX_POINT('',#292);
#292 = CARTESIAN_POINT('',(-11.54130628317,-5.,-19.2078959824));
#293 = LINE('',#294,#295);
#294 = CARTESIAN_POINT('',(-11.54130628317,-5.,-17.7078959824));
#295 = VECTOR('',#296,1.);
#296 = DIRECTION('',(0.,0.,-1.));
#297 = ORIENTED_EDGE('',*,*,#298,.T.);
#298 = EDGE_CURVE('',#291,#299,#301,.T.);
#299 = VERTEX_POINT('',#300);
#300 = CARTESIAN_POINT('',(-12.69153894849,-5.,-19.33285123695));
#301 = LINE('',#302,#303);
#302 = CARTESIAN_POINT('',(-11.54130628317,-5.,-19.2078959824));
#303 = VECTOR('',#304,1.);
#304 = DIRECTION('',(-0.994150963972,0.,-0.107999355706));
#305 = ORIENTED_EDGE('',*,*,#306,.T.);
#306 = EDGE_CURVE('',#299,#307,#309,.T.);
#307 = VERTEX_POINT('',#308);
#308 = CARTESIAN_POINT('',(-12.69153894849,-5.,-20.60785123695));
#309 = LINE('',#310,#311);
#310 = CARTESIAN_POINT('',(-12.69153894849,-5.,-19.33285123695));
#311 = VECTOR('',#312,1.);
#312 = DIRECTION('',(0.,0.,-1.));
#313 = ORIENTED_EDGE('',*,*,#314,.T.);
#314 = EDGE_CURVE('',#307,#315,#317,.T.);
#315 = VERTEX_POINT('',#316);
#316 = CARTESIAN_POINT('',(-9.741538948495,-5.,-20.60785123695));
#317 = LINE('',#318,#319);
#318 = CARTESIAN_POINT('',(-12.69153894849,-5.,-20.60785123695));
#319 = VECTOR('',#320,1.);
#320 = DIRECTION('',(1.,0.,0.));
#321 = ORIENTED_EDGE('',*,*,#322,.T.);
#322 = EDGE_CURVE('',#315,#323,#325,.T.);
#323 = VERTEX_POINT('',#324);
#324 = CARTESIAN_POINT('',(-9.741538948495,-5.,-18.95785123695));
#325 = LINE('',#326,#327);
#326 = CARTESIAN_POINT('',(-9.741538948495,-5.,-20.60785123695));
#327 = VECTOR('',#328,1.);
#328 = DIRECTION('',(0.,0.,1.));
#329 = ORIENTED_EDGE('',*,*,#330,.T.);
#330 = EDGE_CURVE('',#323,#331,#333,.T.);
#331 = VERTEX_POINT('',#332);
#332 = CARTESIAN_POINT('',(-7.967538948495,-5.,-18.95785123695));
#333 = LINE('',#334,#335);
#334 = CARTESIAN_POINT('',(-9.741538948495,-5.,-18.95785123695));
#335 = VECTOR('',#336,1.);
#336 = DIRECTION('',(1.,0.,0.));
#337 = ORIENTED_EDGE('',*,*,#338,.T.);
#338 = EDGE_CURVE('',#331,#339,#341,.T.);
#339 = VERTEX_POINT('',#340);
#340 = CARTESIAN_POINT('',(3.688461051505,-5.,-14.86185123695));
#341 = CIRCLE('',#342,11.);
#342 = AXIS2_PLACEMENT_3D('',#343,#344,#345);
#343 = CARTESIAN_POINT('',(0.877957345022,-5.,-25.49674986909));
#344 = DIRECTION('',(0.,1.,-0.));
#345 = DIRECTION('',(-0.804136026683,0.,0.594445330194));
#346 = ORIENTED_EDGE('',*,*,#347,.T.);
#347 = EDGE_CURVE('',#339,#348,#350,.T.);
#348 = VERTEX_POINT('',#349);
#349 = CARTESIAN_POINT('',(4.888461051505,-5.,-16.06185123695));
#350 = CIRCLE('',#351,1.2);
#351 = AXIS2_PLACEMENT_3D('',#352,#353,#354);
#352 = CARTESIAN_POINT('',(3.688461051505,-5.,-16.06185123695));
#353 = DIRECTION('',(0.,1.,0.));
#354 = DIRECTION('',(0.,0.,1.));
#355 = ORIENTED_EDGE('',*,*,#356,.T.);
#356 = EDGE_CURVE('',#348,#357,#359,.T.);
#357 = VERTEX_POINT('',#358);
#358 = CARTESIAN_POINT('',(5.552461051505,-5.,-16.36235747648));
#359 = CIRCLE('',#360,0.4);
#360 = AXIS2_PLACEMENT_3D('',#361,#362,#363);
#361 = CARTESIAN_POINT('',(5.288461051505,-5.,-16.06185123695));
#362 = DIRECTION('',(0.,-1.,0.));
#363 = DIRECTION('',(-0.66,0.,0.75126559884));
#364 = ORIENTED_EDGE('',*,*,#365,.T.);
#365 = EDGE_CURVE('',#357,#366,#368,.T.);
#366 = VERTEX_POINT('',#367);
#367 = CARTESIAN_POINT('',(6.688407478026,-5.,-13.95785123695));
#368 = CIRCLE('',#369,3.35);
#369 = AXIS2_PLACEMENT_3D('',#370,#371,#372);
#370 = CARTESIAN_POINT('',(3.340252624267,-5.,-13.84667985913));
#371 = DIRECTION('',(0.,-1.,0.));
#372 = DIRECTION('',(-0.999449210077,0.,3.318548591586E-02));
#373 = ORIENTED_EDGE('',*,*,#374,.T.);
#374 = EDGE_CURVE('',#366,#375,#377,.T.);
#375 = VERTEX_POINT('',#376);
#376 = CARTESIAN_POINT('',(5.683461051505,-5.,-13.32785123695));
#377 = CIRCLE('',#378,0.699946426521);
#378 = AXIS2_PLACEMENT_3D('',#379,#380,#381);
#379 = CARTESIAN_POINT('',(5.988461051505,-5.,-13.95785123695));
#380 = DIRECTION('',(0.,-1.,0.));
#381 = DIRECTION('',(0.435747635024,0.,-0.900068885459));
#382 = ORIENTED_EDGE('',*,*,#383,.T.);
#383 = EDGE_CURVE('',#375,#384,#386,.T.);
#384 = VERTEX_POINT('',#385);
#385 = CARTESIAN_POINT('',(5.683461051505,-5.,-10.10785123695));
#386 = LINE('',#387,#388);
#387 = CARTESIAN_POINT('',(5.683461051505,-5.,-13.32785123695));
#388 = VECTOR('',#389,1.);
#389 = DIRECTION('',(0.,0.,1.));
#390 = ORIENTED_EDGE('',*,*,#391,.T.);
#391 = EDGE_CURVE('',#384,#392,#394,.T.);
#392 = VERTEX_POINT('',#393);
#393 = CARTESIAN_POINT('',(6.679461051505,-5.,-10.10785123695));
#394 = LINE('',#395,#396);
#395 = CARTESIAN_POINT('',(5.683461051505,-5.,-10.10785123695));
#396 = VECTOR('',#397,1.);
#397 = DIRECTION('',(1.,0.,0.));
#398 = ORIENTED_EDGE('',*,*,#399,.T.);
#399 = EDGE_CURVE('',#392,#400,#402,.T.);
#400 = VERTEX_POINT('',#401);
#401 = CARTESIAN_POINT('',(7.108065390195,-5.,-11.70742440528));
#402 = LINE('',#403,#404);
#403 = CARTESIAN_POINT('',(6.679461051505,-5.,-10.10785123695));
#404 = VECTOR('',#405,1.);
#405 = DIRECTION('',(0.258819045103,0.,-0.965925826289));
#406 = ORIENTED_EDGE('',*,*,#407,.T.);
#407 = EDGE_CURVE('',#400,#408,#410,.T.);
#408 = VERTEX_POINT('',#409);
#409 = CARTESIAN_POINT('',(12.908065390195,-5.,-11.70742440528));
#410 = LINE('',#411,#412);
#411 = CARTESIAN_POINT('',(7.108065390195,-5.,-11.70742440528));
#412 = VECTOR('',#413,1.);
#413 = DIRECTION('',(1.,0.,0.));
#414 = ORIENTED_EDGE('',*,*,#415,.T.);
#415 = EDGE_CURVE('',#408,#416,#418,.T.);
#416 = VERTEX_POINT('',#417);
#417 = CARTESIAN_POINT('',(13.422132020117,-5.,-11.19335777536));
#418 = LINE('',#419,#420);
#419 = CARTESIAN_POINT('',(12.908065390195,-5.,-11.70742440528));
#420 = VECTOR('',#421,1.);
#421 = DIRECTION('',(0.707106781187,0.,0.707106781187));
#422 = ORIENTED_EDGE('',*,*,#423,.T.);
#423 = EDGE_CURVE('',#416,#424,#426,.T.);
#424 = VERTEX_POINT('',#425);
#425 = CARTESIAN_POINT('',(14.836065390195,-5.,-10.60742440528));
#426 = CIRCLE('',#427,2.);
#427 = AXIS2_PLACEMENT_3D('',#428,#429,#430);
#428 = CARTESIAN_POINT('',(14.836492545282,-5.,-12.60742435967));
#429 = DIRECTION('',(0.,1.,-0.));
#430 = DIRECTION('',(-0.707180262583,0.,0.707033292154));
#431 = ORIENTED_EDGE('',*,*,#432,.T.);
#432 = EDGE_CURVE('',#424,#433,#435,.T.);
#433 = VERTEX_POINT('',#434);
#434 = CARTESIAN_POINT('',(15.808065390195,-5.,-10.60742440528));
#435 = LINE('',#436,#437);
#436 = CARTESIAN_POINT('',(14.836065390195,-5.,-10.60742440528));
#437 = VECTOR('',#438,1.);
#438 = DIRECTION('',(1.,0.,0.));
#439 = ORIENTED_EDGE('',*,*,#440,.T.);
#440 = EDGE_CURVE('',#433,#441,#443,.T.);
#441 = VERTEX_POINT('',#442);
#442 = CARTESIAN_POINT('',(17.508065390195,-5.,-12.30742440528));
#443 = CIRCLE('',#444,1.7);
#444 = AXIS2_PLACEMENT_3D('',#445,#446,#447);
#445 = CARTESIAN_POINT('',(15.808065390195,-5.,-12.30742440528));
#446 = DIRECTION('',(-0.,1.,0.));
#447 = DIRECTION('',(1.306145E-15,0.,1.));
#448 = ORIENTED_EDGE('',*,*,#449,.T.);
#449 = EDGE_CURVE('',#441,#450,#452,.T.);
#450 = VERTEX_POINT('',#451);
#451 = CARTESIAN_POINT('',(17.508065390195,-5.,-12.82442440528));
#452 = LINE('',#453,#454);
#453 = CARTESIAN_POINT('',(17.508065390195,-5.,-12.30742440528));
#454 = VECTOR('',#455,1.);
#455 = DIRECTION('',(0.,0.,-1.));
#456 = ORIENTED_EDGE('',*,*,#457,.T.);
#457 = EDGE_CURVE('',#450,#458,#460,.T.);
#458 = VERTEX_POINT('',#459);
#459 = CARTESIAN_POINT('',(16.258266951871,-5.,-13.40721498822));
#460 = LINE('',#461,#462);
#461 = CARTESIAN_POINT('',(17.508065390195,-5.,-12.82442440528));
#462 = VECTOR('',#463,1.);
#463 = DIRECTION('',(-0.906307787037,0.,-0.422618261741));
#464 = ORIENTED_EDGE('',*,*,#465,.T.);
#465 = EDGE_CURVE('',#458,#466,#468,.T.);
#466 = VERTEX_POINT('',#467);
#467 = CARTESIAN_POINT('',(16.258266951871,-5.,-14.15721498822));
#468 = LINE('',#469,#470);
#469 = CARTESIAN_POINT('',(16.258266951871,-5.,-13.40721498822));
#470 = VECTOR('',#471,1.);
#471 = DIRECTION('',(0.,0.,-1.));
#472 = ORIENTED_EDGE('',*,*,#473,.T.);
#473 = EDGE_CURVE('',#466,#474,#476,.T.);
#474 = VERTEX_POINT('',#475);
#475 = CARTESIAN_POINT('',(17.546266951871,-5.,-14.15721498822));
#476 = LINE('',#477,#478);
#477 = CARTESIAN_POINT('',(16.258266951871,-5.,-14.15721498822));
#478 = VECTOR('',#479,1.);
#479 = DIRECTION('',(1.,0.,0.));
#480 = ORIENTED_EDGE('',*,*,#481,.T.);
#481 = EDGE_CURVE('',#474,#482,#484,.T.);
#482 = VERTEX_POINT('',#483);
#483 = CARTESIAN_POINT('',(17.43382615252,-5.,-15.50754164005));
#484 = LINE('',#485,#486);
#485 = CARTESIAN_POINT('',(17.546266951871,-5.,-14.15721498822));
#486 = VECTOR('',#487,1.);
#487 = DIRECTION('',(-8.298213974239E-02,0.,-0.996551034561));
#488 = ORIENTED_EDGE('',*,*,#489,.T.);
#489 = EDGE_CURVE('',#482,#490,#492,.T.);
#490 = VERTEX_POINT('',#491);
#491 = CARTESIAN_POINT('',(16.407183706303,-5.,-15.70784462961));
#492 = LINE('',#493,#494);
#493 = CARTESIAN_POINT('',(17.43382615252,-5.,-15.50754164005));
#494 = VECTOR('',#495,1.);
#495 = DIRECTION('',(-0.981493734433,0.,-0.191494253877));
#496 = ORIENTED_EDGE('',*,*,#497,.T.);
#497 = EDGE_CURVE('',#490,#498,#500,.T.);
#498 = VERTEX_POINT('',#499);
#499 = CARTESIAN_POINT('',(18.203183706303,-5.,-20.60784462961));
#500 = CIRCLE('',#501,7.4);
#501 = AXIS2_PLACEMENT_3D('',#502,#503,#504);
#502 = CARTESIAN_POINT('',(23.806881032719,-5.,-15.77477352793));
#503 = DIRECTION('',(0.,-1.,0.));
#504 = DIRECTION('',(0.757256395462,0.,0.653117716444));
#505 = ORIENTED_EDGE('',*,*,#506,.T.);
#506 = EDGE_CURVE('',#498,#507,#509,.T.);
#507 = VERTEX_POINT('',#508);
#508 = CARTESIAN_POINT('',(21.508183706303,-5.,-20.60784462961));
#509 = LINE('',#510,#511);
#510 = CARTESIAN_POINT('',(18.203183706303,-5.,-20.60784462961));
#511 = VECTOR('',#512,1.);
#512 = DIRECTION('',(1.,0.,0.));
#513 = ORIENTED_EDGE('',*,*,#514,.T.);
#514 = EDGE_CURVE('',#507,#515,#517,.T.);
#515 = VERTEX_POINT('',#516);
#516 = CARTESIAN_POINT('',(21.508183706303,-5.,-17.81884462961));
#517 = LINE('',#518,#519);
#518 = CARTESIAN_POINT('',(21.508183706303,-5.,-20.60784462961));
#519 = VECTOR('',#520,1.);
#520 = DIRECTION('',(0.,0.,1.));
#521 = ORIENTED_EDGE('',*,*,#522,.T.);
#522 = EDGE_CURVE('',#515,#523,#525,.T.);
#523 = VERTEX_POINT('',#524);
#524 = CARTESIAN_POINT('',(19.007968365577,-5.,-16.37534462961));
#525 = LINE('',#526,#527);
#526 = CARTESIAN_POINT('',(21.508183706303,-5.,-17.81884462961));
#527 = VECTOR('',#528,1.);
#528 = DIRECTION('',(-0.866025403784,0.,0.5));
#529 = ORIENTED_EDGE('',*,*,#530,.T.);
#530 = EDGE_CURVE('',#523,#531,#533,.T.);
#531 = VERTEX_POINT('',#532);
#532 = CARTESIAN_POINT('',(19.007968365577,-5.,-12.49934462961));
#533 = LINE('',#534,#535);
#534 = CARTESIAN_POINT('',(19.007968365577,-5.,-16.37534462961));
#535 = VECTOR('',#536,1.);
#536 = DIRECTION('',(0.,0.,1.));
#537 = ORIENTED_EDGE('',*,*,#538,.T.);
#538 = EDGE_CURVE('',#531,#539,#541,.T.);
#539 = VERTEX_POINT('',#540);
#540 = CARTESIAN_POINT('',(15.607968365577,-5.,-9.099344629614));
#541 = CIRCLE('',#542,3.4);
#542 = AXIS2_PLACEMENT_3D('',#543,#544,#545);
#543 = CARTESIAN_POINT('',(15.607968365577,-5.,-12.49934462961));
#544 = DIRECTION('',(0.,-1.,0.));
#545 = DIRECTION('',(0.,0.,-1.));
#546 = ORIENTED_EDGE('',*,*,#547,.T.);
#547 = EDGE_CURVE('',#539,#548,#550,.T.);
#548 = VERTEX_POINT('',#549);
#549 = CARTESIAN_POINT('',(14.827968365577,-5.,-9.099344629614));
#550 = LINE('',#551,#552);
#551 = CARTESIAN_POINT('',(15.607968365577,-5.,-9.099344629614));
#552 = VECTOR('',#553,1.);
#553 = DIRECTION('',(-1.,0.,0.));
#554 = ORIENTED_EDGE('',*,*,#555,.T.);
#555 = EDGE_CURVE('',#548,#556,#558,.T.);
#556 = VERTEX_POINT('',#557);
#557 = CARTESIAN_POINT('',(14.827968365577,-5.,-8.049344629614));
#558 = CIRCLE('',#559,0.525);
#559 = AXIS2_PLACEMENT_3D('',#560,#561,#562);
#560 = CARTESIAN_POINT('',(14.827968365577,-5.,-8.574344629614));
#561 = DIRECTION('',(0.,1.,0.));
#562 = DIRECTION('',(0.,0.,-1.));
#563 = ORIENTED_EDGE('',*,*,#564,.T.);
#564 = EDGE_CURVE('',#556,#565,#567,.T.);
#565 = VERTEX_POINT('',#566);
#566 = CARTESIAN_POINT('',(17.294968365577,-5.,-8.049344629614));
#567 = LINE('',#568,#569);
#568 = CARTESIAN_POINT('',(14.827968365577,-5.,-8.049344629614));
#569 = VECTOR('',#570,1.);
#570 = DIRECTION('',(1.,0.,-4.500296E-16));
#571 = ORIENTED_EDGE('',*,*,#572,.T.);
#572 = EDGE_CURVE('',#565,#573,#575,.T.);
#573 = VERTEX_POINT('',#574);
#574 = CARTESIAN_POINT('',(17.294968365577,-5.,-8.909344629614));
#575 = LINE('',#576,#577);
#576 = CARTESIAN_POINT('',(17.294968365577,-5.,-8.049344629614));
#577 = VECTOR('',#578,1.);
#578 = DIRECTION('',(0.,0.,-1.));
#579 = ORIENTED_EDGE('',*,*,#580,.T.);
#580 = EDGE_CURVE('',#573,#581,#583,.T.);
#581 = VERTEX_POINT('',#582);
#582 = CARTESIAN_POINT('',(18.415025506977,-5.,-10.02940177101));
#583 = LINE('',#584,#585);
#584 = CARTESIAN_POINT('',(17.294968365577,-5.,-8.909344629614));
#585 = VECTOR('',#586,1.);
#586 = DIRECTION('',(0.707106781187,0.,-0.707106781187));
#587 = ORIENTED_EDGE('',*,*,#588,.T.);
#588 = EDGE_CURVE('',#581,#589,#591,.T.);
#589 = VERTEX_POINT('',#590);
#590 = CARTESIAN_POINT('',(19.895,-5.,-8.54942727799));
#591 = LINE('',#592,#593);
#592 = CARTESIAN_POINT('',(18.415025506977,-5.,-10.02940177101));
#593 = VECTOR('',#594,1.);
#594 = DIRECTION('',(0.707106781187,0.,0.707106781187));
#595 = ORIENTED_EDGE('',*,*,#596,.T.);
#596 = EDGE_CURVE('',#589,#597,#599,.T.);
#597 = VERTEX_POINT('',#598);
#598 = CARTESIAN_POINT('',(19.895,-5.,-4.98442727799));
#599 = LINE('',#600,#601);
#600 = CARTESIAN_POINT('',(19.895,-5.,-8.54942727799));
#601 = VECTOR('',#602,1.);
#602 = DIRECTION('',(0.,0.,1.));
#603 = ORIENTED_EDGE('',*,*,#604,.T.);
#604 = EDGE_CURVE('',#597,#605,#607,.T.);
#605 = VERTEX_POINT('',#606);
#606 = CARTESIAN_POINT('',(21.264432852446,-5.,-2.6125));
#607 = LINE('',#608,#609);
#608 = CARTESIAN_POINT('',(19.895,-5.,-4.98442727799));
#609 = VECTOR('',#610,1.);
#610 = DIRECTION('',(0.5,0.,0.866025403784));
#611 = ORIENTED_EDGE('',*,*,#612,.T.);
#612 = EDGE_CURVE('',#605,#169,#613,.T.);
#613 = CIRCLE('',#614,0.675);
#614 = AXIS2_PLACEMENT_3D('',#615,#616,#617);
#615 = CARTESIAN_POINT('',(20.679865704891,-5.,-2.275));
#616 = DIRECTION('',(0.,-1.,0.));
#617 = DIRECTION('',(0.,0.,-1.));
#618 = PLANE('',#619);
#619 = AXIS2_PLACEMENT_3D('',#620,#621,#622);
#620 = CARTESIAN_POINT('',(0.906302320593,-5.,-10.39007938588));
#621 = DIRECTION('',(0.,-1.,0.));
#622 = DIRECTION('',(0.,0.,-1.));
#623 = ADVANCED_FACE('',(#624),#658,.T.);
#624 = FACE_BOUND('',#625,.T.);
#625 = EDGE_LOOP('',(#626,#636,#644,#652));
#626 = ORIENTED_EDGE('',*,*,#627,.F.);
#627 = EDGE_CURVE('',#628,#630,#632,.T.);
#628 = VERTEX_POINT('',#629);
#629 = CARTESIAN_POINT('',(-21.245,5.,-1.6));
#630 = VERTEX_POINT('',#631);
#631 = CARTESIAN_POINT('',(-21.245,-5.,-1.6));
#632 = LINE('',#633,#634);
#633 = CARTESIAN_POINT('',(-21.245,0.,-1.6));
#634 = VECTOR('',#635,1.);
#635 = DIRECTION('',(0.,-1.,0.));
#636 = ORIENTED_EDGE('',*,*,#637,.F.);
#637 = EDGE_CURVE('',#638,#628,#640,.T.);
#638 = VERTEX_POINT('',#639);
#639 = CARTESIAN_POINT('',(-21.245,5.,-17.10140467513));
#640 = LINE('',#641,#642);
#641 = CARTESIAN_POINT('',(-21.245,5.,-1.6));
#642 = VECTOR('',#643,1.);
#643 = DIRECTION('',(0.,0.,1.));
#644 = ORIENTED_EDGE('',*,*,#645,.T.);
#645 = EDGE_CURVE('',#638,#646,#648,.T.);
#646 = VERTEX_POINT('',#647);
#647 = CARTESIAN_POINT('',(-21.245,-5.,-17.10140467513));
#648 = LINE('',#649,#650);
#649 = CARTESIAN_POINT('',(-21.245,0.,-17.10140467513));
#650 = VECTOR('',#651,1.);
#651 = DIRECTION('',(0.,-1.,0.));
#652 = ORIENTED_EDGE('',*,*,#653,.F.);
#653 = EDGE_CURVE('',#630,#646,#654,.T.);
#654 = LINE('',#655,#656);
#655 = CARTESIAN_POINT('',(-21.245,-5.,-1.6));
#656 = VECTOR('',#657,1.);
#657 = DIRECTION('',(0.,0.,-1.));
#658 = PLANE('',#659);
#659 = AXIS2_PLACEMENT_3D('',#660,#661,#662);
#660 = CARTESIAN_POINT('',(-21.245,0.,-17.10140467513));
#661 = DIRECTION('',(-1.,0.,0.));
#662 = DIRECTION('',(0.,-1.,0.));
#663 = ADVANCED_FACE('',(#664),#698,.T.);
#664 = FACE_BOUND('',#665,.T.);
#665 = EDGE_LOOP('',(#666,#676,#684,#692));
#666 = ORIENTED_EDGE('',*,*,#667,.F.);
#667 = EDGE_CURVE('',#668,#670,#672,.T.);
#668 = VERTEX_POINT('',#669);
#669 = CARTESIAN_POINT('',(-21.245,5.,-17.10140467513));
#670 = VERTEX_POINT('',#671);
#671 = CARTESIAN_POINT('',(-21.245,-5.,-17.10140467513));
#672 = LINE('',#673,#674);
#673 = CARTESIAN_POINT('',(-21.245,0.,-17.10140467513));
#674 = VECTOR('',#675,1.);
#675 = DIRECTION('',(0.,-1.,0.));
#676 = ORIENTED_EDGE('',*,*,#677,.F.);
#677 = EDGE_CURVE('',#678,#668,#680,.T.);
#678 = VERTEX_POINT('',#679);
#679 = CARTESIAN_POINT('',(-17.47425281401,5.,-17.10140467513));
#680 = LINE('',#681,#682);
#681 = CARTESIAN_POINT('',(-21.245,5.,-17.10140467513));
#682 = VECTOR('',#683,1.);
#683 = DIRECTION('',(-1.,0.,-5.88861E-16));
#684 = ORIENTED_EDGE('',*,*,#685,.T.);
#685 = EDGE_CURVE('',#678,#686,#688,.T.);
#686 = VERTEX_POINT('',#687);
#687 = CARTESIAN_POINT('',(-17.47425281401,-5.,-17.10140467513));
#688 = LINE('',#689,#690);
#689 = CARTESIAN_POINT('',(-17.47425281401,0.,-17.10140467513));
#690 = VECTOR('',#691,1.);
#691 = DIRECTION('',(0.,-1.,0.));
#692 = ORIENTED_EDGE('',*,*,#693,.F.);
#693 = EDGE_CURVE('',#670,#686,#694,.T.);
#694 = LINE('',#695,#696);
#695 = CARTESIAN_POINT('',(-21.245,-5.,-17.10140467513));
#696 = VECTOR('',#697,1.);
#697 = DIRECTION('',(1.,0.,5.88861E-16));
#698 = PLANE('',#699);
#699 = AXIS2_PLACEMENT_3D('',#700,#701,#702);
#700 = CARTESIAN_POINT('',(-17.47425281401,0.,-17.10140467513));
#701 = DIRECTION('',(5.88861E-16,0.,-1.));
#702 = DIRECTION('',(0.,1.,0.));
#703 = ADVANCED_FACE('',(#704),#738,.T.);
#704 = FACE_BOUND('',#705,.T.);
#705 = EDGE_LOOP('',(#706,#716,#724,#732));
#706 = ORIENTED_EDGE('',*,*,#707,.F.);
#707 = EDGE_CURVE('',#708,#710,#712,.T.);
#708 = VERTEX_POINT('',#709);
#709 = CARTESIAN_POINT('',(-17.47425281401,5.,-17.10140467513));
#710 = VERTEX_POINT('',#711);
#711 = CARTESIAN_POINT('',(-17.47425281401,-5.,-17.10140467513));
#712 = LINE('',#713,#714);
#713 = CARTESIAN_POINT('',(-17.47425281401,0.,-17.10140467513));
#714 = VECTOR('',#715,1.);
#715 = DIRECTION('',(0.,-1.,0.));
#716 = ORIENTED_EDGE('',*,*,#717,.F.);
#717 = EDGE_CURVE('',#718,#708,#720,.T.);
#718 = VERTEX_POINT('',#719);
#719 = CARTESIAN_POINT('',(-16.52390130009,5.,-16.15105316122));
#720 = LINE('',#721,#722);
#721 = CARTESIAN_POINT('',(-17.47425281401,5.,-17.10140467513));
#722 = VECTOR('',#723,1.);
#723 = DIRECTION('',(-0.707106781187,0.,-0.707106781187));
#724 = ORIENTED_EDGE('',*,*,#725,.T.);
#725 = EDGE_CURVE('',#718,#726,#728,.T.);
#726 = VERTEX_POINT('',#727);
#727 = CARTESIAN_POINT('',(-16.52390130009,-5.,-16.15105316122));
#728 = LINE('',#729,#730);
#729 = CARTESIAN_POINT('',(-16.52390130009,0.,-16.15105316122));
#730 = VECTOR('',#731,1.);
#731 = DIRECTION('',(0.,-1.,0.));
#732 = ORIENTED_EDGE('',*,*,#733,.F.);
#733 = EDGE_CURVE('',#710,#726,#734,.T.);
#734 = LINE('',#735,#736);
#735 = CARTESIAN_POINT('',(-17.47425281401,-5.,-17.10140467513));
#736 = VECTOR('',#737,1.);
#737 = DIRECTION('',(0.707106781187,0.,0.707106781187));
#738 = PLANE('',#739);
#739 = AXIS2_PLACEMENT_3D('',#740,#741,#742);
#740 = CARTESIAN_POINT('',(-16.52390130009,0.,-16.15105316122));
#741 = DIRECTION('',(0.707106781187,0.,-0.707106781187));
#742 = DIRECTION('',(0.,1.,0.));
#743 = ADVANCED_FACE('',(#744),#778,.T.);
#744 = FACE_BOUND('',#745,.T.);
#745 = EDGE_LOOP('',(#746,#756,#764,#772));
#746 = ORIENTED_EDGE('',*,*,#747,.F.);
#747 = EDGE_CURVE('',#748,#750,#752,.T.);
#748 = VERTEX_POINT('',#749);
#749 = CARTESIAN_POINT('',(-16.52390130009,5.,-16.15105316122));
#750 = VERTEX_POINT('',#751);
#751 = CARTESIAN_POINT('',(-16.52390130009,-5.,-16.15105316122));
#752 = LINE('',#753,#754);
#753 = CARTESIAN_POINT('',(-16.52390130009,0.,-16.15105316122));
#754 = VECTOR('',#755,1.);
#755 = DIRECTION('',(0.,-1.,0.));
#756 = ORIENTED_EDGE('',*,*,#757,.F.);
#757 = EDGE_CURVE('',#758,#748,#760,.T.);
#758 = VERTEX_POINT('',#759);
#759 = CARTESIAN_POINT('',(-16.52390130009,5.,-15.70105316122));
#760 = LINE('',#761,#762);
#761 = CARTESIAN_POINT('',(-16.52390130009,5.,-16.15105316122));
#762 = VECTOR('',#763,1.);
#763 = DIRECTION('',(0.,0.,-1.));
#764 = ORIENTED_EDGE('',*,*,#765,.T.);
#765 = EDGE_CURVE('',#758,#766,#768,.T.);
#766 = VERTEX_POINT('',#767);
#767 = CARTESIAN_POINT('',(-16.52390130009,-5.,-15.70105316122));
#768 = LINE('',#769,#770);
#769 = CARTESIAN_POINT('',(-16.52390130009,0.,-15.70105316122));
#770 = VECTOR('',#771,1.);
#771 = DIRECTION('',(0.,-1.,0.));
#772 = ORIENTED_EDGE('',*,*,#773,.F.);
#773 = EDGE_CURVE('',#750,#766,#774,.T.);
#774 = LINE('',#775,#776);
#775 = CARTESIAN_POINT('',(-16.52390130009,-5.,-16.15105316122));
#776 = VECTOR('',#777,1.);
#777 = DIRECTION('',(0.,0.,1.));
#778 = PLANE('',#779);
#779 = AXIS2_PLACEMENT_3D('',#780,#781,#782);
#780 = CARTESIAN_POINT('',(-16.52390130009,0.,-15.70105316122));
#781 = DIRECTION('',(1.,0.,0.));
#782 = DIRECTION('',(0.,1.,0.));
#783 = ADVANCED_FACE('',(#784),#818,.T.);
#784 = FACE_BOUND('',#785,.T.);
#785 = EDGE_LOOP('',(#786,#796,#804,#812));
#786 = ORIENTED_EDGE('',*,*,#787,.F.);
#787 = EDGE_CURVE('',#788,#790,#792,.T.);
#788 = VERTEX_POINT('',#789);
#789 = CARTESIAN_POINT('',(-16.52390130009,5.,-15.70105316122));
#790 = VERTEX_POINT('',#791);
#791 = CARTESIAN_POINT('',(-16.52390130009,-5.,-15.70105316122));
#792 = LINE('',#793,#794);
#793 = CARTESIAN_POINT('',(-16.52390130009,0.,-15.70105316122));
#794 = VECTOR('',#795,1.);
#795 = DIRECTION('',(0.,-1.,0.));
#796 = ORIENTED_EDGE('',*,*,#797,.F.);
#797 = EDGE_CURVE('',#798,#788,#800,.T.);
#798 = VERTEX_POINT('',#799);
#799 = CARTESIAN_POINT('',(-17.32425574219,5.,-15.50090879581));
#800 = LINE('',#801,#802);
#801 = CARTESIAN_POINT('',(-16.52390130009,5.,-15.70105316122));
#802 = VECTOR('',#803,1.);
#803 = DIRECTION('',(0.97012659649,0.,-0.242599230795));
#804 = ORIENTED_EDGE('',*,*,#805,.T.);
#805 = EDGE_CURVE('',#798,#806,#808,.T.);
#806 = VERTEX_POINT('',#807);
#807 = CARTESIAN_POINT('',(-17.32425574219,-5.,-15.50090879581));
#808 = LINE('',#809,#810);
#809 = CARTESIAN_POINT('',(-17.32425574219,0.,-15.50090879581));
#810 = VECTOR('',#811,1.);
#811 = DIRECTION('',(0.,-1.,0.));
#812 = ORIENTED_EDGE('',*,*,#813,.F.);
#813 = EDGE_CURVE('',#790,#806,#814,.T.);
#814 = LINE('',#815,#816);
#815 = CARTESIAN_POINT('',(-16.52390130009,-5.,-15.70105316122));
#816 = VECTOR('',#817,1.);
#817 = DIRECTION('',(-0.97012659649,0.,0.242599230795));
#818 = PLANE('',#819);
#819 = AXIS2_PLACEMENT_3D('',#820,#821,#822);
#820 = CARTESIAN_POINT('',(-17.32425574219,0.,-15.50090879581));
#821 = DIRECTION('',(0.242599230795,0.,0.97012659649));
#822 = DIRECTION('',(0.,-1.,0.));
#823 = ADVANCED_FACE('',(#824),#858,.T.);
#824 = FACE_BOUND('',#825,.T.);
#825 = EDGE_LOOP('',(#826,#836,#844,#852));
#826 = ORIENTED_EDGE('',*,*,#827,.F.);
#827 = EDGE_CURVE('',#828,#830,#832,.T.);
#828 = VERTEX_POINT('',#829);
#829 = CARTESIAN_POINT('',(-17.32425574219,5.,-15.50090879581));
#830 = VERTEX_POINT('',#831);
#831 = CARTESIAN_POINT('',(-17.32425574219,-5.,-15.50090879581));
#832 = LINE('',#833,#834);
#833 = CARTESIAN_POINT('',(-17.32425574219,0.,-15.50090879581));
#834 = VECTOR('',#835,1.);
#835 = DIRECTION('',(0.,-1.,0.));
#836 = ORIENTED_EDGE('',*,*,#837,.F.);
#837 = EDGE_CURVE('',#838,#828,#840,.T.);
#838 = VERTEX_POINT('',#839);
#839 = CARTESIAN_POINT('',(-17.32425574219,5.,-14.30090879581));
#840 = LINE('',#841,#842);
#841 = CARTESIAN_POINT('',(-17.32425574219,5.,-15.50090879581));
#842 = VECTOR('',#843,1.);
#843 = DIRECTION('',(0.,0.,-1.));
#844 = ORIENTED_EDGE('',*,*,#845,.T.);
#845 = EDGE_CURVE('',#838,#846,#848,.T.);
#846 = VERTEX_POINT('',#847);
#847 = CARTESIAN_POINT('',(-17.32425574219,-5.,-14.30090879581));
#848 = LINE('',#849,#850);
#849 = CARTESIAN_POINT('',(-17.32425574219,0.,-14.30090879581));
#850 = VECTOR('',#851,1.);
#851 = DIRECTION('',(0.,-1.,0.));
#852 = ORIENTED_EDGE('',*,*,#853,.F.);
#853 = EDGE_CURVE('',#830,#846,#854,.T.);
#854 = LINE('',#855,#856);
#855 = CARTESIAN_POINT('',(-17.32425574219,-5.,-15.50090879581));
#856 = VECTOR('',#857,1.);
#857 = DIRECTION('',(0.,0.,1.));
#858 = PLANE('',#859);
#859 = AXIS2_PLACEMENT_3D('',#860,#861,#862);
#860 = CARTESIAN_POINT('',(-17.32425574219,0.,-14.30090879581));
#861 = DIRECTION('',(1.,0.,0.));
#862 = DIRECTION('',(0.,1.,0.));
#863 = ADVANCED_FACE('',(#864),#898,.T.);
#864 = FACE_BOUND('',#865,.T.);
#865 = EDGE_LOOP('',(#866,#876,#884,#892));
#866 = ORIENTED_EDGE('',*,*,#867,.F.);
#867 = EDGE_CURVE('',#868,#870,#872,.T.);
#868 = VERTEX_POINT('',#869);
#869 = CARTESIAN_POINT('',(-17.32425574219,5.,-14.30090879581));
#870 = VERTEX_POINT('',#871);
#871 = CARTESIAN_POINT('',(-17.32425574219,-5.,-14.30090879581));
#872 = LINE('',#873,#874);
#873 = CARTESIAN_POINT('',(-17.32425574219,0.,-14.30090879581));
#874 = VECTOR('',#875,1.);
#875 = DIRECTION('',(0.,-1.,0.));
#876 = ORIENTED_EDGE('',*,*,#877,.F.);
#877 = EDGE_CURVE('',#878,#868,#880,.T.);
#878 = VERTEX_POINT('',#879);
#879 = CARTESIAN_POINT('',(-13.24925574219,5.,-14.30090879581));
#880 = LINE('',#881,#882);
#881 = CARTESIAN_POINT('',(-17.32425574219,5.,-14.30090879581));
#882 = VECTOR('',#883,1.);
#883 = DIRECTION('',(-1.,0.,0.));
#884 = ORIENTED_EDGE('',*,*,#885,.T.);
#885 = EDGE_CURVE('',#878,#886,#888,.T.);
#886 = VERTEX_POINT('',#887);
#887 = CARTESIAN_POINT('',(-13.24925574219,-5.,-14.30090879581));
#888 = LINE('',#889,#890);
#889 = CARTESIAN_POINT('',(-13.24925574219,0.,-14.30090879581));
#890 = VECTOR('',#891,1.);
#891 = DIRECTION('',(0.,-1.,0.));
#892 = ORIENTED_EDGE('',*,*,#893,.F.);
#893 = EDGE_CURVE('',#870,#886,#894,.T.);
#894 = LINE('',#895,#896);
#895 = CARTESIAN_POINT('',(-17.32425574219,-5.,-14.30090879581));
#896 = VECTOR('',#897,1.);
#897 = DIRECTION('',(1.,0.,0.));
#898 = PLANE('',#899);
#899 = AXIS2_PLACEMENT_3D('',#900,#901,#902);
#900 = CARTESIAN_POINT('',(-13.24925574219,0.,-14.30090879581));
#901 = DIRECTION('',(0.,0.,-1.));
#902 = DIRECTION('',(0.,1.,0.));
#903 = ADVANCED_FACE('',(#904),#938,.T.);
#904 = FACE_BOUND('',#905,.T.);
#905 = EDGE_LOOP('',(#906,#916,#924,#932));
#906 = ORIENTED_EDGE('',*,*,#907,.F.);
#907 = EDGE_CURVE('',#908,#910,#912,.T.);
#908 = VERTEX_POINT('',#909);
#909 = CARTESIAN_POINT('',(-13.24925574219,5.,-14.30090879581));
#910 = VERTEX_POINT('',#911);
#911 = CARTESIAN_POINT('',(-13.24925574219,-5.,-14.30090879581));
#912 = LINE('',#913,#914);
#913 = CARTESIAN_POINT('',(-13.24925574219,0.,-14.30090879581));
#914 = VECTOR('',#915,1.);
#915 = DIRECTION('',(0.,-1.,0.));
#916 = ORIENTED_EDGE('',*,*,#917,.F.);
#917 = EDGE_CURVE('',#918,#908,#920,.T.);
#918 = VERTEX_POINT('',#919);
#919 = CARTESIAN_POINT('',(-12.69153894849,5.,-11.93988614069));
#920 = LINE('',#921,#922);
#921 = CARTESIAN_POINT('',(-13.24925574219,5.,-14.30090879581));
#922 = VECTOR('',#923,1.);
#923 = DIRECTION('',(-0.229891506061,0.,-0.973216263449));
#924 = ORIENTED_EDGE('',*,*,#925,.T.);
#925 = EDGE_CURVE('',#918,#926,#928,.T.);
#926 = VERTEX_POINT('',#927);
#927 = CARTESIAN_POINT('',(-12.69153894849,-5.,-11.93988614069));
#928 = LINE('',#929,#930);
#929 = CARTESIAN_POINT('',(-12.69153894849,0.,-11.93988614069));
#930 = VECTOR('',#931,1.);
#931 = DIRECTION('',(0.,-1.,0.));
#932 = ORIENTED_EDGE('',*,*,#933,.F.);
#933 = EDGE_CURVE('',#910,#926,#934,.T.);
#934 = LINE('',#935,#936);
#935 = CARTESIAN_POINT('',(-13.24925574219,-5.,-14.30090879581));
#936 = VECTOR('',#937,1.);
#937 = DIRECTION('',(0.229891506061,0.,0.973216263449));
#938 = PLANE('',#939);
#939 = AXIS2_PLACEMENT_3D('',#940,#941,#942);
#940 = CARTESIAN_POINT('',(-12.69153894849,0.,-11.93988614069));
#941 = DIRECTION('',(0.973216263449,0.,-0.229891506061));
#942 = DIRECTION('',(0.,1.,0.));
#943 = ADVANCED_FACE('',(#944),#978,.T.);
#944 = FACE_BOUND('',#945,.T.);
#945 = EDGE_LOOP('',(#946,#956,#964,#972));
#946 = ORIENTED_EDGE('',*,*,#947,.F.);
#947 = EDGE_CURVE('',#948,#950,#952,.T.);
#948 = VERTEX_POINT('',#949);
#949 = CARTESIAN_POINT('',(-12.69153894849,5.,-11.93988614069));
#950 = VERTEX_POINT('',#951);
#951 = CARTESIAN_POINT('',(-12.69153894849,-5.,-11.93988614069));
#952 = LINE('',#953,#954);
#953 = CARTESIAN_POINT('',(-12.69153894849,0.,-11.93988614069));
#954 = VECTOR('',#955,1.);
#955 = DIRECTION('',(0.,-1.,0.));
#956 = ORIENTED_EDGE('',*,*,#957,.F.);
#957 = EDGE_CURVE('',#958,#948,#960,.T.);
#958 = VERTEX_POINT('',#959);
#959 = CARTESIAN_POINT('',(-12.66625806829,5.,-10.1080605821));
#960 = LINE('',#961,#962);
#961 = CARTESIAN_POINT('',(-12.69153894849,5.,-11.93988614069));
#962 = VECTOR('',#963,1.);
#963 = DIRECTION('',(-1.379960709914E-02,0.,-0.999904780889));
#964 = ORIENTED_EDGE('',*,*,#965,.T.);
#965 = EDGE_CURVE('',#958,#966,#968,.T.);
#966 = VERTEX_POINT('',#967);
#967 = CARTESIAN_POINT('',(-12.66625806829,-5.,-10.1080605821));
#968 = LINE('',#969,#970);
#969 = CARTESIAN_POINT('',(-12.66625806829,0.,-10.1080605821));
#970 = VECTOR('',#971,1.);
#971 = DIRECTION('',(0.,-1.,0.));
#972 = ORIENTED_EDGE('',*,*,#973,.F.);
#973 = EDGE_CURVE('',#950,#966,#974,.T.);
#974 = LINE('',#975,#976);
#975 = CARTESIAN_POINT('',(-12.69153894849,-5.,-11.93988614069));
#976 = VECTOR('',#977,1.);
#977 = DIRECTION('',(1.379960709914E-02,0.,0.999904780889));
#978 = PLANE('',#979);
#979 = AXIS2_PLACEMENT_3D('',#980,#981,#982);
#980 = CARTESIAN_POINT('',(-12.66625806829,0.,-10.1080605821));
#981 = DIRECTION('',(0.999904780889,0.,-1.379960709914E-02));
#982 = DIRECTION('',(0.,1.,0.));
#983 = ADVANCED_FACE('',(#984),#1018,.T.);
#984 = FACE_BOUND('',#985,.T.);
#985 = EDGE_LOOP('',(#986,#996,#1004,#1012));
#986 = ORIENTED_EDGE('',*,*,#987,.F.);
#987 = EDGE_CURVE('',#988,#990,#992,.T.);
#988 = VERTEX_POINT('',#989);
#989 = CARTESIAN_POINT('',(-12.66625806829,5.,-10.1080605821));
#990 = VERTEX_POINT('',#991);
#991 = CARTESIAN_POINT('',(-12.66625806829,-5.,-10.1080605821));
#992 = LINE('',#993,#994);
#993 = CARTESIAN_POINT('',(-12.66625806829,0.,-10.1080605821));
#994 = VECTOR('',#995,1.);
#995 = DIRECTION('',(0.,-1.,0.));
#996 = ORIENTED_EDGE('',*,*,#997,.F.);
#997 = EDGE_CURVE('',#998,#988,#1000,.T.);
#998 = VERTEX_POINT('',#999);
#999 = CARTESIAN_POINT('',(-11.16625806829,5.,-10.1080605821));
#1000 = LINE('',#1001,#1002);
#1001 = CARTESIAN_POINT('',(-12.66625806829,5.,-10.1080605821));
#1002 = VECTOR('',#1003,1.);
#1003 = DIRECTION('',(-1.,0.,0.));
#1004 = ORIENTED_EDGE('',*,*,#1005,.T.);
#1005 = EDGE_CURVE('',#998,#1006,#1008,.T.);
#1006 = VERTEX_POINT('',#1007);
#1007 = CARTESIAN_POINT('',(-11.16625806829,-5.,-10.1080605821));
#1008 = LINE('',#1009,#1010);
#1009 = CARTESIAN_POINT('',(-11.16625806829,0.,-10.1080605821));
#1010 = VECTOR('',#1011,1.);
#1011 = DIRECTION('',(0.,-1.,0.));
#1012 = ORIENTED_EDGE('',*,*,#1013,.F.);
#1013 = EDGE_CURVE('',#990,#1006,#1014,.T.);
#1014 = LINE('',#1015,#1016);
#1015 = CARTESIAN_POINT('',(-12.66625806829,-5.,-10.1080605821));
#1016 = VECTOR('',#1017,1.);
#1017 = DIRECTION('',(1.,0.,0.));
#1018 = PLANE('',#1019);
#1019 = AXIS2_PLACEMENT_3D('',#1020,#1021,#1022);
#1020 = CARTESIAN_POINT('',(-11.16625806829,0.,-10.1080605821));
#1021 = DIRECTION('',(0.,0.,-1.));
#1022 = DIRECTION('',(0.,1.,0.));
#1023 = ADVANCED_FACE('',(#1024),#1058,.T.);
#1024 = FACE_BOUND('',#1025,.T.);
#1025 = EDGE_LOOP('',(#1026,#1036,#1044,#1052));
#1026 = ORIENTED_EDGE('',*,*,#1027,.F.);
#1027 = EDGE_CURVE('',#1028,#1030,#1032,.T.);
#1028 = VERTEX_POINT('',#1029);
#1029 = CARTESIAN_POINT('',(-11.16625806829,5.,-10.1080605821));
#1030 = VERTEX_POINT('',#1031);
#1031 = CARTESIAN_POINT('',(-11.16625806829,-5.,-10.1080605821));
#1032 = LINE('',#1033,#1034);
#1033 = CARTESIAN_POINT('',(-11.16625806829,0.,-10.1080605821));
#1034 = VECTOR('',#1035,1.);
#1035 = DIRECTION('',(0.,-1.,0.));
#1036 = ORIENTED_EDGE('',*,*,#1037,.F.);
#1037 = EDGE_CURVE('',#1038,#1028,#1040,.T.);
#1038 = VERTEX_POINT('',#1039);
#1039 = CARTESIAN_POINT('',(-11.16625806829,5.,-11.6820605821));
#1040 = LINE('',#1041,#1042);
#1041 = CARTESIAN_POINT('',(-11.16625806829,5.,-10.1080605821));
#1042 = VECTOR('',#1043,1.);
#1043 = DIRECTION('',(0.,0.,1.));
#1044 = ORIENTED_EDGE('',*,*,#1045,.T.);
#1045 = EDGE_CURVE('',#1038,#1046,#1048,.T.);
#1046 = VERTEX_POINT('',#1047);
#1047 = CARTESIAN_POINT('',(-11.16625806829,-5.,-11.6820605821));
#1048 = LINE('',#1049,#1050);
#1049 = CARTESIAN_POINT('',(-11.16625806829,0.,-11.6820605821));
#1050 = VECTOR('',#1051,1.);
#1051 = DIRECTION('',(0.,-1.,0.));
#1052 = ORIENTED_EDGE('',*,*,#1053,.F.);
#1053 = EDGE_CURVE('',#1030,#1046,#1054,.T.);
#1054 = LINE('',#1055,#1056);
#1055 = CARTESIAN_POINT('',(-11.16625806829,-5.,-10.1080605821));
#1056 = VECTOR('',#1057,1.);
#1057 = DIRECTION('',(0.,0.,-1.));
#1058 = PLANE('',#1059);
#1059 = AXIS2_PLACEMENT_3D('',#1060,#1061,#1062);
#1060 = CARTESIAN_POINT('',(-11.16625806829,0.,-11.6820605821));
#1061 = DIRECTION('',(-1.,0.,0.));
#1062 = DIRECTION('',(0.,-1.,0.));
#1063 = ADVANCED_FACE('',(#1064),#1098,.T.);
#1064 = FACE_BOUND('',#1065,.T.);
#1065 = EDGE_LOOP('',(#1066,#1076,#1084,#1092));
#1066 = ORIENTED_EDGE('',*,*,#1067,.F.);
#1067 = EDGE_CURVE('',#1068,#1070,#1072,.T.);
#1068 = VERTEX_POINT('',#1069);
#1069 = CARTESIAN_POINT('',(-11.16625806829,5.,-11.6820605821));
#1070 = VERTEX_POINT('',#1071);
#1071 = CARTESIAN_POINT('',(-11.16625806829,-5.,-11.6820605821));
#1072 = LINE('',#1073,#1074);
#1073 = CARTESIAN_POINT('',(-11.16625806829,0.,-11.6820605821));
#1074 = VECTOR('',#1075,1.);
#1075 = DIRECTION('',(0.,-1.,0.));
#1076 = ORIENTED_EDGE('',*,*,#1077,.F.);
#1077 = EDGE_CURVE('',#1078,#1068,#1080,.T.);
#1078 = VERTEX_POINT('',#1079);
#1079 = CARTESIAN_POINT('',(-12.39130628317,5.,-17.2078959824));
#1080 = LINE('',#1081,#1082);
#1081 = CARTESIAN_POINT('',(-11.16625806829,5.,-11.6820605821));
#1082 = VECTOR('',#1083,1.);
#1083 = DIRECTION('',(0.216439613938,0.,0.97629600712));
#1084 = ORIENTED_EDGE('',*,*,#1085,.T.);
#1085 = EDGE_CURVE('',#1078,#1086,#1088,.T.);
#1086 = VERTEX_POINT('',#1087);
#1087 = CARTESIAN_POINT('',(-12.39130628317,-5.,-17.2078959824));
#1088 = LINE('',#1089,#1090);
#1089 = CARTESIAN_POINT('',(-12.39130628317,0.,-17.2078959824));
#1090 = VECTOR('',#1091,1.);
#1091 = DIRECTION('',(0.,-1.,0.));
#1092 = ORIENTED_EDGE('',*,*,#1093,.F.);
#1093 = EDGE_CURVE('',#1070,#1086,#1094,.T.);
#1094 = LINE('',#1095,#1096);
#1095 = CARTESIAN_POINT('',(-11.16625806829,-5.,-11.6820605821));
#1096 = VECTOR('',#1097,1.);
#1097 = DIRECTION('',(-0.216439613938,0.,-0.97629600712));
#1098 = PLANE('',#1099);
#1099 = AXIS2_PLACEMENT_3D('',#1100,#1101,#1102);
#1100 = CARTESIAN_POINT('',(-12.39130628317,0.,-17.2078959824));
#1101 = DIRECTION('',(-0.97629600712,0.,0.216439613938));
#1102 = DIRECTION('',(0.,-1.,0.));
#1103 = ADVANCED_FACE('',(#1104),#1138,.T.);
#1104 = FACE_BOUND('',#1105,.T.);
#1105 = EDGE_LOOP('',(#1106,#1116,#1124,#1132));
#1106 = ORIENTED_EDGE('',*,*,#1107,.F.);
#1107 = EDGE_CURVE('',#1108,#1110,#1112,.T.);
#1108 = VERTEX_POINT('',#1109);
#1109 = CARTESIAN_POINT('',(-12.39130628317,5.,-17.2078959824));
#1110 = VERTEX_POINT('',#1111);
#1111 = CARTESIAN_POINT('',(-12.39130628317,-5.,-17.2078959824));
#1112 = LINE('',#1113,#1114);
#1113 = CARTESIAN_POINT('',(-12.39130628317,0.,-17.2078959824));
#1114 = VECTOR('',#1115,1.);
#1115 = DIRECTION('',(0.,-1.,0.));
#1116 = ORIENTED_EDGE('',*,*,#1117,.F.);
#1117 = EDGE_CURVE('',#1118,#1108,#1120,.T.);
#1118 = VERTEX_POINT('',#1119);
#1119 = CARTESIAN_POINT('',(-12.39130628317,5.,-17.7078959824));
#1120 = LINE('',#1121,#1122);
#1121 = CARTESIAN_POINT('',(-12.39130628317,5.,-17.2078959824));
#1122 = VECTOR('',#1123,1.);
#1123 = DIRECTION('',(0.,0.,1.));
#1124 = ORIENTED_EDGE('',*,*,#1125,.T.);
#1125 = EDGE_CURVE('',#1118,#1126,#1128,.T.);
#1126 = VERTEX_POINT('',#1127);
#1127 = CARTESIAN_POINT('',(-12.39130628317,-5.,-17.7078959824));
#1128 = LINE('',#1129,#1130);
#1129 = CARTESIAN_POINT('',(-12.39130628317,0.,-17.7078959824));
#1130 = VECTOR('',#1131,1.);
#1131 = DIRECTION('',(0.,-1.,0.));
#1132 = ORIENTED_EDGE('',*,*,#1133,.F.);
#1133 = EDGE_CURVE('',#1110,#1126,#1134,.T.);
#1134 = LINE('',#1135,#1136);
#1135 = CARTESIAN_POINT('',(-12.39130628317,-5.,-17.2078959824));
#1136 = VECTOR('',#1137,1.);
#1137 = DIRECTION('',(0.,0.,-1.));
#1138 = PLANE('',#1139);
#1139 = AXIS2_PLACEMENT_3D('',#1140,#1141,#1142);
#1140 = CARTESIAN_POINT('',(-12.39130628317,0.,-17.7078959824));
#1141 = DIRECTION('',(-1.,0.,0.));
#1142 = DIRECTION('',(0.,-1.,0.));
#1143 = ADVANCED_FACE('',(#1144),#1178,.T.);
#1144 = FACE_BOUND('',#1145,.T.);
#1145 = EDGE_LOOP('',(#1146,#1156,#1164,#1172));
#1146 = ORIENTED_EDGE('',*,*,#1147,.F.);
#1147 = EDGE_CURVE('',#1148,#1150,#1152,.T.);
#1148 = VERTEX_POINT('',#1149);
#1149 = CARTESIAN_POINT('',(-12.39130628317,5.,-17.7078959824));
#1150 = VERTEX_POINT('',#1151);
#1151 = CARTESIAN_POINT('',(-12.39130628317,-5.,-17.7078959824));
#1152 = LINE('',#1153,#1154);
#1153 = CARTESIAN_POINT('',(-12.39130628317,0.,-17.7078959824));
#1154 = VECTOR('',#1155,1.);
#1155 = DIRECTION('',(0.,-1.,0.));
#1156 = ORIENTED_EDGE('',*,*,#1157,.F.);
#1157 = EDGE_CURVE('',#1158,#1148,#1160,.T.);
#1158 = VERTEX_POINT('',#1159);
#1159 = CARTESIAN_POINT('',(-11.54130628317,5.,-17.7078959824));
#1160 = LINE('',#1161,#1162);
#1161 = CARTESIAN_POINT('',(-12.39130628317,5.,-17.7078959824));
#1162 = VECTOR('',#1163,1.);
#1163 = DIRECTION('',(-1.,0.,0.));
#1164 = ORIENTED_EDGE('',*,*,#1165,.T.);
#1165 = EDGE_CURVE('',#1158,#1166,#1168,.T.);
#1166 = VERTEX_POINT('',#1167);
#1167 = CARTESIAN_POINT('',(-11.54130628317,-5.,-17.7078959824));
#1168 = LINE('',#1169,#1170);
#1169 = CARTESIAN_POINT('',(-11.54130628317,0.,-17.7078959824));
#1170 = VECTOR('',#1171,1.);
#1171 = DIRECTION('',(0.,-1.,0.));
#1172 = ORIENTED_EDGE('',*,*,#1173,.F.);
#1173 = EDGE_CURVE('',#1150,#1166,#1174,.T.);
#1174 = LINE('',#1175,#1176);
#1175 = CARTESIAN_POINT('',(-12.39130628317,-5.,-17.7078959824));
#1176 = VECTOR('',#1177,1.);
#1177 = DIRECTION('',(1.,0.,0.));
#1178 = PLANE('',#1179);
#1179 = AXIS2_PLACEMENT_3D('',#1180,#1181,#1182);
#1180 = CARTESIAN_POINT('',(-11.54130628317,0.,-17.7078959824));
#1181 = DIRECTION('',(0.,0.,-1.));
#1182 = DIRECTION('',(0.,1.,0.));
#1183 = ADVANCED_FACE('',(#1184),#1218,.T.);
#1184 = FACE_BOUND('',#1185,.T.);
#1185 = EDGE_LOOP('',(#1186,#1196,#1204,#1212));
#1186 = ORIENTED_EDGE('',*,*,#1187,.F.);
#1187 = EDGE_CURVE('',#1188,#1190,#1192,.T.);
#1188 = VERTEX_POINT('',#1189);
#1189 = CARTESIAN_POINT('',(-11.54130628317,5.,-17.7078959824));
#1190 = VERTEX_POINT('',#1191);
#1191 = CARTESIAN_POINT('',(-11.54130628317,-5.,-17.7078959824));
#1192 = LINE('',#1193,#1194);
#1193 = CARTESIAN_POINT('',(-11.54130628317,0.,-17.7078959824));
#1194 = VECTOR('',#1195,1.);
#1195 = DIRECTION('',(0.,-1.,0.));
#1196 = ORIENTED_EDGE('',*,*,#1197,.F.);
#1197 = EDGE_CURVE('',#1198,#1188,#1200,.T.);
#1198 = VERTEX_POINT('',#1199);
#1199 = CARTESIAN_POINT('',(-11.54130628317,5.,-19.2078959824));
#1200 = LINE('',#1201,#1202);
#1201 = CARTESIAN_POINT('',(-11.54130628317,5.,-17.7078959824));
#1202 = VECTOR('',#1203,1.);
#1203 = DIRECTION('',(0.,0.,1.));
#1204 = ORIENTED_EDGE('',*,*,#1205,.T.);
#1205 = EDGE_CURVE('',#1198,#1206,#1208,.T.);
#1206 = VERTEX_POINT('',#1207);
#1207 = CARTESIAN_POINT('',(-11.54130628317,-5.,-19.2078959824));
#1208 = LINE('',#1209,#1210);
#1209 = CARTESIAN_POINT('',(-11.54130628317,0.,-19.2078959824));
#1210 = VECTOR('',#1211,1.);
#1211 = DIRECTION('',(0.,-1.,0.));
#1212 = ORIENTED_EDGE('',*,*,#1213,.F.);
#1213 = EDGE_CURVE('',#1190,#1206,#1214,.T.);
#1214 = LINE('',#1215,#1216);
#1215 = CARTESIAN_POINT('',(-11.54130628317,-5.,-17.7078959824));
#1216 = VECTOR('',#1217,1.);
#1217 = DIRECTION('',(0.,0.,-1.));
#1218 = PLANE('',#1219);
#1219 = AXIS2_PLACEMENT_3D('',#1220,#1221,#1222);
#1220 = CARTESIAN_POINT('',(-11.54130628317,0.,-19.2078959824));
#1221 = DIRECTION('',(-1.,0.,0.));
#1222 = DIRECTION('',(0.,-1.,0.));
#1223 = ADVANCED_FACE('',(#1224),#1258,.T.);
#1224 = FACE_BOUND('',#1225,.T.);
#1225 = EDGE_LOOP('',(#1226,#1236,#1244,#1252));
#1226 = ORIENTED_EDGE('',*,*,#1227,.F.);
#1227 = EDGE_CURVE('',#1228,#1230,#1232,.T.);
#1228 = VERTEX_POINT('',#1229);
#1229 = CARTESIAN_POINT('',(-11.54130628317,5.,-19.2078959824));
#1230 = VERTEX_POINT('',#1231);
#1231 = CARTESIAN_POINT('',(-11.54130628317,-5.,-19.2078959824));
#1232 = LINE('',#1233,#1234);
#1233 = CARTESIAN_POINT('',(-11.54130628317,0.,-19.2078959824));
#1234 = VECTOR('',#1235,1.);
#1235 = DIRECTION('',(0.,-1.,0.));
#1236 = ORIENTED_EDGE('',*,*,#1237,.F.);
#1237 = EDGE_CURVE('',#1238,#1228,#1240,.T.);
#1238 = VERTEX_POINT('',#1239);
#1239 = CARTESIAN_POINT('',(-12.69153894849,5.,-19.33285123695));
#1240 = LINE('',#1241,#1242);
#1241 = CARTESIAN_POINT('',(-11.54130628317,5.,-19.2078959824));
#1242 = VECTOR('',#1243,1.);
#1243 = DIRECTION('',(0.994150963972,0.,0.107999355706));
#1244 = ORIENTED_EDGE('',*,*,#1245,.T.);
#1245 = EDGE_CURVE('',#1238,#1246,#1248,.T.);
#1246 = VERTEX_POINT('',#1247);
#1247 = CARTESIAN_POINT('',(-12.69153894849,-5.,-19.33285123695));
#1248 = LINE('',#1249,#1250);
#1249 = CARTESIAN_POINT('',(-12.69153894849,0.,-19.33285123695));
#1250 = VECTOR('',#1251,1.);
#1251 = DIRECTION('',(0.,-1.,0.));
#1252 = ORIENTED_EDGE('',*,*,#1253,.F.);
#1253 = EDGE_CURVE('',#1230,#1246,#1254,.T.);
#1254 = LINE('',#1255,#1256);
#1255 = CARTESIAN_POINT('',(-11.54130628317,-5.,-19.2078959824));
#1256 = VECTOR('',#1257,1.);
#1257 = DIRECTION('',(-0.994150963972,0.,-0.107999355706));
#1258 = PLANE('',#1259);
#1259 = AXIS2_PLACEMENT_3D('',#1260,#1261,#1262);
#1260 = CARTESIAN_POINT('',(-12.69153894849,0.,-19.33285123695));
#1261 = DIRECTION('',(-0.107999355706,0.,0.994150963972));
#1262 = DIRECTION('',(0.,-1.,0.));
#1263 = ADVANCED_FACE('',(#1264),#1298,.T.);
#1264 = FACE_BOUND('',#1265,.T.);
#1265 = EDGE_LOOP('',(#1266,#1276,#1284,#1292));
#1266 = ORIENTED_EDGE('',*,*,#1267,.F.);
#1267 = EDGE_CURVE('',#1268,#1270,#1272,.T.);
#1268 = VERTEX_POINT('',#1269);
#1269 = CARTESIAN_POINT('',(-12.69153894849,5.,-19.33285123695));
#1270 = VERTEX_POINT('',#1271);
#1271 = CARTESIAN_POINT('',(-12.69153894849,-5.,-19.33285123695));
#1272 = LINE('',#1273,#1274);
#1273 = CARTESIAN_POINT('',(-12.69153894849,0.,-19.33285123695));
#1274 = VECTOR('',#1275,1.);
#1275 = DIRECTION('',(0.,-1.,0.));
#1276 = ORIENTED_EDGE('',*,*,#1277,.F.);
#1277 = EDGE_CURVE('',#1278,#1268,#1280,.T.);
#1278 = VERTEX_POINT('',#1279);
#1279 = CARTESIAN_POINT('',(-12.69153894849,5.,-20.60785123695));
#1280 = LINE('',#1281,#1282);
#1281 = CARTESIAN_POINT('',(-12.69153894849,5.,-19.33285123695));
#1282 = VECTOR('',#1283,1.);
#1283 = DIRECTION('',(0.,0.,1.));
#1284 = ORIENTED_EDGE('',*,*,#1285,.T.);
#1285 = EDGE_CURVE('',#1278,#1286,#1288,.T.);
#1286 = VERTEX_POINT('',#1287);
#1287 = CARTESIAN_POINT('',(-12.69153894849,-5.,-20.60785123695));
#1288 = LINE('',#1289,#1290);
#1289 = CARTESIAN_POINT('',(-12.69153894849,0.,-20.60785123695));
#1290 = VECTOR('',#1291,1.);
#1291 = DIRECTION('',(0.,-1.,0.));
#1292 = ORIENTED_EDGE('',*,*,#1293,.F.);
#1293 = EDGE_CURVE('',#1270,#1286,#1294,.T.);
#1294 = LINE('',#1295,#1296);
#1295 = CARTESIAN_POINT('',(-12.69153894849,-5.,-19.33285123695));
#1296 = VECTOR('',#1297,1.);
#1297 = DIRECTION('',(0.,0.,-1.));
#1298 = PLANE('',#1299);
#1299 = AXIS2_PLACEMENT_3D('',#1300,#1301,#1302);
#1300 = CARTESIAN_POINT('',(-12.69153894849,0.,-20.60785123695));
#1301 = DIRECTION('',(-1.,0.,0.));
#1302 = DIRECTION('',(0.,-1.,0.));
#1303 = ADVANCED_FACE('',(#1304),#1338,.T.);
#1304 = FACE_BOUND('',#1305,.T.);
#1305 = EDGE_LOOP('',(#1306,#1316,#1324,#1332));
#1306 = ORIENTED_EDGE('',*,*,#1307,.F.);
#1307 = EDGE_CURVE('',#1308,#1310,#1312,.T.);
#1308 = VERTEX_POINT('',#1309);
#1309 = CARTESIAN_POINT('',(-12.69153894849,5.,-20.60785123695));
#1310 = VERTEX_POINT('',#1311);
#1311 = CARTESIAN_POINT('',(-12.69153894849,-5.,-20.60785123695));
#1312 = LINE('',#1313,#1314);
#1313 = CARTESIAN_POINT('',(-12.69153894849,0.,-20.60785123695));
#1314 = VECTOR('',#1315,1.);
#1315 = DIRECTION('',(0.,-1.,0.));
#1316 = ORIENTED_EDGE('',*,*,#1317,.F.);
#1317 = EDGE_CURVE('',#1318,#1308,#1320,.T.);
#1318 = VERTEX_POINT('',#1319);
#1319 = CARTESIAN_POINT('',(-9.741538948495,5.,-20.60785123695));
#1320 = LINE('',#1321,#1322);
#1321 = CARTESIAN_POINT('',(-12.69153894849,5.,-20.60785123695));
#1322 = VECTOR('',#1323,1.);
#1323 = DIRECTION('',(-1.,0.,0.));
#1324 = ORIENTED_EDGE('',*,*,#1325,.T.);
#1325 = EDGE_CURVE('',#1318,#1326,#1328,.T.);
#1326 = VERTEX_POINT('',#1327);
#1327 = CARTESIAN_POINT('',(-9.741538948495,-5.,-20.60785123695));
#1328 = LINE('',#1329,#1330);
#1329 = CARTESIAN_POINT('',(-9.741538948495,0.,-20.60785123695));
#1330 = VECTOR('',#1331,1.);
#1331 = DIRECTION('',(0.,-1.,0.));
#1332 = ORIENTED_EDGE('',*,*,#1333,.F.);
#1333 = EDGE_CURVE('',#1310,#1326,#1334,.T.);
#1334 = LINE('',#1335,#1336);
#1335 = CARTESIAN_POINT('',(-12.69153894849,-5.,-20.60785123695));
#1336 = VECTOR('',#1337,1.);
#1337 = DIRECTION('',(1.,0.,0.));
#1338 = PLANE('',#1339);
#1339 = AXIS2_PLACEMENT_3D('',#1340,#1341,#1342);
#1340 = CARTESIAN_POINT('',(-9.741538948495,0.,-20.60785123695));
#1341 = DIRECTION('',(0.,0.,-1.));
#1342 = DIRECTION('',(0.,1.,0.));
#1343 = ADVANCED_FACE('',(#1344),#1378,.T.);
#1344 = FACE_BOUND('',#1345,.T.);
#1345 = EDGE_LOOP('',(#1346,#1356,#1364,#1372));
#1346 = ORIENTED_EDGE('',*,*,#1347,.F.);
#1347 = EDGE_CURVE('',#1348,#1350,#1352,.T.);
#1348 = VERTEX_POINT('',#1349);
#1349 = CARTESIAN_POINT('',(-9.741538948495,5.,-20.60785123695));
#1350 = VERTEX_POINT('',#1351);
#1351 = CARTESIAN_POINT('',(-9.741538948495,-5.,-20.60785123695));
#1352 = LINE('',#1353,#1354);
#1353 = CARTESIAN_POINT('',(-9.741538948495,0.,-20.60785123695));
#1354 = VECTOR('',#1355,1.);
#1355 = DIRECTION('',(0.,-1.,0.));
#1356 = ORIENTED_EDGE('',*,*,#1357,.F.);
#1357 = EDGE_CURVE('',#1358,#1348,#1360,.T.);
#1358 = VERTEX_POINT('',#1359);
#1359 = CARTESIAN_POINT('',(-9.741538948495,5.,-18.95785123695));
#1360 = LINE('',#1361,#1362);
#1361 = CARTESIAN_POINT('',(-9.741538948495,5.,-20.60785123695));
#1362 = VECTOR('',#1363,1.);
#1363 = DIRECTION('',(0.,0.,-1.));
#1364 = ORIENTED_EDGE('',*,*,#1365,.T.);
#1365 = EDGE_CURVE('',#1358,#1366,#1368,.T.);
#1366 = VERTEX_POINT('',#1367);
#1367 = CARTESIAN_POINT('',(-9.741538948495,-5.,-18.95785123695));
#1368 = LINE('',#1369,#1370);
#1369 = CARTESIAN_POINT('',(-9.741538948495,0.,-18.95785123695));
#1370 = VECTOR('',#1371,1.);
#1371 = DIRECTION('',(0.,-1.,0.));
#1372 = ORIENTED_EDGE('',*,*,#1373,.F.);
#1373 = EDGE_CURVE('',#1350,#1366,#1374,.T.);
#1374 = LINE('',#1375,#1376);
#1375 = CARTESIAN_POINT('',(-9.741538948495,-5.,-20.60785123695));
#1376 = VECTOR('',#1377,1.);
#1377 = DIRECTION('',(0.,0.,1.));
#1378 = PLANE('',#1379);
#1379 = AXIS2_PLACEMENT_3D('',#1380,#1381,#1382);
#1380 = CARTESIAN_POINT('',(-9.741538948495,0.,-18.95785123695));
#1381 = DIRECTION('',(1.,0.,0.));
#1382 = DIRECTION('',(0.,1.,0.));
#1383 = ADVANCED_FACE('',(#1384),#1418,.T.);
#1384 = FACE_BOUND('',#1385,.T.);
#1385 = EDGE_LOOP('',(#1386,#1396,#1404,#1412));
#1386 = ORIENTED_EDGE('',*,*,#1387,.F.);
#1387 = EDGE_CURVE('',#1388,#1390,#1392,.T.);
#1388 = VERTEX_POINT('',#1389);
#1389 = CARTESIAN_POINT('',(-9.741538948495,5.,-18.95785123695));
#1390 = VERTEX_POINT('',#1391);
#1391 = CARTESIAN_POINT('',(-9.741538948495,-5.,-18.95785123695));
#1392 = LINE('',#1393,#1394);
#1393 = CARTESIAN_POINT('',(-9.741538948495,0.,-18.95785123695));
#1394 = VECTOR('',#1395,1.);
#1395 = DIRECTION('',(0.,-1.,0.));
#1396 = ORIENTED_EDGE('',*,*,#1397,.F.);
#1397 = EDGE_CURVE('',#1398,#1388,#1400,.T.);
#1398 = VERTEX_POINT('',#1399);
#1399 = CARTESIAN_POINT('',(-7.967538948495,5.,-18.95785123695));
#1400 = LINE('',#1401,#1402);
#1401 = CARTESIAN_POINT('',(-9.741538948495,5.,-18.95785123695));
#1402 = VECTOR('',#1403,1.);
#1403 = DIRECTION('',(-1.,0.,0.));
#1404 = ORIENTED_EDGE('',*,*,#1405,.T.);
#1405 = EDGE_CURVE('',#1398,#1406,#1408,.T.);
#1406 = VERTEX_POINT('',#1407);
#1407 = CARTESIAN_POINT('',(-7.967538948495,-5.,-18.95785123695));
#1408 = LINE('',#1409,#1410);
#1409 = CARTESIAN_POINT('',(-7.967538948495,0.,-18.95785123695));
#1410 = VECTOR('',#1411,1.);
#1411 = DIRECTION('',(0.,-1.,0.));
#1412 = ORIENTED_EDGE('',*,*,#1413,.F.);
#1413 = EDGE_CURVE('',#1390,#1406,#1414,.T.);
#1414 = LINE('',#1415,#1416);
#1415 = CARTESIAN_POINT('',(-9.741538948495,-5.,-18.95785123695));
#1416 = VECTOR('',#1417,1.);
#1417 = DIRECTION('',(1.,0.,0.));
#1418 = PLANE('',#1419);
#1419 = AXIS2_PLACEMENT_3D('',#1420,#1421,#1422);
#1420 = CARTESIAN_POINT('',(-7.967538948495,0.,-18.95785123695));
#1421 = DIRECTION('',(0.,0.,-1.));
#1422 = DIRECTION('',(0.,1.,0.));
#1423 = ADVANCED_FACE('',(#1424),#1460,.F.);
#1424 = FACE_BOUND('',#1425,.F.);
#1425 = EDGE_LOOP('',(#1426,#1437,#1445,#1454));
#1426 = ORIENTED_EDGE('',*,*,#1427,.T.);
#1427 = EDGE_CURVE('',#1428,#1430,#1432,.T.);
#1428 = VERTEX_POINT('',#1429);
#1429 = CARTESIAN_POINT('',(-7.967538948495,-5.,-18.95785123695));
#1430 = VERTEX_POINT('',#1431);
#1431 = CARTESIAN_POINT('',(3.688461051505,-5.,-14.86185123695));
#1432 = CIRCLE('',#1433,11.);
#1433 = AXIS2_PLACEMENT_3D('',#1434,#1435,#1436);
#1434 = CARTESIAN_POINT('',(0.877957345022,-5.,-25.49674986909));
#1435 = DIRECTION('',(0.,1.,-0.));
#1436 = DIRECTION('',(-0.804136026683,0.,0.594445330194));
#1437 = ORIENTED_EDGE('',*,*,#1438,.F.);
#1438 = EDGE_CURVE('',#1439,#1430,#1441,.T.);
#1439 = VERTEX_POINT('',#1440);
#1440 = CARTESIAN_POINT('',(3.688461051505,5.,-14.86185123695));
#1441 = LINE('',#1442,#1443);
#1442 = CARTESIAN_POINT('',(3.688461051505,0.,-14.86185123695));
#1443 = VECTOR('',#1444,1.);
#1444 = DIRECTION('',(0.,-1.,0.));
#1445 = ORIENTED_EDGE('',*,*,#1446,.T.);
#1446 = EDGE_CURVE('',#1439,#1447,#1449,.T.);
#1447 = VERTEX_POINT('',#1448);
#1448 = CARTESIAN_POINT('',(-7.967538948495,5.,-18.95785123695));
#1449 = CIRCLE('',#1450,11.);
#1450 = AXIS2_PLACEMENT_3D('',#1451,#1452,#1453);
#1451 = CARTESIAN_POINT('',(0.877957345022,5.,-25.49674986909));
#1452 = DIRECTION('',(0.,-1.,0.));
#1453 = DIRECTION('',(-0.804136026683,0.,0.594445330194));
#1454 = ORIENTED_EDGE('',*,*,#1455,.T.);
#1455 = EDGE_CURVE('',#1447,#1428,#1456,.T.);
#1456 = LINE('',#1457,#1458);
#1457 = CARTESIAN_POINT('',(-7.967538948495,0.,-18.95785123695));
#1458 = VECTOR('',#1459,1.);
#1459 = DIRECTION('',(0.,-1.,0.));
#1460 = CYLINDRICAL_SURFACE('',#1461,11.);
#1461 = AXIS2_PLACEMENT_3D('',#1462,#1463,#1464);
#1462 = CARTESIAN_POINT('',(0.877957345022,0.,-25.49674986909));
#1463 = DIRECTION('',(0.,1.,0.));
#1464 = DIRECTION('',(-0.804136026683,0.,0.594445330194));
#1465 = ADVANCED_FACE('',(#1466),#1502,.F.);
#1466 = FACE_BOUND('',#1467,.F.);
#1467 = EDGE_LOOP('',(#1468,#1479,#1487,#1496));
#1468 = ORIENTED_EDGE('',*,*,#1469,.T.);
#1469 = EDGE_CURVE('',#1470,#1472,#1474,.T.);
#1470 = VERTEX_POINT('',#1471);
#1471 = CARTESIAN_POINT('',(3.688461051505,-5.,-14.86185123695));
#1472 = VERTEX_POINT('',#1473);
#1473 = CARTESIAN_POINT('',(4.888461051505,-5.,-16.06185123695));
#1474 = CIRCLE('',#1475,1.2);
#1475 = AXIS2_PLACEMENT_3D('',#1476,#1477,#1478);
#1476 = CARTESIAN_POINT('',(3.688461051505,-5.,-16.06185123695));
#1477 = DIRECTION('',(0.,1.,0.));
#1478 = DIRECTION('',(0.,0.,1.));
#1479 = ORIENTED_EDGE('',*,*,#1480,.F.);
#1480 = EDGE_CURVE('',#1481,#1472,#1483,.T.);
#1481 = VERTEX_POINT('',#1482);
#1482 = CARTESIAN_POINT('',(4.888461051505,5.,-16.06185123695));
#1483 = LINE('',#1484,#1485);
#1484 = CARTESIAN_POINT('',(4.888461051505,0.,-16.06185123695));
#1485 = VECTOR('',#1486,1.);
#1486 = DIRECTION('',(0.,-1.,0.));
#1487 = ORIENTED_EDGE('',*,*,#1488,.T.);
#1488 = EDGE_CURVE('',#1481,#1489,#1491,.T.);
#1489 = VERTEX_POINT('',#1490);
#1490 = CARTESIAN_POINT('',(3.688461051505,5.,-14.86185123695));
#1491 = CIRCLE('',#1492,1.2);
#1492 = AXIS2_PLACEMENT_3D('',#1493,#1494,#1495);
#1493 = CARTESIAN_POINT('',(3.688461051505,5.,-16.06185123695));
#1494 = DIRECTION('',(0.,-1.,0.));
#1495 = DIRECTION('',(0.,0.,1.));
#1496 = ORIENTED_EDGE('',*,*,#1497,.T.);
#1497 = EDGE_CURVE('',#1489,#1470,#1498,.T.);
#1498 = LINE('',#1499,#1500);
#1499 = CARTESIAN_POINT('',(3.688461051505,0.,-14.86185123695));
#1500 = VECTOR('',#1501,1.);
#1501 = DIRECTION('',(0.,-1.,0.));
#1502 = CYLINDRICAL_SURFACE('',#1503,1.2);
#1503 = AXIS2_PLACEMENT_3D('',#1504,#1505,#1506);
#1504 = CARTESIAN_POINT('',(3.688461051505,0.,-16.06185123695));
#1505 = DIRECTION('',(0.,1.,0.));
#1506 = DIRECTION('',(0.,0.,1.));
#1507 = ADVANCED_FACE('',(#1508),#1544,.T.);
#1508 = FACE_BOUND('',#1509,.T.);
#1509 = EDGE_LOOP('',(#1510,#1520,#1529,#1537));
#1510 = ORIENTED_EDGE('',*,*,#1511,.F.);
#1511 = EDGE_CURVE('',#1512,#1514,#1516,.T.);
#1512 = VERTEX_POINT('',#1513);
#1513 = CARTESIAN_POINT('',(4.888461051505,5.,-16.06185123695));
#1514 = VERTEX_POINT('',#1515);
#1515 = CARTESIAN_POINT('',(4.888461051505,-5.,-16.06185123695));
#1516 = LINE('',#1517,#1518);
#1517 = CARTESIAN_POINT('',(4.888461051505,0.,-16.06185123695));
#1518 = VECTOR('',#1519,1.);
#1519 = DIRECTION('',(0.,-1.,0.));
#1520 = ORIENTED_EDGE('',*,*,#1521,.F.);
#1521 = EDGE_CURVE('',#1522,#1512,#1524,.T.);
#1522 = VERTEX_POINT('',#1523);
#1523 = CARTESIAN_POINT('',(5.552461051505,5.,-16.36235747648));
#1524 = CIRCLE('',#1525,0.4);
#1525 = AXIS2_PLACEMENT_3D('',#1526,#1527,#1528);
#1526 = CARTESIAN_POINT('',(5.288461051505,5.,-16.06185123695));
#1527 = DIRECTION('',(0.,1.,-0.));
#1528 = DIRECTION('',(-0.66,0.,0.75126559884));
#1529 = ORIENTED_EDGE('',*,*,#1530,.T.);
#1530 = EDGE_CURVE('',#1522,#1531,#1533,.T.);
#1531 = VERTEX_POINT('',#1532);
#1532 = CARTESIAN_POINT('',(5.552461051505,-5.,-16.36235747648));
#1533 = LINE('',#1534,#1535);
#1534 = CARTESIAN_POINT('',(5.552461051505,0.,-16.36235747648));
#1535 = VECTOR('',#1536,1.);
#1536 = DIRECTION('',(0.,-1.,0.));
#1537 = ORIENTED_EDGE('',*,*,#1538,.F.);
#1538 = EDGE_CURVE('',#1514,#1531,#1539,.T.);
#1539 = CIRCLE('',#1540,0.4);
#1540 = AXIS2_PLACEMENT_3D('',#1541,#1542,#1543);
#1541 = CARTESIAN_POINT('',(5.288461051505,-5.,-16.06185123695));
#1542 = DIRECTION('',(0.,-1.,0.));
#1543 = DIRECTION('',(-0.66,0.,0.75126559884));
#1544 = CYLINDRICAL_SURFACE('',#1545,0.4);
#1545 = AXIS2_PLACEMENT_3D('',#1546,#1547,#1548);
#1546 = CARTESIAN_POINT('',(5.288461051505,0.,-16.06185123695));
#1547 = DIRECTION('',(0.,1.,0.));
#1548 = DIRECTION('',(-0.66,0.,0.75126559884));
#1549 = ADVANCED_FACE('',(#1550),#1586,.T.);
#1550 = FACE_BOUND('',#1551,.T.);
#1551 = EDGE_LOOP('',(#1552,#1562,#1571,#1579));
#1552 = ORIENTED_EDGE('',*,*,#1553,.F.);
#1553 = EDGE_CURVE('',#1554,#1556,#1558,.T.);
#1554 = VERTEX_POINT('',#1555);
#1555 = CARTESIAN_POINT('',(5.552461051505,5.,-16.36235747648));
#1556 = VERTEX_POINT('',#1557);
#1557 = CARTESIAN_POINT('',(5.552461051505,-5.,-16.36235747648));
#1558 = LINE('',#1559,#1560);
#1559 = CARTESIAN_POINT('',(5.552461051505,0.,-16.36235747648));
#1560 = VECTOR('',#1561,1.);
#1561 = DIRECTION('',(0.,-1.,0.));
#1562 = ORIENTED_EDGE('',*,*,#1563,.F.);
#1563 = EDGE_CURVE('',#1564,#1554,#1566,.T.);
#1564 = VERTEX_POINT('',#1565);
#1565 = CARTESIAN_POINT('',(6.688407478026,5.,-13.95785123695));
#1566 = CIRCLE('',#1567,3.35);
#1567 = AXIS2_PLACEMENT_3D('',#1568,#1569,#1570);
#1568 = CARTESIAN_POINT('',(3.340252624267,5.,-13.84667985913));
#1569 = DIRECTION('',(0.,1.,-0.));
#1570 = DIRECTION('',(-0.999449210077,0.,3.318548591586E-02));
#1571 = ORIENTED_EDGE('',*,*,#1572,.T.);
#1572 = EDGE_CURVE('',#1564,#1573,#1575,.T.);
#1573 = VERTEX_POINT('',#1574);
#1574 = CARTESIAN_POINT('',(6.688407478026,-5.,-13.95785123695));
#1575 = LINE('',#1576,#1577);
#1576 = CARTESIAN_POINT('',(6.688407478026,0.,-13.95785123695));
#1577 = VECTOR('',#1578,1.);
#1578 = DIRECTION('',(0.,-1.,0.));
#1579 = ORIENTED_EDGE('',*,*,#1580,.F.);
#1580 = EDGE_CURVE('',#1556,#1573,#1581,.T.);
#1581 = CIRCLE('',#1582,3.35);
#1582 = AXIS2_PLACEMENT_3D('',#1583,#1584,#1585);
#1583 = CARTESIAN_POINT('',(3.340252624267,-5.,-13.84667985913));
#1584 = DIRECTION('',(0.,-1.,0.));
#1585 = DIRECTION('',(-0.999449210077,0.,3.318548591586E-02));
#1586 = CYLINDRICAL_SURFACE('',#1587,3.35);
#1587 = AXIS2_PLACEMENT_3D('',#1588,#1589,#1590);
#1588 = CARTESIAN_POINT('',(3.340252624267,0.,-13.84667985913));
#1589 = DIRECTION('',(0.,1.,0.));
#1590 = DIRECTION('',(-0.999449210077,0.,3.318548591586E-02));
#1591 = ADVANCED_FACE('',(#1592),#1628,.T.);
#1592 = FACE_BOUND('',#1593,.T.);
#1593 = EDGE_LOOP('',(#1594,#1604,#1613,#1621));
#1594 = ORIENTED_EDGE('',*,*,#1595,.F.);
#1595 = EDGE_CURVE('',#1596,#1598,#1600,.T.);
#1596 = VERTEX_POINT('',#1597);
#1597 = CARTESIAN_POINT('',(6.688407478026,5.,-13.95785123695));
#1598 = VERTEX_POINT('',#1599);
#1599 = CARTESIAN_POINT('',(6.688407478026,-5.,-13.95785123695));
#1600 = LINE('',#1601,#1602);
#1601 = CARTESIAN_POINT('',(6.688407478026,0.,-13.95785123695));
#1602 = VECTOR('',#1603,1.);
#1603 = DIRECTION('',(0.,-1.,0.));
#1604 = ORIENTED_EDGE('',*,*,#1605,.F.);
#1605 = EDGE_CURVE('',#1606,#1596,#1608,.T.);
#1606 = VERTEX_POINT('',#1607);
#1607 = CARTESIAN_POINT('',(5.683461051505,5.,-13.32785123695));
#1608 = CIRCLE('',#1609,0.699946426521);
#1609 = AXIS2_PLACEMENT_3D('',#1610,#1611,#1612);
#1610 = CARTESIAN_POINT('',(5.988461051505,5.,-13.95785123695));
#1611 = DIRECTION('',(0.,1.,0.));
#1612 = DIRECTION('',(0.435747635024,0.,-0.900068885459));
#1613 = ORIENTED_EDGE('',*,*,#1614,.T.);
#1614 = EDGE_CURVE('',#1606,#1615,#1617,.T.);
#1615 = VERTEX_POINT('',#1616);
#1616 = CARTESIAN_POINT('',(5.683461051505,-5.,-13.32785123695));
#1617 = LINE('',#1618,#1619);
#1618 = CARTESIAN_POINT('',(5.683461051505,0.,-13.32785123695));
#1619 = VECTOR('',#1620,1.);
#1620 = DIRECTION('',(0.,-1.,0.));
#1621 = ORIENTED_EDGE('',*,*,#1622,.F.);
#1622 = EDGE_CURVE('',#1598,#1615,#1623,.T.);
#1623 = CIRCLE('',#1624,0.699946426521);
#1624 = AXIS2_PLACEMENT_3D('',#1625,#1626,#1627);
#1625 = CARTESIAN_POINT('',(5.988461051505,-5.,-13.95785123695));
#1626 = DIRECTION('',(0.,-1.,0.));
#1627 = DIRECTION('',(0.435747635024,0.,-0.900068885459));
#1628 = CYLINDRICAL_SURFACE('',#1629,0.699946426521);
#1629 = AXIS2_PLACEMENT_3D('',#1630,#1631,#1632);
#1630 = CARTESIAN_POINT('',(5.988461051505,0.,-13.95785123695));
#1631 = DIRECTION('',(0.,1.,0.));
#1632 = DIRECTION('',(0.435747635024,0.,-0.900068885459));
#1633 = ADVANCED_FACE('',(#1634),#1668,.T.);
#1634 = FACE_BOUND('',#1635,.T.);
#1635 = EDGE_LOOP('',(#1636,#1646,#1654,#1662));
#1636 = ORIENTED_EDGE('',*,*,#1637,.F.);
#1637 = EDGE_CURVE('',#1638,#1640,#1642,.T.);
#1638 = VERTEX_POINT('',#1639);
#1639 = CARTESIAN_POINT('',(5.683461051505,5.,-13.32785123695));
#1640 = VERTEX_POINT('',#1641);
#1641 = CARTESIAN_POINT('',(5.683461051505,-5.,-13.32785123695));
#1642 = LINE('',#1643,#1644);
#1643 = CARTESIAN_POINT('',(5.683461051505,0.,-13.32785123695));
#1644 = VECTOR('',#1645,1.);
#1645 = DIRECTION('',(0.,-1.,0.));
#1646 = ORIENTED_EDGE('',*,*,#1647,.F.);
#1647 = EDGE_CURVE('',#1648,#1638,#1650,.T.);
#1648 = VERTEX_POINT('',#1649);
#1649 = CARTESIAN_POINT('',(5.683461051505,5.,-10.10785123695));
#1650 = LINE('',#1651,#1652);
#1651 = CARTESIAN_POINT('',(5.683461051505,5.,-13.32785123695));
#1652 = VECTOR('',#1653,1.);
#1653 = DIRECTION('',(0.,0.,-1.));
#1654 = ORIENTED_EDGE('',*,*,#1655,.T.);
#1655 = EDGE_CURVE('',#1648,#1656,#1658,.T.);
#1656 = VERTEX_POINT('',#1657);
#1657 = CARTESIAN_POINT('',(5.683461051505,-5.,-10.10785123695));
#1658 = LINE('',#1659,#1660);
#1659 = CARTESIAN_POINT('',(5.683461051505,0.,-10.10785123695));
#1660 = VECTOR('',#1661,1.);
#1661 = DIRECTION('',(0.,-1.,0.));
#1662 = ORIENTED_EDGE('',*,*,#1663,.F.);
#1663 = EDGE_CURVE('',#1640,#1656,#1664,.T.);
#1664 = LINE('',#1665,#1666);
#1665 = CARTESIAN_POINT('',(5.683461051505,-5.,-13.32785123695));
#1666 = VECTOR('',#1667,1.);
#1667 = DIRECTION('',(0.,0.,1.));
#1668 = PLANE('',#1669);
#1669 = AXIS2_PLACEMENT_3D('',#1670,#1671,#1672);
#1670 = CARTESIAN_POINT('',(5.683461051505,0.,-10.10785123695));
#1671 = DIRECTION('',(1.,0.,0.));
#1672 = DIRECTION('',(0.,1.,0.));
#1673 = ADVANCED_FACE('',(#1674),#1708,.T.);
#1674 = FACE_BOUND('',#1675,.T.);
#1675 = EDGE_LOOP('',(#1676,#1686,#1694,#1702));
#1676 = ORIENTED_EDGE('',*,*,#1677,.F.);
#1677 = EDGE_CURVE('',#1678,#1680,#1682,.T.);
#1678 = VERTEX_POINT('',#1679);
#1679 = CARTESIAN_POINT('',(5.683461051505,5.,-10.10785123695));
#1680 = VERTEX_POINT('',#1681);
#1681 = CARTESIAN_POINT('',(5.683461051505,-5.,-10.10785123695));
#1682 = LINE('',#1683,#1684);
#1683 = CARTESIAN_POINT('',(5.683461051505,0.,-10.10785123695));
#1684 = VECTOR('',#1685,1.);
#1685 = DIRECTION('',(0.,-1.,0.));
#1686 = ORIENTED_EDGE('',*,*,#1687,.F.);
#1687 = EDGE_CURVE('',#1688,#1678,#1690,.T.);
#1688 = VERTEX_POINT('',#1689);
#1689 = CARTESIAN_POINT('',(6.679461051505,5.,-10.10785123695));
#1690 = LINE('',#1691,#1692);
#1691 = CARTESIAN_POINT('',(5.683461051505,5.,-10.10785123695));
#1692 = VECTOR('',#1693,1.);
#1693 = DIRECTION('',(-1.,0.,0.));
#1694 = ORIENTED_EDGE('',*,*,#1695,.T.);
#1695 = EDGE_CURVE('',#1688,#1696,#1698,.T.);
#1696 = VERTEX_POINT('',#1697);
#1697 = CARTESIAN_POINT('',(6.679461051505,-5.,-10.10785123695));
#1698 = LINE('',#1699,#1700);
#1699 = CARTESIAN_POINT('',(6.679461051505,0.,-10.10785123695));
#1700 = VECTOR('',#1701,1.);
#1701 = DIRECTION('',(0.,-1.,0.));
#1702 = ORIENTED_EDGE('',*,*,#1703,.F.);
#1703 = EDGE_CURVE('',#1680,#1696,#1704,.T.);
#1704 = LINE('',#1705,#1706);
#1705 = CARTESIAN_POINT('',(5.683461051505,-5.,-10.10785123695));
#1706 = VECTOR('',#1707,1.);
#1707 = DIRECTION('',(1.,0.,0.));
#1708 = PLANE('',#1709);
#1709 = AXIS2_PLACEMENT_3D('',#1710,#1711,#1712);
#1710 = CARTESIAN_POINT('',(6.679461051505,0.,-10.10785123695));
#1711 = DIRECTION('',(0.,0.,-1.));
#1712 = DIRECTION('',(0.,1.,0.));
#1713 = ADVANCED_FACE('',(#1714),#1748,.T.);
#1714 = FACE_BOUND('',#1715,.T.);
#1715 = EDGE_LOOP('',(#1716,#1726,#1734,#1742));
#1716 = ORIENTED_EDGE('',*,*,#1717,.F.);
#1717 = EDGE_CURVE('',#1718,#1720,#1722,.T.);
#1718 = VERTEX_POINT('',#1719);
#1719 = CARTESIAN_POINT('',(6.679461051505,5.,-10.10785123695));
#1720 = VERTEX_POINT('',#1721);
#1721 = CARTESIAN_POINT('',(6.679461051505,-5.,-10.10785123695));
#1722 = LINE('',#1723,#1724);
#1723 = CARTESIAN_POINT('',(6.679461051505,0.,-10.10785123695));
#1724 = VECTOR('',#1725,1.);
#1725 = DIRECTION('',(0.,-1.,0.));
#1726 = ORIENTED_EDGE('',*,*,#1727,.F.);
#1727 = EDGE_CURVE('',#1728,#1718,#1730,.T.);
#1728 = VERTEX_POINT('',#1729);
#1729 = CARTESIAN_POINT('',(7.108065390195,5.,-11.70742440528));
#1730 = LINE('',#1731,#1732);
#1731 = CARTESIAN_POINT('',(6.679461051505,5.,-10.10785123695));
#1732 = VECTOR('',#1733,1.);
#1733 = DIRECTION('',(-0.258819045103,0.,0.965925826289));
#1734 = ORIENTED_EDGE('',*,*,#1735,.T.);
#1735 = EDGE_CURVE('',#1728,#1736,#1738,.T.);
#1736 = VERTEX_POINT('',#1737);
#1737 = CARTESIAN_POINT('',(7.108065390195,-5.,-11.70742440528));
#1738 = LINE('',#1739,#1740);
#1739 = CARTESIAN_POINT('',(7.108065390195,0.,-11.70742440528));
#1740 = VECTOR('',#1741,1.);
#1741 = DIRECTION('',(0.,-1.,0.));
#1742 = ORIENTED_EDGE('',*,*,#1743,.F.);
#1743 = EDGE_CURVE('',#1720,#1736,#1744,.T.);
#1744 = LINE('',#1745,#1746);
#1745 = CARTESIAN_POINT('',(6.679461051505,-5.,-10.10785123695));
#1746 = VECTOR('',#1747,1.);
#1747 = DIRECTION('',(0.258819045103,0.,-0.965925826289));
#1748 = PLANE('',#1749);
#1749 = AXIS2_PLACEMENT_3D('',#1750,#1751,#1752);
#1750 = CARTESIAN_POINT('',(7.108065390195,0.,-11.70742440528));
#1751 = DIRECTION('',(-0.965925826289,0.,-0.258819045103));
#1752 = DIRECTION('',(0.,1.,0.));
#1753 = ADVANCED_FACE('',(#1754),#1788,.T.);
#1754 = FACE_BOUND('',#1755,.T.);
#1755 = EDGE_LOOP('',(#1756,#1766,#1774,#1782));
#1756 = ORIENTED_EDGE('',*,*,#1757,.F.);
#1757 = EDGE_CURVE('',#1758,#1760,#1762,.T.);
#1758 = VERTEX_POINT('',#1759);
#1759 = CARTESIAN_POINT('',(7.108065390195,5.,-11.70742440528));
#1760 = VERTEX_POINT('',#1761);
#1761 = CARTESIAN_POINT('',(7.108065390195,-5.,-11.70742440528));
#1762 = LINE('',#1763,#1764);
#1763 = CARTESIAN_POINT('',(7.108065390195,0.,-11.70742440528));
#1764 = VECTOR('',#1765,1.);
#1765 = DIRECTION('',(0.,-1.,0.));
#1766 = ORIENTED_EDGE('',*,*,#1767,.F.);
#1767 = EDGE_CURVE('',#1768,#1758,#1770,.T.);
#1768 = VERTEX_POINT('',#1769);
#1769 = CARTESIAN_POINT('',(12.908065390195,5.,-11.70742440528));
#1770 = LINE('',#1771,#1772);
#1771 = CARTESIAN_POINT('',(7.108065390195,5.,-11.70742440528));
#1772 = VECTOR('',#1773,1.);
#1773 = DIRECTION('',(-1.,0.,0.));
#1774 = ORIENTED_EDGE('',*,*,#1775,.T.);
#1775 = EDGE_CURVE('',#1768,#1776,#1778,.T.);
#1776 = VERTEX_POINT('',#1777);
#1777 = CARTESIAN_POINT('',(12.908065390195,-5.,-11.70742440528));
#1778 = LINE('',#1779,#1780);
#1779 = CARTESIAN_POINT('',(12.908065390195,0.,-11.70742440528));
#1780 = VECTOR('',#1781,1.);
#1781 = DIRECTION('',(0.,-1.,0.));
#1782 = ORIENTED_EDGE('',*,*,#1783,.F.);
#1783 = EDGE_CURVE('',#1760,#1776,#1784,.T.);
#1784 = LINE('',#1785,#1786);
#1785 = CARTESIAN_POINT('',(7.108065390195,-5.,-11.70742440528));
#1786 = VECTOR('',#1787,1.);
#1787 = DIRECTION('',(1.,0.,0.));
#1788 = PLANE('',#1789);
#1789 = AXIS2_PLACEMENT_3D('',#1790,#1791,#1792);
#1790 = CARTESIAN_POINT('',(12.908065390195,0.,-11.70742440528));
#1791 = DIRECTION('',(0.,0.,-1.));
#1792 = DIRECTION('',(0.,1.,0.));
#1793 = ADVANCED_FACE('',(#1794),#1828,.T.);
#1794 = FACE_BOUND('',#1795,.T.);
#1795 = EDGE_LOOP('',(#1796,#1806,#1814,#1822));
#1796 = ORIENTED_EDGE('',*,*,#1797,.F.);
#1797 = EDGE_CURVE('',#1798,#1800,#1802,.T.);
#1798 = VERTEX_POINT('',#1799);
#1799 = CARTESIAN_POINT('',(12.908065390195,5.,-11.70742440528));
#1800 = VERTEX_POINT('',#1801);
#1801 = CARTESIAN_POINT('',(12.908065390195,-5.,-11.70742440528));
#1802 = LINE('',#1803,#1804);
#1803 = CARTESIAN_POINT('',(12.908065390195,0.,-11.70742440528));
#1804 = VECTOR('',#1805,1.);
#1805 = DIRECTION('',(0.,-1.,0.));
#1806 = ORIENTED_EDGE('',*,*,#1807,.F.);
#1807 = EDGE_CURVE('',#1808,#1798,#1810,.T.);
#1808 = VERTEX_POINT('',#1809);
#1809 = CARTESIAN_POINT('',(13.422132020117,5.,-11.19335777536));
#1810 = LINE('',#1811,#1812);
#1811 = CARTESIAN_POINT('',(12.908065390195,5.,-11.70742440528));
#1812 = VECTOR('',#1813,1.);
#1813 = DIRECTION('',(-0.707106781187,0.,-0.707106781187));
#1814 = ORIENTED_EDGE('',*,*,#1815,.T.);
#1815 = EDGE_CURVE('',#1808,#1816,#1818,.T.);
#1816 = VERTEX_POINT('',#1817);
#1817 = CARTESIAN_POINT('',(13.422132020117,-5.,-11.19335777536));
#1818 = LINE('',#1819,#1820);
#1819 = CARTESIAN_POINT('',(13.422132020117,0.,-11.19335777536));
#1820 = VECTOR('',#1821,1.);
#1821 = DIRECTION('',(0.,-1.,0.));
#1822 = ORIENTED_EDGE('',*,*,#1823,.F.);
#1823 = EDGE_CURVE('',#1800,#1816,#1824,.T.);
#1824 = LINE('',#1825,#1826);
#1825 = CARTESIAN_POINT('',(12.908065390195,-5.,-11.70742440528));
#1826 = VECTOR('',#1827,1.);
#1827 = DIRECTION('',(0.707106781187,0.,0.707106781187));
#1828 = PLANE('',#1829);
#1829 = AXIS2_PLACEMENT_3D('',#1830,#1831,#1832);
#1830 = CARTESIAN_POINT('',(13.422132020117,0.,-11.19335777536));
#1831 = DIRECTION('',(0.707106781187,0.,-0.707106781187));
#1832 = DIRECTION('',(0.,1.,0.));
#1833 = ADVANCED_FACE('',(#1834),#1870,.F.);
#1834 = FACE_BOUND('',#1835,.F.);
#1835 = EDGE_LOOP('',(#1836,#1847,#1855,#1864));
#1836 = ORIENTED_EDGE('',*,*,#1837,.T.);
#1837 = EDGE_CURVE('',#1838,#1840,#1842,.T.);
#1838 = VERTEX_POINT('',#1839);
#1839 = CARTESIAN_POINT('',(13.422132020117,-5.,-11.19335777536));
#1840 = VERTEX_POINT('',#1841);
#1841 = CARTESIAN_POINT('',(14.836065390195,-5.,-10.60742440528));
#1842 = CIRCLE('',#1843,2.);
#1843 = AXIS2_PLACEMENT_3D('',#1844,#1845,#1846);
#1844 = CARTESIAN_POINT('',(14.836492545282,-5.,-12.60742435967));
#1845 = DIRECTION('',(0.,1.,-0.));
#1846 = DIRECTION('',(-0.707180262583,0.,0.707033292154));
#1847 = ORIENTED_EDGE('',*,*,#1848,.F.);
#1848 = EDGE_CURVE('',#1849,#1840,#1851,.T.);
#1849 = VERTEX_POINT('',#1850);
#1850 = CARTESIAN_POINT('',(14.836065390195,5.,-10.60742440528));
#1851 = LINE('',#1852,#1853);
#1852 = CARTESIAN_POINT('',(14.836065390195,0.,-10.60742440528));
#1853 = VECTOR('',#1854,1.);
#1854 = DIRECTION('',(0.,-1.,0.));
#1855 = ORIENTED_EDGE('',*,*,#1856,.T.);
#1856 = EDGE_CURVE('',#1849,#1857,#1859,.T.);
#1857 = VERTEX_POINT('',#1858);
#1858 = CARTESIAN_POINT('',(13.422132020117,5.,-11.19335777536));
#1859 = CIRCLE('',#1860,2.);
#1860 = AXIS2_PLACEMENT_3D('',#1861,#1862,#1863);
#1861 = CARTESIAN_POINT('',(14.836492545282,5.,-12.60742435967));
#1862 = DIRECTION('',(0.,-1.,0.));
#1863 = DIRECTION('',(-0.707180262583,0.,0.707033292154));
#1864 = ORIENTED_EDGE('',*,*,#1865,.T.);
#1865 = EDGE_CURVE('',#1857,#1838,#1866,.T.);
#1866 = LINE('',#1867,#1868);
#1867 = CARTESIAN_POINT('',(13.422132020117,0.,-11.19335777536));
#1868 = VECTOR('',#1869,1.);
#1869 = DIRECTION('',(0.,-1.,0.));
#1870 = CYLINDRICAL_SURFACE('',#1871,2.);
#1871 = AXIS2_PLACEMENT_3D('',#1872,#1873,#1874);
#1872 = CARTESIAN_POINT('',(14.836492545282,0.,-12.60742435967));
#1873 = DIRECTION('',(0.,1.,0.));
#1874 = DIRECTION('',(-0.707180262583,0.,0.707033292154));
#1875 = ADVANCED_FACE('',(#1876),#1910,.T.);
#1876 = FACE_BOUND('',#1877,.T.);
#1877 = EDGE_LOOP('',(#1878,#1888,#1896,#1904));
#1878 = ORIENTED_EDGE('',*,*,#1879,.F.);
#1879 = EDGE_CURVE('',#1880,#1882,#1884,.T.);
#1880 = VERTEX_POINT('',#1881);
#1881 = CARTESIAN_POINT('',(14.836065390195,5.,-10.60742440528));
#1882 = VERTEX_POINT('',#1883);
#1883 = CARTESIAN_POINT('',(14.836065390195,-5.,-10.60742440528));
#1884 = LINE('',#1885,#1886);
#1885 = CARTESIAN_POINT('',(14.836065390195,0.,-10.60742440528));
#1886 = VECTOR('',#1887,1.);
#1887 = DIRECTION('',(0.,-1.,0.));
#1888 = ORIENTED_EDGE('',*,*,#1889,.F.);
#1889 = EDGE_CURVE('',#1890,#1880,#1892,.T.);
#1890 = VERTEX_POINT('',#1891);
#1891 = CARTESIAN_POINT('',(15.808065390195,5.,-10.60742440528));
#1892 = LINE('',#1893,#1894);
#1893 = CARTESIAN_POINT('',(14.836065390195,5.,-10.60742440528));
#1894 = VECTOR('',#1895,1.);
#1895 = DIRECTION('',(-1.,0.,0.));
#1896 = ORIENTED_EDGE('',*,*,#1897,.T.);
#1897 = EDGE_CURVE('',#1890,#1898,#1900,.T.);
#1898 = VERTEX_POINT('',#1899);
#1899 = CARTESIAN_POINT('',(15.808065390195,-5.,-10.60742440528));
#1900 = LINE('',#1901,#1902);
#1901 = CARTESIAN_POINT('',(15.808065390195,0.,-10.60742440528));
#1902 = VECTOR('',#1903,1.);
#1903 = DIRECTION('',(0.,-1.,0.));
#1904 = ORIENTED_EDGE('',*,*,#1905,.F.);
#1905 = EDGE_CURVE('',#1882,#1898,#1906,.T.);
#1906 = LINE('',#1907,#1908);
#1907 = CARTESIAN_POINT('',(14.836065390195,-5.,-10.60742440528));
#1908 = VECTOR('',#1909,1.);
#1909 = DIRECTION('',(1.,0.,0.));
#1910 = PLANE('',#1911);
#1911 = AXIS2_PLACEMENT_3D('',#1912,#1913,#1914);
#1912 = CARTESIAN_POINT('',(15.808065390195,0.,-10.60742440528));
#1913 = DIRECTION('',(0.,0.,-1.));
#1914 = DIRECTION('',(0.,1.,0.));
#1915 = ADVANCED_FACE('',(#1916),#1952,.F.);
#1916 = FACE_BOUND('',#1917,.F.);
#1917 = EDGE_LOOP('',(#1918,#1929,#1937,#1946));
#1918 = ORIENTED_EDGE('',*,*,#1919,.T.);
#1919 = EDGE_CURVE('',#1920,#1922,#1924,.T.);
#1920 = VERTEX_POINT('',#1921);
#1921 = CARTESIAN_POINT('',(15.808065390195,-5.,-10.60742440528));
#1922 = VERTEX_POINT('',#1923);
#1923 = CARTESIAN_POINT('',(17.508065390195,-5.,-12.30742440528));
#1924 = CIRCLE('',#1925,1.7);
#1925 = AXIS2_PLACEMENT_3D('',#1926,#1927,#1928);
#1926 = CARTESIAN_POINT('',(15.808065390195,-5.,-12.30742440528));
#1927 = DIRECTION('',(-0.,1.,0.));
#1928 = DIRECTION('',(1.306145E-15,0.,1.));
#1929 = ORIENTED_EDGE('',*,*,#1930,.F.);
#1930 = EDGE_CURVE('',#1931,#1922,#1933,.T.);
#1931 = VERTEX_POINT('',#1932);
#1932 = CARTESIAN_POINT('',(17.508065390195,5.,-12.30742440528));
#1933 = LINE('',#1934,#1935);
#1934 = CARTESIAN_POINT('',(17.508065390195,0.,-12.30742440528));
#1935 = VECTOR('',#1936,1.);
#1936 = DIRECTION('',(0.,-1.,0.));
#1937 = ORIENTED_EDGE('',*,*,#1938,.T.);
#1938 = EDGE_CURVE('',#1931,#1939,#1941,.T.);
#1939 = VERTEX_POINT('',#1940);
#1940 = CARTESIAN_POINT('',(15.808065390195,5.,-10.60742440528));
#1941 = CIRCLE('',#1942,1.7);
#1942 = AXIS2_PLACEMENT_3D('',#1943,#1944,#1945);
#1943 = CARTESIAN_POINT('',(15.808065390195,5.,-12.30742440528));
#1944 = DIRECTION('',(0.,-1.,0.));
#1945 = DIRECTION('',(1.306145E-15,0.,1.));
#1946 = ORIENTED_EDGE('',*,*,#1947,.T.);
#1947 = EDGE_CURVE('',#1939,#1920,#1948,.T.);
#1948 = LINE('',#1949,#1950);
#1949 = CARTESIAN_POINT('',(15.808065390195,0.,-10.60742440528));
#1950 = VECTOR('',#1951,1.);
#1951 = DIRECTION('',(0.,-1.,0.));
#1952 = CYLINDRICAL_SURFACE('',#1953,1.7);
#1953 = AXIS2_PLACEMENT_3D('',#1954,#1955,#1956);
#1954 = CARTESIAN_POINT('',(15.808065390195,0.,-12.30742440528));
#1955 = DIRECTION('',(0.,1.,0.));
#1956 = DIRECTION('',(1.306145E-15,0.,1.));
#1957 = ADVANCED_FACE('',(#1958),#1992,.T.);
#1958 = FACE_BOUND('',#1959,.T.);
#1959 = EDGE_LOOP('',(#1960,#1970,#1978,#1986));
#1960 = ORIENTED_EDGE('',*,*,#1961,.F.);
#1961 = EDGE_CURVE('',#1962,#1964,#1966,.T.);
#1962 = VERTEX_POINT('',#1963);
#1963 = CARTESIAN_POINT('',(17.508065390195,5.,-12.30742440528));
#1964 = VERTEX_POINT('',#1965);
#1965 = CARTESIAN_POINT('',(17.508065390195,-5.,-12.30742440528));
#1966 = LINE('',#1967,#1968);
#1967 = CARTESIAN_POINT('',(17.508065390195,0.,-12.30742440528));
#1968 = VECTOR('',#1969,1.);
#1969 = DIRECTION('',(0.,-1.,0.));
#1970 = ORIENTED_EDGE('',*,*,#1971,.F.);
#1971 = EDGE_CURVE('',#1972,#1962,#1974,.T.);
#1972 = VERTEX_POINT('',#1973);
#1973 = CARTESIAN_POINT('',(17.508065390195,5.,-12.82442440528));
#1974 = LINE('',#1975,#1976);
#1975 = CARTESIAN_POINT('',(17.508065390195,5.,-12.30742440528));
#1976 = VECTOR('',#1977,1.);
#1977 = DIRECTION('',(0.,0.,1.));
#1978 = ORIENTED_EDGE('',*,*,#1979,.T.);
#1979 = EDGE_CURVE('',#1972,#1980,#1982,.T.);
#1980 = VERTEX_POINT('',#1981);
#1981 = CARTESIAN_POINT('',(17.508065390195,-5.,-12.82442440528));
#1982 = LINE('',#1983,#1984);
#1983 = CARTESIAN_POINT('',(17.508065390195,0.,-12.82442440528));
#1984 = VECTOR('',#1985,1.);
#1985 = DIRECTION('',(0.,-1.,0.));
#1986 = ORIENTED_EDGE('',*,*,#1987,.F.);
#1987 = EDGE_CURVE('',#1964,#1980,#1988,.T.);
#1988 = LINE('',#1989,#1990);
#1989 = CARTESIAN_POINT('',(17.508065390195,-5.,-12.30742440528));
#1990 = VECTOR('',#1991,1.);
#1991 = DIRECTION('',(0.,0.,-1.));
#1992 = PLANE('',#1993);
#1993 = AXIS2_PLACEMENT_3D('',#1994,#1995,#1996);
#1994 = CARTESIAN_POINT('',(17.508065390195,0.,-12.82442440528));
#1995 = DIRECTION('',(-1.,0.,0.));
#1996 = DIRECTION('',(0.,-1.,0.));
#1997 = ADVANCED_FACE('',(#1998),#2032,.T.);
#1998 = FACE_BOUND('',#1999,.T.);
#1999 = EDGE_LOOP('',(#2000,#2010,#2018,#2026));
#2000 = ORIENTED_EDGE('',*,*,#2001,.F.);
#2001 = EDGE_CURVE('',#2002,#2004,#2006,.T.);
#2002 = VERTEX_POINT('',#2003);
#2003 = CARTESIAN_POINT('',(17.508065390195,5.,-12.82442440528));
#2004 = VERTEX_POINT('',#2005);
#2005 = CARTESIAN_POINT('',(17.508065390195,-5.,-12.82442440528));
#2006 = LINE('',#2007,#2008);
#2007 = CARTESIAN_POINT('',(17.508065390195,0.,-12.82442440528));
#2008 = VECTOR('',#2009,1.);
#2009 = DIRECTION('',(0.,-1.,0.));
#2010 = ORIENTED_EDGE('',*,*,#2011,.F.);
#2011 = EDGE_CURVE('',#2012,#2002,#2014,.T.);
#2012 = VERTEX_POINT('',#2013);
#2013 = CARTESIAN_POINT('',(16.258266951871,5.,-13.40721498822));
#2014 = LINE('',#2015,#2016);
#2015 = CARTESIAN_POINT('',(17.508065390195,5.,-12.82442440528));
#2016 = VECTOR('',#2017,1.);
#2017 = DIRECTION('',(0.906307787037,0.,0.422618261741));
#2018 = ORIENTED_EDGE('',*,*,#2019,.T.);
#2019 = EDGE_CURVE('',#2012,#2020,#2022,.T.);
#2020 = VERTEX_POINT('',#2021);
#2021 = CARTESIAN_POINT('',(16.258266951871,-5.,-13.40721498822));
#2022 = LINE('',#2023,#2024);
#2023 = CARTESIAN_POINT('',(16.258266951871,0.,-13.40721498822));
#2024 = VECTOR('',#2025,1.);
#2025 = DIRECTION('',(0.,-1.,0.));
#2026 = ORIENTED_EDGE('',*,*,#2027,.F.);
#2027 = EDGE_CURVE('',#2004,#2020,#2028,.T.);
#2028 = LINE('',#2029,#2030);
#2029 = CARTESIAN_POINT('',(17.508065390195,-5.,-12.82442440528));
#2030 = VECTOR('',#2031,1.);
#2031 = DIRECTION('',(-0.906307787037,0.,-0.422618261741));
#2032 = PLANE('',#2033);
#2033 = AXIS2_PLACEMENT_3D('',#2034,#2035,#2036);
#2034 = CARTESIAN_POINT('',(16.258266951871,0.,-13.40721498822));
#2035 = DIRECTION('',(-0.422618261741,0.,0.906307787037));
#2036 = DIRECTION('',(0.,-1.,0.));
#2037 = ADVANCED_FACE('',(#2038),#2072,.T.);
#2038 = FACE_BOUND('',#2039,.T.);
#2039 = EDGE_LOOP('',(#2040,#2050,#2058,#2066));
#2040 = ORIENTED_EDGE('',*,*,#2041,.F.);
#2041 = EDGE_CURVE('',#2042,#2044,#2046,.T.);
#2042 = VERTEX_POINT('',#2043);
#2043 = CARTESIAN_POINT('',(16.258266951871,5.,-13.40721498822));
#2044 = VERTEX_POINT('',#2045);
#2045 = CARTESIAN_POINT('',(16.258266951871,-5.,-13.40721498822));
#2046 = LINE('',#2047,#2048);
#2047 = CARTESIAN_POINT('',(16.258266951871,0.,-13.40721498822));
#2048 = VECTOR('',#2049,1.);
#2049 = DIRECTION('',(0.,-1.,0.));
#2050 = ORIENTED_EDGE('',*,*,#2051,.F.);
#2051 = EDGE_CURVE('',#2052,#2042,#2054,.T.);
#2052 = VERTEX_POINT('',#2053);
#2053 = CARTESIAN_POINT('',(16.258266951871,5.,-14.15721498822));
#2054 = LINE('',#2055,#2056);
#2055 = CARTESIAN_POINT('',(16.258266951871,5.,-13.40721498822));
#2056 = VECTOR('',#2057,1.);
#2057 = DIRECTION('',(0.,0.,1.));
#2058 = ORIENTED_EDGE('',*,*,#2059,.T.);
#2059 = EDGE_CURVE('',#2052,#2060,#2062,.T.);
#2060 = VERTEX_POINT('',#2061);
#2061 = CARTESIAN_POINT('',(16.258266951871,-5.,-14.15721498822));
#2062 = LINE('',#2063,#2064);
#2063 = CARTESIAN_POINT('',(16.258266951871,0.,-14.15721498822));
#2064 = VECTOR('',#2065,1.);
#2065 = DIRECTION('',(0.,-1.,0.));
#2066 = ORIENTED_EDGE('',*,*,#2067,.F.);
#2067 = EDGE_CURVE('',#2044,#2060,#2068,.T.);
#2068 = LINE('',#2069,#2070);
#2069 = CARTESIAN_POINT('',(16.258266951871,-5.,-13.40721498822));
#2070 = VECTOR('',#2071,1.);
#2071 = DIRECTION('',(0.,0.,-1.));
#2072 = PLANE('',#2073);
#2073 = AXIS2_PLACEMENT_3D('',#2074,#2075,#2076);
#2074 = CARTESIAN_POINT('',(16.258266951871,0.,-14.15721498822));
#2075 = DIRECTION('',(-1.,0.,0.));
#2076 = DIRECTION('',(0.,-1.,0.));
#2077 = ADVANCED_FACE('',(#2078),#2112,.T.);
#2078 = FACE_BOUND('',#2079,.T.);
#2079 = EDGE_LOOP('',(#2080,#2090,#2098,#2106));
#2080 = ORIENTED_EDGE('',*,*,#2081,.F.);
#2081 = EDGE_CURVE('',#2082,#2084,#2086,.T.);
#2082 = VERTEX_POINT('',#2083);
#2083 = CARTESIAN_POINT('',(16.258266951871,5.,-14.15721498822));
#2084 = VERTEX_POINT('',#2085);
#2085 = CARTESIAN_POINT('',(16.258266951871,-5.,-14.15721498822));
#2086 = LINE('',#2087,#2088);
#2087 = CARTESIAN_POINT('',(16.258266951871,0.,-14.15721498822));
#2088 = VECTOR('',#2089,1.);
#2089 = DIRECTION('',(0.,-1.,0.));
#2090 = ORIENTED_EDGE('',*,*,#2091,.F.);
#2091 = EDGE_CURVE('',#2092,#2082,#2094,.T.);
#2092 = VERTEX_POINT('',#2093);
#2093 = CARTESIAN_POINT('',(17.546266951871,5.,-14.15721498822));
#2094 = LINE('',#2095,#2096);
#2095 = CARTESIAN_POINT('',(16.258266951871,5.,-14.15721498822));
#2096 = VECTOR('',#2097,1.);
#2097 = DIRECTION('',(-1.,0.,0.));
#2098 = ORIENTED_EDGE('',*,*,#2099,.T.);
#2099 = EDGE_CURVE('',#2092,#2100,#2102,.T.);
#2100 = VERTEX_POINT('',#2101);
#2101 = CARTESIAN_POINT('',(17.546266951871,-5.,-14.15721498822));
#2102 = LINE('',#2103,#2104);
#2103 = CARTESIAN_POINT('',(17.546266951871,0.,-14.15721498822));
#2104 = VECTOR('',#2105,1.);
#2105 = DIRECTION('',(0.,-1.,0.));
#2106 = ORIENTED_EDGE('',*,*,#2107,.F.);
#2107 = EDGE_CURVE('',#2084,#2100,#2108,.T.);
#2108 = LINE('',#2109,#2110);
#2109 = CARTESIAN_POINT('',(16.258266951871,-5.,-14.15721498822));
#2110 = VECTOR('',#2111,1.);
#2111 = DIRECTION('',(1.,0.,0.));
#2112 = PLANE('',#2113);
#2113 = AXIS2_PLACEMENT_3D('',#2114,#2115,#2116);
#2114 = CARTESIAN_POINT('',(17.546266951871,0.,-14.15721498822));
#2115 = DIRECTION('',(0.,0.,-1.));
#2116 = DIRECTION('',(0.,1.,0.));
#2117 = ADVANCED_FACE('',(#2118),#2152,.T.);
#2118 = FACE_BOUND('',#2119,.T.);
#2119 = EDGE_LOOP('',(#2120,#2130,#2138,#2146));
#2120 = ORIENTED_EDGE('',*,*,#2121,.F.);
#2121 = EDGE_CURVE('',#2122,#2124,#2126,.T.);
#2122 = VERTEX_POINT('',#2123);
#2123 = CARTESIAN_POINT('',(17.546266951871,5.,-14.15721498822));
#2124 = VERTEX_POINT('',#2125);
#2125 = CARTESIAN_POINT('',(17.546266951871,-5.,-14.15721498822));
#2126 = LINE('',#2127,#2128);
#2127 = CARTESIAN_POINT('',(17.546266951871,0.,-14.15721498822));
#2128 = VECTOR('',#2129,1.);
#2129 = DIRECTION('',(0.,-1.,0.));
#2130 = ORIENTED_EDGE('',*,*,#2131,.F.);
#2131 = EDGE_CURVE('',#2132,#2122,#2134,.T.);
#2132 = VERTEX_POINT('',#2133);
#2133 = CARTESIAN_POINT('',(17.43382615252,5.,-15.50754164005));
#2134 = LINE('',#2135,#2136);
#2135 = CARTESIAN_POINT('',(17.546266951871,5.,-14.15721498822));
#2136 = VECTOR('',#2137,1.);
#2137 = DIRECTION('',(8.298213974239E-02,0.,0.996551034561));
#2138 = ORIENTED_EDGE('',*,*,#2139,.T.);
#2139 = EDGE_CURVE('',#2132,#2140,#2142,.T.);
#2140 = VERTEX_POINT('',#2141);
#2141 = CARTESIAN_POINT('',(17.43382615252,-5.,-15.50754164005));
#2142 = LINE('',#2143,#2144);
#2143 = CARTESIAN_POINT('',(17.43382615252,0.,-15.50754164005));
#2144 = VECTOR('',#2145,1.);
#2145 = DIRECTION('',(0.,-1.,0.));
#2146 = ORIENTED_EDGE('',*,*,#2147,.F.);
#2147 = EDGE_CURVE('',#2124,#2140,#2148,.T.);
#2148 = LINE('',#2149,#2150);
#2149 = CARTESIAN_POINT('',(17.546266951871,-5.,-14.15721498822));
#2150 = VECTOR('',#2151,1.);
#2151 = DIRECTION('',(-8.298213974239E-02,0.,-0.996551034561));
#2152 = PLANE('',#2153);
#2153 = AXIS2_PLACEMENT_3D('',#2154,#2155,#2156);
#2154 = CARTESIAN_POINT('',(17.43382615252,0.,-15.50754164005));
#2155 = DIRECTION('',(-0.996551034561,0.,8.298213974239E-02));
#2156 = DIRECTION('',(0.,-1.,0.));
#2157 = ADVANCED_FACE('',(#2158),#2192,.T.);
#2158 = FACE_BOUND('',#2159,.T.);
#2159 = EDGE_LOOP('',(#2160,#2170,#2178,#2186));
#2160 = ORIENTED_EDGE('',*,*,#2161,.F.);
#2161 = EDGE_CURVE('',#2162,#2164,#2166,.T.);
#2162 = VERTEX_POINT('',#2163);
#2163 = CARTESIAN_POINT('',(17.43382615252,5.,-15.50754164005));
#2164 = VERTEX_POINT('',#2165);
#2165 = CARTESIAN_POINT('',(17.43382615252,-5.,-15.50754164005));
#2166 = LINE('',#2167,#2168);
#2167 = CARTESIAN_POINT('',(17.43382615252,0.,-15.50754164005));
#2168 = VECTOR('',#2169,1.);
#2169 = DIRECTION('',(0.,-1.,0.));
#2170 = ORIENTED_EDGE('',*,*,#2171,.F.);
#2171 = EDGE_CURVE('',#2172,#2162,#2174,.T.);
#2172 = VERTEX_POINT('',#2173);
#2173 = CARTESIAN_POINT('',(16.407183706303,5.,-15.70784462961));
#2174 = LINE('',#2175,#2176);
#2175 = CARTESIAN_POINT('',(17.43382615252,5.,-15.50754164005));
#2176 = VECTOR('',#2177,1.);
#2177 = DIRECTION('',(0.981493734433,0.,0.191494253877));
#2178 = ORIENTED_EDGE('',*,*,#2179,.T.);
#2179 = EDGE_CURVE('',#2172,#2180,#2182,.T.);
#2180 = VERTEX_POINT('',#2181);
#2181 = CARTESIAN_POINT('',(16.407183706303,-5.,-15.70784462961));
#2182 = LINE('',#2183,#2184);
#2183 = CARTESIAN_POINT('',(16.407183706303,0.,-15.70784462961));
#2184 = VECTOR('',#2185,1.);
#2185 = DIRECTION('',(0.,-1.,0.));
#2186 = ORIENTED_EDGE('',*,*,#2187,.F.);
#2187 = EDGE_CURVE('',#2164,#2180,#2188,.T.);
#2188 = LINE('',#2189,#2190);
#2189 = CARTESIAN_POINT('',(17.43382615252,-5.,-15.50754164005));
#2190 = VECTOR('',#2191,1.);
#2191 = DIRECTION('',(-0.981493734433,0.,-0.191494253877));
#2192 = PLANE('',#2193);
#2193 = AXIS2_PLACEMENT_3D('',#2194,#2195,#2196);
#2194 = CARTESIAN_POINT('',(16.407183706303,0.,-15.70784462961));
#2195 = DIRECTION('',(-0.191494253877,0.,0.981493734433));
#2196 = DIRECTION('',(0.,-1.,0.));
#2197 = ADVANCED_FACE('',(#2198),#2234,.T.);
#2198 = FACE_BOUND('',#2199,.T.);
#2199 = EDGE_LOOP('',(#2200,#2210,#2219,#2227));
#2200 = ORIENTED_EDGE('',*,*,#2201,.F.);
#2201 = EDGE_CURVE('',#2202,#2204,#2206,.T.);
#2202 = VERTEX_POINT('',#2203);
#2203 = CARTESIAN_POINT('',(16.407183706303,5.,-15.70784462961));
#2204 = VERTEX_POINT('',#2205);
#2205 = CARTESIAN_POINT('',(16.407183706303,-5.,-15.70784462961));
#2206 = LINE('',#2207,#2208);
#2207 = CARTESIAN_POINT('',(16.407183706303,0.,-15.70784462961));
#2208 = VECTOR('',#2209,1.);
#2209 = DIRECTION('',(0.,-1.,0.));
#2210 = ORIENTED_EDGE('',*,*,#2211,.F.);
#2211 = EDGE_CURVE('',#2212,#2202,#2214,.T.);
#2212 = VERTEX_POINT('',#2213);
#2213 = CARTESIAN_POINT('',(18.203183706303,5.,-20.60784462961));
#2214 = CIRCLE('',#2215,7.4);
#2215 = AXIS2_PLACEMENT_3D('',#2216,#2217,#2218);
#2216 = CARTESIAN_POINT('',(23.806881032719,5.,-15.77477352793));
#2217 = DIRECTION('',(-0.,1.,0.));
#2218 = DIRECTION('',(0.757256395462,0.,0.653117716444));
#2219 = ORIENTED_EDGE('',*,*,#2220,.T.);
#2220 = EDGE_CURVE('',#2212,#2221,#2223,.T.);
#2221 = VERTEX_POINT('',#2222);
#2222 = CARTESIAN_POINT('',(18.203183706303,-5.,-20.60784462961));
#2223 = LINE('',#2224,#2225);
#2224 = CARTESIAN_POINT('',(18.203183706303,0.,-20.60784462961));
#2225 = VECTOR('',#2226,1.);
#2226 = DIRECTION('',(0.,-1.,0.));
#2227 = ORIENTED_EDGE('',*,*,#2228,.F.);
#2228 = EDGE_CURVE('',#2204,#2221,#2229,.T.);
#2229 = CIRCLE('',#2230,7.4);
#2230 = AXIS2_PLACEMENT_3D('',#2231,#2232,#2233);
#2231 = CARTESIAN_POINT('',(23.806881032719,-5.,-15.77477352793));
#2232 = DIRECTION('',(0.,-1.,0.));
#2233 = DIRECTION('',(0.757256395462,0.,0.653117716444));
#2234 = CYLINDRICAL_SURFACE('',#2235,7.4);
#2235 = AXIS2_PLACEMENT_3D('',#2236,#2237,#2238);
#2236 = CARTESIAN_POINT('',(23.806881032719,0.,-15.77477352793));
#2237 = DIRECTION('',(0.,1.,0.));
#2238 = DIRECTION('',(0.757256395462,0.,0.653117716444));
#2239 = ADVANCED_FACE('',(#2240),#2274,.T.);
#2240 = FACE_BOUND('',#2241,.T.);
#2241 = EDGE_LOOP('',(#2242,#2252,#2260,#2268));
#2242 = ORIENTED_EDGE('',*,*,#2243,.F.);
#2243 = EDGE_CURVE('',#2244,#2246,#2248,.T.);
#2244 = VERTEX_POINT('',#2245);
#2245 = CARTESIAN_POINT('',(18.203183706303,5.,-20.60784462961));
#2246 = VERTEX_POINT('',#2247);
#2247 = CARTESIAN_POINT('',(18.203183706303,-5.,-20.60784462961));
#2248 = LINE('',#2249,#2250);
#2249 = CARTESIAN_POINT('',(18.203183706303,0.,-20.60784462961));
#2250 = VECTOR('',#2251,1.);
#2251 = DIRECTION('',(0.,-1.,0.));
#2252 = ORIENTED_EDGE('',*,*,#2253,.F.);
#2253 = EDGE_CURVE('',#2254,#2244,#2256,.T.);
#2254 = VERTEX_POINT('',#2255);
#2255 = CARTESIAN_POINT('',(21.508183706303,5.,-20.60784462961));
#2256 = LINE('',#2257,#2258);
#2257 = CARTESIAN_POINT('',(18.203183706303,5.,-20.60784462961));
#2258 = VECTOR('',#2259,1.);
#2259 = DIRECTION('',(-1.,0.,0.));
#2260 = ORIENTED_EDGE('',*,*,#2261,.T.);
#2261 = EDGE_CURVE('',#2254,#2262,#2264,.T.);
#2262 = VERTEX_POINT('',#2263);
#2263 = CARTESIAN_POINT('',(21.508183706303,-5.,-20.60784462961));
#2264 = LINE('',#2265,#2266);
#2265 = CARTESIAN_POINT('',(21.508183706303,0.,-20.60784462961));
#2266 = VECTOR('',#2267,1.);
#2267 = DIRECTION('',(0.,-1.,0.));
#2268 = ORIENTED_EDGE('',*,*,#2269,.F.);
#2269 = EDGE_CURVE('',#2246,#2262,#2270,.T.);
#2270 = LINE('',#2271,#2272);
#2271 = CARTESIAN_POINT('',(18.203183706303,-5.,-20.60784462961));
#2272 = VECTOR('',#2273,1.);
#2273 = DIRECTION('',(1.,0.,0.));
#2274 = PLANE('',#2275);
#2275 = AXIS2_PLACEMENT_3D('',#2276,#2277,#2278);
#2276 = CARTESIAN_POINT('',(21.508183706303,0.,-20.60784462961));
#2277 = DIRECTION('',(0.,0.,-1.));
#2278 = DIRECTION('',(0.,1.,0.));
#2279 = ADVANCED_FACE('',(#2280),#2314,.T.);
#2280 = FACE_BOUND('',#2281,.T.);
#2281 = EDGE_LOOP('',(#2282,#2292,#2300,#2308));
#2282 = ORIENTED_EDGE('',*,*,#2283,.F.);
#2283 = EDGE_CURVE('',#2284,#2286,#2288,.T.);
#2284 = VERTEX_POINT('',#2285);
#2285 = CARTESIAN_POINT('',(21.508183706303,5.,-20.60784462961));
#2286 = VERTEX_POINT('',#2287);
#2287 = CARTESIAN_POINT('',(21.508183706303,-5.,-20.60784462961));
#2288 = LINE('',#2289,#2290);
#2289 = CARTESIAN_POINT('',(21.508183706303,0.,-20.60784462961));
#2290 = VECTOR('',#2291,1.);
#2291 = DIRECTION('',(0.,-1.,0.));
#2292 = ORIENTED_EDGE('',*,*,#2293,.F.);
#2293 = EDGE_CURVE('',#2294,#2284,#2296,.T.);
#2294 = VERTEX_POINT('',#2295);
#2295 = CARTESIAN_POINT('',(21.508183706303,5.,-17.81884462961));
#2296 = LINE('',#2297,#2298);
#2297 = CARTESIAN_POINT('',(21.508183706303,5.,-20.60784462961));
#2298 = VECTOR('',#2299,1.);
#2299 = DIRECTION('',(0.,0.,-1.));
#2300 = ORIENTED_EDGE('',*,*,#2301,.T.);
#2301 = EDGE_CURVE('',#2294,#2302,#2304,.T.);
#2302 = VERTEX_POINT('',#2303);
#2303 = CARTESIAN_POINT('',(21.508183706303,-5.,-17.81884462961));
#2304 = LINE('',#2305,#2306);
#2305 = CARTESIAN_POINT('',(21.508183706303,0.,-17.81884462961));
#2306 = VECTOR('',#2307,1.);
#2307 = DIRECTION('',(0.,-1.,0.));
#2308 = ORIENTED_EDGE('',*,*,#2309,.F.);
#2309 = EDGE_CURVE('',#2286,#2302,#2310,.T.);
#2310 = LINE('',#2311,#2312);
#2311 = CARTESIAN_POINT('',(21.508183706303,-5.,-20.60784462961));
#2312 = VECTOR('',#2313,1.);
#2313 = DIRECTION('',(0.,0.,1.));
#2314 = PLANE('',#2315);
#2315 = AXIS2_PLACEMENT_3D('',#2316,#2317,#2318);
#2316 = CARTESIAN_POINT('',(21.508183706303,0.,-17.81884462961));
#2317 = DIRECTION('',(1.,0.,0.));
#2318 = DIRECTION('',(0.,1.,0.));
#2319 = ADVANCED_FACE('',(#2320),#2354,.T.);
#2320 = FACE_BOUND('',#2321,.T.);
#2321 = EDGE_LOOP('',(#2322,#2332,#2340,#2348));
#2322 = ORIENTED_EDGE('',*,*,#2323,.F.);
#2323 = EDGE_CURVE('',#2324,#2326,#2328,.T.);
#2324 = VERTEX_POINT('',#2325);
#2325 = CARTESIAN_POINT('',(21.508183706303,5.,-17.81884462961));
#2326 = VERTEX_POINT('',#2327);
#2327 = CARTESIAN_POINT('',(21.508183706303,-5.,-17.81884462961));
#2328 = LINE('',#2329,#2330);
#2329 = CARTESIAN_POINT('',(21.508183706303,0.,-17.81884462961));
#2330 = VECTOR('',#2331,1.);
#2331 = DIRECTION('',(0.,-1.,0.));
#2332 = ORIENTED_EDGE('',*,*,#2333,.F.);
#2333 = EDGE_CURVE('',#2334,#2324,#2336,.T.);
#2334 = VERTEX_POINT('',#2335);
#2335 = CARTESIAN_POINT('',(19.007968365577,5.,-16.37534462961));
#2336 = LINE('',#2337,#2338);
#2337 = CARTESIAN_POINT('',(21.508183706303,5.,-17.81884462961));
#2338 = VECTOR('',#2339,1.);
#2339 = DIRECTION('',(0.866025403784,0.,-0.5));
#2340 = ORIENTED_EDGE('',*,*,#2341,.T.);
#2341 = EDGE_CURVE('',#2334,#2342,#2344,.T.);
#2342 = VERTEX_POINT('',#2343);
#2343 = CARTESIAN_POINT('',(19.007968365577,-5.,-16.37534462961));
#2344 = LINE('',#2345,#2346);
#2345 = CARTESIAN_POINT('',(19.007968365577,0.,-16.37534462961));
#2346 = VECTOR('',#2347,1.);
#2347 = DIRECTION('',(0.,-1.,0.));
#2348 = ORIENTED_EDGE('',*,*,#2349,.F.);
#2349 = EDGE_CURVE('',#2326,#2342,#2350,.T.);
#2350 = LINE('',#2351,#2352);
#2351 = CARTESIAN_POINT('',(21.508183706303,-5.,-17.81884462961));
#2352 = VECTOR('',#2353,1.);
#2353 = DIRECTION('',(-0.866025403784,0.,0.5));
#2354 = PLANE('',#2355);
#2355 = AXIS2_PLACEMENT_3D('',#2356,#2357,#2358);
#2356 = CARTESIAN_POINT('',(19.007968365577,0.,-16.37534462961));
#2357 = DIRECTION('',(0.5,0.,0.866025403784));
#2358 = DIRECTION('',(0.,-1.,0.));
#2359 = ADVANCED_FACE('',(#2360),#2394,.T.);
#2360 = FACE_BOUND('',#2361,.T.);
#2361 = EDGE_LOOP('',(#2362,#2372,#2380,#2388));
#2362 = ORIENTED_EDGE('',*,*,#2363,.F.);
#2363 = EDGE_CURVE('',#2364,#2366,#2368,.T.);
#2364 = VERTEX_POINT('',#2365);
#2365 = CARTESIAN_POINT('',(19.007968365577,5.,-16.37534462961));
#2366 = VERTEX_POINT('',#2367);
#2367 = CARTESIAN_POINT('',(19.007968365577,-5.,-16.37534462961));
#2368 = LINE('',#2369,#2370);
#2369 = CARTESIAN_POINT('',(19.007968365577,0.,-16.37534462961));
#2370 = VECTOR('',#2371,1.);
#2371 = DIRECTION('',(0.,-1.,0.));
#2372 = ORIENTED_EDGE('',*,*,#2373,.F.);
#2373 = EDGE_CURVE('',#2374,#2364,#2376,.T.);
#2374 = VERTEX_POINT('',#2375);
#2375 = CARTESIAN_POINT('',(19.007968365577,5.,-12.49934462961));
#2376 = LINE('',#2377,#2378);
#2377 = CARTESIAN_POINT('',(19.007968365577,5.,-16.37534462961));
#2378 = VECTOR('',#2379,1.);
#2379 = DIRECTION('',(0.,0.,-1.));
#2380 = ORIENTED_EDGE('',*,*,#2381,.T.);
#2381 = EDGE_CURVE('',#2374,#2382,#2384,.T.);
#2382 = VERTEX_POINT('',#2383);
#2383 = CARTESIAN_POINT('',(19.007968365577,-5.,-12.49934462961));
#2384 = LINE('',#2385,#2386);
#2385 = CARTESIAN_POINT('',(19.007968365577,0.,-12.49934462961));
#2386 = VECTOR('',#2387,1.);
#2387 = DIRECTION('',(0.,-1.,0.));
#2388 = ORIENTED_EDGE('',*,*,#2389,.F.);
#2389 = EDGE_CURVE('',#2366,#2382,#2390,.T.);
#2390 = LINE('',#2391,#2392);
#2391 = CARTESIAN_POINT('',(19.007968365577,-5.,-16.37534462961));
#2392 = VECTOR('',#2393,1.);
#2393 = DIRECTION('',(0.,0.,1.));
#2394 = PLANE('',#2395);
#2395 = AXIS2_PLACEMENT_3D('',#2396,#2397,#2398);
#2396 = CARTESIAN_POINT('',(19.007968365577,0.,-12.49934462961));
#2397 = DIRECTION('',(1.,0.,0.));
#2398 = DIRECTION('',(0.,1.,0.));
#2399 = ADVANCED_FACE('',(#2400),#2436,.T.);
#2400 = FACE_BOUND('',#2401,.T.);
#2401 = EDGE_LOOP('',(#2402,#2412,#2421,#2429));
#2402 = ORIENTED_EDGE('',*,*,#2403,.F.);
#2403 = EDGE_CURVE('',#2404,#2406,#2408,.T.);
#2404 = VERTEX_POINT('',#2405);
#2405 = CARTESIAN_POINT('',(19.007968365577,5.,-12.49934462961));
#2406 = VERTEX_POINT('',#2407);
#2407 = CARTESIAN_POINT('',(19.007968365577,-5.,-12.49934462961));
#2408 = LINE('',#2409,#2410);
#2409 = CARTESIAN_POINT('',(19.007968365577,0.,-12.49934462961));
#2410 = VECTOR('',#2411,1.);
#2411 = DIRECTION('',(0.,-1.,0.));
#2412 = ORIENTED_EDGE('',*,*,#2413,.F.);
#2413 = EDGE_CURVE('',#2414,#2404,#2416,.T.);
#2414 = VERTEX_POINT('',#2415);
#2415 = CARTESIAN_POINT('',(15.607968365577,5.,-9.099344629614));
#2416 = CIRCLE('',#2417,3.4);
#2417 = AXIS2_PLACEMENT_3D('',#2418,#2419,#2420);
#2418 = CARTESIAN_POINT('',(15.607968365577,5.,-12.49934462961));
#2419 = DIRECTION('',(0.,1.,0.));
#2420 = DIRECTION('',(0.,0.,-1.));
#2421 = ORIENTED_EDGE('',*,*,#2422,.T.);
#2422 = EDGE_CURVE('',#2414,#2423,#2425,.T.);
#2423 = VERTEX_POINT('',#2424);
#2424 = CARTESIAN_POINT('',(15.607968365577,-5.,-9.099344629614));
#2425 = LINE('',#2426,#2427);
#2426 = CARTESIAN_POINT('',(15.607968365577,0.,-9.099344629614));
#2427 = VECTOR('',#2428,1.);
#2428 = DIRECTION('',(0.,-1.,0.));
#2429 = ORIENTED_EDGE('',*,*,#2430,.F.);
#2430 = EDGE_CURVE('',#2406,#2423,#2431,.T.);
#2431 = CIRCLE('',#2432,3.4);
#2432 = AXIS2_PLACEMENT_3D('',#2433,#2434,#2435);
#2433 = CARTESIAN_POINT('',(15.607968365577,-5.,-12.49934462961));
#2434 = DIRECTION('',(0.,-1.,0.));
#2435 = DIRECTION('',(0.,0.,-1.));
#2436 = CYLINDRICAL_SURFACE('',#2437,3.4);
#2437 = AXIS2_PLACEMENT_3D('',#2438,#2439,#2440);
#2438 = CARTESIAN_POINT('',(15.607968365577,0.,-12.49934462961));
#2439 = DIRECTION('',(0.,1.,0.));
#2440 = DIRECTION('',(0.,0.,-1.));
#2441 = ADVANCED_FACE('',(#2442),#2476,.T.);
#2442 = FACE_BOUND('',#2443,.T.);
#2443 = EDGE_LOOP('',(#2444,#2454,#2462,#2470));
#2444 = ORIENTED_EDGE('',*,*,#2445,.F.);
#2445 = EDGE_CURVE('',#2446,#2448,#2450,.T.);
#2446 = VERTEX_POINT('',#2447);
#2447 = CARTESIAN_POINT('',(15.607968365577,5.,-9.099344629614));
#2448 = VERTEX_POINT('',#2449);
#2449 = CARTESIAN_POINT('',(15.607968365577,-5.,-9.099344629614));
#2450 = LINE('',#2451,#2452);
#2451 = CARTESIAN_POINT('',(15.607968365577,0.,-9.099344629614));
#2452 = VECTOR('',#2453,1.);
#2453 = DIRECTION('',(0.,-1.,0.));
#2454 = ORIENTED_EDGE('',*,*,#2455,.F.);
#2455 = EDGE_CURVE('',#2456,#2446,#2458,.T.);
#2456 = VERTEX_POINT('',#2457);
#2457 = CARTESIAN_POINT('',(14.827968365577,5.,-9.099344629614));
#2458 = LINE('',#2459,#2460);
#2459 = CARTESIAN_POINT('',(15.607968365577,5.,-9.099344629614));
#2460 = VECTOR('',#2461,1.);
#2461 = DIRECTION('',(1.,0.,0.));
#2462 = ORIENTED_EDGE('',*,*,#2463,.T.);
#2463 = EDGE_CURVE('',#2456,#2464,#2466,.T.);
#2464 = VERTEX_POINT('',#2465);
#2465 = CARTESIAN_POINT('',(14.827968365577,-5.,-9.099344629614));
#2466 = LINE('',#2467,#2468);
#2467 = CARTESIAN_POINT('',(14.827968365577,0.,-9.099344629614));
#2468 = VECTOR('',#2469,1.);
#2469 = DIRECTION('',(0.,-1.,0.));
#2470 = ORIENTED_EDGE('',*,*,#2471,.F.);
#2471 = EDGE_CURVE('',#2448,#2464,#2472,.T.);
#2472 = LINE('',#2473,#2474);
#2473 = CARTESIAN_POINT('',(15.607968365577,-5.,-9.099344629614));
#2474 = VECTOR('',#2475,1.);
#2475 = DIRECTION('',(-1.,0.,0.));
#2476 = PLANE('',#2477);
#2477 = AXIS2_PLACEMENT_3D('',#2478,#2479,#2480);
#2478 = CARTESIAN_POINT('',(14.827968365577,0.,-9.099344629614));
#2479 = DIRECTION('',(0.,0.,1.));
#2480 = DIRECTION('',(0.,-1.,0.));
#2481 = ADVANCED_FACE('',(#2482),#2518,.F.);
#2482 = FACE_BOUND('',#2483,.F.);
#2483 = EDGE_LOOP('',(#2484,#2495,#2503,#2512));
#2484 = ORIENTED_EDGE('',*,*,#2485,.T.);
#2485 = EDGE_CURVE('',#2486,#2488,#2490,.T.);
#2486 = VERTEX_POINT('',#2487);
#2487 = CARTESIAN_POINT('',(14.827968365577,-5.,-9.099344629614));
#2488 = VERTEX_POINT('',#2489);
#2489 = CARTESIAN_POINT('',(14.827968365577,-5.,-8.049344629614));
#2490 = CIRCLE('',#2491,0.525);
#2491 = AXIS2_PLACEMENT_3D('',#2492,#2493,#2494);
#2492 = CARTESIAN_POINT('',(14.827968365577,-5.,-8.574344629614));
#2493 = DIRECTION('',(0.,1.,0.));
#2494 = DIRECTION('',(0.,0.,-1.));
#2495 = ORIENTED_EDGE('',*,*,#2496,.F.);
#2496 = EDGE_CURVE('',#2497,#2488,#2499,.T.);
#2497 = VERTEX_POINT('',#2498);
#2498 = CARTESIAN_POINT('',(14.827968365577,5.,-8.049344629614));
#2499 = LINE('',#2500,#2501);
#2500 = CARTESIAN_POINT('',(14.827968365577,0.,-8.049344629614));
#2501 = VECTOR('',#2502,1.);
#2502 = DIRECTION('',(0.,-1.,0.));
#2503 = ORIENTED_EDGE('',*,*,#2504,.T.);
#2504 = EDGE_CURVE('',#2497,#2505,#2507,.T.);
#2505 = VERTEX_POINT('',#2506);
#2506 = CARTESIAN_POINT('',(14.827968365577,5.,-9.099344629614));
#2507 = CIRCLE('',#2508,0.525);
#2508 = AXIS2_PLACEMENT_3D('',#2509,#2510,#2511);
#2509 = CARTESIAN_POINT('',(14.827968365577,5.,-8.574344629614));
#2510 = DIRECTION('',(0.,-1.,0.));
#2511 = DIRECTION('',(-1.,0.,0.));
#2512 = ORIENTED_EDGE('',*,*,#2513,.T.);
#2513 = EDGE_CURVE('',#2505,#2486,#2514,.T.);
#2514 = LINE('',#2515,#2516);
#2515 = CARTESIAN_POINT('',(14.827968365577,0.,-9.099344629614));
#2516 = VECTOR('',#2517,1.);
#2517 = DIRECTION('',(0.,-1.,0.));
#2518 = CYLINDRICAL_SURFACE('',#2519,0.525);
#2519 = AXIS2_PLACEMENT_3D('',#2520,#2521,#2522);
#2520 = CARTESIAN_POINT('',(14.827968365577,0.,-8.574344629614));
#2521 = DIRECTION('',(0.,1.,0.));
#2522 = DIRECTION('',(-1.,0.,0.));
#2523 = ADVANCED_FACE('',(#2524),#2558,.T.);
#2524 = FACE_BOUND('',#2525,.T.);
#2525 = EDGE_LOOP('',(#2526,#2536,#2544,#2552));
#2526 = ORIENTED_EDGE('',*,*,#2527,.F.);
#2527 = EDGE_CURVE('',#2528,#2530,#2532,.T.);
#2528 = VERTEX_POINT('',#2529);
#2529 = CARTESIAN_POINT('',(14.827968365577,5.,-8.049344629614));
#2530 = VERTEX_POINT('',#2531);
#2531 = CARTESIAN_POINT('',(14.827968365577,-5.,-8.049344629614));
#2532 = LINE('',#2533,#2534);
#2533 = CARTESIAN_POINT('',(14.827968365577,0.,-8.049344629614));
#2534 = VECTOR('',#2535,1.);
#2535 = DIRECTION('',(0.,-1.,0.));
#2536 = ORIENTED_EDGE('',*,*,#2537,.F.);
#2537 = EDGE_CURVE('',#2538,#2528,#2540,.T.);
#2538 = VERTEX_POINT('',#2539);
#2539 = CARTESIAN_POINT('',(17.294968365577,5.,-8.049344629614));
#2540 = LINE('',#2541,#2542);
#2541 = CARTESIAN_POINT('',(14.827968365577,5.,-8.049344629614));
#2542 = VECTOR('',#2543,1.);
#2543 = DIRECTION('',(-1.,0.,4.500296E-16));
#2544 = ORIENTED_EDGE('',*,*,#2545,.T.);
#2545 = EDGE_CURVE('',#2538,#2546,#2548,.T.);
#2546 = VERTEX_POINT('',#2547);
#2547 = CARTESIAN_POINT('',(17.294968365577,-5.,-8.049344629614));
#2548 = LINE('',#2549,#2550);
#2549 = CARTESIAN_POINT('',(17.294968365577,0.,-8.049344629614));
#2550 = VECTOR('',#2551,1.);
#2551 = DIRECTION('',(0.,-1.,0.));
#2552 = ORIENTED_EDGE('',*,*,#2553,.F.);
#2553 = EDGE_CURVE('',#2530,#2546,#2554,.T.);
#2554 = LINE('',#2555,#2556);
#2555 = CARTESIAN_POINT('',(14.827968365577,-5.,-8.049344629614));
#2556 = VECTOR('',#2557,1.);
#2557 = DIRECTION('',(1.,0.,-4.500296E-16));
#2558 = PLANE('',#2559);
#2559 = AXIS2_PLACEMENT_3D('',#2560,#2561,#2562);
#2560 = CARTESIAN_POINT('',(17.294968365577,0.,-8.049344629614));
#2561 = DIRECTION('',(-4.500296E-16,0.,-1.));
#2562 = DIRECTION('',(0.,1.,0.));
#2563 = ADVANCED_FACE('',(#2564),#2598,.T.);
#2564 = FACE_BOUND('',#2565,.T.);
#2565 = EDGE_LOOP('',(#2566,#2576,#2584,#2592));
#2566 = ORIENTED_EDGE('',*,*,#2567,.F.);
#2567 = EDGE_CURVE('',#2568,#2570,#2572,.T.);
#2568 = VERTEX_POINT('',#2569);
#2569 = CARTESIAN_POINT('',(17.294968365577,5.,-8.049344629614));
#2570 = VERTEX_POINT('',#2571);
#2571 = CARTESIAN_POINT('',(17.294968365577,-5.,-8.049344629614));
#2572 = LINE('',#2573,#2574);
#2573 = CARTESIAN_POINT('',(17.294968365577,0.,-8.049344629614));
#2574 = VECTOR('',#2575,1.);
#2575 = DIRECTION('',(0.,-1.,0.));
#2576 = ORIENTED_EDGE('',*,*,#2577,.F.);
#2577 = EDGE_CURVE('',#2578,#2568,#2580,.T.);
#2578 = VERTEX_POINT('',#2579);
#2579 = CARTESIAN_POINT('',(17.294968365577,5.,-8.909344629614));
#2580 = LINE('',#2581,#2582);
#2581 = CARTESIAN_POINT('',(17.294968365577,5.,-8.049344629614));
#2582 = VECTOR('',#2583,1.);
#2583 = DIRECTION('',(0.,0.,1.));
#2584 = ORIENTED_EDGE('',*,*,#2585,.T.);
#2585 = EDGE_CURVE('',#2578,#2586,#2588,.T.);
#2586 = VERTEX_POINT('',#2587);
#2587 = CARTESIAN_POINT('',(17.294968365577,-5.,-8.909344629614));
#2588 = LINE('',#2589,#2590);
#2589 = CARTESIAN_POINT('',(17.294968365577,0.,-8.909344629614));
#2590 = VECTOR('',#2591,1.);
#2591 = DIRECTION('',(0.,-1.,0.));
#2592 = ORIENTED_EDGE('',*,*,#2593,.F.);
#2593 = EDGE_CURVE('',#2570,#2586,#2594,.T.);
#2594 = LINE('',#2595,#2596);
#2595 = CARTESIAN_POINT('',(17.294968365577,-5.,-8.049344629614));
#2596 = VECTOR('',#2597,1.);
#2597 = DIRECTION('',(0.,0.,-1.));
#2598 = PLANE('',#2599);
#2599 = AXIS2_PLACEMENT_3D('',#2600,#2601,#2602);
#2600 = CARTESIAN_POINT('',(17.294968365577,0.,-8.909344629614));
#2601 = DIRECTION('',(-1.,0.,0.));
#2602 = DIRECTION('',(0.,-1.,0.));
#2603 = ADVANCED_FACE('',(#2604),#2638,.T.);
#2604 = FACE_BOUND('',#2605,.T.);
#2605 = EDGE_LOOP('',(#2606,#2616,#2624,#2632));
#2606 = ORIENTED_EDGE('',*,*,#2607,.F.);
#2607 = EDGE_CURVE('',#2608,#2610,#2612,.T.);
#2608 = VERTEX_POINT('',#2609);
#2609 = CARTESIAN_POINT('',(17.294968365577,5.,-8.909344629614));
#2610 = VERTEX_POINT('',#2611);
#2611 = CARTESIAN_POINT('',(17.294968365577,-5.,-8.909344629614));
#2612 = LINE('',#2613,#2614);
#2613 = CARTESIAN_POINT('',(17.294968365577,0.,-8.909344629614));
#2614 = VECTOR('',#2615,1.);
#2615 = DIRECTION('',(0.,-1.,0.));
#2616 = ORIENTED_EDGE('',*,*,#2617,.F.);
#2617 = EDGE_CURVE('',#2618,#2608,#2620,.T.);
#2618 = VERTEX_POINT('',#2619);
#2619 = CARTESIAN_POINT('',(18.415025506977,5.,-10.02940177101));
#2620 = LINE('',#2621,#2622);
#2621 = CARTESIAN_POINT('',(17.294968365577,5.,-8.909344629614));
#2622 = VECTOR('',#2623,1.);
#2623 = DIRECTION('',(-0.707106781187,0.,0.707106781187));
#2624 = ORIENTED_EDGE('',*,*,#2625,.T.);
#2625 = EDGE_CURVE('',#2618,#2626,#2628,.T.);
#2626 = VERTEX_POINT('',#2627);
#2627 = CARTESIAN_POINT('',(18.415025506977,-5.,-10.02940177101));
#2628 = LINE('',#2629,#2630);
#2629 = CARTESIAN_POINT('',(18.415025506977,0.,-10.02940177101));
#2630 = VECTOR('',#2631,1.);
#2631 = DIRECTION('',(0.,-1.,0.));
#2632 = ORIENTED_EDGE('',*,*,#2633,.F.);
#2633 = EDGE_CURVE('',#2610,#2626,#2634,.T.);
#2634 = LINE('',#2635,#2636);
#2635 = CARTESIAN_POINT('',(17.294968365577,-5.,-8.909344629614));
#2636 = VECTOR('',#2637,1.);
#2637 = DIRECTION('',(0.707106781187,0.,-0.707106781187));
#2638 = PLANE('',#2639);
#2639 = AXIS2_PLACEMENT_3D('',#2640,#2641,#2642);
#2640 = CARTESIAN_POINT('',(18.415025506977,0.,-10.02940177101));
#2641 = DIRECTION('',(-0.707106781187,0.,-0.707106781187));
#2642 = DIRECTION('',(0.,1.,0.));
#2643 = ADVANCED_FACE('',(#2644),#2678,.T.);
#2644 = FACE_BOUND('',#2645,.T.);
#2645 = EDGE_LOOP('',(#2646,#2656,#2664,#2672));
#2646 = ORIENTED_EDGE('',*,*,#2647,.F.);
#2647 = EDGE_CURVE('',#2648,#2650,#2652,.T.);
#2648 = VERTEX_POINT('',#2649);
#2649 = CARTESIAN_POINT('',(18.415025506977,5.,-10.02940177101));
#2650 = VERTEX_POINT('',#2651);
#2651 = CARTESIAN_POINT('',(18.415025506977,-5.,-10.02940177101));
#2652 = LINE('',#2653,#2654);
#2653 = CARTESIAN_POINT('',(18.415025506977,0.,-10.02940177101));
#2654 = VECTOR('',#2655,1.);
#2655 = DIRECTION('',(0.,-1.,0.));
#2656 = ORIENTED_EDGE('',*,*,#2657,.F.);
#2657 = EDGE_CURVE('',#2658,#2648,#2660,.T.);
#2658 = VERTEX_POINT('',#2659);
#2659 = CARTESIAN_POINT('',(19.895,5.,-8.54942727799));
#2660 = LINE('',#2661,#2662);
#2661 = CARTESIAN_POINT('',(18.415025506977,5.,-10.02940177101));
#2662 = VECTOR('',#2663,1.);
#2663 = DIRECTION('',(-0.707106781187,0.,-0.707106781187));
#2664 = ORIENTED_EDGE('',*,*,#2665,.T.);
#2665 = EDGE_CURVE('',#2658,#2666,#2668,.T.);
#2666 = VERTEX_POINT('',#2667);
#2667 = CARTESIAN_POINT('',(19.895,-5.,-8.54942727799));
#2668 = LINE('',#2669,#2670);
#2669 = CARTESIAN_POINT('',(19.895,0.,-8.54942727799));
#2670 = VECTOR('',#2671,1.);
#2671 = DIRECTION('',(0.,-1.,0.));
#2672 = ORIENTED_EDGE('',*,*,#2673,.F.);
#2673 = EDGE_CURVE('',#2650,#2666,#2674,.T.);
#2674 = LINE('',#2675,#2676);
#2675 = CARTESIAN_POINT('',(18.415025506977,-5.,-10.02940177101));
#2676 = VECTOR('',#2677,1.);
#2677 = DIRECTION('',(0.707106781187,0.,0.707106781187));
#2678 = PLANE('',#2679);
#2679 = AXIS2_PLACEMENT_3D('',#2680,#2681,#2682);
#2680 = CARTESIAN_POINT('',(19.895,0.,-8.54942727799));
#2681 = DIRECTION('',(0.707106781187,0.,-0.707106781187));
#2682 = DIRECTION('',(0.,1.,0.));
#2683 = ADVANCED_FACE('',(#2684),#2718,.T.);
#2684 = FACE_BOUND('',#2685,.T.);
#2685 = EDGE_LOOP('',(#2686,#2696,#2704,#2712));
#2686 = ORIENTED_EDGE('',*,*,#2687,.F.);
#2687 = EDGE_CURVE('',#2688,#2690,#2692,.T.);
#2688 = VERTEX_POINT('',#2689);
#2689 = CARTESIAN_POINT('',(19.895,5.,-8.54942727799));
#2690 = VERTEX_POINT('',#2691);
#2691 = CARTESIAN_POINT('',(19.895,-5.,-8.54942727799));
#2692 = LINE('',#2693,#2694);
#2693 = CARTESIAN_POINT('',(19.895,0.,-8.54942727799));
#2694 = VECTOR('',#2695,1.);
#2695 = DIRECTION('',(0.,-1.,0.));
#2696 = ORIENTED_EDGE('',*,*,#2697,.F.);
#2697 = EDGE_CURVE('',#2698,#2688,#2700,.T.);
#2698 = VERTEX_POINT('',#2699);
#2699 = CARTESIAN_POINT('',(19.895,5.,-4.98442727799));
#2700 = LINE('',#2701,#2702);
#2701 = CARTESIAN_POINT('',(19.895,5.,-8.54942727799));
#2702 = VECTOR('',#2703,1.);
#2703 = DIRECTION('',(0.,0.,-1.));
#2704 = ORIENTED_EDGE('',*,*,#2705,.T.);
#2705 = EDGE_CURVE('',#2698,#2706,#2708,.T.);
#2706 = VERTEX_POINT('',#2707);
#2707 = CARTESIAN_POINT('',(19.895,-5.,-4.98442727799));
#2708 = LINE('',#2709,#2710);
#2709 = CARTESIAN_POINT('',(19.895,0.,-4.98442727799));
#2710 = VECTOR('',#2711,1.);
#2711 = DIRECTION('',(0.,-1.,0.));
#2712 = ORIENTED_EDGE('',*,*,#2713,.F.);
#2713 = EDGE_CURVE('',#2690,#2706,#2714,.T.);
#2714 = LINE('',#2715,#2716);
#2715 = CARTESIAN_POINT('',(19.895,-5.,-8.54942727799));
#2716 = VECTOR('',#2717,1.);
#2717 = DIRECTION('',(0.,0.,1.));
#2718 = PLANE('',#2719);
#2719 = AXIS2_PLACEMENT_3D('',#2720,#2721,#2722);
#2720 = CARTESIAN_POINT('',(19.895,0.,-4.98442727799));
#2721 = DIRECTION('',(1.,0.,0.));
#2722 = DIRECTION('',(0.,1.,0.));
#2723 = ADVANCED_FACE('',(#2724),#2758,.T.);
#2724 = FACE_BOUND('',#2725,.T.);
#2725 = EDGE_LOOP('',(#2726,#2736,#2744,#2752));
#2726 = ORIENTED_EDGE('',*,*,#2727,.F.);
#2727 = EDGE_CURVE('',#2728,#2730,#2732,.T.);
#2728 = VERTEX_POINT('',#2729);
#2729 = CARTESIAN_POINT('',(19.895,5.,-4.98442727799));
#2730 = VERTEX_POINT('',#2731);
#2731 = CARTESIAN_POINT('',(19.895,-5.,-4.98442727799));
#2732 = LINE('',#2733,#2734);
#2733 = CARTESIAN_POINT('',(19.895,0.,-4.98442727799));
#2734 = VECTOR('',#2735,1.);
#2735 = DIRECTION('',(0.,-1.,0.));
#2736 = ORIENTED_EDGE('',*,*,#2737,.F.);
#2737 = EDGE_CURVE('',#2738,#2728,#2740,.T.);
#2738 = VERTEX_POINT('',#2739);
#2739 = CARTESIAN_POINT('',(21.264432852446,5.,-2.6125));
#2740 = LINE('',#2741,#2742);
#2741 = CARTESIAN_POINT('',(19.895,5.,-4.98442727799));
#2742 = VECTOR('',#2743,1.);
#2743 = DIRECTION('',(-0.5,0.,-0.866025403784));
#2744 = ORIENTED_EDGE('',*,*,#2745,.T.);
#2745 = EDGE_CURVE('',#2738,#2746,#2748,.T.);
#2746 = VERTEX_POINT('',#2747);
#2747 = CARTESIAN_POINT('',(21.264432852446,-5.,-2.6125));
#2748 = LINE('',#2749,#2750);
#2749 = CARTESIAN_POINT('',(21.264432852446,0.,-2.6125));
#2750 = VECTOR('',#2751,1.);
#2751 = DIRECTION('',(0.,-1.,0.));
#2752 = ORIENTED_EDGE('',*,*,#2753,.F.);
#2753 = EDGE_CURVE('',#2730,#2746,#2754,.T.);
#2754 = LINE('',#2755,#2756);
#2755 = CARTESIAN_POINT('',(19.895,-5.,-4.98442727799));
#2756 = VECTOR('',#2757,1.);
#2757 = DIRECTION('',(0.5,0.,0.866025403784));
#2758 = PLANE('',#2759);
#2759 = AXIS2_PLACEMENT_3D('',#2760,#2761,#2762);
#2760 = CARTESIAN_POINT('',(21.264432852446,0.,-2.6125));
#2761 = DIRECTION('',(0.866025403784,0.,-0.5));
#2762 = DIRECTION('',(0.,1.,0.));
#2763 = ADVANCED_FACE('',(#2764),#2800,.T.);
#2764 = FACE_BOUND('',#2765,.T.);
#2765 = EDGE_LOOP('',(#2766,#2776,#2785,#2793));
#2766 = ORIENTED_EDGE('',*,*,#2767,.F.);
#2767 = EDGE_CURVE('',#2768,#2770,#2772,.T.);
#2768 = VERTEX_POINT('',#2769);
#2769 = CARTESIAN_POINT('',(21.264432852446,5.,-2.6125));
#2770 = VERTEX_POINT('',#2771);
#2771 = CARTESIAN_POINT('',(21.264432852446,-5.,-2.6125));
#2772 = LINE('',#2773,#2774);
#2773 = CARTESIAN_POINT('',(21.264432852446,0.,-2.6125));
#2774 = VECTOR('',#2775,1.);
#2775 = DIRECTION('',(0.,-1.,0.));
#2776 = ORIENTED_EDGE('',*,*,#2777,.F.);
#2777 = EDGE_CURVE('',#2778,#2768,#2780,.T.);
#2778 = VERTEX_POINT('',#2779);
#2779 = CARTESIAN_POINT('',(20.679865704891,5.,-1.6));
#2780 = CIRCLE('',#2781,0.675);
#2781 = AXIS2_PLACEMENT_3D('',#2782,#2783,#2784);
#2782 = CARTESIAN_POINT('',(20.679865704891,5.,-2.275));
#2783 = DIRECTION('',(0.,1.,0.));
#2784 = DIRECTION('',(0.,0.,-1.));
#2785 = ORIENTED_EDGE('',*,*,#2786,.T.);
#2786 = EDGE_CURVE('',#2778,#2787,#2789,.T.);
#2787 = VERTEX_POINT('',#2788);
#2788 = CARTESIAN_POINT('',(20.679865704891,-5.,-1.6));
#2789 = LINE('',#2790,#2791);
#2790 = CARTESIAN_POINT('',(20.679865704891,0.,-1.6));
#2791 = VECTOR('',#2792,1.);
#2792 = DIRECTION('',(0.,-1.,0.));
#2793 = ORIENTED_EDGE('',*,*,#2794,.F.);
#2794 = EDGE_CURVE('',#2770,#2787,#2795,.T.);
#2795 = CIRCLE('',#2796,0.675);
#2796 = AXIS2_PLACEMENT_3D('',#2797,#2798,#2799);
#2797 = CARTESIAN_POINT('',(20.679865704891,-5.,-2.275));
#2798 = DIRECTION('',(0.,-1.,0.));
#2799 = DIRECTION('',(0.,0.,-1.));
#2800 = CYLINDRICAL_SURFACE('',#2801,0.675);
#2801 = AXIS2_PLACEMENT_3D('',#2802,#2803,#2804);
#2802 = CARTESIAN_POINT('',(20.679865704891,0.,-2.275));
#2803 = DIRECTION('',(0.,1.,0.));
#2804 = DIRECTION('',(0.,0.,-1.));
#2805 = ADVANCED_FACE('',(#2806,#2817,#2828,#2839),#2873,.T.);
#2806 = FACE_BOUND('',#2807,.T.);
#2807 = EDGE_LOOP('',(#2808));
#2808 = ORIENTED_EDGE('',*,*,#2809,.T.);
#2809 = EDGE_CURVE('',#2810,#2810,#2812,.T.);
#2810 = VERTEX_POINT('',#2811);
#2811 = CARTESIAN_POINT('',(13.875,0.,-1.6));
#2812 = CIRCLE('',#2813,1.375);
#2813 = AXIS2_PLACEMENT_3D('',#2814,#2815,#2816);
#2814 = CARTESIAN_POINT('',(12.5,0.,-1.6));
#2815 = DIRECTION('',(0.,0.,-1.));
#2816 = DIRECTION('',(1.,0.,0.));
#2817 = FACE_BOUND('',#2818,.T.);
#2818 = EDGE_LOOP('',(#2819));
#2819 = ORIENTED_EDGE('',*,*,#2820,.T.);
#2820 = EDGE_CURVE('',#2821,#2821,#2823,.T.);
#2821 = VERTEX_POINT('',#2822);
#2822 = CARTESIAN_POINT('',(1.375,0.,-1.6));
#2823 = CIRCLE('',#2824,1.375);
#2824 = AXIS2_PLACEMENT_3D('',#2825,#2826,#2827);
#2825 = CARTESIAN_POINT('',(0.,0.,-1.6));
#2826 = DIRECTION('',(0.,0.,-1.));
#2827 = DIRECTION('',(1.,0.,0.));
#2828 = FACE_BOUND('',#2829,.T.);
#2829 = EDGE_LOOP('',(#2830));
#2830 = ORIENTED_EDGE('',*,*,#2831,.T.);
#2831 = EDGE_CURVE('',#2832,#2832,#2834,.T.);
#2832 = VERTEX_POINT('',#2833);
#2833 = CARTESIAN_POINT('',(-11.125,0.,-1.6));
#2834 = CIRCLE('',#2835,1.375);
#2835 = AXIS2_PLACEMENT_3D('',#2836,#2837,#2838);
#2836 = CARTESIAN_POINT('',(-12.5,0.,-1.6));
#2837 = DIRECTION('',(0.,0.,-1.));
#2838 = DIRECTION('',(1.,0.,0.));
#2839 = FACE_BOUND('',#2840,.T.);
#2840 = EDGE_LOOP('',(#2841,#2851,#2859,#2867));
#2841 = ORIENTED_EDGE('',*,*,#2842,.F.);
#2842 = EDGE_CURVE('',#2843,#2845,#2847,.T.);
#2843 = VERTEX_POINT('',#2844);
#2844 = CARTESIAN_POINT('',(20.679865704891,5.,-1.6));
#2845 = VERTEX_POINT('',#2846);
#2846 = CARTESIAN_POINT('',(20.679865704891,-5.,-1.6));
#2847 = LINE('',#2848,#2849);
#2848 = CARTESIAN_POINT('',(20.679865704891,0.,-1.6));
#2849 = VECTOR('',#2850,1.);
#2850 = DIRECTION('',(0.,-1.,0.));
#2851 = ORIENTED_EDGE('',*,*,#2852,.F.);
#2852 = EDGE_CURVE('',#2853,#2843,#2855,.T.);
#2853 = VERTEX_POINT('',#2854);
#2854 = CARTESIAN_POINT('',(-21.245,5.,-1.6));
#2855 = LINE('',#2856,#2857);
#2856 = CARTESIAN_POINT('',(0.,5.,-1.6));
#2857 = VECTOR('',#2858,1.);
#2858 = DIRECTION('',(1.,0.,0.));
#2859 = ORIENTED_EDGE('',*,*,#2860,.T.);
#2860 = EDGE_CURVE('',#2853,#2861,#2863,.T.);
#2861 = VERTEX_POINT('',#2862);
#2862 = CARTESIAN_POINT('',(-21.245,-5.,-1.6));
#2863 = LINE('',#2864,#2865);
#2864 = CARTESIAN_POINT('',(-21.245,0.,-1.6));
#2865 = VECTOR('',#2866,1.);
#2866 = DIRECTION('',(0.,-1.,0.));
#2867 = ORIENTED_EDGE('',*,*,#2868,.F.);
#2868 = EDGE_CURVE('',#2845,#2861,#2869,.T.);
#2869 = LINE('',#2870,#2871);
#2870 = CARTESIAN_POINT('',(20.679865704891,-5.,-1.6));
#2871 = VECTOR('',#2872,1.);
#2872 = DIRECTION('',(-1.,0.,1.543478E-16));
#2873 = PLANE('',#2874);
#2874 = AXIS2_PLACEMENT_3D('',#2875,#2876,#2877);
#2875 = CARTESIAN_POINT('',(-21.245,0.,-1.6));
#2876 = DIRECTION('',(0.,0.,1.));
#2877 = DIRECTION('',(0.,-1.,0.));
#2878 = ADVANCED_FACE('',(#2879),#3332,.F.);
#2879 = FACE_BOUND('',#2880,.T.);
#2880 = EDGE_LOOP('',(#2881,#2891,#2900,#2908,#2916,#2924,#2932,#2940,
    #2948,#2957,#2965,#2974,#2982,#2990,#2998,#3006,#3015,#3023,#3031,
    #3039,#3047,#3055,#3063,#3072,#3080,#3089,#3097,#3105,#3113,#3121,
    #3129,#3138,#3147,#3156,#3165,#3174,#3182,#3190,#3198,#3206,#3214,
    #3222,#3230,#3238,#3246,#3254,#3262,#3270,#3278,#3286,#3294,#3302,
    #3310,#3318,#3326));
#2881 = ORIENTED_EDGE('',*,*,#2882,.T.);
#2882 = EDGE_CURVE('',#2883,#2885,#2887,.T.);
#2883 = VERTEX_POINT('',#2884);
#2884 = CARTESIAN_POINT('',(-21.245,5.,-1.6));
#2885 = VERTEX_POINT('',#2886);
#2886 = CARTESIAN_POINT('',(20.679865704891,5.,-1.6));
#2887 = LINE('',#2888,#2889);
#2888 = CARTESIAN_POINT('',(0.,5.,-1.6));
#2889 = VECTOR('',#2890,1.);
#2890 = DIRECTION('',(1.,0.,0.));
#2891 = ORIENTED_EDGE('',*,*,#2892,.T.);
#2892 = EDGE_CURVE('',#2885,#2893,#2895,.T.);
#2893 = VERTEX_POINT('',#2894);
#2894 = CARTESIAN_POINT('',(21.264432852446,5.,-2.6125));
#2895 = CIRCLE('',#2896,0.675);
#2896 = AXIS2_PLACEMENT_3D('',#2897,#2898,#2899);
#2897 = CARTESIAN_POINT('',(20.679865704891,5.,-2.275));
#2898 = DIRECTION('',(0.,1.,0.));
#2899 = DIRECTION('',(0.,0.,-1.));
#2900 = ORIENTED_EDGE('',*,*,#2901,.T.);
#2901 = EDGE_CURVE('',#2893,#2902,#2904,.T.);
#2902 = VERTEX_POINT('',#2903);
#2903 = CARTESIAN_POINT('',(19.895,5.,-4.98442727799));
#2904 = LINE('',#2905,#2906);
#2905 = CARTESIAN_POINT('',(19.895,5.,-4.98442727799));
#2906 = VECTOR('',#2907,1.);
#2907 = DIRECTION('',(-0.5,0.,-0.866025403784));
#2908 = ORIENTED_EDGE('',*,*,#2909,.T.);
#2909 = EDGE_CURVE('',#2902,#2910,#2912,.T.);
#2910 = VERTEX_POINT('',#2911);
#2911 = CARTESIAN_POINT('',(19.895,5.,-8.54942727799));
#2912 = LINE('',#2913,#2914);
#2913 = CARTESIAN_POINT('',(19.895,5.,-8.54942727799));
#2914 = VECTOR('',#2915,1.);
#2915 = DIRECTION('',(0.,0.,-1.));
#2916 = ORIENTED_EDGE('',*,*,#2917,.T.);
#2917 = EDGE_CURVE('',#2910,#2918,#2920,.T.);
#2918 = VERTEX_POINT('',#2919);
#2919 = CARTESIAN_POINT('',(18.415025506977,5.,-10.02940177101));
#2920 = LINE('',#2921,#2922);
#2921 = CARTESIAN_POINT('',(18.415025506977,5.,-10.02940177101));
#2922 = VECTOR('',#2923,1.);
#2923 = DIRECTION('',(-0.707106781187,0.,-0.707106781187));
#2924 = ORIENTED_EDGE('',*,*,#2925,.T.);
#2925 = EDGE_CURVE('',#2918,#2926,#2928,.T.);
#2926 = VERTEX_POINT('',#2927);
#2927 = CARTESIAN_POINT('',(17.294968365577,5.,-8.909344629614));
#2928 = LINE('',#2929,#2930);
#2929 = CARTESIAN_POINT('',(17.294968365577,5.,-8.909344629614));
#2930 = VECTOR('',#2931,1.);
#2931 = DIRECTION('',(-0.707106781187,0.,0.707106781187));
#2932 = ORIENTED_EDGE('',*,*,#2933,.T.);
#2933 = EDGE_CURVE('',#2926,#2934,#2936,.T.);
#2934 = VERTEX_POINT('',#2935);
#2935 = CARTESIAN_POINT('',(17.294968365577,5.,-8.049344629614));
#2936 = LINE('',#2937,#2938);
#2937 = CARTESIAN_POINT('',(17.294968365577,5.,-8.049344629614));
#2938 = VECTOR('',#2939,1.);
#2939 = DIRECTION('',(0.,0.,1.));
#2940 = ORIENTED_EDGE('',*,*,#2941,.T.);
#2941 = EDGE_CURVE('',#2934,#2942,#2944,.T.);
#2942 = VERTEX_POINT('',#2943);
#2943 = CARTESIAN_POINT('',(14.827968365577,5.,-8.049344629614));
#2944 = LINE('',#2945,#2946);
#2945 = CARTESIAN_POINT('',(14.827968365577,5.,-8.049344629614));
#2946 = VECTOR('',#2947,1.);
#2947 = DIRECTION('',(-1.,0.,4.500296E-16));
#2948 = ORIENTED_EDGE('',*,*,#2949,.T.);
#2949 = EDGE_CURVE('',#2942,#2950,#2952,.T.);
#2950 = VERTEX_POINT('',#2951);
#2951 = CARTESIAN_POINT('',(14.827968365577,5.,-9.099344629614));
#2952 = CIRCLE('',#2953,0.525);
#2953 = AXIS2_PLACEMENT_3D('',#2954,#2955,#2956);
#2954 = CARTESIAN_POINT('',(14.827968365577,5.,-8.574344629614));
#2955 = DIRECTION('',(0.,-1.,0.));
#2956 = DIRECTION('',(-1.,0.,0.));
#2957 = ORIENTED_EDGE('',*,*,#2958,.T.);
#2958 = EDGE_CURVE('',#2950,#2959,#2961,.T.);
#2959 = VERTEX_POINT('',#2960);
#2960 = CARTESIAN_POINT('',(15.607968365577,5.,-9.099344629614));
#2961 = LINE('',#2962,#2963);
#2962 = CARTESIAN_POINT('',(15.607968365577,5.,-9.099344629614));
#2963 = VECTOR('',#2964,1.);
#2964 = DIRECTION('',(1.,0.,0.));
#2965 = ORIENTED_EDGE('',*,*,#2966,.T.);
#2966 = EDGE_CURVE('',#2959,#2967,#2969,.T.);
#2967 = VERTEX_POINT('',#2968);
#2968 = CARTESIAN_POINT('',(19.007968365577,5.,-12.49934462961));
#2969 = CIRCLE('',#2970,3.4);
#2970 = AXIS2_PLACEMENT_3D('',#2971,#2972,#2973);
#2971 = CARTESIAN_POINT('',(15.607968365577,5.,-12.49934462961));
#2972 = DIRECTION('',(0.,1.,0.));
#2973 = DIRECTION('',(0.,0.,-1.));
#2974 = ORIENTED_EDGE('',*,*,#2975,.T.);
#2975 = EDGE_CURVE('',#2967,#2976,#2978,.T.);
#2976 = VERTEX_POINT('',#2977);
#2977 = CARTESIAN_POINT('',(19.007968365577,5.,-16.37534462961));
#2978 = LINE('',#2979,#2980);
#2979 = CARTESIAN_POINT('',(19.007968365577,5.,-16.37534462961));
#2980 = VECTOR('',#2981,1.);
#2981 = DIRECTION('',(0.,0.,-1.));
#2982 = ORIENTED_EDGE('',*,*,#2983,.T.);
#2983 = EDGE_CURVE('',#2976,#2984,#2986,.T.);
#2984 = VERTEX_POINT('',#2985);
#2985 = CARTESIAN_POINT('',(21.508183706303,5.,-17.81884462961));
#2986 = LINE('',#2987,#2988);
#2987 = CARTESIAN_POINT('',(21.508183706303,5.,-17.81884462961));
#2988 = VECTOR('',#2989,1.);
#2989 = DIRECTION('',(0.866025403784,0.,-0.5));
#2990 = ORIENTED_EDGE('',*,*,#2991,.T.);
#2991 = EDGE_CURVE('',#2984,#2992,#2994,.T.);
#2992 = VERTEX_POINT('',#2993);
#2993 = CARTESIAN_POINT('',(21.508183706303,5.,-20.60784462961));
#2994 = LINE('',#2995,#2996);
#2995 = CARTESIAN_POINT('',(21.508183706303,5.,-20.60784462961));
#2996 = VECTOR('',#2997,1.);
#2997 = DIRECTION('',(0.,0.,-1.));
#2998 = ORIENTED_EDGE('',*,*,#2999,.T.);
#2999 = EDGE_CURVE('',#2992,#3000,#3002,.T.);
#3000 = VERTEX_POINT('',#3001);
#3001 = CARTESIAN_POINT('',(18.203183706303,5.,-20.60784462961));
#3002 = LINE('',#3003,#3004);
#3003 = CARTESIAN_POINT('',(18.203183706303,5.,-20.60784462961));
#3004 = VECTOR('',#3005,1.);
#3005 = DIRECTION('',(-1.,0.,0.));
#3006 = ORIENTED_EDGE('',*,*,#3007,.T.);
#3007 = EDGE_CURVE('',#3000,#3008,#3010,.T.);
#3008 = VERTEX_POINT('',#3009);
#3009 = CARTESIAN_POINT('',(16.407183706303,5.,-15.70784462961));
#3010 = CIRCLE('',#3011,7.4);
#3011 = AXIS2_PLACEMENT_3D('',#3012,#3013,#3014);
#3012 = CARTESIAN_POINT('',(23.806881032719,5.,-15.77477352793));
#3013 = DIRECTION('',(-0.,1.,0.));
#3014 = DIRECTION('',(0.757256395462,0.,0.653117716444));
#3015 = ORIENTED_EDGE('',*,*,#3016,.T.);
#3016 = EDGE_CURVE('',#3008,#3017,#3019,.T.);
#3017 = VERTEX_POINT('',#3018);
#3018 = CARTESIAN_POINT('',(17.43382615252,5.,-15.50754164005));
#3019 = LINE('',#3020,#3021);
#3020 = CARTESIAN_POINT('',(17.43382615252,5.,-15.50754164005));
#3021 = VECTOR('',#3022,1.);
#3022 = DIRECTION('',(0.981493734433,0.,0.191494253877));
#3023 = ORIENTED_EDGE('',*,*,#3024,.T.);
#3024 = EDGE_CURVE('',#3017,#3025,#3027,.T.);
#3025 = VERTEX_POINT('',#3026);
#3026 = CARTESIAN_POINT('',(17.546266951871,5.,-14.15721498822));
#3027 = LINE('',#3028,#3029);
#3028 = CARTESIAN_POINT('',(17.546266951871,5.,-14.15721498822));
#3029 = VECTOR('',#3030,1.);
#3030 = DIRECTION('',(8.298213974239E-02,0.,0.996551034561));
#3031 = ORIENTED_EDGE('',*,*,#3032,.T.);
#3032 = EDGE_CURVE('',#3025,#3033,#3035,.T.);
#3033 = VERTEX_POINT('',#3034);
#3034 = CARTESIAN_POINT('',(16.258266951871,5.,-14.15721498822));
#3035 = LINE('',#3036,#3037);
#3036 = CARTESIAN_POINT('',(16.258266951871,5.,-14.15721498822));
#3037 = VECTOR('',#3038,1.);
#3038 = DIRECTION('',(-1.,0.,0.));
#3039 = ORIENTED_EDGE('',*,*,#3040,.T.);
#3040 = EDGE_CURVE('',#3033,#3041,#3043,.T.);
#3041 = VERTEX_POINT('',#3042);
#3042 = CARTESIAN_POINT('',(16.258266951871,5.,-13.40721498822));
#3043 = LINE('',#3044,#3045);
#3044 = CARTESIAN_POINT('',(16.258266951871,5.,-13.40721498822));
#3045 = VECTOR('',#3046,1.);
#3046 = DIRECTION('',(0.,0.,1.));
#3047 = ORIENTED_EDGE('',*,*,#3048,.T.);
#3048 = EDGE_CURVE('',#3041,#3049,#3051,.T.);
#3049 = VERTEX_POINT('',#3050);
#3050 = CARTESIAN_POINT('',(17.508065390195,5.,-12.82442440528));
#3051 = LINE('',#3052,#3053);
#3052 = CARTESIAN_POINT('',(17.508065390195,5.,-12.82442440528));
#3053 = VECTOR('',#3054,1.);
#3054 = DIRECTION('',(0.906307787037,0.,0.422618261741));
#3055 = ORIENTED_EDGE('',*,*,#3056,.T.);
#3056 = EDGE_CURVE('',#3049,#3057,#3059,.T.);
#3057 = VERTEX_POINT('',#3058);
#3058 = CARTESIAN_POINT('',(17.508065390195,5.,-12.30742440528));
#3059 = LINE('',#3060,#3061);
#3060 = CARTESIAN_POINT('',(17.508065390195,5.,-12.30742440528));
#3061 = VECTOR('',#3062,1.);
#3062 = DIRECTION('',(0.,0.,1.));
#3063 = ORIENTED_EDGE('',*,*,#3064,.T.);
#3064 = EDGE_CURVE('',#3057,#3065,#3067,.T.);
#3065 = VERTEX_POINT('',#3066);
#3066 = CARTESIAN_POINT('',(15.808065390195,5.,-10.60742440528));
#3067 = CIRCLE('',#3068,1.7);
#3068 = AXIS2_PLACEMENT_3D('',#3069,#3070,#3071);
#3069 = CARTESIAN_POINT('',(15.808065390195,5.,-12.30742440528));
#3070 = DIRECTION('',(0.,-1.,0.));
#3071 = DIRECTION('',(1.306145E-15,0.,1.));
#3072 = ORIENTED_EDGE('',*,*,#3073,.T.);
#3073 = EDGE_CURVE('',#3065,#3074,#3076,.T.);
#3074 = VERTEX_POINT('',#3075);
#3075 = CARTESIAN_POINT('',(14.836065390195,5.,-10.60742440528));
#3076 = LINE('',#3077,#3078);
#3077 = CARTESIAN_POINT('',(14.836065390195,5.,-10.60742440528));
#3078 = VECTOR('',#3079,1.);
#3079 = DIRECTION('',(-1.,0.,0.));
#3080 = ORIENTED_EDGE('',*,*,#3081,.T.);
#3081 = EDGE_CURVE('',#3074,#3082,#3084,.T.);
#3082 = VERTEX_POINT('',#3083);
#3083 = CARTESIAN_POINT('',(13.422132020117,5.,-11.19335777536));
#3084 = CIRCLE('',#3085,2.);
#3085 = AXIS2_PLACEMENT_3D('',#3086,#3087,#3088);
#3086 = CARTESIAN_POINT('',(14.836492545282,5.,-12.60742435967));
#3087 = DIRECTION('',(0.,-1.,0.));
#3088 = DIRECTION('',(-0.707180262583,0.,0.707033292154));
#3089 = ORIENTED_EDGE('',*,*,#3090,.T.);
#3090 = EDGE_CURVE('',#3082,#3091,#3093,.T.);
#3091 = VERTEX_POINT('',#3092);
#3092 = CARTESIAN_POINT('',(12.908065390195,5.,-11.70742440528));
#3093 = LINE('',#3094,#3095);
#3094 = CARTESIAN_POINT('',(12.908065390195,5.,-11.70742440528));
#3095 = VECTOR('',#3096,1.);
#3096 = DIRECTION('',(-0.707106781187,0.,-0.707106781187));
#3097 = ORIENTED_EDGE('',*,*,#3098,.T.);
#3098 = EDGE_CURVE('',#3091,#3099,#3101,.T.);
#3099 = VERTEX_POINT('',#3100);
#3100 = CARTESIAN_POINT('',(7.108065390195,5.,-11.70742440528));
#3101 = LINE('',#3102,#3103);
#3102 = CARTESIAN_POINT('',(7.108065390195,5.,-11.70742440528));
#3103 = VECTOR('',#3104,1.);
#3104 = DIRECTION('',(-1.,0.,0.));
#3105 = ORIENTED_EDGE('',*,*,#3106,.T.);
#3106 = EDGE_CURVE('',#3099,#3107,#3109,.T.);
#3107 = VERTEX_POINT('',#3108);
#3108 = CARTESIAN_POINT('',(6.679461051505,5.,-10.10785123695));
#3109 = LINE('',#3110,#3111);
#3110 = CARTESIAN_POINT('',(6.679461051505,5.,-10.10785123695));
#3111 = VECTOR('',#3112,1.);
#3112 = DIRECTION('',(-0.258819045103,0.,0.965925826289));
#3113 = ORIENTED_EDGE('',*,*,#3114,.T.);
#3114 = EDGE_CURVE('',#3107,#3115,#3117,.T.);
#3115 = VERTEX_POINT('',#3116);
#3116 = CARTESIAN_POINT('',(5.683461051505,5.,-10.10785123695));
#3117 = LINE('',#3118,#3119);
#3118 = CARTESIAN_POINT('',(5.683461051505,5.,-10.10785123695));
#3119 = VECTOR('',#3120,1.);
#3120 = DIRECTION('',(-1.,0.,0.));
#3121 = ORIENTED_EDGE('',*,*,#3122,.T.);
#3122 = EDGE_CURVE('',#3115,#3123,#3125,.T.);
#3123 = VERTEX_POINT('',#3124);
#3124 = CARTESIAN_POINT('',(5.683461051505,5.,-13.32785123695));
#3125 = LINE('',#3126,#3127);
#3126 = CARTESIAN_POINT('',(5.683461051505,5.,-13.32785123695));
#3127 = VECTOR('',#3128,1.);
#3128 = DIRECTION('',(0.,0.,-1.));
#3129 = ORIENTED_EDGE('',*,*,#3130,.T.);
#3130 = EDGE_CURVE('',#3123,#3131,#3133,.T.);
#3131 = VERTEX_POINT('',#3132);
#3132 = CARTESIAN_POINT('',(6.688407478026,5.,-13.95785123695));
#3133 = CIRCLE('',#3134,0.699946426521);
#3134 = AXIS2_PLACEMENT_3D('',#3135,#3136,#3137);
#3135 = CARTESIAN_POINT('',(5.988461051505,5.,-13.95785123695));
#3136 = DIRECTION('',(0.,1.,0.));
#3137 = DIRECTION('',(0.435747635024,0.,-0.900068885459));
#3138 = ORIENTED_EDGE('',*,*,#3139,.T.);
#3139 = EDGE_CURVE('',#3131,#3140,#3142,.T.);
#3140 = VERTEX_POINT('',#3141);
#3141 = CARTESIAN_POINT('',(5.552461051505,5.,-16.36235747648));
#3142 = CIRCLE('',#3143,3.35);
#3143 = AXIS2_PLACEMENT_3D('',#3144,#3145,#3146);
#3144 = CARTESIAN_POINT('',(3.340252624267,5.,-13.84667985913));
#3145 = DIRECTION('',(0.,1.,-0.));
#3146 = DIRECTION('',(-0.999449210077,0.,3.318548591586E-02));
#3147 = ORIENTED_EDGE('',*,*,#3148,.T.);
#3148 = EDGE_CURVE('',#3140,#3149,#3151,.T.);
#3149 = VERTEX_POINT('',#3150);
#3150 = CARTESIAN_POINT('',(4.888461051505,5.,-16.06185123695));
#3151 = CIRCLE('',#3152,0.4);
#3152 = AXIS2_PLACEMENT_3D('',#3153,#3154,#3155);
#3153 = CARTESIAN_POINT('',(5.288461051505,5.,-16.06185123695));
#3154 = DIRECTION('',(0.,1.,-0.));
#3155 = DIRECTION('',(-0.66,0.,0.75126559884));
#3156 = ORIENTED_EDGE('',*,*,#3157,.T.);
#3157 = EDGE_CURVE('',#3149,#3158,#3160,.T.);
#3158 = VERTEX_POINT('',#3159);
#3159 = CARTESIAN_POINT('',(3.688461051505,5.,-14.86185123695));
#3160 = CIRCLE('',#3161,1.2);
#3161 = AXIS2_PLACEMENT_3D('',#3162,#3163,#3164);
#3162 = CARTESIAN_POINT('',(3.688461051505,5.,-16.06185123695));
#3163 = DIRECTION('',(0.,-1.,0.));
#3164 = DIRECTION('',(0.,0.,1.));
#3165 = ORIENTED_EDGE('',*,*,#3166,.T.);
#3166 = EDGE_CURVE('',#3158,#3167,#3169,.T.);
#3167 = VERTEX_POINT('',#3168);
#3168 = CARTESIAN_POINT('',(-7.967538948495,5.,-18.95785123695));
#3169 = CIRCLE('',#3170,11.);
#3170 = AXIS2_PLACEMENT_3D('',#3171,#3172,#3173);
#3171 = CARTESIAN_POINT('',(0.877957345022,5.,-25.49674986909));
#3172 = DIRECTION('',(0.,-1.,0.));
#3173 = DIRECTION('',(-0.804136026683,0.,0.594445330194));
#3174 = ORIENTED_EDGE('',*,*,#3175,.T.);
#3175 = EDGE_CURVE('',#3167,#3176,#3178,.T.);
#3176 = VERTEX_POINT('',#3177);
#3177 = CARTESIAN_POINT('',(-9.741538948495,5.,-18.95785123695));
#3178 = LINE('',#3179,#3180);
#3179 = CARTESIAN_POINT('',(-9.741538948495,5.,-18.95785123695));
#3180 = VECTOR('',#3181,1.);
#3181 = DIRECTION('',(-1.,0.,0.));
#3182 = ORIENTED_EDGE('',*,*,#3183,.T.);
#3183 = EDGE_CURVE('',#3176,#3184,#3186,.T.);
#3184 = VERTEX_POINT('',#3185);
#3185 = CARTESIAN_POINT('',(-9.741538948495,5.,-20.60785123695));
#3186 = LINE('',#3187,#3188);
#3187 = CARTESIAN_POINT('',(-9.741538948495,5.,-20.60785123695));
#3188 = VECTOR('',#3189,1.);
#3189 = DIRECTION('',(0.,0.,-1.));
#3190 = ORIENTED_EDGE('',*,*,#3191,.T.);
#3191 = EDGE_CURVE('',#3184,#3192,#3194,.T.);
#3192 = VERTEX_POINT('',#3193);
#3193 = CARTESIAN_POINT('',(-12.69153894849,5.,-20.60785123695));
#3194 = LINE('',#3195,#3196);
#3195 = CARTESIAN_POINT('',(-12.69153894849,5.,-20.60785123695));
#3196 = VECTOR('',#3197,1.);
#3197 = DIRECTION('',(-1.,0.,0.));
#3198 = ORIENTED_EDGE('',*,*,#3199,.T.);
#3199 = EDGE_CURVE('',#3192,#3200,#3202,.T.);
#3200 = VERTEX_POINT('',#3201);
#3201 = CARTESIAN_POINT('',(-12.69153894849,5.,-19.33285123695));
#3202 = LINE('',#3203,#3204);
#3203 = CARTESIAN_POINT('',(-12.69153894849,5.,-19.33285123695));
#3204 = VECTOR('',#3205,1.);
#3205 = DIRECTION('',(0.,0.,1.));
#3206 = ORIENTED_EDGE('',*,*,#3207,.T.);
#3207 = EDGE_CURVE('',#3200,#3208,#3210,.T.);
#3208 = VERTEX_POINT('',#3209);
#3209 = CARTESIAN_POINT('',(-11.54130628317,5.,-19.2078959824));
#3210 = LINE('',#3211,#3212);
#3211 = CARTESIAN_POINT('',(-11.54130628317,5.,-19.2078959824));
#3212 = VECTOR('',#3213,1.);
#3213 = DIRECTION('',(0.994150963972,0.,0.107999355706));
#3214 = ORIENTED_EDGE('',*,*,#3215,.T.);
#3215 = EDGE_CURVE('',#3208,#3216,#3218,.T.);
#3216 = VERTEX_POINT('',#3217);
#3217 = CARTESIAN_POINT('',(-11.54130628317,5.,-17.7078959824));
#3218 = LINE('',#3219,#3220);
#3219 = CARTESIAN_POINT('',(-11.54130628317,5.,-17.7078959824));
#3220 = VECTOR('',#3221,1.);
#3221 = DIRECTION('',(0.,0.,1.));
#3222 = ORIENTED_EDGE('',*,*,#3223,.T.);
#3223 = EDGE_CURVE('',#3216,#3224,#3226,.T.);
#3224 = VERTEX_POINT('',#3225);
#3225 = CARTESIAN_POINT('',(-12.39130628317,5.,-17.7078959824));
#3226 = LINE('',#3227,#3228);
#3227 = CARTESIAN_POINT('',(-12.39130628317,5.,-17.7078959824));
#3228 = VECTOR('',#3229,1.);
#3229 = DIRECTION('',(-1.,0.,0.));
#3230 = ORIENTED_EDGE('',*,*,#3231,.T.);
#3231 = EDGE_CURVE('',#3224,#3232,#3234,.T.);
#3232 = VERTEX_POINT('',#3233);
#3233 = CARTESIAN_POINT('',(-12.39130628317,5.,-17.2078959824));
#3234 = LINE('',#3235,#3236);
#3235 = CARTESIAN_POINT('',(-12.39130628317,5.,-17.2078959824));
#3236 = VECTOR('',#3237,1.);
#3237 = DIRECTION('',(0.,0.,1.));
#3238 = ORIENTED_EDGE('',*,*,#3239,.T.);
#3239 = EDGE_CURVE('',#3232,#3240,#3242,.T.);
#3240 = VERTEX_POINT('',#3241);
#3241 = CARTESIAN_POINT('',(-11.16625806829,5.,-11.6820605821));
#3242 = LINE('',#3243,#3244);
#3243 = CARTESIAN_POINT('',(-11.16625806829,5.,-11.6820605821));
#3244 = VECTOR('',#3245,1.);
#3245 = DIRECTION('',(0.216439613938,0.,0.97629600712));
#3246 = ORIENTED_EDGE('',*,*,#3247,.T.);
#3247 = EDGE_CURVE('',#3240,#3248,#3250,.T.);
#3248 = VERTEX_POINT('',#3249);
#3249 = CARTESIAN_POINT('',(-11.16625806829,5.,-10.1080605821));
#3250 = LINE('',#3251,#3252);
#3251 = CARTESIAN_POINT('',(-11.16625806829,5.,-10.1080605821));
#3252 = VECTOR('',#3253,1.);
#3253 = DIRECTION('',(0.,0.,1.));
#3254 = ORIENTED_EDGE('',*,*,#3255,.T.);
#3255 = EDGE_CURVE('',#3248,#3256,#3258,.T.);
#3256 = VERTEX_POINT('',#3257);
#3257 = CARTESIAN_POINT('',(-12.66625806829,5.,-10.1080605821));
#3258 = LINE('',#3259,#3260);
#3259 = CARTESIAN_POINT('',(-12.66625806829,5.,-10.1080605821));
#3260 = VECTOR('',#3261,1.);
#3261 = DIRECTION('',(-1.,0.,0.));
#3262 = ORIENTED_EDGE('',*,*,#3263,.T.);
#3263 = EDGE_CURVE('',#3256,#3264,#3266,.T.);
#3264 = VERTEX_POINT('',#3265);
#3265 = CARTESIAN_POINT('',(-12.69153894849,5.,-11.93988614069));
#3266 = LINE('',#3267,#3268);
#3267 = CARTESIAN_POINT('',(-12.69153894849,5.,-11.93988614069));
#3268 = VECTOR('',#3269,1.);
#3269 = DIRECTION('',(-1.379960709914E-02,0.,-0.999904780889));
#3270 = ORIENTED_EDGE('',*,*,#3271,.T.);
#3271 = EDGE_CURVE('',#3264,#3272,#3274,.T.);
#3272 = VERTEX_POINT('',#3273);
#3273 = CARTESIAN_POINT('',(-13.24925574219,5.,-14.30090879581));
#3274 = LINE('',#3275,#3276);
#3275 = CARTESIAN_POINT('',(-13.24925574219,5.,-14.30090879581));
#3276 = VECTOR('',#3277,1.);
#3277 = DIRECTION('',(-0.229891506061,0.,-0.973216263449));
#3278 = ORIENTED_EDGE('',*,*,#3279,.T.);
#3279 = EDGE_CURVE('',#3272,#3280,#3282,.T.);
#3280 = VERTEX_POINT('',#3281);
#3281 = CARTESIAN_POINT('',(-17.32425574219,5.,-14.30090879581));
#3282 = LINE('',#3283,#3284);
#3283 = CARTESIAN_POINT('',(-17.32425574219,5.,-14.30090879581));
#3284 = VECTOR('',#3285,1.);
#3285 = DIRECTION('',(-1.,0.,0.));
#3286 = ORIENTED_EDGE('',*,*,#3287,.T.);
#3287 = EDGE_CURVE('',#3280,#3288,#3290,.T.);
#3288 = VERTEX_POINT('',#3289);
#3289 = CARTESIAN_POINT('',(-17.32425574219,5.,-15.50090879581));
#3290 = LINE('',#3291,#3292);
#3291 = CARTESIAN_POINT('',(-17.32425574219,5.,-15.50090879581));
#3292 = VECTOR('',#3293,1.);
#3293 = DIRECTION('',(0.,0.,-1.));
#3294 = ORIENTED_EDGE('',*,*,#3295,.T.);
#3295 = EDGE_CURVE('',#3288,#3296,#3298,.T.);
#3296 = VERTEX_POINT('',#3297);
#3297 = CARTESIAN_POINT('',(-16.52390130009,5.,-15.70105316122));
#3298 = LINE('',#3299,#3300);
#3299 = CARTESIAN_POINT('',(-16.52390130009,5.,-15.70105316122));
#3300 = VECTOR('',#3301,1.);
#3301 = DIRECTION('',(0.97012659649,0.,-0.242599230795));
#3302 = ORIENTED_EDGE('',*,*,#3303,.T.);
#3303 = EDGE_CURVE('',#3296,#3304,#3306,.T.);
#3304 = VERTEX_POINT('',#3305);
#3305 = CARTESIAN_POINT('',(-16.52390130009,5.,-16.15105316122));
#3306 = LINE('',#3307,#3308);
#3307 = CARTESIAN_POINT('',(-16.52390130009,5.,-16.15105316122));
#3308 = VECTOR('',#3309,1.);
#3309 = DIRECTION('',(0.,0.,-1.));
#3310 = ORIENTED_EDGE('',*,*,#3311,.T.);
#3311 = EDGE_CURVE('',#3304,#3312,#3314,.T.);
#3312 = VERTEX_POINT('',#3313);
#3313 = CARTESIAN_POINT('',(-17.47425281401,5.,-17.10140467513));
#3314 = LINE('',#3315,#3316);
#3315 = CARTESIAN_POINT('',(-17.47425281401,5.,-17.10140467513));
#3316 = VECTOR('',#3317,1.);
#3317 = DIRECTION('',(-0.707106781187,0.,-0.707106781187));
#3318 = ORIENTED_EDGE('',*,*,#3319,.T.);
#3319 = EDGE_CURVE('',#3312,#3320,#3322,.T.);
#3320 = VERTEX_POINT('',#3321);
#3321 = CARTESIAN_POINT('',(-21.245,5.,-17.10140467513));
#3322 = LINE('',#3323,#3324);
#3323 = CARTESIAN_POINT('',(-21.245,5.,-17.10140467513));
#3324 = VECTOR('',#3325,1.);
#3325 = DIRECTION('',(-1.,0.,-5.88861E-16));
#3326 = ORIENTED_EDGE('',*,*,#3327,.T.);
#3327 = EDGE_CURVE('',#3320,#2883,#3328,.T.);
#3328 = LINE('',#3329,#3330);
#3329 = CARTESIAN_POINT('',(-21.245,5.,-1.6));
#3330 = VECTOR('',#3331,1.);
#3331 = DIRECTION('',(0.,0.,1.));
#3332 = PLANE('',#3333);
#3333 = AXIS2_PLACEMENT_3D('',#3334,#3335,#3336);
#3334 = CARTESIAN_POINT('',(0.906302320593,5.,-10.39007938588));
#3335 = DIRECTION('',(0.,-1.,0.));
#3336 = DIRECTION('',(0.,0.,-1.));
#3337 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#3341)) 
GLOBAL_UNIT_ASSIGNED_CONTEXT((#3338,#3339,#3340)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#3338 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#3339 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#3340 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#3341 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(5.E-07),#3338,
  'distance_accuracy_value','confusion accuracy');
#3342 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#7));
#3343 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION('',(
    #3344,#3352,#3359,#3366,#3373,#3380,#3387,#3394,#3401,#3408,#3415,
    #3422,#3429,#3436,#3443,#3450,#3457,#3464,#3471,#3478,#3485,#3492,
    #3499,#3506,#3513,#3520,#3527,#3534,#3541,#3548,#3555,#3562,#3569,
    #3576,#3583,#3590,#3597,#3604,#3611,#3618,#3625,#3632,#3639,#3646,
    #3653,#3660,#3667,#3674,#3681,#3688,#3695,#3702,#3709,#3716,#3723,
    #3730,#3737,#3744,#3751,#3758,#3765,#3772,#3779),#3337);
#3344 = STYLED_ITEM('color',(#3345),#17);
#3345 = PRESENTATION_STYLE_ASSIGNMENT((#3346));
#3346 = SURFACE_STYLE_USAGE(.BOTH.,#3347);
#3347 = SURFACE_SIDE_STYLE('',(#3348));
#3348 = SURFACE_STYLE_FILL_AREA(#3349);
#3349 = FILL_AREA_STYLE('',(#3350));
#3350 = FILL_AREA_STYLE_COLOUR('',#3351);
#3351 = COLOUR_RGB('',0.920000016689,0.920000016689,0.920000016689);
#3352 = STYLED_ITEM('color',(#3353),#49);
#3353 = PRESENTATION_STYLE_ASSIGNMENT((#3354));
#3354 = SURFACE_STYLE_USAGE(.BOTH.,#3355);
#3355 = SURFACE_SIDE_STYLE('',(#3356));
#3356 = SURFACE_STYLE_FILL_AREA(#3357);
#3357 = FILL_AREA_STYLE('',(#3358));
#3358 = FILL_AREA_STYLE_COLOUR('',#3351);
#3359 = STYLED_ITEM('color',(#3360),#66);
#3360 = PRESENTATION_STYLE_ASSIGNMENT((#3361));
#3361 = SURFACE_STYLE_USAGE(.BOTH.,#3362);
#3362 = SURFACE_SIDE_STYLE('',(#3363));
#3363 = SURFACE_STYLE_FILL_AREA(#3364);
#3364 = FILL_AREA_STYLE('',(#3365));
#3365 = FILL_AREA_STYLE_COLOUR('',#3351);
#3366 = STYLED_ITEM('color',(#3367),#98);
#3367 = PRESENTATION_STYLE_ASSIGNMENT((#3368));
#3368 = SURFACE_STYLE_USAGE(.BOTH.,#3369);
#3369 = SURFACE_SIDE_STYLE('',(#3370));
#3370 = SURFACE_STYLE_FILL_AREA(#3371);
#3371 = FILL_AREA_STYLE('',(#3372));
#3372 = FILL_AREA_STYLE_COLOUR('',#3351);
#3373 = STYLED_ITEM('color',(#3374),#115);
#3374 = PRESENTATION_STYLE_ASSIGNMENT((#3375));
#3375 = SURFACE_STYLE_USAGE(.BOTH.,#3376);
#3376 = SURFACE_SIDE_STYLE('',(#3377));
#3377 = SURFACE_STYLE_FILL_AREA(#3378);
#3378 = FILL_AREA_STYLE('',(#3379));
#3379 = FILL_AREA_STYLE_COLOUR('',#3351);
#3380 = STYLED_ITEM('color',(#3381),#147);
#3381 = PRESENTATION_STYLE_ASSIGNMENT((#3382));
#3382 = SURFACE_STYLE_USAGE(.BOTH.,#3383);
#3383 = SURFACE_SIDE_STYLE('',(#3384));
#3384 = SURFACE_STYLE_FILL_AREA(#3385);
#3385 = FILL_AREA_STYLE('',(#3386));
#3386 = FILL_AREA_STYLE_COLOUR('',#3351);
#3387 = STYLED_ITEM('color',(#3388),#164);
#3388 = PRESENTATION_STYLE_ASSIGNMENT((#3389));
#3389 = SURFACE_STYLE_USAGE(.BOTH.,#3390);
#3390 = SURFACE_SIDE_STYLE('',(#3391));
#3391 = SURFACE_STYLE_FILL_AREA(#3392);
#3392 = FILL_AREA_STYLE('',(#3393));
#3393 = FILL_AREA_STYLE_COLOUR('',#3351);
#3394 = STYLED_ITEM('color',(#3395),#623);
#3395 = PRESENTATION_STYLE_ASSIGNMENT((#3396));
#3396 = SURFACE_STYLE_USAGE(.BOTH.,#3397);
#3397 = SURFACE_SIDE_STYLE('',(#3398));
#3398 = SURFACE_STYLE_FILL_AREA(#3399);
#3399 = FILL_AREA_STYLE('',(#3400));
#3400 = FILL_AREA_STYLE_COLOUR('',#3351);
#3401 = STYLED_ITEM('color',(#3402),#663);
#3402 = PRESENTATION_STYLE_ASSIGNMENT((#3403));
#3403 = SURFACE_STYLE_USAGE(.BOTH.,#3404);
#3404 = SURFACE_SIDE_STYLE('',(#3405));
#3405 = SURFACE_STYLE_FILL_AREA(#3406);
#3406 = FILL_AREA_STYLE('',(#3407));
#3407 = FILL_AREA_STYLE_COLOUR('',#3351);
#3408 = STYLED_ITEM('color',(#3409),#703);
#3409 = PRESENTATION_STYLE_ASSIGNMENT((#3410));
#3410 = SURFACE_STYLE_USAGE(.BOTH.,#3411);
#3411 = SURFACE_SIDE_STYLE('',(#3412));
#3412 = SURFACE_STYLE_FILL_AREA(#3413);
#3413 = FILL_AREA_STYLE('',(#3414));
#3414 = FILL_AREA_STYLE_COLOUR('',#3351);
#3415 = STYLED_ITEM('color',(#3416),#743);
#3416 = PRESENTATION_STYLE_ASSIGNMENT((#3417));
#3417 = SURFACE_STYLE_USAGE(.BOTH.,#3418);
#3418 = SURFACE_SIDE_STYLE('',(#3419));
#3419 = SURFACE_STYLE_FILL_AREA(#3420);
#3420 = FILL_AREA_STYLE('',(#3421));
#3421 = FILL_AREA_STYLE_COLOUR('',#3351);
#3422 = STYLED_ITEM('color',(#3423),#783);
#3423 = PRESENTATION_STYLE_ASSIGNMENT((#3424));
#3424 = SURFACE_STYLE_USAGE(.BOTH.,#3425);
#3425 = SURFACE_SIDE_STYLE('',(#3426));
#3426 = SURFACE_STYLE_FILL_AREA(#3427);
#3427 = FILL_AREA_STYLE('',(#3428));
#3428 = FILL_AREA_STYLE_COLOUR('',#3351);
#3429 = STYLED_ITEM('color',(#3430),#823);
#3430 = PRESENTATION_STYLE_ASSIGNMENT((#3431));
#3431 = SURFACE_STYLE_USAGE(.BOTH.,#3432);
#3432 = SURFACE_SIDE_STYLE('',(#3433));
#3433 = SURFACE_STYLE_FILL_AREA(#3434);
#3434 = FILL_AREA_STYLE('',(#3435));
#3435 = FILL_AREA_STYLE_COLOUR('',#3351);
#3436 = STYLED_ITEM('color',(#3437),#863);
#3437 = PRESENTATION_STYLE_ASSIGNMENT((#3438));
#3438 = SURFACE_STYLE_USAGE(.BOTH.,#3439);
#3439 = SURFACE_SIDE_STYLE('',(#3440));
#3440 = SURFACE_STYLE_FILL_AREA(#3441);
#3441 = FILL_AREA_STYLE('',(#3442));
#3442 = FILL_AREA_STYLE_COLOUR('',#3351);
#3443 = STYLED_ITEM('color',(#3444),#903);
#3444 = PRESENTATION_STYLE_ASSIGNMENT((#3445));
#3445 = SURFACE_STYLE_USAGE(.BOTH.,#3446);
#3446 = SURFACE_SIDE_STYLE('',(#3447));
#3447 = SURFACE_STYLE_FILL_AREA(#3448);
#3448 = FILL_AREA_STYLE('',(#3449));
#3449 = FILL_AREA_STYLE_COLOUR('',#3351);
#3450 = STYLED_ITEM('color',(#3451),#943);
#3451 = PRESENTATION_STYLE_ASSIGNMENT((#3452));
#3452 = SURFACE_STYLE_USAGE(.BOTH.,#3453);
#3453 = SURFACE_SIDE_STYLE('',(#3454));
#3454 = SURFACE_STYLE_FILL_AREA(#3455);
#3455 = FILL_AREA_STYLE('',(#3456));
#3456 = FILL_AREA_STYLE_COLOUR('',#3351);
#3457 = STYLED_ITEM('color',(#3458),#983);
#3458 = PRESENTATION_STYLE_ASSIGNMENT((#3459));
#3459 = SURFACE_STYLE_USAGE(.BOTH.,#3460);
#3460 = SURFACE_SIDE_STYLE('',(#3461));
#3461 = SURFACE_STYLE_FILL_AREA(#3462);
#3462 = FILL_AREA_STYLE('',(#3463));
#3463 = FILL_AREA_STYLE_COLOUR('',#3351);
#3464 = STYLED_ITEM('color',(#3465),#1023);
#3465 = PRESENTATION_STYLE_ASSIGNMENT((#3466));
#3466 = SURFACE_STYLE_USAGE(.BOTH.,#3467);
#3467 = SURFACE_SIDE_STYLE('',(#3468));
#3468 = SURFACE_STYLE_FILL_AREA(#3469);
#3469 = FILL_AREA_STYLE('',(#3470));
#3470 = FILL_AREA_STYLE_COLOUR('',#3351);
#3471 = STYLED_ITEM('color',(#3472),#1063);
#3472 = PRESENTATION_STYLE_ASSIGNMENT((#3473));
#3473 = SURFACE_STYLE_USAGE(.BOTH.,#3474);
#3474 = SURFACE_SIDE_STYLE('',(#3475));
#3475 = SURFACE_STYLE_FILL_AREA(#3476);
#3476 = FILL_AREA_STYLE('',(#3477));
#3477 = FILL_AREA_STYLE_COLOUR('',#3351);
#3478 = STYLED_ITEM('color',(#3479),#1103);
#3479 = PRESENTATION_STYLE_ASSIGNMENT((#3480));
#3480 = SURFACE_STYLE_USAGE(.BOTH.,#3481);
#3481 = SURFACE_SIDE_STYLE('',(#3482));
#3482 = SURFACE_STYLE_FILL_AREA(#3483);
#3483 = FILL_AREA_STYLE('',(#3484));
#3484 = FILL_AREA_STYLE_COLOUR('',#3351);
#3485 = STYLED_ITEM('color',(#3486),#1143);
#3486 = PRESENTATION_STYLE_ASSIGNMENT((#3487));
#3487 = SURFACE_STYLE_USAGE(.BOTH.,#3488);
#3488 = SURFACE_SIDE_STYLE('',(#3489));
#3489 = SURFACE_STYLE_FILL_AREA(#3490);
#3490 = FILL_AREA_STYLE('',(#3491));
#3491 = FILL_AREA_STYLE_COLOUR('',#3351);
#3492 = STYLED_ITEM('color',(#3493),#1183);
#3493 = PRESENTATION_STYLE_ASSIGNMENT((#3494));
#3494 = SURFACE_STYLE_USAGE(.BOTH.,#3495);
#3495 = SURFACE_SIDE_STYLE('',(#3496));
#3496 = SURFACE_STYLE_FILL_AREA(#3497);
#3497 = FILL_AREA_STYLE('',(#3498));
#3498 = FILL_AREA_STYLE_COLOUR('',#3351);
#3499 = STYLED_ITEM('color',(#3500),#1223);
#3500 = PRESENTATION_STYLE_ASSIGNMENT((#3501));
#3501 = SURFACE_STYLE_USAGE(.BOTH.,#3502);
#3502 = SURFACE_SIDE_STYLE('',(#3503));
#3503 = SURFACE_STYLE_FILL_AREA(#3504);
#3504 = FILL_AREA_STYLE('',(#3505));
#3505 = FILL_AREA_STYLE_COLOUR('',#3351);
#3506 = STYLED_ITEM('color',(#3507),#1263);
#3507 = PRESENTATION_STYLE_ASSIGNMENT((#3508));
#3508 = SURFACE_STYLE_USAGE(.BOTH.,#3509);
#3509 = SURFACE_SIDE_STYLE('',(#3510));
#3510 = SURFACE_STYLE_FILL_AREA(#3511);
#3511 = FILL_AREA_STYLE('',(#3512));
#3512 = FILL_AREA_STYLE_COLOUR('',#3351);
#3513 = STYLED_ITEM('color',(#3514),#1303);
#3514 = PRESENTATION_STYLE_ASSIGNMENT((#3515));
#3515 = SURFACE_STYLE_USAGE(.BOTH.,#3516);
#3516 = SURFACE_SIDE_STYLE('',(#3517));
#3517 = SURFACE_STYLE_FILL_AREA(#3518);
#3518 = FILL_AREA_STYLE('',(#3519));
#3519 = FILL_AREA_STYLE_COLOUR('',#3351);
#3520 = STYLED_ITEM('color',(#3521),#1343);
#3521 = PRESENTATION_STYLE_ASSIGNMENT((#3522));
#3522 = SURFACE_STYLE_USAGE(.BOTH.,#3523);
#3523 = SURFACE_SIDE_STYLE('',(#3524));
#3524 = SURFACE_STYLE_FILL_AREA(#3525);
#3525 = FILL_AREA_STYLE('',(#3526));
#3526 = FILL_AREA_STYLE_COLOUR('',#3351);
#3527 = STYLED_ITEM('color',(#3528),#1383);
#3528 = PRESENTATION_STYLE_ASSIGNMENT((#3529));
#3529 = SURFACE_STYLE_USAGE(.BOTH.,#3530);
#3530 = SURFACE_SIDE_STYLE('',(#3531));
#3531 = SURFACE_STYLE_FILL_AREA(#3532);
#3532 = FILL_AREA_STYLE('',(#3533));
#3533 = FILL_AREA_STYLE_COLOUR('',#3351);
#3534 = STYLED_ITEM('color',(#3535),#1423);
#3535 = PRESENTATION_STYLE_ASSIGNMENT((#3536));
#3536 = SURFACE_STYLE_USAGE(.BOTH.,#3537);
#3537 = SURFACE_SIDE_STYLE('',(#3538));
#3538 = SURFACE_STYLE_FILL_AREA(#3539);
#3539 = FILL_AREA_STYLE('',(#3540));
#3540 = FILL_AREA_STYLE_COLOUR('',#3351);
#3541 = STYLED_ITEM('color',(#3542),#1465);
#3542 = PRESENTATION_STYLE_ASSIGNMENT((#3543));
#3543 = SURFACE_STYLE_USAGE(.BOTH.,#3544);
#3544 = SURFACE_SIDE_STYLE('',(#3545));
#3545 = SURFACE_STYLE_FILL_AREA(#3546);
#3546 = FILL_AREA_STYLE('',(#3547));
#3547 = FILL_AREA_STYLE_COLOUR('',#3351);
#3548 = STYLED_ITEM('color',(#3549),#1507);
#3549 = PRESENTATION_STYLE_ASSIGNMENT((#3550));
#3550 = SURFACE_STYLE_USAGE(.BOTH.,#3551);
#3551 = SURFACE_SIDE_STYLE('',(#3552));
#3552 = SURFACE_STYLE_FILL_AREA(#3553);
#3553 = FILL_AREA_STYLE('',(#3554));
#3554 = FILL_AREA_STYLE_COLOUR('',#3351);
#3555 = STYLED_ITEM('color',(#3556),#1549);
#3556 = PRESENTATION_STYLE_ASSIGNMENT((#3557));
#3557 = SURFACE_STYLE_USAGE(.BOTH.,#3558);
#3558 = SURFACE_SIDE_STYLE('',(#3559));
#3559 = SURFACE_STYLE_FILL_AREA(#3560);
#3560 = FILL_AREA_STYLE('',(#3561));
#3561 = FILL_AREA_STYLE_COLOUR('',#3351);
#3562 = STYLED_ITEM('color',(#3563),#1591);
#3563 = PRESENTATION_STYLE_ASSIGNMENT((#3564));
#3564 = SURFACE_STYLE_USAGE(.BOTH.,#3565);
#3565 = SURFACE_SIDE_STYLE('',(#3566));
#3566 = SURFACE_STYLE_FILL_AREA(#3567);
#3567 = FILL_AREA_STYLE('',(#3568));
#3568 = FILL_AREA_STYLE_COLOUR('',#3351);
#3569 = STYLED_ITEM('color',(#3570),#1633);
#3570 = PRESENTATION_STYLE_ASSIGNMENT((#3571));
#3571 = SURFACE_STYLE_USAGE(.BOTH.,#3572);
#3572 = SURFACE_SIDE_STYLE('',(#3573));
#3573 = SURFACE_STYLE_FILL_AREA(#3574);
#3574 = FILL_AREA_STYLE('',(#3575));
#3575 = FILL_AREA_STYLE_COLOUR('',#3351);
#3576 = STYLED_ITEM('color',(#3577),#1673);
#3577 = PRESENTATION_STYLE_ASSIGNMENT((#3578));
#3578 = SURFACE_STYLE_USAGE(.BOTH.,#3579);
#3579 = SURFACE_SIDE_STYLE('',(#3580));
#3580 = SURFACE_STYLE_FILL_AREA(#3581);
#3581 = FILL_AREA_STYLE('',(#3582));
#3582 = FILL_AREA_STYLE_COLOUR('',#3351);
#3583 = STYLED_ITEM('color',(#3584),#1713);
#3584 = PRESENTATION_STYLE_ASSIGNMENT((#3585));
#3585 = SURFACE_STYLE_USAGE(.BOTH.,#3586);
#3586 = SURFACE_SIDE_STYLE('',(#3587));
#3587 = SURFACE_STYLE_FILL_AREA(#3588);
#3588 = FILL_AREA_STYLE('',(#3589));
#3589 = FILL_AREA_STYLE_COLOUR('',#3351);
#3590 = STYLED_ITEM('color',(#3591),#1753);
#3591 = PRESENTATION_STYLE_ASSIGNMENT((#3592));
#3592 = SURFACE_STYLE_USAGE(.BOTH.,#3593);
#3593 = SURFACE_SIDE_STYLE('',(#3594));
#3594 = SURFACE_STYLE_FILL_AREA(#3595);
#3595 = FILL_AREA_STYLE('',(#3596));
#3596 = FILL_AREA_STYLE_COLOUR('',#3351);
#3597 = STYLED_ITEM('color',(#3598),#1793);
#3598 = PRESENTATION_STYLE_ASSIGNMENT((#3599));
#3599 = SURFACE_STYLE_USAGE(.BOTH.,#3600);
#3600 = SURFACE_SIDE_STYLE('',(#3601));
#3601 = SURFACE_STYLE_FILL_AREA(#3602);
#3602 = FILL_AREA_STYLE('',(#3603));
#3603 = FILL_AREA_STYLE_COLOUR('',#3351);
#3604 = STYLED_ITEM('color',(#3605),#1833);
#3605 = PRESENTATION_STYLE_ASSIGNMENT((#3606));
#3606 = SURFACE_STYLE_USAGE(.BOTH.,#3607);
#3607 = SURFACE_SIDE_STYLE('',(#3608));
#3608 = SURFACE_STYLE_FILL_AREA(#3609);
#3609 = FILL_AREA_STYLE('',(#3610));
#3610 = FILL_AREA_STYLE_COLOUR('',#3351);
#3611 = STYLED_ITEM('color',(#3612),#1875);
#3612 = PRESENTATION_STYLE_ASSIGNMENT((#3613));
#3613 = SURFACE_STYLE_USAGE(.BOTH.,#3614);
#3614 = SURFACE_SIDE_STYLE('',(#3615));
#3615 = SURFACE_STYLE_FILL_AREA(#3616);
#3616 = FILL_AREA_STYLE('',(#3617));
#3617 = FILL_AREA_STYLE_COLOUR('',#3351);
#3618 = STYLED_ITEM('color',(#3619),#1915);
#3619 = PRESENTATION_STYLE_ASSIGNMENT((#3620));
#3620 = SURFACE_STYLE_USAGE(.BOTH.,#3621);
#3621 = SURFACE_SIDE_STYLE('',(#3622));
#3622 = SURFACE_STYLE_FILL_AREA(#3623);
#3623 = FILL_AREA_STYLE('',(#3624));
#3624 = FILL_AREA_STYLE_COLOUR('',#3351);
#3625 = STYLED_ITEM('color',(#3626),#1957);
#3626 = PRESENTATION_STYLE_ASSIGNMENT((#3627));
#3627 = SURFACE_STYLE_USAGE(.BOTH.,#3628);
#3628 = SURFACE_SIDE_STYLE('',(#3629));
#3629 = SURFACE_STYLE_FILL_AREA(#3630);
#3630 = FILL_AREA_STYLE('',(#3631));
#3631 = FILL_AREA_STYLE_COLOUR('',#3351);
#3632 = STYLED_ITEM('color',(#3633),#1997);
#3633 = PRESENTATION_STYLE_ASSIGNMENT((#3634));
#3634 = SURFACE_STYLE_USAGE(.BOTH.,#3635);
#3635 = SURFACE_SIDE_STYLE('',(#3636));
#3636 = SURFACE_STYLE_FILL_AREA(#3637);
#3637 = FILL_AREA_STYLE('',(#3638));
#3638 = FILL_AREA_STYLE_COLOUR('',#3351);
#3639 = STYLED_ITEM('color',(#3640),#2037);
#3640 = PRESENTATION_STYLE_ASSIGNMENT((#3641));
#3641 = SURFACE_STYLE_USAGE(.BOTH.,#3642);
#3642 = SURFACE_SIDE_STYLE('',(#3643));
#3643 = SURFACE_STYLE_FILL_AREA(#3644);
#3644 = FILL_AREA_STYLE('',(#3645));
#3645 = FILL_AREA_STYLE_COLOUR('',#3351);
#3646 = STYLED_ITEM('color',(#3647),#2077);
#3647 = PRESENTATION_STYLE_ASSIGNMENT((#3648));
#3648 = SURFACE_STYLE_USAGE(.BOTH.,#3649);
#3649 = SURFACE_SIDE_STYLE('',(#3650));
#3650 = SURFACE_STYLE_FILL_AREA(#3651);
#3651 = FILL_AREA_STYLE('',(#3652));
#3652 = FILL_AREA_STYLE_COLOUR('',#3351);
#3653 = STYLED_ITEM('color',(#3654),#2117);
#3654 = PRESENTATION_STYLE_ASSIGNMENT((#3655));
#3655 = SURFACE_STYLE_USAGE(.BOTH.,#3656);
#3656 = SURFACE_SIDE_STYLE('',(#3657));
#3657 = SURFACE_STYLE_FILL_AREA(#3658);
#3658 = FILL_AREA_STYLE('',(#3659));
#3659 = FILL_AREA_STYLE_COLOUR('',#3351);
#3660 = STYLED_ITEM('color',(#3661),#2157);
#3661 = PRESENTATION_STYLE_ASSIGNMENT((#3662));
#3662 = SURFACE_STYLE_USAGE(.BOTH.,#3663);
#3663 = SURFACE_SIDE_STYLE('',(#3664));
#3664 = SURFACE_STYLE_FILL_AREA(#3665);
#3665 = FILL_AREA_STYLE('',(#3666));
#3666 = FILL_AREA_STYLE_COLOUR('',#3351);
#3667 = STYLED_ITEM('color',(#3668),#2197);
#3668 = PRESENTATION_STYLE_ASSIGNMENT((#3669));
#3669 = SURFACE_STYLE_USAGE(.BOTH.,#3670);
#3670 = SURFACE_SIDE_STYLE('',(#3671));
#3671 = SURFACE_STYLE_FILL_AREA(#3672);
#3672 = FILL_AREA_STYLE('',(#3673));
#3673 = FILL_AREA_STYLE_COLOUR('',#3351);
#3674 = STYLED_ITEM('color',(#3675),#2239);
#3675 = PRESENTATION_STYLE_ASSIGNMENT((#3676));
#3676 = SURFACE_STYLE_USAGE(.BOTH.,#3677);
#3677 = SURFACE_SIDE_STYLE('',(#3678));
#3678 = SURFACE_STYLE_FILL_AREA(#3679);
#3679 = FILL_AREA_STYLE('',(#3680));
#3680 = FILL_AREA_STYLE_COLOUR('',#3351);
#3681 = STYLED_ITEM('color',(#3682),#2279);
#3682 = PRESENTATION_STYLE_ASSIGNMENT((#3683));
#3683 = SURFACE_STYLE_USAGE(.BOTH.,#3684);
#3684 = SURFACE_SIDE_STYLE('',(#3685));
#3685 = SURFACE_STYLE_FILL_AREA(#3686);
#3686 = FILL_AREA_STYLE('',(#3687));
#3687 = FILL_AREA_STYLE_COLOUR('',#3351);
#3688 = STYLED_ITEM('color',(#3689),#2319);
#3689 = PRESENTATION_STYLE_ASSIGNMENT((#3690));
#3690 = SURFACE_STYLE_USAGE(.BOTH.,#3691);
#3691 = SURFACE_SIDE_STYLE('',(#3692));
#3692 = SURFACE_STYLE_FILL_AREA(#3693);
#3693 = FILL_AREA_STYLE('',(#3694));
#3694 = FILL_AREA_STYLE_COLOUR('',#3351);
#3695 = STYLED_ITEM('color',(#3696),#2359);
#3696 = PRESENTATION_STYLE_ASSIGNMENT((#3697));
#3697 = SURFACE_STYLE_USAGE(.BOTH.,#3698);
#3698 = SURFACE_SIDE_STYLE('',(#3699));
#3699 = SURFACE_STYLE_FILL_AREA(#3700);
#3700 = FILL_AREA_STYLE('',(#3701));
#3701 = FILL_AREA_STYLE_COLOUR('',#3351);
#3702 = STYLED_ITEM('color',(#3703),#2399);
#3703 = PRESENTATION_STYLE_ASSIGNMENT((#3704));
#3704 = SURFACE_STYLE_USAGE(.BOTH.,#3705);
#3705 = SURFACE_SIDE_STYLE('',(#3706));
#3706 = SURFACE_STYLE_FILL_AREA(#3707);
#3707 = FILL_AREA_STYLE('',(#3708));
#3708 = FILL_AREA_STYLE_COLOUR('',#3351);
#3709 = STYLED_ITEM('color',(#3710),#2441);
#3710 = PRESENTATION_STYLE_ASSIGNMENT((#3711));
#3711 = SURFACE_STYLE_USAGE(.BOTH.,#3712);
#3712 = SURFACE_SIDE_STYLE('',(#3713));
#3713 = SURFACE_STYLE_FILL_AREA(#3714);
#3714 = FILL_AREA_STYLE('',(#3715));
#3715 = FILL_AREA_STYLE_COLOUR('',#3351);
#3716 = STYLED_ITEM('color',(#3717),#2481);
#3717 = PRESENTATION_STYLE_ASSIGNMENT((#3718));
#3718 = SURFACE_STYLE_USAGE(.BOTH.,#3719);
#3719 = SURFACE_SIDE_STYLE('',(#3720));
#3720 = SURFACE_STYLE_FILL_AREA(#3721);
#3721 = FILL_AREA_STYLE('',(#3722));
#3722 = FILL_AREA_STYLE_COLOUR('',#3351);
#3723 = STYLED_ITEM('color',(#3724),#2523);
#3724 = PRESENTATION_STYLE_ASSIGNMENT((#3725));
#3725 = SURFACE_STYLE_USAGE(.BOTH.,#3726);
#3726 = SURFACE_SIDE_STYLE('',(#3727));
#3727 = SURFACE_STYLE_FILL_AREA(#3728);
#3728 = FILL_AREA_STYLE('',(#3729));
#3729 = FILL_AREA_STYLE_COLOUR('',#3351);
#3730 = STYLED_ITEM('color',(#3731),#2563);
#3731 = PRESENTATION_STYLE_ASSIGNMENT((#3732));
#3732 = SURFACE_STYLE_USAGE(.BOTH.,#3733);
#3733 = SURFACE_SIDE_STYLE('',(#3734));
#3734 = SURFACE_STYLE_FILL_AREA(#3735);
#3735 = FILL_AREA_STYLE('',(#3736));
#3736 = FILL_AREA_STYLE_COLOUR('',#3351);
#3737 = STYLED_ITEM('color',(#3738),#2603);
#3738 = PRESENTATION_STYLE_ASSIGNMENT((#3739));
#3739 = SURFACE_STYLE_USAGE(.BOTH.,#3740);
#3740 = SURFACE_SIDE_STYLE('',(#3741));
#3741 = SURFACE_STYLE_FILL_AREA(#3742);
#3742 = FILL_AREA_STYLE('',(#3743));
#3743 = FILL_AREA_STYLE_COLOUR('',#3351);
#3744 = STYLED_ITEM('color',(#3745),#2643);
#3745 = PRESENTATION_STYLE_ASSIGNMENT((#3746));
#3746 = SURFACE_STYLE_USAGE(.BOTH.,#3747);
#3747 = SURFACE_SIDE_STYLE('',(#3748));
#3748 = SURFACE_STYLE_FILL_AREA(#3749);
#3749 = FILL_AREA_STYLE('',(#3750));
#3750 = FILL_AREA_STYLE_COLOUR('',#3351);
#3751 = STYLED_ITEM('color',(#3752),#2683);
#3752 = PRESENTATION_STYLE_ASSIGNMENT((#3753));
#3753 = SURFACE_STYLE_USAGE(.BOTH.,#3754);
#3754 = SURFACE_SIDE_STYLE('',(#3755));
#3755 = SURFACE_STYLE_FILL_AREA(#3756);
#3756 = FILL_AREA_STYLE('',(#3757));
#3757 = FILL_AREA_STYLE_COLOUR('',#3351);
#3758 = STYLED_ITEM('color',(#3759),#2723);
#3759 = PRESENTATION_STYLE_ASSIGNMENT((#3760));
#3760 = SURFACE_STYLE_USAGE(.BOTH.,#3761);
#3761 = SURFACE_SIDE_STYLE('',(#3762));
#3762 = SURFACE_STYLE_FILL_AREA(#3763);
#3763 = FILL_AREA_STYLE('',(#3764));
#3764 = FILL_AREA_STYLE_COLOUR('',#3351);
#3765 = STYLED_ITEM('color',(#3766),#2763);
#3766 = PRESENTATION_STYLE_ASSIGNMENT((#3767));
#3767 = SURFACE_STYLE_USAGE(.BOTH.,#3768);
#3768 = SURFACE_SIDE_STYLE('',(#3769));
#3769 = SURFACE_STYLE_FILL_AREA(#3770);
#3770 = FILL_AREA_STYLE('',(#3771));
#3771 = FILL_AREA_STYLE_COLOUR('',#3351);
#3772 = STYLED_ITEM('color',(#3773),#2805);
#3773 = PRESENTATION_STYLE_ASSIGNMENT((#3774));
#3774 = SURFACE_STYLE_USAGE(.BOTH.,#3775);
#3775 = SURFACE_SIDE_STYLE('',(#3776));
#3776 = SURFACE_STYLE_FILL_AREA(#3777);
#3777 = FILL_AREA_STYLE('',(#3778));
#3778 = FILL_AREA_STYLE_COLOUR('',#3351);
#3779 = STYLED_ITEM('color',(#3780),#2878);
#3780 = PRESENTATION_STYLE_ASSIGNMENT((#3781));
#3781 = SURFACE_STYLE_USAGE(.BOTH.,#3782);
#3782 = SURFACE_SIDE_STYLE('',(#3783));
#3783 = SURFACE_STYLE_FILL_AREA(#3784);
#3784 = FILL_AREA_STYLE('',(#3785));
#3785 = FILL_AREA_STYLE_COLOUR('',#3351);
ENDSEC;
END-ISO-10303-21;