lemon-pepper-stepper/mechanical/heatsink-nema-14.step

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