ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
FILE_NAME('Open CASCADE Shape Model','2026-07-04T14:36:50',('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 4',
  'Open CASCADE STEP translator 7.8 4','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = SHAPE_REPRESENTATION('',(#11,#15,#569,#1007,#1445,#1883,#2321,
    #2759,#2909),#3059);
#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,#188,#213,#238,#289,#329,#353,#400,#424,
    #448,#465,#482,#499,#516,#533,#545,#557));
#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('',(-2.5,-2.25,4.05));
#24 = VERTEX_POINT('',#25);
#25 = CARTESIAN_POINT('',(-2.5,1.5,4.05));
#26 = LINE('',#27,#28);
#27 = CARTESIAN_POINT('',(-2.5,-2.5,4.05));
#28 = VECTOR('',#29,1.);
#29 = DIRECTION('',(-0.,1.,0.));
#30 = ORIENTED_EDGE('',*,*,#31,.F.);
#31 = EDGE_CURVE('',#32,#22,#34,.T.);
#32 = VERTEX_POINT('',#33);
#33 = CARTESIAN_POINT('',(-2.5,-2.25,0.12));
#34 = LINE('',#35,#36);
#35 = CARTESIAN_POINT('',(-2.5,-2.25,0.12));
#36 = VECTOR('',#37,1.);
#37 = DIRECTION('',(0.,0.,1.));
#38 = ORIENTED_EDGE('',*,*,#39,.T.);
#39 = EDGE_CURVE('',#32,#40,#42,.T.);
#40 = VERTEX_POINT('',#41);
#41 = CARTESIAN_POINT('',(-2.5,1.5,0.12));
#42 = LINE('',#43,#44);
#43 = CARTESIAN_POINT('',(-2.5,-2.5,0.12));
#44 = VECTOR('',#45,1.);
#45 = DIRECTION('',(-0.,1.,0.));
#46 = ORIENTED_EDGE('',*,*,#47,.T.);
#47 = EDGE_CURVE('',#40,#24,#48,.T.);
#48 = LINE('',#49,#50);
#49 = CARTESIAN_POINT('',(-2.5,1.5,0.12));
#50 = VECTOR('',#51,1.);
#51 = DIRECTION('',(0.,0.,1.));
#52 = PLANE('',#53);
#53 = AXIS2_PLACEMENT_3D('',#54,#55,#56);
#54 = CARTESIAN_POINT('',(-2.5,-2.5,0.12));
#55 = DIRECTION('',(1.,0.,-0.));
#56 = DIRECTION('',(0.,0.,1.));
#57 = ADVANCED_FACE('',(#58),#183,.T.);
#58 = FACE_BOUND('',#59,.T.);
#59 = EDGE_LOOP('',(#60,#61,#70,#78,#87,#95,#104,#112,#120,#128,#136,
    #144,#152,#160,#168,#176));
#60 = ORIENTED_EDGE('',*,*,#21,.F.);
#61 = ORIENTED_EDGE('',*,*,#62,.T.);
#62 = EDGE_CURVE('',#22,#63,#65,.T.);
#63 = VERTEX_POINT('',#64);
#64 = CARTESIAN_POINT('',(-2.25,-2.5,4.05));
#65 = CIRCLE('',#66,0.25);
#66 = AXIS2_PLACEMENT_3D('',#67,#68,#69);
#67 = CARTESIAN_POINT('',(-2.25,-2.25,4.05));
#68 = DIRECTION('',(0.,0.,1.));
#69 = DIRECTION('',(0.,-1.,0.));
#70 = ORIENTED_EDGE('',*,*,#71,.T.);
#71 = EDGE_CURVE('',#63,#72,#74,.T.);
#72 = VERTEX_POINT('',#73);
#73 = CARTESIAN_POINT('',(7.25,-2.5,4.05));
#74 = LINE('',#75,#76);
#75 = CARTESIAN_POINT('',(-2.5,-2.5,4.05));
#76 = VECTOR('',#77,1.);
#77 = DIRECTION('',(1.,0.,-0.));
#78 = ORIENTED_EDGE('',*,*,#79,.F.);
#79 = EDGE_CURVE('',#80,#72,#82,.T.);
#80 = VERTEX_POINT('',#81);
#81 = CARTESIAN_POINT('',(7.5,-2.25,4.05));
#82 = CIRCLE('',#83,0.25);
#83 = AXIS2_PLACEMENT_3D('',#84,#85,#86);
#84 = CARTESIAN_POINT('',(7.25,-2.25,4.05));
#85 = DIRECTION('',(-0.,-0.,-1.));
#86 = DIRECTION('',(0.,-1.,0.));
#87 = ORIENTED_EDGE('',*,*,#88,.T.);
#88 = EDGE_CURVE('',#80,#89,#91,.T.);
#89 = VERTEX_POINT('',#90);
#90 = CARTESIAN_POINT('',(7.5,1.5,4.05));
#91 = LINE('',#92,#93);
#92 = CARTESIAN_POINT('',(7.5,-2.5,4.05));
#93 = VECTOR('',#94,1.);
#94 = DIRECTION('',(-0.,1.,0.));
#95 = ORIENTED_EDGE('',*,*,#96,.T.);
#96 = EDGE_CURVE('',#89,#97,#99,.T.);
#97 = VERTEX_POINT('',#98);
#98 = CARTESIAN_POINT('',(7.25,1.75,4.05));
#99 = CIRCLE('',#100,0.25);
#100 = AXIS2_PLACEMENT_3D('',#101,#102,#103);
#101 = CARTESIAN_POINT('',(7.25,1.5,4.05));
#102 = DIRECTION('',(0.,0.,1.));
#103 = DIRECTION('',(0.,-1.,0.));
#104 = ORIENTED_EDGE('',*,*,#105,.F.);
#105 = EDGE_CURVE('',#106,#97,#108,.T.);
#106 = VERTEX_POINT('',#107);
#107 = CARTESIAN_POINT('',(3.75,1.75,4.05));
#108 = LINE('',#109,#110);
#109 = CARTESIAN_POINT('',(-2.5,1.75,4.05));
#110 = VECTOR('',#111,1.);
#111 = DIRECTION('',(1.,0.,-0.));
#112 = ORIENTED_EDGE('',*,*,#113,.F.);
#113 = EDGE_CURVE('',#114,#106,#116,.T.);
#114 = VERTEX_POINT('',#115);
#115 = CARTESIAN_POINT('',(3.75,0.95,4.05));
#116 = LINE('',#117,#118);
#117 = CARTESIAN_POINT('',(3.75,0.85,4.05));
#118 = VECTOR('',#119,1.);
#119 = DIRECTION('',(-0.,1.,0.));
#120 = ORIENTED_EDGE('',*,*,#121,.T.);
#121 = EDGE_CURVE('',#114,#122,#124,.T.);
#122 = VERTEX_POINT('',#123);
#123 = CARTESIAN_POINT('',(6.7,0.95,4.05));
#124 = LINE('',#125,#126);
#125 = CARTESIAN_POINT('',(-1.7,0.95,4.05));
#126 = VECTOR('',#127,1.);
#127 = DIRECTION('',(1.,0.,-0.));
#128 = ORIENTED_EDGE('',*,*,#129,.F.);
#129 = EDGE_CURVE('',#130,#122,#132,.T.);
#130 = VERTEX_POINT('',#131);
#131 = CARTESIAN_POINT('',(6.7,-1.7,4.05));
#132 = LINE('',#133,#134);
#133 = CARTESIAN_POINT('',(6.7,-1.7,4.05));
#134 = VECTOR('',#135,1.);
#135 = DIRECTION('',(-0.,1.,0.));
#136 = ORIENTED_EDGE('',*,*,#137,.F.);
#137 = EDGE_CURVE('',#138,#130,#140,.T.);
#138 = VERTEX_POINT('',#139);
#139 = CARTESIAN_POINT('',(-1.7,-1.7,4.05));
#140 = LINE('',#141,#142);
#141 = CARTESIAN_POINT('',(-1.7,-1.7,4.05));
#142 = VECTOR('',#143,1.);
#143 = DIRECTION('',(1.,0.,-0.));
#144 = ORIENTED_EDGE('',*,*,#145,.T.);
#145 = EDGE_CURVE('',#138,#146,#148,.T.);
#146 = VERTEX_POINT('',#147);
#147 = CARTESIAN_POINT('',(-1.7,0.95,4.05));
#148 = LINE('',#149,#150);
#149 = CARTESIAN_POINT('',(-1.7,-1.7,4.05));
#150 = VECTOR('',#151,1.);
#151 = DIRECTION('',(-0.,1.,0.));
#152 = ORIENTED_EDGE('',*,*,#153,.T.);
#153 = EDGE_CURVE('',#146,#154,#156,.T.);
#154 = VERTEX_POINT('',#155);
#155 = CARTESIAN_POINT('',(1.25,0.95,4.05));
#156 = LINE('',#157,#158);
#157 = CARTESIAN_POINT('',(-1.7,0.95,4.05));
#158 = VECTOR('',#159,1.);
#159 = DIRECTION('',(1.,0.,-0.));
#160 = ORIENTED_EDGE('',*,*,#161,.T.);
#161 = EDGE_CURVE('',#154,#162,#164,.T.);
#162 = VERTEX_POINT('',#163);
#163 = CARTESIAN_POINT('',(1.25,1.75,4.05));
#164 = LINE('',#165,#166);
#165 = CARTESIAN_POINT('',(1.25,0.85,4.05));
#166 = VECTOR('',#167,1.);
#167 = DIRECTION('',(-0.,1.,0.));
#168 = ORIENTED_EDGE('',*,*,#169,.F.);
#169 = EDGE_CURVE('',#170,#162,#172,.T.);
#170 = VERTEX_POINT('',#171);
#171 = CARTESIAN_POINT('',(-2.25,1.75,4.05));
#172 = LINE('',#173,#174);
#173 = CARTESIAN_POINT('',(-2.5,1.75,4.05));
#174 = VECTOR('',#175,1.);
#175 = DIRECTION('',(1.,0.,-0.));
#176 = ORIENTED_EDGE('',*,*,#177,.F.);
#177 = EDGE_CURVE('',#24,#170,#178,.T.);
#178 = CIRCLE('',#179,0.25);
#179 = AXIS2_PLACEMENT_3D('',#180,#181,#182);
#180 = CARTESIAN_POINT('',(-2.25,1.5,4.05));
#181 = DIRECTION('',(-0.,-0.,-1.));
#182 = DIRECTION('',(0.,-1.,0.));
#183 = PLANE('',#184);
#184 = AXIS2_PLACEMENT_3D('',#185,#186,#187);
#185 = CARTESIAN_POINT('',(-2.5,-2.5,4.05));
#186 = DIRECTION('',(0.,0.,1.));
#187 = DIRECTION('',(1.,0.,-0.));
#188 = ADVANCED_FACE('',(#189),#208,.T.);
#189 = FACE_BOUND('',#190,.T.);
#190 = EDGE_LOOP('',(#191,#200,#206,#207));
#191 = ORIENTED_EDGE('',*,*,#192,.T.);
#192 = EDGE_CURVE('',#32,#193,#195,.T.);
#193 = VERTEX_POINT('',#194);
#194 = CARTESIAN_POINT('',(-2.25,-2.5,0.12));
#195 = CIRCLE('',#196,0.25);
#196 = AXIS2_PLACEMENT_3D('',#197,#198,#199);
#197 = CARTESIAN_POINT('',(-2.25,-2.25,0.12));
#198 = DIRECTION('',(0.,0.,1.));
#199 = DIRECTION('',(0.,-1.,0.));
#200 = ORIENTED_EDGE('',*,*,#201,.T.);
#201 = EDGE_CURVE('',#193,#63,#202,.T.);
#202 = LINE('',#203,#204);
#203 = CARTESIAN_POINT('',(-2.25,-2.5,0.12));
#204 = VECTOR('',#205,1.);
#205 = DIRECTION('',(0.,0.,1.));
#206 = ORIENTED_EDGE('',*,*,#62,.F.);
#207 = ORIENTED_EDGE('',*,*,#31,.F.);
#208 = CYLINDRICAL_SURFACE('',#209,0.25);
#209 = AXIS2_PLACEMENT_3D('',#210,#211,#212);
#210 = CARTESIAN_POINT('',(-2.25,-2.25,0.12));
#211 = DIRECTION('',(0.,0.,1.));
#212 = DIRECTION('',(-1.,-0.,0.));
#213 = ADVANCED_FACE('',(#214),#233,.T.);
#214 = FACE_BOUND('',#215,.F.);
#215 = EDGE_LOOP('',(#216,#225,#231,#232));
#216 = ORIENTED_EDGE('',*,*,#217,.T.);
#217 = EDGE_CURVE('',#40,#218,#220,.T.);
#218 = VERTEX_POINT('',#219);
#219 = CARTESIAN_POINT('',(-2.25,1.75,0.12));
#220 = CIRCLE('',#221,0.25);
#221 = AXIS2_PLACEMENT_3D('',#222,#223,#224);
#222 = CARTESIAN_POINT('',(-2.25,1.5,0.12));
#223 = DIRECTION('',(-0.,-0.,-1.));
#224 = DIRECTION('',(0.,-1.,0.));
#225 = ORIENTED_EDGE('',*,*,#226,.T.);
#226 = EDGE_CURVE('',#218,#170,#227,.T.);
#227 = LINE('',#228,#229);
#228 = CARTESIAN_POINT('',(-2.25,1.75,0.12));
#229 = VECTOR('',#230,1.);
#230 = DIRECTION('',(0.,0.,1.));
#231 = ORIENTED_EDGE('',*,*,#177,.F.);
#232 = ORIENTED_EDGE('',*,*,#47,.F.);
#233 = CYLINDRICAL_SURFACE('',#234,0.25);
#234 = AXIS2_PLACEMENT_3D('',#235,#236,#237);
#235 = CARTESIAN_POINT('',(-2.25,1.5,0.12));
#236 = DIRECTION('',(0.,0.,1.));
#237 = DIRECTION('',(-1.,-0.,0.));
#238 = ADVANCED_FACE('',(#239),#284,.F.);
#239 = FACE_BOUND('',#240,.F.);
#240 = EDGE_LOOP('',(#241,#242,#243,#251,#260,#268,#277,#283));
#241 = ORIENTED_EDGE('',*,*,#39,.F.);
#242 = ORIENTED_EDGE('',*,*,#192,.T.);
#243 = ORIENTED_EDGE('',*,*,#244,.T.);
#244 = EDGE_CURVE('',#193,#245,#247,.T.);
#245 = VERTEX_POINT('',#246);
#246 = CARTESIAN_POINT('',(7.25,-2.5,0.12));
#247 = LINE('',#248,#249);
#248 = CARTESIAN_POINT('',(-2.5,-2.5,0.12));
#249 = VECTOR('',#250,1.);
#250 = DIRECTION('',(1.,0.,-0.));
#251 = ORIENTED_EDGE('',*,*,#252,.F.);
#252 = EDGE_CURVE('',#253,#245,#255,.T.);
#253 = VERTEX_POINT('',#254);
#254 = CARTESIAN_POINT('',(7.5,-2.25,0.12));
#255 = CIRCLE('',#256,0.25);
#256 = AXIS2_PLACEMENT_3D('',#257,#258,#259);
#257 = CARTESIAN_POINT('',(7.25,-2.25,0.12));
#258 = DIRECTION('',(-0.,-0.,-1.));
#259 = DIRECTION('',(0.,-1.,0.));
#260 = ORIENTED_EDGE('',*,*,#261,.T.);
#261 = EDGE_CURVE('',#253,#262,#264,.T.);
#262 = VERTEX_POINT('',#263);
#263 = CARTESIAN_POINT('',(7.5,1.5,0.12));
#264 = LINE('',#265,#266);
#265 = CARTESIAN_POINT('',(7.5,-2.5,0.12));
#266 = VECTOR('',#267,1.);
#267 = DIRECTION('',(-0.,1.,0.));
#268 = ORIENTED_EDGE('',*,*,#269,.T.);
#269 = EDGE_CURVE('',#262,#270,#272,.T.);
#270 = VERTEX_POINT('',#271);
#271 = CARTESIAN_POINT('',(7.25,1.75,0.12));
#272 = CIRCLE('',#273,0.25);
#273 = AXIS2_PLACEMENT_3D('',#274,#275,#276);
#274 = CARTESIAN_POINT('',(7.25,1.5,0.12));
#275 = DIRECTION('',(0.,0.,1.));
#276 = DIRECTION('',(0.,-1.,0.));
#277 = ORIENTED_EDGE('',*,*,#278,.F.);
#278 = EDGE_CURVE('',#218,#270,#279,.T.);
#279 = LINE('',#280,#281);
#280 = CARTESIAN_POINT('',(-2.5,1.75,0.12));
#281 = VECTOR('',#282,1.);
#282 = DIRECTION('',(1.,0.,-0.));
#283 = ORIENTED_EDGE('',*,*,#217,.F.);
#284 = PLANE('',#285);
#285 = AXIS2_PLACEMENT_3D('',#286,#287,#288);
#286 = CARTESIAN_POINT('',(-2.5,-2.5,0.12));
#287 = DIRECTION('',(0.,0.,1.));
#288 = DIRECTION('',(1.,0.,-0.));
#289 = ADVANCED_FACE('',(#290),#324,.T.);
#290 = FACE_BOUND('',#291,.T.);
#291 = EDGE_LOOP('',(#292,#293,#294,#295,#303,#311,#317,#318));
#292 = ORIENTED_EDGE('',*,*,#278,.F.);
#293 = ORIENTED_EDGE('',*,*,#226,.T.);
#294 = ORIENTED_EDGE('',*,*,#169,.T.);
#295 = ORIENTED_EDGE('',*,*,#296,.T.);
#296 = EDGE_CURVE('',#162,#297,#299,.T.);
#297 = VERTEX_POINT('',#298);
#298 = CARTESIAN_POINT('',(1.25,1.75,2.65));
#299 = LINE('',#300,#301);
#300 = CARTESIAN_POINT('',(1.25,1.75,1.385));
#301 = VECTOR('',#302,1.);
#302 = DIRECTION('',(-0.,0.,-1.));
#303 = ORIENTED_EDGE('',*,*,#304,.T.);
#304 = EDGE_CURVE('',#297,#305,#307,.T.);
#305 = VERTEX_POINT('',#306);
#306 = CARTESIAN_POINT('',(3.75,1.75,2.65));
#307 = LINE('',#308,#309);
#308 = CARTESIAN_POINT('',(-0.625,1.75,2.65));
#309 = VECTOR('',#310,1.);
#310 = DIRECTION('',(1.,0.,-0.));
#311 = ORIENTED_EDGE('',*,*,#312,.F.);
#312 = EDGE_CURVE('',#106,#305,#313,.T.);
#313 = LINE('',#314,#315);
#314 = CARTESIAN_POINT('',(3.75,1.75,1.385));
#315 = VECTOR('',#316,1.);
#316 = DIRECTION('',(-0.,0.,-1.));
#317 = ORIENTED_EDGE('',*,*,#105,.T.);
#318 = ORIENTED_EDGE('',*,*,#319,.F.);
#319 = EDGE_CURVE('',#270,#97,#320,.T.);
#320 = LINE('',#321,#322);
#321 = CARTESIAN_POINT('',(7.25,1.75,0.12));
#322 = VECTOR('',#323,1.);
#323 = DIRECTION('',(0.,0.,1.));
#324 = PLANE('',#325);
#325 = AXIS2_PLACEMENT_3D('',#326,#327,#328);
#326 = CARTESIAN_POINT('',(-2.5,1.75,0.12));
#327 = DIRECTION('',(-0.,1.,0.));
#328 = DIRECTION('',(0.,0.,1.));
#329 = ADVANCED_FACE('',(#330),#348,.T.);
#330 = FACE_BOUND('',#331,.T.);
#331 = EDGE_LOOP('',(#332,#333,#341,#347));
#332 = ORIENTED_EDGE('',*,*,#161,.F.);
#333 = ORIENTED_EDGE('',*,*,#334,.T.);
#334 = EDGE_CURVE('',#154,#335,#337,.T.);
#335 = VERTEX_POINT('',#336);
#336 = CARTESIAN_POINT('',(1.25,0.95,2.65));
#337 = LINE('',#338,#339);
#338 = CARTESIAN_POINT('',(1.25,0.95,1.825));
#339 = VECTOR('',#340,1.);
#340 = DIRECTION('',(-0.,0.,-1.));
#341 = ORIENTED_EDGE('',*,*,#342,.T.);
#342 = EDGE_CURVE('',#335,#297,#343,.T.);
#343 = LINE('',#344,#345);
#344 = CARTESIAN_POINT('',(1.25,0.85,2.65));
#345 = VECTOR('',#346,1.);
#346 = DIRECTION('',(-0.,1.,0.));
#347 = ORIENTED_EDGE('',*,*,#296,.F.);
#348 = PLANE('',#349);
#349 = AXIS2_PLACEMENT_3D('',#350,#351,#352);
#350 = CARTESIAN_POINT('',(1.25,0.85,2.65));
#351 = DIRECTION('',(1.,0.,-0.));
#352 = DIRECTION('',(0.,0.,1.));
#353 = ADVANCED_FACE('',(#354),#395,.F.);
#354 = FACE_BOUND('',#355,.F.);
#355 = EDGE_LOOP('',(#356,#364,#372,#378,#379,#380,#388,#394));
#356 = ORIENTED_EDGE('',*,*,#357,.F.);
#357 = EDGE_CURVE('',#358,#122,#360,.T.);
#358 = VERTEX_POINT('',#359);
#359 = CARTESIAN_POINT('',(6.7,0.95,1.));
#360 = LINE('',#361,#362);
#361 = CARTESIAN_POINT('',(6.7,0.95,1.));
#362 = VECTOR('',#363,1.);
#363 = DIRECTION('',(0.,0.,1.));
#364 = ORIENTED_EDGE('',*,*,#365,.F.);
#365 = EDGE_CURVE('',#366,#358,#368,.T.);
#366 = VERTEX_POINT('',#367);
#367 = CARTESIAN_POINT('',(-1.7,0.95,1.));
#368 = LINE('',#369,#370);
#369 = CARTESIAN_POINT('',(-1.7,0.95,1.));
#370 = VECTOR('',#371,1.);
#371 = DIRECTION('',(1.,0.,-0.));
#372 = ORIENTED_EDGE('',*,*,#373,.T.);
#373 = EDGE_CURVE('',#366,#146,#374,.T.);
#374 = LINE('',#375,#376);
#375 = CARTESIAN_POINT('',(-1.7,0.95,1.));
#376 = VECTOR('',#377,1.);
#377 = DIRECTION('',(0.,0.,1.));
#378 = ORIENTED_EDGE('',*,*,#153,.T.);
#379 = ORIENTED_EDGE('',*,*,#334,.T.);
#380 = ORIENTED_EDGE('',*,*,#381,.T.);
#381 = EDGE_CURVE('',#335,#382,#384,.T.);
#382 = VERTEX_POINT('',#383);
#383 = CARTESIAN_POINT('',(3.75,0.95,2.65));
#384 = LINE('',#385,#386);
#385 = CARTESIAN_POINT('',(-0.225,0.95,2.65));
#386 = VECTOR('',#387,1.);
#387 = DIRECTION('',(1.,0.,-0.));
#388 = ORIENTED_EDGE('',*,*,#389,.F.);
#389 = EDGE_CURVE('',#114,#382,#390,.T.);
#390 = LINE('',#391,#392);
#391 = CARTESIAN_POINT('',(3.75,0.95,1.825));
#392 = VECTOR('',#393,1.);
#393 = DIRECTION('',(-0.,0.,-1.));
#394 = ORIENTED_EDGE('',*,*,#121,.T.);
#395 = PLANE('',#396);
#396 = AXIS2_PLACEMENT_3D('',#397,#398,#399);
#397 = CARTESIAN_POINT('',(-1.7,0.95,1.));
#398 = DIRECTION('',(-0.,1.,0.));
#399 = DIRECTION('',(0.,0.,1.));
#400 = ADVANCED_FACE('',(#401),#419,.T.);
#401 = FACE_BOUND('',#402,.T.);
#402 = EDGE_LOOP('',(#403,#411,#417,#418));
#403 = ORIENTED_EDGE('',*,*,#404,.F.);
#404 = EDGE_CURVE('',#405,#138,#407,.T.);
#405 = VERTEX_POINT('',#406);
#406 = CARTESIAN_POINT('',(-1.7,-1.7,1.));
#407 = LINE('',#408,#409);
#408 = CARTESIAN_POINT('',(-1.7,-1.7,1.));
#409 = VECTOR('',#410,1.);
#410 = DIRECTION('',(0.,0.,1.));
#411 = ORIENTED_EDGE('',*,*,#412,.T.);
#412 = EDGE_CURVE('',#405,#366,#413,.T.);
#413 = LINE('',#414,#415);
#414 = CARTESIAN_POINT('',(-1.7,-1.7,1.));
#415 = VECTOR('',#416,1.);
#416 = DIRECTION('',(-0.,1.,0.));
#417 = ORIENTED_EDGE('',*,*,#373,.T.);
#418 = ORIENTED_EDGE('',*,*,#145,.F.);
#419 = PLANE('',#420);
#420 = AXIS2_PLACEMENT_3D('',#421,#422,#423);
#421 = CARTESIAN_POINT('',(-1.7,-1.7,1.));
#422 = DIRECTION('',(1.,0.,-0.));
#423 = DIRECTION('',(0.,0.,1.));
#424 = ADVANCED_FACE('',(#425),#443,.T.);
#425 = FACE_BOUND('',#426,.T.);
#426 = EDGE_LOOP('',(#427,#435,#436,#437));
#427 = ORIENTED_EDGE('',*,*,#428,.F.);
#428 = EDGE_CURVE('',#405,#429,#431,.T.);
#429 = VERTEX_POINT('',#430);
#430 = CARTESIAN_POINT('',(6.7,-1.7,1.));
#431 = LINE('',#432,#433);
#432 = CARTESIAN_POINT('',(-1.7,-1.7,1.));
#433 = VECTOR('',#434,1.);
#434 = DIRECTION('',(1.,0.,-0.));
#435 = ORIENTED_EDGE('',*,*,#404,.T.);
#436 = ORIENTED_EDGE('',*,*,#137,.T.);
#437 = ORIENTED_EDGE('',*,*,#438,.F.);
#438 = EDGE_CURVE('',#429,#130,#439,.T.);
#439 = LINE('',#440,#441);
#440 = CARTESIAN_POINT('',(6.7,-1.7,1.));
#441 = VECTOR('',#442,1.);
#442 = DIRECTION('',(0.,0.,1.));
#443 = PLANE('',#444);
#444 = AXIS2_PLACEMENT_3D('',#445,#446,#447);
#445 = CARTESIAN_POINT('',(-1.7,-1.7,1.));
#446 = DIRECTION('',(-0.,1.,0.));
#447 = DIRECTION('',(0.,0.,1.));
#448 = ADVANCED_FACE('',(#449),#460,.F.);
#449 = FACE_BOUND('',#450,.F.);
#450 = EDGE_LOOP('',(#451,#452,#458,#459));
#451 = ORIENTED_EDGE('',*,*,#438,.F.);
#452 = ORIENTED_EDGE('',*,*,#453,.T.);
#453 = EDGE_CURVE('',#429,#358,#454,.T.);
#454 = LINE('',#455,#456);
#455 = CARTESIAN_POINT('',(6.7,-1.7,1.));
#456 = VECTOR('',#457,1.);
#457 = DIRECTION('',(-0.,1.,0.));
#458 = ORIENTED_EDGE('',*,*,#357,.T.);
#459 = ORIENTED_EDGE('',*,*,#129,.F.);
#460 = PLANE('',#461);
#461 = AXIS2_PLACEMENT_3D('',#462,#463,#464);
#462 = CARTESIAN_POINT('',(6.7,-1.7,1.));
#463 = DIRECTION('',(1.,0.,-0.));
#464 = DIRECTION('',(0.,0.,1.));
#465 = ADVANCED_FACE('',(#466),#477,.F.);
#466 = FACE_BOUND('',#467,.F.);
#467 = EDGE_LOOP('',(#468,#469,#470,#476));
#468 = ORIENTED_EDGE('',*,*,#113,.F.);
#469 = ORIENTED_EDGE('',*,*,#389,.T.);
#470 = ORIENTED_EDGE('',*,*,#471,.T.);
#471 = EDGE_CURVE('',#382,#305,#472,.T.);
#472 = LINE('',#473,#474);
#473 = CARTESIAN_POINT('',(3.75,0.85,2.65));
#474 = VECTOR('',#475,1.);
#475 = DIRECTION('',(-0.,1.,0.));
#476 = ORIENTED_EDGE('',*,*,#312,.F.);
#477 = PLANE('',#478);
#478 = AXIS2_PLACEMENT_3D('',#479,#480,#481);
#479 = CARTESIAN_POINT('',(3.75,0.85,2.65));
#480 = DIRECTION('',(1.,0.,-0.));
#481 = DIRECTION('',(0.,0.,1.));
#482 = ADVANCED_FACE('',(#483),#494,.T.);
#483 = FACE_BOUND('',#484,.T.);
#484 = EDGE_LOOP('',(#485,#486,#487,#488));
#485 = ORIENTED_EDGE('',*,*,#269,.T.);
#486 = ORIENTED_EDGE('',*,*,#319,.T.);
#487 = ORIENTED_EDGE('',*,*,#96,.F.);
#488 = ORIENTED_EDGE('',*,*,#489,.F.);
#489 = EDGE_CURVE('',#262,#89,#490,.T.);
#490 = LINE('',#491,#492);
#491 = CARTESIAN_POINT('',(7.5,1.5,0.12));
#492 = VECTOR('',#493,1.);
#493 = DIRECTION('',(0.,0.,1.));
#494 = CYLINDRICAL_SURFACE('',#495,0.25);
#495 = AXIS2_PLACEMENT_3D('',#496,#497,#498);
#496 = CARTESIAN_POINT('',(7.25,1.5,0.12));
#497 = DIRECTION('',(0.,0.,1.));
#498 = DIRECTION('',(1.,0.,-0.));
#499 = ADVANCED_FACE('',(#500),#511,.T.);
#500 = FACE_BOUND('',#501,.T.);
#501 = EDGE_LOOP('',(#502,#503,#509,#510));
#502 = ORIENTED_EDGE('',*,*,#88,.F.);
#503 = ORIENTED_EDGE('',*,*,#504,.F.);
#504 = EDGE_CURVE('',#253,#80,#505,.T.);
#505 = LINE('',#506,#507);
#506 = CARTESIAN_POINT('',(7.5,-2.25,0.12));
#507 = VECTOR('',#508,1.);
#508 = DIRECTION('',(0.,0.,1.));
#509 = ORIENTED_EDGE('',*,*,#261,.T.);
#510 = ORIENTED_EDGE('',*,*,#489,.T.);
#511 = PLANE('',#512);
#512 = AXIS2_PLACEMENT_3D('',#513,#514,#515);
#513 = CARTESIAN_POINT('',(7.5,-2.5,0.12));
#514 = DIRECTION('',(1.,0.,-0.));
#515 = DIRECTION('',(0.,0.,1.));
#516 = ADVANCED_FACE('',(#517),#528,.T.);
#517 = FACE_BOUND('',#518,.F.);
#518 = EDGE_LOOP('',(#519,#520,#526,#527));
#519 = ORIENTED_EDGE('',*,*,#252,.T.);
#520 = ORIENTED_EDGE('',*,*,#521,.T.);
#521 = EDGE_CURVE('',#245,#72,#522,.T.);
#522 = LINE('',#523,#524);
#523 = CARTESIAN_POINT('',(7.25,-2.5,0.12));
#524 = VECTOR('',#525,1.);
#525 = DIRECTION('',(0.,0.,1.));
#526 = ORIENTED_EDGE('',*,*,#79,.F.);
#527 = ORIENTED_EDGE('',*,*,#504,.F.);
#528 = CYLINDRICAL_SURFACE('',#529,0.25);
#529 = AXIS2_PLACEMENT_3D('',#530,#531,#532);
#530 = CARTESIAN_POINT('',(7.25,-2.25,0.12));
#531 = DIRECTION('',(0.,0.,1.));
#532 = DIRECTION('',(1.,0.,-0.));
#533 = ADVANCED_FACE('',(#534),#540,.F.);
#534 = FACE_BOUND('',#535,.F.);
#535 = EDGE_LOOP('',(#536,#537,#538,#539));
#536 = ORIENTED_EDGE('',*,*,#244,.F.);
#537 = ORIENTED_EDGE('',*,*,#201,.T.);
#538 = ORIENTED_EDGE('',*,*,#71,.T.);
#539 = ORIENTED_EDGE('',*,*,#521,.F.);
#540 = PLANE('',#541);
#541 = AXIS2_PLACEMENT_3D('',#542,#543,#544);
#542 = CARTESIAN_POINT('',(-2.5,-2.5,0.12));
#543 = DIRECTION('',(-0.,1.,0.));
#544 = DIRECTION('',(0.,0.,1.));
#545 = ADVANCED_FACE('',(#546),#552,.T.);
#546 = FACE_BOUND('',#547,.T.);
#547 = EDGE_LOOP('',(#548,#549,#550,#551));
#548 = ORIENTED_EDGE('',*,*,#342,.F.);
#549 = ORIENTED_EDGE('',*,*,#381,.T.);
#550 = ORIENTED_EDGE('',*,*,#471,.T.);
#551 = ORIENTED_EDGE('',*,*,#304,.F.);
#552 = PLANE('',#553);
#553 = AXIS2_PLACEMENT_3D('',#554,#555,#556);
#554 = CARTESIAN_POINT('',(1.25,0.85,2.65));
#555 = DIRECTION('',(0.,0.,1.));
#556 = DIRECTION('',(1.,0.,-0.));
#557 = ADVANCED_FACE('',(#558),#564,.T.);
#558 = FACE_BOUND('',#559,.T.);
#559 = EDGE_LOOP('',(#560,#561,#562,#563));
#560 = ORIENTED_EDGE('',*,*,#412,.F.);
#561 = ORIENTED_EDGE('',*,*,#428,.T.);
#562 = ORIENTED_EDGE('',*,*,#453,.T.);
#563 = ORIENTED_EDGE('',*,*,#365,.F.);
#564 = PLANE('',#565);
#565 = AXIS2_PLACEMENT_3D('',#566,#567,#568);
#566 = CARTESIAN_POINT('',(-1.7,-1.7,1.));
#567 = DIRECTION('',(0.,0.,1.));
#568 = DIRECTION('',(1.,0.,-0.));
#569 = MANIFOLD_SOLID_BREP('',#570);
#570 = CLOSED_SHELL('',(#571,#611,#642,#673,#704,#721,#752,#769,#793,
    #824,#848,#879,#896,#913,#930,#954,#978,#995));
#571 = ADVANCED_FACE('',(#572),#606,.F.);
#572 = FACE_BOUND('',#573,.F.);
#573 = EDGE_LOOP('',(#574,#584,#592,#600));
#574 = ORIENTED_EDGE('',*,*,#575,.F.);
#575 = EDGE_CURVE('',#576,#578,#580,.T.);
#576 = VERTEX_POINT('',#577);
#577 = CARTESIAN_POINT('',(4.85,1.15,0.15));
#578 = VERTEX_POINT('',#579);
#579 = CARTESIAN_POINT('',(4.85,1.7,0.15));
#580 = LINE('',#581,#582);
#581 = CARTESIAN_POINT('',(4.85,1.15,0.15));
#582 = VECTOR('',#583,1.);
#583 = DIRECTION('',(-0.,1.,0.));
#584 = ORIENTED_EDGE('',*,*,#585,.F.);
#585 = EDGE_CURVE('',#586,#576,#588,.T.);
#586 = VERTEX_POINT('',#587);
#587 = CARTESIAN_POINT('',(4.85,1.15,0.));
#588 = LINE('',#589,#590);
#589 = CARTESIAN_POINT('',(4.85,1.15,0.));
#590 = VECTOR('',#591,1.);
#591 = DIRECTION('',(0.,0.,1.));
#592 = ORIENTED_EDGE('',*,*,#593,.T.);
#593 = EDGE_CURVE('',#586,#594,#596,.T.);
#594 = VERTEX_POINT('',#595);
#595 = CARTESIAN_POINT('',(4.85,1.7,0.));
#596 = LINE('',#597,#598);
#597 = CARTESIAN_POINT('',(4.85,1.15,0.));
#598 = VECTOR('',#599,1.);
#599 = DIRECTION('',(-0.,1.,0.));
#600 = ORIENTED_EDGE('',*,*,#601,.T.);
#601 = EDGE_CURVE('',#594,#578,#602,.T.);
#602 = LINE('',#603,#604);
#603 = CARTESIAN_POINT('',(4.85,1.7,0.));
#604 = VECTOR('',#605,1.);
#605 = DIRECTION('',(0.,0.,1.));
#606 = PLANE('',#607);
#607 = AXIS2_PLACEMENT_3D('',#608,#609,#610);
#608 = CARTESIAN_POINT('',(4.85,1.15,0.));
#609 = DIRECTION('',(1.,0.,-0.));
#610 = DIRECTION('',(0.,0.,1.));
#611 = ADVANCED_FACE('',(#612),#637,.T.);
#612 = FACE_BOUND('',#613,.T.);
#613 = EDGE_LOOP('',(#614,#615,#623,#631));
#614 = ORIENTED_EDGE('',*,*,#575,.F.);
#615 = ORIENTED_EDGE('',*,*,#616,.T.);
#616 = EDGE_CURVE('',#576,#617,#619,.T.);
#617 = VERTEX_POINT('',#618);
#618 = CARTESIAN_POINT('',(5.15,1.15,0.15));
#619 = LINE('',#620,#621);
#620 = CARTESIAN_POINT('',(4.85,1.15,0.15));
#621 = VECTOR('',#622,1.);
#622 = DIRECTION('',(1.,0.,-0.));
#623 = ORIENTED_EDGE('',*,*,#624,.T.);
#624 = EDGE_CURVE('',#617,#625,#627,.T.);
#625 = VERTEX_POINT('',#626);
#626 = CARTESIAN_POINT('',(5.15,1.7,0.15));
#627 = LINE('',#628,#629);
#628 = CARTESIAN_POINT('',(5.15,1.15,0.15));
#629 = VECTOR('',#630,1.);
#630 = DIRECTION('',(-0.,1.,0.));
#631 = ORIENTED_EDGE('',*,*,#632,.T.);
#632 = EDGE_CURVE('',#625,#578,#633,.T.);
#633 = LINE('',#634,#635);
#634 = CARTESIAN_POINT('',(4.85,1.7,0.15));
#635 = VECTOR('',#636,1.);
#636 = DIRECTION('',(-1.,-0.,0.));
#637 = PLANE('',#638);
#638 = AXIS2_PLACEMENT_3D('',#639,#640,#641);
#639 = CARTESIAN_POINT('',(4.85,1.15,0.15));
#640 = DIRECTION('',(0.,0.,1.));
#641 = DIRECTION('',(1.,0.,-0.));
#642 = ADVANCED_FACE('',(#643),#668,.F.);
#643 = FACE_BOUND('',#644,.F.);
#644 = EDGE_LOOP('',(#645,#653,#654,#662));
#645 = ORIENTED_EDGE('',*,*,#646,.F.);
#646 = EDGE_CURVE('',#578,#647,#649,.T.);
#647 = VERTEX_POINT('',#648);
#648 = CARTESIAN_POINT('',(4.85,1.9,0.15));
#649 = LINE('',#650,#651);
#650 = CARTESIAN_POINT('',(4.85,1.15,0.15));
#651 = VECTOR('',#652,1.);
#652 = DIRECTION('',(-0.,1.,0.));
#653 = ORIENTED_EDGE('',*,*,#601,.F.);
#654 = ORIENTED_EDGE('',*,*,#655,.T.);
#655 = EDGE_CURVE('',#594,#656,#658,.T.);
#656 = VERTEX_POINT('',#657);
#657 = CARTESIAN_POINT('',(4.85,1.9,0.));
#658 = LINE('',#659,#660);
#659 = CARTESIAN_POINT('',(4.85,1.15,0.));
#660 = VECTOR('',#661,1.);
#661 = DIRECTION('',(-0.,1.,0.));
#662 = ORIENTED_EDGE('',*,*,#663,.T.);
#663 = EDGE_CURVE('',#656,#647,#664,.T.);
#664 = LINE('',#665,#666);
#665 = CARTESIAN_POINT('',(4.85,1.9,0.));
#666 = VECTOR('',#667,1.);
#667 = DIRECTION('',(0.,0.,1.));
#668 = PLANE('',#669);
#669 = AXIS2_PLACEMENT_3D('',#670,#671,#672);
#670 = CARTESIAN_POINT('',(4.85,1.15,0.));
#671 = DIRECTION('',(1.,0.,-0.));
#672 = DIRECTION('',(0.,0.,1.));
#673 = ADVANCED_FACE('',(#674),#699,.F.);
#674 = FACE_BOUND('',#675,.F.);
#675 = EDGE_LOOP('',(#676,#677,#685,#693));
#676 = ORIENTED_EDGE('',*,*,#593,.F.);
#677 = ORIENTED_EDGE('',*,*,#678,.T.);
#678 = EDGE_CURVE('',#586,#679,#681,.T.);
#679 = VERTEX_POINT('',#680);
#680 = CARTESIAN_POINT('',(5.15,1.15,0.));
#681 = LINE('',#682,#683);
#682 = CARTESIAN_POINT('',(4.85,1.15,0.));
#683 = VECTOR('',#684,1.);
#684 = DIRECTION('',(1.,0.,-0.));
#685 = ORIENTED_EDGE('',*,*,#686,.T.);
#686 = EDGE_CURVE('',#679,#687,#689,.T.);
#687 = VERTEX_POINT('',#688);
#688 = CARTESIAN_POINT('',(5.15,1.7,0.));
#689 = LINE('',#690,#691);
#690 = CARTESIAN_POINT('',(5.15,1.15,0.));
#691 = VECTOR('',#692,1.);
#692 = DIRECTION('',(-0.,1.,0.));
#693 = ORIENTED_EDGE('',*,*,#694,.F.);
#694 = EDGE_CURVE('',#594,#687,#695,.T.);
#695 = LINE('',#696,#697);
#696 = CARTESIAN_POINT('',(4.85,1.7,0.));
#697 = VECTOR('',#698,1.);
#698 = DIRECTION('',(1.,0.,-0.));
#699 = PLANE('',#700);
#700 = AXIS2_PLACEMENT_3D('',#701,#702,#703);
#701 = CARTESIAN_POINT('',(4.85,1.15,0.));
#702 = DIRECTION('',(0.,0.,1.));
#703 = DIRECTION('',(1.,0.,-0.));
#704 = ADVANCED_FACE('',(#705),#716,.F.);
#705 = FACE_BOUND('',#706,.F.);
#706 = EDGE_LOOP('',(#707,#708,#709,#710));
#707 = ORIENTED_EDGE('',*,*,#678,.F.);
#708 = ORIENTED_EDGE('',*,*,#585,.T.);
#709 = ORIENTED_EDGE('',*,*,#616,.T.);
#710 = ORIENTED_EDGE('',*,*,#711,.F.);
#711 = EDGE_CURVE('',#679,#617,#712,.T.);
#712 = LINE('',#713,#714);
#713 = CARTESIAN_POINT('',(5.15,1.15,0.));
#714 = VECTOR('',#715,1.);
#715 = DIRECTION('',(0.,0.,1.));
#716 = PLANE('',#717);
#717 = AXIS2_PLACEMENT_3D('',#718,#719,#720);
#718 = CARTESIAN_POINT('',(4.85,1.15,0.));
#719 = DIRECTION('',(-0.,1.,0.));
#720 = DIRECTION('',(0.,0.,1.));
#721 = ADVANCED_FACE('',(#722),#747,.F.);
#722 = FACE_BOUND('',#723,.F.);
#723 = EDGE_LOOP('',(#724,#725,#733,#741));
#724 = ORIENTED_EDGE('',*,*,#632,.T.);
#725 = ORIENTED_EDGE('',*,*,#726,.T.);
#726 = EDGE_CURVE('',#578,#727,#729,.T.);
#727 = VERTEX_POINT('',#728);
#728 = CARTESIAN_POINT('',(4.85,1.7,1.2));
#729 = LINE('',#730,#731);
#730 = CARTESIAN_POINT('',(4.85,1.7,0.));
#731 = VECTOR('',#732,1.);
#732 = DIRECTION('',(0.,0.,1.));
#733 = ORIENTED_EDGE('',*,*,#734,.T.);
#734 = EDGE_CURVE('',#727,#735,#737,.T.);
#735 = VERTEX_POINT('',#736);
#736 = CARTESIAN_POINT('',(5.15,1.7,1.2));
#737 = LINE('',#738,#739);
#738 = CARTESIAN_POINT('',(4.85,1.7,1.2));
#739 = VECTOR('',#740,1.);
#740 = DIRECTION('',(1.,0.,-0.));
#741 = ORIENTED_EDGE('',*,*,#742,.F.);
#742 = EDGE_CURVE('',#625,#735,#743,.T.);
#743 = LINE('',#744,#745);
#744 = CARTESIAN_POINT('',(5.15,1.7,0.));
#745 = VECTOR('',#746,1.);
#746 = DIRECTION('',(0.,0.,1.));
#747 = PLANE('',#748);
#748 = AXIS2_PLACEMENT_3D('',#749,#750,#751);
#749 = CARTESIAN_POINT('',(4.85,1.7,0.));
#750 = DIRECTION('',(-0.,1.,0.));
#751 = DIRECTION('',(0.,0.,1.));
#752 = ADVANCED_FACE('',(#753),#764,.T.);
#753 = FACE_BOUND('',#754,.T.);
#754 = EDGE_LOOP('',(#755,#756,#757,#758));
#755 = ORIENTED_EDGE('',*,*,#624,.F.);
#756 = ORIENTED_EDGE('',*,*,#711,.F.);
#757 = ORIENTED_EDGE('',*,*,#686,.T.);
#758 = ORIENTED_EDGE('',*,*,#759,.T.);
#759 = EDGE_CURVE('',#687,#625,#760,.T.);
#760 = LINE('',#761,#762);
#761 = CARTESIAN_POINT('',(5.15,1.7,0.));
#762 = VECTOR('',#763,1.);
#763 = DIRECTION('',(0.,0.,1.));
#764 = PLANE('',#765);
#765 = AXIS2_PLACEMENT_3D('',#766,#767,#768);
#766 = CARTESIAN_POINT('',(5.15,1.15,0.));
#767 = DIRECTION('',(1.,0.,-0.));
#768 = DIRECTION('',(0.,0.,1.));
#769 = ADVANCED_FACE('',(#770),#788,.F.);
#770 = FACE_BOUND('',#771,.F.);
#771 = EDGE_LOOP('',(#772,#773,#774,#782));
#772 = ORIENTED_EDGE('',*,*,#726,.F.);
#773 = ORIENTED_EDGE('',*,*,#646,.T.);
#774 = ORIENTED_EDGE('',*,*,#775,.T.);
#775 = EDGE_CURVE('',#647,#776,#778,.T.);
#776 = VERTEX_POINT('',#777);
#777 = CARTESIAN_POINT('',(4.85,1.9,1.2));
#778 = LINE('',#779,#780);
#779 = CARTESIAN_POINT('',(4.85,1.9,0.));
#780 = VECTOR('',#781,1.);
#781 = DIRECTION('',(0.,0.,1.));
#782 = ORIENTED_EDGE('',*,*,#783,.F.);
#783 = EDGE_CURVE('',#727,#776,#784,.T.);
#784 = LINE('',#785,#786);
#785 = CARTESIAN_POINT('',(4.85,1.7,1.2));
#786 = VECTOR('',#787,1.);
#787 = DIRECTION('',(-0.,1.,0.));
#788 = PLANE('',#789);
#789 = AXIS2_PLACEMENT_3D('',#790,#791,#792);
#790 = CARTESIAN_POINT('',(4.85,1.7,0.));
#791 = DIRECTION('',(1.,0.,-0.));
#792 = DIRECTION('',(0.,0.,1.));
#793 = ADVANCED_FACE('',(#794),#819,.F.);
#794 = FACE_BOUND('',#795,.F.);
#795 = EDGE_LOOP('',(#796,#804,#805,#813));
#796 = ORIENTED_EDGE('',*,*,#797,.F.);
#797 = EDGE_CURVE('',#647,#798,#800,.T.);
#798 = VERTEX_POINT('',#799);
#799 = CARTESIAN_POINT('',(4.85,2.8,0.15));
#800 = LINE('',#801,#802);
#801 = CARTESIAN_POINT('',(4.85,1.15,0.15));
#802 = VECTOR('',#803,1.);
#803 = DIRECTION('',(-0.,1.,0.));
#804 = ORIENTED_EDGE('',*,*,#663,.F.);
#805 = ORIENTED_EDGE('',*,*,#806,.T.);
#806 = EDGE_CURVE('',#656,#807,#809,.T.);
#807 = VERTEX_POINT('',#808);
#808 = CARTESIAN_POINT('',(4.85,2.8,0.));
#809 = LINE('',#810,#811);
#810 = CARTESIAN_POINT('',(4.85,1.15,0.));
#811 = VECTOR('',#812,1.);
#812 = DIRECTION('',(-0.,1.,0.));
#813 = ORIENTED_EDGE('',*,*,#814,.T.);
#814 = EDGE_CURVE('',#807,#798,#815,.T.);
#815 = LINE('',#816,#817);
#816 = CARTESIAN_POINT('',(4.85,2.8,0.));
#817 = VECTOR('',#818,1.);
#818 = DIRECTION('',(0.,0.,1.));
#819 = PLANE('',#820);
#820 = AXIS2_PLACEMENT_3D('',#821,#822,#823);
#821 = CARTESIAN_POINT('',(4.85,1.15,0.));
#822 = DIRECTION('',(1.,0.,-0.));
#823 = DIRECTION('',(0.,0.,1.));
#824 = ADVANCED_FACE('',(#825),#843,.F.);
#825 = FACE_BOUND('',#826,.F.);
#826 = EDGE_LOOP('',(#827,#828,#829,#837));
#827 = ORIENTED_EDGE('',*,*,#655,.F.);
#828 = ORIENTED_EDGE('',*,*,#694,.T.);
#829 = ORIENTED_EDGE('',*,*,#830,.T.);
#830 = EDGE_CURVE('',#687,#831,#833,.T.);
#831 = VERTEX_POINT('',#832);
#832 = CARTESIAN_POINT('',(5.15,1.9,0.));
#833 = LINE('',#834,#835);
#834 = CARTESIAN_POINT('',(5.15,1.15,0.));
#835 = VECTOR('',#836,1.);
#836 = DIRECTION('',(-0.,1.,0.));
#837 = ORIENTED_EDGE('',*,*,#838,.F.);
#838 = EDGE_CURVE('',#656,#831,#839,.T.);
#839 = LINE('',#840,#841);
#840 = CARTESIAN_POINT('',(4.85,1.9,0.));
#841 = VECTOR('',#842,1.);
#842 = DIRECTION('',(1.,0.,-0.));
#843 = PLANE('',#844);
#844 = AXIS2_PLACEMENT_3D('',#845,#846,#847);
#845 = CARTESIAN_POINT('',(4.85,1.15,0.));
#846 = DIRECTION('',(0.,0.,1.));
#847 = DIRECTION('',(1.,0.,-0.));
#848 = ADVANCED_FACE('',(#849),#874,.T.);
#849 = FACE_BOUND('',#850,.T.);
#850 = EDGE_LOOP('',(#851,#852,#860,#868));
#851 = ORIENTED_EDGE('',*,*,#742,.F.);
#852 = ORIENTED_EDGE('',*,*,#853,.T.);
#853 = EDGE_CURVE('',#625,#854,#856,.T.);
#854 = VERTEX_POINT('',#855);
#855 = CARTESIAN_POINT('',(5.15,1.9,0.15));
#856 = LINE('',#857,#858);
#857 = CARTESIAN_POINT('',(5.15,1.15,0.15));
#858 = VECTOR('',#859,1.);
#859 = DIRECTION('',(-0.,1.,0.));
#860 = ORIENTED_EDGE('',*,*,#861,.T.);
#861 = EDGE_CURVE('',#854,#862,#864,.T.);
#862 = VERTEX_POINT('',#863);
#863 = CARTESIAN_POINT('',(5.15,1.9,1.2));
#864 = LINE('',#865,#866);
#865 = CARTESIAN_POINT('',(5.15,1.9,0.));
#866 = VECTOR('',#867,1.);
#867 = DIRECTION('',(0.,0.,1.));
#868 = ORIENTED_EDGE('',*,*,#869,.F.);
#869 = EDGE_CURVE('',#735,#862,#870,.T.);
#870 = LINE('',#871,#872);
#871 = CARTESIAN_POINT('',(5.15,1.7,1.2));
#872 = VECTOR('',#873,1.);
#873 = DIRECTION('',(-0.,1.,0.));
#874 = PLANE('',#875);
#875 = AXIS2_PLACEMENT_3D('',#876,#877,#878);
#876 = CARTESIAN_POINT('',(5.15,1.7,0.));
#877 = DIRECTION('',(1.,0.,-0.));
#878 = DIRECTION('',(0.,0.,1.));
#879 = ADVANCED_FACE('',(#880),#891,.T.);
#880 = FACE_BOUND('',#881,.T.);
#881 = EDGE_LOOP('',(#882,#883,#884,#885));
#882 = ORIENTED_EDGE('',*,*,#783,.F.);
#883 = ORIENTED_EDGE('',*,*,#734,.T.);
#884 = ORIENTED_EDGE('',*,*,#869,.T.);
#885 = ORIENTED_EDGE('',*,*,#886,.F.);
#886 = EDGE_CURVE('',#776,#862,#887,.T.);
#887 = LINE('',#888,#889);
#888 = CARTESIAN_POINT('',(4.85,1.9,1.2));
#889 = VECTOR('',#890,1.);
#890 = DIRECTION('',(1.,0.,-0.));
#891 = PLANE('',#892);
#892 = AXIS2_PLACEMENT_3D('',#893,#894,#895);
#893 = CARTESIAN_POINT('',(4.85,1.7,1.2));
#894 = DIRECTION('',(0.,0.,1.));
#895 = DIRECTION('',(1.,0.,-0.));
#896 = ADVANCED_FACE('',(#897),#908,.T.);
#897 = FACE_BOUND('',#898,.T.);
#898 = EDGE_LOOP('',(#899,#900,#901,#902));
#899 = ORIENTED_EDGE('',*,*,#853,.F.);
#900 = ORIENTED_EDGE('',*,*,#759,.F.);
#901 = ORIENTED_EDGE('',*,*,#830,.T.);
#902 = ORIENTED_EDGE('',*,*,#903,.T.);
#903 = EDGE_CURVE('',#831,#854,#904,.T.);
#904 = LINE('',#905,#906);
#905 = CARTESIAN_POINT('',(5.15,1.9,0.));
#906 = VECTOR('',#907,1.);
#907 = DIRECTION('',(0.,0.,1.));
#908 = PLANE('',#909);
#909 = AXIS2_PLACEMENT_3D('',#910,#911,#912);
#910 = CARTESIAN_POINT('',(5.15,1.15,0.));
#911 = DIRECTION('',(1.,0.,-0.));
#912 = DIRECTION('',(0.,0.,1.));
#913 = ADVANCED_FACE('',(#914),#925,.T.);
#914 = FACE_BOUND('',#915,.T.);
#915 = EDGE_LOOP('',(#916,#922,#923,#924));
#916 = ORIENTED_EDGE('',*,*,#917,.T.);
#917 = EDGE_CURVE('',#854,#647,#918,.T.);
#918 = LINE('',#919,#920);
#919 = CARTESIAN_POINT('',(4.85,1.9,0.15));
#920 = VECTOR('',#921,1.);
#921 = DIRECTION('',(-1.,-0.,0.));
#922 = ORIENTED_EDGE('',*,*,#775,.T.);
#923 = ORIENTED_EDGE('',*,*,#886,.T.);
#924 = ORIENTED_EDGE('',*,*,#861,.F.);
#925 = PLANE('',#926);
#926 = AXIS2_PLACEMENT_3D('',#927,#928,#929);
#927 = CARTESIAN_POINT('',(4.85,1.9,0.));
#928 = DIRECTION('',(-0.,1.,0.));
#929 = DIRECTION('',(0.,0.,1.));
#930 = ADVANCED_FACE('',(#931),#949,.T.);
#931 = FACE_BOUND('',#932,.T.);
#932 = EDGE_LOOP('',(#933,#934,#935,#943));
#933 = ORIENTED_EDGE('',*,*,#797,.F.);
#934 = ORIENTED_EDGE('',*,*,#917,.F.);
#935 = ORIENTED_EDGE('',*,*,#936,.T.);
#936 = EDGE_CURVE('',#854,#937,#939,.T.);
#937 = VERTEX_POINT('',#938);
#938 = CARTESIAN_POINT('',(5.15,2.8,0.15));
#939 = LINE('',#940,#941);
#940 = CARTESIAN_POINT('',(5.15,1.15,0.15));
#941 = VECTOR('',#942,1.);
#942 = DIRECTION('',(-0.,1.,0.));
#943 = ORIENTED_EDGE('',*,*,#944,.F.);
#944 = EDGE_CURVE('',#798,#937,#945,.T.);
#945 = LINE('',#946,#947);
#946 = CARTESIAN_POINT('',(4.85,2.8,0.15));
#947 = VECTOR('',#948,1.);
#948 = DIRECTION('',(1.,0.,-0.));
#949 = PLANE('',#950);
#950 = AXIS2_PLACEMENT_3D('',#951,#952,#953);
#951 = CARTESIAN_POINT('',(4.85,1.15,0.15));
#952 = DIRECTION('',(0.,0.,1.));
#953 = DIRECTION('',(1.,0.,-0.));
#954 = ADVANCED_FACE('',(#955),#973,.T.);
#955 = FACE_BOUND('',#956,.T.);
#956 = EDGE_LOOP('',(#957,#965,#966,#967));
#957 = ORIENTED_EDGE('',*,*,#958,.F.);
#958 = EDGE_CURVE('',#807,#959,#961,.T.);
#959 = VERTEX_POINT('',#960);
#960 = CARTESIAN_POINT('',(5.15,2.8,0.));
#961 = LINE('',#962,#963);
#962 = CARTESIAN_POINT('',(4.85,2.8,0.));
#963 = VECTOR('',#964,1.);
#964 = DIRECTION('',(1.,0.,-0.));
#965 = ORIENTED_EDGE('',*,*,#814,.T.);
#966 = ORIENTED_EDGE('',*,*,#944,.T.);
#967 = ORIENTED_EDGE('',*,*,#968,.F.);
#968 = EDGE_CURVE('',#959,#937,#969,.T.);
#969 = LINE('',#970,#971);
#970 = CARTESIAN_POINT('',(5.15,2.8,0.));
#971 = VECTOR('',#972,1.);
#972 = DIRECTION('',(0.,0.,1.));
#973 = PLANE('',#974);
#974 = AXIS2_PLACEMENT_3D('',#975,#976,#977);
#975 = CARTESIAN_POINT('',(4.85,2.8,0.));
#976 = DIRECTION('',(-0.,1.,0.));
#977 = DIRECTION('',(0.,0.,1.));
#978 = ADVANCED_FACE('',(#979),#990,.F.);
#979 = FACE_BOUND('',#980,.F.);
#980 = EDGE_LOOP('',(#981,#982,#983,#989));
#981 = ORIENTED_EDGE('',*,*,#806,.F.);
#982 = ORIENTED_EDGE('',*,*,#838,.T.);
#983 = ORIENTED_EDGE('',*,*,#984,.T.);
#984 = EDGE_CURVE('',#831,#959,#985,.T.);
#985 = LINE('',#986,#987);
#986 = CARTESIAN_POINT('',(5.15,1.15,0.));
#987 = VECTOR('',#988,1.);
#988 = DIRECTION('',(-0.,1.,0.));
#989 = ORIENTED_EDGE('',*,*,#958,.F.);
#990 = PLANE('',#991);
#991 = AXIS2_PLACEMENT_3D('',#992,#993,#994);
#992 = CARTESIAN_POINT('',(4.85,1.15,0.));
#993 = DIRECTION('',(0.,0.,1.));
#994 = DIRECTION('',(1.,0.,-0.));
#995 = ADVANCED_FACE('',(#996),#1002,.T.);
#996 = FACE_BOUND('',#997,.T.);
#997 = EDGE_LOOP('',(#998,#999,#1000,#1001));
#998 = ORIENTED_EDGE('',*,*,#936,.F.);
#999 = ORIENTED_EDGE('',*,*,#903,.F.);
#1000 = ORIENTED_EDGE('',*,*,#984,.T.);
#1001 = ORIENTED_EDGE('',*,*,#968,.T.);
#1002 = PLANE('',#1003);
#1003 = AXIS2_PLACEMENT_3D('',#1004,#1005,#1006);
#1004 = CARTESIAN_POINT('',(5.15,1.15,0.));
#1005 = DIRECTION('',(1.,0.,-0.));
#1006 = DIRECTION('',(0.,0.,1.));
#1007 = MANIFOLD_SOLID_BREP('',#1008);
#1008 = CLOSED_SHELL('',(#1009,#1049,#1080,#1111,#1142,#1159,#1190,#1207
    ,#1231,#1262,#1286,#1317,#1334,#1351,#1368,#1392,#1416,#1433));
#1009 = ADVANCED_FACE('',(#1010),#1044,.F.);
#1010 = FACE_BOUND('',#1011,.F.);
#1011 = EDGE_LOOP('',(#1012,#1022,#1030,#1038));
#1012 = ORIENTED_EDGE('',*,*,#1013,.F.);
#1013 = EDGE_CURVE('',#1014,#1016,#1018,.T.);
#1014 = VERTEX_POINT('',#1015);
#1015 = CARTESIAN_POINT('',(3.6,1.15,0.15));
#1016 = VERTEX_POINT('',#1017);
#1017 = CARTESIAN_POINT('',(3.6,1.7,0.15));
#1018 = LINE('',#1019,#1020);
#1019 = CARTESIAN_POINT('',(3.6,1.15,0.15));
#1020 = VECTOR('',#1021,1.);
#1021 = DIRECTION('',(-0.,1.,0.));
#1022 = ORIENTED_EDGE('',*,*,#1023,.F.);
#1023 = EDGE_CURVE('',#1024,#1014,#1026,.T.);
#1024 = VERTEX_POINT('',#1025);
#1025 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1026 = LINE('',#1027,#1028);
#1027 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1028 = VECTOR('',#1029,1.);
#1029 = DIRECTION('',(0.,0.,1.));
#1030 = ORIENTED_EDGE('',*,*,#1031,.T.);
#1031 = EDGE_CURVE('',#1024,#1032,#1034,.T.);
#1032 = VERTEX_POINT('',#1033);
#1033 = CARTESIAN_POINT('',(3.6,1.7,0.));
#1034 = LINE('',#1035,#1036);
#1035 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1036 = VECTOR('',#1037,1.);
#1037 = DIRECTION('',(-0.,1.,0.));
#1038 = ORIENTED_EDGE('',*,*,#1039,.T.);
#1039 = EDGE_CURVE('',#1032,#1016,#1040,.T.);
#1040 = LINE('',#1041,#1042);
#1041 = CARTESIAN_POINT('',(3.6,1.7,0.));
#1042 = VECTOR('',#1043,1.);
#1043 = DIRECTION('',(0.,0.,1.));
#1044 = PLANE('',#1045);
#1045 = AXIS2_PLACEMENT_3D('',#1046,#1047,#1048);
#1046 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1047 = DIRECTION('',(1.,0.,-0.));
#1048 = DIRECTION('',(0.,0.,1.));
#1049 = ADVANCED_FACE('',(#1050),#1075,.T.);
#1050 = FACE_BOUND('',#1051,.T.);
#1051 = EDGE_LOOP('',(#1052,#1053,#1061,#1069));
#1052 = ORIENTED_EDGE('',*,*,#1013,.F.);
#1053 = ORIENTED_EDGE('',*,*,#1054,.T.);
#1054 = EDGE_CURVE('',#1014,#1055,#1057,.T.);
#1055 = VERTEX_POINT('',#1056);
#1056 = CARTESIAN_POINT('',(3.9,1.15,0.15));
#1057 = LINE('',#1058,#1059);
#1058 = CARTESIAN_POINT('',(3.6,1.15,0.15));
#1059 = VECTOR('',#1060,1.);
#1060 = DIRECTION('',(1.,0.,-0.));
#1061 = ORIENTED_EDGE('',*,*,#1062,.T.);
#1062 = EDGE_CURVE('',#1055,#1063,#1065,.T.);
#1063 = VERTEX_POINT('',#1064);
#1064 = CARTESIAN_POINT('',(3.9,1.7,0.15));
#1065 = LINE('',#1066,#1067);
#1066 = CARTESIAN_POINT('',(3.9,1.15,0.15));
#1067 = VECTOR('',#1068,1.);
#1068 = DIRECTION('',(-0.,1.,0.));
#1069 = ORIENTED_EDGE('',*,*,#1070,.T.);
#1070 = EDGE_CURVE('',#1063,#1016,#1071,.T.);
#1071 = LINE('',#1072,#1073);
#1072 = CARTESIAN_POINT('',(3.6,1.7,0.15));
#1073 = VECTOR('',#1074,1.);
#1074 = DIRECTION('',(-1.,-0.,0.));
#1075 = PLANE('',#1076);
#1076 = AXIS2_PLACEMENT_3D('',#1077,#1078,#1079);
#1077 = CARTESIAN_POINT('',(3.6,1.15,0.15));
#1078 = DIRECTION('',(0.,0.,1.));
#1079 = DIRECTION('',(1.,0.,-0.));
#1080 = ADVANCED_FACE('',(#1081),#1106,.F.);
#1081 = FACE_BOUND('',#1082,.F.);
#1082 = EDGE_LOOP('',(#1083,#1091,#1092,#1100));
#1083 = ORIENTED_EDGE('',*,*,#1084,.F.);
#1084 = EDGE_CURVE('',#1016,#1085,#1087,.T.);
#1085 = VERTEX_POINT('',#1086);
#1086 = CARTESIAN_POINT('',(3.6,1.9,0.15));
#1087 = LINE('',#1088,#1089);
#1088 = CARTESIAN_POINT('',(3.6,1.15,0.15));
#1089 = VECTOR('',#1090,1.);
#1090 = DIRECTION('',(-0.,1.,0.));
#1091 = ORIENTED_EDGE('',*,*,#1039,.F.);
#1092 = ORIENTED_EDGE('',*,*,#1093,.T.);
#1093 = EDGE_CURVE('',#1032,#1094,#1096,.T.);
#1094 = VERTEX_POINT('',#1095);
#1095 = CARTESIAN_POINT('',(3.6,1.9,0.));
#1096 = LINE('',#1097,#1098);
#1097 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1098 = VECTOR('',#1099,1.);
#1099 = DIRECTION('',(-0.,1.,0.));
#1100 = ORIENTED_EDGE('',*,*,#1101,.T.);
#1101 = EDGE_CURVE('',#1094,#1085,#1102,.T.);
#1102 = LINE('',#1103,#1104);
#1103 = CARTESIAN_POINT('',(3.6,1.9,0.));
#1104 = VECTOR('',#1105,1.);
#1105 = DIRECTION('',(0.,0.,1.));
#1106 = PLANE('',#1107);
#1107 = AXIS2_PLACEMENT_3D('',#1108,#1109,#1110);
#1108 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1109 = DIRECTION('',(1.,0.,-0.));
#1110 = DIRECTION('',(0.,0.,1.));
#1111 = ADVANCED_FACE('',(#1112),#1137,.F.);
#1112 = FACE_BOUND('',#1113,.F.);
#1113 = EDGE_LOOP('',(#1114,#1115,#1123,#1131));
#1114 = ORIENTED_EDGE('',*,*,#1031,.F.);
#1115 = ORIENTED_EDGE('',*,*,#1116,.T.);
#1116 = EDGE_CURVE('',#1024,#1117,#1119,.T.);
#1117 = VERTEX_POINT('',#1118);
#1118 = CARTESIAN_POINT('',(3.9,1.15,0.));
#1119 = LINE('',#1120,#1121);
#1120 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1121 = VECTOR('',#1122,1.);
#1122 = DIRECTION('',(1.,0.,-0.));
#1123 = ORIENTED_EDGE('',*,*,#1124,.T.);
#1124 = EDGE_CURVE('',#1117,#1125,#1127,.T.);
#1125 = VERTEX_POINT('',#1126);
#1126 = CARTESIAN_POINT('',(3.9,1.7,0.));
#1127 = LINE('',#1128,#1129);
#1128 = CARTESIAN_POINT('',(3.9,1.15,0.));
#1129 = VECTOR('',#1130,1.);
#1130 = DIRECTION('',(-0.,1.,0.));
#1131 = ORIENTED_EDGE('',*,*,#1132,.F.);
#1132 = EDGE_CURVE('',#1032,#1125,#1133,.T.);
#1133 = LINE('',#1134,#1135);
#1134 = CARTESIAN_POINT('',(3.6,1.7,0.));
#1135 = VECTOR('',#1136,1.);
#1136 = DIRECTION('',(1.,0.,-0.));
#1137 = PLANE('',#1138);
#1138 = AXIS2_PLACEMENT_3D('',#1139,#1140,#1141);
#1139 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1140 = DIRECTION('',(0.,0.,1.));
#1141 = DIRECTION('',(1.,0.,-0.));
#1142 = ADVANCED_FACE('',(#1143),#1154,.F.);
#1143 = FACE_BOUND('',#1144,.F.);
#1144 = EDGE_LOOP('',(#1145,#1146,#1147,#1148));
#1145 = ORIENTED_EDGE('',*,*,#1116,.F.);
#1146 = ORIENTED_EDGE('',*,*,#1023,.T.);
#1147 = ORIENTED_EDGE('',*,*,#1054,.T.);
#1148 = ORIENTED_EDGE('',*,*,#1149,.F.);
#1149 = EDGE_CURVE('',#1117,#1055,#1150,.T.);
#1150 = LINE('',#1151,#1152);
#1151 = CARTESIAN_POINT('',(3.9,1.15,0.));
#1152 = VECTOR('',#1153,1.);
#1153 = DIRECTION('',(0.,0.,1.));
#1154 = PLANE('',#1155);
#1155 = AXIS2_PLACEMENT_3D('',#1156,#1157,#1158);
#1156 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1157 = DIRECTION('',(-0.,1.,0.));
#1158 = DIRECTION('',(0.,0.,1.));
#1159 = ADVANCED_FACE('',(#1160),#1185,.F.);
#1160 = FACE_BOUND('',#1161,.F.);
#1161 = EDGE_LOOP('',(#1162,#1163,#1171,#1179));
#1162 = ORIENTED_EDGE('',*,*,#1070,.T.);
#1163 = ORIENTED_EDGE('',*,*,#1164,.T.);
#1164 = EDGE_CURVE('',#1016,#1165,#1167,.T.);
#1165 = VERTEX_POINT('',#1166);
#1166 = CARTESIAN_POINT('',(3.6,1.7,1.2));
#1167 = LINE('',#1168,#1169);
#1168 = CARTESIAN_POINT('',(3.6,1.7,0.));
#1169 = VECTOR('',#1170,1.);
#1170 = DIRECTION('',(0.,0.,1.));
#1171 = ORIENTED_EDGE('',*,*,#1172,.T.);
#1172 = EDGE_CURVE('',#1165,#1173,#1175,.T.);
#1173 = VERTEX_POINT('',#1174);
#1174 = CARTESIAN_POINT('',(3.9,1.7,1.2));
#1175 = LINE('',#1176,#1177);
#1176 = CARTESIAN_POINT('',(3.6,1.7,1.2));
#1177 = VECTOR('',#1178,1.);
#1178 = DIRECTION('',(1.,0.,-0.));
#1179 = ORIENTED_EDGE('',*,*,#1180,.F.);
#1180 = EDGE_CURVE('',#1063,#1173,#1181,.T.);
#1181 = LINE('',#1182,#1183);
#1182 = CARTESIAN_POINT('',(3.9,1.7,0.));
#1183 = VECTOR('',#1184,1.);
#1184 = DIRECTION('',(0.,0.,1.));
#1185 = PLANE('',#1186);
#1186 = AXIS2_PLACEMENT_3D('',#1187,#1188,#1189);
#1187 = CARTESIAN_POINT('',(3.6,1.7,0.));
#1188 = DIRECTION('',(-0.,1.,0.));
#1189 = DIRECTION('',(0.,0.,1.));
#1190 = ADVANCED_FACE('',(#1191),#1202,.T.);
#1191 = FACE_BOUND('',#1192,.T.);
#1192 = EDGE_LOOP('',(#1193,#1194,#1195,#1196));
#1193 = ORIENTED_EDGE('',*,*,#1062,.F.);
#1194 = ORIENTED_EDGE('',*,*,#1149,.F.);
#1195 = ORIENTED_EDGE('',*,*,#1124,.T.);
#1196 = ORIENTED_EDGE('',*,*,#1197,.T.);
#1197 = EDGE_CURVE('',#1125,#1063,#1198,.T.);
#1198 = LINE('',#1199,#1200);
#1199 = CARTESIAN_POINT('',(3.9,1.7,0.));
#1200 = VECTOR('',#1201,1.);
#1201 = DIRECTION('',(0.,0.,1.));
#1202 = PLANE('',#1203);
#1203 = AXIS2_PLACEMENT_3D('',#1204,#1205,#1206);
#1204 = CARTESIAN_POINT('',(3.9,1.15,0.));
#1205 = DIRECTION('',(1.,0.,-0.));
#1206 = DIRECTION('',(0.,0.,1.));
#1207 = ADVANCED_FACE('',(#1208),#1226,.F.);
#1208 = FACE_BOUND('',#1209,.F.);
#1209 = EDGE_LOOP('',(#1210,#1211,#1212,#1220));
#1210 = ORIENTED_EDGE('',*,*,#1164,.F.);
#1211 = ORIENTED_EDGE('',*,*,#1084,.T.);
#1212 = ORIENTED_EDGE('',*,*,#1213,.T.);
#1213 = EDGE_CURVE('',#1085,#1214,#1216,.T.);
#1214 = VERTEX_POINT('',#1215);
#1215 = CARTESIAN_POINT('',(3.6,1.9,1.2));
#1216 = LINE('',#1217,#1218);
#1217 = CARTESIAN_POINT('',(3.6,1.9,0.));
#1218 = VECTOR('',#1219,1.);
#1219 = DIRECTION('',(0.,0.,1.));
#1220 = ORIENTED_EDGE('',*,*,#1221,.F.);
#1221 = EDGE_CURVE('',#1165,#1214,#1222,.T.);
#1222 = LINE('',#1223,#1224);
#1223 = CARTESIAN_POINT('',(3.6,1.7,1.2));
#1224 = VECTOR('',#1225,1.);
#1225 = DIRECTION('',(-0.,1.,0.));
#1226 = PLANE('',#1227);
#1227 = AXIS2_PLACEMENT_3D('',#1228,#1229,#1230);
#1228 = CARTESIAN_POINT('',(3.6,1.7,0.));
#1229 = DIRECTION('',(1.,0.,-0.));
#1230 = DIRECTION('',(0.,0.,1.));
#1231 = ADVANCED_FACE('',(#1232),#1257,.F.);
#1232 = FACE_BOUND('',#1233,.F.);
#1233 = EDGE_LOOP('',(#1234,#1242,#1243,#1251));
#1234 = ORIENTED_EDGE('',*,*,#1235,.F.);
#1235 = EDGE_CURVE('',#1085,#1236,#1238,.T.);
#1236 = VERTEX_POINT('',#1237);
#1237 = CARTESIAN_POINT('',(3.6,2.8,0.15));
#1238 = LINE('',#1239,#1240);
#1239 = CARTESIAN_POINT('',(3.6,1.15,0.15));
#1240 = VECTOR('',#1241,1.);
#1241 = DIRECTION('',(-0.,1.,0.));
#1242 = ORIENTED_EDGE('',*,*,#1101,.F.);
#1243 = ORIENTED_EDGE('',*,*,#1244,.T.);
#1244 = EDGE_CURVE('',#1094,#1245,#1247,.T.);
#1245 = VERTEX_POINT('',#1246);
#1246 = CARTESIAN_POINT('',(3.6,2.8,0.));
#1247 = LINE('',#1248,#1249);
#1248 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1249 = VECTOR('',#1250,1.);
#1250 = DIRECTION('',(-0.,1.,0.));
#1251 = ORIENTED_EDGE('',*,*,#1252,.T.);
#1252 = EDGE_CURVE('',#1245,#1236,#1253,.T.);
#1253 = LINE('',#1254,#1255);
#1254 = CARTESIAN_POINT('',(3.6,2.8,0.));
#1255 = VECTOR('',#1256,1.);
#1256 = DIRECTION('',(0.,0.,1.));
#1257 = PLANE('',#1258);
#1258 = AXIS2_PLACEMENT_3D('',#1259,#1260,#1261);
#1259 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1260 = DIRECTION('',(1.,0.,-0.));
#1261 = DIRECTION('',(0.,0.,1.));
#1262 = ADVANCED_FACE('',(#1263),#1281,.F.);
#1263 = FACE_BOUND('',#1264,.F.);
#1264 = EDGE_LOOP('',(#1265,#1266,#1267,#1275));
#1265 = ORIENTED_EDGE('',*,*,#1093,.F.);
#1266 = ORIENTED_EDGE('',*,*,#1132,.T.);
#1267 = ORIENTED_EDGE('',*,*,#1268,.T.);
#1268 = EDGE_CURVE('',#1125,#1269,#1271,.T.);
#1269 = VERTEX_POINT('',#1270);
#1270 = CARTESIAN_POINT('',(3.9,1.9,0.));
#1271 = LINE('',#1272,#1273);
#1272 = CARTESIAN_POINT('',(3.9,1.15,0.));
#1273 = VECTOR('',#1274,1.);
#1274 = DIRECTION('',(-0.,1.,0.));
#1275 = ORIENTED_EDGE('',*,*,#1276,.F.);
#1276 = EDGE_CURVE('',#1094,#1269,#1277,.T.);
#1277 = LINE('',#1278,#1279);
#1278 = CARTESIAN_POINT('',(3.6,1.9,0.));
#1279 = VECTOR('',#1280,1.);
#1280 = DIRECTION('',(1.,0.,-0.));
#1281 = PLANE('',#1282);
#1282 = AXIS2_PLACEMENT_3D('',#1283,#1284,#1285);
#1283 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1284 = DIRECTION('',(0.,0.,1.));
#1285 = DIRECTION('',(1.,0.,-0.));
#1286 = ADVANCED_FACE('',(#1287),#1312,.T.);
#1287 = FACE_BOUND('',#1288,.T.);
#1288 = EDGE_LOOP('',(#1289,#1290,#1298,#1306));
#1289 = ORIENTED_EDGE('',*,*,#1180,.F.);
#1290 = ORIENTED_EDGE('',*,*,#1291,.T.);
#1291 = EDGE_CURVE('',#1063,#1292,#1294,.T.);
#1292 = VERTEX_POINT('',#1293);
#1293 = CARTESIAN_POINT('',(3.9,1.9,0.15));
#1294 = LINE('',#1295,#1296);
#1295 = CARTESIAN_POINT('',(3.9,1.15,0.15));
#1296 = VECTOR('',#1297,1.);
#1297 = DIRECTION('',(-0.,1.,0.));
#1298 = ORIENTED_EDGE('',*,*,#1299,.T.);
#1299 = EDGE_CURVE('',#1292,#1300,#1302,.T.);
#1300 = VERTEX_POINT('',#1301);
#1301 = CARTESIAN_POINT('',(3.9,1.9,1.2));
#1302 = LINE('',#1303,#1304);
#1303 = CARTESIAN_POINT('',(3.9,1.9,0.));
#1304 = VECTOR('',#1305,1.);
#1305 = DIRECTION('',(0.,0.,1.));
#1306 = ORIENTED_EDGE('',*,*,#1307,.F.);
#1307 = EDGE_CURVE('',#1173,#1300,#1308,.T.);
#1308 = LINE('',#1309,#1310);
#1309 = CARTESIAN_POINT('',(3.9,1.7,1.2));
#1310 = VECTOR('',#1311,1.);
#1311 = DIRECTION('',(-0.,1.,0.));
#1312 = PLANE('',#1313);
#1313 = AXIS2_PLACEMENT_3D('',#1314,#1315,#1316);
#1314 = CARTESIAN_POINT('',(3.9,1.7,0.));
#1315 = DIRECTION('',(1.,0.,-0.));
#1316 = DIRECTION('',(0.,0.,1.));
#1317 = ADVANCED_FACE('',(#1318),#1329,.T.);
#1318 = FACE_BOUND('',#1319,.T.);
#1319 = EDGE_LOOP('',(#1320,#1321,#1322,#1323));
#1320 = ORIENTED_EDGE('',*,*,#1221,.F.);
#1321 = ORIENTED_EDGE('',*,*,#1172,.T.);
#1322 = ORIENTED_EDGE('',*,*,#1307,.T.);
#1323 = ORIENTED_EDGE('',*,*,#1324,.F.);
#1324 = EDGE_CURVE('',#1214,#1300,#1325,.T.);
#1325 = LINE('',#1326,#1327);
#1326 = CARTESIAN_POINT('',(3.6,1.9,1.2));
#1327 = VECTOR('',#1328,1.);
#1328 = DIRECTION('',(1.,0.,-0.));
#1329 = PLANE('',#1330);
#1330 = AXIS2_PLACEMENT_3D('',#1331,#1332,#1333);
#1331 = CARTESIAN_POINT('',(3.6,1.7,1.2));
#1332 = DIRECTION('',(0.,0.,1.));
#1333 = DIRECTION('',(1.,0.,-0.));
#1334 = ADVANCED_FACE('',(#1335),#1346,.T.);
#1335 = FACE_BOUND('',#1336,.T.);
#1336 = EDGE_LOOP('',(#1337,#1338,#1339,#1340));
#1337 = ORIENTED_EDGE('',*,*,#1291,.F.);
#1338 = ORIENTED_EDGE('',*,*,#1197,.F.);
#1339 = ORIENTED_EDGE('',*,*,#1268,.T.);
#1340 = ORIENTED_EDGE('',*,*,#1341,.T.);
#1341 = EDGE_CURVE('',#1269,#1292,#1342,.T.);
#1342 = LINE('',#1343,#1344);
#1343 = CARTESIAN_POINT('',(3.9,1.9,0.));
#1344 = VECTOR('',#1345,1.);
#1345 = DIRECTION('',(0.,0.,1.));
#1346 = PLANE('',#1347);
#1347 = AXIS2_PLACEMENT_3D('',#1348,#1349,#1350);
#1348 = CARTESIAN_POINT('',(3.9,1.15,0.));
#1349 = DIRECTION('',(1.,0.,-0.));
#1350 = DIRECTION('',(0.,0.,1.));
#1351 = ADVANCED_FACE('',(#1352),#1363,.T.);
#1352 = FACE_BOUND('',#1353,.T.);
#1353 = EDGE_LOOP('',(#1354,#1360,#1361,#1362));
#1354 = ORIENTED_EDGE('',*,*,#1355,.T.);
#1355 = EDGE_CURVE('',#1292,#1085,#1356,.T.);
#1356 = LINE('',#1357,#1358);
#1357 = CARTESIAN_POINT('',(3.6,1.9,0.15));
#1358 = VECTOR('',#1359,1.);
#1359 = DIRECTION('',(-1.,-0.,0.));
#1360 = ORIENTED_EDGE('',*,*,#1213,.T.);
#1361 = ORIENTED_EDGE('',*,*,#1324,.T.);
#1362 = ORIENTED_EDGE('',*,*,#1299,.F.);
#1363 = PLANE('',#1364);
#1364 = AXIS2_PLACEMENT_3D('',#1365,#1366,#1367);
#1365 = CARTESIAN_POINT('',(3.6,1.9,0.));
#1366 = DIRECTION('',(-0.,1.,0.));
#1367 = DIRECTION('',(0.,0.,1.));
#1368 = ADVANCED_FACE('',(#1369),#1387,.T.);
#1369 = FACE_BOUND('',#1370,.T.);
#1370 = EDGE_LOOP('',(#1371,#1372,#1373,#1381));
#1371 = ORIENTED_EDGE('',*,*,#1235,.F.);
#1372 = ORIENTED_EDGE('',*,*,#1355,.F.);
#1373 = ORIENTED_EDGE('',*,*,#1374,.T.);
#1374 = EDGE_CURVE('',#1292,#1375,#1377,.T.);
#1375 = VERTEX_POINT('',#1376);
#1376 = CARTESIAN_POINT('',(3.9,2.8,0.15));
#1377 = LINE('',#1378,#1379);
#1378 = CARTESIAN_POINT('',(3.9,1.15,0.15));
#1379 = VECTOR('',#1380,1.);
#1380 = DIRECTION('',(-0.,1.,0.));
#1381 = ORIENTED_EDGE('',*,*,#1382,.F.);
#1382 = EDGE_CURVE('',#1236,#1375,#1383,.T.);
#1383 = LINE('',#1384,#1385);
#1384 = CARTESIAN_POINT('',(3.6,2.8,0.15));
#1385 = VECTOR('',#1386,1.);
#1386 = DIRECTION('',(1.,0.,-0.));
#1387 = PLANE('',#1388);
#1388 = AXIS2_PLACEMENT_3D('',#1389,#1390,#1391);
#1389 = CARTESIAN_POINT('',(3.6,1.15,0.15));
#1390 = DIRECTION('',(0.,0.,1.));
#1391 = DIRECTION('',(1.,0.,-0.));
#1392 = ADVANCED_FACE('',(#1393),#1411,.T.);
#1393 = FACE_BOUND('',#1394,.T.);
#1394 = EDGE_LOOP('',(#1395,#1403,#1404,#1405));
#1395 = ORIENTED_EDGE('',*,*,#1396,.F.);
#1396 = EDGE_CURVE('',#1245,#1397,#1399,.T.);
#1397 = VERTEX_POINT('',#1398);
#1398 = CARTESIAN_POINT('',(3.9,2.8,0.));
#1399 = LINE('',#1400,#1401);
#1400 = CARTESIAN_POINT('',(3.6,2.8,0.));
#1401 = VECTOR('',#1402,1.);
#1402 = DIRECTION('',(1.,0.,-0.));
#1403 = ORIENTED_EDGE('',*,*,#1252,.T.);
#1404 = ORIENTED_EDGE('',*,*,#1382,.T.);
#1405 = ORIENTED_EDGE('',*,*,#1406,.F.);
#1406 = EDGE_CURVE('',#1397,#1375,#1407,.T.);
#1407 = LINE('',#1408,#1409);
#1408 = CARTESIAN_POINT('',(3.9,2.8,0.));
#1409 = VECTOR('',#1410,1.);
#1410 = DIRECTION('',(0.,0.,1.));
#1411 = PLANE('',#1412);
#1412 = AXIS2_PLACEMENT_3D('',#1413,#1414,#1415);
#1413 = CARTESIAN_POINT('',(3.6,2.8,0.));
#1414 = DIRECTION('',(-0.,1.,0.));
#1415 = DIRECTION('',(0.,0.,1.));
#1416 = ADVANCED_FACE('',(#1417),#1428,.F.);
#1417 = FACE_BOUND('',#1418,.F.);
#1418 = EDGE_LOOP('',(#1419,#1420,#1421,#1427));
#1419 = ORIENTED_EDGE('',*,*,#1244,.F.);
#1420 = ORIENTED_EDGE('',*,*,#1276,.T.);
#1421 = ORIENTED_EDGE('',*,*,#1422,.T.);
#1422 = EDGE_CURVE('',#1269,#1397,#1423,.T.);
#1423 = LINE('',#1424,#1425);
#1424 = CARTESIAN_POINT('',(3.9,1.15,0.));
#1425 = VECTOR('',#1426,1.);
#1426 = DIRECTION('',(-0.,1.,0.));
#1427 = ORIENTED_EDGE('',*,*,#1396,.F.);
#1428 = PLANE('',#1429);
#1429 = AXIS2_PLACEMENT_3D('',#1430,#1431,#1432);
#1430 = CARTESIAN_POINT('',(3.6,1.15,0.));
#1431 = DIRECTION('',(0.,0.,1.));
#1432 = DIRECTION('',(1.,0.,-0.));
#1433 = ADVANCED_FACE('',(#1434),#1440,.T.);
#1434 = FACE_BOUND('',#1435,.T.);
#1435 = EDGE_LOOP('',(#1436,#1437,#1438,#1439));
#1436 = ORIENTED_EDGE('',*,*,#1374,.F.);
#1437 = ORIENTED_EDGE('',*,*,#1341,.F.);
#1438 = ORIENTED_EDGE('',*,*,#1422,.T.);
#1439 = ORIENTED_EDGE('',*,*,#1406,.T.);
#1440 = PLANE('',#1441);
#1441 = AXIS2_PLACEMENT_3D('',#1442,#1443,#1444);
#1442 = CARTESIAN_POINT('',(3.9,1.15,0.));
#1443 = DIRECTION('',(1.,0.,-0.));
#1444 = DIRECTION('',(0.,0.,1.));
#1445 = MANIFOLD_SOLID_BREP('',#1446);
#1446 = CLOSED_SHELL('',(#1447,#1487,#1518,#1549,#1580,#1597,#1628,#1645
    ,#1669,#1700,#1724,#1755,#1772,#1789,#1806,#1830,#1854,#1871));
#1447 = ADVANCED_FACE('',(#1448),#1482,.F.);
#1448 = FACE_BOUND('',#1449,.F.);
#1449 = EDGE_LOOP('',(#1450,#1460,#1468,#1476));
#1450 = ORIENTED_EDGE('',*,*,#1451,.F.);
#1451 = EDGE_CURVE('',#1452,#1454,#1456,.T.);
#1452 = VERTEX_POINT('',#1453);
#1453 = CARTESIAN_POINT('',(2.35,1.15,0.15));
#1454 = VERTEX_POINT('',#1455);
#1455 = CARTESIAN_POINT('',(2.35,1.7,0.15));
#1456 = LINE('',#1457,#1458);
#1457 = CARTESIAN_POINT('',(2.35,1.15,0.15));
#1458 = VECTOR('',#1459,1.);
#1459 = DIRECTION('',(-0.,1.,0.));
#1460 = ORIENTED_EDGE('',*,*,#1461,.F.);
#1461 = EDGE_CURVE('',#1462,#1452,#1464,.T.);
#1462 = VERTEX_POINT('',#1463);
#1463 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1464 = LINE('',#1465,#1466);
#1465 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1466 = VECTOR('',#1467,1.);
#1467 = DIRECTION('',(0.,0.,1.));
#1468 = ORIENTED_EDGE('',*,*,#1469,.T.);
#1469 = EDGE_CURVE('',#1462,#1470,#1472,.T.);
#1470 = VERTEX_POINT('',#1471);
#1471 = CARTESIAN_POINT('',(2.35,1.7,0.));
#1472 = LINE('',#1473,#1474);
#1473 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1474 = VECTOR('',#1475,1.);
#1475 = DIRECTION('',(-0.,1.,0.));
#1476 = ORIENTED_EDGE('',*,*,#1477,.T.);
#1477 = EDGE_CURVE('',#1470,#1454,#1478,.T.);
#1478 = LINE('',#1479,#1480);
#1479 = CARTESIAN_POINT('',(2.35,1.7,0.));
#1480 = VECTOR('',#1481,1.);
#1481 = DIRECTION('',(0.,0.,1.));
#1482 = PLANE('',#1483);
#1483 = AXIS2_PLACEMENT_3D('',#1484,#1485,#1486);
#1484 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1485 = DIRECTION('',(1.,0.,-0.));
#1486 = DIRECTION('',(0.,0.,1.));
#1487 = ADVANCED_FACE('',(#1488),#1513,.T.);
#1488 = FACE_BOUND('',#1489,.T.);
#1489 = EDGE_LOOP('',(#1490,#1491,#1499,#1507));
#1490 = ORIENTED_EDGE('',*,*,#1451,.F.);
#1491 = ORIENTED_EDGE('',*,*,#1492,.T.);
#1492 = EDGE_CURVE('',#1452,#1493,#1495,.T.);
#1493 = VERTEX_POINT('',#1494);
#1494 = CARTESIAN_POINT('',(2.65,1.15,0.15));
#1495 = LINE('',#1496,#1497);
#1496 = CARTESIAN_POINT('',(2.35,1.15,0.15));
#1497 = VECTOR('',#1498,1.);
#1498 = DIRECTION('',(1.,0.,-0.));
#1499 = ORIENTED_EDGE('',*,*,#1500,.T.);
#1500 = EDGE_CURVE('',#1493,#1501,#1503,.T.);
#1501 = VERTEX_POINT('',#1502);
#1502 = CARTESIAN_POINT('',(2.65,1.7,0.15));
#1503 = LINE('',#1504,#1505);
#1504 = CARTESIAN_POINT('',(2.65,1.15,0.15));
#1505 = VECTOR('',#1506,1.);
#1506 = DIRECTION('',(-0.,1.,0.));
#1507 = ORIENTED_EDGE('',*,*,#1508,.T.);
#1508 = EDGE_CURVE('',#1501,#1454,#1509,.T.);
#1509 = LINE('',#1510,#1511);
#1510 = CARTESIAN_POINT('',(2.35,1.7,0.15));
#1511 = VECTOR('',#1512,1.);
#1512 = DIRECTION('',(-1.,-0.,0.));
#1513 = PLANE('',#1514);
#1514 = AXIS2_PLACEMENT_3D('',#1515,#1516,#1517);
#1515 = CARTESIAN_POINT('',(2.35,1.15,0.15));
#1516 = DIRECTION('',(0.,0.,1.));
#1517 = DIRECTION('',(1.,0.,-0.));
#1518 = ADVANCED_FACE('',(#1519),#1544,.F.);
#1519 = FACE_BOUND('',#1520,.F.);
#1520 = EDGE_LOOP('',(#1521,#1529,#1530,#1538));
#1521 = ORIENTED_EDGE('',*,*,#1522,.F.);
#1522 = EDGE_CURVE('',#1454,#1523,#1525,.T.);
#1523 = VERTEX_POINT('',#1524);
#1524 = CARTESIAN_POINT('',(2.35,1.9,0.15));
#1525 = LINE('',#1526,#1527);
#1526 = CARTESIAN_POINT('',(2.35,1.15,0.15));
#1527 = VECTOR('',#1528,1.);
#1528 = DIRECTION('',(-0.,1.,0.));
#1529 = ORIENTED_EDGE('',*,*,#1477,.F.);
#1530 = ORIENTED_EDGE('',*,*,#1531,.T.);
#1531 = EDGE_CURVE('',#1470,#1532,#1534,.T.);
#1532 = VERTEX_POINT('',#1533);
#1533 = CARTESIAN_POINT('',(2.35,1.9,0.));
#1534 = LINE('',#1535,#1536);
#1535 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1536 = VECTOR('',#1537,1.);
#1537 = DIRECTION('',(-0.,1.,0.));
#1538 = ORIENTED_EDGE('',*,*,#1539,.T.);
#1539 = EDGE_CURVE('',#1532,#1523,#1540,.T.);
#1540 = LINE('',#1541,#1542);
#1541 = CARTESIAN_POINT('',(2.35,1.9,0.));
#1542 = VECTOR('',#1543,1.);
#1543 = DIRECTION('',(0.,0.,1.));
#1544 = PLANE('',#1545);
#1545 = AXIS2_PLACEMENT_3D('',#1546,#1547,#1548);
#1546 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1547 = DIRECTION('',(1.,0.,-0.));
#1548 = DIRECTION('',(0.,0.,1.));
#1549 = ADVANCED_FACE('',(#1550),#1575,.F.);
#1550 = FACE_BOUND('',#1551,.F.);
#1551 = EDGE_LOOP('',(#1552,#1553,#1561,#1569));
#1552 = ORIENTED_EDGE('',*,*,#1469,.F.);
#1553 = ORIENTED_EDGE('',*,*,#1554,.T.);
#1554 = EDGE_CURVE('',#1462,#1555,#1557,.T.);
#1555 = VERTEX_POINT('',#1556);
#1556 = CARTESIAN_POINT('',(2.65,1.15,0.));
#1557 = LINE('',#1558,#1559);
#1558 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1559 = VECTOR('',#1560,1.);
#1560 = DIRECTION('',(1.,0.,-0.));
#1561 = ORIENTED_EDGE('',*,*,#1562,.T.);
#1562 = EDGE_CURVE('',#1555,#1563,#1565,.T.);
#1563 = VERTEX_POINT('',#1564);
#1564 = CARTESIAN_POINT('',(2.65,1.7,0.));
#1565 = LINE('',#1566,#1567);
#1566 = CARTESIAN_POINT('',(2.65,1.15,0.));
#1567 = VECTOR('',#1568,1.);
#1568 = DIRECTION('',(-0.,1.,0.));
#1569 = ORIENTED_EDGE('',*,*,#1570,.F.);
#1570 = EDGE_CURVE('',#1470,#1563,#1571,.T.);
#1571 = LINE('',#1572,#1573);
#1572 = CARTESIAN_POINT('',(2.35,1.7,0.));
#1573 = VECTOR('',#1574,1.);
#1574 = DIRECTION('',(1.,0.,-0.));
#1575 = PLANE('',#1576);
#1576 = AXIS2_PLACEMENT_3D('',#1577,#1578,#1579);
#1577 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1578 = DIRECTION('',(0.,0.,1.));
#1579 = DIRECTION('',(1.,0.,-0.));
#1580 = ADVANCED_FACE('',(#1581),#1592,.F.);
#1581 = FACE_BOUND('',#1582,.F.);
#1582 = EDGE_LOOP('',(#1583,#1584,#1585,#1586));
#1583 = ORIENTED_EDGE('',*,*,#1554,.F.);
#1584 = ORIENTED_EDGE('',*,*,#1461,.T.);
#1585 = ORIENTED_EDGE('',*,*,#1492,.T.);
#1586 = ORIENTED_EDGE('',*,*,#1587,.F.);
#1587 = EDGE_CURVE('',#1555,#1493,#1588,.T.);
#1588 = LINE('',#1589,#1590);
#1589 = CARTESIAN_POINT('',(2.65,1.15,0.));
#1590 = VECTOR('',#1591,1.);
#1591 = DIRECTION('',(0.,0.,1.));
#1592 = PLANE('',#1593);
#1593 = AXIS2_PLACEMENT_3D('',#1594,#1595,#1596);
#1594 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1595 = DIRECTION('',(-0.,1.,0.));
#1596 = DIRECTION('',(0.,0.,1.));
#1597 = ADVANCED_FACE('',(#1598),#1623,.F.);
#1598 = FACE_BOUND('',#1599,.F.);
#1599 = EDGE_LOOP('',(#1600,#1601,#1609,#1617));
#1600 = ORIENTED_EDGE('',*,*,#1508,.T.);
#1601 = ORIENTED_EDGE('',*,*,#1602,.T.);
#1602 = EDGE_CURVE('',#1454,#1603,#1605,.T.);
#1603 = VERTEX_POINT('',#1604);
#1604 = CARTESIAN_POINT('',(2.35,1.7,1.2));
#1605 = LINE('',#1606,#1607);
#1606 = CARTESIAN_POINT('',(2.35,1.7,0.));
#1607 = VECTOR('',#1608,1.);
#1608 = DIRECTION('',(0.,0.,1.));
#1609 = ORIENTED_EDGE('',*,*,#1610,.T.);
#1610 = EDGE_CURVE('',#1603,#1611,#1613,.T.);
#1611 = VERTEX_POINT('',#1612);
#1612 = CARTESIAN_POINT('',(2.65,1.7,1.2));
#1613 = LINE('',#1614,#1615);
#1614 = CARTESIAN_POINT('',(2.35,1.7,1.2));
#1615 = VECTOR('',#1616,1.);
#1616 = DIRECTION('',(1.,0.,-0.));
#1617 = ORIENTED_EDGE('',*,*,#1618,.F.);
#1618 = EDGE_CURVE('',#1501,#1611,#1619,.T.);
#1619 = LINE('',#1620,#1621);
#1620 = CARTESIAN_POINT('',(2.65,1.7,0.));
#1621 = VECTOR('',#1622,1.);
#1622 = DIRECTION('',(0.,0.,1.));
#1623 = PLANE('',#1624);
#1624 = AXIS2_PLACEMENT_3D('',#1625,#1626,#1627);
#1625 = CARTESIAN_POINT('',(2.35,1.7,0.));
#1626 = DIRECTION('',(-0.,1.,0.));
#1627 = DIRECTION('',(0.,0.,1.));
#1628 = ADVANCED_FACE('',(#1629),#1640,.T.);
#1629 = FACE_BOUND('',#1630,.T.);
#1630 = EDGE_LOOP('',(#1631,#1632,#1633,#1634));
#1631 = ORIENTED_EDGE('',*,*,#1500,.F.);
#1632 = ORIENTED_EDGE('',*,*,#1587,.F.);
#1633 = ORIENTED_EDGE('',*,*,#1562,.T.);
#1634 = ORIENTED_EDGE('',*,*,#1635,.T.);
#1635 = EDGE_CURVE('',#1563,#1501,#1636,.T.);
#1636 = LINE('',#1637,#1638);
#1637 = CARTESIAN_POINT('',(2.65,1.7,0.));
#1638 = VECTOR('',#1639,1.);
#1639 = DIRECTION('',(0.,0.,1.));
#1640 = PLANE('',#1641);
#1641 = AXIS2_PLACEMENT_3D('',#1642,#1643,#1644);
#1642 = CARTESIAN_POINT('',(2.65,1.15,0.));
#1643 = DIRECTION('',(1.,0.,-0.));
#1644 = DIRECTION('',(0.,0.,1.));
#1645 = ADVANCED_FACE('',(#1646),#1664,.F.);
#1646 = FACE_BOUND('',#1647,.F.);
#1647 = EDGE_LOOP('',(#1648,#1649,#1650,#1658));
#1648 = ORIENTED_EDGE('',*,*,#1602,.F.);
#1649 = ORIENTED_EDGE('',*,*,#1522,.T.);
#1650 = ORIENTED_EDGE('',*,*,#1651,.T.);
#1651 = EDGE_CURVE('',#1523,#1652,#1654,.T.);
#1652 = VERTEX_POINT('',#1653);
#1653 = CARTESIAN_POINT('',(2.35,1.9,1.2));
#1654 = LINE('',#1655,#1656);
#1655 = CARTESIAN_POINT('',(2.35,1.9,0.));
#1656 = VECTOR('',#1657,1.);
#1657 = DIRECTION('',(0.,0.,1.));
#1658 = ORIENTED_EDGE('',*,*,#1659,.F.);
#1659 = EDGE_CURVE('',#1603,#1652,#1660,.T.);
#1660 = LINE('',#1661,#1662);
#1661 = CARTESIAN_POINT('',(2.35,1.7,1.2));
#1662 = VECTOR('',#1663,1.);
#1663 = DIRECTION('',(-0.,1.,0.));
#1664 = PLANE('',#1665);
#1665 = AXIS2_PLACEMENT_3D('',#1666,#1667,#1668);
#1666 = CARTESIAN_POINT('',(2.35,1.7,0.));
#1667 = DIRECTION('',(1.,0.,-0.));
#1668 = DIRECTION('',(0.,0.,1.));
#1669 = ADVANCED_FACE('',(#1670),#1695,.F.);
#1670 = FACE_BOUND('',#1671,.F.);
#1671 = EDGE_LOOP('',(#1672,#1680,#1681,#1689));
#1672 = ORIENTED_EDGE('',*,*,#1673,.F.);
#1673 = EDGE_CURVE('',#1523,#1674,#1676,.T.);
#1674 = VERTEX_POINT('',#1675);
#1675 = CARTESIAN_POINT('',(2.35,2.8,0.15));
#1676 = LINE('',#1677,#1678);
#1677 = CARTESIAN_POINT('',(2.35,1.15,0.15));
#1678 = VECTOR('',#1679,1.);
#1679 = DIRECTION('',(-0.,1.,0.));
#1680 = ORIENTED_EDGE('',*,*,#1539,.F.);
#1681 = ORIENTED_EDGE('',*,*,#1682,.T.);
#1682 = EDGE_CURVE('',#1532,#1683,#1685,.T.);
#1683 = VERTEX_POINT('',#1684);
#1684 = CARTESIAN_POINT('',(2.35,2.8,0.));
#1685 = LINE('',#1686,#1687);
#1686 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1687 = VECTOR('',#1688,1.);
#1688 = DIRECTION('',(-0.,1.,0.));
#1689 = ORIENTED_EDGE('',*,*,#1690,.T.);
#1690 = EDGE_CURVE('',#1683,#1674,#1691,.T.);
#1691 = LINE('',#1692,#1693);
#1692 = CARTESIAN_POINT('',(2.35,2.8,0.));
#1693 = VECTOR('',#1694,1.);
#1694 = DIRECTION('',(0.,0.,1.));
#1695 = PLANE('',#1696);
#1696 = AXIS2_PLACEMENT_3D('',#1697,#1698,#1699);
#1697 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1698 = DIRECTION('',(1.,0.,-0.));
#1699 = DIRECTION('',(0.,0.,1.));
#1700 = ADVANCED_FACE('',(#1701),#1719,.F.);
#1701 = FACE_BOUND('',#1702,.F.);
#1702 = EDGE_LOOP('',(#1703,#1704,#1705,#1713));
#1703 = ORIENTED_EDGE('',*,*,#1531,.F.);
#1704 = ORIENTED_EDGE('',*,*,#1570,.T.);
#1705 = ORIENTED_EDGE('',*,*,#1706,.T.);
#1706 = EDGE_CURVE('',#1563,#1707,#1709,.T.);
#1707 = VERTEX_POINT('',#1708);
#1708 = CARTESIAN_POINT('',(2.65,1.9,0.));
#1709 = LINE('',#1710,#1711);
#1710 = CARTESIAN_POINT('',(2.65,1.15,0.));
#1711 = VECTOR('',#1712,1.);
#1712 = DIRECTION('',(-0.,1.,0.));
#1713 = ORIENTED_EDGE('',*,*,#1714,.F.);
#1714 = EDGE_CURVE('',#1532,#1707,#1715,.T.);
#1715 = LINE('',#1716,#1717);
#1716 = CARTESIAN_POINT('',(2.35,1.9,0.));
#1717 = VECTOR('',#1718,1.);
#1718 = DIRECTION('',(1.,0.,-0.));
#1719 = PLANE('',#1720);
#1720 = AXIS2_PLACEMENT_3D('',#1721,#1722,#1723);
#1721 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1722 = DIRECTION('',(0.,0.,1.));
#1723 = DIRECTION('',(1.,0.,-0.));
#1724 = ADVANCED_FACE('',(#1725),#1750,.T.);
#1725 = FACE_BOUND('',#1726,.T.);
#1726 = EDGE_LOOP('',(#1727,#1728,#1736,#1744));
#1727 = ORIENTED_EDGE('',*,*,#1618,.F.);
#1728 = ORIENTED_EDGE('',*,*,#1729,.T.);
#1729 = EDGE_CURVE('',#1501,#1730,#1732,.T.);
#1730 = VERTEX_POINT('',#1731);
#1731 = CARTESIAN_POINT('',(2.65,1.9,0.15));
#1732 = LINE('',#1733,#1734);
#1733 = CARTESIAN_POINT('',(2.65,1.15,0.15));
#1734 = VECTOR('',#1735,1.);
#1735 = DIRECTION('',(-0.,1.,0.));
#1736 = ORIENTED_EDGE('',*,*,#1737,.T.);
#1737 = EDGE_CURVE('',#1730,#1738,#1740,.T.);
#1738 = VERTEX_POINT('',#1739);
#1739 = CARTESIAN_POINT('',(2.65,1.9,1.2));
#1740 = LINE('',#1741,#1742);
#1741 = CARTESIAN_POINT('',(2.65,1.9,0.));
#1742 = VECTOR('',#1743,1.);
#1743 = DIRECTION('',(0.,0.,1.));
#1744 = ORIENTED_EDGE('',*,*,#1745,.F.);
#1745 = EDGE_CURVE('',#1611,#1738,#1746,.T.);
#1746 = LINE('',#1747,#1748);
#1747 = CARTESIAN_POINT('',(2.65,1.7,1.2));
#1748 = VECTOR('',#1749,1.);
#1749 = DIRECTION('',(-0.,1.,0.));
#1750 = PLANE('',#1751);
#1751 = AXIS2_PLACEMENT_3D('',#1752,#1753,#1754);
#1752 = CARTESIAN_POINT('',(2.65,1.7,0.));
#1753 = DIRECTION('',(1.,0.,-0.));
#1754 = DIRECTION('',(0.,0.,1.));
#1755 = ADVANCED_FACE('',(#1756),#1767,.T.);
#1756 = FACE_BOUND('',#1757,.T.);
#1757 = EDGE_LOOP('',(#1758,#1759,#1760,#1761));
#1758 = ORIENTED_EDGE('',*,*,#1659,.F.);
#1759 = ORIENTED_EDGE('',*,*,#1610,.T.);
#1760 = ORIENTED_EDGE('',*,*,#1745,.T.);
#1761 = ORIENTED_EDGE('',*,*,#1762,.F.);
#1762 = EDGE_CURVE('',#1652,#1738,#1763,.T.);
#1763 = LINE('',#1764,#1765);
#1764 = CARTESIAN_POINT('',(2.35,1.9,1.2));
#1765 = VECTOR('',#1766,1.);
#1766 = DIRECTION('',(1.,0.,-0.));
#1767 = PLANE('',#1768);
#1768 = AXIS2_PLACEMENT_3D('',#1769,#1770,#1771);
#1769 = CARTESIAN_POINT('',(2.35,1.7,1.2));
#1770 = DIRECTION('',(0.,0.,1.));
#1771 = DIRECTION('',(1.,0.,-0.));
#1772 = ADVANCED_FACE('',(#1773),#1784,.T.);
#1773 = FACE_BOUND('',#1774,.T.);
#1774 = EDGE_LOOP('',(#1775,#1776,#1777,#1778));
#1775 = ORIENTED_EDGE('',*,*,#1729,.F.);
#1776 = ORIENTED_EDGE('',*,*,#1635,.F.);
#1777 = ORIENTED_EDGE('',*,*,#1706,.T.);
#1778 = ORIENTED_EDGE('',*,*,#1779,.T.);
#1779 = EDGE_CURVE('',#1707,#1730,#1780,.T.);
#1780 = LINE('',#1781,#1782);
#1781 = CARTESIAN_POINT('',(2.65,1.9,0.));
#1782 = VECTOR('',#1783,1.);
#1783 = DIRECTION('',(0.,0.,1.));
#1784 = PLANE('',#1785);
#1785 = AXIS2_PLACEMENT_3D('',#1786,#1787,#1788);
#1786 = CARTESIAN_POINT('',(2.65,1.15,0.));
#1787 = DIRECTION('',(1.,0.,-0.));
#1788 = DIRECTION('',(0.,0.,1.));
#1789 = ADVANCED_FACE('',(#1790),#1801,.T.);
#1790 = FACE_BOUND('',#1791,.T.);
#1791 = EDGE_LOOP('',(#1792,#1798,#1799,#1800));
#1792 = ORIENTED_EDGE('',*,*,#1793,.T.);
#1793 = EDGE_CURVE('',#1730,#1523,#1794,.T.);
#1794 = LINE('',#1795,#1796);
#1795 = CARTESIAN_POINT('',(2.35,1.9,0.15));
#1796 = VECTOR('',#1797,1.);
#1797 = DIRECTION('',(-1.,-0.,0.));
#1798 = ORIENTED_EDGE('',*,*,#1651,.T.);
#1799 = ORIENTED_EDGE('',*,*,#1762,.T.);
#1800 = ORIENTED_EDGE('',*,*,#1737,.F.);
#1801 = PLANE('',#1802);
#1802 = AXIS2_PLACEMENT_3D('',#1803,#1804,#1805);
#1803 = CARTESIAN_POINT('',(2.35,1.9,0.));
#1804 = DIRECTION('',(-0.,1.,0.));
#1805 = DIRECTION('',(0.,0.,1.));
#1806 = ADVANCED_FACE('',(#1807),#1825,.T.);
#1807 = FACE_BOUND('',#1808,.T.);
#1808 = EDGE_LOOP('',(#1809,#1810,#1811,#1819));
#1809 = ORIENTED_EDGE('',*,*,#1673,.F.);
#1810 = ORIENTED_EDGE('',*,*,#1793,.F.);
#1811 = ORIENTED_EDGE('',*,*,#1812,.T.);
#1812 = EDGE_CURVE('',#1730,#1813,#1815,.T.);
#1813 = VERTEX_POINT('',#1814);
#1814 = CARTESIAN_POINT('',(2.65,2.8,0.15));
#1815 = LINE('',#1816,#1817);
#1816 = CARTESIAN_POINT('',(2.65,1.15,0.15));
#1817 = VECTOR('',#1818,1.);
#1818 = DIRECTION('',(-0.,1.,0.));
#1819 = ORIENTED_EDGE('',*,*,#1820,.F.);
#1820 = EDGE_CURVE('',#1674,#1813,#1821,.T.);
#1821 = LINE('',#1822,#1823);
#1822 = CARTESIAN_POINT('',(2.35,2.8,0.15));
#1823 = VECTOR('',#1824,1.);
#1824 = DIRECTION('',(1.,0.,-0.));
#1825 = PLANE('',#1826);
#1826 = AXIS2_PLACEMENT_3D('',#1827,#1828,#1829);
#1827 = CARTESIAN_POINT('',(2.35,1.15,0.15));
#1828 = DIRECTION('',(0.,0.,1.));
#1829 = DIRECTION('',(1.,0.,-0.));
#1830 = ADVANCED_FACE('',(#1831),#1849,.T.);
#1831 = FACE_BOUND('',#1832,.T.);
#1832 = EDGE_LOOP('',(#1833,#1841,#1842,#1843));
#1833 = ORIENTED_EDGE('',*,*,#1834,.F.);
#1834 = EDGE_CURVE('',#1683,#1835,#1837,.T.);
#1835 = VERTEX_POINT('',#1836);
#1836 = CARTESIAN_POINT('',(2.65,2.8,0.));
#1837 = LINE('',#1838,#1839);
#1838 = CARTESIAN_POINT('',(2.35,2.8,0.));
#1839 = VECTOR('',#1840,1.);
#1840 = DIRECTION('',(1.,0.,-0.));
#1841 = ORIENTED_EDGE('',*,*,#1690,.T.);
#1842 = ORIENTED_EDGE('',*,*,#1820,.T.);
#1843 = ORIENTED_EDGE('',*,*,#1844,.F.);
#1844 = EDGE_CURVE('',#1835,#1813,#1845,.T.);
#1845 = LINE('',#1846,#1847);
#1846 = CARTESIAN_POINT('',(2.65,2.8,0.));
#1847 = VECTOR('',#1848,1.);
#1848 = DIRECTION('',(0.,0.,1.));
#1849 = PLANE('',#1850);
#1850 = AXIS2_PLACEMENT_3D('',#1851,#1852,#1853);
#1851 = CARTESIAN_POINT('',(2.35,2.8,0.));
#1852 = DIRECTION('',(-0.,1.,0.));
#1853 = DIRECTION('',(0.,0.,1.));
#1854 = ADVANCED_FACE('',(#1855),#1866,.F.);
#1855 = FACE_BOUND('',#1856,.F.);
#1856 = EDGE_LOOP('',(#1857,#1858,#1859,#1865));
#1857 = ORIENTED_EDGE('',*,*,#1682,.F.);
#1858 = ORIENTED_EDGE('',*,*,#1714,.T.);
#1859 = ORIENTED_EDGE('',*,*,#1860,.T.);
#1860 = EDGE_CURVE('',#1707,#1835,#1861,.T.);
#1861 = LINE('',#1862,#1863);
#1862 = CARTESIAN_POINT('',(2.65,1.15,0.));
#1863 = VECTOR('',#1864,1.);
#1864 = DIRECTION('',(-0.,1.,0.));
#1865 = ORIENTED_EDGE('',*,*,#1834,.F.);
#1866 = PLANE('',#1867);
#1867 = AXIS2_PLACEMENT_3D('',#1868,#1869,#1870);
#1868 = CARTESIAN_POINT('',(2.35,1.15,0.));
#1869 = DIRECTION('',(0.,0.,1.));
#1870 = DIRECTION('',(1.,0.,-0.));
#1871 = ADVANCED_FACE('',(#1872),#1878,.T.);
#1872 = FACE_BOUND('',#1873,.T.);
#1873 = EDGE_LOOP('',(#1874,#1875,#1876,#1877));
#1874 = ORIENTED_EDGE('',*,*,#1812,.F.);
#1875 = ORIENTED_EDGE('',*,*,#1779,.F.);
#1876 = ORIENTED_EDGE('',*,*,#1860,.T.);
#1877 = ORIENTED_EDGE('',*,*,#1844,.T.);
#1878 = PLANE('',#1879);
#1879 = AXIS2_PLACEMENT_3D('',#1880,#1881,#1882);
#1880 = CARTESIAN_POINT('',(2.65,1.15,0.));
#1881 = DIRECTION('',(1.,0.,-0.));
#1882 = DIRECTION('',(0.,0.,1.));
#1883 = MANIFOLD_SOLID_BREP('',#1884);
#1884 = CLOSED_SHELL('',(#1885,#1925,#1956,#1987,#2018,#2035,#2066,#2083
    ,#2107,#2138,#2162,#2193,#2210,#2227,#2244,#2268,#2292,#2309));
#1885 = ADVANCED_FACE('',(#1886),#1920,.F.);
#1886 = FACE_BOUND('',#1887,.F.);
#1887 = EDGE_LOOP('',(#1888,#1898,#1906,#1914));
#1888 = ORIENTED_EDGE('',*,*,#1889,.F.);
#1889 = EDGE_CURVE('',#1890,#1892,#1894,.T.);
#1890 = VERTEX_POINT('',#1891);
#1891 = CARTESIAN_POINT('',(1.1,1.15,0.15));
#1892 = VERTEX_POINT('',#1893);
#1893 = CARTESIAN_POINT('',(1.1,1.7,0.15));
#1894 = LINE('',#1895,#1896);
#1895 = CARTESIAN_POINT('',(1.1,1.15,0.15));
#1896 = VECTOR('',#1897,1.);
#1897 = DIRECTION('',(-0.,1.,0.));
#1898 = ORIENTED_EDGE('',*,*,#1899,.F.);
#1899 = EDGE_CURVE('',#1900,#1890,#1902,.T.);
#1900 = VERTEX_POINT('',#1901);
#1901 = CARTESIAN_POINT('',(1.1,1.15,0.));
#1902 = LINE('',#1903,#1904);
#1903 = CARTESIAN_POINT('',(1.1,1.15,0.));
#1904 = VECTOR('',#1905,1.);
#1905 = DIRECTION('',(0.,0.,1.));
#1906 = ORIENTED_EDGE('',*,*,#1907,.T.);
#1907 = EDGE_CURVE('',#1900,#1908,#1910,.T.);
#1908 = VERTEX_POINT('',#1909);
#1909 = CARTESIAN_POINT('',(1.1,1.7,0.));
#1910 = LINE('',#1911,#1912);
#1911 = CARTESIAN_POINT('',(1.1,1.15,0.));
#1912 = VECTOR('',#1913,1.);
#1913 = DIRECTION('',(-0.,1.,0.));
#1914 = ORIENTED_EDGE('',*,*,#1915,.T.);
#1915 = EDGE_CURVE('',#1908,#1892,#1916,.T.);
#1916 = LINE('',#1917,#1918);
#1917 = CARTESIAN_POINT('',(1.1,1.7,0.));
#1918 = VECTOR('',#1919,1.);
#1919 = DIRECTION('',(0.,0.,1.));
#1920 = PLANE('',#1921);
#1921 = AXIS2_PLACEMENT_3D('',#1922,#1923,#1924);
#1922 = CARTESIAN_POINT('',(1.1,1.15,0.));
#1923 = DIRECTION('',(1.,0.,-0.));
#1924 = DIRECTION('',(0.,0.,1.));
#1925 = ADVANCED_FACE('',(#1926),#1951,.T.);
#1926 = FACE_BOUND('',#1927,.T.);
#1927 = EDGE_LOOP('',(#1928,#1929,#1937,#1945));
#1928 = ORIENTED_EDGE('',*,*,#1889,.F.);
#1929 = ORIENTED_EDGE('',*,*,#1930,.T.);
#1930 = EDGE_CURVE('',#1890,#1931,#1933,.T.);
#1931 = VERTEX_POINT('',#1932);
#1932 = CARTESIAN_POINT('',(1.4,1.15,0.15));
#1933 = LINE('',#1934,#1935);
#1934 = CARTESIAN_POINT('',(1.1,1.15,0.15));
#1935 = VECTOR('',#1936,1.);
#1936 = DIRECTION('',(1.,0.,-0.));
#1937 = ORIENTED_EDGE('',*,*,#1938,.T.);
#1938 = EDGE_CURVE('',#1931,#1939,#1941,.T.);
#1939 = VERTEX_POINT('',#1940);
#1940 = CARTESIAN_POINT('',(1.4,1.7,0.15));
#1941 = LINE('',#1942,#1943);
#1942 = CARTESIAN_POINT('',(1.4,1.15,0.15));
#1943 = VECTOR('',#1944,1.);
#1944 = DIRECTION('',(-0.,1.,0.));
#1945 = ORIENTED_EDGE('',*,*,#1946,.T.);
#1946 = EDGE_CURVE('',#1939,#1892,#1947,.T.);
#1947 = LINE('',#1948,#1949);
#1948 = CARTESIAN_POINT('',(1.1,1.7,0.15));
#1949 = VECTOR('',#1950,1.);
#1950 = DIRECTION('',(-1.,-0.,0.));
#1951 = PLANE('',#1952);
#1952 = AXIS2_PLACEMENT_3D('',#1953,#1954,#1955);
#1953 = CARTESIAN_POINT('',(1.1,1.15,0.15));
#1954 = DIRECTION('',(0.,0.,1.));
#1955 = DIRECTION('',(1.,0.,-0.));
#1956 = ADVANCED_FACE('',(#1957),#1982,.F.);
#1957 = FACE_BOUND('',#1958,.F.);
#1958 = EDGE_LOOP('',(#1959,#1967,#1968,#1976));
#1959 = ORIENTED_EDGE('',*,*,#1960,.F.);
#1960 = EDGE_CURVE('',#1892,#1961,#1963,.T.);
#1961 = VERTEX_POINT('',#1962);
#1962 = CARTESIAN_POINT('',(1.1,1.9,0.15));
#1963 = LINE('',#1964,#1965);
#1964 = CARTESIAN_POINT('',(1.1,1.15,0.15));
#1965 = VECTOR('',#1966,1.);
#1966 = DIRECTION('',(-0.,1.,0.));
#1967 = ORIENTED_EDGE('',*,*,#1915,.F.);
#1968 = ORIENTED_EDGE('',*,*,#1969,.T.);
#1969 = EDGE_CURVE('',#1908,#1970,#1972,.T.);
#1970 = VERTEX_POINT('',#1971);
#1971 = CARTESIAN_POINT('',(1.1,1.9,0.));
#1972 = LINE('',#1973,#1974);
#1973 = CARTESIAN_POINT('',(1.1,1.15,0.));
#1974 = VECTOR('',#1975,1.);
#1975 = DIRECTION('',(-0.,1.,0.));
#1976 = ORIENTED_EDGE('',*,*,#1977,.T.);
#1977 = EDGE_CURVE('',#1970,#1961,#1978,.T.);
#1978 = LINE('',#1979,#1980);
#1979 = CARTESIAN_POINT('',(1.1,1.9,0.));
#1980 = VECTOR('',#1981,1.);
#1981 = DIRECTION('',(0.,0.,1.));
#1982 = PLANE('',#1983);
#1983 = AXIS2_PLACEMENT_3D('',#1984,#1985,#1986);
#1984 = CARTESIAN_POINT('',(1.1,1.15,0.));
#1985 = DIRECTION('',(1.,0.,-0.));
#1986 = DIRECTION('',(0.,0.,1.));
#1987 = ADVANCED_FACE('',(#1988),#2013,.F.);
#1988 = FACE_BOUND('',#1989,.F.);
#1989 = EDGE_LOOP('',(#1990,#1991,#1999,#2007));
#1990 = ORIENTED_EDGE('',*,*,#1907,.F.);
#1991 = ORIENTED_EDGE('',*,*,#1992,.T.);
#1992 = EDGE_CURVE('',#1900,#1993,#1995,.T.);
#1993 = VERTEX_POINT('',#1994);
#1994 = CARTESIAN_POINT('',(1.4,1.15,0.));
#1995 = LINE('',#1996,#1997);
#1996 = CARTESIAN_POINT('',(1.1,1.15,0.));
#1997 = VECTOR('',#1998,1.);
#1998 = DIRECTION('',(1.,0.,-0.));
#1999 = ORIENTED_EDGE('',*,*,#2000,.T.);
#2000 = EDGE_CURVE('',#1993,#2001,#2003,.T.);
#2001 = VERTEX_POINT('',#2002);
#2002 = CARTESIAN_POINT('',(1.4,1.7,0.));
#2003 = LINE('',#2004,#2005);
#2004 = CARTESIAN_POINT('',(1.4,1.15,0.));
#2005 = VECTOR('',#2006,1.);
#2006 = DIRECTION('',(-0.,1.,0.));
#2007 = ORIENTED_EDGE('',*,*,#2008,.F.);
#2008 = EDGE_CURVE('',#1908,#2001,#2009,.T.);
#2009 = LINE('',#2010,#2011);
#2010 = CARTESIAN_POINT('',(1.1,1.7,0.));
#2011 = VECTOR('',#2012,1.);
#2012 = DIRECTION('',(1.,0.,-0.));
#2013 = PLANE('',#2014);
#2014 = AXIS2_PLACEMENT_3D('',#2015,#2016,#2017);
#2015 = CARTESIAN_POINT('',(1.1,1.15,0.));
#2016 = DIRECTION('',(0.,0.,1.));
#2017 = DIRECTION('',(1.,0.,-0.));
#2018 = ADVANCED_FACE('',(#2019),#2030,.F.);
#2019 = FACE_BOUND('',#2020,.F.);
#2020 = EDGE_LOOP('',(#2021,#2022,#2023,#2024));
#2021 = ORIENTED_EDGE('',*,*,#1992,.F.);
#2022 = ORIENTED_EDGE('',*,*,#1899,.T.);
#2023 = ORIENTED_EDGE('',*,*,#1930,.T.);
#2024 = ORIENTED_EDGE('',*,*,#2025,.F.);
#2025 = EDGE_CURVE('',#1993,#1931,#2026,.T.);
#2026 = LINE('',#2027,#2028);
#2027 = CARTESIAN_POINT('',(1.4,1.15,0.));
#2028 = VECTOR('',#2029,1.);
#2029 = DIRECTION('',(0.,0.,1.));
#2030 = PLANE('',#2031);
#2031 = AXIS2_PLACEMENT_3D('',#2032,#2033,#2034);
#2032 = CARTESIAN_POINT('',(1.1,1.15,0.));
#2033 = DIRECTION('',(-0.,1.,0.));
#2034 = DIRECTION('',(0.,0.,1.));
#2035 = ADVANCED_FACE('',(#2036),#2061,.F.);
#2036 = FACE_BOUND('',#2037,.F.);
#2037 = EDGE_LOOP('',(#2038,#2039,#2047,#2055));
#2038 = ORIENTED_EDGE('',*,*,#1946,.T.);
#2039 = ORIENTED_EDGE('',*,*,#2040,.T.);
#2040 = EDGE_CURVE('',#1892,#2041,#2043,.T.);
#2041 = VERTEX_POINT('',#2042);
#2042 = CARTESIAN_POINT('',(1.1,1.7,1.2));
#2043 = LINE('',#2044,#2045);
#2044 = CARTESIAN_POINT('',(1.1,1.7,0.));
#2045 = VECTOR('',#2046,1.);
#2046 = DIRECTION('',(0.,0.,1.));
#2047 = ORIENTED_EDGE('',*,*,#2048,.T.);
#2048 = EDGE_CURVE('',#2041,#2049,#2051,.T.);
#2049 = VERTEX_POINT('',#2050);
#2050 = CARTESIAN_POINT('',(1.4,1.7,1.2));
#2051 = LINE('',#2052,#2053);
#2052 = CARTESIAN_POINT('',(1.1,1.7,1.2));
#2053 = VECTOR('',#2054,1.);
#2054 = DIRECTION('',(1.,0.,-0.));
#2055 = ORIENTED_EDGE('',*,*,#2056,.F.);
#2056 = EDGE_CURVE('',#1939,#2049,#2057,.T.);
#2057 = LINE('',#2058,#2059);
#2058 = CARTESIAN_POINT('',(1.4,1.7,0.));
#2059 = VECTOR('',#2060,1.);
#2060 = DIRECTION('',(0.,0.,1.));
#2061 = PLANE('',#2062);
#2062 = AXIS2_PLACEMENT_3D('',#2063,#2064,#2065);
#2063 = CARTESIAN_POINT('',(1.1,1.7,0.));
#2064 = DIRECTION('',(-0.,1.,0.));
#2065 = DIRECTION('',(0.,0.,1.));
#2066 = ADVANCED_FACE('',(#2067),#2078,.T.);
#2067 = FACE_BOUND('',#2068,.T.);
#2068 = EDGE_LOOP('',(#2069,#2070,#2071,#2072));
#2069 = ORIENTED_EDGE('',*,*,#1938,.F.);
#2070 = ORIENTED_EDGE('',*,*,#2025,.F.);
#2071 = ORIENTED_EDGE('',*,*,#2000,.T.);
#2072 = ORIENTED_EDGE('',*,*,#2073,.T.);
#2073 = EDGE_CURVE('',#2001,#1939,#2074,.T.);
#2074 = LINE('',#2075,#2076);
#2075 = CARTESIAN_POINT('',(1.4,1.7,0.));
#2076 = VECTOR('',#2077,1.);
#2077 = DIRECTION('',(0.,0.,1.));
#2078 = PLANE('',#2079);
#2079 = AXIS2_PLACEMENT_3D('',#2080,#2081,#2082);
#2080 = CARTESIAN_POINT('',(1.4,1.15,0.));
#2081 = DIRECTION('',(1.,0.,-0.));
#2082 = DIRECTION('',(0.,0.,1.));
#2083 = ADVANCED_FACE('',(#2084),#2102,.F.);
#2084 = FACE_BOUND('',#2085,.F.);
#2085 = EDGE_LOOP('',(#2086,#2087,#2088,#2096));
#2086 = ORIENTED_EDGE('',*,*,#2040,.F.);
#2087 = ORIENTED_EDGE('',*,*,#1960,.T.);
#2088 = ORIENTED_EDGE('',*,*,#2089,.T.);
#2089 = EDGE_CURVE('',#1961,#2090,#2092,.T.);
#2090 = VERTEX_POINT('',#2091);
#2091 = CARTESIAN_POINT('',(1.1,1.9,1.2));
#2092 = LINE('',#2093,#2094);
#2093 = CARTESIAN_POINT('',(1.1,1.9,0.));
#2094 = VECTOR('',#2095,1.);
#2095 = DIRECTION('',(0.,0.,1.));
#2096 = ORIENTED_EDGE('',*,*,#2097,.F.);
#2097 = EDGE_CURVE('',#2041,#2090,#2098,.T.);
#2098 = LINE('',#2099,#2100);
#2099 = CARTESIAN_POINT('',(1.1,1.7,1.2));
#2100 = VECTOR('',#2101,1.);
#2101 = DIRECTION('',(-0.,1.,0.));
#2102 = PLANE('',#2103);
#2103 = AXIS2_PLACEMENT_3D('',#2104,#2105,#2106);
#2104 = CARTESIAN_POINT('',(1.1,1.7,0.));
#2105 = DIRECTION('',(1.,0.,-0.));
#2106 = DIRECTION('',(0.,0.,1.));
#2107 = ADVANCED_FACE('',(#2108),#2133,.F.);
#2108 = FACE_BOUND('',#2109,.F.);
#2109 = EDGE_LOOP('',(#2110,#2118,#2119,#2127));
#2110 = ORIENTED_EDGE('',*,*,#2111,.F.);
#2111 = EDGE_CURVE('',#1961,#2112,#2114,.T.);
#2112 = VERTEX_POINT('',#2113);
#2113 = CARTESIAN_POINT('',(1.1,2.8,0.15));
#2114 = LINE('',#2115,#2116);
#2115 = CARTESIAN_POINT('',(1.1,1.15,0.15));
#2116 = VECTOR('',#2117,1.);
#2117 = DIRECTION('',(-0.,1.,0.));
#2118 = ORIENTED_EDGE('',*,*,#1977,.F.);
#2119 = ORIENTED_EDGE('',*,*,#2120,.T.);
#2120 = EDGE_CURVE('',#1970,#2121,#2123,.T.);
#2121 = VERTEX_POINT('',#2122);
#2122 = CARTESIAN_POINT('',(1.1,2.8,0.));
#2123 = LINE('',#2124,#2125);
#2124 = CARTESIAN_POINT('',(1.1,1.15,0.));
#2125 = VECTOR('',#2126,1.);
#2126 = DIRECTION('',(-0.,1.,0.));
#2127 = ORIENTED_EDGE('',*,*,#2128,.T.);
#2128 = EDGE_CURVE('',#2121,#2112,#2129,.T.);
#2129 = LINE('',#2130,#2131);
#2130 = CARTESIAN_POINT('',(1.1,2.8,0.));
#2131 = VECTOR('',#2132,1.);
#2132 = DIRECTION('',(0.,0.,1.));
#2133 = PLANE('',#2134);
#2134 = AXIS2_PLACEMENT_3D('',#2135,#2136,#2137);
#2135 = CARTESIAN_POINT('',(1.1,1.15,0.));
#2136 = DIRECTION('',(1.,0.,-0.));
#2137 = DIRECTION('',(0.,0.,1.));
#2138 = ADVANCED_FACE('',(#2139),#2157,.F.);
#2139 = FACE_BOUND('',#2140,.F.);
#2140 = EDGE_LOOP('',(#2141,#2142,#2143,#2151));
#2141 = ORIENTED_EDGE('',*,*,#1969,.F.);
#2142 = ORIENTED_EDGE('',*,*,#2008,.T.);
#2143 = ORIENTED_EDGE('',*,*,#2144,.T.);
#2144 = EDGE_CURVE('',#2001,#2145,#2147,.T.);
#2145 = VERTEX_POINT('',#2146);
#2146 = CARTESIAN_POINT('',(1.4,1.9,0.));
#2147 = LINE('',#2148,#2149);
#2148 = CARTESIAN_POINT('',(1.4,1.15,0.));
#2149 = VECTOR('',#2150,1.);
#2150 = DIRECTION('',(-0.,1.,0.));
#2151 = ORIENTED_EDGE('',*,*,#2152,.F.);
#2152 = EDGE_CURVE('',#1970,#2145,#2153,.T.);
#2153 = LINE('',#2154,#2155);
#2154 = CARTESIAN_POINT('',(1.1,1.9,0.));
#2155 = VECTOR('',#2156,1.);
#2156 = DIRECTION('',(1.,0.,-0.));
#2157 = PLANE('',#2158);
#2158 = AXIS2_PLACEMENT_3D('',#2159,#2160,#2161);
#2159 = CARTESIAN_POINT('',(1.1,1.15,0.));
#2160 = DIRECTION('',(0.,0.,1.));
#2161 = DIRECTION('',(1.,0.,-0.));
#2162 = ADVANCED_FACE('',(#2163),#2188,.T.);
#2163 = FACE_BOUND('',#2164,.T.);
#2164 = EDGE_LOOP('',(#2165,#2166,#2174,#2182));
#2165 = ORIENTED_EDGE('',*,*,#2056,.F.);
#2166 = ORIENTED_EDGE('',*,*,#2167,.T.);
#2167 = EDGE_CURVE('',#1939,#2168,#2170,.T.);
#2168 = VERTEX_POINT('',#2169);
#2169 = CARTESIAN_POINT('',(1.4,1.9,0.15));
#2170 = LINE('',#2171,#2172);
#2171 = CARTESIAN_POINT('',(1.4,1.15,0.15));
#2172 = VECTOR('',#2173,1.);
#2173 = DIRECTION('',(-0.,1.,0.));
#2174 = ORIENTED_EDGE('',*,*,#2175,.T.);
#2175 = EDGE_CURVE('',#2168,#2176,#2178,.T.);
#2176 = VERTEX_POINT('',#2177);
#2177 = CARTESIAN_POINT('',(1.4,1.9,1.2));
#2178 = LINE('',#2179,#2180);
#2179 = CARTESIAN_POINT('',(1.4,1.9,0.));
#2180 = VECTOR('',#2181,1.);
#2181 = DIRECTION('',(0.,0.,1.));
#2182 = ORIENTED_EDGE('',*,*,#2183,.F.);
#2183 = EDGE_CURVE('',#2049,#2176,#2184,.T.);
#2184 = LINE('',#2185,#2186);
#2185 = CARTESIAN_POINT('',(1.4,1.7,1.2));
#2186 = VECTOR('',#2187,1.);
#2187 = DIRECTION('',(-0.,1.,0.));
#2188 = PLANE('',#2189);
#2189 = AXIS2_PLACEMENT_3D('',#2190,#2191,#2192);
#2190 = CARTESIAN_POINT('',(1.4,1.7,0.));
#2191 = DIRECTION('',(1.,0.,-0.));
#2192 = DIRECTION('',(0.,0.,1.));
#2193 = ADVANCED_FACE('',(#2194),#2205,.T.);
#2194 = FACE_BOUND('',#2195,.T.);
#2195 = EDGE_LOOP('',(#2196,#2197,#2198,#2199));
#2196 = ORIENTED_EDGE('',*,*,#2097,.F.);
#2197 = ORIENTED_EDGE('',*,*,#2048,.T.);
#2198 = ORIENTED_EDGE('',*,*,#2183,.T.);
#2199 = ORIENTED_EDGE('',*,*,#2200,.F.);
#2200 = EDGE_CURVE('',#2090,#2176,#2201,.T.);
#2201 = LINE('',#2202,#2203);
#2202 = CARTESIAN_POINT('',(1.1,1.9,1.2));
#2203 = VECTOR('',#2204,1.);
#2204 = DIRECTION('',(1.,0.,-0.));
#2205 = PLANE('',#2206);
#2206 = AXIS2_PLACEMENT_3D('',#2207,#2208,#2209);
#2207 = CARTESIAN_POINT('',(1.1,1.7,1.2));
#2208 = DIRECTION('',(0.,0.,1.));
#2209 = DIRECTION('',(1.,0.,-0.));
#2210 = ADVANCED_FACE('',(#2211),#2222,.T.);
#2211 = FACE_BOUND('',#2212,.T.);
#2212 = EDGE_LOOP('',(#2213,#2214,#2215,#2216));
#2213 = ORIENTED_EDGE('',*,*,#2167,.F.);
#2214 = ORIENTED_EDGE('',*,*,#2073,.F.);
#2215 = ORIENTED_EDGE('',*,*,#2144,.T.);
#2216 = ORIENTED_EDGE('',*,*,#2217,.T.);
#2217 = EDGE_CURVE('',#2145,#2168,#2218,.T.);
#2218 = LINE('',#2219,#2220);
#2219 = CARTESIAN_POINT('',(1.4,1.9,0.));
#2220 = VECTOR('',#2221,1.);
#2221 = DIRECTION('',(0.,0.,1.));
#2222 = PLANE('',#2223);
#2223 = AXIS2_PLACEMENT_3D('',#2224,#2225,#2226);
#2224 = CARTESIAN_POINT('',(1.4,1.15,0.));
#2225 = DIRECTION('',(1.,0.,-0.));
#2226 = DIRECTION('',(0.,0.,1.));
#2227 = ADVANCED_FACE('',(#2228),#2239,.T.);
#2228 = FACE_BOUND('',#2229,.T.);
#2229 = EDGE_LOOP('',(#2230,#2236,#2237,#2238));
#2230 = ORIENTED_EDGE('',*,*,#2231,.T.);
#2231 = EDGE_CURVE('',#2168,#1961,#2232,.T.);
#2232 = LINE('',#2233,#2234);
#2233 = CARTESIAN_POINT('',(1.1,1.9,0.15));
#2234 = VECTOR('',#2235,1.);
#2235 = DIRECTION('',(-1.,-0.,0.));
#2236 = ORIENTED_EDGE('',*,*,#2089,.T.);
#2237 = ORIENTED_EDGE('',*,*,#2200,.T.);
#2238 = ORIENTED_EDGE('',*,*,#2175,.F.);
#2239 = PLANE('',#2240);
#2240 = AXIS2_PLACEMENT_3D('',#2241,#2242,#2243);
#2241 = CARTESIAN_POINT('',(1.1,1.9,0.));
#2242 = DIRECTION('',(-0.,1.,0.));
#2243 = DIRECTION('',(0.,0.,1.));
#2244 = ADVANCED_FACE('',(#2245),#2263,.T.);
#2245 = FACE_BOUND('',#2246,.T.);
#2246 = EDGE_LOOP('',(#2247,#2248,#2249,#2257));
#2247 = ORIENTED_EDGE('',*,*,#2111,.F.);
#2248 = ORIENTED_EDGE('',*,*,#2231,.F.);
#2249 = ORIENTED_EDGE('',*,*,#2250,.T.);
#2250 = EDGE_CURVE('',#2168,#2251,#2253,.T.);
#2251 = VERTEX_POINT('',#2252);
#2252 = CARTESIAN_POINT('',(1.4,2.8,0.15));
#2253 = LINE('',#2254,#2255);
#2254 = CARTESIAN_POINT('',(1.4,1.15,0.15));
#2255 = VECTOR('',#2256,1.);
#2256 = DIRECTION('',(-0.,1.,0.));
#2257 = ORIENTED_EDGE('',*,*,#2258,.F.);
#2258 = EDGE_CURVE('',#2112,#2251,#2259,.T.);
#2259 = LINE('',#2260,#2261);
#2260 = CARTESIAN_POINT('',(1.1,2.8,0.15));
#2261 = VECTOR('',#2262,1.);
#2262 = DIRECTION('',(1.,0.,-0.));
#2263 = PLANE('',#2264);
#2264 = AXIS2_PLACEMENT_3D('',#2265,#2266,#2267);
#2265 = CARTESIAN_POINT('',(1.1,1.15,0.15));
#2266 = DIRECTION('',(0.,0.,1.));
#2267 = DIRECTION('',(1.,0.,-0.));
#2268 = ADVANCED_FACE('',(#2269),#2287,.T.);
#2269 = FACE_BOUND('',#2270,.T.);
#2270 = EDGE_LOOP('',(#2271,#2279,#2280,#2281));
#2271 = ORIENTED_EDGE('',*,*,#2272,.F.);
#2272 = EDGE_CURVE('',#2121,#2273,#2275,.T.);
#2273 = VERTEX_POINT('',#2274);
#2274 = CARTESIAN_POINT('',(1.4,2.8,0.));
#2275 = LINE('',#2276,#2277);
#2276 = CARTESIAN_POINT('',(1.1,2.8,0.));
#2277 = VECTOR('',#2278,1.);
#2278 = DIRECTION('',(1.,0.,-0.));
#2279 = ORIENTED_EDGE('',*,*,#2128,.T.);
#2280 = ORIENTED_EDGE('',*,*,#2258,.T.);
#2281 = ORIENTED_EDGE('',*,*,#2282,.F.);
#2282 = EDGE_CURVE('',#2273,#2251,#2283,.T.);
#2283 = LINE('',#2284,#2285);
#2284 = CARTESIAN_POINT('',(1.4,2.8,0.));
#2285 = VECTOR('',#2286,1.);
#2286 = DIRECTION('',(0.,0.,1.));
#2287 = PLANE('',#2288);
#2288 = AXIS2_PLACEMENT_3D('',#2289,#2290,#2291);
#2289 = CARTESIAN_POINT('',(1.1,2.8,0.));
#2290 = DIRECTION('',(-0.,1.,0.));
#2291 = DIRECTION('',(0.,0.,1.));
#2292 = ADVANCED_FACE('',(#2293),#2304,.F.);
#2293 = FACE_BOUND('',#2294,.F.);
#2294 = EDGE_LOOP('',(#2295,#2296,#2297,#2303));
#2295 = ORIENTED_EDGE('',*,*,#2120,.F.);
#2296 = ORIENTED_EDGE('',*,*,#2152,.T.);
#2297 = ORIENTED_EDGE('',*,*,#2298,.T.);
#2298 = EDGE_CURVE('',#2145,#2273,#2299,.T.);
#2299 = LINE('',#2300,#2301);
#2300 = CARTESIAN_POINT('',(1.4,1.15,0.));
#2301 = VECTOR('',#2302,1.);
#2302 = DIRECTION('',(-0.,1.,0.));
#2303 = ORIENTED_EDGE('',*,*,#2272,.F.);
#2304 = PLANE('',#2305);
#2305 = AXIS2_PLACEMENT_3D('',#2306,#2307,#2308);
#2306 = CARTESIAN_POINT('',(1.1,1.15,0.));
#2307 = DIRECTION('',(0.,0.,1.));
#2308 = DIRECTION('',(1.,0.,-0.));
#2309 = ADVANCED_FACE('',(#2310),#2316,.T.);
#2310 = FACE_BOUND('',#2311,.T.);
#2311 = EDGE_LOOP('',(#2312,#2313,#2314,#2315));
#2312 = ORIENTED_EDGE('',*,*,#2250,.F.);
#2313 = ORIENTED_EDGE('',*,*,#2217,.F.);
#2314 = ORIENTED_EDGE('',*,*,#2298,.T.);
#2315 = ORIENTED_EDGE('',*,*,#2282,.T.);
#2316 = PLANE('',#2317);
#2317 = AXIS2_PLACEMENT_3D('',#2318,#2319,#2320);
#2318 = CARTESIAN_POINT('',(1.4,1.15,0.));
#2319 = DIRECTION('',(1.,0.,-0.));
#2320 = DIRECTION('',(0.,0.,1.));
#2321 = MANIFOLD_SOLID_BREP('',#2322);
#2322 = CLOSED_SHELL('',(#2323,#2363,#2394,#2425,#2456,#2473,#2504,#2521
    ,#2545,#2576,#2600,#2631,#2648,#2665,#2682,#2706,#2730,#2747));
#2323 = ADVANCED_FACE('',(#2324),#2358,.F.);
#2324 = FACE_BOUND('',#2325,.F.);
#2325 = EDGE_LOOP('',(#2326,#2336,#2344,#2352));
#2326 = ORIENTED_EDGE('',*,*,#2327,.F.);
#2327 = EDGE_CURVE('',#2328,#2330,#2332,.T.);
#2328 = VERTEX_POINT('',#2329);
#2329 = CARTESIAN_POINT('',(-0.15,1.15,0.15));
#2330 = VERTEX_POINT('',#2331);
#2331 = CARTESIAN_POINT('',(-0.15,1.7,0.15));
#2332 = LINE('',#2333,#2334);
#2333 = CARTESIAN_POINT('',(-0.15,1.15,0.15));
#2334 = VECTOR('',#2335,1.);
#2335 = DIRECTION('',(-0.,1.,0.));
#2336 = ORIENTED_EDGE('',*,*,#2337,.F.);
#2337 = EDGE_CURVE('',#2338,#2328,#2340,.T.);
#2338 = VERTEX_POINT('',#2339);
#2339 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2340 = LINE('',#2341,#2342);
#2341 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2342 = VECTOR('',#2343,1.);
#2343 = DIRECTION('',(0.,0.,1.));
#2344 = ORIENTED_EDGE('',*,*,#2345,.T.);
#2345 = EDGE_CURVE('',#2338,#2346,#2348,.T.);
#2346 = VERTEX_POINT('',#2347);
#2347 = CARTESIAN_POINT('',(-0.15,1.7,0.));
#2348 = LINE('',#2349,#2350);
#2349 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2350 = VECTOR('',#2351,1.);
#2351 = DIRECTION('',(-0.,1.,0.));
#2352 = ORIENTED_EDGE('',*,*,#2353,.T.);
#2353 = EDGE_CURVE('',#2346,#2330,#2354,.T.);
#2354 = LINE('',#2355,#2356);
#2355 = CARTESIAN_POINT('',(-0.15,1.7,0.));
#2356 = VECTOR('',#2357,1.);
#2357 = DIRECTION('',(0.,0.,1.));
#2358 = PLANE('',#2359);
#2359 = AXIS2_PLACEMENT_3D('',#2360,#2361,#2362);
#2360 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2361 = DIRECTION('',(1.,0.,-0.));
#2362 = DIRECTION('',(0.,0.,1.));
#2363 = ADVANCED_FACE('',(#2364),#2389,.T.);
#2364 = FACE_BOUND('',#2365,.T.);
#2365 = EDGE_LOOP('',(#2366,#2367,#2375,#2383));
#2366 = ORIENTED_EDGE('',*,*,#2327,.F.);
#2367 = ORIENTED_EDGE('',*,*,#2368,.T.);
#2368 = EDGE_CURVE('',#2328,#2369,#2371,.T.);
#2369 = VERTEX_POINT('',#2370);
#2370 = CARTESIAN_POINT('',(0.15,1.15,0.15));
#2371 = LINE('',#2372,#2373);
#2372 = CARTESIAN_POINT('',(-0.15,1.15,0.15));
#2373 = VECTOR('',#2374,1.);
#2374 = DIRECTION('',(1.,0.,-0.));
#2375 = ORIENTED_EDGE('',*,*,#2376,.T.);
#2376 = EDGE_CURVE('',#2369,#2377,#2379,.T.);
#2377 = VERTEX_POINT('',#2378);
#2378 = CARTESIAN_POINT('',(0.15,1.7,0.15));
#2379 = LINE('',#2380,#2381);
#2380 = CARTESIAN_POINT('',(0.15,1.15,0.15));
#2381 = VECTOR('',#2382,1.);
#2382 = DIRECTION('',(-0.,1.,0.));
#2383 = ORIENTED_EDGE('',*,*,#2384,.T.);
#2384 = EDGE_CURVE('',#2377,#2330,#2385,.T.);
#2385 = LINE('',#2386,#2387);
#2386 = CARTESIAN_POINT('',(-0.15,1.7,0.15));
#2387 = VECTOR('',#2388,1.);
#2388 = DIRECTION('',(-1.,-0.,0.));
#2389 = PLANE('',#2390);
#2390 = AXIS2_PLACEMENT_3D('',#2391,#2392,#2393);
#2391 = CARTESIAN_POINT('',(-0.15,1.15,0.15));
#2392 = DIRECTION('',(0.,0.,1.));
#2393 = DIRECTION('',(1.,0.,-0.));
#2394 = ADVANCED_FACE('',(#2395),#2420,.F.);
#2395 = FACE_BOUND('',#2396,.F.);
#2396 = EDGE_LOOP('',(#2397,#2405,#2406,#2414));
#2397 = ORIENTED_EDGE('',*,*,#2398,.F.);
#2398 = EDGE_CURVE('',#2330,#2399,#2401,.T.);
#2399 = VERTEX_POINT('',#2400);
#2400 = CARTESIAN_POINT('',(-0.15,1.9,0.15));
#2401 = LINE('',#2402,#2403);
#2402 = CARTESIAN_POINT('',(-0.15,1.15,0.15));
#2403 = VECTOR('',#2404,1.);
#2404 = DIRECTION('',(-0.,1.,0.));
#2405 = ORIENTED_EDGE('',*,*,#2353,.F.);
#2406 = ORIENTED_EDGE('',*,*,#2407,.T.);
#2407 = EDGE_CURVE('',#2346,#2408,#2410,.T.);
#2408 = VERTEX_POINT('',#2409);
#2409 = CARTESIAN_POINT('',(-0.15,1.9,0.));
#2410 = LINE('',#2411,#2412);
#2411 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2412 = VECTOR('',#2413,1.);
#2413 = DIRECTION('',(-0.,1.,0.));
#2414 = ORIENTED_EDGE('',*,*,#2415,.T.);
#2415 = EDGE_CURVE('',#2408,#2399,#2416,.T.);
#2416 = LINE('',#2417,#2418);
#2417 = CARTESIAN_POINT('',(-0.15,1.9,0.));
#2418 = VECTOR('',#2419,1.);
#2419 = DIRECTION('',(0.,0.,1.));
#2420 = PLANE('',#2421);
#2421 = AXIS2_PLACEMENT_3D('',#2422,#2423,#2424);
#2422 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2423 = DIRECTION('',(1.,0.,-0.));
#2424 = DIRECTION('',(0.,0.,1.));
#2425 = ADVANCED_FACE('',(#2426),#2451,.F.);
#2426 = FACE_BOUND('',#2427,.F.);
#2427 = EDGE_LOOP('',(#2428,#2429,#2437,#2445));
#2428 = ORIENTED_EDGE('',*,*,#2345,.F.);
#2429 = ORIENTED_EDGE('',*,*,#2430,.T.);
#2430 = EDGE_CURVE('',#2338,#2431,#2433,.T.);
#2431 = VERTEX_POINT('',#2432);
#2432 = CARTESIAN_POINT('',(0.15,1.15,0.));
#2433 = LINE('',#2434,#2435);
#2434 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2435 = VECTOR('',#2436,1.);
#2436 = DIRECTION('',(1.,0.,-0.));
#2437 = ORIENTED_EDGE('',*,*,#2438,.T.);
#2438 = EDGE_CURVE('',#2431,#2439,#2441,.T.);
#2439 = VERTEX_POINT('',#2440);
#2440 = CARTESIAN_POINT('',(0.15,1.7,0.));
#2441 = LINE('',#2442,#2443);
#2442 = CARTESIAN_POINT('',(0.15,1.15,0.));
#2443 = VECTOR('',#2444,1.);
#2444 = DIRECTION('',(-0.,1.,0.));
#2445 = ORIENTED_EDGE('',*,*,#2446,.F.);
#2446 = EDGE_CURVE('',#2346,#2439,#2447,.T.);
#2447 = LINE('',#2448,#2449);
#2448 = CARTESIAN_POINT('',(-0.15,1.7,0.));
#2449 = VECTOR('',#2450,1.);
#2450 = DIRECTION('',(1.,0.,-0.));
#2451 = PLANE('',#2452);
#2452 = AXIS2_PLACEMENT_3D('',#2453,#2454,#2455);
#2453 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2454 = DIRECTION('',(0.,0.,1.));
#2455 = DIRECTION('',(1.,0.,-0.));
#2456 = ADVANCED_FACE('',(#2457),#2468,.F.);
#2457 = FACE_BOUND('',#2458,.F.);
#2458 = EDGE_LOOP('',(#2459,#2460,#2461,#2462));
#2459 = ORIENTED_EDGE('',*,*,#2430,.F.);
#2460 = ORIENTED_EDGE('',*,*,#2337,.T.);
#2461 = ORIENTED_EDGE('',*,*,#2368,.T.);
#2462 = ORIENTED_EDGE('',*,*,#2463,.F.);
#2463 = EDGE_CURVE('',#2431,#2369,#2464,.T.);
#2464 = LINE('',#2465,#2466);
#2465 = CARTESIAN_POINT('',(0.15,1.15,0.));
#2466 = VECTOR('',#2467,1.);
#2467 = DIRECTION('',(0.,0.,1.));
#2468 = PLANE('',#2469);
#2469 = AXIS2_PLACEMENT_3D('',#2470,#2471,#2472);
#2470 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2471 = DIRECTION('',(-0.,1.,0.));
#2472 = DIRECTION('',(0.,0.,1.));
#2473 = ADVANCED_FACE('',(#2474),#2499,.F.);
#2474 = FACE_BOUND('',#2475,.F.);
#2475 = EDGE_LOOP('',(#2476,#2477,#2485,#2493));
#2476 = ORIENTED_EDGE('',*,*,#2384,.T.);
#2477 = ORIENTED_EDGE('',*,*,#2478,.T.);
#2478 = EDGE_CURVE('',#2330,#2479,#2481,.T.);
#2479 = VERTEX_POINT('',#2480);
#2480 = CARTESIAN_POINT('',(-0.15,1.7,1.2));
#2481 = LINE('',#2482,#2483);
#2482 = CARTESIAN_POINT('',(-0.15,1.7,0.));
#2483 = VECTOR('',#2484,1.);
#2484 = DIRECTION('',(0.,0.,1.));
#2485 = ORIENTED_EDGE('',*,*,#2486,.T.);
#2486 = EDGE_CURVE('',#2479,#2487,#2489,.T.);
#2487 = VERTEX_POINT('',#2488);
#2488 = CARTESIAN_POINT('',(0.15,1.7,1.2));
#2489 = LINE('',#2490,#2491);
#2490 = CARTESIAN_POINT('',(-0.15,1.7,1.2));
#2491 = VECTOR('',#2492,1.);
#2492 = DIRECTION('',(1.,0.,-0.));
#2493 = ORIENTED_EDGE('',*,*,#2494,.F.);
#2494 = EDGE_CURVE('',#2377,#2487,#2495,.T.);
#2495 = LINE('',#2496,#2497);
#2496 = CARTESIAN_POINT('',(0.15,1.7,0.));
#2497 = VECTOR('',#2498,1.);
#2498 = DIRECTION('',(0.,0.,1.));
#2499 = PLANE('',#2500);
#2500 = AXIS2_PLACEMENT_3D('',#2501,#2502,#2503);
#2501 = CARTESIAN_POINT('',(-0.15,1.7,0.));
#2502 = DIRECTION('',(-0.,1.,0.));
#2503 = DIRECTION('',(0.,0.,1.));
#2504 = ADVANCED_FACE('',(#2505),#2516,.T.);
#2505 = FACE_BOUND('',#2506,.T.);
#2506 = EDGE_LOOP('',(#2507,#2508,#2509,#2510));
#2507 = ORIENTED_EDGE('',*,*,#2376,.F.);
#2508 = ORIENTED_EDGE('',*,*,#2463,.F.);
#2509 = ORIENTED_EDGE('',*,*,#2438,.T.);
#2510 = ORIENTED_EDGE('',*,*,#2511,.T.);
#2511 = EDGE_CURVE('',#2439,#2377,#2512,.T.);
#2512 = LINE('',#2513,#2514);
#2513 = CARTESIAN_POINT('',(0.15,1.7,0.));
#2514 = VECTOR('',#2515,1.);
#2515 = DIRECTION('',(0.,0.,1.));
#2516 = PLANE('',#2517);
#2517 = AXIS2_PLACEMENT_3D('',#2518,#2519,#2520);
#2518 = CARTESIAN_POINT('',(0.15,1.15,0.));
#2519 = DIRECTION('',(1.,0.,-0.));
#2520 = DIRECTION('',(0.,0.,1.));
#2521 = ADVANCED_FACE('',(#2522),#2540,.F.);
#2522 = FACE_BOUND('',#2523,.F.);
#2523 = EDGE_LOOP('',(#2524,#2525,#2526,#2534));
#2524 = ORIENTED_EDGE('',*,*,#2478,.F.);
#2525 = ORIENTED_EDGE('',*,*,#2398,.T.);
#2526 = ORIENTED_EDGE('',*,*,#2527,.T.);
#2527 = EDGE_CURVE('',#2399,#2528,#2530,.T.);
#2528 = VERTEX_POINT('',#2529);
#2529 = CARTESIAN_POINT('',(-0.15,1.9,1.2));
#2530 = LINE('',#2531,#2532);
#2531 = CARTESIAN_POINT('',(-0.15,1.9,0.));
#2532 = VECTOR('',#2533,1.);
#2533 = DIRECTION('',(0.,0.,1.));
#2534 = ORIENTED_EDGE('',*,*,#2535,.F.);
#2535 = EDGE_CURVE('',#2479,#2528,#2536,.T.);
#2536 = LINE('',#2537,#2538);
#2537 = CARTESIAN_POINT('',(-0.15,1.7,1.2));
#2538 = VECTOR('',#2539,1.);
#2539 = DIRECTION('',(-0.,1.,0.));
#2540 = PLANE('',#2541);
#2541 = AXIS2_PLACEMENT_3D('',#2542,#2543,#2544);
#2542 = CARTESIAN_POINT('',(-0.15,1.7,0.));
#2543 = DIRECTION('',(1.,0.,-0.));
#2544 = DIRECTION('',(0.,0.,1.));
#2545 = ADVANCED_FACE('',(#2546),#2571,.F.);
#2546 = FACE_BOUND('',#2547,.F.);
#2547 = EDGE_LOOP('',(#2548,#2556,#2557,#2565));
#2548 = ORIENTED_EDGE('',*,*,#2549,.F.);
#2549 = EDGE_CURVE('',#2399,#2550,#2552,.T.);
#2550 = VERTEX_POINT('',#2551);
#2551 = CARTESIAN_POINT('',(-0.15,2.8,0.15));
#2552 = LINE('',#2553,#2554);
#2553 = CARTESIAN_POINT('',(-0.15,1.15,0.15));
#2554 = VECTOR('',#2555,1.);
#2555 = DIRECTION('',(-0.,1.,0.));
#2556 = ORIENTED_EDGE('',*,*,#2415,.F.);
#2557 = ORIENTED_EDGE('',*,*,#2558,.T.);
#2558 = EDGE_CURVE('',#2408,#2559,#2561,.T.);
#2559 = VERTEX_POINT('',#2560);
#2560 = CARTESIAN_POINT('',(-0.15,2.8,0.));
#2561 = LINE('',#2562,#2563);
#2562 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2563 = VECTOR('',#2564,1.);
#2564 = DIRECTION('',(-0.,1.,0.));
#2565 = ORIENTED_EDGE('',*,*,#2566,.T.);
#2566 = EDGE_CURVE('',#2559,#2550,#2567,.T.);
#2567 = LINE('',#2568,#2569);
#2568 = CARTESIAN_POINT('',(-0.15,2.8,0.));
#2569 = VECTOR('',#2570,1.);
#2570 = DIRECTION('',(0.,0.,1.));
#2571 = PLANE('',#2572);
#2572 = AXIS2_PLACEMENT_3D('',#2573,#2574,#2575);
#2573 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2574 = DIRECTION('',(1.,0.,-0.));
#2575 = DIRECTION('',(0.,0.,1.));
#2576 = ADVANCED_FACE('',(#2577),#2595,.F.);
#2577 = FACE_BOUND('',#2578,.F.);
#2578 = EDGE_LOOP('',(#2579,#2580,#2581,#2589));
#2579 = ORIENTED_EDGE('',*,*,#2407,.F.);
#2580 = ORIENTED_EDGE('',*,*,#2446,.T.);
#2581 = ORIENTED_EDGE('',*,*,#2582,.T.);
#2582 = EDGE_CURVE('',#2439,#2583,#2585,.T.);
#2583 = VERTEX_POINT('',#2584);
#2584 = CARTESIAN_POINT('',(0.15,1.9,0.));
#2585 = LINE('',#2586,#2587);
#2586 = CARTESIAN_POINT('',(0.15,1.15,0.));
#2587 = VECTOR('',#2588,1.);
#2588 = DIRECTION('',(-0.,1.,0.));
#2589 = ORIENTED_EDGE('',*,*,#2590,.F.);
#2590 = EDGE_CURVE('',#2408,#2583,#2591,.T.);
#2591 = LINE('',#2592,#2593);
#2592 = CARTESIAN_POINT('',(-0.15,1.9,0.));
#2593 = VECTOR('',#2594,1.);
#2594 = DIRECTION('',(1.,0.,-0.));
#2595 = PLANE('',#2596);
#2596 = AXIS2_PLACEMENT_3D('',#2597,#2598,#2599);
#2597 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2598 = DIRECTION('',(0.,0.,1.));
#2599 = DIRECTION('',(1.,0.,-0.));
#2600 = ADVANCED_FACE('',(#2601),#2626,.T.);
#2601 = FACE_BOUND('',#2602,.T.);
#2602 = EDGE_LOOP('',(#2603,#2604,#2612,#2620));
#2603 = ORIENTED_EDGE('',*,*,#2494,.F.);
#2604 = ORIENTED_EDGE('',*,*,#2605,.T.);
#2605 = EDGE_CURVE('',#2377,#2606,#2608,.T.);
#2606 = VERTEX_POINT('',#2607);
#2607 = CARTESIAN_POINT('',(0.15,1.9,0.15));
#2608 = LINE('',#2609,#2610);
#2609 = CARTESIAN_POINT('',(0.15,1.15,0.15));
#2610 = VECTOR('',#2611,1.);
#2611 = DIRECTION('',(-0.,1.,0.));
#2612 = ORIENTED_EDGE('',*,*,#2613,.T.);
#2613 = EDGE_CURVE('',#2606,#2614,#2616,.T.);
#2614 = VERTEX_POINT('',#2615);
#2615 = CARTESIAN_POINT('',(0.15,1.9,1.2));
#2616 = LINE('',#2617,#2618);
#2617 = CARTESIAN_POINT('',(0.15,1.9,0.));
#2618 = VECTOR('',#2619,1.);
#2619 = DIRECTION('',(0.,0.,1.));
#2620 = ORIENTED_EDGE('',*,*,#2621,.F.);
#2621 = EDGE_CURVE('',#2487,#2614,#2622,.T.);
#2622 = LINE('',#2623,#2624);
#2623 = CARTESIAN_POINT('',(0.15,1.7,1.2));
#2624 = VECTOR('',#2625,1.);
#2625 = DIRECTION('',(-0.,1.,0.));
#2626 = PLANE('',#2627);
#2627 = AXIS2_PLACEMENT_3D('',#2628,#2629,#2630);
#2628 = CARTESIAN_POINT('',(0.15,1.7,0.));
#2629 = DIRECTION('',(1.,0.,-0.));
#2630 = DIRECTION('',(0.,0.,1.));
#2631 = ADVANCED_FACE('',(#2632),#2643,.T.);
#2632 = FACE_BOUND('',#2633,.T.);
#2633 = EDGE_LOOP('',(#2634,#2635,#2636,#2637));
#2634 = ORIENTED_EDGE('',*,*,#2535,.F.);
#2635 = ORIENTED_EDGE('',*,*,#2486,.T.);
#2636 = ORIENTED_EDGE('',*,*,#2621,.T.);
#2637 = ORIENTED_EDGE('',*,*,#2638,.F.);
#2638 = EDGE_CURVE('',#2528,#2614,#2639,.T.);
#2639 = LINE('',#2640,#2641);
#2640 = CARTESIAN_POINT('',(-0.15,1.9,1.2));
#2641 = VECTOR('',#2642,1.);
#2642 = DIRECTION('',(1.,0.,-0.));
#2643 = PLANE('',#2644);
#2644 = AXIS2_PLACEMENT_3D('',#2645,#2646,#2647);
#2645 = CARTESIAN_POINT('',(-0.15,1.7,1.2));
#2646 = DIRECTION('',(0.,0.,1.));
#2647 = DIRECTION('',(1.,0.,-0.));
#2648 = ADVANCED_FACE('',(#2649),#2660,.T.);
#2649 = FACE_BOUND('',#2650,.T.);
#2650 = EDGE_LOOP('',(#2651,#2652,#2653,#2654));
#2651 = ORIENTED_EDGE('',*,*,#2605,.F.);
#2652 = ORIENTED_EDGE('',*,*,#2511,.F.);
#2653 = ORIENTED_EDGE('',*,*,#2582,.T.);
#2654 = ORIENTED_EDGE('',*,*,#2655,.T.);
#2655 = EDGE_CURVE('',#2583,#2606,#2656,.T.);
#2656 = LINE('',#2657,#2658);
#2657 = CARTESIAN_POINT('',(0.15,1.9,0.));
#2658 = VECTOR('',#2659,1.);
#2659 = DIRECTION('',(0.,0.,1.));
#2660 = PLANE('',#2661);
#2661 = AXIS2_PLACEMENT_3D('',#2662,#2663,#2664);
#2662 = CARTESIAN_POINT('',(0.15,1.15,0.));
#2663 = DIRECTION('',(1.,0.,-0.));
#2664 = DIRECTION('',(0.,0.,1.));
#2665 = ADVANCED_FACE('',(#2666),#2677,.T.);
#2666 = FACE_BOUND('',#2667,.T.);
#2667 = EDGE_LOOP('',(#2668,#2674,#2675,#2676));
#2668 = ORIENTED_EDGE('',*,*,#2669,.T.);
#2669 = EDGE_CURVE('',#2606,#2399,#2670,.T.);
#2670 = LINE('',#2671,#2672);
#2671 = CARTESIAN_POINT('',(-0.15,1.9,0.15));
#2672 = VECTOR('',#2673,1.);
#2673 = DIRECTION('',(-1.,-0.,0.));
#2674 = ORIENTED_EDGE('',*,*,#2527,.T.);
#2675 = ORIENTED_EDGE('',*,*,#2638,.T.);
#2676 = ORIENTED_EDGE('',*,*,#2613,.F.);
#2677 = PLANE('',#2678);
#2678 = AXIS2_PLACEMENT_3D('',#2679,#2680,#2681);
#2679 = CARTESIAN_POINT('',(-0.15,1.9,0.));
#2680 = DIRECTION('',(-0.,1.,0.));
#2681 = DIRECTION('',(0.,0.,1.));
#2682 = ADVANCED_FACE('',(#2683),#2701,.T.);
#2683 = FACE_BOUND('',#2684,.T.);
#2684 = EDGE_LOOP('',(#2685,#2686,#2687,#2695));
#2685 = ORIENTED_EDGE('',*,*,#2549,.F.);
#2686 = ORIENTED_EDGE('',*,*,#2669,.F.);
#2687 = ORIENTED_EDGE('',*,*,#2688,.T.);
#2688 = EDGE_CURVE('',#2606,#2689,#2691,.T.);
#2689 = VERTEX_POINT('',#2690);
#2690 = CARTESIAN_POINT('',(0.15,2.8,0.15));
#2691 = LINE('',#2692,#2693);
#2692 = CARTESIAN_POINT('',(0.15,1.15,0.15));
#2693 = VECTOR('',#2694,1.);
#2694 = DIRECTION('',(-0.,1.,0.));
#2695 = ORIENTED_EDGE('',*,*,#2696,.F.);
#2696 = EDGE_CURVE('',#2550,#2689,#2697,.T.);
#2697 = LINE('',#2698,#2699);
#2698 = CARTESIAN_POINT('',(-0.15,2.8,0.15));
#2699 = VECTOR('',#2700,1.);
#2700 = DIRECTION('',(1.,0.,-0.));
#2701 = PLANE('',#2702);
#2702 = AXIS2_PLACEMENT_3D('',#2703,#2704,#2705);
#2703 = CARTESIAN_POINT('',(-0.15,1.15,0.15));
#2704 = DIRECTION('',(0.,0.,1.));
#2705 = DIRECTION('',(1.,0.,-0.));
#2706 = ADVANCED_FACE('',(#2707),#2725,.T.);
#2707 = FACE_BOUND('',#2708,.T.);
#2708 = EDGE_LOOP('',(#2709,#2717,#2718,#2719));
#2709 = ORIENTED_EDGE('',*,*,#2710,.F.);
#2710 = EDGE_CURVE('',#2559,#2711,#2713,.T.);
#2711 = VERTEX_POINT('',#2712);
#2712 = CARTESIAN_POINT('',(0.15,2.8,0.));
#2713 = LINE('',#2714,#2715);
#2714 = CARTESIAN_POINT('',(-0.15,2.8,0.));
#2715 = VECTOR('',#2716,1.);
#2716 = DIRECTION('',(1.,0.,-0.));
#2717 = ORIENTED_EDGE('',*,*,#2566,.T.);
#2718 = ORIENTED_EDGE('',*,*,#2696,.T.);
#2719 = ORIENTED_EDGE('',*,*,#2720,.F.);
#2720 = EDGE_CURVE('',#2711,#2689,#2721,.T.);
#2721 = LINE('',#2722,#2723);
#2722 = CARTESIAN_POINT('',(0.15,2.8,0.));
#2723 = VECTOR('',#2724,1.);
#2724 = DIRECTION('',(0.,0.,1.));
#2725 = PLANE('',#2726);
#2726 = AXIS2_PLACEMENT_3D('',#2727,#2728,#2729);
#2727 = CARTESIAN_POINT('',(-0.15,2.8,0.));
#2728 = DIRECTION('',(-0.,1.,0.));
#2729 = DIRECTION('',(0.,0.,1.));
#2730 = ADVANCED_FACE('',(#2731),#2742,.F.);
#2731 = FACE_BOUND('',#2732,.F.);
#2732 = EDGE_LOOP('',(#2733,#2734,#2735,#2741));
#2733 = ORIENTED_EDGE('',*,*,#2558,.F.);
#2734 = ORIENTED_EDGE('',*,*,#2590,.T.);
#2735 = ORIENTED_EDGE('',*,*,#2736,.T.);
#2736 = EDGE_CURVE('',#2583,#2711,#2737,.T.);
#2737 = LINE('',#2738,#2739);
#2738 = CARTESIAN_POINT('',(0.15,1.15,0.));
#2739 = VECTOR('',#2740,1.);
#2740 = DIRECTION('',(-0.,1.,0.));
#2741 = ORIENTED_EDGE('',*,*,#2710,.F.);
#2742 = PLANE('',#2743);
#2743 = AXIS2_PLACEMENT_3D('',#2744,#2745,#2746);
#2744 = CARTESIAN_POINT('',(-0.15,1.15,0.));
#2745 = DIRECTION('',(0.,0.,1.));
#2746 = DIRECTION('',(1.,0.,-0.));
#2747 = ADVANCED_FACE('',(#2748),#2754,.T.);
#2748 = FACE_BOUND('',#2749,.T.);
#2749 = EDGE_LOOP('',(#2750,#2751,#2752,#2753));
#2750 = ORIENTED_EDGE('',*,*,#2688,.F.);
#2751 = ORIENTED_EDGE('',*,*,#2655,.F.);
#2752 = ORIENTED_EDGE('',*,*,#2736,.T.);
#2753 = ORIENTED_EDGE('',*,*,#2720,.T.);
#2754 = PLANE('',#2755);
#2755 = AXIS2_PLACEMENT_3D('',#2756,#2757,#2758);
#2756 = CARTESIAN_POINT('',(0.15,1.15,0.));
#2757 = DIRECTION('',(1.,0.,-0.));
#2758 = DIRECTION('',(0.,0.,1.));
#2759 = MANIFOLD_SOLID_BREP('',#2760);
#2760 = CLOSED_SHELL('',(#2761,#2801,#2841,#2863,#2885,#2897));
#2761 = ADVANCED_FACE('',(#2762),#2796,.F.);
#2762 = FACE_BOUND('',#2763,.F.);
#2763 = EDGE_LOOP('',(#2764,#2774,#2782,#2790));
#2764 = ORIENTED_EDGE('',*,*,#2765,.F.);
#2765 = EDGE_CURVE('',#2766,#2768,#2770,.T.);
#2766 = VERTEX_POINT('',#2767);
#2767 = CARTESIAN_POINT('',(-2.85,-2.8,0.));
#2768 = VERTEX_POINT('',#2769);
#2769 = CARTESIAN_POINT('',(-2.85,-2.8,1.6));
#2770 = LINE('',#2771,#2772);
#2771 = CARTESIAN_POINT('',(-2.85,-2.8,0.));
#2772 = VECTOR('',#2773,1.);
#2773 = DIRECTION('',(0.,0.,1.));
#2774 = ORIENTED_EDGE('',*,*,#2775,.T.);
#2775 = EDGE_CURVE('',#2766,#2776,#2778,.T.);
#2776 = VERTEX_POINT('',#2777);
#2777 = CARTESIAN_POINT('',(-2.85,0.,0.));
#2778 = LINE('',#2779,#2780);
#2779 = CARTESIAN_POINT('',(-2.85,-2.8,0.));
#2780 = VECTOR('',#2781,1.);
#2781 = DIRECTION('',(-0.,1.,0.));
#2782 = ORIENTED_EDGE('',*,*,#2783,.T.);
#2783 = EDGE_CURVE('',#2776,#2784,#2786,.T.);
#2784 = VERTEX_POINT('',#2785);
#2785 = CARTESIAN_POINT('',(-2.85,0.,1.6));
#2786 = LINE('',#2787,#2788);
#2787 = CARTESIAN_POINT('',(-2.85,0.,0.));
#2788 = VECTOR('',#2789,1.);
#2789 = DIRECTION('',(0.,0.,1.));
#2790 = ORIENTED_EDGE('',*,*,#2791,.F.);
#2791 = EDGE_CURVE('',#2768,#2784,#2792,.T.);
#2792 = LINE('',#2793,#2794);
#2793 = CARTESIAN_POINT('',(-2.85,-2.8,1.6));
#2794 = VECTOR('',#2795,1.);
#2795 = DIRECTION('',(-0.,1.,0.));
#2796 = PLANE('',#2797);
#2797 = AXIS2_PLACEMENT_3D('',#2798,#2799,#2800);
#2798 = CARTESIAN_POINT('',(-2.85,-2.8,0.));
#2799 = DIRECTION('',(1.,0.,-0.));
#2800 = DIRECTION('',(0.,0.,1.));
#2801 = ADVANCED_FACE('',(#2802),#2836,.T.);
#2802 = FACE_BOUND('',#2803,.T.);
#2803 = EDGE_LOOP('',(#2804,#2814,#2822,#2830));
#2804 = ORIENTED_EDGE('',*,*,#2805,.F.);
#2805 = EDGE_CURVE('',#2806,#2808,#2810,.T.);
#2806 = VERTEX_POINT('',#2807);
#2807 = CARTESIAN_POINT('',(-1.85,-2.8,0.));
#2808 = VERTEX_POINT('',#2809);
#2809 = CARTESIAN_POINT('',(-1.85,-2.8,1.6));
#2810 = LINE('',#2811,#2812);
#2811 = CARTESIAN_POINT('',(-1.85,-2.8,0.));
#2812 = VECTOR('',#2813,1.);
#2813 = DIRECTION('',(0.,0.,1.));
#2814 = ORIENTED_EDGE('',*,*,#2815,.T.);
#2815 = EDGE_CURVE('',#2806,#2816,#2818,.T.);
#2816 = VERTEX_POINT('',#2817);
#2817 = CARTESIAN_POINT('',(-1.85,0.,0.));
#2818 = LINE('',#2819,#2820);
#2819 = CARTESIAN_POINT('',(-1.85,-2.8,0.));
#2820 = VECTOR('',#2821,1.);
#2821 = DIRECTION('',(-0.,1.,0.));
#2822 = ORIENTED_EDGE('',*,*,#2823,.T.);
#2823 = EDGE_CURVE('',#2816,#2824,#2826,.T.);
#2824 = VERTEX_POINT('',#2825);
#2825 = CARTESIAN_POINT('',(-1.85,0.,1.6));
#2826 = LINE('',#2827,#2828);
#2827 = CARTESIAN_POINT('',(-1.85,0.,0.));
#2828 = VECTOR('',#2829,1.);
#2829 = DIRECTION('',(0.,0.,1.));
#2830 = ORIENTED_EDGE('',*,*,#2831,.F.);
#2831 = EDGE_CURVE('',#2808,#2824,#2832,.T.);
#2832 = LINE('',#2833,#2834);
#2833 = CARTESIAN_POINT('',(-1.85,-2.8,1.6));
#2834 = VECTOR('',#2835,1.);
#2835 = DIRECTION('',(-0.,1.,0.));
#2836 = PLANE('',#2837);
#2837 = AXIS2_PLACEMENT_3D('',#2838,#2839,#2840);
#2838 = CARTESIAN_POINT('',(-1.85,-2.8,0.));
#2839 = DIRECTION('',(1.,0.,-0.));
#2840 = DIRECTION('',(0.,0.,1.));
#2841 = ADVANCED_FACE('',(#2842),#2858,.F.);
#2842 = FACE_BOUND('',#2843,.F.);
#2843 = EDGE_LOOP('',(#2844,#2850,#2851,#2857));
#2844 = ORIENTED_EDGE('',*,*,#2845,.F.);
#2845 = EDGE_CURVE('',#2766,#2806,#2846,.T.);
#2846 = LINE('',#2847,#2848);
#2847 = CARTESIAN_POINT('',(-2.85,-2.8,0.));
#2848 = VECTOR('',#2849,1.);
#2849 = DIRECTION('',(1.,0.,-0.));
#2850 = ORIENTED_EDGE('',*,*,#2765,.T.);
#2851 = ORIENTED_EDGE('',*,*,#2852,.T.);
#2852 = EDGE_CURVE('',#2768,#2808,#2853,.T.);
#2853 = LINE('',#2854,#2855);
#2854 = CARTESIAN_POINT('',(-2.85,-2.8,1.6));
#2855 = VECTOR('',#2856,1.);
#2856 = DIRECTION('',(1.,0.,-0.));
#2857 = ORIENTED_EDGE('',*,*,#2805,.F.);
#2858 = PLANE('',#2859);
#2859 = AXIS2_PLACEMENT_3D('',#2860,#2861,#2862);
#2860 = CARTESIAN_POINT('',(-2.85,-2.8,0.));
#2861 = DIRECTION('',(-0.,1.,0.));
#2862 = DIRECTION('',(0.,0.,1.));
#2863 = ADVANCED_FACE('',(#2864),#2880,.T.);
#2864 = FACE_BOUND('',#2865,.T.);
#2865 = EDGE_LOOP('',(#2866,#2872,#2873,#2879));
#2866 = ORIENTED_EDGE('',*,*,#2867,.F.);
#2867 = EDGE_CURVE('',#2776,#2816,#2868,.T.);
#2868 = LINE('',#2869,#2870);
#2869 = CARTESIAN_POINT('',(-2.85,0.,0.));
#2870 = VECTOR('',#2871,1.);
#2871 = DIRECTION('',(1.,0.,-0.));
#2872 = ORIENTED_EDGE('',*,*,#2783,.T.);
#2873 = ORIENTED_EDGE('',*,*,#2874,.T.);
#2874 = EDGE_CURVE('',#2784,#2824,#2875,.T.);
#2875 = LINE('',#2876,#2877);
#2876 = CARTESIAN_POINT('',(-2.85,0.,1.6));
#2877 = VECTOR('',#2878,1.);
#2878 = DIRECTION('',(1.,0.,-0.));
#2879 = ORIENTED_EDGE('',*,*,#2823,.F.);
#2880 = PLANE('',#2881);
#2881 = AXIS2_PLACEMENT_3D('',#2882,#2883,#2884);
#2882 = CARTESIAN_POINT('',(-2.85,0.,0.));
#2883 = DIRECTION('',(-0.,1.,0.));
#2884 = DIRECTION('',(0.,0.,1.));
#2885 = ADVANCED_FACE('',(#2886),#2892,.F.);
#2886 = FACE_BOUND('',#2887,.F.);
#2887 = EDGE_LOOP('',(#2888,#2889,#2890,#2891));
#2888 = ORIENTED_EDGE('',*,*,#2775,.F.);
#2889 = ORIENTED_EDGE('',*,*,#2845,.T.);
#2890 = ORIENTED_EDGE('',*,*,#2815,.T.);
#2891 = ORIENTED_EDGE('',*,*,#2867,.F.);
#2892 = PLANE('',#2893);
#2893 = AXIS2_PLACEMENT_3D('',#2894,#2895,#2896);
#2894 = CARTESIAN_POINT('',(-2.85,-2.8,0.));
#2895 = DIRECTION('',(0.,0.,1.));
#2896 = DIRECTION('',(1.,0.,-0.));
#2897 = ADVANCED_FACE('',(#2898),#2904,.T.);
#2898 = FACE_BOUND('',#2899,.T.);
#2899 = EDGE_LOOP('',(#2900,#2901,#2902,#2903));
#2900 = ORIENTED_EDGE('',*,*,#2791,.F.);
#2901 = ORIENTED_EDGE('',*,*,#2852,.T.);
#2902 = ORIENTED_EDGE('',*,*,#2831,.T.);
#2903 = ORIENTED_EDGE('',*,*,#2874,.F.);
#2904 = PLANE('',#2905);
#2905 = AXIS2_PLACEMENT_3D('',#2906,#2907,#2908);
#2906 = CARTESIAN_POINT('',(-2.85,-2.8,1.6));
#2907 = DIRECTION('',(0.,0.,1.));
#2908 = DIRECTION('',(1.,0.,-0.));
#2909 = MANIFOLD_SOLID_BREP('',#2910);
#2910 = CLOSED_SHELL('',(#2911,#2951,#2991,#3013,#3035,#3047));
#2911 = ADVANCED_FACE('',(#2912),#2946,.F.);
#2912 = FACE_BOUND('',#2913,.F.);
#2913 = EDGE_LOOP('',(#2914,#2924,#2932,#2940));
#2914 = ORIENTED_EDGE('',*,*,#2915,.F.);
#2915 = EDGE_CURVE('',#2916,#2918,#2920,.T.);
#2916 = VERTEX_POINT('',#2917);
#2917 = CARTESIAN_POINT('',(6.85,-2.8,0.));
#2918 = VERTEX_POINT('',#2919);
#2919 = CARTESIAN_POINT('',(6.85,-2.8,1.6));
#2920 = LINE('',#2921,#2922);
#2921 = CARTESIAN_POINT('',(6.85,-2.8,0.));
#2922 = VECTOR('',#2923,1.);
#2923 = DIRECTION('',(0.,0.,1.));
#2924 = ORIENTED_EDGE('',*,*,#2925,.T.);
#2925 = EDGE_CURVE('',#2916,#2926,#2928,.T.);
#2926 = VERTEX_POINT('',#2927);
#2927 = CARTESIAN_POINT('',(6.85,0.,0.));
#2928 = LINE('',#2929,#2930);
#2929 = CARTESIAN_POINT('',(6.85,-2.8,0.));
#2930 = VECTOR('',#2931,1.);
#2931 = DIRECTION('',(-0.,1.,0.));
#2932 = ORIENTED_EDGE('',*,*,#2933,.T.);
#2933 = EDGE_CURVE('',#2926,#2934,#2936,.T.);
#2934 = VERTEX_POINT('',#2935);
#2935 = CARTESIAN_POINT('',(6.85,0.,1.6));
#2936 = LINE('',#2937,#2938);
#2937 = CARTESIAN_POINT('',(6.85,0.,0.));
#2938 = VECTOR('',#2939,1.);
#2939 = DIRECTION('',(0.,0.,1.));
#2940 = ORIENTED_EDGE('',*,*,#2941,.F.);
#2941 = EDGE_CURVE('',#2918,#2934,#2942,.T.);
#2942 = LINE('',#2943,#2944);
#2943 = CARTESIAN_POINT('',(6.85,-2.8,1.6));
#2944 = VECTOR('',#2945,1.);
#2945 = DIRECTION('',(-0.,1.,0.));
#2946 = PLANE('',#2947);
#2947 = AXIS2_PLACEMENT_3D('',#2948,#2949,#2950);
#2948 = CARTESIAN_POINT('',(6.85,-2.8,0.));
#2949 = DIRECTION('',(1.,0.,-0.));
#2950 = DIRECTION('',(0.,0.,1.));
#2951 = ADVANCED_FACE('',(#2952),#2986,.T.);
#2952 = FACE_BOUND('',#2953,.T.);
#2953 = EDGE_LOOP('',(#2954,#2964,#2972,#2980));
#2954 = ORIENTED_EDGE('',*,*,#2955,.F.);
#2955 = EDGE_CURVE('',#2956,#2958,#2960,.T.);
#2956 = VERTEX_POINT('',#2957);
#2957 = CARTESIAN_POINT('',(7.85,-2.8,0.));
#2958 = VERTEX_POINT('',#2959);
#2959 = CARTESIAN_POINT('',(7.85,-2.8,1.6));
#2960 = LINE('',#2961,#2962);
#2961 = CARTESIAN_POINT('',(7.85,-2.8,0.));
#2962 = VECTOR('',#2963,1.);
#2963 = DIRECTION('',(0.,0.,1.));
#2964 = ORIENTED_EDGE('',*,*,#2965,.T.);
#2965 = EDGE_CURVE('',#2956,#2966,#2968,.T.);
#2966 = VERTEX_POINT('',#2967);
#2967 = CARTESIAN_POINT('',(7.85,0.,0.));
#2968 = LINE('',#2969,#2970);
#2969 = CARTESIAN_POINT('',(7.85,-2.8,0.));
#2970 = VECTOR('',#2971,1.);
#2971 = DIRECTION('',(-0.,1.,0.));
#2972 = ORIENTED_EDGE('',*,*,#2973,.T.);
#2973 = EDGE_CURVE('',#2966,#2974,#2976,.T.);
#2974 = VERTEX_POINT('',#2975);
#2975 = CARTESIAN_POINT('',(7.85,0.,1.6));
#2976 = LINE('',#2977,#2978);
#2977 = CARTESIAN_POINT('',(7.85,0.,0.));
#2978 = VECTOR('',#2979,1.);
#2979 = DIRECTION('',(0.,0.,1.));
#2980 = ORIENTED_EDGE('',*,*,#2981,.F.);
#2981 = EDGE_CURVE('',#2958,#2974,#2982,.T.);
#2982 = LINE('',#2983,#2984);
#2983 = CARTESIAN_POINT('',(7.85,-2.8,1.6));
#2984 = VECTOR('',#2985,1.);
#2985 = DIRECTION('',(-0.,1.,0.));
#2986 = PLANE('',#2987);
#2987 = AXIS2_PLACEMENT_3D('',#2988,#2989,#2990);
#2988 = CARTESIAN_POINT('',(7.85,-2.8,0.));
#2989 = DIRECTION('',(1.,0.,-0.));
#2990 = DIRECTION('',(0.,0.,1.));
#2991 = ADVANCED_FACE('',(#2992),#3008,.F.);
#2992 = FACE_BOUND('',#2993,.F.);
#2993 = EDGE_LOOP('',(#2994,#3000,#3001,#3007));
#2994 = ORIENTED_EDGE('',*,*,#2995,.F.);
#2995 = EDGE_CURVE('',#2916,#2956,#2996,.T.);
#2996 = LINE('',#2997,#2998);
#2997 = CARTESIAN_POINT('',(6.85,-2.8,0.));
#2998 = VECTOR('',#2999,1.);
#2999 = DIRECTION('',(1.,0.,-0.));
#3000 = ORIENTED_EDGE('',*,*,#2915,.T.);
#3001 = ORIENTED_EDGE('',*,*,#3002,.T.);
#3002 = EDGE_CURVE('',#2918,#2958,#3003,.T.);
#3003 = LINE('',#3004,#3005);
#3004 = CARTESIAN_POINT('',(6.85,-2.8,1.6));
#3005 = VECTOR('',#3006,1.);
#3006 = DIRECTION('',(1.,0.,-0.));
#3007 = ORIENTED_EDGE('',*,*,#2955,.F.);
#3008 = PLANE('',#3009);
#3009 = AXIS2_PLACEMENT_3D('',#3010,#3011,#3012);
#3010 = CARTESIAN_POINT('',(6.85,-2.8,0.));
#3011 = DIRECTION('',(-0.,1.,0.));
#3012 = DIRECTION('',(0.,0.,1.));
#3013 = ADVANCED_FACE('',(#3014),#3030,.T.);
#3014 = FACE_BOUND('',#3015,.T.);
#3015 = EDGE_LOOP('',(#3016,#3022,#3023,#3029));
#3016 = ORIENTED_EDGE('',*,*,#3017,.F.);
#3017 = EDGE_CURVE('',#2926,#2966,#3018,.T.);
#3018 = LINE('',#3019,#3020);
#3019 = CARTESIAN_POINT('',(6.85,0.,0.));
#3020 = VECTOR('',#3021,1.);
#3021 = DIRECTION('',(1.,0.,-0.));
#3022 = ORIENTED_EDGE('',*,*,#2933,.T.);
#3023 = ORIENTED_EDGE('',*,*,#3024,.T.);
#3024 = EDGE_CURVE('',#2934,#2974,#3025,.T.);
#3025 = LINE('',#3026,#3027);
#3026 = CARTESIAN_POINT('',(6.85,0.,1.6));
#3027 = VECTOR('',#3028,1.);
#3028 = DIRECTION('',(1.,0.,-0.));
#3029 = ORIENTED_EDGE('',*,*,#2973,.F.);
#3030 = PLANE('',#3031);
#3031 = AXIS2_PLACEMENT_3D('',#3032,#3033,#3034);
#3032 = CARTESIAN_POINT('',(6.85,0.,0.));
#3033 = DIRECTION('',(-0.,1.,0.));
#3034 = DIRECTION('',(0.,0.,1.));
#3035 = ADVANCED_FACE('',(#3036),#3042,.F.);
#3036 = FACE_BOUND('',#3037,.F.);
#3037 = EDGE_LOOP('',(#3038,#3039,#3040,#3041));
#3038 = ORIENTED_EDGE('',*,*,#2925,.F.);
#3039 = ORIENTED_EDGE('',*,*,#2995,.T.);
#3040 = ORIENTED_EDGE('',*,*,#2965,.T.);
#3041 = ORIENTED_EDGE('',*,*,#3017,.F.);
#3042 = PLANE('',#3043);
#3043 = AXIS2_PLACEMENT_3D('',#3044,#3045,#3046);
#3044 = CARTESIAN_POINT('',(6.85,-2.8,0.));
#3045 = DIRECTION('',(0.,0.,1.));
#3046 = DIRECTION('',(1.,0.,-0.));
#3047 = ADVANCED_FACE('',(#3048),#3054,.T.);
#3048 = FACE_BOUND('',#3049,.T.);
#3049 = EDGE_LOOP('',(#3050,#3051,#3052,#3053));
#3050 = ORIENTED_EDGE('',*,*,#2941,.F.);
#3051 = ORIENTED_EDGE('',*,*,#3002,.T.);
#3052 = ORIENTED_EDGE('',*,*,#2981,.T.);
#3053 = ORIENTED_EDGE('',*,*,#3024,.F.);
#3054 = PLANE('',#3055);
#3055 = AXIS2_PLACEMENT_3D('',#3056,#3057,#3058);
#3056 = CARTESIAN_POINT('',(6.85,-2.8,1.6));
#3057 = DIRECTION('',(0.,0.,1.));
#3058 = DIRECTION('',(1.,0.,-0.));
#3059 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#3063)) 
GLOBAL_UNIT_ASSIGNED_CONTEXT((#3060,#3061,#3062)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#3060 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#3061 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#3062 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#3063 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(1.E-07),#3060,
  'distance_accuracy_value','confusion accuracy');
#3064 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#7));
ENDSEC;
END-ISO-10303-21;