kicad-lib/kicad-packages3D/Inductor_SMD.3dshapes/L_Pulse_PA4320.step

ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
FILE_NAME(
'L_Pulse_PA4320.step','2018-12-16T14:02:03',('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_Pulse_PA4320','L_Pulse_PA4320','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#15),#2009);
#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,#59,#251,#284,#308,#333,#357,#381,#406,
    #432,#456,#482,#506,#531,#555,#580,#605,#629,#653,#672,#767,#846,
    #871,#896,#968,#1040,#1065,#1090,#1155,#1327,#1351,#1384,#1408,#1432
    ,#1449,#1473,#1497,#1514,#1538,#1562,#1595,#1619,#1654,#1689,#1724,
    #1759,#1776,#1793,#1805,#1830,#1855,#1872,#1897,#1922,#1939,#1956,
    #1973,#1985,#1997));
#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.7,-1.E-015,10.2));
#24 = CIRCLE('',#25,4.7);
#25 = AXIS2_PLACEMENT_3D('',#26,#27,#28);
#26 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.2));
#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,10.2));
#32 = DIRECTION('',(0.E+000,0.E+000,1.));
#33 = DIRECTION('',(1.,0.E+000,0.E+000));
#34 = ADVANCED_FACE('',(#35),#54,.T.);
#35 = FACE_BOUND('',#36,.T.);
#36 = EDGE_LOOP('',(#37,#46,#52,#53));
#37 = ORIENTED_EDGE('',*,*,#38,.T.);
#38 = EDGE_CURVE('',#39,#39,#41,.T.);
#39 = VERTEX_POINT('',#40);
#40 = CARTESIAN_POINT('',(4.7,-1.15E-015,10.1));
#41 = CIRCLE('',#42,4.7);
#42 = AXIS2_PLACEMENT_3D('',#43,#44,#45);
#43 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.1));
#44 = DIRECTION('',(0.E+000,0.E+000,1.));
#45 = DIRECTION('',(1.,0.E+000,0.E+000));
#46 = ORIENTED_EDGE('',*,*,#47,.T.);
#47 = EDGE_CURVE('',#39,#22,#48,.T.);
#48 = LINE('',#49,#50);
#49 = CARTESIAN_POINT('',(4.7,-1.15E-015,9.9));
#50 = VECTOR('',#51,1.);
#51 = DIRECTION('',(0.E+000,0.E+000,1.));
#52 = ORIENTED_EDGE('',*,*,#21,.F.);
#53 = ORIENTED_EDGE('',*,*,#47,.F.);
#54 = CYLINDRICAL_SURFACE('',#55,4.7);
#55 = AXIS2_PLACEMENT_3D('',#56,#57,#58);
#56 = CARTESIAN_POINT('',(0.E+000,0.E+000,9.9));
#57 = DIRECTION('',(0.E+000,0.E+000,1.));
#58 = DIRECTION('',(1.,0.E+000,0.E+000));
#59 = ADVANCED_FACE('',(#60,#243),#246,.T.);
#60 = FACE_BOUND('',#61,.T.);
#61 = EDGE_LOOP('',(#62,#73,#82,#90,#99,#107,#116,#125,#133,#142,#150,
    #159,#168,#176,#185,#194,#202,#211,#220,#228,#237));
#62 = ORIENTED_EDGE('',*,*,#63,.T.);
#63 = EDGE_CURVE('',#64,#66,#68,.T.);
#64 = VERTEX_POINT('',#65);
#65 = CARTESIAN_POINT('',(-3.792893218813,5.071067811865,10.1));
#66 = VERTEX_POINT('',#67);
#67 = CARTESIAN_POINT('',(-5.5,4.363961030679,10.1));
#68 = CIRCLE('',#69,1.);
#69 = AXIS2_PLACEMENT_3D('',#70,#71,#72);
#70 = CARTESIAN_POINT('',(-4.5,4.363961030679,10.1));
#71 = DIRECTION('',(0.E+000,-0.E+000,1.));
#72 = DIRECTION('',(0.707106781187,0.707106781187,0.E+000));
#73 = ORIENTED_EDGE('',*,*,#74,.T.);
#74 = EDGE_CURVE('',#66,#75,#77,.T.);
#75 = VERTEX_POINT('',#76);
#76 = CARTESIAN_POINT('',(-5.207106781187,3.656854249492,10.1));
#77 = CIRCLE('',#78,1.);
#78 = AXIS2_PLACEMENT_3D('',#79,#80,#81);
#79 = CARTESIAN_POINT('',(-4.5,4.363961030679,10.1));
#80 = DIRECTION('',(0.E+000,-0.E+000,1.));
#81 = DIRECTION('',(0.707106781187,0.707106781187,0.E+000));
#82 = ORIENTED_EDGE('',*,*,#83,.F.);
#83 = EDGE_CURVE('',#84,#75,#86,.T.);
#84 = VERTEX_POINT('',#85);
#85 = CARTESIAN_POINT('',(-4.224644967346,2.674392435652,10.1));
#86 = LINE('',#87,#88);
#87 = CARTESIAN_POINT('',(-2.460786437627,0.910533905933,10.1));
#88 = VECTOR('',#89,1.);
#89 = DIRECTION('',(-0.707106781187,0.707106781187,0.E+000));
#90 = ORIENTED_EDGE('',*,*,#91,.T.);
#91 = EDGE_CURVE('',#84,#92,#94,.T.);
#92 = VERTEX_POINT('',#93);
#93 = CARTESIAN_POINT('',(-4.116380414372,-2.83820582132,10.1));
#94 = CIRCLE('',#95,5.);
#95 = AXIS2_PLACEMENT_3D('',#96,#97,#98);
#96 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.1));
#97 = DIRECTION('',(0.E+000,0.E+000,1.));
#98 = DIRECTION('',(1.,0.E+000,0.E+000));
#99 = ORIENTED_EDGE('',*,*,#100,.T.);
#100 = EDGE_CURVE('',#92,#101,#103,.T.);
#101 = VERTEX_POINT('',#102);
#102 = CARTESIAN_POINT('',(-5.071067811865,-3.792893218813,10.1));
#103 = LINE('',#104,#105);
#104 = CARTESIAN_POINT('',(-5.074747468306,-3.796572875254,10.1));
#105 = VECTOR('',#106,1.);
#106 = DIRECTION('',(-0.707106781187,-0.707106781187,0.E+000));
#107 = ORIENTED_EDGE('',*,*,#108,.T.);
#108 = EDGE_CURVE('',#101,#109,#111,.T.);
#109 = VERTEX_POINT('',#110);
#110 = CARTESIAN_POINT('',(-4.363961030679,-5.5,10.1));
#111 = CIRCLE('',#112,1.);
#112 = AXIS2_PLACEMENT_3D('',#113,#114,#115);
#113 = CARTESIAN_POINT('',(-4.363961030679,-4.5,10.1));
#114 = DIRECTION('',(0.E+000,0.E+000,1.));
#115 = DIRECTION('',(-0.707106781187,0.707106781187,0.E+000));
#116 = ORIENTED_EDGE('',*,*,#117,.T.);
#117 = EDGE_CURVE('',#109,#118,#120,.T.);
#118 = VERTEX_POINT('',#119);
#119 = CARTESIAN_POINT('',(-3.656854249492,-5.207106781187,10.1));
#120 = CIRCLE('',#121,1.);
#121 = AXIS2_PLACEMENT_3D('',#122,#123,#124);
#122 = CARTESIAN_POINT('',(-4.363961030679,-4.5,10.1));
#123 = DIRECTION('',(0.E+000,0.E+000,1.));
#124 = DIRECTION('',(-0.707106781187,0.707106781187,0.E+000));
#125 = ORIENTED_EDGE('',*,*,#126,.F.);
#126 = EDGE_CURVE('',#127,#118,#129,.T.);
#127 = VERTEX_POINT('',#128);
#128 = CARTESIAN_POINT('',(-2.674392435652,-4.224644967346,10.1));
#129 = LINE('',#130,#131);
#130 = CARTESIAN_POINT('',(-3.660533905933,-5.210786437627,10.1));
#131 = VECTOR('',#132,1.);
#132 = DIRECTION('',(-0.707106781187,-0.707106781187,0.E+000));
#133 = ORIENTED_EDGE('',*,*,#134,.T.);
#134 = EDGE_CURVE('',#127,#135,#137,.T.);
#135 = VERTEX_POINT('',#136);
#136 = CARTESIAN_POINT('',(2.83820582132,-4.116380414372,10.1));
#137 = CIRCLE('',#138,5.);
#138 = AXIS2_PLACEMENT_3D('',#139,#140,#141);
#139 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.1));
#140 = DIRECTION('',(0.E+000,0.E+000,1.));
#141 = DIRECTION('',(1.,0.E+000,0.E+000));
#142 = ORIENTED_EDGE('',*,*,#143,.T.);
#143 = EDGE_CURVE('',#135,#144,#146,.T.);
#144 = VERTEX_POINT('',#145);
#145 = CARTESIAN_POINT('',(3.792893218813,-5.071067811865,10.1));
#146 = LINE('',#147,#148);
#147 = CARTESIAN_POINT('',(1.046572875254,-2.324747468306,10.1));
#148 = VECTOR('',#149,1.);
#149 = DIRECTION('',(0.707106781187,-0.707106781187,0.E+000));
#150 = ORIENTED_EDGE('',*,*,#151,.T.);
#151 = EDGE_CURVE('',#144,#152,#154,.T.);
#152 = VERTEX_POINT('',#153);
#153 = CARTESIAN_POINT('',(5.5,-4.363961030679,10.1));
#154 = CIRCLE('',#155,1.);
#155 = AXIS2_PLACEMENT_3D('',#156,#157,#158);
#156 = CARTESIAN_POINT('',(4.5,-4.363961030679,10.1));
#157 = DIRECTION('',(0.E+000,0.E+000,1.));
#158 = DIRECTION('',(-0.707106781187,-0.707106781187,0.E+000));
#159 = ORIENTED_EDGE('',*,*,#160,.T.);
#160 = EDGE_CURVE('',#152,#161,#163,.T.);
#161 = VERTEX_POINT('',#162);
#162 = CARTESIAN_POINT('',(5.207106781187,-3.656854249492,10.1));
#163 = CIRCLE('',#164,1.);
#164 = AXIS2_PLACEMENT_3D('',#165,#166,#167);
#165 = CARTESIAN_POINT('',(4.5,-4.363961030679,10.1));
#166 = DIRECTION('',(0.E+000,0.E+000,1.));
#167 = DIRECTION('',(-0.707106781187,-0.707106781187,0.E+000));
#168 = ORIENTED_EDGE('',*,*,#169,.F.);
#169 = EDGE_CURVE('',#170,#161,#172,.T.);
#170 = VERTEX_POINT('',#171);
#171 = CARTESIAN_POINT('',(4.224644967346,-2.674392435652,10.1));
#172 = LINE('',#173,#174);
#173 = CARTESIAN_POINT('',(2.460786437627,-0.910533905933,10.1));
#174 = VECTOR('',#175,1.);
#175 = DIRECTION('',(0.707106781187,-0.707106781187,0.E+000));
#176 = ORIENTED_EDGE('',*,*,#177,.T.);
#177 = EDGE_CURVE('',#170,#178,#180,.T.);
#178 = VERTEX_POINT('',#179);
#179 = CARTESIAN_POINT('',(5.,-1.22E-015,10.1));
#180 = CIRCLE('',#181,5.);
#181 = AXIS2_PLACEMENT_3D('',#182,#183,#184);
#182 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.1));
#183 = DIRECTION('',(0.E+000,0.E+000,1.));
#184 = DIRECTION('',(1.,0.E+000,0.E+000));
#185 = ORIENTED_EDGE('',*,*,#186,.T.);
#186 = EDGE_CURVE('',#178,#187,#189,.T.);
#187 = VERTEX_POINT('',#188);
#188 = CARTESIAN_POINT('',(4.116380414372,2.83820582132,10.1));
#189 = CIRCLE('',#190,5.);
#190 = AXIS2_PLACEMENT_3D('',#191,#192,#193);
#191 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.1));
#192 = DIRECTION('',(0.E+000,0.E+000,1.));
#193 = DIRECTION('',(1.,0.E+000,0.E+000));
#194 = ORIENTED_EDGE('',*,*,#195,.T.);
#195 = EDGE_CURVE('',#187,#196,#198,.T.);
#196 = VERTEX_POINT('',#197);
#197 = CARTESIAN_POINT('',(5.071067811865,3.792893218813,10.1));
#198 = LINE('',#199,#200);
#199 = CARTESIAN_POINT('',(-0.425252531694,-1.703427124746,10.1));
#200 = VECTOR('',#201,1.);
#201 = DIRECTION('',(0.707106781187,0.707106781187,0.E+000));
#202 = ORIENTED_EDGE('',*,*,#203,.T.);
#203 = EDGE_CURVE('',#196,#204,#206,.T.);
#204 = VERTEX_POINT('',#205);
#205 = CARTESIAN_POINT('',(4.363961030679,5.5,10.1));
#206 = CIRCLE('',#207,1.);
#207 = AXIS2_PLACEMENT_3D('',#208,#209,#210);
#208 = CARTESIAN_POINT('',(4.363961030679,4.5,10.1));
#209 = DIRECTION('',(-0.E+000,0.E+000,1.));
#210 = DIRECTION('',(0.707106781187,-0.707106781187,0.E+000));
#211 = ORIENTED_EDGE('',*,*,#212,.T.);
#212 = EDGE_CURVE('',#204,#213,#215,.T.);
#213 = VERTEX_POINT('',#214);
#214 = CARTESIAN_POINT('',(3.656854249492,5.207106781187,10.1));
#215 = CIRCLE('',#216,1.);
#216 = AXIS2_PLACEMENT_3D('',#217,#218,#219);
#217 = CARTESIAN_POINT('',(4.363961030679,4.5,10.1));
#218 = DIRECTION('',(-0.E+000,0.E+000,1.));
#219 = DIRECTION('',(0.707106781187,-0.707106781187,0.E+000));
#220 = ORIENTED_EDGE('',*,*,#221,.F.);
#221 = EDGE_CURVE('',#222,#213,#224,.T.);
#222 = VERTEX_POINT('',#223);
#223 = CARTESIAN_POINT('',(2.674392435652,4.224644967346,10.1));
#224 = LINE('',#225,#226);
#225 = CARTESIAN_POINT('',(-1.839466094067,-0.289213562373,10.1));
#226 = VECTOR('',#227,1.);
#227 = DIRECTION('',(0.707106781187,0.707106781187,0.E+000));
#228 = ORIENTED_EDGE('',*,*,#229,.T.);
#229 = EDGE_CURVE('',#222,#230,#232,.T.);
#230 = VERTEX_POINT('',#231);
#231 = CARTESIAN_POINT('',(-2.83820582132,4.116380414372,10.1));
#232 = CIRCLE('',#233,5.);
#233 = AXIS2_PLACEMENT_3D('',#234,#235,#236);
#234 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.1));
#235 = DIRECTION('',(0.E+000,0.E+000,1.));
#236 = DIRECTION('',(1.,0.E+000,0.E+000));
#237 = ORIENTED_EDGE('',*,*,#238,.T.);
#238 = EDGE_CURVE('',#230,#64,#239,.T.);
#239 = LINE('',#240,#241);
#240 = CARTESIAN_POINT('',(-1.046572875254,2.324747468306,10.1));
#241 = VECTOR('',#242,1.);
#242 = DIRECTION('',(-0.707106781187,0.707106781187,0.E+000));
#243 = FACE_BOUND('',#244,.T.);
#244 = EDGE_LOOP('',(#245));
#245 = ORIENTED_EDGE('',*,*,#38,.F.);
#246 = PLANE('',#247);
#247 = AXIS2_PLACEMENT_3D('',#248,#249,#250);
#248 = CARTESIAN_POINT('',(-5.5,-5.5,10.1));
#249 = DIRECTION('',(0.E+000,0.E+000,1.));
#250 = DIRECTION('',(1.,0.E+000,0.E+000));
#251 = ADVANCED_FACE('',(#252),#279,.F.);
#252 = FACE_BOUND('',#253,.F.);
#253 = EDGE_LOOP('',(#254,#265,#271,#272,#273));
#254 = ORIENTED_EDGE('',*,*,#255,.F.);
#255 = EDGE_CURVE('',#256,#258,#260,.T.);
#256 = VERTEX_POINT('',#257);
#257 = CARTESIAN_POINT('',(-3.792893218813,5.071067811865,10.2));
#258 = VERTEX_POINT('',#259);
#259 = CARTESIAN_POINT('',(-5.207106781187,3.656854249492,10.2));
#260 = CIRCLE('',#261,1.);
#261 = AXIS2_PLACEMENT_3D('',#262,#263,#264);
#262 = CARTESIAN_POINT('',(-4.5,4.363961030679,10.2));
#263 = DIRECTION('',(0.E+000,-0.E+000,1.));
#264 = DIRECTION('',(0.707106781187,0.707106781187,0.E+000));
#265 = ORIENTED_EDGE('',*,*,#266,.F.);
#266 = EDGE_CURVE('',#64,#256,#267,.T.);
#267 = LINE('',#268,#269);
#268 = CARTESIAN_POINT('',(-3.792893218813,5.071067811865,10.));
#269 = VECTOR('',#270,1.);
#270 = DIRECTION('',(0.E+000,0.E+000,1.));
#271 = ORIENTED_EDGE('',*,*,#63,.T.);
#272 = ORIENTED_EDGE('',*,*,#74,.T.);
#273 = ORIENTED_EDGE('',*,*,#274,.T.);
#274 = EDGE_CURVE('',#75,#258,#275,.T.);
#275 = LINE('',#276,#277);
#276 = CARTESIAN_POINT('',(-5.207106781187,3.656854249492,10.));
#277 = VECTOR('',#278,1.);
#278 = DIRECTION('',(0.E+000,0.E+000,1.));
#279 = CYLINDRICAL_SURFACE('',#280,1.);
#280 = AXIS2_PLACEMENT_3D('',#281,#282,#283);
#281 = CARTESIAN_POINT('',(-4.5,4.363961030679,10.));
#282 = DIRECTION('',(0.E+000,0.E+000,1.));
#283 = DIRECTION('',(0.707106781187,0.707106781187,0.E+000));
#284 = ADVANCED_FACE('',(#285),#303,.F.);
#285 = FACE_BOUND('',#286,.F.);
#286 = EDGE_LOOP('',(#287,#295,#296,#297));
#287 = ORIENTED_EDGE('',*,*,#288,.F.);
#288 = EDGE_CURVE('',#230,#289,#291,.T.);
#289 = VERTEX_POINT('',#290);
#290 = CARTESIAN_POINT('',(-2.83820582132,4.116380414372,10.2));
#291 = LINE('',#292,#293);
#292 = CARTESIAN_POINT('',(-2.83820582132,4.116380414372,10.));
#293 = VECTOR('',#294,1.);
#294 = DIRECTION('',(0.E+000,0.E+000,1.));
#295 = ORIENTED_EDGE('',*,*,#238,.T.);
#296 = ORIENTED_EDGE('',*,*,#266,.T.);
#297 = ORIENTED_EDGE('',*,*,#298,.T.);
#298 = EDGE_CURVE('',#256,#289,#299,.T.);
#299 = LINE('',#300,#301);
#300 = CARTESIAN_POINT('',(-1.046572875254,2.324747468306,10.2));
#301 = VECTOR('',#302,1.);
#302 = DIRECTION('',(0.707106781187,-0.707106781187,0.E+000));
#303 = PLANE('',#304);
#304 = AXIS2_PLACEMENT_3D('',#305,#306,#307);
#305 = CARTESIAN_POINT('',(-2.732233047034,4.010407640086,10.));
#306 = DIRECTION('',(0.707106781187,0.707106781187,0.E+000));
#307 = DIRECTION('',(0.E+000,0.E+000,1.));
#308 = ADVANCED_FACE('',(#309),#328,.F.);
#309 = FACE_BOUND('',#310,.F.);
#310 = EDGE_LOOP('',(#311,#320,#326,#327));
#311 = ORIENTED_EDGE('',*,*,#312,.F.);
#312 = EDGE_CURVE('',#313,#289,#315,.T.);
#313 = VERTEX_POINT('',#314);
#314 = CARTESIAN_POINT('',(2.674392435652,4.224644967346,10.2));
#315 = CIRCLE('',#316,5.);
#316 = AXIS2_PLACEMENT_3D('',#317,#318,#319);
#317 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.2));
#318 = DIRECTION('',(0.E+000,0.E+000,1.));
#319 = DIRECTION('',(1.,0.E+000,0.E+000));
#320 = ORIENTED_EDGE('',*,*,#321,.F.);
#321 = EDGE_CURVE('',#222,#313,#322,.T.);
#322 = LINE('',#323,#324);
#323 = CARTESIAN_POINT('',(2.674392435652,4.224644967346,10.));
#324 = VECTOR('',#325,1.);
#325 = DIRECTION('',(0.E+000,0.E+000,1.));
#326 = ORIENTED_EDGE('',*,*,#229,.T.);
#327 = ORIENTED_EDGE('',*,*,#288,.T.);
#328 = CYLINDRICAL_SURFACE('',#329,5.);
#329 = AXIS2_PLACEMENT_3D('',#330,#331,#332);
#330 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.));
#331 = DIRECTION('',(0.E+000,0.E+000,1.));
#332 = DIRECTION('',(1.,0.E+000,0.E+000));
#333 = ADVANCED_FACE('',(#334),#352,.T.);
#334 = FACE_BOUND('',#335,.T.);
#335 = EDGE_LOOP('',(#336,#344,#345,#346));
#336 = ORIENTED_EDGE('',*,*,#337,.F.);
#337 = EDGE_CURVE('',#84,#338,#340,.T.);
#338 = VERTEX_POINT('',#339);
#339 = CARTESIAN_POINT('',(-4.224644967346,2.674392435652,10.2));
#340 = LINE('',#341,#342);
#341 = CARTESIAN_POINT('',(-4.224644967346,2.674392435652,10.));
#342 = VECTOR('',#343,1.);
#343 = DIRECTION('',(0.E+000,0.E+000,1.));
#344 = ORIENTED_EDGE('',*,*,#83,.T.);
#345 = ORIENTED_EDGE('',*,*,#274,.T.);
#346 = ORIENTED_EDGE('',*,*,#347,.T.);
#347 = EDGE_CURVE('',#258,#338,#348,.T.);
#348 = LINE('',#349,#350);
#349 = CARTESIAN_POINT('',(-2.460786437627,0.910533905933,10.2));
#350 = VECTOR('',#351,1.);
#351 = DIRECTION('',(0.707106781187,-0.707106781187,0.E+000));
#352 = PLANE('',#353);
#353 = AXIS2_PLACEMENT_3D('',#354,#355,#356);
#354 = CARTESIAN_POINT('',(-4.146446609407,2.596194077713,10.));
#355 = DIRECTION('',(0.707106781187,0.707106781187,0.E+000));
#356 = DIRECTION('',(0.E+000,0.E+000,1.));
#357 = ADVANCED_FACE('',(#358),#376,.T.);
#358 = FACE_BOUND('',#359,.T.);
#359 = EDGE_LOOP('',(#360,#361,#362,#370));
#360 = ORIENTED_EDGE('',*,*,#321,.F.);
#361 = ORIENTED_EDGE('',*,*,#221,.T.);
#362 = ORIENTED_EDGE('',*,*,#363,.T.);
#363 = EDGE_CURVE('',#213,#364,#366,.T.);
#364 = VERTEX_POINT('',#365);
#365 = CARTESIAN_POINT('',(3.656854249492,5.207106781187,10.2));
#366 = LINE('',#367,#368);
#367 = CARTESIAN_POINT('',(3.656854249492,5.207106781187,10.));
#368 = VECTOR('',#369,1.);
#369 = DIRECTION('',(0.E+000,0.E+000,1.));
#370 = ORIENTED_EDGE('',*,*,#371,.T.);
#371 = EDGE_CURVE('',#364,#313,#372,.T.);
#372 = LINE('',#373,#374);
#373 = CARTESIAN_POINT('',(0.910533905933,2.460786437627,10.2));
#374 = VECTOR('',#375,1.);
#375 = DIRECTION('',(-0.707106781187,-0.707106781187,0.E+000));
#376 = PLANE('',#377);
#377 = AXIS2_PLACEMENT_3D('',#378,#379,#380);
#378 = CARTESIAN_POINT('',(2.596194077713,4.146446609407,10.));
#379 = DIRECTION('',(0.707106781187,-0.707106781187,0.E+000));
#380 = DIRECTION('',(0.E+000,0.E+000,1.));
#381 = ADVANCED_FACE('',(#382),#401,.F.);
#382 = FACE_BOUND('',#383,.F.);
#383 = EDGE_LOOP('',(#384,#385,#386,#394));
#384 = ORIENTED_EDGE('',*,*,#337,.F.);
#385 = ORIENTED_EDGE('',*,*,#91,.T.);
#386 = ORIENTED_EDGE('',*,*,#387,.T.);
#387 = EDGE_CURVE('',#92,#388,#390,.T.);
#388 = VERTEX_POINT('',#389);
#389 = CARTESIAN_POINT('',(-4.116380414372,-2.83820582132,10.2));
#390 = LINE('',#391,#392);
#391 = CARTESIAN_POINT('',(-4.116380414372,-2.83820582132,10.));
#392 = VECTOR('',#393,1.);
#393 = DIRECTION('',(0.E+000,0.E+000,1.));
#394 = ORIENTED_EDGE('',*,*,#395,.F.);
#395 = EDGE_CURVE('',#338,#388,#396,.T.);
#396 = CIRCLE('',#397,5.);
#397 = AXIS2_PLACEMENT_3D('',#398,#399,#400);
#398 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.2));
#399 = DIRECTION('',(0.E+000,0.E+000,1.));
#400 = DIRECTION('',(1.,0.E+000,0.E+000));
#401 = CYLINDRICAL_SURFACE('',#402,5.);
#402 = AXIS2_PLACEMENT_3D('',#403,#404,#405);
#403 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.));
#404 = DIRECTION('',(0.E+000,0.E+000,1.));
#405 = DIRECTION('',(1.,0.E+000,0.E+000));
#406 = ADVANCED_FACE('',(#407),#427,.F.);
#407 = FACE_BOUND('',#408,.F.);
#408 = EDGE_LOOP('',(#409,#418,#424,#425,#426));
#409 = ORIENTED_EDGE('',*,*,#410,.F.);
#410 = EDGE_CURVE('',#411,#364,#413,.T.);
#411 = VERTEX_POINT('',#412);
#412 = CARTESIAN_POINT('',(5.071067811865,3.792893218813,10.2));
#413 = CIRCLE('',#414,1.);
#414 = AXIS2_PLACEMENT_3D('',#415,#416,#417);
#415 = CARTESIAN_POINT('',(4.363961030679,4.5,10.2));
#416 = DIRECTION('',(-0.E+000,0.E+000,1.));
#417 = DIRECTION('',(0.707106781187,-0.707106781187,0.E+000));
#418 = ORIENTED_EDGE('',*,*,#419,.F.);
#419 = EDGE_CURVE('',#196,#411,#420,.T.);
#420 = LINE('',#421,#422);
#421 = CARTESIAN_POINT('',(5.071067811865,3.792893218813,10.));
#422 = VECTOR('',#423,1.);
#423 = DIRECTION('',(0.E+000,0.E+000,1.));
#424 = ORIENTED_EDGE('',*,*,#203,.T.);
#425 = ORIENTED_EDGE('',*,*,#212,.T.);
#426 = ORIENTED_EDGE('',*,*,#363,.T.);
#427 = CYLINDRICAL_SURFACE('',#428,1.);
#428 = AXIS2_PLACEMENT_3D('',#429,#430,#431);
#429 = CARTESIAN_POINT('',(4.363961030679,4.5,10.));
#430 = DIRECTION('',(0.E+000,0.E+000,1.));
#431 = DIRECTION('',(0.707106781187,-0.707106781187,0.E+000));
#432 = ADVANCED_FACE('',(#433),#451,.F.);
#433 = FACE_BOUND('',#434,.F.);
#434 = EDGE_LOOP('',(#435,#436,#437,#445));
#435 = ORIENTED_EDGE('',*,*,#387,.F.);
#436 = ORIENTED_EDGE('',*,*,#100,.T.);
#437 = ORIENTED_EDGE('',*,*,#438,.T.);
#438 = EDGE_CURVE('',#101,#439,#441,.T.);
#439 = VERTEX_POINT('',#440);
#440 = CARTESIAN_POINT('',(-5.071067811865,-3.792893218813,10.2));
#441 = LINE('',#442,#443);
#442 = CARTESIAN_POINT('',(-5.071067811865,-3.792893218813,10.));
#443 = VECTOR('',#444,1.);
#444 = DIRECTION('',(0.E+000,0.E+000,1.));
#445 = ORIENTED_EDGE('',*,*,#446,.T.);
#446 = EDGE_CURVE('',#439,#388,#447,.T.);
#447 = LINE('',#448,#449);
#448 = CARTESIAN_POINT('',(-2.324747468306,-1.046572875254,10.2));
#449 = VECTOR('',#450,1.);
#450 = DIRECTION('',(0.707106781187,0.707106781187,0.E+000));
#451 = PLANE('',#452);
#452 = AXIS2_PLACEMENT_3D('',#453,#454,#455);
#453 = CARTESIAN_POINT('',(-4.010407640086,-2.732233047034,10.));
#454 = DIRECTION('',(-0.707106781187,0.707106781187,0.E+000));
#455 = DIRECTION('',(0.E+000,0.E+000,1.));
#456 = ADVANCED_FACE('',(#457),#477,.F.);
#457 = FACE_BOUND('',#458,.F.);
#458 = EDGE_LOOP('',(#459,#468,#469,#470,#471));
#459 = ORIENTED_EDGE('',*,*,#460,.F.);
#460 = EDGE_CURVE('',#439,#461,#463,.T.);
#461 = VERTEX_POINT('',#462);
#462 = CARTESIAN_POINT('',(-3.656854249492,-5.207106781187,10.2));
#463 = CIRCLE('',#464,1.);
#464 = AXIS2_PLACEMENT_3D('',#465,#466,#467);
#465 = CARTESIAN_POINT('',(-4.363961030679,-4.5,10.2));
#466 = DIRECTION('',(0.E+000,0.E+000,1.));
#467 = DIRECTION('',(-0.707106781187,0.707106781187,0.E+000));
#468 = ORIENTED_EDGE('',*,*,#438,.F.);
#469 = ORIENTED_EDGE('',*,*,#108,.T.);
#470 = ORIENTED_EDGE('',*,*,#117,.T.);
#471 = ORIENTED_EDGE('',*,*,#472,.T.);
#472 = EDGE_CURVE('',#118,#461,#473,.T.);
#473 = LINE('',#474,#475);
#474 = CARTESIAN_POINT('',(-3.656854249492,-5.207106781187,10.));
#475 = VECTOR('',#476,1.);
#476 = DIRECTION('',(0.E+000,0.E+000,1.));
#477 = CYLINDRICAL_SURFACE('',#478,1.);
#478 = AXIS2_PLACEMENT_3D('',#479,#480,#481);
#479 = CARTESIAN_POINT('',(-4.363961030679,-4.5,10.));
#480 = DIRECTION('',(0.E+000,0.E+000,1.));
#481 = DIRECTION('',(-0.707106781187,0.707106781187,0.E+000));
#482 = ADVANCED_FACE('',(#483),#501,.F.);
#483 = FACE_BOUND('',#484,.F.);
#484 = EDGE_LOOP('',(#485,#493,#494,#495));
#485 = ORIENTED_EDGE('',*,*,#486,.F.);
#486 = EDGE_CURVE('',#187,#487,#489,.T.);
#487 = VERTEX_POINT('',#488);
#488 = CARTESIAN_POINT('',(4.116380414372,2.83820582132,10.2));
#489 = LINE('',#490,#491);
#490 = CARTESIAN_POINT('',(4.116380414372,2.83820582132,10.));
#491 = VECTOR('',#492,1.);
#492 = DIRECTION('',(0.E+000,0.E+000,1.));
#493 = ORIENTED_EDGE('',*,*,#195,.T.);
#494 = ORIENTED_EDGE('',*,*,#419,.T.);
#495 = ORIENTED_EDGE('',*,*,#496,.T.);
#496 = EDGE_CURVE('',#411,#487,#497,.T.);
#497 = LINE('',#498,#499);
#498 = CARTESIAN_POINT('',(2.324747468306,1.046572875254,10.2));
#499 = VECTOR('',#500,1.);
#500 = DIRECTION('',(-0.707106781187,-0.707106781187,0.E+000));
#501 = PLANE('',#502);
#502 = AXIS2_PLACEMENT_3D('',#503,#504,#505);
#503 = CARTESIAN_POINT('',(4.010407640086,2.732233047034,10.));
#504 = DIRECTION('',(0.707106781187,-0.707106781187,0.E+000));
#505 = DIRECTION('',(0.E+000,0.E+000,1.));
#506 = ADVANCED_FACE('',(#507),#526,.F.);
#507 = FACE_BOUND('',#508,.F.);
#508 = EDGE_LOOP('',(#509,#518,#524,#525));
#509 = ORIENTED_EDGE('',*,*,#510,.F.);
#510 = EDGE_CURVE('',#511,#487,#513,.T.);
#511 = VERTEX_POINT('',#512);
#512 = CARTESIAN_POINT('',(5.,-1.E-015,10.2));
#513 = CIRCLE('',#514,5.);
#514 = AXIS2_PLACEMENT_3D('',#515,#516,#517);
#515 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.2));
#516 = DIRECTION('',(0.E+000,0.E+000,1.));
#517 = DIRECTION('',(1.,0.E+000,0.E+000));
#518 = ORIENTED_EDGE('',*,*,#519,.F.);
#519 = EDGE_CURVE('',#178,#511,#520,.T.);
#520 = LINE('',#521,#522);
#521 = CARTESIAN_POINT('',(5.,-1.22E-015,10.));
#522 = VECTOR('',#523,1.);
#523 = DIRECTION('',(0.E+000,0.E+000,1.));
#524 = ORIENTED_EDGE('',*,*,#186,.T.);
#525 = ORIENTED_EDGE('',*,*,#486,.T.);
#526 = CYLINDRICAL_SURFACE('',#527,5.);
#527 = AXIS2_PLACEMENT_3D('',#528,#529,#530);
#528 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.));
#529 = DIRECTION('',(0.E+000,0.E+000,1.));
#530 = DIRECTION('',(1.,0.E+000,0.E+000));
#531 = ADVANCED_FACE('',(#532),#550,.T.);
#532 = FACE_BOUND('',#533,.T.);
#533 = EDGE_LOOP('',(#534,#542,#543,#544));
#534 = ORIENTED_EDGE('',*,*,#535,.F.);
#535 = EDGE_CURVE('',#127,#536,#538,.T.);
#536 = VERTEX_POINT('',#537);
#537 = CARTESIAN_POINT('',(-2.674392435652,-4.224644967346,10.2));
#538 = LINE('',#539,#540);
#539 = CARTESIAN_POINT('',(-2.674392435652,-4.224644967346,10.));
#540 = VECTOR('',#541,1.);
#541 = DIRECTION('',(0.E+000,0.E+000,1.));
#542 = ORIENTED_EDGE('',*,*,#126,.T.);
#543 = ORIENTED_EDGE('',*,*,#472,.T.);
#544 = ORIENTED_EDGE('',*,*,#545,.T.);
#545 = EDGE_CURVE('',#461,#536,#546,.T.);
#546 = LINE('',#547,#548);
#547 = CARTESIAN_POINT('',(-0.910533905933,-2.460786437627,10.2));
#548 = VECTOR('',#549,1.);
#549 = DIRECTION('',(0.707106781187,0.707106781187,0.E+000));
#550 = PLANE('',#551);
#551 = AXIS2_PLACEMENT_3D('',#552,#553,#554);
#552 = CARTESIAN_POINT('',(-2.596194077713,-4.146446609407,10.));
#553 = DIRECTION('',(-0.707106781187,0.707106781187,0.E+000));
#554 = DIRECTION('',(0.E+000,0.E+000,1.));
#555 = ADVANCED_FACE('',(#556),#575,.F.);
#556 = FACE_BOUND('',#557,.F.);
#557 = EDGE_LOOP('',(#558,#566,#567,#568));
#558 = ORIENTED_EDGE('',*,*,#559,.F.);
#559 = EDGE_CURVE('',#170,#560,#562,.T.);
#560 = VERTEX_POINT('',#561);
#561 = CARTESIAN_POINT('',(4.224644967346,-2.674392435652,10.2));
#562 = LINE('',#563,#564);
#563 = CARTESIAN_POINT('',(4.224644967346,-2.674392435652,10.));
#564 = VECTOR('',#565,1.);
#565 = DIRECTION('',(0.E+000,0.E+000,1.));
#566 = ORIENTED_EDGE('',*,*,#177,.T.);
#567 = ORIENTED_EDGE('',*,*,#519,.T.);
#568 = ORIENTED_EDGE('',*,*,#569,.F.);
#569 = EDGE_CURVE('',#560,#511,#570,.T.);
#570 = CIRCLE('',#571,5.);
#571 = AXIS2_PLACEMENT_3D('',#572,#573,#574);
#572 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.2));
#573 = DIRECTION('',(0.E+000,0.E+000,1.));
#574 = DIRECTION('',(1.,0.E+000,0.E+000));
#575 = CYLINDRICAL_SURFACE('',#576,5.);
#576 = AXIS2_PLACEMENT_3D('',#577,#578,#579);
#577 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.));
#578 = DIRECTION('',(0.E+000,0.E+000,1.));
#579 = DIRECTION('',(1.,0.E+000,0.E+000));
#580 = ADVANCED_FACE('',(#581),#600,.F.);
#581 = FACE_BOUND('',#582,.F.);
#582 = EDGE_LOOP('',(#583,#584,#585,#593));
#583 = ORIENTED_EDGE('',*,*,#535,.F.);
#584 = ORIENTED_EDGE('',*,*,#134,.T.);
#585 = ORIENTED_EDGE('',*,*,#586,.T.);
#586 = EDGE_CURVE('',#135,#587,#589,.T.);
#587 = VERTEX_POINT('',#588);
#588 = CARTESIAN_POINT('',(2.83820582132,-4.116380414372,10.2));
#589 = LINE('',#590,#591);
#590 = CARTESIAN_POINT('',(2.83820582132,-4.116380414372,10.));
#591 = VECTOR('',#592,1.);
#592 = DIRECTION('',(0.E+000,0.E+000,1.));
#593 = ORIENTED_EDGE('',*,*,#594,.F.);
#594 = EDGE_CURVE('',#536,#587,#595,.T.);
#595 = CIRCLE('',#596,5.);
#596 = AXIS2_PLACEMENT_3D('',#597,#598,#599);
#597 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.2));
#598 = DIRECTION('',(0.E+000,0.E+000,1.));
#599 = DIRECTION('',(1.,0.E+000,0.E+000));
#600 = CYLINDRICAL_SURFACE('',#601,5.);
#601 = AXIS2_PLACEMENT_3D('',#602,#603,#604);
#602 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.));
#603 = DIRECTION('',(0.E+000,0.E+000,1.));
#604 = DIRECTION('',(1.,0.E+000,0.E+000));
#605 = ADVANCED_FACE('',(#606),#624,.T.);
#606 = FACE_BOUND('',#607,.T.);
#607 = EDGE_LOOP('',(#608,#609,#610,#618));
#608 = ORIENTED_EDGE('',*,*,#559,.F.);
#609 = ORIENTED_EDGE('',*,*,#169,.T.);
#610 = ORIENTED_EDGE('',*,*,#611,.T.);
#611 = EDGE_CURVE('',#161,#612,#614,.T.);
#612 = VERTEX_POINT('',#613);
#613 = CARTESIAN_POINT('',(5.207106781187,-3.656854249492,10.2));
#614 = LINE('',#615,#616);
#615 = CARTESIAN_POINT('',(5.207106781187,-3.656854249492,10.));
#616 = VECTOR('',#617,1.);
#617 = DIRECTION('',(0.E+000,0.E+000,1.));
#618 = ORIENTED_EDGE('',*,*,#619,.T.);
#619 = EDGE_CURVE('',#612,#560,#620,.T.);
#620 = LINE('',#621,#622);
#621 = CARTESIAN_POINT('',(2.460786437627,-0.910533905933,10.2));
#622 = VECTOR('',#623,1.);
#623 = DIRECTION('',(-0.707106781187,0.707106781187,0.E+000));
#624 = PLANE('',#625);
#625 = AXIS2_PLACEMENT_3D('',#626,#627,#628);
#626 = CARTESIAN_POINT('',(4.146446609407,-2.596194077713,10.));
#627 = DIRECTION('',(-0.707106781187,-0.707106781187,0.E+000));
#628 = DIRECTION('',(0.E+000,0.E+000,1.));
#629 = ADVANCED_FACE('',(#630),#648,.F.);
#630 = FACE_BOUND('',#631,.F.);
#631 = EDGE_LOOP('',(#632,#633,#634,#642));
#632 = ORIENTED_EDGE('',*,*,#586,.F.);
#633 = ORIENTED_EDGE('',*,*,#143,.T.);
#634 = ORIENTED_EDGE('',*,*,#635,.T.);
#635 = EDGE_CURVE('',#144,#636,#638,.T.);
#636 = VERTEX_POINT('',#637);
#637 = CARTESIAN_POINT('',(3.792893218813,-5.071067811865,10.2));
#638 = LINE('',#639,#640);
#639 = CARTESIAN_POINT('',(3.792893218813,-5.071067811865,10.));
#640 = VECTOR('',#641,1.);
#641 = DIRECTION('',(0.E+000,0.E+000,1.));
#642 = ORIENTED_EDGE('',*,*,#643,.T.);
#643 = EDGE_CURVE('',#636,#587,#644,.T.);
#644 = LINE('',#645,#646);
#645 = CARTESIAN_POINT('',(1.046572875254,-2.324747468306,10.2));
#646 = VECTOR('',#647,1.);
#647 = DIRECTION('',(-0.707106781187,0.707106781187,0.E+000));
#648 = PLANE('',#649);
#649 = AXIS2_PLACEMENT_3D('',#650,#651,#652);
#650 = CARTESIAN_POINT('',(2.732233047034,-4.010407640086,10.));
#651 = DIRECTION('',(-0.707106781187,-0.707106781187,0.E+000));
#652 = DIRECTION('',(0.E+000,0.E+000,1.));
#653 = ADVANCED_FACE('',(#654),#667,.F.);
#654 = FACE_BOUND('',#655,.F.);
#655 = EDGE_LOOP('',(#656,#663,#664,#665,#666));
#656 = ORIENTED_EDGE('',*,*,#657,.F.);
#657 = EDGE_CURVE('',#636,#612,#658,.T.);
#658 = CIRCLE('',#659,1.);
#659 = AXIS2_PLACEMENT_3D('',#660,#661,#662);
#660 = CARTESIAN_POINT('',(4.5,-4.363961030679,10.2));
#661 = DIRECTION('',(0.E+000,0.E+000,1.));
#662 = DIRECTION('',(-0.707106781187,-0.707106781187,0.E+000));
#663 = ORIENTED_EDGE('',*,*,#635,.F.);
#664 = ORIENTED_EDGE('',*,*,#151,.T.);
#665 = ORIENTED_EDGE('',*,*,#160,.T.);
#666 = ORIENTED_EDGE('',*,*,#611,.T.);
#667 = CYLINDRICAL_SURFACE('',#668,1.);
#668 = AXIS2_PLACEMENT_3D('',#669,#670,#671);
#669 = CARTESIAN_POINT('',(4.5,-4.363961030679,10.));
#670 = DIRECTION('',(0.E+000,0.E+000,1.));
#671 = DIRECTION('',(-0.707106781187,-0.707106781187,0.E+000));
#672 = ADVANCED_FACE('',(#673,#743),#762,.F.);
#673 = FACE_BOUND('',#674,.F.);
#674 = EDGE_LOOP('',(#675,#685,#694,#702,#711,#719,#728,#736));
#675 = ORIENTED_EDGE('',*,*,#676,.T.);
#676 = EDGE_CURVE('',#677,#679,#681,.T.);
#677 = VERTEX_POINT('',#678);
#678 = CARTESIAN_POINT('',(-5.,6.,10.2));
#679 = VERTEX_POINT('',#680);
#680 = CARTESIAN_POINT('',(5.,6.,10.2));
#681 = LINE('',#682,#683);
#682 = CARTESIAN_POINT('',(-6.,6.,10.2));
#683 = VECTOR('',#684,1.);
#684 = DIRECTION('',(1.,0.E+000,0.E+000));
#685 = ORIENTED_EDGE('',*,*,#686,.T.);
#686 = EDGE_CURVE('',#679,#687,#689,.T.);
#687 = VERTEX_POINT('',#688);
#688 = CARTESIAN_POINT('',(6.,5.,10.2));
#689 = CIRCLE('',#690,1.);
#690 = AXIS2_PLACEMENT_3D('',#691,#692,#693);
#691 = CARTESIAN_POINT('',(5.,5.,10.2));
#692 = DIRECTION('',(-0.E+000,-0.E+000,-1.));
#693 = DIRECTION('',(0.E+000,-1.,0.E+000));
#694 = ORIENTED_EDGE('',*,*,#695,.T.);
#695 = EDGE_CURVE('',#687,#696,#698,.T.);
#696 = VERTEX_POINT('',#697);
#697 = CARTESIAN_POINT('',(6.,-5.,10.2));
#698 = LINE('',#699,#700);
#699 = CARTESIAN_POINT('',(6.,6.,10.2));
#700 = VECTOR('',#701,1.);
#701 = DIRECTION('',(0.E+000,-1.,0.E+000));
#702 = ORIENTED_EDGE('',*,*,#703,.T.);
#703 = EDGE_CURVE('',#696,#704,#706,.T.);
#704 = VERTEX_POINT('',#705);
#705 = CARTESIAN_POINT('',(5.,-6.,10.2));
#706 = CIRCLE('',#707,1.);
#707 = AXIS2_PLACEMENT_3D('',#708,#709,#710);
#708 = CARTESIAN_POINT('',(5.,-5.,10.2));
#709 = DIRECTION('',(-0.E+000,-0.E+000,-1.));
#710 = DIRECTION('',(0.E+000,-1.,0.E+000));
#711 = ORIENTED_EDGE('',*,*,#712,.T.);
#712 = EDGE_CURVE('',#704,#713,#715,.T.);
#713 = VERTEX_POINT('',#714);
#714 = CARTESIAN_POINT('',(-5.,-6.,10.2));
#715 = LINE('',#716,#717);
#716 = CARTESIAN_POINT('',(6.,-6.,10.2));
#717 = VECTOR('',#718,1.);
#718 = DIRECTION('',(-1.,0.E+000,0.E+000));
#719 = ORIENTED_EDGE('',*,*,#720,.F.);
#720 = EDGE_CURVE('',#721,#713,#723,.T.);
#721 = VERTEX_POINT('',#722);
#722 = CARTESIAN_POINT('',(-6.,-5.,10.2));
#723 = CIRCLE('',#724,1.);
#724 = AXIS2_PLACEMENT_3D('',#725,#726,#727);
#725 = CARTESIAN_POINT('',(-5.,-5.,10.2));
#726 = DIRECTION('',(-0.E+000,0.E+000,1.));
#727 = DIRECTION('',(0.E+000,-1.,0.E+000));
#728 = ORIENTED_EDGE('',*,*,#729,.T.);
#729 = EDGE_CURVE('',#721,#730,#732,.T.);
#730 = VERTEX_POINT('',#731);
#731 = CARTESIAN_POINT('',(-6.,5.,10.2));
#732 = LINE('',#733,#734);
#733 = CARTESIAN_POINT('',(-6.,-6.,10.2));
#734 = VECTOR('',#735,1.);
#735 = DIRECTION('',(0.E+000,1.,0.E+000));
#736 = ORIENTED_EDGE('',*,*,#737,.F.);
#737 = EDGE_CURVE('',#677,#730,#738,.T.);
#738 = CIRCLE('',#739,1.);
#739 = AXIS2_PLACEMENT_3D('',#740,#741,#742);
#740 = CARTESIAN_POINT('',(-5.,5.,10.2));
#741 = DIRECTION('',(-0.E+000,0.E+000,1.));
#742 = DIRECTION('',(0.E+000,-1.,0.E+000));
#743 = FACE_BOUND('',#744,.F.);
#744 = EDGE_LOOP('',(#745,#746,#747,#748,#749,#750,#751,#752,#753,#754,
    #755,#756,#757,#758,#759,#760,#761));
#745 = ORIENTED_EDGE('',*,*,#298,.F.);
#746 = ORIENTED_EDGE('',*,*,#255,.T.);
#747 = ORIENTED_EDGE('',*,*,#347,.T.);
#748 = ORIENTED_EDGE('',*,*,#395,.T.);
#749 = ORIENTED_EDGE('',*,*,#446,.F.);
#750 = ORIENTED_EDGE('',*,*,#460,.T.);
#751 = ORIENTED_EDGE('',*,*,#545,.T.);
#752 = ORIENTED_EDGE('',*,*,#594,.T.);
#753 = ORIENTED_EDGE('',*,*,#643,.F.);
#754 = ORIENTED_EDGE('',*,*,#657,.T.);
#755 = ORIENTED_EDGE('',*,*,#619,.T.);
#756 = ORIENTED_EDGE('',*,*,#569,.T.);
#757 = ORIENTED_EDGE('',*,*,#510,.T.);
#758 = ORIENTED_EDGE('',*,*,#496,.F.);
#759 = ORIENTED_EDGE('',*,*,#410,.T.);
#760 = ORIENTED_EDGE('',*,*,#371,.T.);
#761 = ORIENTED_EDGE('',*,*,#312,.T.);
#762 = PLANE('',#763);
#763 = AXIS2_PLACEMENT_3D('',#764,#765,#766);
#764 = CARTESIAN_POINT('',(0.E+000,0.E+000,10.2));
#765 = DIRECTION('',(-0.E+000,-0.E+000,-1.));
#766 = DIRECTION('',(-1.,0.E+000,0.E+000));
#767 = ADVANCED_FACE('',(#768),#841,.T.);
#768 = FACE_BOUND('',#769,.T.);
#769 = EDGE_LOOP('',(#770,#780,#786,#787,#795,#803,#811,#819,#827,#835)
  );
#770 = ORIENTED_EDGE('',*,*,#771,.F.);
#771 = EDGE_CURVE('',#772,#774,#776,.T.);
#772 = VERTEX_POINT('',#773);
#773 = CARTESIAN_POINT('',(-5.,6.,0.E+000));
#774 = VERTEX_POINT('',#775);
#775 = CARTESIAN_POINT('',(-3.49,6.,0.E+000));
#776 = LINE('',#777,#778);
#777 = CARTESIAN_POINT('',(-6.,6.,0.E+000));
#778 = VECTOR('',#779,1.);
#779 = DIRECTION('',(1.,0.E+000,0.E+000));
#780 = ORIENTED_EDGE('',*,*,#781,.T.);
#781 = EDGE_CURVE('',#772,#677,#782,.T.);
#782 = LINE('',#783,#784);
#783 = CARTESIAN_POINT('',(-5.,6.,0.E+000));
#784 = VECTOR('',#785,1.);
#785 = DIRECTION('',(0.E+000,0.E+000,1.));
#786 = ORIENTED_EDGE('',*,*,#676,.T.);
#787 = ORIENTED_EDGE('',*,*,#788,.F.);
#788 = EDGE_CURVE('',#789,#679,#791,.T.);
#789 = VERTEX_POINT('',#790);
#790 = CARTESIAN_POINT('',(5.,6.,0.E+000));
#791 = LINE('',#792,#793);
#792 = CARTESIAN_POINT('',(5.,6.,0.E+000));
#793 = VECTOR('',#794,1.);
#794 = DIRECTION('',(0.E+000,0.E+000,1.));
#795 = ORIENTED_EDGE('',*,*,#796,.F.);
#796 = EDGE_CURVE('',#797,#789,#799,.T.);
#797 = VERTEX_POINT('',#798);
#798 = CARTESIAN_POINT('',(3.49,6.,0.E+000));
#799 = LINE('',#800,#801);
#800 = CARTESIAN_POINT('',(-6.,6.,0.E+000));
#801 = VECTOR('',#802,1.);
#802 = DIRECTION('',(1.,0.E+000,0.E+000));
#803 = ORIENTED_EDGE('',*,*,#804,.T.);
#804 = EDGE_CURVE('',#797,#805,#807,.T.);
#805 = VERTEX_POINT('',#806);
#806 = CARTESIAN_POINT('',(2.5,6.,0.99));
#807 = LINE('',#808,#809);
#808 = CARTESIAN_POINT('',(0.87,6.,2.62));
#809 = VECTOR('',#810,1.);
#810 = DIRECTION('',(-0.707106781187,0.E+000,0.707106781187));
#811 = ORIENTED_EDGE('',*,*,#812,.F.);
#812 = EDGE_CURVE('',#813,#805,#815,.T.);
#813 = VERTEX_POINT('',#814);
#814 = CARTESIAN_POINT('',(2.5,6.,1.));
#815 = LINE('',#816,#817);
#816 = CARTESIAN_POINT('',(2.5,6.,0.E+000));
#817 = VECTOR('',#818,1.);
#818 = DIRECTION('',(0.E+000,0.E+000,-1.));
#819 = ORIENTED_EDGE('',*,*,#820,.F.);
#820 = EDGE_CURVE('',#821,#813,#823,.T.);
#821 = VERTEX_POINT('',#822);
#822 = CARTESIAN_POINT('',(-2.5,6.,1.));
#823 = LINE('',#824,#825);
#824 = CARTESIAN_POINT('',(-4.25,6.,1.));
#825 = VECTOR('',#826,1.);
#826 = DIRECTION('',(1.,0.E+000,0.E+000));
#827 = ORIENTED_EDGE('',*,*,#828,.T.);
#828 = EDGE_CURVE('',#821,#829,#831,.T.);
#829 = VERTEX_POINT('',#830);
#830 = CARTESIAN_POINT('',(-2.5,6.,0.99));
#831 = LINE('',#832,#833);
#832 = CARTESIAN_POINT('',(-2.5,6.,0.E+000));
#833 = VECTOR('',#834,1.);
#834 = DIRECTION('',(0.E+000,0.E+000,-1.));
#835 = ORIENTED_EDGE('',*,*,#836,.F.);
#836 = EDGE_CURVE('',#774,#829,#837,.T.);
#837 = LINE('',#838,#839);
#838 = CARTESIAN_POINT('',(-3.87,6.,-0.38));
#839 = VECTOR('',#840,1.);
#840 = DIRECTION('',(0.707106781187,0.E+000,0.707106781187));
#841 = PLANE('',#842);
#842 = AXIS2_PLACEMENT_3D('',#843,#844,#845);
#843 = CARTESIAN_POINT('',(-6.,6.,0.E+000));
#844 = DIRECTION('',(0.E+000,1.,0.E+000));
#845 = DIRECTION('',(1.,0.E+000,0.E+000));
#846 = ADVANCED_FACE('',(#847),#866,.T.);
#847 = FACE_BOUND('',#848,.T.);
#848 = EDGE_LOOP('',(#849,#858,#864,#865));
#849 = ORIENTED_EDGE('',*,*,#850,.T.);
#850 = EDGE_CURVE('',#772,#851,#853,.T.);
#851 = VERTEX_POINT('',#852);
#852 = CARTESIAN_POINT('',(-6.,5.,0.E+000));
#853 = CIRCLE('',#854,1.);
#854 = AXIS2_PLACEMENT_3D('',#855,#856,#857);
#855 = CARTESIAN_POINT('',(-5.,5.,0.E+000));
#856 = DIRECTION('',(-0.E+000,0.E+000,1.));
#857 = DIRECTION('',(0.E+000,-1.,0.E+000));
#858 = ORIENTED_EDGE('',*,*,#859,.T.);
#859 = EDGE_CURVE('',#851,#730,#860,.T.);
#860 = LINE('',#861,#862);
#861 = CARTESIAN_POINT('',(-6.,5.,0.E+000));
#862 = VECTOR('',#863,1.);
#863 = DIRECTION('',(0.E+000,0.E+000,1.));
#864 = ORIENTED_EDGE('',*,*,#737,.F.);
#865 = ORIENTED_EDGE('',*,*,#781,.F.);
#866 = CYLINDRICAL_SURFACE('',#867,1.);
#867 = AXIS2_PLACEMENT_3D('',#868,#869,#870);
#868 = CARTESIAN_POINT('',(-5.,5.,0.E+000));
#869 = DIRECTION('',(0.E+000,0.E+000,1.));
#870 = DIRECTION('',(0.E+000,1.,0.E+000));
#871 = ADVANCED_FACE('',(#872),#891,.T.);
#872 = FACE_BOUND('',#873,.F.);
#873 = EDGE_LOOP('',(#874,#883,#889,#890));
#874 = ORIENTED_EDGE('',*,*,#875,.T.);
#875 = EDGE_CURVE('',#789,#876,#878,.T.);
#876 = VERTEX_POINT('',#877);
#877 = CARTESIAN_POINT('',(6.,5.,0.E+000));
#878 = CIRCLE('',#879,1.);
#879 = AXIS2_PLACEMENT_3D('',#880,#881,#882);
#880 = CARTESIAN_POINT('',(5.,5.,0.E+000));
#881 = DIRECTION('',(-0.E+000,-0.E+000,-1.));
#882 = DIRECTION('',(0.E+000,-1.,0.E+000));
#883 = ORIENTED_EDGE('',*,*,#884,.T.);
#884 = EDGE_CURVE('',#876,#687,#885,.T.);
#885 = LINE('',#886,#887);
#886 = CARTESIAN_POINT('',(6.,5.,0.E+000));
#887 = VECTOR('',#888,1.);
#888 = DIRECTION('',(0.E+000,0.E+000,1.));
#889 = ORIENTED_EDGE('',*,*,#686,.F.);
#890 = ORIENTED_EDGE('',*,*,#788,.F.);
#891 = CYLINDRICAL_SURFACE('',#892,1.);
#892 = AXIS2_PLACEMENT_3D('',#893,#894,#895);
#893 = CARTESIAN_POINT('',(5.,5.,0.E+000));
#894 = DIRECTION('',(0.E+000,0.E+000,1.));
#895 = DIRECTION('',(0.E+000,1.,0.E+000));
#896 = ADVANCED_FACE('',(#897),#963,.T.);
#897 = FACE_BOUND('',#898,.T.);
#898 = EDGE_LOOP('',(#899,#909,#915,#916,#917,#925,#933,#941,#949,#957)
  );
