ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
FILE_NAME('Open CASCADE Shape Model','2026-10-14T21:42:34',('FreeCAD'),(
    'FreeCAD'),'Open CASCADE STEP processor 7.8','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('Open CASCADE STEP translator 7.8 1',
  'Open CASCADE STEP translator 7.8 1','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#15),#4004);
#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,#57,#88,#144,#191,#238,#298,#409,#444,#548,
    #576,#615,#639,#671,#696,#821,#849,#868,#886,#899,#965,#982,#1021,
    #1045,#1077,#1094,#1112,#1152,#1178,#1196,#1302,#1327,#1375,#1407,
    #1431,#1463,#1511,#1545,#1651,#1684,#1761,#1785,#1855,#1872,#1890,
    #1902,#1966,#1996,#2046,#2085,#2126,#2183,#2222,#2263,#2320,#2350,
    #2362,#2379,#2396,#2413,#2447,#2491,#2535,#2555,#2595,#2620,#2654,
    #2685,#2718,#2769,#2800,#2825,#2866,#2899,#2967,#2987,#3075,#3092,
    #3109,#3150,#3168,#3216,#3238,#3285,#3316,#3340,#3378,#3425,#3442,
    #3482,#3494,#3550,#3567,#3594,#3625,#3674,#3691,#3708,#3731,#3754,
    #3771,#3788,#3805,#3839,#3861,#3887,#3902,#3932,#3955,#3978,#3990));
#17 = ADVANCED_FACE('',(#18),#52,.T.);
#18 = FACE_BOUND('',#19,.T.);
#19 = EDGE_LOOP('',(#20,#30,#38,#46));
#20 = ORIENTED_EDGE('',*,*,#21,.F.);
#21 = EDGE_CURVE('',#22,#24,#26,.T.);
#22 = VERTEX_POINT('',#23);
#23 = CARTESIAN_POINT('',(4.,0.9,4.963434567328));
#24 = VERTEX_POINT('',#25);
#25 = CARTESIAN_POINT('',(-4.,0.9,4.963434567328));
#26 = LINE('',#27,#28);
#27 = CARTESIAN_POINT('',(-4.,0.9,4.963434567328));
#28 = VECTOR('',#29,1.);
#29 = DIRECTION('',(-1.,-0.,-0.));
#30 = ORIENTED_EDGE('',*,*,#31,.F.);
#31 = EDGE_CURVE('',#32,#22,#34,.T.);
#32 = VERTEX_POINT('',#33);
#33 = CARTESIAN_POINT('',(4.,8.4,4.963434567328));
#34 = LINE('',#35,#36);
#35 = CARTESIAN_POINT('',(4.,8.4,4.963434567328));
#36 = VECTOR('',#37,1.);
#37 = DIRECTION('',(0.,-1.,0.));
#38 = ORIENTED_EDGE('',*,*,#39,.T.);
#39 = EDGE_CURVE('',#32,#40,#42,.T.);
#40 = VERTEX_POINT('',#41);
#41 = CARTESIAN_POINT('',(-4.,8.4,4.963434567328));
#42 = LINE('',#43,#44);
#43 = CARTESIAN_POINT('',(-4.,8.4,4.963434567328));
#44 = VECTOR('',#45,1.);
#45 = DIRECTION('',(-1.,-0.,-0.));
#46 = ORIENTED_EDGE('',*,*,#47,.T.);
#47 = EDGE_CURVE('',#40,#24,#48,.T.);
#48 = LINE('',#49,#50);
#49 = CARTESIAN_POINT('',(-4.,8.4,4.963434567328));
#50 = VECTOR('',#51,1.);
#51 = DIRECTION('',(0.,-1.,0.));
#52 = PLANE('',#53);
#53 = AXIS2_PLACEMENT_3D('',#54,#55,#56);
#54 = CARTESIAN_POINT('',(-4.,8.4,4.963434567328));
#55 = DIRECTION('',(-0.,0.,1.));
#56 = DIRECTION('',(1.,0.,0.));
#57 = ADVANCED_FACE('',(#58),#83,.T.);
#58 = FACE_BOUND('',#59,.T.);
#59 = EDGE_LOOP('',(#60,#68,#69,#77));
#60 = ORIENTED_EDGE('',*,*,#61,.T.);
#61 = EDGE_CURVE('',#62,#22,#64,.T.);
#62 = VERTEX_POINT('',#63);
#63 = CARTESIAN_POINT('',(4.,0.9,8.413434567328));
#64 = LINE('',#65,#66);
#65 = CARTESIAN_POINT('',(4.,0.9,12.663434567328));
#66 = VECTOR('',#67,1.);
#67 = DIRECTION('',(0.,0.,-1.));
#68 = ORIENTED_EDGE('',*,*,#21,.T.);
#69 = ORIENTED_EDGE('',*,*,#70,.T.);
#70 = EDGE_CURVE('',#24,#71,#73,.T.);
#71 = VERTEX_POINT('',#72);
#72 = CARTESIAN_POINT('',(-4.,0.9,8.413434567328));
#73 = LINE('',#74,#75);
#74 = CARTESIAN_POINT('',(-4.,0.9,12.663434567328));
#75 = VECTOR('',#76,1.);
#76 = DIRECTION('',(-0.,-0.,1.));
#77 = ORIENTED_EDGE('',*,*,#78,.F.);
#78 = EDGE_CURVE('',#62,#71,#79,.T.);
#79 = LINE('',#80,#81);
#80 = CARTESIAN_POINT('',(-17.,0.9,8.413434567328));
#81 = VECTOR('',#82,1.);
#82 = DIRECTION('',(-1.,0.,0.));
#83 = PLANE('',#84);
#84 = AXIS2_PLACEMENT_3D('',#85,#86,#87);
#85 = CARTESIAN_POINT('',(-2.327105029782E-16,0.9,6.688434567328));
#86 = DIRECTION('',(0.,1.,0.));
#87 = DIRECTION('',(0.,-0.,1.));
#88 = ADVANCED_FACE('',(#89),#139,.T.);
#89 = FACE_BOUND('',#90,.T.);
#90 = EDGE_LOOP('',(#91,#101,#109,#117,#125,#133));
#91 = ORIENTED_EDGE('',*,*,#92,.F.);
#92 = EDGE_CURVE('',#93,#95,#97,.T.);
#93 = VERTEX_POINT('',#94);
#94 = CARTESIAN_POINT('',(-12.5,7.042448089135,-17.46173029547));
#95 = VERTEX_POINT('',#96);
#96 = CARTESIAN_POINT('',(-12.5,1.40429236442,-15.40960943551));
#97 = LINE('',#98,#99);
#98 = CARTESIAN_POINT('',(-12.5,32.799422824877,-26.83650242402));
#99 = VECTOR('',#100,1.);
#100 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#101 = ORIENTED_EDGE('',*,*,#102,.F.);
#102 = EDGE_CURVE('',#103,#93,#105,.T.);
#103 = VERTEX_POINT('',#104);
#104 = CARTESIAN_POINT('',(-12.5,7.384468232461,-16.52203767468));
#105 = LINE('',#106,#107);
#106 = CARTESIAN_POINT('',(-12.5,7.040737988419,-17.46642875857));
#107 = VECTOR('',#108,1.);
#108 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#109 = ORIENTED_EDGE('',*,*,#110,.F.);
#110 = EDGE_CURVE('',#111,#103,#113,.T.);
#111 = VERTEX_POINT('',#112);
#112 = CARTESIAN_POINT('',(-12.5,8.989248231916,-15.76769636319));
#113 = LINE('',#114,#115);
#114 = CARTESIAN_POINT('',(-12.5,15.806784908838,-12.56305176408));
#115 = VECTOR('',#116,1.);
#116 = DIRECTION('',(0.,-0.905003139126,-0.425404887339));
#117 = ORIENTED_EDGE('',*,*,#118,.T.);
#118 = EDGE_CURVE('',#111,#119,#121,.T.);
#119 = VERTEX_POINT('',#120);
#120 = CARTESIAN_POINT('',(-12.5,16.767567448259,5.603060045018));
#121 = LINE('',#122,#123);
#122 = CARTESIAN_POINT('',(-12.5,8.9866091876,-15.77494707786));
#123 = VECTOR('',#124,1.);
#124 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#125 = ORIENTED_EDGE('',*,*,#126,.T.);
#126 = EDGE_CURVE('',#119,#127,#129,.T.);
#127 = VERTEX_POINT('',#128);
#128 = CARTESIAN_POINT('',(-12.5,9.954795947561,8.082706084129));
#129 = LINE('',#130,#131);
#130 = CARTESIAN_POINT('',(-12.5,41.349926408019,-3.344186904382));
#131 = VECTOR('',#132,1.);
#132 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#133 = ORIENTED_EDGE('',*,*,#134,.F.);
#134 = EDGE_CURVE('',#95,#127,#135,.T.);
#135 = LINE('',#136,#137);
#136 = CARTESIAN_POINT('',(-12.5,1.40429236442,-15.40960943551));
#137 = VECTOR('',#138,1.);
#138 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#139 = PLANE('',#140);
#140 = AXIS2_PLACEMENT_3D('',#141,#142,#143);
#141 = CARTESIAN_POINT('',(-12.5,32.799422824877,-26.83650242402));
#142 = DIRECTION('',(1.,0.,-0.));
#143 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#144 = ADVANCED_FACE('',(#145),#186,.T.);
#145 = FACE_BOUND('',#146,.T.);
#146 = EDGE_LOOP('',(#147,#148,#156,#164,#172,#180));
#147 = ORIENTED_EDGE('',*,*,#134,.T.);
#148 = ORIENTED_EDGE('',*,*,#149,.T.);
#149 = EDGE_CURVE('',#127,#150,#152,.T.);
#150 = VERTEX_POINT('',#151);
#151 = CARTESIAN_POINT('',(-7.25,9.954795947562,8.082706084129));
#152 = LINE('',#153,#154);
#153 = CARTESIAN_POINT('',(-12.5,9.954795947561,8.082706084129));
#154 = VECTOR('',#155,1.);
#155 = DIRECTION('',(1.,0.,0.));
#156 = ORIENTED_EDGE('',*,*,#157,.T.);
#157 = EDGE_CURVE('',#150,#158,#160,.T.);
#158 = VERTEX_POINT('',#159);
#159 = CARTESIAN_POINT('',(7.25,9.954795947562,8.082706084129));
#160 = LINE('',#161,#162);
#161 = CARTESIAN_POINT('',(-12.5,9.954795947561,8.082706084129));
#162 = VECTOR('',#163,1.);
#163 = DIRECTION('',(1.,0.,0.));
#164 = ORIENTED_EDGE('',*,*,#165,.T.);
#165 = EDGE_CURVE('',#158,#166,#168,.T.);
#166 = VERTEX_POINT('',#167);
#167 = CARTESIAN_POINT('',(12.5,9.954795947561,8.082706084129));
#168 = LINE('',#169,#170);
#169 = CARTESIAN_POINT('',(-12.5,9.954795947561,8.082706084129));
#170 = VECTOR('',#171,1.);
#171 = DIRECTION('',(1.,0.,0.));
#172 = ORIENTED_EDGE('',*,*,#173,.F.);
#173 = EDGE_CURVE('',#174,#166,#176,.T.);
#174 = VERTEX_POINT('',#175);
#175 = CARTESIAN_POINT('',(12.5,1.40429236442,-15.40960943551));
#176 = LINE('',#177,#178);
#177 = CARTESIAN_POINT('',(12.5,1.40429236442,-15.40960943551));
#178 = VECTOR('',#179,1.);
#179 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#180 = ORIENTED_EDGE('',*,*,#181,.F.);
#181 = EDGE_CURVE('',#95,#174,#182,.T.);
#182 = LINE('',#183,#184);
#183 = CARTESIAN_POINT('',(-12.5,1.40429236442,-15.40960943551));
#184 = VECTOR('',#185,1.);
#185 = DIRECTION('',(1.,0.,0.));
#186 = PLANE('',#187);
#187 = AXIS2_PLACEMENT_3D('',#188,#189,#190);
#188 = CARTESIAN_POINT('',(-12.5,1.40429236442,-15.40960943551));
#189 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#190 = DIRECTION('',(1.,0.,0.));
#191 = ADVANCED_FACE('',(#192),#233,.T.);
#192 = FACE_BOUND('',#193,.T.);
#193 = EDGE_LOOP('',(#194,#202,#203,#211,#219,#227));
#194 = ORIENTED_EDGE('',*,*,#195,.F.);
#195 = EDGE_CURVE('',#174,#196,#198,.T.);
#196 = VERTEX_POINT('',#197);
#197 = CARTESIAN_POINT('',(12.5,7.042448089135,-17.46173029547));
#198 = LINE('',#199,#200);
#199 = CARTESIAN_POINT('',(12.5,1.40429236442,-15.40960943551));
#200 = VECTOR('',#201,1.);
#201 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#202 = ORIENTED_EDGE('',*,*,#173,.T.);
#203 = ORIENTED_EDGE('',*,*,#204,.T.);
#204 = EDGE_CURVE('',#166,#205,#207,.T.);
#205 = VERTEX_POINT('',#206);
#206 = CARTESIAN_POINT('',(12.5,16.767567448259,5.603060045018));
#207 = LINE('',#208,#209);
#208 = CARTESIAN_POINT('',(12.5,9.954795947561,8.082706084129));
#209 = VECTOR('',#210,1.);
#210 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#211 = ORIENTED_EDGE('',*,*,#212,.F.);
#212 = EDGE_CURVE('',#213,#205,#215,.T.);
#213 = VERTEX_POINT('',#214);
#214 = CARTESIAN_POINT('',(12.5,8.989248231916,-15.76769636319));
#215 = LINE('',#216,#217);
#216 = CARTESIAN_POINT('',(12.5,8.9866091876,-15.77494707786));
#217 = VECTOR('',#218,1.);
#218 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#219 = ORIENTED_EDGE('',*,*,#220,.F.);
#220 = EDGE_CURVE('',#221,#213,#223,.T.);
#221 = VERTEX_POINT('',#222);
#222 = CARTESIAN_POINT('',(12.5,7.384468232461,-16.52203767468));
#223 = LINE('',#224,#225);
#224 = CARTESIAN_POINT('',(12.5,5.149632881318,-17.57254218641));
#225 = VECTOR('',#226,1.);
#226 = DIRECTION('',(0.,0.905003139126,0.425404887339));
#227 = ORIENTED_EDGE('',*,*,#228,.F.);
#228 = EDGE_CURVE('',#196,#221,#229,.T.);
#229 = LINE('',#230,#231);
#230 = CARTESIAN_POINT('',(12.5,7.040737988419,-17.46642875857));
#231 = VECTOR('',#232,1.);
#232 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#233 = PLANE('',#234);
#234 = AXIS2_PLACEMENT_3D('',#235,#236,#237);
#235 = CARTESIAN_POINT('',(12.5,1.40429236442,-15.40960943551));
#236 = DIRECTION('',(-1.,0.,0.));
#237 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#238 = ADVANCED_FACE('',(#239),#293,.T.);
#239 = FACE_BOUND('',#240,.T.);
#240 = EDGE_LOOP('',(#241,#251,#260,#269,#277,#286));
#241 = ORIENTED_EDGE('',*,*,#242,.F.);
#242 = EDGE_CURVE('',#243,#245,#247,.T.);
#243 = VERTEX_POINT('',#244);
#244 = CARTESIAN_POINT('',(0.4,28.826906022784,13.163052294278));
#245 = VERTEX_POINT('',#246);
#246 = CARTESIAN_POINT('',(0.4,28.256740376751,11.596535056455));
#247 = LINE('',#248,#249);
#248 = CARTESIAN_POINT('',(0.4,27.551647788241,9.659309090899));
#249 = VECTOR('',#250,1.);
#250 = DIRECTION('',(-5.777059845163E-17,-0.342020143326,-0.939692620786
    ));
#251 = ORIENTED_EDGE('',*,*,#252,.T.);
#252 = EDGE_CURVE('',#243,#253,#255,.T.);
#253 = VERTEX_POINT('',#254);
#254 = CARTESIAN_POINT('',(0.,26.26907225077,6.135461762951));
#255 = CIRCLE('',#256,3.75);
#256 = AXIS2_PLACEMENT_3D('',#257,#258,#259);
#257 = CARTESIAN_POINT('',(0.,27.551647788241,9.659309090899));
#258 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#259 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#260 = ORIENTED_EDGE('',*,*,#261,.T.);
#261 = EDGE_CURVE('',#253,#262,#264,.T.);
#262 = VERTEX_POINT('',#263);
#263 = CARTESIAN_POINT('',(-0.4,28.826906022784,13.163052294278));
#264 = CIRCLE('',#265,3.75);
#265 = AXIS2_PLACEMENT_3D('',#266,#267,#268);
#266 = CARTESIAN_POINT('',(0.,27.551647788241,9.659309090899));
#267 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#268 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#269 = ORIENTED_EDGE('',*,*,#270,.F.);
#270 = EDGE_CURVE('',#271,#262,#273,.T.);
#271 = VERTEX_POINT('',#272);
#272 = CARTESIAN_POINT('',(-0.4,28.256740376751,11.596535056455));
#273 = LINE('',#274,#275);
#274 = CARTESIAN_POINT('',(-0.4,27.551647788241,9.659309090899));
#275 = VECTOR('',#276,1.);
#276 = DIRECTION('',(-5.777059845163E-17,0.342020143326,0.939692620786)
  );
#277 = ORIENTED_EDGE('',*,*,#278,.F.);
#278 = EDGE_CURVE('',#279,#271,#281,.T.);
#279 = VERTEX_POINT('',#280);
#280 = CARTESIAN_POINT('',(0.,26.833405487257,7.685954587248));
#281 = CIRCLE('',#282,2.1);
#282 = AXIS2_PLACEMENT_3D('',#283,#284,#285);
#283 = CARTESIAN_POINT('',(0.,27.551647788241,9.659309090899));
#284 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#285 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#286 = ORIENTED_EDGE('',*,*,#287,.F.);
#287 = EDGE_CURVE('',#245,#279,#288,.T.);
#288 = CIRCLE('',#289,2.1);
#289 = AXIS2_PLACEMENT_3D('',#290,#291,#292);
#290 = CARTESIAN_POINT('',(0.,27.551647788241,9.659309090899));
#291 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#292 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#293 = PLANE('',#294);
#294 = AXIS2_PLACEMENT_3D('',#295,#296,#297);
#295 = CARTESIAN_POINT('',(0.,27.551647788241,9.659309090899));
#296 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#297 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#298 = ADVANCED_FACE('',(#299),#404,.F.);
#299 = FACE_BOUND('',#300,.T.);
#300 = EDGE_LOOP('',(#301,#311,#319,#327,#335,#343,#351,#359,#367,#375,
    #381,#382,#390,#398));
#301 = ORIENTED_EDGE('',*,*,#302,.F.);
#302 = EDGE_CURVE('',#303,#305,#307,.T.);
#303 = VERTEX_POINT('',#304);
#304 = CARTESIAN_POINT('',(0.4,13.75,18.913011203791));
#305 = VERTEX_POINT('',#306);
#306 = CARTESIAN_POINT('',(0.4,13.75,17.875231387072));
#307 = LINE('',#308,#309);
#308 = CARTESIAN_POINT('',(0.4,13.75,2.87045066129));
#309 = VECTOR('',#310,1.);
#310 = DIRECTION('',(0.,0.,-1.));
#311 = ORIENTED_EDGE('',*,*,#312,.T.);
#312 = EDGE_CURVE('',#303,#313,#315,.T.);
#313 = VERTEX_POINT('',#314);
#314 = CARTESIAN_POINT('',(0.4,14.75,19.913011203791));
#315 = LINE('',#316,#317);
#316 = CARTESIAN_POINT('',(0.4,13.75,18.913011203791));
#317 = VECTOR('',#318,1.);
#318 = DIRECTION('',(1.194373568794E-16,0.707106781187,0.707106781187));
#319 = ORIENTED_EDGE('',*,*,#320,.T.);
#320 = EDGE_CURVE('',#313,#321,#323,.T.);
#321 = VERTEX_POINT('',#322);
#322 = CARTESIAN_POINT('',(0.4,22.185113462026,19.913011203791));
#323 = LINE('',#324,#325);
#324 = CARTESIAN_POINT('',(0.4,28.834223325712,19.913011203791));
#325 = VECTOR('',#326,1.);
#326 = DIRECTION('',(1.68909929953E-16,1.,-0.));
#327 = ORIENTED_EDGE('',*,*,#328,.T.);
#328 = EDGE_CURVE('',#321,#329,#331,.T.);
#329 = VERTEX_POINT('',#330);
#330 = CARTESIAN_POINT('',(0.4,22.513752861065,19.208241738202));
#331 = LINE('',#332,#333);
#332 = CARTESIAN_POINT('',(0.4,22.185113462026,19.913011203791));
#333 = VECTOR('',#334,1.);
#334 = DIRECTION('',(7.138442098743E-17,0.422618261741,-0.906307787037)
  );
#335 = ORIENTED_EDGE('',*,*,#336,.F.);
#336 = EDGE_CURVE('',#337,#329,#339,.T.);
#337 = VERTEX_POINT('',#338);
#338 = CARTESIAN_POINT('',(0.4,21.309365056496,15.899213440884));
#339 = LINE('',#340,#341);
#340 = CARTESIAN_POINT('',(0.4,9.089462235532,-17.67469362764));
#341 = VECTOR('',#342,1.);
#342 = DIRECTION('',(5.777059845163E-17,0.342020143326,0.939692620786));
#343 = ORIENTED_EDGE('',*,*,#344,.F.);
#344 = EDGE_CURVE('',#345,#337,#347,.T.);
#345 = VERTEX_POINT('',#346);
#346 = CARTESIAN_POINT('',(0.4,24.128442918854,14.873153010907));
#347 = LINE('',#348,#349);
#348 = CARTESIAN_POINT('',(0.4,28.826906022784,13.163052294278));
#349 = VECTOR('',#350,1.);
#350 = DIRECTION('',(-0.,-0.939692620786,0.342020143326));
#351 = ORIENTED_EDGE('',*,*,#352,.F.);
#352 = EDGE_CURVE('',#353,#345,#355,.T.);
#353 = VERTEX_POINT('',#354);
#354 = CARTESIAN_POINT('',(0.4,23.956299066516,14.400191663711));
#355 = LINE('',#356,#357);
#356 = CARTESIAN_POINT('',(0.4,23.96475015012,14.423410825081));
#357 = VECTOR('',#358,1.);
#358 = DIRECTION('',(5.777059845163E-17,0.342020143326,0.939692620786));
#359 = ORIENTED_EDGE('',*,*,#360,.F.);
#360 = EDGE_CURVE('',#361,#353,#363,.T.);
#361 = VERTEX_POINT('',#362);
#362 = CARTESIAN_POINT('',(0.4,25.835684308088,13.716151377059));
#363 = LINE('',#364,#365);
#364 = CARTESIAN_POINT('',(0.4,27.775376928874,13.010160999467));
#365 = VECTOR('',#366,1.);
#366 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#367 = ORIENTED_EDGE('',*,*,#368,.F.);
#368 = EDGE_CURVE('',#369,#361,#371,.T.);
#369 = VERTEX_POINT('',#370);
#370 = CARTESIAN_POINT('',(0.4,26.007828160426,14.189112724255));
#371 = LINE('',#372,#373);
#372 = CARTESIAN_POINT('',(0.4,26.015145463354,14.209216848823));
#373 = VECTOR('',#374,1.);
#374 = DIRECTION('',(-5.777059845163E-17,-0.342020143326,-0.939692620786
    ));
#375 = ORIENTED_EDGE('',*,*,#376,.F.);
#376 = EDGE_CURVE('',#243,#369,#377,.T.);
#377 = LINE('',#378,#379);
#378 = CARTESIAN_POINT('',(0.4,28.826906022784,13.163052294278));
#379 = VECTOR('',#380,1.);
#380 = DIRECTION('',(-0.,-0.939692620786,0.342020143326));
#381 = ORIENTED_EDGE('',*,*,#242,.T.);
#382 = ORIENTED_EDGE('',*,*,#383,.F.);
#383 = EDGE_CURVE('',#384,#245,#386,.T.);
#384 = VERTEX_POINT('',#385);
#385 = CARTESIAN_POINT('',(0.4,18.859814168892,15.016736489712));
#386 = LINE('',#387,#388);
#387 = CARTESIAN_POINT('',(0.4,28.256740376751,11.596535056455));
#388 = VECTOR('',#389,1.);
#389 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#390 = ORIENTED_EDGE('',*,*,#391,.T.);
#391 = EDGE_CURVE('',#384,#392,#394,.T.);
#392 = VERTEX_POINT('',#393);
#393 = CARTESIAN_POINT('',(0.4,19.180782010359,15.898588386513));
#394 = LINE('',#395,#396);
#395 = CARTESIAN_POINT('',(0.4,11.827348928857,-4.304802960384));
#396 = VECTOR('',#397,1.);
#397 = DIRECTION('',(5.777059845163E-17,0.342020143326,0.939692620786));
#398 = ORIENTED_EDGE('',*,*,#399,.F.);
#399 = EDGE_CURVE('',#305,#392,#400,.T.);
#400 = LINE('',#401,#402);
#401 = CARTESIAN_POINT('',(0.4,-0.317079999406,22.995229789897));
#402 = VECTOR('',#403,1.);
#403 = DIRECTION('',(1.587234147543E-16,0.939692620786,-0.342020143326)
  );
#404 = PLANE('',#405);
#405 = AXIS2_PLACEMENT_3D('',#406,#407,#408);
#406 = CARTESIAN_POINT('',(0.4,28.834223325712,-17.67569362764));
#407 = DIRECTION('',(1.,-1.68909929953E-16,0.));
#408 = DIRECTION('',(1.68909929953E-16,1.,0.));
#409 = ADVANCED_FACE('',(#410),#439,.T.);
#410 = FACE_BOUND('',#411,.T.);
#411 = EDGE_LOOP('',(#412,#421,#430,#436,#437,#438));
#412 = ORIENTED_EDGE('',*,*,#413,.T.);
#413 = EDGE_CURVE('',#369,#414,#416,.T.);
#414 = VERTEX_POINT('',#415);
#415 = CARTESIAN_POINT('',(0.,23.449994388412,7.161522192928));
#416 = CIRCLE('',#417,3.75);
#417 = AXIS2_PLACEMENT_3D('',#418,#419,#420);
#418 = CARTESIAN_POINT('',(0.,24.732569925883,10.685369520876));
#419 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#420 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#421 = ORIENTED_EDGE('',*,*,#422,.T.);
#422 = EDGE_CURVE('',#414,#423,#425,.T.);
#423 = VERTEX_POINT('',#424);
#424 = CARTESIAN_POINT('',(-0.4,26.007828160426,14.189112724255));
#425 = CIRCLE('',#426,3.75);
#426 = AXIS2_PLACEMENT_3D('',#427,#428,#429);
#427 = CARTESIAN_POINT('',(0.,24.732569925883,10.685369520876));
#428 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#429 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#430 = ORIENTED_EDGE('',*,*,#431,.T.);
#431 = EDGE_CURVE('',#423,#262,#432,.T.);
#432 = LINE('',#433,#434);
#433 = CARTESIAN_POINT('',(-0.4,28.826906022784,13.163052294278));
#434 = VECTOR('',#435,1.);
#435 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#436 = ORIENTED_EDGE('',*,*,#261,.F.);
#437 = ORIENTED_EDGE('',*,*,#252,.F.);
#438 = ORIENTED_EDGE('',*,*,#376,.T.);
#439 = CYLINDRICAL_SURFACE('',#440,3.75);
#440 = AXIS2_PLACEMENT_3D('',#441,#442,#443);
#441 = CARTESIAN_POINT('',(0.,27.551647788241,9.659309090899));
#442 = DIRECTION('',(-0.,-0.939692620786,0.342020143326));
#443 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#444 = ADVANCED_FACE('',(#445),#543,.F.);
#445 = FACE_BOUND('',#446,.T.);
#446 = EDGE_LOOP('',(#447,#457,#465,#473,#481,#489,#495,#496,#497,#505,
    #513,#521,#529,#537));
#447 = ORIENTED_EDGE('',*,*,#448,.T.);
#448 = EDGE_CURVE('',#449,#451,#453,.T.);
#449 = VERTEX_POINT('',#450);
#450 = CARTESIAN_POINT('',(-0.4,22.185113462026,19.913011203791));
#451 = VERTEX_POINT('',#452);
#452 = CARTESIAN_POINT('',(-0.4,14.75,19.913011203791));
#453 = LINE('',#454,#455);
#454 = CARTESIAN_POINT('',(-0.4,28.834223325712,19.913011203791));
#455 = VECTOR('',#456,1.);
#456 = DIRECTION('',(1.68909929953E-16,-1.,0.));
#457 = ORIENTED_EDGE('',*,*,#458,.T.);
#458 = EDGE_CURVE('',#451,#459,#461,.T.);
#459 = VERTEX_POINT('',#460);
#460 = CARTESIAN_POINT('',(-0.4,13.75,18.913011203791));
#461 = LINE('',#462,#463);
#462 = CARTESIAN_POINT('',(-0.4,13.75,18.913011203791));
#463 = VECTOR('',#464,1.);
#464 = DIRECTION('',(1.194373568794E-16,-0.707106781187,-0.707106781187)
  );
#465 = ORIENTED_EDGE('',*,*,#466,.F.);
#466 = EDGE_CURVE('',#467,#459,#469,.T.);
#467 = VERTEX_POINT('',#468);
#468 = CARTESIAN_POINT('',(-0.4,13.75,17.875231387072));
#469 = LINE('',#470,#471);
#470 = CARTESIAN_POINT('',(-0.4,13.75,2.87045066129));
#471 = VECTOR('',#472,1.);
#472 = DIRECTION('',(0.,0.,1.));
#473 = ORIENTED_EDGE('',*,*,#474,.F.);
#474 = EDGE_CURVE('',#475,#467,#477,.T.);
#475 = VERTEX_POINT('',#476);
#476 = CARTESIAN_POINT('',(-0.4,19.180782010359,15.898588386513));
#477 = LINE('',#478,#479);
#478 = CARTESIAN_POINT('',(-0.4,-0.317079999406,22.995229789897));
#479 = VECTOR('',#480,1.);
#480 = DIRECTION('',(1.587234147543E-16,-0.939692620786,0.342020143326)
  );
#481 = ORIENTED_EDGE('',*,*,#482,.T.);
#482 = EDGE_CURVE('',#475,#483,#485,.T.);
#483 = VERTEX_POINT('',#484);
#484 = CARTESIAN_POINT('',(-0.4,18.859814168892,15.016736489712));
#485 = LINE('',#486,#487);
#486 = CARTESIAN_POINT('',(-0.4,11.827348928857,-4.304802960384));
#487 = VECTOR('',#488,1.);
#488 = DIRECTION('',(5.777059845163E-17,-0.342020143326,-0.939692620786)
  );
#489 = ORIENTED_EDGE('',*,*,#490,.F.);
#490 = EDGE_CURVE('',#271,#483,#491,.T.);
#491 = LINE('',#492,#493);
#492 = CARTESIAN_POINT('',(-0.4,28.256740376751,11.596535056455));
#493 = VECTOR('',#494,1.);
#494 = DIRECTION('',(-0.,-0.939692620786,0.342020143326));
#495 = ORIENTED_EDGE('',*,*,#270,.T.);
#496 = ORIENTED_EDGE('',*,*,#431,.F.);
#497 = ORIENTED_EDGE('',*,*,#498,.F.);
#498 = EDGE_CURVE('',#499,#423,#501,.T.);
#499 = VERTEX_POINT('',#500);
#500 = CARTESIAN_POINT('',(-0.4,25.835684308088,13.716151377059));
#501 = LINE('',#502,#503);
#502 = CARTESIAN_POINT('',(-0.4,26.015145463354,14.209216848823));
#503 = VECTOR('',#504,1.);
#504 = DIRECTION('',(-5.777059845163E-17,0.342020143326,0.939692620786)
  );
#505 = ORIENTED_EDGE('',*,*,#506,.F.);
#506 = EDGE_CURVE('',#507,#499,#509,.T.);
#507 = VERTEX_POINT('',#508);
#508 = CARTESIAN_POINT('',(-0.4,23.956299066516,14.400191663711));
#509 = LINE('',#510,#511);
#510 = CARTESIAN_POINT('',(-0.4,27.775376928874,13.010160999467));
#511 = VECTOR('',#512,1.);
#512 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#513 = ORIENTED_EDGE('',*,*,#514,.F.);
#514 = EDGE_CURVE('',#515,#507,#517,.T.);
#515 = VERTEX_POINT('',#516);
#516 = CARTESIAN_POINT('',(-0.4,24.128442918854,14.873153010907));
#517 = LINE('',#518,#519);
#518 = CARTESIAN_POINT('',(-0.4,23.96475015012,14.423410825081));
#519 = VECTOR('',#520,1.);
#520 = DIRECTION('',(5.777059845163E-17,-0.342020143326,-0.939692620786)
  );
#521 = ORIENTED_EDGE('',*,*,#522,.F.);
#522 = EDGE_CURVE('',#523,#515,#525,.T.);
#523 = VERTEX_POINT('',#524);
#524 = CARTESIAN_POINT('',(-0.4,21.309365056496,15.899213440884));
#525 = LINE('',#526,#527);
#526 = CARTESIAN_POINT('',(-0.4,28.826906022784,13.163052294278));
#527 = VECTOR('',#528,1.);
#528 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#529 = ORIENTED_EDGE('',*,*,#530,.F.);
#530 = EDGE_CURVE('',#531,#523,#533,.T.);
#531 = VERTEX_POINT('',#532);
#532 = CARTESIAN_POINT('',(-0.4,22.513752861065,19.208241738202));
#533 = LINE('',#534,#535);
#534 = CARTESIAN_POINT('',(-0.4,9.089462235532,-17.67469362764));
#535 = VECTOR('',#536,1.);
#536 = DIRECTION('',(5.777059845163E-17,-0.342020143326,-0.939692620786)
  );
#537 = ORIENTED_EDGE('',*,*,#538,.T.);
#538 = EDGE_CURVE('',#531,#449,#539,.T.);
#539 = LINE('',#540,#541);
#540 = CARTESIAN_POINT('',(-0.4,22.185113462026,19.913011203791));
#541 = VECTOR('',#542,1.);
#542 = DIRECTION('',(7.138442098743E-17,-0.422618261741,0.906307787037)
  );
