ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
FILE_NAME('Open CASCADE Shape Model','2026-09-11T00:44:55',('FreeCAD'),(
    'FreeCAD'),'Open CASCADE STEP processor 7.8','FreeCAD','Unknown');
FILE_SCHEMA(('AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }'));
ENDSEC;
DATA;
#1 = APPLICATION_PROTOCOL_DEFINITION('international standard',
  'automotive_design',2000,#2);
#2 = APPLICATION_CONTEXT(
  'core data for automotive mechanical design processes');
#3 = SHAPE_DEFINITION_REPRESENTATION(#4,#10);
#4 = PRODUCT_DEFINITION_SHAPE('','',#5);
#5 = PRODUCT_DEFINITION('design','',#6,#9);
#6 = PRODUCT_DEFINITION_FORMATION('','',#7);
#7 = PRODUCT('Open CASCADE STEP translator 7.8 2',
  'Open CASCADE STEP translator 7.8 2','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = SHAPE_REPRESENTATION('',(#11,#15,#561,#1192,#1738),#2369);
#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,#184,#208,#328,#345,#367,#379,#396,#413,
    #430,#447,#464,#481,#498,#515,#532,#549));
#17 = ADVANCED_FACE('',(#18),#52,.F.);
#18 = FACE_BOUND('',#19,.F.);
#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('',(-0.5,0.,-0.24));
#24 = VERTEX_POINT('',#25);
#25 = CARTESIAN_POINT('',(-0.5,0.,0.14));
#26 = LINE('',#27,#28);
#27 = CARTESIAN_POINT('',(-0.5,0.,-0.24));
#28 = VECTOR('',#29,1.);
#29 = DIRECTION('',(0.,0.,1.));
#30 = ORIENTED_EDGE('',*,*,#31,.T.);
#31 = EDGE_CURVE('',#22,#32,#34,.T.);
#32 = VERTEX_POINT('',#33);
#33 = CARTESIAN_POINT('',(-0.5,6.5,-0.24));
#34 = LINE('',#35,#36);
#35 = CARTESIAN_POINT('',(-0.5,0.,-0.24));
#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('',(-0.5,6.5,0.14));
#42 = LINE('',#43,#44);
#43 = CARTESIAN_POINT('',(-0.5,6.5,0.14));
#44 = VECTOR('',#45,1.);
#45 = DIRECTION('',(0.,0.,-1.));
#46 = ORIENTED_EDGE('',*,*,#47,.F.);
#47 = EDGE_CURVE('',#24,#40,#48,.T.);
#48 = LINE('',#49,#50);
#49 = CARTESIAN_POINT('',(-0.5,0.,0.14));
#50 = VECTOR('',#51,1.);
#51 = DIRECTION('',(0.,1.,0.));
#52 = PLANE('',#53);
#53 = AXIS2_PLACEMENT_3D('',#54,#55,#56);
#54 = CARTESIAN_POINT('',(-0.5,0.,-0.24));
#55 = DIRECTION('',(1.,0.,0.));
#56 = DIRECTION('',(0.,0.,1.));
#57 = ADVANCED_FACE('',(#58),#179,.F.);
#58 = FACE_BOUND('',#59,.F.);
#59 = EDGE_LOOP('',(#60,#68,#69,#77,#85,#93,#101,#109,#117,#125,#133,
    #141,#149,#157,#165,#173));
#60 = ORIENTED_EDGE('',*,*,#61,.F.);
#61 = EDGE_CURVE('',#22,#62,#64,.T.);
#62 = VERTEX_POINT('',#63);
#63 = CARTESIAN_POINT('',(-0.24,0.,-0.24));
#64 = LINE('',#65,#66);
#65 = CARTESIAN_POINT('',(-0.5,0.,-0.24));
#66 = VECTOR('',#67,1.);
#67 = DIRECTION('',(1.,0.,0.));
#68 = ORIENTED_EDGE('',*,*,#21,.T.);
#69 = ORIENTED_EDGE('',*,*,#70,.T.);
#70 = EDGE_CURVE('',#24,#71,#73,.T.);
#71 = VERTEX_POINT('',#72);
#72 = CARTESIAN_POINT('',(-0.4,0.,0.14));
#73 = LINE('',#74,#75);
#74 = CARTESIAN_POINT('',(-0.5,0.,0.14));
#75 = VECTOR('',#76,1.);
#76 = DIRECTION('',(1.,0.,0.));
#77 = ORIENTED_EDGE('',*,*,#78,.F.);
#78 = EDGE_CURVE('',#79,#71,#81,.T.);
#79 = VERTEX_POINT('',#80);
#80 = CARTESIAN_POINT('',(-0.4,0.,-0.14));
#81 = LINE('',#82,#83);
#82 = CARTESIAN_POINT('',(-0.4,0.,-0.24));
#83 = VECTOR('',#84,1.);
#84 = DIRECTION('',(0.,0.,1.));
#85 = ORIENTED_EDGE('',*,*,#86,.T.);
#86 = EDGE_CURVE('',#79,#87,#89,.T.);
#87 = VERTEX_POINT('',#88);
#88 = CARTESIAN_POINT('',(-0.24,0.,-0.14));
#89 = LINE('',#90,#91);
#90 = CARTESIAN_POINT('',(-0.5,0.,-0.14));
#91 = VECTOR('',#92,1.);
#92 = DIRECTION('',(1.,0.,0.));
#93 = ORIENTED_EDGE('',*,*,#94,.T.);
#94 = EDGE_CURVE('',#87,#95,#97,.T.);
#95 = VERTEX_POINT('',#96);
#96 = CARTESIAN_POINT('',(-0.24,0.,-0.12));
#97 = LINE('',#98,#99);
#98 = CARTESIAN_POINT('',(-0.24,0.,-0.5));
#99 = VECTOR('',#100,1.);
#100 = DIRECTION('',(0.,0.,1.));
#101 = ORIENTED_EDGE('',*,*,#102,.T.);
#102 = EDGE_CURVE('',#95,#103,#105,.T.);
#103 = VERTEX_POINT('',#104);
#104 = CARTESIAN_POINT('',(-0.14,0.,-0.12));
#105 = LINE('',#106,#107);
#106 = CARTESIAN_POINT('',(-0.24,0.,-0.12));
#107 = VECTOR('',#108,1.);
#108 = DIRECTION('',(1.,0.,0.));
#109 = ORIENTED_EDGE('',*,*,#110,.F.);
#110 = EDGE_CURVE('',#111,#103,#113,.T.);
#111 = VERTEX_POINT('',#112);
#112 = CARTESIAN_POINT('',(-0.14,0.,-0.14));
#113 = LINE('',#114,#115);
#114 = CARTESIAN_POINT('',(-0.14,0.,-0.5));
#115 = VECTOR('',#116,1.);
#116 = DIRECTION('',(0.,0.,1.));
#117 = ORIENTED_EDGE('',*,*,#118,.T.);
#118 = EDGE_CURVE('',#111,#119,#121,.T.);
#119 = VERTEX_POINT('',#120);
#120 = CARTESIAN_POINT('',(-0.12,0.,-0.14));
#121 = LINE('',#122,#123);
#122 = CARTESIAN_POINT('',(-0.5,0.,-0.14));
#123 = VECTOR('',#124,1.);
#124 = DIRECTION('',(1.,0.,0.));
#125 = ORIENTED_EDGE('',*,*,#126,.F.);
#126 = EDGE_CURVE('',#127,#119,#129,.T.);
#127 = VERTEX_POINT('',#128);
#128 = CARTESIAN_POINT('',(-0.12,0.,-0.24));
#129 = LINE('',#130,#131);
#130 = CARTESIAN_POINT('',(-0.12,0.,-0.24));
#131 = VECTOR('',#132,1.);
#132 = DIRECTION('',(0.,0.,1.));
#133 = ORIENTED_EDGE('',*,*,#134,.F.);
#134 = EDGE_CURVE('',#135,#127,#137,.T.);
#135 = VERTEX_POINT('',#136);
#136 = CARTESIAN_POINT('',(-0.14,0.,-0.24));
#137 = LINE('',#138,#139);
#138 = CARTESIAN_POINT('',(-0.5,0.,-0.24));
#139 = VECTOR('',#140,1.);
#140 = DIRECTION('',(1.,0.,0.));
#141 = ORIENTED_EDGE('',*,*,#142,.F.);
#142 = EDGE_CURVE('',#143,#135,#145,.T.);
#143 = VERTEX_POINT('',#144);
#144 = CARTESIAN_POINT('',(-0.14,0.,-0.4));
#145 = LINE('',#146,#147);
#146 = CARTESIAN_POINT('',(-0.14,0.,-0.5));
#147 = VECTOR('',#148,1.);
#148 = DIRECTION('',(0.,0.,1.));
#149 = ORIENTED_EDGE('',*,*,#150,.T.);
#150 = EDGE_CURVE('',#143,#151,#153,.T.);
#151 = VERTEX_POINT('',#152);
#152 = CARTESIAN_POINT('',(0.14,0.,-0.4));
#153 = LINE('',#154,#155);
#154 = CARTESIAN_POINT('',(-0.24,0.,-0.4));
#155 = VECTOR('',#156,1.);
#156 = DIRECTION('',(1.,0.,0.));
#157 = ORIENTED_EDGE('',*,*,#158,.F.);
#158 = EDGE_CURVE('',#159,#151,#161,.T.);
#159 = VERTEX_POINT('',#160);
#160 = CARTESIAN_POINT('',(0.14,0.,-0.5));
#161 = LINE('',#162,#163);
#162 = CARTESIAN_POINT('',(0.14,0.,-0.5));
#163 = VECTOR('',#164,1.);
#164 = DIRECTION('',(0.,0.,1.));
#165 = ORIENTED_EDGE('',*,*,#166,.F.);
#166 = EDGE_CURVE('',#167,#159,#169,.T.);
#167 = VERTEX_POINT('',#168);
#168 = CARTESIAN_POINT('',(-0.24,0.,-0.5));
#169 = LINE('',#170,#171);
#170 = CARTESIAN_POINT('',(-0.24,0.,-0.5));
#171 = VECTOR('',#172,1.);
#172 = DIRECTION('',(1.,0.,0.));
#173 = ORIENTED_EDGE('',*,*,#174,.T.);
#174 = EDGE_CURVE('',#167,#62,#175,.T.);
#175 = LINE('',#176,#177);
#176 = CARTESIAN_POINT('',(-0.24,0.,-0.5));
#177 = VECTOR('',#178,1.);
#178 = DIRECTION('',(0.,0.,1.));
#179 = PLANE('',#180);
#180 = AXIS2_PLACEMENT_3D('',#181,#182,#183);
#181 = CARTESIAN_POINT('',(-0.5,0.,-0.24));
#182 = DIRECTION('',(0.,1.,0.));
#183 = DIRECTION('',(0.,0.,1.));
#184 = ADVANCED_FACE('',(#185),#203,.F.);
#185 = FACE_BOUND('',#186,.F.);
#186 = EDGE_LOOP('',(#187,#188,#189,#197));
#187 = ORIENTED_EDGE('',*,*,#31,.F.);
#188 = ORIENTED_EDGE('',*,*,#61,.T.);
#189 = ORIENTED_EDGE('',*,*,#190,.T.);
#190 = EDGE_CURVE('',#62,#191,#193,.T.);
#191 = VERTEX_POINT('',#192);
#192 = CARTESIAN_POINT('',(-0.24,6.5,-0.24));
#193 = LINE('',#194,#195);
#194 = CARTESIAN_POINT('',(-0.24,0.,-0.24));
#195 = VECTOR('',#196,1.);
#196 = DIRECTION('',(0.,1.,0.));
#197 = ORIENTED_EDGE('',*,*,#198,.T.);
#198 = EDGE_CURVE('',#191,#32,#199,.T.);
#199 = LINE('',#200,#201);
#200 = CARTESIAN_POINT('',(-0.12,6.5,-0.24));
#201 = VECTOR('',#202,1.);
#202 = DIRECTION('',(-1.,0.,0.));
#203 = PLANE('',#204);
#204 = AXIS2_PLACEMENT_3D('',#205,#206,#207);
#205 = CARTESIAN_POINT('',(-0.5,0.,-0.24));
#206 = DIRECTION('',(0.,0.,1.));
#207 = DIRECTION('',(1.,0.,0.));
#208 = ADVANCED_FACE('',(#209),#323,.T.);
#209 = FACE_BOUND('',#210,.T.);
#210 = EDGE_LOOP('',(#211,#212,#220,#228,#236,#244,#252,#260,#268,#276,
    #284,#292,#300,#308,#316,#322));