#899 = ORIENTED_EDGE('',*,*,#900,.F.);
#900 = EDGE_CURVE('',#901,#903,#905,.T.);
#901 = VERTEX_POINT('',#902);
#902 = CARTESIAN_POINT('',(-6.,-5.,0.E+000));
#903 = VERTEX_POINT('',#904);
#904 = CARTESIAN_POINT('',(-6.,-3.49,0.E+000));
#905 = LINE('',#906,#907);
#906 = CARTESIAN_POINT('',(-6.,-6.,0.E+000));
#907 = VECTOR('',#908,1.);
#908 = DIRECTION('',(0.E+000,1.,0.E+000));
#909 = ORIENTED_EDGE('',*,*,#910,.T.);
#910 = EDGE_CURVE('',#901,#721,#911,.T.);
#911 = LINE('',#912,#913);
#912 = CARTESIAN_POINT('',(-6.,-5.,0.E+000));
#913 = VECTOR('',#914,1.);
#914 = DIRECTION('',(0.E+000,0.E+000,1.));
#915 = ORIENTED_EDGE('',*,*,#729,.T.);
#916 = ORIENTED_EDGE('',*,*,#859,.F.);
#917 = ORIENTED_EDGE('',*,*,#918,.F.);
#918 = EDGE_CURVE('',#919,#851,#921,.T.);
#919 = VERTEX_POINT('',#920);
#920 = CARTESIAN_POINT('',(-6.,3.49,0.E+000));
#921 = LINE('',#922,#923);
#922 = CARTESIAN_POINT('',(-6.,-6.,0.E+000));
#923 = VECTOR('',#924,1.);
#924 = DIRECTION('',(0.E+000,1.,0.E+000));
#925 = ORIENTED_EDGE('',*,*,#926,.T.);
#926 = EDGE_CURVE('',#919,#927,#929,.T.);
#927 = VERTEX_POINT('',#928);
#928 = CARTESIAN_POINT('',(-6.,2.5,0.99));
#929 = LINE('',#930,#931);
#930 = CARTESIAN_POINT('',(-6.,0.87,2.62));
#931 = VECTOR('',#932,1.);
#932 = DIRECTION('',(0.E+000,-0.707106781187,0.707106781187));
#933 = ORIENTED_EDGE('',*,*,#934,.F.);
#934 = EDGE_CURVE('',#935,#927,#937,.T.);
#935 = VERTEX_POINT('',#936);
#936 = CARTESIAN_POINT('',(-6.,2.5,1.));
#937 = LINE('',#938,#939);
#938 = CARTESIAN_POINT('',(-6.,2.5,0.E+000));
#939 = VECTOR('',#940,1.);
#940 = DIRECTION('',(0.E+000,0.E+000,-1.));
#941 = ORIENTED_EDGE('',*,*,#942,.F.);
#942 = EDGE_CURVE('',#943,#935,#945,.T.);
#943 = VERTEX_POINT('',#944);
#944 = CARTESIAN_POINT('',(-6.,-2.5,1.));
#945 = LINE('',#946,#947);
#946 = CARTESIAN_POINT('',(-6.,-4.25,1.));
#947 = VECTOR('',#948,1.);
#948 = DIRECTION('',(0.E+000,1.,0.E+000));
#949 = ORIENTED_EDGE('',*,*,#950,.T.);
#950 = EDGE_CURVE('',#943,#951,#953,.T.);
#951 = VERTEX_POINT('',#952);
#952 = CARTESIAN_POINT('',(-6.,-2.5,0.99));
#953 = LINE('',#954,#955);
#954 = CARTESIAN_POINT('',(-6.,-2.5,0.E+000));
#955 = VECTOR('',#956,1.);
#956 = DIRECTION('',(0.E+000,0.E+000,-1.));
#957 = ORIENTED_EDGE('',*,*,#958,.F.);
#958 = EDGE_CURVE('',#903,#951,#959,.T.);
#959 = LINE('',#960,#961);
#960 = CARTESIAN_POINT('',(-6.,-3.87,-0.38));
#961 = VECTOR('',#962,1.);
#962 = DIRECTION('',(0.E+000,0.707106781187,0.707106781187));
#963 = PLANE('',#964);
#964 = AXIS2_PLACEMENT_3D('',#965,#966,#967);
#965 = CARTESIAN_POINT('',(-6.,-6.,0.E+000));
#966 = DIRECTION('',(-1.,0.E+000,0.E+000));
#967 = DIRECTION('',(0.E+000,1.,0.E+000));
#968 = ADVANCED_FACE('',(#969),#1035,.T.);
#969 = FACE_BOUND('',#970,.T.);
#970 = EDGE_LOOP('',(#971,#979,#980,#981,#989,#997,#1005,#1013,#1021,
    #1029));