#543 = PLANE('',#544);
#544 = AXIS2_PLACEMENT_3D('',#545,#546,#547);
#545 = CARTESIAN_POINT('',(-0.4,28.834223325712,-17.67569362764));
#546 = DIRECTION('',(-1.,-1.68909929953E-16,0.));
#547 = DIRECTION('',(1.68909929953E-16,-1.,0.));
#548 = ADVANCED_FACE('',(#549),#571,.F.);
#549 = FACE_BOUND('',#550,.F.);
#550 = EDGE_LOOP('',(#551,#552,#561,#568,#569,#570));
#551 = ORIENTED_EDGE('',*,*,#383,.F.);
#552 = ORIENTED_EDGE('',*,*,#553,.F.);
#553 = EDGE_CURVE('',#554,#384,#556,.T.);
#554 = VERTEX_POINT('',#555);
#555 = CARTESIAN_POINT('',(0.,17.436479279398,11.106156020505));
#556 = CIRCLE('',#557,2.1);
#557 = AXIS2_PLACEMENT_3D('',#558,#559,#560);
#558 = CARTESIAN_POINT('',(0.,18.154721580382,13.079510524155));
#559 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#560 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#561 = ORIENTED_EDGE('',*,*,#562,.F.);
#562 = EDGE_CURVE('',#483,#554,#563,.T.);
#563 = CIRCLE('',#564,2.1);
#564 = AXIS2_PLACEMENT_3D('',#565,#566,#567);
#565 = CARTESIAN_POINT('',(0.,18.154721580382,13.079510524155));
#566 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#567 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#568 = ORIENTED_EDGE('',*,*,#490,.F.);
#569 = ORIENTED_EDGE('',*,*,#278,.F.);
#570 = ORIENTED_EDGE('',*,*,#287,.F.);
#571 = CYLINDRICAL_SURFACE('',#572,2.1);
#572 = AXIS2_PLACEMENT_3D('',#573,#574,#575);
#573 = CARTESIAN_POINT('',(0.,27.551647788241,9.659309090899));
#574 = DIRECTION('',(-0.,-0.939692620786,0.342020143326));
#575 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#576 = ADVANCED_FACE('',(#577),#610,.F.);
#577 = FACE_BOUND('',#578,.T.);
#578 = EDGE_LOOP('',(#579,#589,#595,#596,#604));
#579 = ORIENTED_EDGE('',*,*,#580,.T.);
#580 = EDGE_CURVE('',#581,#583,#585,.T.);
#581 = VERTEX_POINT('',#582);
#582 = CARTESIAN_POINT('',(4.306624327026,13.75,17.814973036869));
#583 = VERTEX_POINT('',#584);
#584 = CARTESIAN_POINT('',(4.306624327026,13.75,18.913011203791));
#585 = LINE('',#586,#587);
#586 = CARTESIAN_POINT('',(4.306624327026,13.75,2.87045066129));
#587 = VECTOR('',#588,1.);
#588 = DIRECTION('',(-0.,-0.,1.));
#589 = ORIENTED_EDGE('',*,*,#590,.T.);
#590 = EDGE_CURVE('',#583,#303,#591,.T.);
#591 = LINE('',#592,#593);
#592 = CARTESIAN_POINT('',(-4.306624327026,13.75,18.913011203791));
#593 = VECTOR('',#594,1.);
#594 = DIRECTION('',(-1.,0.,0.));
#595 = ORIENTED_EDGE('',*,*,#302,.T.);
#596 = ORIENTED_EDGE('',*,*,#597,.T.);
#597 = EDGE_CURVE('',#305,#598,#600,.T.);
#598 = VERTEX_POINT('',#599);
#599 = CARTESIAN_POINT('',(4.25,13.75,17.875231387072));
#600 = LINE('',#601,#602);
#601 = CARTESIAN_POINT('',(-4.306624327026,13.75,17.875231387072));
#602 = VECTOR('',#603,1.);
#603 = DIRECTION('',(1.,0.,0.));
#604 = ORIENTED_EDGE('',*,*,#605,.T.);
#605 = EDGE_CURVE('',#598,#581,#606,.T.);
#606 = LINE('',#607,#608);
#607 = CARTESIAN_POINT('',(7.725366475924,13.75,14.176823632186));
#608 = VECTOR('',#609,1.);
#609 = DIRECTION('',(0.684791078772,-0.,-0.728739444819));
#610 = PLANE('',#611);
#611 = AXIS2_PLACEMENT_3D('',#612,#613,#614);
#612 = CARTESIAN_POINT('',(-4.306624327026,13.75,2.87045066129));
#613 = DIRECTION('',(-0.,1.,0.));
#614 = DIRECTION('',(0.,0.,1.));
#615 = ADVANCED_FACE('',(#616),#634,.F.);
#616 = FACE_BOUND('',#617,.T.);
#617 = EDGE_LOOP('',(#618,#619,#620,#628));
#618 = ORIENTED_EDGE('',*,*,#312,.F.);
#619 = ORIENTED_EDGE('',*,*,#590,.F.);
#620 = ORIENTED_EDGE('',*,*,#621,.F.);
#621 = EDGE_CURVE('',#622,#583,#624,.T.);
#622 = VERTEX_POINT('',#623);
#623 = CARTESIAN_POINT('',(4.883974596216,14.75,19.913011203791));
#624 = LINE('',#625,#626);
#625 = CARTESIAN_POINT('',(4.306624327026,13.75,18.913011203791));
#626 = VECTOR('',#627,1.);
#627 = DIRECTION('',(-0.377964473009,-0.654653670708,-0.654653670708));
#628 = ORIENTED_EDGE('',*,*,#629,.F.);
#629 = EDGE_CURVE('',#313,#622,#630,.T.);
#630 = LINE('',#631,#632);
#631 = CARTESIAN_POINT('',(10.25,14.75,19.913011203791));
#632 = VECTOR('',#633,1.);
#633 = DIRECTION('',(1.,0.,0.));
#634 = PLANE('',#635);
#635 = AXIS2_PLACEMENT_3D('',#636,#637,#638);
#636 = CARTESIAN_POINT('',(-4.306624327026,13.75,18.913011203791));
#637 = DIRECTION('',(0.,0.707106781187,-0.707106781187));
#638 = DIRECTION('',(-1.,0.,0.));
#639 = ADVANCED_FACE('',(#640),#666,.F.);
#640 = FACE_BOUND('',#641,.F.);
#641 = EDGE_LOOP('',(#642,#650,#651,#652,#660));
#642 = ORIENTED_EDGE('',*,*,#643,.F.);
#643 = EDGE_CURVE('',#622,#644,#646,.T.);
#644 = VERTEX_POINT('',#645);
#645 = CARTESIAN_POINT('',(5.533321579334,13.625298033497,
    19.913011203791));
#646 = LINE('',#647,#648);
#647 = CARTESIAN_POINT('',(2.752603044196,18.441643817904,
    19.913011203791));
#648 = VECTOR('',#649,1.);
#649 = DIRECTION('',(0.5,-0.866025403784,-2.639081104908E-16));
#650 = ORIENTED_EDGE('',*,*,#629,.F.);
#651 = ORIENTED_EDGE('',*,*,#320,.T.);
#652 = ORIENTED_EDGE('',*,*,#653,.F.);
#653 = EDGE_CURVE('',#654,#321,#656,.T.);
#654 = VERTEX_POINT('',#655);
#655 = CARTESIAN_POINT('',(5.533321579334,22.185113462026,
    19.913011203791));
#656 = LINE('',#657,#658);
#657 = CARTESIAN_POINT('',(10.25,22.185113462026,19.913011203791));
#658 = VECTOR('',#659,1.);
#659 = DIRECTION('',(-1.,0.,0.));
#660 = ORIENTED_EDGE('',*,*,#661,.F.);
#661 = EDGE_CURVE('',#644,#654,#662,.T.);
#662 = LINE('',#663,#664);
#663 = CARTESIAN_POINT('',(5.533321579334,-12.72792206135,
    19.913011203791));
#664 = VECTOR('',#665,1.);
#665 = DIRECTION('',(-0.,1.,7.155762691718E-18));
#666 = PLANE('',#667);
#667 = AXIS2_PLACEMENT_3D('',#668,#669,#670);
#668 = CARTESIAN_POINT('',(10.25,22.770267968559,19.913011203791));
#669 = DIRECTION('',(0.,3.047348372662E-16,-1.));
#670 = DIRECTION('',(0.,1.,3.047348372662E-16));
#671 = ADVANCED_FACE('',(#672),#691,.F.);
#672 = FACE_BOUND('',#673,.F.);
#673 = EDGE_LOOP('',(#674,#682,#689,#690));
#674 = ORIENTED_EDGE('',*,*,#675,.T.);
#675 = EDGE_CURVE('',#329,#676,#678,.T.);
#676 = VERTEX_POINT('',#677);
#677 = CARTESIAN_POINT('',(5.502780193623,22.513752861065,
    19.208241738202));
#678 = LINE('',#679,#680);
#679 = CARTESIAN_POINT('',(12.1,22.513752861065,19.208241738202));
#680 = VECTOR('',#681,1.);
#681 = DIRECTION('',(1.,0.,0.));
#682 = ORIENTED_EDGE('',*,*,#683,.T.);
#683 = EDGE_CURVE('',#676,#654,#684,.T.);
#684 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#685,#686,#687,#688),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(1.535642822481,
1.692566208086),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.997948973462,0.997948973462,1.)) REPRESENTATION_ITEM('') );
#685 = CARTESIAN_POINT('',(5.502780193623,22.513752861065,
    19.208241738202));
#686 = CARTESIAN_POINT('',(5.494498787733,22.403946108783,
    19.443723078388));
#687 = CARTESIAN_POINT('',(5.504700172948,22.29417449795,19.679129057495
    ));
#688 = CARTESIAN_POINT('',(5.533321579334,22.185113462026,
    19.913011203791));
#689 = ORIENTED_EDGE('',*,*,#653,.T.);
#690 = ORIENTED_EDGE('',*,*,#328,.T.);
#691 = PLANE('',#692);
#692 = AXIS2_PLACEMENT_3D('',#693,#694,#695);
#693 = CARTESIAN_POINT('',(10.25,22.185113462026,19.913011203791));
#694 = DIRECTION('',(-0.,-0.906307787037,-0.422618261741));
#695 = DIRECTION('',(-1.,0.,0.));
#696 = ADVANCED_FACE('',(#697),#816,.F.);
#697 = FACE_BOUND('',#698,.F.);
#698 = EDGE_LOOP('',(#699,#700,#709,#716,#717,#725,#734,#743,#751,#759,
    #767,#775,#783,#791,#799,#808,#815));
#699 = ORIENTED_EDGE('',*,*,#336,.F.);
#700 = ORIENTED_EDGE('',*,*,#701,.T.);
#701 = EDGE_CURVE('',#337,#702,#704,.T.);
#702 = VERTEX_POINT('',#703);
#703 = CARTESIAN_POINT('',(0.,18.751531284482,8.871622909557));
#704 = CIRCLE('',#705,3.75);
#705 = AXIS2_PLACEMENT_3D('',#706,#707,#708);
#706 = CARTESIAN_POINT('',(0.,20.034106821954,12.395470237504));
#707 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#708 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#709 = ORIENTED_EDGE('',*,*,#710,.T.);
#710 = EDGE_CURVE('',#702,#523,#711,.T.);
#711 = CIRCLE('',#712,3.75);
#712 = AXIS2_PLACEMENT_3D('',#713,#714,#715);
#713 = CARTESIAN_POINT('',(0.,20.034106821954,12.395470237504));
#714 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#715 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#716 = ORIENTED_EDGE('',*,*,#530,.F.);
#717 = ORIENTED_EDGE('',*,*,#718,.F.);
#718 = EDGE_CURVE('',#719,#531,#721,.T.);
#719 = VERTEX_POINT('',#720);
#720 = CARTESIAN_POINT('',(-5.502780193623,22.513752861065,
    19.208241738202));
#721 = LINE('',#722,#723);
#722 = CARTESIAN_POINT('',(12.1,22.513752861065,19.208241738202));
#723 = VECTOR('',#724,1.);
#724 = DIRECTION('',(1.,0.,0.));
#725 = ORIENTED_EDGE('',*,*,#726,.T.);
#726 = EDGE_CURVE('',#719,#727,#729,.T.);
#727 = VERTEX_POINT('',#728);
#728 = CARTESIAN_POINT('',(-7.,21.350524456203,16.012297962175));
#729 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#730,#731,#732,#733),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(1.605949831109,
2.411864997363),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.946603486779,0.946603486779,1.)) REPRESENTATION_ITEM('') );
#730 = CARTESIAN_POINT('',(-5.502780193623,22.513752861065,
    19.208241738202));
#731 = CARTESIAN_POINT('',(-5.546459356115,22.061696485492,
    17.966227053995));
#732 = CARTESIAN_POINT('',(-6.073684615437,21.652081681579,
    16.84081962957));
#733 = CARTESIAN_POINT('',(-7.,21.350524456203,16.012297962175));
#734 = ORIENTED_EDGE('',*,*,#735,.F.);
#735 = EDGE_CURVE('',#736,#727,#738,.T.);
#736 = VERTEX_POINT('',#737);
#737 = CARTESIAN_POINT('',(-9.5,20.9435933634,14.894263973425));
#738 = ELLIPSE('',#739,4.788799976142,4.5);
#739 = AXIS2_PLACEMENT_3D('',#740,#741,#742);
#740 = CARTESIAN_POINT('',(-10.,22.571317734611,19.366399928425));
#741 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#742 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#743 = ORIENTED_EDGE('',*,*,#744,.F.);
#744 = EDGE_CURVE('',#745,#736,#747,.T.);
#745 = VERTEX_POINT('',#746);
#746 = CARTESIAN_POINT('',(-9.5,18.152996033668,7.227160823179));
#747 = LINE('',#748,#749);
#748 = CARTESIAN_POINT('',(-9.5,9.089462235532,-17.67469362764));
#749 = VECTOR('',#750,1.);
#750 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#751 = ORIENTED_EDGE('',*,*,#752,.T.);
#752 = EDGE_CURVE('',#745,#753,#755,.T.);
#753 = VERTEX_POINT('',#754);
#754 = CARTESIAN_POINT('',(-8.,18.152996033668,7.227160823179));
#755 = LINE('',#756,#757);
#756 = CARTESIAN_POINT('',(-0.75,18.152996033668,7.227160823179));
#757 = VECTOR('',#758,1.);
#758 = DIRECTION('',(1.,0.,0.));
#759 = ORIENTED_EDGE('',*,*,#760,.T.);
#760 = EDGE_CURVE('',#753,#761,#763,.T.);
#761 = VERTEX_POINT('',#762);
#762 = CARTESIAN_POINT('',(-8.,17.725470854505,6.052545047199));
#763 = LINE('',#764,#765);
#764 = CARTESIAN_POINT('',(-8.,13.621229134599,-5.223766402233));
#765 = VECTOR('',#766,1.);
#766 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#767 = ORIENTED_EDGE('',*,*,#768,.F.);
#768 = EDGE_CURVE('',#769,#761,#771,.T.);
#769 = VERTEX_POINT('',#770);
#770 = CARTESIAN_POINT('',(8.,17.725470854505,6.052545047199));
#771 = LINE('',#772,#773);
#772 = CARTESIAN_POINT('',(12.1,17.725470854505,6.052545047199));
#773 = VECTOR('',#774,1.);
#774 = DIRECTION('',(-1.,7.604534767235E-17,2.089328755844E-16));
#775 = ORIENTED_EDGE('',*,*,#776,.F.);
#776 = EDGE_CURVE('',#777,#769,#779,.T.);
#777 = VERTEX_POINT('',#778);
#778 = CARTESIAN_POINT('',(8.,18.152996033668,7.227160823179));
#779 = LINE('',#780,#781);
#780 = CARTESIAN_POINT('',(8.,13.621229134599,-5.223766402233));
#781 = VECTOR('',#782,1.);
#782 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#783 = ORIENTED_EDGE('',*,*,#784,.F.);
#784 = EDGE_CURVE('',#785,#777,#787,.T.);
#785 = VERTEX_POINT('',#786);
#786 = CARTESIAN_POINT('',(9.5,18.152996033663,7.227160823181));
#787 = LINE('',#788,#789);
#788 = CARTESIAN_POINT('',(12.85,18.152996033668,7.227160823179));
#789 = VECTOR('',#790,1.);
#790 = DIRECTION('',(-1.,0.,0.));
#791 = ORIENTED_EDGE('',*,*,#792,.F.);
#792 = EDGE_CURVE('',#793,#785,#795,.T.);
#793 = VERTEX_POINT('',#794);
#794 = CARTESIAN_POINT('',(9.5,20.9435933634,14.894263973425));
#795 = LINE('',#796,#797);
#796 = CARTESIAN_POINT('',(9.5,17.930682940501,6.61636061967));
#797 = VECTOR('',#798,1.);
#798 = DIRECTION('',(-0.,-0.342020143326,-0.939692620786));
#799 = ORIENTED_EDGE('',*,*,#800,.F.);
#800 = EDGE_CURVE('',#801,#793,#803,.T.);
#801 = VERTEX_POINT('',#802);
#802 = CARTESIAN_POINT('',(7.,21.350524456203,16.012297962175));
#803 = ELLIPSE('',#804,4.788799976142,4.5);
#804 = AXIS2_PLACEMENT_3D('',#805,#806,#807);
#805 = CARTESIAN_POINT('',(10.,22.571317734611,19.366399928425));
#806 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#807 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#808 = ORIENTED_EDGE('',*,*,#809,.F.);
#809 = EDGE_CURVE('',#676,#801,#810,.T.);
#810 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#811,#812,#813,#814),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(1.605949831109,
2.411864997363),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.946603486779,0.946603486779,1.)) REPRESENTATION_ITEM('') );
#811 = CARTESIAN_POINT('',(5.502780193623,22.513752861065,
    19.208241738202));
#812 = CARTESIAN_POINT('',(5.546459356115,22.061696485492,
    17.966227053995));
#813 = CARTESIAN_POINT('',(6.073684615437,21.652081681579,16.84081962957
    ));
#814 = CARTESIAN_POINT('',(7.,21.350524456203,16.012297962175));
#815 = ORIENTED_EDGE('',*,*,#675,.F.);
#816 = PLANE('',#817);
#817 = AXIS2_PLACEMENT_3D('',#818,#819,#820);
#818 = CARTESIAN_POINT('',(12.1,9.089462235532,-17.67469362764));
#819 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#820 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#821 = ADVANCED_FACE('',(#822),#844,.T.);
#822 = FACE_BOUND('',#823,.T.);
#823 = EDGE_LOOP('',(#824,#825,#826,#827,#836,#843));
#824 = ORIENTED_EDGE('',*,*,#701,.T.);
#825 = ORIENTED_EDGE('',*,*,#710,.T.);
#826 = ORIENTED_EDGE('',*,*,#522,.T.);
#827 = ORIENTED_EDGE('',*,*,#828,.F.);
#828 = EDGE_CURVE('',#829,#515,#831,.T.);
#829 = VERTEX_POINT('',#830);
#830 = CARTESIAN_POINT('',(0.,21.57060914684,7.84556247958));
#831 = CIRCLE('',#832,3.75);
#832 = AXIS2_PLACEMENT_3D('',#833,#834,#835);
#833 = CARTESIAN_POINT('',(0.,22.853184684311,11.369409807527));
#834 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#835 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#836 = ORIENTED_EDGE('',*,*,#837,.F.);
#837 = EDGE_CURVE('',#345,#829,#838,.T.);
#838 = CIRCLE('',#839,3.75);
#839 = AXIS2_PLACEMENT_3D('',#840,#841,#842);
#840 = CARTESIAN_POINT('',(0.,22.853184684311,11.369409807527));
#841 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#842 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#843 = ORIENTED_EDGE('',*,*,#344,.T.);
#844 = CYLINDRICAL_SURFACE('',#845,3.75);
#845 = AXIS2_PLACEMENT_3D('',#846,#847,#848);
#846 = CARTESIAN_POINT('',(0.,27.551647788241,9.659309090899));
#847 = DIRECTION('',(-0.,-0.939692620786,0.342020143326));
#848 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#849 = ADVANCED_FACE('',(#850),#863,.F.);
#850 = FACE_BOUND('',#851,.T.);
#851 = EDGE_LOOP('',(#852,#859,#860,#861,#862));
#852 = ORIENTED_EDGE('',*,*,#853,.F.);
#853 = EDGE_CURVE('',#353,#507,#854,.T.);
#854 = CIRCLE('',#855,3.25);
#855 = AXIS2_PLACEMENT_3D('',#856,#857,#858);
#856 = CARTESIAN_POINT('',(0.,22.853184684311,11.369409807527));
#857 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#858 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#859 = ORIENTED_EDGE('',*,*,#352,.T.);
#860 = ORIENTED_EDGE('',*,*,#837,.T.);
#861 = ORIENTED_EDGE('',*,*,#828,.T.);
#862 = ORIENTED_EDGE('',*,*,#514,.T.);
#863 = PLANE('',#864);
#864 = AXIS2_PLACEMENT_3D('',#865,#866,#867);
#865 = CARTESIAN_POINT('',(0.,23.96475015012,14.423410825081));
#866 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#867 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#868 = ADVANCED_FACE('',(#869),#881,.T.);
#869 = FACE_BOUND('',#870,.T.);
#870 = EDGE_LOOP('',(#871,#878,#879,#880));
#871 = ORIENTED_EDGE('',*,*,#872,.F.);
#872 = EDGE_CURVE('',#361,#499,#873,.T.);
#873 = CIRCLE('',#874,3.25);
#874 = AXIS2_PLACEMENT_3D('',#875,#876,#877);
#875 = CARTESIAN_POINT('',(0.,24.732569925883,10.685369520876));
#876 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#877 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#878 = ORIENTED_EDGE('',*,*,#360,.T.);
#879 = ORIENTED_EDGE('',*,*,#853,.T.);
#880 = ORIENTED_EDGE('',*,*,#506,.T.);
#881 = CYLINDRICAL_SURFACE('',#882,3.25);
#882 = AXIS2_PLACEMENT_3D('',#883,#884,#885);
#883 = CARTESIAN_POINT('',(0.,26.672262546669,9.979379143284));
#884 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#885 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#886 = ADVANCED_FACE('',(#887),#894,.F.);
#887 = FACE_BOUND('',#888,.T.);
#888 = EDGE_LOOP('',(#889,#890,#891,#892,#893));
#889 = ORIENTED_EDGE('',*,*,#413,.F.);
#890 = ORIENTED_EDGE('',*,*,#368,.T.);
#891 = ORIENTED_EDGE('',*,*,#872,.T.);
#892 = ORIENTED_EDGE('',*,*,#498,.T.);
#893 = ORIENTED_EDGE('',*,*,#422,.F.);
#894 = PLANE('',#895);
#895 = AXIS2_PLACEMENT_3D('',#896,#897,#898);
#896 = CARTESIAN_POINT('',(0.,26.015145463354,14.209216848823));
#897 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#898 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#899 = ADVANCED_FACE('',(#900),#960,.T.);
#900 = FACE_BOUND('',#901,.T.);
#901 = EDGE_LOOP('',(#902,#903,#904,#905,#906,#914,#922,#930,#938,#946,
    #954));
#902 = ORIENTED_EDGE('',*,*,#391,.F.);
#903 = ORIENTED_EDGE('',*,*,#553,.F.);
#904 = ORIENTED_EDGE('',*,*,#562,.F.);
#905 = ORIENTED_EDGE('',*,*,#482,.F.);
#906 = ORIENTED_EDGE('',*,*,#907,.F.);
#907 = EDGE_CURVE('',#908,#475,#910,.T.);
#908 = VERTEX_POINT('',#909);
#909 = CARTESIAN_POINT('',(-4.25,19.180782010359,15.898588386513));
#910 = LINE('',#911,#912);
#911 = CARTESIAN_POINT('',(-7.25,19.180782010359,15.898588386513));
#912 = VECTOR('',#913,1.);
#913 = DIRECTION('',(1.,0.,0.));
#914 = ORIENTED_EDGE('',*,*,#915,.T.);
#915 = EDGE_CURVE('',#908,#916,#918,.T.);
#916 = VERTEX_POINT('',#917);
#917 = CARTESIAN_POINT('',(-7.25,18.154721580382,13.079510524155));
#918 = LINE('',#919,#920);
#919 = CARTESIAN_POINT('',(-12.875,16.230858274175,7.793739532235));
#920 = VECTOR('',#921,1.);
#921 = DIRECTION('',(-0.707106781187,-0.241844762648,-0.664463024389));
#922 = ORIENTED_EDGE('',*,*,#923,.F.);
#923 = EDGE_CURVE('',#924,#916,#926,.T.);
#924 = VERTEX_POINT('',#925);
#925 = CARTESIAN_POINT('',(-7.25,17.128661150405,10.260432661797));
#926 = LINE('',#927,#928);
#927 = CARTESIAN_POINT('',(-7.25,19.180782010359,15.898588386513));
#928 = VECTOR('',#929,1.);
#929 = DIRECTION('',(-0.,0.342020143326,0.939692620786));
#930 = ORIENTED_EDGE('',*,*,#931,.F.);
#931 = EDGE_CURVE('',#932,#924,#934,.T.);
#932 = VERTEX_POINT('',#933);
#933 = CARTESIAN_POINT('',(7.25,17.128661150405,10.260432661797));
#934 = LINE('',#935,#936);
#935 = CARTESIAN_POINT('',(-7.25,17.128661150405,10.260432661797));
#936 = VECTOR('',#937,1.);
#937 = DIRECTION('',(-1.,-0.,-0.));
#938 = ORIENTED_EDGE('',*,*,#939,.F.);
#939 = EDGE_CURVE('',#940,#932,#942,.T.);
#940 = VERTEX_POINT('',#941);
#941 = CARTESIAN_POINT('',(7.25,18.154721580382,13.079510524155));
#942 = LINE('',#943,#944);
#943 = CARTESIAN_POINT('',(7.25,19.180782010359,15.898588386513));
#944 = VECTOR('',#945,1.);
#945 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#946 = ORIENTED_EDGE('',*,*,#947,.T.);
#947 = EDGE_CURVE('',#940,#948,#950,.T.);
#948 = VERTEX_POINT('',#949);
#949 = CARTESIAN_POINT('',(4.25,19.180782010359,15.898588386513));
#950 = LINE('',#951,#952);
#951 = CARTESIAN_POINT('',(12.875,16.230858274175,7.793739532234));
#952 = VECTOR('',#953,1.);
#953 = DIRECTION('',(-0.707106781187,0.241844762648,0.664463024389));
#954 = ORIENTED_EDGE('',*,*,#955,.F.);
#955 = EDGE_CURVE('',#392,#948,#956,.T.);
#956 = LINE('',#957,#958);
#957 = CARTESIAN_POINT('',(-7.25,19.180782010359,15.898588386513));
#958 = VECTOR('',#959,1.);
#959 = DIRECTION('',(1.,0.,0.));
#960 = PLANE('',#961);
#961 = AXIS2_PLACEMENT_3D('',#962,#963,#964);
#962 = CARTESIAN_POINT('',(0.,11.827348928857,-4.304802960384));
#963 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#964 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#965 = ADVANCED_FACE('',(#966),#977,.F.);
#966 = FACE_BOUND('',#967,.T.);
#967 = EDGE_LOOP('',(#968,#969,#970,#971));
#968 = ORIENTED_EDGE('',*,*,#597,.F.);
#969 = ORIENTED_EDGE('',*,*,#399,.T.);
#970 = ORIENTED_EDGE('',*,*,#955,.T.);
#971 = ORIENTED_EDGE('',*,*,#972,.T.);
#972 = EDGE_CURVE('',#948,#598,#973,.T.);
#973 = LINE('',#974,#975);
#974 = CARTESIAN_POINT('',(4.25,11.25,18.785156972737));
#975 = VECTOR('',#976,1.);
#976 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#977 = PLANE('',#978);
#978 = AXIS2_PLACEMENT_3D('',#979,#980,#981);
#979 = CARTESIAN_POINT('',(-7.25,-0.317079999406,22.995229789897));
#980 = DIRECTION('',(-0.,0.342020143326,0.939692620786));
#981 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#982 = ADVANCED_FACE('',(#983),#1016,.F.);
#983 = FACE_BOUND('',#984,.F.);
#984 = EDGE_LOOP('',(#985,#995,#1003,#1009,#1010));
#985 = ORIENTED_EDGE('',*,*,#986,.F.);
#986 = EDGE_CURVE('',#987,#989,#991,.T.);
#987 = VERTEX_POINT('',#988);
#988 = CARTESIAN_POINT('',(-5.533321579334,13.625298033497,
    19.913011203791));
#989 = VERTEX_POINT('',#990);
#990 = CARTESIAN_POINT('',(-4.883974596216,14.75,19.913011203791));
#991 = LINE('',#992,#993);
#992 = CARTESIAN_POINT('',(2.372396955804,27.318404206695,
    19.913011203791));
#993 = VECTOR('',#994,1.);
#994 = DIRECTION('',(0.5,0.866025403784,2.639081104908E-16));
#995 = ORIENTED_EDGE('',*,*,#996,.T.);
#996 = EDGE_CURVE('',#987,#997,#999,.T.);
#997 = VERTEX_POINT('',#998);
#998 = CARTESIAN_POINT('',(-5.533321579334,22.185113462026,
    19.913011203791));
#999 = LINE('',#1000,#1001);
#1000 = CARTESIAN_POINT('',(-5.533321579334,-12.72792206135,
    19.913011203791));
#1001 = VECTOR('',#1002,1.);
#1002 = DIRECTION('',(-0.,1.,7.155762691718E-18));
#1003 = ORIENTED_EDGE('',*,*,#1004,.F.);
#1004 = EDGE_CURVE('',#449,#997,#1005,.T.);
#1005 = LINE('',#1006,#1007);
#1006 = CARTESIAN_POINT('',(10.25,22.185113462026,19.913011203791));
#1007 = VECTOR('',#1008,1.);
#1008 = DIRECTION('',(-1.,0.,0.));
#1009 = ORIENTED_EDGE('',*,*,#448,.T.);
#1010 = ORIENTED_EDGE('',*,*,#1011,.F.);
#1011 = EDGE_CURVE('',#989,#451,#1012,.T.);
#1012 = LINE('',#1013,#1014);
#1013 = CARTESIAN_POINT('',(10.25,14.75,19.913011203791));
#1014 = VECTOR('',#1015,1.);
#1015 = DIRECTION('',(1.,0.,0.));
#1016 = PLANE('',#1017);
#1017 = AXIS2_PLACEMENT_3D('',#1018,#1019,#1020);
#1018 = CARTESIAN_POINT('',(10.25,22.770267968559,19.913011203791));
#1019 = DIRECTION('',(0.,3.047348372662E-16,-1.));
#1020 = DIRECTION('',(0.,1.,3.047348372662E-16));
#1021 = ADVANCED_FACE('',(#1022),#1040,.F.);
#1022 = FACE_BOUND('',#1023,.T.);
#1023 = EDGE_LOOP('',(#1024,#1025,#1026,#1034));
#1024 = ORIENTED_EDGE('',*,*,#458,.F.);
#1025 = ORIENTED_EDGE('',*,*,#1011,.F.);
#1026 = ORIENTED_EDGE('',*,*,#1027,.T.);
#1027 = EDGE_CURVE('',#989,#1028,#1030,.T.);
#1028 = VERTEX_POINT('',#1029);
#1029 = CARTESIAN_POINT('',(-4.306624327026,13.75,18.913011203791));
#1030 = LINE('',#1031,#1032);
#1031 = CARTESIAN_POINT('',(-4.306624327026,13.75,18.913011203791));
#1032 = VECTOR('',#1033,1.);
#1033 = DIRECTION('',(0.377964473009,-0.654653670708,-0.654653670708));
#1034 = ORIENTED_EDGE('',*,*,#1035,.F.);
#1035 = EDGE_CURVE('',#459,#1028,#1036,.T.);
#1036 = LINE('',#1037,#1038);
#1037 = CARTESIAN_POINT('',(-4.306624327026,13.75,18.913011203791));
#1038 = VECTOR('',#1039,1.);
#1039 = DIRECTION('',(-1.,0.,0.));
#1040 = PLANE('',#1041);
#1041 = AXIS2_PLACEMENT_3D('',#1042,#1043,#1044);
#1042 = CARTESIAN_POINT('',(-4.306624327026,13.75,18.913011203791));
#1043 = DIRECTION('',(0.,0.707106781187,-0.707106781187));
#1044 = DIRECTION('',(-1.,0.,0.));
#1045 = ADVANCED_FACE('',(#1046),#1072,.F.);
#1046 = FACE_BOUND('',#1047,.T.);
#1047 = EDGE_LOOP('',(#1048,#1049,#1050,#1058,#1066));
#1048 = ORIENTED_EDGE('',*,*,#466,.T.);
#1049 = ORIENTED_EDGE('',*,*,#1035,.T.);
#1050 = ORIENTED_EDGE('',*,*,#1051,.F.);
#1051 = EDGE_CURVE('',#1052,#1028,#1054,.T.);
#1052 = VERTEX_POINT('',#1053);
#1053 = CARTESIAN_POINT('',(-4.306624327026,13.75,17.814973036869));
#1054 = LINE('',#1055,#1056);
#1055 = CARTESIAN_POINT('',(-4.306624327026,13.75,2.87045066129));
#1056 = VECTOR('',#1057,1.);
#1057 = DIRECTION('',(-0.,-0.,1.));
#1058 = ORIENTED_EDGE('',*,*,#1059,.T.);
#1059 = EDGE_CURVE('',#1052,#1060,#1062,.T.);
#1060 = VERTEX_POINT('',#1061);
#1061 = CARTESIAN_POINT('',(-4.25,13.75,17.875231387072));
#1062 = LINE('',#1063,#1064);
#1063 = CARTESIAN_POINT('',(-11.7644531496,13.75,9.878517372951));
#1064 = VECTOR('',#1065,1.);
#1065 = DIRECTION('',(0.684791078772,-0.,0.728739444819));
#1066 = ORIENTED_EDGE('',*,*,#1067,.T.);
#1067 = EDGE_CURVE('',#1060,#467,#1068,.T.);
#1068 = LINE('',#1069,#1070);
#1069 = CARTESIAN_POINT('',(-4.306624327026,13.75,17.875231387072));
#1070 = VECTOR('',#1071,1.);
#1071 = DIRECTION('',(1.,0.,0.));
#1072 = PLANE('',#1073);
#1073 = AXIS2_PLACEMENT_3D('',#1074,#1075,#1076);
#1074 = CARTESIAN_POINT('',(-4.306624327026,13.75,2.87045066129));
#1075 = DIRECTION('',(-0.,1.,0.));
#1076 = DIRECTION('',(0.,0.,1.));
#1077 = ADVANCED_FACE('',(#1078),#1089,.F.);
#1078 = FACE_BOUND('',#1079,.T.);
#1079 = EDGE_LOOP('',(#1080,#1081,#1082,#1083));
#1080 = ORIENTED_EDGE('',*,*,#907,.T.);
#1081 = ORIENTED_EDGE('',*,*,#474,.T.);
#1082 = ORIENTED_EDGE('',*,*,#1067,.F.);
#1083 = ORIENTED_EDGE('',*,*,#1084,.T.);
#1084 = EDGE_CURVE('',#1060,#908,#1085,.T.);
#1085 = LINE('',#1086,#1087);
#1086 = CARTESIAN_POINT('',(-4.25,19.180782010359,15.898588386513));
#1087 = VECTOR('',#1088,1.);
#1088 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#1089 = PLANE('',#1090);
#1090 = AXIS2_PLACEMENT_3D('',#1091,#1092,#1093);
#1091 = CARTESIAN_POINT('',(-7.25,-0.317079999406,22.995229789897));
#1092 = DIRECTION('',(-0.,0.342020143326,0.939692620786));
#1093 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#1094 = ADVANCED_FACE('',(#1095),#1107,.F.);
#1095 = FACE_BOUND('',#1096,.F.);
#1096 = EDGE_LOOP('',(#1097,#1098,#1099,#1100));
#1097 = ORIENTED_EDGE('',*,*,#718,.T.);
#1098 = ORIENTED_EDGE('',*,*,#538,.T.);
#1099 = ORIENTED_EDGE('',*,*,#1004,.T.);
#1100 = ORIENTED_EDGE('',*,*,#1101,.T.);
#1101 = EDGE_CURVE('',#997,#719,#1102,.T.);
#1102 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#1103,#1104,#1105,#1106),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(4.590619099094,
4.747542484699),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.997948973462,0.997948973462,1.)) REPRESENTATION_ITEM('') );
#1103 = CARTESIAN_POINT('',(-5.533321579334,22.185113462026,
    19.913011203791));
