kicad-lib/kicad-packages3D/OptoDevice.3dshapes/Broadcom_AFBR-16xxZ_Horizontal.step

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