#971 = ORIENTED_EDGE('',*,*,#972,.F.);
#972 = EDGE_CURVE('',#876,#973,#975,.T.);
#973 = VERTEX_POINT('',#974);
#974 = CARTESIAN_POINT('',(6.,3.49,0.E+000));
#975 = LINE('',#976,#977);
#976 = CARTESIAN_POINT('',(6.,6.,0.E+000));
#977 = VECTOR('',#978,1.);
#978 = DIRECTION('',(0.E+000,-1.,0.E+000));
#979 = ORIENTED_EDGE('',*,*,#884,.T.);
#980 = ORIENTED_EDGE('',*,*,#695,.T.);
#981 = ORIENTED_EDGE('',*,*,#982,.F.);
#982 = EDGE_CURVE('',#983,#696,#985,.T.);
#983 = VERTEX_POINT('',#984);
#984 = CARTESIAN_POINT('',(6.,-5.,0.E+000));
#985 = LINE('',#986,#987);
#986 = CARTESIAN_POINT('',(6.,-5.,0.E+000));
#987 = VECTOR('',#988,1.);
#988 = DIRECTION('',(0.E+000,0.E+000,1.));
#989 = ORIENTED_EDGE('',*,*,#990,.F.);
#990 = EDGE_CURVE('',#991,#983,#993,.T.);
#991 = VERTEX_POINT('',#992);
#992 = CARTESIAN_POINT('',(6.,-3.49,0.E+000));
#993 = LINE('',#994,#995);
#994 = CARTESIAN_POINT('',(6.,6.,0.E+000));
#995 = VECTOR('',#996,1.);
#996 = DIRECTION('',(0.E+000,-1.,0.E+000));
#997 = ORIENTED_EDGE('',*,*,#998,.T.);
#998 = EDGE_CURVE('',#991,#999,#1001,.T.);
#999 = VERTEX_POINT('',#1000);
#1000 = CARTESIAN_POINT('',(6.,-2.5,0.99));
#1001 = LINE('',#1002,#1003);
#1002 = CARTESIAN_POINT('',(6.,-0.87,2.62));
#1003 = VECTOR('',#1004,1.);
#1004 = DIRECTION('',(0.E+000,0.707106781187,0.707106781187));
#1005 = ORIENTED_EDGE('',*,*,#1006,.T.);
#1006 = EDGE_CURVE('',#999,#1007,#1009,.T.);
#1007 = VERTEX_POINT('',#1008);
#1008 = CARTESIAN_POINT('',(6.,-2.5,1.));
#1009 = LINE('',#1010,#1011);
#1010 = CARTESIAN_POINT('',(6.,-2.5,0.E+000));
#1011 = VECTOR('',#1012,1.);
#1012 = DIRECTION('',(0.E+000,0.E+000,1.));
#1013 = ORIENTED_EDGE('',*,*,#1014,.F.);
#1014 = EDGE_CURVE('',#1015,#1007,#1017,.T.);
#1015 = VERTEX_POINT('',#1016);
#1016 = CARTESIAN_POINT('',(6.,2.5,1.));
#1017 = LINE('',#1018,#1019);
#1018 = CARTESIAN_POINT('',(6.,1.75,1.));
#1019 = VECTOR('',#1020,1.);
#1020 = DIRECTION('',(0.E+000,-1.,0.E+000));
#1021 = ORIENTED_EDGE('',*,*,#1022,.F.);
#1022 = EDGE_CURVE('',#1023,#1015,#1025,.T.);
#1023 = VERTEX_POINT('',#1024);
#1024 = CARTESIAN_POINT('',(6.,2.5,0.99));
#1025 = LINE('',#1026,#1027);
#1026 = CARTESIAN_POINT('',(6.,2.5,0.E+000));
#1027 = VECTOR('',#1028,1.);
#1028 = DIRECTION('',(0.E+000,0.E+000,1.));
#1029 = ORIENTED_EDGE('',*,*,#1030,.F.);
#1030 = EDGE_CURVE('',#973,#1023,#1031,.T.);
#1031 = LINE('',#1032,#1033);
#1032 = CARTESIAN_POINT('',(6.,3.87,-0.38));
#1033 = VECTOR('',#1034,1.);
#1034 = DIRECTION('',(0.E+000,-0.707106781187,0.707106781187));
#1035 = PLANE('',#1036);
#1036 = AXIS2_PLACEMENT_3D('',#1037,#1038,#1039);
#1037 = CARTESIAN_POINT('',(6.,6.,0.E+000));
#1038 = DIRECTION('',(1.,0.E+000,0.E+000));
#1039 = DIRECTION('',(0.E+000,-1.,0.E+000));
#1040 = ADVANCED_FACE('',(#1041),#1060,.T.);
#1041 = FACE_BOUND('',#1042,.T.);
#1042 = EDGE_LOOP('',(#1043,#1052,#1058,#1059));
#1043 = ORIENTED_EDGE('',*,*,#1044,.T.);
#1044 = EDGE_CURVE('',#901,#1045,#1047,.T.);
#1045 = VERTEX_POINT('',#1046);
#1046 = CARTESIAN_POINT('',(-5.,-6.,0.E+000));
#1047 = CIRCLE('',#1048,1.);
#1048 = AXIS2_PLACEMENT_3D('',#1049,#1050,#1051);
#1049 = CARTESIAN_POINT('',(-5.,-5.,0.E+000));
#1050 = DIRECTION('',(-0.E+000,0.E+000,1.));
#1051 = DIRECTION('',(0.E+000,-1.,0.E+000));
#1052 = ORIENTED_EDGE('',*,*,#1053,.T.);
#1053 = EDGE_CURVE('',#1045,#713,#1054,.T.);
#1054 = LINE('',#1055,#1056);
#1055 = CARTESIAN_POINT('',(-5.,-6.,0.E+000));
#1056 = VECTOR('',#1057,1.);
#1057 = DIRECTION('',(0.E+000,0.E+000,1.));
#1058 = ORIENTED_EDGE('',*,*,#720,.F.);
#1059 = ORIENTED_EDGE('',*,*,#910,.F.);
#1060 = CYLINDRICAL_SURFACE('',#1061,1.);
#1061 = AXIS2_PLACEMENT_3D('',#1062,#1063,#1064);
#1062 = CARTESIAN_POINT('',(-5.,-5.,0.E+000));
#1063 = DIRECTION('',(0.E+000,0.E+000,1.));
#1064 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1065 = ADVANCED_FACE('',(#1066),#1085,.T.);
#1066 = FACE_BOUND('',#1067,.F.);
#1067 = EDGE_LOOP('',(#1068,#1077,#1083,#1084));
#1068 = ORIENTED_EDGE('',*,*,#1069,.T.);
#1069 = EDGE_CURVE('',#983,#1070,#1072,.T.);
#1070 = VERTEX_POINT('',#1071);
#1071 = CARTESIAN_POINT('',(5.,-6.,0.E+000));
#1072 = CIRCLE('',#1073,1.);
#1073 = AXIS2_PLACEMENT_3D('',#1074,#1075,#1076);
#1074 = CARTESIAN_POINT('',(5.,-5.,0.E+000));
#1075 = DIRECTION('',(-0.E+000,-0.E+000,-1.));
#1076 = DIRECTION('',(0.E+000,-1.,0.E+000));
#1077 = ORIENTED_EDGE('',*,*,#1078,.T.);
#1078 = EDGE_CURVE('',#1070,#704,#1079,.T.);
#1079 = LINE('',#1080,#1081);
#1080 = CARTESIAN_POINT('',(5.,-6.,0.E+000));
#1081 = VECTOR('',#1082,1.);
#1082 = DIRECTION('',(0.E+000,0.E+000,1.));
#1083 = ORIENTED_EDGE('',*,*,#703,.F.);
#1084 = ORIENTED_EDGE('',*,*,#982,.F.);
#1085 = CYLINDRICAL_SURFACE('',#1086,1.);
#1086 = AXIS2_PLACEMENT_3D('',#1087,#1088,#1089);
#1087 = CARTESIAN_POINT('',(5.,-5.,0.E+000));
#1088 = DIRECTION('',(0.E+000,0.E+000,1.));
#1089 = DIRECTION('',(1.,0.E+000,0.E+000));
#1090 = ADVANCED_FACE('',(#1091),#1150,.T.);
#1091 = FACE_BOUND('',#1092,.T.);
#1092 = EDGE_LOOP('',(#1093,#1101,#1102,#1103,#1104,#1112,#1120,#1128,
    #1136,#1144));
