kicad-lib/kicad-footprints/packages3d/Heatsink.3dshapes/Heatsink_Stonecold_HS-132_32x14mm_2xFixation1.5mm.step

ISO-10303-21;
HEADER;
FILE_DESCRIPTION(('FreeCAD Model'),'2;1');
FILE_NAME('/home/dxr/files/freeCAD/hs-132/Heatsink_Stonecold_HS-132_32x14mm_2xFixation1.5mm.step',
  '2019-05-25T18:42:08',('kicad StepUp'),('ksu MCAD'),
  'Open CASCADE STEP processor 7.3','FreeCAD','Unknown');
FILE_SCHEMA(('AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }'));
ENDSEC;
DATA;
#1 = APPLICATION_PROTOCOL_DEFINITION('international standard',
  'automotive_design',2000,#2);
#2 = APPLICATION_CONTEXT(
  'core data for automotive mechanical design processes');
#3 = SHAPE_DEFINITION_REPRESENTATION(#4,#10);
#4 = PRODUCT_DEFINITION_SHAPE('','',#5);
#5 = PRODUCT_DEFINITION('design','',#6,#9);
#6 = PRODUCT_DEFINITION_FORMATION('','',#7);
#7 = PRODUCT('Heatsink_Stonecold_HS-132_32x14mm_2xFixation1.5mm.step','Heatsink_Stonecold_HS-132_32x14mm_2xFixation1.5mm.step','',(#8));
#8 = PRODUCT_CONTEXT('',#2,'mechanical');
#9 = PRODUCT_DEFINITION_CONTEXT('part definition',#2,'design');
#10 = ADVANCED_BREP_SHAPE_REPRESENTATION('',(#11,#15),#2564);
#11 = AXIS2_PLACEMENT_3D('',#12,#13,#14);
#12 = CARTESIAN_POINT('',(0.,0.,0.));
#13 = DIRECTION('',(0.,0.,1.));
#14 = DIRECTION('',(1.,0.,-0.));
#15 = MANIFOLD_SOLID_BREP('',#16);
#16 = CLOSED_SHELL('',(#17,#84,#117,#134,#165,#727,#751,#760,#1315,#1332
    ,#1354,#1371,#1388,#1405,#1422,#1439,#1456,#1496,#1513,#1530,#1547,
    #1564,#1581,#1604,#1621,#1638,#1655,#1672,#1689,#1706,#1723,#1740,
    #1757,#1774,#1791,#1808,#1825,#1842,#1859,#1876,#1893,#1910,#1927,
    #1944,#1961,#1978,#1995,#2012,#2029,#2046,#2063,#2080,#2097,#2114,
    #2131,#2148,#2165,#2182,#2199,#2216,#2233,#2250,#2278,#2295,#2312,
    #2329,#2346,#2363,#2380,#2397,#2414,#2431,#2448,#2465,#2482,#2494,
    #2505,#2538,#2555));
#17 = ADVANCED_FACE('',(#18),#79,.T.);
#18 = FACE_BOUND('',#19,.F.);
#19 = EDGE_LOOP('',(#20,#29,#37,#46,#54,#63,#71,#78));
#20 = ORIENTED_EDGE('',*,*,#21,.F.);
#21 = EDGE_CURVE('',#22,#22,#24,.T.);
#22 = VERTEX_POINT('',#23);
#23 = CARTESIAN_POINT('',(8.19,2.98372437868E-14,-2.4));
#24 = CIRCLE('',#25,0.7);
#25 = AXIS2_PLACEMENT_3D('',#26,#27,#28);
#26 = CARTESIAN_POINT('',(8.89,3.01980662698E-14,-2.4));
#27 = DIRECTION('',(-2.012400268421E-31,4.468426225526E-47,1.));
#28 = DIRECTION('',(-1.,2.22044604925E-16,-2.012400268421E-31));
#29 = ORIENTED_EDGE('',*,*,#30,.T.);
#30 = EDGE_CURVE('',#22,#31,#33,.T.);
#31 = VERTEX_POINT('',#32);
#32 = CARTESIAN_POINT('',(8.19,2.98372437868E-14,25.6));
#33 = LINE('',#34,#35);
#34 = CARTESIAN_POINT('',(8.19,3.01980662698E-14,-2.8));
#35 = VECTOR('',#36,1.);
#36 = DIRECTION('',(0.,0.,1.));
#37 = ORIENTED_EDGE('',*,*,#38,.T.);
#38 = EDGE_CURVE('',#31,#39,#41,.T.);
#39 = VERTEX_POINT('',#40);
#40 = CARTESIAN_POINT('',(8.569967671793,-0.622558679084,25.6));
#41 = CIRCLE('',#42,0.7);
#42 = AXIS2_PLACEMENT_3D('',#43,#44,#45);
#43 = CARTESIAN_POINT('',(8.89,3.01980662698E-14,25.6));
#44 = DIRECTION('',(0.,0.,1.));
#45 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#46 = ORIENTED_EDGE('',*,*,#47,.F.);
#47 = EDGE_CURVE('',#48,#39,#50,.T.);
#48 = VERTEX_POINT('',#49);
#49 = CARTESIAN_POINT('',(8.569967671793,-0.622558679084,0.2));
#50 = LINE('',#51,#52);
#51 = CARTESIAN_POINT('',(8.569967671793,-0.622558679084,0.2));
#52 = VECTOR('',#53,1.);
#53 = DIRECTION('',(0.,0.,1.));
#54 = ORIENTED_EDGE('',*,*,#55,.T.);
#55 = EDGE_CURVE('',#48,#56,#58,.T.);
#56 = VERTEX_POINT('',#57);
#57 = CARTESIAN_POINT('',(8.569967671793,0.622558679084,0.2));
#58 = CIRCLE('',#59,0.7);
#59 = AXIS2_PLACEMENT_3D('',#60,#61,#62);
#60 = CARTESIAN_POINT('',(8.89,3.01980662698E-14,0.2));
#61 = DIRECTION('',(0.,0.,1.));
#62 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#63 = ORIENTED_EDGE('',*,*,#64,.T.);
#64 = EDGE_CURVE('',#56,#65,#67,.T.);
#65 = VERTEX_POINT('',#66);
#66 = CARTESIAN_POINT('',(8.569967671793,0.622558679084,25.6));
#67 = LINE('',#68,#69);
#68 = CARTESIAN_POINT('',(8.569967671793,0.622558679084,0.2));
#69 = VECTOR('',#70,1.);
#70 = DIRECTION('',(0.,0.,1.));
#71 = ORIENTED_EDGE('',*,*,#72,.T.);
#72 = EDGE_CURVE('',#65,#31,#73,.T.);
#73 = CIRCLE('',#74,0.7);
#74 = AXIS2_PLACEMENT_3D('',#75,#76,#77);
#75 = CARTESIAN_POINT('',(8.89,3.01980662698E-14,25.6));
#76 = DIRECTION('',(0.,0.,1.));
#77 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#78 = ORIENTED_EDGE('',*,*,#30,.F.);
#79 = CYLINDRICAL_SURFACE('',#80,0.7);
#80 = AXIS2_PLACEMENT_3D('',#81,#82,#83);
#81 = CARTESIAN_POINT('',(8.89,3.01980662698E-14,-2.8));
#82 = DIRECTION('',(0.,0.,-1.));
#83 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#84 = ADVANCED_FACE('',(#85),#105,.T.);
#85 = FACE_BOUND('',#86,.F.);
#86 = EDGE_LOOP('',(#87,#96,#97,#98));
#87 = ORIENTED_EDGE('',*,*,#88,.F.);
#88 = EDGE_CURVE('',#22,#89,#91,.T.);
#89 = VERTEX_POINT('',#90);
#90 = CARTESIAN_POINT('',(8.59,2.98372437868E-14,-2.8));
#91 = CIRCLE('',#92,0.4);
#92 = AXIS2_PLACEMENT_3D('',#93,#94,#95);
#93 = CARTESIAN_POINT('',(8.59,3.01980662698E-14,-2.4));
#94 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#95 = DIRECTION('',(-1.,2.22044604925E-16,-2.012400268421E-31));
#96 = ORIENTED_EDGE('',*,*,#21,.T.);
#97 = ORIENTED_EDGE('',*,*,#88,.T.);
#98 = ORIENTED_EDGE('',*,*,#99,.F.);
#99 = EDGE_CURVE('',#89,#89,#100,.T.);
#100 = CIRCLE('',#101,0.3);
#101 = AXIS2_PLACEMENT_3D('',#102,#103,#104);
#102 = CARTESIAN_POINT('',(8.89,3.01980662698E-14,-2.8));
#103 = DIRECTION('',(-2.012400268421E-31,4.468426225526E-47,1.));
#104 = DIRECTION('',(-1.,2.22044604925E-16,-2.012400268421E-31));
#105 = SURFACE_OF_REVOLUTION('',#106,#114);
#106 = B_SPLINE_CURVE_WITH_KNOTS('',6,(#107,#108,#109,#110,#111,#112,
    #113),.UNSPECIFIED.,.F.,.F.,(7,7),(0.,1.570796326795),
  .PIECEWISE_BEZIER_KNOTS.);
#107 = CARTESIAN_POINT('',(8.19,3.035349749325E-14,-2.4));
#108 = CARTESIAN_POINT('',(8.19,3.035349749325E-14,-2.50471975512));
#109 = CARTESIAN_POINT('',(8.222891074408,3.034619420763E-14,
    -2.609430600282));
#110 = CARTESIAN_POINT('',(8.288723940144,3.033157637497E-14,
    -2.701276059856));
#111 = CARTESIAN_POINT('',(8.380569399718,3.031118258618E-14,
    -2.767108925592));
#112 = CARTESIAN_POINT('',(8.48528024488,3.028793210794E-14,-2.8));
#113 = CARTESIAN_POINT('',(8.59,3.026467965128E-14,-2.8));
#114 = AXIS1_PLACEMENT('',#115,#116);
#115 = CARTESIAN_POINT('',(8.89,3.01980662698E-14,-2.4));
#116 = DIRECTION('',(2.012400268421E-31,-4.468426225526E-47,-1.));
#117 = ADVANCED_FACE('',(#118),#129,.T.);
#118 = FACE_BOUND('',#119,.T.);
#119 = EDGE_LOOP('',(#120,#121,#128));
#120 = ORIENTED_EDGE('',*,*,#38,.T.);
#121 = ORIENTED_EDGE('',*,*,#122,.T.);
#122 = EDGE_CURVE('',#39,#65,#123,.T.);
#123 = CIRCLE('',#124,0.7);
#124 = AXIS2_PLACEMENT_3D('',#125,#126,#127);
#125 = CARTESIAN_POINT('',(8.89,3.01980662698E-14,25.6));
#126 = DIRECTION('',(0.,0.,1.));
#127 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#128 = ORIENTED_EDGE('',*,*,#72,.T.);
#129 = PLANE('',#130);
#130 = AXIS2_PLACEMENT_3D('',#131,#132,#133);
#131 = CARTESIAN_POINT('',(8.89,3.01980662698E-14,25.6));
#132 = DIRECTION('',(-2.012400268421E-31,4.468426225526E-47,1.));
#133 = DIRECTION('',(-1.,2.22044604925E-16,-2.012400268421E-31));
#134 = ADVANCED_FACE('',(#135),#160,.T.);
#135 = FACE_BOUND('',#136,.T.);
#136 = EDGE_LOOP('',(#137,#138,#146,#154));
#137 = ORIENTED_EDGE('',*,*,#64,.T.);
#138 = ORIENTED_EDGE('',*,*,#139,.T.);
#139 = EDGE_CURVE('',#65,#140,#142,.T.);
#140 = VERTEX_POINT('',#141);
#141 = CARTESIAN_POINT('',(7.5,1.360914407253,25.6));
#142 = LINE('',#143,#144);
#143 = CARTESIAN_POINT('',(8.569967671793,0.622558679084,25.6));
#144 = VECTOR('',#145,1.);
#145 = DIRECTION('',(-0.823052055225,0.567965944745,0.));
#146 = ORIENTED_EDGE('',*,*,#147,.F.);
#147 = EDGE_CURVE('',#148,#140,#150,.T.);
#148 = VERTEX_POINT('',#149);
#149 = CARTESIAN_POINT('',(7.5,1.360914407253,0.2));
#150 = LINE('',#151,#152);
#151 = CARTESIAN_POINT('',(7.5,1.360914407253,0.2));
#152 = VECTOR('',#153,1.);
#153 = DIRECTION('',(0.,0.,1.));
#154 = ORIENTED_EDGE('',*,*,#155,.F.);
#155 = EDGE_CURVE('',#56,#148,#156,.T.);
#156 = LINE('',#157,#158);
#157 = CARTESIAN_POINT('',(8.569967671793,0.622558679084,0.2));
#158 = VECTOR('',#159,1.);
#159 = DIRECTION('',(-0.823052055225,0.567965944745,0.));
#160 = PLANE('',#161);
#161 = AXIS2_PLACEMENT_3D('',#162,#163,#164);
#162 = CARTESIAN_POINT('',(8.569967671793,0.622558679084,0.2));
#163 = DIRECTION('',(-0.567965944745,-0.823052055225,0.));
#164 = DIRECTION('',(-0.823052055225,0.567965944745,0.));
#165 = ADVANCED_FACE('',(#166),#722,.F.);
#166 = FACE_BOUND('',#167,.F.);
#167 = EDGE_LOOP('',(#168,#178,#186,#194,#202,#211,#220,#228,#236,#244,
    #250,#251,#252,#260,#268,#276,#284,#292,#300,#308,#316,#324,#332,
    #340,#348,#356,#364,#372,#380,#388,#396,#404,#412,#420,#428,#436,
    #444,#452,#460,#468,#476,#484,#492,#500,#508,#516,#524,#532,#540,
    #548,#556,#564,#572,#580,#588,#596,#604,#612,#620,#628,#636,#644,
    #652,#660,#668,#676,#684,#692,#700,#708,#716));