#211 = ORIENTED_EDGE('',*,*,#39,.F.);
#212 = ORIENTED_EDGE('',*,*,#213,.T.);
#213 = EDGE_CURVE('',#40,#214,#216,.T.);
#214 = VERTEX_POINT('',#215);
#215 = CARTESIAN_POINT('',(-0.4,6.5,0.14));
#216 = LINE('',#217,#218);
#217 = CARTESIAN_POINT('',(-0.5,6.5,0.14));
#218 = VECTOR('',#219,1.);
#219 = DIRECTION('',(1.,0.,0.));
#220 = ORIENTED_EDGE('',*,*,#221,.F.);
#221 = EDGE_CURVE('',#222,#214,#224,.T.);
#222 = VERTEX_POINT('',#223);
#223 = CARTESIAN_POINT('',(-0.4,6.5,-0.14));
#224 = LINE('',#225,#226);
#225 = CARTESIAN_POINT('',(-0.4,6.5,-0.24));
#226 = VECTOR('',#227,1.);
#227 = DIRECTION('',(0.,0.,1.));
#228 = ORIENTED_EDGE('',*,*,#229,.T.);
#229 = EDGE_CURVE('',#222,#230,#232,.T.);
#230 = VERTEX_POINT('',#231);
#231 = CARTESIAN_POINT('',(-0.24,6.5,-0.14));
#232 = LINE('',#233,#234);
#233 = CARTESIAN_POINT('',(-0.5,6.5,-0.14));
#234 = VECTOR('',#235,1.);
#235 = DIRECTION('',(1.,0.,0.));
#236 = ORIENTED_EDGE('',*,*,#237,.F.);
#237 = EDGE_CURVE('',#238,#230,#240,.T.);
#238 = VERTEX_POINT('',#239);
#239 = CARTESIAN_POINT('',(-0.24,6.5,-0.12));
#240 = LINE('',#241,#242);
#241 = CARTESIAN_POINT('',(-0.24,6.5,-0.12));
#242 = VECTOR('',#243,1.);
#243 = DIRECTION('',(0.,0.,-1.));
#244 = ORIENTED_EDGE('',*,*,#245,.T.);
#245 = EDGE_CURVE('',#238,#246,#248,.T.);
#246 = VERTEX_POINT('',#247);
#247 = CARTESIAN_POINT('',(-0.14,6.5,-0.12));
#248 = LINE('',#249,#250);
#249 = CARTESIAN_POINT('',(-0.24,6.5,-0.12));
#250 = VECTOR('',#251,1.);
#251 = DIRECTION('',(1.,0.,0.));
#252 = ORIENTED_EDGE('',*,*,#253,.F.);
#253 = EDGE_CURVE('',#254,#246,#256,.T.);
#254 = VERTEX_POINT('',#255);
#255 = CARTESIAN_POINT('',(-0.14,6.5,-0.14));
#256 = LINE('',#257,#258);
#257 = CARTESIAN_POINT('',(-0.14,6.5,-0.5));
#258 = VECTOR('',#259,1.);
#259 = DIRECTION('',(0.,0.,1.));
#260 = ORIENTED_EDGE('',*,*,#261,.T.);
#261 = EDGE_CURVE('',#254,#262,#264,.T.);
#262 = VERTEX_POINT('',#263);
#263 = CARTESIAN_POINT('',(-0.12,6.5,-0.14));
#264 = LINE('',#265,#266);
#265 = CARTESIAN_POINT('',(-0.5,6.5,-0.14));
#266 = VECTOR('',#267,1.);
#267 = DIRECTION('',(1.,0.,0.));
#268 = ORIENTED_EDGE('',*,*,#269,.F.);
#269 = EDGE_CURVE('',#270,#262,#272,.T.);
#270 = VERTEX_POINT('',#271);
#271 = CARTESIAN_POINT('',(-0.12,6.5,-0.24));
#272 = LINE('',#273,#274);
#273 = CARTESIAN_POINT('',(-0.12,6.5,-0.24));
#274 = VECTOR('',#275,1.);
#275 = DIRECTION('',(0.,0.,1.));
#276 = ORIENTED_EDGE('',*,*,#277,.T.);
#277 = EDGE_CURVE('',#270,#278,#280,.T.);
#278 = VERTEX_POINT('',#279);
#279 = CARTESIAN_POINT('',(-0.14,6.5,-0.24));
#280 = LINE('',#281,#282);
#281 = CARTESIAN_POINT('',(-0.12,6.5,-0.24));
#282 = VECTOR('',#283,1.);
#283 = DIRECTION('',(-1.,0.,0.));
#284 = ORIENTED_EDGE('',*,*,#285,.F.);
#285 = EDGE_CURVE('',#286,#278,#288,.T.);
#286 = VERTEX_POINT('',#287);
#287 = CARTESIAN_POINT('',(-0.14,6.5,-0.4));
#288 = LINE('',#289,#290);
#289 = CARTESIAN_POINT('',(-0.14,6.5,-0.5));
#290 = VECTOR('',#291,1.);
#291 = DIRECTION('',(0.,0.,1.));
#292 = ORIENTED_EDGE('',*,*,#293,.T.);
#293 = EDGE_CURVE('',#286,#294,#296,.T.);
#294 = VERTEX_POINT('',#295);
#295 = CARTESIAN_POINT('',(0.14,6.5,-0.4));
#296 = LINE('',#297,#298);
#297 = CARTESIAN_POINT('',(-0.24,6.5,-0.4));
#298 = VECTOR('',#299,1.);
#299 = DIRECTION('',(1.,0.,0.));
#300 = ORIENTED_EDGE('',*,*,#301,.F.);
#301 = EDGE_CURVE('',#302,#294,#304,.T.);
#302 = VERTEX_POINT('',#303);
#303 = CARTESIAN_POINT('',(0.14,6.5,-0.5));
#304 = LINE('',#305,#306);
#305 = CARTESIAN_POINT('',(0.14,6.5,-0.5));
#306 = VECTOR('',#307,1.);
#307 = DIRECTION('',(0.,0.,1.));
#308 = ORIENTED_EDGE('',*,*,#309,.T.);
#309 = EDGE_CURVE('',#302,#310,#312,.T.);
#310 = VERTEX_POINT('',#311);
#311 = CARTESIAN_POINT('',(-0.24,6.5,-0.5));
#312 = LINE('',#313,#314);
#313 = CARTESIAN_POINT('',(0.14,6.5,-0.5));
#314 = VECTOR('',#315,1.);
#315 = DIRECTION('',(-1.,0.,0.));
#316 = ORIENTED_EDGE('',*,*,#317,.F.);
#317 = EDGE_CURVE('',#191,#310,#318,.T.);
#318 = LINE('',#319,#320);
#319 = CARTESIAN_POINT('',(-0.24,6.5,-0.12));
#320 = VECTOR('',#321,1.);
#321 = DIRECTION('',(0.,0.,-1.));
#322 = ORIENTED_EDGE('',*,*,#198,.T.);
#323 = PLANE('',#324);
#324 = AXIS2_PLACEMENT_3D('',#325,#326,#327);
#325 = CARTESIAN_POINT('',(-0.5,6.5,-0.24));
#326 = DIRECTION('',(0.,1.,0.));
#327 = DIRECTION('',(0.,0.,1.));
#328 = ADVANCED_FACE('',(#329),#340,.T.);
#329 = FACE_BOUND('',#330,.T.);
#330 = EDGE_LOOP('',(#331,#332,#333,#339));
#331 = ORIENTED_EDGE('',*,*,#47,.F.);
#332 = ORIENTED_EDGE('',*,*,#70,.T.);
#333 = ORIENTED_EDGE('',*,*,#334,.T.);
#334 = EDGE_CURVE('',#71,#214,#335,.T.);
#335 = LINE('',#336,#337);
#336 = CARTESIAN_POINT('',(-0.4,0.,0.14));
#337 = VECTOR('',#338,1.);
#338 = DIRECTION('',(0.,1.,0.));
#339 = ORIENTED_EDGE('',*,*,#213,.F.);
#340 = PLANE('',#341);
#341 = AXIS2_PLACEMENT_3D('',#342,#343,#344);
#342 = CARTESIAN_POINT('',(-0.5,0.,0.14));
#343 = DIRECTION('',(0.,0.,1.));
#344 = DIRECTION('',(1.,0.,0.));
#345 = ADVANCED_FACE('',(#346),#362,.T.);
#346 = FACE_BOUND('',#347,.T.);
#347 = EDGE_LOOP('',(#348,#349,#355,#356));
#348 = ORIENTED_EDGE('',*,*,#229,.F.);
#349 = ORIENTED_EDGE('',*,*,#350,.F.);
#350 = EDGE_CURVE('',#79,#222,#351,.T.);
#351 = LINE('',#352,#353);
#352 = CARTESIAN_POINT('',(-0.4,0.,-0.14));
#353 = VECTOR('',#354,1.);
#354 = DIRECTION('',(0.,1.,0.));
#355 = ORIENTED_EDGE('',*,*,#86,.T.);
#356 = ORIENTED_EDGE('',*,*,#357,.T.);
#357 = EDGE_CURVE('',#87,#230,#358,.T.);
#358 = LINE('',#359,#360);
#359 = CARTESIAN_POINT('',(-0.24,0.,-0.14));
#360 = VECTOR('',#361,1.);
#361 = DIRECTION('',(0.,1.,0.));
#362 = PLANE('',#363);
#363 = AXIS2_PLACEMENT_3D('',#364,#365,#366);
#364 = CARTESIAN_POINT('',(-0.5,0.,-0.14));
#365 = DIRECTION('',(0.,0.,1.));
#366 = DIRECTION('',(1.,0.,0.));
#367 = ADVANCED_FACE('',(#368),#374,.T.);
#368 = FACE_BOUND('',#369,.T.);
#369 = EDGE_LOOP('',(#370,#371,#372,#373));
#370 = ORIENTED_EDGE('',*,*,#78,.F.);
#371 = ORIENTED_EDGE('',*,*,#350,.T.);
#372 = ORIENTED_EDGE('',*,*,#221,.T.);
#373 = ORIENTED_EDGE('',*,*,#334,.F.);
#374 = PLANE('',#375);
#375 = AXIS2_PLACEMENT_3D('',#376,#377,#378);
#376 = CARTESIAN_POINT('',(-0.4,0.,-0.24));
#377 = DIRECTION('',(1.,0.,0.));
#378 = DIRECTION('',(0.,0.,1.));
#379 = ADVANCED_FACE('',(#380),#391,.F.);
#380 = FACE_BOUND('',#381,.F.);
#381 = EDGE_LOOP('',(#382,#383,#389,#390));
#382 = ORIENTED_EDGE('',*,*,#174,.F.);
#383 = ORIENTED_EDGE('',*,*,#384,.T.);
#384 = EDGE_CURVE('',#167,#310,#385,.T.);
#385 = LINE('',#386,#387);
#386 = CARTESIAN_POINT('',(-0.24,0.,-0.5));
#387 = VECTOR('',#388,1.);
#388 = DIRECTION('',(0.,1.,0.));
#389 = ORIENTED_EDGE('',*,*,#317,.F.);
#390 = ORIENTED_EDGE('',*,*,#190,.F.);
#391 = PLANE('',#392);
#392 = AXIS2_PLACEMENT_3D('',#393,#394,#395);
#393 = CARTESIAN_POINT('',(-0.24,0.,-0.5));
#394 = DIRECTION('',(1.,0.,0.));
#395 = DIRECTION('',(0.,0.,1.));
#396 = ADVANCED_FACE('',(#397),#408,.F.);
#397 = FACE_BOUND('',#398,.F.);
#398 = EDGE_LOOP('',(#399,#400,#401,#402));
#399 = ORIENTED_EDGE('',*,*,#94,.F.);
#400 = ORIENTED_EDGE('',*,*,#357,.T.);
#401 = ORIENTED_EDGE('',*,*,#237,.F.);
#402 = ORIENTED_EDGE('',*,*,#403,.F.);
#403 = EDGE_CURVE('',#95,#238,#404,.T.);
#404 = LINE('',#405,#406);
#405 = CARTESIAN_POINT('',(-0.24,0.,-0.12));
#406 = VECTOR('',#407,1.);
#407 = DIRECTION('',(0.,1.,0.));
#408 = PLANE('',#409);
#409 = AXIS2_PLACEMENT_3D('',#410,#411,#412);
#410 = CARTESIAN_POINT('',(-0.24,0.,-0.5));
#411 = DIRECTION('',(1.,0.,0.));
#412 = DIRECTION('',(0.,0.,1.));
#413 = ADVANCED_FACE('',(#414),#425,.F.);
#414 = FACE_BOUND('',#415,.F.);
#415 = EDGE_LOOP('',(#416,#417,#418,#424));
#416 = ORIENTED_EDGE('',*,*,#384,.F.);
#417 = ORIENTED_EDGE('',*,*,#166,.T.);
#418 = ORIENTED_EDGE('',*,*,#419,.T.);
#419 = EDGE_CURVE('',#159,#302,#420,.T.);
#420 = LINE('',#421,#422);
#421 = CARTESIAN_POINT('',(0.14,0.,-0.5));
#422 = VECTOR('',#423,1.);
#423 = DIRECTION('',(0.,1.,0.));
#424 = ORIENTED_EDGE('',*,*,#309,.T.);
#425 = PLANE('',#426);
#426 = AXIS2_PLACEMENT_3D('',#427,#428,#429);
#427 = CARTESIAN_POINT('',(-0.24,0.,-0.5));
#428 = DIRECTION('',(0.,0.,1.));
#429 = DIRECTION('',(1.,0.,0.));
#430 = ADVANCED_FACE('',(#431),#442,.T.);
#431 = FACE_BOUND('',#432,.T.);
#432 = EDGE_LOOP('',(#433,#434,#435,#436));
#433 = ORIENTED_EDGE('',*,*,#158,.F.);
#434 = ORIENTED_EDGE('',*,*,#419,.T.);
#435 = ORIENTED_EDGE('',*,*,#301,.T.);
#436 = ORIENTED_EDGE('',*,*,#437,.F.);
#437 = EDGE_CURVE('',#151,#294,#438,.T.);
#438 = LINE('',#439,#440);
#439 = CARTESIAN_POINT('',(0.14,0.,-0.4));
#440 = VECTOR('',#441,1.);
#441 = DIRECTION('',(0.,1.,0.));
#442 = PLANE('',#443);
#443 = AXIS2_PLACEMENT_3D('',#444,#445,#446);
#444 = CARTESIAN_POINT('',(0.14,0.,-0.5));
#445 = DIRECTION('',(1.,0.,0.));
#446 = DIRECTION('',(0.,0.,1.));
#447 = ADVANCED_FACE('',(#448),#459,.T.);
#448 = FACE_BOUND('',#449,.T.);
#449 = EDGE_LOOP('',(#450,#451,#457,#458));
#450 = ORIENTED_EDGE('',*,*,#293,.F.);
#451 = ORIENTED_EDGE('',*,*,#452,.T.);
#452 = EDGE_CURVE('',#286,#143,#453,.T.);
#453 = LINE('',#454,#455);
#454 = CARTESIAN_POINT('',(-0.14,0.,-0.4));
#455 = VECTOR('',#456,1.);
#456 = DIRECTION('',(0.,-1.,0.));
#457 = ORIENTED_EDGE('',*,*,#150,.T.);
#458 = ORIENTED_EDGE('',*,*,#437,.T.);
#459 = PLANE('',#460);
#460 = AXIS2_PLACEMENT_3D('',#461,#462,#463);
#461 = CARTESIAN_POINT('',(-0.24,0.,-0.4));
#462 = DIRECTION('',(0.,0.,1.));
#463 = DIRECTION('',(1.,0.,0.));
#464 = ADVANCED_FACE('',(#465),#476,.T.);
#465 = FACE_BOUND('',#466,.T.);
#466 = EDGE_LOOP('',(#467,#468,#469,#470));
#467 = ORIENTED_EDGE('',*,*,#142,.F.);
#468 = ORIENTED_EDGE('',*,*,#452,.F.);
#469 = ORIENTED_EDGE('',*,*,#285,.T.);
#470 = ORIENTED_EDGE('',*,*,#471,.F.);
#471 = EDGE_CURVE('',#135,#278,#472,.T.);
#472 = LINE('',#473,#474);
#473 = CARTESIAN_POINT('',(-0.14,0.,-0.24));
#474 = VECTOR('',#475,1.);
#475 = DIRECTION('',(0.,1.,0.));
#476 = PLANE('',#477);
#477 = AXIS2_PLACEMENT_3D('',#478,#479,#480);
#478 = CARTESIAN_POINT('',(-0.14,0.,-0.5));
#479 = DIRECTION('',(1.,0.,0.));
#480 = DIRECTION('',(0.,0.,1.));
#481 = ADVANCED_FACE('',(#482),#493,.F.);
#482 = FACE_BOUND('',#483,.F.);
#483 = EDGE_LOOP('',(#484,#485,#486,#492));
#484 = ORIENTED_EDGE('',*,*,#471,.F.);
#485 = ORIENTED_EDGE('',*,*,#134,.T.);
#486 = ORIENTED_EDGE('',*,*,#487,.T.);
#487 = EDGE_CURVE('',#127,#270,#488,.T.);
#488 = LINE('',#489,#490);
#489 = CARTESIAN_POINT('',(-0.12,0.,-0.24));
#490 = VECTOR('',#491,1.);
#491 = DIRECTION('',(0.,1.,0.));
#492 = ORIENTED_EDGE('',*,*,#277,.T.);
#493 = PLANE('',#494);
#494 = AXIS2_PLACEMENT_3D('',#495,#496,#497);
#495 = CARTESIAN_POINT('',(-0.5,0.,-0.24));
#496 = DIRECTION('',(0.,0.,1.));
#497 = DIRECTION('',(1.,0.,0.));
#498 = ADVANCED_FACE('',(#499),#510,.T.);
#499 = FACE_BOUND('',#500,.T.);
#500 = EDGE_LOOP('',(#501,#502,#503,#504));
#501 = ORIENTED_EDGE('',*,*,#126,.F.);
#502 = ORIENTED_EDGE('',*,*,#487,.T.);
#503 = ORIENTED_EDGE('',*,*,#269,.T.);
#504 = ORIENTED_EDGE('',*,*,#505,.F.);
#505 = EDGE_CURVE('',#119,#262,#506,.T.);
#506 = LINE('',#507,#508);
#507 = CARTESIAN_POINT('',(-0.12,0.,-0.14));
#508 = VECTOR('',#509,1.);
#509 = DIRECTION('',(0.,1.,0.));
#510 = PLANE('',#511);
#511 = AXIS2_PLACEMENT_3D('',#512,#513,#514);
#512 = CARTESIAN_POINT('',(-0.12,0.,-0.24));
#513 = DIRECTION('',(1.,0.,0.));
#514 = DIRECTION('',(0.,0.,1.));
#515 = ADVANCED_FACE('',(#516),#527,.T.);
#516 = FACE_BOUND('',#517,.T.);
#517 = EDGE_LOOP('',(#518,#519,#525,#526));
#518 = ORIENTED_EDGE('',*,*,#261,.F.);
#519 = ORIENTED_EDGE('',*,*,#520,.F.);
#520 = EDGE_CURVE('',#111,#254,#521,.T.);
#521 = LINE('',#522,#523);
#522 = CARTESIAN_POINT('',(-0.14,0.,-0.14));
#523 = VECTOR('',#524,1.);
#524 = DIRECTION('',(0.,1.,0.));
#525 = ORIENTED_EDGE('',*,*,#118,.T.);
#526 = ORIENTED_EDGE('',*,*,#505,.T.);
#527 = PLANE('',#528);
#528 = AXIS2_PLACEMENT_3D('',#529,#530,#531);
#529 = CARTESIAN_POINT('',(-0.5,0.,-0.14));
#530 = DIRECTION('',(0.,0.,1.));
#531 = DIRECTION('',(1.,0.,0.));
#532 = ADVANCED_FACE('',(#533),#544,.T.);
#533 = FACE_BOUND('',#534,.T.);
#534 = EDGE_LOOP('',(#535,#536,#537,#538));
#535 = ORIENTED_EDGE('',*,*,#110,.F.);
#536 = ORIENTED_EDGE('',*,*,#520,.T.);
#537 = ORIENTED_EDGE('',*,*,#253,.T.);
#538 = ORIENTED_EDGE('',*,*,#539,.F.);
#539 = EDGE_CURVE('',#103,#246,#540,.T.);
#540 = LINE('',#541,#542);
#541 = CARTESIAN_POINT('',(-0.14,0.,-0.12));
#542 = VECTOR('',#543,1.);
#543 = DIRECTION('',(0.,1.,0.));
#544 = PLANE('',#545);
#545 = AXIS2_PLACEMENT_3D('',#546,#547,#548);
#546 = CARTESIAN_POINT('',(-0.14,0.,-0.5));
#547 = DIRECTION('',(1.,0.,0.));
#548 = DIRECTION('',(0.,0.,1.));
#549 = ADVANCED_FACE('',(#550),#556,.T.);
#550 = FACE_BOUND('',#551,.T.);
#551 = EDGE_LOOP('',(#552,#553,#554,#555));
#552 = ORIENTED_EDGE('',*,*,#403,.F.);
#553 = ORIENTED_EDGE('',*,*,#102,.T.);
#554 = ORIENTED_EDGE('',*,*,#539,.T.);
#555 = ORIENTED_EDGE('',*,*,#245,.F.);
#556 = PLANE('',#557);
#557 = AXIS2_PLACEMENT_3D('',#558,#559,#560);
#558 = CARTESIAN_POINT('',(-0.24,0.,-0.12));
#559 = DIRECTION('',(0.,0.,1.));
#560 = DIRECTION('',(1.,0.,0.));
#561 = MANIFOLD_SOLID_BREP('',#562);
#562 = CLOSED_SHELL('',(#563,#603,#634,#674,#698,#747,#764,#795,#819,
    #874,#929,#953,#970,#996,#1020,#1037,#1060,#1084,#1100,#1123,#1147,
    #1163,#1180));
