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

3186 lines
127 KiB
Plaintext

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