#1093 = ORIENTED_EDGE('',*,*,#1094,.F.);
#1094 = EDGE_CURVE('',#1070,#1095,#1097,.T.);
#1095 = VERTEX_POINT('',#1096);
#1096 = CARTESIAN_POINT('',(3.49,-6.,0.E+000));
#1097 = LINE('',#1098,#1099);
#1098 = CARTESIAN_POINT('',(6.,-6.,0.E+000));
#1099 = VECTOR('',#1100,1.);
#1100 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1101 = ORIENTED_EDGE('',*,*,#1078,.T.);
#1102 = ORIENTED_EDGE('',*,*,#712,.T.);
#1103 = ORIENTED_EDGE('',*,*,#1053,.F.);
#1104 = ORIENTED_EDGE('',*,*,#1105,.F.);
#1105 = EDGE_CURVE('',#1106,#1045,#1108,.T.);
#1106 = VERTEX_POINT('',#1107);
#1107 = CARTESIAN_POINT('',(-3.49,-6.,0.E+000));
#1108 = LINE('',#1109,#1110);
#1109 = CARTESIAN_POINT('',(6.,-6.,0.E+000));
#1110 = VECTOR('',#1111,1.);
#1111 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1112 = ORIENTED_EDGE('',*,*,#1113,.T.);
#1113 = EDGE_CURVE('',#1106,#1114,#1116,.T.);
#1114 = VERTEX_POINT('',#1115);
#1115 = CARTESIAN_POINT('',(-2.5,-6.,0.99));
#1116 = LINE('',#1117,#1118);
#1117 = CARTESIAN_POINT('',(-0.87,-6.,2.62));
#1118 = VECTOR('',#1119,1.);
#1119 = DIRECTION('',(0.707106781187,0.E+000,0.707106781187));
#1120 = ORIENTED_EDGE('',*,*,#1121,.T.);
#1121 = EDGE_CURVE('',#1114,#1122,#1124,.T.);
#1122 = VERTEX_POINT('',#1123);
#1123 = CARTESIAN_POINT('',(-2.5,-6.,1.));
#1124 = LINE('',#1125,#1126);
#1125 = CARTESIAN_POINT('',(-2.5,-6.,0.E+000));
#1126 = VECTOR('',#1127,1.);
#1127 = DIRECTION('',(0.E+000,0.E+000,1.));
#1128 = ORIENTED_EDGE('',*,*,#1129,.F.);
#1129 = EDGE_CURVE('',#1130,#1122,#1132,.T.);
#1130 = VERTEX_POINT('',#1131);
#1131 = CARTESIAN_POINT('',(2.5,-6.,1.));
#1132 = LINE('',#1133,#1134);
#1133 = CARTESIAN_POINT('',(1.75,-6.,1.));
#1134 = VECTOR('',#1135,1.);
#1135 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1136 = ORIENTED_EDGE('',*,*,#1137,.F.);
#1137 = EDGE_CURVE('',#1138,#1130,#1140,.T.);
#1138 = VERTEX_POINT('',#1139);
#1139 = CARTESIAN_POINT('',(2.5,-6.,0.99));
#1140 = LINE('',#1141,#1142);
#1141 = CARTESIAN_POINT('',(2.5,-6.,0.E+000));
#1142 = VECTOR('',#1143,1.);
#1143 = DIRECTION('',(0.E+000,0.E+000,1.));
#1144 = ORIENTED_EDGE('',*,*,#1145,.F.);
#1145 = EDGE_CURVE('',#1095,#1138,#1146,.T.);
#1146 = LINE('',#1147,#1148);
#1147 = CARTESIAN_POINT('',(3.87,-6.,-0.38));
#1148 = VECTOR('',#1149,1.);
#1149 = DIRECTION('',(-0.707106781187,0.E+000,0.707106781187));
#1150 = PLANE('',#1151);
#1151 = AXIS2_PLACEMENT_3D('',#1152,#1153,#1154);
#1152 = CARTESIAN_POINT('',(6.,-6.,0.E+000));
#1153 = DIRECTION('',(0.E+000,-1.,0.E+000));
#1154 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1155 = ADVANCED_FACE('',(#1156),#1322,.T.);
#1156 = FACE_BOUND('',#1157,.T.);
#1157 = EDGE_LOOP('',(#1158,#1159,#1167,#1175,#1183,#1191,#1197,#1198,
    #1199,#1200,#1208,#1216,#1224,#1232,#1238,#1239,#1240,#1241,#1249,
    #1257,#1265,#1273,#1279,#1280,#1281,#1282,#1290,#1298,#1306,#1314,
    #1320,#1321));