#1104 = CARTESIAN_POINT('',(-5.504700172948,22.29417449795,
    19.679129057495));
#1105 = CARTESIAN_POINT('',(-5.494498787733,22.403946108783,
    19.443723078388));
#1106 = CARTESIAN_POINT('',(-5.502780193623,22.513752861065,
    19.208241738202));
#1107 = PLANE('',#1108);
#1108 = AXIS2_PLACEMENT_3D('',#1109,#1110,#1111);
#1109 = CARTESIAN_POINT('',(10.25,22.185113462026,19.913011203791));
#1110 = DIRECTION('',(-0.,-0.906307787037,-0.422618261741));
#1111 = DIRECTION('',(-1.,0.,0.));
#1112 = ADVANCED_FACE('',(#1113),#1147,.F.);
#1113 = FACE_BOUND('',#1114,.F.);
#1114 = EDGE_LOOP('',(#1115,#1125,#1131,#1132,#1140));
#1115 = ORIENTED_EDGE('',*,*,#1116,.F.);
#1116 = EDGE_CURVE('',#1117,#1119,#1121,.T.);
#1117 = VERTEX_POINT('',#1118);
#1118 = CARTESIAN_POINT('',(5.75,11.25,17.188890314023));
#1119 = VERTEX_POINT('',#1120);
#1120 = CARTESIAN_POINT('',(5.75,11.25,17.887380054225));
#1121 = LINE('',#1122,#1123);
#1122 = CARTESIAN_POINT('',(5.75,11.25,2.87045066129));
#1123 = VECTOR('',#1124,1.);
#1124 = DIRECTION('',(-0.,-0.,1.));
#1125 = ORIENTED_EDGE('',*,*,#1126,.F.);
#1126 = EDGE_CURVE('',#581,#1117,#1127,.T.);
#1127 = LINE('',#1128,#1129);
#1128 = CARTESIAN_POINT('',(5.854414658952,11.069148505639,
    17.143599115615));
#1129 = VECTOR('',#1130,1.);
#1130 = DIRECTION('',(0.488639843152,-0.846349034942,-0.21195380331));
#1131 = ORIENTED_EDGE('',*,*,#580,.T.);
#1132 = ORIENTED_EDGE('',*,*,#1133,.F.);
#1133 = EDGE_CURVE('',#1134,#583,#1136,.T.);
#1134 = VERTEX_POINT('',#1135);
#1135 = CARTESIAN_POINT('',(5.522898415328,11.643351483131,
    18.913011203791));
#1136 = LINE('',#1137,#1138);
#1137 = CARTESIAN_POINT('',(4.306624327026,13.75,18.913011203791));
#1138 = VECTOR('',#1139,1.);
#1139 = DIRECTION('',(-0.5,0.866025403784,2.639081104908E-16));
#1140 = ORIENTED_EDGE('',*,*,#1141,.F.);
#1141 = EDGE_CURVE('',#1119,#1134,#1142,.T.);
#1142 = ELLIPSE('',#1143,9.,4.5);
#1143 = AXIS2_PLACEMENT_3D('',#1144,#1145,#1146);
#1144 = CARTESIAN_POINT('',(10.,3.888784067832,19.3664));
#1145 = DIRECTION('',(0.866025403784,0.5,0.));
#1146 = DIRECTION('',(-0.5,0.866025403784,0.));
#1147 = PLANE('',#1148);
#1148 = AXIS2_PLACEMENT_3D('',#1149,#1150,#1151);
#1149 = CARTESIAN_POINT('',(4.306624327026,13.75,2.87045066129));
#1150 = DIRECTION('',(0.866025403784,0.5,0.));
#1151 = DIRECTION('',(-0.5,0.866025403784,0.));
#1152 = ADVANCED_FACE('',(#1153),#1173,.T.);
#1153 = FACE_BOUND('',#1154,.T.);
#1154 = EDGE_LOOP('',(#1155,#1156,#1157,#1158,#1166,#1172));
#1155 = ORIENTED_EDGE('',*,*,#605,.F.);
#1156 = ORIENTED_EDGE('',*,*,#972,.F.);
#1157 = ORIENTED_EDGE('',*,*,#947,.F.);
#1158 = ORIENTED_EDGE('',*,*,#1159,.F.);
#1159 = EDGE_CURVE('',#1160,#940,#1162,.T.);
#1160 = VERTEX_POINT('',#1161);
#1161 = CARTESIAN_POINT('',(7.25,11.25,15.59262365531));
#1162 = LINE('',#1163,#1164);
#1163 = CARTESIAN_POINT('',(7.25,18.154721580382,13.079510524155));
#1164 = VECTOR('',#1165,1.);
#1165 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#1166 = ORIENTED_EDGE('',*,*,#1167,.F.);
#1167 = EDGE_CURVE('',#1117,#1160,#1168,.T.);
#1168 = LINE('',#1169,#1170);
#1169 = CARTESIAN_POINT('',(12.895392087672,11.25,9.584922878697));
#1170 = VECTOR('',#1171,1.);
#1171 = DIRECTION('',(0.684791078772,8.057845711286E-16,-0.728739444819)
  );
#1172 = ORIENTED_EDGE('',*,*,#1126,.F.);
#1173 = PLANE('',#1174);
#1174 = AXIS2_PLACEMENT_3D('',#1175,#1176,#1177);
#1175 = CARTESIAN_POINT('',(7.25,-1.343140429383,20.176151927539));
#1176 = DIRECTION('',(-0.707106781187,-0.241844762648,-0.664463024389));
#1177 = DIRECTION('',(-2.021716127842E-13,-0.939692620786,0.342020143326
    ));
#1178 = ADVANCED_FACE('',(#1179),#1191,.F.);
#1179 = FACE_BOUND('',#1180,.F.);
#1180 = EDGE_LOOP('',(#1181,#1182,#1183,#1190));
#1181 = ORIENTED_EDGE('',*,*,#621,.F.);
#1182 = ORIENTED_EDGE('',*,*,#643,.T.);
#1183 = ORIENTED_EDGE('',*,*,#1184,.F.);
#1184 = EDGE_CURVE('',#1134,#644,#1185,.T.);
#1185 = ELLIPSE('',#1186,12.727922061358,4.5);
#1186 = AXIS2_PLACEMENT_3D('',#1187,#1188,#1189);
#1187 = CARTESIAN_POINT('',(10.,4.79556166025,19.3664));
#1188 = DIRECTION('',(0.612372435696,0.353553390593,-0.707106781187));
#1189 = DIRECTION('',(-0.231455024943,0.935414346694,0.267261241912));
#1190 = ORIENTED_EDGE('',*,*,#1133,.T.);
#1191 = PLANE('',#1192);
#1192 = AXIS2_PLACEMENT_3D('',#1193,#1194,#1195);
#1193 = CARTESIAN_POINT('',(4.306624327026,13.75,18.913011203791));
#1194 = DIRECTION('',(0.612372435696,0.353553390593,-0.707106781187));
#1195 = DIRECTION('',(-0.5,0.866025403785,-3.498035194838E-13));
#1196 = ADVANCED_FACE('',(#1197),#1297,.T.);
#1197 = FACE_BOUND('',#1198,.T.);
#1198 = EDGE_LOOP('',(#1199,#1210,#1219,#1226,#1235,#1242,#1243,#1252,
    #1260,#1269,#1276,#1277,#1278,#1279,#1280,#1281,#1282,#1291));
#1199 = ORIENTED_EDGE('',*,*,#1200,.T.);
#1200 = EDGE_CURVE('',#1201,#1203,#1205,.T.);
#1201 = VERTEX_POINT('',#1202);
#1202 = CARTESIAN_POINT('',(7.25,8.25,15.804448287806));
#1203 = VERTEX_POINT('',#1204);
#1204 = CARTESIAN_POINT('',(5.510491342938,8.25,19.67350254673));
#1205 = CIRCLE('',#1206,4.5);
#1206 = AXIS2_PLACEMENT_3D('',#1207,#1208,#1209);
#1207 = CARTESIAN_POINT('',(10.,8.25,19.3664));
#1208 = DIRECTION('',(0.,1.,0.));
#1209 = DIRECTION('',(0.,-0.,1.));
#1210 = ORIENTED_EDGE('',*,*,#1211,.F.);
#1211 = EDGE_CURVE('',#1212,#1203,#1214,.T.);
#1212 = VERTEX_POINT('',#1213);
#1213 = CARTESIAN_POINT('',(10.,8.25,23.866399964212));
#1214 = CIRCLE('',#1215,4.5);
#1215 = AXIS2_PLACEMENT_3D('',#1216,#1217,#1218);
#1216 = CARTESIAN_POINT('',(10.,8.25,19.366399928425));
#1217 = DIRECTION('',(0.,-1.,0.));
#1218 = DIRECTION('',(0.,0.,1.));
#1219 = ORIENTED_EDGE('',*,*,#1220,.T.);
#1220 = EDGE_CURVE('',#1212,#1221,#1223,.T.);
#1221 = VERTEX_POINT('',#1222);
#1222 = CARTESIAN_POINT('',(10.,25.,23.866399964212));
#1223 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#1224,#1225),.UNSPECIFIED.,.F.,
  .F.,(2,2),(20.977922061358,37.727922061358),.PIECEWISE_BEZIER_KNOTS.);
#1224 = CARTESIAN_POINT('',(10.,8.25,23.866399928425));
#1225 = CARTESIAN_POINT('',(10.,25.,23.866399928425));
#1226 = ORIENTED_EDGE('',*,*,#1227,.F.);
#1227 = EDGE_CURVE('',#1228,#1221,#1230,.T.);
#1228 = VERTEX_POINT('',#1229);
#1229 = CARTESIAN_POINT('',(10.,25.,14.866399928425));
#1230 = CIRCLE('',#1231,4.5);
#1231 = AXIS2_PLACEMENT_3D('',#1232,#1233,#1234);
#1232 = CARTESIAN_POINT('',(10.,25.,19.366399928425));
#1233 = DIRECTION('',(0.,1.,7.155762691718E-18));
#1234 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#1235 = ORIENTED_EDGE('',*,*,#1236,.F.);
#1236 = EDGE_CURVE('',#1221,#1228,#1237,.T.);
#1237 = CIRCLE('',#1238,4.5);
#1238 = AXIS2_PLACEMENT_3D('',#1239,#1240,#1241);
#1239 = CARTESIAN_POINT('',(10.,25.,19.366399928425));
#1240 = DIRECTION('',(0.,1.,7.155762691718E-18));
#1241 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#1242 = ORIENTED_EDGE('',*,*,#1220,.F.);
#1243 = ORIENTED_EDGE('',*,*,#1244,.F.);
#1244 = EDGE_CURVE('',#1245,#1212,#1247,.T.);
#1245 = VERTEX_POINT('',#1246);
#1246 = CARTESIAN_POINT('',(10.25,8.25,14.873349739522));
#1247 = CIRCLE('',#1248,4.5);
#1248 = AXIS2_PLACEMENT_3D('',#1249,#1250,#1251);
#1249 = CARTESIAN_POINT('',(10.,8.25,19.366399928425));
#1250 = DIRECTION('',(0.,-1.,0.));
#1251 = DIRECTION('',(0.,0.,1.));
#1252 = ORIENTED_EDGE('',*,*,#1253,.T.);
#1253 = EDGE_CURVE('',#1245,#1254,#1256,.T.);
#1254 = VERTEX_POINT('',#1255);
#1255 = CARTESIAN_POINT('',(10.25,20.13784787543,14.873349739522));
#1256 = LINE('',#1257,#1258);
#1257 = CARTESIAN_POINT('',(10.25,-12.72792206135,14.873349739522));
#1258 = VECTOR('',#1259,1.);
#1259 = DIRECTION('',(-0.,1.,7.155762691718E-18));
#1260 = ORIENTED_EDGE('',*,*,#1261,.T.);
#1261 = EDGE_CURVE('',#1254,#1262,#1264,.T.);
#1262 = VERTEX_POINT('',#1263);
#1263 = CARTESIAN_POINT('',(10.,20.401362794175,14.866399928425));
#1264 = ELLIPSE('',#1265,6.772385873751,4.5);
#1265 = AXIS2_PLACEMENT_3D('',#1266,#1267,#1268);
#1266 = CARTESIAN_POINT('',(10.,22.039228848373,19.366399928425));
#1267 = DIRECTION('',(0.707106781187,0.664463024389,-0.241844762648));
#1268 = DIRECTION('',(-0.628707370918,0.74732114196,0.215030585111));
#1269 = ORIENTED_EDGE('',*,*,#1270,.T.);
#1270 = EDGE_CURVE('',#1262,#793,#1271,.T.);
#1271 = ELLIPSE('',#1272,6.772385873751,4.5);
#1272 = AXIS2_PLACEMENT_3D('',#1273,#1274,#1275);
#1273 = CARTESIAN_POINT('',(10.,22.039228848373,19.366399928425));
#1274 = DIRECTION('',(0.707106781187,0.664463024389,-0.241844762648));
#1275 = DIRECTION('',(-0.628707370918,0.74732114196,0.215030585111));
#1276 = ORIENTED_EDGE('',*,*,#800,.F.);
#1277 = ORIENTED_EDGE('',*,*,#809,.F.);
#1278 = ORIENTED_EDGE('',*,*,#683,.T.);
#1279 = ORIENTED_EDGE('',*,*,#661,.F.);
#1280 = ORIENTED_EDGE('',*,*,#1184,.F.);
#1281 = ORIENTED_EDGE('',*,*,#1141,.F.);
#1282 = ORIENTED_EDGE('',*,*,#1283,.F.);
#1283 = EDGE_CURVE('',#1284,#1119,#1286,.T.);
#1284 = VERTEX_POINT('',#1285);
#1285 = CARTESIAN_POINT('',(7.25,11.25,15.804448287806));
#1286 = CIRCLE('',#1287,4.5);
#1287 = AXIS2_PLACEMENT_3D('',#1288,#1289,#1290);
#1288 = CARTESIAN_POINT('',(10.,11.25,19.3664));
#1289 = DIRECTION('',(0.,1.,0.));
#1290 = DIRECTION('',(0.,-0.,1.));
#1291 = ORIENTED_EDGE('',*,*,#1292,.F.);
#1292 = EDGE_CURVE('',#1201,#1284,#1293,.T.);
#1293 = LINE('',#1294,#1295);
#1294 = CARTESIAN_POINT('',(7.25,8.25,15.804448287806));
#1295 = VECTOR('',#1296,1.);
#1296 = DIRECTION('',(0.,1.,0.));
#1297 = CYLINDRICAL_SURFACE('',#1298,4.5);
#1298 = AXIS2_PLACEMENT_3D('',#1299,#1300,#1301);
#1299 = CARTESIAN_POINT('',(10.,-12.72792206135,19.366399928425));
#1300 = DIRECTION('',(-0.,1.,7.155762691718E-18));
#1301 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#1302 = ADVANCED_FACE('',(#1303),#1322,.T.);
#1303 = FACE_BOUND('',#1304,.T.);
#1304 = EDGE_LOOP('',(#1305,#1306,#1314,#1320,#1321));
#1305 = ORIENTED_EDGE('',*,*,#1261,.F.);
#1306 = ORIENTED_EDGE('',*,*,#1307,.F.);
#1307 = EDGE_CURVE('',#1308,#1254,#1310,.T.);
#1308 = VERTEX_POINT('',#1309);
#1309 = CARTESIAN_POINT('',(10.25,17.44822656807,7.483675930676));
#1310 = LINE('',#1311,#1312);
#1311 = CARTESIAN_POINT('',(10.25,20.44811465809,15.725800718889));
#1312 = VECTOR('',#1313,1.);
#1313 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#1314 = ORIENTED_EDGE('',*,*,#1315,.F.);
#1315 = EDGE_CURVE('',#785,#1308,#1316,.T.);
#1316 = LINE('',#1317,#1318);
#1317 = CARTESIAN_POINT('',(16.046600459351,12.001203890774,
    9.466230050585));
#1318 = VECTOR('',#1319,1.);
#1319 = DIRECTION('',(0.707106781186,-0.664463024389,0.241844762648));
#1320 = ORIENTED_EDGE('',*,*,#792,.F.);
#1321 = ORIENTED_EDGE('',*,*,#1270,.F.);
#1322 = PLANE('',#1323);
#1323 = AXIS2_PLACEMENT_3D('',#1324,#1325,#1326);
#1324 = CARTESIAN_POINT('',(10.25,13.001964704839,-4.732328139541));
#1325 = DIRECTION('',(0.707106781187,0.664463024389,-0.241844762648));
#1326 = DIRECTION('',(2.021716127842E-13,-0.342020143326,-0.939692620786
    ));
#1327 = ADVANCED_FACE('',(#1328),#1370,.T.);
#1328 = FACE_BOUND('',#1329,.T.);
#1329 = EDGE_LOOP('',(#1330,#1338,#1346,#1354,#1362,#1368,#1369));
#1330 = ORIENTED_EDGE('',*,*,#1331,.T.);
#1331 = EDGE_CURVE('',#1308,#1332,#1334,.T.);
#1332 = VERTEX_POINT('',#1333);
#1333 = CARTESIAN_POINT('',(10.25,14.903172104507,8.41));
#1334 = LINE('',#1335,#1336);
#1335 = CARTESIAN_POINT('',(10.25,1.627184000876,13.242064500194));
#1336 = VECTOR('',#1337,1.);
#1337 = DIRECTION('',(-0.,-0.939692620786,0.342020143326));
#1338 = ORIENTED_EDGE('',*,*,#1339,.T.);
#1339 = EDGE_CURVE('',#1332,#1340,#1342,.T.);
#1340 = VERTEX_POINT('',#1341);
#1341 = CARTESIAN_POINT('',(13.6,14.903172104507,8.41));
#1342 = LINE('',#1343,#1344);
#1343 = CARTESIAN_POINT('',(-18.2,14.903172104507,8.41));
#1344 = VECTOR('',#1345,1.);
#1345 = DIRECTION('',(1.,0.,0.));
#1346 = ORIENTED_EDGE('',*,*,#1347,.T.);
#1347 = EDGE_CURVE('',#1340,#1348,#1350,.T.);
#1348 = VERTEX_POINT('',#1349);
#1349 = CARTESIAN_POINT('',(13.6,18.1563772005,7.225930179095));
#1350 = LINE('',#1351,#1352);
#1351 = CARTESIAN_POINT('',(13.6,-1.191893861482,14.268124930171));
#1352 = VECTOR('',#1353,1.);
#1353 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#1354 = ORIENTED_EDGE('',*,*,#1355,.T.);
#1355 = EDGE_CURVE('',#1348,#1356,#1358,.T.);
#1356 = VERTEX_POINT('',#1357);
#1357 = CARTESIAN_POINT('',(8.,18.1563772005,7.225930179095));
#1358 = LINE('',#1359,#1360);
#1359 = CARTESIAN_POINT('',(13.6,18.1563772005,7.225930179095));
#1360 = VECTOR('',#1361,1.);
#1361 = DIRECTION('',(-1.,0.,0.));
#1362 = ORIENTED_EDGE('',*,*,#1363,.F.);
#1363 = EDGE_CURVE('',#777,#1356,#1364,.T.);
#1364 = LINE('',#1365,#1366);
#1365 = CARTESIAN_POINT('',(8.,-1.191893861482,14.268124930171));
#1366 = VECTOR('',#1367,1.);
#1367 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#1368 = ORIENTED_EDGE('',*,*,#784,.F.);
#1369 = ORIENTED_EDGE('',*,*,#1315,.T.);
#1370 = PLANE('',#1371);
#1371 = AXIS2_PLACEMENT_3D('',#1372,#1373,#1374);
#1372 = CARTESIAN_POINT('',(13.6,-1.191893861482,14.268124930171));
#1373 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#1374 = DIRECTION('',(-1.,0.,0.));
#1375 = ADVANCED_FACE('',(#1376),#1402,.T.);
#1376 = FACE_BOUND('',#1377,.T.);
#1377 = EDGE_LOOP('',(#1378,#1379,#1380,#1388,#1396));
#1378 = ORIENTED_EDGE('',*,*,#776,.F.);
#1379 = ORIENTED_EDGE('',*,*,#1363,.T.);
#1380 = ORIENTED_EDGE('',*,*,#1381,.T.);
#1381 = EDGE_CURVE('',#1356,#1382,#1384,.T.);
#1382 = VERTEX_POINT('',#1383);
#1383 = CARTESIAN_POINT('',(8.,17.472336913849,5.346544937523));
#1384 = LINE('',#1385,#1386);
#1385 = CARTESIAN_POINT('',(8.,18.1563772005,7.225930179095));
#1386 = VECTOR('',#1387,1.);
#1387 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#1388 = ORIENTED_EDGE('',*,*,#1389,.F.);
#1389 = EDGE_CURVE('',#1390,#1382,#1392,.T.);
#1390 = VERTEX_POINT('',#1391);
#1391 = CARTESIAN_POINT('',(8.,16.764186281422,5.604290689104));
#1392 = LINE('',#1393,#1394);
#1393 = CARTESIAN_POINT('',(8.,7.798201382858,8.867642313061));
#1394 = VECTOR('',#1395,1.);
#1395 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#1396 = ORIENTED_EDGE('',*,*,#1397,.F.);
#1397 = EDGE_CURVE('',#769,#1390,#1398,.T.);
#1398 = LINE('',#1399,#1400);
#1399 = CARTESIAN_POINT('',(8.,11.048900306216,2.939209070319));
#1400 = VECTOR('',#1401,1.);
#1401 = DIRECTION('',(0.,-0.906307787037,-0.422618261741));
#1402 = PLANE('',#1403);
#1403 = AXIS2_PLACEMENT_3D('',#1404,#1405,#1406);
#1404 = CARTESIAN_POINT('',(8.,-1.191893861482,14.268124930171));
#1405 = DIRECTION('',(-1.,0.,-0.));
#1406 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#1407 = ADVANCED_FACE('',(#1408),#1426,.F.);
#1408 = FACE_BOUND('',#1409,.F.);
#1409 = EDGE_LOOP('',(#1410,#1418,#1424,#1425));
#1410 = ORIENTED_EDGE('',*,*,#1411,.T.);
#1411 = EDGE_CURVE('',#761,#1412,#1414,.T.);
#1412 = VERTEX_POINT('',#1413);
#1413 = CARTESIAN_POINT('',(-8.,16.764186281422,5.604290689104));
#1414 = LINE('',#1415,#1416);
#1415 = CARTESIAN_POINT('',(-8.,11.048900306216,2.939209070319));
#1416 = VECTOR('',#1417,1.);
#1417 = DIRECTION('',(0.,-0.906307787037,-0.422618261741));
#1418 = ORIENTED_EDGE('',*,*,#1419,.T.);
#1419 = EDGE_CURVE('',#1412,#1390,#1420,.T.);
#1420 = LINE('',#1421,#1422);
#1421 = CARTESIAN_POINT('',(-10.,16.764186281422,5.604290689104));
#1422 = VECTOR('',#1423,1.);
#1423 = DIRECTION('',(1.,-7.604534767235E-17,-2.089328755844E-16));
#1424 = ORIENTED_EDGE('',*,*,#1397,.F.);
#1425 = ORIENTED_EDGE('',*,*,#768,.T.);
#1426 = PLANE('',#1427);
#1427 = AXIS2_PLACEMENT_3D('',#1428,#1429,#1430);
#1428 = CARTESIAN_POINT('',(-10.,16.764186281422,5.604290689104));
#1429 = DIRECTION('',(1.572193394632E-16,-0.422618261741,0.906307787037)
  );
#1430 = DIRECTION('',(1.,-7.604534767239E-17,-2.089328755843E-16));
#1431 = ADVANCED_FACE('',(#1432),#1458,.F.);
#1432 = FACE_BOUND('',#1433,.F.);
#1433 = EDGE_LOOP('',(#1434,#1435,#1443,#1451,#1457));
#1434 = ORIENTED_EDGE('',*,*,#760,.F.);
#1435 = ORIENTED_EDGE('',*,*,#1436,.T.);
#1436 = EDGE_CURVE('',#753,#1437,#1439,.T.);
#1437 = VERTEX_POINT('',#1438);
#1438 = CARTESIAN_POINT('',(-8.,18.1563772005,7.225930179095));
#1439 = LINE('',#1440,#1441);
#1440 = CARTESIAN_POINT('',(-8.,-1.191893861482,14.268124930171));
#1441 = VECTOR('',#1442,1.);
#1442 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#1443 = ORIENTED_EDGE('',*,*,#1444,.T.);
#1444 = EDGE_CURVE('',#1437,#1445,#1447,.T.);
#1445 = VERTEX_POINT('',#1446);
#1446 = CARTESIAN_POINT('',(-8.,17.472336913849,5.346544937523));
#1447 = LINE('',#1448,#1449);
#1448 = CARTESIAN_POINT('',(-8.,18.1563772005,7.225930179095));
#1449 = VECTOR('',#1450,1.);
#1450 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#1451 = ORIENTED_EDGE('',*,*,#1452,.F.);
#1452 = EDGE_CURVE('',#1412,#1445,#1453,.T.);
#1453 = LINE('',#1454,#1455);
#1454 = CARTESIAN_POINT('',(-8.,7.798201382858,8.867642313061));
#1455 = VECTOR('',#1456,1.);
#1456 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#1457 = ORIENTED_EDGE('',*,*,#1411,.F.);
#1458 = PLANE('',#1459);
#1459 = AXIS2_PLACEMENT_3D('',#1460,#1461,#1462);
#1460 = CARTESIAN_POINT('',(-8.,-1.191893861482,14.268124930171));
#1461 = DIRECTION('',(-1.,0.,-0.));
#1462 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#1463 = ADVANCED_FACE('',(#1464),#1506,.F.);
#1464 = FACE_BOUND('',#1465,.F.);
#1465 = EDGE_LOOP('',(#1466,#1476,#1484,#1492,#1498,#1499,#1500));
#1466 = ORIENTED_EDGE('',*,*,#1467,.F.);
#1467 = EDGE_CURVE('',#1468,#1470,#1472,.T.);
#1468 = VERTEX_POINT('',#1469);
#1469 = CARTESIAN_POINT('',(-10.25,14.903172104507,8.41));
#1470 = VERTEX_POINT('',#1471);
#1471 = CARTESIAN_POINT('',(-10.25,17.448226568076,7.483675930674));
#1472 = LINE('',#1473,#1474);
#1473 = CARTESIAN_POINT('',(-10.25,1.627184000876,13.242064500194));
#1474 = VECTOR('',#1475,1.);
#1475 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#1476 = ORIENTED_EDGE('',*,*,#1477,.T.);
#1477 = EDGE_CURVE('',#1468,#1478,#1480,.T.);
#1478 = VERTEX_POINT('',#1479);
#1479 = CARTESIAN_POINT('',(-13.6,14.903172104507,8.41));
#1480 = LINE('',#1481,#1482);
#1481 = CARTESIAN_POINT('',(-31.8,14.903172104507,8.41));
#1482 = VECTOR('',#1483,1.);
#1483 = DIRECTION('',(-1.,-0.,0.));
#1484 = ORIENTED_EDGE('',*,*,#1485,.T.);
#1485 = EDGE_CURVE('',#1478,#1486,#1488,.T.);
#1486 = VERTEX_POINT('',#1487);
#1487 = CARTESIAN_POINT('',(-13.6,18.1563772005,7.225930179095));
#1488 = LINE('',#1489,#1490);
#1489 = CARTESIAN_POINT('',(-13.6,-1.191893861482,14.268124930171));
#1490 = VECTOR('',#1491,1.);
#1491 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#1492 = ORIENTED_EDGE('',*,*,#1493,.T.);
#1493 = EDGE_CURVE('',#1486,#1437,#1494,.T.);
#1494 = LINE('',#1495,#1496);
#1495 = CARTESIAN_POINT('',(-13.6,18.1563772005,7.225930179095));
#1496 = VECTOR('',#1497,1.);
#1497 = DIRECTION('',(1.,0.,0.));
#1498 = ORIENTED_EDGE('',*,*,#1436,.F.);
#1499 = ORIENTED_EDGE('',*,*,#752,.F.);
#1500 = ORIENTED_EDGE('',*,*,#1501,.F.);
#1501 = EDGE_CURVE('',#1470,#745,#1502,.T.);
#1502 = LINE('',#1503,#1504);
#1503 = CARTESIAN_POINT('',(-15.67160045934,12.353588623567,
    9.337972496839));
#1504 = VECTOR('',#1505,1.);
#1505 = DIRECTION('',(0.707106781186,0.664463024389,-0.241844762648));
#1506 = PLANE('',#1507);
#1507 = AXIS2_PLACEMENT_3D('',#1508,#1509,#1510);
#1508 = CARTESIAN_POINT('',(-13.6,-1.191893861482,14.268124930171));
#1509 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#1510 = DIRECTION('',(1.,0.,0.));
#1511 = ADVANCED_FACE('',(#1512),#1540,.F.);
#1512 = FACE_BOUND('',#1513,.F.);
#1513 = EDGE_LOOP('',(#1514,#1515,#1516,#1525,#1534));
#1514 = ORIENTED_EDGE('',*,*,#1501,.T.);
#1515 = ORIENTED_EDGE('',*,*,#744,.T.);
#1516 = ORIENTED_EDGE('',*,*,#1517,.F.);
#1517 = EDGE_CURVE('',#1518,#736,#1520,.T.);
#1518 = VERTEX_POINT('',#1519);
#1519 = CARTESIAN_POINT('',(-10.,20.401362794175,14.866399928425));
#1520 = ELLIPSE('',#1521,6.772385873751,4.5);
#1521 = AXIS2_PLACEMENT_3D('',#1522,#1523,#1524);
#1522 = CARTESIAN_POINT('',(-10.,22.039228848373,19.366399928425));
#1523 = DIRECTION('',(0.707106781187,-0.664463024389,0.241844762648));
#1524 = DIRECTION('',(0.628707370918,0.74732114196,0.215030585111));
#1525 = ORIENTED_EDGE('',*,*,#1526,.F.);
#1526 = EDGE_CURVE('',#1527,#1518,#1529,.T.);
#1527 = VERTEX_POINT('',#1528);
#1528 = CARTESIAN_POINT('',(-10.25,20.13784787543,14.873349739522));
#1529 = ELLIPSE('',#1530,6.772385873751,4.5);
#1530 = AXIS2_PLACEMENT_3D('',#1531,#1532,#1533);
#1531 = CARTESIAN_POINT('',(-10.,22.039228848373,19.366399928425));
#1532 = DIRECTION('',(0.707106781187,-0.664463024389,0.241844762648));
#1533 = DIRECTION('',(0.628707370918,0.74732114196,0.215030585111));
#1534 = ORIENTED_EDGE('',*,*,#1535,.T.);
#1535 = EDGE_CURVE('',#1527,#1470,#1536,.T.);
#1536 = LINE('',#1537,#1538);
#1537 = CARTESIAN_POINT('',(-10.25,13.001964704839,-4.732328139541));
#1538 = VECTOR('',#1539,1.);
#1539 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#1540 = PLANE('',#1541);
#1541 = AXIS2_PLACEMENT_3D('',#1542,#1543,#1544);
#1542 = CARTESIAN_POINT('',(-9.5,9.089462235532,-17.67469362764));
#1543 = DIRECTION('',(0.707106781187,-0.664463024389,0.241844762648));
#1544 = DIRECTION('',(2.021716127842E-13,0.342020143326,0.939692620786)
  );
#1545 = ADVANCED_FACE('',(#1546),#1646,.T.);
#1546 = FACE_BOUND('',#1547,.T.);
#1547 = EDGE_LOOP('',(#1548,#1549,#1557,#1566,#1573,#1582,#1589,#1590,
    #1599,#1608,#1616,#1625,#1634,#1641,#1642,#1643,#1644,#1645));
#1548 = ORIENTED_EDGE('',*,*,#1526,.F.);
#1549 = ORIENTED_EDGE('',*,*,#1550,.F.);
#1550 = EDGE_CURVE('',#1551,#1527,#1553,.T.);
#1551 = VERTEX_POINT('',#1552);
#1552 = CARTESIAN_POINT('',(-10.25,8.25,14.873349739522));
#1553 = LINE('',#1554,#1555);
#1554 = CARTESIAN_POINT('',(-10.25,-12.72792206135,14.873349739522));
#1555 = VECTOR('',#1556,1.);
#1556 = DIRECTION('',(-0.,1.,7.155762691718E-18));
#1557 = ORIENTED_EDGE('',*,*,#1558,.T.);
#1558 = EDGE_CURVE('',#1551,#1559,#1561,.T.);
#1559 = VERTEX_POINT('',#1560);
#1560 = CARTESIAN_POINT('',(-10.,8.25,23.866399964212));
#1561 = CIRCLE('',#1562,4.5);
#1562 = AXIS2_PLACEMENT_3D('',#1563,#1564,#1565);
#1563 = CARTESIAN_POINT('',(-10.,8.25,19.366399928425));
#1564 = DIRECTION('',(0.,1.,0.));
#1565 = DIRECTION('',(0.,-0.,1.));
#1566 = ORIENTED_EDGE('',*,*,#1567,.T.);
#1567 = EDGE_CURVE('',#1559,#1568,#1570,.T.);
#1568 = VERTEX_POINT('',#1569);
#1569 = CARTESIAN_POINT('',(-10.,25.,23.866399964212));
#1570 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#1571,#1572),.UNSPECIFIED.,.F.,
  .F.,(2,2),(20.977922061358,37.727922061358),.PIECEWISE_BEZIER_KNOTS.);