#563 = ADVANCED_FACE('',(#564),#598,.F.);
#564 = FACE_BOUND('',#565,.F.);
#565 = EDGE_LOOP('',(#566,#576,#584,#592));
#566 = ORIENTED_EDGE('',*,*,#567,.F.);
#567 = EDGE_CURVE('',#568,#570,#572,.T.);
#568 = VERTEX_POINT('',#569);
#569 = CARTESIAN_POINT('',(-0.4,-0.4,-0.1));
#570 = VERTEX_POINT('',#571);
#571 = CARTESIAN_POINT('',(-0.4,-0.4,0.1));
#572 = LINE('',#573,#574);
#573 = CARTESIAN_POINT('',(-0.4,-0.4,-0.1));
#574 = VECTOR('',#575,1.);
#575 = DIRECTION('',(0.,0.,1.));
#576 = ORIENTED_EDGE('',*,*,#577,.T.);
#577 = EDGE_CURVE('',#568,#578,#580,.T.);
#578 = VERTEX_POINT('',#579);
#579 = CARTESIAN_POINT('',(-0.4,5.9,-0.1));
#580 = LINE('',#581,#582);
#581 = CARTESIAN_POINT('',(-0.4,-0.4,-0.1));
#582 = VECTOR('',#583,1.);
#583 = DIRECTION('',(0.,1.,0.));
#584 = ORIENTED_EDGE('',*,*,#585,.T.);
#585 = EDGE_CURVE('',#578,#586,#588,.T.);
#586 = VERTEX_POINT('',#587);
#587 = CARTESIAN_POINT('',(-0.4,5.9,0.1));
#588 = LINE('',#589,#590);
#589 = CARTESIAN_POINT('',(-0.4,5.9,-0.1));
#590 = VECTOR('',#591,1.);
#591 = DIRECTION('',(0.,0.,1.));
#592 = ORIENTED_EDGE('',*,*,#593,.F.);
#593 = EDGE_CURVE('',#570,#586,#594,.T.);
#594 = LINE('',#595,#596);
#595 = CARTESIAN_POINT('',(-0.4,-0.4,0.1));
#596 = VECTOR('',#597,1.);
#597 = DIRECTION('',(0.,1.,0.));
#598 = PLANE('',#599);
#599 = AXIS2_PLACEMENT_3D('',#600,#601,#602);
#600 = CARTESIAN_POINT('',(-0.4,-0.4,-0.1));
#601 = DIRECTION('',(1.,0.,0.));
#602 = DIRECTION('',(0.,0.,1.));
#603 = ADVANCED_FACE('',(#604),#629,.F.);
#604 = FACE_BOUND('',#605,.F.);
#605 = EDGE_LOOP('',(#606,#614,#615,#623));
#606 = ORIENTED_EDGE('',*,*,#607,.F.);
#607 = EDGE_CURVE('',#568,#608,#610,.T.);
#608 = VERTEX_POINT('',#609);
#609 = CARTESIAN_POINT('',(5.4,-0.4,-0.1));
#610 = LINE('',#611,#612);
#611 = CARTESIAN_POINT('',(-0.4,-0.4,-0.1));
#612 = VECTOR('',#613,1.);
#613 = DIRECTION('',(1.,0.,0.));
#614 = ORIENTED_EDGE('',*,*,#567,.T.);
#615 = ORIENTED_EDGE('',*,*,#616,.T.);
#616 = EDGE_CURVE('',#570,#617,#619,.T.);
#617 = VERTEX_POINT('',#618);
#618 = CARTESIAN_POINT('',(5.4,-0.4,0.1));
#619 = LINE('',#620,#621);
#620 = CARTESIAN_POINT('',(-0.4,-0.4,0.1));
#621 = VECTOR('',#622,1.);
#622 = DIRECTION('',(1.,0.,0.));
#623 = ORIENTED_EDGE('',*,*,#624,.F.);
#624 = EDGE_CURVE('',#608,#617,#625,.T.);
#625 = LINE('',#626,#627);
#626 = CARTESIAN_POINT('',(5.4,-0.4,-0.1));
#627 = VECTOR('',#628,1.);
#628 = DIRECTION('',(0.,0.,1.));
#629 = PLANE('',#630);
#630 = AXIS2_PLACEMENT_3D('',#631,#632,#633);
#631 = CARTESIAN_POINT('',(-0.4,-0.4,-0.1));
#632 = DIRECTION('',(0.,1.,0.));
#633 = DIRECTION('',(0.,0.,1.));
#634 = ADVANCED_FACE('',(#635),#669,.T.);
#635 = FACE_BOUND('',#636,.T.);
#636 = EDGE_LOOP('',(#637,#638,#639,#647,#655,#663));
#637 = ORIENTED_EDGE('',*,*,#593,.F.);
#638 = ORIENTED_EDGE('',*,*,#616,.T.);
#639 = ORIENTED_EDGE('',*,*,#640,.T.);
#640 = EDGE_CURVE('',#617,#641,#643,.T.);
#641 = VERTEX_POINT('',#642);
#642 = CARTESIAN_POINT('',(5.4,0.,0.1));
#643 = LINE('',#644,#645);
#644 = CARTESIAN_POINT('',(5.4,-0.4,0.1));
#645 = VECTOR('',#646,1.);
#646 = DIRECTION('',(0.,1.,0.));
#647 = ORIENTED_EDGE('',*,*,#648,.T.);
#648 = EDGE_CURVE('',#641,#649,#651,.T.);
#649 = VERTEX_POINT('',#650);
#650 = CARTESIAN_POINT('',(5.4,5.9,0.1));
#651 = LINE('',#652,#653);
#652 = CARTESIAN_POINT('',(5.4,-0.4,0.1));
#653 = VECTOR('',#654,1.);
#654 = DIRECTION('',(0.,1.,0.));
#655 = ORIENTED_EDGE('',*,*,#656,.F.);
#656 = EDGE_CURVE('',#657,#649,#659,.T.);
#657 = VERTEX_POINT('',#658);
#658 = CARTESIAN_POINT('',(0.,5.9,0.1));
#659 = LINE('',#660,#661);
#660 = CARTESIAN_POINT('',(-0.4,5.9,0.1));
#661 = VECTOR('',#662,1.);
#662 = DIRECTION('',(1.,0.,0.));
#663 = ORIENTED_EDGE('',*,*,#664,.F.);
#664 = EDGE_CURVE('',#586,#657,#665,.T.);
#665 = LINE('',#666,#667);
#666 = CARTESIAN_POINT('',(-0.4,5.9,0.1));
#667 = VECTOR('',#668,1.);
#668 = DIRECTION('',(1.,0.,0.));
#669 = PLANE('',#670);
#670 = AXIS2_PLACEMENT_3D('',#671,#672,#673);
#671 = CARTESIAN_POINT('',(-0.4,-0.4,0.1));
#672 = DIRECTION('',(0.,0.,1.));
#673 = DIRECTION('',(1.,0.,0.));
#674 = ADVANCED_FACE('',(#675),#693,.T.);
#675 = FACE_BOUND('',#676,.T.);
#676 = EDGE_LOOP('',(#677,#685,#686,#687));
#677 = ORIENTED_EDGE('',*,*,#678,.F.);
#678 = EDGE_CURVE('',#578,#679,#681,.T.);
#679 = VERTEX_POINT('',#680);
#680 = CARTESIAN_POINT('',(0.,5.9,-0.1));
#681 = LINE('',#682,#683);
#682 = CARTESIAN_POINT('',(-0.4,5.9,-0.1));
#683 = VECTOR('',#684,1.);
#684 = DIRECTION('',(1.,0.,0.));
#685 = ORIENTED_EDGE('',*,*,#585,.T.);
#686 = ORIENTED_EDGE('',*,*,#664,.T.);
#687 = ORIENTED_EDGE('',*,*,#688,.F.);
#688 = EDGE_CURVE('',#679,#657,#689,.T.);
#689 = LINE('',#690,#691);
#690 = CARTESIAN_POINT('',(0.,5.9,-0.1));
#691 = VECTOR('',#692,1.);
#692 = DIRECTION('',(0.,0.,1.));
#693 = PLANE('',#694);
#694 = AXIS2_PLACEMENT_3D('',#695,#696,#697);
#695 = CARTESIAN_POINT('',(-0.4,5.9,-0.1));
#696 = DIRECTION('',(0.,1.,0.));
#697 = DIRECTION('',(0.,0.,1.));
#698 = ADVANCED_FACE('',(#699),#742,.F.);
#699 = FACE_BOUND('',#700,.F.);
#700 = EDGE_LOOP('',(#701,#702,#703,#704,#712,#720,#728,#736));
#701 = ORIENTED_EDGE('',*,*,#678,.F.);
#702 = ORIENTED_EDGE('',*,*,#577,.F.);
#703 = ORIENTED_EDGE('',*,*,#607,.T.);
#704 = ORIENTED_EDGE('',*,*,#705,.T.);
#705 = EDGE_CURVE('',#608,#706,#708,.T.);
#706 = VERTEX_POINT('',#707);
#707 = CARTESIAN_POINT('',(5.4,0.,-0.1));
#708 = LINE('',#709,#710);
#709 = CARTESIAN_POINT('',(5.4,-0.4,-0.1));
#710 = VECTOR('',#711,1.);
#711 = DIRECTION('',(0.,1.,0.));
#712 = ORIENTED_EDGE('',*,*,#713,.T.);
#713 = EDGE_CURVE('',#706,#714,#716,.T.);
#714 = VERTEX_POINT('',#715);
#715 = CARTESIAN_POINT('',(6.,0.,-0.1));
#716 = LINE('',#717,#718);
#717 = CARTESIAN_POINT('',(5.4,0.,-0.1));
#718 = VECTOR('',#719,1.);
#719 = DIRECTION('',(1.,0.,0.));
#720 = ORIENTED_EDGE('',*,*,#721,.F.);
#721 = EDGE_CURVE('',#722,#714,#724,.T.);
#722 = VERTEX_POINT('',#723);
#723 = CARTESIAN_POINT('',(6.,6.5,-0.1));
#724 = LINE('',#725,#726);
#725 = CARTESIAN_POINT('',(6.,6.5,-0.1));
#726 = VECTOR('',#727,1.);
#727 = DIRECTION('',(0.,-1.,0.));
#728 = ORIENTED_EDGE('',*,*,#729,.F.);
#729 = EDGE_CURVE('',#730,#722,#732,.T.);
#730 = VERTEX_POINT('',#731);
#731 = CARTESIAN_POINT('',(0.,6.5,-0.1));
#732 = LINE('',#733,#734);
#733 = CARTESIAN_POINT('',(0.,6.5,-0.1));
#734 = VECTOR('',#735,1.);
#735 = DIRECTION('',(1.,0.,0.));
#736 = ORIENTED_EDGE('',*,*,#737,.F.);
#737 = EDGE_CURVE('',#679,#730,#738,.T.);
#738 = LINE('',#739,#740);
#739 = CARTESIAN_POINT('',(0.,5.9,-0.1));
#740 = VECTOR('',#741,1.);
#741 = DIRECTION('',(0.,1.,0.));
#742 = PLANE('',#743);
#743 = AXIS2_PLACEMENT_3D('',#744,#745,#746);
#744 = CARTESIAN_POINT('',(-0.4,-0.4,-0.1));
#745 = DIRECTION('',(0.,0.,1.));
#746 = DIRECTION('',(1.,0.,0.));
#747 = ADVANCED_FACE('',(#748),#759,.T.);
#748 = FACE_BOUND('',#749,.T.);
#749 = EDGE_LOOP('',(#750,#751,#752,#753));
#750 = ORIENTED_EDGE('',*,*,#640,.F.);
#751 = ORIENTED_EDGE('',*,*,#624,.F.);
#752 = ORIENTED_EDGE('',*,*,#705,.T.);
#753 = ORIENTED_EDGE('',*,*,#754,.T.);
#754 = EDGE_CURVE('',#706,#641,#755,.T.);
#755 = LINE('',#756,#757);
#756 = CARTESIAN_POINT('',(5.4,0.,-0.1));
#757 = VECTOR('',#758,1.);
#758 = DIRECTION('',(0.,0.,1.));
#759 = PLANE('',#760);
#760 = AXIS2_PLACEMENT_3D('',#761,#762,#763);
#761 = CARTESIAN_POINT('',(5.4,-0.4,-0.1));
#762 = DIRECTION('',(1.,0.,0.));
#763 = DIRECTION('',(0.,0.,1.));
#764 = ADVANCED_FACE('',(#765),#790,.F.);
#765 = FACE_BOUND('',#766,.F.);
#766 = EDGE_LOOP('',(#767,#768,#776,#784));
#767 = ORIENTED_EDGE('',*,*,#656,.F.);
#768 = ORIENTED_EDGE('',*,*,#769,.T.);
#769 = EDGE_CURVE('',#657,#770,#772,.T.);
#770 = VERTEX_POINT('',#771);
#771 = CARTESIAN_POINT('',(0.,5.9,0.3));
#772 = LINE('',#773,#774);
#773 = CARTESIAN_POINT('',(0.,5.9,-0.1));
#774 = VECTOR('',#775,1.);
#775 = DIRECTION('',(0.,0.,1.));
#776 = ORIENTED_EDGE('',*,*,#777,.T.);
#777 = EDGE_CURVE('',#770,#778,#780,.T.);
#778 = VERTEX_POINT('',#779);
#779 = CARTESIAN_POINT('',(5.4,5.9,0.3));
#780 = LINE('',#781,#782);
#781 = CARTESIAN_POINT('',(0.,5.9,0.3));
#782 = VECTOR('',#783,1.);
#783 = DIRECTION('',(1.,0.,0.));
#784 = ORIENTED_EDGE('',*,*,#785,.F.);
#785 = EDGE_CURVE('',#649,#778,#786,.T.);
#786 = LINE('',#787,#788);
#787 = CARTESIAN_POINT('',(5.4,5.9,-0.1));
#788 = VECTOR('',#789,1.);
#789 = DIRECTION('',(0.,0.,1.));
#790 = PLANE('',#791);
#791 = AXIS2_PLACEMENT_3D('',#792,#793,#794);
#792 = CARTESIAN_POINT('',(0.,5.9,-0.1));
#793 = DIRECTION('',(0.,1.,0.));
#794 = DIRECTION('',(0.,0.,1.));
#795 = ADVANCED_FACE('',(#796),#814,.F.);
#796 = FACE_BOUND('',#797,.F.);
#797 = EDGE_LOOP('',(#798,#806,#807,#808));
#798 = ORIENTED_EDGE('',*,*,#799,.F.);
#799 = EDGE_CURVE('',#641,#800,#802,.T.);
#800 = VERTEX_POINT('',#801);
#801 = CARTESIAN_POINT('',(5.4,0.,0.3));
#802 = LINE('',#803,#804);
#803 = CARTESIAN_POINT('',(5.4,0.,-0.1));
#804 = VECTOR('',#805,1.);
#805 = DIRECTION('',(0.,0.,1.));
#806 = ORIENTED_EDGE('',*,*,#648,.T.);
#807 = ORIENTED_EDGE('',*,*,#785,.T.);
#808 = ORIENTED_EDGE('',*,*,#809,.F.);
#809 = EDGE_CURVE('',#800,#778,#810,.T.);
#810 = LINE('',#811,#812);
#811 = CARTESIAN_POINT('',(5.4,0.,0.3));
#812 = VECTOR('',#813,1.);
#813 = DIRECTION('',(0.,1.,0.));
#814 = PLANE('',#815);
#815 = AXIS2_PLACEMENT_3D('',#816,#817,#818);
#816 = CARTESIAN_POINT('',(5.4,0.,-0.1));
#817 = DIRECTION('',(1.,0.,0.));
#818 = DIRECTION('',(0.,0.,1.));
#819 = ADVANCED_FACE('',(#820),#869,.F.);
#820 = FACE_BOUND('',#821,.F.);
#821 = EDGE_LOOP('',(#822,#823,#824,#832,#839,#847,#854,#862,#868));
#822 = ORIENTED_EDGE('',*,*,#688,.F.);
#823 = ORIENTED_EDGE('',*,*,#737,.T.);
#824 = ORIENTED_EDGE('',*,*,#825,.T.);
#825 = EDGE_CURVE('',#730,#826,#828,.T.);
#826 = VERTEX_POINT('',#827);
#827 = CARTESIAN_POINT('',(0.,6.5,2.5E-02));
#828 = LINE('',#829,#830);
#829 = CARTESIAN_POINT('',(0.,6.5,-0.1));
#830 = VECTOR('',#831,1.);
#831 = DIRECTION('',(0.,0.,1.));
#832 = ORIENTED_EDGE('',*,*,#833,.T.);
#833 = EDGE_CURVE('',#826,#834,#836,.T.);
#834 = VERTEX_POINT('',#835);
#835 = CARTESIAN_POINT('',(0.,6.85,-1.E-02));
#836 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#837,#838),.UNSPECIFIED.,.F.,.F.,
  (2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#837 = CARTESIAN_POINT('',(0.,6.5,2.5E-02));
#838 = CARTESIAN_POINT('',(0.,6.85,-1.E-02));
#839 = ORIENTED_EDGE('',*,*,#840,.F.);
#840 = EDGE_CURVE('',#841,#834,#843,.T.);
#841 = VERTEX_POINT('',#842);
#842 = CARTESIAN_POINT('',(0.,6.85,0.21));
#843 = LINE('',#844,#845);
#844 = CARTESIAN_POINT('',(0.,6.85,0.21));
#845 = VECTOR('',#846,1.);
#846 = DIRECTION('',(0.,0.,-1.));
#847 = ORIENTED_EDGE('',*,*,#848,.F.);
#848 = EDGE_CURVE('',#849,#841,#851,.T.);
#849 = VERTEX_POINT('',#850);
#850 = CARTESIAN_POINT('',(0.,6.5,0.175));
#851 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#852,#853),.UNSPECIFIED.,.F.,.F.,
  (2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#852 = CARTESIAN_POINT('',(0.,6.5,0.175));
#853 = CARTESIAN_POINT('',(0.,6.85,0.21));
#854 = ORIENTED_EDGE('',*,*,#855,.T.);
#855 = EDGE_CURVE('',#849,#856,#858,.T.);
#856 = VERTEX_POINT('',#857);
#857 = CARTESIAN_POINT('',(0.,6.5,0.3));
#858 = LINE('',#859,#860);
#859 = CARTESIAN_POINT('',(0.,6.5,-0.1));
#860 = VECTOR('',#861,1.);
#861 = DIRECTION('',(0.,0.,1.));
#862 = ORIENTED_EDGE('',*,*,#863,.F.);
#863 = EDGE_CURVE('',#770,#856,#864,.T.);
#864 = LINE('',#865,#866);
#865 = CARTESIAN_POINT('',(0.,5.9,0.3));
#866 = VECTOR('',#867,1.);
#867 = DIRECTION('',(0.,1.,0.));
#868 = ORIENTED_EDGE('',*,*,#769,.F.);
#869 = PLANE('',#870);
#870 = AXIS2_PLACEMENT_3D('',#871,#872,#873);
#871 = CARTESIAN_POINT('',(0.,5.9,-0.1));
#872 = DIRECTION('',(1.,0.,0.));
#873 = DIRECTION('',(0.,0.,1.));
#874 = ADVANCED_FACE('',(#875),#924,.F.);
#875 = FACE_BOUND('',#876,.F.);
#876 = EDGE_LOOP('',(#877,#878,#879,#880,#888,#896,#903,#911,#918));
#877 = ORIENTED_EDGE('',*,*,#713,.F.);
#878 = ORIENTED_EDGE('',*,*,#754,.T.);
#879 = ORIENTED_EDGE('',*,*,#799,.T.);
#880 = ORIENTED_EDGE('',*,*,#881,.T.);
#881 = EDGE_CURVE('',#800,#882,#884,.T.);
#882 = VERTEX_POINT('',#883);
#883 = CARTESIAN_POINT('',(6.,0.,0.3));
#884 = LINE('',#885,#886);
#885 = CARTESIAN_POINT('',(5.4,0.,0.3));
#886 = VECTOR('',#887,1.);
#887 = DIRECTION('',(1.,0.,0.));
#888 = ORIENTED_EDGE('',*,*,#889,.F.);
#889 = EDGE_CURVE('',#890,#882,#892,.T.);
#890 = VERTEX_POINT('',#891);
#891 = CARTESIAN_POINT('',(6.,0.,0.175));
#892 = LINE('',#893,#894);
#893 = CARTESIAN_POINT('',(6.,0.,-0.1));
#894 = VECTOR('',#895,1.);
#895 = DIRECTION('',(0.,0.,1.));
#896 = ORIENTED_EDGE('',*,*,#897,.T.);
#897 = EDGE_CURVE('',#890,#898,#900,.T.);
#898 = VERTEX_POINT('',#899);
#899 = CARTESIAN_POINT('',(6.35,0.,0.21));
#900 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#901,#902),.UNSPECIFIED.,.F.,.F.,
  (2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#901 = CARTESIAN_POINT('',(6.,0.,0.175));
#902 = CARTESIAN_POINT('',(6.35,0.,0.21));
#903 = ORIENTED_EDGE('',*,*,#904,.T.);
#904 = EDGE_CURVE('',#898,#905,#907,.T.);
#905 = VERTEX_POINT('',#906);
#906 = CARTESIAN_POINT('',(6.35,0.,-1.E-02));
#907 = LINE('',#908,#909);
#908 = CARTESIAN_POINT('',(6.35,0.,0.21));
#909 = VECTOR('',#910,1.);
#910 = DIRECTION('',(0.,0.,-1.));
#911 = ORIENTED_EDGE('',*,*,#912,.F.);
#912 = EDGE_CURVE('',#913,#905,#915,.T.);
#913 = VERTEX_POINT('',#914);
#914 = CARTESIAN_POINT('',(6.,0.,2.5E-02));
#915 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#916,#917),.UNSPECIFIED.,.F.,.F.,
  (2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#916 = CARTESIAN_POINT('',(6.,0.,2.5E-02));
#917 = CARTESIAN_POINT('',(6.35,0.,-1.E-02));
#918 = ORIENTED_EDGE('',*,*,#919,.F.);
#919 = EDGE_CURVE('',#714,#913,#920,.T.);
#920 = LINE('',#921,#922);
#921 = CARTESIAN_POINT('',(6.,0.,-0.1));
#922 = VECTOR('',#923,1.);
#923 = DIRECTION('',(0.,0.,1.));
#924 = PLANE('',#925);
#925 = AXIS2_PLACEMENT_3D('',#926,#927,#928);
#926 = CARTESIAN_POINT('',(5.4,0.,-0.1));
#927 = DIRECTION('',(0.,1.,0.));
#928 = DIRECTION('',(0.,0.,1.));
#929 = ADVANCED_FACE('',(#930),#948,.T.);
#930 = FACE_BOUND('',#931,.T.);
#931 = EDGE_LOOP('',(#932,#933,#934,#942));
#932 = ORIENTED_EDGE('',*,*,#919,.F.);
#933 = ORIENTED_EDGE('',*,*,#721,.F.);
#934 = ORIENTED_EDGE('',*,*,#935,.T.);
#935 = EDGE_CURVE('',#722,#936,#938,.T.);
#936 = VERTEX_POINT('',#937);
#937 = CARTESIAN_POINT('',(6.,6.5,2.5E-02));
#938 = LINE('',#939,#940);
#939 = CARTESIAN_POINT('',(6.,6.5,-0.1));
#940 = VECTOR('',#941,1.);
#941 = DIRECTION('',(0.,0.,1.));
#942 = ORIENTED_EDGE('',*,*,#943,.T.);
#943 = EDGE_CURVE('',#936,#913,#944,.T.);
#944 = LINE('',#945,#946);
#945 = CARTESIAN_POINT('',(6.,6.5,2.5E-02));
#946 = VECTOR('',#947,1.);
#947 = DIRECTION('',(0.,-1.,0.));
#948 = PLANE('',#949);
#949 = AXIS2_PLACEMENT_3D('',#950,#951,#952);
#950 = CARTESIAN_POINT('',(6.,0.,-0.1));
#951 = DIRECTION('',(1.,0.,0.));
#952 = DIRECTION('',(0.,0.,1.));
#953 = ADVANCED_FACE('',(#954),#965,.T.);
#954 = FACE_BOUND('',#955,.T.);
#955 = EDGE_LOOP('',(#956,#957,#958,#964));
#956 = ORIENTED_EDGE('',*,*,#729,.F.);
#957 = ORIENTED_EDGE('',*,*,#825,.T.);
#958 = ORIENTED_EDGE('',*,*,#959,.T.);
#959 = EDGE_CURVE('',#826,#936,#960,.T.);
#960 = LINE('',#961,#962);
#961 = CARTESIAN_POINT('',(0.,6.5,2.5E-02));
#962 = VECTOR('',#963,1.);
#963 = DIRECTION('',(1.,0.,0.));
#964 = ORIENTED_EDGE('',*,*,#935,.F.);
#965 = PLANE('',#966);
#966 = AXIS2_PLACEMENT_3D('',#967,#968,#969);
#967 = CARTESIAN_POINT('',(0.,6.5,-0.1));
#968 = DIRECTION('',(0.,1.,0.));
#969 = DIRECTION('',(0.,0.,1.));
#970 = ADVANCED_FACE('',(#971),#991,.T.);
#971 = FACE_BOUND('',#972,.T.);
#972 = EDGE_LOOP('',(#973,#974,#975,#976,#977,#985));
#973 = ORIENTED_EDGE('',*,*,#863,.F.);
#974 = ORIENTED_EDGE('',*,*,#777,.T.);
#975 = ORIENTED_EDGE('',*,*,#809,.F.);
#976 = ORIENTED_EDGE('',*,*,#881,.T.);
#977 = ORIENTED_EDGE('',*,*,#978,.T.);
#978 = EDGE_CURVE('',#882,#979,#981,.T.);
#979 = VERTEX_POINT('',#980);
#980 = CARTESIAN_POINT('',(6.,6.5,0.3));
#981 = LINE('',#982,#983);
#982 = CARTESIAN_POINT('',(6.,0.,0.3));
#983 = VECTOR('',#984,1.);
#984 = DIRECTION('',(0.,1.,1.E-17));
#985 = ORIENTED_EDGE('',*,*,#986,.T.);
#986 = EDGE_CURVE('',#979,#856,#987,.T.);
#987 = LINE('',#988,#989);
#988 = CARTESIAN_POINT('',(6.,6.5,0.3));
#989 = VECTOR('',#990,1.);
#990 = DIRECTION('',(-1.,0.,-1.E-17));
#991 = PLANE('',#992);
#992 = AXIS2_PLACEMENT_3D('',#993,#994,#995);
#993 = CARTESIAN_POINT('',(0.,5.9,0.3));
#994 = DIRECTION('',(0.,0.,1.));
#995 = DIRECTION('',(1.,0.,0.));
#996 = ADVANCED_FACE('',(#997),#1015,.T.);
#997 = FACE_BOUND('',#998,.T.);
#998 = EDGE_LOOP('',(#999,#1007,#1008,#1009));
#999 = ORIENTED_EDGE('',*,*,#1000,.T.);
#1000 = EDGE_CURVE('',#1001,#849,#1003,.T.);
#1001 = VERTEX_POINT('',#1002);
#1002 = CARTESIAN_POINT('',(6.,6.5,0.175));
#1003 = LINE('',#1004,#1005);
#1004 = CARTESIAN_POINT('',(6.,6.5,0.175));
#1005 = VECTOR('',#1006,1.);
#1006 = DIRECTION('',(-1.,0.,0.));
#1007 = ORIENTED_EDGE('',*,*,#855,.T.);
#1008 = ORIENTED_EDGE('',*,*,#986,.F.);
#1009 = ORIENTED_EDGE('',*,*,#1010,.F.);
#1010 = EDGE_CURVE('',#1001,#979,#1011,.T.);
#1011 = LINE('',#1012,#1013);
#1012 = CARTESIAN_POINT('',(6.,6.5,-0.1));
#1013 = VECTOR('',#1014,1.);
#1014 = DIRECTION('',(0.,0.,1.));
#1015 = PLANE('',#1016);
#1016 = AXIS2_PLACEMENT_3D('',#1017,#1018,#1019);
#1017 = CARTESIAN_POINT('',(0.,6.5,-0.1));
#1018 = DIRECTION('',(0.,1.,0.));
#1019 = DIRECTION('',(0.,0.,1.));
#1020 = ADVANCED_FACE('',(#1021),#1032,.T.);
#1021 = FACE_BOUND('',#1022,.T.);
#1022 = EDGE_LOOP('',(#1023,#1024,#1030,#1031));
#1023 = ORIENTED_EDGE('',*,*,#889,.F.);
#1024 = ORIENTED_EDGE('',*,*,#1025,.T.);
#1025 = EDGE_CURVE('',#890,#1001,#1026,.T.);
#1026 = LINE('',#1027,#1028);
#1027 = CARTESIAN_POINT('',(6.,0.,0.175));
#1028 = VECTOR('',#1029,1.);
#1029 = DIRECTION('',(0.,1.,0.));
#1030 = ORIENTED_EDGE('',*,*,#1010,.T.);
#1031 = ORIENTED_EDGE('',*,*,#978,.F.);
#1032 = PLANE('',#1033);
#1033 = AXIS2_PLACEMENT_3D('',#1034,#1035,#1036);
#1034 = CARTESIAN_POINT('',(6.,0.,-0.1));
#1035 = DIRECTION('',(1.,0.,0.));
#1036 = DIRECTION('',(0.,0.,1.));
#1037 = ADVANCED_FACE('',(#1038),#1055,.T.);
#1038 = FACE_BOUND('',#1039,.T.);
#1039 = EDGE_LOOP('',(#1040,#1041,#1042,#1050));
#1040 = ORIENTED_EDGE('',*,*,#1025,.F.);
#1041 = ORIENTED_EDGE('',*,*,#897,.T.);
#1042 = ORIENTED_EDGE('',*,*,#1043,.F.);
#1043 = EDGE_CURVE('',#1044,#898,#1046,.T.);
#1044 = VERTEX_POINT('',#1045);
#1045 = CARTESIAN_POINT('',(6.35,6.5,0.21));
#1046 = LINE('',#1047,#1048);
#1047 = CARTESIAN_POINT('',(6.35,6.5,0.21));
#1048 = VECTOR('',#1049,1.);
#1049 = DIRECTION('',(0.,-1.,0.));
#1050 = ORIENTED_EDGE('',*,*,#1051,.F.);
#1051 = EDGE_CURVE('',#1001,#1044,#1052,.T.);
#1052 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#1053,#1054),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#1053 = CARTESIAN_POINT('',(6.,6.5,0.175));
#1054 = CARTESIAN_POINT('',(6.35,6.5,0.21));
#1055 = PLANE('',#1056);
#1056 = AXIS2_PLACEMENT_3D('',#1057,#1058,#1059);
#1057 = CARTESIAN_POINT('',(6.35,6.5,0.21));
#1058 = DIRECTION('',(-9.9503719021E-02,0.,0.99503719021));
#1059 = DIRECTION('',(0.,-1.,0.));
#1060 = ADVANCED_FACE('',(#1061),#1079,.F.);
#1061 = FACE_BOUND('',#1062,.T.);
#1062 = EDGE_LOOP('',(#1063,#1071,#1077,#1078));
#1063 = ORIENTED_EDGE('',*,*,#1064,.T.);
#1064 = EDGE_CURVE('',#905,#1065,#1067,.T.);
#1065 = VERTEX_POINT('',#1066);
#1066 = CARTESIAN_POINT('',(6.35,6.5,-1.E-02));
#1067 = LINE('',#1068,#1069);
#1068 = CARTESIAN_POINT('',(6.35,0.,-1.E-02));
#1069 = VECTOR('',#1070,1.);
#1070 = DIRECTION('',(0.,1.,0.));
#1071 = ORIENTED_EDGE('',*,*,#1072,.T.);
#1072 = EDGE_CURVE('',#1065,#1044,#1073,.T.);
#1073 = LINE('',#1074,#1075);
#1074 = CARTESIAN_POINT('',(6.35,6.5,-1.E-02));
#1075 = VECTOR('',#1076,1.);
#1076 = DIRECTION('',(0.,0.,1.));
#1077 = ORIENTED_EDGE('',*,*,#1043,.T.);
#1078 = ORIENTED_EDGE('',*,*,#904,.T.);
#1079 = PLANE('',#1080);
#1080 = AXIS2_PLACEMENT_3D('',#1081,#1082,#1083);
#1081 = CARTESIAN_POINT('',(6.35,0.,-1.E-02));
#1082 = DIRECTION('',(-1.,0.,0.));
#1083 = DIRECTION('',(0.,0.999427710583,3.382678405049E-02));
#1084 = ADVANCED_FACE('',(#1085),#1095,.T.);
#1085 = FACE_BOUND('',#1086,.T.);
#1086 = EDGE_LOOP('',(#1087,#1088,#1093,#1094));
#1087 = ORIENTED_EDGE('',*,*,#943,.F.);
#1088 = ORIENTED_EDGE('',*,*,#1089,.T.);
#1089 = EDGE_CURVE('',#936,#1065,#1090,.T.);
#1090 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#1091,#1092),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#1091 = CARTESIAN_POINT('',(6.,6.5,2.5E-02));
#1092 = CARTESIAN_POINT('',(6.35,6.5,-1.E-02));
#1093 = ORIENTED_EDGE('',*,*,#1064,.F.);
#1094 = ORIENTED_EDGE('',*,*,#912,.F.);
#1095 = PLANE('',#1096);
#1096 = AXIS2_PLACEMENT_3D('',#1097,#1098,#1099);
#1097 = CARTESIAN_POINT('',(6.35,0.,-1.E-02));
#1098 = DIRECTION('',(-9.9503719021E-02,0.,-0.99503719021));
#1099 = DIRECTION('',(0.,1.,0.));
#1100 = ADVANCED_FACE('',(#1101),#1118,.F.);
#1101 = FACE_BOUND('',#1102,.F.);
#1102 = EDGE_LOOP('',(#1103,#1104,#1111,#1117));
#1103 = ORIENTED_EDGE('',*,*,#959,.T.);
#1104 = ORIENTED_EDGE('',*,*,#1105,.T.);
#1105 = EDGE_CURVE('',#936,#1106,#1108,.T.);
#1106 = VERTEX_POINT('',#1107);
#1107 = CARTESIAN_POINT('',(6.,6.85,-1.E-02));
#1108 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#1109,#1110),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#1109 = CARTESIAN_POINT('',(6.,6.5,2.5E-02));
#1110 = CARTESIAN_POINT('',(6.,6.85,-1.E-02));
#1111 = ORIENTED_EDGE('',*,*,#1112,.F.);
#1112 = EDGE_CURVE('',#834,#1106,#1113,.T.);
#1113 = LINE('',#1114,#1115);
#1114 = CARTESIAN_POINT('',(0.,6.85,-1.E-02));
#1115 = VECTOR('',#1116,1.);
#1116 = DIRECTION('',(1.,0.,0.));
#1117 = ORIENTED_EDGE('',*,*,#833,.F.);
#1118 = PLANE('',#1119);
#1119 = AXIS2_PLACEMENT_3D('',#1120,#1121,#1122);
#1120 = CARTESIAN_POINT('',(0.,6.85,-1.E-02));
#1121 = DIRECTION('',(0.,9.9503719021E-02,0.99503719021));
#1122 = DIRECTION('',(1.,0.,0.));
#1123 = ADVANCED_FACE('',(#1124),#1142,.T.);
#1124 = FACE_BOUND('',#1125,.F.);
#1125 = EDGE_LOOP('',(#1126,#1127,#1135,#1141));
#1126 = ORIENTED_EDGE('',*,*,#1112,.T.);
#1127 = ORIENTED_EDGE('',*,*,#1128,.T.);
#1128 = EDGE_CURVE('',#1106,#1129,#1131,.T.);
#1129 = VERTEX_POINT('',#1130);
#1130 = CARTESIAN_POINT('',(6.,6.85,0.21));
#1131 = LINE('',#1132,#1133);
#1132 = CARTESIAN_POINT('',(6.,6.85,-1.E-02));
#1133 = VECTOR('',#1134,1.);
#1134 = DIRECTION('',(0.,0.,1.));
#1135 = ORIENTED_EDGE('',*,*,#1136,.T.);
#1136 = EDGE_CURVE('',#1129,#841,#1137,.T.);
#1137 = LINE('',#1138,#1139);
#1138 = CARTESIAN_POINT('',(6.,6.85,0.21));
#1139 = VECTOR('',#1140,1.);
#1140 = DIRECTION('',(-1.,0.,0.));
#1141 = ORIENTED_EDGE('',*,*,#840,.T.);
#1142 = PLANE('',#1143);
#1143 = AXIS2_PLACEMENT_3D('',#1144,#1145,#1146);
#1144 = CARTESIAN_POINT('',(0.,6.85,-1.E-02));
#1145 = DIRECTION('',(0.,1.,0.));
#1146 = DIRECTION('',(0.999328454843,0.,3.664204334427E-02));
#1147 = ADVANCED_FACE('',(#1148),#1158,.F.);
#1148 = FACE_BOUND('',#1149,.F.);
#1149 = EDGE_LOOP('',(#1150,#1151,#1152,#1153));
#1150 = ORIENTED_EDGE('',*,*,#1000,.T.);
#1151 = ORIENTED_EDGE('',*,*,#848,.T.);
#1152 = ORIENTED_EDGE('',*,*,#1136,.F.);
#1153 = ORIENTED_EDGE('',*,*,#1154,.F.);
#1154 = EDGE_CURVE('',#1001,#1129,#1155,.T.);
#1155 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#1156,#1157),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#1156 = CARTESIAN_POINT('',(6.,6.5,0.175));
#1157 = CARTESIAN_POINT('',(6.,6.85,0.21));
#1158 = PLANE('',#1159);
#1159 = AXIS2_PLACEMENT_3D('',#1160,#1161,#1162);
#1160 = CARTESIAN_POINT('',(6.,6.85,0.21));
#1161 = DIRECTION('',(0.,9.9503719021E-02,-0.99503719021));
#1162 = DIRECTION('',(-1.,0.,0.));
#1163 = ADVANCED_FACE('',(#1164),#1175,.T.);
#1164 = FACE_BOUND('',#1165,.T.);
#1165 = EDGE_LOOP('',(#1166,#1167,#1173,#1174));
#1166 = ORIENTED_EDGE('',*,*,#1089,.F.);
#1167 = ORIENTED_EDGE('',*,*,#1168,.T.);
#1168 = EDGE_CURVE('',#936,#1001,#1169,.T.);
#1169 = LINE('',#1170,#1171);
#1170 = CARTESIAN_POINT('',(6.,6.5,2.5E-02));
#1171 = VECTOR('',#1172,1.);
#1172 = DIRECTION('',(0.,0.,1.));
#1173 = ORIENTED_EDGE('',*,*,#1051,.T.);
#1174 = ORIENTED_EDGE('',*,*,#1072,.F.);
#1175 = PLANE('',#1176);
#1176 = AXIS2_PLACEMENT_3D('',#1177,#1178,#1179);
#1177 = CARTESIAN_POINT('',(0.,6.5,-0.1));
#1178 = DIRECTION('',(0.,1.,0.));
#1179 = DIRECTION('',(0.,0.,1.));
#1180 = ADVANCED_FACE('',(#1181),#1187,.F.);
#1181 = FACE_BOUND('',#1182,.F.);
#1182 = EDGE_LOOP('',(#1183,#1184,#1185,#1186));
#1183 = ORIENTED_EDGE('',*,*,#1168,.T.);
#1184 = ORIENTED_EDGE('',*,*,#1154,.T.);
#1185 = ORIENTED_EDGE('',*,*,#1128,.F.);
#1186 = ORIENTED_EDGE('',*,*,#1105,.F.);
#1187 = B_SPLINE_SURFACE_WITH_KNOTS('',1,1,(
    (#1188,#1189)
    ,(#1190,#1191
    )),.UNSPECIFIED.,.F.,.F.,.F.,(2,2),(2,2),(0.,0.22),(0.,1.),
  .PIECEWISE_BEZIER_KNOTS.);
#1188 = CARTESIAN_POINT('',(6.,6.5,2.5E-02));
#1189 = CARTESIAN_POINT('',(6.,6.85,-1.E-02));
#1190 = CARTESIAN_POINT('',(6.,6.5,0.175));
#1191 = CARTESIAN_POINT('',(6.,6.85,0.21));
#1192 = MANIFOLD_SOLID_BREP('',#1193);
#1193 = CLOSED_SHELL('',(#1194,#1234,#1361,#1385,#1505,#1522,#1544,#1556
    ,#1573,#1590,#1607,#1624,#1641,#1658,#1675,#1692,#1709,#1726));
#1194 = ADVANCED_FACE('',(#1195),#1229,.F.);
#1195 = FACE_BOUND('',#1196,.F.);
#1196 = EDGE_LOOP('',(#1197,#1207,#1215,#1223));
#1197 = ORIENTED_EDGE('',*,*,#1198,.F.);
#1198 = EDGE_CURVE('',#1199,#1201,#1203,.T.);
#1199 = VERTEX_POINT('',#1200);
#1200 = CARTESIAN_POINT('',(-0.5,-12.,-0.24));
#1201 = VERTEX_POINT('',#1202);
#1202 = CARTESIAN_POINT('',(-0.5,-12.,0.14));
#1203 = LINE('',#1204,#1205);
#1204 = CARTESIAN_POINT('',(-0.5,-12.,-0.24));
#1205 = VECTOR('',#1206,1.);
#1206 = DIRECTION('',(0.,0.,1.));
#1207 = ORIENTED_EDGE('',*,*,#1208,.T.);
#1208 = EDGE_CURVE('',#1199,#1209,#1211,.T.);
#1209 = VERTEX_POINT('',#1210);
#1210 = CARTESIAN_POINT('',(-0.5,-5.5,-0.24));
#1211 = LINE('',#1212,#1213);
#1212 = CARTESIAN_POINT('',(-0.5,-12.,-0.24));
#1213 = VECTOR('',#1214,1.);
#1214 = DIRECTION('',(0.,1.,0.));
#1215 = ORIENTED_EDGE('',*,*,#1216,.F.);
#1216 = EDGE_CURVE('',#1217,#1209,#1219,.T.);
#1217 = VERTEX_POINT('',#1218);
#1218 = CARTESIAN_POINT('',(-0.5,-5.5,0.14));
#1219 = LINE('',#1220,#1221);
#1220 = CARTESIAN_POINT('',(-0.5,-5.5,0.14));
#1221 = VECTOR('',#1222,1.);
#1222 = DIRECTION('',(0.,0.,-1.));
#1223 = ORIENTED_EDGE('',*,*,#1224,.F.);
#1224 = EDGE_CURVE('',#1201,#1217,#1225,.T.);
#1225 = LINE('',#1226,#1227);
#1226 = CARTESIAN_POINT('',(-0.5,-12.,0.14));
#1227 = VECTOR('',#1228,1.);
#1228 = DIRECTION('',(0.,1.,0.));
#1229 = PLANE('',#1230);
#1230 = AXIS2_PLACEMENT_3D('',#1231,#1232,#1233);
#1231 = CARTESIAN_POINT('',(-0.5,-12.,-0.24));
#1232 = DIRECTION('',(1.,0.,0.));
#1233 = DIRECTION('',(0.,0.,1.));
#1234 = ADVANCED_FACE('',(#1235),#1356,.F.);
#1235 = FACE_BOUND('',#1236,.F.);
#1236 = EDGE_LOOP('',(#1237,#1245,#1246,#1254,#1262,#1270,#1278,#1286,
    #1294,#1302,#1310,#1318,#1326,#1334,#1342,#1350));
#1237 = ORIENTED_EDGE('',*,*,#1238,.F.);
#1238 = EDGE_CURVE('',#1199,#1239,#1241,.T.);
#1239 = VERTEX_POINT('',#1240);
#1240 = CARTESIAN_POINT('',(-0.24,-12.,-0.24));
#1241 = LINE('',#1242,#1243);
#1242 = CARTESIAN_POINT('',(-0.5,-12.,-0.24));
#1243 = VECTOR('',#1244,1.);
#1244 = DIRECTION('',(1.,0.,0.));
#1245 = ORIENTED_EDGE('',*,*,#1198,.T.);
#1246 = ORIENTED_EDGE('',*,*,#1247,.T.);
#1247 = EDGE_CURVE('',#1201,#1248,#1250,.T.);
#1248 = VERTEX_POINT('',#1249);
#1249 = CARTESIAN_POINT('',(-0.4,-12.,0.14));
#1250 = LINE('',#1251,#1252);
#1251 = CARTESIAN_POINT('',(-0.5,-12.,0.14));
#1252 = VECTOR('',#1253,1.);
#1253 = DIRECTION('',(1.,0.,0.));
#1254 = ORIENTED_EDGE('',*,*,#1255,.F.);
#1255 = EDGE_CURVE('',#1256,#1248,#1258,.T.);
#1256 = VERTEX_POINT('',#1257);
#1257 = CARTESIAN_POINT('',(-0.4,-12.,-0.14));
#1258 = LINE('',#1259,#1260);
#1259 = CARTESIAN_POINT('',(-0.4,-12.,-0.24));
#1260 = VECTOR('',#1261,1.);
#1261 = DIRECTION('',(0.,0.,1.));
#1262 = ORIENTED_EDGE('',*,*,#1263,.T.);
#1263 = EDGE_CURVE('',#1256,#1264,#1266,.T.);
#1264 = VERTEX_POINT('',#1265);
#1265 = CARTESIAN_POINT('',(-0.24,-12.,-0.14));
#1266 = LINE('',#1267,#1268);
#1267 = CARTESIAN_POINT('',(-0.5,-12.,-0.14));
#1268 = VECTOR('',#1269,1.);
#1269 = DIRECTION('',(1.,0.,0.));
#1270 = ORIENTED_EDGE('',*,*,#1271,.T.);
#1271 = EDGE_CURVE('',#1264,#1272,#1274,.T.);
#1272 = VERTEX_POINT('',#1273);
#1273 = CARTESIAN_POINT('',(-0.24,-12.,-0.12));
#1274 = LINE('',#1275,#1276);
#1275 = CARTESIAN_POINT('',(-0.24,-12.,-0.5));
#1276 = VECTOR('',#1277,1.);
#1277 = DIRECTION('',(0.,0.,1.));
#1278 = ORIENTED_EDGE('',*,*,#1279,.T.);
#1279 = EDGE_CURVE('',#1272,#1280,#1282,.T.);
#1280 = VERTEX_POINT('',#1281);
#1281 = CARTESIAN_POINT('',(-0.14,-12.,-0.12));
#1282 = LINE('',#1283,#1284);
#1283 = CARTESIAN_POINT('',(-0.24,-12.,-0.12));
#1284 = VECTOR('',#1285,1.);
#1285 = DIRECTION('',(1.,0.,0.));
#1286 = ORIENTED_EDGE('',*,*,#1287,.F.);
#1287 = EDGE_CURVE('',#1288,#1280,#1290,.T.);
#1288 = VERTEX_POINT('',#1289);
#1289 = CARTESIAN_POINT('',(-0.14,-12.,-0.14));
#1290 = LINE('',#1291,#1292);
#1291 = CARTESIAN_POINT('',(-0.14,-12.,-0.5));
#1292 = VECTOR('',#1293,1.);
#1293 = DIRECTION('',(0.,0.,1.));
#1294 = ORIENTED_EDGE('',*,*,#1295,.T.);
#1295 = EDGE_CURVE('',#1288,#1296,#1298,.T.);
#1296 = VERTEX_POINT('',#1297);
#1297 = CARTESIAN_POINT('',(-0.12,-12.,-0.14));
#1298 = LINE('',#1299,#1300);
#1299 = CARTESIAN_POINT('',(-0.5,-12.,-0.14));
#1300 = VECTOR('',#1301,1.);
#1301 = DIRECTION('',(1.,0.,0.));
#1302 = ORIENTED_EDGE('',*,*,#1303,.F.);
#1303 = EDGE_CURVE('',#1304,#1296,#1306,.T.);
#1304 = VERTEX_POINT('',#1305);
#1305 = CARTESIAN_POINT('',(-0.12,-12.,-0.24));
#1306 = LINE('',#1307,#1308);
#1307 = CARTESIAN_POINT('',(-0.12,-12.,-0.24));
#1308 = VECTOR('',#1309,1.);
#1309 = DIRECTION('',(0.,0.,1.));
#1310 = ORIENTED_EDGE('',*,*,#1311,.F.);
#1311 = EDGE_CURVE('',#1312,#1304,#1314,.T.);
#1312 = VERTEX_POINT('',#1313);
#1313 = CARTESIAN_POINT('',(-0.14,-12.,-0.24));
#1314 = LINE('',#1315,#1316);
#1315 = CARTESIAN_POINT('',(-0.5,-12.,-0.24));
#1316 = VECTOR('',#1317,1.);
#1317 = DIRECTION('',(1.,0.,0.));
#1318 = ORIENTED_EDGE('',*,*,#1319,.F.);
#1319 = EDGE_CURVE('',#1320,#1312,#1322,.T.);
#1320 = VERTEX_POINT('',#1321);
#1321 = CARTESIAN_POINT('',(-0.14,-12.,-0.4));
#1322 = LINE('',#1323,#1324);
#1323 = CARTESIAN_POINT('',(-0.14,-12.,-0.5));
#1324 = VECTOR('',#1325,1.);
#1325 = DIRECTION('',(0.,0.,1.));
#1326 = ORIENTED_EDGE('',*,*,#1327,.T.);
#1327 = EDGE_CURVE('',#1320,#1328,#1330,.T.);
#1328 = VERTEX_POINT('',#1329);
#1329 = CARTESIAN_POINT('',(0.14,-12.,-0.4));
#1330 = LINE('',#1331,#1332);
#1331 = CARTESIAN_POINT('',(-0.24,-12.,-0.4));
#1332 = VECTOR('',#1333,1.);
#1333 = DIRECTION('',(1.,0.,0.));
#1334 = ORIENTED_EDGE('',*,*,#1335,.F.);
#1335 = EDGE_CURVE('',#1336,#1328,#1338,.T.);
#1336 = VERTEX_POINT('',#1337);
#1337 = CARTESIAN_POINT('',(0.14,-12.,-0.5));
#1338 = LINE('',#1339,#1340);
#1339 = CARTESIAN_POINT('',(0.14,-12.,-0.5));
#1340 = VECTOR('',#1341,1.);
#1341 = DIRECTION('',(0.,0.,1.));
#1342 = ORIENTED_EDGE('',*,*,#1343,.F.);
#1343 = EDGE_CURVE('',#1344,#1336,#1346,.T.);
#1344 = VERTEX_POINT('',#1345);
#1345 = CARTESIAN_POINT('',(-0.24,-12.,-0.5));
#1346 = LINE('',#1347,#1348);
#1347 = CARTESIAN_POINT('',(-0.24,-12.,-0.5));
#1348 = VECTOR('',#1349,1.);
#1349 = DIRECTION('',(1.,0.,0.));
#1350 = ORIENTED_EDGE('',*,*,#1351,.T.);
#1351 = EDGE_CURVE('',#1344,#1239,#1352,.T.);
#1352 = LINE('',#1353,#1354);
#1353 = CARTESIAN_POINT('',(-0.24,-12.,-0.5));
#1354 = VECTOR('',#1355,1.);
#1355 = DIRECTION('',(0.,0.,1.));
#1356 = PLANE('',#1357);
#1357 = AXIS2_PLACEMENT_3D('',#1358,#1359,#1360);
#1358 = CARTESIAN_POINT('',(-0.5,-12.,-0.24));
#1359 = DIRECTION('',(0.,1.,0.));
#1360 = DIRECTION('',(0.,0.,1.));
#1361 = ADVANCED_FACE('',(#1362),#1380,.F.);
#1362 = FACE_BOUND('',#1363,.F.);
#1363 = EDGE_LOOP('',(#1364,#1365,#1366,#1374));
#1364 = ORIENTED_EDGE('',*,*,#1208,.F.);
#1365 = ORIENTED_EDGE('',*,*,#1238,.T.);
#1366 = ORIENTED_EDGE('',*,*,#1367,.T.);
#1367 = EDGE_CURVE('',#1239,#1368,#1370,.T.);
#1368 = VERTEX_POINT('',#1369);
#1369 = CARTESIAN_POINT('',(-0.24,-5.5,-0.24));
#1370 = LINE('',#1371,#1372);
#1371 = CARTESIAN_POINT('',(-0.24,-12.,-0.24));
#1372 = VECTOR('',#1373,1.);
#1373 = DIRECTION('',(0.,1.,0.));
#1374 = ORIENTED_EDGE('',*,*,#1375,.T.);
#1375 = EDGE_CURVE('',#1368,#1209,#1376,.T.);
#1376 = LINE('',#1377,#1378);
#1377 = CARTESIAN_POINT('',(-0.12,-5.5,-0.24));
#1378 = VECTOR('',#1379,1.);
#1379 = DIRECTION('',(-1.,0.,0.));
#1380 = PLANE('',#1381);
#1381 = AXIS2_PLACEMENT_3D('',#1382,#1383,#1384);
#1382 = CARTESIAN_POINT('',(-0.5,-12.,-0.24));
#1383 = DIRECTION('',(0.,0.,1.));
#1384 = DIRECTION('',(1.,0.,0.));
#1385 = ADVANCED_FACE('',(#1386),#1500,.T.);
#1386 = FACE_BOUND('',#1387,.T.);
#1387 = EDGE_LOOP('',(#1388,#1389,#1397,#1405,#1413,#1421,#1429,#1437,
    #1445,#1453,#1461,#1469,#1477,#1485,#1493,#1499));
#1388 = ORIENTED_EDGE('',*,*,#1216,.F.);
#1389 = ORIENTED_EDGE('',*,*,#1390,.T.);
#1390 = EDGE_CURVE('',#1217,#1391,#1393,.T.);
#1391 = VERTEX_POINT('',#1392);
#1392 = CARTESIAN_POINT('',(-0.4,-5.5,0.14));
#1393 = LINE('',#1394,#1395);
#1394 = CARTESIAN_POINT('',(-0.5,-5.5,0.14));
#1395 = VECTOR('',#1396,1.);
#1396 = DIRECTION('',(1.,0.,0.));
#1397 = ORIENTED_EDGE('',*,*,#1398,.F.);
#1398 = EDGE_CURVE('',#1399,#1391,#1401,.T.);
#1399 = VERTEX_POINT('',#1400);
#1400 = CARTESIAN_POINT('',(-0.4,-5.5,-0.14));
#1401 = LINE('',#1402,#1403);
#1402 = CARTESIAN_POINT('',(-0.4,-5.5,-0.24));
#1403 = VECTOR('',#1404,1.);
#1404 = DIRECTION('',(0.,0.,1.));
#1405 = ORIENTED_EDGE('',*,*,#1406,.T.);
#1406 = EDGE_CURVE('',#1399,#1407,#1409,.T.);
#1407 = VERTEX_POINT('',#1408);
#1408 = CARTESIAN_POINT('',(-0.24,-5.5,-0.14));
#1409 = LINE('',#1410,#1411);
#1410 = CARTESIAN_POINT('',(-0.5,-5.5,-0.14));
#1411 = VECTOR('',#1412,1.);
#1412 = DIRECTION('',(1.,0.,0.));
#1413 = ORIENTED_EDGE('',*,*,#1414,.F.);
#1414 = EDGE_CURVE('',#1415,#1407,#1417,.T.);
#1415 = VERTEX_POINT('',#1416);
#1416 = CARTESIAN_POINT('',(-0.24,-5.5,-0.12));
#1417 = LINE('',#1418,#1419);
#1418 = CARTESIAN_POINT('',(-0.24,-5.5,-0.12));
#1419 = VECTOR('',#1420,1.);
#1420 = DIRECTION('',(0.,0.,-1.));
#1421 = ORIENTED_EDGE('',*,*,#1422,.T.);
#1422 = EDGE_CURVE('',#1415,#1423,#1425,.T.);
#1423 = VERTEX_POINT('',#1424);
#1424 = CARTESIAN_POINT('',(-0.14,-5.5,-0.12));
#1425 = LINE('',#1426,#1427);
#1426 = CARTESIAN_POINT('',(-0.24,-5.5,-0.12));
#1427 = VECTOR('',#1428,1.);
#1428 = DIRECTION('',(1.,0.,0.));
#1429 = ORIENTED_EDGE('',*,*,#1430,.F.);
#1430 = EDGE_CURVE('',#1431,#1423,#1433,.T.);
#1431 = VERTEX_POINT('',#1432);
#1432 = CARTESIAN_POINT('',(-0.14,-5.5,-0.14));
#1433 = LINE('',#1434,#1435);
#1434 = CARTESIAN_POINT('',(-0.14,-5.5,-0.5));
#1435 = VECTOR('',#1436,1.);
#1436 = DIRECTION('',(0.,0.,1.));
#1437 = ORIENTED_EDGE('',*,*,#1438,.T.);
#1438 = EDGE_CURVE('',#1431,#1439,#1441,.T.);
#1439 = VERTEX_POINT('',#1440);
#1440 = CARTESIAN_POINT('',(-0.12,-5.5,-0.14));
#1441 = LINE('',#1442,#1443);
#1442 = CARTESIAN_POINT('',(-0.5,-5.5,-0.14));
#1443 = VECTOR('',#1444,1.);
#1444 = DIRECTION('',(1.,0.,0.));
#1445 = ORIENTED_EDGE('',*,*,#1446,.F.);
#1446 = EDGE_CURVE('',#1447,#1439,#1449,.T.);
#1447 = VERTEX_POINT('',#1448);
#1448 = CARTESIAN_POINT('',(-0.12,-5.5,-0.24));
#1449 = LINE('',#1450,#1451);
#1450 = CARTESIAN_POINT('',(-0.12,-5.5,-0.24));
#1451 = VECTOR('',#1452,1.);
#1452 = DIRECTION('',(0.,0.,1.));
#1453 = ORIENTED_EDGE('',*,*,#1454,.T.);
#1454 = EDGE_CURVE('',#1447,#1455,#1457,.T.);
#1455 = VERTEX_POINT('',#1456);
#1456 = CARTESIAN_POINT('',(-0.14,-5.5,-0.24));
#1457 = LINE('',#1458,#1459);
#1458 = CARTESIAN_POINT('',(-0.12,-5.5,-0.24));
#1459 = VECTOR('',#1460,1.);
#1460 = DIRECTION('',(-1.,0.,0.));
#1461 = ORIENTED_EDGE('',*,*,#1462,.F.);
#1462 = EDGE_CURVE('',#1463,#1455,#1465,.T.);
#1463 = VERTEX_POINT('',#1464);
#1464 = CARTESIAN_POINT('',(-0.14,-5.5,-0.4));
#1465 = LINE('',#1466,#1467);
#1466 = CARTESIAN_POINT('',(-0.14,-5.5,-0.5));
#1467 = VECTOR('',#1468,1.);
#1468 = DIRECTION('',(0.,0.,1.));
#1469 = ORIENTED_EDGE('',*,*,#1470,.T.);
#1470 = EDGE_CURVE('',#1463,#1471,#1473,.T.);
#1471 = VERTEX_POINT('',#1472);
#1472 = CARTESIAN_POINT('',(0.14,-5.5,-0.4));
#1473 = LINE('',#1474,#1475);
#1474 = CARTESIAN_POINT('',(-0.24,-5.5,-0.4));
#1475 = VECTOR('',#1476,1.);
#1476 = DIRECTION('',(1.,0.,0.));
#1477 = ORIENTED_EDGE('',*,*,#1478,.F.);
#1478 = EDGE_CURVE('',#1479,#1471,#1481,.T.);
#1479 = VERTEX_POINT('',#1480);
#1480 = CARTESIAN_POINT('',(0.14,-5.5,-0.5));
#1481 = LINE('',#1482,#1483);
#1482 = CARTESIAN_POINT('',(0.14,-5.5,-0.5));
#1483 = VECTOR('',#1484,1.);
#1484 = DIRECTION('',(0.,0.,1.));
#1485 = ORIENTED_EDGE('',*,*,#1486,.T.);
#1486 = EDGE_CURVE('',#1479,#1487,#1489,.T.);
#1487 = VERTEX_POINT('',#1488);
#1488 = CARTESIAN_POINT('',(-0.24,-5.5,-0.5));
#1489 = LINE('',#1490,#1491);
#1490 = CARTESIAN_POINT('',(0.14,-5.5,-0.5));
#1491 = VECTOR('',#1492,1.);
#1492 = DIRECTION('',(-1.,0.,0.));
#1493 = ORIENTED_EDGE('',*,*,#1494,.F.);
#1494 = EDGE_CURVE('',#1368,#1487,#1495,.T.);
#1495 = LINE('',#1496,#1497);
#1496 = CARTESIAN_POINT('',(-0.24,-5.5,-0.12));
#1497 = VECTOR('',#1498,1.);
#1498 = DIRECTION('',(0.,0.,-1.));
#1499 = ORIENTED_EDGE('',*,*,#1375,.T.);
#1500 = PLANE('',#1501);
#1501 = AXIS2_PLACEMENT_3D('',#1502,#1503,#1504);
#1502 = CARTESIAN_POINT('',(-0.5,-5.5,-0.24));
#1503 = DIRECTION('',(0.,1.,0.));
#1504 = DIRECTION('',(0.,0.,1.));
#1505 = ADVANCED_FACE('',(#1506),#1517,.T.);
#1506 = FACE_BOUND('',#1507,.T.);
#1507 = EDGE_LOOP('',(#1508,#1509,#1510,#1516));
#1508 = ORIENTED_EDGE('',*,*,#1224,.F.);
#1509 = ORIENTED_EDGE('',*,*,#1247,.T.);
#1510 = ORIENTED_EDGE('',*,*,#1511,.T.);
#1511 = EDGE_CURVE('',#1248,#1391,#1512,.T.);
#1512 = LINE('',#1513,#1514);
#1513 = CARTESIAN_POINT('',(-0.4,-12.,0.14));
#1514 = VECTOR('',#1515,1.);
#1515 = DIRECTION('',(0.,1.,0.));
#1516 = ORIENTED_EDGE('',*,*,#1390,.F.);
#1517 = PLANE('',#1518);
#1518 = AXIS2_PLACEMENT_3D('',#1519,#1520,#1521);
#1519 = CARTESIAN_POINT('',(-0.5,-12.,0.14));
#1520 = DIRECTION('',(0.,0.,1.));
#1521 = DIRECTION('',(1.,0.,0.));
#1522 = ADVANCED_FACE('',(#1523),#1539,.T.);
#1523 = FACE_BOUND('',#1524,.T.);
#1524 = EDGE_LOOP('',(#1525,#1526,#1532,#1533));
#1525 = ORIENTED_EDGE('',*,*,#1406,.F.);
#1526 = ORIENTED_EDGE('',*,*,#1527,.F.);
#1527 = EDGE_CURVE('',#1256,#1399,#1528,.T.);
#1528 = LINE('',#1529,#1530);
#1529 = CARTESIAN_POINT('',(-0.4,-12.,-0.14));
#1530 = VECTOR('',#1531,1.);
#1531 = DIRECTION('',(0.,1.,0.));
#1532 = ORIENTED_EDGE('',*,*,#1263,.T.);
#1533 = ORIENTED_EDGE('',*,*,#1534,.T.);
#1534 = EDGE_CURVE('',#1264,#1407,#1535,.T.);
#1535 = LINE('',#1536,#1537);
#1536 = CARTESIAN_POINT('',(-0.24,-12.,-0.14));
#1537 = VECTOR('',#1538,1.);
#1538 = DIRECTION('',(0.,1.,0.));
#1539 = PLANE('',#1540);
#1540 = AXIS2_PLACEMENT_3D('',#1541,#1542,#1543);
#1541 = CARTESIAN_POINT('',(-0.5,-12.,-0.14));
#1542 = DIRECTION('',(0.,0.,1.));
#1543 = DIRECTION('',(1.,0.,0.));
#1544 = ADVANCED_FACE('',(#1545),#1551,.T.);
#1545 = FACE_BOUND('',#1546,.T.);
#1546 = EDGE_LOOP('',(#1547,#1548,#1549,#1550));
#1547 = ORIENTED_EDGE('',*,*,#1255,.F.);
#1548 = ORIENTED_EDGE('',*,*,#1527,.T.);
#1549 = ORIENTED_EDGE('',*,*,#1398,.T.);
#1550 = ORIENTED_EDGE('',*,*,#1511,.F.);
#1551 = PLANE('',#1552);
#1552 = AXIS2_PLACEMENT_3D('',#1553,#1554,#1555);
#1553 = CARTESIAN_POINT('',(-0.4,-12.,-0.24));
#1554 = DIRECTION('',(1.,0.,0.));
#1555 = DIRECTION('',(0.,0.,1.));
#1556 = ADVANCED_FACE('',(#1557),#1568,.F.);
#1557 = FACE_BOUND('',#1558,.F.);
#1558 = EDGE_LOOP('',(#1559,#1560,#1566,#1567));
#1559 = ORIENTED_EDGE('',*,*,#1351,.F.);
#1560 = ORIENTED_EDGE('',*,*,#1561,.T.);
#1561 = EDGE_CURVE('',#1344,#1487,#1562,.T.);
#1562 = LINE('',#1563,#1564);
#1563 = CARTESIAN_POINT('',(-0.24,-12.,-0.5));
#1564 = VECTOR('',#1565,1.);
#1565 = DIRECTION('',(0.,1.,0.));
#1566 = ORIENTED_EDGE('',*,*,#1494,.F.);
#1567 = ORIENTED_EDGE('',*,*,#1367,.F.);
#1568 = PLANE('',#1569);
#1569 = AXIS2_PLACEMENT_3D('',#1570,#1571,#1572);
#1570 = CARTESIAN_POINT('',(-0.24,-12.,-0.5));
#1571 = DIRECTION('',(1.,0.,0.));
#1572 = DIRECTION('',(0.,0.,1.));
#1573 = ADVANCED_FACE('',(#1574),#1585,.F.);
#1574 = FACE_BOUND('',#1575,.F.);
#1575 = EDGE_LOOP('',(#1576,#1577,#1578,#1579));
#1576 = ORIENTED_EDGE('',*,*,#1271,.F.);
#1577 = ORIENTED_EDGE('',*,*,#1534,.T.);
#1578 = ORIENTED_EDGE('',*,*,#1414,.F.);
#1579 = ORIENTED_EDGE('',*,*,#1580,.F.);
#1580 = EDGE_CURVE('',#1272,#1415,#1581,.T.);
#1581 = LINE('',#1582,#1583);
#1582 = CARTESIAN_POINT('',(-0.24,-12.,-0.12));
#1583 = VECTOR('',#1584,1.);
#1584 = DIRECTION('',(0.,1.,0.));
#1585 = PLANE('',#1586);
#1586 = AXIS2_PLACEMENT_3D('',#1587,#1588,#1589);
#1587 = CARTESIAN_POINT('',(-0.24,-12.,-0.5));
#1588 = DIRECTION('',(1.,0.,0.));
#1589 = DIRECTION('',(0.,0.,1.));
#1590 = ADVANCED_FACE('',(#1591),#1602,.F.);
#1591 = FACE_BOUND('',#1592,.F.);
#1592 = EDGE_LOOP('',(#1593,#1594,#1595,#1601));
#1593 = ORIENTED_EDGE('',*,*,#1561,.F.);
#1594 = ORIENTED_EDGE('',*,*,#1343,.T.);
#1595 = ORIENTED_EDGE('',*,*,#1596,.T.);
#1596 = EDGE_CURVE('',#1336,#1479,#1597,.T.);
#1597 = LINE('',#1598,#1599);
#1598 = CARTESIAN_POINT('',(0.14,-12.,-0.5));
#1599 = VECTOR('',#1600,1.);
#1600 = DIRECTION('',(0.,1.,0.));
#1601 = ORIENTED_EDGE('',*,*,#1486,.T.);
#1602 = PLANE('',#1603);
#1603 = AXIS2_PLACEMENT_3D('',#1604,#1605,#1606);
#1604 = CARTESIAN_POINT('',(-0.24,-12.,-0.5));
#1605 = DIRECTION('',(0.,0.,1.));
#1606 = DIRECTION('',(1.,0.,0.));
#1607 = ADVANCED_FACE('',(#1608),#1619,.T.);
#1608 = FACE_BOUND('',#1609,.T.);
#1609 = EDGE_LOOP('',(#1610,#1611,#1612,#1613));
#1610 = ORIENTED_EDGE('',*,*,#1335,.F.);
#1611 = ORIENTED_EDGE('',*,*,#1596,.T.);
#1612 = ORIENTED_EDGE('',*,*,#1478,.T.);
#1613 = ORIENTED_EDGE('',*,*,#1614,.F.);
#1614 = EDGE_CURVE('',#1328,#1471,#1615,.T.);
#1615 = LINE('',#1616,#1617);
#1616 = CARTESIAN_POINT('',(0.14,-12.,-0.4));
#1617 = VECTOR('',#1618,1.);
#1618 = DIRECTION('',(0.,1.,0.));
#1619 = PLANE('',#1620);
#1620 = AXIS2_PLACEMENT_3D('',#1621,#1622,#1623);
#1621 = CARTESIAN_POINT('',(0.14,-12.,-0.5));
#1622 = DIRECTION('',(1.,0.,0.));
#1623 = DIRECTION('',(0.,0.,1.));
#1624 = ADVANCED_FACE('',(#1625),#1636,.T.);
#1625 = FACE_BOUND('',#1626,.T.);
#1626 = EDGE_LOOP('',(#1627,#1628,#1634,#1635));
#1627 = ORIENTED_EDGE('',*,*,#1470,.F.);
#1628 = ORIENTED_EDGE('',*,*,#1629,.T.);
#1629 = EDGE_CURVE('',#1463,#1320,#1630,.T.);
#1630 = LINE('',#1631,#1632);
#1631 = CARTESIAN_POINT('',(-0.14,-12.,-0.4));
#1632 = VECTOR('',#1633,1.);
#1633 = DIRECTION('',(0.,-1.,0.));
#1634 = ORIENTED_EDGE('',*,*,#1327,.T.);
#1635 = ORIENTED_EDGE('',*,*,#1614,.T.);
#1636 = PLANE('',#1637);
#1637 = AXIS2_PLACEMENT_3D('',#1638,#1639,#1640);
#1638 = CARTESIAN_POINT('',(-0.24,-12.,-0.4));
#1639 = DIRECTION('',(0.,0.,1.));
#1640 = DIRECTION('',(1.,0.,0.));
#1641 = ADVANCED_FACE('',(#1642),#1653,.T.);
#1642 = FACE_BOUND('',#1643,.T.);
#1643 = EDGE_LOOP('',(#1644,#1645,#1646,#1647));
#1644 = ORIENTED_EDGE('',*,*,#1319,.F.);
#1645 = ORIENTED_EDGE('',*,*,#1629,.F.);
#1646 = ORIENTED_EDGE('',*,*,#1462,.T.);
#1647 = ORIENTED_EDGE('',*,*,#1648,.F.);
#1648 = EDGE_CURVE('',#1312,#1455,#1649,.T.);
#1649 = LINE('',#1650,#1651);
#1650 = CARTESIAN_POINT('',(-0.14,-12.,-0.24));
#1651 = VECTOR('',#1652,1.);
#1652 = DIRECTION('',(0.,1.,0.));
#1653 = PLANE('',#1654);
#1654 = AXIS2_PLACEMENT_3D('',#1655,#1656,#1657);
#1655 = CARTESIAN_POINT('',(-0.14,-12.,-0.5));
#1656 = DIRECTION('',(1.,0.,0.));
#1657 = DIRECTION('',(0.,0.,1.));
#1658 = ADVANCED_FACE('',(#1659),#1670,.F.);
#1659 = FACE_BOUND('',#1660,.F.);
#1660 = EDGE_LOOP('',(#1661,#1662,#1663,#1669));
#1661 = ORIENTED_EDGE('',*,*,#1648,.F.);
#1662 = ORIENTED_EDGE('',*,*,#1311,.T.);
#1663 = ORIENTED_EDGE('',*,*,#1664,.T.);
#1664 = EDGE_CURVE('',#1304,#1447,#1665,.T.);
#1665 = LINE('',#1666,#1667);
#1666 = CARTESIAN_POINT('',(-0.12,-12.,-0.24));
#1667 = VECTOR('',#1668,1.);
#1668 = DIRECTION('',(0.,1.,0.));
#1669 = ORIENTED_EDGE('',*,*,#1454,.T.);
#1670 = PLANE('',#1671);
#1671 = AXIS2_PLACEMENT_3D('',#1672,#1673,#1674);
#1672 = CARTESIAN_POINT('',(-0.5,-12.,-0.24));
#1673 = DIRECTION('',(0.,0.,1.));
#1674 = DIRECTION('',(1.,0.,0.));
#1675 = ADVANCED_FACE('',(#1676),#1687,.T.);
#1676 = FACE_BOUND('',#1677,.T.);
#1677 = EDGE_LOOP('',(#1678,#1679,#1680,#1681));
#1678 = ORIENTED_EDGE('',*,*,#1303,.F.);
#1679 = ORIENTED_EDGE('',*,*,#1664,.T.);
#1680 = ORIENTED_EDGE('',*,*,#1446,.T.);
#1681 = ORIENTED_EDGE('',*,*,#1682,.F.);
#1682 = EDGE_CURVE('',#1296,#1439,#1683,.T.);
#1683 = LINE('',#1684,#1685);
#1684 = CARTESIAN_POINT('',(-0.12,-12.,-0.14));
#1685 = VECTOR('',#1686,1.);
#1686 = DIRECTION('',(0.,1.,0.));
#1687 = PLANE('',#1688);
#1688 = AXIS2_PLACEMENT_3D('',#1689,#1690,#1691);
#1689 = CARTESIAN_POINT('',(-0.12,-12.,-0.24));
#1690 = DIRECTION('',(1.,0.,0.));
#1691 = DIRECTION('',(0.,0.,1.));
#1692 = ADVANCED_FACE('',(#1693),#1704,.T.);
#1693 = FACE_BOUND('',#1694,.T.);
#1694 = EDGE_LOOP('',(#1695,#1696,#1702,#1703));
#1695 = ORIENTED_EDGE('',*,*,#1438,.F.);
#1696 = ORIENTED_EDGE('',*,*,#1697,.F.);
#1697 = EDGE_CURVE('',#1288,#1431,#1698,.T.);
#1698 = LINE('',#1699,#1700);
#1699 = CARTESIAN_POINT('',(-0.14,-12.,-0.14));
#1700 = VECTOR('',#1701,1.);
#1701 = DIRECTION('',(0.,1.,0.));
#1702 = ORIENTED_EDGE('',*,*,#1295,.T.);
#1703 = ORIENTED_EDGE('',*,*,#1682,.T.);
#1704 = PLANE('',#1705);
#1705 = AXIS2_PLACEMENT_3D('',#1706,#1707,#1708);
#1706 = CARTESIAN_POINT('',(-0.5,-12.,-0.14));
#1707 = DIRECTION('',(0.,0.,1.));
#1708 = DIRECTION('',(1.,0.,0.));
#1709 = ADVANCED_FACE('',(#1710),#1721,.T.);
#1710 = FACE_BOUND('',#1711,.T.);
#1711 = EDGE_LOOP('',(#1712,#1713,#1714,#1715));
#1712 = ORIENTED_EDGE('',*,*,#1287,.F.);
#1713 = ORIENTED_EDGE('',*,*,#1697,.T.);
#1714 = ORIENTED_EDGE('',*,*,#1430,.T.);
#1715 = ORIENTED_EDGE('',*,*,#1716,.F.);
#1716 = EDGE_CURVE('',#1280,#1423,#1717,.T.);
#1717 = LINE('',#1718,#1719);
#1718 = CARTESIAN_POINT('',(-0.14,-12.,-0.12));
#1719 = VECTOR('',#1720,1.);
#1720 = DIRECTION('',(0.,1.,0.));
#1721 = PLANE('',#1722);
#1722 = AXIS2_PLACEMENT_3D('',#1723,#1724,#1725);
#1723 = CARTESIAN_POINT('',(-0.14,-12.,-0.5));
#1724 = DIRECTION('',(1.,0.,0.));
#1725 = DIRECTION('',(0.,0.,1.));
#1726 = ADVANCED_FACE('',(#1727),#1733,.T.);
#1727 = FACE_BOUND('',#1728,.T.);
#1728 = EDGE_LOOP('',(#1729,#1730,#1731,#1732));
#1729 = ORIENTED_EDGE('',*,*,#1580,.F.);
#1730 = ORIENTED_EDGE('',*,*,#1279,.T.);
#1731 = ORIENTED_EDGE('',*,*,#1716,.T.);
#1732 = ORIENTED_EDGE('',*,*,#1422,.F.);
#1733 = PLANE('',#1734);
#1734 = AXIS2_PLACEMENT_3D('',#1735,#1736,#1737);
#1735 = CARTESIAN_POINT('',(-0.24,-12.,-0.12));
#1736 = DIRECTION('',(0.,0.,1.));
#1737 = DIRECTION('',(1.,0.,0.));
#1738 = MANIFOLD_SOLID_BREP('',#1739);
#1739 = CLOSED_SHELL('',(#1740,#1780,#1811,#1851,#1875,#1924,#1941,#1972
    ,#1996,#2051,#2106,#2130,#2147,#2173,#2197,#2214,#2237,#2261,#2277,
    #2300,#2324,#2340,#2357));
#1740 = ADVANCED_FACE('',(#1741),#1775,.F.);
#1741 = FACE_BOUND('',#1742,.F.);
#1742 = EDGE_LOOP('',(#1743,#1753,#1761,#1769));
#1743 = ORIENTED_EDGE('',*,*,#1744,.F.);
#1744 = EDGE_CURVE('',#1745,#1747,#1749,.T.);
#1745 = VERTEX_POINT('',#1746);
#1746 = CARTESIAN_POINT('',(-3.4,-12.4,0.));
#1747 = VERTEX_POINT('',#1748);
#1748 = CARTESIAN_POINT('',(-3.4,-12.4,0.2));
#1749 = LINE('',#1750,#1751);
#1750 = CARTESIAN_POINT('',(-3.4,-12.4,0.));
#1751 = VECTOR('',#1752,1.);
#1752 = DIRECTION('',(0.,0.,1.));
#1753 = ORIENTED_EDGE('',*,*,#1754,.T.);
#1754 = EDGE_CURVE('',#1745,#1755,#1757,.T.);
#1755 = VERTEX_POINT('',#1756);
#1756 = CARTESIAN_POINT('',(-3.4,-6.1,0.));
#1757 = LINE('',#1758,#1759);
#1758 = CARTESIAN_POINT('',(-3.4,-12.4,0.));
#1759 = VECTOR('',#1760,1.);
#1760 = DIRECTION('',(0.,1.,0.));
#1761 = ORIENTED_EDGE('',*,*,#1762,.T.);
#1762 = EDGE_CURVE('',#1755,#1763,#1765,.T.);
#1763 = VERTEX_POINT('',#1764);
#1764 = CARTESIAN_POINT('',(-3.4,-6.1,0.2));
#1765 = LINE('',#1766,#1767);
#1766 = CARTESIAN_POINT('',(-3.4,-6.1,0.));
#1767 = VECTOR('',#1768,1.);
#1768 = DIRECTION('',(0.,0.,1.));
#1769 = ORIENTED_EDGE('',*,*,#1770,.F.);
#1770 = EDGE_CURVE('',#1747,#1763,#1771,.T.);
#1771 = LINE('',#1772,#1773);
#1772 = CARTESIAN_POINT('',(-3.4,-12.4,0.2));
#1773 = VECTOR('',#1774,1.);
#1774 = DIRECTION('',(0.,1.,0.));
#1775 = PLANE('',#1776);
#1776 = AXIS2_PLACEMENT_3D('',#1777,#1778,#1779);
#1777 = CARTESIAN_POINT('',(-3.4,-12.4,0.));
#1778 = DIRECTION('',(1.,0.,0.));
#1779 = DIRECTION('',(0.,0.,1.));
#1780 = ADVANCED_FACE('',(#1781),#1806,.F.);
#1781 = FACE_BOUND('',#1782,.F.);
#1782 = EDGE_LOOP('',(#1783,#1791,#1792,#1800));
#1783 = ORIENTED_EDGE('',*,*,#1784,.F.);
#1784 = EDGE_CURVE('',#1745,#1785,#1787,.T.);
#1785 = VERTEX_POINT('',#1786);
#1786 = CARTESIAN_POINT('',(2.4,-12.4,0.));
#1787 = LINE('',#1788,#1789);
#1788 = CARTESIAN_POINT('',(-3.4,-12.4,0.));
#1789 = VECTOR('',#1790,1.);
#1790 = DIRECTION('',(1.,0.,0.));
#1791 = ORIENTED_EDGE('',*,*,#1744,.T.);
#1792 = ORIENTED_EDGE('',*,*,#1793,.T.);
#1793 = EDGE_CURVE('',#1747,#1794,#1796,.T.);
#1794 = VERTEX_POINT('',#1795);
#1795 = CARTESIAN_POINT('',(2.4,-12.4,0.2));
#1796 = LINE('',#1797,#1798);
#1797 = CARTESIAN_POINT('',(-3.4,-12.4,0.2));
#1798 = VECTOR('',#1799,1.);
#1799 = DIRECTION('',(1.,0.,0.));
#1800 = ORIENTED_EDGE('',*,*,#1801,.F.);
#1801 = EDGE_CURVE('',#1785,#1794,#1802,.T.);
#1802 = LINE('',#1803,#1804);
#1803 = CARTESIAN_POINT('',(2.4,-12.4,0.));
#1804 = VECTOR('',#1805,1.);
#1805 = DIRECTION('',(0.,0.,1.));
#1806 = PLANE('',#1807);
#1807 = AXIS2_PLACEMENT_3D('',#1808,#1809,#1810);
#1808 = CARTESIAN_POINT('',(-3.4,-12.4,0.));
#1809 = DIRECTION('',(0.,1.,0.));
#1810 = DIRECTION('',(0.,0.,1.));
#1811 = ADVANCED_FACE('',(#1812),#1846,.T.);
#1812 = FACE_BOUND('',#1813,.T.);
#1813 = EDGE_LOOP('',(#1814,#1815,#1816,#1824,#1832,#1840));
#1814 = ORIENTED_EDGE('',*,*,#1770,.F.);
#1815 = ORIENTED_EDGE('',*,*,#1793,.T.);
#1816 = ORIENTED_EDGE('',*,*,#1817,.T.);
#1817 = EDGE_CURVE('',#1794,#1818,#1820,.T.);
#1818 = VERTEX_POINT('',#1819);
#1819 = CARTESIAN_POINT('',(2.4,-12.,0.2));
#1820 = LINE('',#1821,#1822);
#1821 = CARTESIAN_POINT('',(2.4,-12.4,0.2));
#1822 = VECTOR('',#1823,1.);
#1823 = DIRECTION('',(0.,1.,0.));
#1824 = ORIENTED_EDGE('',*,*,#1825,.T.);
#1825 = EDGE_CURVE('',#1818,#1826,#1828,.T.);
#1826 = VERTEX_POINT('',#1827);
#1827 = CARTESIAN_POINT('',(2.4,-6.1,0.2));
#1828 = LINE('',#1829,#1830);
#1829 = CARTESIAN_POINT('',(2.4,-12.4,0.2));
#1830 = VECTOR('',#1831,1.);
#1831 = DIRECTION('',(0.,1.,0.));
#1832 = ORIENTED_EDGE('',*,*,#1833,.F.);
#1833 = EDGE_CURVE('',#1834,#1826,#1836,.T.);
#1834 = VERTEX_POINT('',#1835);
#1835 = CARTESIAN_POINT('',(-3.,-6.1,0.2));
#1836 = LINE('',#1837,#1838);
#1837 = CARTESIAN_POINT('',(-3.4,-6.1,0.2));
#1838 = VECTOR('',#1839,1.);
#1839 = DIRECTION('',(1.,0.,0.));
#1840 = ORIENTED_EDGE('',*,*,#1841,.F.);
#1841 = EDGE_CURVE('',#1763,#1834,#1842,.T.);
#1842 = LINE('',#1843,#1844);
#1843 = CARTESIAN_POINT('',(-3.4,-6.1,0.2));
#1844 = VECTOR('',#1845,1.);
#1845 = DIRECTION('',(1.,0.,0.));
#1846 = PLANE('',#1847);
#1847 = AXIS2_PLACEMENT_3D('',#1848,#1849,#1850);
#1848 = CARTESIAN_POINT('',(-3.4,-12.4,0.2));
#1849 = DIRECTION('',(0.,0.,1.));
#1850 = DIRECTION('',(1.,0.,0.));
#1851 = ADVANCED_FACE('',(#1852),#1870,.T.);
#1852 = FACE_BOUND('',#1853,.T.);
#1853 = EDGE_LOOP('',(#1854,#1862,#1863,#1864));
#1854 = ORIENTED_EDGE('',*,*,#1855,.F.);
#1855 = EDGE_CURVE('',#1755,#1856,#1858,.T.);
#1856 = VERTEX_POINT('',#1857);
#1857 = CARTESIAN_POINT('',(-3.,-6.1,0.));
#1858 = LINE('',#1859,#1860);
#1859 = CARTESIAN_POINT('',(-3.4,-6.1,0.));
#1860 = VECTOR('',#1861,1.);
#1861 = DIRECTION('',(1.,0.,0.));
#1862 = ORIENTED_EDGE('',*,*,#1762,.T.);
#1863 = ORIENTED_EDGE('',*,*,#1841,.T.);
#1864 = ORIENTED_EDGE('',*,*,#1865,.F.);
#1865 = EDGE_CURVE('',#1856,#1834,#1866,.T.);
#1866 = LINE('',#1867,#1868);
#1867 = CARTESIAN_POINT('',(-3.,-6.1,0.));
#1868 = VECTOR('',#1869,1.);
#1869 = DIRECTION('',(0.,0.,1.));
#1870 = PLANE('',#1871);
#1871 = AXIS2_PLACEMENT_3D('',#1872,#1873,#1874);
#1872 = CARTESIAN_POINT('',(-3.4,-6.1,0.));
#1873 = DIRECTION('',(0.,1.,0.));
#1874 = DIRECTION('',(0.,0.,1.));
#1875 = ADVANCED_FACE('',(#1876),#1919,.F.);
#1876 = FACE_BOUND('',#1877,.F.);
#1877 = EDGE_LOOP('',(#1878,#1879,#1880,#1881,#1889,#1897,#1905,#1913));
#1878 = ORIENTED_EDGE('',*,*,#1855,.F.);
#1879 = ORIENTED_EDGE('',*,*,#1754,.F.);
#1880 = ORIENTED_EDGE('',*,*,#1784,.T.);
#1881 = ORIENTED_EDGE('',*,*,#1882,.T.);
#1882 = EDGE_CURVE('',#1785,#1883,#1885,.T.);
#1883 = VERTEX_POINT('',#1884);
#1884 = CARTESIAN_POINT('',(2.4,-12.,0.));
#1885 = LINE('',#1886,#1887);
#1886 = CARTESIAN_POINT('',(2.4,-12.4,0.));
#1887 = VECTOR('',#1888,1.);
#1888 = DIRECTION('',(0.,1.,0.));
#1889 = ORIENTED_EDGE('',*,*,#1890,.T.);
#1890 = EDGE_CURVE('',#1883,#1891,#1893,.T.);
#1891 = VERTEX_POINT('',#1892);
#1892 = CARTESIAN_POINT('',(3.,-12.,0.));
#1893 = LINE('',#1894,#1895);
#1894 = CARTESIAN_POINT('',(2.4,-12.,0.));
#1895 = VECTOR('',#1896,1.);
#1896 = DIRECTION('',(1.,0.,0.));
#1897 = ORIENTED_EDGE('',*,*,#1898,.F.);
#1898 = EDGE_CURVE('',#1899,#1891,#1901,.T.);
#1899 = VERTEX_POINT('',#1900);
#1900 = CARTESIAN_POINT('',(3.,-5.5,0.));
#1901 = LINE('',#1902,#1903);
#1902 = CARTESIAN_POINT('',(3.,-5.5,0.));
#1903 = VECTOR('',#1904,1.);
#1904 = DIRECTION('',(0.,-1.,0.));
#1905 = ORIENTED_EDGE('',*,*,#1906,.F.);
#1906 = EDGE_CURVE('',#1907,#1899,#1909,.T.);
#1907 = VERTEX_POINT('',#1908);
#1908 = CARTESIAN_POINT('',(-3.,-5.5,0.));
#1909 = LINE('',#1910,#1911);
#1910 = CARTESIAN_POINT('',(-3.,-5.5,0.));
#1911 = VECTOR('',#1912,1.);
#1912 = DIRECTION('',(1.,0.,0.));
#1913 = ORIENTED_EDGE('',*,*,#1914,.F.);
#1914 = EDGE_CURVE('',#1856,#1907,#1915,.T.);
#1915 = LINE('',#1916,#1917);
#1916 = CARTESIAN_POINT('',(-3.,-6.1,0.));
#1917 = VECTOR('',#1918,1.);
#1918 = DIRECTION('',(0.,1.,0.));
#1919 = PLANE('',#1920);
#1920 = AXIS2_PLACEMENT_3D('',#1921,#1922,#1923);
#1921 = CARTESIAN_POINT('',(-3.4,-12.4,0.));
#1922 = DIRECTION('',(0.,0.,1.));
#1923 = DIRECTION('',(1.,0.,0.));
#1924 = ADVANCED_FACE('',(#1925),#1936,.T.);
#1925 = FACE_BOUND('',#1926,.T.);
#1926 = EDGE_LOOP('',(#1927,#1928,#1929,#1930));
#1927 = ORIENTED_EDGE('',*,*,#1817,.F.);
#1928 = ORIENTED_EDGE('',*,*,#1801,.F.);
#1929 = ORIENTED_EDGE('',*,*,#1882,.T.);
#1930 = ORIENTED_EDGE('',*,*,#1931,.T.);
#1931 = EDGE_CURVE('',#1883,#1818,#1932,.T.);
#1932 = LINE('',#1933,#1934);
#1933 = CARTESIAN_POINT('',(2.4,-12.,0.));
#1934 = VECTOR('',#1935,1.);
#1935 = DIRECTION('',(0.,0.,1.));
#1936 = PLANE('',#1937);
#1937 = AXIS2_PLACEMENT_3D('',#1938,#1939,#1940);
#1938 = CARTESIAN_POINT('',(2.4,-12.4,0.));
#1939 = DIRECTION('',(1.,0.,0.));
#1940 = DIRECTION('',(0.,0.,1.));
#1941 = ADVANCED_FACE('',(#1942),#1967,.F.);
#1942 = FACE_BOUND('',#1943,.F.);
#1943 = EDGE_LOOP('',(#1944,#1945,#1953,#1961));
#1944 = ORIENTED_EDGE('',*,*,#1833,.F.);
#1945 = ORIENTED_EDGE('',*,*,#1946,.T.);
#1946 = EDGE_CURVE('',#1834,#1947,#1949,.T.);
#1947 = VERTEX_POINT('',#1948);
#1948 = CARTESIAN_POINT('',(-3.,-6.1,0.4));
#1949 = LINE('',#1950,#1951);
#1950 = CARTESIAN_POINT('',(-3.,-6.1,0.));
#1951 = VECTOR('',#1952,1.);
#1952 = DIRECTION('',(0.,0.,1.));
#1953 = ORIENTED_EDGE('',*,*,#1954,.T.);
#1954 = EDGE_CURVE('',#1947,#1955,#1957,.T.);
#1955 = VERTEX_POINT('',#1956);
#1956 = CARTESIAN_POINT('',(2.4,-6.1,0.4));
#1957 = LINE('',#1958,#1959);
#1958 = CARTESIAN_POINT('',(-3.,-6.1,0.4));
#1959 = VECTOR('',#1960,1.);
#1960 = DIRECTION('',(1.,0.,0.));
#1961 = ORIENTED_EDGE('',*,*,#1962,.F.);
#1962 = EDGE_CURVE('',#1826,#1955,#1963,.T.);
#1963 = LINE('',#1964,#1965);
#1964 = CARTESIAN_POINT('',(2.4,-6.1,0.));
#1965 = VECTOR('',#1966,1.);
#1966 = DIRECTION('',(0.,0.,1.));
#1967 = PLANE('',#1968);
#1968 = AXIS2_PLACEMENT_3D('',#1969,#1970,#1971);
#1969 = CARTESIAN_POINT('',(-3.,-6.1,0.));
#1970 = DIRECTION('',(0.,1.,0.));
#1971 = DIRECTION('',(0.,0.,1.));
#1972 = ADVANCED_FACE('',(#1973),#1991,.F.);
#1973 = FACE_BOUND('',#1974,.F.);
#1974 = EDGE_LOOP('',(#1975,#1983,#1984,#1985));
#1975 = ORIENTED_EDGE('',*,*,#1976,.F.);
#1976 = EDGE_CURVE('',#1818,#1977,#1979,.T.);
#1977 = VERTEX_POINT('',#1978);
#1978 = CARTESIAN_POINT('',(2.4,-12.,0.4));
#1979 = LINE('',#1980,#1981);
#1980 = CARTESIAN_POINT('',(2.4,-12.,0.));
#1981 = VECTOR('',#1982,1.);
#1982 = DIRECTION('',(0.,0.,1.));
#1983 = ORIENTED_EDGE('',*,*,#1825,.T.);
#1984 = ORIENTED_EDGE('',*,*,#1962,.T.);
#1985 = ORIENTED_EDGE('',*,*,#1986,.F.);
#1986 = EDGE_CURVE('',#1977,#1955,#1987,.T.);
#1987 = LINE('',#1988,#1989);
#1988 = CARTESIAN_POINT('',(2.4,-12.,0.4));
#1989 = VECTOR('',#1990,1.);
#1990 = DIRECTION('',(0.,1.,0.));
#1991 = PLANE('',#1992);
#1992 = AXIS2_PLACEMENT_3D('',#1993,#1994,#1995);
#1993 = CARTESIAN_POINT('',(2.4,-12.,0.));
#1994 = DIRECTION('',(1.,0.,0.));
#1995 = DIRECTION('',(0.,0.,1.));
#1996 = ADVANCED_FACE('',(#1997),#2046,.F.);
#1997 = FACE_BOUND('',#1998,.F.);
#1998 = EDGE_LOOP('',(#1999,#2000,#2001,#2009,#2016,#2024,#2031,#2039,
    #2045));
#1999 = ORIENTED_EDGE('',*,*,#1865,.F.);
#2000 = ORIENTED_EDGE('',*,*,#1914,.T.);
#2001 = ORIENTED_EDGE('',*,*,#2002,.T.);
#2002 = EDGE_CURVE('',#1907,#2003,#2005,.T.);
#2003 = VERTEX_POINT('',#2004);
#2004 = CARTESIAN_POINT('',(-3.,-5.5,0.125));
#2005 = LINE('',#2006,#2007);
#2006 = CARTESIAN_POINT('',(-3.,-5.5,0.));
#2007 = VECTOR('',#2008,1.);
#2008 = DIRECTION('',(0.,0.,1.));
#2009 = ORIENTED_EDGE('',*,*,#2010,.T.);
#2010 = EDGE_CURVE('',#2003,#2011,#2013,.T.);
#2011 = VERTEX_POINT('',#2012);
#2012 = CARTESIAN_POINT('',(-3.,-5.15,9.E-02));
#2013 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#2014,#2015),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#2014 = CARTESIAN_POINT('',(-3.,-5.5,0.125));
#2015 = CARTESIAN_POINT('',(-3.,-5.15,9.E-02));
#2016 = ORIENTED_EDGE('',*,*,#2017,.F.);
#2017 = EDGE_CURVE('',#2018,#2011,#2020,.T.);
#2018 = VERTEX_POINT('',#2019);
#2019 = CARTESIAN_POINT('',(-3.,-5.15,0.31));
#2020 = LINE('',#2021,#2022);
#2021 = CARTESIAN_POINT('',(-3.,-5.15,0.31));
#2022 = VECTOR('',#2023,1.);
#2023 = DIRECTION('',(0.,0.,-1.));
#2024 = ORIENTED_EDGE('',*,*,#2025,.F.);
#2025 = EDGE_CURVE('',#2026,#2018,#2028,.T.);
#2026 = VERTEX_POINT('',#2027);
#2027 = CARTESIAN_POINT('',(-3.,-5.5,0.275));
#2028 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#2029,#2030),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#2029 = CARTESIAN_POINT('',(-3.,-5.5,0.275));
#2030 = CARTESIAN_POINT('',(-3.,-5.15,0.31));
#2031 = ORIENTED_EDGE('',*,*,#2032,.T.);
#2032 = EDGE_CURVE('',#2026,#2033,#2035,.T.);
#2033 = VERTEX_POINT('',#2034);
#2034 = CARTESIAN_POINT('',(-3.,-5.5,0.4));
#2035 = LINE('',#2036,#2037);
#2036 = CARTESIAN_POINT('',(-3.,-5.5,0.));
#2037 = VECTOR('',#2038,1.);
#2038 = DIRECTION('',(0.,0.,1.));
#2039 = ORIENTED_EDGE('',*,*,#2040,.F.);
#2040 = EDGE_CURVE('',#1947,#2033,#2041,.T.);
#2041 = LINE('',#2042,#2043);
#2042 = CARTESIAN_POINT('',(-3.,-6.1,0.4));
#2043 = VECTOR('',#2044,1.);
#2044 = DIRECTION('',(0.,1.,0.));
#2045 = ORIENTED_EDGE('',*,*,#1946,.F.);
#2046 = PLANE('',#2047);
#2047 = AXIS2_PLACEMENT_3D('',#2048,#2049,#2050);
#2048 = CARTESIAN_POINT('',(-3.,-6.1,0.));
#2049 = DIRECTION('',(1.,0.,0.));
#2050 = DIRECTION('',(0.,0.,1.));
#2051 = ADVANCED_FACE('',(#2052),#2101,.F.);
#2052 = FACE_BOUND('',#2053,.F.);
#2053 = EDGE_LOOP('',(#2054,#2055,#2056,#2057,#2065,#2073,#2080,#2088,
    #2095));
#2054 = ORIENTED_EDGE('',*,*,#1890,.F.);
#2055 = ORIENTED_EDGE('',*,*,#1931,.T.);
#2056 = ORIENTED_EDGE('',*,*,#1976,.T.);
#2057 = ORIENTED_EDGE('',*,*,#2058,.T.);
#2058 = EDGE_CURVE('',#1977,#2059,#2061,.T.);
#2059 = VERTEX_POINT('',#2060);
#2060 = CARTESIAN_POINT('',(3.,-12.,0.4));
#2061 = LINE('',#2062,#2063);
#2062 = CARTESIAN_POINT('',(2.4,-12.,0.4));
#2063 = VECTOR('',#2064,1.);
#2064 = DIRECTION('',(1.,0.,0.));
#2065 = ORIENTED_EDGE('',*,*,#2066,.F.);
#2066 = EDGE_CURVE('',#2067,#2059,#2069,.T.);
#2067 = VERTEX_POINT('',#2068);
#2068 = CARTESIAN_POINT('',(3.,-12.,0.275));
#2069 = LINE('',#2070,#2071);
#2070 = CARTESIAN_POINT('',(3.,-12.,0.));
#2071 = VECTOR('',#2072,1.);
#2072 = DIRECTION('',(0.,0.,1.));
#2073 = ORIENTED_EDGE('',*,*,#2074,.T.);
#2074 = EDGE_CURVE('',#2067,#2075,#2077,.T.);
#2075 = VERTEX_POINT('',#2076);
#2076 = CARTESIAN_POINT('',(3.35,-12.,0.31));
#2077 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#2078,#2079),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#2078 = CARTESIAN_POINT('',(3.,-12.,0.275));
#2079 = CARTESIAN_POINT('',(3.35,-12.,0.31));
#2080 = ORIENTED_EDGE('',*,*,#2081,.T.);
#2081 = EDGE_CURVE('',#2075,#2082,#2084,.T.);
#2082 = VERTEX_POINT('',#2083);
#2083 = CARTESIAN_POINT('',(3.35,-12.,9.E-02));
#2084 = LINE('',#2085,#2086);
#2085 = CARTESIAN_POINT('',(3.35,-12.,0.31));
#2086 = VECTOR('',#2087,1.);
#2087 = DIRECTION('',(0.,0.,-1.));
#2088 = ORIENTED_EDGE('',*,*,#2089,.F.);
#2089 = EDGE_CURVE('',#2090,#2082,#2092,.T.);
#2090 = VERTEX_POINT('',#2091);
#2091 = CARTESIAN_POINT('',(3.,-12.,0.125));
#2092 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#2093,#2094),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#2093 = CARTESIAN_POINT('',(3.,-12.,0.125));
#2094 = CARTESIAN_POINT('',(3.35,-12.,9.E-02));
#2095 = ORIENTED_EDGE('',*,*,#2096,.F.);
#2096 = EDGE_CURVE('',#1891,#2090,#2097,.T.);
#2097 = LINE('',#2098,#2099);
#2098 = CARTESIAN_POINT('',(3.,-12.,0.));
#2099 = VECTOR('',#2100,1.);
#2100 = DIRECTION('',(0.,0.,1.));
#2101 = PLANE('',#2102);
#2102 = AXIS2_PLACEMENT_3D('',#2103,#2104,#2105);
#2103 = CARTESIAN_POINT('',(2.4,-12.,0.));
#2104 = DIRECTION('',(0.,1.,0.));
#2105 = DIRECTION('',(0.,0.,1.));
#2106 = ADVANCED_FACE('',(#2107),#2125,.T.);
#2107 = FACE_BOUND('',#2108,.T.);
#2108 = EDGE_LOOP('',(#2109,#2110,#2111,#2119));
#2109 = ORIENTED_EDGE('',*,*,#2096,.F.);
#2110 = ORIENTED_EDGE('',*,*,#1898,.F.);
#2111 = ORIENTED_EDGE('',*,*,#2112,.T.);
#2112 = EDGE_CURVE('',#1899,#2113,#2115,.T.);
#2113 = VERTEX_POINT('',#2114);
#2114 = CARTESIAN_POINT('',(3.,-5.5,0.125));
#2115 = LINE('',#2116,#2117);
#2116 = CARTESIAN_POINT('',(3.,-5.5,0.));
#2117 = VECTOR('',#2118,1.);
#2118 = DIRECTION('',(0.,0.,1.));
#2119 = ORIENTED_EDGE('',*,*,#2120,.T.);
#2120 = EDGE_CURVE('',#2113,#2090,#2121,.T.);
#2121 = LINE('',#2122,#2123);
#2122 = CARTESIAN_POINT('',(3.,-5.5,0.125));
#2123 = VECTOR('',#2124,1.);
#2124 = DIRECTION('',(0.,-1.,0.));
#2125 = PLANE('',#2126);
#2126 = AXIS2_PLACEMENT_3D('',#2127,#2128,#2129);
#2127 = CARTESIAN_POINT('',(3.,-12.,0.));
#2128 = DIRECTION('',(1.,0.,0.));
#2129 = DIRECTION('',(0.,0.,1.));
#2130 = ADVANCED_FACE('',(#2131),#2142,.T.);
#2131 = FACE_BOUND('',#2132,.T.);
#2132 = EDGE_LOOP('',(#2133,#2134,#2135,#2141));
#2133 = ORIENTED_EDGE('',*,*,#1906,.F.);
#2134 = ORIENTED_EDGE('',*,*,#2002,.T.);
#2135 = ORIENTED_EDGE('',*,*,#2136,.T.);
#2136 = EDGE_CURVE('',#2003,#2113,#2137,.T.);
#2137 = LINE('',#2138,#2139);
#2138 = CARTESIAN_POINT('',(-3.,-5.5,0.125));
#2139 = VECTOR('',#2140,1.);
#2140 = DIRECTION('',(1.,0.,0.));
#2141 = ORIENTED_EDGE('',*,*,#2112,.F.);
#2142 = PLANE('',#2143);
#2143 = AXIS2_PLACEMENT_3D('',#2144,#2145,#2146);
#2144 = CARTESIAN_POINT('',(-3.,-5.5,0.));
#2145 = DIRECTION('',(0.,1.,0.));
#2146 = DIRECTION('',(0.,0.,1.));
#2147 = ADVANCED_FACE('',(#2148),#2168,.T.);
#2148 = FACE_BOUND('',#2149,.T.);
#2149 = EDGE_LOOP('',(#2150,#2151,#2152,#2153,#2154,#2162));
#2150 = ORIENTED_EDGE('',*,*,#2040,.F.);
#2151 = ORIENTED_EDGE('',*,*,#1954,.T.);
#2152 = ORIENTED_EDGE('',*,*,#1986,.F.);
#2153 = ORIENTED_EDGE('',*,*,#2058,.T.);
#2154 = ORIENTED_EDGE('',*,*,#2155,.T.);
#2155 = EDGE_CURVE('',#2059,#2156,#2158,.T.);
#2156 = VERTEX_POINT('',#2157);
#2157 = CARTESIAN_POINT('',(3.,-5.5,0.4));
#2158 = LINE('',#2159,#2160);
#2159 = CARTESIAN_POINT('',(3.,-12.,0.4));
#2160 = VECTOR('',#2161,1.);
#2161 = DIRECTION('',(0.,1.,1.E-17));
#2162 = ORIENTED_EDGE('',*,*,#2163,.T.);
#2163 = EDGE_CURVE('',#2156,#2033,#2164,.T.);
#2164 = LINE('',#2165,#2166);
#2165 = CARTESIAN_POINT('',(3.,-5.5,0.4));
#2166 = VECTOR('',#2167,1.);
#2167 = DIRECTION('',(-1.,0.,-1.E-17));
#2168 = PLANE('',#2169);
#2169 = AXIS2_PLACEMENT_3D('',#2170,#2171,#2172);
#2170 = CARTESIAN_POINT('',(-3.,-6.1,0.4));
#2171 = DIRECTION('',(0.,0.,1.));
#2172 = DIRECTION('',(1.,0.,0.));
#2173 = ADVANCED_FACE('',(#2174),#2192,.T.);
#2174 = FACE_BOUND('',#2175,.T.);
#2175 = EDGE_LOOP('',(#2176,#2184,#2185,#2186));
#2176 = ORIENTED_EDGE('',*,*,#2177,.T.);
#2177 = EDGE_CURVE('',#2178,#2026,#2180,.T.);
#2178 = VERTEX_POINT('',#2179);
#2179 = CARTESIAN_POINT('',(3.,-5.5,0.275));
#2180 = LINE('',#2181,#2182);
#2181 = CARTESIAN_POINT('',(3.,-5.5,0.275));
#2182 = VECTOR('',#2183,1.);
#2183 = DIRECTION('',(-1.,0.,0.));
#2184 = ORIENTED_EDGE('',*,*,#2032,.T.);
#2185 = ORIENTED_EDGE('',*,*,#2163,.F.);
#2186 = ORIENTED_EDGE('',*,*,#2187,.F.);
#2187 = EDGE_CURVE('',#2178,#2156,#2188,.T.);
#2188 = LINE('',#2189,#2190);
#2189 = CARTESIAN_POINT('',(3.,-5.5,0.));
#2190 = VECTOR('',#2191,1.);
#2191 = DIRECTION('',(0.,0.,1.));
#2192 = PLANE('',#2193);
#2193 = AXIS2_PLACEMENT_3D('',#2194,#2195,#2196);
#2194 = CARTESIAN_POINT('',(-3.,-5.5,0.));
#2195 = DIRECTION('',(0.,1.,0.));
#2196 = DIRECTION('',(0.,0.,1.));
#2197 = ADVANCED_FACE('',(#2198),#2209,.T.);
#2198 = FACE_BOUND('',#2199,.T.);
#2199 = EDGE_LOOP('',(#2200,#2201,#2207,#2208));
#2200 = ORIENTED_EDGE('',*,*,#2066,.F.);
#2201 = ORIENTED_EDGE('',*,*,#2202,.T.);
#2202 = EDGE_CURVE('',#2067,#2178,#2203,.T.);
#2203 = LINE('',#2204,#2205);
#2204 = CARTESIAN_POINT('',(3.,-12.,0.275));
#2205 = VECTOR('',#2206,1.);
#2206 = DIRECTION('',(0.,1.,0.));
#2207 = ORIENTED_EDGE('',*,*,#2187,.T.);
#2208 = ORIENTED_EDGE('',*,*,#2155,.F.);
#2209 = PLANE('',#2210);
#2210 = AXIS2_PLACEMENT_3D('',#2211,#2212,#2213);
#2211 = CARTESIAN_POINT('',(3.,-12.,0.));
#2212 = DIRECTION('',(1.,0.,0.));
#2213 = DIRECTION('',(0.,0.,1.));
#2214 = ADVANCED_FACE('',(#2215),#2232,.T.);
#2215 = FACE_BOUND('',#2216,.T.);
#2216 = EDGE_LOOP('',(#2217,#2218,#2219,#2227));
#2217 = ORIENTED_EDGE('',*,*,#2202,.F.);
#2218 = ORIENTED_EDGE('',*,*,#2074,.T.);
#2219 = ORIENTED_EDGE('',*,*,#2220,.F.);
#2220 = EDGE_CURVE('',#2221,#2075,#2223,.T.);
#2221 = VERTEX_POINT('',#2222);
#2222 = CARTESIAN_POINT('',(3.35,-5.5,0.31));
#2223 = LINE('',#2224,#2225);
#2224 = CARTESIAN_POINT('',(3.35,-5.5,0.31));
#2225 = VECTOR('',#2226,1.);
#2226 = DIRECTION('',(0.,-1.,0.));
#2227 = ORIENTED_EDGE('',*,*,#2228,.F.);
#2228 = EDGE_CURVE('',#2178,#2221,#2229,.T.);
#2229 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#2230,#2231),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#2230 = CARTESIAN_POINT('',(3.,-5.5,0.275));
#2231 = CARTESIAN_POINT('',(3.35,-5.5,0.31));
#2232 = PLANE('',#2233);
#2233 = AXIS2_PLACEMENT_3D('',#2234,#2235,#2236);
#2234 = CARTESIAN_POINT('',(3.35,-5.5,0.31));
#2235 = DIRECTION('',(-9.9503719021E-02,0.,0.99503719021));
#2236 = DIRECTION('',(0.,-1.,0.));
#2237 = ADVANCED_FACE('',(#2238),#2256,.F.);
#2238 = FACE_BOUND('',#2239,.T.);
#2239 = EDGE_LOOP('',(#2240,#2248,#2254,#2255));
#2240 = ORIENTED_EDGE('',*,*,#2241,.T.);
#2241 = EDGE_CURVE('',#2082,#2242,#2244,.T.);
#2242 = VERTEX_POINT('',#2243);
#2243 = CARTESIAN_POINT('',(3.35,-5.5,9.E-02));
#2244 = LINE('',#2245,#2246);
#2245 = CARTESIAN_POINT('',(3.35,-12.,9.E-02));
#2246 = VECTOR('',#2247,1.);
#2247 = DIRECTION('',(0.,1.,0.));
#2248 = ORIENTED_EDGE('',*,*,#2249,.T.);
#2249 = EDGE_CURVE('',#2242,#2221,#2250,.T.);
#2250 = LINE('',#2251,#2252);
#2251 = CARTESIAN_POINT('',(3.35,-5.5,9.E-02));
#2252 = VECTOR('',#2253,1.);
#2253 = DIRECTION('',(0.,0.,1.));
#2254 = ORIENTED_EDGE('',*,*,#2220,.T.);
#2255 = ORIENTED_EDGE('',*,*,#2081,.T.);
#2256 = PLANE('',#2257);
#2257 = AXIS2_PLACEMENT_3D('',#2258,#2259,#2260);
#2258 = CARTESIAN_POINT('',(3.35,-12.,9.E-02));
#2259 = DIRECTION('',(-1.,0.,0.));
#2260 = DIRECTION('',(0.,0.999427710583,3.382678405049E-02));
#2261 = ADVANCED_FACE('',(#2262),#2272,.T.);
#2262 = FACE_BOUND('',#2263,.T.);
#2263 = EDGE_LOOP('',(#2264,#2265,#2270,#2271));
#2264 = ORIENTED_EDGE('',*,*,#2120,.F.);
#2265 = ORIENTED_EDGE('',*,*,#2266,.T.);
#2266 = EDGE_CURVE('',#2113,#2242,#2267,.T.);
#2267 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#2268,#2269),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#2268 = CARTESIAN_POINT('',(3.,-5.5,0.125));
#2269 = CARTESIAN_POINT('',(3.35,-5.5,9.E-02));
#2270 = ORIENTED_EDGE('',*,*,#2241,.F.);
#2271 = ORIENTED_EDGE('',*,*,#2089,.F.);
#2272 = PLANE('',#2273);
#2273 = AXIS2_PLACEMENT_3D('',#2274,#2275,#2276);
#2274 = CARTESIAN_POINT('',(3.35,-12.,9.E-02));
#2275 = DIRECTION('',(-9.9503719021E-02,0.,-0.99503719021));
#2276 = DIRECTION('',(0.,1.,0.));
#2277 = ADVANCED_FACE('',(#2278),#2295,.F.);
#2278 = FACE_BOUND('',#2279,.F.);
#2279 = EDGE_LOOP('',(#2280,#2281,#2288,#2294));
#2280 = ORIENTED_EDGE('',*,*,#2136,.T.);
#2281 = ORIENTED_EDGE('',*,*,#2282,.T.);
#2282 = EDGE_CURVE('',#2113,#2283,#2285,.T.);
#2283 = VERTEX_POINT('',#2284);
#2284 = CARTESIAN_POINT('',(3.,-5.15,9.E-02));
#2285 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#2286,#2287),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#2286 = CARTESIAN_POINT('',(3.,-5.5,0.125));
#2287 = CARTESIAN_POINT('',(3.,-5.15,9.E-02));
#2288 = ORIENTED_EDGE('',*,*,#2289,.F.);
#2289 = EDGE_CURVE('',#2011,#2283,#2290,.T.);
#2290 = LINE('',#2291,#2292);
#2291 = CARTESIAN_POINT('',(-3.,-5.15,9.E-02));
#2292 = VECTOR('',#2293,1.);
#2293 = DIRECTION('',(1.,0.,0.));
#2294 = ORIENTED_EDGE('',*,*,#2010,.F.);
#2295 = PLANE('',#2296);
#2296 = AXIS2_PLACEMENT_3D('',#2297,#2298,#2299);
#2297 = CARTESIAN_POINT('',(-3.,-5.15,9.E-02));
#2298 = DIRECTION('',(0.,9.9503719021E-02,0.99503719021));
#2299 = DIRECTION('',(1.,0.,0.));
#2300 = ADVANCED_FACE('',(#2301),#2319,.T.);
#2301 = FACE_BOUND('',#2302,.F.);
#2302 = EDGE_LOOP('',(#2303,#2304,#2312,#2318));
#2303 = ORIENTED_EDGE('',*,*,#2289,.T.);
#2304 = ORIENTED_EDGE('',*,*,#2305,.T.);
#2305 = EDGE_CURVE('',#2283,#2306,#2308,.T.);
#2306 = VERTEX_POINT('',#2307);
#2307 = CARTESIAN_POINT('',(3.,-5.15,0.31));
#2308 = LINE('',#2309,#2310);
#2309 = CARTESIAN_POINT('',(3.,-5.15,9.E-02));
#2310 = VECTOR('',#2311,1.);
#2311 = DIRECTION('',(0.,0.,1.));
#2312 = ORIENTED_EDGE('',*,*,#2313,.T.);
#2313 = EDGE_CURVE('',#2306,#2018,#2314,.T.);
#2314 = LINE('',#2315,#2316);
#2315 = CARTESIAN_POINT('',(3.,-5.15,0.31));
#2316 = VECTOR('',#2317,1.);
#2317 = DIRECTION('',(-1.,0.,0.));
#2318 = ORIENTED_EDGE('',*,*,#2017,.T.);
#2319 = PLANE('',#2320);
#2320 = AXIS2_PLACEMENT_3D('',#2321,#2322,#2323);
#2321 = CARTESIAN_POINT('',(-3.,-5.15,9.E-02));
#2322 = DIRECTION('',(0.,1.,0.));
#2323 = DIRECTION('',(0.999328454843,0.,3.664204334427E-02));
#2324 = ADVANCED_FACE('',(#2325),#2335,.F.);
#2325 = FACE_BOUND('',#2326,.F.);
#2326 = EDGE_LOOP('',(#2327,#2328,#2329,#2330));
#2327 = ORIENTED_EDGE('',*,*,#2177,.T.);
#2328 = ORIENTED_EDGE('',*,*,#2025,.T.);
#2329 = ORIENTED_EDGE('',*,*,#2313,.F.);
#2330 = ORIENTED_EDGE('',*,*,#2331,.F.);
#2331 = EDGE_CURVE('',#2178,#2306,#2332,.T.);
#2332 = B_SPLINE_CURVE_WITH_KNOTS('',1,(#2333,#2334),.UNSPECIFIED.,.F.,
  .F.,(2,2),(0.,1.),.PIECEWISE_BEZIER_KNOTS.);
#2333 = CARTESIAN_POINT('',(3.,-5.5,0.275));
#2334 = CARTESIAN_POINT('',(3.,-5.15,0.31));
#2335 = PLANE('',#2336);
#2336 = AXIS2_PLACEMENT_3D('',#2337,#2338,#2339);
#2337 = CARTESIAN_POINT('',(3.,-5.15,0.31));
#2338 = DIRECTION('',(0.,9.9503719021E-02,-0.99503719021));
#2339 = DIRECTION('',(-1.,0.,0.));
#2340 = ADVANCED_FACE('',(#2341),#2352,.T.);
#2341 = FACE_BOUND('',#2342,.T.);
#2342 = EDGE_LOOP('',(#2343,#2344,#2350,#2351));
#2343 = ORIENTED_EDGE('',*,*,#2266,.F.);
#2344 = ORIENTED_EDGE('',*,*,#2345,.T.);
#2345 = EDGE_CURVE('',#2113,#2178,#2346,.T.);
#2346 = LINE('',#2347,#2348);
#2347 = CARTESIAN_POINT('',(3.,-5.5,0.125));
#2348 = VECTOR('',#2349,1.);
#2349 = DIRECTION('',(0.,0.,1.));
#2350 = ORIENTED_EDGE('',*,*,#2228,.T.);
#2351 = ORIENTED_EDGE('',*,*,#2249,.F.);
#2352 = PLANE('',#2353);
#2353 = AXIS2_PLACEMENT_3D('',#2354,#2355,#2356);
#2354 = CARTESIAN_POINT('',(-3.,-5.5,0.));
#2355 = DIRECTION('',(0.,1.,0.));
#2356 = DIRECTION('',(0.,0.,1.));
#2357 = ADVANCED_FACE('',(#2358),#2364,.F.);
#2358 = FACE_BOUND('',#2359,.F.);
#2359 = EDGE_LOOP('',(#2360,#2361,#2362,#2363));
#2360 = ORIENTED_EDGE('',*,*,#2345,.T.);
#2361 = ORIENTED_EDGE('',*,*,#2331,.T.);
#2362 = ORIENTED_EDGE('',*,*,#2305,.F.);
#2363 = ORIENTED_EDGE('',*,*,#2282,.F.);
#2364 = B_SPLINE_SURFACE_WITH_KNOTS('',1,1,(
    (#2365,#2366)
    ,(#2367,#2368
    )),.UNSPECIFIED.,.F.,.F.,.F.,(2,2),(2,2),(0.,0.22),(0.,1.),
  .PIECEWISE_BEZIER_KNOTS.);
#2365 = CARTESIAN_POINT('',(3.,-5.5,0.125));
#2366 = CARTESIAN_POINT('',(3.,-5.15,9.E-02));
#2367 = CARTESIAN_POINT('',(3.,-5.5,0.275));
#2368 = CARTESIAN_POINT('',(3.,-5.15,0.31));
#2369 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#2373)) 
GLOBAL_UNIT_ASSIGNED_CONTEXT((#2370,#2371,#2372)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#2370 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#2371 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#2372 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#2373 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(1.E-07),#2370,
  'distance_accuracy_value','confusion accuracy');
#2374 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#7));
ENDSEC;
END-ISO-10303-21;