kicad-lib/3D-files/Package_TO_SOT_THT.3dshapes/TO-262-3-1EP_Horizontal_TabDown.step

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