kicad-lib/kicad-packages3D/Connector_PinSocket_2.54mm.3dshapes/PinSocket_1x03_P2.54mm_Vertical.step

ISO-10303-21;
HEADER;
/* PinSocket_1x03_P2.54mm_Vertical.step 3D STEP model for use in ECAD systems
 * Copyright (C) 2017, Terje Io
 * ---
 * This work is licensed under the Creative Commons CC-BY-SA 4.0 License 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'.
 * 
 * https://creativecommons.org/licenses/by-sa/4.0/legalcode
 * ---
 * Please refer to http://kicad.org/libraries/license/ for further clarification of the exception.
 * ---
 * 
 * Risk disclaimer:
 * *USE 3D CAD DATA AT YOUR OWN RISK*
 * *DO NOT RELY UPON ANY INFORMATION FOUND HERE WITHOUT INDEPENDENT VERIFICATION.*
 * 
 * 
 * Generated by script, source at:
 * https://github.com/easyw/kicad-3d-models-in-freecad/tree/master/cadquery/FCAD_script_generator/Conn_PinSocket
 * 
 */

FILE_DESCRIPTION(
/* description */ ('model of PinSocket_1x03_P2.54mm_Vertical'),
/* implementation_level */ '2;1');

FILE_NAME(
/* name */ 'PinSocket_1x03_P2.54mm_Vertical.step',
/* time_stamp */ '2017-11-27T03:47:13',
/* author */ ('Terje Io','https://github.com/terjeio'),
/* organization */ ('FreeCAD'),
/* preprocessor_version */ 'OCC',
/* originating_system */ 'kicad StepUp',
/* authorisation */ '');

FILE_SCHEMA(('AUTOMOTIVE_DESIGN_CC2 { 1 2 10303 214 -1 1 5 4 }'));
ENDSEC;

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