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