kicad-lib/kicad-footprints/packages3d/Inductor_SMD.3dshapes/L_TDK_SLF12555.step

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