#168 = ORIENTED_EDGE('',*,*,#169,.T.);
#169 = EDGE_CURVE('',#170,#172,#174,.T.);
#170 = VERTEX_POINT('',#171);
#171 = CARTESIAN_POINT('',(-15.7,-9.,0.2));
#172 = VERTEX_POINT('',#173);
#173 = CARTESIAN_POINT('',(-7.695549018272,-9.,0.2));
#174 = LINE('',#175,#176);
#175 = CARTESIAN_POINT('',(-16.,-9.,0.2));
#176 = VECTOR('',#177,1.);
#177 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#178 = ORIENTED_EDGE('',*,*,#179,.T.);
#179 = EDGE_CURVE('',#172,#180,#182,.T.);
#180 = VERTEX_POINT('',#181);
#181 = CARTESIAN_POINT('',(-7.395549018272,-8.7,0.2));
#182 = LINE('',#183,#184);
#183 = CARTESIAN_POINT('',(-3.756573350678,-5.061024332405,0.2));
#184 = VECTOR('',#185,1.);
#185 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#186 = ORIENTED_EDGE('',*,*,#187,.T.);
#187 = EDGE_CURVE('',#180,#188,#190,.T.);
#188 = VERTEX_POINT('',#189);
#189 = CARTESIAN_POINT('',(-7.395549018272,-1.18,0.2));
#190 = LINE('',#191,#192);
#191 = CARTESIAN_POINT('',(-7.395549018272,-9.,0.2));
#192 = VECTOR('',#193,1.);
#193 = DIRECTION('',(2.22044604925E-16,1.,0.));
#194 = ORIENTED_EDGE('',*,*,#195,.F.);
#195 = EDGE_CURVE('',#196,#188,#198,.T.);
#196 = VERTEX_POINT('',#197);
#197 = CARTESIAN_POINT('',(-8.569967671793,-0.622558679084,0.2));
#198 = LINE('',#199,#200);
#199 = CARTESIAN_POINT('',(-8.569967671793,-0.622558679084,0.2));
#200 = VECTOR('',#201,1.);
#201 = DIRECTION('',(0.903398964246,-0.428801016089,0.));
#202 = ORIENTED_EDGE('',*,*,#203,.F.);
#203 = EDGE_CURVE('',#204,#196,#206,.T.);
#204 = VERTEX_POINT('',#205);
#205 = CARTESIAN_POINT('',(-9.59,5.11535258596E-14,0.2));
#206 = CIRCLE('',#207,0.7);
#207 = AXIS2_PLACEMENT_3D('',#208,#209,#210);
#208 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,0.2));
#209 = DIRECTION('',(0.,0.,1.));
#210 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#211 = ORIENTED_EDGE('',*,*,#212,.F.);
#212 = EDGE_CURVE('',#213,#204,#215,.T.);
#213 = VERTEX_POINT('',#214);
#214 = CARTESIAN_POINT('',(-8.569967671793,0.622558679084,0.2));
#215 = CIRCLE('',#216,0.7);
#216 = AXIS2_PLACEMENT_3D('',#217,#218,#219);
#217 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,0.2));
#218 = DIRECTION('',(0.,0.,1.));
#219 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#220 = ORIENTED_EDGE('',*,*,#221,.T.);
#221 = EDGE_CURVE('',#213,#222,#224,.T.);
#222 = VERTEX_POINT('',#223);
#223 = CARTESIAN_POINT('',(-7.5,1.360914407253,0.2));
#224 = LINE('',#225,#226);
#225 = CARTESIAN_POINT('',(-8.569967671793,0.622558679084,0.2));
#226 = VECTOR('',#227,1.);
#227 = DIRECTION('',(0.823052055225,0.567965944745,0.));
#228 = ORIENTED_EDGE('',*,*,#229,.T.);
#229 = EDGE_CURVE('',#222,#230,#232,.T.);
#230 = VERTEX_POINT('',#231);
#231 = CARTESIAN_POINT('',(-7.5,2.,0.2));
#232 = LINE('',#233,#234);
#233 = CARTESIAN_POINT('',(-7.5,1.360914407253,0.2));
#234 = VECTOR('',#235,1.);
#235 = DIRECTION('',(2.22044604925E-16,1.,0.));
#236 = ORIENTED_EDGE('',*,*,#237,.F.);
#237 = EDGE_CURVE('',#238,#230,#240,.T.);
#238 = VERTEX_POINT('',#239);
#239 = CARTESIAN_POINT('',(7.5,2.,0.2));
#240 = LINE('',#241,#242);
#241 = CARTESIAN_POINT('',(7.5,2.,0.2));
#242 = VECTOR('',#243,1.);
#243 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#244 = ORIENTED_EDGE('',*,*,#245,.F.);
#245 = EDGE_CURVE('',#148,#238,#246,.T.);
#246 = LINE('',#247,#248);
#247 = CARTESIAN_POINT('',(7.5,1.360914407253,0.2));
#248 = VECTOR('',#249,1.);
#249 = DIRECTION('',(2.22044604925E-16,1.,0.));
#250 = ORIENTED_EDGE('',*,*,#155,.F.);
#251 = ORIENTED_EDGE('',*,*,#55,.F.);
#252 = ORIENTED_EDGE('',*,*,#253,.T.);
#253 = EDGE_CURVE('',#48,#254,#256,.T.);
#254 = VERTEX_POINT('',#255);
#255 = CARTESIAN_POINT('',(7.395549018272,-1.18,0.2));
#256 = LINE('',#257,#258);
#257 = CARTESIAN_POINT('',(8.569967671793,-0.622558679084,0.2));
#258 = VECTOR('',#259,1.);
#259 = DIRECTION('',(-0.903398964246,-0.428801016089,0.));
#260 = ORIENTED_EDGE('',*,*,#261,.F.);
#261 = EDGE_CURVE('',#262,#254,#264,.T.);
#262 = VERTEX_POINT('',#263);
#263 = CARTESIAN_POINT('',(7.395549018272,-8.7,0.2));
#264 = LINE('',#265,#266);
#265 = CARTESIAN_POINT('',(7.395549018272,-9.,0.2));
#266 = VECTOR('',#267,1.);
#267 = DIRECTION('',(2.22044604925E-16,1.,0.));
#268 = ORIENTED_EDGE('',*,*,#269,.F.);
#269 = EDGE_CURVE('',#270,#262,#272,.T.);
#270 = VERTEX_POINT('',#271);
#271 = CARTESIAN_POINT('',(7.695549018272,-9.,0.2));
#272 = LINE('',#273,#274);
#273 = CARTESIAN_POINT('',(3.756573350678,-5.061024332405,0.2));
#274 = VECTOR('',#275,1.);
#275 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#276 = ORIENTED_EDGE('',*,*,#277,.F.);
#277 = EDGE_CURVE('',#278,#270,#280,.T.);
#278 = VERTEX_POINT('',#279);
#279 = CARTESIAN_POINT('',(15.7,-9.,0.2));
#280 = LINE('',#281,#282);
#281 = CARTESIAN_POINT('',(16.,-9.,0.2));
#282 = VECTOR('',#283,1.);
#283 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#284 = ORIENTED_EDGE('',*,*,#285,.T.);
#285 = EDGE_CURVE('',#278,#286,#288,.T.);
#286 = VERTEX_POINT('',#287);
#287 = CARTESIAN_POINT('',(16.,-8.7,0.2));
#288 = LINE('',#289,#290);
#289 = CARTESIAN_POINT('',(13.790088413026,-10.90991158697,0.2));
#290 = VECTOR('',#291,1.);
#291 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#292 = ORIENTED_EDGE('',*,*,#293,.F.);
#293 = EDGE_CURVE('',#294,#286,#296,.T.);
#294 = VERTEX_POINT('',#295);
#295 = CARTESIAN_POINT('',(16.,-7.3,0.2));
#296 = LINE('',#297,#298);
#297 = CARTESIAN_POINT('',(16.,-7.,0.2));
#298 = VECTOR('',#299,1.);
#299 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#300 = ORIENTED_EDGE('',*,*,#301,.T.);
#301 = EDGE_CURVE('',#294,#302,#304,.T.);
#302 = VERTEX_POINT('',#303);
#303 = CARTESIAN_POINT('',(15.7,-7.,0.2));
#304 = LINE('',#305,#306);
#305 = CARTESIAN_POINT('',(10.409911586974,-1.709911586974,0.2));
#306 = VECTOR('',#307,1.);
#307 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#308 = ORIENTED_EDGE('',*,*,#309,.F.);
#309 = EDGE_CURVE('',#310,#302,#312,.T.);
#310 = VERTEX_POINT('',#311);
#311 = CARTESIAN_POINT('',(10.8,-7.,0.2));
#312 = LINE('',#313,#314);
#313 = CARTESIAN_POINT('',(10.5,-7.,0.2));
#314 = VECTOR('',#315,1.);
#315 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#316 = ORIENTED_EDGE('',*,*,#317,.F.);
#317 = EDGE_CURVE('',#318,#310,#320,.T.);
#318 = VERTEX_POINT('',#319);
#319 = CARTESIAN_POINT('',(10.5,-6.7,0.2));
#320 = LINE('',#321,#322);
#321 = CARTESIAN_POINT('',(6.584911586974,-2.784911586974,0.2));
#322 = VECTOR('',#323,1.);
#323 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#324 = ORIENTED_EDGE('',*,*,#325,.F.);
#325 = EDGE_CURVE('',#326,#318,#328,.T.);
#326 = VERTEX_POINT('',#327);
#327 = CARTESIAN_POINT('',(10.5,-5.3,0.2));
#328 = LINE('',#329,#330);
#329 = CARTESIAN_POINT('',(10.5,-5.,0.2));
#330 = VECTOR('',#331,1.);
#331 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#332 = ORIENTED_EDGE('',*,*,#333,.F.);
#333 = EDGE_CURVE('',#334,#326,#336,.T.);
#334 = VERTEX_POINT('',#335);
#335 = CARTESIAN_POINT('',(10.8,-5.,0.2));
#336 = LINE('',#337,#338);
#337 = CARTESIAN_POINT('',(8.965088413026,-6.834911586974,0.2));
#338 = VECTOR('',#339,1.);
#339 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#340 = ORIENTED_EDGE('',*,*,#341,.F.);
#341 = EDGE_CURVE('',#342,#334,#344,.T.);
#342 = VERTEX_POINT('',#343);
#343 = CARTESIAN_POINT('',(15.7,-5.,0.2));
#344 = LINE('',#345,#346);
#345 = CARTESIAN_POINT('',(16.,-5.,0.2));
#346 = VECTOR('',#347,1.);
#347 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#348 = ORIENTED_EDGE('',*,*,#349,.T.);
#349 = EDGE_CURVE('',#342,#350,#352,.T.);
#350 = VERTEX_POINT('',#351);
#351 = CARTESIAN_POINT('',(16.,-4.7,0.2));
#352 = LINE('',#353,#354);
#353 = CARTESIAN_POINT('',(12.790088413026,-7.909911586974,0.2));
#354 = VECTOR('',#355,1.);
#355 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#356 = ORIENTED_EDGE('',*,*,#357,.F.);
#357 = EDGE_CURVE('',#358,#350,#360,.T.);
#358 = VERTEX_POINT('',#359);
#359 = CARTESIAN_POINT('',(16.,-3.3,0.2));
#360 = LINE('',#361,#362);
#361 = CARTESIAN_POINT('',(16.,-3.,0.2));
#362 = VECTOR('',#363,1.);
#363 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#364 = ORIENTED_EDGE('',*,*,#365,.T.);
#365 = EDGE_CURVE('',#358,#366,#368,.T.);
#366 = VERTEX_POINT('',#367);
#367 = CARTESIAN_POINT('',(15.7,-3.,0.2));
#368 = LINE('',#369,#370);
#369 = CARTESIAN_POINT('',(11.409911586974,1.290088413026,0.2));
#370 = VECTOR('',#371,1.);
#371 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#372 = ORIENTED_EDGE('',*,*,#373,.F.);
#373 = EDGE_CURVE('',#374,#366,#376,.T.);
#374 = VERTEX_POINT('',#375);
#375 = CARTESIAN_POINT('',(10.8,-3.,0.2));
#376 = LINE('',#377,#378);
#377 = CARTESIAN_POINT('',(10.5,-3.,0.2));
#378 = VECTOR('',#379,1.);
#379 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#380 = ORIENTED_EDGE('',*,*,#381,.F.);
#381 = EDGE_CURVE('',#382,#374,#384,.T.);
#382 = VERTEX_POINT('',#383);
#383 = CARTESIAN_POINT('',(10.5,-2.7,0.2));
#384 = LINE('',#385,#386);
#385 = CARTESIAN_POINT('',(7.584911586974,0.215088413026,0.2));
#386 = VECTOR('',#387,1.);
#387 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#388 = ORIENTED_EDGE('',*,*,#389,.F.);
#389 = EDGE_CURVE('',#390,#382,#392,.T.);
#390 = VERTEX_POINT('',#391);
#391 = CARTESIAN_POINT('',(10.5,-1.3,0.2));
#392 = LINE('',#393,#394);
#393 = CARTESIAN_POINT('',(10.5,-1.,0.2));
#394 = VECTOR('',#395,1.);
#395 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#396 = ORIENTED_EDGE('',*,*,#397,.F.);
#397 = EDGE_CURVE('',#398,#390,#400,.T.);
#398 = VERTEX_POINT('',#399);
#399 = CARTESIAN_POINT('',(10.8,-1.,0.2));
#400 = LINE('',#401,#402);
#401 = CARTESIAN_POINT('',(7.965088413026,-3.834911586974,0.2));
#402 = VECTOR('',#403,1.);
#403 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#404 = ORIENTED_EDGE('',*,*,#405,.F.);
#405 = EDGE_CURVE('',#406,#398,#408,.T.);
#406 = VERTEX_POINT('',#407);
#407 = CARTESIAN_POINT('',(15.7,-1.,0.2));
#408 = LINE('',#409,#410);
#409 = CARTESIAN_POINT('',(16.,-1.,0.2));
#410 = VECTOR('',#411,1.);
#411 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#412 = ORIENTED_EDGE('',*,*,#413,.T.);
#413 = EDGE_CURVE('',#406,#414,#416,.T.);
#414 = VERTEX_POINT('',#415);
#415 = CARTESIAN_POINT('',(16.,-0.7,0.2));
#416 = LINE('',#417,#418);
#417 = CARTESIAN_POINT('',(11.790088413026,-4.909911586974,0.2));
#418 = VECTOR('',#419,1.);
#419 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#420 = ORIENTED_EDGE('',*,*,#421,.F.);
#421 = EDGE_CURVE('',#422,#414,#424,.T.);
#422 = VERTEX_POINT('',#423);
#423 = CARTESIAN_POINT('',(16.,0.7,0.2));
#424 = LINE('',#425,#426);
#425 = CARTESIAN_POINT('',(16.,1.,0.2));
#426 = VECTOR('',#427,1.);
#427 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#428 = ORIENTED_EDGE('',*,*,#429,.T.);
#429 = EDGE_CURVE('',#422,#430,#432,.T.);
#430 = VERTEX_POINT('',#431);
#431 = CARTESIAN_POINT('',(15.7,1.,0.2));
#432 = LINE('',#433,#434);
#433 = CARTESIAN_POINT('',(12.409911586974,4.290088413026,0.2));
#434 = VECTOR('',#435,1.);
#435 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#436 = ORIENTED_EDGE('',*,*,#437,.F.);
#437 = EDGE_CURVE('',#438,#430,#440,.T.);
#438 = VERTEX_POINT('',#439);
#439 = CARTESIAN_POINT('',(10.8,1.,0.2));
#440 = LINE('',#441,#442);
#441 = CARTESIAN_POINT('',(10.5,1.,0.2));
#442 = VECTOR('',#443,1.);
#443 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#444 = ORIENTED_EDGE('',*,*,#445,.F.);
#445 = EDGE_CURVE('',#446,#438,#448,.T.);
#446 = VERTEX_POINT('',#447);
#447 = CARTESIAN_POINT('',(10.5,1.3,0.2));
#448 = LINE('',#449,#450);
#449 = CARTESIAN_POINT('',(8.584911586974,3.215088413026,0.2));
#450 = VECTOR('',#451,1.);
#451 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#452 = ORIENTED_EDGE('',*,*,#453,.F.);
#453 = EDGE_CURVE('',#454,#446,#456,.T.);
#454 = VERTEX_POINT('',#455);
#455 = CARTESIAN_POINT('',(10.5,2.7,0.2));
#456 = LINE('',#457,#458);
#457 = CARTESIAN_POINT('',(10.5,3.,0.2));
#458 = VECTOR('',#459,1.);
#459 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#460 = ORIENTED_EDGE('',*,*,#461,.F.);
#461 = EDGE_CURVE('',#462,#454,#464,.T.);
#462 = VERTEX_POINT('',#463);
#463 = CARTESIAN_POINT('',(10.8,3.,0.2));
#464 = LINE('',#465,#466);
#465 = CARTESIAN_POINT('',(6.965088413026,-0.834911586974,0.2));
#466 = VECTOR('',#467,1.);
#467 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#468 = ORIENTED_EDGE('',*,*,#469,.F.);
#469 = EDGE_CURVE('',#470,#462,#472,.T.);
#470 = VERTEX_POINT('',#471);
#471 = CARTESIAN_POINT('',(15.7,3.,0.2));
#472 = LINE('',#473,#474);
#473 = CARTESIAN_POINT('',(16.,3.,0.2));
#474 = VECTOR('',#475,1.);
#475 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#476 = ORIENTED_EDGE('',*,*,#477,.F.);
#477 = EDGE_CURVE('',#478,#470,#480,.T.);
#478 = VERTEX_POINT('',#479);
#479 = CARTESIAN_POINT('',(16.,3.3,0.2));
#480 = LINE('',#481,#482);
#481 = CARTESIAN_POINT('',(10.790088413026,-1.909911586974,0.2));
#482 = VECTOR('',#483,1.);
#483 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#484 = ORIENTED_EDGE('',*,*,#485,.F.);
#485 = EDGE_CURVE('',#486,#478,#488,.T.);
#486 = VERTEX_POINT('',#487);
#487 = CARTESIAN_POINT('',(16.,4.7,0.2));
#488 = LINE('',#489,#490);
#489 = CARTESIAN_POINT('',(16.,5.,0.2));
#490 = VECTOR('',#491,1.);
#491 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#492 = ORIENTED_EDGE('',*,*,#493,.T.);
#493 = EDGE_CURVE('',#486,#494,#496,.T.);
#494 = VERTEX_POINT('',#495);
#495 = CARTESIAN_POINT('',(15.7,5.,0.2));
#496 = LINE('',#497,#498);
#497 = CARTESIAN_POINT('',(13.409911586974,7.290088413026,0.2));
#498 = VECTOR('',#499,1.);
#499 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#500 = ORIENTED_EDGE('',*,*,#501,.T.);
#501 = EDGE_CURVE('',#494,#502,#504,.T.);
#502 = VERTEX_POINT('',#503);
#503 = CARTESIAN_POINT('',(-15.7,5.,0.2));
#504 = LINE('',#505,#506);
#505 = CARTESIAN_POINT('',(16.,5.,0.2));
#506 = VECTOR('',#507,1.);
#507 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#508 = ORIENTED_EDGE('',*,*,#509,.T.);
#509 = EDGE_CURVE('',#502,#510,#512,.T.);
#510 = VERTEX_POINT('',#511);
#511 = CARTESIAN_POINT('',(-16.,4.7,0.2));
#512 = LINE('',#513,#514);
#513 = CARTESIAN_POINT('',(-13.40991158697,7.290088413026,0.2));
#514 = VECTOR('',#515,1.);
#515 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#516 = ORIENTED_EDGE('',*,*,#517,.T.);
#517 = EDGE_CURVE('',#510,#518,#520,.T.);
#518 = VERTEX_POINT('',#519);
#519 = CARTESIAN_POINT('',(-16.,3.3,0.2));
#520 = LINE('',#521,#522);
#521 = CARTESIAN_POINT('',(-16.,5.,0.2));
#522 = VECTOR('',#523,1.);
#523 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#524 = ORIENTED_EDGE('',*,*,#525,.T.);
#525 = EDGE_CURVE('',#518,#526,#528,.T.);
#526 = VERTEX_POINT('',#527);
#527 = CARTESIAN_POINT('',(-15.7,3.,0.2));
#528 = LINE('',#529,#530);
#529 = CARTESIAN_POINT('',(-10.79008841302,-1.909911586974,0.2));
#530 = VECTOR('',#531,1.);
#531 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#532 = ORIENTED_EDGE('',*,*,#533,.T.);
#533 = EDGE_CURVE('',#526,#534,#536,.T.);
#534 = VERTEX_POINT('',#535);
#535 = CARTESIAN_POINT('',(-10.8,3.,0.2));
#536 = LINE('',#537,#538);
#537 = CARTESIAN_POINT('',(-16.,3.,0.2));
#538 = VECTOR('',#539,1.);
#539 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#540 = ORIENTED_EDGE('',*,*,#541,.T.);
#541 = EDGE_CURVE('',#534,#542,#544,.T.);
#542 = VERTEX_POINT('',#543);
#543 = CARTESIAN_POINT('',(-10.5,2.7,0.2));
#544 = LINE('',#545,#546);
#545 = CARTESIAN_POINT('',(-6.965088413026,-0.834911586974,0.2));
#546 = VECTOR('',#547,1.);
#547 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#548 = ORIENTED_EDGE('',*,*,#549,.T.);
#549 = EDGE_CURVE('',#542,#550,#552,.T.);
#550 = VERTEX_POINT('',#551);
#551 = CARTESIAN_POINT('',(-10.5,1.3,0.2));
#552 = LINE('',#553,#554);
#553 = CARTESIAN_POINT('',(-10.5,3.,0.2));
#554 = VECTOR('',#555,1.);
#555 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#556 = ORIENTED_EDGE('',*,*,#557,.T.);
#557 = EDGE_CURVE('',#550,#558,#560,.T.);
#558 = VERTEX_POINT('',#559);
#559 = CARTESIAN_POINT('',(-10.8,1.,0.2));
#560 = LINE('',#561,#562);
#561 = CARTESIAN_POINT('',(-8.584911586974,3.215088413026,0.2));
#562 = VECTOR('',#563,1.);
#563 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#564 = ORIENTED_EDGE('',*,*,#565,.T.);
#565 = EDGE_CURVE('',#558,#566,#568,.T.);
#566 = VERTEX_POINT('',#567);
#567 = CARTESIAN_POINT('',(-15.7,1.,0.2));
#568 = LINE('',#569,#570);
#569 = CARTESIAN_POINT('',(-10.5,1.,0.2));
#570 = VECTOR('',#571,1.);
#571 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#572 = ORIENTED_EDGE('',*,*,#573,.T.);
#573 = EDGE_CURVE('',#566,#574,#576,.T.);
#574 = VERTEX_POINT('',#575);
#575 = CARTESIAN_POINT('',(-16.,0.7,0.2));
#576 = LINE('',#577,#578);
#577 = CARTESIAN_POINT('',(-12.40991158697,4.290088413026,0.2));
#578 = VECTOR('',#579,1.);
#579 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#580 = ORIENTED_EDGE('',*,*,#581,.T.);
#581 = EDGE_CURVE('',#574,#582,#584,.T.);
#582 = VERTEX_POINT('',#583);
#583 = CARTESIAN_POINT('',(-16.,-0.7,0.2));
#584 = LINE('',#585,#586);
#585 = CARTESIAN_POINT('',(-16.,1.,0.2));
#586 = VECTOR('',#587,1.);
#587 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#588 = ORIENTED_EDGE('',*,*,#589,.T.);
#589 = EDGE_CURVE('',#582,#590,#592,.T.);
#590 = VERTEX_POINT('',#591);
#591 = CARTESIAN_POINT('',(-15.7,-1.,0.2));
#592 = LINE('',#593,#594);
#593 = CARTESIAN_POINT('',(-11.79008841302,-4.909911586974,0.2));
#594 = VECTOR('',#595,1.);
#595 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#596 = ORIENTED_EDGE('',*,*,#597,.T.);
#597 = EDGE_CURVE('',#590,#598,#600,.T.);
#598 = VERTEX_POINT('',#599);
#599 = CARTESIAN_POINT('',(-10.8,-1.,0.2));
#600 = LINE('',#601,#602);
#601 = CARTESIAN_POINT('',(-16.,-1.,0.2));
#602 = VECTOR('',#603,1.);
#603 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#604 = ORIENTED_EDGE('',*,*,#605,.T.);
#605 = EDGE_CURVE('',#598,#606,#608,.T.);
#606 = VERTEX_POINT('',#607);
#607 = CARTESIAN_POINT('',(-10.5,-1.3,0.2));
#608 = LINE('',#609,#610);
#609 = CARTESIAN_POINT('',(-7.965088413026,-3.834911586974,0.2));
#610 = VECTOR('',#611,1.);
#611 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#612 = ORIENTED_EDGE('',*,*,#613,.T.);
#613 = EDGE_CURVE('',#606,#614,#616,.T.);
#614 = VERTEX_POINT('',#615);
#615 = CARTESIAN_POINT('',(-10.5,-2.7,0.2));
#616 = LINE('',#617,#618);
#617 = CARTESIAN_POINT('',(-10.5,-1.,0.2));
#618 = VECTOR('',#619,1.);
#619 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#620 = ORIENTED_EDGE('',*,*,#621,.T.);
#621 = EDGE_CURVE('',#614,#622,#624,.T.);
#622 = VERTEX_POINT('',#623);
#623 = CARTESIAN_POINT('',(-10.8,-3.,0.2));
#624 = LINE('',#625,#626);
#625 = CARTESIAN_POINT('',(-7.584911586974,0.215088413026,0.2));
#626 = VECTOR('',#627,1.);
#627 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#628 = ORIENTED_EDGE('',*,*,#629,.T.);
#629 = EDGE_CURVE('',#622,#630,#632,.T.);
#630 = VERTEX_POINT('',#631);
#631 = CARTESIAN_POINT('',(-15.7,-3.,0.2));
#632 = LINE('',#633,#634);
#633 = CARTESIAN_POINT('',(-10.5,-3.,0.2));
#634 = VECTOR('',#635,1.);
#635 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#636 = ORIENTED_EDGE('',*,*,#637,.T.);
#637 = EDGE_CURVE('',#630,#638,#640,.T.);
#638 = VERTEX_POINT('',#639);
#639 = CARTESIAN_POINT('',(-16.,-3.3,0.2));
#640 = LINE('',#641,#642);
#641 = CARTESIAN_POINT('',(-11.40991158697,1.290088413026,0.2));
#642 = VECTOR('',#643,1.);
#643 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#644 = ORIENTED_EDGE('',*,*,#645,.T.);
#645 = EDGE_CURVE('',#638,#646,#648,.T.);
#646 = VERTEX_POINT('',#647);
#647 = CARTESIAN_POINT('',(-16.,-4.7,0.2));
#648 = LINE('',#649,#650);
#649 = CARTESIAN_POINT('',(-16.,-3.,0.2));
#650 = VECTOR('',#651,1.);
#651 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#652 = ORIENTED_EDGE('',*,*,#653,.T.);
#653 = EDGE_CURVE('',#646,#654,#656,.T.);
#654 = VERTEX_POINT('',#655);
#655 = CARTESIAN_POINT('',(-15.7,-5.,0.2));
#656 = LINE('',#657,#658);
#657 = CARTESIAN_POINT('',(-12.79008841302,-7.909911586974,0.2));
#658 = VECTOR('',#659,1.);
#659 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#660 = ORIENTED_EDGE('',*,*,#661,.T.);
#661 = EDGE_CURVE('',#654,#662,#664,.T.);
#662 = VERTEX_POINT('',#663);
#663 = CARTESIAN_POINT('',(-10.8,-5.,0.2));
#664 = LINE('',#665,#666);
#665 = CARTESIAN_POINT('',(-16.,-5.,0.2));
#666 = VECTOR('',#667,1.);
#667 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#668 = ORIENTED_EDGE('',*,*,#669,.T.);
#669 = EDGE_CURVE('',#662,#670,#672,.T.);
#670 = VERTEX_POINT('',#671);
#671 = CARTESIAN_POINT('',(-10.5,-5.3,0.2));
#672 = LINE('',#673,#674);
#673 = CARTESIAN_POINT('',(-8.965088413026,-6.834911586974,0.2));
#674 = VECTOR('',#675,1.);
#675 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#676 = ORIENTED_EDGE('',*,*,#677,.T.);
#677 = EDGE_CURVE('',#670,#678,#680,.T.);
#678 = VERTEX_POINT('',#679);
#679 = CARTESIAN_POINT('',(-10.5,-6.7,0.2));
#680 = LINE('',#681,#682);
#681 = CARTESIAN_POINT('',(-10.5,-5.,0.2));
#682 = VECTOR('',#683,1.);
#683 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#684 = ORIENTED_EDGE('',*,*,#685,.T.);
#685 = EDGE_CURVE('',#678,#686,#688,.T.);
#686 = VERTEX_POINT('',#687);
#687 = CARTESIAN_POINT('',(-10.8,-7.,0.2));
#688 = LINE('',#689,#690);
#689 = CARTESIAN_POINT('',(-6.584911586974,-2.784911586974,0.2));
#690 = VECTOR('',#691,1.);
#691 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#692 = ORIENTED_EDGE('',*,*,#693,.T.);
#693 = EDGE_CURVE('',#686,#694,#696,.T.);
#694 = VERTEX_POINT('',#695);
#695 = CARTESIAN_POINT('',(-15.7,-7.,0.2));
#696 = LINE('',#697,#698);
#697 = CARTESIAN_POINT('',(-10.5,-7.,0.2));
#698 = VECTOR('',#699,1.);
#699 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#700 = ORIENTED_EDGE('',*,*,#701,.T.);
#701 = EDGE_CURVE('',#694,#702,#704,.T.);
#702 = VERTEX_POINT('',#703);
#703 = CARTESIAN_POINT('',(-16.,-7.3,0.2));
#704 = LINE('',#705,#706);
#705 = CARTESIAN_POINT('',(-10.40991158697,-1.709911586974,0.2));
#706 = VECTOR('',#707,1.);
#707 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#708 = ORIENTED_EDGE('',*,*,#709,.T.);
#709 = EDGE_CURVE('',#702,#710,#712,.T.);
#710 = VERTEX_POINT('',#711);
#711 = CARTESIAN_POINT('',(-16.,-8.7,0.2));
#712 = LINE('',#713,#714);
#713 = CARTESIAN_POINT('',(-16.,-7.,0.2));
#714 = VECTOR('',#715,1.);
#715 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#716 = ORIENTED_EDGE('',*,*,#717,.T.);
#717 = EDGE_CURVE('',#710,#170,#718,.T.);
#718 = LINE('',#719,#720);
#719 = CARTESIAN_POINT('',(-13.79008841302,-10.90991158697,0.2));
#720 = VECTOR('',#721,1.);
#721 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#722 = PLANE('',#723);
#723 = AXIS2_PLACEMENT_3D('',#724,#725,#726);
#724 = CARTESIAN_POINT('',(8.023660325508E-15,-1.239646347894,0.2));
#725 = DIRECTION('',(0.,0.,1.));
#726 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#727 = ADVANCED_FACE('',(#728),#746,.F.);
#728 = FACE_BOUND('',#729,.F.);
#729 = EDGE_LOOP('',(#730,#731,#739,#745));
#730 = ORIENTED_EDGE('',*,*,#47,.T.);
#731 = ORIENTED_EDGE('',*,*,#732,.T.);
#732 = EDGE_CURVE('',#39,#733,#735,.T.);
#733 = VERTEX_POINT('',#734);
#734 = CARTESIAN_POINT('',(7.395549018272,-1.18,25.6));
#735 = LINE('',#736,#737);
#736 = CARTESIAN_POINT('',(8.569967671793,-0.622558679084,25.6));
#737 = VECTOR('',#738,1.);
#738 = DIRECTION('',(-0.903398964246,-0.428801016089,0.));
#739 = ORIENTED_EDGE('',*,*,#740,.F.);
#740 = EDGE_CURVE('',#254,#733,#741,.T.);
#741 = LINE('',#742,#743);
#742 = CARTESIAN_POINT('',(7.395549018272,-1.18,0.2));
#743 = VECTOR('',#744,1.);
#744 = DIRECTION('',(0.,0.,1.));
#745 = ORIENTED_EDGE('',*,*,#253,.F.);
#746 = PLANE('',#747);
#747 = AXIS2_PLACEMENT_3D('',#748,#749,#750);
#748 = CARTESIAN_POINT('',(8.569967671793,-0.622558679084,0.2));
#749 = DIRECTION('',(0.428801016089,-0.903398964246,0.));
#750 = DIRECTION('',(-0.903398964246,-0.428801016089,0.));
#751 = ADVANCED_FACE('',(#752),#755,.F.);
#752 = FACE_BOUND('',#753,.F.);
#753 = EDGE_LOOP('',(#754));
#754 = ORIENTED_EDGE('',*,*,#99,.T.);
#755 = PLANE('',#756);
#756 = AXIS2_PLACEMENT_3D('',#757,#758,#759);
#757 = CARTESIAN_POINT('',(8.89,3.01980662698E-14,-2.8));
#758 = DIRECTION('',(-2.012400268421E-31,4.468426225526E-47,1.));
#759 = DIRECTION('',(-1.,2.22044604925E-16,-2.012400268421E-31));
#760 = ADVANCED_FACE('',(#761),#1310,.T.);
#761 = FACE_BOUND('',#762,.T.);
#762 = EDGE_LOOP('',(#763,#773,#781,#789,#797,#806,#815,#823,#831,#839,
    #845,#846,#847,#848,#856,#864,#872,#880,#888,#896,#904,#912,#920,
    #928,#936,#944,#952,#960,#968,#976,#984,#992,#1000,#1008,#1016,#1024
    ,#1032,#1040,#1048,#1056,#1064,#1072,#1080,#1088,#1096,#1104,#1112,
    #1120,#1128,#1136,#1144,#1152,#1160,#1168,#1176,#1184,#1192,#1200,
    #1208,#1216,#1224,#1232,#1240,#1248,#1256,#1264,#1272,#1280,#1288,
    #1296,#1304));