#1571 = CARTESIAN_POINT('',(-10.,8.25,23.866399928425));
#1572 = CARTESIAN_POINT('',(-10.,25.,23.866399928425));
#1573 = ORIENTED_EDGE('',*,*,#1574,.T.);
#1574 = EDGE_CURVE('',#1568,#1575,#1577,.T.);
#1575 = VERTEX_POINT('',#1576);
#1576 = CARTESIAN_POINT('',(-10.,25.,14.866399928425));
#1577 = CIRCLE('',#1578,4.5);
#1578 = AXIS2_PLACEMENT_3D('',#1579,#1580,#1581);
#1579 = CARTESIAN_POINT('',(-10.,25.,19.366399928425));
#1580 = DIRECTION('',(0.,-1.,-7.155762691718E-18));
#1581 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#1582 = ORIENTED_EDGE('',*,*,#1583,.T.);
#1583 = EDGE_CURVE('',#1575,#1568,#1584,.T.);
#1584 = CIRCLE('',#1585,4.5);
#1585 = AXIS2_PLACEMENT_3D('',#1586,#1587,#1588);
#1586 = CARTESIAN_POINT('',(-10.,25.,19.366399928425));
#1587 = DIRECTION('',(0.,-1.,-7.155762691718E-18));
#1588 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#1589 = ORIENTED_EDGE('',*,*,#1567,.F.);
#1590 = ORIENTED_EDGE('',*,*,#1591,.T.);
#1591 = EDGE_CURVE('',#1559,#1592,#1594,.T.);
#1592 = VERTEX_POINT('',#1593);
#1593 = CARTESIAN_POINT('',(-5.510491342938,8.25,19.67350254673));
#1594 = CIRCLE('',#1595,4.5);
#1595 = AXIS2_PLACEMENT_3D('',#1596,#1597,#1598);
#1596 = CARTESIAN_POINT('',(-10.,8.25,19.366399928425));
#1597 = DIRECTION('',(0.,1.,0.));
#1598 = DIRECTION('',(0.,-0.,1.));
#1599 = ORIENTED_EDGE('',*,*,#1600,.T.);
#1600 = EDGE_CURVE('',#1592,#1601,#1603,.T.);
#1601 = VERTEX_POINT('',#1602);
#1602 = CARTESIAN_POINT('',(-7.25,8.25,15.804448287806));
#1603 = CIRCLE('',#1604,4.5);
#1604 = AXIS2_PLACEMENT_3D('',#1605,#1606,#1607);
#1605 = CARTESIAN_POINT('',(-10.,8.25,19.3664));
#1606 = DIRECTION('',(0.,1.,0.));
#1607 = DIRECTION('',(0.,-0.,1.));
#1608 = ORIENTED_EDGE('',*,*,#1609,.T.);
#1609 = EDGE_CURVE('',#1601,#1610,#1612,.T.);
#1610 = VERTEX_POINT('',#1611);
#1611 = CARTESIAN_POINT('',(-7.25,11.25,15.804448287806));
#1612 = LINE('',#1613,#1614);
#1613 = CARTESIAN_POINT('',(-7.25,8.25,15.804448287806));
#1614 = VECTOR('',#1615,1.);
#1615 = DIRECTION('',(0.,1.,0.));
#1616 = ORIENTED_EDGE('',*,*,#1617,.F.);
#1617 = EDGE_CURVE('',#1618,#1610,#1620,.T.);
#1618 = VERTEX_POINT('',#1619);
#1619 = CARTESIAN_POINT('',(-5.75,11.25,17.887380054225));
#1620 = CIRCLE('',#1621,4.5);
#1621 = AXIS2_PLACEMENT_3D('',#1622,#1623,#1624);
#1622 = CARTESIAN_POINT('',(-10.,11.25,19.3664));
#1623 = DIRECTION('',(0.,1.,0.));
#1624 = DIRECTION('',(0.,-0.,1.));
#1625 = ORIENTED_EDGE('',*,*,#1626,.F.);
#1626 = EDGE_CURVE('',#1627,#1618,#1629,.T.);
#1627 = VERTEX_POINT('',#1628);
#1628 = CARTESIAN_POINT('',(-5.522898415328,11.643351483131,
    18.913011203791));
#1629 = ELLIPSE('',#1630,9.,4.5);
#1630 = AXIS2_PLACEMENT_3D('',#1631,#1632,#1633);
#1631 = CARTESIAN_POINT('',(-10.,3.888784067832,19.3664));
#1632 = DIRECTION('',(-0.866025403784,0.5,0.));
#1633 = DIRECTION('',(0.5,0.866025403784,0.));
#1634 = ORIENTED_EDGE('',*,*,#1635,.F.);
#1635 = EDGE_CURVE('',#987,#1627,#1636,.T.);
#1636 = ELLIPSE('',#1637,12.727922061358,4.5);
#1637 = AXIS2_PLACEMENT_3D('',#1638,#1639,#1640);
#1638 = CARTESIAN_POINT('',(-10.,4.79556166025,19.3664));
#1639 = DIRECTION('',(-0.612372435696,0.353553390593,-0.707106781187));
#1640 = DIRECTION('',(0.231455024943,0.935414346694,0.267261241912));
#1641 = ORIENTED_EDGE('',*,*,#996,.T.);
#1642 = ORIENTED_EDGE('',*,*,#1101,.T.);
#1643 = ORIENTED_EDGE('',*,*,#726,.T.);
#1644 = ORIENTED_EDGE('',*,*,#735,.F.);
#1645 = ORIENTED_EDGE('',*,*,#1517,.F.);
#1646 = CYLINDRICAL_SURFACE('',#1647,4.5);
#1647 = AXIS2_PLACEMENT_3D('',#1648,#1649,#1650);
#1648 = CARTESIAN_POINT('',(-10.,-12.72792206135,19.366399928425));
#1649 = DIRECTION('',(-0.,1.,7.155762691718E-18));
#1650 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#1651 = ADVANCED_FACE('',(#1652),#1679,.T.);
#1652 = FACE_BOUND('',#1653,.T.);
#1653 = EDGE_LOOP('',(#1654,#1664,#1670,#1671,#1672,#1673));
#1654 = ORIENTED_EDGE('',*,*,#1655,.F.);
#1655 = EDGE_CURVE('',#1656,#1658,#1660,.T.);
#1656 = VERTEX_POINT('',#1657);
#1657 = CARTESIAN_POINT('',(-7.25,11.25,15.59262365531));
#1658 = VERTEX_POINT('',#1659);
#1659 = CARTESIAN_POINT('',(-5.75,11.25,17.188890314023));
#1660 = LINE('',#1661,#1662);
#1661 = CARTESIAN_POINT('',(-13.59880032002,11.25,8.836371472856));
#1662 = VECTOR('',#1663,1.);
#1663 = DIRECTION('',(0.684791078772,-0.,0.728739444819));
#1664 = ORIENTED_EDGE('',*,*,#1665,.F.);
#1665 = EDGE_CURVE('',#916,#1656,#1666,.T.);
#1666 = LINE('',#1667,#1668);
#1667 = CARTESIAN_POINT('',(-7.25,10.223939570023,15.96607911038));
#1668 = VECTOR('',#1669,1.);
#1669 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#1670 = ORIENTED_EDGE('',*,*,#915,.F.);
#1671 = ORIENTED_EDGE('',*,*,#1084,.F.);
#1672 = ORIENTED_EDGE('',*,*,#1059,.F.);
#1673 = ORIENTED_EDGE('',*,*,#1674,.F.);
#1674 = EDGE_CURVE('',#1658,#1052,#1675,.T.);
#1675 = LINE('',#1676,#1677);
#1676 = CARTESIAN_POINT('',(-7.232947524572,8.681459542483,
    16.545642792671));
#1677 = VECTOR('',#1678,1.);
#1678 = DIRECTION('',(0.488639843152,0.846349034942,0.21195380331));
#1679 = PLANE('',#1680);
#1680 = AXIS2_PLACEMENT_3D('',#1681,#1682,#1683);
#1681 = CARTESIAN_POINT('',(-4.25,-0.317079999406,22.995229789897));
#1682 = DIRECTION('',(0.707106781187,-0.241844762648,-0.664463024389));
#1683 = DIRECTION('',(2.021716127842E-13,-0.939692620786,0.342020143326)
  );
#1684 = ADVANCED_FACE('',(#1685),#1756,.F.);
#1685 = FACE_BOUND('',#1686,.F.);
#1686 = EDGE_LOOP('',(#1687,#1693,#1694,#1695,#1703,#1711,#1717,#1725,
    #1733,#1741,#1749,#1755));
#1687 = ORIENTED_EDGE('',*,*,#1688,.F.);
#1688 = EDGE_CURVE('',#1656,#1610,#1689,.T.);
#1689 = LINE('',#1690,#1691);
#1690 = CARTESIAN_POINT('',(-7.25,11.25,2.87045066129));
#1691 = VECTOR('',#1692,1.);
#1692 = DIRECTION('',(-0.,-0.,1.));
#1693 = ORIENTED_EDGE('',*,*,#1665,.F.);
#1694 = ORIENTED_EDGE('',*,*,#923,.F.);
#1695 = ORIENTED_EDGE('',*,*,#1696,.F.);
#1696 = EDGE_CURVE('',#1697,#924,#1699,.T.);
#1697 = VERTEX_POINT('',#1698);
#1698 = CARTESIAN_POINT('',(-7.25,15.206092004237,9.363923945607));
#1699 = LINE('',#1700,#1701);
#1700 = CARTESIAN_POINT('',(-7.25,7.676547736165,5.852839790988));
#1701 = VECTOR('',#1702,1.);
#1702 = DIRECTION('',(-0.,0.906307787037,0.422618261741));
#1703 = ORIENTED_EDGE('',*,*,#1704,.T.);
#1704 = EDGE_CURVE('',#1697,#1705,#1707,.T.);
#1705 = VERTEX_POINT('',#1706);
#1706 = CARTESIAN_POINT('',(-7.25,14.18003157426,6.544846083249));
#1707 = LINE('',#1708,#1709);
#1708 = CARTESIAN_POINT('',(-7.25,20.911749485893,25.040089039599));
#1709 = VECTOR('',#1710,1.);
#1710 = DIRECTION('',(-2.223417221363E-16,-0.342020143326,
    -0.939692620786));
#1711 = ORIENTED_EDGE('',*,*,#1712,.F.);
#1712 = EDGE_CURVE('',#150,#1705,#1713,.T.);
#1713 = LINE('',#1714,#1715);
#1714 = CARTESIAN_POINT('',(-7.25,14.18003157426,6.544846083249));
#1715 = VECTOR('',#1716,1.);
#1716 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#1717 = ORIENTED_EDGE('',*,*,#1718,.F.);
#1718 = EDGE_CURVE('',#1719,#150,#1721,.T.);
#1719 = VERTEX_POINT('',#1720);
#1720 = CARTESIAN_POINT('',(-7.25,9.951414780724,8.083936728215));
#1721 = LINE('',#1722,#1723);
#1722 = CARTESIAN_POINT('',(-7.25,14.18003157426,6.544846083249));
#1723 = VECTOR('',#1724,1.);
#1724 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#1725 = ORIENTED_EDGE('',*,*,#1726,.F.);
#1726 = EDGE_CURVE('',#1727,#1719,#1729,.T.);
#1727 = VERTEX_POINT('',#1728);
#1728 = CARTESIAN_POINT('',(-7.25,8.671427563332,13.338613951728));
#1729 = LINE('',#1730,#1731);
#1730 = CARTESIAN_POINT('',(-7.25,5.947458361889,24.521209157276));
#1731 = VECTOR('',#1732,1.);
#1732 = DIRECTION('',(0.,0.236669720218,-0.971590162328));
#1733 = ORIENTED_EDGE('',*,*,#1734,.F.);
#1734 = EDGE_CURVE('',#1735,#1727,#1737,.T.);
#1735 = VERTEX_POINT('',#1736);
#1736 = CARTESIAN_POINT('',(-7.25,5.847608800326,14.366399928425));
#1737 = LINE('',#1738,#1739);
#1738 = CARTESIAN_POINT('',(-7.25,-2.36920085936,17.357074065181));
#1739 = VECTOR('',#1740,1.);
#1740 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#1741 = ORIENTED_EDGE('',*,*,#1742,.T.);
#1742 = EDGE_CURVE('',#1735,#1743,#1745,.T.);
#1743 = VERTEX_POINT('',#1744);
#1744 = CARTESIAN_POINT('',(-7.25,8.25,14.366399928425));
#1745 = LINE('',#1746,#1747);
#1746 = CARTESIAN_POINT('',(-7.25,2.385244779468E-15,14.366399928425));
#1747 = VECTOR('',#1748,1.);
#1748 = DIRECTION('',(0.,1.,0.));
#1749 = ORIENTED_EDGE('',*,*,#1750,.T.);
#1750 = EDGE_CURVE('',#1743,#1601,#1751,.T.);
#1751 = LINE('',#1752,#1753);
#1752 = CARTESIAN_POINT('',(-7.25,8.25,23.866399928425));
#1753 = VECTOR('',#1754,1.);
#1754 = DIRECTION('',(0.,0.,1.));
#1755 = ORIENTED_EDGE('',*,*,#1609,.T.);
#1756 = PLANE('',#1757);
#1757 = AXIS2_PLACEMENT_3D('',#1758,#1759,#1760);
#1758 = CARTESIAN_POINT('',(-7.25,-0.317079999406,22.995229789897));
#1759 = DIRECTION('',(-1.,-0.,0.));
#1760 = DIRECTION('',(0.,0.,1.));
#1761 = ADVANCED_FACE('',(#1762),#1780,.F.);
#1762 = FACE_BOUND('',#1763,.T.);
#1763 = EDGE_LOOP('',(#1764,#1772,#1773,#1774));
#1764 = ORIENTED_EDGE('',*,*,#1765,.F.);
#1765 = EDGE_CURVE('',#932,#1766,#1768,.T.);
#1766 = VERTEX_POINT('',#1767);
#1767 = CARTESIAN_POINT('',(7.25,15.206092004237,9.363923945607));
#1768 = LINE('',#1769,#1770);
#1769 = CARTESIAN_POINT('',(7.25,7.676547736165,5.852839790988));
#1770 = VECTOR('',#1771,1.);
#1771 = DIRECTION('',(-0.,-0.906307787037,-0.422618261741));
#1772 = ORIENTED_EDGE('',*,*,#931,.T.);
#1773 = ORIENTED_EDGE('',*,*,#1696,.F.);
#1774 = ORIENTED_EDGE('',*,*,#1775,.F.);
#1775 = EDGE_CURVE('',#1766,#1697,#1776,.T.);
#1776 = LINE('',#1777,#1778);
#1777 = CARTESIAN_POINT('',(7.25,15.206092004237,9.363923945607));
#1778 = VECTOR('',#1779,1.);
#1779 = DIRECTION('',(-1.,-5.767545292708E-17,2.099214811328E-17));
#1780 = PLANE('',#1781);
#1781 = AXIS2_PLACEMENT_3D('',#1782,#1783,#1784);
#1782 = CARTESIAN_POINT('',(7.25,15.206092004237,9.363923945607));
#1783 = DIRECTION('',(-4.340004696282E-17,0.422618261741,-0.906307787037
    ));
#1784 = DIRECTION('',(-1.,-5.767545292707E-17,2.099214811326E-17));
#1785 = ADVANCED_FACE('',(#1786),#1850,.F.);
#1786 = FACE_BOUND('',#1787,.F.);
#1787 = EDGE_LOOP('',(#1788,#1789,#1797,#1805,#1813,#1821,#1827,#1835,
    #1841,#1842,#1843,#1844));
#1788 = ORIENTED_EDGE('',*,*,#1292,.F.);
#1789 = ORIENTED_EDGE('',*,*,#1790,.T.);
#1790 = EDGE_CURVE('',#1201,#1791,#1793,.T.);
#1791 = VERTEX_POINT('',#1792);
#1792 = CARTESIAN_POINT('',(7.25,8.25,14.366399928425));
#1793 = LINE('',#1794,#1795);
#1794 = CARTESIAN_POINT('',(7.25,8.25,23.866399928425));
#1795 = VECTOR('',#1796,1.);
#1796 = DIRECTION('',(0.,0.,-1.));
#1797 = ORIENTED_EDGE('',*,*,#1798,.T.);
#1798 = EDGE_CURVE('',#1791,#1799,#1801,.T.);
#1799 = VERTEX_POINT('',#1800);
#1800 = CARTESIAN_POINT('',(7.25,5.847608800326,14.366399928425));
#1801 = LINE('',#1802,#1803);
#1802 = CARTESIAN_POINT('',(7.25,2.385244779468E-15,14.366399928425));
#1803 = VECTOR('',#1804,1.);
#1804 = DIRECTION('',(0.,-1.,0.));
#1805 = ORIENTED_EDGE('',*,*,#1806,.T.);
#1806 = EDGE_CURVE('',#1799,#1807,#1809,.T.);
#1807 = VERTEX_POINT('',#1808);
#1808 = CARTESIAN_POINT('',(7.25,8.671427563332,13.338613951728));
#1809 = LINE('',#1810,#1811);
#1810 = CARTESIAN_POINT('',(7.25,-2.36920085936,17.357074065181));
#1811 = VECTOR('',#1812,1.);
#1812 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#1813 = ORIENTED_EDGE('',*,*,#1814,.F.);
#1814 = EDGE_CURVE('',#1815,#1807,#1817,.T.);
#1815 = VERTEX_POINT('',#1816);
#1816 = CARTESIAN_POINT('',(7.25,9.951414780724,8.083936728215));
#1817 = LINE('',#1818,#1819);
#1818 = CARTESIAN_POINT('',(7.25,5.947458361889,24.521209157276));
#1819 = VECTOR('',#1820,1.);
#1820 = DIRECTION('',(0.,-0.236669720218,0.971590162328));
#1821 = ORIENTED_EDGE('',*,*,#1822,.F.);
#1822 = EDGE_CURVE('',#158,#1815,#1823,.T.);
#1823 = LINE('',#1824,#1825);
#1824 = CARTESIAN_POINT('',(7.25,14.18003157426,6.544846083249));
#1825 = VECTOR('',#1826,1.);
#1826 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#1827 = ORIENTED_EDGE('',*,*,#1828,.F.);
#1828 = EDGE_CURVE('',#1829,#158,#1831,.T.);
#1829 = VERTEX_POINT('',#1830);
#1830 = CARTESIAN_POINT('',(7.25,14.18003157426,6.544846083249));
#1831 = LINE('',#1832,#1833);
#1832 = CARTESIAN_POINT('',(7.25,14.18003157426,6.544846083249));
#1833 = VECTOR('',#1834,1.);
#1834 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#1835 = ORIENTED_EDGE('',*,*,#1836,.F.);
#1836 = EDGE_CURVE('',#1766,#1829,#1837,.T.);
#1837 = LINE('',#1838,#1839);
#1838 = CARTESIAN_POINT('',(7.25,20.911749485893,25.040089039599));
#1839 = VECTOR('',#1840,1.);
#1840 = DIRECTION('',(-2.223417221363E-16,-0.342020143326,
    -0.939692620786));
#1841 = ORIENTED_EDGE('',*,*,#1765,.F.);
#1842 = ORIENTED_EDGE('',*,*,#939,.F.);
#1843 = ORIENTED_EDGE('',*,*,#1159,.F.);
#1844 = ORIENTED_EDGE('',*,*,#1845,.T.);
#1845 = EDGE_CURVE('',#1160,#1284,#1846,.T.);
#1846 = LINE('',#1847,#1848);
#1847 = CARTESIAN_POINT('',(7.25,11.25,2.87045066129));
#1848 = VECTOR('',#1849,1.);
#1849 = DIRECTION('',(-0.,-0.,1.));
#1850 = PLANE('',#1851);
#1851 = AXIS2_PLACEMENT_3D('',#1852,#1853,#1854);
#1852 = CARTESIAN_POINT('',(7.25,-0.317079999406,22.995229789897));
#1853 = DIRECTION('',(1.,0.,0.));
#1854 = DIRECTION('',(0.,0.,-1.));
#1855 = ADVANCED_FACE('',(#1856),#1867,.F.);
#1856 = FACE_BOUND('',#1857,.F.);
#1857 = EDGE_LOOP('',(#1858,#1859,#1860,#1861));
#1858 = ORIENTED_EDGE('',*,*,#1635,.F.);
#1859 = ORIENTED_EDGE('',*,*,#986,.T.);
#1860 = ORIENTED_EDGE('',*,*,#1027,.T.);
#1861 = ORIENTED_EDGE('',*,*,#1862,.T.);
#1862 = EDGE_CURVE('',#1028,#1627,#1863,.T.);
#1863 = LINE('',#1864,#1865);
#1864 = CARTESIAN_POINT('',(-5.75,11.25,18.913011203791));
#1865 = VECTOR('',#1866,1.);
#1866 = DIRECTION('',(-0.5,-0.866025403784,-2.639081104908E-16));
#1867 = PLANE('',#1868);
#1868 = AXIS2_PLACEMENT_3D('',#1869,#1870,#1871);
#1869 = CARTESIAN_POINT('',(-5.75,11.25,18.913011203791));
#1870 = DIRECTION('',(-0.612372435696,0.353553390593,-0.707106781187));
#1871 = DIRECTION('',(-0.5,-0.866025403785,3.498035194838E-13));
#1872 = ADVANCED_FACE('',(#1873),#1885,.F.);
#1873 = FACE_BOUND('',#1874,.F.);
#1874 = EDGE_LOOP('',(#1875,#1876,#1877,#1883,#1884));
#1875 = ORIENTED_EDGE('',*,*,#1051,.F.);
#1876 = ORIENTED_EDGE('',*,*,#1674,.F.);
#1877 = ORIENTED_EDGE('',*,*,#1878,.T.);
#1878 = EDGE_CURVE('',#1658,#1618,#1879,.T.);
#1879 = LINE('',#1880,#1881);
#1880 = CARTESIAN_POINT('',(-5.75,11.25,2.87045066129));
#1881 = VECTOR('',#1882,1.);
#1882 = DIRECTION('',(-0.,-0.,1.));
#1883 = ORIENTED_EDGE('',*,*,#1626,.F.);
#1884 = ORIENTED_EDGE('',*,*,#1862,.F.);
#1885 = PLANE('',#1886);
#1886 = AXIS2_PLACEMENT_3D('',#1887,#1888,#1889);
#1887 = CARTESIAN_POINT('',(-5.75,11.25,2.87045066129));
#1888 = DIRECTION('',(-0.866025403784,0.5,0.));
#1889 = DIRECTION('',(-0.5,-0.866025403784,0.));
#1890 = ADVANCED_FACE('',(#1891),#1897,.F.);
#1891 = FACE_BOUND('',#1892,.F.);
#1892 = EDGE_LOOP('',(#1893,#1894,#1895,#1896));
#1893 = ORIENTED_EDGE('',*,*,#1845,.F.);
#1894 = ORIENTED_EDGE('',*,*,#1167,.F.);
#1895 = ORIENTED_EDGE('',*,*,#1116,.T.);
#1896 = ORIENTED_EDGE('',*,*,#1283,.F.);
#1897 = PLANE('',#1898);
#1898 = AXIS2_PLACEMENT_3D('',#1899,#1900,#1901);
#1899 = CARTESIAN_POINT('',(5.75,11.25,2.87045066129));
#1900 = DIRECTION('',(-1.156482317318E-15,1.,0.));
#1901 = DIRECTION('',(-1.,-1.156482317318E-15,0.));
#1902 = ADVANCED_FACE('',(#1903,#1923),#1961,.T.);
#1903 = FACE_BOUND('',#1904,.T.);
#1904 = EDGE_LOOP('',(#1905,#1906,#1914,#1920,#1921,#1922));
#1905 = ORIENTED_EDGE('',*,*,#1790,.T.);
#1906 = ORIENTED_EDGE('',*,*,#1907,.T.);
#1907 = EDGE_CURVE('',#1791,#1908,#1910,.T.);
#1908 = VERTEX_POINT('',#1909);
#1909 = CARTESIAN_POINT('',(10.25,8.25,14.366399928425));
#1910 = LINE('',#1911,#1912);
#1911 = CARTESIAN_POINT('',(-17.,8.25,14.366399928425));
#1912 = VECTOR('',#1913,1.);
#1913 = DIRECTION('',(1.,-0.,-0.));
#1914 = ORIENTED_EDGE('',*,*,#1915,.T.);
#1915 = EDGE_CURVE('',#1908,#1245,#1916,.T.);
#1916 = LINE('',#1917,#1918);
#1917 = CARTESIAN_POINT('',(10.25,8.25,0.));
#1918 = VECTOR('',#1919,1.);
#1919 = DIRECTION('',(-0.,0.,1.));
#1920 = ORIENTED_EDGE('',*,*,#1244,.T.);
#1921 = ORIENTED_EDGE('',*,*,#1211,.T.);
#1922 = ORIENTED_EDGE('',*,*,#1200,.F.);
#1923 = FACE_BOUND('',#1924,.T.);
#1924 = EDGE_LOOP('',(#1925,#1936,#1945,#1954));
#1925 = ORIENTED_EDGE('',*,*,#1926,.T.);
#1926 = EDGE_CURVE('',#1927,#1929,#1931,.T.);
#1927 = VERTEX_POINT('',#1928);
#1928 = CARTESIAN_POINT('',(8.552000061826,8.25,17.206933286162));
#1929 = VERTEX_POINT('',#1930);
#1930 = CARTESIAN_POINT('',(7.415938755514,8.25,19.078949959305));
#1931 = CIRCLE('',#1932,2.6);
#1932 = AXIS2_PLACEMENT_3D('',#1933,#1934,#1935);
#1933 = CARTESIAN_POINT('',(10.,8.25,19.366399928425));
#1934 = DIRECTION('',(0.,1.,0.));
#1935 = DIRECTION('',(0.,-0.,1.));
#1936 = ORIENTED_EDGE('',*,*,#1937,.T.);
#1937 = EDGE_CURVE('',#1929,#1938,#1940,.T.);
#1938 = VERTEX_POINT('',#1939);
#1939 = CARTESIAN_POINT('',(10.,8.25,21.966399928425));
#1940 = CIRCLE('',#1941,2.6);
#1941 = AXIS2_PLACEMENT_3D('',#1942,#1943,#1944);
#1942 = CARTESIAN_POINT('',(10.,8.25,19.366399928425));
#1943 = DIRECTION('',(0.,1.,0.));
#1944 = DIRECTION('',(0.,-0.,1.));
#1945 = ORIENTED_EDGE('',*,*,#1946,.T.);
#1946 = EDGE_CURVE('',#1938,#1947,#1949,.T.);
#1947 = VERTEX_POINT('',#1948);
#1948 = CARTESIAN_POINT('',(10.,8.25,16.766399928425));
#1949 = CIRCLE('',#1950,2.6);
#1950 = AXIS2_PLACEMENT_3D('',#1951,#1952,#1953);
#1951 = CARTESIAN_POINT('',(10.,8.25,19.366399928425));
#1952 = DIRECTION('',(0.,1.,0.));
#1953 = DIRECTION('',(0.,-0.,1.));
#1954 = ORIENTED_EDGE('',*,*,#1955,.T.);
#1955 = EDGE_CURVE('',#1947,#1927,#1956,.T.);
#1956 = CIRCLE('',#1957,2.6);
#1957 = AXIS2_PLACEMENT_3D('',#1958,#1959,#1960);
#1958 = CARTESIAN_POINT('',(10.,8.25,19.366399928425));
#1959 = DIRECTION('',(0.,1.,0.));
#1960 = DIRECTION('',(0.,-0.,1.));
#1961 = PLANE('',#1962);
#1962 = AXIS2_PLACEMENT_3D('',#1963,#1964,#1965);
#1963 = CARTESIAN_POINT('',(9.733840998595,8.25,19.00026653386));
#1964 = DIRECTION('',(-0.,-1.,-0.));
#1965 = DIRECTION('',(0.,0.,-1.));
#1966 = ADVANCED_FACE('',(#1967,#1987),#1991,.F.);
#1967 = FACE_BOUND('',#1968,.T.);
#1968 = EDGE_LOOP('',(#1969,#1980));
#1969 = ORIENTED_EDGE('',*,*,#1970,.T.);
#1970 = EDGE_CURVE('',#1971,#1973,#1975,.T.);
#1971 = VERTEX_POINT('',#1972);
#1972 = CARTESIAN_POINT('',(10.,25.,21.966399928425));
#1973 = VERTEX_POINT('',#1974);
#1974 = CARTESIAN_POINT('',(10.,25.,16.766399928425));
#1975 = CIRCLE('',#1976,2.6);
#1976 = AXIS2_PLACEMENT_3D('',#1977,#1978,#1979);
#1977 = CARTESIAN_POINT('',(10.,25.,19.366399928425));
#1978 = DIRECTION('',(-0.,-1.,-7.155762691718E-18));
#1979 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#1980 = ORIENTED_EDGE('',*,*,#1981,.T.);
#1981 = EDGE_CURVE('',#1973,#1971,#1982,.T.);
#1982 = CIRCLE('',#1983,2.6);
#1983 = AXIS2_PLACEMENT_3D('',#1984,#1985,#1986);
#1984 = CARTESIAN_POINT('',(10.,25.,19.366399928425));
#1985 = DIRECTION('',(-0.,-1.,-7.155762691718E-18));
#1986 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#1987 = FACE_BOUND('',#1988,.T.);
#1988 = EDGE_LOOP('',(#1989,#1990));
#1989 = ORIENTED_EDGE('',*,*,#1236,.T.);
#1990 = ORIENTED_EDGE('',*,*,#1227,.T.);
#1991 = PLANE('',#1992);
#1992 = AXIS2_PLACEMENT_3D('',#1993,#1994,#1995);
#1993 = CARTESIAN_POINT('',(10.,25.,19.366399928425));
#1994 = DIRECTION('',(0.,-1.,-7.155762691718E-18));
#1995 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#1996 = ADVANCED_FACE('',(#1997),#2041,.T.);
#1997 = FACE_BOUND('',#1998,.T.);
#1998 = EDGE_LOOP('',(#1999,#2009,#2017,#2025,#2031,#2032,#2033,#2034,
    #2035));
#1999 = ORIENTED_EDGE('',*,*,#2000,.F.);
#2000 = EDGE_CURVE('',#2001,#2003,#2005,.T.);
#2001 = VERTEX_POINT('',#2002);
#2002 = CARTESIAN_POINT('',(10.25,2.168404344971E-15,13.142595490077));
#2003 = VERTEX_POINT('',#2004);
#2004 = CARTESIAN_POINT('',(10.25,2.385244779468E-15,14.366399928425));
#2005 = LINE('',#2006,#2007);
#2006 = CARTESIAN_POINT('',(10.25,2.48804732809E-15,1.780387624558E-32)
  );
#2007 = VECTOR('',#2008,1.);
#2008 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#2009 = ORIENTED_EDGE('',*,*,#2010,.T.);
#2010 = EDGE_CURVE('',#2001,#2011,#2013,.T.);
#2011 = VERTEX_POINT('',#2012);
#2012 = CARTESIAN_POINT('',(10.25,4.923454386979,11.35060464345));
#2013 = LINE('',#2014,#2015);
#2014 = CARTESIAN_POINT('',(10.25,4.223948770072,11.605203866706));
#2015 = VECTOR('',#2016,1.);
#2016 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#2017 = ORIENTED_EDGE('',*,*,#2018,.T.);
#2018 = EDGE_CURVE('',#2011,#2019,#2021,.T.);
#2019 = VERTEX_POINT('',#2020);
#2020 = CARTESIAN_POINT('',(10.25,13.002699244393,8.41));
#2021 = LINE('',#2022,#2023);
#2022 = CARTESIAN_POINT('',(10.25,4.223948770072,11.605203866706));
#2023 = VECTOR('',#2024,1.);
#2024 = DIRECTION('',(-0.,0.939692620786,-0.342020143326));
#2025 = ORIENTED_EDGE('',*,*,#2026,.F.);
#2026 = EDGE_CURVE('',#1332,#2019,#2027,.T.);
#2027 = LINE('',#2028,#2029);
#2028 = CARTESIAN_POINT('',(10.25,0.,8.41));
#2029 = VECTOR('',#2030,1.);
#2030 = DIRECTION('',(-0.,-1.,0.));
#2031 = ORIENTED_EDGE('',*,*,#1331,.F.);
#2032 = ORIENTED_EDGE('',*,*,#1307,.T.);
#2033 = ORIENTED_EDGE('',*,*,#1253,.F.);
#2034 = ORIENTED_EDGE('',*,*,#1915,.F.);
#2035 = ORIENTED_EDGE('',*,*,#2036,.F.);
#2036 = EDGE_CURVE('',#2003,#1908,#2037,.T.);
#2037 = LINE('',#2038,#2039);
#2038 = CARTESIAN_POINT('',(10.25,0.,14.366399928425));
#2039 = VECTOR('',#2040,1.);
#2040 = DIRECTION('',(0.,1.,0.));
#2041 = PLANE('',#2042);
#2042 = AXIS2_PLACEMENT_3D('',#2043,#2044,#2045);
#2043 = CARTESIAN_POINT('',(10.25,0.,0.));
#2044 = DIRECTION('',(1.,-0.,0.));
#2045 = DIRECTION('',(0.,0.,-1.));
#2046 = ADVANCED_FACE('',(#2047),#2080,.T.);
#2047 = FACE_BOUND('',#2048,.T.);
#2048 = EDGE_LOOP('',(#2049,#2050,#2058,#2066,#2074));
#2049 = ORIENTED_EDGE('',*,*,#1347,.F.);
#2050 = ORIENTED_EDGE('',*,*,#2051,.T.);
#2051 = EDGE_CURVE('',#1340,#2052,#2054,.T.);
#2052 = VERTEX_POINT('',#2053);
#2053 = CARTESIAN_POINT('',(14.6,11.979367704344,8.41));
#2054 = LINE('',#2055,#2056);
#2055 = CARTESIAN_POINT('',(15.120258836537,10.458232628854,8.41));
#2056 = VECTOR('',#2057,1.);
#2057 = DIRECTION('',(0.323615577118,-0.946188648339,0.));
#2058 = ORIENTED_EDGE('',*,*,#2059,.T.);
#2059 = EDGE_CURVE('',#2052,#2060,#2062,.T.);
#2060 = VERTEX_POINT('',#2061);
#2061 = CARTESIAN_POINT('',(14.6,17.109587591585,6.542752665804));
#2062 = LINE('',#2063,#2064);
#2063 = CARTESIAN_POINT('',(14.6,-1.533914004807,13.328432309385));
#2064 = VECTOR('',#2065,1.);
#2065 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#2066 = ORIENTED_EDGE('',*,*,#2067,.F.);
#2067 = EDGE_CURVE('',#2068,#2060,#2070,.T.);
#2068 = VERTEX_POINT('',#2069);
#2069 = CARTESIAN_POINT('',(13.85,18.070872164669,6.991007023899));
#2070 = LINE('',#2071,#2072);
#2071 = CARTESIAN_POINT('',(22.99,6.356017500689,1.528280579912));
#2072 = VECTOR('',#2073,1.);
#2073 = DIRECTION('',(0.57735026919,-0.739997209384,-0.345066365749));
#2074 = ORIENTED_EDGE('',*,*,#2075,.T.);
#2075 = EDGE_CURVE('',#2068,#1348,#2076,.T.);
#2076 = LINE('',#2077,#2078);
#2077 = CARTESIAN_POINT('',(14.6,17.814357057174,6.286237558309));
#2078 = VECTOR('',#2079,1.);
#2079 = DIRECTION('',(-0.707106781187,0.241844762648,0.664463024389));
#2080 = PLANE('',#2081);
#2081 = AXIS2_PLACEMENT_3D('',#2082,#2083,#2084);
#2082 = CARTESIAN_POINT('',(14.6,-1.533914004807,13.328432309385));
#2083 = DIRECTION('',(0.707106781187,0.241844762648,0.664463024389));
#2084 = DIRECTION('',(-0.707106781187,0.241844762648,0.664463024389));
#2085 = ADVANCED_FACE('',(#2086),#2121,.T.);
#2086 = FACE_BOUND('',#2087,.T.);
#2087 = EDGE_LOOP('',(#2088,#2089,#2090,#2098,#2106,#2114,#2120));
#2088 = ORIENTED_EDGE('',*,*,#1339,.F.);
#2089 = ORIENTED_EDGE('',*,*,#2026,.T.);
#2090 = ORIENTED_EDGE('',*,*,#2091,.F.);
#2091 = EDGE_CURVE('',#2092,#2019,#2094,.T.);
#2092 = VERTEX_POINT('',#2093);
#2093 = CARTESIAN_POINT('',(12.1,7.593661104095,8.41));
#2094 = LINE('',#2095,#2096);
#2095 = CARTESIAN_POINT('',(10.623597935404,11.910371956977,8.41));
#2096 = VECTOR('',#2097,1.);
#2097 = DIRECTION('',(-0.323615577118,0.94618864834,0.));
#2098 = ORIENTED_EDGE('',*,*,#2099,.F.);
#2099 = EDGE_CURVE('',#2100,#2092,#2102,.T.);
#2100 = VERTEX_POINT('',#2101);
#2101 = CARTESIAN_POINT('',(12.1,6.669694446936,8.41));
#2102 = LINE('',#2103,#2104);
#2103 = CARTESIAN_POINT('',(12.1,0.,8.41));
#2104 = VECTOR('',#2105,1.);
#2105 = DIRECTION('',(0.,1.,-0.));
#2106 = ORIENTED_EDGE('',*,*,#2107,.T.);
#2107 = EDGE_CURVE('',#2100,#2108,#2110,.T.);
#2108 = VERTEX_POINT('',#2109);
#2109 = CARTESIAN_POINT('',(14.6,6.669694446936,8.41));
#2110 = LINE('',#2111,#2112);
#2111 = CARTESIAN_POINT('',(4.,6.669694446936,8.41));
#2112 = VECTOR('',#2113,1.);
#2113 = DIRECTION('',(1.,0.,0.));
#2114 = ORIENTED_EDGE('',*,*,#2115,.F.);
#2115 = EDGE_CURVE('',#2052,#2108,#2116,.T.);
#2116 = LINE('',#2117,#2118);
#2117 = CARTESIAN_POINT('',(14.6,1.535942163954,8.41));
#2118 = VECTOR('',#2119,1.);
#2119 = DIRECTION('',(0.,-1.,0.));
#2120 = ORIENTED_EDGE('',*,*,#2051,.F.);
#2121 = PLANE('',#2122);
#2122 = AXIS2_PLACEMENT_3D('',#2123,#2124,#2125);
#2123 = CARTESIAN_POINT('',(-50.,0.,8.41));
#2124 = DIRECTION('',(0.,0.,1.));
#2125 = DIRECTION('',(1.,0.,-0.));
#2126 = ADVANCED_FACE('',(#2127),#2178,.F.);
#2127 = FACE_BOUND('',#2128,.F.);
#2128 = EDGE_LOOP('',(#2129,#2130,#2131,#2139,#2147,#2155,#2163,#2171,
    #2177));
