Linus Torvalds 7d973b72c2 Add 3d model for basic 18mm pot
I've uglified the openscad 3d model to make freecad happy and do the
STEP file export.  Who knew that I could make my models even _uglier_?

Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
2025-11-20 10:42:28 -08:00

1622 lines
60 KiB
Plaintext

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