kicad-lib/3D-files/Crystal.3dshapes/Resonator_SMD_muRata_TPSKA-3Pin_7.9x3.8mm.step

ISO-10303-21;
HEADER;
/* Resonator_SMD_muRata_TPSKA-3Pin_7.9x3.8mm.step 3D STEP model for use in ECAD systems
 * Copyright (C) 2019, kicad StepUp
 * 
 * This work is licensed under the [Creative Commons CC-BY-SA 4.0 License](https://creativecommons.org/licenses/by-sa/4.0/legalcode), 
 * with the following exception:
 * To the extent that the creation of electronic designs that use 'Licensed Material' can be considered to be 'Adapted Material', 
 * then the copyright holder waives article 3 of the license with respect to these designs and any generated files which use data provided 
 * as part of the 'Licensed Material'.
 * You are free to use the library data in your own projects without the obligation to share your project files under this or any other license agreement.
 * However, if you wish to redistribute these libraries, or parts thereof (including in modified form) as a collection then the exception above does not apply. 
 * Please refer to https://github.com/KiCad/kicad-packages3D/blob/master/LICENSE.md for further clarification of the exception.
 * Disclaimer of Warranties and Limitation of Liability.
 * These libraries are provided in the hope that they will be useful, but are provided without warranty of any kind, express or implied.
 * *USE 3D CAD DATA AT YOUR OWN RISK*
 * *DO NOT RELY UPON ANY INFORMATION FOUND HERE WITHOUT INDEPENDENT VERIFICATION.*
 * 
 */

FILE_DESCRIPTION(
/* description */ ('model of Resonator_SMD_muRata_TPSKA-3Pin_7.9x3.8mm'),
/* implementation_level */ '2;1');

FILE_NAME(
/* name */ 'Resonator_SMD_muRata_TPSKA-3Pin_7.9x3.8mm.step',
/* time_stamp */ '2019-07-06T12:07:41',
/* author */ ('kicad StepUp','ksu'),
/* organization */ ('FreeCAD'),
/* preprocessor_version */ 'OCC',
/* originating_system */ 'kicad StepUp',
/* authorisation */ '');

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