kicad-lib/3D-files/Package_SIP.3dshapes/SIP-9_21.54x3mm_P2.54mm.step

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

FILE_DESCRIPTION(
/* description */ ('model of SIP-9_21.54x3mm_P2.54mm'),
/* implementation_level */ '2;1');

FILE_NAME(
/* name */ 'SIP-9_21.54x3mm_P2.54mm.step',
/* time_stamp */ '2020-01-11T11:12:49',
/* author */ ('kicad StepUp','ksu'),
/* organization */ ('FreeCAD'),
/* preprocessor_version */ 'OCC',
/* originating_system */ 'kicad StepUp',
/* authorisation */ '');

FILE_SCHEMA(('AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }'));
ENDSEC;

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