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