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