#2129 = ORIENTED_EDGE('',*,*,#1535,.F.);
#2130 = ORIENTED_EDGE('',*,*,#1550,.F.);
#2131 = ORIENTED_EDGE('',*,*,#2132,.F.);
#2132 = EDGE_CURVE('',#2133,#1551,#2135,.T.);
#2133 = VERTEX_POINT('',#2134);
#2134 = CARTESIAN_POINT('',(-10.25,8.25,14.366399928425));
#2135 = LINE('',#2136,#2137);
#2136 = CARTESIAN_POINT('',(-10.25,8.25,0.));
#2137 = VECTOR('',#2138,1.);
#2138 = DIRECTION('',(-0.,0.,1.));
#2139 = ORIENTED_EDGE('',*,*,#2140,.F.);
#2140 = EDGE_CURVE('',#2141,#2133,#2143,.T.);
#2141 = VERTEX_POINT('',#2142);
#2142 = CARTESIAN_POINT('',(-10.25,2.385244779468E-15,14.366399928425));
#2143 = LINE('',#2144,#2145);
#2144 = CARTESIAN_POINT('',(-10.25,-0.,14.366399928425));
#2145 = VECTOR('',#2146,1.);
#2146 = DIRECTION('',(0.,1.,0.));
#2147 = ORIENTED_EDGE('',*,*,#2148,.T.);
#2148 = EDGE_CURVE('',#2141,#2149,#2151,.T.);
#2149 = VERTEX_POINT('',#2150);
#2150 = CARTESIAN_POINT('',(-10.25,3.452859527954E-15,13.142595490077));
#2151 = LINE('',#2152,#2153);
#2152 = CARTESIAN_POINT('',(-10.25,2.385244779468E-15,14.366399928425));
#2153 = VECTOR('',#2154,1.);
#2154 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#2155 = ORIENTED_EDGE('',*,*,#2156,.F.);
#2156 = EDGE_CURVE('',#2157,#2149,#2159,.T.);
#2157 = VERTEX_POINT('',#2158);
#2158 = CARTESIAN_POINT('',(-10.25,4.923454386979,11.35060464345));
#2159 = LINE('',#2160,#2161);
#2160 = CARTESIAN_POINT('',(-10.25,4.223948770072,11.605203866706));
#2161 = VECTOR('',#2162,1.);
#2162 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#2163 = ORIENTED_EDGE('',*,*,#2164,.F.);
#2164 = EDGE_CURVE('',#2165,#2157,#2167,.T.);
#2165 = VERTEX_POINT('',#2166);
#2166 = CARTESIAN_POINT('',(-10.25,13.002699244393,8.41));
#2167 = LINE('',#2168,#2169);
#2168 = CARTESIAN_POINT('',(-10.25,4.223948770072,11.605203866706));
#2169 = VECTOR('',#2170,1.);
#2170 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#2171 = ORIENTED_EDGE('',*,*,#2172,.F.);
#2172 = EDGE_CURVE('',#1468,#2165,#2173,.T.);
#2173 = LINE('',#2174,#2175);
#2174 = CARTESIAN_POINT('',(-10.25,0.,8.41));
#2175 = VECTOR('',#2176,1.);
#2176 = DIRECTION('',(-0.,-1.,0.));
#2177 = ORIENTED_EDGE('',*,*,#1467,.T.);
#2178 = PLANE('',#2179);
#2179 = AXIS2_PLACEMENT_3D('',#2180,#2181,#2182);
#2180 = CARTESIAN_POINT('',(-10.25,0.,0.));
#2181 = DIRECTION('',(1.,-0.,0.));
#2182 = DIRECTION('',(0.,0.,-1.));
#2183 = ADVANCED_FACE('',(#2184),#2217,.F.);
#2184 = FACE_BOUND('',#2185,.F.);
#2185 = EDGE_LOOP('',(#2186,#2187,#2195,#2203,#2211));
#2186 = ORIENTED_EDGE('',*,*,#1485,.F.);
#2187 = ORIENTED_EDGE('',*,*,#2188,.T.);
#2188 = EDGE_CURVE('',#1478,#2189,#2191,.T.);
#2189 = VERTEX_POINT('',#2190);
#2190 = CARTESIAN_POINT('',(-14.6,11.979367704344,8.41));
#2191 = LINE('',#2192,#2193);
#2192 = CARTESIAN_POINT('',(-20.35661092421,-4.851836645898,8.41));
#2193 = VECTOR('',#2194,1.);
#2194 = DIRECTION('',(-0.323615577118,-0.946188648339,0.));
#2195 = ORIENTED_EDGE('',*,*,#2196,.T.);
#2196 = EDGE_CURVE('',#2189,#2197,#2199,.T.);
#2197 = VERTEX_POINT('',#2198);
#2198 = CARTESIAN_POINT('',(-14.6,17.109587591585,6.542752665804));
#2199 = LINE('',#2200,#2201);
#2200 = CARTESIAN_POINT('',(-14.6,-1.533914004807,13.328432309385));
#2201 = VECTOR('',#2202,1.);
#2202 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#2203 = ORIENTED_EDGE('',*,*,#2204,.T.);
#2204 = EDGE_CURVE('',#2197,#2205,#2207,.T.);
#2205 = VERTEX_POINT('',#2206);
#2206 = CARTESIAN_POINT('',(-13.85,18.070872164669,6.991007023899));
#2207 = LINE('',#2208,#2209);
#2208 = CARTESIAN_POINT('',(-22.99,6.356017500689,1.528280579912));
#2209 = VECTOR('',#2210,1.);
#2210 = DIRECTION('',(0.57735026919,0.739997209384,0.345066365749));
#2211 = ORIENTED_EDGE('',*,*,#2212,.T.);
#2212 = EDGE_CURVE('',#2205,#1486,#2213,.T.);
#2213 = LINE('',#2214,#2215);
#2214 = CARTESIAN_POINT('',(-14.6,17.814357057174,6.286237558309));
#2215 = VECTOR('',#2216,1.);
#2216 = DIRECTION('',(0.707106781187,0.241844762648,0.664463024389));
#2217 = PLANE('',#2218);
#2218 = AXIS2_PLACEMENT_3D('',#2219,#2220,#2221);
#2219 = CARTESIAN_POINT('',(-14.6,-1.533914004807,13.328432309385));
#2220 = DIRECTION('',(0.707106781187,-0.241844762648,-0.664463024389));
#2221 = DIRECTION('',(0.707106781187,0.241844762648,0.664463024389));
#2222 = ADVANCED_FACE('',(#2223),#2258,.T.);
#2223 = FACE_BOUND('',#2224,.T.);
#2224 = EDGE_LOOP('',(#2225,#2226,#2234,#2242,#2250,#2256,#2257));
#2225 = ORIENTED_EDGE('',*,*,#2188,.T.);
#2226 = ORIENTED_EDGE('',*,*,#2227,.T.);
#2227 = EDGE_CURVE('',#2189,#2228,#2230,.T.);
#2228 = VERTEX_POINT('',#2229);
#2229 = CARTESIAN_POINT('',(-14.6,6.669694446936,8.41));
#2230 = LINE('',#2231,#2232);
#2231 = CARTESIAN_POINT('',(-14.6,-1.023472109898,8.41));
#2232 = VECTOR('',#2233,1.);
#2233 = DIRECTION('',(-0.,-1.,0.));
#2234 = ORIENTED_EDGE('',*,*,#2235,.F.);
#2235 = EDGE_CURVE('',#2236,#2228,#2238,.T.);
#2236 = VERTEX_POINT('',#2237);
#2237 = CARTESIAN_POINT('',(-12.1,6.669694446936,8.41));
#2238 = LINE('',#2239,#2240);
#2239 = CARTESIAN_POINT('',(-4.,6.669694446936,8.41));
#2240 = VECTOR('',#2241,1.);
#2241 = DIRECTION('',(-1.,0.,0.));
#2242 = ORIENTED_EDGE('',*,*,#2243,.T.);
#2243 = EDGE_CURVE('',#2236,#2244,#2246,.T.);
#2244 = VERTEX_POINT('',#2245);
#2245 = CARTESIAN_POINT('',(-12.1,7.593661104109,8.41));
#2246 = LINE('',#2247,#2248);
#2247 = CARTESIAN_POINT('',(-12.1,0.,8.41));
#2248 = VECTOR('',#2249,1.);
#2249 = DIRECTION('',(0.,1.,-0.));
#2250 = ORIENTED_EDGE('',*,*,#2251,.T.);
#2251 = EDGE_CURVE('',#2244,#2165,#2252,.T.);
#2252 = LINE('',#2253,#2254);
#2253 = CARTESIAN_POINT('',(-13.44725840101,3.654541063045,8.41));
#2254 = VECTOR('',#2255,1.);
#2255 = DIRECTION('',(0.323615577118,0.94618864834,-0.));
#2256 = ORIENTED_EDGE('',*,*,#2172,.F.);
#2257 = ORIENTED_EDGE('',*,*,#1477,.T.);
#2258 = PLANE('',#2259);
#2259 = AXIS2_PLACEMENT_3D('',#2260,#2261,#2262);
#2260 = CARTESIAN_POINT('',(-50.,0.,8.41));
#2261 = DIRECTION('',(0.,0.,1.));
#2262 = DIRECTION('',(1.,0.,-0.));
#2263 = ADVANCED_FACE('',(#2264,#2277),#2315,.T.);
#2264 = FACE_BOUND('',#2265,.T.);
#2265 = EDGE_LOOP('',(#2266,#2267,#2268,#2274,#2275,#2276));
#2266 = ORIENTED_EDGE('',*,*,#1558,.F.);
#2267 = ORIENTED_EDGE('',*,*,#2132,.F.);
#2268 = ORIENTED_EDGE('',*,*,#2269,.T.);
#2269 = EDGE_CURVE('',#2133,#1743,#2270,.T.);
#2270 = LINE('',#2271,#2272);
#2271 = CARTESIAN_POINT('',(-17.,8.25,14.366399928425));
#2272 = VECTOR('',#2273,1.);
#2273 = DIRECTION('',(1.,-0.,-0.));
#2274 = ORIENTED_EDGE('',*,*,#1750,.T.);
#2275 = ORIENTED_EDGE('',*,*,#1600,.F.);
#2276 = ORIENTED_EDGE('',*,*,#1591,.F.);
#2277 = FACE_BOUND('',#2278,.T.);
#2278 = EDGE_LOOP('',(#2279,#2290,#2299,#2308));
#2279 = ORIENTED_EDGE('',*,*,#2280,.F.);
#2280 = EDGE_CURVE('',#2281,#2283,#2285,.T.);
#2281 = VERTEX_POINT('',#2282);
#2282 = CARTESIAN_POINT('',(-10.,8.25,16.766399928425));
#2283 = VERTEX_POINT('',#2284);
#2284 = CARTESIAN_POINT('',(-8.552000061826,8.25,17.206933286162));
#2285 = CIRCLE('',#2286,2.6);
#2286 = AXIS2_PLACEMENT_3D('',#2287,#2288,#2289);
#2287 = CARTESIAN_POINT('',(-10.,8.25,19.366399928425));
#2288 = DIRECTION('',(0.,-1.,0.));
#2289 = DIRECTION('',(0.,0.,1.));
#2290 = ORIENTED_EDGE('',*,*,#2291,.F.);
#2291 = EDGE_CURVE('',#2292,#2281,#2294,.T.);
#2292 = VERTEX_POINT('',#2293);
#2293 = CARTESIAN_POINT('',(-10.,8.25,21.966399928425));
#2294 = CIRCLE('',#2295,2.6);
#2295 = AXIS2_PLACEMENT_3D('',#2296,#2297,#2298);
#2296 = CARTESIAN_POINT('',(-10.,8.25,19.366399928425));
#2297 = DIRECTION('',(0.,-1.,0.));
#2298 = DIRECTION('',(0.,0.,1.));
#2299 = ORIENTED_EDGE('',*,*,#2300,.F.);
#2300 = EDGE_CURVE('',#2301,#2292,#2303,.T.);
#2301 = VERTEX_POINT('',#2302);
#2302 = CARTESIAN_POINT('',(-7.415938755514,8.25,19.078949959305));
#2303 = CIRCLE('',#2304,2.6);
#2304 = AXIS2_PLACEMENT_3D('',#2305,#2306,#2307);
#2305 = CARTESIAN_POINT('',(-10.,8.25,19.366399928425));
#2306 = DIRECTION('',(0.,-1.,0.));
#2307 = DIRECTION('',(0.,0.,1.));
#2308 = ORIENTED_EDGE('',*,*,#2309,.F.);
#2309 = EDGE_CURVE('',#2283,#2301,#2310,.T.);
#2310 = CIRCLE('',#2311,2.6);
#2311 = AXIS2_PLACEMENT_3D('',#2312,#2313,#2314);
#2312 = CARTESIAN_POINT('',(-10.,8.25,19.366399928425));
#2313 = DIRECTION('',(0.,-1.,0.));
#2314 = DIRECTION('',(0.,0.,1.));
#2315 = PLANE('',#2316);
#2316 = AXIS2_PLACEMENT_3D('',#2317,#2318,#2319);
#2317 = CARTESIAN_POINT('',(-9.733840998595,8.25,19.00026653386));
#2318 = DIRECTION('',(-0.,-1.,-0.));
#2319 = DIRECTION('',(0.,0.,-1.));
#2320 = ADVANCED_FACE('',(#2321,#2341),#2345,.F.);
#2321 = FACE_BOUND('',#2322,.T.);
#2322 = EDGE_LOOP('',(#2323,#2334));
#2323 = ORIENTED_EDGE('',*,*,#2324,.F.);
#2324 = EDGE_CURVE('',#2325,#2327,#2329,.T.);
#2325 = VERTEX_POINT('',#2326);
#2326 = CARTESIAN_POINT('',(-10.,25.,21.966399928425));
#2327 = VERTEX_POINT('',#2328);
#2328 = CARTESIAN_POINT('',(-10.,25.,16.766399928425));
#2329 = CIRCLE('',#2330,2.6);
#2330 = AXIS2_PLACEMENT_3D('',#2331,#2332,#2333);
#2331 = CARTESIAN_POINT('',(-10.,25.,19.366399928425));
#2332 = DIRECTION('',(0.,1.,7.155762691718E-18));
#2333 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#2334 = ORIENTED_EDGE('',*,*,#2335,.F.);
#2335 = EDGE_CURVE('',#2327,#2325,#2336,.T.);
#2336 = CIRCLE('',#2337,2.6);
#2337 = AXIS2_PLACEMENT_3D('',#2338,#2339,#2340);
#2338 = CARTESIAN_POINT('',(-10.,25.,19.366399928425));
#2339 = DIRECTION('',(0.,1.,7.155762691718E-18));
#2340 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#2341 = FACE_BOUND('',#2342,.T.);
#2342 = EDGE_LOOP('',(#2343,#2344));
#2343 = ORIENTED_EDGE('',*,*,#1574,.F.);
#2344 = ORIENTED_EDGE('',*,*,#1583,.F.);
#2345 = PLANE('',#2346);
#2346 = AXIS2_PLACEMENT_3D('',#2347,#2348,#2349);
#2347 = CARTESIAN_POINT('',(-10.,25.,19.366399928425));
#2348 = DIRECTION('',(0.,-1.,-7.155762691718E-18));
#2349 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#2350 = ADVANCED_FACE('',(#2351),#2357,.F.);
#2351 = FACE_BOUND('',#2352,.F.);
#2352 = EDGE_LOOP('',(#2353,#2354,#2355,#2356));
#2353 = ORIENTED_EDGE('',*,*,#1878,.F.);
#2354 = ORIENTED_EDGE('',*,*,#1655,.F.);
#2355 = ORIENTED_EDGE('',*,*,#1688,.T.);
#2356 = ORIENTED_EDGE('',*,*,#1617,.F.);
#2357 = PLANE('',#2358);
#2358 = AXIS2_PLACEMENT_3D('',#2359,#2360,#2361);
#2359 = CARTESIAN_POINT('',(-7.25,11.25,2.87045066129));
#2360 = DIRECTION('',(-0.,1.,0.));
#2361 = DIRECTION('',(0.,0.,1.));
#2362 = ADVANCED_FACE('',(#2363),#2374,.F.);
#2363 = FACE_BOUND('',#2364,.T.);
#2364 = EDGE_LOOP('',(#2365,#2366,#2367,#2368));
#2365 = ORIENTED_EDGE('',*,*,#1836,.F.);
#2366 = ORIENTED_EDGE('',*,*,#1775,.T.);
#2367 = ORIENTED_EDGE('',*,*,#1704,.T.);
#2368 = ORIENTED_EDGE('',*,*,#2369,.T.);
#2369 = EDGE_CURVE('',#1705,#1829,#2370,.T.);
#2370 = LINE('',#2371,#2372);
#2371 = CARTESIAN_POINT('',(7.25,14.18003157426,6.544846083249));
#2372 = VECTOR('',#2373,1.);
#2373 = DIRECTION('',(1.,-0.,-1.794541526873E-16));
#2374 = PLANE('',#2375);
#2375 = AXIS2_PLACEMENT_3D('',#2376,#2377,#2378);
#2376 = CARTESIAN_POINT('',(7.25,20.911749485893,25.040089039599));
#2377 = DIRECTION('',(-6.137693502247E-17,0.939692620786,-0.342020143326
    ));
#2378 = DIRECTION('',(-6.162975822039E-33,0.342020143326,0.939692620786)
  );
#2379 = ADVANCED_FACE('',(#2380),#2391,.F.);
#2380 = FACE_BOUND('',#2381,.F.);
#2381 = EDGE_LOOP('',(#2382,#2383,#2384,#2390));
#2382 = ORIENTED_EDGE('',*,*,#157,.T.);
#2383 = ORIENTED_EDGE('',*,*,#1822,.T.);
#2384 = ORIENTED_EDGE('',*,*,#2385,.F.);
#2385 = EDGE_CURVE('',#1719,#1815,#2386,.T.);
#2386 = LINE('',#2387,#2388);
#2387 = CARTESIAN_POINT('',(7.25,9.951414780724,8.083936728215));
#2388 = VECTOR('',#2389,1.);
#2389 = DIRECTION('',(1.,-9.742699992533E-17,3.546052798668E-17));
#2390 = ORIENTED_EDGE('',*,*,#1718,.T.);
#2391 = PLANE('',#2392);
#2392 = AXIS2_PLACEMENT_3D('',#2393,#2394,#2395);
#2393 = CARTESIAN_POINT('',(-14.6,17.472336913849,5.346544937523));
#2394 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#2395 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#2396 = ADVANCED_FACE('',(#2397),#2408,.T.);
#2397 = FACE_BOUND('',#2398,.T.);
#2398 = EDGE_LOOP('',(#2399,#2400,#2406,#2407));
#2399 = ORIENTED_EDGE('',*,*,#1726,.F.);
#2400 = ORIENTED_EDGE('',*,*,#2401,.F.);
#2401 = EDGE_CURVE('',#1807,#1727,#2402,.T.);
#2402 = LINE('',#2403,#2404);
#2403 = CARTESIAN_POINT('',(-7.25,8.671427563332,13.338613951728));
#2404 = VECTOR('',#2405,1.);
#2405 = DIRECTION('',(-1.,9.742699992533E-17,-3.546052798668E-17));
#2406 = ORIENTED_EDGE('',*,*,#1814,.F.);
#2407 = ORIENTED_EDGE('',*,*,#2385,.F.);
#2408 = PLANE('',#2409);
#2409 = AXIS2_PLACEMENT_3D('',#2410,#2411,#2412);
#2410 = CARTESIAN_POINT('',(1.512313004582E-15,9.951414780724,
    8.083936728215));
#2411 = DIRECTION('',(8.626668143515E-17,0.971590162328,0.236669720218)
  );
#2412 = DIRECTION('',(-1.,9.742699992532E-17,-3.546052798668E-17));
#2413 = ADVANCED_FACE('',(#2414),#2442,.F.);
#2414 = FACE_BOUND('',#2415,.T.);
#2415 = EDGE_LOOP('',(#2416,#2417,#2418,#2419,#2427,#2436));
#2416 = ORIENTED_EDGE('',*,*,#1806,.T.);
#2417 = ORIENTED_EDGE('',*,*,#2401,.T.);
#2418 = ORIENTED_EDGE('',*,*,#1734,.F.);
#2419 = ORIENTED_EDGE('',*,*,#2420,.F.);
#2420 = EDGE_CURVE('',#2421,#1735,#2423,.T.);
#2421 = VERTEX_POINT('',#2422);
#2422 = CARTESIAN_POINT('',(-2.972598479606,5.847608800326,
    14.366399928425));
#2423 = LINE('',#2424,#2425);
#2424 = CARTESIAN_POINT('',(-17.,5.847608800326,14.366399928425));
#2425 = VECTOR('',#2426,1.);
#2426 = DIRECTION('',(-1.,0.,0.));
#2427 = ORIENTED_EDGE('',*,*,#2428,.F.);
#2428 = EDGE_CURVE('',#2429,#2421,#2431,.T.);
#2429 = VERTEX_POINT('',#2430);
#2430 = CARTESIAN_POINT('',(2.972598479606,5.847608800326,
    14.366399928425));
#2431 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#2432,#2433,#2434,#2435),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(2.126908521259,
4.156276785921),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.68525881911,0.68525881911,1.)) REPRESENTATION_ITEM('') );
#2432 = CARTESIAN_POINT('',(2.972598479606,5.847608800326,
    14.366399928425));
#2433 = CARTESIAN_POINT('',(1.445973597474,8.30377961027,13.472426863332
    ));
#2434 = CARTESIAN_POINT('',(-1.445973597474,8.30377961027,
    13.472426863332));
#2435 = CARTESIAN_POINT('',(-2.972598479606,5.847608800326,
    14.366399928425));
#2436 = ORIENTED_EDGE('',*,*,#2437,.F.);
#2437 = EDGE_CURVE('',#1799,#2429,#2438,.T.);
#2438 = LINE('',#2439,#2440);
#2439 = CARTESIAN_POINT('',(-17.,5.847608800326,14.366399928425));
#2440 = VECTOR('',#2441,1.);
#2441 = DIRECTION('',(-1.,0.,0.));
#2442 = PLANE('',#2443);
#2443 = AXIS2_PLACEMENT_3D('',#2444,#2445,#2446);
#2444 = CARTESIAN_POINT('',(-7.25,-2.36920085936,17.357074065181));
#2445 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#2446 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#2447 = ADVANCED_FACE('',(#2448),#2486,.F.);
#2448 = FACE_BOUND('',#2449,.T.);
#2449 = EDGE_LOOP('',(#2450,#2451,#2452,#2453,#2454,#2462,#2470,#2479));
#2450 = ORIENTED_EDGE('',*,*,#2420,.T.);
#2451 = ORIENTED_EDGE('',*,*,#1742,.T.);
#2452 = ORIENTED_EDGE('',*,*,#2269,.F.);
#2453 = ORIENTED_EDGE('',*,*,#2140,.F.);
#2454 = ORIENTED_EDGE('',*,*,#2455,.T.);
#2455 = EDGE_CURVE('',#2141,#2456,#2458,.T.);
#2456 = VERTEX_POINT('',#2457);
#2457 = CARTESIAN_POINT('',(-0.4,6.031385485801E-16,14.366399928425));
#2458 = LINE('',#2459,#2460);
#2459 = CARTESIAN_POINT('',(-17.,2.385244779468E-15,14.366399928425));
#2460 = VECTOR('',#2461,1.);
#2461 = DIRECTION('',(1.,-0.,-0.));
#2462 = ORIENTED_EDGE('',*,*,#2463,.F.);
#2463 = EDGE_CURVE('',#2464,#2456,#2466,.T.);
#2464 = VERTEX_POINT('',#2465);
#2465 = CARTESIAN_POINT('',(-0.4,0.522932269857,14.366399928425));
#2466 = LINE('',#2467,#2468);
#2467 = CARTESIAN_POINT('',(-0.4,6.031385485801E-16,14.366399928425));
#2468 = VECTOR('',#2469,1.);
#2469 = DIRECTION('',(-0.,-1.,-0.));
#2470 = ORIENTED_EDGE('',*,*,#2471,.F.);
#2471 = EDGE_CURVE('',#2472,#2464,#2474,.T.);
#2472 = VERTEX_POINT('',#2473);
#2473 = CARTESIAN_POINT('',(-3.5,4.,14.366399928425));
#2474 = CIRCLE('',#2475,3.5);
#2475 = AXIS2_PLACEMENT_3D('',#2476,#2477,#2478);
#2476 = CARTESIAN_POINT('',(0.,4.,14.366399928425));
#2477 = DIRECTION('',(0.,0.,1.));
#2478 = DIRECTION('',(1.,0.,-0.));
#2479 = ORIENTED_EDGE('',*,*,#2480,.F.);
#2480 = EDGE_CURVE('',#2421,#2472,#2481,.T.);
#2481 = CIRCLE('',#2482,3.5);
#2482 = AXIS2_PLACEMENT_3D('',#2483,#2484,#2485);
#2483 = CARTESIAN_POINT('',(0.,4.,14.366399928425));
#2484 = DIRECTION('',(0.,0.,1.));
#2485 = DIRECTION('',(1.,0.,-0.));
#2486 = PLANE('',#2487);
#2487 = AXIS2_PLACEMENT_3D('',#2488,#2489,#2490);
#2488 = CARTESIAN_POINT('',(-17.,2.385244779468E-15,14.366399928425));
#2489 = DIRECTION('',(0.,0.,-1.));
#2490 = DIRECTION('',(-1.,0.,-0.));
#2491 = ADVANCED_FACE('',(#2492),#2530,.F.);
#2492 = FACE_BOUND('',#2493,.T.);
#2493 = EDGE_LOOP('',(#2494,#2495,#2496,#2497,#2506,#2515,#2523,#2529));
#2494 = ORIENTED_EDGE('',*,*,#1907,.F.);
#2495 = ORIENTED_EDGE('',*,*,#1798,.T.);
#2496 = ORIENTED_EDGE('',*,*,#2437,.T.);
#2497 = ORIENTED_EDGE('',*,*,#2498,.F.);
#2498 = EDGE_CURVE('',#2499,#2429,#2501,.T.);
#2499 = VERTEX_POINT('',#2500);
#2500 = CARTESIAN_POINT('',(3.5,4.,14.366399928425));
#2501 = CIRCLE('',#2502,3.5);
#2502 = AXIS2_PLACEMENT_3D('',#2503,#2504,#2505);
#2503 = CARTESIAN_POINT('',(0.,4.,14.366399928425));
#2504 = DIRECTION('',(0.,0.,1.));
#2505 = DIRECTION('',(1.,0.,-0.));
#2506 = ORIENTED_EDGE('',*,*,#2507,.F.);
#2507 = EDGE_CURVE('',#2508,#2499,#2510,.T.);
#2508 = VERTEX_POINT('',#2509);
#2509 = CARTESIAN_POINT('',(0.4,0.522932269857,14.366399928425));
#2510 = CIRCLE('',#2511,3.5);
#2511 = AXIS2_PLACEMENT_3D('',#2512,#2513,#2514);
#2512 = CARTESIAN_POINT('',(0.,4.,14.366399928425));
#2513 = DIRECTION('',(0.,0.,1.));
#2514 = DIRECTION('',(1.,0.,-0.));
#2515 = ORIENTED_EDGE('',*,*,#2516,.F.);
#2516 = EDGE_CURVE('',#2517,#2508,#2519,.T.);
#2517 = VERTEX_POINT('',#2518);
#2518 = CARTESIAN_POINT('',(0.4,7.011102925119E-16,14.366399928425));
#2519 = LINE('',#2520,#2521);
#2520 = CARTESIAN_POINT('',(0.4,0.522932269857,14.366399928425));
#2521 = VECTOR('',#2522,1.);
#2522 = DIRECTION('',(-2.073312807376E-16,1.,-0.));
#2523 = ORIENTED_EDGE('',*,*,#2524,.T.);
#2524 = EDGE_CURVE('',#2517,#2003,#2525,.T.);
#2525 = LINE('',#2526,#2527);
#2526 = CARTESIAN_POINT('',(-17.,2.385244779468E-15,14.366399928425));
#2527 = VECTOR('',#2528,1.);
#2528 = DIRECTION('',(1.,-0.,-0.));
#2529 = ORIENTED_EDGE('',*,*,#2036,.T.);
#2530 = PLANE('',#2531);
#2531 = AXIS2_PLACEMENT_3D('',#2532,#2533,#2534);
#2532 = CARTESIAN_POINT('',(-17.,2.385244779468E-15,14.366399928425));
#2533 = DIRECTION('',(0.,0.,-1.));
#2534 = DIRECTION('',(-1.,0.,-0.));
#2535 = ADVANCED_FACE('',(#2536),#2550,.F.);
#2536 = FACE_BOUND('',#2537,.F.);
#2537 = EDGE_LOOP('',(#2538,#2539,#2540,#2541,#2546,#2547,#2548,#2549));
#2538 = ORIENTED_EDGE('',*,*,#1955,.T.);
#2539 = ORIENTED_EDGE('',*,*,#1926,.T.);
#2540 = ORIENTED_EDGE('',*,*,#1937,.T.);
#2541 = ORIENTED_EDGE('',*,*,#2542,.T.);
#2542 = EDGE_CURVE('',#1938,#1971,#2543,.T.);
#2543 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#2544,#2545),.UNSPECIFIED.,.F.,
  .F.,(2,2),(8.25,25.),.PIECEWISE_BEZIER_KNOTS.);
#2544 = CARTESIAN_POINT('',(10.,8.25,21.966399928425));
#2545 = CARTESIAN_POINT('',(10.,25.,21.966399928425));
#2546 = ORIENTED_EDGE('',*,*,#1970,.T.);
#2547 = ORIENTED_EDGE('',*,*,#1981,.T.);
#2548 = ORIENTED_EDGE('',*,*,#2542,.F.);
#2549 = ORIENTED_EDGE('',*,*,#1946,.T.);
#2550 = CYLINDRICAL_SURFACE('',#2551,2.6);
#2551 = AXIS2_PLACEMENT_3D('',#2552,#2553,#2554);
#2552 = CARTESIAN_POINT('',(10.,0.,19.366399928425));
#2553 = DIRECTION('',(-0.,1.,7.155762691718E-18));
#2554 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#2555 = ADVANCED_FACE('',(#2556),#2590,.F.);
#2556 = FACE_BOUND('',#2557,.T.);
#2557 = EDGE_LOOP('',(#2558,#2566,#2567,#2568,#2576,#2584));
#2558 = ORIENTED_EDGE('',*,*,#2559,.T.);
#2559 = EDGE_CURVE('',#2560,#2001,#2562,.T.);
#2560 = VERTEX_POINT('',#2561);
#2561 = CARTESIAN_POINT('',(12.1,2.408089790273E-15,11.173866610997));
#2562 = LINE('',#2563,#2564);
#2563 = CARTESIAN_POINT('',(12.752284747127,2.602085213965E-15,
    10.479719681779));