#1158 = ORIENTED_EDGE('',*,*,#972,.T.);
#1159 = ORIENTED_EDGE('',*,*,#1160,.F.);
#1160 = EDGE_CURVE('',#1161,#973,#1163,.T.);
#1161 = VERTEX_POINT('',#1162);
#1162 = CARTESIAN_POINT('',(3.5,3.49,0.E+000));
#1163 = LINE('',#1164,#1165);
#1164 = CARTESIAN_POINT('',(3.5,3.49,0.E+000));
#1165 = VECTOR('',#1166,1.);
#1166 = DIRECTION('',(1.,0.E+000,0.E+000));
#1167 = ORIENTED_EDGE('',*,*,#1168,.F.);
#1168 = EDGE_CURVE('',#1169,#1161,#1171,.T.);
#1169 = VERTEX_POINT('',#1170);
#1170 = CARTESIAN_POINT('',(3.5,2.5,0.E+000));
#1171 = LINE('',#1172,#1173);
#1172 = CARTESIAN_POINT('',(3.5,-1.25,0.E+000));
#1173 = VECTOR('',#1174,1.);
#1174 = DIRECTION('',(0.E+000,1.,0.E+000));
#1175 = ORIENTED_EDGE('',*,*,#1176,.F.);
#1176 = EDGE_CURVE('',#1177,#1169,#1179,.T.);
#1177 = VERTEX_POINT('',#1178);
#1178 = CARTESIAN_POINT('',(3.5,-2.5,0.E+000));
#1179 = LINE('',#1180,#1181);
#1180 = CARTESIAN_POINT('',(3.5,-2.5,0.E+000));
#1181 = VECTOR('',#1182,1.);
#1182 = DIRECTION('',(0.E+000,1.,0.E+000));
#1183 = ORIENTED_EDGE('',*,*,#1184,.T.);
#1184 = EDGE_CURVE('',#1177,#1185,#1187,.T.);
#1185 = VERTEX_POINT('',#1186);
#1186 = CARTESIAN_POINT('',(3.5,-3.49,0.E+000));
#1187 = LINE('',#1188,#1189);
#1188 = CARTESIAN_POINT('',(3.5,-1.25,0.E+000));
#1189 = VECTOR('',#1190,1.);
#1190 = DIRECTION('',(0.E+000,-1.,0.E+000));
#1191 = ORIENTED_EDGE('',*,*,#1192,.T.);
#1192 = EDGE_CURVE('',#1185,#991,#1193,.T.);
#1193 = LINE('',#1194,#1195);
#1194 = CARTESIAN_POINT('',(3.5,-3.49,0.E+000));
#1195 = VECTOR('',#1196,1.);
#1196 = DIRECTION('',(1.,0.E+000,0.E+000));
#1197 = ORIENTED_EDGE('',*,*,#990,.T.);
#1198 = ORIENTED_EDGE('',*,*,#1069,.T.);
#1199 = ORIENTED_EDGE('',*,*,#1094,.T.);
#1200 = ORIENTED_EDGE('',*,*,#1201,.T.);
#1201 = EDGE_CURVE('',#1095,#1202,#1204,.T.);
#1202 = VERTEX_POINT('',#1203);
#1203 = CARTESIAN_POINT('',(3.49,-3.5,0.E+000));
#1204 = LINE('',#1205,#1206);
#1205 = CARTESIAN_POINT('',(3.49,-6.,0.E+000));
#1206 = VECTOR('',#1207,1.);
#1207 = DIRECTION('',(0.E+000,1.,0.E+000));
#1208 = ORIENTED_EDGE('',*,*,#1209,.F.);
#1209 = EDGE_CURVE('',#1210,#1202,#1212,.T.);
#1210 = VERTEX_POINT('',#1211);
#1211 = CARTESIAN_POINT('',(2.5,-3.5,0.E+000));
#1212 = LINE('',#1213,#1214);
#1213 = CARTESIAN_POINT('',(-1.25,-3.5,0.E+000));
#1214 = VECTOR('',#1215,1.);
#1215 = DIRECTION('',(1.,0.E+000,0.E+000));
#1216 = ORIENTED_EDGE('',*,*,#1217,.F.);
#1217 = EDGE_CURVE('',#1218,#1210,#1220,.T.);
#1218 = VERTEX_POINT('',#1219);
#1219 = CARTESIAN_POINT('',(-2.5,-3.5,0.E+000));
#1220 = LINE('',#1221,#1222);
#1221 = CARTESIAN_POINT('',(-2.5,-3.5,0.E+000));
#1222 = VECTOR('',#1223,1.);
#1223 = DIRECTION('',(1.,0.E+000,0.E+000));
#1224 = ORIENTED_EDGE('',*,*,#1225,.T.);
#1225 = EDGE_CURVE('',#1218,#1226,#1228,.T.);
#1226 = VERTEX_POINT('',#1227);
#1227 = CARTESIAN_POINT('',(-3.49,-3.5,0.E+000));
#1228 = LINE('',#1229,#1230);
#1229 = CARTESIAN_POINT('',(-1.25,-3.5,0.E+000));
#1230 = VECTOR('',#1231,1.);
#1231 = DIRECTION('',(-1.,-0.E+000,-0.E+000));
#1232 = ORIENTED_EDGE('',*,*,#1233,.F.);
#1233 = EDGE_CURVE('',#1106,#1226,#1234,.T.);
#1234 = LINE('',#1235,#1236);
#1235 = CARTESIAN_POINT('',(-3.49,-6.,0.E+000));
#1236 = VECTOR('',#1237,1.);
#1237 = DIRECTION('',(0.E+000,1.,0.E+000));
#1238 = ORIENTED_EDGE('',*,*,#1105,.T.);
#1239 = ORIENTED_EDGE('',*,*,#1044,.F.);
#1240 = ORIENTED_EDGE('',*,*,#900,.T.);
#1241 = ORIENTED_EDGE('',*,*,#1242,.T.);
#1242 = EDGE_CURVE('',#903,#1243,#1245,.T.);
#1243 = VERTEX_POINT('',#1244);
#1244 = CARTESIAN_POINT('',(-3.5,-3.49,0.E+000));
#1245 = LINE('',#1246,#1247);
#1246 = CARTESIAN_POINT('',(-6.,-3.49,0.E+000));
#1247 = VECTOR('',#1248,1.);
#1248 = DIRECTION('',(1.,0.E+000,0.E+000));
#1249 = ORIENTED_EDGE('',*,*,#1250,.F.);
#1250 = EDGE_CURVE('',#1251,#1243,#1253,.T.);
#1251 = VERTEX_POINT('',#1252);
#1252 = CARTESIAN_POINT('',(-3.5,-2.5,0.E+000));
#1253 = LINE('',#1254,#1255);
#1254 = CARTESIAN_POINT('',(-3.5,-1.25,0.E+000));
#1255 = VECTOR('',#1256,1.);
#1256 = DIRECTION('',(0.E+000,-1.,0.E+000));
#1257 = ORIENTED_EDGE('',*,*,#1258,.T.);
#1258 = EDGE_CURVE('',#1251,#1259,#1261,.T.);
#1259 = VERTEX_POINT('',#1260);
#1260 = CARTESIAN_POINT('',(-3.5,2.5,0.E+000));
#1261 = LINE('',#1262,#1263);
#1262 = CARTESIAN_POINT('',(-3.5,-2.5,0.E+000));
#1263 = VECTOR('',#1264,1.);
#1264 = DIRECTION('',(0.E+000,1.,0.E+000));
#1265 = ORIENTED_EDGE('',*,*,#1266,.T.);
#1266 = EDGE_CURVE('',#1259,#1267,#1269,.T.);
#1267 = VERTEX_POINT('',#1268);
#1268 = CARTESIAN_POINT('',(-3.5,3.49,0.E+000));
#1269 = LINE('',#1270,#1271);
#1270 = CARTESIAN_POINT('',(-3.5,-1.25,0.E+000));
#1271 = VECTOR('',#1272,1.);
#1272 = DIRECTION('',(0.E+000,1.,0.E+000));
#1273 = ORIENTED_EDGE('',*,*,#1274,.F.);
#1274 = EDGE_CURVE('',#919,#1267,#1275,.T.);
#1275 = LINE('',#1276,#1277);
#1276 = CARTESIAN_POINT('',(-6.,3.49,0.E+000));
#1277 = VECTOR('',#1278,1.);
#1278 = DIRECTION('',(1.,0.E+000,0.E+000));
#1279 = ORIENTED_EDGE('',*,*,#918,.T.);
#1280 = ORIENTED_EDGE('',*,*,#850,.F.);
#1281 = ORIENTED_EDGE('',*,*,#771,.T.);
#1282 = ORIENTED_EDGE('',*,*,#1283,.F.);
#1283 = EDGE_CURVE('',#1284,#774,#1286,.T.);
#1284 = VERTEX_POINT('',#1285);
#1285 = CARTESIAN_POINT('',(-3.49,3.5,0.E+000));
#1286 = LINE('',#1287,#1288);
#1287 = CARTESIAN_POINT('',(-3.49,3.5,0.E+000));
#1288 = VECTOR('',#1289,1.);
#1289 = DIRECTION('',(0.E+000,1.,0.E+000));
#1290 = ORIENTED_EDGE('',*,*,#1291,.F.);
#1291 = EDGE_CURVE('',#1292,#1284,#1294,.T.);
#1292 = VERTEX_POINT('',#1293);
#1293 = CARTESIAN_POINT('',(-2.5,3.5,0.E+000));
#1294 = LINE('',#1295,#1296);
#1295 = CARTESIAN_POINT('',(-1.25,3.5,0.E+000));
#1296 = VECTOR('',#1297,1.);
#1297 = DIRECTION('',(-1.,-0.E+000,-0.E+000));
#1298 = ORIENTED_EDGE('',*,*,#1299,.T.);
#1299 = EDGE_CURVE('',#1292,#1300,#1302,.T.);
#1300 = VERTEX_POINT('',#1301);
#1301 = CARTESIAN_POINT('',(2.5,3.5,0.E+000));
#1302 = LINE('',#1303,#1304);
#1303 = CARTESIAN_POINT('',(-2.5,3.5,0.E+000));
#1304 = VECTOR('',#1305,1.);
#1305 = DIRECTION('',(1.,0.E+000,0.E+000));
#1306 = ORIENTED_EDGE('',*,*,#1307,.T.);
#1307 = EDGE_CURVE('',#1300,#1308,#1310,.T.);
#1308 = VERTEX_POINT('',#1309);
#1309 = CARTESIAN_POINT('',(3.49,3.5,0.E+000));
#1310 = LINE('',#1311,#1312);
#1311 = CARTESIAN_POINT('',(-1.25,3.5,0.E+000));
#1312 = VECTOR('',#1313,1.);
#1313 = DIRECTION('',(1.,0.E+000,0.E+000));
#1314 = ORIENTED_EDGE('',*,*,#1315,.T.);
#1315 = EDGE_CURVE('',#1308,#797,#1316,.T.);
#1316 = LINE('',#1317,#1318);
#1317 = CARTESIAN_POINT('',(3.49,3.5,0.E+000));
#1318 = VECTOR('',#1319,1.);
#1319 = DIRECTION('',(0.E+000,1.,0.E+000));
#1320 = ORIENTED_EDGE('',*,*,#796,.T.);
#1321 = ORIENTED_EDGE('',*,*,#875,.T.);
#1322 = PLANE('',#1323);
#1323 = AXIS2_PLACEMENT_3D('',#1324,#1325,#1326);
#1324 = CARTESIAN_POINT('',(0.E+000,0.E+000,0.E+000));
#1325 = DIRECTION('',(-0.E+000,-0.E+000,-1.));
#1326 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1327 = ADVANCED_FACE('',(#1328),#1346,.T.);
#1328 = FACE_BOUND('',#1329,.T.);
#1329 = EDGE_LOOP('',(#1330,#1338,#1339,#1340));
#1330 = ORIENTED_EDGE('',*,*,#1331,.F.);
#1331 = EDGE_CURVE('',#1284,#1332,#1334,.T.);
#1332 = VERTEX_POINT('',#1333);
#1333 = CARTESIAN_POINT('',(-2.5,3.5,0.99));
#1334 = LINE('',#1335,#1336);
#1335 = CARTESIAN_POINT('',(-2.995,3.5,0.495));
#1336 = VECTOR('',#1337,1.);
#1337 = DIRECTION('',(0.707106781187,0.E+000,0.707106781187));
#1338 = ORIENTED_EDGE('',*,*,#1283,.T.);
#1339 = ORIENTED_EDGE('',*,*,#836,.T.);
#1340 = ORIENTED_EDGE('',*,*,#1341,.F.);
#1341 = EDGE_CURVE('',#1332,#829,#1342,.T.);
#1342 = LINE('',#1343,#1344);
#1343 = CARTESIAN_POINT('',(-2.5,3.5,0.99));
#1344 = VECTOR('',#1345,1.);
#1345 = DIRECTION('',(0.E+000,1.,0.E+000));
#1346 = PLANE('',#1347);
#1347 = AXIS2_PLACEMENT_3D('',#1348,#1349,#1350);
#1348 = CARTESIAN_POINT('',(-2.995,3.5,0.495));
#1349 = DIRECTION('',(0.707106781187,0.E+000,-0.707106781187));
#1350 = DIRECTION('',(0.E+000,1.,0.E+000));
#1351 = ADVANCED_FACE('',(#1352),#1379,.T.);
#1352 = FACE_BOUND('',#1353,.T.);
#1353 = EDGE_LOOP('',(#1354,#1364,#1370,#1371,#1372,#1373));
#1354 = ORIENTED_EDGE('',*,*,#1355,.F.);
#1355 = EDGE_CURVE('',#1356,#1358,#1360,.T.);
#1356 = VERTEX_POINT('',#1357);
#1357 = CARTESIAN_POINT('',(-2.5,6.,0.1));
#1358 = VERTEX_POINT('',#1359);
#1359 = CARTESIAN_POINT('',(2.5,6.,0.1));
#1360 = LINE('',#1361,#1362);
#1361 = CARTESIAN_POINT('',(-2.5,6.,0.1));
#1362 = VECTOR('',#1363,1.);
#1363 = DIRECTION('',(1.,0.E+000,0.E+000));
#1364 = ORIENTED_EDGE('',*,*,#1365,.T.);
#1365 = EDGE_CURVE('',#1356,#829,#1366,.T.);
#1366 = LINE('',#1367,#1368);
#1367 = CARTESIAN_POINT('',(-2.5,6.,0.1));
#1368 = VECTOR('',#1369,1.);
#1369 = DIRECTION('',(0.E+000,0.E+000,1.));
#1370 = ORIENTED_EDGE('',*,*,#828,.F.);
#1371 = ORIENTED_EDGE('',*,*,#820,.T.);
#1372 = ORIENTED_EDGE('',*,*,#812,.T.);
#1373 = ORIENTED_EDGE('',*,*,#1374,.F.);
#1374 = EDGE_CURVE('',#1358,#805,#1375,.T.);
#1375 = LINE('',#1376,#1377);
#1376 = CARTESIAN_POINT('',(2.5,6.,0.1));
#1377 = VECTOR('',#1378,1.);
#1378 = DIRECTION('',(0.E+000,0.E+000,1.));
#1379 = PLANE('',#1380);
#1380 = AXIS2_PLACEMENT_3D('',#1381,#1382,#1383);
#1381 = CARTESIAN_POINT('',(-2.5,6.,0.1));
#1382 = DIRECTION('',(0.E+000,1.,0.E+000));
#1383 = DIRECTION('',(0.E+000,0.E+000,1.));
#1384 = ADVANCED_FACE('',(#1385),#1403,.F.);
#1385 = FACE_BOUND('',#1386,.F.);
#1386 = EDGE_LOOP('',(#1387,#1395,#1396,#1397));
#1387 = ORIENTED_EDGE('',*,*,#1388,.F.);
#1388 = EDGE_CURVE('',#1308,#1389,#1391,.T.);
#1389 = VERTEX_POINT('',#1390);
#1390 = CARTESIAN_POINT('',(2.5,3.5,0.99));
#1391 = LINE('',#1392,#1393);
#1392 = CARTESIAN_POINT('',(1.745,3.5,1.745));
#1393 = VECTOR('',#1394,1.);
#1394 = DIRECTION('',(-0.707106781187,0.E+000,0.707106781187));
#1395 = ORIENTED_EDGE('',*,*,#1315,.T.);
#1396 = ORIENTED_EDGE('',*,*,#804,.T.);
#1397 = ORIENTED_EDGE('',*,*,#1398,.F.);
#1398 = EDGE_CURVE('',#1389,#805,#1399,.T.);
#1399 = LINE('',#1400,#1401);
#1400 = CARTESIAN_POINT('',(2.5,3.5,0.99));
#1401 = VECTOR('',#1402,1.);
#1402 = DIRECTION('',(0.E+000,1.,0.E+000));
#1403 = PLANE('',#1404);
#1404 = AXIS2_PLACEMENT_3D('',#1405,#1406,#1407);
#1405 = CARTESIAN_POINT('',(2.995,3.5,0.495));
#1406 = DIRECTION('',(0.707106781187,0.E+000,0.707106781187));
#1407 = DIRECTION('',(0.E+000,1.,0.E+000));
#1408 = ADVANCED_FACE('',(#1409),#1427,.T.);
#1409 = FACE_BOUND('',#1410,.F.);
#1410 = EDGE_LOOP('',(#1411,#1412,#1413,#1421));
#1411 = ORIENTED_EDGE('',*,*,#958,.F.);
#1412 = ORIENTED_EDGE('',*,*,#1242,.T.);
#1413 = ORIENTED_EDGE('',*,*,#1414,.T.);
#1414 = EDGE_CURVE('',#1243,#1415,#1417,.T.);
#1415 = VERTEX_POINT('',#1416);
#1416 = CARTESIAN_POINT('',(-3.5,-2.5,0.99));
#1417 = LINE('',#1418,#1419);
#1418 = CARTESIAN_POINT('',(-3.5,-2.995,0.495));
#1419 = VECTOR('',#1420,1.);
#1420 = DIRECTION('',(0.E+000,0.707106781187,0.707106781187));
#1421 = ORIENTED_EDGE('',*,*,#1422,.F.);
#1422 = EDGE_CURVE('',#951,#1415,#1423,.T.);
#1423 = LINE('',#1424,#1425);
#1424 = CARTESIAN_POINT('',(-6.,-2.5,0.99));
#1425 = VECTOR('',#1426,1.);
#1426 = DIRECTION('',(1.,0.E+000,0.E+000));
#1427 = PLANE('',#1428);
#1428 = AXIS2_PLACEMENT_3D('',#1429,#1430,#1431);
#1429 = CARTESIAN_POINT('',(-6.,-2.995,0.495));
#1430 = DIRECTION('',(0.E+000,0.707106781187,-0.707106781187));
#1431 = DIRECTION('',(-1.,-0.E+000,-0.E+000));
#1432 = ADVANCED_FACE('',(#1433),#1444,.F.);
#1433 = FACE_BOUND('',#1434,.F.);
#1434 = EDGE_LOOP('',(#1435,#1436,#1442,#1443));
#1435 = ORIENTED_EDGE('',*,*,#950,.T.);
#1436 = ORIENTED_EDGE('',*,*,#1437,.T.);
#1437 = EDGE_CURVE('',#951,#927,#1438,.T.);
#1438 = LINE('',#1439,#1440);
#1439 = CARTESIAN_POINT('',(-6.,-2.5,0.99));
#1440 = VECTOR('',#1441,1.);
#1441 = DIRECTION('',(0.E+000,1.,0.E+000));
#1442 = ORIENTED_EDGE('',*,*,#934,.F.);
#1443 = ORIENTED_EDGE('',*,*,#942,.F.);
#1444 = PLANE('',#1445);
#1445 = AXIS2_PLACEMENT_3D('',#1446,#1447,#1448);
#1446 = CARTESIAN_POINT('',(-6.,-2.5,0.1));
#1447 = DIRECTION('',(1.,0.E+000,0.E+000));
#1448 = DIRECTION('',(0.E+000,0.E+000,1.));
#1449 = ADVANCED_FACE('',(#1450),#1468,.F.);
#1450 = FACE_BOUND('',#1451,.T.);
#1451 = EDGE_LOOP('',(#1452,#1453,#1454,#1462));
#1452 = ORIENTED_EDGE('',*,*,#926,.F.);
#1453 = ORIENTED_EDGE('',*,*,#1274,.T.);
#1454 = ORIENTED_EDGE('',*,*,#1455,.T.);
#1455 = EDGE_CURVE('',#1267,#1456,#1458,.T.);
#1456 = VERTEX_POINT('',#1457);
#1457 = CARTESIAN_POINT('',(-3.5,2.5,0.99));
#1458 = LINE('',#1459,#1460);
#1459 = CARTESIAN_POINT('',(-3.5,1.745,1.745));
#1460 = VECTOR('',#1461,1.);
#1461 = DIRECTION('',(0.E+000,-0.707106781187,0.707106781187));
#1462 = ORIENTED_EDGE('',*,*,#1463,.F.);
#1463 = EDGE_CURVE('',#927,#1456,#1464,.T.);
#1464 = LINE('',#1465,#1466);
#1465 = CARTESIAN_POINT('',(-6.,2.5,0.99));
#1466 = VECTOR('',#1467,1.);
#1467 = DIRECTION('',(1.,0.E+000,0.E+000));
#1468 = PLANE('',#1469);
#1469 = AXIS2_PLACEMENT_3D('',#1470,#1471,#1472);
#1470 = CARTESIAN_POINT('',(-6.,2.995,0.495));
#1471 = DIRECTION('',(0.E+000,0.707106781187,0.707106781187));
#1472 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1473 = ADVANCED_FACE('',(#1474),#1492,.F.);
#1474 = FACE_BOUND('',#1475,.T.);
#1475 = EDGE_LOOP('',(#1476,#1484,#1485,#1486));
#1476 = ORIENTED_EDGE('',*,*,#1477,.F.);
#1477 = EDGE_CURVE('',#1161,#1478,#1480,.T.);
#1478 = VERTEX_POINT('',#1479);
#1479 = CARTESIAN_POINT('',(3.5,2.5,0.99));
#1480 = LINE('',#1481,#1482);
#1481 = CARTESIAN_POINT('',(3.5,1.745,1.745));
#1482 = VECTOR('',#1483,1.);
#1483 = DIRECTION('',(0.E+000,-0.707106781187,0.707106781187));
#1484 = ORIENTED_EDGE('',*,*,#1160,.T.);
#1485 = ORIENTED_EDGE('',*,*,#1030,.T.);
#1486 = ORIENTED_EDGE('',*,*,#1487,.F.);
#1487 = EDGE_CURVE('',#1478,#1023,#1488,.T.);
#1488 = LINE('',#1489,#1490);
#1489 = CARTESIAN_POINT('',(3.5,2.5,0.99));
#1490 = VECTOR('',#1491,1.);
#1491 = DIRECTION('',(1.,0.E+000,0.E+000));
#1492 = PLANE('',#1493);
#1493 = AXIS2_PLACEMENT_3D('',#1494,#1495,#1496);
#1494 = CARTESIAN_POINT('',(3.5,2.995,0.495));
#1495 = DIRECTION('',(0.E+000,0.707106781187,0.707106781187));
#1496 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1497 = ADVANCED_FACE('',(#1498),#1509,.T.);
#1498 = FACE_BOUND('',#1499,.T.);
#1499 = EDGE_LOOP('',(#1500,#1501,#1507,#1508));
#1500 = ORIENTED_EDGE('',*,*,#1006,.F.);
#1501 = ORIENTED_EDGE('',*,*,#1502,.T.);
#1502 = EDGE_CURVE('',#999,#1023,#1503,.T.);
#1503 = LINE('',#1504,#1505);
#1504 = CARTESIAN_POINT('',(6.,-2.5,0.99));
#1505 = VECTOR('',#1506,1.);
#1506 = DIRECTION('',(0.E+000,1.,0.E+000));
#1507 = ORIENTED_EDGE('',*,*,#1022,.T.);
#1508 = ORIENTED_EDGE('',*,*,#1014,.T.);
#1509 = PLANE('',#1510);
#1510 = AXIS2_PLACEMENT_3D('',#1511,#1512,#1513);
#1511 = CARTESIAN_POINT('',(6.,-2.5,0.1));
#1512 = DIRECTION('',(1.,0.E+000,0.E+000));
#1513 = DIRECTION('',(0.E+000,0.E+000,1.));
#1514 = ADVANCED_FACE('',(#1515),#1533,.T.);
#1515 = FACE_BOUND('',#1516,.F.);
#1516 = EDGE_LOOP('',(#1517,#1525,#1526,#1527));
#1517 = ORIENTED_EDGE('',*,*,#1518,.F.);
#1518 = EDGE_CURVE('',#1185,#1519,#1521,.T.);
#1519 = VERTEX_POINT('',#1520);
#1520 = CARTESIAN_POINT('',(3.5,-2.5,0.99));
#1521 = LINE('',#1522,#1523);
#1522 = CARTESIAN_POINT('',(3.5,-2.995,0.495));
#1523 = VECTOR('',#1524,1.);
#1524 = DIRECTION('',(0.E+000,0.707106781187,0.707106781187));
#1525 = ORIENTED_EDGE('',*,*,#1192,.T.);
#1526 = ORIENTED_EDGE('',*,*,#998,.T.);
#1527 = ORIENTED_EDGE('',*,*,#1528,.F.);
#1528 = EDGE_CURVE('',#1519,#999,#1529,.T.);
#1529 = LINE('',#1530,#1531);
#1530 = CARTESIAN_POINT('',(3.5,-2.5,0.99));
#1531 = VECTOR('',#1532,1.);
#1532 = DIRECTION('',(1.,0.E+000,0.E+000));
#1533 = PLANE('',#1534);
#1534 = AXIS2_PLACEMENT_3D('',#1535,#1536,#1537);
#1535 = CARTESIAN_POINT('',(3.5,-2.995,0.495));
#1536 = DIRECTION('',(0.E+000,0.707106781187,-0.707106781187));
#1537 = DIRECTION('',(-1.,-0.E+000,-0.E+000));
#1538 = ADVANCED_FACE('',(#1539),#1557,.F.);
#1539 = FACE_BOUND('',#1540,.F.);
#1540 = EDGE_LOOP('',(#1541,#1542,#1543,#1551));
#1541 = ORIENTED_EDGE('',*,*,#1145,.F.);
#1542 = ORIENTED_EDGE('',*,*,#1201,.T.);
#1543 = ORIENTED_EDGE('',*,*,#1544,.T.);
#1544 = EDGE_CURVE('',#1202,#1545,#1547,.T.);
#1545 = VERTEX_POINT('',#1546);
#1546 = CARTESIAN_POINT('',(2.5,-3.5,0.99));
#1547 = LINE('',#1548,#1549);
#1548 = CARTESIAN_POINT('',(1.745,-3.5,1.745));
#1549 = VECTOR('',#1550,1.);
#1550 = DIRECTION('',(-0.707106781187,0.E+000,0.707106781187));
#1551 = ORIENTED_EDGE('',*,*,#1552,.F.);
#1552 = EDGE_CURVE('',#1138,#1545,#1553,.T.);
#1553 = LINE('',#1554,#1555);
#1554 = CARTESIAN_POINT('',(2.5,-6.,0.99));
#1555 = VECTOR('',#1556,1.);
#1556 = DIRECTION('',(0.E+000,1.,0.E+000));
#1557 = PLANE('',#1558);
#1558 = AXIS2_PLACEMENT_3D('',#1559,#1560,#1561);
#1559 = CARTESIAN_POINT('',(2.995,-6.,0.495));
#1560 = DIRECTION('',(0.707106781187,0.E+000,0.707106781187));
#1561 = DIRECTION('',(0.E+000,1.,0.E+000));
#1562 = ADVANCED_FACE('',(#1563),#1590,.F.);
#1563 = FACE_BOUND('',#1564,.F.);
#1564 = EDGE_LOOP('',(#1565,#1575,#1581,#1582,#1583,#1584));
#1565 = ORIENTED_EDGE('',*,*,#1566,.F.);
#1566 = EDGE_CURVE('',#1567,#1569,#1571,.T.);
#1567 = VERTEX_POINT('',#1568);
#1568 = CARTESIAN_POINT('',(-2.5,-6.,0.1));
#1569 = VERTEX_POINT('',#1570);
#1570 = CARTESIAN_POINT('',(2.5,-6.,0.1));
#1571 = LINE('',#1572,#1573);
#1572 = CARTESIAN_POINT('',(-2.5,-6.,0.1));
#1573 = VECTOR('',#1574,1.);
#1574 = DIRECTION('',(1.,0.E+000,0.E+000));
#1575 = ORIENTED_EDGE('',*,*,#1576,.T.);
#1576 = EDGE_CURVE('',#1567,#1114,#1577,.T.);
#1577 = LINE('',#1578,#1579);
#1578 = CARTESIAN_POINT('',(-2.5,-6.,0.1));
#1579 = VECTOR('',#1580,1.);
#1580 = DIRECTION('',(0.E+000,0.E+000,1.));
#1581 = ORIENTED_EDGE('',*,*,#1121,.T.);
#1582 = ORIENTED_EDGE('',*,*,#1129,.F.);
#1583 = ORIENTED_EDGE('',*,*,#1137,.F.);
#1584 = ORIENTED_EDGE('',*,*,#1585,.F.);
#1585 = EDGE_CURVE('',#1569,#1138,#1586,.T.);
#1586 = LINE('',#1587,#1588);
#1587 = CARTESIAN_POINT('',(2.5,-6.,0.1));
#1588 = VECTOR('',#1589,1.);
#1589 = DIRECTION('',(0.E+000,0.E+000,1.));
#1590 = PLANE('',#1591);
#1591 = AXIS2_PLACEMENT_3D('',#1592,#1593,#1594);
#1592 = CARTESIAN_POINT('',(-2.5,-6.,0.1));
#1593 = DIRECTION('',(0.E+000,1.,0.E+000));
#1594 = DIRECTION('',(0.E+000,0.E+000,1.));
#1595 = ADVANCED_FACE('',(#1596),#1614,.T.);
#1596 = FACE_BOUND('',#1597,.T.);
#1597 = EDGE_LOOP('',(#1598,#1599,#1600,#1608));
#1598 = ORIENTED_EDGE('',*,*,#1113,.F.);
#1599 = ORIENTED_EDGE('',*,*,#1233,.T.);
#1600 = ORIENTED_EDGE('',*,*,#1601,.T.);
#1601 = EDGE_CURVE('',#1226,#1602,#1604,.T.);
#1602 = VERTEX_POINT('',#1603);
#1603 = CARTESIAN_POINT('',(-2.5,-3.5,0.99));
#1604 = LINE('',#1605,#1606);
#1605 = CARTESIAN_POINT('',(-2.995,-3.5,0.495));
#1606 = VECTOR('',#1607,1.);
#1607 = DIRECTION('',(0.707106781187,0.E+000,0.707106781187));
#1608 = ORIENTED_EDGE('',*,*,#1609,.F.);
#1609 = EDGE_CURVE('',#1114,#1602,#1610,.T.);
#1610 = LINE('',#1611,#1612);
#1611 = CARTESIAN_POINT('',(-2.5,-6.,0.99));
#1612 = VECTOR('',#1613,1.);
#1613 = DIRECTION('',(0.E+000,1.,0.E+000));
#1614 = PLANE('',#1615);
#1615 = AXIS2_PLACEMENT_3D('',#1616,#1617,#1618);
#1616 = CARTESIAN_POINT('',(-2.995,-6.,0.495));
#1617 = DIRECTION('',(0.707106781187,0.E+000,-0.707106781187));
#1618 = DIRECTION('',(0.E+000,1.,0.E+000));
#1619 = ADVANCED_FACE('',(#1620),#1649,.T.);
#1620 = FACE_BOUND('',#1621,.T.);
#1621 = EDGE_LOOP('',(#1622,#1630,#1631,#1632,#1633,#1634,#1635,#1643));
#1622 = ORIENTED_EDGE('',*,*,#1623,.F.);
#1623 = EDGE_CURVE('',#1519,#1624,#1626,.T.);
#1624 = VERTEX_POINT('',#1625);
#1625 = CARTESIAN_POINT('',(3.5,-2.5,0.1));
#1626 = LINE('',#1627,#1628);
#1627 = CARTESIAN_POINT('',(3.5,-2.5,5.E-002));
#1628 = VECTOR('',#1629,1.);
#1629 = DIRECTION('',(0.E+000,0.E+000,-1.));
#1630 = ORIENTED_EDGE('',*,*,#1518,.F.);
#1631 = ORIENTED_EDGE('',*,*,#1184,.F.);
#1632 = ORIENTED_EDGE('',*,*,#1176,.T.);
#1633 = ORIENTED_EDGE('',*,*,#1168,.T.);
#1634 = ORIENTED_EDGE('',*,*,#1477,.T.);
#1635 = ORIENTED_EDGE('',*,*,#1636,.T.);
#1636 = EDGE_CURVE('',#1478,#1637,#1639,.T.);
#1637 = VERTEX_POINT('',#1638);
#1638 = CARTESIAN_POINT('',(3.5,2.5,0.1));
#1639 = LINE('',#1640,#1641);
#1640 = CARTESIAN_POINT('',(3.5,2.5,5.E-002));
#1641 = VECTOR('',#1642,1.);
#1642 = DIRECTION('',(0.E+000,0.E+000,-1.));
#1643 = ORIENTED_EDGE('',*,*,#1644,.F.);
#1644 = EDGE_CURVE('',#1624,#1637,#1645,.T.);
#1645 = LINE('',#1646,#1647);
#1646 = CARTESIAN_POINT('',(3.5,-2.5,0.1));
#1647 = VECTOR('',#1648,1.);
#1648 = DIRECTION('',(0.E+000,1.,0.E+000));
#1649 = PLANE('',#1650);
#1650 = AXIS2_PLACEMENT_3D('',#1651,#1652,#1653);
#1651 = CARTESIAN_POINT('',(3.5,-2.5,0.E+000));
#1652 = DIRECTION('',(1.,0.E+000,0.E+000));
#1653 = DIRECTION('',(0.E+000,0.E+000,1.));
#1654 = ADVANCED_FACE('',(#1655),#1684,.T.);
#1655 = FACE_BOUND('',#1656,.T.);
#1656 = EDGE_LOOP('',(#1657,#1665,#1666,#1667,#1668,#1669,#1670,#1678));
#1657 = ORIENTED_EDGE('',*,*,#1658,.T.);
#1658 = EDGE_CURVE('',#1659,#1389,#1661,.T.);
#1659 = VERTEX_POINT('',#1660);
#1660 = CARTESIAN_POINT('',(2.5,3.5,0.1));
#1661 = LINE('',#1662,#1663);
#1662 = CARTESIAN_POINT('',(2.5,3.5,5.E-002));
#1663 = VECTOR('',#1664,1.);
#1664 = DIRECTION('',(0.E+000,0.E+000,1.));
#1665 = ORIENTED_EDGE('',*,*,#1388,.F.);
#1666 = ORIENTED_EDGE('',*,*,#1307,.F.);
#1667 = ORIENTED_EDGE('',*,*,#1299,.F.);
#1668 = ORIENTED_EDGE('',*,*,#1291,.T.);
#1669 = ORIENTED_EDGE('',*,*,#1331,.T.);
#1670 = ORIENTED_EDGE('',*,*,#1671,.F.);
#1671 = EDGE_CURVE('',#1672,#1332,#1674,.T.);
#1672 = VERTEX_POINT('',#1673);
#1673 = CARTESIAN_POINT('',(-2.5,3.5,0.1));
#1674 = LINE('',#1675,#1676);
#1675 = CARTESIAN_POINT('',(-2.5,3.5,5.E-002));
#1676 = VECTOR('',#1677,1.);
#1677 = DIRECTION('',(0.E+000,0.E+000,1.));
#1678 = ORIENTED_EDGE('',*,*,#1679,.F.);
#1679 = EDGE_CURVE('',#1659,#1672,#1680,.T.);
#1680 = LINE('',#1681,#1682);
#1681 = CARTESIAN_POINT('',(-2.5,3.5,0.1));
#1682 = VECTOR('',#1683,1.);
#1683 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1684 = PLANE('',#1685);
#1685 = AXIS2_PLACEMENT_3D('',#1686,#1687,#1688);
#1686 = CARTESIAN_POINT('',(-2.5,3.5,0.E+000));
#1687 = DIRECTION('',(0.E+000,1.,0.E+000));
#1688 = DIRECTION('',(0.E+000,0.E+000,1.));
#1689 = ADVANCED_FACE('',(#1690),#1719,.F.);
#1690 = FACE_BOUND('',#1691,.F.);
#1691 = EDGE_LOOP('',(#1692,#1700,#1701,#1702,#1703,#1704,#1705,#1713));
#1692 = ORIENTED_EDGE('',*,*,#1693,.T.);
#1693 = EDGE_CURVE('',#1694,#1545,#1696,.T.);
#1694 = VERTEX_POINT('',#1695);
#1695 = CARTESIAN_POINT('',(2.5,-3.5,0.1));
#1696 = LINE('',#1697,#1698);
#1697 = CARTESIAN_POINT('',(2.5,-3.5,5.E-002));
#1698 = VECTOR('',#1699,1.);
#1699 = DIRECTION('',(0.E+000,0.E+000,1.));
#1700 = ORIENTED_EDGE('',*,*,#1544,.F.);
#1701 = ORIENTED_EDGE('',*,*,#1209,.F.);
#1702 = ORIENTED_EDGE('',*,*,#1217,.F.);
#1703 = ORIENTED_EDGE('',*,*,#1225,.T.);
#1704 = ORIENTED_EDGE('',*,*,#1601,.T.);
#1705 = ORIENTED_EDGE('',*,*,#1706,.F.);
#1706 = EDGE_CURVE('',#1707,#1602,#1709,.T.);
#1707 = VERTEX_POINT('',#1708);
#1708 = CARTESIAN_POINT('',(-2.5,-3.5,0.1));
#1709 = LINE('',#1710,#1711);
#1710 = CARTESIAN_POINT('',(-2.5,-3.5,5.E-002));
#1711 = VECTOR('',#1712,1.);
#1712 = DIRECTION('',(0.E+000,0.E+000,1.));
#1713 = ORIENTED_EDGE('',*,*,#1714,.F.);
#1714 = EDGE_CURVE('',#1694,#1707,#1715,.T.);
#1715 = LINE('',#1716,#1717);
#1716 = CARTESIAN_POINT('',(-2.5,-3.5,0.1));
#1717 = VECTOR('',#1718,1.);
#1718 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1719 = PLANE('',#1720);
#1720 = AXIS2_PLACEMENT_3D('',#1721,#1722,#1723);
#1721 = CARTESIAN_POINT('',(-2.5,-3.5,0.E+000));
#1722 = DIRECTION('',(0.E+000,1.,0.E+000));
#1723 = DIRECTION('',(0.E+000,0.E+000,1.));
#1724 = ADVANCED_FACE('',(#1725),#1754,.F.);
#1725 = FACE_BOUND('',#1726,.F.);
#1726 = EDGE_LOOP('',(#1727,#1735,#1736,#1737,#1738,#1739,#1740,#1748));
#1727 = ORIENTED_EDGE('',*,*,#1728,.F.);
#1728 = EDGE_CURVE('',#1415,#1729,#1731,.T.);
#1729 = VERTEX_POINT('',#1730);
#1730 = CARTESIAN_POINT('',(-3.5,-2.5,0.1));
#1731 = LINE('',#1732,#1733);
#1732 = CARTESIAN_POINT('',(-3.5,-2.5,5.E-002));
#1733 = VECTOR('',#1734,1.);
#1734 = DIRECTION('',(0.E+000,0.E+000,-1.));
#1735 = ORIENTED_EDGE('',*,*,#1414,.F.);
#1736 = ORIENTED_EDGE('',*,*,#1250,.F.);
#1737 = ORIENTED_EDGE('',*,*,#1258,.T.);
#1738 = ORIENTED_EDGE('',*,*,#1266,.T.);
#1739 = ORIENTED_EDGE('',*,*,#1455,.T.);
#1740 = ORIENTED_EDGE('',*,*,#1741,.T.);
#1741 = EDGE_CURVE('',#1456,#1742,#1744,.T.);
#1742 = VERTEX_POINT('',#1743);
#1743 = CARTESIAN_POINT('',(-3.5,2.5,0.1));
#1744 = LINE('',#1745,#1746);
#1745 = CARTESIAN_POINT('',(-3.5,2.5,5.E-002));
#1746 = VECTOR('',#1747,1.);
#1747 = DIRECTION('',(0.E+000,0.E+000,-1.));
#1748 = ORIENTED_EDGE('',*,*,#1749,.F.);
#1749 = EDGE_CURVE('',#1729,#1742,#1750,.T.);
#1750 = LINE('',#1751,#1752);
#1751 = CARTESIAN_POINT('',(-3.5,-2.5,0.1));
#1752 = VECTOR('',#1753,1.);
#1753 = DIRECTION('',(0.E+000,1.,0.E+000));
#1754 = PLANE('',#1755);
#1755 = AXIS2_PLACEMENT_3D('',#1756,#1757,#1758);
#1756 = CARTESIAN_POINT('',(-3.5,-2.5,0.E+000));
#1757 = DIRECTION('',(1.,0.E+000,0.E+000));
#1758 = DIRECTION('',(0.E+000,0.E+000,1.));
#1759 = ADVANCED_FACE('',(#1760),#1771,.F.);
#1760 = FACE_BOUND('',#1761,.F.);
#1761 = EDGE_LOOP('',(#1762,#1763,#1769,#1770));
#1762 = ORIENTED_EDGE('',*,*,#1671,.F.);
#1763 = ORIENTED_EDGE('',*,*,#1764,.T.);
#1764 = EDGE_CURVE('',#1672,#1356,#1765,.T.);
#1765 = LINE('',#1766,#1767);
#1766 = CARTESIAN_POINT('',(-2.5,1.,0.1));
#1767 = VECTOR('',#1768,1.);
#1768 = DIRECTION('',(0.E+000,1.,0.E+000));
#1769 = ORIENTED_EDGE('',*,*,#1365,.T.);
#1770 = ORIENTED_EDGE('',*,*,#1341,.F.);
#1771 = PLANE('',#1772);
#1772 = AXIS2_PLACEMENT_3D('',#1773,#1774,#1775);
#1773 = CARTESIAN_POINT('',(-2.5,1.,0.1));
#1774 = DIRECTION('',(1.,0.E+000,0.E+000));
#1775 = DIRECTION('',(0.E+000,0.E+000,1.));
#1776 = ADVANCED_FACE('',(#1777),#1788,.F.);
#1777 = FACE_BOUND('',#1778,.F.);
#1778 = EDGE_LOOP('',(#1779,#1780,#1781,#1787));
#1779 = ORIENTED_EDGE('',*,*,#1764,.F.);
#1780 = ORIENTED_EDGE('',*,*,#1679,.F.);
#1781 = ORIENTED_EDGE('',*,*,#1782,.T.);
#1782 = EDGE_CURVE('',#1659,#1358,#1783,.T.);
#1783 = LINE('',#1784,#1785);
#1784 = CARTESIAN_POINT('',(2.5,1.,0.1));
#1785 = VECTOR('',#1786,1.);
#1786 = DIRECTION('',(0.E+000,1.,0.E+000));
#1787 = ORIENTED_EDGE('',*,*,#1355,.F.);
#1788 = PLANE('',#1789);
#1789 = AXIS2_PLACEMENT_3D('',#1790,#1791,#1792);
#1790 = CARTESIAN_POINT('',(-2.5,1.,0.1));
#1791 = DIRECTION('',(0.E+000,0.E+000,1.));
#1792 = DIRECTION('',(1.,0.E+000,0.E+000));
#1793 = ADVANCED_FACE('',(#1794),#1800,.T.);
#1794 = FACE_BOUND('',#1795,.T.);
#1795 = EDGE_LOOP('',(#1796,#1797,#1798,#1799));
#1796 = ORIENTED_EDGE('',*,*,#1658,.F.);
#1797 = ORIENTED_EDGE('',*,*,#1782,.T.);
#1798 = ORIENTED_EDGE('',*,*,#1374,.T.);
#1799 = ORIENTED_EDGE('',*,*,#1398,.F.);
#1800 = PLANE('',#1801);
#1801 = AXIS2_PLACEMENT_3D('',#1802,#1803,#1804);
#1802 = CARTESIAN_POINT('',(2.5,1.,0.1));
#1803 = DIRECTION('',(1.,0.E+000,0.E+000));
#1804 = DIRECTION('',(0.E+000,0.E+000,1.));
#1805 = ADVANCED_FACE('',(#1806),#1825,.F.);
#1806 = FACE_BOUND('',#1807,.F.);
#1807 = EDGE_LOOP('',(#1808,#1809,#1817,#1824));
#1808 = ORIENTED_EDGE('',*,*,#1728,.T.);
#1809 = ORIENTED_EDGE('',*,*,#1810,.F.);
#1810 = EDGE_CURVE('',#1811,#1729,#1813,.T.);
#1811 = VERTEX_POINT('',#1812);
#1812 = CARTESIAN_POINT('',(-5.11,-2.5,0.1));
#1813 = LINE('',#1814,#1815);
#1814 = CARTESIAN_POINT('',(-6.,-2.5,0.1));
#1815 = VECTOR('',#1816,1.);
#1816 = DIRECTION('',(1.,0.E+000,0.E+000));
#1817 = ORIENTED_EDGE('',*,*,#1818,.F.);
#1818 = EDGE_CURVE('',#951,#1811,#1819,.T.);
#1819 = CIRCLE('',#1820,0.89);
#1820 = AXIS2_PLACEMENT_3D('',#1821,#1822,#1823);
#1821 = CARTESIAN_POINT('',(-5.11,-2.5,0.99));
#1822 = DIRECTION('',(0.E+000,-1.,0.E+000));
#1823 = DIRECTION('',(0.E+000,0.E+000,1.));
#1824 = ORIENTED_EDGE('',*,*,#1422,.T.);
#1825 = PLANE('',#1826);
#1826 = AXIS2_PLACEMENT_3D('',#1827,#1828,#1829);
#1827 = CARTESIAN_POINT('',(-6.,-2.5,0.1));
#1828 = DIRECTION('',(0.E+000,1.,0.E+000));
#1829 = DIRECTION('',(0.E+000,0.E+000,1.));
#1830 = ADVANCED_FACE('',(#1831),#1850,.T.);
#1831 = FACE_BOUND('',#1832,.F.);
#1832 = EDGE_LOOP('',(#1833,#1834,#1842,#1849));
#1833 = ORIENTED_EDGE('',*,*,#1818,.T.);
#1834 = ORIENTED_EDGE('',*,*,#1835,.T.);
#1835 = EDGE_CURVE('',#1811,#1836,#1838,.T.);
#1836 = VERTEX_POINT('',#1837);
#1837 = CARTESIAN_POINT('',(-5.11,2.5,0.1));
#1838 = LINE('',#1839,#1840);
#1839 = CARTESIAN_POINT('',(-5.11,-2.5,1.E-001));
#1840 = VECTOR('',#1841,1.);
#1841 = DIRECTION('',(0.E+000,1.,0.E+000));
#1842 = ORIENTED_EDGE('',*,*,#1843,.F.);
#1843 = EDGE_CURVE('',#927,#1836,#1844,.T.);
#1844 = CIRCLE('',#1845,0.89);
#1845 = AXIS2_PLACEMENT_3D('',#1846,#1847,#1848);
#1846 = CARTESIAN_POINT('',(-5.11,2.5,0.99));
#1847 = DIRECTION('',(0.E+000,-1.,0.E+000));
#1848 = DIRECTION('',(0.E+000,0.E+000,1.));
#1849 = ORIENTED_EDGE('',*,*,#1437,.F.);
#1850 = CYLINDRICAL_SURFACE('',#1851,0.89);
#1851 = AXIS2_PLACEMENT_3D('',#1852,#1853,#1854);
#1852 = CARTESIAN_POINT('',(-5.11,-2.5,0.99));
#1853 = DIRECTION('',(0.E+000,1.,0.E+000));
#1854 = DIRECTION('',(-1.,0.E+000,0.E+000));
#1855 = ADVANCED_FACE('',(#1856),#1867,.T.);
#1856 = FACE_BOUND('',#1857,.T.);
#1857 = EDGE_LOOP('',(#1858,#1859,#1865,#1866));
#1858 = ORIENTED_EDGE('',*,*,#1741,.T.);
#1859 = ORIENTED_EDGE('',*,*,#1860,.F.);
#1860 = EDGE_CURVE('',#1836,#1742,#1861,.T.);
#1861 = LINE('',#1862,#1863);
#1862 = CARTESIAN_POINT('',(-6.,2.5,0.1));
#1863 = VECTOR('',#1864,1.);
#1864 = DIRECTION('',(1.,0.E+000,0.E+000));
#1865 = ORIENTED_EDGE('',*,*,#1843,.F.);
#1866 = ORIENTED_EDGE('',*,*,#1463,.T.);
#1867 = PLANE('',#1868);
#1868 = AXIS2_PLACEMENT_3D('',#1869,#1870,#1871);
#1869 = CARTESIAN_POINT('',(-6.,2.5,0.1));
#1870 = DIRECTION('',(0.E+000,1.,0.E+000));
#1871 = DIRECTION('',(0.E+000,0.E+000,1.));
#1872 = ADVANCED_FACE('',(#1873),#1892,.T.);
#1873 = FACE_BOUND('',#1874,.T.);
#1874 = EDGE_LOOP('',(#1875,#1883,#1884,#1885));
#1875 = ORIENTED_EDGE('',*,*,#1876,.F.);
#1876 = EDGE_CURVE('',#1637,#1877,#1879,.T.);
#1877 = VERTEX_POINT('',#1878);
#1878 = CARTESIAN_POINT('',(5.11,2.5,0.1));
#1879 = LINE('',#1880,#1881);
#1880 = CARTESIAN_POINT('',(1.,2.5,0.1));
#1881 = VECTOR('',#1882,1.);
#1882 = DIRECTION('',(1.,0.E+000,0.E+000));
#1883 = ORIENTED_EDGE('',*,*,#1636,.F.);
#1884 = ORIENTED_EDGE('',*,*,#1487,.T.);
#1885 = ORIENTED_EDGE('',*,*,#1886,.T.);
#1886 = EDGE_CURVE('',#1023,#1877,#1887,.T.);
#1887 = CIRCLE('',#1888,0.89);
#1888 = AXIS2_PLACEMENT_3D('',#1889,#1890,#1891);
#1889 = CARTESIAN_POINT('',(5.11,2.5,0.99));
#1890 = DIRECTION('',(0.E+000,1.,0.E+000));
#1891 = DIRECTION('',(0.E+000,0.E+000,1.));
#1892 = PLANE('',#1893);
#1893 = AXIS2_PLACEMENT_3D('',#1894,#1895,#1896);
#1894 = CARTESIAN_POINT('',(1.,2.5,0.1));
#1895 = DIRECTION('',(0.E+000,1.,0.E+000));
#1896 = DIRECTION('',(0.E+000,0.E+000,1.));
#1897 = ADVANCED_FACE('',(#1898),#1917,.T.);
#1898 = FACE_BOUND('',#1899,.T.);
#1899 = EDGE_LOOP('',(#1900,#1909,#1915,#1916));
#1900 = ORIENTED_EDGE('',*,*,#1901,.T.);
#1901 = EDGE_CURVE('',#999,#1902,#1904,.T.);
#1902 = VERTEX_POINT('',#1903);
#1903 = CARTESIAN_POINT('',(5.11,-2.5,0.1));
#1904 = CIRCLE('',#1905,0.89);
#1905 = AXIS2_PLACEMENT_3D('',#1906,#1907,#1908);
#1906 = CARTESIAN_POINT('',(5.11,-2.5,0.99));
#1907 = DIRECTION('',(0.E+000,1.,0.E+000));
#1908 = DIRECTION('',(0.E+000,0.E+000,1.));
#1909 = ORIENTED_EDGE('',*,*,#1910,.T.);
#1910 = EDGE_CURVE('',#1902,#1877,#1911,.T.);
#1911 = LINE('',#1912,#1913);
#1912 = CARTESIAN_POINT('',(5.11,-2.5,1.E-001));
#1913 = VECTOR('',#1914,1.);
#1914 = DIRECTION('',(0.E+000,1.,0.E+000));
#1915 = ORIENTED_EDGE('',*,*,#1886,.F.);
#1916 = ORIENTED_EDGE('',*,*,#1502,.F.);
#1917 = CYLINDRICAL_SURFACE('',#1918,0.89);
#1918 = AXIS2_PLACEMENT_3D('',#1919,#1920,#1921);
#1919 = CARTESIAN_POINT('',(5.11,-2.5,0.99));
#1920 = DIRECTION('',(0.E+000,1.,0.E+000));
#1921 = DIRECTION('',(1.,0.E+000,0.E+000));
#1922 = ADVANCED_FACE('',(#1923),#1934,.F.);
#1923 = FACE_BOUND('',#1924,.F.);
#1924 = EDGE_LOOP('',(#1925,#1931,#1932,#1933));
#1925 = ORIENTED_EDGE('',*,*,#1926,.F.);
#1926 = EDGE_CURVE('',#1624,#1902,#1927,.T.);
#1927 = LINE('',#1928,#1929);
#1928 = CARTESIAN_POINT('',(1.,-2.5,0.1));
#1929 = VECTOR('',#1930,1.);
#1930 = DIRECTION('',(1.,0.E+000,0.E+000));
#1931 = ORIENTED_EDGE('',*,*,#1623,.F.);
#1932 = ORIENTED_EDGE('',*,*,#1528,.T.);
#1933 = ORIENTED_EDGE('',*,*,#1901,.T.);
#1934 = PLANE('',#1935);
#1935 = AXIS2_PLACEMENT_3D('',#1936,#1937,#1938);
#1936 = CARTESIAN_POINT('',(1.,-2.5,0.1));
#1937 = DIRECTION('',(0.E+000,1.,0.E+000));
#1938 = DIRECTION('',(0.E+000,0.E+000,1.));
#1939 = ADVANCED_FACE('',(#1940),#1951,.T.);
#1940 = FACE_BOUND('',#1941,.T.);
#1941 = EDGE_LOOP('',(#1942,#1943,#1949,#1950));
#1942 = ORIENTED_EDGE('',*,*,#1585,.F.);
#1943 = ORIENTED_EDGE('',*,*,#1944,.T.);
#1944 = EDGE_CURVE('',#1569,#1694,#1945,.T.);
#1945 = LINE('',#1946,#1947);
#1946 = CARTESIAN_POINT('',(2.5,-6.,0.1));
#1947 = VECTOR('',#1948,1.);
#1948 = DIRECTION('',(0.E+000,1.,0.E+000));
#1949 = ORIENTED_EDGE('',*,*,#1693,.T.);
#1950 = ORIENTED_EDGE('',*,*,#1552,.F.);
#1951 = PLANE('',#1952);
#1952 = AXIS2_PLACEMENT_3D('',#1953,#1954,#1955);
#1953 = CARTESIAN_POINT('',(2.5,-6.,0.1));
#1954 = DIRECTION('',(1.,0.E+000,0.E+000));
#1955 = DIRECTION('',(0.E+000,0.E+000,1.));
#1956 = ADVANCED_FACE('',(#1957),#1968,.F.);
#1957 = FACE_BOUND('',#1958,.F.);
#1958 = EDGE_LOOP('',(#1959,#1960,#1966,#1967));
#1959 = ORIENTED_EDGE('',*,*,#1714,.T.);
#1960 = ORIENTED_EDGE('',*,*,#1961,.F.);
#1961 = EDGE_CURVE('',#1567,#1707,#1962,.T.);
#1962 = LINE('',#1963,#1964);
#1963 = CARTESIAN_POINT('',(-2.5,-6.,0.1));
#1964 = VECTOR('',#1965,1.);
#1965 = DIRECTION('',(0.E+000,1.,0.E+000));
#1966 = ORIENTED_EDGE('',*,*,#1566,.T.);
#1967 = ORIENTED_EDGE('',*,*,#1944,.T.);
#1968 = PLANE('',#1969);
#1969 = AXIS2_PLACEMENT_3D('',#1970,#1971,#1972);
#1970 = CARTESIAN_POINT('',(-2.5,-6.,0.1));
#1971 = DIRECTION('',(0.E+000,0.E+000,1.));
#1972 = DIRECTION('',(1.,0.E+000,0.E+000));
#1973 = ADVANCED_FACE('',(#1974),#1980,.F.);
#1974 = FACE_BOUND('',#1975,.F.);
#1975 = EDGE_LOOP('',(#1976,#1977,#1978,#1979));
#1976 = ORIENTED_EDGE('',*,*,#1576,.F.);
#1977 = ORIENTED_EDGE('',*,*,#1961,.T.);
#1978 = ORIENTED_EDGE('',*,*,#1706,.T.);
#1979 = ORIENTED_EDGE('',*,*,#1609,.F.);
#1980 = PLANE('',#1981);
#1981 = AXIS2_PLACEMENT_3D('',#1982,#1983,#1984);
#1982 = CARTESIAN_POINT('',(-2.5,-6.,0.1));
#1983 = DIRECTION('',(1.,0.E+000,0.E+000));
#1984 = DIRECTION('',(0.E+000,0.E+000,1.));
#1985 = ADVANCED_FACE('',(#1986),#1992,.F.);
#1986 = FACE_BOUND('',#1987,.F.);
#1987 = EDGE_LOOP('',(#1988,#1989,#1990,#1991));
#1988 = ORIENTED_EDGE('',*,*,#1876,.F.);
#1989 = ORIENTED_EDGE('',*,*,#1644,.F.);
#1990 = ORIENTED_EDGE('',*,*,#1926,.T.);
#1991 = ORIENTED_EDGE('',*,*,#1910,.T.);
#1992 = PLANE('',#1993);
#1993 = AXIS2_PLACEMENT_3D('',#1994,#1995,#1996);
#1994 = CARTESIAN_POINT('',(1.,-2.5,0.1));
#1995 = DIRECTION('',(0.E+000,0.E+000,1.));
#1996 = DIRECTION('',(1.,0.E+000,0.E+000));
#1997 = ADVANCED_FACE('',(#1998),#2004,.F.);
#1998 = FACE_BOUND('',#1999,.F.);
#1999 = EDGE_LOOP('',(#2000,#2001,#2002,#2003));
#2000 = ORIENTED_EDGE('',*,*,#1749,.T.);
#2001 = ORIENTED_EDGE('',*,*,#1860,.F.);
#2002 = ORIENTED_EDGE('',*,*,#1835,.F.);
#2003 = ORIENTED_EDGE('',*,*,#1810,.T.);
#2004 = PLANE('',#2005);
#2005 = AXIS2_PLACEMENT_3D('',#2006,#2007,#2008);
#2006 = CARTESIAN_POINT('',(-6.,-2.5,0.1));
#2007 = DIRECTION('',(0.E+000,0.E+000,1.));
#2008 = DIRECTION('',(1.,0.E+000,0.E+000));
#2009 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#2013)) 
GLOBAL_UNIT_ASSIGNED_CONTEXT((#2010,#2011,#2012)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#2010 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#2011 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#2012 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#2013 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(2.E-005),#2010,
  'distance_accuracy_value','confusion accuracy');
#2014 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#7));
#2015 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION('',(
    #2016,#2024,#2031,#2039,#2046,#2053,#2060,#2067,#2074,#2081,#2088,
    #2095,#2102,#2109,#2116,#2123,#2130,#2137,#2144,#2151,#2158,#2165,
    #2172,#2179,#2186,#2193,#2200,#2207,#2214,#2221,#2228,#2235,#2243,
    #2250,#2257,#2265,#2272,#2279,#2286,#2293,#2300,#2307,#2314,#2321,
    #2328,#2335,#2342,#2349,#2356,#2363,#2370,#2377,#2384,#2391,#2398,
    #2405,#2412,#2419,#2426,#2433),#2009);
#2016 = STYLED_ITEM('color',(#2017),#17);
#2017 = PRESENTATION_STYLE_ASSIGNMENT((#2018));
#2018 = SURFACE_STYLE_USAGE(.BOTH.,#2019);
#2019 = SURFACE_SIDE_STYLE('',(#2020));
#2020 = SURFACE_STYLE_FILL_AREA(#2021);
#2021 = FILL_AREA_STYLE('',(#2022));
#2022 = FILL_AREA_STYLE_COLOUR('',#2023);
#2023 = COLOUR_RGB('',0.273000001907,0.273000001907,0.273000001907);
#2024 = STYLED_ITEM('color',(#2025),#34);
#2025 = PRESENTATION_STYLE_ASSIGNMENT((#2026));
#2026 = SURFACE_STYLE_USAGE(.BOTH.,#2027);
#2027 = SURFACE_SIDE_STYLE('',(#2028));
#2028 = SURFACE_STYLE_FILL_AREA(#2029);
#2029 = FILL_AREA_STYLE('',(#2030));
#2030 = FILL_AREA_STYLE_COLOUR('',#2023);
#2031 = STYLED_ITEM('color',(#2032),#59);
#2032 = PRESENTATION_STYLE_ASSIGNMENT((#2033));
#2033 = SURFACE_STYLE_USAGE(.BOTH.,#2034);
#2034 = SURFACE_SIDE_STYLE('',(#2035));
#2035 = SURFACE_STYLE_FILL_AREA(#2036);
#2036 = FILL_AREA_STYLE('',(#2037));
#2037 = FILL_AREA_STYLE_COLOUR('',#2038);
#2038 = COLOUR_RGB('',0.883000016212,0.711000025272,0.49200001359);
#2039 = STYLED_ITEM('color',(#2040),#251);
#2040 = PRESENTATION_STYLE_ASSIGNMENT((#2041));
#2041 = SURFACE_STYLE_USAGE(.BOTH.,#2042);
#2042 = SURFACE_SIDE_STYLE('',(#2043));
#2043 = SURFACE_STYLE_FILL_AREA(#2044);
#2044 = FILL_AREA_STYLE('',(#2045));
#2045 = FILL_AREA_STYLE_COLOUR('',#2023);
#2046 = STYLED_ITEM('color',(#2047),#284);
#2047 = PRESENTATION_STYLE_ASSIGNMENT((#2048));
#2048 = SURFACE_STYLE_USAGE(.BOTH.,#2049);
#2049 = SURFACE_SIDE_STYLE('',(#2050));
#2050 = SURFACE_STYLE_FILL_AREA(#2051);
#2051 = FILL_AREA_STYLE('',(#2052));
#2052 = FILL_AREA_STYLE_COLOUR('',#2023);
#2053 = STYLED_ITEM('color',(#2054),#308);
#2054 = PRESENTATION_STYLE_ASSIGNMENT((#2055));
#2055 = SURFACE_STYLE_USAGE(.BOTH.,#2056);
#2056 = SURFACE_SIDE_STYLE('',(#2057));
#2057 = SURFACE_STYLE_FILL_AREA(#2058);
#2058 = FILL_AREA_STYLE('',(#2059));
#2059 = FILL_AREA_STYLE_COLOUR('',#2023);
#2060 = STYLED_ITEM('color',(#2061),#333);
#2061 = PRESENTATION_STYLE_ASSIGNMENT((#2062));
#2062 = SURFACE_STYLE_USAGE(.BOTH.,#2063);
#2063 = SURFACE_SIDE_STYLE('',(#2064));
#2064 = SURFACE_STYLE_FILL_AREA(#2065);
#2065 = FILL_AREA_STYLE('',(#2066));
#2066 = FILL_AREA_STYLE_COLOUR('',#2023);
#2067 = STYLED_ITEM('color',(#2068),#357);
#2068 = PRESENTATION_STYLE_ASSIGNMENT((#2069));
#2069 = SURFACE_STYLE_USAGE(.BOTH.,#2070);
#2070 = SURFACE_SIDE_STYLE('',(#2071));
#2071 = SURFACE_STYLE_FILL_AREA(#2072);
#2072 = FILL_AREA_STYLE('',(#2073));
#2073 = FILL_AREA_STYLE_COLOUR('',#2023);
#2074 = STYLED_ITEM('color',(#2075),#381);
#2075 = PRESENTATION_STYLE_ASSIGNMENT((#2076));
#2076 = SURFACE_STYLE_USAGE(.BOTH.,#2077);
#2077 = SURFACE_SIDE_STYLE('',(#2078));
#2078 = SURFACE_STYLE_FILL_AREA(#2079);
#2079 = FILL_AREA_STYLE('',(#2080));
#2080 = FILL_AREA_STYLE_COLOUR('',#2023);
#2081 = STYLED_ITEM('color',(#2082),#406);
#2082 = PRESENTATION_STYLE_ASSIGNMENT((#2083));
#2083 = SURFACE_STYLE_USAGE(.BOTH.,#2084);
#2084 = SURFACE_SIDE_STYLE('',(#2085));
#2085 = SURFACE_STYLE_FILL_AREA(#2086);
#2086 = FILL_AREA_STYLE('',(#2087));
#2087 = FILL_AREA_STYLE_COLOUR('',#2023);
#2088 = STYLED_ITEM('color',(#2089),#432);
#2089 = PRESENTATION_STYLE_ASSIGNMENT((#2090));
#2090 = SURFACE_STYLE_USAGE(.BOTH.,#2091);
#2091 = SURFACE_SIDE_STYLE('',(#2092));
#2092 = SURFACE_STYLE_FILL_AREA(#2093);
#2093 = FILL_AREA_STYLE('',(#2094));
#2094 = FILL_AREA_STYLE_COLOUR('',#2023);
#2095 = STYLED_ITEM('color',(#2096),#456);
#2096 = PRESENTATION_STYLE_ASSIGNMENT((#2097));
#2097 = SURFACE_STYLE_USAGE(.BOTH.,#2098);
#2098 = SURFACE_SIDE_STYLE('',(#2099));
#2099 = SURFACE_STYLE_FILL_AREA(#2100);
#2100 = FILL_AREA_STYLE('',(#2101));
#2101 = FILL_AREA_STYLE_COLOUR('',#2023);
#2102 = STYLED_ITEM('color',(#2103),#482);
#2103 = PRESENTATION_STYLE_ASSIGNMENT((#2104));
#2104 = SURFACE_STYLE_USAGE(.BOTH.,#2105);
#2105 = SURFACE_SIDE_STYLE('',(#2106));
#2106 = SURFACE_STYLE_FILL_AREA(#2107);
#2107 = FILL_AREA_STYLE('',(#2108));
#2108 = FILL_AREA_STYLE_COLOUR('',#2023);
#2109 = STYLED_ITEM('color',(#2110),#506);
#2110 = PRESENTATION_STYLE_ASSIGNMENT((#2111));
#2111 = SURFACE_STYLE_USAGE(.BOTH.,#2112);
#2112 = SURFACE_SIDE_STYLE('',(#2113));
#2113 = SURFACE_STYLE_FILL_AREA(#2114);
#2114 = FILL_AREA_STYLE('',(#2115));
#2115 = FILL_AREA_STYLE_COLOUR('',#2023);
#2116 = STYLED_ITEM('color',(#2117),#531);
#2117 = PRESENTATION_STYLE_ASSIGNMENT((#2118));
#2118 = SURFACE_STYLE_USAGE(.BOTH.,#2119);
#2119 = SURFACE_SIDE_STYLE('',(#2120));
#2120 = SURFACE_STYLE_FILL_AREA(#2121);
#2121 = FILL_AREA_STYLE('',(#2122));
#2122 = FILL_AREA_STYLE_COLOUR('',#2023);
#2123 = STYLED_ITEM('color',(#2124),#555);
#2124 = PRESENTATION_STYLE_ASSIGNMENT((#2125));
#2125 = SURFACE_STYLE_USAGE(.BOTH.,#2126);
#2126 = SURFACE_SIDE_STYLE('',(#2127));
#2127 = SURFACE_STYLE_FILL_AREA(#2128);
#2128 = FILL_AREA_STYLE('',(#2129));
#2129 = FILL_AREA_STYLE_COLOUR('',#2023);
#2130 = STYLED_ITEM('color',(#2131),#580);
#2131 = PRESENTATION_STYLE_ASSIGNMENT((#2132));
#2132 = SURFACE_STYLE_USAGE(.BOTH.,#2133);
#2133 = SURFACE_SIDE_STYLE('',(#2134));
#2134 = SURFACE_STYLE_FILL_AREA(#2135);
#2135 = FILL_AREA_STYLE('',(#2136));
#2136 = FILL_AREA_STYLE_COLOUR('',#2023);
#2137 = STYLED_ITEM('color',(#2138),#605);
#2138 = PRESENTATION_STYLE_ASSIGNMENT((#2139));
#2139 = SURFACE_STYLE_USAGE(.BOTH.,#2140);
#2140 = SURFACE_SIDE_STYLE('',(#2141));
#2141 = SURFACE_STYLE_FILL_AREA(#2142);
#2142 = FILL_AREA_STYLE('',(#2143));
#2143 = FILL_AREA_STYLE_COLOUR('',#2023);
#2144 = STYLED_ITEM('color',(#2145),#629);
#2145 = PRESENTATION_STYLE_ASSIGNMENT((#2146));
#2146 = SURFACE_STYLE_USAGE(.BOTH.,#2147);
#2147 = SURFACE_SIDE_STYLE('',(#2148));
#2148 = SURFACE_STYLE_FILL_AREA(#2149);
#2149 = FILL_AREA_STYLE('',(#2150));
#2150 = FILL_AREA_STYLE_COLOUR('',#2023);
#2151 = STYLED_ITEM('color',(#2152),#653);
#2152 = PRESENTATION_STYLE_ASSIGNMENT((#2153));
#2153 = SURFACE_STYLE_USAGE(.BOTH.,#2154);
#2154 = SURFACE_SIDE_STYLE('',(#2155));
#2155 = SURFACE_STYLE_FILL_AREA(#2156);
#2156 = FILL_AREA_STYLE('',(#2157));
#2157 = FILL_AREA_STYLE_COLOUR('',#2023);
#2158 = STYLED_ITEM('color',(#2159),#672);
#2159 = PRESENTATION_STYLE_ASSIGNMENT((#2160));
#2160 = SURFACE_STYLE_USAGE(.BOTH.,#2161);
#2161 = SURFACE_SIDE_STYLE('',(#2162));
#2162 = SURFACE_STYLE_FILL_AREA(#2163);
#2163 = FILL_AREA_STYLE('',(#2164));
#2164 = FILL_AREA_STYLE_COLOUR('',#2023);
#2165 = STYLED_ITEM('color',(#2166),#767);
#2166 = PRESENTATION_STYLE_ASSIGNMENT((#2167));
#2167 = SURFACE_STYLE_USAGE(.BOTH.,#2168);
#2168 = SURFACE_SIDE_STYLE('',(#2169));
#2169 = SURFACE_STYLE_FILL_AREA(#2170);
#2170 = FILL_AREA_STYLE('',(#2171));
#2171 = FILL_AREA_STYLE_COLOUR('',#2023);
#2172 = STYLED_ITEM('color',(#2173),#846);
#2173 = PRESENTATION_STYLE_ASSIGNMENT((#2174));
#2174 = SURFACE_STYLE_USAGE(.BOTH.,#2175);
#2175 = SURFACE_SIDE_STYLE('',(#2176));
#2176 = SURFACE_STYLE_FILL_AREA(#2177);
#2177 = FILL_AREA_STYLE('',(#2178));
#2178 = FILL_AREA_STYLE_COLOUR('',#2023);
#2179 = STYLED_ITEM('color',(#2180),#871);
#2180 = PRESENTATION_STYLE_ASSIGNMENT((#2181));
#2181 = SURFACE_STYLE_USAGE(.BOTH.,#2182);
#2182 = SURFACE_SIDE_STYLE('',(#2183));
#2183 = SURFACE_STYLE_FILL_AREA(#2184);
#2184 = FILL_AREA_STYLE('',(#2185));
#2185 = FILL_AREA_STYLE_COLOUR('',#2023);
#2186 = STYLED_ITEM('color',(#2187),#896);
#2187 = PRESENTATION_STYLE_ASSIGNMENT((#2188));
#2188 = SURFACE_STYLE_USAGE(.BOTH.,#2189);
#2189 = SURFACE_SIDE_STYLE('',(#2190));
#2190 = SURFACE_STYLE_FILL_AREA(#2191);
#2191 = FILL_AREA_STYLE('',(#2192));
#2192 = FILL_AREA_STYLE_COLOUR('',#2023);
#2193 = STYLED_ITEM('color',(#2194),#968);
#2194 = PRESENTATION_STYLE_ASSIGNMENT((#2195));
#2195 = SURFACE_STYLE_USAGE(.BOTH.,#2196);
#2196 = SURFACE_SIDE_STYLE('',(#2197));
#2197 = SURFACE_STYLE_FILL_AREA(#2198);
#2198 = FILL_AREA_STYLE('',(#2199));
#2199 = FILL_AREA_STYLE_COLOUR('',#2023);
#2200 = STYLED_ITEM('color',(#2201),#1040);
#2201 = PRESENTATION_STYLE_ASSIGNMENT((#2202));
#2202 = SURFACE_STYLE_USAGE(.BOTH.,#2203);
#2203 = SURFACE_SIDE_STYLE('',(#2204));
#2204 = SURFACE_STYLE_FILL_AREA(#2205);
#2205 = FILL_AREA_STYLE('',(#2206));
#2206 = FILL_AREA_STYLE_COLOUR('',#2023);
#2207 = STYLED_ITEM('color',(#2208),#1065);
#2208 = PRESENTATION_STYLE_ASSIGNMENT((#2209));
#2209 = SURFACE_STYLE_USAGE(.BOTH.,#2210);
#2210 = SURFACE_SIDE_STYLE('',(#2211));
#2211 = SURFACE_STYLE_FILL_AREA(#2212);
#2212 = FILL_AREA_STYLE('',(#2213));
#2213 = FILL_AREA_STYLE_COLOUR('',#2023);
#2214 = STYLED_ITEM('color',(#2215),#1090);
#2215 = PRESENTATION_STYLE_ASSIGNMENT((#2216));
#2216 = SURFACE_STYLE_USAGE(.BOTH.,#2217);
#2217 = SURFACE_SIDE_STYLE('',(#2218));
#2218 = SURFACE_STYLE_FILL_AREA(#2219);
#2219 = FILL_AREA_STYLE('',(#2220));
#2220 = FILL_AREA_STYLE_COLOUR('',#2023);
#2221 = STYLED_ITEM('color',(#2222),#1155);
#2222 = PRESENTATION_STYLE_ASSIGNMENT((#2223));
#2223 = SURFACE_STYLE_USAGE(.BOTH.,#2224);
#2224 = SURFACE_SIDE_STYLE('',(#2225));
#2225 = SURFACE_STYLE_FILL_AREA(#2226);
#2226 = FILL_AREA_STYLE('',(#2227));
#2227 = FILL_AREA_STYLE_COLOUR('',#2023);
#2228 = STYLED_ITEM('color',(#2229),#1327);
#2229 = PRESENTATION_STYLE_ASSIGNMENT((#2230));
#2230 = SURFACE_STYLE_USAGE(.BOTH.,#2231);
#2231 = SURFACE_SIDE_STYLE('',(#2232));
#2232 = SURFACE_STYLE_FILL_AREA(#2233);
#2233 = FILL_AREA_STYLE('',(#2234));
#2234 = FILL_AREA_STYLE_COLOUR('',#2023);
#2235 = STYLED_ITEM('color',(#2236),#1351);
#2236 = PRESENTATION_STYLE_ASSIGNMENT((#2237));
#2237 = SURFACE_STYLE_USAGE(.BOTH.,#2238);
#2238 = SURFACE_SIDE_STYLE('',(#2239));
#2239 = SURFACE_STYLE_FILL_AREA(#2240);
#2240 = FILL_AREA_STYLE('',(#2241));
#2241 = FILL_AREA_STYLE_COLOUR('',#2242);
#2242 = COLOUR_RGB('',0.148000001907,0.144999995828,0.144999995828);
#2243 = STYLED_ITEM('color',(#2244),#1384);
#2244 = PRESENTATION_STYLE_ASSIGNMENT((#2245));
#2245 = SURFACE_STYLE_USAGE(.BOTH.,#2246);
#2246 = SURFACE_SIDE_STYLE('',(#2247));
#2247 = SURFACE_STYLE_FILL_AREA(#2248);
#2248 = FILL_AREA_STYLE('',(#2249));
#2249 = FILL_AREA_STYLE_COLOUR('',#2023);
#2250 = STYLED_ITEM('color',(#2251),#1408);
#2251 = PRESENTATION_STYLE_ASSIGNMENT((#2252));
#2252 = SURFACE_STYLE_USAGE(.BOTH.,#2253);
#2253 = SURFACE_SIDE_STYLE('',(#2254));
#2254 = SURFACE_STYLE_FILL_AREA(#2255);
#2255 = FILL_AREA_STYLE('',(#2256));
#2256 = FILL_AREA_STYLE_COLOUR('',#2023);
#2257 = STYLED_ITEM('color',(#2258),#1432);
#2258 = PRESENTATION_STYLE_ASSIGNMENT((#2259));
#2259 = SURFACE_STYLE_USAGE(.BOTH.,#2260);
#2260 = SURFACE_SIDE_STYLE('',(#2261));
#2261 = SURFACE_STYLE_FILL_AREA(#2262);
#2262 = FILL_AREA_STYLE('',(#2263));
#2263 = FILL_AREA_STYLE_COLOUR('',#2264);
#2264 = COLOUR_RGB('',0.824000000954,0.819999992847,0.78100001812);
#2265 = STYLED_ITEM('color',(#2266),#1449);
#2266 = PRESENTATION_STYLE_ASSIGNMENT((#2267));
#2267 = SURFACE_STYLE_USAGE(.BOTH.,#2268);
#2268 = SURFACE_SIDE_STYLE('',(#2269));
#2269 = SURFACE_STYLE_FILL_AREA(#2270);
#2270 = FILL_AREA_STYLE('',(#2271));
#2271 = FILL_AREA_STYLE_COLOUR('',#2023);
#2272 = STYLED_ITEM('color',(#2273),#1473);
#2273 = PRESENTATION_STYLE_ASSIGNMENT((#2274));
#2274 = SURFACE_STYLE_USAGE(.BOTH.,#2275);
#2275 = SURFACE_SIDE_STYLE('',(#2276));
#2276 = SURFACE_STYLE_FILL_AREA(#2277);
#2277 = FILL_AREA_STYLE('',(#2278));
#2278 = FILL_AREA_STYLE_COLOUR('',#2023);
#2279 = STYLED_ITEM('color',(#2280),#1497);
#2280 = PRESENTATION_STYLE_ASSIGNMENT((#2281));
#2281 = SURFACE_STYLE_USAGE(.BOTH.,#2282);
#2282 = SURFACE_SIDE_STYLE('',(#2283));
#2283 = SURFACE_STYLE_FILL_AREA(#2284);
#2284 = FILL_AREA_STYLE('',(#2285));
#2285 = FILL_AREA_STYLE_COLOUR('',#2264);
#2286 = STYLED_ITEM('color',(#2287),#1514);
#2287 = PRESENTATION_STYLE_ASSIGNMENT((#2288));
#2288 = SURFACE_STYLE_USAGE(.BOTH.,#2289);
#2289 = SURFACE_SIDE_STYLE('',(#2290));
#2290 = SURFACE_STYLE_FILL_AREA(#2291);
#2291 = FILL_AREA_STYLE('',(#2292));
#2292 = FILL_AREA_STYLE_COLOUR('',#2023);
#2293 = STYLED_ITEM('color',(#2294),#1538);
#2294 = PRESENTATION_STYLE_ASSIGNMENT((#2295));
#2295 = SURFACE_STYLE_USAGE(.BOTH.,#2296);
#2296 = SURFACE_SIDE_STYLE('',(#2297));
#2297 = SURFACE_STYLE_FILL_AREA(#2298);
#2298 = FILL_AREA_STYLE('',(#2299));
#2299 = FILL_AREA_STYLE_COLOUR('',#2023);
#2300 = STYLED_ITEM('color',(#2301),#1562);
#2301 = PRESENTATION_STYLE_ASSIGNMENT((#2302));
#2302 = SURFACE_STYLE_USAGE(.BOTH.,#2303);
#2303 = SURFACE_SIDE_STYLE('',(#2304));
#2304 = SURFACE_STYLE_FILL_AREA(#2305);
#2305 = FILL_AREA_STYLE('',(#2306));
#2306 = FILL_AREA_STYLE_COLOUR('',#2242);
#2307 = STYLED_ITEM('color',(#2308),#1595);
#2308 = PRESENTATION_STYLE_ASSIGNMENT((#2309));
#2309 = SURFACE_STYLE_USAGE(.BOTH.,#2310);
#2310 = SURFACE_SIDE_STYLE('',(#2311));
#2311 = SURFACE_STYLE_FILL_AREA(#2312);
#2312 = FILL_AREA_STYLE('',(#2313));
#2313 = FILL_AREA_STYLE_COLOUR('',#2023);
#2314 = STYLED_ITEM('color',(#2315),#1619);
#2315 = PRESENTATION_STYLE_ASSIGNMENT((#2316));
#2316 = SURFACE_STYLE_USAGE(.BOTH.,#2317);
#2317 = SURFACE_SIDE_STYLE('',(#2318));
#2318 = SURFACE_STYLE_FILL_AREA(#2319);
#2319 = FILL_AREA_STYLE('',(#2320));
#2320 = FILL_AREA_STYLE_COLOUR('',#2023);
#2321 = STYLED_ITEM('color',(#2322),#1654);
#2322 = PRESENTATION_STYLE_ASSIGNMENT((#2323));
#2323 = SURFACE_STYLE_USAGE(.BOTH.,#2324);
#2324 = SURFACE_SIDE_STYLE('',(#2325));
#2325 = SURFACE_STYLE_FILL_AREA(#2326);
#2326 = FILL_AREA_STYLE('',(#2327));
#2327 = FILL_AREA_STYLE_COLOUR('',#2023);
#2328 = STYLED_ITEM('color',(#2329),#1689);
#2329 = PRESENTATION_STYLE_ASSIGNMENT((#2330));
#2330 = SURFACE_STYLE_USAGE(.BOTH.,#2331);
#2331 = SURFACE_SIDE_STYLE('',(#2332));
#2332 = SURFACE_STYLE_FILL_AREA(#2333);
#2333 = FILL_AREA_STYLE('',(#2334));
#2334 = FILL_AREA_STYLE_COLOUR('',#2023);
#2335 = STYLED_ITEM('color',(#2336),#1724);
#2336 = PRESENTATION_STYLE_ASSIGNMENT((#2337));
#2337 = SURFACE_STYLE_USAGE(.BOTH.,#2338);
#2338 = SURFACE_SIDE_STYLE('',(#2339));
#2339 = SURFACE_STYLE_FILL_AREA(#2340);
#2340 = FILL_AREA_STYLE('',(#2341));
#2341 = FILL_AREA_STYLE_COLOUR('',#2023);
#2342 = STYLED_ITEM('color',(#2343),#1759);
#2343 = PRESENTATION_STYLE_ASSIGNMENT((#2344));
#2344 = SURFACE_STYLE_USAGE(.BOTH.,#2345);
#2345 = SURFACE_SIDE_STYLE('',(#2346));
#2346 = SURFACE_STYLE_FILL_AREA(#2347);
#2347 = FILL_AREA_STYLE('',(#2348));
#2348 = FILL_AREA_STYLE_COLOUR('',#2242);
#2349 = STYLED_ITEM('color',(#2350),#1776);
#2350 = PRESENTATION_STYLE_ASSIGNMENT((#2351));
#2351 = SURFACE_STYLE_USAGE(.BOTH.,#2352);
#2352 = SURFACE_SIDE_STYLE('',(#2353));
#2353 = SURFACE_STYLE_FILL_AREA(#2354);
#2354 = FILL_AREA_STYLE('',(#2355));
#2355 = FILL_AREA_STYLE_COLOUR('',#2242);
#2356 = STYLED_ITEM('color',(#2357),#1793);
#2357 = PRESENTATION_STYLE_ASSIGNMENT((#2358));
#2358 = SURFACE_STYLE_USAGE(.BOTH.,#2359);
#2359 = SURFACE_SIDE_STYLE('',(#2360));
#2360 = SURFACE_STYLE_FILL_AREA(#2361);
#2361 = FILL_AREA_STYLE('',(#2362));
#2362 = FILL_AREA_STYLE_COLOUR('',#2242);
#2363 = STYLED_ITEM('color',(#2364),#1805);
#2364 = PRESENTATION_STYLE_ASSIGNMENT((#2365));
#2365 = SURFACE_STYLE_USAGE(.BOTH.,#2366);
#2366 = SURFACE_SIDE_STYLE('',(#2367));
#2367 = SURFACE_STYLE_FILL_AREA(#2368);
#2368 = FILL_AREA_STYLE('',(#2369));
#2369 = FILL_AREA_STYLE_COLOUR('',#2264);
#2370 = STYLED_ITEM('color',(#2371),#1830);
#2371 = PRESENTATION_STYLE_ASSIGNMENT((#2372));
#2372 = SURFACE_STYLE_USAGE(.BOTH.,#2373);
#2373 = SURFACE_SIDE_STYLE('',(#2374));
#2374 = SURFACE_STYLE_FILL_AREA(#2375);
#2375 = FILL_AREA_STYLE('',(#2376));
#2376 = FILL_AREA_STYLE_COLOUR('',#2264);
#2377 = STYLED_ITEM('color',(#2378),#1855);
#2378 = PRESENTATION_STYLE_ASSIGNMENT((#2379));
#2379 = SURFACE_STYLE_USAGE(.BOTH.,#2380);
#2380 = SURFACE_SIDE_STYLE('',(#2381));
#2381 = SURFACE_STYLE_FILL_AREA(#2382);
#2382 = FILL_AREA_STYLE('',(#2383));
#2383 = FILL_AREA_STYLE_COLOUR('',#2264);
#2384 = STYLED_ITEM('color',(#2385),#1872);
#2385 = PRESENTATION_STYLE_ASSIGNMENT((#2386));
#2386 = SURFACE_STYLE_USAGE(.BOTH.,#2387);
#2387 = SURFACE_SIDE_STYLE('',(#2388));
#2388 = SURFACE_STYLE_FILL_AREA(#2389);
#2389 = FILL_AREA_STYLE('',(#2390));
#2390 = FILL_AREA_STYLE_COLOUR('',#2264);
#2391 = STYLED_ITEM('color',(#2392),#1897);
#2392 = PRESENTATION_STYLE_ASSIGNMENT((#2393));
#2393 = SURFACE_STYLE_USAGE(.BOTH.,#2394);
#2394 = SURFACE_SIDE_STYLE('',(#2395));
#2395 = SURFACE_STYLE_FILL_AREA(#2396);
#2396 = FILL_AREA_STYLE('',(#2397));
#2397 = FILL_AREA_STYLE_COLOUR('',#2264);
#2398 = STYLED_ITEM('color',(#2399),#1922);
#2399 = PRESENTATION_STYLE_ASSIGNMENT((#2400));
#2400 = SURFACE_STYLE_USAGE(.BOTH.,#2401);
#2401 = SURFACE_SIDE_STYLE('',(#2402));
#2402 = SURFACE_STYLE_FILL_AREA(#2403);
#2403 = FILL_AREA_STYLE('',(#2404));
#2404 = FILL_AREA_STYLE_COLOUR('',#2264);
#2405 = STYLED_ITEM('color',(#2406),#1939);
#2406 = PRESENTATION_STYLE_ASSIGNMENT((#2407));
#2407 = SURFACE_STYLE_USAGE(.BOTH.,#2408);
#2408 = SURFACE_SIDE_STYLE('',(#2409));
#2409 = SURFACE_STYLE_FILL_AREA(#2410);
#2410 = FILL_AREA_STYLE('',(#2411));
#2411 = FILL_AREA_STYLE_COLOUR('',#2242);
#2412 = STYLED_ITEM('color',(#2413),#1956);
#2413 = PRESENTATION_STYLE_ASSIGNMENT((#2414));
#2414 = SURFACE_STYLE_USAGE(.BOTH.,#2415);
#2415 = SURFACE_SIDE_STYLE('',(#2416));
#2416 = SURFACE_STYLE_FILL_AREA(#2417);
#2417 = FILL_AREA_STYLE('',(#2418));
#2418 = FILL_AREA_STYLE_COLOUR('',#2242);
#2419 = STYLED_ITEM('color',(#2420),#1973);
#2420 = PRESENTATION_STYLE_ASSIGNMENT((#2421));
#2421 = SURFACE_STYLE_USAGE(.BOTH.,#2422);
#2422 = SURFACE_SIDE_STYLE('',(#2423));
#2423 = SURFACE_STYLE_FILL_AREA(#2424);
#2424 = FILL_AREA_STYLE('',(#2425));
#2425 = FILL_AREA_STYLE_COLOUR('',#2242);
#2426 = STYLED_ITEM('color',(#2427),#1985);
#2427 = PRESENTATION_STYLE_ASSIGNMENT((#2428));
#2428 = SURFACE_STYLE_USAGE(.BOTH.,#2429);
#2429 = SURFACE_SIDE_STYLE('',(#2430));
#2430 = SURFACE_STYLE_FILL_AREA(#2431);
#2431 = FILL_AREA_STYLE('',(#2432));
#2432 = FILL_AREA_STYLE_COLOUR('',#2264);
#2433 = STYLED_ITEM('color',(#2434),#1997);
#2434 = PRESENTATION_STYLE_ASSIGNMENT((#2435));
#2435 = SURFACE_STYLE_USAGE(.BOTH.,#2436);
#2436 = SURFACE_SIDE_STYLE('',(#2437));
#2437 = SURFACE_STYLE_FILL_AREA(#2438);
#2438 = FILL_AREA_STYLE('',(#2439));
#2439 = FILL_AREA_STYLE_COLOUR('',#2264);
ENDSEC;
END-ISO-10303-21;