Files
projets_freecad/cuisine/capteur_milimetrique/boitier2-Corps-base.step

1697 lines
65 KiB
Plaintext

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