#2564 = VECTOR('',#2565,1.);
#2565 = DIRECTION('',(-0.684791078772,-5.214686531214E-18,0.728739444819
    ));
#2566 = ORIENTED_EDGE('',*,*,#2000,.T.);
#2567 = ORIENTED_EDGE('',*,*,#2524,.F.);
#2568 = ORIENTED_EDGE('',*,*,#2569,.F.);
#2569 = EDGE_CURVE('',#2570,#2517,#2572,.T.);
#2570 = VERTEX_POINT('',#2571);
#2571 = CARTESIAN_POINT('',(0.4,7.589415207399E-16,9.213434567328));
#2572 = LINE('',#2573,#2574);
#2573 = CARTESIAN_POINT('',(0.4,7.011102925119E-16,-1.045707697014));
#2574 = VECTOR('',#2575,1.);
#2575 = DIRECTION('',(-0.,-0.,1.));
#2576 = ORIENTED_EDGE('',*,*,#2577,.T.);
#2577 = EDGE_CURVE('',#2570,#2578,#2580,.T.);
#2578 = VERTEX_POINT('',#2579);
#2579 = CARTESIAN_POINT('',(12.1,2.385244779468E-15,9.213434567328));
#2580 = LINE('',#2581,#2582);
#2581 = CARTESIAN_POINT('',(-17.,2.385244779468E-15,9.213434567328));
#2582 = VECTOR('',#2583,1.);
#2583 = DIRECTION('',(1.,-0.,-0.));
#2584 = ORIENTED_EDGE('',*,*,#2585,.F.);
#2585 = EDGE_CURVE('',#2560,#2578,#2586,.T.);
#2586 = LINE('',#2587,#2588);
#2587 = CARTESIAN_POINT('',(12.1,2.385244779468E-15,14.366399928425));
#2588 = VECTOR('',#2589,1.);
#2589 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#2590 = PLANE('',#2591);
#2591 = AXIS2_PLACEMENT_3D('',#2592,#2593,#2594);
#2592 = CARTESIAN_POINT('',(12.1,2.385244779468E-15,14.366399928425));
#2593 = DIRECTION('',(-0.,1.,7.155762691718E-18));
#2594 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#2595 = ADVANCED_FACE('',(#2596),#2615,.F.);
#2596 = FACE_BOUND('',#2597,.F.);
#2597 = EDGE_LOOP('',(#2598,#2599,#2607,#2614));
#2598 = ORIENTED_EDGE('',*,*,#2091,.F.);
#2599 = ORIENTED_EDGE('',*,*,#2600,.T.);
#2600 = EDGE_CURVE('',#2092,#2601,#2603,.T.);
#2601 = VERTEX_POINT('',#2602);
#2602 = CARTESIAN_POINT('',(12.1,6.698879998397,8.735673688659));
#2603 = LINE('',#2604,#2605);
#2604 = CARTESIAN_POINT('',(12.1,3.591211504919,9.866772518252));
#2605 = VECTOR('',#2606,1.);
#2606 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#2607 = ORIENTED_EDGE('',*,*,#2608,.T.);
#2608 = EDGE_CURVE('',#2601,#2011,#2609,.T.);
#2609 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#2610,#2611,#2612,#2613),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(1.891057868827,
3.14159265359),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.873871093308,0.873871093308,1.)) REPRESENTATION_ITEM('') );
#2610 = CARTESIAN_POINT('',(12.1,6.698879998397,8.735673688659));
#2611 = CARTESIAN_POINT('',(10.95567234846,6.733602540321,9.940803768139
    ));
#2612 = CARTESIAN_POINT('',(10.25,6.056376183171,10.938254831884));
#2613 = CARTESIAN_POINT('',(10.25,4.923454386979,11.35060464345));
#2614 = ORIENTED_EDGE('',*,*,#2018,.T.);
#2615 = PLANE('',#2616);
#2616 = AXIS2_PLACEMENT_3D('',#2617,#2618,#2619);
#2617 = CARTESIAN_POINT('',(12.1,3.591211504919,9.866772518252));
#2618 = DIRECTION('',(-0.707106781187,-0.241844762648,-0.664463024389));
#2619 = DIRECTION('',(-2.021716127842E-13,-0.939692620786,0.342020143326
    ));
#2620 = ADVANCED_FACE('',(#2621),#2649,.F.);
#2621 = FACE_BOUND('',#2622,.T.);
#2622 = EDGE_LOOP('',(#2623,#2632,#2633,#2634,#2642));
#2623 = ORIENTED_EDGE('',*,*,#2624,.F.);
#2624 = EDGE_CURVE('',#2011,#2625,#2627,.T.);
#2625 = VERTEX_POINT('',#2626);
#2626 = CARTESIAN_POINT('',(10.412829923878,4.,11.513434567328));
#2627 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#2628,#2629,#2630,#2631),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(3.14159265359,
3.490658503989),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.989871835341,0.989871835341,1.)) REPRESENTATION_ITEM('') );
#2628 = CARTESIAN_POINT('',(10.25,4.923454386979,11.35060464345));
#2629 = CARTESIAN_POINT('',(10.25,4.626732498738,11.458602578625));
#2630 = CARTESIAN_POINT('',(10.304831988703,4.315764838074,
    11.513434567328));
#2631 = CARTESIAN_POINT('',(10.412829923878,4.,11.513434567328));
#2632 = ORIENTED_EDGE('',*,*,#2010,.F.);
#2633 = ORIENTED_EDGE('',*,*,#2559,.F.);
#2634 = ORIENTED_EDGE('',*,*,#2635,.F.);
#2635 = EDGE_CURVE('',#2636,#2560,#2638,.T.);
#2636 = VERTEX_POINT('',#2637);
#2637 = CARTESIAN_POINT('',(12.1,1.882554245256,10.488672901332));
#2638 = LINE('',#2639,#2640);
#2639 = CARTESIAN_POINT('',(12.1,3.591211504919,9.866772518252));
#2640 = VECTOR('',#2641,1.);
#2641 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#2642 = ORIENTED_EDGE('',*,*,#2643,.F.);
#2643 = EDGE_CURVE('',#2625,#2636,#2644,.T.);
#2644 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#2645,#2646,#2647,#2648),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(3.490658503989,
4.392127438352),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.933418261068,0.933418261068,1.)) REPRESENTATION_ITEM('') );
#2645 = CARTESIAN_POINT('',(10.412829923878,4.,11.513434567328));
#2646 = CARTESIAN_POINT('',(10.700147670943,3.159939106887,
    11.513434567328));
#2647 = CARTESIAN_POINT('',(11.302653587991,2.403777286383,
    11.147481557572));
#2648 = CARTESIAN_POINT('',(12.1,1.882554245256,10.488672901332));
#2649 = PLANE('',#2650);
#2650 = AXIS2_PLACEMENT_3D('',#2651,#2652,#2653);
#2651 = CARTESIAN_POINT('',(12.1,3.591211504919,9.866772518252));
#2652 = DIRECTION('',(-0.707106781187,-0.241844762648,-0.664463024389));
#2653 = DIRECTION('',(-2.021716127842E-13,-0.939692620786,0.342020143326
    ));
#2654 = ADVANCED_FACE('',(#2655),#2680,.F.);
#2655 = FACE_BOUND('',#2656,.F.);
#2656 = EDGE_LOOP('',(#2657,#2665,#2673,#2679));
#2657 = ORIENTED_EDGE('',*,*,#2658,.T.);
#2658 = EDGE_CURVE('',#2068,#2659,#2661,.T.);
#2659 = VERTEX_POINT('',#2660);
#2660 = CARTESIAN_POINT('',(13.85,8.323298079887,-19.7902326685));
#2661 = LINE('',#2662,#2663);
#2662 = CARTESIAN_POINT('',(13.85,8.024030454477,-20.61246371168));
#2663 = VECTOR('',#2664,1.);
#2664 = DIRECTION('',(3.925231146709E-17,-0.342020143326,-0.939692620786
    ));
#2665 = ORIENTED_EDGE('',*,*,#2666,.T.);
#2666 = EDGE_CURVE('',#2659,#2667,#2669,.T.);
#2667 = VERTEX_POINT('',#2668);
#2668 = CARTESIAN_POINT('',(14.6,7.362013506803,-20.23848702659));
#2669 = LINE('',#2670,#2671);
#2670 = CARTESIAN_POINT('',(10.066666666667,13.172444704109,
    -17.5290384621));
#2671 = VECTOR('',#2672,1.);
#2672 = DIRECTION('',(0.57735026919,-0.739997209384,-0.345066365749));
#2673 = ORIENTED_EDGE('',*,*,#2674,.F.);
#2674 = EDGE_CURVE('',#2060,#2667,#2675,.T.);
#2675 = LINE('',#2676,#2677);
#2676 = CARTESIAN_POINT('',(14.6,11.808275370037,-8.022482956378));
#2677 = VECTOR('',#2678,1.);
#2678 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#2679 = ORIENTED_EDGE('',*,*,#2067,.F.);
#2680 = PLANE('',#2681);
#2681 = AXIS2_PLACEMENT_3D('',#2682,#2683,#2684);
#2682 = CARTESIAN_POINT('',(15.1,6.550147053085,-21.00716957571));
#2683 = DIRECTION('',(-0.707106781187,-0.664463024389,0.241844762648));
#2684 = DIRECTION('',(-0.707106781187,0.664463024389,-0.241844762648));
#2685 = ADVANCED_FACE('',(#2686),#2713,.F.);
#2686 = FACE_BOUND('',#2687,.F.);
#2687 = EDGE_LOOP('',(#2688,#2698,#2705,#2706));
#2688 = ORIENTED_EDGE('',*,*,#2689,.F.);
#2689 = EDGE_CURVE('',#2690,#2692,#2694,.T.);
#2690 = VERTEX_POINT('',#2691);
#2691 = CARTESIAN_POINT('',(12.1,1.330305553064,8.41));
#2692 = VERTEX_POINT('',#2693);
#2693 = CARTESIAN_POINT('',(14.6,1.330305553064,8.41));
#2694 = LINE('',#2695,#2696);
#2695 = CARTESIAN_POINT('',(4.,1.330305553064,8.41));
#2696 = VECTOR('',#2697,1.);
#2697 = DIRECTION('',(1.,0.,0.));
#2698 = ORIENTED_EDGE('',*,*,#2699,.T.);
#2699 = EDGE_CURVE('',#2690,#2100,#2700,.T.);
#2700 = CIRCLE('',#2701,2.7);
#2701 = AXIS2_PLACEMENT_3D('',#2702,#2703,#2704);
#2702 = CARTESIAN_POINT('',(12.1,4.,8.8134));
#2703 = DIRECTION('',(1.,0.,0.));
#2704 = DIRECTION('',(-0.,0.,1.));
#2705 = ORIENTED_EDGE('',*,*,#2107,.T.);
#2706 = ORIENTED_EDGE('',*,*,#2707,.F.);
#2707 = EDGE_CURVE('',#2692,#2108,#2708,.T.);
#2708 = CIRCLE('',#2709,2.7);
#2709 = AXIS2_PLACEMENT_3D('',#2710,#2711,#2712);
#2710 = CARTESIAN_POINT('',(14.6,4.,8.8134));
#2711 = DIRECTION('',(1.,0.,0.));
#2712 = DIRECTION('',(-0.,0.,1.));
#2713 = CYLINDRICAL_SURFACE('',#2714,2.7);
#2714 = AXIS2_PLACEMENT_3D('',#2715,#2716,#2717);
#2715 = CARTESIAN_POINT('',(4.,4.,8.8134));
#2716 = DIRECTION('',(1.,0.,0.));
#2717 = DIRECTION('',(-0.,0.,1.));
#2718 = ADVANCED_FACE('',(#2719),#2764,.F.);
#2719 = FACE_BOUND('',#2720,.F.);
#2720 = EDGE_LOOP('',(#2721,#2729,#2737,#2745,#2754,#2761,#2762,#2763));
#2721 = ORIENTED_EDGE('',*,*,#2722,.F.);
#2722 = EDGE_CURVE('',#2723,#2690,#2725,.T.);
#2723 = VERTEX_POINT('',#2724);
#2724 = CARTESIAN_POINT('',(12.1,1.213933681926E-15,8.41));
#2725 = LINE('',#2726,#2727);
#2726 = CARTESIAN_POINT('',(12.1,0.,8.41));
#2727 = VECTOR('',#2728,1.);
#2728 = DIRECTION('',(0.,1.,-0.));
#2729 = ORIENTED_EDGE('',*,*,#2730,.F.);
#2730 = EDGE_CURVE('',#2731,#2723,#2733,.T.);
#2731 = VERTEX_POINT('',#2732);
#2732 = CARTESIAN_POINT('',(12.1,2.4832165234E-15,8.413434567328));
#2733 = LINE('',#2734,#2735);
#2734 = CARTESIAN_POINT('',(12.1,2.385244779468E-15,14.366399928425));
#2735 = VECTOR('',#2736,1.);
#2736 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#2737 = ORIENTED_EDGE('',*,*,#2738,.F.);
#2738 = EDGE_CURVE('',#2739,#2731,#2741,.T.);
#2739 = VERTEX_POINT('',#2740);
#2740 = CARTESIAN_POINT('',(12.1,1.329794015436,8.413434567328));
#2741 = LINE('',#2742,#2743);
#2742 = CARTESIAN_POINT('',(12.1,-1.097537083798E-14,8.413434567328));
#2743 = VECTOR('',#2744,1.);
#2744 = DIRECTION('',(0.,-1.,-1.304505401468E-15));
#2745 = ORIENTED_EDGE('',*,*,#2746,.F.);
#2746 = EDGE_CURVE('',#2747,#2739,#2749,.T.);
#2747 = VERTEX_POINT('',#2748);
#2748 = CARTESIAN_POINT('',(12.1,4.,6.113434567328));
#2749 = CIRCLE('',#2750,2.7);
#2750 = AXIS2_PLACEMENT_3D('',#2751,#2752,#2753);
#2751 = CARTESIAN_POINT('',(12.1,4.,8.813434567328));
#2752 = DIRECTION('',(-1.,0.,0.));
#2753 = DIRECTION('',(0.,0.,1.));
#2754 = ORIENTED_EDGE('',*,*,#2755,.F.);
#2755 = EDGE_CURVE('',#2601,#2747,#2756,.T.);
#2756 = CIRCLE('',#2757,2.7);
#2757 = AXIS2_PLACEMENT_3D('',#2758,#2759,#2760);
#2758 = CARTESIAN_POINT('',(12.1,4.,8.813434567328));
#2759 = DIRECTION('',(-1.,0.,0.));
#2760 = DIRECTION('',(0.,0.,1.));
#2761 = ORIENTED_EDGE('',*,*,#2600,.F.);
#2762 = ORIENTED_EDGE('',*,*,#2099,.F.);
#2763 = ORIENTED_EDGE('',*,*,#2699,.F.);
#2764 = PLANE('',#2765);
#2765 = AXIS2_PLACEMENT_3D('',#2766,#2767,#2768);
#2766 = CARTESIAN_POINT('',(12.1,0.,0.));
#2767 = DIRECTION('',(-1.,0.,0.));
#2768 = DIRECTION('',(0.,0.,1.));
#2769 = ADVANCED_FACE('',(#2770),#2795,.T.);
#2770 = FACE_BOUND('',#2771,.T.);
#2771 = EDGE_LOOP('',(#2772,#2782,#2788,#2789));
#2772 = ORIENTED_EDGE('',*,*,#2773,.T.);
#2773 = EDGE_CURVE('',#2774,#2776,#2778,.T.);
#2774 = VERTEX_POINT('',#2775);
#2775 = CARTESIAN_POINT('',(-13.85,8.323298079887,-19.7902326685));
#2776 = VERTEX_POINT('',#2777);
#2777 = CARTESIAN_POINT('',(-14.6,7.362013506803,-20.23848702659));
#2778 = LINE('',#2779,#2780);
#2779 = CARTESIAN_POINT('',(-14.93333333333,6.934775918766,
    -20.43771118574));
#2780 = VECTOR('',#2781,1.);
#2781 = DIRECTION('',(-0.57735026919,-0.739997209384,-0.345066365749));
#2782 = ORIENTED_EDGE('',*,*,#2783,.T.);
#2783 = EDGE_CURVE('',#2776,#2197,#2784,.T.);
#2784 = LINE('',#2785,#2786);
#2785 = CARTESIAN_POINT('',(-14.6,9.553390182562,-14.21772909243));
#2786 = VECTOR('',#2787,1.);
#2787 = DIRECTION('',(-0.,0.342020143326,0.939692620786));
#2788 = ORIENTED_EDGE('',*,*,#2204,.T.);
#2789 = ORIENTED_EDGE('',*,*,#2790,.F.);
#2790 = EDGE_CURVE('',#2774,#2205,#2791,.T.);
#2791 = LINE('',#2792,#2793);
#2792 = CARTESIAN_POINT('',(-13.85,12.717687712266,-7.716746381254));
#2793 = VECTOR('',#2794,1.);
#2794 = DIRECTION('',(-3.532708032038E-16,0.342020143326,0.939692620786)
  );
#2795 = PLANE('',#2796);
#2796 = AXIS2_PLACEMENT_3D('',#2797,#2798,#2799);
#2797 = CARTESIAN_POINT('',(-15.1,6.550147053085,-21.00716957571));
#2798 = DIRECTION('',(-0.707106781187,0.664463024389,-0.241844762648));
#2799 = DIRECTION('',(0.707106781187,0.664463024389,-0.241844762648));
#2800 = ADVANCED_FACE('',(#2801),#2820,.T.);
#2801 = FACE_BOUND('',#2802,.T.);
#2802 = EDGE_LOOP('',(#2803,#2804,#2805,#2813));
#2803 = ORIENTED_EDGE('',*,*,#2164,.F.);
#2804 = ORIENTED_EDGE('',*,*,#2251,.F.);
#2805 = ORIENTED_EDGE('',*,*,#2806,.F.);
#2806 = EDGE_CURVE('',#2807,#2244,#2809,.T.);
#2807 = VERTEX_POINT('',#2808);
#2808 = CARTESIAN_POINT('',(-12.1,6.698879998397,8.735673688659));
#2809 = LINE('',#2810,#2811);
#2810 = CARTESIAN_POINT('',(-12.1,17.297945675348,4.877929271217));
#2811 = VECTOR('',#2812,1.);
#2812 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#2813 = ORIENTED_EDGE('',*,*,#2814,.F.);
#2814 = EDGE_CURVE('',#2157,#2807,#2815,.T.);
#2815 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#2816,#2817,#2818,#2819),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(0.,
1.250534784763),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.873871093308,0.873871093308,1.)) REPRESENTATION_ITEM('') );
#2816 = CARTESIAN_POINT('',(-10.25,4.923454386979,11.35060464345));
#2817 = CARTESIAN_POINT('',(-10.25,6.056376183171,10.938254831884));
#2818 = CARTESIAN_POINT('',(-10.95567234846,6.733602540321,
    9.940803768139));
#2819 = CARTESIAN_POINT('',(-12.1,6.698879998397,8.735673688659));
#2820 = PLANE('',#2821);
#2821 = AXIS2_PLACEMENT_3D('',#2822,#2823,#2824);
#2822 = CARTESIAN_POINT('',(-9.1,18.324006105325,7.697007133574));
#2823 = DIRECTION('',(-0.707106781187,0.241844762648,0.664463024389));
#2824 = DIRECTION('',(-2.021716127842E-13,0.939692620786,-0.342020143326
    ));
#2825 = ADVANCED_FACE('',(#2826),#2861,.T.);
#2826 = FACE_BOUND('',#2827,.T.);
#2827 = EDGE_LOOP('',(#2828,#2829,#2838,#2847,#2855));
#2828 = ORIENTED_EDGE('',*,*,#2156,.F.);
#2829 = ORIENTED_EDGE('',*,*,#2830,.F.);
#2830 = EDGE_CURVE('',#2831,#2157,#2833,.T.);
#2831 = VERTEX_POINT('',#2832);
#2832 = CARTESIAN_POINT('',(-10.41282992387,4.,11.513434567328));
#2833 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#2834,#2835,#2836,#2837),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(5.934119456781,
6.28318530718),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.989871835341,0.989871835341,1.)) REPRESENTATION_ITEM('') );
#2834 = CARTESIAN_POINT('',(-10.41282992387,4.,11.513434567328));
#2835 = CARTESIAN_POINT('',(-10.3048319887,4.315764838074,
    11.513434567328));
#2836 = CARTESIAN_POINT('',(-10.25,4.626732498738,11.458602578625));
#2837 = CARTESIAN_POINT('',(-10.25,4.923454386979,11.35060464345));
#2838 = ORIENTED_EDGE('',*,*,#2839,.F.);
#2839 = EDGE_CURVE('',#2840,#2831,#2842,.T.);
#2840 = VERTEX_POINT('',#2841);
#2841 = CARTESIAN_POINT('',(-12.1,1.882554245256,10.488672901332));
#2842 = ( BOUNDED_CURVE() B_SPLINE_CURVE(3,(#2843,#2844,#2845,#2846),
.UNSPECIFIED.,.F.,.F.) B_SPLINE_CURVE_WITH_KNOTS((4,4),(5.032650522417,
5.934119456781),.PIECEWISE_BEZIER_KNOTS.) CURVE() 
GEOMETRIC_REPRESENTATION_ITEM() RATIONAL_B_SPLINE_CURVE((1.,
0.933418261068,0.933418261068,1.)) REPRESENTATION_ITEM('') );
#2843 = CARTESIAN_POINT('',(-12.1,1.882554245256,10.488672901332));
#2844 = CARTESIAN_POINT('',(-11.30265358799,2.403777286383,
    11.147481557572));
#2845 = CARTESIAN_POINT('',(-10.70014767094,3.159939106887,
    11.513434567328));
#2846 = CARTESIAN_POINT('',(-10.41282992387,4.,11.513434567328));
#2847 = ORIENTED_EDGE('',*,*,#2848,.F.);
#2848 = EDGE_CURVE('',#2849,#2840,#2851,.T.);
#2849 = VERTEX_POINT('',#2850);
#2850 = CARTESIAN_POINT('',(-12.1,2.408089790273E-15,11.173866610997));
#2851 = LINE('',#2852,#2853);
#2852 = CARTESIAN_POINT('',(-12.1,17.297945675348,4.877929271217));
#2853 = VECTOR('',#2854,1.);
#2854 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#2855 = ORIENTED_EDGE('',*,*,#2856,.F.);
#2856 = EDGE_CURVE('',#2149,#2849,#2857,.T.);
#2857 = LINE('',#2858,#2859);
#2858 = CARTESIAN_POINT('',(-12.42825556846,3.469446951954E-15,
    10.824544331348));
#2859 = VECTOR('',#2860,1.);
#2860 = DIRECTION('',(-0.684791078772,5.214686531214E-18,-0.728739444819
    ));
#2861 = PLANE('',#2862);
#2862 = AXIS2_PLACEMENT_3D('',#2863,#2864,#2865);
#2863 = CARTESIAN_POINT('',(-9.1,18.324006105325,7.697007133574));
#2864 = DIRECTION('',(-0.707106781187,0.241844762648,0.664463024389));
#2865 = DIRECTION('',(-2.021716127842E-13,0.939692620786,-0.342020143326
    ));
#2866 = ADVANCED_FACE('',(#2867),#2894,.F.);
#2867 = FACE_BOUND('',#2868,.T.);
#2868 = EDGE_LOOP('',(#2869,#2870,#2871,#2872,#2880,#2888));
#2869 = ORIENTED_EDGE('',*,*,#2455,.F.);
#2870 = ORIENTED_EDGE('',*,*,#2148,.T.);
#2871 = ORIENTED_EDGE('',*,*,#2856,.T.);
#2872 = ORIENTED_EDGE('',*,*,#2873,.T.);
#2873 = EDGE_CURVE('',#2849,#2874,#2876,.T.);
#2874 = VERTEX_POINT('',#2875);
#2875 = CARTESIAN_POINT('',(-12.1,2.422118176751E-15,9.213434567328));
#2876 = LINE('',#2877,#2878);
#2877 = CARTESIAN_POINT('',(-12.1,2.385244779468E-15,14.366399928425));
#2878 = VECTOR('',#2879,1.);
#2879 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#2880 = ORIENTED_EDGE('',*,*,#2881,.T.);
#2881 = EDGE_CURVE('',#2874,#2882,#2884,.T.);
#2882 = VERTEX_POINT('',#2883);
#2883 = CARTESIAN_POINT('',(-0.4,6.031377151171E-16,9.213434567328));
#2884 = LINE('',#2885,#2886);
#2885 = CARTESIAN_POINT('',(-17.,2.385244779468E-15,9.213434567328));
#2886 = VECTOR('',#2887,1.);
#2887 = DIRECTION('',(1.,-0.,-0.));
#2888 = ORIENTED_EDGE('',*,*,#2889,.T.);
#2889 = EDGE_CURVE('',#2882,#2456,#2890,.T.);
#2890 = LINE('',#2891,#2892);
#2891 = CARTESIAN_POINT('',(-0.4,6.031385485801E-16,-1.045707697014));
#2892 = VECTOR('',#2893,1.);
#2893 = DIRECTION('',(-0.,-0.,1.));
#2894 = PLANE('',#2895);
#2895 = AXIS2_PLACEMENT_3D('',#2896,#2897,#2898);
#2896 = CARTESIAN_POINT('',(12.1,2.385244779468E-15,14.366399928425));
#2897 = DIRECTION('',(-0.,1.,7.155762691718E-18));
#2898 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#2899 = ADVANCED_FACE('',(#2900),#2962,.T.);
#2900 = FACE_BOUND('',#2901,.T.);
#2901 = EDGE_LOOP('',(#2902,#2911,#2912,#2913,#2922,#2931,#2939,#2947,
    #2955));
#2902 = ORIENTED_EDGE('',*,*,#2903,.F.);
#2903 = EDGE_CURVE('',#2807,#2904,#2906,.T.);
#2904 = VERTEX_POINT('',#2905);
#2905 = CARTESIAN_POINT('',(-12.1,4.,6.113434567328));
#2906 = CIRCLE('',#2907,2.7);
#2907 = AXIS2_PLACEMENT_3D('',#2908,#2909,#2910);
#2908 = CARTESIAN_POINT('',(-12.1,4.,8.813434567328));
#2909 = DIRECTION('',(-1.,0.,0.));
#2910 = DIRECTION('',(0.,0.,1.));
#2911 = ORIENTED_EDGE('',*,*,#2806,.T.);
#2912 = ORIENTED_EDGE('',*,*,#2243,.F.);
#2913 = ORIENTED_EDGE('',*,*,#2914,.T.);
#2914 = EDGE_CURVE('',#2236,#2915,#2917,.T.);
#2915 = VERTEX_POINT('',#2916);
#2916 = CARTESIAN_POINT('',(-12.1,4.,6.1134));
#2917 = CIRCLE('',#2918,2.7);
#2918 = AXIS2_PLACEMENT_3D('',#2919,#2920,#2921);
#2919 = CARTESIAN_POINT('',(-12.1,4.,8.8134));
#2920 = DIRECTION('',(-1.,0.,0.));
#2921 = DIRECTION('',(0.,0.,-1.));
#2922 = ORIENTED_EDGE('',*,*,#2923,.T.);
#2923 = EDGE_CURVE('',#2915,#2924,#2926,.T.);
#2924 = VERTEX_POINT('',#2925);
#2925 = CARTESIAN_POINT('',(-12.1,1.330305553064,8.41));
#2926 = CIRCLE('',#2927,2.7);
#2927 = AXIS2_PLACEMENT_3D('',#2928,#2929,#2930);
#2928 = CARTESIAN_POINT('',(-12.1,4.,8.8134));
#2929 = DIRECTION('',(-1.,0.,0.));
#2930 = DIRECTION('',(0.,0.,-1.));
#2931 = ORIENTED_EDGE('',*,*,#2932,.F.);
#2932 = EDGE_CURVE('',#2933,#2924,#2935,.T.);
#2933 = VERTEX_POINT('',#2934);
#2934 = CARTESIAN_POINT('',(-12.1,1.213933681926E-15,8.41));
#2935 = LINE('',#2936,#2937);
#2936 = CARTESIAN_POINT('',(-12.1,0.,8.41));
#2937 = VECTOR('',#2938,1.);
#2938 = DIRECTION('',(0.,1.,-0.));
#2939 = ORIENTED_EDGE('',*,*,#2940,.F.);
#2940 = EDGE_CURVE('',#2941,#2933,#2943,.T.);
#2941 = VERTEX_POINT('',#2942);
#2942 = CARTESIAN_POINT('',(-12.1,2.4832165234E-15,8.413434567328));
#2943 = LINE('',#2944,#2945);
#2944 = CARTESIAN_POINT('',(-12.1,2.385244779468E-15,14.366399928425));
#2945 = VECTOR('',#2946,1.);
#2946 = DIRECTION('',(0.,7.155762691718E-18,-1.));
#2947 = ORIENTED_EDGE('',*,*,#2948,.F.);
#2948 = EDGE_CURVE('',#2949,#2941,#2951,.T.);
#2949 = VERTEX_POINT('',#2950);
#2950 = CARTESIAN_POINT('',(-12.1,1.329794015436,8.413434567328));
#2951 = LINE('',#2952,#2953);
#2952 = CARTESIAN_POINT('',(-12.1,-1.097537083798E-14,8.413434567328));
#2953 = VECTOR('',#2954,1.);
#2954 = DIRECTION('',(0.,-1.,-1.304505401468E-15));
#2955 = ORIENTED_EDGE('',*,*,#2956,.F.);
#2956 = EDGE_CURVE('',#2904,#2949,#2957,.T.);
#2957 = CIRCLE('',#2958,2.7);
#2958 = AXIS2_PLACEMENT_3D('',#2959,#2960,#2961);
#2959 = CARTESIAN_POINT('',(-12.1,4.,8.813434567328));
#2960 = DIRECTION('',(-1.,0.,0.));
#2961 = DIRECTION('',(0.,0.,1.));
#2962 = PLANE('',#2963);
#2963 = AXIS2_PLACEMENT_3D('',#2964,#2965,#2966);
#2964 = CARTESIAN_POINT('',(-12.1,0.,0.));
#2965 = DIRECTION('',(-1.,0.,0.));
#2966 = DIRECTION('',(0.,0.,1.));
#2967 = ADVANCED_FACE('',(#2968),#2982,.F.);
#2968 = FACE_BOUND('',#2969,.F.);
#2969 = EDGE_LOOP('',(#2970,#2971,#2972,#2977,#2978,#2979,#2980,#2981));
#2970 = ORIENTED_EDGE('',*,*,#2280,.F.);
#2971 = ORIENTED_EDGE('',*,*,#2291,.F.);
#2972 = ORIENTED_EDGE('',*,*,#2973,.T.);
#2973 = EDGE_CURVE('',#2292,#2325,#2974,.T.);
#2974 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#2975,#2976),.UNSPECIFIED.,.F.,
  .F.,(2,2),(8.25,25.),.PIECEWISE_BEZIER_KNOTS.);
#2975 = CARTESIAN_POINT('',(-10.,8.25,21.966399928425));
#2976 = CARTESIAN_POINT('',(-10.,25.,21.966399928425));
#2977 = ORIENTED_EDGE('',*,*,#2335,.F.);
#2978 = ORIENTED_EDGE('',*,*,#2324,.F.);
#2979 = ORIENTED_EDGE('',*,*,#2973,.F.);
#2980 = ORIENTED_EDGE('',*,*,#2300,.F.);
#2981 = ORIENTED_EDGE('',*,*,#2309,.F.);
#2982 = CYLINDRICAL_SURFACE('',#2983,2.6);
#2983 = AXIS2_PLACEMENT_3D('',#2984,#2985,#2986);
#2984 = CARTESIAN_POINT('',(-10.,0.,19.366399928425));
#2985 = DIRECTION('',(-0.,1.,7.155762691718E-18));
#2986 = DIRECTION('',(0.,-7.155762691718E-18,1.));
#2987 = ADVANCED_FACE('',(#2988),#3070,.F.);
#2988 = FACE_BOUND('',#2989,.F.);
#2989 = EDGE_LOOP('',(#2990,#3001,#3010,#3018,#3027,#3033,#3034,#3035,
    #3036,#3037,#3038,#3046,#3055,#3063));