#763 = ORIENTED_EDGE('',*,*,#764,.T.);
#764 = EDGE_CURVE('',#765,#767,#769,.T.);
#765 = VERTEX_POINT('',#766);
#766 = CARTESIAN_POINT('',(-15.7,-9.,25.6));
#767 = VERTEX_POINT('',#768);
#768 = CARTESIAN_POINT('',(-7.695549018272,-9.,25.6));
#769 = LINE('',#770,#771);
#770 = CARTESIAN_POINT('',(-16.,-9.,25.6));
#771 = VECTOR('',#772,1.);
#772 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#773 = ORIENTED_EDGE('',*,*,#774,.T.);
#774 = EDGE_CURVE('',#767,#775,#777,.T.);
#775 = VERTEX_POINT('',#776);
#776 = CARTESIAN_POINT('',(-7.395549018272,-8.7,25.6));
#777 = LINE('',#778,#779);
#778 = CARTESIAN_POINT('',(-3.756573350678,-5.061024332405,25.6));
#779 = VECTOR('',#780,1.);
#780 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#781 = ORIENTED_EDGE('',*,*,#782,.T.);
#782 = EDGE_CURVE('',#775,#783,#785,.T.);
#783 = VERTEX_POINT('',#784);
#784 = CARTESIAN_POINT('',(-7.395549018272,-1.18,25.6));
#785 = LINE('',#786,#787);
#786 = CARTESIAN_POINT('',(-7.395549018272,-9.,25.6));
#787 = VECTOR('',#788,1.);
#788 = DIRECTION('',(2.22044604925E-16,1.,0.));
#789 = ORIENTED_EDGE('',*,*,#790,.F.);
#790 = EDGE_CURVE('',#791,#783,#793,.T.);
#791 = VERTEX_POINT('',#792);
#792 = CARTESIAN_POINT('',(-8.569967671793,-0.622558679084,25.6));
#793 = LINE('',#794,#795);
#794 = CARTESIAN_POINT('',(-8.569967671793,-0.622558679084,25.6));
#795 = VECTOR('',#796,1.);
#796 = DIRECTION('',(0.903398964246,-0.428801016089,0.));
#797 = ORIENTED_EDGE('',*,*,#798,.F.);
#798 = EDGE_CURVE('',#799,#791,#801,.T.);
#799 = VERTEX_POINT('',#800);
#800 = CARTESIAN_POINT('',(-9.59,3.33899574656E-14,25.6));
#801 = CIRCLE('',#802,0.7);
#802 = AXIS2_PLACEMENT_3D('',#803,#804,#805);
#803 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,25.6));
#804 = DIRECTION('',(0.,0.,1.));
#805 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#806 = ORIENTED_EDGE('',*,*,#807,.F.);
#807 = EDGE_CURVE('',#808,#799,#810,.T.);
#808 = VERTEX_POINT('',#809);
#809 = CARTESIAN_POINT('',(-8.569967671793,0.622558679084,25.6));
#810 = CIRCLE('',#811,0.7);
#811 = AXIS2_PLACEMENT_3D('',#812,#813,#814);
#812 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,25.6));
#813 = DIRECTION('',(0.,0.,1.));
#814 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#815 = ORIENTED_EDGE('',*,*,#816,.T.);
#816 = EDGE_CURVE('',#808,#817,#819,.T.);
#817 = VERTEX_POINT('',#818);
#818 = CARTESIAN_POINT('',(-7.5,1.360914407253,25.6));
#819 = LINE('',#820,#821);
#820 = CARTESIAN_POINT('',(-8.569967671793,0.622558679084,25.6));
#821 = VECTOR('',#822,1.);
#822 = DIRECTION('',(0.823052055225,0.567965944745,0.));
#823 = ORIENTED_EDGE('',*,*,#824,.T.);
#824 = EDGE_CURVE('',#817,#825,#827,.T.);
#825 = VERTEX_POINT('',#826);
#826 = CARTESIAN_POINT('',(-7.5,2.,25.6));
#827 = LINE('',#828,#829);
#828 = CARTESIAN_POINT('',(-7.5,1.360914407253,25.6));
#829 = VECTOR('',#830,1.);
#830 = DIRECTION('',(2.22044604925E-16,1.,0.));
#831 = ORIENTED_EDGE('',*,*,#832,.F.);
#832 = EDGE_CURVE('',#833,#825,#835,.T.);
#833 = VERTEX_POINT('',#834);
#834 = CARTESIAN_POINT('',(7.5,2.,25.6));
#835 = LINE('',#836,#837);
#836 = CARTESIAN_POINT('',(7.5,2.,25.6));
#837 = VECTOR('',#838,1.);
#838 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#839 = ORIENTED_EDGE('',*,*,#840,.F.);
#840 = EDGE_CURVE('',#140,#833,#841,.T.);
#841 = LINE('',#842,#843);
#842 = CARTESIAN_POINT('',(7.5,1.360914407253,25.6));
#843 = VECTOR('',#844,1.);
#844 = DIRECTION('',(2.22044604925E-16,1.,0.));
#845 = ORIENTED_EDGE('',*,*,#139,.F.);
#846 = ORIENTED_EDGE('',*,*,#122,.F.);
#847 = ORIENTED_EDGE('',*,*,#732,.T.);
#848 = ORIENTED_EDGE('',*,*,#849,.F.);
#849 = EDGE_CURVE('',#850,#733,#852,.T.);
#850 = VERTEX_POINT('',#851);
#851 = CARTESIAN_POINT('',(7.395549018272,-8.7,25.6));
#852 = LINE('',#853,#854);
#853 = CARTESIAN_POINT('',(7.395549018272,-9.,25.6));
#854 = VECTOR('',#855,1.);
#855 = DIRECTION('',(2.22044604925E-16,1.,0.));
#856 = ORIENTED_EDGE('',*,*,#857,.F.);
#857 = EDGE_CURVE('',#858,#850,#860,.T.);
#858 = VERTEX_POINT('',#859);
#859 = CARTESIAN_POINT('',(7.695549018272,-9.,25.6));
#860 = LINE('',#861,#862);
#861 = CARTESIAN_POINT('',(3.756573350678,-5.061024332405,25.6));
#862 = VECTOR('',#863,1.);
#863 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#864 = ORIENTED_EDGE('',*,*,#865,.F.);
#865 = EDGE_CURVE('',#866,#858,#868,.T.);
#866 = VERTEX_POINT('',#867);
#867 = CARTESIAN_POINT('',(15.7,-9.,25.6));
#868 = LINE('',#869,#870);
#869 = CARTESIAN_POINT('',(16.,-9.,25.6));
#870 = VECTOR('',#871,1.);
#871 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#872 = ORIENTED_EDGE('',*,*,#873,.T.);
#873 = EDGE_CURVE('',#866,#874,#876,.T.);
#874 = VERTEX_POINT('',#875);
#875 = CARTESIAN_POINT('',(16.,-8.7,25.6));
#876 = LINE('',#877,#878);
#877 = CARTESIAN_POINT('',(13.790088413026,-10.90991158697,25.6));
#878 = VECTOR('',#879,1.);
#879 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#880 = ORIENTED_EDGE('',*,*,#881,.F.);
#881 = EDGE_CURVE('',#882,#874,#884,.T.);
#882 = VERTEX_POINT('',#883);
#883 = CARTESIAN_POINT('',(16.,-7.3,25.6));
#884 = LINE('',#885,#886);
#885 = CARTESIAN_POINT('',(16.,-7.,25.6));
#886 = VECTOR('',#887,1.);
#887 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#888 = ORIENTED_EDGE('',*,*,#889,.T.);
#889 = EDGE_CURVE('',#882,#890,#892,.T.);
#890 = VERTEX_POINT('',#891);
#891 = CARTESIAN_POINT('',(15.7,-7.,25.6));
#892 = LINE('',#893,#894);
#893 = CARTESIAN_POINT('',(10.409911586974,-1.709911586974,25.6));
#894 = VECTOR('',#895,1.);
#895 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#896 = ORIENTED_EDGE('',*,*,#897,.F.);
#897 = EDGE_CURVE('',#898,#890,#900,.T.);
#898 = VERTEX_POINT('',#899);
#899 = CARTESIAN_POINT('',(10.8,-7.,25.6));
#900 = LINE('',#901,#902);
#901 = CARTESIAN_POINT('',(10.5,-7.,25.6));
#902 = VECTOR('',#903,1.);
#903 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#904 = ORIENTED_EDGE('',*,*,#905,.F.);
#905 = EDGE_CURVE('',#906,#898,#908,.T.);
#906 = VERTEX_POINT('',#907);
#907 = CARTESIAN_POINT('',(10.5,-6.7,25.6));
#908 = LINE('',#909,#910);
#909 = CARTESIAN_POINT('',(6.584911586974,-2.784911586974,25.6));
#910 = VECTOR('',#911,1.);
#911 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#912 = ORIENTED_EDGE('',*,*,#913,.F.);
#913 = EDGE_CURVE('',#914,#906,#916,.T.);
#914 = VERTEX_POINT('',#915);
#915 = CARTESIAN_POINT('',(10.5,-5.3,25.6));
#916 = LINE('',#917,#918);
#917 = CARTESIAN_POINT('',(10.5,-5.,25.6));
#918 = VECTOR('',#919,1.);
#919 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#920 = ORIENTED_EDGE('',*,*,#921,.F.);
#921 = EDGE_CURVE('',#922,#914,#924,.T.);
#922 = VERTEX_POINT('',#923);
#923 = CARTESIAN_POINT('',(10.8,-5.,25.6));
#924 = LINE('',#925,#926);
#925 = CARTESIAN_POINT('',(8.965088413026,-6.834911586974,25.6));
#926 = VECTOR('',#927,1.);
#927 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#928 = ORIENTED_EDGE('',*,*,#929,.F.);
#929 = EDGE_CURVE('',#930,#922,#932,.T.);
#930 = VERTEX_POINT('',#931);
#931 = CARTESIAN_POINT('',(15.7,-5.,25.6));
#932 = LINE('',#933,#934);
#933 = CARTESIAN_POINT('',(16.,-5.,25.6));
#934 = VECTOR('',#935,1.);
#935 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#936 = ORIENTED_EDGE('',*,*,#937,.T.);
#937 = EDGE_CURVE('',#930,#938,#940,.T.);
#938 = VERTEX_POINT('',#939);
#939 = CARTESIAN_POINT('',(16.,-4.7,25.6));
#940 = LINE('',#941,#942);
#941 = CARTESIAN_POINT('',(12.790088413026,-7.909911586974,25.6));
#942 = VECTOR('',#943,1.);
#943 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#944 = ORIENTED_EDGE('',*,*,#945,.F.);
#945 = EDGE_CURVE('',#946,#938,#948,.T.);
#946 = VERTEX_POINT('',#947);
#947 = CARTESIAN_POINT('',(16.,-3.3,25.6));
#948 = LINE('',#949,#950);
#949 = CARTESIAN_POINT('',(16.,-3.,25.6));
#950 = VECTOR('',#951,1.);
#951 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#952 = ORIENTED_EDGE('',*,*,#953,.T.);
#953 = EDGE_CURVE('',#946,#954,#956,.T.);
#954 = VERTEX_POINT('',#955);
#955 = CARTESIAN_POINT('',(15.7,-3.,25.6));
#956 = LINE('',#957,#958);
#957 = CARTESIAN_POINT('',(11.409911586974,1.290088413026,25.6));
#958 = VECTOR('',#959,1.);
#959 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#960 = ORIENTED_EDGE('',*,*,#961,.F.);
#961 = EDGE_CURVE('',#962,#954,#964,.T.);
#962 = VERTEX_POINT('',#963);
#963 = CARTESIAN_POINT('',(10.8,-3.,25.6));
#964 = LINE('',#965,#966);
#965 = CARTESIAN_POINT('',(10.5,-3.,25.6));
#966 = VECTOR('',#967,1.);
#967 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#968 = ORIENTED_EDGE('',*,*,#969,.F.);
#969 = EDGE_CURVE('',#970,#962,#972,.T.);
#970 = VERTEX_POINT('',#971);
#971 = CARTESIAN_POINT('',(10.5,-2.7,25.6));
#972 = LINE('',#973,#974);
#973 = CARTESIAN_POINT('',(7.584911586974,0.215088413026,25.6));
#974 = VECTOR('',#975,1.);
#975 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#976 = ORIENTED_EDGE('',*,*,#977,.F.);
#977 = EDGE_CURVE('',#978,#970,#980,.T.);
#978 = VERTEX_POINT('',#979);
#979 = CARTESIAN_POINT('',(10.5,-1.3,25.6));
#980 = LINE('',#981,#982);
#981 = CARTESIAN_POINT('',(10.5,-1.,25.6));
#982 = VECTOR('',#983,1.);
#983 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#984 = ORIENTED_EDGE('',*,*,#985,.F.);
#985 = EDGE_CURVE('',#986,#978,#988,.T.);
#986 = VERTEX_POINT('',#987);
#987 = CARTESIAN_POINT('',(10.8,-1.,25.6));
#988 = LINE('',#989,#990);
#989 = CARTESIAN_POINT('',(7.965088413026,-3.834911586974,25.6));
#990 = VECTOR('',#991,1.);
#991 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#992 = ORIENTED_EDGE('',*,*,#993,.F.);
#993 = EDGE_CURVE('',#994,#986,#996,.T.);
#994 = VERTEX_POINT('',#995);
#995 = CARTESIAN_POINT('',(15.7,-1.,25.6));
#996 = LINE('',#997,#998);
#997 = CARTESIAN_POINT('',(16.,-1.,25.6));
#998 = VECTOR('',#999,1.);
#999 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1000 = ORIENTED_EDGE('',*,*,#1001,.T.);
#1001 = EDGE_CURVE('',#994,#1002,#1004,.T.);
#1002 = VERTEX_POINT('',#1003);
#1003 = CARTESIAN_POINT('',(16.,-0.7,25.6));
#1004 = LINE('',#1005,#1006);
#1005 = CARTESIAN_POINT('',(11.790088413026,-4.909911586974,25.6));
#1006 = VECTOR('',#1007,1.);
#1007 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#1008 = ORIENTED_EDGE('',*,*,#1009,.F.);
#1009 = EDGE_CURVE('',#1010,#1002,#1012,.T.);
#1010 = VERTEX_POINT('',#1011);
#1011 = CARTESIAN_POINT('',(16.,0.7,25.6));
#1012 = LINE('',#1013,#1014);
#1013 = CARTESIAN_POINT('',(16.,1.,25.6));
#1014 = VECTOR('',#1015,1.);
#1015 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1016 = ORIENTED_EDGE('',*,*,#1017,.T.);
#1017 = EDGE_CURVE('',#1010,#1018,#1020,.T.);
#1018 = VERTEX_POINT('',#1019);
#1019 = CARTESIAN_POINT('',(15.7,1.,25.6));
#1020 = LINE('',#1021,#1022);
#1021 = CARTESIAN_POINT('',(12.409911586974,4.290088413026,25.6));
#1022 = VECTOR('',#1023,1.);
#1023 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#1024 = ORIENTED_EDGE('',*,*,#1025,.F.);
#1025 = EDGE_CURVE('',#1026,#1018,#1028,.T.);
#1026 = VERTEX_POINT('',#1027);
#1027 = CARTESIAN_POINT('',(10.8,1.,25.6));
#1028 = LINE('',#1029,#1030);
#1029 = CARTESIAN_POINT('',(10.5,1.,25.6));
#1030 = VECTOR('',#1031,1.);
#1031 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1032 = ORIENTED_EDGE('',*,*,#1033,.F.);
#1033 = EDGE_CURVE('',#1034,#1026,#1036,.T.);
#1034 = VERTEX_POINT('',#1035);
#1035 = CARTESIAN_POINT('',(10.5,1.3,25.6));
#1036 = LINE('',#1037,#1038);
#1037 = CARTESIAN_POINT('',(8.584911586974,3.215088413026,25.6));
#1038 = VECTOR('',#1039,1.);
#1039 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1040 = ORIENTED_EDGE('',*,*,#1041,.F.);
#1041 = EDGE_CURVE('',#1042,#1034,#1044,.T.);
#1042 = VERTEX_POINT('',#1043);
#1043 = CARTESIAN_POINT('',(10.5,2.7,25.6));
#1044 = LINE('',#1045,#1046);
#1045 = CARTESIAN_POINT('',(10.5,3.,25.6));
#1046 = VECTOR('',#1047,1.);
#1047 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1048 = ORIENTED_EDGE('',*,*,#1049,.F.);
#1049 = EDGE_CURVE('',#1050,#1042,#1052,.T.);
#1050 = VERTEX_POINT('',#1051);
#1051 = CARTESIAN_POINT('',(10.8,3.,25.6));
#1052 = LINE('',#1053,#1054);
#1053 = CARTESIAN_POINT('',(6.965088413026,-0.834911586974,25.6));
#1054 = VECTOR('',#1055,1.);
#1055 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1056 = ORIENTED_EDGE('',*,*,#1057,.F.);
#1057 = EDGE_CURVE('',#1058,#1050,#1060,.T.);
#1058 = VERTEX_POINT('',#1059);
#1059 = CARTESIAN_POINT('',(15.7,3.,25.6));
#1060 = LINE('',#1061,#1062);
#1061 = CARTESIAN_POINT('',(16.,3.,25.6));
#1062 = VECTOR('',#1063,1.);
#1063 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1064 = ORIENTED_EDGE('',*,*,#1065,.F.);
#1065 = EDGE_CURVE('',#1066,#1058,#1068,.T.);
#1066 = VERTEX_POINT('',#1067);
#1067 = CARTESIAN_POINT('',(16.,3.3,25.6));
#1068 = LINE('',#1069,#1070);
#1069 = CARTESIAN_POINT('',(10.790088413026,-1.909911586974,25.6));
#1070 = VECTOR('',#1071,1.);
#1071 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1072 = ORIENTED_EDGE('',*,*,#1073,.F.);
#1073 = EDGE_CURVE('',#1074,#1066,#1076,.T.);
#1074 = VERTEX_POINT('',#1075);
#1075 = CARTESIAN_POINT('',(16.,4.7,25.6));
#1076 = LINE('',#1077,#1078);
#1077 = CARTESIAN_POINT('',(16.,5.,25.6));
#1078 = VECTOR('',#1079,1.);
#1079 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1080 = ORIENTED_EDGE('',*,*,#1081,.T.);
#1081 = EDGE_CURVE('',#1074,#1082,#1084,.T.);
#1082 = VERTEX_POINT('',#1083);
#1083 = CARTESIAN_POINT('',(15.7,5.,25.6));
#1084 = LINE('',#1085,#1086);
#1085 = CARTESIAN_POINT('',(13.409911586974,7.290088413026,25.6));
#1086 = VECTOR('',#1087,1.);
#1087 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#1088 = ORIENTED_EDGE('',*,*,#1089,.T.);
#1089 = EDGE_CURVE('',#1082,#1090,#1092,.T.);
#1090 = VERTEX_POINT('',#1091);
#1091 = CARTESIAN_POINT('',(-15.7,5.,25.6));
#1092 = LINE('',#1093,#1094);
#1093 = CARTESIAN_POINT('',(16.,5.,25.6));
#1094 = VECTOR('',#1095,1.);
#1095 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1096 = ORIENTED_EDGE('',*,*,#1097,.T.);
#1097 = EDGE_CURVE('',#1090,#1098,#1100,.T.);
#1098 = VERTEX_POINT('',#1099);
#1099 = CARTESIAN_POINT('',(-16.,4.7,25.6));
#1100 = LINE('',#1101,#1102);
#1101 = CARTESIAN_POINT('',(-13.40991158697,7.290088413026,25.6));
#1102 = VECTOR('',#1103,1.);
#1103 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1104 = ORIENTED_EDGE('',*,*,#1105,.T.);
#1105 = EDGE_CURVE('',#1098,#1106,#1108,.T.);
#1106 = VERTEX_POINT('',#1107);
#1107 = CARTESIAN_POINT('',(-16.,3.3,25.6));
#1108 = LINE('',#1109,#1110);
#1109 = CARTESIAN_POINT('',(-16.,5.,25.6));
#1110 = VECTOR('',#1111,1.);
#1111 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1112 = ORIENTED_EDGE('',*,*,#1113,.T.);
#1113 = EDGE_CURVE('',#1106,#1114,#1116,.T.);
#1114 = VERTEX_POINT('',#1115);
#1115 = CARTESIAN_POINT('',(-15.7,3.,25.6));
#1116 = LINE('',#1117,#1118);
#1117 = CARTESIAN_POINT('',(-10.79008841302,-1.909911586974,25.6));
#1118 = VECTOR('',#1119,1.);
#1119 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1120 = ORIENTED_EDGE('',*,*,#1121,.T.);
#1121 = EDGE_CURVE('',#1114,#1122,#1124,.T.);
#1122 = VERTEX_POINT('',#1123);
#1123 = CARTESIAN_POINT('',(-10.8,3.,25.6));
#1124 = LINE('',#1125,#1126);
#1125 = CARTESIAN_POINT('',(-16.,3.,25.6));
#1126 = VECTOR('',#1127,1.);
#1127 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1128 = ORIENTED_EDGE('',*,*,#1129,.T.);
#1129 = EDGE_CURVE('',#1122,#1130,#1132,.T.);
#1130 = VERTEX_POINT('',#1131);
#1131 = CARTESIAN_POINT('',(-10.5,2.7,25.6));
#1132 = LINE('',#1133,#1134);
#1133 = CARTESIAN_POINT('',(-6.965088413026,-0.834911586974,25.6));
#1134 = VECTOR('',#1135,1.);
#1135 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1136 = ORIENTED_EDGE('',*,*,#1137,.T.);
#1137 = EDGE_CURVE('',#1130,#1138,#1140,.T.);
#1138 = VERTEX_POINT('',#1139);
#1139 = CARTESIAN_POINT('',(-10.5,1.3,25.6));
#1140 = LINE('',#1141,#1142);
#1141 = CARTESIAN_POINT('',(-10.5,3.,25.6));
#1142 = VECTOR('',#1143,1.);
#1143 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1144 = ORIENTED_EDGE('',*,*,#1145,.T.);
#1145 = EDGE_CURVE('',#1138,#1146,#1148,.T.);
#1146 = VERTEX_POINT('',#1147);
#1147 = CARTESIAN_POINT('',(-10.8,1.,25.6));
#1148 = LINE('',#1149,#1150);
#1149 = CARTESIAN_POINT('',(-8.584911586974,3.215088413026,25.6));
#1150 = VECTOR('',#1151,1.);
#1151 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1152 = ORIENTED_EDGE('',*,*,#1153,.T.);
#1153 = EDGE_CURVE('',#1146,#1154,#1156,.T.);
#1154 = VERTEX_POINT('',#1155);
#1155 = CARTESIAN_POINT('',(-15.7,1.,25.6));
#1156 = LINE('',#1157,#1158);
#1157 = CARTESIAN_POINT('',(-10.5,1.,25.6));
#1158 = VECTOR('',#1159,1.);
#1159 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1160 = ORIENTED_EDGE('',*,*,#1161,.T.);
#1161 = EDGE_CURVE('',#1154,#1162,#1164,.T.);
#1162 = VERTEX_POINT('',#1163);
#1163 = CARTESIAN_POINT('',(-16.,0.7,25.6));
#1164 = LINE('',#1165,#1166);
#1165 = CARTESIAN_POINT('',(-12.40991158697,4.290088413026,25.6));
#1166 = VECTOR('',#1167,1.);
#1167 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1168 = ORIENTED_EDGE('',*,*,#1169,.T.);
#1169 = EDGE_CURVE('',#1162,#1170,#1172,.T.);
#1170 = VERTEX_POINT('',#1171);
#1171 = CARTESIAN_POINT('',(-16.,-0.7,25.6));
#1172 = LINE('',#1173,#1174);
#1173 = CARTESIAN_POINT('',(-16.,1.,25.6));
#1174 = VECTOR('',#1175,1.);
#1175 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1176 = ORIENTED_EDGE('',*,*,#1177,.T.);
#1177 = EDGE_CURVE('',#1170,#1178,#1180,.T.);
#1178 = VERTEX_POINT('',#1179);
#1179 = CARTESIAN_POINT('',(-15.7,-1.,25.6));
#1180 = LINE('',#1181,#1182);
#1181 = CARTESIAN_POINT('',(-11.79008841302,-4.909911586974,25.6));
#1182 = VECTOR('',#1183,1.);
#1183 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1184 = ORIENTED_EDGE('',*,*,#1185,.T.);
#1185 = EDGE_CURVE('',#1178,#1186,#1188,.T.);
#1186 = VERTEX_POINT('',#1187);
#1187 = CARTESIAN_POINT('',(-10.8,-1.,25.6));
#1188 = LINE('',#1189,#1190);
#1189 = CARTESIAN_POINT('',(-16.,-1.,25.6));
#1190 = VECTOR('',#1191,1.);
#1191 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1192 = ORIENTED_EDGE('',*,*,#1193,.T.);
#1193 = EDGE_CURVE('',#1186,#1194,#1196,.T.);
#1194 = VERTEX_POINT('',#1195);
#1195 = CARTESIAN_POINT('',(-10.5,-1.3,25.6));
#1196 = LINE('',#1197,#1198);
#1197 = CARTESIAN_POINT('',(-7.965088413026,-3.834911586974,25.6));
#1198 = VECTOR('',#1199,1.);
#1199 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1200 = ORIENTED_EDGE('',*,*,#1201,.T.);
#1201 = EDGE_CURVE('',#1194,#1202,#1204,.T.);
#1202 = VERTEX_POINT('',#1203);
#1203 = CARTESIAN_POINT('',(-10.5,-2.7,25.6));
#1204 = LINE('',#1205,#1206);
#1205 = CARTESIAN_POINT('',(-10.5,-1.,25.6));
#1206 = VECTOR('',#1207,1.);
#1207 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1208 = ORIENTED_EDGE('',*,*,#1209,.T.);
#1209 = EDGE_CURVE('',#1202,#1210,#1212,.T.);
#1210 = VERTEX_POINT('',#1211);
#1211 = CARTESIAN_POINT('',(-10.8,-3.,25.6));
#1212 = LINE('',#1213,#1214);
#1213 = CARTESIAN_POINT('',(-7.584911586974,0.215088413026,25.6));
#1214 = VECTOR('',#1215,1.);
#1215 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1216 = ORIENTED_EDGE('',*,*,#1217,.T.);
#1217 = EDGE_CURVE('',#1210,#1218,#1220,.T.);
#1218 = VERTEX_POINT('',#1219);
#1219 = CARTESIAN_POINT('',(-15.7,-3.,25.6));
#1220 = LINE('',#1221,#1222);
#1221 = CARTESIAN_POINT('',(-10.5,-3.,25.6));
#1222 = VECTOR('',#1223,1.);
#1223 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1224 = ORIENTED_EDGE('',*,*,#1225,.T.);
#1225 = EDGE_CURVE('',#1218,#1226,#1228,.T.);
#1226 = VERTEX_POINT('',#1227);
#1227 = CARTESIAN_POINT('',(-16.,-3.3,25.6));
#1228 = LINE('',#1229,#1230);
#1229 = CARTESIAN_POINT('',(-11.40991158697,1.290088413026,25.6));
#1230 = VECTOR('',#1231,1.);
#1231 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1232 = ORIENTED_EDGE('',*,*,#1233,.T.);
#1233 = EDGE_CURVE('',#1226,#1234,#1236,.T.);
#1234 = VERTEX_POINT('',#1235);
#1235 = CARTESIAN_POINT('',(-16.,-4.7,25.6));
#1236 = LINE('',#1237,#1238);
#1237 = CARTESIAN_POINT('',(-16.,-3.,25.6));
#1238 = VECTOR('',#1239,1.);
#1239 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1240 = ORIENTED_EDGE('',*,*,#1241,.T.);
#1241 = EDGE_CURVE('',#1234,#1242,#1244,.T.);
#1242 = VERTEX_POINT('',#1243);
#1243 = CARTESIAN_POINT('',(-15.7,-5.,25.6));
#1244 = LINE('',#1245,#1246);
#1245 = CARTESIAN_POINT('',(-12.79008841302,-7.909911586974,25.6));
#1246 = VECTOR('',#1247,1.);
#1247 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1248 = ORIENTED_EDGE('',*,*,#1249,.T.);
#1249 = EDGE_CURVE('',#1242,#1250,#1252,.T.);
#1250 = VERTEX_POINT('',#1251);
#1251 = CARTESIAN_POINT('',(-10.8,-5.,25.6));
#1252 = LINE('',#1253,#1254);
#1253 = CARTESIAN_POINT('',(-16.,-5.,25.6));
#1254 = VECTOR('',#1255,1.);
#1255 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1256 = ORIENTED_EDGE('',*,*,#1257,.T.);
#1257 = EDGE_CURVE('',#1250,#1258,#1260,.T.);
#1258 = VERTEX_POINT('',#1259);
#1259 = CARTESIAN_POINT('',(-10.5,-5.3,25.6));
#1260 = LINE('',#1261,#1262);
#1261 = CARTESIAN_POINT('',(-8.965088413026,-6.834911586974,25.6));
#1262 = VECTOR('',#1263,1.);
#1263 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1264 = ORIENTED_EDGE('',*,*,#1265,.T.);
#1265 = EDGE_CURVE('',#1258,#1266,#1268,.T.);
#1266 = VERTEX_POINT('',#1267);
#1267 = CARTESIAN_POINT('',(-10.5,-6.7,25.6));
#1268 = LINE('',#1269,#1270);
#1269 = CARTESIAN_POINT('',(-10.5,-5.,25.6));
#1270 = VECTOR('',#1271,1.);
#1271 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1272 = ORIENTED_EDGE('',*,*,#1273,.T.);
#1273 = EDGE_CURVE('',#1266,#1274,#1276,.T.);
#1274 = VERTEX_POINT('',#1275);
#1275 = CARTESIAN_POINT('',(-10.8,-7.,25.6));
#1276 = LINE('',#1277,#1278);
#1277 = CARTESIAN_POINT('',(-6.584911586974,-2.784911586974,25.6));
#1278 = VECTOR('',#1279,1.);
#1279 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1280 = ORIENTED_EDGE('',*,*,#1281,.T.);
#1281 = EDGE_CURVE('',#1274,#1282,#1284,.T.);
#1282 = VERTEX_POINT('',#1283);
#1283 = CARTESIAN_POINT('',(-15.7,-7.,25.6));
#1284 = LINE('',#1285,#1286);
#1285 = CARTESIAN_POINT('',(-10.5,-7.,25.6));
#1286 = VECTOR('',#1287,1.);
#1287 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1288 = ORIENTED_EDGE('',*,*,#1289,.T.);
#1289 = EDGE_CURVE('',#1282,#1290,#1292,.T.);
#1290 = VERTEX_POINT('',#1291);
#1291 = CARTESIAN_POINT('',(-16.,-7.3,25.6));
#1292 = LINE('',#1293,#1294);
#1293 = CARTESIAN_POINT('',(-10.40991158697,-1.709911586974,25.6));
#1294 = VECTOR('',#1295,1.);
#1295 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1296 = ORIENTED_EDGE('',*,*,#1297,.T.);
#1297 = EDGE_CURVE('',#1290,#1298,#1300,.T.);
#1298 = VERTEX_POINT('',#1299);
#1299 = CARTESIAN_POINT('',(-16.,-8.7,25.6));
#1300 = LINE('',#1301,#1302);
#1301 = CARTESIAN_POINT('',(-16.,-7.,25.6));
#1302 = VECTOR('',#1303,1.);
#1303 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1304 = ORIENTED_EDGE('',*,*,#1305,.T.);
#1305 = EDGE_CURVE('',#1298,#765,#1306,.T.);
#1306 = LINE('',#1307,#1308);
#1307 = CARTESIAN_POINT('',(-13.79008841302,-10.90991158697,25.6));
#1308 = VECTOR('',#1309,1.);
#1309 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1310 = PLANE('',#1311);
#1311 = AXIS2_PLACEMENT_3D('',#1312,#1313,#1314);
#1312 = CARTESIAN_POINT('',(8.023660325508E-15,-1.239646347894,25.6));
#1313 = DIRECTION('',(0.,0.,1.));
#1314 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1315 = ADVANCED_FACE('',(#1316),#1327,.T.);
#1316 = FACE_BOUND('',#1317,.T.);
#1317 = EDGE_LOOP('',(#1318,#1319,#1320,#1326));
#1318 = ORIENTED_EDGE('',*,*,#147,.T.);
#1319 = ORIENTED_EDGE('',*,*,#840,.T.);
#1320 = ORIENTED_EDGE('',*,*,#1321,.F.);
#1321 = EDGE_CURVE('',#238,#833,#1322,.T.);
#1322 = LINE('',#1323,#1324);
#1323 = CARTESIAN_POINT('',(7.5,2.,0.2));
#1324 = VECTOR('',#1325,1.);
#1325 = DIRECTION('',(0.,0.,1.));
#1326 = ORIENTED_EDGE('',*,*,#245,.F.);
#1327 = PLANE('',#1328);
#1328 = AXIS2_PLACEMENT_3D('',#1329,#1330,#1331);
#1329 = CARTESIAN_POINT('',(7.5,1.360914407253,0.2));
#1330 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1331 = DIRECTION('',(2.22044604925E-16,1.,0.));
#1332 = ADVANCED_FACE('',(#1333),#1349,.F.);
#1333 = FACE_BOUND('',#1334,.F.);
#1334 = EDGE_LOOP('',(#1335,#1336,#1342,#1343));
#1335 = ORIENTED_EDGE('',*,*,#169,.F.);
#1336 = ORIENTED_EDGE('',*,*,#1337,.T.);
#1337 = EDGE_CURVE('',#170,#765,#1338,.T.);
#1338 = LINE('',#1339,#1340);
#1339 = CARTESIAN_POINT('',(-15.7,-9.,0.2));
#1340 = VECTOR('',#1341,1.);
#1341 = DIRECTION('',(0.,0.,1.));
#1342 = ORIENTED_EDGE('',*,*,#764,.T.);
#1343 = ORIENTED_EDGE('',*,*,#1344,.F.);
#1344 = EDGE_CURVE('',#172,#767,#1345,.T.);
#1345 = LINE('',#1346,#1347);
#1346 = CARTESIAN_POINT('',(-7.695549018272,-9.,0.2));
#1347 = VECTOR('',#1348,1.);
#1348 = DIRECTION('',(0.,0.,1.));
#1349 = PLANE('',#1350);
#1350 = AXIS2_PLACEMENT_3D('',#1351,#1352,#1353);
#1351 = CARTESIAN_POINT('',(-16.,-9.,0.2));
#1352 = DIRECTION('',(2.22044604925E-16,1.,0.));
#1353 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1354 = ADVANCED_FACE('',(#1355),#1366,.T.);
#1355 = FACE_BOUND('',#1356,.F.);
#1356 = EDGE_LOOP('',(#1357,#1358,#1359,#1360));
#1357 = ORIENTED_EDGE('',*,*,#179,.F.);
#1358 = ORIENTED_EDGE('',*,*,#1344,.T.);
#1359 = ORIENTED_EDGE('',*,*,#774,.T.);
#1360 = ORIENTED_EDGE('',*,*,#1361,.F.);
#1361 = EDGE_CURVE('',#180,#775,#1362,.T.);
#1362 = LINE('',#1363,#1364);
#1363 = CARTESIAN_POINT('',(-7.395549018272,-8.7,0.2));
#1364 = VECTOR('',#1365,1.);
#1365 = DIRECTION('',(0.,0.,1.));
#1366 = PLANE('',#1367);
#1367 = AXIS2_PLACEMENT_3D('',#1368,#1369,#1370);
#1368 = CARTESIAN_POINT('',(-7.545549018272,-8.85,0.2));
#1369 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1370 = DIRECTION('',(0.,0.,-1.));
#1371 = ADVANCED_FACE('',(#1372),#1383,.T.);
#1372 = FACE_BOUND('',#1373,.F.);
#1373 = EDGE_LOOP('',(#1374,#1375,#1381,#1382));
#1374 = ORIENTED_EDGE('',*,*,#717,.F.);
#1375 = ORIENTED_EDGE('',*,*,#1376,.T.);
#1376 = EDGE_CURVE('',#710,#1298,#1377,.T.);
#1377 = LINE('',#1378,#1379);
#1378 = CARTESIAN_POINT('',(-16.,-8.7,0.2));
#1379 = VECTOR('',#1380,1.);
#1380 = DIRECTION('',(0.,0.,1.));
#1381 = ORIENTED_EDGE('',*,*,#1305,.T.);
#1382 = ORIENTED_EDGE('',*,*,#1337,.F.);
#1383 = PLANE('',#1384);
#1384 = AXIS2_PLACEMENT_3D('',#1385,#1386,#1387);
#1385 = CARTESIAN_POINT('',(-15.85,-8.85,0.2));
#1386 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1387 = DIRECTION('',(0.,0.,-1.));
#1388 = ADVANCED_FACE('',(#1389),#1400,.F.);
#1389 = FACE_BOUND('',#1390,.F.);
#1390 = EDGE_LOOP('',(#1391,#1392,#1393,#1394));
#1391 = ORIENTED_EDGE('',*,*,#187,.F.);
#1392 = ORIENTED_EDGE('',*,*,#1361,.T.);
#1393 = ORIENTED_EDGE('',*,*,#782,.T.);
#1394 = ORIENTED_EDGE('',*,*,#1395,.F.);
#1395 = EDGE_CURVE('',#188,#783,#1396,.T.);
#1396 = LINE('',#1397,#1398);
#1397 = CARTESIAN_POINT('',(-7.395549018272,-1.18,0.2));
#1398 = VECTOR('',#1399,1.);
#1399 = DIRECTION('',(0.,0.,1.));
#1400 = PLANE('',#1401);
#1401 = AXIS2_PLACEMENT_3D('',#1402,#1403,#1404);
#1402 = CARTESIAN_POINT('',(-7.395549018272,-9.,0.2));
#1403 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1404 = DIRECTION('',(2.22044604925E-16,1.,0.));
#1405 = ADVANCED_FACE('',(#1406),#1417,.F.);
#1406 = FACE_BOUND('',#1407,.F.);
#1407 = EDGE_LOOP('',(#1408,#1409,#1415,#1416));
#1408 = ORIENTED_EDGE('',*,*,#709,.F.);
#1409 = ORIENTED_EDGE('',*,*,#1410,.T.);
#1410 = EDGE_CURVE('',#702,#1290,#1411,.T.);
#1411 = LINE('',#1412,#1413);
#1412 = CARTESIAN_POINT('',(-16.,-7.3,0.2));
#1413 = VECTOR('',#1414,1.);
#1414 = DIRECTION('',(0.,0.,1.));
#1415 = ORIENTED_EDGE('',*,*,#1297,.T.);
#1416 = ORIENTED_EDGE('',*,*,#1376,.F.);
#1417 = PLANE('',#1418);
#1418 = AXIS2_PLACEMENT_3D('',#1419,#1420,#1421);
#1419 = CARTESIAN_POINT('',(-16.,-7.,0.2));
#1420 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1421 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1422 = ADVANCED_FACE('',(#1423),#1434,.T.);
#1423 = FACE_BOUND('',#1424,.T.);
#1424 = EDGE_LOOP('',(#1425,#1431,#1432,#1433));
#1425 = ORIENTED_EDGE('',*,*,#1426,.T.);
#1426 = EDGE_CURVE('',#196,#791,#1427,.T.);
#1427 = LINE('',#1428,#1429);
#1428 = CARTESIAN_POINT('',(-8.569967671793,-0.622558679084,0.2));
#1429 = VECTOR('',#1430,1.);
#1430 = DIRECTION('',(0.,0.,1.));
#1431 = ORIENTED_EDGE('',*,*,#790,.T.);
#1432 = ORIENTED_EDGE('',*,*,#1395,.F.);
#1433 = ORIENTED_EDGE('',*,*,#195,.F.);
#1434 = PLANE('',#1435);
#1435 = AXIS2_PLACEMENT_3D('',#1436,#1437,#1438);
#1436 = CARTESIAN_POINT('',(-8.569967671793,-0.622558679084,0.2));
#1437 = DIRECTION('',(0.428801016089,0.903398964246,0.));
#1438 = DIRECTION('',(0.903398964246,-0.428801016089,0.));
#1439 = ADVANCED_FACE('',(#1440),#1451,.T.);
#1440 = FACE_BOUND('',#1441,.F.);
#1441 = EDGE_LOOP('',(#1442,#1443,#1449,#1450));
#1442 = ORIENTED_EDGE('',*,*,#701,.F.);
#1443 = ORIENTED_EDGE('',*,*,#1444,.T.);
#1444 = EDGE_CURVE('',#694,#1282,#1445,.T.);
#1445 = LINE('',#1446,#1447);
#1446 = CARTESIAN_POINT('',(-15.7,-7.,0.2));
#1447 = VECTOR('',#1448,1.);
#1448 = DIRECTION('',(0.,0.,1.));
#1449 = ORIENTED_EDGE('',*,*,#1289,.T.);
#1450 = ORIENTED_EDGE('',*,*,#1410,.F.);
#1451 = PLANE('',#1452);
#1452 = AXIS2_PLACEMENT_3D('',#1453,#1454,#1455);
#1453 = CARTESIAN_POINT('',(-15.85,-7.15,0.2));
#1454 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#1455 = DIRECTION('',(0.,0.,-1.));
#1456 = ADVANCED_FACE('',(#1457),#1491,.T.);
#1457 = FACE_BOUND('',#1458,.F.);
#1458 = EDGE_LOOP('',(#1459,#1468,#1474,#1475,#1476,#1483,#1489,#1490));
#1459 = ORIENTED_EDGE('',*,*,#1460,.F.);
#1460 = EDGE_CURVE('',#1461,#1461,#1463,.T.);
#1461 = VERTEX_POINT('',#1462);
#1462 = CARTESIAN_POINT('',(-9.59,3.33899574656E-14,-2.4));
#1463 = CIRCLE('',#1464,0.7);
#1464 = AXIS2_PLACEMENT_3D('',#1465,#1466,#1467);
#1465 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,-2.4));
#1466 = DIRECTION('',(2.951520393684E-30,-6.553691797438E-46,1.));
#1467 = DIRECTION('',(-1.,2.22044604925E-16,2.951520393684E-30));
#1468 = ORIENTED_EDGE('',*,*,#1469,.T.);
#1469 = EDGE_CURVE('',#1461,#204,#1470,.T.);
#1470 = LINE('',#1471,#1472);
#1471 = CARTESIAN_POINT('',(-9.59,3.37507799486E-14,-2.8));
#1472 = VECTOR('',#1473,1.);
#1473 = DIRECTION('',(0.,0.,1.));
#1474 = ORIENTED_EDGE('',*,*,#203,.T.);
#1475 = ORIENTED_EDGE('',*,*,#1426,.T.);
#1476 = ORIENTED_EDGE('',*,*,#1477,.T.);
#1477 = EDGE_CURVE('',#791,#808,#1478,.T.);
#1478 = CIRCLE('',#1479,0.7);
#1479 = AXIS2_PLACEMENT_3D('',#1480,#1481,#1482);
#1480 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,25.6));
#1481 = DIRECTION('',(0.,0.,1.));
#1482 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1483 = ORIENTED_EDGE('',*,*,#1484,.F.);
#1484 = EDGE_CURVE('',#213,#808,#1485,.T.);
#1485 = LINE('',#1486,#1487);
#1486 = CARTESIAN_POINT('',(-8.569967671793,0.622558679084,0.2));
#1487 = VECTOR('',#1488,1.);
#1488 = DIRECTION('',(0.,0.,1.));
#1489 = ORIENTED_EDGE('',*,*,#212,.T.);
#1490 = ORIENTED_EDGE('',*,*,#1469,.F.);
#1491 = CYLINDRICAL_SURFACE('',#1492,0.7);
#1492 = AXIS2_PLACEMENT_3D('',#1493,#1494,#1495);
#1493 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,-2.8));
#1494 = DIRECTION('',(0.,0.,-1.));
#1495 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1496 = ADVANCED_FACE('',(#1497),#1508,.F.);
#1497 = FACE_BOUND('',#1498,.F.);
#1498 = EDGE_LOOP('',(#1499,#1500,#1506,#1507));
#1499 = ORIENTED_EDGE('',*,*,#693,.F.);
#1500 = ORIENTED_EDGE('',*,*,#1501,.T.);
#1501 = EDGE_CURVE('',#686,#1274,#1502,.T.);
#1502 = LINE('',#1503,#1504);
#1503 = CARTESIAN_POINT('',(-10.8,-7.,0.2));
#1504 = VECTOR('',#1505,1.);
#1505 = DIRECTION('',(0.,0.,1.));
#1506 = ORIENTED_EDGE('',*,*,#1281,.T.);
#1507 = ORIENTED_EDGE('',*,*,#1444,.F.);
#1508 = PLANE('',#1509);
#1509 = AXIS2_PLACEMENT_3D('',#1510,#1511,#1512);
#1510 = CARTESIAN_POINT('',(-10.5,-7.,0.2));
#1511 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1512 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1513 = ADVANCED_FACE('',(#1514),#1525,.F.);
#1514 = FACE_BOUND('',#1515,.F.);
#1515 = EDGE_LOOP('',(#1516,#1517,#1518,#1524));
#1516 = ORIENTED_EDGE('',*,*,#1484,.T.);
#1517 = ORIENTED_EDGE('',*,*,#816,.T.);
#1518 = ORIENTED_EDGE('',*,*,#1519,.F.);
#1519 = EDGE_CURVE('',#222,#817,#1520,.T.);
#1520 = LINE('',#1521,#1522);
#1521 = CARTESIAN_POINT('',(-7.5,1.360914407253,0.2));
#1522 = VECTOR('',#1523,1.);
#1523 = DIRECTION('',(0.,0.,1.));
#1524 = ORIENTED_EDGE('',*,*,#221,.F.);
#1525 = PLANE('',#1526);
#1526 = AXIS2_PLACEMENT_3D('',#1527,#1528,#1529);
#1527 = CARTESIAN_POINT('',(-8.569967671793,0.622558679084,0.2));
#1528 = DIRECTION('',(-0.567965944745,0.823052055225,0.));
#1529 = DIRECTION('',(0.823052055225,0.567965944745,0.));
#1530 = ADVANCED_FACE('',(#1531),#1542,.F.);
#1531 = FACE_BOUND('',#1532,.F.);
#1532 = EDGE_LOOP('',(#1533,#1534,#1540,#1541));
#1533 = ORIENTED_EDGE('',*,*,#685,.F.);
#1534 = ORIENTED_EDGE('',*,*,#1535,.T.);
#1535 = EDGE_CURVE('',#678,#1266,#1536,.T.);
#1536 = LINE('',#1537,#1538);
#1537 = CARTESIAN_POINT('',(-10.5,-6.7,0.2));
#1538 = VECTOR('',#1539,1.);
#1539 = DIRECTION('',(0.,0.,1.));
#1540 = ORIENTED_EDGE('',*,*,#1273,.T.);
#1541 = ORIENTED_EDGE('',*,*,#1501,.F.);
#1542 = PLANE('',#1543);
#1543 = AXIS2_PLACEMENT_3D('',#1544,#1545,#1546);
#1544 = CARTESIAN_POINT('',(-10.65,-6.85,0.2));
#1545 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1546 = DIRECTION('',(0.,0.,1.));
#1547 = ADVANCED_FACE('',(#1548),#1559,.F.);
#1548 = FACE_BOUND('',#1549,.F.);
#1549 = EDGE_LOOP('',(#1550,#1551,#1552,#1558));
#1550 = ORIENTED_EDGE('',*,*,#1519,.T.);
#1551 = ORIENTED_EDGE('',*,*,#824,.T.);
#1552 = ORIENTED_EDGE('',*,*,#1553,.F.);
#1553 = EDGE_CURVE('',#230,#825,#1554,.T.);
#1554 = LINE('',#1555,#1556);
#1555 = CARTESIAN_POINT('',(-7.5,2.,0.2));
#1556 = VECTOR('',#1557,1.);
#1557 = DIRECTION('',(0.,0.,1.));
#1558 = ORIENTED_EDGE('',*,*,#229,.F.);
#1559 = PLANE('',#1560);
#1560 = AXIS2_PLACEMENT_3D('',#1561,#1562,#1563);
#1561 = CARTESIAN_POINT('',(-7.5,1.360914407253,0.2));
#1562 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1563 = DIRECTION('',(2.22044604925E-16,1.,0.));
#1564 = ADVANCED_FACE('',(#1565),#1576,.F.);
#1565 = FACE_BOUND('',#1566,.F.);
#1566 = EDGE_LOOP('',(#1567,#1568,#1574,#1575));
#1567 = ORIENTED_EDGE('',*,*,#677,.F.);
#1568 = ORIENTED_EDGE('',*,*,#1569,.T.);
#1569 = EDGE_CURVE('',#670,#1258,#1570,.T.);
#1570 = LINE('',#1571,#1572);
#1571 = CARTESIAN_POINT('',(-10.5,-5.3,0.2));
#1572 = VECTOR('',#1573,1.);
#1573 = DIRECTION('',(0.,0.,1.));
#1574 = ORIENTED_EDGE('',*,*,#1265,.T.);
#1575 = ORIENTED_EDGE('',*,*,#1535,.F.);
#1576 = PLANE('',#1577);
#1577 = AXIS2_PLACEMENT_3D('',#1578,#1579,#1580);
#1578 = CARTESIAN_POINT('',(-10.5,-5.,0.2));
#1579 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1580 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1581 = ADVANCED_FACE('',(#1582,#1588),#1599,.T.);
#1582 = FACE_BOUND('',#1583,.T.);
#1583 = EDGE_LOOP('',(#1584,#1585,#1586,#1587));
#1584 = ORIENTED_EDGE('',*,*,#1321,.T.);
#1585 = ORIENTED_EDGE('',*,*,#832,.T.);
#1586 = ORIENTED_EDGE('',*,*,#1553,.F.);
#1587 = ORIENTED_EDGE('',*,*,#237,.F.);
#1588 = FACE_BOUND('',#1589,.T.);
#1589 = EDGE_LOOP('',(#1590));
#1590 = ORIENTED_EDGE('',*,*,#1591,.T.);
#1591 = EDGE_CURVE('',#1592,#1592,#1594,.T.);
#1592 = VERTEX_POINT('',#1593);
#1593 = CARTESIAN_POINT('',(-1.6,2.,18.5));
#1594 = CIRCLE('',#1595,1.6);
#1595 = AXIS2_PLACEMENT_3D('',#1596,#1597,#1598);
#1596 = CARTESIAN_POINT('',(8.743006318923E-15,2.,18.5));
#1597 = DIRECTION('',(2.22044604925E-16,1.,2.2E-16));
#1598 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1599 = PLANE('',#1600);
#1600 = AXIS2_PLACEMENT_3D('',#1601,#1602,#1603);
#1601 = CARTESIAN_POINT('',(7.5,2.,0.2));
#1602 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1603 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1604 = ADVANCED_FACE('',(#1605),#1616,.F.);
#1605 = FACE_BOUND('',#1606,.F.);
#1606 = EDGE_LOOP('',(#1607,#1608,#1614,#1615));
#1607 = ORIENTED_EDGE('',*,*,#669,.F.);
#1608 = ORIENTED_EDGE('',*,*,#1609,.T.);
#1609 = EDGE_CURVE('',#662,#1250,#1610,.T.);
#1610 = LINE('',#1611,#1612);
#1611 = CARTESIAN_POINT('',(-10.8,-5.,0.2));
#1612 = VECTOR('',#1613,1.);
#1613 = DIRECTION('',(0.,0.,1.));
#1614 = ORIENTED_EDGE('',*,*,#1257,.T.);
#1615 = ORIENTED_EDGE('',*,*,#1569,.F.);
#1616 = PLANE('',#1617);
#1617 = AXIS2_PLACEMENT_3D('',#1618,#1619,#1620);
#1618 = CARTESIAN_POINT('',(-10.65,-5.15,0.2));
#1619 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#1620 = DIRECTION('',(0.,0.,1.));
#1621 = ADVANCED_FACE('',(#1622),#1633,.F.);
#1622 = FACE_BOUND('',#1623,.F.);
#1623 = EDGE_LOOP('',(#1624,#1625,#1631,#1632));
#1624 = ORIENTED_EDGE('',*,*,#661,.F.);
#1625 = ORIENTED_EDGE('',*,*,#1626,.T.);
#1626 = EDGE_CURVE('',#654,#1242,#1627,.T.);
#1627 = LINE('',#1628,#1629);
#1628 = CARTESIAN_POINT('',(-15.7,-5.,0.2));
#1629 = VECTOR('',#1630,1.);
#1630 = DIRECTION('',(0.,0.,1.));
#1631 = ORIENTED_EDGE('',*,*,#1249,.T.);
#1632 = ORIENTED_EDGE('',*,*,#1609,.F.);
#1633 = PLANE('',#1634);
#1634 = AXIS2_PLACEMENT_3D('',#1635,#1636,#1637);
#1635 = CARTESIAN_POINT('',(-16.,-5.,0.2));
#1636 = DIRECTION('',(2.22044604925E-16,1.,0.));
#1637 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1638 = ADVANCED_FACE('',(#1639),#1650,.T.);
#1639 = FACE_BOUND('',#1640,.F.);
#1640 = EDGE_LOOP('',(#1641,#1642,#1648,#1649));
#1641 = ORIENTED_EDGE('',*,*,#653,.F.);
#1642 = ORIENTED_EDGE('',*,*,#1643,.T.);
#1643 = EDGE_CURVE('',#646,#1234,#1644,.T.);
#1644 = LINE('',#1645,#1646);
#1645 = CARTESIAN_POINT('',(-16.,-4.7,0.2));
#1646 = VECTOR('',#1647,1.);
#1647 = DIRECTION('',(0.,0.,1.));
#1648 = ORIENTED_EDGE('',*,*,#1241,.T.);
#1649 = ORIENTED_EDGE('',*,*,#1626,.F.);
#1650 = PLANE('',#1651);
#1651 = AXIS2_PLACEMENT_3D('',#1652,#1653,#1654);
#1652 = CARTESIAN_POINT('',(-15.85,-4.85,0.2));
#1653 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1654 = DIRECTION('',(0.,0.,-1.));
#1655 = ADVANCED_FACE('',(#1656),#1667,.F.);
#1656 = FACE_BOUND('',#1657,.F.);
#1657 = EDGE_LOOP('',(#1658,#1659,#1665,#1666));
#1658 = ORIENTED_EDGE('',*,*,#645,.F.);
#1659 = ORIENTED_EDGE('',*,*,#1660,.T.);
#1660 = EDGE_CURVE('',#638,#1226,#1661,.T.);
#1661 = LINE('',#1662,#1663);
#1662 = CARTESIAN_POINT('',(-16.,-3.3,0.2));
#1663 = VECTOR('',#1664,1.);
#1664 = DIRECTION('',(0.,0.,1.));
#1665 = ORIENTED_EDGE('',*,*,#1233,.T.);
#1666 = ORIENTED_EDGE('',*,*,#1643,.F.);
#1667 = PLANE('',#1668);
#1668 = AXIS2_PLACEMENT_3D('',#1669,#1670,#1671);
#1669 = CARTESIAN_POINT('',(-16.,-3.,0.2));
#1670 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1671 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1672 = ADVANCED_FACE('',(#1673),#1684,.T.);
#1673 = FACE_BOUND('',#1674,.F.);
#1674 = EDGE_LOOP('',(#1675,#1676,#1682,#1683));
#1675 = ORIENTED_EDGE('',*,*,#637,.F.);
#1676 = ORIENTED_EDGE('',*,*,#1677,.T.);
#1677 = EDGE_CURVE('',#630,#1218,#1678,.T.);
#1678 = LINE('',#1679,#1680);
#1679 = CARTESIAN_POINT('',(-15.7,-3.,0.2));
#1680 = VECTOR('',#1681,1.);
#1681 = DIRECTION('',(0.,0.,1.));
#1682 = ORIENTED_EDGE('',*,*,#1225,.T.);
#1683 = ORIENTED_EDGE('',*,*,#1660,.F.);
#1684 = PLANE('',#1685);
#1685 = AXIS2_PLACEMENT_3D('',#1686,#1687,#1688);
#1686 = CARTESIAN_POINT('',(-15.85,-3.15,0.2));
#1687 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#1688 = DIRECTION('',(0.,0.,-1.));
#1689 = ADVANCED_FACE('',(#1690),#1701,.T.);
#1690 = FACE_BOUND('',#1691,.T.);
#1691 = EDGE_LOOP('',(#1692,#1693,#1699,#1700));
#1692 = ORIENTED_EDGE('',*,*,#261,.F.);
#1693 = ORIENTED_EDGE('',*,*,#1694,.T.);
#1694 = EDGE_CURVE('',#262,#850,#1695,.T.);
#1695 = LINE('',#1696,#1697);
#1696 = CARTESIAN_POINT('',(7.395549018272,-8.7,0.2));
#1697 = VECTOR('',#1698,1.);
#1698 = DIRECTION('',(0.,0.,1.));
#1699 = ORIENTED_EDGE('',*,*,#849,.T.);
#1700 = ORIENTED_EDGE('',*,*,#740,.F.);
#1701 = PLANE('',#1702);
#1702 = AXIS2_PLACEMENT_3D('',#1703,#1704,#1705);
#1703 = CARTESIAN_POINT('',(7.395549018272,-9.,0.2));
#1704 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1705 = DIRECTION('',(2.22044604925E-16,1.,0.));
#1706 = ADVANCED_FACE('',(#1707),#1718,.F.);
#1707 = FACE_BOUND('',#1708,.F.);
#1708 = EDGE_LOOP('',(#1709,#1710,#1716,#1717));
#1709 = ORIENTED_EDGE('',*,*,#629,.F.);
#1710 = ORIENTED_EDGE('',*,*,#1711,.T.);
#1711 = EDGE_CURVE('',#622,#1210,#1712,.T.);
#1712 = LINE('',#1713,#1714);
#1713 = CARTESIAN_POINT('',(-10.8,-3.,0.2));
#1714 = VECTOR('',#1715,1.);
#1715 = DIRECTION('',(0.,0.,1.));
#1716 = ORIENTED_EDGE('',*,*,#1217,.T.);
#1717 = ORIENTED_EDGE('',*,*,#1677,.F.);
#1718 = PLANE('',#1719);
#1719 = AXIS2_PLACEMENT_3D('',#1720,#1721,#1722);
#1720 = CARTESIAN_POINT('',(-10.5,-3.,0.2));
#1721 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1722 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1723 = ADVANCED_FACE('',(#1724),#1735,.T.);
#1724 = FACE_BOUND('',#1725,.T.);
#1725 = EDGE_LOOP('',(#1726,#1727,#1733,#1734));
#1726 = ORIENTED_EDGE('',*,*,#269,.F.);
#1727 = ORIENTED_EDGE('',*,*,#1728,.T.);
#1728 = EDGE_CURVE('',#270,#858,#1729,.T.);
#1729 = LINE('',#1730,#1731);
#1730 = CARTESIAN_POINT('',(7.695549018272,-9.,0.2));
#1731 = VECTOR('',#1732,1.);
#1732 = DIRECTION('',(0.,0.,1.));
#1733 = ORIENTED_EDGE('',*,*,#857,.T.);
#1734 = ORIENTED_EDGE('',*,*,#1694,.F.);
#1735 = PLANE('',#1736);
#1736 = AXIS2_PLACEMENT_3D('',#1737,#1738,#1739);
#1737 = CARTESIAN_POINT('',(7.545549018272,-8.85,0.2));
#1738 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1739 = DIRECTION('',(0.,0.,1.));
#1740 = ADVANCED_FACE('',(#1741),#1752,.F.);
#1741 = FACE_BOUND('',#1742,.F.);
#1742 = EDGE_LOOP('',(#1743,#1744,#1750,#1751));
#1743 = ORIENTED_EDGE('',*,*,#621,.F.);
#1744 = ORIENTED_EDGE('',*,*,#1745,.T.);
#1745 = EDGE_CURVE('',#614,#1202,#1746,.T.);
#1746 = LINE('',#1747,#1748);
#1747 = CARTESIAN_POINT('',(-10.5,-2.7,0.2));
#1748 = VECTOR('',#1749,1.);
#1749 = DIRECTION('',(0.,0.,1.));
#1750 = ORIENTED_EDGE('',*,*,#1209,.T.);
#1751 = ORIENTED_EDGE('',*,*,#1711,.F.);
#1752 = PLANE('',#1753);
#1753 = AXIS2_PLACEMENT_3D('',#1754,#1755,#1756);
#1754 = CARTESIAN_POINT('',(-10.65,-2.85,0.2));
#1755 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1756 = DIRECTION('',(0.,0.,1.));
#1757 = ADVANCED_FACE('',(#1758),#1769,.T.);
#1758 = FACE_BOUND('',#1759,.T.);
#1759 = EDGE_LOOP('',(#1760,#1761,#1767,#1768));
#1760 = ORIENTED_EDGE('',*,*,#277,.F.);
#1761 = ORIENTED_EDGE('',*,*,#1762,.T.);
#1762 = EDGE_CURVE('',#278,#866,#1763,.T.);
#1763 = LINE('',#1764,#1765);
#1764 = CARTESIAN_POINT('',(15.7,-9.,0.2));
#1765 = VECTOR('',#1766,1.);
#1766 = DIRECTION('',(0.,0.,1.));
#1767 = ORIENTED_EDGE('',*,*,#865,.T.);
#1768 = ORIENTED_EDGE('',*,*,#1728,.F.);
#1769 = PLANE('',#1770);
#1770 = AXIS2_PLACEMENT_3D('',#1771,#1772,#1773);
#1771 = CARTESIAN_POINT('',(16.,-9.,0.2));
#1772 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1773 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1774 = ADVANCED_FACE('',(#1775),#1786,.F.);
#1775 = FACE_BOUND('',#1776,.F.);
#1776 = EDGE_LOOP('',(#1777,#1778,#1784,#1785));
#1777 = ORIENTED_EDGE('',*,*,#613,.F.);
#1778 = ORIENTED_EDGE('',*,*,#1779,.T.);
#1779 = EDGE_CURVE('',#606,#1194,#1780,.T.);
#1780 = LINE('',#1781,#1782);
#1781 = CARTESIAN_POINT('',(-10.5,-1.3,0.2));
#1782 = VECTOR('',#1783,1.);
#1783 = DIRECTION('',(0.,0.,1.));
#1784 = ORIENTED_EDGE('',*,*,#1201,.T.);
#1785 = ORIENTED_EDGE('',*,*,#1745,.F.);
#1786 = PLANE('',#1787);
#1787 = AXIS2_PLACEMENT_3D('',#1788,#1789,#1790);
#1788 = CARTESIAN_POINT('',(-10.5,-1.,0.2));
#1789 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1790 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1791 = ADVANCED_FACE('',(#1792),#1803,.T.);
#1792 = FACE_BOUND('',#1793,.F.);
#1793 = EDGE_LOOP('',(#1794,#1795,#1796,#1797));
#1794 = ORIENTED_EDGE('',*,*,#285,.F.);
#1795 = ORIENTED_EDGE('',*,*,#1762,.T.);
#1796 = ORIENTED_EDGE('',*,*,#873,.T.);
#1797 = ORIENTED_EDGE('',*,*,#1798,.F.);
#1798 = EDGE_CURVE('',#286,#874,#1799,.T.);
#1799 = LINE('',#1800,#1801);
#1800 = CARTESIAN_POINT('',(16.,-8.7,0.2));
#1801 = VECTOR('',#1802,1.);
#1802 = DIRECTION('',(0.,0.,1.));
#1803 = PLANE('',#1804);
#1804 = AXIS2_PLACEMENT_3D('',#1805,#1806,#1807);
#1805 = CARTESIAN_POINT('',(15.85,-8.85,0.2));
#1806 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#1807 = DIRECTION('',(0.,0.,-1.));
#1808 = ADVANCED_FACE('',(#1809),#1820,.F.);
#1809 = FACE_BOUND('',#1810,.F.);
#1810 = EDGE_LOOP('',(#1811,#1812,#1818,#1819));
#1811 = ORIENTED_EDGE('',*,*,#605,.F.);
#1812 = ORIENTED_EDGE('',*,*,#1813,.T.);
#1813 = EDGE_CURVE('',#598,#1186,#1814,.T.);
#1814 = LINE('',#1815,#1816);
#1815 = CARTESIAN_POINT('',(-10.8,-1.,0.2));
#1816 = VECTOR('',#1817,1.);
#1817 = DIRECTION('',(0.,0.,1.));
#1818 = ORIENTED_EDGE('',*,*,#1193,.T.);
#1819 = ORIENTED_EDGE('',*,*,#1779,.F.);
#1820 = PLANE('',#1821);
#1821 = AXIS2_PLACEMENT_3D('',#1822,#1823,#1824);
#1822 = CARTESIAN_POINT('',(-10.65,-1.15,0.2));
#1823 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#1824 = DIRECTION('',(0.,0.,1.));
#1825 = ADVANCED_FACE('',(#1826),#1837,.T.);
#1826 = FACE_BOUND('',#1827,.T.);
#1827 = EDGE_LOOP('',(#1828,#1829,#1835,#1836));
#1828 = ORIENTED_EDGE('',*,*,#293,.F.);
#1829 = ORIENTED_EDGE('',*,*,#1830,.T.);
#1830 = EDGE_CURVE('',#294,#882,#1831,.T.);
#1831 = LINE('',#1832,#1833);
#1832 = CARTESIAN_POINT('',(16.,-7.3,0.2));
#1833 = VECTOR('',#1834,1.);
#1834 = DIRECTION('',(0.,0.,1.));
#1835 = ORIENTED_EDGE('',*,*,#881,.T.);
#1836 = ORIENTED_EDGE('',*,*,#1798,.F.);
#1837 = PLANE('',#1838);
#1838 = AXIS2_PLACEMENT_3D('',#1839,#1840,#1841);
#1839 = CARTESIAN_POINT('',(16.,-7.,0.2));
#1840 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1841 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1842 = ADVANCED_FACE('',(#1843),#1854,.F.);
#1843 = FACE_BOUND('',#1844,.F.);
#1844 = EDGE_LOOP('',(#1845,#1846,#1852,#1853));
#1845 = ORIENTED_EDGE('',*,*,#597,.F.);
#1846 = ORIENTED_EDGE('',*,*,#1847,.T.);
#1847 = EDGE_CURVE('',#590,#1178,#1848,.T.);
#1848 = LINE('',#1849,#1850);
#1849 = CARTESIAN_POINT('',(-15.7,-1.,0.2));
#1850 = VECTOR('',#1851,1.);
#1851 = DIRECTION('',(0.,0.,1.));
#1852 = ORIENTED_EDGE('',*,*,#1185,.T.);
#1853 = ORIENTED_EDGE('',*,*,#1813,.F.);
#1854 = PLANE('',#1855);
#1855 = AXIS2_PLACEMENT_3D('',#1856,#1857,#1858);
#1856 = CARTESIAN_POINT('',(-16.,-1.,0.2));
#1857 = DIRECTION('',(2.22044604925E-16,1.,0.));
#1858 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1859 = ADVANCED_FACE('',(#1860),#1871,.T.);
#1860 = FACE_BOUND('',#1861,.F.);
#1861 = EDGE_LOOP('',(#1862,#1863,#1864,#1865));
#1862 = ORIENTED_EDGE('',*,*,#301,.F.);
#1863 = ORIENTED_EDGE('',*,*,#1830,.T.);
#1864 = ORIENTED_EDGE('',*,*,#889,.T.);
#1865 = ORIENTED_EDGE('',*,*,#1866,.F.);
#1866 = EDGE_CURVE('',#302,#890,#1867,.T.);
#1867 = LINE('',#1868,#1869);
#1868 = CARTESIAN_POINT('',(15.7,-7.,0.2));
#1869 = VECTOR('',#1870,1.);
#1870 = DIRECTION('',(0.,0.,1.));
#1871 = PLANE('',#1872);
#1872 = AXIS2_PLACEMENT_3D('',#1873,#1874,#1875);
#1873 = CARTESIAN_POINT('',(15.85,-7.15,0.2));
#1874 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#1875 = DIRECTION('',(0.,0.,-1.));
#1876 = ADVANCED_FACE('',(#1877),#1888,.T.);
#1877 = FACE_BOUND('',#1878,.F.);
#1878 = EDGE_LOOP('',(#1879,#1880,#1886,#1887));
#1879 = ORIENTED_EDGE('',*,*,#589,.F.);
#1880 = ORIENTED_EDGE('',*,*,#1881,.T.);
#1881 = EDGE_CURVE('',#582,#1170,#1882,.T.);
#1882 = LINE('',#1883,#1884);
#1883 = CARTESIAN_POINT('',(-16.,-0.7,0.2));
#1884 = VECTOR('',#1885,1.);
#1885 = DIRECTION('',(0.,0.,1.));
#1886 = ORIENTED_EDGE('',*,*,#1177,.T.);
#1887 = ORIENTED_EDGE('',*,*,#1847,.F.);
#1888 = PLANE('',#1889);
#1889 = AXIS2_PLACEMENT_3D('',#1890,#1891,#1892);
#1890 = CARTESIAN_POINT('',(-15.85,-0.85,0.2));
#1891 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1892 = DIRECTION('',(0.,0.,-1.));
#1893 = ADVANCED_FACE('',(#1894),#1905,.T.);
#1894 = FACE_BOUND('',#1895,.T.);
#1895 = EDGE_LOOP('',(#1896,#1897,#1903,#1904));
#1896 = ORIENTED_EDGE('',*,*,#309,.F.);
#1897 = ORIENTED_EDGE('',*,*,#1898,.T.);
#1898 = EDGE_CURVE('',#310,#898,#1899,.T.);
#1899 = LINE('',#1900,#1901);
#1900 = CARTESIAN_POINT('',(10.8,-7.,0.2));
#1901 = VECTOR('',#1902,1.);
#1902 = DIRECTION('',(0.,0.,1.));
#1903 = ORIENTED_EDGE('',*,*,#897,.T.);
#1904 = ORIENTED_EDGE('',*,*,#1866,.F.);
#1905 = PLANE('',#1906);
#1906 = AXIS2_PLACEMENT_3D('',#1907,#1908,#1909);
#1907 = CARTESIAN_POINT('',(10.5,-7.,0.2));
#1908 = DIRECTION('',(2.22044604925E-16,1.,0.));
#1909 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1910 = ADVANCED_FACE('',(#1911),#1922,.F.);
#1911 = FACE_BOUND('',#1912,.F.);
#1912 = EDGE_LOOP('',(#1913,#1914,#1920,#1921));
#1913 = ORIENTED_EDGE('',*,*,#581,.F.);
#1914 = ORIENTED_EDGE('',*,*,#1915,.T.);
#1915 = EDGE_CURVE('',#574,#1162,#1916,.T.);
#1916 = LINE('',#1917,#1918);
#1917 = CARTESIAN_POINT('',(-16.,0.7,0.2));
#1918 = VECTOR('',#1919,1.);
#1919 = DIRECTION('',(0.,0.,1.));
#1920 = ORIENTED_EDGE('',*,*,#1169,.T.);
#1921 = ORIENTED_EDGE('',*,*,#1881,.F.);
#1922 = PLANE('',#1923);
#1923 = AXIS2_PLACEMENT_3D('',#1924,#1925,#1926);
#1924 = CARTESIAN_POINT('',(-16.,1.,0.2));
#1925 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1926 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1927 = ADVANCED_FACE('',(#1928),#1939,.F.);
#1928 = FACE_BOUND('',#1929,.T.);
#1929 = EDGE_LOOP('',(#1930,#1931,#1937,#1938));
#1930 = ORIENTED_EDGE('',*,*,#317,.F.);
#1931 = ORIENTED_EDGE('',*,*,#1932,.T.);
#1932 = EDGE_CURVE('',#318,#906,#1933,.T.);
#1933 = LINE('',#1934,#1935);
#1934 = CARTESIAN_POINT('',(10.5,-6.7,0.2));
#1935 = VECTOR('',#1936,1.);
#1936 = DIRECTION('',(0.,0.,1.));
#1937 = ORIENTED_EDGE('',*,*,#905,.T.);
#1938 = ORIENTED_EDGE('',*,*,#1898,.F.);
#1939 = PLANE('',#1940);
#1940 = AXIS2_PLACEMENT_3D('',#1941,#1942,#1943);
#1941 = CARTESIAN_POINT('',(10.65,-6.85,0.2));
#1942 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#1943 = DIRECTION('',(0.,0.,-1.));
#1944 = ADVANCED_FACE('',(#1945),#1956,.T.);
#1945 = FACE_BOUND('',#1946,.F.);
#1946 = EDGE_LOOP('',(#1947,#1948,#1954,#1955));
#1947 = ORIENTED_EDGE('',*,*,#573,.F.);
#1948 = ORIENTED_EDGE('',*,*,#1949,.T.);
#1949 = EDGE_CURVE('',#566,#1154,#1950,.T.);
#1950 = LINE('',#1951,#1952);
#1951 = CARTESIAN_POINT('',(-15.7,1.,0.2));
#1952 = VECTOR('',#1953,1.);
#1953 = DIRECTION('',(0.,0.,1.));
#1954 = ORIENTED_EDGE('',*,*,#1161,.T.);
#1955 = ORIENTED_EDGE('',*,*,#1915,.F.);
#1956 = PLANE('',#1957);
#1957 = AXIS2_PLACEMENT_3D('',#1958,#1959,#1960);
#1958 = CARTESIAN_POINT('',(-15.85,0.85,0.2));
#1959 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#1960 = DIRECTION('',(0.,0.,-1.));
#1961 = ADVANCED_FACE('',(#1962),#1973,.T.);
#1962 = FACE_BOUND('',#1963,.T.);
#1963 = EDGE_LOOP('',(#1964,#1965,#1971,#1972));
#1964 = ORIENTED_EDGE('',*,*,#325,.F.);
#1965 = ORIENTED_EDGE('',*,*,#1966,.T.);
#1966 = EDGE_CURVE('',#326,#914,#1967,.T.);
#1967 = LINE('',#1968,#1969);
#1968 = CARTESIAN_POINT('',(10.5,-5.3,0.2));
#1969 = VECTOR('',#1970,1.);
#1970 = DIRECTION('',(0.,0.,1.));
#1971 = ORIENTED_EDGE('',*,*,#913,.T.);
#1972 = ORIENTED_EDGE('',*,*,#1932,.F.);
#1973 = PLANE('',#1974);
#1974 = AXIS2_PLACEMENT_3D('',#1975,#1976,#1977);
#1975 = CARTESIAN_POINT('',(10.5,-5.,0.2));
#1976 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#1977 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1978 = ADVANCED_FACE('',(#1979),#1990,.F.);
#1979 = FACE_BOUND('',#1980,.F.);
#1980 = EDGE_LOOP('',(#1981,#1982,#1988,#1989));
#1981 = ORIENTED_EDGE('',*,*,#565,.F.);
#1982 = ORIENTED_EDGE('',*,*,#1983,.T.);
#1983 = EDGE_CURVE('',#558,#1146,#1984,.T.);
#1984 = LINE('',#1985,#1986);
#1985 = CARTESIAN_POINT('',(-10.8,1.,0.2));
#1986 = VECTOR('',#1987,1.);
#1987 = DIRECTION('',(0.,0.,1.));
#1988 = ORIENTED_EDGE('',*,*,#1153,.T.);
#1989 = ORIENTED_EDGE('',*,*,#1949,.F.);
#1990 = PLANE('',#1991);
#1991 = AXIS2_PLACEMENT_3D('',#1992,#1993,#1994);
#1992 = CARTESIAN_POINT('',(-10.5,1.,0.2));
#1993 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#1994 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#1995 = ADVANCED_FACE('',(#1996),#2007,.F.);
#1996 = FACE_BOUND('',#1997,.T.);
#1997 = EDGE_LOOP('',(#1998,#1999,#2005,#2006));
#1998 = ORIENTED_EDGE('',*,*,#333,.F.);
#1999 = ORIENTED_EDGE('',*,*,#2000,.T.);
#2000 = EDGE_CURVE('',#334,#922,#2001,.T.);
#2001 = LINE('',#2002,#2003);
#2002 = CARTESIAN_POINT('',(10.8,-5.,0.2));
#2003 = VECTOR('',#2004,1.);
#2004 = DIRECTION('',(0.,0.,1.));
#2005 = ORIENTED_EDGE('',*,*,#921,.T.);
#2006 = ORIENTED_EDGE('',*,*,#1966,.F.);
#2007 = PLANE('',#2008);
#2008 = AXIS2_PLACEMENT_3D('',#2009,#2010,#2011);
#2009 = CARTESIAN_POINT('',(10.65,-5.15,0.2));
#2010 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#2011 = DIRECTION('',(0.,0.,-1.));
#2012 = ADVANCED_FACE('',(#2013),#2024,.F.);
#2013 = FACE_BOUND('',#2014,.F.);
#2014 = EDGE_LOOP('',(#2015,#2016,#2022,#2023));
#2015 = ORIENTED_EDGE('',*,*,#557,.F.);
#2016 = ORIENTED_EDGE('',*,*,#2017,.T.);
#2017 = EDGE_CURVE('',#550,#1138,#2018,.T.);
#2018 = LINE('',#2019,#2020);
#2019 = CARTESIAN_POINT('',(-10.5,1.3,0.2));
#2020 = VECTOR('',#2021,1.);
#2021 = DIRECTION('',(0.,0.,1.));
#2022 = ORIENTED_EDGE('',*,*,#1145,.T.);
#2023 = ORIENTED_EDGE('',*,*,#1983,.F.);
#2024 = PLANE('',#2025);
#2025 = AXIS2_PLACEMENT_3D('',#2026,#2027,#2028);
#2026 = CARTESIAN_POINT('',(-10.65,1.15,0.2));
#2027 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#2028 = DIRECTION('',(0.,0.,1.));
#2029 = ADVANCED_FACE('',(#2030),#2041,.T.);
#2030 = FACE_BOUND('',#2031,.T.);
#2031 = EDGE_LOOP('',(#2032,#2033,#2039,#2040));
#2032 = ORIENTED_EDGE('',*,*,#341,.F.);
#2033 = ORIENTED_EDGE('',*,*,#2034,.T.);
#2034 = EDGE_CURVE('',#342,#930,#2035,.T.);
#2035 = LINE('',#2036,#2037);
#2036 = CARTESIAN_POINT('',(15.7,-5.,0.2));
#2037 = VECTOR('',#2038,1.);
#2038 = DIRECTION('',(0.,0.,1.));
#2039 = ORIENTED_EDGE('',*,*,#929,.T.);
#2040 = ORIENTED_EDGE('',*,*,#2000,.F.);
#2041 = PLANE('',#2042);
#2042 = AXIS2_PLACEMENT_3D('',#2043,#2044,#2045);
#2043 = CARTESIAN_POINT('',(16.,-5.,0.2));
#2044 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2045 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#2046 = ADVANCED_FACE('',(#2047),#2058,.F.);
#2047 = FACE_BOUND('',#2048,.F.);
#2048 = EDGE_LOOP('',(#2049,#2050,#2056,#2057));
#2049 = ORIENTED_EDGE('',*,*,#549,.F.);
#2050 = ORIENTED_EDGE('',*,*,#2051,.T.);
#2051 = EDGE_CURVE('',#542,#1130,#2052,.T.);
#2052 = LINE('',#2053,#2054);
#2053 = CARTESIAN_POINT('',(-10.5,2.7,0.2));
#2054 = VECTOR('',#2055,1.);
#2055 = DIRECTION('',(0.,0.,1.));
#2056 = ORIENTED_EDGE('',*,*,#1137,.T.);
#2057 = ORIENTED_EDGE('',*,*,#2017,.F.);
#2058 = PLANE('',#2059);
#2059 = AXIS2_PLACEMENT_3D('',#2060,#2061,#2062);
#2060 = CARTESIAN_POINT('',(-10.5,3.,0.2));
#2061 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#2062 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2063 = ADVANCED_FACE('',(#2064),#2075,.T.);
#2064 = FACE_BOUND('',#2065,.F.);
#2065 = EDGE_LOOP('',(#2066,#2067,#2068,#2069));
#2066 = ORIENTED_EDGE('',*,*,#349,.F.);
#2067 = ORIENTED_EDGE('',*,*,#2034,.T.);
#2068 = ORIENTED_EDGE('',*,*,#937,.T.);
#2069 = ORIENTED_EDGE('',*,*,#2070,.F.);
#2070 = EDGE_CURVE('',#350,#938,#2071,.T.);
#2071 = LINE('',#2072,#2073);
#2072 = CARTESIAN_POINT('',(16.,-4.7,0.2));
#2073 = VECTOR('',#2074,1.);
#2074 = DIRECTION('',(0.,0.,1.));
#2075 = PLANE('',#2076);
#2076 = AXIS2_PLACEMENT_3D('',#2077,#2078,#2079);
#2077 = CARTESIAN_POINT('',(15.85,-4.85,0.2));
#2078 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#2079 = DIRECTION('',(0.,0.,-1.));
#2080 = ADVANCED_FACE('',(#2081),#2092,.F.);
#2081 = FACE_BOUND('',#2082,.F.);
#2082 = EDGE_LOOP('',(#2083,#2084,#2090,#2091));
#2083 = ORIENTED_EDGE('',*,*,#541,.F.);
#2084 = ORIENTED_EDGE('',*,*,#2085,.T.);
#2085 = EDGE_CURVE('',#534,#1122,#2086,.T.);
#2086 = LINE('',#2087,#2088);
#2087 = CARTESIAN_POINT('',(-10.8,3.,0.2));
#2088 = VECTOR('',#2089,1.);
#2089 = DIRECTION('',(0.,0.,1.));
#2090 = ORIENTED_EDGE('',*,*,#1129,.T.);
#2091 = ORIENTED_EDGE('',*,*,#2051,.F.);
#2092 = PLANE('',#2093);
#2093 = AXIS2_PLACEMENT_3D('',#2094,#2095,#2096);
#2094 = CARTESIAN_POINT('',(-10.65,2.85,0.2));
#2095 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#2096 = DIRECTION('',(0.,0.,1.));
#2097 = ADVANCED_FACE('',(#2098),#2109,.T.);
#2098 = FACE_BOUND('',#2099,.T.);
#2099 = EDGE_LOOP('',(#2100,#2101,#2107,#2108));
#2100 = ORIENTED_EDGE('',*,*,#357,.F.);
#2101 = ORIENTED_EDGE('',*,*,#2102,.T.);
#2102 = EDGE_CURVE('',#358,#946,#2103,.T.);
#2103 = LINE('',#2104,#2105);
#2104 = CARTESIAN_POINT('',(16.,-3.3,0.2));
#2105 = VECTOR('',#2106,1.);
#2106 = DIRECTION('',(0.,0.,1.));
#2107 = ORIENTED_EDGE('',*,*,#945,.T.);
#2108 = ORIENTED_EDGE('',*,*,#2070,.F.);
#2109 = PLANE('',#2110);
#2110 = AXIS2_PLACEMENT_3D('',#2111,#2112,#2113);
#2111 = CARTESIAN_POINT('',(16.,-3.,0.2));
#2112 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#2113 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2114 = ADVANCED_FACE('',(#2115),#2126,.F.);
#2115 = FACE_BOUND('',#2116,.F.);
#2116 = EDGE_LOOP('',(#2117,#2118,#2124,#2125));
#2117 = ORIENTED_EDGE('',*,*,#533,.F.);
#2118 = ORIENTED_EDGE('',*,*,#2119,.T.);
#2119 = EDGE_CURVE('',#526,#1114,#2120,.T.);
#2120 = LINE('',#2121,#2122);
#2121 = CARTESIAN_POINT('',(-15.7,3.,0.2));
#2122 = VECTOR('',#2123,1.);
#2123 = DIRECTION('',(0.,0.,1.));
#2124 = ORIENTED_EDGE('',*,*,#1121,.T.);
#2125 = ORIENTED_EDGE('',*,*,#2085,.F.);
#2126 = PLANE('',#2127);
#2127 = AXIS2_PLACEMENT_3D('',#2128,#2129,#2130);
#2128 = CARTESIAN_POINT('',(-16.,3.,0.2));
#2129 = DIRECTION('',(2.22044604925E-16,1.,0.));
#2130 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#2131 = ADVANCED_FACE('',(#2132),#2143,.T.);
#2132 = FACE_BOUND('',#2133,.F.);
#2133 = EDGE_LOOP('',(#2134,#2135,#2136,#2137));
#2134 = ORIENTED_EDGE('',*,*,#365,.F.);
#2135 = ORIENTED_EDGE('',*,*,#2102,.T.);
#2136 = ORIENTED_EDGE('',*,*,#953,.T.);
#2137 = ORIENTED_EDGE('',*,*,#2138,.F.);
#2138 = EDGE_CURVE('',#366,#954,#2139,.T.);
#2139 = LINE('',#2140,#2141);
#2140 = CARTESIAN_POINT('',(15.7,-3.,0.2));
#2141 = VECTOR('',#2142,1.);
#2142 = DIRECTION('',(0.,0.,1.));
#2143 = PLANE('',#2144);
#2144 = AXIS2_PLACEMENT_3D('',#2145,#2146,#2147);
#2145 = CARTESIAN_POINT('',(15.85,-3.15,0.2));
#2146 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#2147 = DIRECTION('',(0.,0.,-1.));
#2148 = ADVANCED_FACE('',(#2149),#2160,.T.);
#2149 = FACE_BOUND('',#2150,.F.);
#2150 = EDGE_LOOP('',(#2151,#2152,#2158,#2159));
#2151 = ORIENTED_EDGE('',*,*,#525,.F.);
#2152 = ORIENTED_EDGE('',*,*,#2153,.T.);
#2153 = EDGE_CURVE('',#518,#1106,#2154,.T.);
#2154 = LINE('',#2155,#2156);
#2155 = CARTESIAN_POINT('',(-16.,3.3,0.2));
#2156 = VECTOR('',#2157,1.);
#2157 = DIRECTION('',(0.,0.,1.));
#2158 = ORIENTED_EDGE('',*,*,#1113,.T.);
#2159 = ORIENTED_EDGE('',*,*,#2119,.F.);
#2160 = PLANE('',#2161);
#2161 = AXIS2_PLACEMENT_3D('',#2162,#2163,#2164);
#2162 = CARTESIAN_POINT('',(-15.85,3.15,0.2));
#2163 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#2164 = DIRECTION('',(0.,0.,-1.));
#2165 = ADVANCED_FACE('',(#2166),#2177,.T.);
#2166 = FACE_BOUND('',#2167,.T.);
#2167 = EDGE_LOOP('',(#2168,#2169,#2175,#2176));
#2168 = ORIENTED_EDGE('',*,*,#373,.F.);
#2169 = ORIENTED_EDGE('',*,*,#2170,.T.);
#2170 = EDGE_CURVE('',#374,#962,#2171,.T.);
#2171 = LINE('',#2172,#2173);
#2172 = CARTESIAN_POINT('',(10.8,-3.,0.2));
#2173 = VECTOR('',#2174,1.);
#2174 = DIRECTION('',(0.,0.,1.));
#2175 = ORIENTED_EDGE('',*,*,#961,.T.);
#2176 = ORIENTED_EDGE('',*,*,#2138,.F.);
#2177 = PLANE('',#2178);
#2178 = AXIS2_PLACEMENT_3D('',#2179,#2180,#2181);
#2179 = CARTESIAN_POINT('',(10.5,-3.,0.2));
#2180 = DIRECTION('',(2.22044604925E-16,1.,0.));
#2181 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#2182 = ADVANCED_FACE('',(#2183),#2194,.F.);
#2183 = FACE_BOUND('',#2184,.F.);
#2184 = EDGE_LOOP('',(#2185,#2186,#2192,#2193));
#2185 = ORIENTED_EDGE('',*,*,#517,.F.);
#2186 = ORIENTED_EDGE('',*,*,#2187,.T.);
#2187 = EDGE_CURVE('',#510,#1098,#2188,.T.);
#2188 = LINE('',#2189,#2190);
#2189 = CARTESIAN_POINT('',(-16.,4.7,0.2));
#2190 = VECTOR('',#2191,1.);
#2191 = DIRECTION('',(0.,0.,1.));
#2192 = ORIENTED_EDGE('',*,*,#1105,.T.);
#2193 = ORIENTED_EDGE('',*,*,#2153,.F.);
#2194 = PLANE('',#2195);
#2195 = AXIS2_PLACEMENT_3D('',#2196,#2197,#2198);
#2196 = CARTESIAN_POINT('',(-16.,5.,0.2));
#2197 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#2198 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2199 = ADVANCED_FACE('',(#2200),#2211,.F.);
#2200 = FACE_BOUND('',#2201,.T.);
#2201 = EDGE_LOOP('',(#2202,#2203,#2209,#2210));
#2202 = ORIENTED_EDGE('',*,*,#381,.F.);
#2203 = ORIENTED_EDGE('',*,*,#2204,.T.);
#2204 = EDGE_CURVE('',#382,#970,#2205,.T.);
#2205 = LINE('',#2206,#2207);
#2206 = CARTESIAN_POINT('',(10.5,-2.7,0.2));
#2207 = VECTOR('',#2208,1.);
#2208 = DIRECTION('',(0.,0.,1.));
#2209 = ORIENTED_EDGE('',*,*,#969,.T.);
#2210 = ORIENTED_EDGE('',*,*,#2170,.F.);
#2211 = PLANE('',#2212);
#2212 = AXIS2_PLACEMENT_3D('',#2213,#2214,#2215);
#2213 = CARTESIAN_POINT('',(10.65,-2.85,0.2));
#2214 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#2215 = DIRECTION('',(0.,0.,-1.));
#2216 = ADVANCED_FACE('',(#2217),#2228,.T.);
#2217 = FACE_BOUND('',#2218,.F.);
#2218 = EDGE_LOOP('',(#2219,#2220,#2226,#2227));
#2219 = ORIENTED_EDGE('',*,*,#509,.F.);
#2220 = ORIENTED_EDGE('',*,*,#2221,.T.);
#2221 = EDGE_CURVE('',#502,#1090,#2222,.T.);
#2222 = LINE('',#2223,#2224);
#2223 = CARTESIAN_POINT('',(-15.7,5.,0.2));
#2224 = VECTOR('',#2225,1.);
#2225 = DIRECTION('',(0.,0.,1.));
#2226 = ORIENTED_EDGE('',*,*,#1097,.T.);
#2227 = ORIENTED_EDGE('',*,*,#2187,.F.);
#2228 = PLANE('',#2229);
#2229 = AXIS2_PLACEMENT_3D('',#2230,#2231,#2232);
#2230 = CARTESIAN_POINT('',(-15.85,4.85,0.2));
#2231 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#2232 = DIRECTION('',(0.,0.,-1.));
#2233 = ADVANCED_FACE('',(#2234),#2245,.T.);
#2234 = FACE_BOUND('',#2235,.T.);
#2235 = EDGE_LOOP('',(#2236,#2237,#2243,#2244));
#2236 = ORIENTED_EDGE('',*,*,#389,.F.);
#2237 = ORIENTED_EDGE('',*,*,#2238,.T.);
#2238 = EDGE_CURVE('',#390,#978,#2239,.T.);
#2239 = LINE('',#2240,#2241);
#2240 = CARTESIAN_POINT('',(10.5,-1.3,0.2));
#2241 = VECTOR('',#2242,1.);
#2242 = DIRECTION('',(0.,0.,1.));
#2243 = ORIENTED_EDGE('',*,*,#977,.T.);
#2244 = ORIENTED_EDGE('',*,*,#2204,.F.);
#2245 = PLANE('',#2246);
#2246 = AXIS2_PLACEMENT_3D('',#2247,#2248,#2249);
#2247 = CARTESIAN_POINT('',(10.5,-1.,0.2));
#2248 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#2249 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2250 = ADVANCED_FACE('',(#2251,#2262),#2273,.F.);
#2251 = FACE_BOUND('',#2252,.F.);
#2252 = EDGE_LOOP('',(#2253,#2254,#2260,#2261));
#2253 = ORIENTED_EDGE('',*,*,#501,.F.);
#2254 = ORIENTED_EDGE('',*,*,#2255,.T.);
#2255 = EDGE_CURVE('',#494,#1082,#2256,.T.);
#2256 = LINE('',#2257,#2258);
#2257 = CARTESIAN_POINT('',(15.7,5.,0.2));
#2258 = VECTOR('',#2259,1.);
#2259 = DIRECTION('',(0.,0.,1.));
#2260 = ORIENTED_EDGE('',*,*,#1089,.T.);
#2261 = ORIENTED_EDGE('',*,*,#2221,.F.);
#2262 = FACE_BOUND('',#2263,.F.);
#2263 = EDGE_LOOP('',(#2264));
#2264 = ORIENTED_EDGE('',*,*,#2265,.T.);
#2265 = EDGE_CURVE('',#2266,#2266,#2268,.T.);
#2266 = VERTEX_POINT('',#2267);
#2267 = CARTESIAN_POINT('',(-1.6,5.,18.5));
#2268 = CIRCLE('',#2269,1.6);
#2269 = AXIS2_PLACEMENT_3D('',#2270,#2271,#2272);
#2270 = CARTESIAN_POINT('',(9.409140133698E-15,5.,18.5));
#2271 = DIRECTION('',(2.22044604925E-16,1.,-0.));
#2272 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#2273 = PLANE('',#2274);
#2274 = AXIS2_PLACEMENT_3D('',#2275,#2276,#2277);
#2275 = CARTESIAN_POINT('',(16.,5.,0.2));
#2276 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2277 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#2278 = ADVANCED_FACE('',(#2279),#2290,.F.);
#2279 = FACE_BOUND('',#2280,.T.);
#2280 = EDGE_LOOP('',(#2281,#2282,#2288,#2289));
#2281 = ORIENTED_EDGE('',*,*,#397,.F.);
#2282 = ORIENTED_EDGE('',*,*,#2283,.T.);
#2283 = EDGE_CURVE('',#398,#986,#2284,.T.);
#2284 = LINE('',#2285,#2286);
#2285 = CARTESIAN_POINT('',(10.8,-1.,0.2));
#2286 = VECTOR('',#2287,1.);
#2287 = DIRECTION('',(0.,0.,1.));
#2288 = ORIENTED_EDGE('',*,*,#985,.T.);
#2289 = ORIENTED_EDGE('',*,*,#2238,.F.);
#2290 = PLANE('',#2291);
#2291 = AXIS2_PLACEMENT_3D('',#2292,#2293,#2294);
#2292 = CARTESIAN_POINT('',(10.65,-1.15,0.2));
#2293 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#2294 = DIRECTION('',(0.,0.,-1.));
#2295 = ADVANCED_FACE('',(#2296),#2307,.F.);
#2296 = FACE_BOUND('',#2297,.F.);
#2297 = EDGE_LOOP('',(#2298,#2299,#2305,#2306));
#2298 = ORIENTED_EDGE('',*,*,#493,.F.);
#2299 = ORIENTED_EDGE('',*,*,#2300,.T.);
#2300 = EDGE_CURVE('',#486,#1074,#2301,.T.);
#2301 = LINE('',#2302,#2303);
#2302 = CARTESIAN_POINT('',(16.,4.7,0.2));
#2303 = VECTOR('',#2304,1.);
#2304 = DIRECTION('',(0.,0.,1.));
#2305 = ORIENTED_EDGE('',*,*,#1081,.T.);
#2306 = ORIENTED_EDGE('',*,*,#2255,.F.);
#2307 = PLANE('',#2308);
#2308 = AXIS2_PLACEMENT_3D('',#2309,#2310,#2311);
#2309 = CARTESIAN_POINT('',(15.85,4.85,0.2));
#2310 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#2311 = DIRECTION('',(0.,0.,1.));
#2312 = ADVANCED_FACE('',(#2313),#2324,.T.);
#2313 = FACE_BOUND('',#2314,.T.);
#2314 = EDGE_LOOP('',(#2315,#2316,#2322,#2323));
#2315 = ORIENTED_EDGE('',*,*,#405,.F.);
#2316 = ORIENTED_EDGE('',*,*,#2317,.T.);
#2317 = EDGE_CURVE('',#406,#994,#2318,.T.);
#2318 = LINE('',#2319,#2320);
#2319 = CARTESIAN_POINT('',(15.7,-1.,0.2));
#2320 = VECTOR('',#2321,1.);
#2321 = DIRECTION('',(0.,0.,1.));
#2322 = ORIENTED_EDGE('',*,*,#993,.T.);
#2323 = ORIENTED_EDGE('',*,*,#2283,.F.);
#2324 = PLANE('',#2325);
#2325 = AXIS2_PLACEMENT_3D('',#2326,#2327,#2328);
#2326 = CARTESIAN_POINT('',(16.,-1.,0.2));
#2327 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2328 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#2329 = ADVANCED_FACE('',(#2330),#2341,.T.);
#2330 = FACE_BOUND('',#2331,.T.);
#2331 = EDGE_LOOP('',(#2332,#2333,#2334,#2335));
#2332 = ORIENTED_EDGE('',*,*,#485,.F.);
#2333 = ORIENTED_EDGE('',*,*,#2300,.T.);
#2334 = ORIENTED_EDGE('',*,*,#1073,.T.);
#2335 = ORIENTED_EDGE('',*,*,#2336,.F.);
#2336 = EDGE_CURVE('',#478,#1066,#2337,.T.);
#2337 = LINE('',#2338,#2339);
#2338 = CARTESIAN_POINT('',(16.,3.3,0.2));
#2339 = VECTOR('',#2340,1.);
#2340 = DIRECTION('',(0.,0.,1.));
#2341 = PLANE('',#2342);
#2342 = AXIS2_PLACEMENT_3D('',#2343,#2344,#2345);
#2343 = CARTESIAN_POINT('',(16.,5.,0.2));
#2344 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#2345 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2346 = ADVANCED_FACE('',(#2347),#2358,.T.);
#2347 = FACE_BOUND('',#2348,.F.);
#2348 = EDGE_LOOP('',(#2349,#2350,#2351,#2352));
#2349 = ORIENTED_EDGE('',*,*,#413,.F.);
#2350 = ORIENTED_EDGE('',*,*,#2317,.T.);
#2351 = ORIENTED_EDGE('',*,*,#1001,.T.);
#2352 = ORIENTED_EDGE('',*,*,#2353,.F.);
#2353 = EDGE_CURVE('',#414,#1002,#2354,.T.);
#2354 = LINE('',#2355,#2356);
#2355 = CARTESIAN_POINT('',(16.,-0.7,0.2));
#2356 = VECTOR('',#2357,1.);
#2357 = DIRECTION('',(0.,0.,1.));
#2358 = PLANE('',#2359);
#2359 = AXIS2_PLACEMENT_3D('',#2360,#2361,#2362);
#2360 = CARTESIAN_POINT('',(15.85,-0.85,0.2));
#2361 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#2362 = DIRECTION('',(0.,0.,-1.));
#2363 = ADVANCED_FACE('',(#2364),#2375,.T.);
#2364 = FACE_BOUND('',#2365,.T.);
#2365 = EDGE_LOOP('',(#2366,#2367,#2368,#2369));
#2366 = ORIENTED_EDGE('',*,*,#477,.F.);
#2367 = ORIENTED_EDGE('',*,*,#2336,.T.);
#2368 = ORIENTED_EDGE('',*,*,#1065,.T.);
#2369 = ORIENTED_EDGE('',*,*,#2370,.F.);
#2370 = EDGE_CURVE('',#470,#1058,#2371,.T.);
#2371 = LINE('',#2372,#2373);
#2372 = CARTESIAN_POINT('',(15.7,3.,0.2));
#2373 = VECTOR('',#2374,1.);
#2374 = DIRECTION('',(0.,0.,1.));
#2375 = PLANE('',#2376);
#2376 = AXIS2_PLACEMENT_3D('',#2377,#2378,#2379);
#2377 = CARTESIAN_POINT('',(15.85,3.15,0.2));
#2378 = DIRECTION('',(0.707106781187,-0.707106781187,0.));
#2379 = DIRECTION('',(0.,0.,1.));
#2380 = ADVANCED_FACE('',(#2381),#2392,.T.);
#2381 = FACE_BOUND('',#2382,.T.);
#2382 = EDGE_LOOP('',(#2383,#2384,#2390,#2391));
#2383 = ORIENTED_EDGE('',*,*,#421,.F.);
#2384 = ORIENTED_EDGE('',*,*,#2385,.T.);
#2385 = EDGE_CURVE('',#422,#1010,#2386,.T.);
#2386 = LINE('',#2387,#2388);
#2387 = CARTESIAN_POINT('',(16.,0.7,0.2));
#2388 = VECTOR('',#2389,1.);
#2389 = DIRECTION('',(0.,0.,1.));
#2390 = ORIENTED_EDGE('',*,*,#1009,.T.);
#2391 = ORIENTED_EDGE('',*,*,#2353,.F.);
#2392 = PLANE('',#2393);
#2393 = AXIS2_PLACEMENT_3D('',#2394,#2395,#2396);
#2394 = CARTESIAN_POINT('',(16.,1.,0.2));
#2395 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#2396 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2397 = ADVANCED_FACE('',(#2398),#2409,.T.);
#2398 = FACE_BOUND('',#2399,.T.);
#2399 = EDGE_LOOP('',(#2400,#2401,#2402,#2403));
#2400 = ORIENTED_EDGE('',*,*,#469,.F.);
#2401 = ORIENTED_EDGE('',*,*,#2370,.T.);
#2402 = ORIENTED_EDGE('',*,*,#1057,.T.);
#2403 = ORIENTED_EDGE('',*,*,#2404,.F.);
#2404 = EDGE_CURVE('',#462,#1050,#2405,.T.);
#2405 = LINE('',#2406,#2407);
#2406 = CARTESIAN_POINT('',(10.8,3.,0.2));
#2407 = VECTOR('',#2408,1.);
#2408 = DIRECTION('',(0.,0.,1.));
#2409 = PLANE('',#2410);
#2410 = AXIS2_PLACEMENT_3D('',#2411,#2412,#2413);
#2411 = CARTESIAN_POINT('',(16.,3.,0.2));
#2412 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2413 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#2414 = ADVANCED_FACE('',(#2415),#2426,.T.);
#2415 = FACE_BOUND('',#2416,.F.);
#2416 = EDGE_LOOP('',(#2417,#2418,#2419,#2420));
#2417 = ORIENTED_EDGE('',*,*,#429,.F.);
#2418 = ORIENTED_EDGE('',*,*,#2385,.T.);
#2419 = ORIENTED_EDGE('',*,*,#1017,.T.);
#2420 = ORIENTED_EDGE('',*,*,#2421,.F.);
#2421 = EDGE_CURVE('',#430,#1018,#2422,.T.);
#2422 = LINE('',#2423,#2424);
#2423 = CARTESIAN_POINT('',(15.7,1.,0.2));
#2424 = VECTOR('',#2425,1.);
#2425 = DIRECTION('',(0.,0.,1.));
#2426 = PLANE('',#2427);
#2427 = AXIS2_PLACEMENT_3D('',#2428,#2429,#2430);
#2428 = CARTESIAN_POINT('',(15.85,0.85,0.2));
#2429 = DIRECTION('',(0.707106781187,0.707106781187,0.));
#2430 = DIRECTION('',(0.,0.,-1.));
#2431 = ADVANCED_FACE('',(#2432),#2443,.F.);
#2432 = FACE_BOUND('',#2433,.T.);
#2433 = EDGE_LOOP('',(#2434,#2435,#2436,#2437));
#2434 = ORIENTED_EDGE('',*,*,#461,.F.);
#2435 = ORIENTED_EDGE('',*,*,#2404,.T.);
#2436 = ORIENTED_EDGE('',*,*,#1049,.T.);
#2437 = ORIENTED_EDGE('',*,*,#2438,.F.);
#2438 = EDGE_CURVE('',#454,#1042,#2439,.T.);
#2439 = LINE('',#2440,#2441);
#2440 = CARTESIAN_POINT('',(10.5,2.7,0.2));
#2441 = VECTOR('',#2442,1.);
#2442 = DIRECTION('',(0.,0.,1.));
#2443 = PLANE('',#2444);
#2444 = AXIS2_PLACEMENT_3D('',#2445,#2446,#2447);
#2445 = CARTESIAN_POINT('',(10.65,2.85,0.2));
#2446 = DIRECTION('',(-0.707106781187,0.707106781187,0.));
#2447 = DIRECTION('',(0.,0.,-1.));
#2448 = ADVANCED_FACE('',(#2449),#2460,.T.);
#2449 = FACE_BOUND('',#2450,.T.);
#2450 = EDGE_LOOP('',(#2451,#2452,#2458,#2459));
#2451 = ORIENTED_EDGE('',*,*,#437,.F.);
#2452 = ORIENTED_EDGE('',*,*,#2453,.T.);
#2453 = EDGE_CURVE('',#438,#1026,#2454,.T.);
#2454 = LINE('',#2455,#2456);
#2455 = CARTESIAN_POINT('',(10.8,1.,0.2));
#2456 = VECTOR('',#2457,1.);
#2457 = DIRECTION('',(0.,0.,1.));
#2458 = ORIENTED_EDGE('',*,*,#1025,.T.);
#2459 = ORIENTED_EDGE('',*,*,#2421,.F.);
#2460 = PLANE('',#2461);
#2461 = AXIS2_PLACEMENT_3D('',#2462,#2463,#2464);
#2462 = CARTESIAN_POINT('',(10.5,1.,0.2));
#2463 = DIRECTION('',(2.22044604925E-16,1.,0.));
#2464 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#2465 = ADVANCED_FACE('',(#2466),#2477,.T.);
#2466 = FACE_BOUND('',#2467,.T.);
#2467 = EDGE_LOOP('',(#2468,#2469,#2470,#2471));
#2468 = ORIENTED_EDGE('',*,*,#453,.F.);
#2469 = ORIENTED_EDGE('',*,*,#2438,.T.);
#2470 = ORIENTED_EDGE('',*,*,#1041,.T.);
#2471 = ORIENTED_EDGE('',*,*,#2472,.F.);
#2472 = EDGE_CURVE('',#446,#1034,#2473,.T.);
#2473 = LINE('',#2474,#2475);
#2474 = CARTESIAN_POINT('',(10.5,1.3,0.2));
#2475 = VECTOR('',#2476,1.);
#2476 = DIRECTION('',(0.,0.,1.));
#2477 = PLANE('',#2478);
#2478 = AXIS2_PLACEMENT_3D('',#2479,#2480,#2481);
#2479 = CARTESIAN_POINT('',(10.5,3.,0.2));
#2480 = DIRECTION('',(1.,-2.22044604925E-16,0.));
#2481 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2482 = ADVANCED_FACE('',(#2483),#2489,.F.);
#2483 = FACE_BOUND('',#2484,.T.);
#2484 = EDGE_LOOP('',(#2485,#2486,#2487,#2488));
#2485 = ORIENTED_EDGE('',*,*,#445,.F.);
#2486 = ORIENTED_EDGE('',*,*,#2472,.T.);
#2487 = ORIENTED_EDGE('',*,*,#1033,.T.);
#2488 = ORIENTED_EDGE('',*,*,#2453,.F.);
#2489 = PLANE('',#2490);
#2490 = AXIS2_PLACEMENT_3D('',#2491,#2492,#2493);
#2491 = CARTESIAN_POINT('',(10.65,1.15,0.2));
#2492 = DIRECTION('',(-0.707106781187,-0.707106781187,0.));
#2493 = DIRECTION('',(0.,0.,-1.));
#2494 = ADVANCED_FACE('',(#2495),#2500,.T.);
#2495 = FACE_BOUND('',#2496,.T.);
#2496 = EDGE_LOOP('',(#2497,#2498,#2499));
#2497 = ORIENTED_EDGE('',*,*,#798,.T.);
#2498 = ORIENTED_EDGE('',*,*,#1477,.T.);
#2499 = ORIENTED_EDGE('',*,*,#807,.T.);
#2500 = PLANE('',#2501);
#2501 = AXIS2_PLACEMENT_3D('',#2502,#2503,#2504);
#2502 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,25.6));
#2503 = DIRECTION('',(2.951520393684E-30,-6.553691797438E-46,1.));
#2504 = DIRECTION('',(-1.,2.22044604925E-16,2.951520393684E-30));
#2505 = ADVANCED_FACE('',(#2506),#2526,.T.);
#2506 = FACE_BOUND('',#2507,.F.);
#2507 = EDGE_LOOP('',(#2508,#2517,#2518,#2519));
#2508 = ORIENTED_EDGE('',*,*,#2509,.F.);
#2509 = EDGE_CURVE('',#1461,#2510,#2512,.T.);
#2510 = VERTEX_POINT('',#2511);
#2511 = CARTESIAN_POINT('',(-9.19,3.33899574656E-14,-2.8));
#2512 = CIRCLE('',#2513,0.4);
#2513 = AXIS2_PLACEMENT_3D('',#2514,#2515,#2516);
#2514 = CARTESIAN_POINT('',(-9.19,3.37507799486E-14,-2.4));
#2515 = DIRECTION('',(-2.22044604925E-16,-1.,0.));
#2516 = DIRECTION('',(-1.,2.22044604925E-16,2.951520393684E-30));
#2517 = ORIENTED_EDGE('',*,*,#1460,.T.);
#2518 = ORIENTED_EDGE('',*,*,#2509,.T.);
#2519 = ORIENTED_EDGE('',*,*,#2520,.F.);
#2520 = EDGE_CURVE('',#2510,#2510,#2521,.T.);
#2521 = CIRCLE('',#2522,0.3);
#2522 = AXIS2_PLACEMENT_3D('',#2523,#2524,#2525);
#2523 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,-2.8));
#2524 = DIRECTION('',(2.951520393684E-30,-6.553691797438E-46,1.));
#2525 = DIRECTION('',(-1.,2.22044604925E-16,2.951520393684E-30));
#2526 = SURFACE_OF_REVOLUTION('',#2527,#2535);
#2527 = B_SPLINE_CURVE_WITH_KNOTS('',6,(#2528,#2529,#2530,#2531,#2532,
    #2533,#2534),.UNSPECIFIED.,.F.,.F.,(7,7),(0.,1.570796326795),
  .PIECEWISE_BEZIER_KNOTS.);
