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