#2990 = ORIENTED_EDGE('',*,*,#2991,.T.);
#2991 = EDGE_CURVE('',#2992,#2994,#2996,.T.);
#2992 = VERTEX_POINT('',#2993);
#2993 = CARTESIAN_POINT('',(3.5,4.,12.663434567328));
#2994 = VERTEX_POINT('',#2995);
#2995 = CARTESIAN_POINT('',(-3.5,4.,12.663434567328));
#2996 = CIRCLE('',#2997,3.5);
#2997 = AXIS2_PLACEMENT_3D('',#2998,#2999,#3000);
#2998 = CARTESIAN_POINT('',(0.,4.,12.663434567328));
#2999 = DIRECTION('',(0.,0.,1.));
#3000 = DIRECTION('',(-1.,0.,0.));
#3001 = ORIENTED_EDGE('',*,*,#3002,.T.);
#3002 = EDGE_CURVE('',#2994,#3003,#3005,.T.);
#3003 = VERTEX_POINT('',#3004);
#3004 = CARTESIAN_POINT('',(-1.624807680927,0.9,12.663434567328));
#3005 = CIRCLE('',#3006,3.5);
#3006 = AXIS2_PLACEMENT_3D('',#3007,#3008,#3009);
#3007 = CARTESIAN_POINT('',(0.,4.,12.663434567328));
#3008 = DIRECTION('',(0.,0.,1.));
#3009 = DIRECTION('',(-1.,0.,0.));
#3010 = ORIENTED_EDGE('',*,*,#3011,.F.);
#3011 = EDGE_CURVE('',#3012,#3003,#3014,.T.);
#3012 = VERTEX_POINT('',#3013);
#3013 = CARTESIAN_POINT('',(-1.624807680927,0.9,9.213434567328));
#3014 = LINE('',#3015,#3016);
#3015 = CARTESIAN_POINT('',(-1.624807680927,0.9,-1.045707697014));
#3016 = VECTOR('',#3017,1.);
#3017 = DIRECTION('',(-0.,-0.,1.));
#3018 = ORIENTED_EDGE('',*,*,#3019,.F.);
#3019 = EDGE_CURVE('',#3020,#3012,#3022,.T.);
#3020 = VERTEX_POINT('',#3021);
#3021 = CARTESIAN_POINT('',(-0.4,0.522932269857,9.213434567328));
#3022 = CIRCLE('',#3023,3.5);
#3023 = AXIS2_PLACEMENT_3D('',#3024,#3025,#3026);
#3024 = CARTESIAN_POINT('',(0.,4.,9.213434567328));
#3025 = DIRECTION('',(-0.,-1.304505401468E-15,-1.));
#3026 = DIRECTION('',(0.,-1.,1.304505401468E-15));
#3027 = ORIENTED_EDGE('',*,*,#3028,.T.);
#3028 = EDGE_CURVE('',#3020,#2464,#3029,.T.);
#3029 = LINE('',#3030,#3031);
#3030 = CARTESIAN_POINT('',(-0.4,0.522932269857,-1.045707697014));
#3031 = VECTOR('',#3032,1.);
#3032 = DIRECTION('',(-0.,-0.,1.));
#3033 = ORIENTED_EDGE('',*,*,#2471,.F.);
#3034 = ORIENTED_EDGE('',*,*,#2480,.F.);
#3035 = ORIENTED_EDGE('',*,*,#2428,.F.);
#3036 = ORIENTED_EDGE('',*,*,#2498,.F.);
#3037 = ORIENTED_EDGE('',*,*,#2507,.F.);
#3038 = ORIENTED_EDGE('',*,*,#3039,.F.);
#3039 = EDGE_CURVE('',#3040,#2508,#3042,.T.);
#3040 = VERTEX_POINT('',#3041);
#3041 = CARTESIAN_POINT('',(0.4,0.522932269857,9.213434567328));
#3042 = LINE('',#3043,#3044);
#3043 = CARTESIAN_POINT('',(0.4,0.522932269857,-1.045707697014));
#3044 = VECTOR('',#3045,1.);
#3045 = DIRECTION('',(-0.,-0.,1.));
#3046 = ORIENTED_EDGE('',*,*,#3047,.T.);
#3047 = EDGE_CURVE('',#3040,#3048,#3050,.T.);
#3048 = VERTEX_POINT('',#3049);
#3049 = CARTESIAN_POINT('',(1.624807680927,0.9,9.213434567328));
#3050 = CIRCLE('',#3051,3.5);
#3051 = AXIS2_PLACEMENT_3D('',#3052,#3053,#3054);
#3052 = CARTESIAN_POINT('',(0.,4.,9.213434567328));
#3053 = DIRECTION('',(0.,1.304505401468E-15,1.));
#3054 = DIRECTION('',(0.,-1.,1.304505401468E-15));
#3055 = ORIENTED_EDGE('',*,*,#3056,.F.);
#3056 = EDGE_CURVE('',#3057,#3048,#3059,.T.);
#3057 = VERTEX_POINT('',#3058);
#3058 = CARTESIAN_POINT('',(1.624807680927,0.9,12.663434567328));
#3059 = LINE('',#3060,#3061);
#3060 = CARTESIAN_POINT('',(1.624807680927,0.9,-1.045707697014));
#3061 = VECTOR('',#3062,1.);
#3062 = DIRECTION('',(0.,0.,-1.));
#3063 = ORIENTED_EDGE('',*,*,#3064,.T.);
#3064 = EDGE_CURVE('',#3057,#2992,#3065,.T.);
#3065 = CIRCLE('',#3066,3.5);
#3066 = AXIS2_PLACEMENT_3D('',#3067,#3068,#3069);
#3067 = CARTESIAN_POINT('',(0.,4.,12.663434567328));
#3068 = DIRECTION('',(0.,0.,1.));
#3069 = DIRECTION('',(-1.,1.734723475977E-15,0.));
#3070 = CYLINDRICAL_SURFACE('',#3071,3.5);
#3071 = AXIS2_PLACEMENT_3D('',#3072,#3073,#3074);
#3072 = CARTESIAN_POINT('',(0.,4.,-1.045707697014));
#3073 = DIRECTION('',(-0.,-0.,1.));
#3074 = DIRECTION('',(1.,0.,0.));
#3075 = ADVANCED_FACE('',(#3076),#3087,.F.);
#3076 = FACE_BOUND('',#3077,.T.);
#3077 = EDGE_LOOP('',(#3078,#3084,#3085,#3086));
#3078 = ORIENTED_EDGE('',*,*,#3079,.T.);
#3079 = EDGE_CURVE('',#2882,#3020,#3080,.T.);
#3080 = LINE('',#3081,#3082);
#3081 = CARTESIAN_POINT('',(-0.4,1.398624504685E-14,9.213434567328));
#3082 = VECTOR('',#3083,1.);
#3083 = DIRECTION('',(0.,1.,-1.304505401468E-15));
#3084 = ORIENTED_EDGE('',*,*,#3028,.T.);
#3085 = ORIENTED_EDGE('',*,*,#2463,.T.);
#3086 = ORIENTED_EDGE('',*,*,#2889,.F.);
#3087 = PLANE('',#3088);
#3088 = AXIS2_PLACEMENT_3D('',#3089,#3090,#3091);
#3089 = CARTESIAN_POINT('',(-0.4,6.031385485801E-16,-1.045707697014));
#3090 = DIRECTION('',(-1.,0.,0.));
#3091 = DIRECTION('',(0.,0.,1.));
#3092 = ADVANCED_FACE('',(#3093),#3104,.F.);
#3093 = FACE_BOUND('',#3094,.T.);
#3094 = EDGE_LOOP('',(#3095,#3101,#3102,#3103));
#3095 = ORIENTED_EDGE('',*,*,#3096,.T.);
#3096 = EDGE_CURVE('',#3040,#2570,#3097,.T.);
#3097 = LINE('',#3098,#3099);
#3098 = CARTESIAN_POINT('',(0.4,0.522932269857,9.213434567328));
#3099 = VECTOR('',#3100,1.);
#3100 = DIRECTION('',(2.073312807376E-16,-1.,1.304505401468E-15));
#3101 = ORIENTED_EDGE('',*,*,#2569,.T.);
#3102 = ORIENTED_EDGE('',*,*,#2516,.T.);
#3103 = ORIENTED_EDGE('',*,*,#3039,.F.);
#3104 = PLANE('',#3105);
#3105 = AXIS2_PLACEMENT_3D('',#3106,#3107,#3108);
#3106 = CARTESIAN_POINT('',(0.4,0.522932269857,-1.045707697014));
#3107 = DIRECTION('',(1.,2.073312807376E-16,0.));
#3108 = DIRECTION('',(-2.073312807376E-16,1.,0.));
#3109 = ADVANCED_FACE('',(#3110),#3145,.F.);
#3110 = FACE_BOUND('',#3111,.T.);
#3111 = EDGE_LOOP('',(#3112,#3122,#3130,#3136,#3137,#3138,#3139));
#3112 = ORIENTED_EDGE('',*,*,#3113,.F.);
#3113 = EDGE_CURVE('',#3114,#3116,#3118,.T.);
#3114 = VERTEX_POINT('',#3115);
#3115 = CARTESIAN_POINT('',(4.,1.329794015436,9.213434567328));
#3116 = VERTEX_POINT('',#3117);
#3117 = CARTESIAN_POINT('',(4.,0.9,9.213434567328));
#3118 = LINE('',#3119,#3120);
#3119 = CARTESIAN_POINT('',(4.,1.329794015436,9.213434567328));
#3120 = VECTOR('',#3121,1.);
#3121 = DIRECTION('',(0.,-1.,1.304505401468E-15));
#3122 = ORIENTED_EDGE('',*,*,#3123,.T.);
#3123 = EDGE_CURVE('',#3114,#3124,#3126,.T.);
#3124 = VERTEX_POINT('',#3125);
#3125 = CARTESIAN_POINT('',(12.1,1.329794015436,9.213434567328));
#3126 = LINE('',#3127,#3128);
#3127 = CARTESIAN_POINT('',(-17.,1.329794015436,9.213434567328));
#3128 = VECTOR('',#3129,1.);
#3129 = DIRECTION('',(1.,-0.,-0.));
#3130 = ORIENTED_EDGE('',*,*,#3131,.F.);
#3131 = EDGE_CURVE('',#2578,#3124,#3132,.T.);
#3132 = LINE('',#3133,#3134);
#3133 = CARTESIAN_POINT('',(12.1,1.201897515915E-14,9.213434567328));
#3134 = VECTOR('',#3135,1.);
#3135 = DIRECTION('',(0.,1.,-1.304505401468E-15));
#3136 = ORIENTED_EDGE('',*,*,#2577,.F.);
#3137 = ORIENTED_EDGE('',*,*,#3096,.F.);
#3138 = ORIENTED_EDGE('',*,*,#3047,.T.);
#3139 = ORIENTED_EDGE('',*,*,#3140,.T.);
#3140 = EDGE_CURVE('',#3048,#3116,#3141,.T.);
#3141 = LINE('',#3142,#3143);
#3142 = CARTESIAN_POINT('',(-17.,0.9,9.213434567328));
#3143 = VECTOR('',#3144,1.);
#3144 = DIRECTION('',(1.,0.,-0.));
#3145 = PLANE('',#3146);
#3146 = AXIS2_PLACEMENT_3D('',#3147,#3148,#3149);
#3147 = CARTESIAN_POINT('',(-17.,1.329794015436,9.213434567328));
#3148 = DIRECTION('',(0.,1.304505401468E-15,1.));
#3149 = DIRECTION('',(0.,-1.,1.304505401468E-15));
#3150 = ADVANCED_FACE('',(#3151),#3163,.F.);
#3151 = FACE_BOUND('',#3152,.T.);
#3152 = EDGE_LOOP('',(#3153,#3160,#3161,#3162));
#3153 = ORIENTED_EDGE('',*,*,#3154,.T.);
#3154 = EDGE_CURVE('',#3124,#2636,#3155,.T.);
#3155 = CIRCLE('',#3156,2.7);
#3156 = AXIS2_PLACEMENT_3D('',#3157,#3158,#3159);
#3157 = CARTESIAN_POINT('',(12.1,4.,8.813434567328));
#3158 = DIRECTION('',(-1.,0.,0.));
#3159 = DIRECTION('',(0.,0.,1.));
#3160 = ORIENTED_EDGE('',*,*,#2635,.T.);
#3161 = ORIENTED_EDGE('',*,*,#2585,.T.);
#3162 = ORIENTED_EDGE('',*,*,#3131,.T.);
#3163 = PLANE('',#3164);
#3164 = AXIS2_PLACEMENT_3D('',#3165,#3166,#3167);
#3165 = CARTESIAN_POINT('',(12.1,0.,0.));
#3166 = DIRECTION('',(-1.,0.,0.));
#3167 = DIRECTION('',(0.,0.,1.));
#3168 = ADVANCED_FACE('',(#3169),#3211,.F.);
#3169 = FACE_BOUND('',#3170,.F.);
#3170 = EDGE_LOOP('',(#3171,#3172,#3173,#3174,#3175,#3176,#3177,#3178,
    #3186,#3195,#3204));
#3171 = ORIENTED_EDGE('',*,*,#3123,.T.);
#3172 = ORIENTED_EDGE('',*,*,#3154,.T.);
#3173 = ORIENTED_EDGE('',*,*,#2643,.F.);
#3174 = ORIENTED_EDGE('',*,*,#2624,.F.);
#3175 = ORIENTED_EDGE('',*,*,#2608,.F.);
#3176 = ORIENTED_EDGE('',*,*,#2755,.T.);
#3177 = ORIENTED_EDGE('',*,*,#2746,.T.);
#3178 = ORIENTED_EDGE('',*,*,#3179,.F.);
#3179 = EDGE_CURVE('',#3180,#2739,#3182,.T.);
#3180 = VERTEX_POINT('',#3181);
#3181 = CARTESIAN_POINT('',(4.,1.329794015436,8.413434567328));
#3182 = LINE('',#3183,#3184);
#3183 = CARTESIAN_POINT('',(-17.,1.329794015436,8.413434567328));
#3184 = VECTOR('',#3185,1.);
#3185 = DIRECTION('',(1.,-0.,-0.));
#3186 = ORIENTED_EDGE('',*,*,#3187,.T.);
#3187 = EDGE_CURVE('',#3180,#3188,#3190,.T.);
#3188 = VERTEX_POINT('',#3189);
#3189 = CARTESIAN_POINT('',(4.,4.,6.113434567328));
#3190 = CIRCLE('',#3191,2.7);
#3191 = AXIS2_PLACEMENT_3D('',#3192,#3193,#3194);
#3192 = CARTESIAN_POINT('',(4.,4.,8.813434567328));
#3193 = DIRECTION('',(1.,0.,0.));
#3194 = DIRECTION('',(-0.,9.637352644316E-16,1.));
#3195 = ORIENTED_EDGE('',*,*,#3196,.T.);
#3196 = EDGE_CURVE('',#3188,#3197,#3199,.T.);
#3197 = VERTEX_POINT('',#3198);
#3198 = CARTESIAN_POINT('',(4.,4.,11.513434567328));
#3199 = CIRCLE('',#3200,2.7);
#3200 = AXIS2_PLACEMENT_3D('',#3201,#3202,#3203);
#3201 = CARTESIAN_POINT('',(4.,4.,8.813434567328));
#3202 = DIRECTION('',(1.,0.,-0.));
#3203 = DIRECTION('',(0.,0.,1.));
#3204 = ORIENTED_EDGE('',*,*,#3205,.T.);
#3205 = EDGE_CURVE('',#3197,#3114,#3206,.T.);
#3206 = CIRCLE('',#3207,2.7);
#3207 = AXIS2_PLACEMENT_3D('',#3208,#3209,#3210);
#3208 = CARTESIAN_POINT('',(4.,4.,8.813434567328));
#3209 = DIRECTION('',(1.,0.,-0.));
#3210 = DIRECTION('',(0.,0.,1.));
#3211 = CYLINDRICAL_SURFACE('',#3212,2.7);
#3212 = AXIS2_PLACEMENT_3D('',#3213,#3214,#3215);
#3213 = CARTESIAN_POINT('',(-17.,4.,8.813434567328));
#3214 = DIRECTION('',(1.,-0.,-0.));
#3215 = DIRECTION('',(0.,0.,-1.));
#3216 = ADVANCED_FACE('',(#3217),#3233,.F.);
#3217 = FACE_BOUND('',#3218,.F.);
#3218 = EDGE_LOOP('',(#3219,#3220,#3226,#3227));
#3219 = ORIENTED_EDGE('',*,*,#2773,.T.);
#3220 = ORIENTED_EDGE('',*,*,#3221,.T.);
#3221 = EDGE_CURVE('',#2776,#2667,#3222,.T.);
#3222 = LINE('',#3223,#3224);
#3223 = CARTESIAN_POINT('',(-14.6,7.362013506803,-20.23848702659));
#3224 = VECTOR('',#3225,1.);
#3225 = DIRECTION('',(1.,0.,0.));
#3226 = ORIENTED_EDGE('',*,*,#2666,.F.);
#3227 = ORIENTED_EDGE('',*,*,#3228,.F.);
#3228 = EDGE_CURVE('',#2774,#2659,#3229,.T.);
#3229 = LINE('',#3230,#3231);
#3230 = CARTESIAN_POINT('',(-14.6,8.323298079887,-19.7902326685));
#3231 = VECTOR('',#3232,1.);
#3232 = DIRECTION('',(1.,0.,0.));
#3233 = PLANE('',#3234);
#3234 = AXIS2_PLACEMENT_3D('',#3235,#3236,#3237);
#3235 = CARTESIAN_POINT('',(-14.6,7.362013506803,-20.23848702659));
#3236 = DIRECTION('',(0.,-0.422618261741,0.906307787037));
#3237 = DIRECTION('',(0.,0.906307787037,0.422618261741));
#3238 = ADVANCED_FACE('',(#3239),#3280,.F.);
#3239 = FACE_BOUND('',#3240,.F.);
#3240 = EDGE_LOOP('',(#3241,#3251,#3259,#3265,#3266,#3274));
#3241 = ORIENTED_EDGE('',*,*,#3242,.F.);
#3242 = EDGE_CURVE('',#3243,#3245,#3247,.T.);
#3243 = VERTEX_POINT('',#3244);
#3244 = CARTESIAN_POINT('',(13.25,9.69137865319,-16.03146218535));
#3245 = VERTEX_POINT('',#3246);
#3246 = CARTESIAN_POINT('',(12.51,8.996006113808,-15.77836727929));
#3247 = LINE('',#3248,#3249);
#3248 = CARTESIAN_POINT('',(13.75,10.161224963583,-16.20247225701));
#3249 = VECTOR('',#3250,1.);
#3250 = DIRECTION('',(-0.707106781187,-0.664463024389,0.241844762648));
#3251 = ORIENTED_EDGE('',*,*,#3252,.T.);
#3252 = EDGE_CURVE('',#3243,#3253,#3255,.T.);
#3253 = VERTEX_POINT('',#3254);
#3254 = CARTESIAN_POINT('',(13.25,17.472336913849,5.346544937523));
#3255 = LINE('',#3256,#3257);
#3256 = CARTESIAN_POINT('',(13.25,9.007338366538,-17.91084742692));
#3257 = VECTOR('',#3258,1.);
#3258 = DIRECTION('',(3.925231146709E-17,0.342020143326,0.939692620786)
  );
#3259 = ORIENTED_EDGE('',*,*,#3260,.T.);
#3260 = EDGE_CURVE('',#3253,#205,#3261,.T.);
#3261 = LINE('',#3262,#3263);
#3262 = CARTESIAN_POINT('',(13.75,17.942183224242,5.175534865861));
#3263 = VECTOR('',#3264,1.);
#3264 = DIRECTION('',(-0.707106781187,-0.664463024389,0.241844762648));
#3265 = ORIENTED_EDGE('',*,*,#212,.F.);
#3266 = ORIENTED_EDGE('',*,*,#3267,.F.);
#3267 = EDGE_CURVE('',#3268,#213,#3270,.T.);
#3268 = VERTEX_POINT('',#3269);
#3269 = CARTESIAN_POINT('',(12.51,9.002086471912,-15.7616616327));
#3270 = LINE('',#3271,#3272);
#3271 = CARTESIAN_POINT('',(8.344944533691,3.654888304748,
    -18.27516035501));
#3272 = VECTOR('',#3273,1.);
#3273 = DIRECTION('',(-0.576162315696,-0.739691008535,-0.347698429483));
#3274 = ORIENTED_EDGE('',*,*,#3275,.T.);
#3275 = EDGE_CURVE('',#3268,#3245,#3276,.T.);
#3276 = LINE('',#3277,#3278);
#3277 = CARTESIAN_POINT('',(12.51,8.79042882473,-16.34318623899));
#3278 = VECTOR('',#3279,1.);
#3279 = DIRECTION('',(0.,-0.342020143326,-0.939692620786));
#3280 = PLANE('',#3281);
#3281 = AXIS2_PLACEMENT_3D('',#3282,#3283,#3284);
#3282 = CARTESIAN_POINT('',(13.75,10.161224963583,-16.20247225701));
#3283 = DIRECTION('',(0.707106781187,-0.664463024389,0.241844762648));
#3284 = DIRECTION('',(-0.707106781187,-0.664463024389,0.241844762648));
#3285 = ADVANCED_FACE('',(#3286),#3311,.F.);
#3286 = FACE_BOUND('',#3287,.F.);
#3287 = EDGE_LOOP('',(#3288,#3296,#3304,#3310));
#3288 = ORIENTED_EDGE('',*,*,#3289,.F.);
#3289 = EDGE_CURVE('',#3290,#2776,#3292,.T.);
#3290 = VERTEX_POINT('',#3291);
#3291 = CARTESIAN_POINT('',(-14.6,0.,-17.55893324585));
#3292 = LINE('',#3293,#3294);
#3293 = CARTESIAN_POINT('',(-14.6,-11.28148808958,-13.45280738301));
#3294 = VECTOR('',#3295,1.);
#3295 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#3296 = ORIENTED_EDGE('',*,*,#3297,.F.);
#3297 = EDGE_CURVE('',#3298,#3290,#3300,.T.);
#3298 = VERTEX_POINT('',#3299);
#3299 = CARTESIAN_POINT('',(14.6,0.,-17.55893324585));
#3300 = LINE('',#3301,#3302);
#3301 = CARTESIAN_POINT('',(-32.3,0.,-17.55893324585));
#3302 = VECTOR('',#3303,1.);
#3303 = DIRECTION('',(-1.,0.,0.));
#3304 = ORIENTED_EDGE('',*,*,#3305,.T.);
#3305 = EDGE_CURVE('',#3298,#2667,#3306,.T.);
#3306 = LINE('',#3307,#3308);
#3307 = CARTESIAN_POINT('',(14.6,-11.28148808958,-13.45280738301));
#3308 = VECTOR('',#3309,1.);
#3309 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#3310 = ORIENTED_EDGE('',*,*,#3221,.F.);
#3311 = PLANE('',#3312);
#3312 = AXIS2_PLACEMENT_3D('',#3313,#3314,#3315);
#3313 = CARTESIAN_POINT('',(-14.6,-11.28148808958,-13.45280738301));
#3314 = DIRECTION('',(-0.,0.342020143326,0.939692620786));
#3315 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#3316 = ADVANCED_FACE('',(#3317),#3335,.T.);
#3317 = FACE_BOUND('',#3318,.T.);
#3318 = EDGE_LOOP('',(#3319,#3320,#3328,#3334));
#3319 = ORIENTED_EDGE('',*,*,#2722,.F.);
#3320 = ORIENTED_EDGE('',*,*,#3321,.T.);
#3321 = EDGE_CURVE('',#2723,#3322,#3324,.T.);
#3322 = VERTEX_POINT('',#3323);
#3323 = CARTESIAN_POINT('',(14.6,0.,8.41));
#3324 = LINE('',#3325,#3326);
#3325 = CARTESIAN_POINT('',(-50.,0.,8.41));
#3326 = VECTOR('',#3327,1.);
#3327 = DIRECTION('',(1.,0.,-0.));
#3328 = ORIENTED_EDGE('',*,*,#3329,.F.);
#3329 = EDGE_CURVE('',#2692,#3322,#3330,.T.);
#3330 = LINE('',#3331,#3332);
#3331 = CARTESIAN_POINT('',(14.6,1.535942163954,8.41));
#3332 = VECTOR('',#3333,1.);
#3333 = DIRECTION('',(0.,-1.,0.));
#3334 = ORIENTED_EDGE('',*,*,#2689,.F.);
#3335 = PLANE('',#3336);
#3336 = AXIS2_PLACEMENT_3D('',#3337,#3338,#3339);
#3337 = CARTESIAN_POINT('',(-50.,0.,8.41));
#3338 = DIRECTION('',(0.,0.,1.));
#3339 = DIRECTION('',(1.,0.,-0.));
#3340 = ADVANCED_FACE('',(#3341),#3373,.F.);
#3341 = FACE_BOUND('',#3342,.T.);
#3342 = EDGE_LOOP('',(#3343,#3349,#3350,#3358,#3364,#3365,#3371,#3372));
#3343 = ORIENTED_EDGE('',*,*,#3344,.F.);
#3344 = EDGE_CURVE('',#62,#3180,#3345,.T.);
#3345 = LINE('',#3346,#3347);
#3346 = CARTESIAN_POINT('',(4.,1.329794015436,8.413434567328));
#3347 = VECTOR('',#3348,1.);
#3348 = DIRECTION('',(0.,1.,1.304505401468E-15));
#3349 = ORIENTED_EDGE('',*,*,#78,.T.);
#3350 = ORIENTED_EDGE('',*,*,#3351,.F.);
#3351 = EDGE_CURVE('',#3352,#71,#3354,.T.);
#3352 = VERTEX_POINT('',#3353);
#3353 = CARTESIAN_POINT('',(-4.,1.329794015436,8.413434567328));
#3354 = LINE('',#3355,#3356);
#3355 = CARTESIAN_POINT('',(-4.,1.329794015436,8.413434567328));
#3356 = VECTOR('',#3357,1.);
#3357 = DIRECTION('',(0.,-1.,-1.304505401468E-15));
#3358 = ORIENTED_EDGE('',*,*,#3359,.F.);
#3359 = EDGE_CURVE('',#2949,#3352,#3360,.T.);
#3360 = LINE('',#3361,#3362);
#3361 = CARTESIAN_POINT('',(-17.,1.329794015436,8.413434567328));
#3362 = VECTOR('',#3363,1.);
#3363 = DIRECTION('',(1.,-0.,-0.));
#3364 = ORIENTED_EDGE('',*,*,#2948,.T.);
#3365 = ORIENTED_EDGE('',*,*,#3366,.T.);
#3366 = EDGE_CURVE('',#2941,#2731,#3367,.T.);
#3367 = LINE('',#3368,#3369);
#3368 = CARTESIAN_POINT('',(-17.,2.4832165234E-15,8.413434567328));
#3369 = VECTOR('',#3370,1.);
#3370 = DIRECTION('',(1.,-0.,-0.));
#3371 = ORIENTED_EDGE('',*,*,#2738,.F.);
#3372 = ORIENTED_EDGE('',*,*,#3179,.F.);
#3373 = PLANE('',#3374);
#3374 = AXIS2_PLACEMENT_3D('',#3375,#3376,#3377);
#3375 = CARTESIAN_POINT('',(-17.,1.329794015436,8.413434567328));
#3376 = DIRECTION('',(0.,1.304505401468E-15,-1.));
#3377 = DIRECTION('',(0.,1.,1.304505401468E-15));
#3378 = ADVANCED_FACE('',(#3379),#3420,.T.);
#3379 = FACE_BOUND('',#3380,.T.);
#3380 = EDGE_LOOP('',(#3381,#3391,#3399,#3405,#3406,#3414));
#3381 = ORIENTED_EDGE('',*,*,#3382,.F.);
#3382 = EDGE_CURVE('',#3383,#3385,#3387,.T.);
#3383 = VERTEX_POINT('',#3384);
#3384 = CARTESIAN_POINT('',(-13.25,9.69137865319,-16.03146218535));
#3385 = VERTEX_POINT('',#3386);
#3386 = CARTESIAN_POINT('',(-12.51,8.996006113808,-15.77836727929));
#3387 = LINE('',#3388,#3389);
#3388 = CARTESIAN_POINT('',(-13.75,10.161224963583,-16.20247225701));
#3389 = VECTOR('',#3390,1.);
#3390 = DIRECTION('',(0.707106781187,-0.664463024389,0.241844762648));
#3391 = ORIENTED_EDGE('',*,*,#3392,.T.);
#3392 = EDGE_CURVE('',#3383,#3393,#3395,.T.);
#3393 = VERTEX_POINT('',#3394);
#3394 = CARTESIAN_POINT('',(-13.25,17.472336913849,5.346544937523));
#3395 = LINE('',#3396,#3397);
#3396 = CARTESIAN_POINT('',(-13.25,9.007338366538,-17.91084742692));
#3397 = VECTOR('',#3398,1.);
#3398 = DIRECTION('',(-3.925231146709E-17,0.342020143326,0.939692620786)
  );
#3399 = ORIENTED_EDGE('',*,*,#3400,.T.);
#3400 = EDGE_CURVE('',#3393,#119,#3401,.T.);
#3401 = LINE('',#3402,#3403);
#3402 = CARTESIAN_POINT('',(-13.75,17.942183224242,5.175534865861));
#3403 = VECTOR('',#3404,1.);
#3404 = DIRECTION('',(0.707106781187,-0.664463024389,0.241844762648));
#3405 = ORIENTED_EDGE('',*,*,#118,.F.);
#3406 = ORIENTED_EDGE('',*,*,#3407,.F.);
#3407 = EDGE_CURVE('',#3408,#111,#3410,.T.);
#3408 = VERTEX_POINT('',#3409);
#3409 = CARTESIAN_POINT('',(-12.51,9.002086471912,-15.7616616327));
#3410 = LINE('',#3411,#3412);
#3411 = CARTESIAN_POINT('',(-12.49780183917,8.9864261803,-15.769022894)
  );
#3412 = VECTOR('',#3413,1.);
#3413 = DIRECTION('',(0.576162315696,-0.739691008535,-0.347698429483));
#3414 = ORIENTED_EDGE('',*,*,#3415,.F.);
#3415 = EDGE_CURVE('',#3385,#3408,#3416,.T.);
#3416 = LINE('',#3417,#3418);
#3417 = CARTESIAN_POINT('',(-12.51,8.79042882473,-16.34318623899));
#3418 = VECTOR('',#3419,1.);
#3419 = DIRECTION('',(-0.,0.342020143326,0.939692620786));
#3420 = PLANE('',#3421);
#3421 = AXIS2_PLACEMENT_3D('',#3422,#3423,#3424);
#3422 = CARTESIAN_POINT('',(-13.75,10.161224963583,-16.20247225701));
#3423 = DIRECTION('',(0.707106781187,0.664463024389,-0.241844762648));
#3424 = DIRECTION('',(0.707106781187,-0.664463024389,0.241844762648));
#3425 = ADVANCED_FACE('',(#3426),#3437,.T.);
#3426 = FACE_BOUND('',#3427,.T.);
#3427 = EDGE_LOOP('',(#3428,#3434,#3435,#3436));
#3428 = ORIENTED_EDGE('',*,*,#3429,.F.);
#3429 = EDGE_CURVE('',#93,#196,#3430,.T.);
#3430 = LINE('',#3431,#3432);
#3431 = CARTESIAN_POINT('',(-6.255,7.042448089135,-17.46173029547));
#3432 = VECTOR('',#3433,1.);
#3433 = DIRECTION('',(1.,0.,-0.));
#3434 = ORIENTED_EDGE('',*,*,#92,.T.);
#3435 = ORIENTED_EDGE('',*,*,#181,.T.);
#3436 = ORIENTED_EDGE('',*,*,#195,.T.);
#3437 = PLANE('',#3438);
#3438 = AXIS2_PLACEMENT_3D('',#3439,#3440,#3441);
#3439 = CARTESIAN_POINT('',(-4.865897865161E-16,17.101857594648,
    -21.12305592977));
#3440 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#3441 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#3442 = ADVANCED_FACE('',(#3443),#3477,.T.);
#3443 = FACE_BOUND('',#3444,.T.);
#3444 = EDGE_LOOP('',(#3445,#3446,#3452,#3453,#3454,#3462,#3470,#3476));
#3445 = ORIENTED_EDGE('',*,*,#110,.T.);
#3446 = ORIENTED_EDGE('',*,*,#3447,.T.);
#3447 = EDGE_CURVE('',#103,#221,#3448,.T.);
#3448 = LINE('',#3449,#3450);
#3449 = CARTESIAN_POINT('',(-12.51,7.384468232461,-16.52203767468));
#3450 = VECTOR('',#3451,1.);
#3451 = DIRECTION('',(1.,0.,0.));
#3452 = ORIENTED_EDGE('',*,*,#220,.T.);
#3453 = ORIENTED_EDGE('',*,*,#3267,.F.);
#3454 = ORIENTED_EDGE('',*,*,#3455,.T.);
#3455 = EDGE_CURVE('',#3268,#3456,#3458,.T.);
#3456 = VERTEX_POINT('',#3457);
#3457 = CARTESIAN_POINT('',(12.51,9.464263111755,-15.54441133499));
#3458 = LINE('',#3459,#3460);
#3459 = CARTESIAN_POINT('',(12.51,7.384468232461,-16.52203767468));
#3460 = VECTOR('',#3461,1.);
#3461 = DIRECTION('',(0.,0.905003139126,0.425404887339));
#3462 = ORIENTED_EDGE('',*,*,#3463,.F.);
#3463 = EDGE_CURVE('',#3464,#3456,#3466,.T.);
#3464 = VERTEX_POINT('',#3465);
#3465 = CARTESIAN_POINT('',(-12.51,9.464263111755,-15.54441133499));
#3466 = LINE('',#3467,#3468);
#3467 = CARTESIAN_POINT('',(-12.51,9.464263111755,-15.54441133499));
#3468 = VECTOR('',#3469,1.);
#3469 = DIRECTION('',(1.,0.,0.));
#3470 = ORIENTED_EDGE('',*,*,#3471,.F.);
#3471 = EDGE_CURVE('',#3408,#3464,#3472,.T.);
#3472 = LINE('',#3473,#3474);
#3473 = CARTESIAN_POINT('',(-12.51,7.384468232461,-16.52203767468));
#3474 = VECTOR('',#3475,1.);
#3475 = DIRECTION('',(0.,0.905003139126,0.425404887339));
#3476 = ORIENTED_EDGE('',*,*,#3407,.T.);
#3477 = PLANE('',#3478);
#3478 = AXIS2_PLACEMENT_3D('',#3479,#3480,#3481);
#3479 = CARTESIAN_POINT('',(-12.51,7.384468232461,-16.52203767468));
#3480 = DIRECTION('',(0.,-0.425404887339,0.905003139126));
#3481 = DIRECTION('',(0.,0.905003139126,0.425404887339));
#3482 = ADVANCED_FACE('',(#3483),#3489,.T.);
#3483 = FACE_BOUND('',#3484,.T.);
#3484 = EDGE_LOOP('',(#3485,#3486,#3487,#3488));
#3485 = ORIENTED_EDGE('',*,*,#3447,.F.);
#3486 = ORIENTED_EDGE('',*,*,#102,.T.);
#3487 = ORIENTED_EDGE('',*,*,#3429,.T.);
#3488 = ORIENTED_EDGE('',*,*,#228,.T.);
#3489 = PLANE('',#3490);
#3490 = AXIS2_PLACEMENT_3D('',#3491,#3492,#3493);
#3491 = CARTESIAN_POINT('',(-12.51,7.039027887702,-17.47112722168));
#3492 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#3493 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#3494 = ADVANCED_FACE('',(#3495),#3545,.F.);
#3495 = FACE_BOUND('',#3496,.F.);
#3496 = EDGE_LOOP('',(#3497,#3506,#3514,#3523,#3532,#3539,#3540,#3541,
    #3542,#3543,#3544));
