ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
FILE_NAME('Open CASCADE Shape Model','2026-04-11T12:10:47',('Author'),(
    ''),'Open CASCADE STEP processor 7.9','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('Pocket004','Pocket004','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#15),#1929);
#11 = AXIS2_PLACEMENT_3D('',#12,#13,#14);
#12 = CARTESIAN_POINT('',(0.,0.,0.));
#13 = DIRECTION('',(0.,0.,1.));
#14 = DIRECTION('',(1.,0.,-0.));
#15 = MANIFOLD_SOLID_BREP('',#16);
#16 = CLOSED_SHELL('',(#17,#77,#108,#551,#575,#1011,#1028,#1066,#1083,
    #1100,#1117,#1134,#1151,#1168,#1185,#1202,#1219,#1236,#1253,#1270,
    #1287,#1304,#1321,#1338,#1355,#1372,#1389,#1406,#1423,#1440,#1457,
    #1474,#1491,#1508,#1525,#1542,#1559,#1576,#1593,#1610,#1627,#1644,
    #1661,#1678,#1695,#1712,#1724,#1741,#1758,#1775,#1792,#1809,#1826,
    #1859,#1901,#1915));
#17 = ADVANCED_FACE('',(#18),#72,.T.);
#18 = FACE_BOUND('',#19,.F.);
#19 = EDGE_LOOP('',(#20,#30,#39,#48,#56,#65));
#20 = ORIENTED_EDGE('',*,*,#21,.F.);
#21 = EDGE_CURVE('',#22,#24,#26,.T.);
#22 = VERTEX_POINT('',#23);
#23 = CARTESIAN_POINT('',(12.643970895253,-7.3,6.));
#24 = VERTEX_POINT('',#25);
#25 = CARTESIAN_POINT('',(12.643970895253,-7.3,3.E-15));
#26 = LINE('',#27,#28);
#27 = CARTESIAN_POINT('',(12.643970895253,-7.3,13.));
#28 = VECTOR('',#29,1.);
#29 = DIRECTION('',(0.,-4.4E-16,-1.));
#30 = ORIENTED_EDGE('',*,*,#31,.T.);
#31 = EDGE_CURVE('',#22,#32,#34,.T.);
#32 = VERTEX_POINT('',#33);
#33 = CARTESIAN_POINT('',(14.6,3.E-15,6.));
#34 = CIRCLE('',#35,14.6);
#35 = AXIS2_PLACEMENT_3D('',#36,#37,#38);
#36 = CARTESIAN_POINT('',(0.,0.,6.));
#37 = DIRECTION('',(0.,0.,1.));
#38 = DIRECTION('',(1.,0.,0.));
#39 = ORIENTED_EDGE('',*,*,#40,.T.);
#40 = EDGE_CURVE('',#32,#41,#43,.T.);
#41 = VERTEX_POINT('',#42);
#42 = CARTESIAN_POINT('',(14.428330552465,2.232325574102,6.));
#43 = CIRCLE('',#44,14.6);
#44 = AXIS2_PLACEMENT_3D('',#45,#46,#47);
#45 = CARTESIAN_POINT('',(0.,0.,6.));
#46 = DIRECTION('',(0.,0.,1.));
#47 = DIRECTION('',(1.,0.,0.));
#48 = ORIENTED_EDGE('',*,*,#49,.T.);
#49 = EDGE_CURVE('',#41,#50,#52,.T.);
#50 = VERTEX_POINT('',#51);
#51 = CARTESIAN_POINT('',(14.428330552465,2.232325574102,-1.E-15));
#52 = LINE('',#53,#54);
#53 = CARTESIAN_POINT('',(14.428330552465,2.232325574102,13.));
#54 = VECTOR('',#55,1.);
#55 = DIRECTION('',(0.,-4.4E-16,-1.));
#56 = ORIENTED_EDGE('',*,*,#57,.F.);
#57 = EDGE_CURVE('',#58,#50,#60,.T.);
#58 = VERTEX_POINT('',#59);
#59 = CARTESIAN_POINT('',(14.6,0.,0.));
#60 = CIRCLE('',#61,14.6);
#61 = AXIS2_PLACEMENT_3D('',#62,#63,#64);
#62 = CARTESIAN_POINT('',(0.,0.,0.));
#63 = DIRECTION('',(0.,0.,1.));
#64 = DIRECTION('',(1.,0.,0.));
#65 = ORIENTED_EDGE('',*,*,#66,.F.);
#66 = EDGE_CURVE('',#24,#58,#67,.T.);
#67 = CIRCLE('',#68,14.6);
#68 = AXIS2_PLACEMENT_3D('',#69,#70,#71);
#69 = CARTESIAN_POINT('',(0.,0.,0.));
#70 = DIRECTION('',(0.,0.,1.));
#71 = DIRECTION('',(1.,0.,0.));
#72 = CYLINDRICAL_SURFACE('',#73,14.6);
#73 = AXIS2_PLACEMENT_3D('',#74,#75,#76);
#74 = CARTESIAN_POINT('',(0.,0.,0.));
#75 = DIRECTION('',(0.,-4.4E-16,-1.));
#76 = DIRECTION('',(1.,0.,0.));
#77 = ADVANCED_FACE('',(#78),#103,.F.);
#78 = FACE_BOUND('',#79,.F.);
#79 = EDGE_LOOP('',(#80,#88,#89,#97));
#80 = ORIENTED_EDGE('',*,*,#81,.F.);
#81 = EDGE_CURVE('',#22,#82,#84,.T.);
#82 = VERTEX_POINT('',#83);
#83 = CARTESIAN_POINT('',(11.777945491468,-6.8,6.));
#84 = LINE('',#85,#86);
#85 = CARTESIAN_POINT('',(6.321985447626,-3.65,6.));
#86 = VECTOR('',#87,1.);
#87 = DIRECTION('',(-0.866025403784,0.5,-2.5E-16));
#88 = ORIENTED_EDGE('',*,*,#21,.T.);
#89 = ORIENTED_EDGE('',*,*,#90,.F.);
#90 = EDGE_CURVE('',#91,#24,#93,.T.);
#91 = VERTEX_POINT('',#92);
#92 = CARTESIAN_POINT('',(11.777945491468,-6.8,4.E-15));
#93 = LINE('',#94,#95);
#94 = CARTESIAN_POINT('',(6.321985447626,-3.65,1.78E-15));
#95 = VECTOR('',#96,1.);
#96 = DIRECTION('',(0.866025403784,-0.5,2.2E-16));
#97 = ORIENTED_EDGE('',*,*,#98,.F.);
#98 = EDGE_CURVE('',#82,#91,#99,.T.);
#99 = LINE('',#100,#101);
#100 = CARTESIAN_POINT('',(11.777945491468,-6.8,13.));
#101 = VECTOR('',#102,1.);
#102 = DIRECTION('',(0.,-4.4E-16,-1.));
#103 = PLANE('',#104);
#104 = AXIS2_PLACEMENT_3D('',#105,#106,#107);
#105 = CARTESIAN_POINT('',(12.643970895253,-7.3,13.));
#106 = DIRECTION('',(0.5,0.866025403784,-3.8E-16));
#107 = DIRECTION('',(-0.866025403784,0.5,-2.2E-16));
#108 = ADVANCED_FACE('',(#109),#546,.F.);
#109 = FACE_BOUND('',#110,.F.);
#110 = EDGE_LOOP('',(#111,#122,#131,#139,#148,#156,#165,#173,#182,#190,
    #197,#198,#199,#200,#208,#217,#225,#234,#242,#251,#259,#268,#276,
    #285,#293,#302,#310,#319,#327,#336,#344,#353,#361,#370,#378,#387,
    #395,#404,#412,#421,#429,#438,#446,#455,#463,#472,#480,#489,#497,
    #506,#514,#523,#531,#540));
#111 = ORIENTED_EDGE('',*,*,#112,.T.);
#112 = EDGE_CURVE('',#113,#115,#117,.T.);
#113 = VERTEX_POINT('',#114);
#114 = CARTESIAN_POINT('',(3.139466531348,-14.77002877108,0.));
#115 = VERTEX_POINT('',#116);
#116 = CARTESIAN_POINT('',(15.1,0.,0.));
#117 = CIRCLE('',#118,15.1);
#118 = AXIS2_PLACEMENT_3D('',#119,#120,#121);
#119 = CARTESIAN_POINT('',(0.,0.,0.));
#120 = DIRECTION('',(0.,0.,-1.));
#121 = DIRECTION('',(1.,0.,0.));
#122 = ORIENTED_EDGE('',*,*,#123,.T.);
#123 = EDGE_CURVE('',#115,#124,#126,.T.);
#124 = VERTEX_POINT('',#125);
#125 = CARTESIAN_POINT('',(7.733759539715,-12.9691543048,0.));
#126 = CIRCLE('',#127,15.1);
#127 = AXIS2_PLACEMENT_3D('',#128,#129,#130);
#128 = CARTESIAN_POINT('',(0.,0.,0.));
#129 = DIRECTION('',(0.,0.,-1.));
#130 = DIRECTION('',(1.,0.,0.));
#131 = ORIENTED_EDGE('',*,*,#132,.T.);
#132 = EDGE_CURVE('',#124,#133,#135,.T.);
#133 = VERTEX_POINT('',#134);
#134 = CARTESIAN_POINT('',(7.477674786744,-12.53971210928,6.E-15));
#135 = LINE('',#136,#137);
#136 = CARTESIAN_POINT('',(1.959048360226,-3.285232795754,8.9E-16));
#137 = VECTOR('',#138,1.);
#138 = DIRECTION('',(-0.512169505941,0.858884391047,-1.9E-16));
#139 = ORIENTED_EDGE('',*,*,#140,.T.);
#140 = EDGE_CURVE('',#133,#141,#143,.T.);
#141 = VERTEX_POINT('',#142);
#142 = CARTESIAN_POINT('',(9.147415932923,-11.37913800558,5.E-15));
#143 = CIRCLE('',#144,14.6);
#144 = AXIS2_PLACEMENT_3D('',#145,#146,#147);
#145 = CARTESIAN_POINT('',(0.,0.,0.));
#146 = DIRECTION('',(0.,0.,1.));
#147 = DIRECTION('',(1.,0.,0.));
#148 = ORIENTED_EDGE('',*,*,#149,.F.);
#149 = EDGE_CURVE('',#150,#141,#152,.T.);
#150 = VERTEX_POINT('',#151);
#151 = CARTESIAN_POINT('',(8.520880595052,-10.5997449915,5.E-15));
#152 = LINE('',#153,#154);
#153 = CARTESIAN_POINT('',(4.573707966461,-5.689569002792,2.66E-15));
#154 = VECTOR('',#155,1.);
#155 = DIRECTION('',(0.626535337871,-0.779393014081,3.5E-16));
#156 = ORIENTED_EDGE('',*,*,#157,.T.);
#157 = EDGE_CURVE('',#150,#158,#160,.T.);
#158 = VERTEX_POINT('',#159);
#159 = CARTESIAN_POINT('',(9.760455125087,-9.470666066923,4.E-15));
#160 = CIRCLE('',#161,13.25);
#161 = AXIS2_PLACEMENT_3D('',#162,#163,#164);
#162 = CARTESIAN_POINT('',(0.236146977857,-0.259257145558,0.));
#163 = DIRECTION('',(-0.,4.4E-16,1.));
#164 = DIRECTION('',(1.,0.,0.));
#165 = ORIENTED_EDGE('',*,*,#166,.T.);
#166 = EDGE_CURVE('',#158,#167,#169,.T.);
#167 = VERTEX_POINT('',#168);
#168 = CARTESIAN_POINT('',(10.47813564899,-10.16703857184,5.E-15));
#169 = LINE('',#170,#171);
#170 = CARTESIAN_POINT('',(5.239067824495,-5.083519285922,2.66E-15));
#171 = VECTOR('',#172,1.);
#172 = DIRECTION('',(0.717680523903,-0.696372504921,3.1E-16));
#173 = ORIENTED_EDGE('',*,*,#174,.T.);
#174 = EDGE_CURVE('',#167,#175,#177,.T.);
#175 = VERTEX_POINT('',#176);
#176 = CARTESIAN_POINT('',(11.649589276191,-8.800401678109,4.E-15));
#177 = CIRCLE('',#178,14.6);
#178 = AXIS2_PLACEMENT_3D('',#179,#180,#181);
#179 = CARTESIAN_POINT('',(0.,0.,0.));
#180 = DIRECTION('',(0.,0.,1.));
#181 = DIRECTION('',(1.,0.,0.));
#182 = ORIENTED_EDGE('',*,*,#183,.F.);
#183 = EDGE_CURVE('',#184,#175,#186,.T.);
#184 = VERTEX_POINT('',#185);
#185 = CARTESIAN_POINT('',(10.851672202479,-8.197634439882,4.E-15));
#186 = LINE('',#187,#188);
#187 = CARTESIAN_POINT('',(5.824794638095,-4.400200839054,0.));
#188 = VECTOR('',#189,1.);
#189 = DIRECTION('',(0.797917073712,-0.602767238227,2.7E-16));
#190 = ORIENTED_EDGE('',*,*,#191,.T.);
#191 = EDGE_CURVE('',#184,#91,#192,.T.);
#192 = CIRCLE('',#193,13.25);
#193 = AXIS2_PLACEMENT_3D('',#194,#195,#196);
#194 = CARTESIAN_POINT('',(0.292315392611,-0.193730157478,0.));
#195 = DIRECTION('',(-0.,4.4E-16,1.));
#196 = DIRECTION('',(1.,0.,0.));
#197 = ORIENTED_EDGE('',*,*,#90,.T.);
#198 = ORIENTED_EDGE('',*,*,#66,.T.);
#199 = ORIENTED_EDGE('',*,*,#57,.T.);
#200 = ORIENTED_EDGE('',*,*,#201,.F.);
#201 = EDGE_CURVE('',#202,#50,#204,.T.);
#202 = VERTEX_POINT('',#203);
#203 = CARTESIAN_POINT('',(13.440088733803,2.079426562178,-2.E-15));
#204 = LINE('',#205,#206);
#205 = CARTESIAN_POINT('',(7.214165276233,1.116162787051,-2.66E-15));
#206 = VECTOR('',#207,1.);
#207 = DIRECTION('',(0.988241818662,0.152899011925,-7.E-17));
#208 = ORIENTED_EDGE('',*,*,#209,.T.);
#209 = EDGE_CURVE('',#202,#210,#212,.T.);
#210 = VERTEX_POINT('',#211);
#211 = CARTESIAN_POINT('',(13.082064967258,3.717469057361,-2.E-15));
#212 = CIRCLE('',#213,13.25);
#213 = AXIS2_PLACEMENT_3D('',#214,#215,#216);
#214 = CARTESIAN_POINT('',(0.342596763094,7.488070907183E-02,0.));
#215 = DIRECTION('',(-0.,4.4E-16,1.));
#216 = DIRECTION('',(1.,0.,0.));
#217 = ORIENTED_EDGE('',*,*,#218,.T.);
#218 = EDGE_CURVE('',#210,#219,#221,.T.);
#219 = VERTEX_POINT('',#220);
#220 = CARTESIAN_POINT('',(14.043981508968,3.990812370403,-2.E-15));
#221 = LINE('',#222,#223);
#222 = CARTESIAN_POINT('',(7.021990754484,1.995406185201,-2.66E-15));
#223 = VECTOR('',#224,1.);
#224 = DIRECTION('',(0.96191654171,0.273343313041,-1.2E-16));
#225 = ORIENTED_EDGE('',*,*,#226,.T.);
#226 = EDGE_CURVE('',#219,#227,#229,.T.);
#227 = VERTEX_POINT('',#228);
#228 = CARTESIAN_POINT('',(13.446166054845,5.688639417782,-2.E-15));
#229 = CIRCLE('',#230,14.6);
#230 = AXIS2_PLACEMENT_3D('',#231,#232,#233);
#231 = CARTESIAN_POINT('',(0.,0.,0.));
#232 = DIRECTION('',(0.,0.,1.));
#233 = DIRECTION('',(1.,0.,0.));
#234 = ORIENTED_EDGE('',*,*,#235,.F.);
#235 = EDGE_CURVE('',#236,#227,#238,.T.);
#236 = VERTEX_POINT('',#237);
#237 = CARTESIAN_POINT('',(12.525195777116,5.299006580947,-2.E-15));
#238 = LINE('',#239,#240);
#239 = CARTESIAN_POINT('',(6.723083027422,2.844319708891,-2.66E-15));
#240 = VECTOR('',#241,1.);
#241 = DIRECTION('',(0.920970277729,0.389632836834,-1.7E-16));
#242 = ORIENTED_EDGE('',*,*,#243,.T.);
#243 = EDGE_CURVE('',#236,#244,#246,.T.);
#244 = VERTEX_POINT('',#245);
#245 = CARTESIAN_POINT('',(11.777945491468,6.8,-4.E-15));
#246 = CIRCLE('',#247,13.25);
#247 = AXIS2_PLACEMENT_3D('',#248,#249,#250);
#248 = CARTESIAN_POINT('',(0.313932934161,0.156287477179,0.));
#249 = DIRECTION('',(-0.,4.4E-16,1.));
#250 = DIRECTION('',(1.,0.,0.));
#251 = ORIENTED_EDGE('',*,*,#252,.T.);
#252 = EDGE_CURVE('',#244,#253,#255,.T.);
#253 = VERTEX_POINT('',#254);
#254 = CARTESIAN_POINT('',(12.643970895253,7.3,-3.E-15));
#255 = LINE('',#256,#257);
#256 = CARTESIAN_POINT('',(6.321985447626,3.65,-3.55E-15));
#257 = VECTOR('',#258,1.);
#258 = DIRECTION('',(0.866025403784,0.5,-2.2E-16));
#259 = ORIENTED_EDGE('',*,*,#260,.T.);
#260 = EDGE_CURVE('',#253,#261,#263,.T.);
#261 = VERTEX_POINT('',#262);
#262 = CARTESIAN_POINT('',(5.280914619542,13.611463579685,-6.E-15));
#263 = CIRCLE('',#264,14.6);
#264 = AXIS2_PLACEMENT_3D('',#265,#266,#267);
#265 = CARTESIAN_POINT('',(0.,0.,0.));
#266 = DIRECTION('',(0.,0.,1.));
#267 = DIRECTION('',(1.,0.,0.));
#268 = ORIENTED_EDGE('',*,*,#269,.F.);
#269 = EDGE_CURVE('',#270,#261,#272,.T.);
#270 = VERTEX_POINT('',#271);
#271 = CARTESIAN_POINT('',(4.919208138752,12.67917155368,-5.E-15));
#272 = LINE('',#273,#274);
#273 = CARTESIAN_POINT('',(2.640457309771,6.805731789843,-4.44E-15));
#274 = VECTOR('',#275,1.);
#275 = DIRECTION('',(0.361706480791,0.932292026006,-4.1E-16));
#276 = ORIENTED_EDGE('',*,*,#277,.T.);
#277 = EDGE_CURVE('',#270,#278,#280,.T.);
#278 = VERTEX_POINT('',#279);
#279 = CARTESIAN_POINT('',(3.321609842171,13.188135124285,-5.E-15));
#280 = CIRCLE('',#281,13.6);
#281 = AXIS2_PLACEMENT_3D('',#282,#283,#284);
#282 = CARTESIAN_POINT('',(1.11E-14,-4.98E-14,0.));
#283 = DIRECTION('',(-0.,4.4E-16,1.));
#284 = DIRECTION('',(1.,0.,0.));
#285 = ORIENTED_EDGE('',*,*,#286,.T.);
#286 = EDGE_CURVE('',#278,#287,#289,.T.);
#287 = VERTEX_POINT('',#288);
#288 = CARTESIAN_POINT('',(3.565845859978,14.157850942247,-7.E-15));
#289 = LINE('',#290,#291);
#290 = CARTESIAN_POINT('',(1.782922929989,7.078925471123,-5.33E-15));
#291 = VECTOR('',#292,1.);
#292 = DIRECTION('',(0.244236017807,0.969715817962,-4.3E-16));
#293 = ORIENTED_EDGE('',*,*,#294,.T.);
#294 = EDGE_CURVE('',#287,#295,#297,.T.);
#295 = VERTEX_POINT('',#296);
#296 = CARTESIAN_POINT('',(1.796576778654,14.48904109589,-7.E-15));
#297 = CIRCLE('',#298,14.6);
#298 = AXIS2_PLACEMENT_3D('',#299,#300,#301);
#299 = CARTESIAN_POINT('',(0.,0.,0.));
#300 = DIRECTION('',(0.,0.,1.));
#301 = DIRECTION('',(1.,0.,0.));
#302 = ORIENTED_EDGE('',*,*,#303,.F.);
#303 = EDGE_CURVE('',#304,#295,#306,.T.);
#304 = VERTEX_POINT('',#305);
#305 = CARTESIAN_POINT('',(1.673523574637,13.496641020829,-5.E-15));
#306 = LINE('',#307,#308);
#307 = CARTESIAN_POINT('',(0.898288389327,7.244520547945,-3.55E-15));
#308 = VECTOR('',#309,1.);
#309 = DIRECTION('',(0.123053204017,0.992400075061,-4.4E-16));
#310 = ORIENTED_EDGE('',*,*,#311,.T.);
#311 = EDGE_CURVE('',#304,#312,#314,.T.);
#312 = VERTEX_POINT('',#313);
#313 = CARTESIAN_POINT('',(-1.E-15,13.6,-5.E-15));
#314 = CIRCLE('',#315,13.6);
#315 = AXIS2_PLACEMENT_3D('',#316,#317,#318);
#316 = CARTESIAN_POINT('',(1.5E-15,-6.E-16,0.));
#317 = DIRECTION('',(-0.,4.4E-16,1.));
#318 = DIRECTION('',(1.,0.,0.));
#319 = ORIENTED_EDGE('',*,*,#320,.T.);
#320 = EDGE_CURVE('',#312,#321,#323,.T.);
#321 = VERTEX_POINT('',#322);
#322 = CARTESIAN_POINT('',(-1.31E-13,14.6,-7.E-15));
#323 = LINE('',#324,#325);
#324 = CARTESIAN_POINT('',(-7.E-16,7.3,-3.55E-15));
#325 = VECTOR('',#326,1.);
#326 = DIRECTION('',(0.,1.,-4.4E-16));
#327 = ORIENTED_EDGE('',*,*,#328,.T.);
#328 = EDGE_CURVE('',#321,#329,#331,.T.);
#329 = VERTEX_POINT('',#330);
#330 = CARTESIAN_POINT('',(-9.147415932923,11.379138005583,-5.E-15));
#331 = CIRCLE('',#332,14.6);
#332 = AXIS2_PLACEMENT_3D('',#333,#334,#335);
#333 = CARTESIAN_POINT('',(0.,0.,0.));
#334 = DIRECTION('',(0.,0.,1.));
#335 = DIRECTION('',(1.,0.,0.));
#336 = ORIENTED_EDGE('',*,*,#337,.F.);
#337 = EDGE_CURVE('',#338,#329,#340,.T.);
#338 = VERTEX_POINT('',#339);
#339 = CARTESIAN_POINT('',(-8.520880595052,10.599744991502,-5.E-15));
#340 = LINE('',#341,#342);
#341 = CARTESIAN_POINT('',(-4.573707966462,5.689569002792,-2.66E-15));
#342 = VECTOR('',#343,1.);
#343 = DIRECTION('',(-0.626535337871,0.779393014081,-3.5E-16));
#344 = ORIENTED_EDGE('',*,*,#345,.T.);
#345 = EDGE_CURVE('',#338,#346,#348,.T.);
#346 = VERTEX_POINT('',#347);
#347 = CARTESIAN_POINT('',(-9.760455125087,9.470666066923,-4.E-15));
#348 = CIRCLE('',#349,13.25);
#349 = AXIS2_PLACEMENT_3D('',#350,#351,#352);
#350 = CARTESIAN_POINT('',(-0.236146977857,0.259257145558,0.));
#351 = DIRECTION('',(-0.,4.4E-16,1.));
#352 = DIRECTION('',(1.,0.,0.));
#353 = ORIENTED_EDGE('',*,*,#354,.T.);
#354 = EDGE_CURVE('',#346,#355,#357,.T.);
#355 = VERTEX_POINT('',#356);
#356 = CARTESIAN_POINT('',(-10.47813564899,10.167038571844,-5.E-15));
#357 = LINE('',#358,#359);
#358 = CARTESIAN_POINT('',(-5.239067824495,5.083519285922,-2.66E-15));
#359 = VECTOR('',#360,1.);
#360 = DIRECTION('',(-0.717680523903,0.696372504921,-3.1E-16));
#361 = ORIENTED_EDGE('',*,*,#362,.T.);
#362 = EDGE_CURVE('',#355,#363,#365,.T.);
#363 = VERTEX_POINT('',#364);
#364 = CARTESIAN_POINT('',(-11.64958927619,8.800401678109,-4.E-15));
#365 = CIRCLE('',#366,14.6);
#366 = AXIS2_PLACEMENT_3D('',#367,#368,#369);
#367 = CARTESIAN_POINT('',(0.,0.,0.));
#368 = DIRECTION('',(0.,0.,1.));
#369 = DIRECTION('',(1.,0.,0.));
#370 = ORIENTED_EDGE('',*,*,#371,.F.);
#371 = EDGE_CURVE('',#372,#363,#374,.T.);
#372 = VERTEX_POINT('',#373);
#373 = CARTESIAN_POINT('',(-10.85167220247,8.197634439882,-4.E-15));
#374 = LINE('',#375,#376);
#375 = CARTESIAN_POINT('',(-5.824794638095,4.400200839054,-3.55E-15));
#376 = VECTOR('',#377,1.);
#377 = DIRECTION('',(-0.797917073712,0.602767238227,-2.7E-16));
#378 = ORIENTED_EDGE('',*,*,#379,.T.);
#379 = EDGE_CURVE('',#372,#380,#382,.T.);
#380 = VERTEX_POINT('',#381);
#381 = CARTESIAN_POINT('',(-11.77794549146,6.8,-4.E-15));
#382 = CIRCLE('',#383,13.25);
#383 = AXIS2_PLACEMENT_3D('',#384,#385,#386);
#384 = CARTESIAN_POINT('',(-0.292315392611,0.193730157478,0.));
#385 = DIRECTION('',(-0.,4.4E-16,1.));
#386 = DIRECTION('',(1.,0.,0.));
#387 = ORIENTED_EDGE('',*,*,#388,.T.);
#388 = EDGE_CURVE('',#380,#389,#391,.T.);
#389 = VERTEX_POINT('',#390);
#390 = CARTESIAN_POINT('',(-12.64397089525,7.3,-3.E-15));
#391 = LINE('',#392,#393);
#392 = CARTESIAN_POINT('',(-6.321985447626,3.65,-1.78E-15));
#393 = VECTOR('',#394,1.);
#394 = DIRECTION('',(-0.866025403784,0.5,-2.2E-16));
#395 = ORIENTED_EDGE('',*,*,#396,.T.);
#396 = EDGE_CURVE('',#389,#397,#399,.T.);
#397 = VERTEX_POINT('',#398);
#398 = CARTESIAN_POINT('',(-14.42833055246,-2.232325574102,1.E-15));
#399 = CIRCLE('',#400,14.6);
#400 = AXIS2_PLACEMENT_3D('',#401,#402,#403);
#401 = CARTESIAN_POINT('',(0.,0.,0.));
#402 = DIRECTION('',(0.,0.,1.));
#403 = DIRECTION('',(1.,0.,0.));
#404 = ORIENTED_EDGE('',*,*,#405,.F.);
#405 = EDGE_CURVE('',#406,#397,#408,.T.);
#406 = VERTEX_POINT('',#407);
#407 = CARTESIAN_POINT('',(-13.4400887338,-2.079426562178,2.E-15));
#408 = LINE('',#409,#410);
#409 = CARTESIAN_POINT('',(-7.214165276233,-1.116162787051,-8.9E-16));
#410 = VECTOR('',#411,1.);
#411 = DIRECTION('',(-0.988241818662,-0.152899011925,7.E-17));
#412 = ORIENTED_EDGE('',*,*,#413,.T.);
#413 = EDGE_CURVE('',#406,#414,#416,.T.);
#414 = VERTEX_POINT('',#415);
#415 = CARTESIAN_POINT('',(-13.08206496725,-3.717469057361,2.E-15));
#416 = CIRCLE('',#417,13.25);
#417 = AXIS2_PLACEMENT_3D('',#418,#419,#420);
#418 = CARTESIAN_POINT('',(-0.342596763094,-7.488070907183E-02,0.));
#419 = DIRECTION('',(-0.,4.4E-16,1.));
#420 = DIRECTION('',(1.,0.,0.));
#421 = ORIENTED_EDGE('',*,*,#422,.T.);
#422 = EDGE_CURVE('',#414,#423,#425,.T.);
#423 = VERTEX_POINT('',#424);
#424 = CARTESIAN_POINT('',(-14.04398150896,-3.990812370403,2.E-15));
#425 = LINE('',#426,#427);
#426 = CARTESIAN_POINT('',(-7.021990754484,-1.995406185201,8.9E-16));
#427 = VECTOR('',#428,1.);
#428 = DIRECTION('',(-0.96191654171,-0.273343313041,1.2E-16));
#429 = ORIENTED_EDGE('',*,*,#430,.T.);
#430 = EDGE_CURVE('',#423,#431,#433,.T.);
#431 = VERTEX_POINT('',#432);
#432 = CARTESIAN_POINT('',(-13.44616605484,-5.688639417782,2.E-15));
#433 = CIRCLE('',#434,14.6);
#434 = AXIS2_PLACEMENT_3D('',#435,#436,#437);
#435 = CARTESIAN_POINT('',(0.,0.,0.));
#436 = DIRECTION('',(0.,0.,1.));
#437 = DIRECTION('',(1.,0.,0.));
#438 = ORIENTED_EDGE('',*,*,#439,.F.);
#439 = EDGE_CURVE('',#440,#431,#442,.T.);
#440 = VERTEX_POINT('',#441);
#441 = CARTESIAN_POINT('',(-12.52519577711,-5.299006580947,2.E-15));
#442 = LINE('',#443,#444);
#443 = CARTESIAN_POINT('',(-6.723083027422,-2.844319708891,8.9E-16));
#444 = VECTOR('',#445,1.);
#445 = DIRECTION('',(-0.920970277729,-0.389632836834,1.7E-16));
#446 = ORIENTED_EDGE('',*,*,#447,.T.);
#447 = EDGE_CURVE('',#440,#448,#450,.T.);
#448 = VERTEX_POINT('',#449);
#449 = CARTESIAN_POINT('',(-11.77794549146,-6.8,4.E-15));
#450 = CIRCLE('',#451,13.25);
#451 = AXIS2_PLACEMENT_3D('',#452,#453,#454);
#452 = CARTESIAN_POINT('',(-0.313932934161,-0.156287477179,0.));
#453 = DIRECTION('',(-0.,4.4E-16,1.));
#454 = DIRECTION('',(1.,0.,0.));
#455 = ORIENTED_EDGE('',*,*,#456,.T.);
#456 = EDGE_CURVE('',#448,#457,#459,.T.);
#457 = VERTEX_POINT('',#458);
#458 = CARTESIAN_POINT('',(-12.64397089525,-7.3,3.E-15));
#459 = LINE('',#460,#461);
#460 = CARTESIAN_POINT('',(-6.321985447626,-3.65,0.));
#461 = VECTOR('',#462,1.);
#462 = DIRECTION('',(-0.866025403784,-0.5,2.2E-16));
#463 = ORIENTED_EDGE('',*,*,#464,.T.);
#464 = EDGE_CURVE('',#457,#465,#467,.T.);
#465 = VERTEX_POINT('',#466);
#466 = CARTESIAN_POINT('',(-5.280914619542,-13.61146357968,6.E-15));
#467 = CIRCLE('',#468,14.6);
#468 = AXIS2_PLACEMENT_3D('',#469,#470,#471);
#469 = CARTESIAN_POINT('',(0.,0.,0.));
#470 = DIRECTION('',(0.,0.,1.));
#471 = DIRECTION('',(1.,0.,0.));
#472 = ORIENTED_EDGE('',*,*,#473,.F.);
#473 = EDGE_CURVE('',#474,#465,#476,.T.);
#474 = VERTEX_POINT('',#475);
#475 = CARTESIAN_POINT('',(-4.919208138752,-12.67917155368,5.E-15));
#476 = LINE('',#477,#478);
#477 = CARTESIAN_POINT('',(-2.640457309771,-6.805731789843,2.66E-15));
#478 = VECTOR('',#479,1.);
#479 = DIRECTION('',(-0.361706480791,-0.932292026006,4.1E-16));
#480 = ORIENTED_EDGE('',*,*,#481,.T.);
#481 = EDGE_CURVE('',#474,#482,#484,.T.);
#482 = VERTEX_POINT('',#483);
#483 = CARTESIAN_POINT('',(-3.321609842171,-13.18813512428,5.E-15));
#484 = CIRCLE('',#485,13.25);
#485 = AXIS2_PLACEMENT_3D('',#486,#487,#488);
#486 = CARTESIAN_POINT('',(-0.106449785237,-0.33413785463,0.));
#487 = DIRECTION('',(-0.,4.4E-16,1.));
#488 = DIRECTION('',(1.,0.,0.));
#489 = ORIENTED_EDGE('',*,*,#490,.T.);
#490 = EDGE_CURVE('',#482,#491,#493,.T.);
#491 = VERTEX_POINT('',#492);
#492 = CARTESIAN_POINT('',(-3.565845859978,-14.15785094224,7.E-15));
#493 = LINE('',#494,#495);
#494 = CARTESIAN_POINT('',(-1.782922929989,-7.078925471123,1.78E-15));
#495 = VECTOR('',#496,1.);
#496 = DIRECTION('',(-0.244236017807,-0.969715817962,4.3E-16));
#497 = ORIENTED_EDGE('',*,*,#498,.T.);
#498 = EDGE_CURVE('',#491,#499,#501,.T.);
#499 = VERTEX_POINT('',#500);
#500 = CARTESIAN_POINT('',(-1.796576778654,-14.48904109589,7.E-15));
#501 = CIRCLE('',#502,14.6);
#502 = AXIS2_PLACEMENT_3D('',#503,#504,#505);
#503 = CARTESIAN_POINT('',(0.,0.,0.));
#504 = DIRECTION('',(0.,0.,1.));
#505 = DIRECTION('',(1.,0.,0.));
#506 = ORIENTED_EDGE('',*,*,#507,.F.);
#507 = EDGE_CURVE('',#508,#499,#510,.T.);
#508 = VERTEX_POINT('',#509);
#509 = CARTESIAN_POINT('',(-1.673523574637,-13.49664102082,5.E-15));
#510 = LINE('',#511,#512);
#511 = CARTESIAN_POINT('',(-0.898288389327,-7.244520547945,3.55E-15));
#512 = VECTOR('',#513,1.);
#513 = DIRECTION('',(-0.123053204017,-0.992400075061,4.4E-16));
#514 = ORIENTED_EDGE('',*,*,#515,.T.);
#515 = EDGE_CURVE('',#508,#516,#518,.T.);
#516 = VERTEX_POINT('',#517);
#517 = CARTESIAN_POINT('',(9.E-15,-13.6,5.E-15));
#518 = CIRCLE('',#519,13.25);
#519 = AXIS2_PLACEMENT_3D('',#520,#521,#522);
#520 = CARTESIAN_POINT('',(-2.161754155015E-02,-0.350017634657,0.));
#521 = DIRECTION('',(-0.,4.4E-16,1.));
#522 = DIRECTION('',(1.,0.,0.));
#523 = ORIENTED_EDGE('',*,*,#524,.T.);
#524 = EDGE_CURVE('',#516,#525,#527,.T.);
#525 = VERTEX_POINT('',#526);
#526 = CARTESIAN_POINT('',(-1.23E-13,-14.6,7.E-15));
#527 = LINE('',#528,#529);
#528 = CARTESIAN_POINT('',(4.564E-14,-7.3,3.55E-15));
#529 = VECTOR('',#530,1.);
#530 = DIRECTION('',(-5.8E-15,-1.,4.4E-16));
#531 = ORIENTED_EDGE('',*,*,#532,.T.);
#532 = EDGE_CURVE('',#525,#533,#535,.T.);
#533 = VERTEX_POINT('',#534);
#534 = CARTESIAN_POINT('',(3.035510685939,-14.28095497071,6.E-15));
#535 = CIRCLE('',#536,14.6);
#536 = AXIS2_PLACEMENT_3D('',#537,#538,#539);
#537 = CARTESIAN_POINT('',(0.,0.,0.));
#538 = DIRECTION('',(0.,0.,1.));
#539 = DIRECTION('',(1.,0.,0.));
#540 = ORIENTED_EDGE('',*,*,#541,.F.);
#541 = EDGE_CURVE('',#113,#533,#542,.T.);
#542 = LINE('',#543,#544);
#543 = CARTESIAN_POINT('',(0.795262217378,-3.741414572807,8.9E-16));
#544 = VECTOR('',#545,1.);
#545 = DIRECTION('',(-0.207911690818,0.978147600734,-2.2E-16));
#546 = PLANE('',#547);
#547 = AXIS2_PLACEMENT_3D('',#548,#549,#550);
#548 = CARTESIAN_POINT('',(-7.2E-16,6.2E-16,0.));
#549 = DIRECTION('',(0.,0.,-1.));
#550 = DIRECTION('',(0.,1.,0.));
#551 = ADVANCED_FACE('',(#552),#570,.T.);
#552 = FACE_BOUND('',#553,.T.);
#553 = EDGE_LOOP('',(#554,#562,#563,#564));
#554 = ORIENTED_EDGE('',*,*,#555,.F.);
#555 = EDGE_CURVE('',#41,#556,#558,.T.);
#556 = VERTEX_POINT('',#557);
#557 = CARTESIAN_POINT('',(13.440088733803,2.079426562178,6.));
#558 = LINE('',#559,#560);
#559 = CARTESIAN_POINT('',(7.214165276233,1.116162787051,6.));
#560 = VECTOR('',#561,1.);
#561 = DIRECTION('',(-0.988241818662,-0.152899011925,8.E-17));
#562 = ORIENTED_EDGE('',*,*,#49,.T.);
#563 = ORIENTED_EDGE('',*,*,#201,.F.);
#564 = ORIENTED_EDGE('',*,*,#565,.F.);
#565 = EDGE_CURVE('',#556,#202,#566,.T.);
#566 = LINE('',#567,#568);
#567 = CARTESIAN_POINT('',(13.440088733803,2.079426562178,13.));
#568 = VECTOR('',#569,1.);
#569 = DIRECTION('',(0.,-4.4E-16,-1.));
#570 = PLANE('',#571);
#571 = AXIS2_PLACEMENT_3D('',#572,#573,#574);
#572 = CARTESIAN_POINT('',(14.428330552465,2.232325574102,13.));
#573 = DIRECTION('',(-0.152899011925,0.988241818662,-4.4E-16));
#574 = DIRECTION('',(-0.988241818662,-0.152899011925,7.E-17));
#575 = ADVANCED_FACE('',(#576),#1006,.F.);
#576 = FACE_BOUND('',#577,.F.);
#577 = EDGE_LOOP('',(#578,#579,#580,#581,#590,#598,#607,#615,#624,#632,
    #641,#649,#658,#667,#675,#684,#692,#701,#709,#718,#726,#735,#743,
    #752,#760,#769,#777,#786,#794,#803,#811,#820,#828,#837,#845,#854,
    #862,#871,#879,#888,#896,#905,#913,#922,#930,#939,#947,#956,#964,
    #973,#981,#990,#998,#1005));
#578 = ORIENTED_EDGE('',*,*,#40,.F.);
#579 = ORIENTED_EDGE('',*,*,#31,.F.);
#580 = ORIENTED_EDGE('',*,*,#81,.T.);
#581 = ORIENTED_EDGE('',*,*,#582,.F.);
#582 = EDGE_CURVE('',#583,#82,#585,.T.);
#583 = VERTEX_POINT('',#584);
#584 = CARTESIAN_POINT('',(10.851672202479,-8.197634439882,6.));
#585 = CIRCLE('',#586,13.25);
#586 = AXIS2_PLACEMENT_3D('',#587,#588,#589);
#587 = CARTESIAN_POINT('',(0.292315392611,-0.193730157478,6.));
#588 = DIRECTION('',(-0.,4.4E-16,1.));
#589 = DIRECTION('',(1.,0.,0.));
#590 = ORIENTED_EDGE('',*,*,#591,.F.);
#591 = EDGE_CURVE('',#592,#583,#594,.T.);
#592 = VERTEX_POINT('',#593);
#593 = CARTESIAN_POINT('',(11.649589276191,-8.800401678109,6.));
#594 = LINE('',#595,#596);
#595 = CARTESIAN_POINT('',(5.824794638095,-4.400200839054,6.));
#596 = VECTOR('',#597,1.);
#597 = DIRECTION('',(-0.797917073712,0.602767238227,-3.E-16));
#598 = ORIENTED_EDGE('',*,*,#599,.F.);
#599 = EDGE_CURVE('',#600,#592,#602,.T.);
#600 = VERTEX_POINT('',#601);
#601 = CARTESIAN_POINT('',(10.47813564899,-10.16703857184,6.));
#602 = CIRCLE('',#603,14.6);
#603 = AXIS2_PLACEMENT_3D('',#604,#605,#606);
#604 = CARTESIAN_POINT('',(0.,0.,6.));
#605 = DIRECTION('',(0.,0.,1.));
#606 = DIRECTION('',(1.,0.,0.));
#607 = ORIENTED_EDGE('',*,*,#608,.T.);
#608 = EDGE_CURVE('',#600,#609,#611,.T.);
#609 = VERTEX_POINT('',#610);
#610 = CARTESIAN_POINT('',(9.760455125087,-9.470666066923,6.));
#611 = LINE('',#612,#613);
#612 = CARTESIAN_POINT('',(5.239067824495,-5.083519285922,6.));
#613 = VECTOR('',#614,1.);
#614 = DIRECTION('',(-0.717680523903,0.696372504921,-3.5E-16));
#615 = ORIENTED_EDGE('',*,*,#616,.F.);
#616 = EDGE_CURVE('',#617,#609,#619,.T.);
#617 = VERTEX_POINT('',#618);
#618 = CARTESIAN_POINT('',(8.520880595052,-10.5997449915,6.));
#619 = CIRCLE('',#620,13.25);
#620 = AXIS2_PLACEMENT_3D('',#621,#622,#623);
#621 = CARTESIAN_POINT('',(0.236146977857,-0.259257145558,6.));
#622 = DIRECTION('',(-0.,4.4E-16,1.));
#623 = DIRECTION('',(1.,0.,0.));
#624 = ORIENTED_EDGE('',*,*,#625,.F.);
#625 = EDGE_CURVE('',#626,#617,#628,.T.);
#626 = VERTEX_POINT('',#627);
#627 = CARTESIAN_POINT('',(9.147415932923,-11.37913800558,6.));
#628 = LINE('',#629,#630);
#629 = CARTESIAN_POINT('',(4.573707966461,-5.689569002792,6.));
#630 = VECTOR('',#631,1.);
#631 = DIRECTION('',(-0.626535337871,0.779393014081,-3.9E-16));
#632 = ORIENTED_EDGE('',*,*,#633,.F.);
#633 = EDGE_CURVE('',#634,#626,#636,.T.);
#634 = VERTEX_POINT('',#635);
#635 = CARTESIAN_POINT('',(7.477674786744,-12.53971210928,6.));
#636 = CIRCLE('',#637,14.6);
#637 = AXIS2_PLACEMENT_3D('',#638,#639,#640);
#638 = CARTESIAN_POINT('',(0.,0.,6.));
#639 = DIRECTION('',(0.,0.,1.));
#640 = DIRECTION('',(1.,0.,0.));
#641 = ORIENTED_EDGE('',*,*,#642,.F.);
#642 = EDGE_CURVE('',#643,#634,#645,.T.);
#643 = VERTEX_POINT('',#644);
#644 = CARTESIAN_POINT('',(3.918096720452,-6.570465591508,6.));
#645 = LINE('',#646,#647);
#646 = CARTESIAN_POINT('',(3.918096720452,-6.570465591508,6.));
#647 = VECTOR('',#648,1.);
#648 = DIRECTION('',(0.512169505941,-0.858884391047,0.));
#649 = ORIENTED_EDGE('',*,*,#650,.T.);
#650 = EDGE_CURVE('',#643,#651,#653,.T.);
#651 = VERTEX_POINT('',#652);
#652 = CARTESIAN_POINT('',(7.65,3.E-15,6.));
#653 = CIRCLE('',#654,7.65);
#654 = AXIS2_PLACEMENT_3D('',#655,#656,#657);
#655 = CARTESIAN_POINT('',(0.,2.E-15,6.));
#656 = DIRECTION('',(0.,0.,1.));
#657 = DIRECTION('',(1.,0.,0.));
#658 = ORIENTED_EDGE('',*,*,#659,.T.);
#659 = EDGE_CURVE('',#651,#660,#662,.T.);
#660 = VERTEX_POINT('',#661);
#661 = CARTESIAN_POINT('',(1.590524434756,-7.482829145614,6.));
#662 = CIRCLE('',#663,7.65);
#663 = AXIS2_PLACEMENT_3D('',#664,#665,#666);
#664 = CARTESIAN_POINT('',(0.,2.E-15,6.));
#665 = DIRECTION('',(0.,0.,1.));
#666 = DIRECTION('',(1.,0.,0.));
#667 = ORIENTED_EDGE('',*,*,#668,.T.);
#668 = EDGE_CURVE('',#660,#669,#671,.T.);
#669 = VERTEX_POINT('',#670);
#670 = CARTESIAN_POINT('',(3.035510685939,-14.28095497071,6.));
#671 = LINE('',#672,#673);
#672 = CARTESIAN_POINT('',(1.590524434756,-7.482829145614,6.));
#673 = VECTOR('',#674,1.);
#674 = DIRECTION('',(0.207911690818,-0.978147600734,0.));
#675 = ORIENTED_EDGE('',*,*,#676,.F.);
#676 = EDGE_CURVE('',#677,#669,#679,.T.);
#677 = VERTEX_POINT('',#678);
#678 = CARTESIAN_POINT('',(-6.35E-13,-14.6,6.));
#679 = CIRCLE('',#680,14.6);
#680 = AXIS2_PLACEMENT_3D('',#681,#682,#683);
#681 = CARTESIAN_POINT('',(0.,0.,6.));
#682 = DIRECTION('',(0.,0.,1.));
#683 = DIRECTION('',(1.,0.,0.));
#684 = ORIENTED_EDGE('',*,*,#685,.T.);
#685 = EDGE_CURVE('',#677,#686,#688,.T.);
#686 = VERTEX_POINT('',#687);
#687 = CARTESIAN_POINT('',(9.E-15,-13.6,6.));
#688 = LINE('',#689,#690);
#689 = CARTESIAN_POINT('',(4.564E-14,-7.3,6.));
#690 = VECTOR('',#691,1.);
#691 = DIRECTION('',(5.8E-15,1.,-5.E-16));
#692 = ORIENTED_EDGE('',*,*,#693,.F.);
#693 = EDGE_CURVE('',#694,#686,#696,.T.);
#694 = VERTEX_POINT('',#695);
#695 = CARTESIAN_POINT('',(-1.673523574637,-13.49664102082,6.));
#696 = CIRCLE('',#697,13.25);
#697 = AXIS2_PLACEMENT_3D('',#698,#699,#700);
#698 = CARTESIAN_POINT('',(-2.161754155015E-02,-0.350017634657,6.));
#699 = DIRECTION('',(-0.,4.4E-16,1.));
#700 = DIRECTION('',(1.,0.,0.));
#701 = ORIENTED_EDGE('',*,*,#702,.F.);
#702 = EDGE_CURVE('',#703,#694,#705,.T.);
#703 = VERTEX_POINT('',#704);
#704 = CARTESIAN_POINT('',(-1.796576778654,-14.48904109589,6.));
#705 = LINE('',#706,#707);
#706 = CARTESIAN_POINT('',(-0.898288389327,-7.244520547945,6.));
#707 = VECTOR('',#708,1.);
#708 = DIRECTION('',(0.123053204017,0.992400075061,-5.E-16));
#709 = ORIENTED_EDGE('',*,*,#710,.F.);
#710 = EDGE_CURVE('',#711,#703,#713,.T.);
#711 = VERTEX_POINT('',#712);
#712 = CARTESIAN_POINT('',(-3.565845859978,-14.15785094224,6.));
#713 = CIRCLE('',#714,14.6);
#714 = AXIS2_PLACEMENT_3D('',#715,#716,#717);
#715 = CARTESIAN_POINT('',(0.,0.,6.));
#716 = DIRECTION('',(0.,0.,1.));
#717 = DIRECTION('',(1.,0.,0.));
#718 = ORIENTED_EDGE('',*,*,#719,.T.);
#719 = EDGE_CURVE('',#711,#720,#722,.T.);
#720 = VERTEX_POINT('',#721);
#721 = CARTESIAN_POINT('',(-3.321609842171,-13.18813512428,6.));
#722 = LINE('',#723,#724);
#723 = CARTESIAN_POINT('',(-1.782922929989,-7.078925471123,6.));
#724 = VECTOR('',#725,1.);
#725 = DIRECTION('',(0.244236017807,0.969715817962,-4.9E-16));
#726 = ORIENTED_EDGE('',*,*,#727,.F.);
#727 = EDGE_CURVE('',#728,#720,#730,.T.);
#728 = VERTEX_POINT('',#729);
#729 = CARTESIAN_POINT('',(-4.919208138752,-12.67917155368,6.));
#730 = CIRCLE('',#731,13.25);
#731 = AXIS2_PLACEMENT_3D('',#732,#733,#734);
#732 = CARTESIAN_POINT('',(-0.106449785237,-0.33413785463,6.));
#733 = DIRECTION('',(-0.,4.4E-16,1.));
#734 = DIRECTION('',(1.,0.,0.));
#735 = ORIENTED_EDGE('',*,*,#736,.F.);
#736 = EDGE_CURVE('',#737,#728,#739,.T.);
#737 = VERTEX_POINT('',#738);
#738 = CARTESIAN_POINT('',(-5.280914619542,-13.61146357968,6.));
#739 = LINE('',#740,#741);
#740 = CARTESIAN_POINT('',(-2.640457309771,-6.805731789843,6.));
#741 = VECTOR('',#742,1.);
#742 = DIRECTION('',(0.361706480791,0.932292026006,-4.7E-16));
#743 = ORIENTED_EDGE('',*,*,#744,.F.);
#744 = EDGE_CURVE('',#745,#737,#747,.T.);
#745 = VERTEX_POINT('',#746);
#746 = CARTESIAN_POINT('',(-12.64397089525,-7.3,6.));
#747 = CIRCLE('',#748,14.6);
#748 = AXIS2_PLACEMENT_3D('',#749,#750,#751);
#749 = CARTESIAN_POINT('',(0.,0.,6.));
#750 = DIRECTION('',(0.,0.,1.));
#751 = DIRECTION('',(1.,0.,0.));
#752 = ORIENTED_EDGE('',*,*,#753,.T.);
#753 = EDGE_CURVE('',#745,#754,#756,.T.);
#754 = VERTEX_POINT('',#755);
#755 = CARTESIAN_POINT('',(-11.77794549146,-6.8,6.));
#756 = LINE('',#757,#758);
#757 = CARTESIAN_POINT('',(-6.321985447626,-3.65,6.));
#758 = VECTOR('',#759,1.);
#759 = DIRECTION('',(0.866025403784,0.5,-2.5E-16));
#760 = ORIENTED_EDGE('',*,*,#761,.F.);
#761 = EDGE_CURVE('',#762,#754,#764,.T.);
#762 = VERTEX_POINT('',#763);
#763 = CARTESIAN_POINT('',(-12.52519577711,-5.299006580947,6.));
#764 = CIRCLE('',#765,13.25);
#765 = AXIS2_PLACEMENT_3D('',#766,#767,#768);
#766 = CARTESIAN_POINT('',(-0.313932934161,-0.156287477179,6.));
#767 = DIRECTION('',(-0.,4.4E-16,1.));
#768 = DIRECTION('',(1.,0.,0.));
#769 = ORIENTED_EDGE('',*,*,#770,.F.);
#770 = EDGE_CURVE('',#771,#762,#773,.T.);
#771 = VERTEX_POINT('',#772);
#772 = CARTESIAN_POINT('',(-13.44616605484,-5.688639417782,6.));
#773 = LINE('',#774,#775);
#774 = CARTESIAN_POINT('',(-6.723083027422,-2.844319708891,6.));
#775 = VECTOR('',#776,1.);
#776 = DIRECTION('',(0.920970277729,0.389632836834,-2.E-16));
#777 = ORIENTED_EDGE('',*,*,#778,.F.);
#778 = EDGE_CURVE('',#779,#771,#781,.T.);
#779 = VERTEX_POINT('',#780);
#780 = CARTESIAN_POINT('',(-14.04398150896,-3.990812370402,6.));
#781 = CIRCLE('',#782,14.6);
#782 = AXIS2_PLACEMENT_3D('',#783,#784,#785);
#783 = CARTESIAN_POINT('',(0.,0.,6.));
#784 = DIRECTION('',(0.,0.,1.));
#785 = DIRECTION('',(1.,0.,0.));
#786 = ORIENTED_EDGE('',*,*,#787,.T.);
#787 = EDGE_CURVE('',#779,#788,#790,.T.);
#788 = VERTEX_POINT('',#789);
#789 = CARTESIAN_POINT('',(-13.08206496725,-3.717469057361,6.));
#790 = LINE('',#791,#792);
#791 = CARTESIAN_POINT('',(-7.021990754484,-1.995406185201,6.));
#792 = VECTOR('',#793,1.);
#793 = DIRECTION('',(0.96191654171,0.273343313041,-1.4E-16));
#794 = ORIENTED_EDGE('',*,*,#795,.F.);
#795 = EDGE_CURVE('',#796,#788,#798,.T.);
#796 = VERTEX_POINT('',#797);
#797 = CARTESIAN_POINT('',(-13.4400887338,-2.079426562178,6.));
#798 = CIRCLE('',#799,13.25);
#799 = AXIS2_PLACEMENT_3D('',#800,#801,#802);
#800 = CARTESIAN_POINT('',(-0.342596763094,-7.488070907183E-02,6.));
#801 = DIRECTION('',(-0.,4.4E-16,1.));
#802 = DIRECTION('',(1.,0.,0.));
#803 = ORIENTED_EDGE('',*,*,#804,.F.);
#804 = EDGE_CURVE('',#805,#796,#807,.T.);
#805 = VERTEX_POINT('',#806);
#806 = CARTESIAN_POINT('',(-14.42833055246,-2.232325574102,6.));
#807 = LINE('',#808,#809);
#808 = CARTESIAN_POINT('',(-7.214165276233,-1.116162787051,6.));
#809 = VECTOR('',#810,1.);
#810 = DIRECTION('',(0.988241818662,0.152899011925,-8.E-17));
#811 = ORIENTED_EDGE('',*,*,#812,.F.);
#812 = EDGE_CURVE('',#813,#805,#815,.T.);
#813 = VERTEX_POINT('',#814);
#814 = CARTESIAN_POINT('',(-12.64397089525,7.3,6.));
#815 = CIRCLE('',#816,14.6);
#816 = AXIS2_PLACEMENT_3D('',#817,#818,#819);
#817 = CARTESIAN_POINT('',(0.,0.,6.));
#818 = DIRECTION('',(0.,0.,1.));
#819 = DIRECTION('',(1.,0.,0.));
#820 = ORIENTED_EDGE('',*,*,#821,.T.);
#821 = EDGE_CURVE('',#813,#822,#824,.T.);
#822 = VERTEX_POINT('',#823);
#823 = CARTESIAN_POINT('',(-11.77794549146,6.8,6.));
#824 = LINE('',#825,#826);
#825 = CARTESIAN_POINT('',(-6.321985447626,3.65,6.));
#826 = VECTOR('',#827,1.);
#827 = DIRECTION('',(0.866025403784,-0.5,2.5E-16));
#828 = ORIENTED_EDGE('',*,*,#829,.F.);
#829 = EDGE_CURVE('',#830,#822,#832,.T.);
#830 = VERTEX_POINT('',#831);
#831 = CARTESIAN_POINT('',(-10.85167220247,8.197634439882,6.));
#832 = CIRCLE('',#833,13.25);
#833 = AXIS2_PLACEMENT_3D('',#834,#835,#836);
#834 = CARTESIAN_POINT('',(-0.292315392611,0.193730157478,6.));
#835 = DIRECTION('',(-0.,4.4E-16,1.));
#836 = DIRECTION('',(1.,0.,0.));
#837 = ORIENTED_EDGE('',*,*,#838,.F.);
#838 = EDGE_CURVE('',#839,#830,#841,.T.);
#839 = VERTEX_POINT('',#840);
#840 = CARTESIAN_POINT('',(-11.64958927619,8.800401678109,6.));
#841 = LINE('',#842,#843);
#842 = CARTESIAN_POINT('',(-5.824794638095,4.400200839054,6.));
#843 = VECTOR('',#844,1.);
#844 = DIRECTION('',(0.797917073712,-0.602767238227,3.E-16));
#845 = ORIENTED_EDGE('',*,*,#846,.F.);
#846 = EDGE_CURVE('',#847,#839,#849,.T.);
#847 = VERTEX_POINT('',#848);
#848 = CARTESIAN_POINT('',(-10.47813564899,10.167038571844,6.));
#849 = CIRCLE('',#850,14.6);
#850 = AXIS2_PLACEMENT_3D('',#851,#852,#853);
#851 = CARTESIAN_POINT('',(0.,0.,6.));
#852 = DIRECTION('',(0.,0.,1.));
#853 = DIRECTION('',(1.,0.,0.));
#854 = ORIENTED_EDGE('',*,*,#855,.T.);
#855 = EDGE_CURVE('',#847,#856,#858,.T.);
#856 = VERTEX_POINT('',#857);
#857 = CARTESIAN_POINT('',(-9.760455125087,9.470666066923,6.));
#858 = LINE('',#859,#860);
#859 = CARTESIAN_POINT('',(-5.239067824495,5.083519285922,6.));
#860 = VECTOR('',#861,1.);
#861 = DIRECTION('',(0.717680523903,-0.696372504921,3.5E-16));
#862 = ORIENTED_EDGE('',*,*,#863,.F.);
#863 = EDGE_CURVE('',#864,#856,#866,.T.);
#864 = VERTEX_POINT('',#865);
#865 = CARTESIAN_POINT('',(-8.520880595052,10.599744991502,6.));
#866 = CIRCLE('',#867,13.25);
#867 = AXIS2_PLACEMENT_3D('',#868,#869,#870);
#868 = CARTESIAN_POINT('',(-0.236146977857,0.259257145558,6.));
#869 = DIRECTION('',(-0.,4.4E-16,1.));
#870 = DIRECTION('',(1.,0.,0.));
#871 = ORIENTED_EDGE('',*,*,#872,.F.);
#872 = EDGE_CURVE('',#873,#864,#875,.T.);
#873 = VERTEX_POINT('',#874);
#874 = CARTESIAN_POINT('',(-9.147415932923,11.379138005583,6.));
#875 = LINE('',#876,#877);
#876 = CARTESIAN_POINT('',(-4.573707966462,5.689569002792,6.));
#877 = VECTOR('',#878,1.);
#878 = DIRECTION('',(0.626535337871,-0.779393014081,3.9E-16));
#879 = ORIENTED_EDGE('',*,*,#880,.F.);
#880 = EDGE_CURVE('',#881,#873,#883,.T.);
#881 = VERTEX_POINT('',#882);
#882 = CARTESIAN_POINT('',(-6.42E-13,14.6,6.));
#883 = CIRCLE('',#884,14.6);
#884 = AXIS2_PLACEMENT_3D('',#885,#886,#887);
#885 = CARTESIAN_POINT('',(0.,0.,6.));
#886 = DIRECTION('',(0.,0.,1.));
#887 = DIRECTION('',(1.,0.,0.));
#888 = ORIENTED_EDGE('',*,*,#889,.T.);
#889 = EDGE_CURVE('',#881,#890,#892,.T.);
#890 = VERTEX_POINT('',#891);
#891 = CARTESIAN_POINT('',(-1.E-15,13.6,6.));
#892 = LINE('',#893,#894);
#893 = CARTESIAN_POINT('',(-7.E-16,7.3,6.));
#894 = VECTOR('',#895,1.);
#895 = DIRECTION('',(0.,-1.,5.E-16));
#896 = ORIENTED_EDGE('',*,*,#897,.F.);
#897 = EDGE_CURVE('',#898,#890,#900,.T.);
#898 = VERTEX_POINT('',#899);
#899 = CARTESIAN_POINT('',(1.673523574637,13.496641020829,6.));
#900 = CIRCLE('',#901,13.6);
#901 = AXIS2_PLACEMENT_3D('',#902,#903,#904);
#902 = CARTESIAN_POINT('',(1.5E-15,2.06E-15,6.));
#903 = DIRECTION('',(-0.,4.4E-16,1.));
#904 = DIRECTION('',(1.,0.,0.));
#905 = ORIENTED_EDGE('',*,*,#906,.F.);
#906 = EDGE_CURVE('',#907,#898,#909,.T.);
#907 = VERTEX_POINT('',#908);
#908 = CARTESIAN_POINT('',(1.796576778655,14.48904109589,6.));
#909 = LINE('',#910,#911);
#910 = CARTESIAN_POINT('',(0.898288389327,7.244520547945,6.));
#911 = VECTOR('',#912,1.);
#912 = DIRECTION('',(-0.123053204017,-0.992400075061,5.E-16));
#913 = ORIENTED_EDGE('',*,*,#914,.F.);
#914 = EDGE_CURVE('',#915,#907,#917,.T.);
#915 = VERTEX_POINT('',#916);
#916 = CARTESIAN_POINT('',(3.565845859978,14.157850942247,6.));
#917 = CIRCLE('',#918,14.6);
#918 = AXIS2_PLACEMENT_3D('',#919,#920,#921);
#919 = CARTESIAN_POINT('',(0.,0.,6.));
#920 = DIRECTION('',(0.,0.,1.));
#921 = DIRECTION('',(1.,0.,0.));
#922 = ORIENTED_EDGE('',*,*,#923,.T.);
#923 = EDGE_CURVE('',#915,#924,#926,.T.);
#924 = VERTEX_POINT('',#925);
#925 = CARTESIAN_POINT('',(3.321609842171,13.188135124285,6.));
#926 = LINE('',#927,#928);
#927 = CARTESIAN_POINT('',(1.782922929989,7.078925471123,6.));
#928 = VECTOR('',#929,1.);
#929 = DIRECTION('',(-0.244236017807,-0.969715817962,4.9E-16));
#930 = ORIENTED_EDGE('',*,*,#931,.F.);
#931 = EDGE_CURVE('',#932,#924,#934,.T.);
#932 = VERTEX_POINT('',#933);
#933 = CARTESIAN_POINT('',(4.919208138752,12.67917155368,6.));
#934 = CIRCLE('',#935,13.6);
#935 = AXIS2_PLACEMENT_3D('',#936,#937,#938);
#936 = CARTESIAN_POINT('',(1.11E-14,-4.714E-14,6.));
#937 = DIRECTION('',(-0.,4.4E-16,1.));
#938 = DIRECTION('',(1.,0.,0.));
#939 = ORIENTED_EDGE('',*,*,#940,.F.);
#940 = EDGE_CURVE('',#941,#932,#943,.T.);
#941 = VERTEX_POINT('',#942);
#942 = CARTESIAN_POINT('',(5.280914619542,13.611463579686,6.));
#943 = LINE('',#944,#945);
#944 = CARTESIAN_POINT('',(2.640457309771,6.805731789843,6.));
#945 = VECTOR('',#946,1.);
#946 = DIRECTION('',(-0.361706480791,-0.932292026006,4.7E-16));
#947 = ORIENTED_EDGE('',*,*,#948,.F.);
#948 = EDGE_CURVE('',#949,#941,#951,.T.);
#949 = VERTEX_POINT('',#950);
#950 = CARTESIAN_POINT('',(12.643970895253,7.3,6.));
#951 = CIRCLE('',#952,14.6);
#952 = AXIS2_PLACEMENT_3D('',#953,#954,#955);
#953 = CARTESIAN_POINT('',(0.,0.,6.));
#954 = DIRECTION('',(0.,0.,1.));
#955 = DIRECTION('',(1.,0.,0.));
#956 = ORIENTED_EDGE('',*,*,#957,.T.);
#957 = EDGE_CURVE('',#949,#958,#960,.T.);
#958 = VERTEX_POINT('',#959);
#959 = CARTESIAN_POINT('',(11.777945491468,6.8,6.));
#960 = LINE('',#961,#962);
#961 = CARTESIAN_POINT('',(6.321985447626,3.65,6.));
#962 = VECTOR('',#963,1.);
#963 = DIRECTION('',(-0.866025403784,-0.5,2.5E-16));
#964 = ORIENTED_EDGE('',*,*,#965,.F.);
#965 = EDGE_CURVE('',#966,#958,#968,.T.);
#966 = VERTEX_POINT('',#967);
#967 = CARTESIAN_POINT('',(12.525195777116,5.299006580947,6.));
#968 = CIRCLE('',#969,13.25);
#969 = AXIS2_PLACEMENT_3D('',#970,#971,#972);
#970 = CARTESIAN_POINT('',(0.313932934161,0.156287477179,6.));
#971 = DIRECTION('',(-0.,4.4E-16,1.));
#972 = DIRECTION('',(1.,0.,0.));
#973 = ORIENTED_EDGE('',*,*,#974,.F.);
#974 = EDGE_CURVE('',#975,#966,#977,.T.);
#975 = VERTEX_POINT('',#976);
#976 = CARTESIAN_POINT('',(13.446166054845,5.688639417781,6.));
#977 = LINE('',#978,#979);
#978 = CARTESIAN_POINT('',(6.723083027422,2.844319708891,6.));
#979 = VECTOR('',#980,1.);
#980 = DIRECTION('',(-0.920970277729,-0.389632836834,2.E-16));
#981 = ORIENTED_EDGE('',*,*,#982,.F.);
#982 = EDGE_CURVE('',#983,#975,#985,.T.);
#983 = VERTEX_POINT('',#984);
#984 = CARTESIAN_POINT('',(14.043981508968,3.990812370403,6.));
#985 = CIRCLE('',#986,14.6);
#986 = AXIS2_PLACEMENT_3D('',#987,#988,#989);
#987 = CARTESIAN_POINT('',(0.,0.,6.));
#988 = DIRECTION('',(0.,0.,1.));
#989 = DIRECTION('',(1.,0.,0.));
#990 = ORIENTED_EDGE('',*,*,#991,.T.);
#991 = EDGE_CURVE('',#983,#992,#994,.T.);
#992 = VERTEX_POINT('',#993);
#993 = CARTESIAN_POINT('',(13.082064967258,3.717469057361,6.));
#994 = LINE('',#995,#996);
#995 = CARTESIAN_POINT('',(7.021990754484,1.995406185201,6.));
#996 = VECTOR('',#997,1.);
#997 = DIRECTION('',(-0.96191654171,-0.273343313041,1.4E-16));
#998 = ORIENTED_EDGE('',*,*,#999,.F.);
#999 = EDGE_CURVE('',#556,#992,#1000,.T.);
#1000 = CIRCLE('',#1001,13.25);
#1001 = AXIS2_PLACEMENT_3D('',#1002,#1003,#1004);
#1002 = CARTESIAN_POINT('',(0.342596763094,7.488070907183E-02,6.));
#1003 = DIRECTION('',(-0.,4.4E-16,1.));
#1004 = DIRECTION('',(1.,0.,0.));
#1005 = ORIENTED_EDGE('',*,*,#555,.F.);
#1006 = PLANE('',#1007);
#1007 = AXIS2_PLACEMENT_3D('',#1008,#1009,#1010);
#1008 = CARTESIAN_POINT('',(-7.5E-16,1.38E-15,6.));
#1009 = DIRECTION('',(0.,-2.8E-16,-1.));
#1010 = DIRECTION('',(0.,1.,-2.8E-16));
#1011 = ADVANCED_FACE('',(#1012),#1023,.T.);
#1012 = FACE_BOUND('',#1013,.T.);
#1013 = EDGE_LOOP('',(#1014,#1015,#1021,#1022));
#1014 = ORIENTED_EDGE('',*,*,#582,.F.);
#1015 = ORIENTED_EDGE('',*,*,#1016,.T.);
#1016 = EDGE_CURVE('',#583,#184,#1017,.T.);
#1017 = LINE('',#1018,#1019);
#1018 = CARTESIAN_POINT('',(10.851672202479,-8.197634439882,13.));
#1019 = VECTOR('',#1020,1.);
#1020 = DIRECTION('',(0.,-4.4E-16,-1.));
#1021 = ORIENTED_EDGE('',*,*,#191,.T.);
#1022 = ORIENTED_EDGE('',*,*,#98,.F.);
#1023 = CYLINDRICAL_SURFACE('',#1024,13.25);
#1024 = AXIS2_PLACEMENT_3D('',#1025,#1026,#1027);
#1025 = CARTESIAN_POINT('',(0.292315392611,-0.193730157478,13.));
#1026 = DIRECTION('',(0.,4.4E-16,1.));
#1027 = DIRECTION('',(1.,0.,0.));
#1028 = ADVANCED_FACE('',(#1029),#1061,.F.);
#1029 = FACE_BOUND('',#1030,.F.);
#1030 = EDGE_LOOP('',(#1031,#1032,#1040,#1048,#1054,#1055));
#1031 = ORIENTED_EDGE('',*,*,#668,.F.);
#1032 = ORIENTED_EDGE('',*,*,#1033,.T.);
#1033 = EDGE_CURVE('',#660,#1034,#1036,.T.);
#1034 = VERTEX_POINT('',#1035);
#1035 = CARTESIAN_POINT('',(1.590524434756,-7.482829145614,-0.75));
#1036 = LINE('',#1037,#1038);
#1037 = CARTESIAN_POINT('',(1.590524434756,-7.482829145614,6.));
#1038 = VECTOR('',#1039,1.);
#1039 = DIRECTION('',(0.,-4.4E-16,-1.));
#1040 = ORIENTED_EDGE('',*,*,#1041,.F.);
#1041 = EDGE_CURVE('',#1042,#1034,#1044,.T.);
#1042 = VERTEX_POINT('',#1043);
#1043 = CARTESIAN_POINT('',(3.139466531348,-14.77002877108,-0.75));
#1044 = LINE('',#1045,#1046);
#1045 = CARTESIAN_POINT('',(0.795262217378,-3.741414572807,-0.75));
#1046 = VECTOR('',#1047,1.);
#1047 = DIRECTION('',(-0.207911690818,0.978147600734,-2.2E-16));
#1048 = ORIENTED_EDGE('',*,*,#1049,.F.);
#1049 = EDGE_CURVE('',#113,#1042,#1050,.T.);
#1050 = LINE('',#1051,#1052);
#1051 = CARTESIAN_POINT('',(3.139466531348,-14.77002877108,6.));
#1052 = VECTOR('',#1053,1.);
#1053 = DIRECTION('',(0.,-4.4E-16,-1.));
#1054 = ORIENTED_EDGE('',*,*,#541,.T.);
#1055 = ORIENTED_EDGE('',*,*,#1056,.F.);
#1056 = EDGE_CURVE('',#669,#533,#1057,.T.);
#1057 = LINE('',#1058,#1059);
#1058 = CARTESIAN_POINT('',(3.035510685939,-14.28095497071,6.34E-15));
#1059 = VECTOR('',#1060,1.);
#1060 = DIRECTION('',(0.,-4.4E-16,-1.));
#1061 = PLANE('',#1062);
#1062 = AXIS2_PLACEMENT_3D('',#1063,#1064,#1065);
#1063 = CARTESIAN_POINT('',(1.590524434756,-7.482829145614,6.));
#1064 = DIRECTION('',(-0.978147600734,-0.207911690818,9.E-17));
#1065 = DIRECTION('',(0.207911690818,-0.978147600734,4.3E-16));
#1066 = ADVANCED_FACE('',(#1067),#1078,.T.);
#1067 = FACE_BOUND('',#1068,.F.);
#1068 = EDGE_LOOP('',(#1069,#1075,#1076,#1077));
#1069 = ORIENTED_EDGE('',*,*,#1070,.F.);
#1070 = EDGE_CURVE('',#677,#525,#1071,.T.);
#1071 = LINE('',#1072,#1073);
#1072 = CARTESIAN_POINT('',(3.29E-15,-14.6,13.));
#1073 = VECTOR('',#1074,1.);
#1074 = DIRECTION('',(0.,-4.4E-16,-1.));
#1075 = ORIENTED_EDGE('',*,*,#676,.T.);
#1076 = ORIENTED_EDGE('',*,*,#1056,.T.);
#1077 = ORIENTED_EDGE('',*,*,#532,.F.);
#1078 = CYLINDRICAL_SURFACE('',#1079,14.6);
#1079 = AXIS2_PLACEMENT_3D('',#1080,#1081,#1082);
#1080 = CARTESIAN_POINT('',(0.,0.,0.));
#1081 = DIRECTION('',(0.,-4.4E-16,-1.));
#1082 = DIRECTION('',(1.,0.,0.));
#1083 = ADVANCED_FACE('',(#1084),#1095,.F.);
#1084 = FACE_BOUND('',#1085,.F.);
#1085 = EDGE_LOOP('',(#1086,#1087,#1088,#1089));
#1086 = ORIENTED_EDGE('',*,*,#685,.F.);
#1087 = ORIENTED_EDGE('',*,*,#1070,.T.);
#1088 = ORIENTED_EDGE('',*,*,#524,.F.);
#1089 = ORIENTED_EDGE('',*,*,#1090,.F.);
#1090 = EDGE_CURVE('',#686,#516,#1091,.T.);
#1091 = LINE('',#1092,#1093);
#1092 = CARTESIAN_POINT('',(9.09E-15,-13.6,13.));
#1093 = VECTOR('',#1094,1.);
#1094 = DIRECTION('',(0.,-4.4E-16,-1.));
#1095 = PLANE('',#1096);
#1096 = AXIS2_PLACEMENT_3D('',#1097,#1098,#1099);
#1097 = CARTESIAN_POINT('',(3.3E-15,-14.6,13.));
#1098 = DIRECTION('',(1.,-5.8E-15,0.));
#1099 = DIRECTION('',(5.8E-15,1.,-4.4E-16));
#1100 = ADVANCED_FACE('',(#1101),#1112,.T.);
#1101 = FACE_BOUND('',#1102,.T.);
#1102 = EDGE_LOOP('',(#1103,#1104,#1110,#1111));
#1103 = ORIENTED_EDGE('',*,*,#693,.F.);
#1104 = ORIENTED_EDGE('',*,*,#1105,.T.);
#1105 = EDGE_CURVE('',#694,#508,#1106,.T.);
#1106 = LINE('',#1107,#1108);
#1107 = CARTESIAN_POINT('',(-1.673523574637,-13.49664102082,13.));
#1108 = VECTOR('',#1109,1.);
#1109 = DIRECTION('',(0.,-4.4E-16,-1.));
#1110 = ORIENTED_EDGE('',*,*,#515,.T.);
#1111 = ORIENTED_EDGE('',*,*,#1090,.F.);
#1112 = CYLINDRICAL_SURFACE('',#1113,13.25);
#1113 = AXIS2_PLACEMENT_3D('',#1114,#1115,#1116);
#1114 = CARTESIAN_POINT('',(-2.161754155015E-02,-0.350017634657,13.));
#1115 = DIRECTION('',(0.,4.4E-16,1.));
#1116 = DIRECTION('',(1.,0.,0.));
#1117 = ADVANCED_FACE('',(#1118),#1129,.T.);
#1118 = FACE_BOUND('',#1119,.T.);
#1119 = EDGE_LOOP('',(#1120,#1121,#1127,#1128));
#1120 = ORIENTED_EDGE('',*,*,#702,.F.);
#1121 = ORIENTED_EDGE('',*,*,#1122,.T.);
#1122 = EDGE_CURVE('',#703,#499,#1123,.T.);
#1123 = LINE('',#1124,#1125);
#1124 = CARTESIAN_POINT('',(-1.796576778654,-14.48904109589,13.));
#1125 = VECTOR('',#1126,1.);
#1126 = DIRECTION('',(0.,-4.4E-16,-1.));
#1127 = ORIENTED_EDGE('',*,*,#507,.F.);
#1128 = ORIENTED_EDGE('',*,*,#1105,.F.);
#1129 = PLANE('',#1130);
#1130 = AXIS2_PLACEMENT_3D('',#1131,#1132,#1133);
#1131 = CARTESIAN_POINT('',(-1.796576778654,-14.48904109589,13.));
#1132 = DIRECTION('',(0.992400075061,-0.123053204017,5.E-17));
#1133 = DIRECTION('',(0.123053204017,0.992400075061,-4.4E-16));
#1134 = ADVANCED_FACE('',(#1135),#1146,.T.);
#1135 = FACE_BOUND('',#1136,.F.);
#1136 = EDGE_LOOP('',(#1137,#1138,#1139,#1140));
#1137 = ORIENTED_EDGE('',*,*,#710,.T.);
#1138 = ORIENTED_EDGE('',*,*,#1122,.T.);
#1139 = ORIENTED_EDGE('',*,*,#498,.F.);
#1140 = ORIENTED_EDGE('',*,*,#1141,.F.);
#1141 = EDGE_CURVE('',#711,#491,#1142,.T.);
#1142 = LINE('',#1143,#1144);
#1143 = CARTESIAN_POINT('',(-3.565845859978,-14.15785094224,13.));
#1144 = VECTOR('',#1145,1.);
#1145 = DIRECTION('',(0.,-4.4E-16,-1.));
#1146 = CYLINDRICAL_SURFACE('',#1147,14.6);
#1147 = AXIS2_PLACEMENT_3D('',#1148,#1149,#1150);
#1148 = CARTESIAN_POINT('',(0.,0.,0.));
#1149 = DIRECTION('',(0.,-4.4E-16,-1.));
#1150 = DIRECTION('',(1.,0.,0.));
#1151 = ADVANCED_FACE('',(#1152),#1163,.F.);
#1152 = FACE_BOUND('',#1153,.F.);
#1153 = EDGE_LOOP('',(#1154,#1155,#1156,#1157));
#1154 = ORIENTED_EDGE('',*,*,#719,.F.);
#1155 = ORIENTED_EDGE('',*,*,#1141,.T.);
#1156 = ORIENTED_EDGE('',*,*,#490,.F.);
#1157 = ORIENTED_EDGE('',*,*,#1158,.F.);
#1158 = EDGE_CURVE('',#720,#482,#1159,.T.);
#1159 = LINE('',#1160,#1161);
#1160 = CARTESIAN_POINT('',(-3.321609842171,-13.18813512428,13.));
#1161 = VECTOR('',#1162,1.);
#1162 = DIRECTION('',(0.,-4.4E-16,-1.));
#1163 = PLANE('',#1164);
#1164 = AXIS2_PLACEMENT_3D('',#1165,#1166,#1167);
#1165 = CARTESIAN_POINT('',(-3.565845859978,-14.15785094224,13.));
#1166 = DIRECTION('',(0.969715817962,-0.244236017807,1.1E-16));
#1167 = DIRECTION('',(0.244236017807,0.969715817962,-4.3E-16));
#1168 = ADVANCED_FACE('',(#1169),#1180,.T.);
#1169 = FACE_BOUND('',#1170,.T.);
#1170 = EDGE_LOOP('',(#1171,#1172,#1178,#1179));
#1171 = ORIENTED_EDGE('',*,*,#727,.F.);
#1172 = ORIENTED_EDGE('',*,*,#1173,.T.);
#1173 = EDGE_CURVE('',#728,#474,#1174,.T.);
#1174 = LINE('',#1175,#1176);
#1175 = CARTESIAN_POINT('',(-4.919208138752,-12.67917155368,13.));
#1176 = VECTOR('',#1177,1.);
#1177 = DIRECTION('',(0.,-4.4E-16,-1.));
#1178 = ORIENTED_EDGE('',*,*,#481,.T.);
#1179 = ORIENTED_EDGE('',*,*,#1158,.F.);
#1180 = CYLINDRICAL_SURFACE('',#1181,13.25);
#1181 = AXIS2_PLACEMENT_3D('',#1182,#1183,#1184);
#1182 = CARTESIAN_POINT('',(-0.106449785237,-0.33413785463,13.));
#1183 = DIRECTION('',(0.,4.4E-16,1.));
#1184 = DIRECTION('',(1.,0.,0.));
#1185 = ADVANCED_FACE('',(#1186),#1197,.T.);
#1186 = FACE_BOUND('',#1187,.T.);
#1187 = EDGE_LOOP('',(#1188,#1189,#1195,#1196));
#1188 = ORIENTED_EDGE('',*,*,#736,.F.);
#1189 = ORIENTED_EDGE('',*,*,#1190,.T.);
#1190 = EDGE_CURVE('',#737,#465,#1191,.T.);
#1191 = LINE('',#1192,#1193);
#1192 = CARTESIAN_POINT('',(-5.280914619542,-13.61146357968,13.));
#1193 = VECTOR('',#1194,1.);
#1194 = DIRECTION('',(0.,-4.4E-16,-1.));
#1195 = ORIENTED_EDGE('',*,*,#473,.F.);
#1196 = ORIENTED_EDGE('',*,*,#1173,.F.);
#1197 = PLANE('',#1198);
#1198 = AXIS2_PLACEMENT_3D('',#1199,#1200,#1201);
#1199 = CARTESIAN_POINT('',(-5.280914619542,-13.61146357968,13.));
#1200 = DIRECTION('',(0.932292026006,-0.361706480791,1.6E-16));
#1201 = DIRECTION('',(0.361706480791,0.932292026006,-4.1E-16));
#1202 = ADVANCED_FACE('',(#1203),#1214,.T.);
#1203 = FACE_BOUND('',#1204,.F.);
#1204 = EDGE_LOOP('',(#1205,#1206,#1207,#1208));
#1205 = ORIENTED_EDGE('',*,*,#744,.T.);
#1206 = ORIENTED_EDGE('',*,*,#1190,.T.);
#1207 = ORIENTED_EDGE('',*,*,#464,.F.);
#1208 = ORIENTED_EDGE('',*,*,#1209,.F.);
#1209 = EDGE_CURVE('',#745,#457,#1210,.T.);
#1210 = LINE('',#1211,#1212);
#1211 = CARTESIAN_POINT('',(-12.64397089525,-7.3,13.));
#1212 = VECTOR('',#1213,1.);
#1213 = DIRECTION('',(0.,-4.4E-16,-1.));
#1214 = CYLINDRICAL_SURFACE('',#1215,14.6);
#1215 = AXIS2_PLACEMENT_3D('',#1216,#1217,#1218);
#1216 = CARTESIAN_POINT('',(0.,0.,0.));
#1217 = DIRECTION('',(0.,-4.4E-16,-1.));
#1218 = DIRECTION('',(1.,0.,0.));
#1219 = ADVANCED_FACE('',(#1220),#1231,.F.);
#1220 = FACE_BOUND('',#1221,.F.);
#1221 = EDGE_LOOP('',(#1222,#1223,#1224,#1225));
#1222 = ORIENTED_EDGE('',*,*,#753,.F.);
#1223 = ORIENTED_EDGE('',*,*,#1209,.T.);
#1224 = ORIENTED_EDGE('',*,*,#456,.F.);
#1225 = ORIENTED_EDGE('',*,*,#1226,.F.);
#1226 = EDGE_CURVE('',#754,#448,#1227,.T.);
#1227 = LINE('',#1228,#1229);
#1228 = CARTESIAN_POINT('',(-11.77794549146,-6.8,13.));
#1229 = VECTOR('',#1230,1.);
#1230 = DIRECTION('',(0.,-4.4E-16,-1.));
#1231 = PLANE('',#1232);
#1232 = AXIS2_PLACEMENT_3D('',#1233,#1234,#1235);
#1233 = CARTESIAN_POINT('',(-12.64397089525,-7.3,13.));
#1234 = DIRECTION('',(0.5,-0.866025403784,3.8E-16));
#1235 = DIRECTION('',(0.866025403784,0.5,-2.2E-16));
#1236 = ADVANCED_FACE('',(#1237),#1248,.T.);
#1237 = FACE_BOUND('',#1238,.T.);
#1238 = EDGE_LOOP('',(#1239,#1240,#1246,#1247));
#1239 = ORIENTED_EDGE('',*,*,#761,.F.);
#1240 = ORIENTED_EDGE('',*,*,#1241,.T.);
#1241 = EDGE_CURVE('',#762,#440,#1242,.T.);
#1242 = LINE('',#1243,#1244);
#1243 = CARTESIAN_POINT('',(-12.52519577711,-5.299006580947,13.));
#1244 = VECTOR('',#1245,1.);
#1245 = DIRECTION('',(0.,-4.4E-16,-1.));
#1246 = ORIENTED_EDGE('',*,*,#447,.T.);
#1247 = ORIENTED_EDGE('',*,*,#1226,.F.);
#1248 = CYLINDRICAL_SURFACE('',#1249,13.25);
#1249 = AXIS2_PLACEMENT_3D('',#1250,#1251,#1252);
#1250 = CARTESIAN_POINT('',(-0.313932934161,-0.156287477179,13.));
#1251 = DIRECTION('',(0.,4.4E-16,1.));
#1252 = DIRECTION('',(1.,0.,0.));
#1253 = ADVANCED_FACE('',(#1254),#1265,.T.);
#1254 = FACE_BOUND('',#1255,.T.);
#1255 = EDGE_LOOP('',(#1256,#1257,#1263,#1264));
#1256 = ORIENTED_EDGE('',*,*,#770,.F.);
#1257 = ORIENTED_EDGE('',*,*,#1258,.T.);
#1258 = EDGE_CURVE('',#771,#431,#1259,.T.);
#1259 = LINE('',#1260,#1261);
#1260 = CARTESIAN_POINT('',(-13.44616605484,-5.688639417782,13.));
#1261 = VECTOR('',#1262,1.);
#1262 = DIRECTION('',(0.,-4.4E-16,-1.));
#1263 = ORIENTED_EDGE('',*,*,#439,.F.);
#1264 = ORIENTED_EDGE('',*,*,#1241,.F.);
#1265 = PLANE('',#1266);
#1266 = AXIS2_PLACEMENT_3D('',#1267,#1268,#1269);
#1267 = CARTESIAN_POINT('',(-13.44616605484,-5.688639417782,13.));
#1268 = DIRECTION('',(0.389632836834,-0.920970277729,4.1E-16));
#1269 = DIRECTION('',(0.920970277729,0.389632836834,-1.7E-16));
#1270 = ADVANCED_FACE('',(#1271),#1282,.T.);
#1271 = FACE_BOUND('',#1272,.F.);
#1272 = EDGE_LOOP('',(#1273,#1274,#1275,#1276));
#1273 = ORIENTED_EDGE('',*,*,#778,.T.);
#1274 = ORIENTED_EDGE('',*,*,#1258,.T.);
#1275 = ORIENTED_EDGE('',*,*,#430,.F.);
#1276 = ORIENTED_EDGE('',*,*,#1277,.F.);
#1277 = EDGE_CURVE('',#779,#423,#1278,.T.);
#1278 = LINE('',#1279,#1280);
#1279 = CARTESIAN_POINT('',(-14.04398150896,-3.990812370403,13.));
#1280 = VECTOR('',#1281,1.);
#1281 = DIRECTION('',(0.,-4.4E-16,-1.));
#1282 = CYLINDRICAL_SURFACE('',#1283,14.6);
#1283 = AXIS2_PLACEMENT_3D('',#1284,#1285,#1286);
#1284 = CARTESIAN_POINT('',(0.,0.,0.));
#1285 = DIRECTION('',(0.,-4.4E-16,-1.));
#1286 = DIRECTION('',(1.,0.,0.));
#1287 = ADVANCED_FACE('',(#1288),#1299,.F.);
#1288 = FACE_BOUND('',#1289,.F.);
#1289 = EDGE_LOOP('',(#1290,#1291,#1292,#1293));
#1290 = ORIENTED_EDGE('',*,*,#787,.F.);
#1291 = ORIENTED_EDGE('',*,*,#1277,.T.);
#1292 = ORIENTED_EDGE('',*,*,#422,.F.);
#1293 = ORIENTED_EDGE('',*,*,#1294,.F.);
#1294 = EDGE_CURVE('',#788,#414,#1295,.T.);
#1295 = LINE('',#1296,#1297);
#1296 = CARTESIAN_POINT('',(-13.08206496725,-3.717469057361,13.));
#1297 = VECTOR('',#1298,1.);
#1298 = DIRECTION('',(0.,-4.4E-16,-1.));
#1299 = PLANE('',#1300);
#1300 = AXIS2_PLACEMENT_3D('',#1301,#1302,#1303);
#1301 = CARTESIAN_POINT('',(-14.04398150896,-3.990812370403,13.));
#1302 = DIRECTION('',(0.273343313041,-0.96191654171,4.3E-16));
#1303 = DIRECTION('',(0.96191654171,0.273343313041,-1.2E-16));
#1304 = ADVANCED_FACE('',(#1305),#1316,.T.);
#1305 = FACE_BOUND('',#1306,.T.);
#1306 = EDGE_LOOP('',(#1307,#1308,#1314,#1315));
#1307 = ORIENTED_EDGE('',*,*,#795,.F.);
#1308 = ORIENTED_EDGE('',*,*,#1309,.T.);
#1309 = EDGE_CURVE('',#796,#406,#1310,.T.);
#1310 = LINE('',#1311,#1312);
#1311 = CARTESIAN_POINT('',(-13.4400887338,-2.079426562178,13.));
#1312 = VECTOR('',#1313,1.);
#1313 = DIRECTION('',(0.,-4.4E-16,-1.));
#1314 = ORIENTED_EDGE('',*,*,#413,.T.);
#1315 = ORIENTED_EDGE('',*,*,#1294,.F.);
#1316 = CYLINDRICAL_SURFACE('',#1317,13.25);
#1317 = AXIS2_PLACEMENT_3D('',#1318,#1319,#1320);
#1318 = CARTESIAN_POINT('',(-0.342596763094,-7.488070907183E-02,13.));
#1319 = DIRECTION('',(0.,4.4E-16,1.));
#1320 = DIRECTION('',(1.,0.,0.));
#1321 = ADVANCED_FACE('',(#1322),#1333,.T.);
#1322 = FACE_BOUND('',#1323,.T.);
#1323 = EDGE_LOOP('',(#1324,#1325,#1331,#1332));
#1324 = ORIENTED_EDGE('',*,*,#804,.F.);
#1325 = ORIENTED_EDGE('',*,*,#1326,.T.);
#1326 = EDGE_CURVE('',#805,#397,#1327,.T.);
#1327 = LINE('',#1328,#1329);
#1328 = CARTESIAN_POINT('',(-14.42833055246,-2.232325574102,13.));
#1329 = VECTOR('',#1330,1.);
#1330 = DIRECTION('',(0.,-4.4E-16,-1.));
#1331 = ORIENTED_EDGE('',*,*,#405,.F.);
#1332 = ORIENTED_EDGE('',*,*,#1309,.F.);
#1333 = PLANE('',#1334);
#1334 = AXIS2_PLACEMENT_3D('',#1335,#1336,#1337);
#1335 = CARTESIAN_POINT('',(-14.42833055246,-2.232325574102,13.));
#1336 = DIRECTION('',(0.152899011925,-0.988241818662,4.4E-16));
#1337 = DIRECTION('',(0.988241818662,0.152899011925,-7.E-17));
#1338 = ADVANCED_FACE('',(#1339),#1350,.T.);
#1339 = FACE_BOUND('',#1340,.F.);
#1340 = EDGE_LOOP('',(#1341,#1342,#1348,#1349));
#1341 = ORIENTED_EDGE('',*,*,#396,.F.);
#1342 = ORIENTED_EDGE('',*,*,#1343,.F.);
#1343 = EDGE_CURVE('',#813,#389,#1344,.T.);
#1344 = LINE('',#1345,#1346);
#1345 = CARTESIAN_POINT('',(-12.64397089525,7.3,13.));
#1346 = VECTOR('',#1347,1.);
#1347 = DIRECTION('',(0.,-4.4E-16,-1.));
#1348 = ORIENTED_EDGE('',*,*,#812,.T.);
#1349 = ORIENTED_EDGE('',*,*,#1326,.T.);
#1350 = CYLINDRICAL_SURFACE('',#1351,14.6);
#1351 = AXIS2_PLACEMENT_3D('',#1352,#1353,#1354);
#1352 = CARTESIAN_POINT('',(0.,0.,0.));
#1353 = DIRECTION('',(0.,-4.4E-16,-1.));
#1354 = DIRECTION('',(1.,0.,0.));
#1355 = ADVANCED_FACE('',(#1356),#1367,.F.);
#1356 = FACE_BOUND('',#1357,.F.);
#1357 = EDGE_LOOP('',(#1358,#1359,#1360,#1361));
#1358 = ORIENTED_EDGE('',*,*,#821,.F.);
#1359 = ORIENTED_EDGE('',*,*,#1343,.T.);
#1360 = ORIENTED_EDGE('',*,*,#388,.F.);
#1361 = ORIENTED_EDGE('',*,*,#1362,.F.);
#1362 = EDGE_CURVE('',#822,#380,#1363,.T.);
#1363 = LINE('',#1364,#1365);
#1364 = CARTESIAN_POINT('',(-11.77794549146,6.8,13.));
#1365 = VECTOR('',#1366,1.);
#1366 = DIRECTION('',(0.,-4.4E-16,-1.));
#1367 = PLANE('',#1368);
#1368 = AXIS2_PLACEMENT_3D('',#1369,#1370,#1371);
#1369 = CARTESIAN_POINT('',(-12.64397089525,7.3,13.));
#1370 = DIRECTION('',(-0.5,-0.866025403784,3.8E-16));
#1371 = DIRECTION('',(0.866025403784,-0.5,2.2E-16));
#1372 = ADVANCED_FACE('',(#1373),#1384,.T.);
#1373 = FACE_BOUND('',#1374,.T.);
#1374 = EDGE_LOOP('',(#1375,#1376,#1382,#1383));
#1375 = ORIENTED_EDGE('',*,*,#829,.F.);
#1376 = ORIENTED_EDGE('',*,*,#1377,.T.);
#1377 = EDGE_CURVE('',#830,#372,#1378,.T.);
#1378 = LINE('',#1379,#1380);
#1379 = CARTESIAN_POINT('',(-10.85167220247,8.197634439882,13.));
#1380 = VECTOR('',#1381,1.);
#1381 = DIRECTION('',(0.,-4.4E-16,-1.));
#1382 = ORIENTED_EDGE('',*,*,#379,.T.);
#1383 = ORIENTED_EDGE('',*,*,#1362,.F.);
#1384 = CYLINDRICAL_SURFACE('',#1385,13.25);
#1385 = AXIS2_PLACEMENT_3D('',#1386,#1387,#1388);
#1386 = CARTESIAN_POINT('',(-0.292315392611,0.193730157478,13.));
#1387 = DIRECTION('',(0.,4.4E-16,1.));
#1388 = DIRECTION('',(1.,0.,0.));
#1389 = ADVANCED_FACE('',(#1390),#1401,.T.);
#1390 = FACE_BOUND('',#1391,.T.);
#1391 = EDGE_LOOP('',(#1392,#1393,#1399,#1400));
#1392 = ORIENTED_EDGE('',*,*,#838,.F.);
#1393 = ORIENTED_EDGE('',*,*,#1394,.T.);
#1394 = EDGE_CURVE('',#839,#363,#1395,.T.);
#1395 = LINE('',#1396,#1397);
#1396 = CARTESIAN_POINT('',(-11.64958927619,8.800401678109,13.));
#1397 = VECTOR('',#1398,1.);
#1398 = DIRECTION('',(0.,-4.4E-16,-1.));
#1399 = ORIENTED_EDGE('',*,*,#371,.F.);
#1400 = ORIENTED_EDGE('',*,*,#1377,.F.);
#1401 = PLANE('',#1402);
#1402 = AXIS2_PLACEMENT_3D('',#1403,#1404,#1405);
#1403 = CARTESIAN_POINT('',(-11.64958927619,8.800401678109,13.));
#1404 = DIRECTION('',(-0.602767238227,-0.797917073712,3.5E-16));
#1405 = DIRECTION('',(0.797917073712,-0.602767238227,2.7E-16));
#1406 = ADVANCED_FACE('',(#1407),#1418,.T.);
#1407 = FACE_BOUND('',#1408,.F.);
#1408 = EDGE_LOOP('',(#1409,#1410,#1416,#1417));
#1409 = ORIENTED_EDGE('',*,*,#362,.F.);
#1410 = ORIENTED_EDGE('',*,*,#1411,.F.);
#1411 = EDGE_CURVE('',#847,#355,#1412,.T.);
#1412 = LINE('',#1413,#1414);
#1413 = CARTESIAN_POINT('',(-10.47813564899,10.167038571844,13.));
#1414 = VECTOR('',#1415,1.);
#1415 = DIRECTION('',(0.,-4.4E-16,-1.));
#1416 = ORIENTED_EDGE('',*,*,#846,.T.);
#1417 = ORIENTED_EDGE('',*,*,#1394,.T.);
#1418 = CYLINDRICAL_SURFACE('',#1419,14.6);
#1419 = AXIS2_PLACEMENT_3D('',#1420,#1421,#1422);
#1420 = CARTESIAN_POINT('',(0.,0.,0.));
#1421 = DIRECTION('',(0.,-4.4E-16,-1.));
#1422 = DIRECTION('',(1.,0.,0.));
#1423 = ADVANCED_FACE('',(#1424),#1435,.F.);
#1424 = FACE_BOUND('',#1425,.F.);
#1425 = EDGE_LOOP('',(#1426,#1427,#1428,#1429));
#1426 = ORIENTED_EDGE('',*,*,#855,.F.);
#1427 = ORIENTED_EDGE('',*,*,#1411,.T.);
#1428 = ORIENTED_EDGE('',*,*,#354,.F.);
#1429 = ORIENTED_EDGE('',*,*,#1430,.F.);
#1430 = EDGE_CURVE('',#856,#346,#1431,.T.);
#1431 = LINE('',#1432,#1433);
#1432 = CARTESIAN_POINT('',(-9.760455125087,9.470666066923,13.));
#1433 = VECTOR('',#1434,1.);
#1434 = DIRECTION('',(0.,-4.4E-16,-1.));
#1435 = PLANE('',#1436);
#1436 = AXIS2_PLACEMENT_3D('',#1437,#1438,#1439);
#1437 = CARTESIAN_POINT('',(-10.47813564899,10.167038571844,13.));
#1438 = DIRECTION('',(-0.696372504921,-0.717680523903,3.2E-16));
#1439 = DIRECTION('',(0.717680523903,-0.696372504921,3.1E-16));
#1440 = ADVANCED_FACE('',(#1441),#1452,.T.);
#1441 = FACE_BOUND('',#1442,.T.);
#1442 = EDGE_LOOP('',(#1443,#1444,#1450,#1451));
#1443 = ORIENTED_EDGE('',*,*,#863,.F.);
#1444 = ORIENTED_EDGE('',*,*,#1445,.T.);
#1445 = EDGE_CURVE('',#864,#338,#1446,.T.);
#1446 = LINE('',#1447,#1448);
#1447 = CARTESIAN_POINT('',(-8.520880595052,10.599744991502,13.));
#1448 = VECTOR('',#1449,1.);
#1449 = DIRECTION('',(0.,-4.4E-16,-1.));
#1450 = ORIENTED_EDGE('',*,*,#345,.T.);
#1451 = ORIENTED_EDGE('',*,*,#1430,.F.);
#1452 = CYLINDRICAL_SURFACE('',#1453,13.25);
#1453 = AXIS2_PLACEMENT_3D('',#1454,#1455,#1456);
#1454 = CARTESIAN_POINT('',(-0.236146977857,0.259257145558,13.));
#1455 = DIRECTION('',(0.,4.4E-16,1.));
#1456 = DIRECTION('',(1.,0.,0.));
#1457 = ADVANCED_FACE('',(#1458),#1469,.T.);
#1458 = FACE_BOUND('',#1459,.T.);
#1459 = EDGE_LOOP('',(#1460,#1461,#1467,#1468));
#1460 = ORIENTED_EDGE('',*,*,#872,.F.);
#1461 = ORIENTED_EDGE('',*,*,#1462,.T.);
#1462 = EDGE_CURVE('',#873,#329,#1463,.T.);
#1463 = LINE('',#1464,#1465);
#1464 = CARTESIAN_POINT('',(-9.147415932923,11.379138005583,13.));
#1465 = VECTOR('',#1466,1.);
#1466 = DIRECTION('',(0.,-4.4E-16,-1.));
#1467 = ORIENTED_EDGE('',*,*,#337,.F.);
#1468 = ORIENTED_EDGE('',*,*,#1445,.F.);
#1469 = PLANE('',#1470);
#1470 = AXIS2_PLACEMENT_3D('',#1471,#1472,#1473);
#1471 = CARTESIAN_POINT('',(-9.147415932923,11.379138005583,13.));
#1472 = DIRECTION('',(-0.779393014081,-0.626535337871,2.8E-16));
#1473 = DIRECTION('',(0.626535337871,-0.779393014081,3.5E-16));
#1474 = ADVANCED_FACE('',(#1475),#1486,.T.);
#1475 = FACE_BOUND('',#1476,.F.);
#1476 = EDGE_LOOP('',(#1477,#1478,#1484,#1485));
#1477 = ORIENTED_EDGE('',*,*,#328,.F.);
#1478 = ORIENTED_EDGE('',*,*,#1479,.F.);
#1479 = EDGE_CURVE('',#881,#321,#1480,.T.);
#1480 = LINE('',#1481,#1482);
#1481 = CARTESIAN_POINT('',(-1.12E-15,14.6,13.));
#1482 = VECTOR('',#1483,1.);
#1483 = DIRECTION('',(0.,-4.4E-16,-1.));
#1484 = ORIENTED_EDGE('',*,*,#880,.T.);
#1485 = ORIENTED_EDGE('',*,*,#1462,.T.);
#1486 = CYLINDRICAL_SURFACE('',#1487,14.6);
#1487 = AXIS2_PLACEMENT_3D('',#1488,#1489,#1490);
#1488 = CARTESIAN_POINT('',(0.,0.,0.));
#1489 = DIRECTION('',(0.,-4.4E-16,-1.));
#1490 = DIRECTION('',(1.,0.,0.));
#1491 = ADVANCED_FACE('',(#1492),#1503,.F.);
#1492 = FACE_BOUND('',#1493,.F.);
#1493 = EDGE_LOOP('',(#1494,#1495,#1496,#1497));
#1494 = ORIENTED_EDGE('',*,*,#889,.F.);
#1495 = ORIENTED_EDGE('',*,*,#1479,.T.);
#1496 = ORIENTED_EDGE('',*,*,#320,.F.);
#1497 = ORIENTED_EDGE('',*,*,#1498,.F.);
#1498 = EDGE_CURVE('',#890,#312,#1499,.T.);
#1499 = LINE('',#1500,#1501);
#1500 = CARTESIAN_POINT('',(-6.9E-16,13.6,13.));
#1501 = VECTOR('',#1502,1.);
#1502 = DIRECTION('',(0.,-4.4E-16,-1.));
#1503 = PLANE('',#1504);
#1504 = AXIS2_PLACEMENT_3D('',#1505,#1506,#1507);
#1505 = CARTESIAN_POINT('',(-7.E-16,14.6,13.));
#1506 = DIRECTION('',(-1.,0.,0.));
#1507 = DIRECTION('',(0.,-1.,4.4E-16));
#1508 = ADVANCED_FACE('',(#1509),#1520,.T.);
#1509 = FACE_BOUND('',#1510,.T.);
#1510 = EDGE_LOOP('',(#1511,#1512,#1518,#1519));
#1511 = ORIENTED_EDGE('',*,*,#897,.F.);
#1512 = ORIENTED_EDGE('',*,*,#1513,.T.);
#1513 = EDGE_CURVE('',#898,#304,#1514,.T.);
#1514 = LINE('',#1515,#1516);
#1515 = CARTESIAN_POINT('',(1.673523574637,13.496641020829,13.));
#1516 = VECTOR('',#1517,1.);
#1517 = DIRECTION('',(0.,-4.4E-16,-1.));
#1518 = ORIENTED_EDGE('',*,*,#311,.T.);
#1519 = ORIENTED_EDGE('',*,*,#1498,.F.);
#1520 = CYLINDRICAL_SURFACE('',#1521,13.6);
#1521 = AXIS2_PLACEMENT_3D('',#1522,#1523,#1524);
#1522 = CARTESIAN_POINT('',(1.5E-15,5.17E-15,13.));
#1523 = DIRECTION('',(0.,4.4E-16,1.));
#1524 = DIRECTION('',(1.,0.,0.));
#1525 = ADVANCED_FACE('',(#1526),#1537,.T.);
#1526 = FACE_BOUND('',#1527,.T.);
#1527 = EDGE_LOOP('',(#1528,#1529,#1535,#1536));
#1528 = ORIENTED_EDGE('',*,*,#906,.F.);
#1529 = ORIENTED_EDGE('',*,*,#1530,.T.);
#1530 = EDGE_CURVE('',#907,#295,#1531,.T.);
#1531 = LINE('',#1532,#1533);
#1532 = CARTESIAN_POINT('',(1.796576778654,14.48904109589,13.));
#1533 = VECTOR('',#1534,1.);
#1534 = DIRECTION('',(0.,-4.4E-16,-1.));
#1535 = ORIENTED_EDGE('',*,*,#303,.F.);
#1536 = ORIENTED_EDGE('',*,*,#1513,.F.);
#1537 = PLANE('',#1538);
#1538 = AXIS2_PLACEMENT_3D('',#1539,#1540,#1541);
#1539 = CARTESIAN_POINT('',(1.796576778654,14.48904109589,13.));
#1540 = DIRECTION('',(-0.992400075061,0.123053204017,-5.E-17));
#1541 = DIRECTION('',(-0.123053204017,-0.992400075061,4.4E-16));
#1542 = ADVANCED_FACE('',(#1543),#1554,.T.);
#1543 = FACE_BOUND('',#1544,.F.);
#1544 = EDGE_LOOP('',(#1545,#1546,#1552,#1553));
#1545 = ORIENTED_EDGE('',*,*,#294,.F.);
#1546 = ORIENTED_EDGE('',*,*,#1547,.F.);
#1547 = EDGE_CURVE('',#915,#287,#1548,.T.);
#1548 = LINE('',#1549,#1550);
#1549 = CARTESIAN_POINT('',(3.565845859978,14.157850942247,13.));
#1550 = VECTOR('',#1551,1.);
#1551 = DIRECTION('',(0.,-4.4E-16,-1.));
#1552 = ORIENTED_EDGE('',*,*,#914,.T.);
#1553 = ORIENTED_EDGE('',*,*,#1530,.T.);
#1554 = CYLINDRICAL_SURFACE('',#1555,14.6);
#1555 = AXIS2_PLACEMENT_3D('',#1556,#1557,#1558);
#1556 = CARTESIAN_POINT('',(0.,0.,0.));
#1557 = DIRECTION('',(0.,-4.4E-16,-1.));
#1558 = DIRECTION('',(1.,0.,0.));
#1559 = ADVANCED_FACE('',(#1560),#1571,.F.);
#1560 = FACE_BOUND('',#1561,.F.);
#1561 = EDGE_LOOP('',(#1562,#1563,#1564,#1565));
#1562 = ORIENTED_EDGE('',*,*,#923,.F.);
#1563 = ORIENTED_EDGE('',*,*,#1547,.T.);
#1564 = ORIENTED_EDGE('',*,*,#286,.F.);
#1565 = ORIENTED_EDGE('',*,*,#1566,.F.);
#1566 = EDGE_CURVE('',#924,#278,#1567,.T.);
#1567 = LINE('',#1568,#1569);
#1568 = CARTESIAN_POINT('',(3.321609842171,13.188135124285,13.));
#1569 = VECTOR('',#1570,1.);
#1570 = DIRECTION('',(0.,-4.4E-16,-1.));
#1571 = PLANE('',#1572);
#1572 = AXIS2_PLACEMENT_3D('',#1573,#1574,#1575);
#1573 = CARTESIAN_POINT('',(3.565845859978,14.157850942247,13.));
#1574 = DIRECTION('',(-0.969715817962,0.244236017807,-1.1E-16));
#1575 = DIRECTION('',(-0.244236017807,-0.969715817962,4.3E-16));
#1576 = ADVANCED_FACE('',(#1577),#1588,.T.);
#1577 = FACE_BOUND('',#1578,.T.);
#1578 = EDGE_LOOP('',(#1579,#1580,#1586,#1587));
#1579 = ORIENTED_EDGE('',*,*,#931,.F.);
#1580 = ORIENTED_EDGE('',*,*,#1581,.T.);
#1581 = EDGE_CURVE('',#932,#270,#1582,.T.);
#1582 = LINE('',#1583,#1584);
#1583 = CARTESIAN_POINT('',(4.919208138752,12.67917155368,13.));
#1584 = VECTOR('',#1585,1.);
#1585 = DIRECTION('',(0.,-4.4E-16,-1.));
#1586 = ORIENTED_EDGE('',*,*,#277,.T.);
#1587 = ORIENTED_EDGE('',*,*,#1566,.F.);
#1588 = CYLINDRICAL_SURFACE('',#1589,13.6);
#1589 = AXIS2_PLACEMENT_3D('',#1590,#1591,#1592);
#1590 = CARTESIAN_POINT('',(1.11E-14,-4.403E-14,13.));
#1591 = DIRECTION('',(0.,4.4E-16,1.));
#1592 = DIRECTION('',(1.,0.,0.));
#1593 = ADVANCED_FACE('',(#1594),#1605,.T.);
#1594 = FACE_BOUND('',#1595,.T.);
#1595 = EDGE_LOOP('',(#1596,#1597,#1603,#1604));
#1596 = ORIENTED_EDGE('',*,*,#940,.F.);
#1597 = ORIENTED_EDGE('',*,*,#1598,.T.);
#1598 = EDGE_CURVE('',#941,#261,#1599,.T.);
#1599 = LINE('',#1600,#1601);
#1600 = CARTESIAN_POINT('',(5.280914619542,13.611463579685,13.));
#1601 = VECTOR('',#1602,1.);
#1602 = DIRECTION('',(0.,-4.4E-16,-1.));
#1603 = ORIENTED_EDGE('',*,*,#269,.F.);
#1604 = ORIENTED_EDGE('',*,*,#1581,.F.);
#1605 = PLANE('',#1606);
#1606 = AXIS2_PLACEMENT_3D('',#1607,#1608,#1609);
#1607 = CARTESIAN_POINT('',(5.280914619542,13.611463579685,13.));
#1608 = DIRECTION('',(-0.932292026006,0.361706480791,-1.6E-16));
#1609 = DIRECTION('',(-0.361706480791,-0.932292026006,4.1E-16));
#1610 = ADVANCED_FACE('',(#1611),#1622,.T.);
#1611 = FACE_BOUND('',#1612,.F.);
#1612 = EDGE_LOOP('',(#1613,#1614,#1620,#1621));
#1613 = ORIENTED_EDGE('',*,*,#260,.F.);
#1614 = ORIENTED_EDGE('',*,*,#1615,.F.);
#1615 = EDGE_CURVE('',#949,#253,#1616,.T.);
#1616 = LINE('',#1617,#1618);
#1617 = CARTESIAN_POINT('',(12.643970895253,7.3,13.));
#1618 = VECTOR('',#1619,1.);
#1619 = DIRECTION('',(0.,-4.4E-16,-1.));
#1620 = ORIENTED_EDGE('',*,*,#948,.T.);
#1621 = ORIENTED_EDGE('',*,*,#1598,.T.);
#1622 = CYLINDRICAL_SURFACE('',#1623,14.6);
#1623 = AXIS2_PLACEMENT_3D('',#1624,#1625,#1626);
#1624 = CARTESIAN_POINT('',(0.,0.,0.));
#1625 = DIRECTION('',(0.,-4.4E-16,-1.));
#1626 = DIRECTION('',(1.,0.,0.));
#1627 = ADVANCED_FACE('',(#1628),#1639,.F.);
#1628 = FACE_BOUND('',#1629,.F.);
#1629 = EDGE_LOOP('',(#1630,#1631,#1632,#1633));
#1630 = ORIENTED_EDGE('',*,*,#957,.F.);
#1631 = ORIENTED_EDGE('',*,*,#1615,.T.);
#1632 = ORIENTED_EDGE('',*,*,#252,.F.);
#1633 = ORIENTED_EDGE('',*,*,#1634,.F.);
#1634 = EDGE_CURVE('',#958,#244,#1635,.T.);
#1635 = LINE('',#1636,#1637);
#1636 = CARTESIAN_POINT('',(11.777945491468,6.8,13.));
#1637 = VECTOR('',#1638,1.);
#1638 = DIRECTION('',(0.,-4.4E-16,-1.));
#1639 = PLANE('',#1640);
#1640 = AXIS2_PLACEMENT_3D('',#1641,#1642,#1643);
#1641 = CARTESIAN_POINT('',(12.643970895253,7.3,13.));
#1642 = DIRECTION('',(-0.5,0.866025403784,-3.8E-16));
#1643 = DIRECTION('',(-0.866025403784,-0.5,2.2E-16));
#1644 = ADVANCED_FACE('',(#1645),#1656,.T.);
#1645 = FACE_BOUND('',#1646,.T.);
#1646 = EDGE_LOOP('',(#1647,#1648,#1654,#1655));
#1647 = ORIENTED_EDGE('',*,*,#965,.F.);
#1648 = ORIENTED_EDGE('',*,*,#1649,.T.);
#1649 = EDGE_CURVE('',#966,#236,#1650,.T.);
#1650 = LINE('',#1651,#1652);
#1651 = CARTESIAN_POINT('',(12.525195777116,5.299006580947,13.));
#1652 = VECTOR('',#1653,1.);
#1653 = DIRECTION('',(0.,-4.4E-16,-1.));
#1654 = ORIENTED_EDGE('',*,*,#243,.T.);
#1655 = ORIENTED_EDGE('',*,*,#1634,.F.);
#1656 = CYLINDRICAL_SURFACE('',#1657,13.25);
#1657 = AXIS2_PLACEMENT_3D('',#1658,#1659,#1660);
#1658 = CARTESIAN_POINT('',(0.313932934161,0.156287477179,13.));
#1659 = DIRECTION('',(0.,4.4E-16,1.));
#1660 = DIRECTION('',(1.,0.,0.));
#1661 = ADVANCED_FACE('',(#1662),#1673,.T.);
#1662 = FACE_BOUND('',#1663,.T.);
#1663 = EDGE_LOOP('',(#1664,#1665,#1671,#1672));
#1664 = ORIENTED_EDGE('',*,*,#974,.F.);
#1665 = ORIENTED_EDGE('',*,*,#1666,.T.);
#1666 = EDGE_CURVE('',#975,#227,#1667,.T.);
#1667 = LINE('',#1668,#1669);
#1668 = CARTESIAN_POINT('',(13.446166054845,5.688639417782,13.));
#1669 = VECTOR('',#1670,1.);
#1670 = DIRECTION('',(0.,-4.4E-16,-1.));
#1671 = ORIENTED_EDGE('',*,*,#235,.F.);
#1672 = ORIENTED_EDGE('',*,*,#1649,.F.);
#1673 = PLANE('',#1674);
#1674 = AXIS2_PLACEMENT_3D('',#1675,#1676,#1677);
#1675 = CARTESIAN_POINT('',(13.446166054845,5.688639417782,13.));
#1676 = DIRECTION('',(-0.389632836834,0.920970277729,-4.1E-16));
#1677 = DIRECTION('',(-0.920970277729,-0.389632836834,1.7E-16));
#1678 = ADVANCED_FACE('',(#1679),#1690,.T.);
#1679 = FACE_BOUND('',#1680,.F.);
#1680 = EDGE_LOOP('',(#1681,#1682,#1688,#1689));
#1681 = ORIENTED_EDGE('',*,*,#226,.F.);
#1682 = ORIENTED_EDGE('',*,*,#1683,.F.);
#1683 = EDGE_CURVE('',#983,#219,#1684,.T.);
#1684 = LINE('',#1685,#1686);
#1685 = CARTESIAN_POINT('',(14.043981508968,3.990812370403,13.));
#1686 = VECTOR('',#1687,1.);
#1687 = DIRECTION('',(0.,-4.4E-16,-1.));
#1688 = ORIENTED_EDGE('',*,*,#982,.T.);
#1689 = ORIENTED_EDGE('',*,*,#1666,.T.);
#1690 = CYLINDRICAL_SURFACE('',#1691,14.6);
#1691 = AXIS2_PLACEMENT_3D('',#1692,#1693,#1694);
#1692 = CARTESIAN_POINT('',(0.,0.,0.));
#1693 = DIRECTION('',(0.,-4.4E-16,-1.));
#1694 = DIRECTION('',(1.,0.,0.));
#1695 = ADVANCED_FACE('',(#1696),#1707,.F.);
#1696 = FACE_BOUND('',#1697,.F.);
#1697 = EDGE_LOOP('',(#1698,#1699,#1700,#1701));
#1698 = ORIENTED_EDGE('',*,*,#991,.F.);
#1699 = ORIENTED_EDGE('',*,*,#1683,.T.);
#1700 = ORIENTED_EDGE('',*,*,#218,.F.);
#1701 = ORIENTED_EDGE('',*,*,#1702,.F.);
#1702 = EDGE_CURVE('',#992,#210,#1703,.T.);
#1703 = LINE('',#1704,#1705);
#1704 = CARTESIAN_POINT('',(13.082064967258,3.717469057361,13.));
#1705 = VECTOR('',#1706,1.);
#1706 = DIRECTION('',(0.,-4.4E-16,-1.));
#1707 = PLANE('',#1708);
#1708 = AXIS2_PLACEMENT_3D('',#1709,#1710,#1711);
#1709 = CARTESIAN_POINT('',(14.043981508968,3.990812370403,13.));
#1710 = DIRECTION('',(-0.273343313041,0.96191654171,-4.3E-16));
#1711 = DIRECTION('',(-0.96191654171,-0.273343313041,1.2E-16));
#1712 = ADVANCED_FACE('',(#1713),#1719,.T.);
#1713 = FACE_BOUND('',#1714,.T.);
#1714 = EDGE_LOOP('',(#1715,#1716,#1717,#1718));
#1715 = ORIENTED_EDGE('',*,*,#999,.F.);
#1716 = ORIENTED_EDGE('',*,*,#565,.T.);
#1717 = ORIENTED_EDGE('',*,*,#209,.T.);
#1718 = ORIENTED_EDGE('',*,*,#1702,.F.);
#1719 = CYLINDRICAL_SURFACE('',#1720,13.25);
#1720 = AXIS2_PLACEMENT_3D('',#1721,#1722,#1723);
#1721 = CARTESIAN_POINT('',(0.342596763094,7.488070907183E-02,13.));
#1722 = DIRECTION('',(0.,4.4E-16,1.));
#1723 = DIRECTION('',(1.,0.,0.));
#1724 = ADVANCED_FACE('',(#1725),#1736,.T.);
#1725 = FACE_BOUND('',#1726,.T.);
#1726 = EDGE_LOOP('',(#1727,#1728,#1734,#1735));
#1727 = ORIENTED_EDGE('',*,*,#591,.F.);
#1728 = ORIENTED_EDGE('',*,*,#1729,.T.);
#1729 = EDGE_CURVE('',#592,#175,#1730,.T.);
#1730 = LINE('',#1731,#1732);
#1731 = CARTESIAN_POINT('',(11.649589276191,-8.800401678109,13.));
#1732 = VECTOR('',#1733,1.);
#1733 = DIRECTION('',(0.,-4.4E-16,-1.));
#1734 = ORIENTED_EDGE('',*,*,#183,.F.);
#1735 = ORIENTED_EDGE('',*,*,#1016,.F.);
#1736 = PLANE('',#1737);
#1737 = AXIS2_PLACEMENT_3D('',#1738,#1739,#1740);
#1738 = CARTESIAN_POINT('',(11.649589276191,-8.800401678109,13.));
#1739 = DIRECTION('',(0.602767238227,0.797917073712,-3.5E-16));
#1740 = DIRECTION('',(-0.797917073712,0.602767238227,-2.7E-16));
#1741 = ADVANCED_FACE('',(#1742),#1753,.T.);
#1742 = FACE_BOUND('',#1743,.F.);
#1743 = EDGE_LOOP('',(#1744,#1745,#1746,#1747));
#1744 = ORIENTED_EDGE('',*,*,#599,.T.);
#1745 = ORIENTED_EDGE('',*,*,#1729,.T.);
#1746 = ORIENTED_EDGE('',*,*,#174,.F.);
#1747 = ORIENTED_EDGE('',*,*,#1748,.F.);
#1748 = EDGE_CURVE('',#600,#167,#1749,.T.);
#1749 = LINE('',#1750,#1751);
#1750 = CARTESIAN_POINT('',(10.47813564899,-10.16703857184,13.));
#1751 = VECTOR('',#1752,1.);
#1752 = DIRECTION('',(0.,-4.4E-16,-1.));
#1753 = CYLINDRICAL_SURFACE('',#1754,14.6);
#1754 = AXIS2_PLACEMENT_3D('',#1755,#1756,#1757);
#1755 = CARTESIAN_POINT('',(0.,0.,0.));
#1756 = DIRECTION('',(0.,-4.4E-16,-1.));
#1757 = DIRECTION('',(1.,0.,0.));
#1758 = ADVANCED_FACE('',(#1759),#1770,.F.);
#1759 = FACE_BOUND('',#1760,.F.);
#1760 = EDGE_LOOP('',(#1761,#1762,#1763,#1764));
#1761 = ORIENTED_EDGE('',*,*,#608,.F.);
#1762 = ORIENTED_EDGE('',*,*,#1748,.T.);
#1763 = ORIENTED_EDGE('',*,*,#166,.F.);
#1764 = ORIENTED_EDGE('',*,*,#1765,.F.);
#1765 = EDGE_CURVE('',#609,#158,#1766,.T.);
#1766 = LINE('',#1767,#1768);
#1767 = CARTESIAN_POINT('',(9.760455125087,-9.470666066923,13.));
#1768 = VECTOR('',#1769,1.);
#1769 = DIRECTION('',(0.,-4.4E-16,-1.));
#1770 = PLANE('',#1771);
#1771 = AXIS2_PLACEMENT_3D('',#1772,#1773,#1774);
#1772 = CARTESIAN_POINT('',(10.47813564899,-10.16703857184,13.));
#1773 = DIRECTION('',(0.696372504921,0.717680523903,-3.2E-16));
#1774 = DIRECTION('',(-0.717680523903,0.696372504921,-3.1E-16));
#1775 = ADVANCED_FACE('',(#1776),#1787,.T.);
#1776 = FACE_BOUND('',#1777,.T.);
#1777 = EDGE_LOOP('',(#1778,#1779,#1785,#1786));
#1778 = ORIENTED_EDGE('',*,*,#616,.F.);
#1779 = ORIENTED_EDGE('',*,*,#1780,.T.);
#1780 = EDGE_CURVE('',#617,#150,#1781,.T.);
#1781 = LINE('',#1782,#1783);
#1782 = CARTESIAN_POINT('',(8.520880595052,-10.5997449915,13.));
#1783 = VECTOR('',#1784,1.);
#1784 = DIRECTION('',(0.,-4.4E-16,-1.));
#1785 = ORIENTED_EDGE('',*,*,#157,.T.);
#1786 = ORIENTED_EDGE('',*,*,#1765,.F.);
#1787 = CYLINDRICAL_SURFACE('',#1788,13.25);
#1788 = AXIS2_PLACEMENT_3D('',#1789,#1790,#1791);
#1789 = CARTESIAN_POINT('',(0.236146977857,-0.259257145558,13.));
#1790 = DIRECTION('',(0.,4.4E-16,1.));
#1791 = DIRECTION('',(1.,0.,0.));
#1792 = ADVANCED_FACE('',(#1793),#1804,.T.);
#1793 = FACE_BOUND('',#1794,.T.);
#1794 = EDGE_LOOP('',(#1795,#1796,#1802,#1803));
#1795 = ORIENTED_EDGE('',*,*,#625,.F.);
#1796 = ORIENTED_EDGE('',*,*,#1797,.T.);
#1797 = EDGE_CURVE('',#626,#141,#1798,.T.);
#1798 = LINE('',#1799,#1800);
#1799 = CARTESIAN_POINT('',(9.147415932923,-11.37913800558,13.));
#1800 = VECTOR('',#1801,1.);
#1801 = DIRECTION('',(0.,-4.4E-16,-1.));
#1802 = ORIENTED_EDGE('',*,*,#149,.F.);
#1803 = ORIENTED_EDGE('',*,*,#1780,.F.);
#1804 = PLANE('',#1805);
#1805 = AXIS2_PLACEMENT_3D('',#1806,#1807,#1808);
#1806 = CARTESIAN_POINT('',(9.147415932923,-11.37913800558,13.));
#1807 = DIRECTION('',(0.779393014081,0.626535337871,-2.8E-16));
#1808 = DIRECTION('',(-0.626535337871,0.779393014081,-3.5E-16));
#1809 = ADVANCED_FACE('',(#1810),#1821,.T.);
#1810 = FACE_BOUND('',#1811,.F.);
#1811 = EDGE_LOOP('',(#1812,#1818,#1819,#1820));
#1812 = ORIENTED_EDGE('',*,*,#1813,.F.);
#1813 = EDGE_CURVE('',#634,#133,#1814,.T.);
#1814 = LINE('',#1815,#1816);
#1815 = CARTESIAN_POINT('',(7.477674786744,-12.53971210928,5.57E-15));
#1816 = VECTOR('',#1817,1.);
#1817 = DIRECTION('',(0.,-4.4E-16,-1.));
#1818 = ORIENTED_EDGE('',*,*,#633,.T.);
#1819 = ORIENTED_EDGE('',*,*,#1797,.T.);
#1820 = ORIENTED_EDGE('',*,*,#140,.F.);
#1821 = CYLINDRICAL_SURFACE('',#1822,14.6);
#1822 = AXIS2_PLACEMENT_3D('',#1823,#1824,#1825);
#1823 = CARTESIAN_POINT('',(0.,0.,0.));
#1824 = DIRECTION('',(0.,-4.4E-16,-1.));
#1825 = DIRECTION('',(1.,0.,0.));
#1826 = ADVANCED_FACE('',(#1827),#1854,.T.);
#1827 = FACE_BOUND('',#1828,.T.);
#1828 = EDGE_LOOP('',(#1829,#1830,#1838,#1846,#1852,#1853));
#1829 = ORIENTED_EDGE('',*,*,#642,.F.);
#1830 = ORIENTED_EDGE('',*,*,#1831,.T.);
#1831 = EDGE_CURVE('',#643,#1832,#1834,.T.);
#1832 = VERTEX_POINT('',#1833);
#1833 = CARTESIAN_POINT('',(3.918096720452,-6.570465591508,-0.75));
#1834 = LINE('',#1835,#1836);
#1835 = CARTESIAN_POINT('',(3.918096720452,-6.570465591508,6.));
#1836 = VECTOR('',#1837,1.);
#1837 = DIRECTION('',(0.,-4.4E-16,-1.));
#1838 = ORIENTED_EDGE('',*,*,#1839,.F.);
#1839 = EDGE_CURVE('',#1840,#1832,#1842,.T.);
#1840 = VERTEX_POINT('',#1841);
#1841 = CARTESIAN_POINT('',(7.733759539715,-12.9691543048,-0.75));
#1842 = LINE('',#1843,#1844);
#1843 = CARTESIAN_POINT('',(1.959048360226,-3.285232795754,-0.75));
#1844 = VECTOR('',#1845,1.);
#1845 = DIRECTION('',(-0.512169505941,0.858884391047,-1.9E-16));
#1846 = ORIENTED_EDGE('',*,*,#1847,.F.);
#1847 = EDGE_CURVE('',#124,#1840,#1848,.T.);
#1848 = LINE('',#1849,#1850);
#1849 = CARTESIAN_POINT('',(7.733759539715,-12.9691543048,6.));
#1850 = VECTOR('',#1851,1.);
#1851 = DIRECTION('',(0.,-4.4E-16,-1.));
#1852 = ORIENTED_EDGE('',*,*,#132,.T.);
#1853 = ORIENTED_EDGE('',*,*,#1813,.F.);
#1854 = PLANE('',#1855);
#1855 = AXIS2_PLACEMENT_3D('',#1856,#1857,#1858);
#1856 = CARTESIAN_POINT('',(3.918096720452,-6.570465591508,6.));
#1857 = DIRECTION('',(-0.858884391047,-0.512169505941,2.3E-16));
#1858 = DIRECTION('',(0.512169505941,-0.858884391047,3.8E-16));
#1859 = ADVANCED_FACE('',(#1860),#1896,.T.);
#1860 = FACE_BOUND('',#1861,.T.);
#1861 = EDGE_LOOP('',(#1862,#1871,#1878,#1879,#1888,#1895));
#1862 = ORIENTED_EDGE('',*,*,#1863,.T.);
#1863 = EDGE_CURVE('',#1042,#1864,#1866,.T.);
#1864 = VERTEX_POINT('',#1865);
#1865 = CARTESIAN_POINT('',(15.1,0.,-0.75));
#1866 = CIRCLE('',#1867,15.1);
#1867 = AXIS2_PLACEMENT_3D('',#1868,#1869,#1870);
#1868 = CARTESIAN_POINT('',(0.,0.,-0.75));
#1869 = DIRECTION('',(0.,0.,-1.));
#1870 = DIRECTION('',(1.,0.,0.));
#1871 = ORIENTED_EDGE('',*,*,#1872,.T.);
#1872 = EDGE_CURVE('',#1864,#1840,#1873,.T.);
#1873 = CIRCLE('',#1874,15.1);
#1874 = AXIS2_PLACEMENT_3D('',#1875,#1876,#1877);
#1875 = CARTESIAN_POINT('',(0.,0.,-0.75));
#1876 = DIRECTION('',(0.,0.,-1.));
#1877 = DIRECTION('',(1.,0.,0.));
#1878 = ORIENTED_EDGE('',*,*,#1839,.T.);
#1879 = ORIENTED_EDGE('',*,*,#1880,.T.);
#1880 = EDGE_CURVE('',#1832,#1881,#1883,.T.);
#1881 = VERTEX_POINT('',#1882);
#1882 = CARTESIAN_POINT('',(7.65,0.,-0.75));
#1883 = CIRCLE('',#1884,7.65);
#1884 = AXIS2_PLACEMENT_3D('',#1885,#1886,#1887);
#1885 = CARTESIAN_POINT('',(0.,2.E-17,-0.75));
#1886 = DIRECTION('',(-0.,4.4E-16,1.));
#1887 = DIRECTION('',(1.,0.,0.));
#1888 = ORIENTED_EDGE('',*,*,#1889,.T.);
#1889 = EDGE_CURVE('',#1881,#1034,#1890,.T.);
#1890 = CIRCLE('',#1891,7.65);
#1891 = AXIS2_PLACEMENT_3D('',#1892,#1893,#1894);
#1892 = CARTESIAN_POINT('',(0.,2.E-17,-0.75));
#1893 = DIRECTION('',(-0.,4.4E-16,1.));
#1894 = DIRECTION('',(1.,0.,0.));
#1895 = ORIENTED_EDGE('',*,*,#1041,.F.);
#1896 = PLANE('',#1897);
#1897 = AXIS2_PLACEMENT_3D('',#1898,#1899,#1900);
#1898 = CARTESIAN_POINT('',(-7.2E-16,6.2E-16,-0.75));
#1899 = DIRECTION('',(0.,0.,-1.));
#1900 = DIRECTION('',(0.,1.,0.));
#1901 = ADVANCED_FACE('',(#1902),#1910,.T.);
#1902 = FACE_BOUND('',#1903,.F.);
#1903 = EDGE_LOOP('',(#1904,#1905,#1906,#1907,#1908,#1909));
#1904 = ORIENTED_EDGE('',*,*,#1847,.F.);
#1905 = ORIENTED_EDGE('',*,*,#123,.F.);
#1906 = ORIENTED_EDGE('',*,*,#112,.F.);
#1907 = ORIENTED_EDGE('',*,*,#1049,.T.);
#1908 = ORIENTED_EDGE('',*,*,#1863,.T.);
#1909 = ORIENTED_EDGE('',*,*,#1872,.T.);
#1910 = CYLINDRICAL_SURFACE('',#1911,15.1);
#1911 = AXIS2_PLACEMENT_3D('',#1912,#1913,#1914);
#1912 = CARTESIAN_POINT('',(0.,0.,0.));
#1913 = DIRECTION('',(0.,0.,1.));
#1914 = DIRECTION('',(1.,0.,-0.));
#1915 = ADVANCED_FACE('',(#1916),#1924,.F.);
#1916 = FACE_BOUND('',#1917,.F.);
#1917 = EDGE_LOOP('',(#1918,#1919,#1920,#1921,#1922,#1923));
#1918 = ORIENTED_EDGE('',*,*,#1831,.T.);
#1919 = ORIENTED_EDGE('',*,*,#1880,.T.);
#1920 = ORIENTED_EDGE('',*,*,#1889,.T.);
#1921 = ORIENTED_EDGE('',*,*,#1033,.F.);
#1922 = ORIENTED_EDGE('',*,*,#659,.F.);
#1923 = ORIENTED_EDGE('',*,*,#650,.F.);
#1924 = CYLINDRICAL_SURFACE('',#1925,7.65);
#1925 = AXIS2_PLACEMENT_3D('',#1926,#1927,#1928);
#1926 = CARTESIAN_POINT('',(0.,3.02E-15,6.));
#1927 = DIRECTION('',(0.,4.4E-16,1.));
#1928 = DIRECTION('',(1.,0.,-0.));
#1929 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#1933)) 
GLOBAL_UNIT_ASSIGNED_CONTEXT((#1930,#1931,#1932)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#1930 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#1931 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#1932 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#1933 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(2.E-05),#1930,
  'distance_accuracy_value','confusion accuracy');
#1934 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#7));
#1935 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION('',(
    #1936),#1929);
#1936 = STYLED_ITEM('color',(#1937),#15);
#1937 = PRESENTATION_STYLE_ASSIGNMENT((#1938,#1944));
#1938 = SURFACE_STYLE_USAGE(.BOTH.,#1939);
#1939 = SURFACE_SIDE_STYLE('',(#1940));
#1940 = SURFACE_STYLE_FILL_AREA(#1941);
#1941 = FILL_AREA_STYLE('',(#1942));
#1942 = FILL_AREA_STYLE_COLOUR('',#1943);
#1943 = COLOUR_RGB('',0.447058818107,0.474509808674,0.501960817233);
#1944 = CURVE_STYLE('',#1945,POSITIVE_LENGTH_MEASURE(0.1),#1946);
#1945 = DRAUGHTING_PRE_DEFINED_CURVE_FONT('continuous');
#1946 = COLOUR_RGB('',9.803921802644E-02,9.803921802644E-02,
  9.803921802644E-02);
ENDSEC;
END-ISO-10303-21;