Linus Torvalds 3b08b724c8 Fix STEP files for compact stomp switch and DC Jack
These were both just freecad re-imports of the openscad file, with "box
selection" and then re-export as a STEP file, and now the stomp switch
has a proper key slot and the DC jack isn't plugged up, so the 1590A
render looks nicer.

Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
2025-09-25 16:19:53 -07:00

1381 lines
52 KiB
Plaintext

ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
FILE_NAME('Open CASCADE Shape Model','2025-09-25T16:17:24',(''),(''),
'Open CASCADE STEP processor 7.8','FreeCAD','Unknown');
FILE_SCHEMA((
'AP242_MANAGED_MODEL_BASED_3D_ENGINEERING_MIM_LF. {1 0 10303 442 1 1 4
}'));
ENDSEC;
DATA;
#1 = APPLICATION_PROTOCOL_DEFINITION('international standard',
'ap242_managed_model_based_3d_engineering',2013,#2);
#2 = APPLICATION_CONTEXT('Managed model based 3d engineering');
#3 = SHAPE_DEFINITION_REPRESENTATION(#4,#10);
#4 = PRODUCT_DEFINITION_SHAPE('','',#5);
#5 = PRODUCT_DEFINITION('design','',#6,#9);
#6 = PRODUCT_DEFINITION_FORMATION('','',#7);
#7 = PRODUCT('Group002','Group002','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = SHAPE_REPRESENTATION('',(#11,#15,#1109),#1162);
#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,#58,#89,#166,#205,#254,#271,#343,#367,#391,
#408,#442,#477,#537,#554,#641,#665,#689,#706,#718,#743,#782,#806,
#838,#855,#886,#910,#934,#951,#982,#1006,#1030,#1047,#1056,#1073,
#1085,#1097));
#17 = ADVANCED_FACE('',(#18),#53,.T.);
#18 = FACE_BOUND('',#19,.T.);
#19 = EDGE_LOOP('',(#20,#30,#38,#46));
#20 = ORIENTED_EDGE('',*,*,#21,.F.);
#21 = EDGE_CURVE('',#22,#24,#26,.T.);
#22 = VERTEX_POINT('',#23);
#23 = CARTESIAN_POINT('',(-4.5,-10.6,6.5));
#24 = VERTEX_POINT('',#25);
#25 = CARTESIAN_POINT('',(-4.2,-10.6,6.5));
#26 = LINE('',#27,#28);
#27 = CARTESIAN_POINT('',(-4.5,-10.6,6.5));
#28 = VECTOR('',#29,1.);
#29 = DIRECTION('',(1.,0.,0.));
#30 = ORIENTED_EDGE('',*,*,#31,.T.);
#31 = EDGE_CURVE('',#22,#32,#34,.T.);
#32 = VERTEX_POINT('',#33);
#33 = CARTESIAN_POINT('',(-4.5,-10.6,10.7));
#34 = LINE('',#35,#36);
#35 = CARTESIAN_POINT('',(-4.5,-10.6,0.));
#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('',(0.,-10.6,10.7));
#42 = LINE('',#43,#44);
#43 = CARTESIAN_POINT('',(-4.5,-10.6,10.7));
#44 = VECTOR('',#45,1.);
#45 = DIRECTION('',(1.,0.,0.));
#46 = ORIENTED_EDGE('',*,*,#47,.T.);
#47 = EDGE_CURVE('',#40,#24,#48,.T.);
#48 = CIRCLE('',#49,4.2);
#49 = AXIS2_PLACEMENT_3D('',#50,#51,#52);
#50 = CARTESIAN_POINT('',(0.,-10.6,6.5));
#51 = DIRECTION('',(0.,-1.,-2.22044604925E-16));
#52 = DIRECTION('',(1.,0.,0.));
#53 = PLANE('',#54);
#54 = AXIS2_PLACEMENT_3D('',#55,#56,#57);
#55 = CARTESIAN_POINT('',(-4.5,-10.6,0.));
#56 = DIRECTION('',(0.,1.,0.));
#57 = DIRECTION('',(0.,0.,1.));
#58 = ADVANCED_FACE('',(#59),#84,.T.);
#59 = FACE_BOUND('',#60,.T.);
#60 = EDGE_LOOP('',(#61,#69,#70,#78));
#61 = ORIENTED_EDGE('',*,*,#62,.F.);
#62 = EDGE_CURVE('',#22,#63,#65,.T.);
#63 = VERTEX_POINT('',#64);
#64 = CARTESIAN_POINT('',(-4.5,-1.6,6.5));
#65 = LINE('',#66,#67);
#66 = CARTESIAN_POINT('',(-4.5,-13.6,6.5));
#67 = VECTOR('',#68,1.);
#68 = DIRECTION('',(0.,1.,0.));
#69 = ORIENTED_EDGE('',*,*,#21,.T.);
#70 = ORIENTED_EDGE('',*,*,#71,.F.);
#71 = EDGE_CURVE('',#72,#24,#74,.T.);
#72 = VERTEX_POINT('',#73);
#73 = CARTESIAN_POINT('',(-4.2,-1.6,6.5));
#74 = LINE('',#75,#76);
#75 = CARTESIAN_POINT('',(-4.2,-13.6,6.5));
#76 = VECTOR('',#77,1.);
#77 = DIRECTION('',(-0.,-1.,-2.22044604925E-16));
#78 = ORIENTED_EDGE('',*,*,#79,.F.);
#79 = EDGE_CURVE('',#63,#72,#80,.T.);
#80 = LINE('',#81,#82);
#81 = CARTESIAN_POINT('',(-4.5,-1.6,6.5));
#82 = VECTOR('',#83,1.);
#83 = DIRECTION('',(1.,0.,0.));
#84 = PLANE('',#85);
#85 = AXIS2_PLACEMENT_3D('',#86,#87,#88);
#86 = CARTESIAN_POINT('',(-4.5,-13.6,6.5));
#87 = DIRECTION('',(0.,0.,1.));
#88 = DIRECTION('',(1.,0.,0.));
#89 = ADVANCED_FACE('',(#90),#161,.T.);
#90 = FACE_BOUND('',#91,.F.);
#91 = EDGE_LOOP('',(#92,#102,#111,#119,#126,#127,#128,#137,#145,#154));
#92 = ORIENTED_EDGE('',*,*,#93,.T.);
#93 = EDGE_CURVE('',#94,#96,#98,.T.);
#94 = VERTEX_POINT('',#95);
#95 = CARTESIAN_POINT('',(2.598076211353,7.327471962526E-16,3.2));
#96 = VERTEX_POINT('',#97);
#97 = CARTESIAN_POINT('',(2.598076211353,-1.6,3.2));
#98 = LINE('',#99,#100);
#99 = CARTESIAN_POINT('',(2.598076211353,-13.6,3.2));
#100 = VECTOR('',#101,1.);
#101 = DIRECTION('',(-0.,-1.,-2.22044604925E-16));
#102 = ORIENTED_EDGE('',*,*,#103,.T.);
#103 = EDGE_CURVE('',#96,#104,#106,.T.);
#104 = VERTEX_POINT('',#105);
#105 = CARTESIAN_POINT('',(4.2,-1.6,6.5));
#106 = CIRCLE('',#107,4.2);
#107 = AXIS2_PLACEMENT_3D('',#108,#109,#110);
#108 = CARTESIAN_POINT('',(0.,-1.6,6.5));
#109 = DIRECTION('',(0.,-1.,-2.22044604925E-16));
#110 = DIRECTION('',(1.,0.,0.));
#111 = ORIENTED_EDGE('',*,*,#112,.F.);
#112 = EDGE_CURVE('',#113,#104,#115,.T.);
#113 = VERTEX_POINT('',#114);
#114 = CARTESIAN_POINT('',(4.2,-10.6,6.5));
#115 = LINE('',#116,#117);
#116 = CARTESIAN_POINT('',(4.2,-13.6,6.5));
#117 = VECTOR('',#118,1.);
#118 = DIRECTION('',(0.,1.,2.22044604925E-16));
#119 = ORIENTED_EDGE('',*,*,#120,.T.);
#120 = EDGE_CURVE('',#113,#40,#121,.T.);
#121 = CIRCLE('',#122,4.2);
#122 = AXIS2_PLACEMENT_3D('',#123,#124,#125);
#123 = CARTESIAN_POINT('',(0.,-10.6,6.5));
#124 = DIRECTION('',(0.,-1.,-2.22044604925E-16));
#125 = DIRECTION('',(1.,0.,0.));
#126 = ORIENTED_EDGE('',*,*,#47,.T.);
#127 = ORIENTED_EDGE('',*,*,#71,.F.);
#128 = ORIENTED_EDGE('',*,*,#129,.T.);
#129 = EDGE_CURVE('',#72,#130,#132,.T.);
#130 = VERTEX_POINT('',#131);
#131 = CARTESIAN_POINT('',(-2.598076211353,-1.6,3.2));
#132 = CIRCLE('',#133,4.2);
#133 = AXIS2_PLACEMENT_3D('',#134,#135,#136);
#134 = CARTESIAN_POINT('',(0.,-1.6,6.5));
#135 = DIRECTION('',(0.,-1.,-2.22044604925E-16));
#136 = DIRECTION('',(1.,0.,0.));
#137 = ORIENTED_EDGE('',*,*,#138,.F.);
#138 = EDGE_CURVE('',#139,#130,#141,.T.);
#139 = VERTEX_POINT('',#140);
#140 = CARTESIAN_POINT('',(-2.598076211353,7.327471962526E-16,3.2));
#141 = LINE('',#142,#143);
#142 = CARTESIAN_POINT('',(-2.598076211353,-13.6,3.2));
#143 = VECTOR('',#144,1.);
#144 = DIRECTION('',(-0.,-1.,-2.22044604925E-16));
#145 = ORIENTED_EDGE('',*,*,#146,.T.);
#146 = EDGE_CURVE('',#139,#147,#149,.T.);
#147 = VERTEX_POINT('',#148);
#148 = CARTESIAN_POINT('',(4.2,-2.284180203391E-31,6.5));
#149 = CIRCLE('',#150,4.2);
#150 = AXIS2_PLACEMENT_3D('',#151,#152,#153);
#151 = CARTESIAN_POINT('',(0.,0.,6.5));
#152 = DIRECTION('',(-0.,1.,2.22044604925E-16));
#153 = DIRECTION('',(1.,0.,0.));
#154 = ORIENTED_EDGE('',*,*,#155,.T.);
#155 = EDGE_CURVE('',#147,#94,#156,.T.);
#156 = CIRCLE('',#157,4.2);
#157 = AXIS2_PLACEMENT_3D('',#158,#159,#160);
#158 = CARTESIAN_POINT('',(0.,0.,6.5));
#159 = DIRECTION('',(-0.,1.,2.22044604925E-16));
#160 = DIRECTION('',(1.,0.,0.));
#161 = CYLINDRICAL_SURFACE('',#162,4.2);
#162 = AXIS2_PLACEMENT_3D('',#163,#164,#165);
#163 = CARTESIAN_POINT('',(0.,-13.6,6.5));
#164 = DIRECTION('',(-0.,-1.,-2.22044604925E-16));
#165 = DIRECTION('',(1.,0.,0.));
#166 = ADVANCED_FACE('',(#167),#200,.T.);
#167 = FACE_BOUND('',#168,.T.);
#168 = EDGE_LOOP('',(#169,#170,#178,#186,#194));
#169 = ORIENTED_EDGE('',*,*,#39,.F.);
#170 = ORIENTED_EDGE('',*,*,#171,.F.);
#171 = EDGE_CURVE('',#172,#32,#174,.T.);
#172 = VERTEX_POINT('',#173);
#173 = CARTESIAN_POINT('',(-4.5,-13.6,10.7));
#174 = LINE('',#175,#176);
#175 = CARTESIAN_POINT('',(-4.5,-13.6,10.7));
#176 = VECTOR('',#177,1.);
#177 = DIRECTION('',(0.,1.,0.));
#178 = ORIENTED_EDGE('',*,*,#179,.T.);
#179 = EDGE_CURVE('',#172,#180,#182,.T.);
#180 = VERTEX_POINT('',#181);
#181 = CARTESIAN_POINT('',(4.5,-13.6,10.7));
#182 = LINE('',#183,#184);
#183 = CARTESIAN_POINT('',(-4.5,-13.6,10.7));
#184 = VECTOR('',#185,1.);
#185 = DIRECTION('',(1.,0.,0.));
#186 = ORIENTED_EDGE('',*,*,#187,.T.);
#187 = EDGE_CURVE('',#180,#188,#190,.T.);
#188 = VERTEX_POINT('',#189);
#189 = CARTESIAN_POINT('',(4.5,-10.6,10.7));
#190 = LINE('',#191,#192);
#191 = CARTESIAN_POINT('',(4.5,-13.6,10.7));
#192 = VECTOR('',#193,1.);
#193 = DIRECTION('',(0.,1.,0.));
#194 = ORIENTED_EDGE('',*,*,#195,.F.);
#195 = EDGE_CURVE('',#40,#188,#196,.T.);
#196 = LINE('',#197,#198);
#197 = CARTESIAN_POINT('',(-4.5,-10.6,10.7));
#198 = VECTOR('',#199,1.);
#199 = DIRECTION('',(1.,0.,0.));
#200 = PLANE('',#201);
#201 = AXIS2_PLACEMENT_3D('',#202,#203,#204);
#202 = CARTESIAN_POINT('',(-4.5,-13.6,10.7));
#203 = DIRECTION('',(0.,0.,1.));
#204 = DIRECTION('',(1.,0.,0.));
#205 = ADVANCED_FACE('',(#206),#249,.T.);
#206 = FACE_BOUND('',#207,.T.);
#207 = EDGE_LOOP('',(#208,#216,#217,#218,#219,#227,#235,#243));
#208 = ORIENTED_EDGE('',*,*,#209,.T.);
#209 = EDGE_CURVE('',#210,#172,#212,.T.);
#210 = VERTEX_POINT('',#211);
#211 = CARTESIAN_POINT('',(-4.5,-13.6,0.));
#212 = LINE('',#213,#214);
#213 = CARTESIAN_POINT('',(-4.5,-13.6,0.));
#214 = VECTOR('',#215,1.);
#215 = DIRECTION('',(0.,0.,1.));
#216 = ORIENTED_EDGE('',*,*,#171,.T.);
#217 = ORIENTED_EDGE('',*,*,#31,.F.);
#218 = ORIENTED_EDGE('',*,*,#62,.T.);
#219 = ORIENTED_EDGE('',*,*,#220,.F.);
#220 = EDGE_CURVE('',#221,#63,#223,.T.);
#221 = VERTEX_POINT('',#222);
#222 = CARTESIAN_POINT('',(-4.5,-1.6,3.2));
#223 = LINE('',#224,#225);
#224 = CARTESIAN_POINT('',(-4.5,-1.6,0.));
#225 = VECTOR('',#226,1.);
#226 = DIRECTION('',(0.,0.,1.));
#227 = ORIENTED_EDGE('',*,*,#228,.T.);
#228 = EDGE_CURVE('',#221,#229,#231,.T.);
#229 = VERTEX_POINT('',#230);
#230 = CARTESIAN_POINT('',(-4.5,0.9,3.2));
#231 = LINE('',#232,#233);
#232 = CARTESIAN_POINT('',(-4.5,-13.6,3.2));
#233 = VECTOR('',#234,1.);
#234 = DIRECTION('',(0.,1.,0.));
#235 = ORIENTED_EDGE('',*,*,#236,.F.);
#236 = EDGE_CURVE('',#237,#229,#239,.T.);
#237 = VERTEX_POINT('',#238);
#238 = CARTESIAN_POINT('',(-4.5,0.9,0.));
#239 = LINE('',#240,#241);
#240 = CARTESIAN_POINT('',(-4.5,0.9,0.));
#241 = VECTOR('',#242,1.);
#242 = DIRECTION('',(0.,0.,1.));
#243 = ORIENTED_EDGE('',*,*,#244,.F.);
#244 = EDGE_CURVE('',#210,#237,#245,.T.);
#245 = LINE('',#246,#247);
#246 = CARTESIAN_POINT('',(-4.5,-13.6,0.));
#247 = VECTOR('',#248,1.);
#248 = DIRECTION('',(0.,1.,0.));
#249 = PLANE('',#250);
#250 = AXIS2_PLACEMENT_3D('',#251,#252,#253);
#251 = CARTESIAN_POINT('',(-4.5,-7.472023809524,4.227976190476));
#252 = DIRECTION('',(-1.,-0.,-0.));
#253 = DIRECTION('',(0.,0.,-1.));
#254 = ADVANCED_FACE('',(#255),#266,.T.);
#255 = FACE_BOUND('',#256,.T.);
#256 = EDGE_LOOP('',(#257,#263,#264,#265));
#257 = ORIENTED_EDGE('',*,*,#258,.T.);
#258 = EDGE_CURVE('',#130,#221,#259,.T.);
#259 = LINE('',#260,#261);
#260 = CARTESIAN_POINT('',(-4.5,-1.6,3.2));
#261 = VECTOR('',#262,1.);
#262 = DIRECTION('',(-1.,0.,0.));
#263 = ORIENTED_EDGE('',*,*,#220,.T.);
#264 = ORIENTED_EDGE('',*,*,#79,.T.);
#265 = ORIENTED_EDGE('',*,*,#129,.T.);
#266 = PLANE('',#267);
#267 = AXIS2_PLACEMENT_3D('',#268,#269,#270);
#268 = CARTESIAN_POINT('',(-4.5,-1.6,0.));
#269 = DIRECTION('',(0.,1.,0.));
#270 = DIRECTION('',(0.,0.,1.));
#271 = ADVANCED_FACE('',(#272),#338,.T.);
#272 = FACE_BOUND('',#273,.T.);
#273 = EDGE_LOOP('',(#274,#275,#276,#277,#285,#293,#301,#309,#315,#316,
#324,#332));
#274 = ORIENTED_EDGE('',*,*,#228,.F.);
#275 = ORIENTED_EDGE('',*,*,#258,.F.);
#276 = ORIENTED_EDGE('',*,*,#138,.F.);
#277 = ORIENTED_EDGE('',*,*,#278,.F.);
#278 = EDGE_CURVE('',#279,#139,#281,.T.);
#279 = VERTEX_POINT('',#280);
#280 = CARTESIAN_POINT('',(-1.4,1.254552017826E-15,3.2));
#281 = LINE('',#282,#283);
#282 = CARTESIAN_POINT('',(-2.25,1.254552017826E-15,3.2));
#283 = VECTOR('',#284,1.);
#284 = DIRECTION('',(-1.,0.,0.));
#285 = ORIENTED_EDGE('',*,*,#286,.T.);
#286 = EDGE_CURVE('',#279,#287,#289,.T.);
#287 = VERTEX_POINT('',#288);
#288 = CARTESIAN_POINT('',(-1.4,0.3,3.2));
#289 = LINE('',#290,#291);
#290 = CARTESIAN_POINT('',(-1.4,-6.95,3.2));
#291 = VECTOR('',#292,1.);
#292 = DIRECTION('',(0.,1.,0.));
#293 = ORIENTED_EDGE('',*,*,#294,.F.);
#294 = EDGE_CURVE('',#295,#287,#297,.T.);
#295 = VERTEX_POINT('',#296);
#296 = CARTESIAN_POINT('',(1.4,0.3,3.2));
#297 = LINE('',#298,#299);
#298 = CARTESIAN_POINT('',(-2.95,0.3,3.2));
#299 = VECTOR('',#300,1.);
#300 = DIRECTION('',(-1.,0.,0.));
#301 = ORIENTED_EDGE('',*,*,#302,.F.);
#302 = EDGE_CURVE('',#303,#295,#305,.T.);
#303 = VERTEX_POINT('',#304);
#304 = CARTESIAN_POINT('',(1.4,1.254552017826E-15,3.2));
#305 = LINE('',#306,#307);
#306 = CARTESIAN_POINT('',(1.4,-6.95,3.2));
#307 = VECTOR('',#308,1.);
#308 = DIRECTION('',(0.,1.,0.));
#309 = ORIENTED_EDGE('',*,*,#310,.F.);
#310 = EDGE_CURVE('',#94,#303,#311,.T.);
#311 = LINE('',#312,#313);
#312 = CARTESIAN_POINT('',(-2.25,1.254552017826E-15,3.2));
#313 = VECTOR('',#314,1.);
#314 = DIRECTION('',(-1.,0.,0.));
#315 = ORIENTED_EDGE('',*,*,#93,.T.);
#316 = ORIENTED_EDGE('',*,*,#317,.F.);
#317 = EDGE_CURVE('',#318,#96,#320,.T.);
#318 = VERTEX_POINT('',#319);
#319 = CARTESIAN_POINT('',(4.5,-1.6,3.2));
#320 = LINE('',#321,#322);
#321 = CARTESIAN_POINT('',(-4.5,-1.6,3.2));
#322 = VECTOR('',#323,1.);
#323 = DIRECTION('',(-1.,0.,0.));
#324 = ORIENTED_EDGE('',*,*,#325,.T.);
#325 = EDGE_CURVE('',#318,#326,#328,.T.);
#326 = VERTEX_POINT('',#327);
#327 = CARTESIAN_POINT('',(4.5,0.9,3.2));
#328 = LINE('',#329,#330);
#329 = CARTESIAN_POINT('',(4.5,-13.6,3.2));
#330 = VECTOR('',#331,1.);
#331 = DIRECTION('',(0.,1.,0.));
#332 = ORIENTED_EDGE('',*,*,#333,.F.);
#333 = EDGE_CURVE('',#229,#326,#334,.T.);
#334 = LINE('',#335,#336);
#335 = CARTESIAN_POINT('',(-4.5,0.9,3.2));
#336 = VECTOR('',#337,1.);
#337 = DIRECTION('',(1.,0.,0.));
#338 = PLANE('',#339);
#339 = AXIS2_PLACEMENT_3D('',#340,#341,#342);
#340 = CARTESIAN_POINT('',(-4.5,-13.6,3.2));
#341 = DIRECTION('',(0.,0.,1.));
#342 = DIRECTION('',(1.,0.,0.));
#343 = ADVANCED_FACE('',(#344),#362,.T.);
#344 = FACE_BOUND('',#345,.T.);
#345 = EDGE_LOOP('',(#346,#354,#355,#356));
#346 = ORIENTED_EDGE('',*,*,#347,.F.);
#347 = EDGE_CURVE('',#318,#348,#350,.T.);
#348 = VERTEX_POINT('',#349);
#349 = CARTESIAN_POINT('',(4.5,-1.6,6.5));
#350 = LINE('',#351,#352);
#351 = CARTESIAN_POINT('',(4.5,-1.6,0.));
#352 = VECTOR('',#353,1.);
#353 = DIRECTION('',(0.,0.,1.));
#354 = ORIENTED_EDGE('',*,*,#317,.T.);
#355 = ORIENTED_EDGE('',*,*,#103,.T.);
#356 = ORIENTED_EDGE('',*,*,#357,.T.);
#357 = EDGE_CURVE('',#104,#348,#358,.T.);
#358 = LINE('',#359,#360);
#359 = CARTESIAN_POINT('',(-4.5,-1.6,6.5));
#360 = VECTOR('',#361,1.);
#361 = DIRECTION('',(1.,0.,0.));
#362 = PLANE('',#363);
#363 = AXIS2_PLACEMENT_3D('',#364,#365,#366);
#364 = CARTESIAN_POINT('',(-4.5,-1.6,0.));
#365 = DIRECTION('',(0.,1.,0.));
#366 = DIRECTION('',(0.,0.,1.));
#367 = ADVANCED_FACE('',(#368),#386,.T.);
#368 = FACE_BOUND('',#369,.T.);
#369 = EDGE_LOOP('',(#370,#371,#379,#385));
#370 = ORIENTED_EDGE('',*,*,#112,.F.);
#371 = ORIENTED_EDGE('',*,*,#372,.T.);
#372 = EDGE_CURVE('',#113,#373,#375,.T.);
#373 = VERTEX_POINT('',#374);
#374 = CARTESIAN_POINT('',(4.5,-10.6,6.5));
#375 = LINE('',#376,#377);
#376 = CARTESIAN_POINT('',(-4.5,-10.6,6.5));
#377 = VECTOR('',#378,1.);
#378 = DIRECTION('',(1.,0.,0.));
#379 = ORIENTED_EDGE('',*,*,#380,.T.);
#380 = EDGE_CURVE('',#373,#348,#381,.T.);
#381 = LINE('',#382,#383);
#382 = CARTESIAN_POINT('',(4.5,-13.6,6.5));
#383 = VECTOR('',#384,1.);
#384 = DIRECTION('',(0.,1.,0.));
#385 = ORIENTED_EDGE('',*,*,#357,.F.);
#386 = PLANE('',#387);
#387 = AXIS2_PLACEMENT_3D('',#388,#389,#390);
#388 = CARTESIAN_POINT('',(-4.5,-13.6,6.5));
#389 = DIRECTION('',(0.,0.,1.));
#390 = DIRECTION('',(1.,0.,0.));
#391 = ADVANCED_FACE('',(#392),#403,.T.);
#392 = FACE_BOUND('',#393,.T.);
#393 = EDGE_LOOP('',(#394,#400,#401,#402));
#394 = ORIENTED_EDGE('',*,*,#395,.F.);
#395 = EDGE_CURVE('',#373,#188,#396,.T.);
#396 = LINE('',#397,#398);
#397 = CARTESIAN_POINT('',(4.5,-10.6,0.));
#398 = VECTOR('',#399,1.);
#399 = DIRECTION('',(0.,0.,1.));
#400 = ORIENTED_EDGE('',*,*,#372,.F.);
#401 = ORIENTED_EDGE('',*,*,#120,.T.);
#402 = ORIENTED_EDGE('',*,*,#195,.T.);
#403 = PLANE('',#404);
#404 = AXIS2_PLACEMENT_3D('',#405,#406,#407);
#405 = CARTESIAN_POINT('',(-4.5,-10.6,0.));
#406 = DIRECTION('',(0.,1.,0.));
#407 = DIRECTION('',(0.,0.,1.));
#408 = ADVANCED_FACE('',(#409),#437,.T.);
#409 = FACE_BOUND('',#410,.T.);
#410 = EDGE_LOOP('',(#411,#412,#413,#414,#415,#423,#431));
#411 = ORIENTED_EDGE('',*,*,#278,.T.);
#412 = ORIENTED_EDGE('',*,*,#146,.T.);
#413 = ORIENTED_EDGE('',*,*,#155,.T.);
#414 = ORIENTED_EDGE('',*,*,#310,.T.);
#415 = ORIENTED_EDGE('',*,*,#416,.F.);
#416 = EDGE_CURVE('',#417,#303,#419,.T.);
#417 = VERTEX_POINT('',#418);
#418 = CARTESIAN_POINT('',(1.4,5.551115123126E-16,4.));
#419 = LINE('',#420,#421);
#420 = CARTESIAN_POINT('',(1.4,1.165734175856E-15,1.25));
#421 = VECTOR('',#422,1.);
#422 = DIRECTION('',(0.,2.22044604925E-16,-1.));
#423 = ORIENTED_EDGE('',*,*,#424,.F.);
#424 = EDGE_CURVE('',#425,#417,#427,.T.);
#425 = VERTEX_POINT('',#426);
#426 = CARTESIAN_POINT('',(-1.4,5.551115123126E-16,4.));
#427 = LINE('',#428,#429);
#428 = CARTESIAN_POINT('',(-0.7,5.551115123126E-16,4.));
#429 = VECTOR('',#430,1.);
#430 = DIRECTION('',(1.,0.,0.));
#431 = ORIENTED_EDGE('',*,*,#432,.T.);
#432 = EDGE_CURVE('',#425,#279,#433,.T.);
#433 = LINE('',#434,#435);
#434 = CARTESIAN_POINT('',(-1.4,1.165734175856E-15,1.25));
#435 = VECTOR('',#436,1.);
#436 = DIRECTION('',(0.,2.22044604925E-16,-1.));
#437 = PLANE('',#438);
#438 = AXIS2_PLACEMENT_3D('',#439,#440,#441);
#439 = CARTESIAN_POINT('',(0.,0.,6.5));
#440 = DIRECTION('',(0.,1.,2.22044604925E-16));
#441 = DIRECTION('',(1.,0.,0.));
#442 = ADVANCED_FACE('',(#443,#461),#472,.T.);
#443 = FACE_BOUND('',#444,.T.);
#444 = EDGE_LOOP('',(#445,#453,#459,#460));
#445 = ORIENTED_EDGE('',*,*,#446,.T.);
#446 = EDGE_CURVE('',#210,#447,#449,.T.);
#447 = VERTEX_POINT('',#448);
#448 = CARTESIAN_POINT('',(4.5,-13.6,0.));
#449 = LINE('',#450,#451);
#450 = CARTESIAN_POINT('',(-4.5,-13.6,0.));
#451 = VECTOR('',#452,1.);
#452 = DIRECTION('',(1.,0.,0.));
#453 = ORIENTED_EDGE('',*,*,#454,.T.);
#454 = EDGE_CURVE('',#447,#180,#455,.T.);
#455 = LINE('',#456,#457);
#456 = CARTESIAN_POINT('',(4.5,-13.6,0.));
#457 = VECTOR('',#458,1.);
#458 = DIRECTION('',(0.,0.,1.));
#459 = ORIENTED_EDGE('',*,*,#179,.F.);
#460 = ORIENTED_EDGE('',*,*,#209,.F.);
#461 = FACE_BOUND('',#462,.T.);
#462 = EDGE_LOOP('',(#463));
#463 = ORIENTED_EDGE('',*,*,#464,.F.);
#464 = EDGE_CURVE('',#465,#465,#467,.T.);
#465 = VERTEX_POINT('',#466);
#466 = CARTESIAN_POINT('',(2.75,-13.6,6.5));
#467 = CIRCLE('',#468,2.75);
#468 = AXIS2_PLACEMENT_3D('',#469,#470,#471);
#469 = CARTESIAN_POINT('',(0.,-13.6,6.5));
#470 = DIRECTION('',(0.,-1.,-2.22044604925E-16));
#471 = DIRECTION('',(1.,0.,0.));
#472 = PLANE('',#473);
#473 = AXIS2_PLACEMENT_3D('',#474,#475,#476);
#474 = CARTESIAN_POINT('',(4.508519896955E-17,-13.6,5.35));
#475 = DIRECTION('',(-0.,-1.,-0.));
#476 = DIRECTION('',(0.,0.,-1.));
#477 = ADVANCED_FACE('',(#478),#532,.T.);
#478 = FACE_BOUND('',#479,.T.);
#479 = EDGE_LOOP('',(#480,#481,#489,#497,#505,#513,#521,#527,#528,#529,
#530,#531));
#480 = ORIENTED_EDGE('',*,*,#454,.F.);
#481 = ORIENTED_EDGE('',*,*,#482,.T.);
#482 = EDGE_CURVE('',#447,#483,#485,.T.);
#483 = VERTEX_POINT('',#484);
#484 = CARTESIAN_POINT('',(4.5,-4.2,0.));
#485 = LINE('',#486,#487);
#486 = CARTESIAN_POINT('',(4.5,-13.6,0.));
#487 = VECTOR('',#488,1.);
#488 = DIRECTION('',(0.,1.,0.));
#489 = ORIENTED_EDGE('',*,*,#490,.T.);
#490 = EDGE_CURVE('',#483,#491,#493,.T.);
#491 = VERTEX_POINT('',#492);
#492 = CARTESIAN_POINT('',(4.5,-4.2,4.));
#493 = LINE('',#494,#495);
#494 = CARTESIAN_POINT('',(4.5,-4.2,-4.));
#495 = VECTOR('',#496,1.);
#496 = DIRECTION('',(0.,0.,1.));
#497 = ORIENTED_EDGE('',*,*,#498,.T.);
#498 = EDGE_CURVE('',#491,#499,#501,.T.);
#499 = VERTEX_POINT('',#500);
#500 = CARTESIAN_POINT('',(4.5,-1.8,4.));
#501 = LINE('',#502,#503);
#502 = CARTESIAN_POINT('',(4.5,-4.2,4.));
#503 = VECTOR('',#504,1.);
#504 = DIRECTION('',(0.,1.,0.));
#505 = ORIENTED_EDGE('',*,*,#506,.F.);
#506 = EDGE_CURVE('',#507,#499,#509,.T.);
#507 = VERTEX_POINT('',#508);
#508 = CARTESIAN_POINT('',(4.5,-1.8,0.));
#509 = LINE('',#510,#511);
#510 = CARTESIAN_POINT('',(4.5,-1.8,-4.));
#511 = VECTOR('',#512,1.);
#512 = DIRECTION('',(0.,0.,1.));
#513 = ORIENTED_EDGE('',*,*,#514,.T.);
#514 = EDGE_CURVE('',#507,#515,#517,.T.);
#515 = VERTEX_POINT('',#516);
#516 = CARTESIAN_POINT('',(4.5,0.9,0.));
#517 = LINE('',#518,#519);
#518 = CARTESIAN_POINT('',(4.5,-13.6,0.));
#519 = VECTOR('',#520,1.);
#520 = DIRECTION('',(0.,1.,0.));
#521 = ORIENTED_EDGE('',*,*,#522,.T.);
#522 = EDGE_CURVE('',#515,#326,#523,.T.);
#523 = LINE('',#524,#525);
#524 = CARTESIAN_POINT('',(4.5,0.9,0.));
#525 = VECTOR('',#526,1.);
#526 = DIRECTION('',(0.,0.,1.));
#527 = ORIENTED_EDGE('',*,*,#325,.F.);
#528 = ORIENTED_EDGE('',*,*,#347,.T.);
#529 = ORIENTED_EDGE('',*,*,#380,.F.);
#530 = ORIENTED_EDGE('',*,*,#395,.T.);
#531 = ORIENTED_EDGE('',*,*,#187,.F.);
#532 = PLANE('',#533);
#533 = AXIS2_PLACEMENT_3D('',#534,#535,#536);
#534 = CARTESIAN_POINT('',(4.5,-7.472023809524,4.227976190476));
#535 = DIRECTION('',(1.,0.,0.));
#536 = DIRECTION('',(0.,0.,1.));
#537 = ADVANCED_FACE('',(#538),#549,.T.);
#538 = FACE_BOUND('',#539,.T.);
#539 = EDGE_LOOP('',(#540,#546,#547,#548));
#540 = ORIENTED_EDGE('',*,*,#541,.F.);
#541 = EDGE_CURVE('',#237,#515,#542,.T.);
#542 = LINE('',#543,#544);
#543 = CARTESIAN_POINT('',(-4.5,0.9,0.));
#544 = VECTOR('',#545,1.);
#545 = DIRECTION('',(1.,0.,0.));
#546 = ORIENTED_EDGE('',*,*,#236,.T.);
#547 = ORIENTED_EDGE('',*,*,#333,.T.);
#548 = ORIENTED_EDGE('',*,*,#522,.F.);
#549 = PLANE('',#550);
#550 = AXIS2_PLACEMENT_3D('',#551,#552,#553);
#551 = CARTESIAN_POINT('',(-4.5,0.9,0.));
#552 = DIRECTION('',(0.,1.,0.));
#553 = DIRECTION('',(0.,0.,1.));
#554 = ADVANCED_FACE('',(#555,#568,#602),#636,.F.);
#555 = FACE_BOUND('',#556,.F.);
#556 = EDGE_LOOP('',(#557,#558,#559,#560,#566,#567));
#557 = ORIENTED_EDGE('',*,*,#244,.F.);
#558 = ORIENTED_EDGE('',*,*,#446,.T.);
#559 = ORIENTED_EDGE('',*,*,#482,.T.);
#560 = ORIENTED_EDGE('',*,*,#561,.T.);
#561 = EDGE_CURVE('',#483,#507,#562,.T.);
#562 = LINE('',#563,#564);
#563 = CARTESIAN_POINT('',(4.5,-13.6,0.));
#564 = VECTOR('',#565,1.);
#565 = DIRECTION('',(0.,1.,0.));
#566 = ORIENTED_EDGE('',*,*,#514,.T.);
#567 = ORIENTED_EDGE('',*,*,#541,.F.);
#568 = FACE_BOUND('',#569,.F.);
#569 = EDGE_LOOP('',(#570,#580,#588,#596));
#570 = ORIENTED_EDGE('',*,*,#571,.T.);
#571 = EDGE_CURVE('',#572,#574,#576,.T.);
#572 = VERTEX_POINT('',#573);
#573 = CARTESIAN_POINT('',(1.2,-6.1,0.));
#574 = VERTEX_POINT('',#575);
#575 = CARTESIAN_POINT('',(-1.2,-6.1,0.));
#576 = LINE('',#577,#578);
#577 = CARTESIAN_POINT('',(-2.85,-6.1,0.));
#578 = VECTOR('',#579,1.);
#579 = DIRECTION('',(-1.,0.,0.));
#580 = ORIENTED_EDGE('',*,*,#581,.T.);
#581 = EDGE_CURVE('',#574,#582,#584,.T.);
#582 = VERTEX_POINT('',#583);
#583 = CARTESIAN_POINT('',(-1.2,-5.5,0.));
#584 = LINE('',#585,#586);
#585 = CARTESIAN_POINT('',(-1.2,-9.85,0.));
#586 = VECTOR('',#587,1.);
#587 = DIRECTION('',(0.,1.,0.));
#588 = ORIENTED_EDGE('',*,*,#589,.F.);
#589 = EDGE_CURVE('',#590,#582,#592,.T.);
#590 = VERTEX_POINT('',#591);
#591 = CARTESIAN_POINT('',(1.2,-5.5,0.));
#592 = LINE('',#593,#594);
#593 = CARTESIAN_POINT('',(-2.85,-5.5,0.));
#594 = VECTOR('',#595,1.);
#595 = DIRECTION('',(-1.,0.,0.));
#596 = ORIENTED_EDGE('',*,*,#597,.F.);
#597 = EDGE_CURVE('',#572,#590,#598,.T.);
#598 = LINE('',#599,#600);
#599 = CARTESIAN_POINT('',(1.2,-9.85,0.));
#600 = VECTOR('',#601,1.);
#601 = DIRECTION('',(0.,1.,0.));
#602 = FACE_BOUND('',#603,.F.);
#603 = EDGE_LOOP('',(#604,#614,#622,#630));
#604 = ORIENTED_EDGE('',*,*,#605,.T.);
#605 = EDGE_CURVE('',#606,#608,#610,.T.);
#606 = VERTEX_POINT('',#607);
#607 = CARTESIAN_POINT('',(1.4,-0.3,0.));
#608 = VERTEX_POINT('',#609);
#609 = CARTESIAN_POINT('',(-1.4,-0.3,0.));
#610 = LINE('',#611,#612);
#611 = CARTESIAN_POINT('',(-2.95,-0.3,0.));
#612 = VECTOR('',#613,1.);
#613 = DIRECTION('',(-1.,0.,0.));
#614 = ORIENTED_EDGE('',*,*,#615,.T.);
#615 = EDGE_CURVE('',#608,#616,#618,.T.);
#616 = VERTEX_POINT('',#617);
#617 = CARTESIAN_POINT('',(-1.4,0.3,0.));
#618 = LINE('',#619,#620);
#619 = CARTESIAN_POINT('',(-1.4,-6.95,0.));
#620 = VECTOR('',#621,1.);
#621 = DIRECTION('',(0.,1.,0.));
#622 = ORIENTED_EDGE('',*,*,#623,.F.);
#623 = EDGE_CURVE('',#624,#616,#626,.T.);
#624 = VERTEX_POINT('',#625);
#625 = CARTESIAN_POINT('',(1.4,0.3,0.));
#626 = LINE('',#627,#628);
#627 = CARTESIAN_POINT('',(-2.95,0.3,0.));
#628 = VECTOR('',#629,1.);
#629 = DIRECTION('',(-1.,0.,0.));
#630 = ORIENTED_EDGE('',*,*,#631,.F.);
#631 = EDGE_CURVE('',#606,#624,#632,.T.);
#632 = LINE('',#633,#634);
#633 = CARTESIAN_POINT('',(1.4,-6.95,0.));
#634 = VECTOR('',#635,1.);
#635 = DIRECTION('',(0.,1.,0.));
#636 = PLANE('',#637);
#637 = AXIS2_PLACEMENT_3D('',#638,#639,#640);
#638 = CARTESIAN_POINT('',(-4.5,-13.6,0.));
#639 = DIRECTION('',(0.,0.,1.));
#640 = DIRECTION('',(1.,0.,0.));
#641 = ADVANCED_FACE('',(#642),#660,.T.);
#642 = FACE_BOUND('',#643,.T.);
#643 = EDGE_LOOP('',(#644,#652,#653,#654));
#644 = ORIENTED_EDGE('',*,*,#645,.F.);
#645 = EDGE_CURVE('',#417,#646,#648,.T.);
#646 = VERTEX_POINT('',#647);
#647 = CARTESIAN_POINT('',(1.4,0.3,4.));
#648 = LINE('',#649,#650);
#649 = CARTESIAN_POINT('',(1.4,-0.3,4.));
#650 = VECTOR('',#651,1.);
#651 = DIRECTION('',(0.,1.,0.));
#652 = ORIENTED_EDGE('',*,*,#416,.T.);
#653 = ORIENTED_EDGE('',*,*,#302,.T.);
#654 = ORIENTED_EDGE('',*,*,#655,.T.);
#655 = EDGE_CURVE('',#295,#646,#656,.T.);
#656 = LINE('',#657,#658);
#657 = CARTESIAN_POINT('',(1.4,0.3,-4.));
#658 = VECTOR('',#659,1.);
#659 = DIRECTION('',(0.,0.,1.));
#660 = PLANE('',#661);
#661 = AXIS2_PLACEMENT_3D('',#662,#663,#664);
#662 = CARTESIAN_POINT('',(1.4,-0.3,-4.));
#663 = DIRECTION('',(1.,0.,0.));
#664 = DIRECTION('',(0.,0.,1.));
#665 = ADVANCED_FACE('',(#666),#684,.T.);
#666 = FACE_BOUND('',#667,.T.);
#667 = EDGE_LOOP('',(#668,#669,#670,#678));
#668 = ORIENTED_EDGE('',*,*,#655,.F.);
#669 = ORIENTED_EDGE('',*,*,#294,.T.);
#670 = ORIENTED_EDGE('',*,*,#671,.T.);
#671 = EDGE_CURVE('',#287,#672,#674,.T.);
#672 = VERTEX_POINT('',#673);
#673 = CARTESIAN_POINT('',(-1.4,0.3,4.));
#674 = LINE('',#675,#676);
#675 = CARTESIAN_POINT('',(-1.4,0.3,-4.));
#676 = VECTOR('',#677,1.);
#677 = DIRECTION('',(0.,0.,1.));
#678 = ORIENTED_EDGE('',*,*,#679,.T.);
#679 = EDGE_CURVE('',#672,#646,#680,.T.);
#680 = LINE('',#681,#682);
#681 = CARTESIAN_POINT('',(-1.4,0.3,4.));
#682 = VECTOR('',#683,1.);
#683 = DIRECTION('',(1.,0.,0.));
#684 = PLANE('',#685);
#685 = AXIS2_PLACEMENT_3D('',#686,#687,#688);
#686 = CARTESIAN_POINT('',(-1.4,0.3,-4.));
#687 = DIRECTION('',(0.,1.,0.));
#688 = DIRECTION('',(0.,0.,1.));
#689 = ADVANCED_FACE('',(#690),#701,.F.);
#690 = FACE_BOUND('',#691,.F.);
#691 = EDGE_LOOP('',(#692,#698,#699,#700));
#692 = ORIENTED_EDGE('',*,*,#693,.F.);
#693 = EDGE_CURVE('',#425,#672,#694,.T.);
#694 = LINE('',#695,#696);
#695 = CARTESIAN_POINT('',(-1.4,-0.3,4.));
#696 = VECTOR('',#697,1.);
#697 = DIRECTION('',(0.,1.,0.));
#698 = ORIENTED_EDGE('',*,*,#432,.T.);
#699 = ORIENTED_EDGE('',*,*,#286,.T.);
#700 = ORIENTED_EDGE('',*,*,#671,.T.);
#701 = PLANE('',#702);
#702 = AXIS2_PLACEMENT_3D('',#703,#704,#705);
#703 = CARTESIAN_POINT('',(-1.4,-0.3,-4.));
#704 = DIRECTION('',(1.,0.,0.));
#705 = DIRECTION('',(0.,0.,1.));
#706 = ADVANCED_FACE('',(#707),#713,.T.);
#707 = FACE_BOUND('',#708,.T.);
#708 = EDGE_LOOP('',(#709,#710,#711,#712));
#709 = ORIENTED_EDGE('',*,*,#693,.F.);
#710 = ORIENTED_EDGE('',*,*,#424,.T.);
#711 = ORIENTED_EDGE('',*,*,#645,.T.);
#712 = ORIENTED_EDGE('',*,*,#679,.F.);
#713 = PLANE('',#714);
#714 = AXIS2_PLACEMENT_3D('',#715,#716,#717);
#715 = CARTESIAN_POINT('',(-1.4,-0.3,4.));
#716 = DIRECTION('',(0.,0.,1.));
#717 = DIRECTION('',(1.,0.,0.));
#718 = ADVANCED_FACE('',(#719),#738,.F.);
#719 = FACE_BOUND('',#720,.T.);
#720 = EDGE_LOOP('',(#721,#722,#730,#737));
#721 = ORIENTED_EDGE('',*,*,#464,.T.);
#722 = ORIENTED_EDGE('',*,*,#723,.T.);
#723 = EDGE_CURVE('',#465,#724,#726,.T.);
#724 = VERTEX_POINT('',#725);
#725 = CARTESIAN_POINT('',(2.75,-7.,6.5));
#726 = LINE('',#727,#728);
#727 = CARTESIAN_POINT('',(2.75,-14.,6.5));
#728 = VECTOR('',#729,1.);
#729 = DIRECTION('',(0.,1.,2.22044604925E-16));
#730 = ORIENTED_EDGE('',*,*,#731,.T.);
#731 = EDGE_CURVE('',#724,#724,#732,.T.);
#732 = CIRCLE('',#733,2.75);
#733 = AXIS2_PLACEMENT_3D('',#734,#735,#736);
#734 = CARTESIAN_POINT('',(0.,-7.,6.5));
#735 = DIRECTION('',(-0.,1.,2.22044604925E-16));
#736 = DIRECTION('',(1.,0.,0.));
#737 = ORIENTED_EDGE('',*,*,#723,.F.);
#738 = CYLINDRICAL_SURFACE('',#739,2.75);
#739 = AXIS2_PLACEMENT_3D('',#740,#741,#742);
#740 = CARTESIAN_POINT('',(0.,-14.,6.5));
#741 = DIRECTION('',(-0.,-1.,-2.22044604925E-16));
#742 = DIRECTION('',(1.,0.,0.));
#743 = ADVANCED_FACE('',(#744),#777,.T.);
#744 = FACE_BOUND('',#745,.T.);
#745 = EDGE_LOOP('',(#746,#756,#762,#763,#771));
#746 = ORIENTED_EDGE('',*,*,#747,.F.);
#747 = EDGE_CURVE('',#748,#750,#752,.T.);
#748 = VERTEX_POINT('',#749);
#749 = CARTESIAN_POINT('',(4.5,-1.8,-4.));
#750 = VERTEX_POINT('',#751);
#751 = CARTESIAN_POINT('',(5.1,-1.8,-4.));
#752 = LINE('',#753,#754);
#753 = CARTESIAN_POINT('',(4.5,-1.8,-4.));
#754 = VECTOR('',#755,1.);
#755 = DIRECTION('',(1.,0.,0.));
#756 = ORIENTED_EDGE('',*,*,#757,.T.);
#757 = EDGE_CURVE('',#748,#507,#758,.T.);
#758 = LINE('',#759,#760);
#759 = CARTESIAN_POINT('',(4.5,-1.8,-4.));
#760 = VECTOR('',#761,1.);
#761 = DIRECTION('',(0.,0.,1.));
#762 = ORIENTED_EDGE('',*,*,#506,.T.);
#763 = ORIENTED_EDGE('',*,*,#764,.T.);
#764 = EDGE_CURVE('',#499,#765,#767,.T.);
#765 = VERTEX_POINT('',#766);
#766 = CARTESIAN_POINT('',(5.1,-1.8,4.));
#767 = LINE('',#768,#769);
#768 = CARTESIAN_POINT('',(4.5,-1.8,4.));
#769 = VECTOR('',#770,1.);
#770 = DIRECTION('',(1.,0.,0.));
#771 = ORIENTED_EDGE('',*,*,#772,.F.);
#772 = EDGE_CURVE('',#750,#765,#773,.T.);
#773 = LINE('',#774,#775);
#774 = CARTESIAN_POINT('',(5.1,-1.8,-4.));
#775 = VECTOR('',#776,1.);
#776 = DIRECTION('',(0.,0.,1.));
#777 = PLANE('',#778);
#778 = AXIS2_PLACEMENT_3D('',#779,#780,#781);
#779 = CARTESIAN_POINT('',(4.5,-1.8,-4.));
#780 = DIRECTION('',(0.,1.,0.));
#781 = DIRECTION('',(0.,0.,1.));
#782 = ADVANCED_FACE('',(#783),#801,.T.);
#783 = FACE_BOUND('',#784,.T.);
#784 = EDGE_LOOP('',(#785,#786,#794,#800));
#785 = ORIENTED_EDGE('',*,*,#498,.F.);
#786 = ORIENTED_EDGE('',*,*,#787,.T.);
#787 = EDGE_CURVE('',#491,#788,#790,.T.);
#788 = VERTEX_POINT('',#789);
#789 = CARTESIAN_POINT('',(5.1,-4.2,4.));
#790 = LINE('',#791,#792);
#791 = CARTESIAN_POINT('',(4.5,-4.2,4.));
#792 = VECTOR('',#793,1.);
#793 = DIRECTION('',(1.,0.,0.));
#794 = ORIENTED_EDGE('',*,*,#795,.T.);
#795 = EDGE_CURVE('',#788,#765,#796,.T.);
#796 = LINE('',#797,#798);
#797 = CARTESIAN_POINT('',(5.1,-4.2,4.));
#798 = VECTOR('',#799,1.);
#799 = DIRECTION('',(0.,1.,0.));
#800 = ORIENTED_EDGE('',*,*,#764,.F.);
#801 = PLANE('',#802);
#802 = AXIS2_PLACEMENT_3D('',#803,#804,#805);
#803 = CARTESIAN_POINT('',(4.5,-4.2,4.));
#804 = DIRECTION('',(0.,0.,1.));
#805 = DIRECTION('',(1.,0.,0.));
#806 = ADVANCED_FACE('',(#807),#833,.F.);
#807 = FACE_BOUND('',#808,.F.);
#808 = EDGE_LOOP('',(#809,#819,#825,#826,#827));
#809 = ORIENTED_EDGE('',*,*,#810,.F.);
#810 = EDGE_CURVE('',#811,#813,#815,.T.);
#811 = VERTEX_POINT('',#812);
#812 = CARTESIAN_POINT('',(4.5,-4.2,-4.));
#813 = VERTEX_POINT('',#814);
#814 = CARTESIAN_POINT('',(5.1,-4.2,-4.));
#815 = LINE('',#816,#817);
#816 = CARTESIAN_POINT('',(4.5,-4.2,-4.));
#817 = VECTOR('',#818,1.);
#818 = DIRECTION('',(1.,0.,0.));
#819 = ORIENTED_EDGE('',*,*,#820,.T.);
#820 = EDGE_CURVE('',#811,#483,#821,.T.);
#821 = LINE('',#822,#823);
#822 = CARTESIAN_POINT('',(4.5,-4.2,-4.));
#823 = VECTOR('',#824,1.);
#824 = DIRECTION('',(0.,0.,1.));
#825 = ORIENTED_EDGE('',*,*,#490,.T.);
#826 = ORIENTED_EDGE('',*,*,#787,.T.);
#827 = ORIENTED_EDGE('',*,*,#828,.F.);
#828 = EDGE_CURVE('',#813,#788,#829,.T.);
#829 = LINE('',#830,#831);
#830 = CARTESIAN_POINT('',(5.1,-4.2,-4.));
#831 = VECTOR('',#832,1.);
#832 = DIRECTION('',(0.,0.,1.));
#833 = PLANE('',#834);
#834 = AXIS2_PLACEMENT_3D('',#835,#836,#837);
#835 = CARTESIAN_POINT('',(4.5,-4.2,-4.));
#836 = DIRECTION('',(0.,1.,0.));
#837 = DIRECTION('',(0.,0.,1.));
#838 = ADVANCED_FACE('',(#839),#850,.F.);
#839 = FACE_BOUND('',#840,.F.);
#840 = EDGE_LOOP('',(#841,#842,#848,#849));
#841 = ORIENTED_EDGE('',*,*,#820,.F.);
#842 = ORIENTED_EDGE('',*,*,#843,.T.);
#843 = EDGE_CURVE('',#811,#748,#844,.T.);
#844 = LINE('',#845,#846);
#845 = CARTESIAN_POINT('',(4.5,-4.2,-4.));
#846 = VECTOR('',#847,1.);
#847 = DIRECTION('',(0.,1.,0.));
#848 = ORIENTED_EDGE('',*,*,#757,.T.);
#849 = ORIENTED_EDGE('',*,*,#561,.F.);
#850 = PLANE('',#851);
#851 = AXIS2_PLACEMENT_3D('',#852,#853,#854);
#852 = CARTESIAN_POINT('',(4.5,-4.2,-4.));
#853 = DIRECTION('',(1.,0.,0.));
#854 = DIRECTION('',(0.,0.,1.));
#855 = ADVANCED_FACE('',(#856),#881,.F.);
#856 = FACE_BOUND('',#857,.F.);
#857 = EDGE_LOOP('',(#858,#866,#874,#880));
#858 = ORIENTED_EDGE('',*,*,#859,.F.);
#859 = EDGE_CURVE('',#860,#572,#862,.T.);
#860 = VERTEX_POINT('',#861);
#861 = CARTESIAN_POINT('',(1.2,-6.1,-4.));
#862 = LINE('',#863,#864);
#863 = CARTESIAN_POINT('',(1.2,-6.1,-4.));
#864 = VECTOR('',#865,1.);
#865 = DIRECTION('',(0.,0.,1.));
#866 = ORIENTED_EDGE('',*,*,#867,.F.);
#867 = EDGE_CURVE('',#868,#860,#870,.T.);
#868 = VERTEX_POINT('',#869);
#869 = CARTESIAN_POINT('',(-1.2,-6.1,-4.));
#870 = LINE('',#871,#872);
#871 = CARTESIAN_POINT('',(-1.2,-6.1,-4.));
#872 = VECTOR('',#873,1.);
#873 = DIRECTION('',(1.,0.,0.));
#874 = ORIENTED_EDGE('',*,*,#875,.T.);
#875 = EDGE_CURVE('',#868,#574,#876,.T.);
#876 = LINE('',#877,#878);
#877 = CARTESIAN_POINT('',(-1.2,-6.1,-4.));
#878 = VECTOR('',#879,1.);
#879 = DIRECTION('',(0.,0.,1.));
#880 = ORIENTED_EDGE('',*,*,#571,.F.);
#881 = PLANE('',#882);
#882 = AXIS2_PLACEMENT_3D('',#883,#884,#885);
#883 = CARTESIAN_POINT('',(-1.2,-6.1,-4.));
#884 = DIRECTION('',(0.,1.,0.));
#885 = DIRECTION('',(0.,0.,1.));
#886 = ADVANCED_FACE('',(#887),#905,.T.);
#887 = FACE_BOUND('',#888,.T.);
#888 = EDGE_LOOP('',(#889,#890,#898,#904));
#889 = ORIENTED_EDGE('',*,*,#859,.F.);
#890 = ORIENTED_EDGE('',*,*,#891,.T.);
#891 = EDGE_CURVE('',#860,#892,#894,.T.);
#892 = VERTEX_POINT('',#893);
#893 = CARTESIAN_POINT('',(1.2,-5.5,-4.));
#894 = LINE('',#895,#896);
#895 = CARTESIAN_POINT('',(1.2,-6.1,-4.));
#896 = VECTOR('',#897,1.);
#897 = DIRECTION('',(0.,1.,0.));
#898 = ORIENTED_EDGE('',*,*,#899,.T.);
#899 = EDGE_CURVE('',#892,#590,#900,.T.);
#900 = LINE('',#901,#902);
#901 = CARTESIAN_POINT('',(1.2,-5.5,-4.));
#902 = VECTOR('',#903,1.);
#903 = DIRECTION('',(0.,0.,1.));
#904 = ORIENTED_EDGE('',*,*,#597,.F.);
#905 = PLANE('',#906);
#906 = AXIS2_PLACEMENT_3D('',#907,#908,#909);
#907 = CARTESIAN_POINT('',(1.2,-6.1,-4.));
#908 = DIRECTION('',(1.,0.,0.));
#909 = DIRECTION('',(0.,0.,1.));
#910 = ADVANCED_FACE('',(#911),#929,.T.);
#911 = FACE_BOUND('',#912,.T.);
#912 = EDGE_LOOP('',(#913,#914,#922,#928));
#913 = ORIENTED_EDGE('',*,*,#899,.F.);
#914 = ORIENTED_EDGE('',*,*,#915,.F.);
#915 = EDGE_CURVE('',#916,#892,#918,.T.);
#916 = VERTEX_POINT('',#917);
#917 = CARTESIAN_POINT('',(-1.2,-5.5,-4.));
#918 = LINE('',#919,#920);
#919 = CARTESIAN_POINT('',(-1.2,-5.5,-4.));
#920 = VECTOR('',#921,1.);
#921 = DIRECTION('',(1.,0.,0.));
#922 = ORIENTED_EDGE('',*,*,#923,.T.);
#923 = EDGE_CURVE('',#916,#582,#924,.T.);
#924 = LINE('',#925,#926);
#925 = CARTESIAN_POINT('',(-1.2,-5.5,-4.));
#926 = VECTOR('',#927,1.);
#927 = DIRECTION('',(0.,0.,1.));
#928 = ORIENTED_EDGE('',*,*,#589,.F.);
#929 = PLANE('',#930);
#930 = AXIS2_PLACEMENT_3D('',#931,#932,#933);
#931 = CARTESIAN_POINT('',(-1.2,-5.5,-4.));
#932 = DIRECTION('',(0.,1.,0.));
#933 = DIRECTION('',(0.,0.,1.));
#934 = ADVANCED_FACE('',(#935),#946,.F.);
#935 = FACE_BOUND('',#936,.F.);
#936 = EDGE_LOOP('',(#937,#938,#944,#945));
#937 = ORIENTED_EDGE('',*,*,#875,.F.);
#938 = ORIENTED_EDGE('',*,*,#939,.T.);
#939 = EDGE_CURVE('',#868,#916,#940,.T.);
#940 = LINE('',#941,#942);
#941 = CARTESIAN_POINT('',(-1.2,-6.1,-4.));
#942 = VECTOR('',#943,1.);
#943 = DIRECTION('',(0.,1.,0.));
#944 = ORIENTED_EDGE('',*,*,#923,.T.);
#945 = ORIENTED_EDGE('',*,*,#581,.F.);
#946 = PLANE('',#947);
#947 = AXIS2_PLACEMENT_3D('',#948,#949,#950);
#948 = CARTESIAN_POINT('',(-1.2,-6.1,-4.));
#949 = DIRECTION('',(1.,0.,0.));
#950 = DIRECTION('',(0.,0.,1.));
#951 = ADVANCED_FACE('',(#952),#977,.F.);
#952 = FACE_BOUND('',#953,.F.);
#953 = EDGE_LOOP('',(#954,#962,#970,#976));
#954 = ORIENTED_EDGE('',*,*,#955,.F.);
#955 = EDGE_CURVE('',#956,#606,#958,.T.);
#956 = VERTEX_POINT('',#957);
#957 = CARTESIAN_POINT('',(1.4,-0.3,-4.));
#958 = LINE('',#959,#960);
#959 = CARTESIAN_POINT('',(1.4,-0.3,-4.));
#960 = VECTOR('',#961,1.);
#961 = DIRECTION('',(0.,0.,1.));
#962 = ORIENTED_EDGE('',*,*,#963,.F.);
#963 = EDGE_CURVE('',#964,#956,#966,.T.);
#964 = VERTEX_POINT('',#965);
#965 = CARTESIAN_POINT('',(-1.4,-0.3,-4.));
#966 = LINE('',#967,#968);
#967 = CARTESIAN_POINT('',(-1.4,-0.3,-4.));
#968 = VECTOR('',#969,1.);
#969 = DIRECTION('',(1.,0.,0.));
#970 = ORIENTED_EDGE('',*,*,#971,.T.);
#971 = EDGE_CURVE('',#964,#608,#972,.T.);
#972 = LINE('',#973,#974);
#973 = CARTESIAN_POINT('',(-1.4,-0.3,-4.));
#974 = VECTOR('',#975,1.);
#975 = DIRECTION('',(0.,0.,1.));
#976 = ORIENTED_EDGE('',*,*,#605,.F.);
#977 = PLANE('',#978);
#978 = AXIS2_PLACEMENT_3D('',#979,#980,#981);
#979 = CARTESIAN_POINT('',(-1.4,-0.3,-4.));
#980 = DIRECTION('',(0.,1.,0.));
#981 = DIRECTION('',(0.,0.,1.));
#982 = ADVANCED_FACE('',(#983),#1001,.T.);
#983 = FACE_BOUND('',#984,.T.);
#984 = EDGE_LOOP('',(#985,#986,#994,#1000));
#985 = ORIENTED_EDGE('',*,*,#955,.F.);
#986 = ORIENTED_EDGE('',*,*,#987,.T.);
#987 = EDGE_CURVE('',#956,#988,#990,.T.);
#988 = VERTEX_POINT('',#989);
#989 = CARTESIAN_POINT('',(1.4,0.3,-4.));
#990 = LINE('',#991,#992);
#991 = CARTESIAN_POINT('',(1.4,-0.3,-4.));
#992 = VECTOR('',#993,1.);
#993 = DIRECTION('',(0.,1.,0.));
#994 = ORIENTED_EDGE('',*,*,#995,.T.);
#995 = EDGE_CURVE('',#988,#624,#996,.T.);
#996 = LINE('',#997,#998);
#997 = CARTESIAN_POINT('',(1.4,0.3,-4.));
#998 = VECTOR('',#999,1.);
#999 = DIRECTION('',(0.,0.,1.));
#1000 = ORIENTED_EDGE('',*,*,#631,.F.);
#1001 = PLANE('',#1002);
#1002 = AXIS2_PLACEMENT_3D('',#1003,#1004,#1005);
#1003 = CARTESIAN_POINT('',(1.4,-0.3,-4.));
#1004 = DIRECTION('',(1.,0.,0.));
#1005 = DIRECTION('',(0.,0.,1.));
#1006 = ADVANCED_FACE('',(#1007),#1025,.T.);
#1007 = FACE_BOUND('',#1008,.T.);
#1008 = EDGE_LOOP('',(#1009,#1010,#1018,#1024));
#1009 = ORIENTED_EDGE('',*,*,#995,.F.);
#1010 = ORIENTED_EDGE('',*,*,#1011,.F.);
#1011 = EDGE_CURVE('',#1012,#988,#1014,.T.);
#1012 = VERTEX_POINT('',#1013);
#1013 = CARTESIAN_POINT('',(-1.4,0.3,-4.));
#1014 = LINE('',#1015,#1016);
#1015 = CARTESIAN_POINT('',(-1.4,0.3,-4.));
#1016 = VECTOR('',#1017,1.);
#1017 = DIRECTION('',(1.,0.,0.));
#1018 = ORIENTED_EDGE('',*,*,#1019,.T.);
#1019 = EDGE_CURVE('',#1012,#616,#1020,.T.);
#1020 = LINE('',#1021,#1022);
#1021 = CARTESIAN_POINT('',(-1.4,0.3,-4.));
#1022 = VECTOR('',#1023,1.);
#1023 = DIRECTION('',(0.,0.,1.));
#1024 = ORIENTED_EDGE('',*,*,#623,.F.);
#1025 = PLANE('',#1026);
#1026 = AXIS2_PLACEMENT_3D('',#1027,#1028,#1029);
#1027 = CARTESIAN_POINT('',(-1.4,0.3,-4.));
#1028 = DIRECTION('',(0.,1.,0.));
#1029 = DIRECTION('',(0.,0.,1.));
#1030 = ADVANCED_FACE('',(#1031),#1042,.F.);
#1031 = FACE_BOUND('',#1032,.F.);
#1032 = EDGE_LOOP('',(#1033,#1034,#1040,#1041));
#1033 = ORIENTED_EDGE('',*,*,#971,.F.);
#1034 = ORIENTED_EDGE('',*,*,#1035,.T.);
#1035 = EDGE_CURVE('',#964,#1012,#1036,.T.);
#1036 = LINE('',#1037,#1038);
#1037 = CARTESIAN_POINT('',(-1.4,-0.3,-4.));
#1038 = VECTOR('',#1039,1.);
#1039 = DIRECTION('',(0.,1.,0.));
#1040 = ORIENTED_EDGE('',*,*,#1019,.T.);
#1041 = ORIENTED_EDGE('',*,*,#615,.F.);
#1042 = PLANE('',#1043);
#1043 = AXIS2_PLACEMENT_3D('',#1044,#1045,#1046);
#1044 = CARTESIAN_POINT('',(-1.4,-0.3,-4.));
#1045 = DIRECTION('',(1.,0.,0.));
#1046 = DIRECTION('',(0.,0.,1.));
#1047 = ADVANCED_FACE('',(#1048),#1051,.F.);
#1048 = FACE_BOUND('',#1049,.T.);
#1049 = EDGE_LOOP('',(#1050));
#1050 = ORIENTED_EDGE('',*,*,#731,.F.);
#1051 = PLANE('',#1052);
#1052 = AXIS2_PLACEMENT_3D('',#1053,#1054,#1055);
#1053 = CARTESIAN_POINT('',(0.,-7.,6.5));
#1054 = DIRECTION('',(0.,1.,2.22044604925E-16));
#1055 = DIRECTION('',(1.,0.,0.));
#1056 = ADVANCED_FACE('',(#1057),#1068,.F.);
#1057 = FACE_BOUND('',#1058,.F.);
#1058 = EDGE_LOOP('',(#1059,#1060,#1061,#1067));
#1059 = ORIENTED_EDGE('',*,*,#843,.F.);
#1060 = ORIENTED_EDGE('',*,*,#810,.T.);
#1061 = ORIENTED_EDGE('',*,*,#1062,.T.);
#1062 = EDGE_CURVE('',#813,#750,#1063,.T.);
#1063 = LINE('',#1064,#1065);
#1064 = CARTESIAN_POINT('',(5.1,-4.2,-4.));
#1065 = VECTOR('',#1066,1.);
#1066 = DIRECTION('',(0.,1.,0.));
#1067 = ORIENTED_EDGE('',*,*,#747,.F.);
#1068 = PLANE('',#1069);
#1069 = AXIS2_PLACEMENT_3D('',#1070,#1071,#1072);
#1070 = CARTESIAN_POINT('',(4.5,-4.2,-4.));
#1071 = DIRECTION('',(0.,0.,1.));
#1072 = DIRECTION('',(1.,0.,0.));
#1073 = ADVANCED_FACE('',(#1074),#1080,.T.);
#1074 = FACE_BOUND('',#1075,.T.);
#1075 = EDGE_LOOP('',(#1076,#1077,#1078,#1079));
#1076 = ORIENTED_EDGE('',*,*,#828,.F.);
#1077 = ORIENTED_EDGE('',*,*,#1062,.T.);
#1078 = ORIENTED_EDGE('',*,*,#772,.T.);
#1079 = ORIENTED_EDGE('',*,*,#795,.F.);
#1080 = PLANE('',#1081);
#1081 = AXIS2_PLACEMENT_3D('',#1082,#1083,#1084);
#1082 = CARTESIAN_POINT('',(5.1,-4.2,-4.));
#1083 = DIRECTION('',(1.,0.,0.));
#1084 = DIRECTION('',(0.,0.,1.));
#1085 = ADVANCED_FACE('',(#1086),#1092,.F.);
#1086 = FACE_BOUND('',#1087,.F.);
#1087 = EDGE_LOOP('',(#1088,#1089,#1090,#1091));
#1088 = ORIENTED_EDGE('',*,*,#939,.F.);
#1089 = ORIENTED_EDGE('',*,*,#867,.T.);
#1090 = ORIENTED_EDGE('',*,*,#891,.T.);
#1091 = ORIENTED_EDGE('',*,*,#915,.F.);
#1092 = PLANE('',#1093);
#1093 = AXIS2_PLACEMENT_3D('',#1094,#1095,#1096);
#1094 = CARTESIAN_POINT('',(-1.2,-6.1,-4.));
#1095 = DIRECTION('',(0.,0.,1.));
#1096 = DIRECTION('',(1.,0.,0.));
#1097 = ADVANCED_FACE('',(#1098),#1104,.F.);
#1098 = FACE_BOUND('',#1099,.F.);
#1099 = EDGE_LOOP('',(#1100,#1101,#1102,#1103));
#1100 = ORIENTED_EDGE('',*,*,#1035,.F.);
#1101 = ORIENTED_EDGE('',*,*,#963,.T.);
#1102 = ORIENTED_EDGE('',*,*,#987,.T.);
#1103 = ORIENTED_EDGE('',*,*,#1011,.F.);
#1104 = PLANE('',#1105);
#1105 = AXIS2_PLACEMENT_3D('',#1106,#1107,#1108);
#1106 = CARTESIAN_POINT('',(-1.4,-0.3,-4.));
#1107 = DIRECTION('',(0.,0.,1.));
#1108 = DIRECTION('',(1.,0.,0.));
#1109 = MANIFOLD_SOLID_BREP('',#1110);
#1110 = CLOSED_SHELL('',(#1111,#1144,#1153));
#1111 = ADVANCED_FACE('',(#1112),#1139,.T.);
#1112 = FACE_BOUND('',#1113,.F.);
#1113 = EDGE_LOOP('',(#1114,#1124,#1131,#1132));
#1114 = ORIENTED_EDGE('',*,*,#1115,.T.);
#1115 = EDGE_CURVE('',#1116,#1118,#1120,.T.);
#1116 = VERTEX_POINT('',#1117);
#1117 = CARTESIAN_POINT('',(1.05,-13.6,6.5));
#1118 = VERTEX_POINT('',#1119);
#1119 = CARTESIAN_POINT('',(1.05,-8.3,6.5));
#1120 = LINE('',#1121,#1122);
#1121 = CARTESIAN_POINT('',(1.05,-13.6,6.5));
#1122 = VECTOR('',#1123,1.);
#1123 = DIRECTION('',(0.,1.,2.22044604925E-16));
#1124 = ORIENTED_EDGE('',*,*,#1125,.T.);
#1125 = EDGE_CURVE('',#1118,#1118,#1126,.T.);
#1126 = CIRCLE('',#1127,1.05);
#1127 = AXIS2_PLACEMENT_3D('',#1128,#1129,#1130);
#1128 = CARTESIAN_POINT('',(0.,-8.3,6.5));
#1129 = DIRECTION('',(-0.,1.,2.22044604925E-16));
#1130 = DIRECTION('',(1.,0.,0.));
#1131 = ORIENTED_EDGE('',*,*,#1115,.F.);
#1132 = ORIENTED_EDGE('',*,*,#1133,.F.);
#1133 = EDGE_CURVE('',#1116,#1116,#1134,.T.);
#1134 = CIRCLE('',#1135,1.05);
#1135 = AXIS2_PLACEMENT_3D('',#1136,#1137,#1138);
#1136 = CARTESIAN_POINT('',(0.,-13.6,6.5));
#1137 = DIRECTION('',(-0.,1.,2.22044604925E-16));
#1138 = DIRECTION('',(1.,0.,0.));
#1139 = CYLINDRICAL_SURFACE('',#1140,1.05);
#1140 = AXIS2_PLACEMENT_3D('',#1141,#1142,#1143);
#1141 = CARTESIAN_POINT('',(0.,-13.6,6.5));
#1142 = DIRECTION('',(-0.,-1.,-2.22044604925E-16));
#1143 = DIRECTION('',(1.,0.,0.));
#1144 = ADVANCED_FACE('',(#1145),#1148,.F.);
#1145 = FACE_BOUND('',#1146,.T.);
#1146 = EDGE_LOOP('',(#1147));
#1147 = ORIENTED_EDGE('',*,*,#1133,.F.);
#1148 = PLANE('',#1149);
#1149 = AXIS2_PLACEMENT_3D('',#1150,#1151,#1152);
#1150 = CARTESIAN_POINT('',(0.,-13.6,6.5));
#1151 = DIRECTION('',(0.,1.,2.22044604925E-16));
#1152 = DIRECTION('',(1.,0.,0.));
#1153 = ADVANCED_FACE('',(#1154),#1157,.T.);
#1154 = FACE_BOUND('',#1155,.F.);
#1155 = EDGE_LOOP('',(#1156));
#1156 = ORIENTED_EDGE('',*,*,#1125,.F.);
#1157 = PLANE('',#1158);
#1158 = AXIS2_PLACEMENT_3D('',#1159,#1160,#1161);
#1159 = CARTESIAN_POINT('',(0.,-8.3,6.5));
#1160 = DIRECTION('',(0.,1.,2.22044604925E-16));
#1161 = DIRECTION('',(1.,0.,0.));
#1162 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3)
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#1166))
GLOBAL_UNIT_ASSIGNED_CONTEXT((#1163,#1164,#1165)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#1163 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#1164 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#1165 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#1166 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(2.E-06),#1163,
'distance_accuracy_value','confusion accuracy');
#1167 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#7));
#1168 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION('',(
#1169,#1180,#1188,#1195,#1202,#1209,#1216,#1223,#1230,#1237,#1244,
#1251,#1258,#1265,#1272,#1279,#1286,#1293,#1300,#1307,#1314,#1321,
#1330,#1337,#1344),#1162);
#1169 = STYLED_ITEM('color',(#1170),#15);
#1170 = PRESENTATION_STYLE_ASSIGNMENT((#1171,#1177));
#1171 = SURFACE_STYLE_USAGE(.BOTH.,#1172);
#1172 = SURFACE_SIDE_STYLE('',(#1173));
#1173 = SURFACE_STYLE_FILL_AREA(#1174);
#1174 = FILL_AREA_STYLE('',(#1175));
#1175 = FILL_AREA_STYLE_COLOUR('',#1176);
#1176 = COLOUR_RGB('',0.199999998682,0.199999998682,0.199999998682);
#1177 = CURVE_STYLE('',#1178,POSITIVE_LENGTH_MEASURE(0.1),#1179);
#1178 = DRAUGHTING_PRE_DEFINED_CURVE_FONT('continuous');
#1179 = COLOUR_RGB('',9.803921802644E-02,9.803921802644E-02,
9.803921802644E-02);
#1180 = OVER_RIDING_STYLED_ITEM('overriding color',(#1181),#641,#1169);
#1181 = PRESENTATION_STYLE_ASSIGNMENT((#1182));
#1182 = SURFACE_STYLE_USAGE(.BOTH.,#1183);
#1183 = SURFACE_SIDE_STYLE('',(#1184));
#1184 = SURFACE_STYLE_FILL_AREA(#1185);
#1185 = FILL_AREA_STYLE('',(#1186));
#1186 = FILL_AREA_STYLE_COLOUR('',#1187);
#1187 = COLOUR_RGB('',0.750000000934,0.750000000934,0.750000000934);
#1188 = OVER_RIDING_STYLED_ITEM('overriding color',(#1189),#665,#1169);
#1189 = PRESENTATION_STYLE_ASSIGNMENT((#1190));
#1190 = SURFACE_STYLE_USAGE(.BOTH.,#1191);
#1191 = SURFACE_SIDE_STYLE('',(#1192));
#1192 = SURFACE_STYLE_FILL_AREA(#1193);
#1193 = FILL_AREA_STYLE('',(#1194));
#1194 = FILL_AREA_STYLE_COLOUR('',#1187);
#1195 = OVER_RIDING_STYLED_ITEM('overriding color',(#1196),#689,#1169);
#1196 = PRESENTATION_STYLE_ASSIGNMENT((#1197));
#1197 = SURFACE_STYLE_USAGE(.BOTH.,#1198);
#1198 = SURFACE_SIDE_STYLE('',(#1199));
#1199 = SURFACE_STYLE_FILL_AREA(#1200);
#1200 = FILL_AREA_STYLE('',(#1201));
#1201 = FILL_AREA_STYLE_COLOUR('',#1187);
#1202 = OVER_RIDING_STYLED_ITEM('overriding color',(#1203),#706,#1169);
#1203 = PRESENTATION_STYLE_ASSIGNMENT((#1204));
#1204 = SURFACE_STYLE_USAGE(.BOTH.,#1205);
#1205 = SURFACE_SIDE_STYLE('',(#1206));
#1206 = SURFACE_STYLE_FILL_AREA(#1207);
#1207 = FILL_AREA_STYLE('',(#1208));
#1208 = FILL_AREA_STYLE_COLOUR('',#1187);
#1209 = OVER_RIDING_STYLED_ITEM('overriding color',(#1210),#743,#1169);
#1210 = PRESENTATION_STYLE_ASSIGNMENT((#1211));
#1211 = SURFACE_STYLE_USAGE(.BOTH.,#1212);
#1212 = SURFACE_SIDE_STYLE('',(#1213));
#1213 = SURFACE_STYLE_FILL_AREA(#1214);
#1214 = FILL_AREA_STYLE('',(#1215));
#1215 = FILL_AREA_STYLE_COLOUR('',#1187);
#1216 = OVER_RIDING_STYLED_ITEM('overriding color',(#1217),#782,#1169);
#1217 = PRESENTATION_STYLE_ASSIGNMENT((#1218));
#1218 = SURFACE_STYLE_USAGE(.BOTH.,#1219);
#1219 = SURFACE_SIDE_STYLE('',(#1220));
#1220 = SURFACE_STYLE_FILL_AREA(#1221);
#1221 = FILL_AREA_STYLE('',(#1222));
#1222 = FILL_AREA_STYLE_COLOUR('',#1187);
#1223 = OVER_RIDING_STYLED_ITEM('overriding color',(#1224),#806,#1169);
#1224 = PRESENTATION_STYLE_ASSIGNMENT((#1225));
#1225 = SURFACE_STYLE_USAGE(.BOTH.,#1226);
#1226 = SURFACE_SIDE_STYLE('',(#1227));
#1227 = SURFACE_STYLE_FILL_AREA(#1228);
#1228 = FILL_AREA_STYLE('',(#1229));
#1229 = FILL_AREA_STYLE_COLOUR('',#1187);
#1230 = OVER_RIDING_STYLED_ITEM('overriding color',(#1231),#838,#1169);
#1231 = PRESENTATION_STYLE_ASSIGNMENT((#1232));
#1232 = SURFACE_STYLE_USAGE(.BOTH.,#1233);
#1233 = SURFACE_SIDE_STYLE('',(#1234));
#1234 = SURFACE_STYLE_FILL_AREA(#1235);
#1235 = FILL_AREA_STYLE('',(#1236));
#1236 = FILL_AREA_STYLE_COLOUR('',#1187);
#1237 = OVER_RIDING_STYLED_ITEM('overriding color',(#1238),#855,#1169);
#1238 = PRESENTATION_STYLE_ASSIGNMENT((#1239));
#1239 = SURFACE_STYLE_USAGE(.BOTH.,#1240);
#1240 = SURFACE_SIDE_STYLE('',(#1241));
#1241 = SURFACE_STYLE_FILL_AREA(#1242);
#1242 = FILL_AREA_STYLE('',(#1243));
#1243 = FILL_AREA_STYLE_COLOUR('',#1187);
#1244 = OVER_RIDING_STYLED_ITEM('overriding color',(#1245),#886,#1169);
#1245 = PRESENTATION_STYLE_ASSIGNMENT((#1246));
#1246 = SURFACE_STYLE_USAGE(.BOTH.,#1247);
#1247 = SURFACE_SIDE_STYLE('',(#1248));
#1248 = SURFACE_STYLE_FILL_AREA(#1249);
#1249 = FILL_AREA_STYLE('',(#1250));
#1250 = FILL_AREA_STYLE_COLOUR('',#1187);
#1251 = OVER_RIDING_STYLED_ITEM('overriding color',(#1252),#910,#1169);
#1252 = PRESENTATION_STYLE_ASSIGNMENT((#1253));
#1253 = SURFACE_STYLE_USAGE(.BOTH.,#1254);
#1254 = SURFACE_SIDE_STYLE('',(#1255));
#1255 = SURFACE_STYLE_FILL_AREA(#1256);
#1256 = FILL_AREA_STYLE('',(#1257));
#1257 = FILL_AREA_STYLE_COLOUR('',#1187);
#1258 = OVER_RIDING_STYLED_ITEM('overriding color',(#1259),#934,#1169);
#1259 = PRESENTATION_STYLE_ASSIGNMENT((#1260));
#1260 = SURFACE_STYLE_USAGE(.BOTH.,#1261);
#1261 = SURFACE_SIDE_STYLE('',(#1262));
#1262 = SURFACE_STYLE_FILL_AREA(#1263);
#1263 = FILL_AREA_STYLE('',(#1264));
#1264 = FILL_AREA_STYLE_COLOUR('',#1187);
#1265 = OVER_RIDING_STYLED_ITEM('overriding color',(#1266),#951,#1169);
#1266 = PRESENTATION_STYLE_ASSIGNMENT((#1267));
#1267 = SURFACE_STYLE_USAGE(.BOTH.,#1268);
#1268 = SURFACE_SIDE_STYLE('',(#1269));
#1269 = SURFACE_STYLE_FILL_AREA(#1270);
#1270 = FILL_AREA_STYLE('',(#1271));
#1271 = FILL_AREA_STYLE_COLOUR('',#1187);
#1272 = OVER_RIDING_STYLED_ITEM('overriding color',(#1273),#982,#1169);
#1273 = PRESENTATION_STYLE_ASSIGNMENT((#1274));
#1274 = SURFACE_STYLE_USAGE(.BOTH.,#1275);
#1275 = SURFACE_SIDE_STYLE('',(#1276));
#1276 = SURFACE_STYLE_FILL_AREA(#1277);
#1277 = FILL_AREA_STYLE('',(#1278));
#1278 = FILL_AREA_STYLE_COLOUR('',#1187);
#1279 = OVER_RIDING_STYLED_ITEM('overriding color',(#1280),#1006,#1169);
#1280 = PRESENTATION_STYLE_ASSIGNMENT((#1281));
#1281 = SURFACE_STYLE_USAGE(.BOTH.,#1282);
#1282 = SURFACE_SIDE_STYLE('',(#1283));
#1283 = SURFACE_STYLE_FILL_AREA(#1284);
#1284 = FILL_AREA_STYLE('',(#1285));
#1285 = FILL_AREA_STYLE_COLOUR('',#1187);
#1286 = OVER_RIDING_STYLED_ITEM('overriding color',(#1287),#1030,#1169);
#1287 = PRESENTATION_STYLE_ASSIGNMENT((#1288));
#1288 = SURFACE_STYLE_USAGE(.BOTH.,#1289);
#1289 = SURFACE_SIDE_STYLE('',(#1290));
#1290 = SURFACE_STYLE_FILL_AREA(#1291);
#1291 = FILL_AREA_STYLE('',(#1292));
#1292 = FILL_AREA_STYLE_COLOUR('',#1187);
#1293 = OVER_RIDING_STYLED_ITEM('overriding color',(#1294),#1056,#1169);
#1294 = PRESENTATION_STYLE_ASSIGNMENT((#1295));
#1295 = SURFACE_STYLE_USAGE(.BOTH.,#1296);
#1296 = SURFACE_SIDE_STYLE('',(#1297));
#1297 = SURFACE_STYLE_FILL_AREA(#1298);
#1298 = FILL_AREA_STYLE('',(#1299));
#1299 = FILL_AREA_STYLE_COLOUR('',#1187);
#1300 = OVER_RIDING_STYLED_ITEM('overriding color',(#1301),#1073,#1169);
#1301 = PRESENTATION_STYLE_ASSIGNMENT((#1302));
#1302 = SURFACE_STYLE_USAGE(.BOTH.,#1303);
#1303 = SURFACE_SIDE_STYLE('',(#1304));
#1304 = SURFACE_STYLE_FILL_AREA(#1305);
#1305 = FILL_AREA_STYLE('',(#1306));
#1306 = FILL_AREA_STYLE_COLOUR('',#1187);
#1307 = OVER_RIDING_STYLED_ITEM('overriding color',(#1308),#1085,#1169);
#1308 = PRESENTATION_STYLE_ASSIGNMENT((#1309));
#1309 = SURFACE_STYLE_USAGE(.BOTH.,#1310);
#1310 = SURFACE_SIDE_STYLE('',(#1311));
#1311 = SURFACE_STYLE_FILL_AREA(#1312);
#1312 = FILL_AREA_STYLE('',(#1313));
#1313 = FILL_AREA_STYLE_COLOUR('',#1187);
#1314 = OVER_RIDING_STYLED_ITEM('overriding color',(#1315),#1097,#1169);
#1315 = PRESENTATION_STYLE_ASSIGNMENT((#1316));
#1316 = SURFACE_STYLE_USAGE(.BOTH.,#1317);
#1317 = SURFACE_SIDE_STYLE('',(#1318));
#1318 = SURFACE_STYLE_FILL_AREA(#1319);
#1319 = FILL_AREA_STYLE('',(#1320));
#1320 = FILL_AREA_STYLE_COLOUR('',#1187);
#1321 = STYLED_ITEM('color',(#1322),#1109);
#1322 = PRESENTATION_STYLE_ASSIGNMENT((#1323,#1328));
#1323 = SURFACE_STYLE_USAGE(.BOTH.,#1324);
#1324 = SURFACE_SIDE_STYLE('',(#1325));
#1325 = SURFACE_STYLE_FILL_AREA(#1326);
#1326 = FILL_AREA_STYLE('',(#1327));
#1327 = FILL_AREA_STYLE_COLOUR('',#1176);
#1328 = CURVE_STYLE('',#1329,POSITIVE_LENGTH_MEASURE(0.1),#1179);
#1329 = DRAUGHTING_PRE_DEFINED_CURVE_FONT('continuous');
#1330 = OVER_RIDING_STYLED_ITEM('overriding color',(#1331),#1111,#1321);
#1331 = PRESENTATION_STYLE_ASSIGNMENT((#1332));
#1332 = SURFACE_STYLE_USAGE(.BOTH.,#1333);
#1333 = SURFACE_SIDE_STYLE('',(#1334));
#1334 = SURFACE_STYLE_FILL_AREA(#1335);
#1335 = FILL_AREA_STYLE('',(#1336));
#1336 = FILL_AREA_STYLE_COLOUR('',#1187);
#1337 = OVER_RIDING_STYLED_ITEM('overriding color',(#1338),#1144,#1321);
#1338 = PRESENTATION_STYLE_ASSIGNMENT((#1339));
#1339 = SURFACE_STYLE_USAGE(.BOTH.,#1340);
#1340 = SURFACE_SIDE_STYLE('',(#1341));
#1341 = SURFACE_STYLE_FILL_AREA(#1342);
#1342 = FILL_AREA_STYLE('',(#1343));
#1343 = FILL_AREA_STYLE_COLOUR('',#1187);
#1344 = OVER_RIDING_STYLED_ITEM('overriding color',(#1345),#1144,#1321);
#1345 = PRESENTATION_STYLE_ASSIGNMENT((#1346));
#1346 = SURFACE_STYLE_USAGE(.BOTH.,#1347);
#1347 = SURFACE_SIDE_STYLE('',(#1348,#1352));
#1348 = SURFACE_STYLE_FILL_AREA(#1349);
#1349 = FILL_AREA_STYLE('',(#1350));
#1350 = FILL_AREA_STYLE_COLOUR('',#1351);
#1351 = COLOUR_RGB('',0.678430976034,0.709803998361,0.741176010593);
#1352 = SURFACE_STYLE_RENDERING_WITH_PROPERTIES(.NORMAL_SHADING.,#1351,(
#1353));
#1353 = SURFACE_STYLE_TRANSPARENT(1.);
ENDSEC;
END-ISO-10303-21;