#3497 = ORIENTED_EDGE('',*,*,#3498,.F.);
#3498 = EDGE_CURVE('',#3499,#2840,#3501,.T.);
#3499 = VERTEX_POINT('',#3500);
#3500 = CARTESIAN_POINT('',(-12.1,1.329794015436,9.213434567328));
#3501 = CIRCLE('',#3502,2.7);
#3502 = AXIS2_PLACEMENT_3D('',#3503,#3504,#3505);
#3503 = CARTESIAN_POINT('',(-12.1,4.,8.813434567328));
#3504 = DIRECTION('',(-1.,0.,0.));
#3505 = DIRECTION('',(0.,0.,1.));
#3506 = ORIENTED_EDGE('',*,*,#3507,.T.);
#3507 = EDGE_CURVE('',#3499,#3508,#3510,.T.);
#3508 = VERTEX_POINT('',#3509);
#3509 = CARTESIAN_POINT('',(-4.,1.329794015436,9.213434567328));
#3510 = LINE('',#3511,#3512);
#3511 = CARTESIAN_POINT('',(-17.,1.329794015436,9.213434567328));
#3512 = VECTOR('',#3513,1.);
#3513 = DIRECTION('',(1.,-0.,-0.));
#3514 = ORIENTED_EDGE('',*,*,#3515,.T.);
#3515 = EDGE_CURVE('',#3508,#3516,#3518,.T.);
#3516 = VERTEX_POINT('',#3517);
#3517 = CARTESIAN_POINT('',(-4.,4.,11.513434567328));
#3518 = CIRCLE('',#3519,2.7);
#3519 = AXIS2_PLACEMENT_3D('',#3520,#3521,#3522);
#3520 = CARTESIAN_POINT('',(-4.,4.,8.813434567328));
#3521 = DIRECTION('',(-1.,0.,-0.));
#3522 = DIRECTION('',(0.,9.637352644316E-16,-1.));
#3523 = ORIENTED_EDGE('',*,*,#3524,.T.);
#3524 = EDGE_CURVE('',#3516,#3525,#3527,.T.);
#3525 = VERTEX_POINT('',#3526);
#3526 = CARTESIAN_POINT('',(-4.,4.,6.113434567328));
#3527 = CIRCLE('',#3528,2.7);
#3528 = AXIS2_PLACEMENT_3D('',#3529,#3530,#3531);
#3529 = CARTESIAN_POINT('',(-4.,4.,8.813434567328));
#3530 = DIRECTION('',(-1.,-0.,-0.));
#3531 = DIRECTION('',(0.,0.,-1.));
#3532 = ORIENTED_EDGE('',*,*,#3533,.T.);
#3533 = EDGE_CURVE('',#3525,#3352,#3534,.T.);
#3534 = CIRCLE('',#3535,2.7);
#3535 = AXIS2_PLACEMENT_3D('',#3536,#3537,#3538);
#3536 = CARTESIAN_POINT('',(-4.,4.,8.813434567328));
#3537 = DIRECTION('',(-1.,-0.,-0.));
#3538 = DIRECTION('',(0.,0.,-1.));
#3539 = ORIENTED_EDGE('',*,*,#3359,.F.);
#3540 = ORIENTED_EDGE('',*,*,#2956,.F.);
#3541 = ORIENTED_EDGE('',*,*,#2903,.F.);
#3542 = ORIENTED_EDGE('',*,*,#2814,.F.);
#3543 = ORIENTED_EDGE('',*,*,#2830,.F.);
#3544 = ORIENTED_EDGE('',*,*,#2839,.F.);
#3545 = CYLINDRICAL_SURFACE('',#3546,2.7);
#3546 = AXIS2_PLACEMENT_3D('',#3547,#3548,#3549);
#3547 = CARTESIAN_POINT('',(-17.,4.,8.813434567328));
#3548 = DIRECTION('',(1.,-0.,-0.));
#3549 = DIRECTION('',(0.,0.,-1.));
#3550 = ADVANCED_FACE('',(#3551),#3562,.T.);
#3551 = FACE_BOUND('',#3552,.T.);
#3552 = EDGE_LOOP('',(#3553,#3554,#3555,#3556));
#3553 = ORIENTED_EDGE('',*,*,#2873,.F.);
#3554 = ORIENTED_EDGE('',*,*,#2848,.T.);
#3555 = ORIENTED_EDGE('',*,*,#3498,.F.);
#3556 = ORIENTED_EDGE('',*,*,#3557,.F.);
#3557 = EDGE_CURVE('',#2874,#3499,#3558,.T.);
#3558 = LINE('',#3559,#3560);
#3559 = CARTESIAN_POINT('',(-12.1,1.201897515915E-14,9.213434567328));
#3560 = VECTOR('',#3561,1.);
#3561 = DIRECTION('',(0.,1.,-1.304505401468E-15));
#3562 = PLANE('',#3563);
#3563 = AXIS2_PLACEMENT_3D('',#3564,#3565,#3566);
#3564 = CARTESIAN_POINT('',(-12.1,0.,0.));
#3565 = DIRECTION('',(-1.,0.,0.));
#3566 = DIRECTION('',(0.,0.,1.));
#3567 = ADVANCED_FACE('',(#3568),#3589,.F.);
#3568 = FACE_BOUND('',#3569,.T.);
#3569 = EDGE_LOOP('',(#3570,#3578,#3584,#3585,#3586,#3587,#3588));
#3570 = ORIENTED_EDGE('',*,*,#3571,.F.);
#3571 = EDGE_CURVE('',#3572,#3508,#3574,.T.);
#3572 = VERTEX_POINT('',#3573);
#3573 = CARTESIAN_POINT('',(-4.,0.9,9.213434567328));
#3574 = LINE('',#3575,#3576);
#3575 = CARTESIAN_POINT('',(-4.,1.329794015436,9.213434567328));
#3576 = VECTOR('',#3577,1.);
#3577 = DIRECTION('',(0.,1.,-1.304505401468E-15));
#3578 = ORIENTED_EDGE('',*,*,#3579,.T.);
#3579 = EDGE_CURVE('',#3572,#3012,#3580,.T.);
#3580 = LINE('',#3581,#3582);
#3581 = CARTESIAN_POINT('',(-17.,0.9,9.213434567328));
#3582 = VECTOR('',#3583,1.);
#3583 = DIRECTION('',(1.,0.,-0.));
#3584 = ORIENTED_EDGE('',*,*,#3019,.F.);
#3585 = ORIENTED_EDGE('',*,*,#3079,.F.);
#3586 = ORIENTED_EDGE('',*,*,#2881,.F.);
#3587 = ORIENTED_EDGE('',*,*,#3557,.T.);
#3588 = ORIENTED_EDGE('',*,*,#3507,.T.);
#3589 = PLANE('',#3590);
#3590 = AXIS2_PLACEMENT_3D('',#3591,#3592,#3593);
#3591 = CARTESIAN_POINT('',(-17.,1.329794015436,9.213434567328));
#3592 = DIRECTION('',(0.,1.304505401468E-15,1.));
#3593 = DIRECTION('',(0.,-1.,1.304505401468E-15));
#3594 = ADVANCED_FACE('',(#3595),#3620,.T.);
#3595 = FACE_BOUND('',#3596,.T.);
#3596 = EDGE_LOOP('',(#3597,#3598,#3606,#3614));
#3597 = ORIENTED_EDGE('',*,*,#2932,.T.);
#3598 = ORIENTED_EDGE('',*,*,#3599,.T.);
#3599 = EDGE_CURVE('',#2924,#3600,#3602,.T.);
#3600 = VERTEX_POINT('',#3601);
#3601 = CARTESIAN_POINT('',(-14.6,1.330305553064,8.41));
#3602 = LINE('',#3603,#3604);
#3603 = CARTESIAN_POINT('',(-4.,1.330305553064,8.41));
#3604 = VECTOR('',#3605,1.);
#3605 = DIRECTION('',(-1.,0.,0.));
#3606 = ORIENTED_EDGE('',*,*,#3607,.T.);
#3607 = EDGE_CURVE('',#3600,#3608,#3610,.T.);
#3608 = VERTEX_POINT('',#3609);
#3609 = CARTESIAN_POINT('',(-14.6,0.,8.41));
#3610 = LINE('',#3611,#3612);
#3611 = CARTESIAN_POINT('',(-14.6,1.535942163954,8.41));
#3612 = VECTOR('',#3613,1.);
#3613 = DIRECTION('',(0.,-1.,0.));
#3614 = ORIENTED_EDGE('',*,*,#3615,.T.);
#3615 = EDGE_CURVE('',#3608,#2933,#3616,.T.);
#3616 = LINE('',#3617,#3618);
#3617 = CARTESIAN_POINT('',(-50.,0.,8.41));
#3618 = VECTOR('',#3619,1.);
#3619 = DIRECTION('',(1.,0.,-0.));
#3620 = PLANE('',#3621);
#3621 = AXIS2_PLACEMENT_3D('',#3622,#3623,#3624);
#3622 = CARTESIAN_POINT('',(-50.,0.,8.41));
#3623 = DIRECTION('',(0.,0.,1.));
#3624 = DIRECTION('',(1.,0.,-0.));
#3625 = ADVANCED_FACE('',(#3626),#3669,.T.);
#3626 = FACE_BOUND('',#3627,.T.);
#3627 = EDGE_LOOP('',(#3628,#3629,#3630,#3631,#3639,#3647,#3655,#3663));
#3628 = ORIENTED_EDGE('',*,*,#3064,.T.);
#3629 = ORIENTED_EDGE('',*,*,#2991,.T.);
#3630 = ORIENTED_EDGE('',*,*,#3002,.T.);
#3631 = ORIENTED_EDGE('',*,*,#3632,.F.);
#3632 = EDGE_CURVE('',#3633,#3003,#3635,.T.);
#3633 = VERTEX_POINT('',#3634);
#3634 = CARTESIAN_POINT('',(-4.,0.9,12.663434567328));
#3635 = LINE('',#3636,#3637);
#3636 = CARTESIAN_POINT('',(-4.,0.9,12.663434567328));
#3637 = VECTOR('',#3638,1.);
#3638 = DIRECTION('',(1.,0.,0.));
#3639 = ORIENTED_EDGE('',*,*,#3640,.F.);
#3640 = EDGE_CURVE('',#3641,#3633,#3643,.T.);
#3641 = VERTEX_POINT('',#3642);
#3642 = CARTESIAN_POINT('',(-4.,8.4,12.663434567328));
#3643 = LINE('',#3644,#3645);
#3644 = CARTESIAN_POINT('',(-4.,8.4,12.663434567328));
#3645 = VECTOR('',#3646,1.);
#3646 = DIRECTION('',(0.,-1.,0.));
#3647 = ORIENTED_EDGE('',*,*,#3648,.T.);
#3648 = EDGE_CURVE('',#3641,#3649,#3651,.T.);
#3649 = VERTEX_POINT('',#3650);
#3650 = CARTESIAN_POINT('',(4.,8.4,12.663434567328));
#3651 = LINE('',#3652,#3653);
#3652 = CARTESIAN_POINT('',(-4.,8.4,12.663434567328));
#3653 = VECTOR('',#3654,1.);
#3654 = DIRECTION('',(1.,0.,0.));
#3655 = ORIENTED_EDGE('',*,*,#3656,.T.);
#3656 = EDGE_CURVE('',#3649,#3657,#3659,.T.);
#3657 = VERTEX_POINT('',#3658);
#3658 = CARTESIAN_POINT('',(4.,0.9,12.663434567328));
#3659 = LINE('',#3660,#3661);
#3660 = CARTESIAN_POINT('',(4.,8.4,12.663434567328));
#3661 = VECTOR('',#3662,1.);
#3662 = DIRECTION('',(0.,-1.,0.));
#3663 = ORIENTED_EDGE('',*,*,#3664,.F.);
#3664 = EDGE_CURVE('',#3057,#3657,#3665,.T.);
#3665 = LINE('',#3666,#3667);
#3666 = CARTESIAN_POINT('',(-4.,0.9,12.663434567328));
#3667 = VECTOR('',#3668,1.);
#3668 = DIRECTION('',(1.,0.,0.));
#3669 = PLANE('',#3670);
#3670 = AXIS2_PLACEMENT_3D('',#3671,#3672,#3673);
#3671 = CARTESIAN_POINT('',(-4.,8.4,12.663434567328));
#3672 = DIRECTION('',(0.,0.,-1.));
#3673 = DIRECTION('',(-1.,0.,-0.));
#3674 = ADVANCED_FACE('',(#3675),#3686,.F.);
#3675 = FACE_BOUND('',#3676,.T.);
#3676 = EDGE_LOOP('',(#3677,#3683,#3684,#3685));
#3677 = ORIENTED_EDGE('',*,*,#3678,.T.);
#3678 = EDGE_CURVE('',#3572,#3633,#3679,.T.);
#3679 = LINE('',#3680,#3681);
#3680 = CARTESIAN_POINT('',(-4.,0.9,12.663434567328));
#3681 = VECTOR('',#3682,1.);
#3682 = DIRECTION('',(-0.,-0.,1.));
#3683 = ORIENTED_EDGE('',*,*,#3632,.T.);
#3684 = ORIENTED_EDGE('',*,*,#3011,.F.);
#3685 = ORIENTED_EDGE('',*,*,#3579,.F.);
#3686 = PLANE('',#3687);
#3687 = AXIS2_PLACEMENT_3D('',#3688,#3689,#3690);
#3688 = CARTESIAN_POINT('',(0.,0.9,0.));
#3689 = DIRECTION('',(0.,-1.,0.));
#3690 = DIRECTION('',(0.,-0.,-1.));
#3691 = ADVANCED_FACE('',(#3692),#3703,.F.);
#3692 = FACE_BOUND('',#3693,.T.);
#3693 = EDGE_LOOP('',(#3694,#3695,#3696,#3702));
#3694 = ORIENTED_EDGE('',*,*,#3056,.F.);
#3695 = ORIENTED_EDGE('',*,*,#3664,.T.);
#3696 = ORIENTED_EDGE('',*,*,#3697,.T.);
#3697 = EDGE_CURVE('',#3657,#3116,#3698,.T.);
#3698 = LINE('',#3699,#3700);
#3699 = CARTESIAN_POINT('',(4.,0.9,12.663434567328));
#3700 = VECTOR('',#3701,1.);
#3701 = DIRECTION('',(0.,0.,-1.));
#3702 = ORIENTED_EDGE('',*,*,#3140,.F.);
#3703 = PLANE('',#3704);
#3704 = AXIS2_PLACEMENT_3D('',#3705,#3706,#3707);
#3705 = CARTESIAN_POINT('',(0.,0.9,0.));
#3706 = DIRECTION('',(0.,-1.,0.));
#3707 = DIRECTION('',(0.,-0.,-1.));
#3708 = ADVANCED_FACE('',(#3709),#3726,.F.);
#3709 = FACE_BOUND('',#3710,.F.);
#3710 = EDGE_LOOP('',(#3711,#3719,#3720));
#3711 = ORIENTED_EDGE('',*,*,#3712,.T.);
#3712 = EDGE_CURVE('',#3713,#3243,#3715,.T.);
#3713 = VERTEX_POINT('',#3714);
#3714 = CARTESIAN_POINT('',(12.51,9.69137865319,-16.03146218535));
#3715 = LINE('',#3716,#3717);
#3716 = CARTESIAN_POINT('',(-0.829029130879,9.69137865319,
    -16.03146218535));
#3717 = VECTOR('',#3718,1.);
#3718 = DIRECTION('',(1.,0.,-0.));
#3719 = ORIENTED_EDGE('',*,*,#3242,.T.);
#3720 = ORIENTED_EDGE('',*,*,#3721,.T.);
#3721 = EDGE_CURVE('',#3245,#3713,#3722,.T.);
#3722 = LINE('',#3723,#3724);
#3723 = CARTESIAN_POINT('',(12.51,9.321190670914,-15.89672477872));
#3724 = VECTOR('',#3725,1.);
#3725 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#3726 = PLANE('',#3727);
#3727 = AXIS2_PLACEMENT_3D('',#3728,#3729,#3730);
#3728 = CARTESIAN_POINT('',(12.941941738242,9.74593557334,
    -16.05131928036));
#3729 = DIRECTION('',(-0.,-0.342020143326,-0.939692620786));
#3730 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#3731 = ADVANCED_FACE('',(#3732),#3749,.T.);
#3732 = FACE_BOUND('',#3733,.T.);
#3733 = EDGE_LOOP('',(#3734,#3742,#3743));
#3734 = ORIENTED_EDGE('',*,*,#3735,.T.);
#3735 = EDGE_CURVE('',#3736,#3383,#3738,.T.);
#3736 = VERTEX_POINT('',#3737);
#3737 = CARTESIAN_POINT('',(-12.51,9.69137865319,-16.03146218535));
#3738 = LINE('',#3739,#3740);
#3739 = CARTESIAN_POINT('',(-13.77097086912,9.69137865319,
    -16.03146218535));
#3740 = VECTOR('',#3741,1.);
#3741 = DIRECTION('',(-1.,0.,0.));
#3742 = ORIENTED_EDGE('',*,*,#3382,.T.);
#3743 = ORIENTED_EDGE('',*,*,#3744,.F.);
#3744 = EDGE_CURVE('',#3736,#3385,#3745,.T.);
#3745 = LINE('',#3746,#3747);
#3746 = CARTESIAN_POINT('',(-12.51,9.321190670914,-15.89672477872));
#3747 = VECTOR('',#3748,1.);
#3748 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#3749 = PLANE('',#3750);
#3750 = AXIS2_PLACEMENT_3D('',#3751,#3752,#3753);
#3751 = CARTESIAN_POINT('',(-12.94194173824,9.74593557334,
    -16.05131928036));
#3752 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#3753 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#3754 = ADVANCED_FACE('',(#3755),#3766,.F.);
#3755 = FACE_BOUND('',#3756,.F.);
#3756 = EDGE_LOOP('',(#3757,#3758,#3759,#3765));
#3757 = ORIENTED_EDGE('',*,*,#3275,.F.);
#3758 = ORIENTED_EDGE('',*,*,#3455,.T.);
#3759 = ORIENTED_EDGE('',*,*,#3760,.T.);
#3760 = EDGE_CURVE('',#3456,#3713,#3761,.T.);
#3761 = LINE('',#3762,#3763);
#3762 = CARTESIAN_POINT('',(12.51,9.464263111755,-15.54441133499));
#3763 = VECTOR('',#3764,1.);
#3764 = DIRECTION('',(0.,0.422618261741,-0.906307787037));
#3765 = ORIENTED_EDGE('',*,*,#3721,.F.);
#3766 = PLANE('',#3767);
#3767 = AXIS2_PLACEMENT_3D('',#3768,#3769,#3770);
#3768 = CARTESIAN_POINT('',(12.51,8.485291190332,-16.87176819647));
#3769 = DIRECTION('',(-1.,-0.,-0.));
#3770 = DIRECTION('',(0.,0.,-1.));
#3771 = ADVANCED_FACE('',(#3772),#3783,.T.);
#3772 = FACE_BOUND('',#3773,.T.);
#3773 = EDGE_LOOP('',(#3774,#3775,#3776,#3782));
#3774 = ORIENTED_EDGE('',*,*,#3415,.T.);
#3775 = ORIENTED_EDGE('',*,*,#3471,.T.);
#3776 = ORIENTED_EDGE('',*,*,#3777,.T.);
#3777 = EDGE_CURVE('',#3464,#3736,#3778,.T.);
#3778 = LINE('',#3779,#3780);
#3779 = CARTESIAN_POINT('',(-12.51,9.464263111755,-15.54441133499));
#3780 = VECTOR('',#3781,1.);
#3781 = DIRECTION('',(0.,0.422618261741,-0.906307787037));
#3782 = ORIENTED_EDGE('',*,*,#3744,.T.);
#3783 = PLANE('',#3784);
#3784 = AXIS2_PLACEMENT_3D('',#3785,#3786,#3787);
#3785 = CARTESIAN_POINT('',(-12.51,8.485291190332,-16.87176819647));
#3786 = DIRECTION('',(-1.,-0.,-0.));
#3787 = DIRECTION('',(0.,0.,-1.));
#3788 = ADVANCED_FACE('',(#3789),#3800,.T.);
#3789 = FACE_BOUND('',#3790,.T.);
#3790 = EDGE_LOOP('',(#3791,#3792,#3793,#3799));
#3791 = ORIENTED_EDGE('',*,*,#3463,.T.);
#3792 = ORIENTED_EDGE('',*,*,#3760,.T.);
#3793 = ORIENTED_EDGE('',*,*,#3794,.F.);
#3794 = EDGE_CURVE('',#3736,#3713,#3795,.T.);
#3795 = LINE('',#3796,#3797);
#3796 = CARTESIAN_POINT('',(-0.829029130879,9.69137865319,
    -16.03146218535));
#3797 = VECTOR('',#3798,1.);
#3798 = DIRECTION('',(1.,0.,-0.));
#3799 = ORIENTED_EDGE('',*,*,#3777,.F.);
#3800 = PLANE('',#3801);
#3801 = AXIS2_PLACEMENT_3D('',#3802,#3803,#3804);
#3802 = CARTESIAN_POINT('',(-12.51,9.464263111755,-15.54441133499));
#3803 = DIRECTION('',(-0.,0.906307787037,0.422618261741));
#3804 = DIRECTION('',(0.,0.422618261741,-0.906307787037));
#3805 = ADVANCED_FACE('',(#3806),#3834,.T.);
#3806 = FACE_BOUND('',#3807,.T.);
#3807 = EDGE_LOOP('',(#3808,#3809,#3810,#3811,#3812,#3813,#3814,#3815,
    #3816,#3822,#3823,#3824,#3825,#3826,#3827,#3833));
#3808 = ORIENTED_EDGE('',*,*,#1355,.F.);
#3809 = ORIENTED_EDGE('',*,*,#2075,.F.);
#3810 = ORIENTED_EDGE('',*,*,#2658,.T.);
#3811 = ORIENTED_EDGE('',*,*,#3228,.F.);
#3812 = ORIENTED_EDGE('',*,*,#2790,.T.);
#3813 = ORIENTED_EDGE('',*,*,#2212,.T.);
#3814 = ORIENTED_EDGE('',*,*,#1493,.T.);
#3815 = ORIENTED_EDGE('',*,*,#1444,.T.);
#3816 = ORIENTED_EDGE('',*,*,#3817,.F.);
#3817 = EDGE_CURVE('',#3393,#1445,#3818,.T.);
#3818 = LINE('',#3819,#3820);
#3819 = CARTESIAN_POINT('',(-14.6,17.472336913849,5.346544937523));
#3820 = VECTOR('',#3821,1.);
#3821 = DIRECTION('',(1.,0.,0.));
#3822 = ORIENTED_EDGE('',*,*,#3392,.F.);
#3823 = ORIENTED_EDGE('',*,*,#3735,.F.);
#3824 = ORIENTED_EDGE('',*,*,#3794,.T.);
#3825 = ORIENTED_EDGE('',*,*,#3712,.T.);
#3826 = ORIENTED_EDGE('',*,*,#3252,.T.);
#3827 = ORIENTED_EDGE('',*,*,#3828,.F.);
#3828 = EDGE_CURVE('',#1382,#3253,#3829,.T.);
#3829 = LINE('',#3830,#3831);
#3830 = CARTESIAN_POINT('',(-14.6,17.472336913849,5.346544937523));
#3831 = VECTOR('',#3832,1.);
#3832 = DIRECTION('',(1.,0.,0.));
#3833 = ORIENTED_EDGE('',*,*,#1381,.F.);
#3834 = PLANE('',#3835);
#3835 = AXIS2_PLACEMENT_3D('',#3836,#3837,#3838);
#3836 = CARTESIAN_POINT('',(4.365535515153E-15,12.716392992542,
    -7.720303594458));
#3837 = DIRECTION('',(0.,0.939692620786,-0.342020143326));
#3838 = DIRECTION('',(0.,0.342020143326,0.939692620786));
#3839 = ADVANCED_FACE('',(#3840),#3856,.T.);
#3840 = FACE_BOUND('',#3841,.T.);
#3841 = EDGE_LOOP('',(#3842,#3843,#3844,#3845,#3846,#3847,#3848,#3849,
    #3850,#3851,#3852,#3853,#3854,#3855));
#3842 = ORIENTED_EDGE('',*,*,#126,.F.);
#3843 = ORIENTED_EDGE('',*,*,#3400,.F.);
#3844 = ORIENTED_EDGE('',*,*,#3817,.T.);
#3845 = ORIENTED_EDGE('',*,*,#1452,.F.);
#3846 = ORIENTED_EDGE('',*,*,#1419,.T.);
#3847 = ORIENTED_EDGE('',*,*,#1389,.T.);
#3848 = ORIENTED_EDGE('',*,*,#3828,.T.);
#3849 = ORIENTED_EDGE('',*,*,#3260,.T.);
#3850 = ORIENTED_EDGE('',*,*,#204,.F.);
#3851 = ORIENTED_EDGE('',*,*,#165,.F.);
#3852 = ORIENTED_EDGE('',*,*,#1828,.F.);
#3853 = ORIENTED_EDGE('',*,*,#2369,.F.);
#3854 = ORIENTED_EDGE('',*,*,#1712,.F.);
#3855 = ORIENTED_EDGE('',*,*,#149,.F.);
#3856 = PLANE('',#3857);
#3857 = AXIS2_PLACEMENT_3D('',#3858,#3859,#3860);
#3858 = CARTESIAN_POINT('',(-6.326272731857E-16,14.32431851441,
    6.492329931841));
#3859 = DIRECTION('',(-0.,-0.342020143326,-0.939692620786));
#3860 = DIRECTION('',(0.,-0.939692620786,0.342020143326));
#3861 = ADVANCED_FACE('',(#3862),#3882,.T.);
#3862 = FACE_BOUND('',#3863,.T.);
#3863 = EDGE_LOOP('',(#3864,#3870,#3871,#3877,#3878,#3879,#3880,#3881));
#3864 = ORIENTED_EDGE('',*,*,#3865,.F.);
#3865 = EDGE_CURVE('',#3290,#3608,#3866,.T.);
#3866 = LINE('',#3867,#3868);
#3867 = CARTESIAN_POINT('',(-14.6,0.,-47.78306114971));
#3868 = VECTOR('',#3869,1.);
#3869 = DIRECTION('',(0.,-0.,1.));
#3870 = ORIENTED_EDGE('',*,*,#3297,.F.);
#3871 = ORIENTED_EDGE('',*,*,#3872,.T.);
#3872 = EDGE_CURVE('',#3298,#3322,#3873,.T.);
#3873 = LINE('',#3874,#3875);
#3874 = CARTESIAN_POINT('',(14.6,0.,-47.78306114971));
#3875 = VECTOR('',#3876,1.);
#3876 = DIRECTION('',(0.,-0.,1.));
#3877 = ORIENTED_EDGE('',*,*,#3321,.F.);
#3878 = ORIENTED_EDGE('',*,*,#2730,.F.);
#3879 = ORIENTED_EDGE('',*,*,#3366,.F.);
#3880 = ORIENTED_EDGE('',*,*,#2940,.T.);
#3881 = ORIENTED_EDGE('',*,*,#3615,.F.);
#3882 = PLANE('',#3883);
#3883 = AXIS2_PLACEMENT_3D('',#3884,#3885,#3886);
#3884 = CARTESIAN_POINT('',(-2.978175745527E-15,5.447520154768E-16,
    -4.572904968224));
#3885 = DIRECTION('',(-0.,-1.,-0.));
#3886 = DIRECTION('',(0.,0.,-1.));
#3887 = ADVANCED_FACE('',(#3888),#3897,.T.);
#3888 = FACE_BOUND('',#3889,.T.);
#3889 = EDGE_LOOP('',(#3890,#3891,#3892,#3893,#3894,#3895,#3896));
#3890 = ORIENTED_EDGE('',*,*,#2059,.F.);
#3891 = ORIENTED_EDGE('',*,*,#2115,.T.);
#3892 = ORIENTED_EDGE('',*,*,#2707,.F.);
#3893 = ORIENTED_EDGE('',*,*,#3329,.T.);
#3894 = ORIENTED_EDGE('',*,*,#3872,.F.);
#3895 = ORIENTED_EDGE('',*,*,#3305,.T.);
#3896 = ORIENTED_EDGE('',*,*,#2674,.F.);
#3897 = PLANE('',#3898);
#3898 = AXIS2_PLACEMENT_3D('',#3899,#3900,#3901);
#3899 = CARTESIAN_POINT('',(14.6,6.564414062185,-3.827643457149));
#3900 = DIRECTION('',(1.,0.,0.));
#3901 = DIRECTION('',(-0.,0.,1.));
#3902 = ADVANCED_FACE('',(#3903),#3927,.T.);
#3903 = FACE_BOUND('',#3904,.T.);
#3904 = EDGE_LOOP('',(#3905,#3906,#3907,#3908,#3909,#3910,#3919,#3926));
#3905 = ORIENTED_EDGE('',*,*,#2196,.T.);
#3906 = ORIENTED_EDGE('',*,*,#2783,.F.);
#3907 = ORIENTED_EDGE('',*,*,#3289,.F.);
#3908 = ORIENTED_EDGE('',*,*,#3865,.T.);
#3909 = ORIENTED_EDGE('',*,*,#3607,.F.);
#3910 = ORIENTED_EDGE('',*,*,#3911,.F.);
#3911 = EDGE_CURVE('',#3912,#3600,#3914,.T.);
#3912 = VERTEX_POINT('',#3913);
#3913 = CARTESIAN_POINT('',(-14.6,4.,6.1134));
#3914 = CIRCLE('',#3915,2.7);
#3915 = AXIS2_PLACEMENT_3D('',#3916,#3917,#3918);
#3916 = CARTESIAN_POINT('',(-14.6,4.,8.8134));
#3917 = DIRECTION('',(-1.,0.,0.));
#3918 = DIRECTION('',(0.,0.,-1.));
#3919 = ORIENTED_EDGE('',*,*,#3920,.F.);
#3920 = EDGE_CURVE('',#2228,#3912,#3921,.T.);
#3921 = CIRCLE('',#3922,2.7);
#3922 = AXIS2_PLACEMENT_3D('',#3923,#3924,#3925);
#3923 = CARTESIAN_POINT('',(-14.6,4.,8.8134));
#3924 = DIRECTION('',(-1.,0.,0.));
#3925 = DIRECTION('',(0.,0.,-1.));
#3926 = ORIENTED_EDGE('',*,*,#2227,.F.);
#3927 = PLANE('',#3928);
#3928 = AXIS2_PLACEMENT_3D('',#3929,#3930,#3931);
#3929 = CARTESIAN_POINT('',(-14.6,6.557780569356,-3.809388880703));
#3930 = DIRECTION('',(-1.,-0.,-0.));
#3931 = DIRECTION('',(0.,0.,-1.));
#3932 = ADVANCED_FACE('',(#3933),#3950,.T.);
#3933 = FACE_BOUND('',#3934,.T.);
#3934 = EDGE_LOOP('',(#3935,#3936,#3937,#3938,#3939,#3940,#3941,#3942,
    #3943,#3949));
#3935 = ORIENTED_EDGE('',*,*,#61,.F.);
#3936 = ORIENTED_EDGE('',*,*,#3344,.T.);
#3937 = ORIENTED_EDGE('',*,*,#3187,.T.);
#3938 = ORIENTED_EDGE('',*,*,#3196,.T.);
#3939 = ORIENTED_EDGE('',*,*,#3205,.T.);
#3940 = ORIENTED_EDGE('',*,*,#3113,.T.);
#3941 = ORIENTED_EDGE('',*,*,#3697,.F.);
#3942 = ORIENTED_EDGE('',*,*,#3656,.F.);
#3943 = ORIENTED_EDGE('',*,*,#3944,.T.);
#3944 = EDGE_CURVE('',#3649,#32,#3945,.T.);
#3945 = LINE('',#3946,#3947);
#3946 = CARTESIAN_POINT('',(4.,8.4,12.663434567328));
#3947 = VECTOR('',#3948,1.);
#3948 = DIRECTION('',(0.,0.,-1.));
#3949 = ORIENTED_EDGE('',*,*,#31,.T.);
#3950 = PLANE('',#3951);
#3951 = AXIS2_PLACEMENT_3D('',#3952,#3953,#3954);
#3952 = CARTESIAN_POINT('',(4.,4.440006419294,8.813434567328));
#3953 = DIRECTION('',(-1.,-0.,-0.));
#3954 = DIRECTION('',(0.,0.,-1.));
#3955 = ADVANCED_FACE('',(#3956),#3973,.T.);
#3956 = FACE_BOUND('',#3957,.T.);
#3957 = EDGE_LOOP('',(#3958,#3959,#3960,#3961,#3962,#3963,#3964,#3965,
    #3966,#3972));
#3958 = ORIENTED_EDGE('',*,*,#3678,.F.);
#3959 = ORIENTED_EDGE('',*,*,#3571,.T.);
#3960 = ORIENTED_EDGE('',*,*,#3515,.T.);
#3961 = ORIENTED_EDGE('',*,*,#3524,.T.);
#3962 = ORIENTED_EDGE('',*,*,#3533,.T.);
#3963 = ORIENTED_EDGE('',*,*,#3351,.T.);
#3964 = ORIENTED_EDGE('',*,*,#70,.F.);
#3965 = ORIENTED_EDGE('',*,*,#47,.F.);
#3966 = ORIENTED_EDGE('',*,*,#3967,.T.);
#3967 = EDGE_CURVE('',#40,#3641,#3968,.T.);
#3968 = LINE('',#3969,#3970);
#3969 = CARTESIAN_POINT('',(-4.,8.4,12.663434567328));
#3970 = VECTOR('',#3971,1.);
#3971 = DIRECTION('',(-0.,-0.,1.));
#3972 = ORIENTED_EDGE('',*,*,#3640,.T.);
#3973 = PLANE('',#3974);
#3974 = AXIS2_PLACEMENT_3D('',#3975,#3976,#3977);
#3975 = CARTESIAN_POINT('',(-4.,4.440006419294,8.813434567328));
#3976 = DIRECTION('',(1.,0.,0.));
#3977 = DIRECTION('',(-0.,0.,1.));
#3978 = ADVANCED_FACE('',(#3979),#3985,.T.);
#3979 = FACE_BOUND('',#3980,.T.);
#3980 = EDGE_LOOP('',(#3981,#3982,#3983,#3984));
#3981 = ORIENTED_EDGE('',*,*,#3944,.F.);
#3982 = ORIENTED_EDGE('',*,*,#3648,.F.);
#3983 = ORIENTED_EDGE('',*,*,#3967,.F.);
#3984 = ORIENTED_EDGE('',*,*,#39,.F.);
#3985 = PLANE('',#3986);
#3986 = AXIS2_PLACEMENT_3D('',#3987,#3988,#3989);
#3987 = CARTESIAN_POINT('',(0.,8.4,8.813434567328));
#3988 = DIRECTION('',(-0.,-1.,-0.));
#3989 = DIRECTION('',(0.,0.,-1.));
#3990 = ADVANCED_FACE('',(#3991),#3999,.F.);
#3991 = FACE_BOUND('',#3992,.F.);
#3992 = EDGE_LOOP('',(#3993,#3994,#3995,#3996,#3997,#3998));
#3993 = ORIENTED_EDGE('',*,*,#3599,.T.);
#3994 = ORIENTED_EDGE('',*,*,#3911,.F.);
#3995 = ORIENTED_EDGE('',*,*,#3920,.F.);
#3996 = ORIENTED_EDGE('',*,*,#2235,.F.);
#3997 = ORIENTED_EDGE('',*,*,#2914,.T.);
#3998 = ORIENTED_EDGE('',*,*,#2923,.T.);
#3999 = CYLINDRICAL_SURFACE('',#4000,2.7);
#4000 = AXIS2_PLACEMENT_3D('',#4001,#4002,#4003);
#4001 = CARTESIAN_POINT('',(-4.,4.,8.8134));
#4002 = DIRECTION('',(-1.,0.,0.));
#4003 = DIRECTION('',(0.,0.,-1.));
#4004 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#4008)) 
GLOBAL_UNIT_ASSIGNED_CONTEXT((#4005,#4006,#4007)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#4005 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#4006 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#4007 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#4008 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(1.E-07),#4005,
  'distance_accuracy_value','confusion accuracy');
#4009 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#7));
ENDSEC;
END-ISO-10303-21;