KicadLib/modules/packages3d/TO_SOT_Packages_SMD.3dshapes/TO-263-3_TabPin2.step
2017-04-30 10:46:34 +01:00

3487 lines
138 KiB
Plaintext

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