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