#2528 = CARTESIAN_POINT('',(-9.59,3.390621117205E-14,-2.4));
#2529 = CARTESIAN_POINT('',(-9.59,3.390621117205E-14,-2.50471975512));
#2530 = CARTESIAN_POINT('',(-9.557108925592,3.389890788643E-14,
    -2.609430600282));
#2531 = CARTESIAN_POINT('',(-9.491276059856,3.388429005377E-14,
    -2.701276059856));
#2532 = CARTESIAN_POINT('',(-9.399430600282,3.386389626498E-14,
    -2.767108925592));
#2533 = CARTESIAN_POINT('',(-9.29471975512,3.384064578674E-14,-2.8));
#2534 = CARTESIAN_POINT('',(-9.19,3.381739333008E-14,-2.8));
#2535 = AXIS1_PLACEMENT('',#2536,#2537);
#2536 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,-2.4));
#2537 = DIRECTION('',(-2.951520393684E-30,6.553691797438E-46,-1.));
#2538 = ADVANCED_FACE('',(#2539),#2550,.F.);
#2539 = FACE_BOUND('',#2540,.F.);
#2540 = EDGE_LOOP('',(#2541,#2542,#2548,#2549));
#2541 = ORIENTED_EDGE('',*,*,#2265,.F.);
#2542 = ORIENTED_EDGE('',*,*,#2543,.T.);
#2543 = EDGE_CURVE('',#2266,#1592,#2544,.T.);
#2544 = LINE('',#2545,#2546);
#2545 = CARTESIAN_POINT('',(-1.6,5.,18.5));
#2546 = VECTOR('',#2547,1.);
#2547 = DIRECTION('',(-2.22044604925E-16,-1.,-2.2E-16));
#2548 = ORIENTED_EDGE('',*,*,#1591,.T.);
#2549 = ORIENTED_EDGE('',*,*,#2543,.F.);
#2550 = CYLINDRICAL_SURFACE('',#2551,1.6);
#2551 = AXIS2_PLACEMENT_3D('',#2552,#2553,#2554);
#2552 = CARTESIAN_POINT('',(9.409140133698E-15,5.,18.5));
#2553 = DIRECTION('',(2.22044604925E-16,1.,2.2E-16));
#2554 = DIRECTION('',(-1.,2.22044604925E-16,0.));
#2555 = ADVANCED_FACE('',(#2556),#2559,.F.);
#2556 = FACE_BOUND('',#2557,.F.);
#2557 = EDGE_LOOP('',(#2558));
#2558 = ORIENTED_EDGE('',*,*,#2520,.T.);
#2559 = PLANE('',#2560);
#2560 = AXIS2_PLACEMENT_3D('',#2561,#2562,#2563);
#2561 = CARTESIAN_POINT('',(-8.89,3.37507799486E-14,-2.8));
#2562 = DIRECTION('',(2.951520393684E-30,-6.553691797438E-46,1.));
#2563 = DIRECTION('',(-1.,2.22044604925E-16,2.951520393684E-30));
#2564 = ( GEOMETRIC_REPRESENTATION_CONTEXT(3) 
GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT((#2568)) 
GLOBAL_UNIT_ASSIGNED_CONTEXT((#2565,#2566,#2567)) REPRESENTATION_CONTEXT
('Context #1','3D Context with UNIT and UNCERTAINTY') );
#2565 = ( LENGTH_UNIT() NAMED_UNIT(*) SI_UNIT(.MILLI.,.METRE.) );
#2566 = ( NAMED_UNIT(*) PLANE_ANGLE_UNIT() SI_UNIT($,.RADIAN.) );
#2567 = ( NAMED_UNIT(*) SI_UNIT($,.STERADIAN.) SOLID_ANGLE_UNIT() );
#2568 = UNCERTAINTY_MEASURE_WITH_UNIT(LENGTH_MEASURE(5.E-05),#2565,
  'distance_accuracy_value','confusion accuracy');
#2569 = PRODUCT_RELATED_PRODUCT_CATEGORY('part',$,(#7));
#2570 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION('',(
    #2571),#2564);
#2571 = STYLED_ITEM('color',(#2572),#15);
#2572 = PRESENTATION_STYLE_ASSIGNMENT((#2573,#2579));
#2573 = SURFACE_STYLE_USAGE(.BOTH.,#2574);
#2574 = SURFACE_SIDE_STYLE('',(#2575));
#2575 = SURFACE_STYLE_FILL_AREA(#2576);
#2576 = FILL_AREA_STYLE('',(#2577));
#2577 = FILL_AREA_STYLE_COLOUR('',#2578);
#2578 = COLOUR_RGB('',0.372321993113,0.371574014425,0.373172998428);
#2579 = CURVE_STYLE('',#2580,POSITIVE_LENGTH_MEASURE(0.1),#2578);
#2580 = DRAUGHTING_PRE_DEFINED_CURVE_FONT('continuous');
ENDSEC;
END-ISO-10303-21;