ISO-10303-21; HEADER; FILE_DESCRIPTION( ( 'STEP AP214' ), '1' ); FILE_NAME( 'D:/KAKR/EATON CAD/_M22 NP und KS Korrekturen/_M22 NP und KS Korrekturen/m22 stp export/bruecke.stp', '2021-11-16T08:22:02', ( 'License CC BY-ND 4.0' ), ( 'CADENAS' ), ' ', 'PARTsolutions', ' ' ); FILE_SCHEMA( ( 'AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }' ) ); ENDSEC; DATA; #1 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION( ' ', ( #10, #11, #12, #13, #14, #15, #16, #17, #18, #19, #20, #21, #22, #23, #24, #25, #26, #27, #28, #29, #30, #31, #32, #33, #34, #35, #36, #37, #38, #39, #40, #41, #42, #43, #44, #45 ), #6 ); #2 = PRODUCT_DEFINITION_CONTEXT( '', #46, 'design' ); #3 = APPLICATION_PROTOCOL_DEFINITION( 'international standard', 'automotive_design', 2001, #46 ); #4 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #47, #48 ); #5 = SHAPE_DEFINITION_REPRESENTATION( #49, #50 ); #6 = ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #53 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #55, #56, #57 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) ); #10 = STYLED_ITEM( '', ( #59 ), #60 ); #11 = STYLED_ITEM( '', ( #61 ), #62 ); #12 = STYLED_ITEM( '', ( #63 ), #64 ); #13 = STYLED_ITEM( '', ( #65 ), #66 ); #14 = STYLED_ITEM( '', ( #67 ), #68 ); #15 = STYLED_ITEM( '', ( #69 ), #70 ); #16 = STYLED_ITEM( '', ( #71 ), #72 ); #17 = STYLED_ITEM( '', ( #73 ), #74 ); #18 = STYLED_ITEM( '', ( #75 ), #76 ); #19 = STYLED_ITEM( '', ( #77 ), #78 ); #20 = STYLED_ITEM( '', ( #79 ), #80 ); #21 = STYLED_ITEM( '', ( #81 ), #82 ); #22 = STYLED_ITEM( '', ( #83 ), #84 ); #23 = STYLED_ITEM( '', ( #85 ), #86 ); #24 = STYLED_ITEM( '', ( #87 ), #88 ); #25 = STYLED_ITEM( '', ( #89 ), #90 ); #26 = STYLED_ITEM( '', ( #91 ), #92 ); #27 = STYLED_ITEM( '', ( #93 ), #94 ); #28 = STYLED_ITEM( '', ( #95 ), #96 ); #29 = STYLED_ITEM( '', ( #97 ), #98 ); #30 = STYLED_ITEM( '', ( #99 ), #100 ); #31 = STYLED_ITEM( '', ( #101 ), #102 ); #32 = STYLED_ITEM( '', ( #103 ), #104 ); #33 = STYLED_ITEM( '', ( #105 ), #106 ); #34 = STYLED_ITEM( '', ( #107 ), #108 ); #35 = STYLED_ITEM( '', ( #109 ), #110 ); #36 = STYLED_ITEM( '', ( #111 ), #112 ); #37 = STYLED_ITEM( '', ( #113 ), #114 ); #38 = STYLED_ITEM( '', ( #115 ), #116 ); #39 = STYLED_ITEM( '', ( #117 ), #118 ); #40 = STYLED_ITEM( '', ( #119 ), #120 ); #41 = STYLED_ITEM( '', ( #121 ), #122 ); #42 = STYLED_ITEM( '', ( #123 ), #124 ); #43 = STYLED_ITEM( '', ( #125 ), #126 ); #44 = STYLED_ITEM( '', ( #127 ), #128 ); #45 = STYLED_ITEM( '', ( #129 ), #130 ); #46 = APPLICATION_CONTEXT( 'core data for automotive mechanical design processes' ); #47 = PRODUCT_CATEGORY( 'part', 'NONE' ); #48 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #131 ) ); #49 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #132 ); #50 = ADVANCED_BREP_SHAPE_REPRESENTATION( '_216405_(index)', ( #133, #134 ), #6 ); #53 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 0.00100000000000000 ), #55, '', '' ); #55 = ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #137 )LENGTH_UNIT( )NAMED_UNIT( #140 ) ); #56 = ( NAMED_UNIT( #142 )PLANE_ANGLE_UNIT( )SI_UNIT( $, .RADIAN. ) ); #57 = ( NAMED_UNIT( #142 )SI_UNIT( $, .STERADIAN. )SOLID_ANGLE_UNIT( ) ); #59 = PRESENTATION_STYLE_ASSIGNMENT( ( #148 ) ); #60 = ADVANCED_FACE( '', ( #149 ), #150, .T. ); #61 = PRESENTATION_STYLE_ASSIGNMENT( ( #151 ) ); #62 = ADVANCED_FACE( '', ( #152 ), #153, .F. ); #63 = PRESENTATION_STYLE_ASSIGNMENT( ( #154 ) ); #64 = ADVANCED_FACE( '', ( #155 ), #156, .F. ); #65 = PRESENTATION_STYLE_ASSIGNMENT( ( #157 ) ); #66 = ADVANCED_FACE( '', ( #158 ), #159, .T. ); #67 = PRESENTATION_STYLE_ASSIGNMENT( ( #160 ) ); #68 = ADVANCED_FACE( '', ( #161 ), #162, .T. ); #69 = PRESENTATION_STYLE_ASSIGNMENT( ( #163 ) ); #70 = ADVANCED_FACE( '', ( #164 ), #165, .T. ); #71 = PRESENTATION_STYLE_ASSIGNMENT( ( #166 ) ); #72 = ADVANCED_FACE( '', ( #167, #168 ), #169, .T. ); #73 = PRESENTATION_STYLE_ASSIGNMENT( ( #170 ) ); #74 = ADVANCED_FACE( '', ( #171 ), #172, .F. ); #75 = PRESENTATION_STYLE_ASSIGNMENT( ( #173 ) ); #76 = ADVANCED_FACE( '', ( #174 ), #175, .T. ); #77 = PRESENTATION_STYLE_ASSIGNMENT( ( #176 ) ); #78 = ADVANCED_FACE( '', ( #177 ), #178, .F. ); #79 = PRESENTATION_STYLE_ASSIGNMENT( ( #179 ) ); #80 = ADVANCED_FACE( '', ( #180 ), #181, .F. ); #81 = PRESENTATION_STYLE_ASSIGNMENT( ( #182 ) ); #82 = ADVANCED_FACE( '', ( #183 ), #184, .F. ); #83 = PRESENTATION_STYLE_ASSIGNMENT( ( #185 ) ); #84 = ADVANCED_FACE( '', ( #186 ), #187, .F. ); #85 = PRESENTATION_STYLE_ASSIGNMENT( ( #188 ) ); #86 = ADVANCED_FACE( '', ( #189 ), #190, .F. ); #87 = PRESENTATION_STYLE_ASSIGNMENT( ( #191 ) ); #88 = ADVANCED_FACE( '', ( #192 ), #193, .F. ); #89 = PRESENTATION_STYLE_ASSIGNMENT( ( #194 ) ); #90 = ADVANCED_FACE( '', ( #195 ), #196, .T. ); #91 = PRESENTATION_STYLE_ASSIGNMENT( ( #197 ) ); #92 = ADVANCED_FACE( '', ( #198 ), #199, .F. ); #93 = PRESENTATION_STYLE_ASSIGNMENT( ( #200 ) ); #94 = ADVANCED_FACE( '', ( #201 ), #202, .T. ); #95 = PRESENTATION_STYLE_ASSIGNMENT( ( #203 ) ); #96 = ADVANCED_FACE( '', ( #204 ), #205, .F. ); #97 = PRESENTATION_STYLE_ASSIGNMENT( ( #206 ) ); #98 = ADVANCED_FACE( '', ( #207 ), #208, .F. ); #99 = PRESENTATION_STYLE_ASSIGNMENT( ( #209 ) ); #100 = ADVANCED_FACE( '', ( #210 ), #211, .F. ); #101 = PRESENTATION_STYLE_ASSIGNMENT( ( #212 ) ); #102 = ADVANCED_FACE( '', ( #213 ), #214, .F. ); #103 = PRESENTATION_STYLE_ASSIGNMENT( ( #215 ) ); #104 = ADVANCED_FACE( '', ( #216 ), #217, .F. ); #105 = PRESENTATION_STYLE_ASSIGNMENT( ( #218 ) ); #106 = ADVANCED_FACE( '', ( #219 ), #220, .T. ); #107 = PRESENTATION_STYLE_ASSIGNMENT( ( #221 ) ); #108 = ADVANCED_FACE( '', ( #222 ), #223, .F. ); #109 = PRESENTATION_STYLE_ASSIGNMENT( ( #224 ) ); #110 = ADVANCED_FACE( '', ( #225 ), #226, .F. ); #111 = PRESENTATION_STYLE_ASSIGNMENT( ( #227 ) ); #112 = ADVANCED_FACE( '', ( #228 ), #229, .F. ); #113 = PRESENTATION_STYLE_ASSIGNMENT( ( #230 ) ); #114 = ADVANCED_FACE( '', ( #231, #232 ), #233, .T. ); #115 = PRESENTATION_STYLE_ASSIGNMENT( ( #234 ) ); #116 = ADVANCED_FACE( '', ( #235 ), #236, .F. ); #117 = PRESENTATION_STYLE_ASSIGNMENT( ( #237 ) ); #118 = ADVANCED_FACE( '', ( #238 ), #239, .F. ); #119 = PRESENTATION_STYLE_ASSIGNMENT( ( #240 ) ); #120 = ADVANCED_FACE( '', ( #241 ), #242, .T. ); #121 = PRESENTATION_STYLE_ASSIGNMENT( ( #243 ) ); #122 = ADVANCED_FACE( '', ( #244 ), #245, .T. ); #123 = PRESENTATION_STYLE_ASSIGNMENT( ( #246 ) ); #124 = ADVANCED_FACE( '', ( #247 ), #248, .T. ); #125 = PRESENTATION_STYLE_ASSIGNMENT( ( #249 ) ); #126 = ADVANCED_FACE( '', ( #250 ), #251, .F. ); #127 = PRESENTATION_STYLE_ASSIGNMENT( ( #252 ) ); #128 = ADVANCED_FACE( '', ( #253 ), #254, .T. ); #129 = PRESENTATION_STYLE_ASSIGNMENT( ( #255 ) ); #130 = ADVANCED_FACE( '', ( #256 ), #257, .F. ); #131 = PRODUCT( '_216405_(index)', '_216405_(index)', 'PART-_216405_(index)-DESC', ( #258 ) ); #132 = PRODUCT_DEFINITION( 'NONE', 'NONE', #259, #2 ); #133 = MANIFOLD_SOLID_BREP( '_216405_(index)', #260 ); #134 = AXIS2_PLACEMENT_3D( '', #261, #262, #263 ); #137 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #264 ); #140 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 ); #142 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 ); #148 = SURFACE_STYLE_USAGE( .BOTH., #265 ); #149 = FACE_OUTER_BOUND( '', #266, .T. ); #150 = CYLINDRICAL_SURFACE( '', #267, 1.00000000000000 ); #151 = SURFACE_STYLE_USAGE( .BOTH., #268 ); #152 = FACE_OUTER_BOUND( '', #269, .T. ); #153 = CYLINDRICAL_SURFACE( '', #270, 3.00000000000000 ); #154 = SURFACE_STYLE_USAGE( .BOTH., #271 ); #155 = FACE_OUTER_BOUND( '', #272, .T. ); #156 = PLANE( '', #273 ); #157 = SURFACE_STYLE_USAGE( .BOTH., #274 ); #158 = FACE_OUTER_BOUND( '', #275, .T. ); #159 = PLANE( '', #276 ); #160 = SURFACE_STYLE_USAGE( .BOTH., #277 ); #161 = FACE_OUTER_BOUND( '', #278, .T. ); #162 = PLANE( '', #279 ); #163 = SURFACE_STYLE_USAGE( .BOTH., #280 ); #164 = FACE_OUTER_BOUND( '', #281, .T. ); #165 = PLANE( '', #282 ); #166 = SURFACE_STYLE_USAGE( .BOTH., #283 ); #167 = FACE_OUTER_BOUND( '', #284, .T. ); #168 = FACE_BOUND( '', #285, .T. ); #169 = CONICAL_SURFACE( '', #286, 0.890652779200000, 0.0174532925000000 ); #170 = SURFACE_STYLE_USAGE( .BOTH., #287 ); #171 = FACE_OUTER_BOUND( '', #288, .T. ); #172 = CYLINDRICAL_SURFACE( '', #289, 3.00000000000000 ); #173 = SURFACE_STYLE_USAGE( .BOTH., #290 ); #174 = FACE_OUTER_BOUND( '', #291, .T. ); #175 = PLANE( '', #292 ); #176 = SURFACE_STYLE_USAGE( .BOTH., #293 ); #177 = FACE_OUTER_BOUND( '', #294, .T. ); #178 = PLANE( '', #295 ); #179 = SURFACE_STYLE_USAGE( .BOTH., #296 ); #180 = FACE_OUTER_BOUND( '', #297, .T. ); #181 = PLANE( '', #298 ); #182 = SURFACE_STYLE_USAGE( .BOTH., #299 ); #183 = FACE_OUTER_BOUND( '', #300, .T. ); #184 = CYLINDRICAL_SURFACE( '', #301, 3.00000000000000 ); #185 = SURFACE_STYLE_USAGE( .BOTH., #302 ); #186 = FACE_OUTER_BOUND( '', #303, .T. ); #187 = PLANE( '', #304 ); #188 = SURFACE_STYLE_USAGE( .BOTH., #305 ); #189 = FACE_OUTER_BOUND( '', #306, .T. ); #190 = PLANE( '', #307 ); #191 = SURFACE_STYLE_USAGE( .BOTH., #308 ); #192 = FACE_OUTER_BOUND( '', #309, .T. ); #193 = PLANE( '', #310 ); #194 = SURFACE_STYLE_USAGE( .BOTH., #311 ); #195 = FACE_OUTER_BOUND( '', #312, .T. ); #196 = CYLINDRICAL_SURFACE( '', #313, 0.950000000000000 ); #197 = SURFACE_STYLE_USAGE( .BOTH., #314 ); #198 = FACE_OUTER_BOUND( '', #315, .T. ); #199 = PLANE( '', #316 ); #200 = SURFACE_STYLE_USAGE( .BOTH., #317 ); #201 = FACE_OUTER_BOUND( '', #318, .T. ); #202 = PLANE( '', #319 ); #203 = SURFACE_STYLE_USAGE( .BOTH., #320 ); #204 = FACE_OUTER_BOUND( '', #321, .T. ); #205 = PLANE( '', #322 ); #206 = SURFACE_STYLE_USAGE( .BOTH., #323 ); #207 = FACE_OUTER_BOUND( '', #324, .T. ); #208 = PLANE( '', #325 ); #209 = SURFACE_STYLE_USAGE( .BOTH., #326 ); #210 = FACE_OUTER_BOUND( '', #327, .T. ); #211 = PLANE( '', #328 ); #212 = SURFACE_STYLE_USAGE( .BOTH., #329 ); #213 = FACE_OUTER_BOUND( '', #330, .T. ); #214 = PLANE( '', #331 ); #215 = SURFACE_STYLE_USAGE( .BOTH., #332 ); #216 = FACE_OUTER_BOUND( '', #333, .T. ); #217 = PLANE( '', #334 ); #218 = SURFACE_STYLE_USAGE( .BOTH., #335 ); #219 = FACE_OUTER_BOUND( '', #336, .T. ); #220 = PLANE( '', #337 ); #221 = SURFACE_STYLE_USAGE( .BOTH., #338 ); #222 = FACE_OUTER_BOUND( '', #339, .T. ); #223 = PLANE( '', #340 ); #224 = SURFACE_STYLE_USAGE( .BOTH., #341 ); #225 = FACE_OUTER_BOUND( '', #342, .T. ); #226 = PLANE( '', #343 ); #227 = SURFACE_STYLE_USAGE( .BOTH., #344 ); #228 = FACE_OUTER_BOUND( '', #345, .T. ); #229 = PLANE( '', #346 ); #230 = SURFACE_STYLE_USAGE( .BOTH., #347 ); #231 = FACE_OUTER_BOUND( '', #348, .T. ); #232 = FACE_BOUND( '', #349, .T. ); #233 = CONICAL_SURFACE( '', #350, 0.890652779200000, 0.0174532925000000 ); #234 = SURFACE_STYLE_USAGE( .BOTH., #351 ); #235 = FACE_OUTER_BOUND( '', #352, .T. ); #236 = PLANE( '', #353 ); #237 = SURFACE_STYLE_USAGE( .BOTH., #354 ); #238 = FACE_OUTER_BOUND( '', #355, .T. ); #239 = CYLINDRICAL_SURFACE( '', #356, 3.00000000000000 ); #240 = SURFACE_STYLE_USAGE( .BOTH., #357 ); #241 = FACE_OUTER_BOUND( '', #358, .T. ); #242 = PLANE( '', #359 ); #243 = SURFACE_STYLE_USAGE( .BOTH., #360 ); #244 = FACE_OUTER_BOUND( '', #361, .T. ); #245 = CYLINDRICAL_SURFACE( '', #362, 0.950000000000000 ); #246 = SURFACE_STYLE_USAGE( .BOTH., #363 ); #247 = FACE_OUTER_BOUND( '', #364, .T. ); #248 = PLANE( '', #365 ); #249 = SURFACE_STYLE_USAGE( .BOTH., #366 ); #250 = FACE_OUTER_BOUND( '', #367, .T. ); #251 = PLANE( '', #368 ); #252 = SURFACE_STYLE_USAGE( .BOTH., #369 ); #253 = FACE_OUTER_BOUND( '', #370, .T. ); #254 = CYLINDRICAL_SURFACE( '', #371, 1.00000000000000 ); #255 = SURFACE_STYLE_USAGE( .BOTH., #372 ); #256 = FACE_OUTER_BOUND( '', #373, .T. ); #257 = PLANE( '', #374 ); #258 = PRODUCT_CONTEXT( '', #46, 'mechanical' ); #259 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #131, .NOT_KNOWN. ); #260 = CLOSED_SHELL( '', ( #82, #126, #70, #120, #88, #78, #62, #116, #122, #128, #102, #60, #98, #90, #104, #74, #118, #96, #76, #86, #92, #80, #100, #84, #106, #130, #64, #108, #94, #124, #66, #68, #110, #72, #112, #114 ) ); #261 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) ); #262 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #263 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #264 = ( LENGTH_UNIT( )NAMED_UNIT( #140 )SI_UNIT( .MILLI., .METRE. ) ); #265 = SURFACE_SIDE_STYLE( '', ( #376 ) ); #266 = EDGE_LOOP( '', ( #377, #378, #379, #380 ) ); #267 = AXIS2_PLACEMENT_3D( '', #381, #382, #383 ); #268 = SURFACE_SIDE_STYLE( '', ( #384 ) ); #269 = EDGE_LOOP( '', ( #385, #386, #387, #388 ) ); #270 = AXIS2_PLACEMENT_3D( '', #389, #390, #391 ); #271 = SURFACE_SIDE_STYLE( '', ( #392 ) ); #272 = EDGE_LOOP( '', ( #393, #394, #395, #396 ) ); #273 = AXIS2_PLACEMENT_3D( '', #397, #398, #399 ); #274 = SURFACE_SIDE_STYLE( '', ( #400 ) ); #275 = EDGE_LOOP( '', ( #401, #402, #403, #404 ) ); #276 = AXIS2_PLACEMENT_3D( '', #405, #406, #407 ); #277 = SURFACE_SIDE_STYLE( '', ( #408 ) ); #278 = EDGE_LOOP( '', ( #409, #410, #411, #412 ) ); #279 = AXIS2_PLACEMENT_3D( '', #413, #414, #415 ); #280 = SURFACE_SIDE_STYLE( '', ( #416 ) ); #281 = EDGE_LOOP( '', ( #417, #418, #419, #420 ) ); #282 = AXIS2_PLACEMENT_3D( '', #421, #422, #423 ); #283 = SURFACE_SIDE_STYLE( '', ( #424 ) ); #284 = EDGE_LOOP( '', ( #425, #426 ) ); #285 = EDGE_LOOP( '', ( #427 ) ); #286 = AXIS2_PLACEMENT_3D( '', #428, #429, #430 ); #287 = SURFACE_SIDE_STYLE( '', ( #431 ) ); #288 = EDGE_LOOP( '', ( #432, #433, #434, #435 ) ); #289 = AXIS2_PLACEMENT_3D( '', #436, #437, #438 ); #290 = SURFACE_SIDE_STYLE( '', ( #439 ) ); #291 = EDGE_LOOP( '', ( #440, #441, #442, #443, #444, #445, #446, #447 ) ); #292 = AXIS2_PLACEMENT_3D( '', #448, #449, #450 ); #293 = SURFACE_SIDE_STYLE( '', ( #451 ) ); #294 = EDGE_LOOP( '', ( #452, #453, #454, #455, #456, #457, #458, #459, #460, #461, #462, #463, #464, #465 ) ); #295 = AXIS2_PLACEMENT_3D( '', #466, #467, #468 ); #296 = SURFACE_SIDE_STYLE( '', ( #469 ) ); #297 = EDGE_LOOP( '', ( #470, #471, #472, #473 ) ); #298 = AXIS2_PLACEMENT_3D( '', #474, #475, #476 ); #299 = SURFACE_SIDE_STYLE( '', ( #477 ) ); #300 = EDGE_LOOP( '', ( #478, #479, #480, #481 ) ); #301 = AXIS2_PLACEMENT_3D( '', #482, #483, #484 ); #302 = SURFACE_SIDE_STYLE( '', ( #485 ) ); #303 = EDGE_LOOP( '', ( #486, #487, #488, #489 ) ); #304 = AXIS2_PLACEMENT_3D( '', #490, #491, #492 ); #305 = SURFACE_SIDE_STYLE( '', ( #493 ) ); #306 = EDGE_LOOP( '', ( #494, #495, #496, #497 ) ); #307 = AXIS2_PLACEMENT_3D( '', #498, #499, #500 ); #308 = SURFACE_SIDE_STYLE( '', ( #501 ) ); #309 = EDGE_LOOP( '', ( #502, #503, #504, #505, #506, #507, #508, #509 ) ); #310 = AXIS2_PLACEMENT_3D( '', #510, #511, #512 ); #311 = SURFACE_SIDE_STYLE( '', ( #513 ) ); #312 = EDGE_LOOP( '', ( #514, #515, #516, #517 ) ); #313 = AXIS2_PLACEMENT_3D( '', #518, #519, #520 ); #314 = SURFACE_SIDE_STYLE( '', ( #521 ) ); #315 = EDGE_LOOP( '', ( #522, #523, #524, #525 ) ); #316 = AXIS2_PLACEMENT_3D( '', #526, #527, #528 ); #317 = SURFACE_SIDE_STYLE( '', ( #529 ) ); #318 = EDGE_LOOP( '', ( #530, #531, #532, #533 ) ); #319 = AXIS2_PLACEMENT_3D( '', #534, #535, #536 ); #320 = SURFACE_SIDE_STYLE( '', ( #537 ) ); #321 = EDGE_LOOP( '', ( #538, #539, #540, #541, #542, #543, #544, #545 ) ); #322 = AXIS2_PLACEMENT_3D( '', #546, #547, #548 ); #323 = SURFACE_SIDE_STYLE( '', ( #549 ) ); #324 = EDGE_LOOP( '', ( #550, #551, #552, #553, #554, #555, #556, #557 ) ); #325 = AXIS2_PLACEMENT_3D( '', #558, #559, #560 ); #326 = SURFACE_SIDE_STYLE( '', ( #561 ) ); #327 = EDGE_LOOP( '', ( #562, #563, #564, #565 ) ); #328 = AXIS2_PLACEMENT_3D( '', #566, #567, #568 ); #329 = SURFACE_SIDE_STYLE( '', ( #569 ) ); #330 = EDGE_LOOP( '', ( #570, #571, #572, #573 ) ); #331 = AXIS2_PLACEMENT_3D( '', #574, #575, #576 ); #332 = SURFACE_SIDE_STYLE( '', ( #577 ) ); #333 = EDGE_LOOP( '', ( #578, #579, #580, #581 ) ); #334 = AXIS2_PLACEMENT_3D( '', #582, #583, #584 ); #335 = SURFACE_SIDE_STYLE( '', ( #585 ) ); #336 = EDGE_LOOP( '', ( #586, #587, #588, #589 ) ); #337 = AXIS2_PLACEMENT_3D( '', #590, #591, #592 ); #338 = SURFACE_SIDE_STYLE( '', ( #593 ) ); #339 = EDGE_LOOP( '', ( #594, #595, #596, #597 ) ); #340 = AXIS2_PLACEMENT_3D( '', #598, #599, #600 ); #341 = SURFACE_SIDE_STYLE( '', ( #601 ) ); #342 = EDGE_LOOP( '', ( #602 ) ); #343 = AXIS2_PLACEMENT_3D( '', #603, #604, #605 ); #344 = SURFACE_SIDE_STYLE( '', ( #606 ) ); #345 = EDGE_LOOP( '', ( #607 ) ); #346 = AXIS2_PLACEMENT_3D( '', #608, #609, #610 ); #347 = SURFACE_SIDE_STYLE( '', ( #611 ) ); #348 = EDGE_LOOP( '', ( #612, #613 ) ); #349 = EDGE_LOOP( '', ( #614 ) ); #350 = AXIS2_PLACEMENT_3D( '', #615, #616, #617 ); #351 = SURFACE_SIDE_STYLE( '', ( #618 ) ); #352 = EDGE_LOOP( '', ( #619, #620, #621, #622 ) ); #353 = AXIS2_PLACEMENT_3D( '', #623, #624, #625 ); #354 = SURFACE_SIDE_STYLE( '', ( #626 ) ); #355 = EDGE_LOOP( '', ( #627, #628, #629, #630, #631, #632, #633, #634 ) ); #356 = AXIS2_PLACEMENT_3D( '', #635, #636, #637 ); #357 = SURFACE_SIDE_STYLE( '', ( #638 ) ); #358 = EDGE_LOOP( '', ( #639, #640, #641, #642, #643, #644, #645, #646, #647, #648, #649, #650, #651, #652, #653, #654, #655, #656, #657, #658, #659, #660, #661, #662, #663, #664 ) ); #359 = AXIS2_PLACEMENT_3D( '', #665, #666, #667 ); #360 = SURFACE_SIDE_STYLE( '', ( #668 ) ); #361 = EDGE_LOOP( '', ( #669, #670, #671, #672 ) ); #362 = AXIS2_PLACEMENT_3D( '', #673, #674, #675 ); #363 = SURFACE_SIDE_STYLE( '', ( #676 ) ); #364 = EDGE_LOOP( '', ( #677, #678, #679, #680 ) ); #365 = AXIS2_PLACEMENT_3D( '', #681, #682, #683 ); #366 = SURFACE_SIDE_STYLE( '', ( #684 ) ); #367 = EDGE_LOOP( '', ( #685, #686, #687, #688 ) ); #368 = AXIS2_PLACEMENT_3D( '', #689, #690, #691 ); #369 = SURFACE_SIDE_STYLE( '', ( #692 ) ); #370 = EDGE_LOOP( '', ( #693, #694, #695, #696 ) ); #371 = AXIS2_PLACEMENT_3D( '', #697, #698, #699 ); #372 = SURFACE_SIDE_STYLE( '', ( #700 ) ); #373 = EDGE_LOOP( '', ( #701, #702, #703, #704 ) ); #374 = AXIS2_PLACEMENT_3D( '', #705, #706, #707 ); #376 = SURFACE_STYLE_FILL_AREA( #708 ); #377 = ORIENTED_EDGE( '', *, *, #709, .T. ); #378 = ORIENTED_EDGE( '', *, *, #710, .F. ); #379 = ORIENTED_EDGE( '', *, *, #711, .F. ); #380 = ORIENTED_EDGE( '', *, *, #712, .T. ); #381 = CARTESIAN_POINT( '', ( 1.00000000000000, 1.41543117401742, 4.50000000000000 ) ); #382 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #383 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #384 = SURFACE_STYLE_FILL_AREA( #713 ); #385 = ORIENTED_EDGE( '', *, *, #714, .T. ); #386 = ORIENTED_EDGE( '', *, *, #715, .T. ); #387 = ORIENTED_EDGE( '', *, *, #716, .F. ); #388 = ORIENTED_EDGE( '', *, *, #717, .F. ); #389 = CARTESIAN_POINT( '', ( 6.60000000000000, 4.20000000000000, 4.50000000000000 ) ); #390 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #391 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #392 = SURFACE_STYLE_FILL_AREA( #718 ); #393 = ORIENTED_EDGE( '', *, *, #719, .F. ); #394 = ORIENTED_EDGE( '', *, *, #720, .T. ); #395 = ORIENTED_EDGE( '', *, *, #721, .T. ); #396 = ORIENTED_EDGE( '', *, *, #722, .T. ); #397 = CARTESIAN_POINT( '', ( 2.00000000000000, 9.20000000000000, 0.000000000000000 ) ); #398 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #399 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #400 = SURFACE_STYLE_FILL_AREA( #723 ); #401 = ORIENTED_EDGE( '', *, *, #724, .F. ); #402 = ORIENTED_EDGE( '', *, *, #725, .T. ); #403 = ORIENTED_EDGE( '', *, *, #726, .F. ); #404 = ORIENTED_EDGE( '', *, *, #727, .F. ); #405 = CARTESIAN_POINT( '', ( 2.00000000000000, -0.800000000000000, 0.000000000000000 ) ); #406 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #407 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #408 = SURFACE_STYLE_FILL_AREA( #728 ); #409 = ORIENTED_EDGE( '', *, *, #726, .T. ); #410 = ORIENTED_EDGE( '', *, *, #729, .T. ); #411 = ORIENTED_EDGE( '', *, *, #730, .T. ); #412 = ORIENTED_EDGE( '', *, *, #731, .T. ); #413 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.20000000000000, 0.000000000000000 ) ); #414 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #415 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #416 = SURFACE_STYLE_FILL_AREA( #732 ); #417 = ORIENTED_EDGE( '', *, *, #733, .F. ); #418 = ORIENTED_EDGE( '', *, *, #734, .T. ); #419 = ORIENTED_EDGE( '', *, *, #735, .F. ); #420 = ORIENTED_EDGE( '', *, *, #736, .F. ); #421 = CARTESIAN_POINT( '', ( 4.09602662668303, 5.70000000000000, 0.976934626143200 ) ); #422 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #423 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #424 = SURFACE_STYLE_FILL_AREA( #737 ); #425 = ORIENTED_EDGE( '', *, *, #738, .T. ); #426 = ORIENTED_EDGE( '', *, *, #739, .F. ); #427 = ORIENTED_EDGE( '', *, *, #740, .T. ); #428 = CARTESIAN_POINT( '', ( 5.05000000000000, 0.950000000000000, 1.10000000000000 ) ); #429 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #430 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #431 = SURFACE_STYLE_FILL_AREA( #741 ); #432 = ORIENTED_EDGE( '', *, *, #742, .F. ); #433 = ORIENTED_EDGE( '', *, *, #733, .T. ); #434 = ORIENTED_EDGE( '', *, *, #743, .T. ); #435 = ORIENTED_EDGE( '', *, *, #744, .T. ); #436 = CARTESIAN_POINT( '', ( 6.60000000000000, 4.20000000000000, 4.50000000000000 ) ); #437 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #438 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #439 = SURFACE_STYLE_FILL_AREA( #745 ); #440 = ORIENTED_EDGE( '', *, *, #746, .T. ); #441 = ORIENTED_EDGE( '', *, *, #747, .T. ); #442 = ORIENTED_EDGE( '', *, *, #748, .T. ); #443 = ORIENTED_EDGE( '', *, *, #749, .T. ); #444 = ORIENTED_EDGE( '', *, *, #750, .T. ); #445 = ORIENTED_EDGE( '', *, *, #751, .T. ); #446 = ORIENTED_EDGE( '', *, *, #752, .T. ); #447 = ORIENTED_EDGE( '', *, *, #753, .T. ); #448 = CARTESIAN_POINT( '', ( 0.000000000000000, 5.20000000000000, 0.000000000000000 ) ); #449 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #450 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #451 = SURFACE_STYLE_FILL_AREA( #754 ); #452 = ORIENTED_EDGE( '', *, *, #755, .F. ); #453 = ORIENTED_EDGE( '', *, *, #756, .F. ); #454 = ORIENTED_EDGE( '', *, *, #757, .F. ); #455 = ORIENTED_EDGE( '', *, *, #758, .F. ); #456 = ORIENTED_EDGE( '', *, *, #709, .F. ); #457 = ORIENTED_EDGE( '', *, *, #759, .F. ); #458 = ORIENTED_EDGE( '', *, *, #760, .F. ); #459 = ORIENTED_EDGE( '', *, *, #761, .F. ); #460 = ORIENTED_EDGE( '', *, *, #716, .T. ); #461 = ORIENTED_EDGE( '', *, *, #762, .F. ); #462 = ORIENTED_EDGE( '', *, *, #763, .F. ); #463 = ORIENTED_EDGE( '', *, *, #734, .F. ); #464 = ORIENTED_EDGE( '', *, *, #742, .T. ); #465 = ORIENTED_EDGE( '', *, *, #764, .F. ); #466 = CARTESIAN_POINT( '', ( 5.05000000000000, 0.950000000000001, 6.00000000000000 ) ); #467 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #468 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #469 = SURFACE_STYLE_FILL_AREA( #765 ); #470 = ORIENTED_EDGE( '', *, *, #766, .F. ); #471 = ORIENTED_EDGE( '', *, *, #752, .F. ); #472 = ORIENTED_EDGE( '', *, *, #767, .T. ); #473 = ORIENTED_EDGE( '', *, *, #768, .T. ); #474 = CARTESIAN_POINT( '', ( 2.00000000000000, 5.20000000000000, 0.000000000000000 ) ); #475 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #476 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #477 = SURFACE_STYLE_FILL_AREA( #769 ); #478 = ORIENTED_EDGE( '', *, *, #770, .F. ); #479 = ORIENTED_EDGE( '', *, *, #771, .T. ); #480 = ORIENTED_EDGE( '', *, *, #772, .T. ); #481 = ORIENTED_EDGE( '', *, *, #747, .F. ); #482 = CARTESIAN_POINT( '', ( 6.60000000000000, 4.20000000000000, 0.800000000000000 ) ); #483 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #484 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #485 = SURFACE_STYLE_FILL_AREA( #773 ); #486 = ORIENTED_EDGE( '', *, *, #774, .T. ); #487 = ORIENTED_EDGE( '', *, *, #775, .F. ); #488 = ORIENTED_EDGE( '', *, *, #750, .F. ); #489 = ORIENTED_EDGE( '', *, *, #776, .T. ); #490 = CARTESIAN_POINT( '', ( 4.10000000000000, 5.20000000000000, 0.600000000000000 ) ); #491 = DIRECTION( '', ( -0.866025403784439, 0.000000000000000, 0.500000000000000 ) ); #492 = DIRECTION( '', ( 0.500000000000000, 0.000000000000000, 0.866025403784438 ) ); #493 = SURFACE_STYLE_FILL_AREA( #777 ); #494 = ORIENTED_EDGE( '', *, *, #778, .T. ); #495 = ORIENTED_EDGE( '', *, *, #776, .F. ); #496 = ORIENTED_EDGE( '', *, *, #749, .F. ); #497 = ORIENTED_EDGE( '', *, *, #779, .T. ); #498 = CARTESIAN_POINT( '', ( 4.10000000000000, 5.20000000000000, 0.799999999999999 ) ); #499 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #500 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #501 = SURFACE_STYLE_FILL_AREA( #780 ); #502 = ORIENTED_EDGE( '', *, *, #756, .T. ); #503 = ORIENTED_EDGE( '', *, *, #781, .F. ); #504 = ORIENTED_EDGE( '', *, *, #782, .F. ); #505 = ORIENTED_EDGE( '', *, *, #783, .F. ); #506 = ORIENTED_EDGE( '', *, *, #784, .F. ); #507 = ORIENTED_EDGE( '', *, *, #720, .F. ); #508 = ORIENTED_EDGE( '', *, *, #785, .F. ); #509 = ORIENTED_EDGE( '', *, *, #786, .T. ); #510 = CARTESIAN_POINT( '', ( 0.912844257252342, 7.98076352407432, 4.50000000000000 ) ); #511 = DIRECTION( '', ( 0.0871557427476582, -0.996194698091746, 0.000000000000000 ) ); #512 = DIRECTION( '', ( 0.996194698091746, 0.0871557427476582, 0.000000000000000 ) ); #513 = SURFACE_STYLE_FILL_AREA( #787 ); #514 = ORIENTED_EDGE( '', *, *, #760, .T. ); #515 = ORIENTED_EDGE( '', *, *, #788, .F. ); #516 = ORIENTED_EDGE( '', *, *, #738, .F. ); #517 = ORIENTED_EDGE( '', *, *, #789, .T. ); #518 = CARTESIAN_POINT( '', ( 5.05000000000000, 0.950000000000001, 4.50000000000000 ) ); #519 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #520 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #521 = SURFACE_STYLE_FILL_AREA( #790 ); #522 = ORIENTED_EDGE( '', *, *, #791, .T. ); #523 = ORIENTED_EDGE( '', *, *, #779, .F. ); #524 = ORIENTED_EDGE( '', *, *, #748, .F. ); #525 = ORIENTED_EDGE( '', *, *, #772, .F. ); #526 = CARTESIAN_POINT( '', ( 4.00000000000000, 5.20000000000000, 0.799999999999999 ) ); #527 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #528 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #529 = SURFACE_STYLE_FILL_AREA( #792 ); #530 = ORIENTED_EDGE( '', *, *, #793, .F. ); #531 = ORIENTED_EDGE( '', *, *, #794, .T. ); #532 = ORIENTED_EDGE( '', *, *, #730, .F. ); #533 = ORIENTED_EDGE( '', *, *, #795, .T. ); #534 = CARTESIAN_POINT( '', ( 3.52920000000000, -0.800000000000000, 6.00000000000000 ) ); #535 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) ); #536 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #537 = SURFACE_STYLE_FILL_AREA( #796 ); #538 = ORIENTED_EDGE( '', *, *, #771, .F. ); #539 = ORIENTED_EDGE( '', *, *, #797, .F. ); #540 = ORIENTED_EDGE( '', *, *, #798, .F. ); #541 = ORIENTED_EDGE( '', *, *, #768, .F. ); #542 = ORIENTED_EDGE( '', *, *, #799, .F. ); #543 = ORIENTED_EDGE( '', *, *, #774, .F. ); #544 = ORIENTED_EDGE( '', *, *, #778, .F. ); #545 = ORIENTED_EDGE( '', *, *, #791, .F. ); #546 = CARTESIAN_POINT( '', ( 0.000000000000000, 3.20000000000000, 0.000000000000000 ) ); #547 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #548 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #549 = SURFACE_STYLE_FILL_AREA( #800 ); #550 = ORIENTED_EDGE( '', *, *, #801, .F. ); #551 = ORIENTED_EDGE( '', *, *, #724, .T. ); #552 = ORIENTED_EDGE( '', *, *, #802, .T. ); #553 = ORIENTED_EDGE( '', *, *, #793, .T. ); #554 = ORIENTED_EDGE( '', *, *, #803, .F. ); #555 = ORIENTED_EDGE( '', *, *, #788, .T. ); #556 = ORIENTED_EDGE( '', *, *, #759, .T. ); #557 = ORIENTED_EDGE( '', *, *, #712, .F. ); #558 = CARTESIAN_POINT( '', ( 4.63968296804794, 0.0931803379414960, 4.50000000000000 ) ); #559 = DIRECTION( '', ( 0.0871557427476577, 0.996194698091746, 0.000000000000000 ) ); #560 = DIRECTION( '', ( -0.996194698091746, 0.0871557427476577, 0.000000000000000 ) ); #561 = SURFACE_STYLE_FILL_AREA( #804 ); #562 = ORIENTED_EDGE( '', *, *, #799, .T. ); #563 = ORIENTED_EDGE( '', *, *, #767, .F. ); #564 = ORIENTED_EDGE( '', *, *, #751, .F. ); #565 = ORIENTED_EDGE( '', *, *, #775, .T. ); #566 = CARTESIAN_POINT( '', ( 3.75358983848622, 5.20000000000000, 0.000000000000000 ) ); #567 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #568 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #569 = SURFACE_STYLE_FILL_AREA( #805 ); #570 = ORIENTED_EDGE( '', *, *, #758, .T. ); #571 = ORIENTED_EDGE( '', *, *, #806, .F. ); #572 = ORIENTED_EDGE( '', *, *, #807, .F. ); #573 = ORIENTED_EDGE( '', *, *, #710, .T. ); #574 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.41543117401742, 4.50000000000000 ) ); #575 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) ); #576 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #577 = SURFACE_STYLE_FILL_AREA( #808 ); #578 = ORIENTED_EDGE( '', *, *, #761, .T. ); #579 = ORIENTED_EDGE( '', *, *, #789, .F. ); #580 = ORIENTED_EDGE( '', *, *, #809, .F. ); #581 = ORIENTED_EDGE( '', *, *, #717, .T. ); #582 = CARTESIAN_POINT( '', ( 4.73519438010285, 1.85000000000000, 4.50000000000000 ) ); #583 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #584 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #585 = SURFACE_STYLE_FILL_AREA( #810 ); #586 = ORIENTED_EDGE( '', *, *, #811, .T. ); #587 = ORIENTED_EDGE( '', *, *, #762, .T. ); #588 = ORIENTED_EDGE( '', *, *, #715, .F. ); #589 = ORIENTED_EDGE( '', *, *, #812, .F. ); #590 = CARTESIAN_POINT( '', ( 11.9599019806957, 2.70000000000000, 2.43593685340947 ) ); #591 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #592 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #593 = SURFACE_STYLE_FILL_AREA( #813 ); #594 = ORIENTED_EDGE( '', *, *, #814, .F. ); #595 = ORIENTED_EDGE( '', *, *, #722, .F. ); #596 = ORIENTED_EDGE( '', *, *, #815, .F. ); #597 = ORIENTED_EDGE( '', *, *, #816, .F. ); #598 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.20000000000000, 0.000000000000000 ) ); #599 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #600 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #601 = SURFACE_STYLE_FILL_AREA( #817 ); #602 = ORIENTED_EDGE( '', *, *, #740, .F. ); #603 = CARTESIAN_POINT( '', ( 5.05000000000000, 0.950000000000000, 1.10000000000000 ) ); #604 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #605 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #606 = SURFACE_STYLE_FILL_AREA( #818 ); #607 = ORIENTED_EDGE( '', *, *, #819, .F. ); #608 = CARTESIAN_POINT( '', ( 5.05000000000000, 7.45000000000000, 1.10000000000000 ) ); #609 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #610 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #611 = SURFACE_STYLE_FILL_AREA( #820 ); #612 = ORIENTED_EDGE( '', *, *, #821, .T. ); #613 = ORIENTED_EDGE( '', *, *, #822, .F. ); #614 = ORIENTED_EDGE( '', *, *, #819, .T. ); #615 = CARTESIAN_POINT( '', ( 5.05000000000000, 7.45000000000000, 1.10000000000000 ) ); #616 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #617 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #618 = SURFACE_STYLE_FILL_AREA( #823 ); #619 = ORIENTED_EDGE( '', *, *, #764, .T. ); #620 = ORIENTED_EDGE( '', *, *, #744, .F. ); #621 = ORIENTED_EDGE( '', *, *, #824, .F. ); #622 = ORIENTED_EDGE( '', *, *, #825, .T. ); #623 = CARTESIAN_POINT( '', ( 4.74586187348509, 6.55000000000000, 4.50000000000000 ) ); #624 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #625 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #626 = SURFACE_STYLE_FILL_AREA( #826 ); #627 = ORIENTED_EDGE( '', *, *, #797, .T. ); #628 = ORIENTED_EDGE( '', *, *, #770, .T. ); #629 = ORIENTED_EDGE( '', *, *, #746, .F. ); #630 = ORIENTED_EDGE( '', *, *, #827, .F. ); #631 = ORIENTED_EDGE( '', *, *, #735, .T. ); #632 = ORIENTED_EDGE( '', *, *, #763, .T. ); #633 = ORIENTED_EDGE( '', *, *, #811, .F. ); #634 = ORIENTED_EDGE( '', *, *, #828, .F. ); #635 = CARTESIAN_POINT( '', ( 6.65050934807872, 4.20000000000000, 1.45087346828517 ) ); #636 = DIRECTION( '', ( 0.182419145393389, 0.000000000000000, -0.983220857892033 ) ); #637 = DIRECTION( '', ( 0.983220857892033, 0.000000000000000, 0.182419145393389 ) ); #638 = SURFACE_STYLE_FILL_AREA( #829 ); #639 = ORIENTED_EDGE( '', *, *, #782, .T. ); #640 = ORIENTED_EDGE( '', *, *, #822, .T. ); #641 = ORIENTED_EDGE( '', *, *, #824, .T. ); #642 = ORIENTED_EDGE( '', *, *, #743, .F. ); #643 = ORIENTED_EDGE( '', *, *, #736, .T. ); #644 = ORIENTED_EDGE( '', *, *, #827, .T. ); #645 = ORIENTED_EDGE( '', *, *, #753, .F. ); #646 = ORIENTED_EDGE( '', *, *, #766, .T. ); #647 = ORIENTED_EDGE( '', *, *, #798, .T. ); #648 = ORIENTED_EDGE( '', *, *, #828, .T. ); #649 = ORIENTED_EDGE( '', *, *, #812, .T. ); #650 = ORIENTED_EDGE( '', *, *, #714, .F. ); #651 = ORIENTED_EDGE( '', *, *, #809, .T. ); #652 = ORIENTED_EDGE( '', *, *, #739, .T. ); #653 = ORIENTED_EDGE( '', *, *, #803, .T. ); #654 = ORIENTED_EDGE( '', *, *, #795, .F. ); #655 = ORIENTED_EDGE( '', *, *, #729, .F. ); #656 = ORIENTED_EDGE( '', *, *, #725, .F. ); #657 = ORIENTED_EDGE( '', *, *, #801, .T. ); #658 = ORIENTED_EDGE( '', *, *, #711, .T. ); #659 = ORIENTED_EDGE( '', *, *, #807, .T. ); #660 = ORIENTED_EDGE( '', *, *, #830, .T. ); #661 = ORIENTED_EDGE( '', *, *, #785, .T. ); #662 = ORIENTED_EDGE( '', *, *, #719, .T. ); #663 = ORIENTED_EDGE( '', *, *, #814, .T. ); #664 = ORIENTED_EDGE( '', *, *, #831, .T. ); #665 = CARTESIAN_POINT( '', ( 5.05000000000000, 0.950000000000001, 4.50000000000000 ) ); #666 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #667 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #668 = SURFACE_STYLE_FILL_AREA( #832 ); #669 = ORIENTED_EDGE( '', *, *, #755, .T. ); #670 = ORIENTED_EDGE( '', *, *, #825, .F. ); #671 = ORIENTED_EDGE( '', *, *, #821, .F. ); #672 = ORIENTED_EDGE( '', *, *, #781, .T. ); #673 = CARTESIAN_POINT( '', ( 5.05000000000000, 7.45000000000000, 4.50000000000000 ) ); #674 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #675 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #676 = SURFACE_STYLE_FILL_AREA( #833 ); #677 = ORIENTED_EDGE( '', *, *, #802, .F. ); #678 = ORIENTED_EDGE( '', *, *, #727, .T. ); #679 = ORIENTED_EDGE( '', *, *, #731, .F. ); #680 = ORIENTED_EDGE( '', *, *, #794, .F. ); #681 = CARTESIAN_POINT( '', ( 3.52920000000000, -0.800000000000000, 0.000000000000000 ) ); #682 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #683 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #684 = SURFACE_STYLE_FILL_AREA( #834 ); #685 = ORIENTED_EDGE( '', *, *, #835, .F. ); #686 = ORIENTED_EDGE( '', *, *, #783, .T. ); #687 = ORIENTED_EDGE( '', *, *, #831, .F. ); #688 = ORIENTED_EDGE( '', *, *, #816, .T. ); #689 = CARTESIAN_POINT( '', ( 3.52920000000000, 9.20000000000000, 6.00000000000000 ) ); #690 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #691 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #692 = SURFACE_STYLE_FILL_AREA( #836 ); #693 = ORIENTED_EDGE( '', *, *, #757, .T. ); #694 = ORIENTED_EDGE( '', *, *, #786, .F. ); #695 = ORIENTED_EDGE( '', *, *, #830, .F. ); #696 = ORIENTED_EDGE( '', *, *, #806, .T. ); #697 = CARTESIAN_POINT( '', ( 1.00000000000000, 6.98456882598258, 4.50000000000000 ) ); #698 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #699 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #700 = SURFACE_STYLE_FILL_AREA( #837 ); #701 = ORIENTED_EDGE( '', *, *, #721, .F. ); #702 = ORIENTED_EDGE( '', *, *, #784, .T. ); #703 = ORIENTED_EDGE( '', *, *, #835, .T. ); #704 = ORIENTED_EDGE( '', *, *, #815, .T. ); #705 = CARTESIAN_POINT( '', ( 3.52920000000000, 9.20000000000000, 0.000000000000000 ) ); #706 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #707 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #708 = FILL_AREA_STYLE( '', ( #838 ) ); #709 = EDGE_CURVE( '', #839, #840, #841, .T. ); #710 = EDGE_CURVE( '', #842, #840, #843, .T. ); #711 = EDGE_CURVE( '', #844, #842, #845, .T. ); #712 = EDGE_CURVE( '', #844, #839, #846, .T. ); #713 = FILL_AREA_STYLE( '', ( #847 ) ); #714 = EDGE_CURVE( '', #848, #849, #850, .T. ); #715 = EDGE_CURVE( '', #849, #851, #852, .T. ); #716 = EDGE_CURVE( '', #853, #851, #854, .T. ); #717 = EDGE_CURVE( '', #848, #853, #855, .T. ); #718 = FILL_AREA_STYLE( '', ( #856 ) ); #719 = EDGE_CURVE( '', #857, #858, #859, .T. ); #720 = EDGE_CURVE( '', #857, #860, #861, .T. ); #721 = EDGE_CURVE( '', #860, #862, #863, .T. ); #722 = EDGE_CURVE( '', #862, #858, #864, .T. ); #723 = FILL_AREA_STYLE( '', ( #865 ) ); #724 = EDGE_CURVE( '', #866, #867, #868, .T. ); #725 = EDGE_CURVE( '', #866, #869, #870, .T. ); #726 = EDGE_CURVE( '', #871, #869, #872, .T. ); #727 = EDGE_CURVE( '', #867, #871, #873, .T. ); #728 = FILL_AREA_STYLE( '', ( #874 ) ); #729 = EDGE_CURVE( '', #869, #875, #876, .T. ); #730 = EDGE_CURVE( '', #875, #877, #878, .T. ); #731 = EDGE_CURVE( '', #877, #871, #879, .T. ); #732 = FILL_AREA_STYLE( '', ( #880 ) ); #733 = EDGE_CURVE( '', #881, #882, #883, .F. ); #734 = EDGE_CURVE( '', #881, #884, #885, .T. ); #735 = EDGE_CURVE( '', #886, #884, #887, .T. ); #736 = EDGE_CURVE( '', #882, #886, #888, .T. ); #737 = FILL_AREA_STYLE( '', ( #889 ) ); #738 = EDGE_CURVE( '', #890, #891, #892, .T. ); #739 = EDGE_CURVE( '', #890, #891, #893, .T. ); #740 = EDGE_CURVE( '', #894, #894, #895, .T. ); #741 = FILL_AREA_STYLE( '', ( #896 ) ); #742 = EDGE_CURVE( '', #881, #897, #898, .T. ); #743 = EDGE_CURVE( '', #882, #899, #900, .T. ); #744 = EDGE_CURVE( '', #899, #897, #901, .T. ); #745 = FILL_AREA_STYLE( '', ( #902 ) ); #746 = EDGE_CURVE( '', #903, #904, #905, .F. ); #747 = EDGE_CURVE( '', #904, #906, #907, .F. ); #748 = EDGE_CURVE( '', #906, #908, #909, .T. ); #749 = EDGE_CURVE( '', #908, #910, #911, .T. ); #750 = EDGE_CURVE( '', #910, #912, #913, .T. ); #751 = EDGE_CURVE( '', #912, #914, #915, .T. ); #752 = EDGE_CURVE( '', #914, #916, #917, .T. ); #753 = EDGE_CURVE( '', #916, #903, #918, .T. ); #754 = FILL_AREA_STYLE( '', ( #919 ) ); #755 = EDGE_CURVE( '', #920, #921, #922, .T. ); #756 = EDGE_CURVE( '', #923, #920, #924, .T. ); #757 = EDGE_CURVE( '', #925, #923, #926, .T. ); #758 = EDGE_CURVE( '', #840, #925, #927, .T. ); #759 = EDGE_CURVE( '', #928, #839, #929, .T. ); #760 = EDGE_CURVE( '', #930, #928, #931, .T. ); #761 = EDGE_CURVE( '', #853, #930, #932, .T. ); #762 = EDGE_CURVE( '', #933, #851, #934, .T. ); #763 = EDGE_CURVE( '', #884, #933, #935, .F. ); #764 = EDGE_CURVE( '', #921, #897, #936, .T. ); #765 = FILL_AREA_STYLE( '', ( #937 ) ); #766 = EDGE_CURVE( '', #916, #938, #939, .T. ); #767 = EDGE_CURVE( '', #914, #940, #941, .T. ); #768 = EDGE_CURVE( '', #940, #938, #942, .T. ); #769 = FILL_AREA_STYLE( '', ( #943 ) ); #770 = EDGE_CURVE( '', #944, #904, #945, .F. ); #771 = EDGE_CURVE( '', #944, #946, #947, .F. ); #772 = EDGE_CURVE( '', #946, #906, #948, .T. ); #773 = FILL_AREA_STYLE( '', ( #949 ) ); #774 = EDGE_CURVE( '', #950, #951, #952, .T. ); #775 = EDGE_CURVE( '', #912, #951, #953, .T. ); #776 = EDGE_CURVE( '', #910, #950, #954, .T. ); #777 = FILL_AREA_STYLE( '', ( #955 ) ); #778 = EDGE_CURVE( '', #956, #950, #957, .T. ); #779 = EDGE_CURVE( '', #908, #956, #958, .T. ); #780 = FILL_AREA_STYLE( '', ( #959 ) ); #781 = EDGE_CURVE( '', #960, #920, #961, .T. ); #782 = EDGE_CURVE( '', #962, #960, #963, .T. ); #783 = EDGE_CURVE( '', #964, #962, #965, .T. ); #784 = EDGE_CURVE( '', #860, #964, #966, .T. ); #785 = EDGE_CURVE( '', #967, #857, #968, .T. ); #786 = EDGE_CURVE( '', #967, #923, #969, .T. ); #787 = FILL_AREA_STYLE( '', ( #970 ) ); #788 = EDGE_CURVE( '', #891, #928, #971, .T. ); #789 = EDGE_CURVE( '', #890, #930, #972, .T. ); #790 = FILL_AREA_STYLE( '', ( #973 ) ); #791 = EDGE_CURVE( '', #946, #956, #974, .T. ); #792 = FILL_AREA_STYLE( '', ( #975 ) ); #793 = EDGE_CURVE( '', #976, #977, #978, .T. ); #794 = EDGE_CURVE( '', #976, #877, #979, .T. ); #795 = EDGE_CURVE( '', #875, #977, #980, .T. ); #796 = FILL_AREA_STYLE( '', ( #981 ) ); #797 = EDGE_CURVE( '', #982, #944, #983, .F. ); #798 = EDGE_CURVE( '', #938, #982, #984, .T. ); #799 = EDGE_CURVE( '', #951, #940, #985, .T. ); #800 = FILL_AREA_STYLE( '', ( #986 ) ); #801 = EDGE_CURVE( '', #866, #844, #987, .T. ); #802 = EDGE_CURVE( '', #867, #976, #988, .T. ); #803 = EDGE_CURVE( '', #891, #977, #989, .T. ); #804 = FILL_AREA_STYLE( '', ( #990 ) ); #805 = FILL_AREA_STYLE( '', ( #991 ) ); #806 = EDGE_CURVE( '', #992, #925, #993, .T. ); #807 = EDGE_CURVE( '', #842, #992, #994, .T. ); #808 = FILL_AREA_STYLE( '', ( #995 ) ); #809 = EDGE_CURVE( '', #848, #890, #996, .T. ); #810 = FILL_AREA_STYLE( '', ( #997 ) ); #811 = EDGE_CURVE( '', #998, #933, #999, .T. ); #812 = EDGE_CURVE( '', #998, #849, #1000, .T. ); #813 = FILL_AREA_STYLE( '', ( #1001 ) ); #814 = EDGE_CURVE( '', #858, #1002, #1003, .T. ); #815 = EDGE_CURVE( '', #1004, #862, #1005, .T. ); #816 = EDGE_CURVE( '', #1002, #1004, #1006, .T. ); #817 = FILL_AREA_STYLE( '', ( #1007 ) ); #818 = FILL_AREA_STYLE( '', ( #1008 ) ); #819 = EDGE_CURVE( '', #1009, #1009, #1010, .T. ); #820 = FILL_AREA_STYLE( '', ( #1011 ) ); #821 = EDGE_CURVE( '', #960, #1012, #1013, .T. ); #822 = EDGE_CURVE( '', #960, #1012, #1014, .T. ); #823 = FILL_AREA_STYLE( '', ( #1015 ) ); #824 = EDGE_CURVE( '', #1012, #899, #1016, .T. ); #825 = EDGE_CURVE( '', #1012, #921, #1017, .T. ); #826 = FILL_AREA_STYLE( '', ( #1018 ) ); #827 = EDGE_CURVE( '', #886, #903, #1019, .F. ); #828 = EDGE_CURVE( '', #982, #998, #1020, .F. ); #829 = FILL_AREA_STYLE( '', ( #1021 ) ); #830 = EDGE_CURVE( '', #992, #967, #1022, .T. ); #831 = EDGE_CURVE( '', #1002, #962, #1023, .T. ); #832 = FILL_AREA_STYLE( '', ( #1024 ) ); #833 = FILL_AREA_STYLE( '', ( #1025 ) ); #834 = FILL_AREA_STYLE( '', ( #1026 ) ); #835 = EDGE_CURVE( '', #964, #1004, #1027, .T. ); #836 = FILL_AREA_STYLE( '', ( #1028 ) ); #837 = FILL_AREA_STYLE( '', ( #1029 ) ); #838 = FILL_AREA_STYLE_COLOUR( '', #1030 ); #839 = VERTEX_POINT( '', #1031 ); #840 = VERTEX_POINT( '', #1032 ); #841 = CIRCLE( '', #1033, 1.00000000000000 ); #842 = VERTEX_POINT( '', #1034 ); #843 = LINE( '', #1035, #1036 ); #844 = VERTEX_POINT( '', #1037 ); #845 = CIRCLE( '', #1038, 1.00000000000000 ); #846 = LINE( '', #1039, #1040 ); #847 = FILL_AREA_STYLE_COLOUR( '', #1041 ); #848 = VERTEX_POINT( '', #1042 ); #849 = VERTEX_POINT( '', #1043 ); #850 = CIRCLE( '', #1044, 3.00000000000000 ); #851 = VERTEX_POINT( '', #1045 ); #852 = LINE( '', #1046, #1047 ); #853 = VERTEX_POINT( '', #1048 ); #854 = CIRCLE( '', #1049, 3.00000000000000 ); #855 = LINE( '', #1050, #1051 ); #856 = FILL_AREA_STYLE_COLOUR( '', #1052 ); #857 = VERTEX_POINT( '', #1053 ); #858 = VERTEX_POINT( '', #1054 ); #859 = LINE( '', #1055, #1056 ); #860 = VERTEX_POINT( '', #1057 ); #861 = LINE( '', #1058, #1059 ); #862 = VERTEX_POINT( '', #1060 ); #863 = LINE( '', #1061, #1062 ); #864 = LINE( '', #1063, #1064 ); #865 = FILL_AREA_STYLE_COLOUR( '', #1065 ); #866 = VERTEX_POINT( '', #1066 ); #867 = VERTEX_POINT( '', #1067 ); #868 = LINE( '', #1068, #1069 ); #869 = VERTEX_POINT( '', #1070 ); #870 = LINE( '', #1071, #1072 ); #871 = VERTEX_POINT( '', #1073 ); #872 = LINE( '', #1074, #1075 ); #873 = LINE( '', #1076, #1077 ); #874 = FILL_AREA_STYLE_COLOUR( '', #1078 ); #875 = VERTEX_POINT( '', #1079 ); #876 = LINE( '', #1080, #1081 ); #877 = VERTEX_POINT( '', #1082 ); #878 = LINE( '', #1083, #1084 ); #879 = LINE( '', #1085, #1086 ); #880 = FILL_AREA_STYLE_COLOUR( '', #1087 ); #881 = VERTEX_POINT( '', #1088 ); #882 = VERTEX_POINT( '', #1089 ); #883 = LINE( '', #1090, #1091 ); #884 = VERTEX_POINT( '', #1092 ); #885 = LINE( '', #1093, #1094 ); #886 = VERTEX_POINT( '', #1095 ); #887 = LINE( '', #1096, #1097 ); #888 = LINE( '', #1098, #1099 ); #889 = FILL_AREA_STYLE_COLOUR( '', #1100 ); #890 = VERTEX_POINT( '', #1101 ); #891 = VERTEX_POINT( '', #1102 ); #892 = CIRCLE( '', #1103, 0.950000000000000 ); #893 = CIRCLE( '', #1104, 0.950000000000000 ); #894 = VERTEX_POINT( '', #1105 ); #895 = CIRCLE( '', #1106, 0.890652779200000 ); #896 = FILL_AREA_STYLE_COLOUR( '', #1107 ); #897 = VERTEX_POINT( '', #1108 ); #898 = CIRCLE( '', #1109, 3.00000000000000 ); #899 = VERTEX_POINT( '', #1110 ); #900 = CIRCLE( '', #1111, 3.00000000000000 ); #901 = LINE( '', #1112, #1113 ); #902 = FILL_AREA_STYLE_COLOUR( '', #1114 ); #903 = VERTEX_POINT( '', #1115 ); #904 = VERTEX_POINT( '', #1116 ); #905 = LINE( '', #1117, #1118 ); #906 = VERTEX_POINT( '', #1119 ); #907 = LINE( '', #1120, #1121 ); #908 = VERTEX_POINT( '', #1122 ); #909 = LINE( '', #1123, #1124 ); #910 = VERTEX_POINT( '', #1125 ); #911 = LINE( '', #1126, #1127 ); #912 = VERTEX_POINT( '', #1128 ); #913 = LINE( '', #1129, #1130 ); #914 = VERTEX_POINT( '', #1131 ); #915 = LINE( '', #1132, #1133 ); #916 = VERTEX_POINT( '', #1134 ); #917 = LINE( '', #1135, #1136 ); #918 = LINE( '', #1137, #1138 ); #919 = FILL_AREA_STYLE_COLOUR( '', #1139 ); #920 = VERTEX_POINT( '', #1140 ); #921 = VERTEX_POINT( '', #1141 ); #922 = CIRCLE( '', #1142, 0.950000000000000 ); #923 = VERTEX_POINT( '', #1143 ); #924 = LINE( '', #1144, #1145 ); #925 = VERTEX_POINT( '', #1146 ); #926 = CIRCLE( '', #1147, 1.00000000000000 ); #927 = LINE( '', #1148, #1149 ); #928 = VERTEX_POINT( '', #1150 ); #929 = LINE( '', #1151, #1152 ); #930 = VERTEX_POINT( '', #1153 ); #931 = CIRCLE( '', #1154, 0.950000000000000 ); #932 = LINE( '', #1155, #1156 ); #933 = VERTEX_POINT( '', #1157 ); #934 = LINE( '', #1158, #1159 ); #935 = ELLIPSE( '', #1160, 3.05119645900000, 3.00000000000000 ); #936 = LINE( '', #1161, #1162 ); #937 = FILL_AREA_STYLE_COLOUR( '', #1163 ); #938 = VERTEX_POINT( '', #1164 ); #939 = LINE( '', #1165, #1166 ); #940 = VERTEX_POINT( '', #1167 ); #941 = LINE( '', #1168, #1169 ); #942 = LINE( '', #1170, #1171 ); #943 = FILL_AREA_STYLE_COLOUR( '', #1172 ); #944 = VERTEX_POINT( '', #1173 ); #945 = ELLIPSE( '', #1174, 3.01266409730000, 3.00000000000000 ); #946 = VERTEX_POINT( '', #1175 ); #947 = LINE( '', #1176, #1177 ); #948 = CIRCLE( '', #1178, 3.00000000000000 ); #949 = FILL_AREA_STYLE_COLOUR( '', #1179 ); #950 = VERTEX_POINT( '', #1180 ); #951 = VERTEX_POINT( '', #1181 ); #952 = LINE( '', #1182, #1183 ); #953 = LINE( '', #1184, #1185 ); #954 = LINE( '', #1186, #1187 ); #955 = FILL_AREA_STYLE_COLOUR( '', #1188 ); #956 = VERTEX_POINT( '', #1189 ); #957 = LINE( '', #1190, #1191 ); #958 = LINE( '', #1192, #1193 ); #959 = FILL_AREA_STYLE_COLOUR( '', #1194 ); #960 = VERTEX_POINT( '', #1195 ); #961 = LINE( '', #1196, #1197 ); #962 = VERTEX_POINT( '', #1198 ); #963 = LINE( '', #1199, #1200 ); #964 = VERTEX_POINT( '', #1201 ); #965 = LINE( '', #1202, #1203 ); #966 = LINE( '', #1204, #1205 ); #967 = VERTEX_POINT( '', #1206 ); #968 = LINE( '', #1207, #1208 ); #969 = LINE( '', #1209, #1210 ); #970 = FILL_AREA_STYLE_COLOUR( '', #1211 ); #971 = LINE( '', #1212, #1213 ); #972 = LINE( '', #1214, #1215 ); #973 = FILL_AREA_STYLE_COLOUR( '', #1216 ); #974 = LINE( '', #1217, #1218 ); #975 = FILL_AREA_STYLE_COLOUR( '', #1219 ); #976 = VERTEX_POINT( '', #1220 ); #977 = VERTEX_POINT( '', #1221 ); #978 = LINE( '', #1222, #1223 ); #979 = LINE( '', #1224, #1225 ); #980 = LINE( '', #1226, #1227 ); #981 = FILL_AREA_STYLE_COLOUR( '', #1228 ); #982 = VERTEX_POINT( '', #1229 ); #983 = LINE( '', #1230, #1231 ); #984 = LINE( '', #1232, #1233 ); #985 = LINE( '', #1234, #1235 ); #986 = FILL_AREA_STYLE_COLOUR( '', #1236 ); #987 = LINE( '', #1237, #1238 ); #988 = LINE( '', #1239, #1240 ); #989 = LINE( '', #1241, #1242 ); #990 = FILL_AREA_STYLE_COLOUR( '', #1243 ); #991 = FILL_AREA_STYLE_COLOUR( '', #1244 ); #992 = VERTEX_POINT( '', #1245 ); #993 = LINE( '', #1246, #1247 ); #994 = LINE( '', #1248, #1249 ); #995 = FILL_AREA_STYLE_COLOUR( '', #1250 ); #996 = LINE( '', #1251, #1252 ); #997 = FILL_AREA_STYLE_COLOUR( '', #1253 ); #998 = VERTEX_POINT( '', #1254 ); #999 = LINE( '', #1255, #1256 ); #1000 = LINE( '', #1257, #1258 ); #1001 = FILL_AREA_STYLE_COLOUR( '', #1259 ); #1002 = VERTEX_POINT( '', #1260 ); #1003 = LINE( '', #1261, #1262 ); #1004 = VERTEX_POINT( '', #1263 ); #1005 = LINE( '', #1264, #1265 ); #1006 = LINE( '', #1266, #1267 ); #1007 = FILL_AREA_STYLE_COLOUR( '', #1268 ); #1008 = FILL_AREA_STYLE_COLOUR( '', #1269 ); #1009 = VERTEX_POINT( '', #1270 ); #1010 = CIRCLE( '', #1271, 0.890652779200000 ); #1011 = FILL_AREA_STYLE_COLOUR( '', #1272 ); #1012 = VERTEX_POINT( '', #1273 ); #1013 = CIRCLE( '', #1274, 0.950000000000000 ); #1014 = CIRCLE( '', #1275, 0.950000000000000 ); #1015 = FILL_AREA_STYLE_COLOUR( '', #1276 ); #1016 = LINE( '', #1277, #1278 ); #1017 = LINE( '', #1279, #1280 ); #1018 = FILL_AREA_STYLE_COLOUR( '', #1281 ); #1019 = ELLIPSE( '', #1282, 3.05119645900000, 3.00000000000000 ); #1020 = ELLIPSE( '', #1283, 3.05119645900000, 3.00000000000000 ); #1021 = FILL_AREA_STYLE_COLOUR( '', #1284 ); #1022 = CIRCLE( '', #1285, 1.00000000000000 ); #1023 = LINE( '', #1286, #1287 ); #1024 = FILL_AREA_STYLE_COLOUR( '', #1288 ); #1025 = FILL_AREA_STYLE_COLOUR( '', #1289 ); #1026 = FILL_AREA_STYLE_COLOUR( '', #1290 ); #1027 = LINE( '', #1291, #1292 ); #1028 = FILL_AREA_STYLE_COLOUR( '', #1293 ); #1029 = FILL_AREA_STYLE_COLOUR( '', #1294 ); #1030 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1031 = CARTESIAN_POINT( '', ( 0.912844257252342, 0.419236475925678, 6.00000000000000 ) ); #1032 = CARTESIAN_POINT( '', ( 4.33680868994202E-16, 1.41543117401742, 6.00000000000000 ) ); #1033 = AXIS2_PLACEMENT_3D( '', #1295, #1296, #1297 ); #1034 = CARTESIAN_POINT( '', ( 4.33680868994202E-16, 1.41543117401742, 4.50000000000000 ) ); #1035 = CARTESIAN_POINT( '', ( 4.33680868994202E-16, 1.41543117401742, 4.50000000000000 ) ); #1036 = VECTOR( '', #1298, 1000.00000000000 ); #1037 = CARTESIAN_POINT( '', ( 0.912844257252342, 0.419236475925678, 4.50000000000000 ) ); #1038 = AXIS2_PLACEMENT_3D( '', #1299, #1300, #1301 ); #1039 = CARTESIAN_POINT( '', ( 0.912844257252342, 0.419236475925678, 4.50000000000000 ) ); #1040 = VECTOR( '', #1302, 1000.00000000000 ); #1041 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1042 = CARTESIAN_POINT( '', ( 4.73519438010285, 1.85000000000000, 4.50000000000000 ) ); #1043 = CARTESIAN_POINT( '', ( 4.00192378864668, 2.70000000000000, 4.50000000000000 ) ); #1044 = AXIS2_PLACEMENT_3D( '', #1303, #1304, #1305 ); #1045 = CARTESIAN_POINT( '', ( 4.00192378864668, 2.70000000000000, 6.00000000000000 ) ); #1046 = CARTESIAN_POINT( '', ( 4.00192378864668, 2.70000000000000, 4.50000000000000 ) ); #1047 = VECTOR( '', #1306, 1000.00000000000 ); #1048 = CARTESIAN_POINT( '', ( 4.73519438010285, 1.85000000000000, 6.00000000000000 ) ); #1049 = AXIS2_PLACEMENT_3D( '', #1307, #1308, #1309 ); #1050 = CARTESIAN_POINT( '', ( 4.73519438010285, 1.85000000000000, 4.50000000000000 ) ); #1051 = VECTOR( '', #1310, 1000.00000000000 ); #1052 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1053 = CARTESIAN_POINT( '', ( 2.00000000000000, 8.07587732705185, 4.50000000000000 ) ); #1054 = CARTESIAN_POINT( '', ( 2.00000000000000, 6.20000000000000, 4.50000000000000 ) ); #1055 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.950000000000001, 4.50000000000000 ) ); #1056 = VECTOR( '', #1311, 1000.00000000000 ); #1057 = CARTESIAN_POINT( '', ( 2.00000000000000, 8.07587732705185, 0.000000000000000 ) ); #1058 = CARTESIAN_POINT( '', ( 2.00000000000000, 8.07587732705185, 0.000000000000000 ) ); #1059 = VECTOR( '', #1312, 1000.00000000000 ); #1060 = CARTESIAN_POINT( '', ( 2.00000000000000, 6.20000000000000, 0.000000000000000 ) ); #1061 = CARTESIAN_POINT( '', ( 2.00000000000000, 9.20000000000000, 0.000000000000000 ) ); #1062 = VECTOR( '', #1313, 1000.00000000000 ); #1063 = CARTESIAN_POINT( '', ( 2.00000000000000, 6.20000000000000, 0.000000000000000 ) ); #1064 = VECTOR( '', #1314, 1000.00000000000 ); #1065 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1066 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.324122672948153, 4.50000000000000 ) ); #1067 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.324122672948153, 0.000000000000000 ) ); #1068 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.324122672948153, 0.000000000000000 ) ); #1069 = VECTOR( '', #1315, 1000.00000000000 ); #1070 = CARTESIAN_POINT( '', ( 2.00000000000000, 2.20000000000000, 4.50000000000000 ) ); #1071 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.950000000000001, 4.50000000000000 ) ); #1072 = VECTOR( '', #1316, 1000.00000000000 ); #1073 = CARTESIAN_POINT( '', ( 2.00000000000000, 2.20000000000000, 0.000000000000000 ) ); #1074 = CARTESIAN_POINT( '', ( 2.00000000000000, 2.20000000000000, 0.000000000000000 ) ); #1075 = VECTOR( '', #1317, 1000.00000000000 ); #1076 = CARTESIAN_POINT( '', ( 2.00000000000000, -0.800000000000000, 0.000000000000000 ) ); #1077 = VECTOR( '', #1318, 1000.00000000000 ); #1078 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1079 = CARTESIAN_POINT( '', ( 3.52920000000000, 2.20000000000000, 4.50000000000000 ) ); #1080 = CARTESIAN_POINT( '', ( 5.05000000000000, 2.20000000000000, 4.50000000000000 ) ); #1081 = VECTOR( '', #1319, 1000.00000000000 ); #1082 = CARTESIAN_POINT( '', ( 3.52920000000000, 2.20000000000000, 0.000000000000000 ) ); #1083 = CARTESIAN_POINT( '', ( 3.52920000000000, 2.20000000000000, 6.00000000000000 ) ); #1084 = VECTOR( '', #1320, 1000.00000000000 ); #1085 = CARTESIAN_POINT( '', ( 3.52920000000000, 2.20000000000000, 0.000000000000000 ) ); #1086 = VECTOR( '', #1321, 1000.00000000000 ); #1087 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1088 = CARTESIAN_POINT( '', ( 4.00192378864668, 5.70000000000000, 6.00000000000000 ) ); #1089 = CARTESIAN_POINT( '', ( 4.00192378864668, 5.70000000000000, 4.50000000000000 ) ); #1090 = CARTESIAN_POINT( '', ( 4.00192378864668, 5.70000000000000, 4.50000000000000 ) ); #1091 = VECTOR( '', #1322, 1000.00000000000 ); #1092 = CARTESIAN_POINT( '', ( 3.16408617261396, 5.70000000000000, 6.00000000000000 ) ); #1093 = CARTESIAN_POINT( '', ( 5.05000000000000, 5.70000000000000, 6.00000000000000 ) ); #1094 = VECTOR( '', #1323, 1000.00000000000 ); #1095 = CARTESIAN_POINT( '', ( 3.44238449785162, 5.70000000000000, 4.50000000000000 ) ); #1096 = CARTESIAN_POINT( '', ( 4.09602662668303, 5.70000000000000, 0.976934626143200 ) ); #1097 = VECTOR( '', #1324, 1000.00000000000 ); #1098 = CARTESIAN_POINT( '', ( 5.05000000000000, 5.70000000000000, 4.50000000000000 ) ); #1099 = VECTOR( '', #1325, 1000.00000000000 ); #1100 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1101 = CARTESIAN_POINT( '', ( 4.74586187348509, 1.85000000000000, 4.50000000000000 ) ); #1102 = CARTESIAN_POINT( '', ( 4.63968296804794, 0.0931803379414966, 4.50000000000000 ) ); #1103 = AXIS2_PLACEMENT_3D( '', #1326, #1327, #1328 ); #1104 = AXIS2_PLACEMENT_3D( '', #1329, #1330, #1331 ); #1105 = CARTESIAN_POINT( '', ( 5.94065277924406, 0.950000000000000, 1.10000000000000 ) ); #1106 = AXIS2_PLACEMENT_3D( '', #1332, #1333, #1334 ); #1107 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1108 = CARTESIAN_POINT( '', ( 4.73519438010285, 6.55000000000000, 6.00000000000000 ) ); #1109 = AXIS2_PLACEMENT_3D( '', #1335, #1336, #1337 ); #1110 = CARTESIAN_POINT( '', ( 4.73519438010285, 6.55000000000000, 4.50000000000000 ) ); #1111 = AXIS2_PLACEMENT_3D( '', #1338, #1339, #1340 ); #1112 = CARTESIAN_POINT( '', ( 4.73519438010285, 6.55000000000000, 4.50000000000000 ) ); #1113 = VECTOR( '', #1341, 1000.00000000000 ); #1114 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1115 = CARTESIAN_POINT( '', ( 3.20810253409555, 5.20000000000000, 4.50000000000000 ) ); #1116 = CARTESIAN_POINT( '', ( 3.77157287525381, 5.20000000000000, 1.46295149812482 ) ); #1117 = CARTESIAN_POINT( '', ( 3.86954080400068, 5.20000000000000, 0.934914209381486 ) ); #1118 = VECTOR( '', #1342, 1000.00000000000 ); #1119 = CARTESIAN_POINT( '', ( 3.77157287525381, 5.20000000000000, 0.800000000000000 ) ); #1120 = CARTESIAN_POINT( '', ( 3.77157287525381, 5.20000000000000, 0.800000000000000 ) ); #1121 = VECTOR( '', #1343, 1000.00000000000 ); #1122 = CARTESIAN_POINT( '', ( 4.10000000000000, 5.20000000000000, 0.799999999999999 ) ); #1123 = CARTESIAN_POINT( '', ( 4.00000000000000, 5.20000000000000, 0.799999999999999 ) ); #1124 = VECTOR( '', #1344, 1000.00000000000 ); #1125 = CARTESIAN_POINT( '', ( 4.10000000000000, 5.20000000000000, 0.600000000000000 ) ); #1126 = CARTESIAN_POINT( '', ( 4.10000000000000, 5.20000000000000, 0.799999999999999 ) ); #1127 = VECTOR( '', #1345, 1000.00000000000 ); #1128 = CARTESIAN_POINT( '', ( 3.75358983848622, 5.20000000000000, 0.000000000000000 ) ); #1129 = CARTESIAN_POINT( '', ( 4.10000000000000, 5.20000000000000, 0.600000000000000 ) ); #1130 = VECTOR( '', #1346, 1000.00000000000 ); #1131 = CARTESIAN_POINT( '', ( 2.00000000000000, 5.20000000000000, 0.000000000000000 ) ); #1132 = CARTESIAN_POINT( '', ( 3.75358983848622, 5.20000000000000, 0.000000000000000 ) ); #1133 = VECTOR( '', #1347, 1000.00000000000 ); #1134 = CARTESIAN_POINT( '', ( 2.00000000000000, 5.20000000000000, 4.50000000000000 ) ); #1135 = CARTESIAN_POINT( '', ( 2.00000000000000, 5.20000000000000, 0.000000000000000 ) ); #1136 = VECTOR( '', #1348, 1000.00000000000 ); #1137 = CARTESIAN_POINT( '', ( 5.05000000000000, 5.20000000000000, 4.50000000000000 ) ); #1138 = VECTOR( '', #1349, 1000.00000000000 ); #1139 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1140 = CARTESIAN_POINT( '', ( 4.63968296804794, 8.30681966205851, 6.00000000000000 ) ); #1141 = CARTESIAN_POINT( '', ( 4.74586187348509, 6.55000000000000, 6.00000000000000 ) ); #1142 = AXIS2_PLACEMENT_3D( '', #1350, #1351, #1352 ); #1143 = CARTESIAN_POINT( '', ( 0.912844257252343, 7.98076352407432, 6.00000000000000 ) ); #1144 = CARTESIAN_POINT( '', ( 0.912844257252342, 7.98076352407432, 6.00000000000000 ) ); #1145 = VECTOR( '', #1353, 1000.00000000000 ); #1146 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.98456882598258, 6.00000000000000 ) ); #1147 = AXIS2_PLACEMENT_3D( '', #1354, #1355, #1356 ); #1148 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.41543117401742, 6.00000000000000 ) ); #1149 = VECTOR( '', #1357, 1000.00000000000 ); #1150 = CARTESIAN_POINT( '', ( 4.63968296804794, 0.0931803379414966, 6.00000000000000 ) ); #1151 = CARTESIAN_POINT( '', ( 4.63968296804794, 0.0931803379414960, 6.00000000000000 ) ); #1152 = VECTOR( '', #1358, 1000.00000000000 ); #1153 = CARTESIAN_POINT( '', ( 4.74586187348509, 1.85000000000000, 6.00000000000000 ) ); #1154 = AXIS2_PLACEMENT_3D( '', #1359, #1360, #1361 ); #1155 = CARTESIAN_POINT( '', ( 4.73519438010285, 1.85000000000000, 6.00000000000000 ) ); #1156 = VECTOR( '', #1362, 1000.00000000000 ); #1157 = CARTESIAN_POINT( '', ( 3.16408617261396, 2.70000000000000, 6.00000000000000 ) ); #1158 = CARTESIAN_POINT( '', ( 5.05000000000000, 2.70000000000000, 6.00000000000000 ) ); #1159 = VECTOR( '', #1363, 1000.00000000000 ); #1160 = AXIS2_PLACEMENT_3D( '', #1364, #1365, #1366 ); #1161 = CARTESIAN_POINT( '', ( 4.74586187348509, 6.55000000000000, 6.00000000000000 ) ); #1162 = VECTOR( '', #1367, 1000.00000000000 ); #1163 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1164 = CARTESIAN_POINT( '', ( 2.00000000000000, 3.20000000000000, 4.50000000000000 ) ); #1165 = CARTESIAN_POINT( '', ( 2.00000000000000, 0.950000000000001, 4.50000000000000 ) ); #1166 = VECTOR( '', #1368, 1000.00000000000 ); #1167 = CARTESIAN_POINT( '', ( 2.00000000000000, 3.20000000000000, 0.000000000000000 ) ); #1168 = CARTESIAN_POINT( '', ( 2.00000000000000, 5.20000000000000, 0.000000000000000 ) ); #1169 = VECTOR( '', #1369, 1000.00000000000 ); #1170 = CARTESIAN_POINT( '', ( 2.00000000000000, 3.20000000000000, 0.000000000000000 ) ); #1171 = VECTOR( '', #1370, 1000.00000000000 ); #1172 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1173 = CARTESIAN_POINT( '', ( 3.77157287525381, 3.20000000000000, 1.46295149812482 ) ); #1174 = AXIS2_PLACEMENT_3D( '', #1371, #1372, #1373 ); #1175 = CARTESIAN_POINT( '', ( 3.77157287525381, 3.20000000000000, 0.800000000000000 ) ); #1176 = CARTESIAN_POINT( '', ( 3.77157287525381, 3.20000000000000, 0.800000000000000 ) ); #1177 = VECTOR( '', #1374, 1000.00000000000 ); #1178 = AXIS2_PLACEMENT_3D( '', #1375, #1376, #1377 ); #1179 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1180 = CARTESIAN_POINT( '', ( 4.10000000000000, 3.20000000000000, 0.600000000000000 ) ); #1181 = CARTESIAN_POINT( '', ( 3.75358983848622, 3.20000000000000, 0.000000000000000 ) ); #1182 = CARTESIAN_POINT( '', ( 4.10000000000000, 3.20000000000000, 0.600000000000000 ) ); #1183 = VECTOR( '', #1378, 1000.00000000000 ); #1184 = CARTESIAN_POINT( '', ( 3.75358983848622, 5.20000000000000, 0.000000000000000 ) ); #1185 = VECTOR( '', #1379, 1000.00000000000 ); #1186 = CARTESIAN_POINT( '', ( 4.10000000000000, 5.20000000000000, 0.600000000000000 ) ); #1187 = VECTOR( '', #1380, 1000.00000000000 ); #1188 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1189 = CARTESIAN_POINT( '', ( 4.10000000000000, 3.20000000000000, 0.799999999999999 ) ); #1190 = CARTESIAN_POINT( '', ( 4.10000000000000, 3.20000000000000, 0.799999999999999 ) ); #1191 = VECTOR( '', #1381, 1000.00000000000 ); #1192 = CARTESIAN_POINT( '', ( 4.10000000000000, 5.20000000000000, 0.799999999999999 ) ); #1193 = VECTOR( '', #1382, 1000.00000000000 ); #1194 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1195 = CARTESIAN_POINT( '', ( 4.63968296804794, 8.30681966205851, 4.50000000000000 ) ); #1196 = CARTESIAN_POINT( '', ( 4.63968296804794, 8.30681966205851, 4.50000000000000 ) ); #1197 = VECTOR( '', #1383, 1000.00000000000 ); #1198 = CARTESIAN_POINT( '', ( 3.52920000000000, 8.20966499131569, 4.50000000000000 ) ); #1199 = CARTESIAN_POINT( '', ( 0.912844257252342, 7.98076352407432, 4.50000000000000 ) ); #1200 = VECTOR( '', #1384, 1000.00000000000 ); #1201 = CARTESIAN_POINT( '', ( 3.52920000000000, 8.20966499131569, 0.000000000000000 ) ); #1202 = CARTESIAN_POINT( '', ( 3.52920000000000, 8.20966499131569, 6.00000000000000 ) ); #1203 = VECTOR( '', #1385, 1000.00000000000 ); #1204 = CARTESIAN_POINT( '', ( 3.61518493476890, 8.21718769834199, 0.000000000000000 ) ); #1205 = VECTOR( '', #1386, 1000.00000000000 ); #1206 = CARTESIAN_POINT( '', ( 0.912844257252343, 7.98076352407432, 4.50000000000000 ) ); #1207 = CARTESIAN_POINT( '', ( 0.912844257252342, 7.98076352407432, 4.50000000000000 ) ); #1208 = VECTOR( '', #1387, 1000.00000000000 ); #1209 = CARTESIAN_POINT( '', ( 0.912844257252343, 7.98076352407432, 4.50000000000000 ) ); #1210 = VECTOR( '', #1388, 1000.00000000000 ); #1211 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1212 = CARTESIAN_POINT( '', ( 4.63968296804794, 0.0931803379414966, 4.50000000000000 ) ); #1213 = VECTOR( '', #1389, 1000.00000000000 ); #1214 = CARTESIAN_POINT( '', ( 4.74586187348509, 1.85000000000000, 4.50000000000000 ) ); #1215 = VECTOR( '', #1390, 1000.00000000000 ); #1216 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1217 = CARTESIAN_POINT( '', ( 4.00000000000000, 3.20000000000000, 0.799999999999999 ) ); #1218 = VECTOR( '', #1391, 1000.00000000000 ); #1219 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1220 = CARTESIAN_POINT( '', ( 3.52920000000000, 0.190335008684310, 0.000000000000000 ) ); #1221 = CARTESIAN_POINT( '', ( 3.52920000000000, 0.190335008684310, 4.50000000000000 ) ); #1222 = CARTESIAN_POINT( '', ( 3.52920000000000, 0.190335008684310, 6.00000000000000 ) ); #1223 = VECTOR( '', #1392, 1000.00000000000 ); #1224 = CARTESIAN_POINT( '', ( 3.52920000000000, -0.800000000000000, 0.000000000000000 ) ); #1225 = VECTOR( '', #1393, 1000.00000000000 ); #1226 = CARTESIAN_POINT( '', ( 3.52920000000000, 0.950000000000001, 4.50000000000000 ) ); #1227 = VECTOR( '', #1394, 1000.00000000000 ); #1228 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1229 = CARTESIAN_POINT( '', ( 3.20810253409555, 3.20000000000000, 4.50000000000000 ) ); #1230 = CARTESIAN_POINT( '', ( 3.86954080400068, 3.20000000000000, 0.934914209381486 ) ); #1231 = VECTOR( '', #1395, 1000.00000000000 ); #1232 = CARTESIAN_POINT( '', ( 5.05000000000000, 3.20000000000000, 4.50000000000000 ) ); #1233 = VECTOR( '', #1396, 1000.00000000000 ); #1234 = CARTESIAN_POINT( '', ( 3.75358983848622, 3.20000000000000, 0.000000000000000 ) ); #1235 = VECTOR( '', #1397, 1000.00000000000 ); #1236 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1237 = CARTESIAN_POINT( '', ( 4.63968296804794, 0.0931803379414960, 4.50000000000000 ) ); #1238 = VECTOR( '', #1398, 1000.00000000000 ); #1239 = CARTESIAN_POINT( '', ( 3.61518493476890, 0.182812301658016, 0.000000000000000 ) ); #1240 = VECTOR( '', #1399, 1000.00000000000 ); #1241 = CARTESIAN_POINT( '', ( 4.63968296804794, 0.0931803379414960, 4.50000000000000 ) ); #1242 = VECTOR( '', #1400, 1000.00000000000 ); #1243 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1244 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1245 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.98456882598258, 4.50000000000000 ) ); #1246 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.98456882598258, 4.50000000000000 ) ); #1247 = VECTOR( '', #1401, 1000.00000000000 ); #1248 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.41543117401742, 4.50000000000000 ) ); #1249 = VECTOR( '', #1402, 1000.00000000000 ); #1250 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1251 = CARTESIAN_POINT( '', ( 4.73519438010285, 1.85000000000000, 4.50000000000000 ) ); #1252 = VECTOR( '', #1403, 1000.00000000000 ); #1253 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1254 = CARTESIAN_POINT( '', ( 3.44238449785162, 2.70000000000000, 4.50000000000000 ) ); #1255 = CARTESIAN_POINT( '', ( 4.09602662668303, 2.70000000000000, 0.976934626143200 ) ); #1256 = VECTOR( '', #1404, 1000.00000000000 ); #1257 = CARTESIAN_POINT( '', ( 5.05000000000000, 2.70000000000000, 4.50000000000000 ) ); #1258 = VECTOR( '', #1405, 1000.00000000000 ); #1259 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1260 = CARTESIAN_POINT( '', ( 3.52920000000000, 6.20000000000000, 4.50000000000000 ) ); #1261 = CARTESIAN_POINT( '', ( 5.05000000000000, 6.20000000000000, 4.50000000000000 ) ); #1262 = VECTOR( '', #1406, 1000.00000000000 ); #1263 = CARTESIAN_POINT( '', ( 3.52920000000000, 6.20000000000000, 0.000000000000000 ) ); #1264 = CARTESIAN_POINT( '', ( 3.52920000000000, 6.20000000000000, 0.000000000000000 ) ); #1265 = VECTOR( '', #1407, 1000.00000000000 ); #1266 = CARTESIAN_POINT( '', ( 3.52920000000000, 6.20000000000000, 6.00000000000000 ) ); #1267 = VECTOR( '', #1408, 1000.00000000000 ); #1268 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1269 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1270 = CARTESIAN_POINT( '', ( 5.94065277924406, 7.45000000000000, 1.10000000000000 ) ); #1271 = AXIS2_PLACEMENT_3D( '', #1409, #1410, #1411 ); #1272 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1273 = CARTESIAN_POINT( '', ( 4.74586187348509, 6.55000000000000, 4.50000000000000 ) ); #1274 = AXIS2_PLACEMENT_3D( '', #1412, #1413, #1414 ); #1275 = AXIS2_PLACEMENT_3D( '', #1415, #1416, #1417 ); #1276 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1277 = CARTESIAN_POINT( '', ( 4.74586187348509, 6.55000000000000, 4.50000000000000 ) ); #1278 = VECTOR( '', #1418, 1000.00000000000 ); #1279 = CARTESIAN_POINT( '', ( 4.74586187348509, 6.55000000000000, 4.50000000000000 ) ); #1280 = VECTOR( '', #1419, 1000.00000000000 ); #1281 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1282 = AXIS2_PLACEMENT_3D( '', #1420, #1421, #1422 ); #1283 = AXIS2_PLACEMENT_3D( '', #1423, #1424, #1425 ); #1284 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1285 = AXIS2_PLACEMENT_3D( '', #1426, #1427, #1428 ); #1286 = CARTESIAN_POINT( '', ( 3.52920000000000, 0.950000000000001, 4.50000000000000 ) ); #1287 = VECTOR( '', #1429, 1000.00000000000 ); #1288 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1289 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1290 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1291 = CARTESIAN_POINT( '', ( 3.52920000000000, 9.20000000000000, 0.000000000000000 ) ); #1292 = VECTOR( '', #1430, 1000.00000000000 ); #1293 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1294 = COLOUR_RGB( '', 0.689999997600000, 0.689999997600000, 0.689999997600000 ); #1295 = CARTESIAN_POINT( '', ( 1.00000000000000, 1.41543117401742, 6.00000000000000 ) ); #1296 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1297 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1298 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1299 = CARTESIAN_POINT( '', ( 1.00000000000000, 1.41543117401742, 4.50000000000000 ) ); #1300 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1301 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1302 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1303 = CARTESIAN_POINT( '', ( 6.60000000000000, 4.20000000000000, 4.50000000000000 ) ); #1304 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1305 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1306 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1307 = CARTESIAN_POINT( '', ( 6.60000000000000, 4.20000000000000, 6.00000000000000 ) ); #1308 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1309 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1310 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1311 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1312 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1313 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) ); #1314 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1315 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1316 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1317 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1318 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1319 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) ); #1320 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1321 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1322 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1323 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1324 = DIRECTION( '', ( -0.182419145393389, -0.000000000000000, 0.983220857892033 ) ); #1325 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1326 = CARTESIAN_POINT( '', ( 5.05000000000000, 0.950000000000001, 4.50000000000000 ) ); #1327 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1328 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1329 = CARTESIAN_POINT( '', ( 5.05000000000000, 0.950000000000000, 4.50000000000000 ) ); #1330 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1331 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1332 = CARTESIAN_POINT( '', ( 5.05000000000000, 0.950000000000000, 1.10000000000000 ) ); #1333 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1334 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1335 = CARTESIAN_POINT( '', ( 6.60000000000000, 4.20000000000000, 6.00000000000000 ) ); #1336 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1337 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1338 = CARTESIAN_POINT( '', ( 6.60000000000000, 4.20000000000000, 4.50000000000000 ) ); #1339 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1340 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1341 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1342 = DIRECTION( '', ( -0.182419145393389, -0.000000000000000, 0.983220857892033 ) ); #1343 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1344 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1345 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1346 = DIRECTION( '', ( -0.500000000000000, 0.000000000000000, -0.866025403784438 ) ); #1347 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1348 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1349 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) ); #1350 = CARTESIAN_POINT( '', ( 5.05000000000000, 7.45000000000000, 6.00000000000000 ) ); #1351 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1352 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1353 = DIRECTION( '', ( 0.996194698091746, 0.0871557427476582, 0.000000000000000 ) ); #1354 = CARTESIAN_POINT( '', ( 1.00000000000000, 6.98456882598258, 6.00000000000000 ) ); #1355 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1356 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1357 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1358 = DIRECTION( '', ( -0.996194698091746, 0.0871557427476577, 0.000000000000000 ) ); #1359 = CARTESIAN_POINT( '', ( 5.05000000000000, 0.950000000000001, 6.00000000000000 ) ); #1360 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1361 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1362 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1363 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) ); #1364 = CARTESIAN_POINT( '', ( 5.80649981803178, 4.20000000000000, 6.00000000000000 ) ); #1365 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1366 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1367 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1368 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1369 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) ); #1370 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1371 = CARTESIAN_POINT( '', ( 6.60000000000000, 4.20000000000000, 1.72311377750509 ) ); #1372 = DIRECTION( '', ( -0.0915946016639816, -0.000000000000000, 0.995796379259343 ) ); #1373 = DIRECTION( '', ( -0.995796379259343, 0.000000000000000, -0.0915946016639816 ) ); #1374 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1375 = CARTESIAN_POINT( '', ( 6.60000000000000, 4.20000000000000, 0.800000000000000 ) ); #1376 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1377 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1378 = DIRECTION( '', ( -0.500000000000000, 0.000000000000000, -0.866025403784438 ) ); #1379 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) ); #1380 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) ); #1381 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1382 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) ); #1383 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1384 = DIRECTION( '', ( 0.996194698091746, 0.0871557427476582, 0.000000000000000 ) ); #1385 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1386 = DIRECTION( '', ( 0.996194698091746, 0.0871557427476582, 0.000000000000000 ) ); #1387 = DIRECTION( '', ( 0.996194698091746, 0.0871557427476582, 0.000000000000000 ) ); #1388 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1389 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1390 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1391 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1392 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1393 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1394 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1395 = DIRECTION( '', ( -0.182419145393389, -0.000000000000000, 0.983220857892033 ) ); #1396 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) ); #1397 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1398 = DIRECTION( '', ( -0.996194698091746, 0.0871557427476577, 0.000000000000000 ) ); #1399 = DIRECTION( '', ( 0.996194698091746, -0.0871557427476580, 0.000000000000000 ) ); #1400 = DIRECTION( '', ( -0.996194698091746, 0.0871557427476577, 0.000000000000000 ) ); #1401 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1402 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1403 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1404 = DIRECTION( '', ( -0.182419145393389, -0.000000000000000, 0.983220857892033 ) ); #1405 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) ); #1406 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, 0.000000000000000 ) ); #1407 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1408 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1409 = CARTESIAN_POINT( '', ( 5.05000000000000, 7.45000000000000, 1.10000000000000 ) ); #1410 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1411 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1412 = CARTESIAN_POINT( '', ( 5.05000000000000, 7.45000000000000, 4.50000000000000 ) ); #1413 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1414 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1415 = CARTESIAN_POINT( '', ( 5.05000000000000, 7.45000000000000, 4.50000000000000 ) ); #1416 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1417 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1418 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1419 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #1420 = CARTESIAN_POINT( '', ( 6.08479814326943, 4.20000000000000, 4.50000000000000 ) ); #1421 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1422 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1423 = CARTESIAN_POINT( '', ( 6.08479814326943, 4.20000000000000, 4.50000000000000 ) ); #1424 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1425 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1426 = CARTESIAN_POINT( '', ( 1.00000000000000, 6.98456882598258, 4.50000000000000 ) ); #1427 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1428 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1429 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1430 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) ); ENDSEC; END-ISO-10303-21;