ISO-10303-21; HEADER; FILE_DESCRIPTION( ( 'Unknown' ), '1' ); FILE_NAME( 'D:/\X2\66AB5B58\X0\/\X2\4FEE653966AB5B58\X0\/SVF-3D/SVF-A01(\X2\6954578B584A7D44\X0\)/SVF-A01-50.stp', 'Unknown', ( 'Unknown' ), ( 'Unknown' ), 'PSStep 17.0.49', 'Unknown', ' ' ); FILE_SCHEMA( ( 'AUTOMOTIVE_DESIGN { 1 0 10303 214 1 1 1 1 }' ) ); ENDSEC; DATA; #1 = PRODUCT_DEFINITION_CONTEXT( '', #18, 'design' ); #2 = APPLICATION_PROTOCOL_DEFINITION( 'international standard', 'automotive_design', 2001, #18 ); #3 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #19, #20 ); #4 = SHAPE_DEFINITION_REPRESENTATION( #21, #22 ); #5 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #19, #23 ); #6 = CONTEXT_DEPENDENT_SHAPE_REPRESENTATION( #24, #25 ); #7 = SHAPE_DEFINITION_REPRESENTATION( #26, #27 ); #8 = SHAPE_REPRESENTATION_RELATIONSHIP( 'NONE', 'NONE', #27, #28 ); #9 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #19, #29 ); #10 = CONTEXT_DEPENDENT_SHAPE_REPRESENTATION( #30, #31 ); #11 = SHAPE_DEFINITION_REPRESENTATION( #32, #33 ); #12 = SHAPE_REPRESENTATION_RELATIONSHIP( 'NONE', 'NONE', #33, #34 ); #13 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION( ' ', ( #35, #36, #37, #38, #39, #40, #41, #42, #43, #44, #45, #46, #47, #48, #49, #50, #51, #52, #53, #54, #55, #56, #57, #58, #59, #60, #61, #62, #63, #64, #65, #66, #67, #68, #69, #70, #71, #72, #73, #74 ), #14 ); #14 = ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #77 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #79, #80, #81 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) ); #18 = APPLICATION_CONTEXT( 'core data for automotive mechanical design processes' ); #19 = PRODUCT_CATEGORY( 'part', 'NONE' ); #20 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #83 ) ); #21 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #84 ); #22 = SHAPE_REPRESENTATION( 'Assem1', ( #85, #86, #87 ), #88 ); #23 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #89 ) ); #24 = ( REPRESENTATION_RELATIONSHIP( '', '', #27, #22 )REPRESENTATION_RELATIONSHIP_WITH_TRANSFORMATION( #92 )SHAPE_REPRESENTATION_RELATIONSHIP( ) ); #25 = PRODUCT_DEFINITION_SHAPE( 'NAUO-PROD-DEF', 'NAUO-PROD-DEF', #94 ); #26 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #95 ); #27 = SHAPE_REPRESENTATION( '1-SVF-ABT-50-2', ( #85 ), #88 ); #28 = ADVANCED_BREP_SHAPE_REPRESENTATION( '1-SVF-ABT-50-2', ( #96 ), #14 ); #29 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #97 ) ); #30 = ( REPRESENTATION_RELATIONSHIP( '', '', #33, #22 )REPRESENTATION_RELATIONSHIP_WITH_TRANSFORMATION( #100 )SHAPE_REPRESENTATION_RELATIONSHIP( ) ); #31 = PRODUCT_DEFINITION_SHAPE( 'NAUO-PROD-DEF', 'NAUO-PROD-DEF', #102 ); #32 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #103 ); #33 = SHAPE_REPRESENTATION( '1-SVF-A01-50-1', ( #85 ), #88 ); #34 = ADVANCED_BREP_SHAPE_REPRESENTATION( '1-SVF-A01-50-1', ( #104 ), #14 ); #35 = STYLED_ITEM( '', ( #105 ), #106 ); #36 = STYLED_ITEM( '', ( #107 ), #108 ); #37 = STYLED_ITEM( '', ( #109 ), #110 ); #38 = STYLED_ITEM( '', ( #111 ), #112 ); #39 = STYLED_ITEM( '', ( #113 ), #114 ); #40 = STYLED_ITEM( '', ( #115 ), #116 ); #41 = STYLED_ITEM( '', ( #117 ), #118 ); #42 = STYLED_ITEM( '', ( #119 ), #120 ); #43 = STYLED_ITEM( '', ( #121 ), #122 ); #44 = STYLED_ITEM( '', ( #123 ), #124 ); #45 = STYLED_ITEM( '', ( #125 ), #126 ); #46 = STYLED_ITEM( '', ( #127 ), #128 ); #47 = STYLED_ITEM( '', ( #129 ), #130 ); #48 = STYLED_ITEM( '', ( #131 ), #132 ); #49 = STYLED_ITEM( '', ( #133 ), #134 ); #50 = STYLED_ITEM( '', ( #135 ), #136 ); #51 = STYLED_ITEM( '', ( #137 ), #138 ); #52 = STYLED_ITEM( '', ( #139 ), #140 ); #53 = STYLED_ITEM( '', ( #141 ), #142 ); #54 = STYLED_ITEM( '', ( #143 ), #144 ); #55 = STYLED_ITEM( '', ( #145 ), #146 ); #56 = STYLED_ITEM( '', ( #147 ), #148 ); #57 = STYLED_ITEM( '', ( #149 ), #150 ); #58 = STYLED_ITEM( '', ( #151 ), #152 ); #59 = STYLED_ITEM( '', ( #153 ), #154 ); #60 = STYLED_ITEM( '', ( #155 ), #156 ); #61 = STYLED_ITEM( '', ( #157 ), #158 ); #62 = STYLED_ITEM( '', ( #159 ), #160 ); #63 = STYLED_ITEM( '', ( #161 ), #162 ); #64 = STYLED_ITEM( '', ( #163 ), #164 ); #65 = STYLED_ITEM( '', ( #165 ), #166 ); #66 = STYLED_ITEM( '', ( #167 ), #168 ); #67 = STYLED_ITEM( '', ( #169 ), #170 ); #68 = STYLED_ITEM( '', ( #171 ), #172 ); #69 = STYLED_ITEM( '', ( #173 ), #174 ); #70 = STYLED_ITEM( '', ( #175 ), #176 ); #71 = STYLED_ITEM( '', ( #177 ), #178 ); #72 = STYLED_ITEM( '', ( #179 ), #180 ); #73 = STYLED_ITEM( '', ( #181 ), #182 ); #74 = STYLED_ITEM( '', ( #183 ), #184 ); #77 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 0.00100000000000000 ), #79, '', '' ); #79 = ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #187 )LENGTH_UNIT( )NAMED_UNIT( #190 ) ); #80 = ( NAMED_UNIT( #192 )PLANE_ANGLE_UNIT( )SI_UNIT( $, .RADIAN. ) ); #81 = ( NAMED_UNIT( #192 )SI_UNIT( $, .STERADIAN. )SOLID_ANGLE_UNIT( ) ); #83 = PRODUCT( 'Assem1', 'Assem1', 'PART-Assem1-DESC', ( #198 ) ); #84 = PRODUCT_DEFINITION( 'NONE', 'NONE', #199, #1 ); #85 = AXIS2_PLACEMENT_3D( '', #200, #201, #202 ); #86 = AXIS2_PLACEMENT_3D( '', #203, #204, #205 ); #87 = AXIS2_PLACEMENT_3D( '', #206, #207, #208 ); #88 = ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #211 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #213, #214, #215 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) ); #89 = PRODUCT( '1-SVF-ABT-50-2', '1-SVF-ABT-50-2', 'PART-1-SVF-ABT-50-2-DESC', ( #198 ) ); #92 = ITEM_DEFINED_TRANSFORMATION( '', '', #85, #86 ); #94 = NEXT_ASSEMBLY_USAGE_OCCURRENCE( 'NAUO1', '1-SVF-ABT-50-2', '1-SVF-ABT-50-2', #84, #95, $ ); #95 = PRODUCT_DEFINITION( '1-SVF-ABT-50-2', '1-SVF-ABT-50-2', #217, #1 ); #96 = MANIFOLD_SOLID_BREP( '1-SVF-ABT-50-2', #218 ); #97 = PRODUCT( '1-SVF-A01-50-1', '1-SVF-A01-50-1', 'PART-1-SVF-A01-50-1-DESC', ( #198 ) ); #100 = ITEM_DEFINED_TRANSFORMATION( '', '', #85, #87 ); #102 = NEXT_ASSEMBLY_USAGE_OCCURRENCE( 'NAUO2', '1-SVF-A01-50-1', '1-SVF-A01-50-1', #84, #103, $ ); #103 = PRODUCT_DEFINITION( '1-SVF-A01-50-1', '1-SVF-A01-50-1', #219, #1 ); #104 = MANIFOLD_SOLID_BREP( '1-SVF-A01-50-1', #220 ); #105 = PRESENTATION_STYLE_ASSIGNMENT( ( #221 ) ); #106 = ADVANCED_FACE( '', ( #222 ), #223, .F. ); #107 = PRESENTATION_STYLE_ASSIGNMENT( ( #224 ) ); #108 = ADVANCED_FACE( '', ( #225 ), #226, .F. ); #109 = PRESENTATION_STYLE_ASSIGNMENT( ( #227 ) ); #110 = ADVANCED_FACE( '', ( #228, #229 ), #230, .F. ); #111 = PRESENTATION_STYLE_ASSIGNMENT( ( #231 ) ); #112 = ADVANCED_FACE( '', ( #232 ), #233, .F. ); #113 = PRESENTATION_STYLE_ASSIGNMENT( ( #234 ) ); #114 = ADVANCED_FACE( '', ( #235, #236 ), #237, .F. ); #115 = PRESENTATION_STYLE_ASSIGNMENT( ( #238 ) ); #116 = ADVANCED_FACE( '', ( #239 ), #240, .F. ); #117 = PRESENTATION_STYLE_ASSIGNMENT( ( #241 ) ); #118 = ADVANCED_FACE( '', ( #242, #243 ), #244, .F. ); #119 = PRESENTATION_STYLE_ASSIGNMENT( ( #245 ) ); #120 = ADVANCED_FACE( '', ( #246 ), #247, .F. ); #121 = PRESENTATION_STYLE_ASSIGNMENT( ( #248 ) ); #122 = ADVANCED_FACE( '', ( #249, #250 ), #251, .F. ); #123 = PRESENTATION_STYLE_ASSIGNMENT( ( #252 ) ); #124 = ADVANCED_FACE( '', ( #253, #254 ), #255, .F. ); #125 = PRESENTATION_STYLE_ASSIGNMENT( ( #256 ) ); #126 = ADVANCED_FACE( '', ( #257 ), #258, .F. ); #127 = PRESENTATION_STYLE_ASSIGNMENT( ( #259 ) ); #128 = ADVANCED_FACE( '', ( #260 ), #261, .T. ); #129 = PRESENTATION_STYLE_ASSIGNMENT( ( #262 ) ); #130 = ADVANCED_FACE( '', ( #263 ), #264, .F. ); #131 = PRESENTATION_STYLE_ASSIGNMENT( ( #265 ) ); #132 = ADVANCED_FACE( '', ( #266 ), #267, .T. ); #133 = PRESENTATION_STYLE_ASSIGNMENT( ( #268 ) ); #134 = ADVANCED_FACE( '', ( #269 ), #270, .F. ); #135 = PRESENTATION_STYLE_ASSIGNMENT( ( #271 ) ); #136 = ADVANCED_FACE( '', ( #272 ), #273, .F. ); #137 = PRESENTATION_STYLE_ASSIGNMENT( ( #274 ) ); #138 = ADVANCED_FACE( '', ( #275 ), #276, .F. ); #139 = PRESENTATION_STYLE_ASSIGNMENT( ( #277 ) ); #140 = ADVANCED_FACE( '', ( #278 ), #279, .F. ); #141 = PRESENTATION_STYLE_ASSIGNMENT( ( #280 ) ); #142 = ADVANCED_FACE( '', ( #281 ), #282, .F. ); #143 = PRESENTATION_STYLE_ASSIGNMENT( ( #283 ) ); #144 = ADVANCED_FACE( '', ( #284, #285 ), #286, .F. ); #145 = PRESENTATION_STYLE_ASSIGNMENT( ( #287 ) ); #146 = ADVANCED_FACE( '', ( #288 ), #289, .F. ); #147 = PRESENTATION_STYLE_ASSIGNMENT( ( #290 ) ); #148 = ADVANCED_FACE( '', ( #291 ), #292, .T. ); #149 = PRESENTATION_STYLE_ASSIGNMENT( ( #293 ) ); #150 = ADVANCED_FACE( '', ( #294 ), #295, .F. ); #151 = PRESENTATION_STYLE_ASSIGNMENT( ( #296 ) ); #152 = ADVANCED_FACE( '', ( #297 ), #298, .F. ); #153 = PRESENTATION_STYLE_ASSIGNMENT( ( #299 ) ); #154 = ADVANCED_FACE( '', ( #300 ), #301, .F. ); #155 = PRESENTATION_STYLE_ASSIGNMENT( ( #302 ) ); #156 = ADVANCED_FACE( '', ( #303 ), #304, .F. ); #157 = PRESENTATION_STYLE_ASSIGNMENT( ( #305 ) ); #158 = ADVANCED_FACE( '', ( #306 ), #307, .F. ); #159 = PRESENTATION_STYLE_ASSIGNMENT( ( #308 ) ); #160 = ADVANCED_FACE( '', ( #309, #310 ), #311, .F. ); #161 = PRESENTATION_STYLE_ASSIGNMENT( ( #312 ) ); #162 = ADVANCED_FACE( '', ( #313 ), #314, .F. ); #163 = PRESENTATION_STYLE_ASSIGNMENT( ( #315 ) ); #164 = ADVANCED_FACE( '', ( #316 ), #317, .F. ); #165 = PRESENTATION_STYLE_ASSIGNMENT( ( #318 ) ); #166 = ADVANCED_FACE( '', ( #319, #320 ), #321, .F. ); #167 = PRESENTATION_STYLE_ASSIGNMENT( ( #322 ) ); #168 = ADVANCED_FACE( '', ( #323 ), #324, .F. ); #169 = PRESENTATION_STYLE_ASSIGNMENT( ( #325 ) ); #170 = ADVANCED_FACE( '', ( #326 ), #327, .F. ); #171 = PRESENTATION_STYLE_ASSIGNMENT( ( #328 ) ); #172 = ADVANCED_FACE( '', ( #329 ), #330, .T. ); #173 = PRESENTATION_STYLE_ASSIGNMENT( ( #331 ) ); #174 = ADVANCED_FACE( '', ( #332 ), #333, .T. ); #175 = PRESENTATION_STYLE_ASSIGNMENT( ( #334 ) ); #176 = ADVANCED_FACE( '', ( #335 ), #336, .F. ); #177 = PRESENTATION_STYLE_ASSIGNMENT( ( #337 ) ); #178 = ADVANCED_FACE( '', ( #338 ), #339, .F. ); #179 = PRESENTATION_STYLE_ASSIGNMENT( ( #340 ) ); #180 = ADVANCED_FACE( '', ( #341, #342 ), #343, .T. ); #181 = PRESENTATION_STYLE_ASSIGNMENT( ( #344 ) ); #182 = ADVANCED_FACE( '', ( #345 ), #346, .F. ); #183 = PRESENTATION_STYLE_ASSIGNMENT( ( #347 ) ); #184 = ADVANCED_FACE( '', ( #348, #349 ), #350, .F. ); #187 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #351 ); #190 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 ); #192 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 ); #198 = PRODUCT_CONTEXT( '', #18, 'mechanical' ); #199 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #83, .NOT_KNOWN. ); #200 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) ); #201 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #202 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #203 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) ); #204 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #205 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #206 = CARTESIAN_POINT( '', ( 3.34265179559187E-015, -2.96973383384636E-014, 24.5000000000000 ) ); #207 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #208 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #211 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 0.00100000000000000 ), #213, '', '' ); #213 = ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #354 )LENGTH_UNIT( )NAMED_UNIT( #357 ) ); #214 = ( NAMED_UNIT( #359 )PLANE_ANGLE_UNIT( )SI_UNIT( $, .RADIAN. ) ); #215 = ( NAMED_UNIT( #359 )SI_UNIT( $, .STERADIAN. )SOLID_ANGLE_UNIT( ) ); #217 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #89, .NOT_KNOWN. ); #218 = CLOSED_SHELL( '', ( #138, #108, #134, #158, #124, #156, #172, #146, #140, #114, #142, #120, #130, #170, #184 ) ); #219 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #97, .NOT_KNOWN. ); #220 = CLOSED_SHELL( '', ( #160, #118, #154, #178, #162, #164, #116, #132, #106, #174, #122, #176, #166, #144, #110, #168, #126, #150, #182, #152, #112, #180, #148, #128, #136 ) ); #221 = SURFACE_STYLE_USAGE( .BOTH., #365 ); #222 = FACE_OUTER_BOUND( '', #366, .T. ); #223 = PLANE( '', #367 ); #224 = SURFACE_STYLE_USAGE( .BOTH., #368 ); #225 = FACE_OUTER_BOUND( '', #369, .T. ); #226 = PLANE( '', #370 ); #227 = SURFACE_STYLE_USAGE( .BOTH., #371 ); #228 = FACE_BOUND( '', #372, .T. ); #229 = FACE_OUTER_BOUND( '', #373, .T. ); #230 = PLANE( '', #374 ); #231 = SURFACE_STYLE_USAGE( .BOTH., #375 ); #232 = FACE_OUTER_BOUND( '', #376, .T. ); #233 = CYLINDRICAL_SURFACE( '', #377, 3.50000000000000 ); #234 = SURFACE_STYLE_USAGE( .BOTH., #378 ); #235 = FACE_BOUND( '', #379, .T. ); #236 = FACE_OUTER_BOUND( '', #380, .T. ); #237 = PLANE( '', #381 ); #238 = SURFACE_STYLE_USAGE( .BOTH., #382 ); #239 = FACE_OUTER_BOUND( '', #383, .T. ); #240 = PLANE( '', #384 ); #241 = SURFACE_STYLE_USAGE( .BOTH., #385 ); #242 = FACE_BOUND( '', #386, .T. ); #243 = FACE_OUTER_BOUND( '', #387, .T. ); #244 = CONICAL_SURFACE( '', #388, 8.00000000000000, 0.785398163397448 ); #245 = SURFACE_STYLE_USAGE( .BOTH., #389 ); #246 = FACE_OUTER_BOUND( '', #390, .T. ); #247 = PLANE( '', #391 ); #248 = SURFACE_STYLE_USAGE( .BOTH., #392 ); #249 = FACE_BOUND( '', #393, .T. ); #250 = FACE_OUTER_BOUND( '', #394, .T. ); #251 = PLANE( '', #395 ); #252 = SURFACE_STYLE_USAGE( .BOTH., #396 ); #253 = FACE_BOUND( '', #397, .T. ); #254 = FACE_OUTER_BOUND( '', #398, .T. ); #255 = PLANE( '', #399 ); #256 = SURFACE_STYLE_USAGE( .BOTH., #400 ); #257 = FACE_OUTER_BOUND( '', #401, .T. ); #258 = CYLINDRICAL_SURFACE( '', #402, 3.50000000000000 ); #259 = SURFACE_STYLE_USAGE( .BOTH., #403 ); #260 = FACE_OUTER_BOUND( '', #404, .T. ); #261 = PLANE( '', #405 ); #262 = SURFACE_STYLE_USAGE( .BOTH., #406 ); #263 = FACE_OUTER_BOUND( '', #407, .T. ); #264 = PLANE( '', #408 ); #265 = SURFACE_STYLE_USAGE( .BOTH., #409 ); #266 = FACE_OUTER_BOUND( '', #410, .T. ); #267 = PLANE( '', #411 ); #268 = SURFACE_STYLE_USAGE( .BOTH., #412 ); #269 = FACE_OUTER_BOUND( '', #413, .T. ); #270 = PLANE( '', #414 ); #271 = SURFACE_STYLE_USAGE( .BOTH., #415 ); #272 = FACE_OUTER_BOUND( '', #416, .T. ); #273 = PLANE( '', #417 ); #274 = SURFACE_STYLE_USAGE( .BOTH., #418 ); #275 = FACE_OUTER_BOUND( '', #419, .T. ); #276 = PLANE( '', #420 ); #277 = SURFACE_STYLE_USAGE( .BOTH., #421 ); #278 = FACE_OUTER_BOUND( '', #422, .T. ); #279 = PLANE( '', #423 ); #280 = SURFACE_STYLE_USAGE( .BOTH., #424 ); #281 = FACE_OUTER_BOUND( '', #425, .T. ); #282 = PLANE( '', #426 ); #283 = SURFACE_STYLE_USAGE( .BOTH., #427 ); #284 = FACE_OUTER_BOUND( '', #428, .T. ); #285 = FACE_OUTER_BOUND( '', #429, .T. ); #286 = CYLINDRICAL_SURFACE( '', #430, 4.25000000000000 ); #287 = SURFACE_STYLE_USAGE( .BOTH., #431 ); #288 = FACE_OUTER_BOUND( '', #432, .T. ); #289 = PLANE( '', #433 ); #290 = SURFACE_STYLE_USAGE( .BOTH., #434 ); #291 = FACE_OUTER_BOUND( '', #435, .T. ); #292 = PLANE( '', #436 ); #293 = SURFACE_STYLE_USAGE( .BOTH., #437 ); #294 = FACE_OUTER_BOUND( '', #438, .T. ); #295 = PLANE( '', #439 ); #296 = SURFACE_STYLE_USAGE( .BOTH., #440 ); #297 = FACE_OUTER_BOUND( '', #441, .T. ); #298 = PLANE( '', #442 ); #299 = SURFACE_STYLE_USAGE( .BOTH., #443 ); #300 = FACE_OUTER_BOUND( '', #444, .T. ); #301 = PLANE( '', #445 ); #302 = SURFACE_STYLE_USAGE( .BOTH., #446 ); #303 = FACE_OUTER_BOUND( '', #447, .T. ); #304 = PLANE( '', #448 ); #305 = SURFACE_STYLE_USAGE( .BOTH., #449 ); #306 = FACE_OUTER_BOUND( '', #450, .T. ); #307 = PLANE( '', #451 ); #308 = SURFACE_STYLE_USAGE( .BOTH., #452 ); #309 = FACE_BOUND( '', #453, .T. ); #310 = FACE_OUTER_BOUND( '', #454, .T. ); #311 = CONICAL_SURFACE( '', #455, 4.75000000000000, 0.785398163397448 ); #312 = SURFACE_STYLE_USAGE( .BOTH., #456 ); #313 = FACE_OUTER_BOUND( '', #457, .T. ); #314 = PLANE( '', #458 ); #315 = SURFACE_STYLE_USAGE( .BOTH., #459 ); #316 = FACE_OUTER_BOUND( '', #460, .T. ); #317 = PLANE( '', #461 ); #318 = SURFACE_STYLE_USAGE( .BOTH., #462 ); #319 = FACE_OUTER_BOUND( '', #463, .T. ); #320 = FACE_OUTER_BOUND( '', #464, .T. ); #321 = CYLINDRICAL_SURFACE( '', #465, 7.00000000000000 ); #322 = SURFACE_STYLE_USAGE( .BOTH., #466 ); #323 = FACE_OUTER_BOUND( '', #467, .T. ); #324 = PLANE( '', #468 ); #325 = SURFACE_STYLE_USAGE( .BOTH., #469 ); #326 = FACE_OUTER_BOUND( '', #470, .T. ); #327 = PLANE( '', #471 ); #328 = SURFACE_STYLE_USAGE( .BOTH., #472 ); #329 = FACE_OUTER_BOUND( '', #473, .T. ); #330 = PLANE( '', #474 ); #331 = SURFACE_STYLE_USAGE( .BOTH., #475 ); #332 = FACE_OUTER_BOUND( '', #476, .T. ); #333 = PLANE( '', #477 ); #334 = SURFACE_STYLE_USAGE( .BOTH., #478 ); #335 = FACE_OUTER_BOUND( '', #479, .T. ); #336 = PLANE( '', #480 ); #337 = SURFACE_STYLE_USAGE( .BOTH., #481 ); #338 = FACE_OUTER_BOUND( '', #482, .T. ); #339 = PLANE( '', #483 ); #340 = SURFACE_STYLE_USAGE( .BOTH., #484 ); #341 = FACE_BOUND( '', #485, .T. ); #342 = FACE_OUTER_BOUND( '', #486, .T. ); #343 = PLANE( '', #487 ); #344 = SURFACE_STYLE_USAGE( .BOTH., #488 ); #345 = FACE_OUTER_BOUND( '', #489, .T. ); #346 = PLANE( '', #490 ); #347 = SURFACE_STYLE_USAGE( .BOTH., #491 ); #348 = FACE_OUTER_BOUND( '', #492, .T. ); #349 = FACE_OUTER_BOUND( '', #493, .T. ); #350 = CYLINDRICAL_SURFACE( '', #494, 3.40000000000000 ); #351 = ( LENGTH_UNIT( )NAMED_UNIT( #190 )SI_UNIT( .MILLI., .METRE. ) ); #354 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #496 ); #357 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 ); #359 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 ); #365 = SURFACE_SIDE_STYLE( '', ( #497 ) ); #366 = EDGE_LOOP( '', ( #498, #499, #500, #501, #502, #503 ) ); #367 = AXIS2_PLACEMENT_3D( '', #504, #505, #506 ); #368 = SURFACE_SIDE_STYLE( '', ( #507 ) ); #369 = EDGE_LOOP( '', ( #508, #509, #510, #511 ) ); #370 = AXIS2_PLACEMENT_3D( '', #512, #513, #514 ); #371 = SURFACE_SIDE_STYLE( '', ( #515 ) ); #372 = EDGE_LOOP( '', ( #516 ) ); #373 = EDGE_LOOP( '', ( #517 ) ); #374 = AXIS2_PLACEMENT_3D( '', #518, #519, #520 ); #375 = SURFACE_SIDE_STYLE( '', ( #521 ) ); #376 = EDGE_LOOP( '', ( #522, #523, #524, #525 ) ); #377 = AXIS2_PLACEMENT_3D( '', #526, #527, #528 ); #378 = SURFACE_SIDE_STYLE( '', ( #529 ) ); #379 = EDGE_LOOP( '', ( #530 ) ); #380 = EDGE_LOOP( '', ( #531, #532, #533, #534 ) ); #381 = AXIS2_PLACEMENT_3D( '', #535, #536, #537 ); #382 = SURFACE_SIDE_STYLE( '', ( #538 ) ); #383 = EDGE_LOOP( '', ( #539, #540, #541, #542, #543, #544, #545, #546, #547, #548, #549, #550, #551, #552, #553, #554 ) ); #384 = AXIS2_PLACEMENT_3D( '', #555, #556, #557 ); #385 = SURFACE_SIDE_STYLE( '', ( #558 ) ); #386 = EDGE_LOOP( '', ( #559 ) ); #387 = EDGE_LOOP( '', ( #560 ) ); #388 = AXIS2_PLACEMENT_3D( '', #561, #562, #563 ); #389 = SURFACE_SIDE_STYLE( '', ( #564 ) ); #390 = EDGE_LOOP( '', ( #565, #566, #567, #568 ) ); #391 = AXIS2_PLACEMENT_3D( '', #569, #570, #571 ); #392 = SURFACE_SIDE_STYLE( '', ( #572 ) ); #393 = EDGE_LOOP( '', ( #573 ) ); #394 = EDGE_LOOP( '', ( #574, #575, #576, #577 ) ); #395 = AXIS2_PLACEMENT_3D( '', #578, #579, #580 ); #396 = SURFACE_SIDE_STYLE( '', ( #581 ) ); #397 = EDGE_LOOP( '', ( #582 ) ); #398 = EDGE_LOOP( '', ( #583, #584, #585, #586 ) ); #399 = AXIS2_PLACEMENT_3D( '', #587, #588, #589 ); #400 = SURFACE_SIDE_STYLE( '', ( #590 ) ); #401 = EDGE_LOOP( '', ( #591, #592, #593, #594 ) ); #402 = AXIS2_PLACEMENT_3D( '', #595, #596, #597 ); #403 = SURFACE_SIDE_STYLE( '', ( #598 ) ); #404 = EDGE_LOOP( '', ( #599, #600, #601, #602 ) ); #405 = AXIS2_PLACEMENT_3D( '', #603, #604, #605 ); #406 = SURFACE_SIDE_STYLE( '', ( #606 ) ); #407 = EDGE_LOOP( '', ( #607, #608, #609, #610 ) ); #408 = AXIS2_PLACEMENT_3D( '', #611, #612, #613 ); #409 = SURFACE_SIDE_STYLE( '', ( #614 ) ); #410 = EDGE_LOOP( '', ( #615, #616, #617, #618, #619, #620, #621, #622, #623, #624, #625, #626, #627, #628, #629, #630 ) ); #411 = AXIS2_PLACEMENT_3D( '', #631, #632, #633 ); #412 = SURFACE_SIDE_STYLE( '', ( #634 ) ); #413 = EDGE_LOOP( '', ( #635, #636, #637, #638 ) ); #414 = AXIS2_PLACEMENT_3D( '', #639, #640, #641 ); #415 = SURFACE_SIDE_STYLE( '', ( #642 ) ); #416 = EDGE_LOOP( '', ( #643, #644, #645, #646 ) ); #417 = AXIS2_PLACEMENT_3D( '', #647, #648, #649 ); #418 = SURFACE_SIDE_STYLE( '', ( #650 ) ); #419 = EDGE_LOOP( '', ( #651, #652, #653, #654 ) ); #420 = AXIS2_PLACEMENT_3D( '', #655, #656, #657 ); #421 = SURFACE_SIDE_STYLE( '', ( #658 ) ); #422 = EDGE_LOOP( '', ( #659, #660, #661, #662 ) ); #423 = AXIS2_PLACEMENT_3D( '', #663, #664, #665 ); #424 = SURFACE_SIDE_STYLE( '', ( #666 ) ); #425 = EDGE_LOOP( '', ( #667, #668, #669, #670 ) ); #426 = AXIS2_PLACEMENT_3D( '', #671, #672, #673 ); #427 = SURFACE_SIDE_STYLE( '', ( #674 ) ); #428 = EDGE_LOOP( '', ( #675 ) ); #429 = EDGE_LOOP( '', ( #676 ) ); #430 = AXIS2_PLACEMENT_3D( '', #677, #678, #679 ); #431 = SURFACE_SIDE_STYLE( '', ( #680 ) ); #432 = EDGE_LOOP( '', ( #681, #682, #683, #684 ) ); #433 = AXIS2_PLACEMENT_3D( '', #685, #686, #687 ); #434 = SURFACE_SIDE_STYLE( '', ( #688 ) ); #435 = EDGE_LOOP( '', ( #689, #690, #691, #692 ) ); #436 = AXIS2_PLACEMENT_3D( '', #693, #694, #695 ); #437 = SURFACE_SIDE_STYLE( '', ( #696 ) ); #438 = EDGE_LOOP( '', ( #697, #698, #699, #700 ) ); #439 = AXIS2_PLACEMENT_3D( '', #701, #702, #703 ); #440 = SURFACE_SIDE_STYLE( '', ( #704 ) ); #441 = EDGE_LOOP( '', ( #705, #706, #707, #708 ) ); #442 = AXIS2_PLACEMENT_3D( '', #709, #710, #711 ); #443 = SURFACE_SIDE_STYLE( '', ( #712 ) ); #444 = EDGE_LOOP( '', ( #713, #714, #715, #716 ) ); #445 = AXIS2_PLACEMENT_3D( '', #717, #718, #719 ); #446 = SURFACE_SIDE_STYLE( '', ( #720 ) ); #447 = EDGE_LOOP( '', ( #721, #722, #723, #724, #725, #726, #727, #728, #729, #730, #731, #732 ) ); #448 = AXIS2_PLACEMENT_3D( '', #733, #734, #735 ); #449 = SURFACE_SIDE_STYLE( '', ( #736 ) ); #450 = EDGE_LOOP( '', ( #737, #738, #739, #740 ) ); #451 = AXIS2_PLACEMENT_3D( '', #741, #742, #743 ); #452 = SURFACE_SIDE_STYLE( '', ( #744 ) ); #453 = EDGE_LOOP( '', ( #745 ) ); #454 = EDGE_LOOP( '', ( #746 ) ); #455 = AXIS2_PLACEMENT_3D( '', #747, #748, #749 ); #456 = SURFACE_SIDE_STYLE( '', ( #750 ) ); #457 = EDGE_LOOP( '', ( #751, #752, #753, #754 ) ); #458 = AXIS2_PLACEMENT_3D( '', #755, #756, #757 ); #459 = SURFACE_SIDE_STYLE( '', ( #758 ) ); #460 = EDGE_LOOP( '', ( #759, #760, #761, #762 ) ); #461 = AXIS2_PLACEMENT_3D( '', #763, #764, #765 ); #462 = SURFACE_SIDE_STYLE( '', ( #766 ) ); #463 = EDGE_LOOP( '', ( #767 ) ); #464 = EDGE_LOOP( '', ( #768 ) ); #465 = AXIS2_PLACEMENT_3D( '', #769, #770, #771 ); #466 = SURFACE_SIDE_STYLE( '', ( #772 ) ); #467 = EDGE_LOOP( '', ( #773, #774, #775, #776 ) ); #468 = AXIS2_PLACEMENT_3D( '', #777, #778, #779 ); #469 = SURFACE_SIDE_STYLE( '', ( #780 ) ); #470 = EDGE_LOOP( '', ( #781, #782, #783, #784 ) ); #471 = AXIS2_PLACEMENT_3D( '', #785, #786, #787 ); #472 = SURFACE_SIDE_STYLE( '', ( #788 ) ); #473 = EDGE_LOOP( '', ( #789, #790, #791, #792, #793, #794, #795, #796, #797, #798, #799, #800 ) ); #474 = AXIS2_PLACEMENT_3D( '', #801, #802, #803 ); #475 = SURFACE_SIDE_STYLE( '', ( #804 ) ); #476 = EDGE_LOOP( '', ( #805, #806, #807, #808, #809, #810 ) ); #477 = AXIS2_PLACEMENT_3D( '', #811, #812, #813 ); #478 = SURFACE_SIDE_STYLE( '', ( #814 ) ); #479 = EDGE_LOOP( '', ( #815, #816, #817, #818 ) ); #480 = AXIS2_PLACEMENT_3D( '', #819, #820, #821 ); #481 = SURFACE_SIDE_STYLE( '', ( #822 ) ); #482 = EDGE_LOOP( '', ( #823, #824, #825, #826 ) ); #483 = AXIS2_PLACEMENT_3D( '', #827, #828, #829 ); #484 = SURFACE_SIDE_STYLE( '', ( #830 ) ); #485 = EDGE_LOOP( '', ( #831 ) ); #486 = EDGE_LOOP( '', ( #832, #833, #834, #835 ) ); #487 = AXIS2_PLACEMENT_3D( '', #836, #837, #838 ); #488 = SURFACE_SIDE_STYLE( '', ( #839 ) ); #489 = EDGE_LOOP( '', ( #840, #841, #842, #843 ) ); #490 = AXIS2_PLACEMENT_3D( '', #844, #845, #846 ); #491 = SURFACE_SIDE_STYLE( '', ( #847 ) ); #492 = EDGE_LOOP( '', ( #848 ) ); #493 = EDGE_LOOP( '', ( #849 ) ); #494 = AXIS2_PLACEMENT_3D( '', #850, #851, #852 ); #496 = ( LENGTH_UNIT( )NAMED_UNIT( #357 )SI_UNIT( .MILLI., .METRE. ) ); #497 = SURFACE_STYLE_FILL_AREA( #854 ); #498 = ORIENTED_EDGE( '', *, *, #855, .F. ); #499 = ORIENTED_EDGE( '', *, *, #856, .F. ); #500 = ORIENTED_EDGE( '', *, *, #857, .F. ); #501 = ORIENTED_EDGE( '', *, *, #858, .F. ); #502 = ORIENTED_EDGE( '', *, *, #859, .T. ); #503 = ORIENTED_EDGE( '', *, *, #860, .F. ); #504 = CARTESIAN_POINT( '', ( -24.7500000000000, -12.0000000000000, -10.7500000000000 ) ); #505 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #506 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, 0.000000000000000 ) ); #507 = SURFACE_STYLE_FILL_AREA( #861 ); #508 = ORIENTED_EDGE( '', *, *, #862, .T. ); #509 = ORIENTED_EDGE( '', *, *, #863, .T. ); #510 = ORIENTED_EDGE( '', *, *, #864, .F. ); #511 = ORIENTED_EDGE( '', *, *, #865, .T. ); #512 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #513 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -1.82602471155454E-016 ) ); #514 = DIRECTION( '', ( -1.82602471155453E-016, 0.000000000000000, 1.00000000000000 ) ); #515 = SURFACE_STYLE_FILL_AREA( #866 ); #516 = ORIENTED_EDGE( '', *, *, #867, .T. ); #517 = ORIENTED_EDGE( '', *, *, #868, .T. ); #518 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 8.52905709021930E-015, 2.75000000000000 ) ); #519 = DIRECTION( '', ( 0.000000000000000, 1.44560289664734E-016, -1.00000000000000 ) ); #520 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 1.44560289664734E-016 ) ); #521 = SURFACE_STYLE_FILL_AREA( #869 ); #522 = ORIENTED_EDGE( '', *, *, #870, .F. ); #523 = ORIENTED_EDGE( '', *, *, #871, .T. ); #524 = ORIENTED_EDGE( '', *, *, #872, .T. ); #525 = ORIENTED_EDGE( '', *, *, #873, .F. ); #526 = CARTESIAN_POINT( '', ( -18.0000000000000, -15.0000000000000, -6.75000000000000 ) ); #527 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) ); #528 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #529 = SURFACE_STYLE_FILL_AREA( #874 ); #530 = ORIENTED_EDGE( '', *, *, #875, .T. ); #531 = ORIENTED_EDGE( '', *, *, #876, .T. ); #532 = ORIENTED_EDGE( '', *, *, #877, .T. ); #533 = ORIENTED_EDGE( '', *, *, #878, .F. ); #534 = ORIENTED_EDGE( '', *, *, #879, .F. ); #535 = CARTESIAN_POINT( '', ( 5.00000000000000, -28.1140997321589, -7.50000000000000 ) ); #536 = DIRECTION( '', ( -2.66880534765663E-016, 0.000000000000000, 1.00000000000000 ) ); #537 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765664E-016 ) ); #538 = SURFACE_STYLE_FILL_AREA( #880 ); #539 = ORIENTED_EDGE( '', *, *, #881, .T. ); #540 = ORIENTED_EDGE( '', *, *, #882, .T. ); #541 = ORIENTED_EDGE( '', *, *, #883, .F. ); #542 = ORIENTED_EDGE( '', *, *, #884, .F. ); #543 = ORIENTED_EDGE( '', *, *, #885, .F. ); #544 = ORIENTED_EDGE( '', *, *, #886, .F. ); #545 = ORIENTED_EDGE( '', *, *, #887, .F. ); #546 = ORIENTED_EDGE( '', *, *, #888, .T. ); #547 = ORIENTED_EDGE( '', *, *, #873, .T. ); #548 = ORIENTED_EDGE( '', *, *, #889, .T. ); #549 = ORIENTED_EDGE( '', *, *, #890, .F. ); #550 = ORIENTED_EDGE( '', *, *, #859, .F. ); #551 = ORIENTED_EDGE( '', *, *, #891, .T. ); #552 = ORIENTED_EDGE( '', *, *, #892, .T. ); #553 = ORIENTED_EDGE( '', *, *, #893, .F. ); #554 = ORIENTED_EDGE( '', *, *, #894, .T. ); #555 = CARTESIAN_POINT( '', ( -34.3135251233788, 6.42500000000000, -10.7500000000000 ) ); #556 = DIRECTION( '', ( -5.91439452097361E-017, -0.965925826289068, 0.258819045102520 ) ); #557 = DIRECTION( '', ( 1.31325939478035E-032, -0.258819045102520, -0.965925826289069 ) ); #558 = SURFACE_STYLE_FILL_AREA( #895 ); #559 = ORIENTED_EDGE( '', *, *, #896, .F. ); #560 = ORIENTED_EDGE( '', *, *, #897, .F. ); #561 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 7.37257477290143E-015, 10.7500000000000 ) ); #562 = DIRECTION( '', ( -0.000000000000000, -1.44560289664733E-016, 1.00000000000000 ) ); #563 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -1.44560289664733E-016 ) ); #564 = SURFACE_STYLE_FILL_AREA( #898 ); #565 = ORIENTED_EDGE( '', *, *, #899, .T. ); #566 = ORIENTED_EDGE( '', *, *, #900, .T. ); #567 = ORIENTED_EDGE( '', *, *, #901, .T. ); #568 = ORIENTED_EDGE( '', *, *, #902, .F. ); #569 = CARTESIAN_POINT( '', ( -9.50000000000000, 28.1140997321589, 0.500000000000000 ) ); #570 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #571 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #572 = SURFACE_STYLE_FILL_AREA( #903 ); #573 = ORIENTED_EDGE( '', *, *, #897, .T. ); #574 = ORIENTED_EDGE( '', *, *, #857, .T. ); #575 = ORIENTED_EDGE( '', *, *, #904, .F. ); #576 = ORIENTED_EDGE( '', *, *, #905, .F. ); #577 = ORIENTED_EDGE( '', *, *, #906, .T. ); #578 = CARTESIAN_POINT( '', ( 24.7500000000000, 12.0000000000000, 10.7500000000000 ) ); #579 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #580 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #581 = SURFACE_STYLE_FILL_AREA( #907 ); #582 = ORIENTED_EDGE( '', *, *, #908, .T. ); #583 = ORIENTED_EDGE( '', *, *, #909, .F. ); #584 = ORIENTED_EDGE( '', *, *, #910, .F. ); #585 = ORIENTED_EDGE( '', *, *, #911, .T. ); #586 = ORIENTED_EDGE( '', *, *, #902, .T. ); #587 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, 9.50000000000000 ) ); #588 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #589 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #590 = SURFACE_STYLE_FILL_AREA( #912 ); #591 = ORIENTED_EDGE( '', *, *, #913, .F. ); #592 = ORIENTED_EDGE( '', *, *, #914, .T. ); #593 = ORIENTED_EDGE( '', *, *, #915, .T. ); #594 = ORIENTED_EDGE( '', *, *, #881, .F. ); #595 = CARTESIAN_POINT( '', ( 18.0000000000000, -15.0000000000000, -6.75000000000000 ) ); #596 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) ); #597 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #598 = SURFACE_STYLE_FILL_AREA( #916 ); #599 = ORIENTED_EDGE( '', *, *, #886, .T. ); #600 = ORIENTED_EDGE( '', *, *, #917, .F. ); #601 = ORIENTED_EDGE( '', *, *, #918, .F. ); #602 = ORIENTED_EDGE( '', *, *, #919, .T. ); #603 = CARTESIAN_POINT( '', ( -7.00000000000000, -10.0000000000000, -6.75000000000000 ) ); #604 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #605 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #606 = SURFACE_STYLE_FILL_AREA( #920 ); #607 = ORIENTED_EDGE( '', *, *, #921, .T. ); #608 = ORIENTED_EDGE( '', *, *, #910, .T. ); #609 = ORIENTED_EDGE( '', *, *, #922, .T. ); #610 = ORIENTED_EDGE( '', *, *, #923, .F. ); #611 = CARTESIAN_POINT( '', ( 9.50000000000000, 28.1140997321589, 9.50000000000000 ) ); #612 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -1.92747052886312E-016 ) ); #613 = DIRECTION( '', ( -1.92747052886312E-016, 0.000000000000000, 1.00000000000000 ) ); #614 = SURFACE_STYLE_FILL_AREA( #924 ); #615 = ORIENTED_EDGE( '', *, *, #925, .F. ); #616 = ORIENTED_EDGE( '', *, *, #914, .F. ); #617 = ORIENTED_EDGE( '', *, *, #926, .F. ); #618 = ORIENTED_EDGE( '', *, *, #927, .T. ); #619 = ORIENTED_EDGE( '', *, *, #928, .F. ); #620 = ORIENTED_EDGE( '', *, *, #929, .F. ); #621 = ORIENTED_EDGE( '', *, *, #855, .T. ); #622 = ORIENTED_EDGE( '', *, *, #930, .T. ); #623 = ORIENTED_EDGE( '', *, *, #931, .F. ); #624 = ORIENTED_EDGE( '', *, *, #871, .F. ); #625 = ORIENTED_EDGE( '', *, *, #932, .F. ); #626 = ORIENTED_EDGE( '', *, *, #933, .T. ); #627 = ORIENTED_EDGE( '', *, *, #918, .T. ); #628 = ORIENTED_EDGE( '', *, *, #934, .T. ); #629 = ORIENTED_EDGE( '', *, *, #935, .T. ); #630 = ORIENTED_EDGE( '', *, *, #936, .T. ); #631 = CARTESIAN_POINT( '', ( -34.3135251233788, -6.42500000000000, -10.7500000000000 ) ); #632 = DIRECTION( '', ( -5.91439452097361E-017, -0.965925826289068, -0.258819045102521 ) ); #633 = DIRECTION( '', ( 1.47741681912790E-032, 0.258819045102521, -0.965925826289068 ) ); #634 = SURFACE_STYLE_FILL_AREA( #937 ); #635 = ORIENTED_EDGE( '', *, *, #938, .F. ); #636 = ORIENTED_EDGE( '', *, *, #939, .F. ); #637 = ORIENTED_EDGE( '', *, *, #940, .T. ); #638 = ORIENTED_EDGE( '', *, *, #941, .F. ); #639 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, 9.50000000000000 ) ); #640 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 9.13012355777267E-017 ) ); #641 = DIRECTION( '', ( 9.13012355777267E-017, 0.000000000000000, -1.00000000000000 ) ); #642 = SURFACE_STYLE_FILL_AREA( #942 ); #643 = ORIENTED_EDGE( '', *, *, #929, .T. ); #644 = ORIENTED_EDGE( '', *, *, #943, .F. ); #645 = ORIENTED_EDGE( '', *, *, #904, .T. ); #646 = ORIENTED_EDGE( '', *, *, #856, .T. ); #647 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, 10.7500000000000 ) ); #648 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #649 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #650 = SURFACE_STYLE_FILL_AREA( #944 ); #651 = ORIENTED_EDGE( '', *, *, #945, .T. ); #652 = ORIENTED_EDGE( '', *, *, #946, .F. ); #653 = ORIENTED_EDGE( '', *, *, #947, .F. ); #654 = ORIENTED_EDGE( '', *, *, #941, .T. ); #655 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #656 = DIRECTION( '', ( -2.66880534765662E-016, 0.000000000000000, 1.00000000000000 ) ); #657 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765662E-016 ) ); #658 = SURFACE_STYLE_FILL_AREA( #948 ); #659 = ORIENTED_EDGE( '', *, *, #946, .T. ); #660 = ORIENTED_EDGE( '', *, *, #949, .T. ); #661 = ORIENTED_EDGE( '', *, *, #876, .F. ); #662 = ORIENTED_EDGE( '', *, *, #950, .F. ); #663 = CARTESIAN_POINT( '', ( -7.00000000000000, -28.1140997321589, -9.50000000000000 ) ); #664 = DIRECTION( '', ( -0.707106781186547, 0.000000000000000, 0.707106781186548 ) ); #665 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, 0.707106781186547 ) ); #666 = SURFACE_STYLE_FILL_AREA( #951 ); #667 = ORIENTED_EDGE( '', *, *, #952, .T. ); #668 = ORIENTED_EDGE( '', *, *, #939, .T. ); #669 = ORIENTED_EDGE( '', *, *, #953, .T. ); #670 = ORIENTED_EDGE( '', *, *, #900, .F. ); #671 = CARTESIAN_POINT( '', ( -13.0000000000000, 28.1140997321589, 0.500000000000000 ) ); #672 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #673 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #674 = SURFACE_STYLE_FILL_AREA( #954 ); #675 = ORIENTED_EDGE( '', *, *, #955, .T. ); #676 = ORIENTED_EDGE( '', *, *, #956, .T. ); #677 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 8.52905709021930E-015, 2.75000000000000 ) ); #678 = DIRECTION( '', ( -0.000000000000000, -1.44560289664734E-016, 1.00000000000000 ) ); #679 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -1.44560289664734E-016 ) ); #680 = SURFACE_STYLE_FILL_AREA( #957 ); #681 = ORIENTED_EDGE( '', *, *, #878, .T. ); #682 = ORIENTED_EDGE( '', *, *, #958, .T. ); #683 = ORIENTED_EDGE( '', *, *, #959, .F. ); #684 = ORIENTED_EDGE( '', *, *, #960, .F. ); #685 = CARTESIAN_POINT( '', ( 7.00000000000000, -28.1140997321589, -9.50000000000000 ) ); #686 = DIRECTION( '', ( 0.707106781186547, 0.000000000000000, 0.707106781186548 ) ); #687 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186547 ) ); #688 = SURFACE_STYLE_FILL_AREA( #961 ); #689 = ORIENTED_EDGE( '', *, *, #884, .T. ); #690 = ORIENTED_EDGE( '', *, *, #962, .F. ); #691 = ORIENTED_EDGE( '', *, *, #935, .F. ); #692 = ORIENTED_EDGE( '', *, *, #963, .T. ); #693 = CARTESIAN_POINT( '', ( 7.00000000000000, -10.0000000000000, -10.7500000000000 ) ); #694 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #695 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #696 = SURFACE_STYLE_FILL_AREA( #964 ); #697 = ORIENTED_EDGE( '', *, *, #915, .F. ); #698 = ORIENTED_EDGE( '', *, *, #925, .T. ); #699 = ORIENTED_EDGE( '', *, *, #965, .T. ); #700 = ORIENTED_EDGE( '', *, *, #882, .F. ); #701 = CARTESIAN_POINT( '', ( 14.5000000000000, -15.0000000000000, -10.7500000000000 ) ); #702 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #703 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #704 = SURFACE_STYLE_FILL_AREA( #966 ); #705 = ORIENTED_EDGE( '', *, *, #967, .F. ); #706 = ORIENTED_EDGE( '', *, *, #932, .T. ); #707 = ORIENTED_EDGE( '', *, *, #870, .T. ); #708 = ORIENTED_EDGE( '', *, *, #888, .F. ); #709 = CARTESIAN_POINT( '', ( -14.5000000000000, -15.0000000000000, -6.75000000000000 ) ); #710 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #711 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #712 = SURFACE_STYLE_FILL_AREA( #968 ); #713 = ORIENTED_EDGE( '', *, *, #883, .T. ); #714 = ORIENTED_EDGE( '', *, *, #965, .F. ); #715 = ORIENTED_EDGE( '', *, *, #936, .F. ); #716 = ORIENTED_EDGE( '', *, *, #962, .T. ); #717 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, -10.7500000000000 ) ); #718 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #719 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #720 = SURFACE_STYLE_FILL_AREA( #969 ); #721 = ORIENTED_EDGE( '', *, *, #970, .F. ); #722 = ORIENTED_EDGE( '', *, *, #922, .F. ); #723 = ORIENTED_EDGE( '', *, *, #909, .T. ); #724 = ORIENTED_EDGE( '', *, *, #901, .F. ); #725 = ORIENTED_EDGE( '', *, *, #953, .F. ); #726 = ORIENTED_EDGE( '', *, *, #938, .T. ); #727 = ORIENTED_EDGE( '', *, *, #947, .T. ); #728 = ORIENTED_EDGE( '', *, *, #950, .T. ); #729 = ORIENTED_EDGE( '', *, *, #879, .T. ); #730 = ORIENTED_EDGE( '', *, *, #960, .T. ); #731 = ORIENTED_EDGE( '', *, *, #971, .T. ); #732 = ORIENTED_EDGE( '', *, *, #864, .T. ); #733 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, 9.50000000000000 ) ); #734 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #735 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #736 = SURFACE_STYLE_FILL_AREA( #972 ); #737 = ORIENTED_EDGE( '', *, *, #971, .F. ); #738 = ORIENTED_EDGE( '', *, *, #959, .T. ); #739 = ORIENTED_EDGE( '', *, *, #973, .T. ); #740 = ORIENTED_EDGE( '', *, *, #865, .F. ); #741 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #742 = DIRECTION( '', ( -2.66880534765662E-016, 0.000000000000000, 1.00000000000000 ) ); #743 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765662E-016 ) ); #744 = SURFACE_STYLE_FILL_AREA( #974 ); #745 = ORIENTED_EDGE( '', *, *, #955, .F. ); #746 = ORIENTED_EDGE( '', *, *, #867, .F. ); #747 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 8.52905709021930E-015, 2.75000000000000 ) ); #748 = DIRECTION( '', ( -0.000000000000000, -1.44560289664735E-016, 1.00000000000000 ) ); #749 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -1.44560289664735E-016 ) ); #750 = SURFACE_STYLE_FILL_AREA( #975 ); #751 = ORIENTED_EDGE( '', *, *, #890, .T. ); #752 = ORIENTED_EDGE( '', *, *, #976, .F. ); #753 = ORIENTED_EDGE( '', *, *, #930, .F. ); #754 = ORIENTED_EDGE( '', *, *, #860, .T. ); #755 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, -10.7500000000000 ) ); #756 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #757 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #758 = SURFACE_STYLE_FILL_AREA( #977 ); #759 = ORIENTED_EDGE( '', *, *, #927, .F. ); #760 = ORIENTED_EDGE( '', *, *, #978, .T. ); #761 = ORIENTED_EDGE( '', *, *, #893, .T. ); #762 = ORIENTED_EDGE( '', *, *, #979, .F. ); #763 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, -10.7500000000000 ) ); #764 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #765 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #766 = SURFACE_STYLE_FILL_AREA( #980 ); #767 = ORIENTED_EDGE( '', *, *, #896, .T. ); #768 = ORIENTED_EDGE( '', *, *, #868, .F. ); #769 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 7.37257477290143E-015, 10.7500000000000 ) ); #770 = DIRECTION( '', ( -0.000000000000000, -1.44560289664734E-016, 1.00000000000000 ) ); #771 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -1.44560289664734E-016 ) ); #772 = SURFACE_STYLE_FILL_AREA( #981 ); #773 = ORIENTED_EDGE( '', *, *, #978, .F. ); #774 = ORIENTED_EDGE( '', *, *, #926, .T. ); #775 = ORIENTED_EDGE( '', *, *, #913, .T. ); #776 = ORIENTED_EDGE( '', *, *, #894, .F. ); #777 = CARTESIAN_POINT( '', ( 21.5000000000000, -15.0000000000000, -6.75000000000000 ) ); #778 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #779 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #780 = SURFACE_STYLE_FILL_AREA( #982 ); #781 = ORIENTED_EDGE( '', *, *, #983, .T. ); #782 = ORIENTED_EDGE( '', *, *, #923, .T. ); #783 = ORIENTED_EDGE( '', *, *, #970, .T. ); #784 = ORIENTED_EDGE( '', *, *, #863, .F. ); #785 = CARTESIAN_POINT( '', ( 9.50000000000000, 28.1140997321589, 0.500000000000000 ) ); #786 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #787 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #788 = SURFACE_STYLE_FILL_AREA( #984 ); #789 = ORIENTED_EDGE( '', *, *, #921, .F. ); #790 = ORIENTED_EDGE( '', *, *, #983, .F. ); #791 = ORIENTED_EDGE( '', *, *, #862, .F. ); #792 = ORIENTED_EDGE( '', *, *, #973, .F. ); #793 = ORIENTED_EDGE( '', *, *, #958, .F. ); #794 = ORIENTED_EDGE( '', *, *, #877, .F. ); #795 = ORIENTED_EDGE( '', *, *, #949, .F. ); #796 = ORIENTED_EDGE( '', *, *, #945, .F. ); #797 = ORIENTED_EDGE( '', *, *, #940, .F. ); #798 = ORIENTED_EDGE( '', *, *, #952, .F. ); #799 = ORIENTED_EDGE( '', *, *, #899, .F. ); #800 = ORIENTED_EDGE( '', *, *, #911, .F. ); #801 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, 9.50000000000000 ) ); #802 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #803 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #804 = SURFACE_STYLE_FILL_AREA( #985 ); #805 = ORIENTED_EDGE( '', *, *, #943, .T. ); #806 = ORIENTED_EDGE( '', *, *, #928, .T. ); #807 = ORIENTED_EDGE( '', *, *, #979, .T. ); #808 = ORIENTED_EDGE( '', *, *, #892, .F. ); #809 = ORIENTED_EDGE( '', *, *, #986, .T. ); #810 = ORIENTED_EDGE( '', *, *, #905, .T. ); #811 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, -10.7500000000000 ) ); #812 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #813 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, 0.000000000000000 ) ); #814 = SURFACE_STYLE_FILL_AREA( #987 ); #815 = ORIENTED_EDGE( '', *, *, #986, .F. ); #816 = ORIENTED_EDGE( '', *, *, #891, .F. ); #817 = ORIENTED_EDGE( '', *, *, #858, .T. ); #818 = ORIENTED_EDGE( '', *, *, #906, .F. ); #819 = CARTESIAN_POINT( '', ( 24.7500000000000, 12.0000000000000, -10.7500000000000 ) ); #820 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #821 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #822 = SURFACE_STYLE_FILL_AREA( #988 ); #823 = ORIENTED_EDGE( '', *, *, #933, .F. ); #824 = ORIENTED_EDGE( '', *, *, #967, .T. ); #825 = ORIENTED_EDGE( '', *, *, #887, .T. ); #826 = ORIENTED_EDGE( '', *, *, #919, .F. ); #827 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, -10.7500000000000 ) ); #828 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #829 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #830 = SURFACE_STYLE_FILL_AREA( #989 ); #831 = ORIENTED_EDGE( '', *, *, #956, .F. ); #832 = ORIENTED_EDGE( '', *, *, #885, .T. ); #833 = ORIENTED_EDGE( '', *, *, #963, .F. ); #834 = ORIENTED_EDGE( '', *, *, #934, .F. ); #835 = ORIENTED_EDGE( '', *, *, #917, .T. ); #836 = CARTESIAN_POINT( '', ( 7.00000000000000, -10.0000000000000, -6.75000000000000 ) ); #837 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #838 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #839 = SURFACE_STYLE_FILL_AREA( #990 ); #840 = ORIENTED_EDGE( '', *, *, #872, .F. ); #841 = ORIENTED_EDGE( '', *, *, #931, .T. ); #842 = ORIENTED_EDGE( '', *, *, #976, .T. ); #843 = ORIENTED_EDGE( '', *, *, #889, .F. ); #844 = CARTESIAN_POINT( '', ( -21.5000000000000, -15.0000000000000, -6.75000000000000 ) ); #845 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #846 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #847 = SURFACE_STYLE_FILL_AREA( #991 ); #848 = ORIENTED_EDGE( '', *, *, #908, .F. ); #849 = ORIENTED_EDGE( '', *, *, #875, .F. ); #850 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 0.000000000000000, 9.50000000000000 ) ); #851 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #852 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #854 = FILL_AREA_STYLE( '', ( #992 ) ); #855 = EDGE_CURVE( '', #993, #994, #995, .T. ); #856 = EDGE_CURVE( '', #996, #993, #997, .T. ); #857 = EDGE_CURVE( '', #998, #996, #999, .T. ); #858 = EDGE_CURVE( '', #1000, #998, #1001, .T. ); #859 = EDGE_CURVE( '', #1000, #1002, #1003, .T. ); #860 = EDGE_CURVE( '', #994, #1002, #1004, .T. ); #861 = FILL_AREA_STYLE( '', ( #1005 ) ); #862 = EDGE_CURVE( '', #1006, #1007, #1008, .T. ); #863 = EDGE_CURVE( '', #1007, #1009, #1010, .T. ); #864 = EDGE_CURVE( '', #1011, #1009, #1012, .T. ); #865 = EDGE_CURVE( '', #1011, #1006, #1013, .T. ); #866 = FILL_AREA_STYLE( '', ( #1014 ) ); #867 = EDGE_CURVE( '', #1015, #1015, #1016, .T. ); #868 = EDGE_CURVE( '', #1017, #1017, #1018, .T. ); #869 = FILL_AREA_STYLE( '', ( #1019 ) ); #870 = EDGE_CURVE( '', #1020, #1021, #1022, .T. ); #871 = EDGE_CURVE( '', #1020, #1023, #1024, .T. ); #872 = EDGE_CURVE( '', #1023, #1025, #1026, .T. ); #873 = EDGE_CURVE( '', #1021, #1025, #1027, .T. ); #874 = FILL_AREA_STYLE( '', ( #1028 ) ); #875 = EDGE_CURVE( '', #1029, #1029, #1030, .T. ); #876 = EDGE_CURVE( '', #1031, #1032, #1033, .T. ); #877 = EDGE_CURVE( '', #1032, #1034, #1035, .T. ); #878 = EDGE_CURVE( '', #1036, #1034, #1037, .T. ); #879 = EDGE_CURVE( '', #1031, #1036, #1038, .T. ); #880 = FILL_AREA_STYLE( '', ( #1039 ) ); #881 = EDGE_CURVE( '', #1040, #1041, #1042, .T. ); #882 = EDGE_CURVE( '', #1041, #1043, #1044, .T. ); #883 = EDGE_CURVE( '', #1045, #1043, #1046, .T. ); #884 = EDGE_CURVE( '', #1047, #1045, #1048, .T. ); #885 = EDGE_CURVE( '', #1049, #1047, #1050, .T. ); #886 = EDGE_CURVE( '', #1051, #1049, #1052, .T. ); #887 = EDGE_CURVE( '', #1053, #1051, #1054, .T. ); #888 = EDGE_CURVE( '', #1053, #1021, #1055, .T. ); #889 = EDGE_CURVE( '', #1025, #1056, #1057, .T. ); #890 = EDGE_CURVE( '', #1002, #1056, #1058, .T. ); #891 = EDGE_CURVE( '', #1000, #1059, #1060, .T. ); #892 = EDGE_CURVE( '', #1059, #1061, #1062, .T. ); #893 = EDGE_CURVE( '', #1063, #1061, #1064, .T. ); #894 = EDGE_CURVE( '', #1063, #1040, #1065, .T. ); #895 = FILL_AREA_STYLE( '', ( #1066 ) ); #896 = EDGE_CURVE( '', #1067, #1067, #1068, .F. ); #897 = EDGE_CURVE( '', #1069, #1069, #1070, .T. ); #898 = FILL_AREA_STYLE( '', ( #1071 ) ); #899 = EDGE_CURVE( '', #1072, #1073, #1074, .T. ); #900 = EDGE_CURVE( '', #1073, #1075, #1076, .T. ); #901 = EDGE_CURVE( '', #1075, #1077, #1078, .T. ); #902 = EDGE_CURVE( '', #1072, #1077, #1079, .T. ); #903 = FILL_AREA_STYLE( '', ( #1080 ) ); #904 = EDGE_CURVE( '', #1081, #996, #1082, .T. ); #905 = EDGE_CURVE( '', #1083, #1081, #1084, .T. ); #906 = EDGE_CURVE( '', #1083, #998, #1085, .T. ); #907 = FILL_AREA_STYLE( '', ( #1086 ) ); #908 = EDGE_CURVE( '', #1087, #1087, #1088, .T. ); #909 = EDGE_CURVE( '', #1089, #1077, #1090, .T. ); #910 = EDGE_CURVE( '', #1091, #1089, #1092, .T. ); #911 = EDGE_CURVE( '', #1091, #1072, #1093, .T. ); #912 = FILL_AREA_STYLE( '', ( #1094 ) ); #913 = EDGE_CURVE( '', #1095, #1040, #1096, .T. ); #914 = EDGE_CURVE( '', #1095, #1097, #1098, .T. ); #915 = EDGE_CURVE( '', #1097, #1041, #1099, .T. ); #916 = FILL_AREA_STYLE( '', ( #1100 ) ); #917 = EDGE_CURVE( '', #1101, #1049, #1102, .T. ); #918 = EDGE_CURVE( '', #1103, #1101, #1104, .T. ); #919 = EDGE_CURVE( '', #1103, #1051, #1105, .T. ); #920 = FILL_AREA_STYLE( '', ( #1106 ) ); #921 = EDGE_CURVE( '', #1107, #1091, #1108, .T. ); #922 = EDGE_CURVE( '', #1089, #1109, #1110, .T. ); #923 = EDGE_CURVE( '', #1107, #1109, #1111, .T. ); #924 = FILL_AREA_STYLE( '', ( #1112 ) ); #925 = EDGE_CURVE( '', #1097, #1113, #1114, .T. ); #926 = EDGE_CURVE( '', #1115, #1095, #1116, .T. ); #927 = EDGE_CURVE( '', #1115, #1117, #1118, .T. ); #928 = EDGE_CURVE( '', #1119, #1117, #1120, .T. ); #929 = EDGE_CURVE( '', #993, #1119, #1121, .T. ); #930 = EDGE_CURVE( '', #994, #1122, #1123, .T. ); #931 = EDGE_CURVE( '', #1023, #1122, #1124, .T. ); #932 = EDGE_CURVE( '', #1125, #1020, #1126, .T. ); #933 = EDGE_CURVE( '', #1125, #1103, #1127, .T. ); #934 = EDGE_CURVE( '', #1101, #1128, #1129, .T. ); #935 = EDGE_CURVE( '', #1128, #1130, #1131, .T. ); #936 = EDGE_CURVE( '', #1130, #1113, #1132, .T. ); #937 = FILL_AREA_STYLE( '', ( #1133 ) ); #938 = EDGE_CURVE( '', #1134, #1135, #1136, .T. ); #939 = EDGE_CURVE( '', #1137, #1134, #1138, .T. ); #940 = EDGE_CURVE( '', #1137, #1139, #1140, .T. ); #941 = EDGE_CURVE( '', #1135, #1139, #1141, .T. ); #942 = FILL_AREA_STYLE( '', ( #1142 ) ); #943 = EDGE_CURVE( '', #1081, #1119, #1143, .T. ); #944 = FILL_AREA_STYLE( '', ( #1144 ) ); #945 = EDGE_CURVE( '', #1139, #1145, #1146, .T. ); #946 = EDGE_CURVE( '', #1147, #1145, #1148, .T. ); #947 = EDGE_CURVE( '', #1135, #1147, #1149, .T. ); #948 = FILL_AREA_STYLE( '', ( #1150 ) ); #949 = EDGE_CURVE( '', #1145, #1032, #1151, .T. ); #950 = EDGE_CURVE( '', #1147, #1031, #1152, .T. ); #951 = FILL_AREA_STYLE( '', ( #1153 ) ); #952 = EDGE_CURVE( '', #1073, #1137, #1154, .T. ); #953 = EDGE_CURVE( '', #1134, #1075, #1155, .T. ); #954 = FILL_AREA_STYLE( '', ( #1156 ) ); #955 = EDGE_CURVE( '', #1157, #1157, #1158, .F. ); #956 = EDGE_CURVE( '', #1159, #1159, #1160, .T. ); #957 = FILL_AREA_STYLE( '', ( #1161 ) ); #958 = EDGE_CURVE( '', #1034, #1162, #1163, .T. ); #959 = EDGE_CURVE( '', #1164, #1162, #1165, .T. ); #960 = EDGE_CURVE( '', #1036, #1164, #1166, .T. ); #961 = FILL_AREA_STYLE( '', ( #1167 ) ); #962 = EDGE_CURVE( '', #1130, #1045, #1168, .T. ); #963 = EDGE_CURVE( '', #1128, #1047, #1169, .T. ); #964 = FILL_AREA_STYLE( '', ( #1170 ) ); #965 = EDGE_CURVE( '', #1113, #1043, #1171, .T. ); #966 = FILL_AREA_STYLE( '', ( #1172 ) ); #967 = EDGE_CURVE( '', #1125, #1053, #1173, .T. ); #968 = FILL_AREA_STYLE( '', ( #1174 ) ); #969 = FILL_AREA_STYLE( '', ( #1175 ) ); #970 = EDGE_CURVE( '', #1109, #1009, #1176, .T. ); #971 = EDGE_CURVE( '', #1164, #1011, #1177, .T. ); #972 = FILL_AREA_STYLE( '', ( #1178 ) ); #973 = EDGE_CURVE( '', #1162, #1006, #1179, .T. ); #974 = FILL_AREA_STYLE( '', ( #1180 ) ); #975 = FILL_AREA_STYLE( '', ( #1181 ) ); #976 = EDGE_CURVE( '', #1122, #1056, #1182, .T. ); #977 = FILL_AREA_STYLE( '', ( #1183 ) ); #978 = EDGE_CURVE( '', #1115, #1063, #1184, .T. ); #979 = EDGE_CURVE( '', #1117, #1061, #1185, .T. ); #980 = FILL_AREA_STYLE( '', ( #1186 ) ); #981 = FILL_AREA_STYLE( '', ( #1187 ) ); #982 = FILL_AREA_STYLE( '', ( #1188 ) ); #983 = EDGE_CURVE( '', #1007, #1107, #1189, .T. ); #984 = FILL_AREA_STYLE( '', ( #1190 ) ); #985 = FILL_AREA_STYLE( '', ( #1191 ) ); #986 = EDGE_CURVE( '', #1059, #1083, #1192, .T. ); #987 = FILL_AREA_STYLE( '', ( #1193 ) ); #988 = FILL_AREA_STYLE( '', ( #1194 ) ); #989 = FILL_AREA_STYLE( '', ( #1195 ) ); #990 = FILL_AREA_STYLE( '', ( #1196 ) ); #991 = FILL_AREA_STYLE( '', ( #1197 ) ); #992 = FILL_AREA_STYLE_COLOUR( '', #1198 ); #993 = VERTEX_POINT( '', #1199 ); #994 = VERTEX_POINT( '', #1200 ); #995 = LINE( '', #1201, #1202 ); #996 = VERTEX_POINT( '', #1203 ); #997 = LINE( '', #1204, #1205 ); #998 = VERTEX_POINT( '', #1206 ); #999 = LINE( '', #1207, #1208 ); #1000 = VERTEX_POINT( '', #1209 ); #1001 = LINE( '', #1210, #1211 ); #1002 = VERTEX_POINT( '', #1212 ); #1003 = LINE( '', #1213, #1214 ); #1004 = LINE( '', #1215, #1216 ); #1005 = FILL_AREA_STYLE_COLOUR( '', #1217 ); #1006 = VERTEX_POINT( '', #1218 ); #1007 = VERTEX_POINT( '', #1219 ); #1008 = LINE( '', #1220, #1221 ); #1009 = VERTEX_POINT( '', #1222 ); #1010 = LINE( '', #1223, #1224 ); #1011 = VERTEX_POINT( '', #1225 ); #1012 = LINE( '', #1226, #1227 ); #1013 = LINE( '', #1228, #1229 ); #1014 = FILL_AREA_STYLE_COLOUR( '', #1230 ); #1015 = VERTEX_POINT( '', #1231 ); #1016 = CIRCLE( '', #1232, 4.75000000000000 ); #1017 = VERTEX_POINT( '', #1233 ); #1018 = CIRCLE( '', #1234, 7.00000000000000 ); #1019 = FILL_AREA_STYLE_COLOUR( '', #1235 ); #1020 = VERTEX_POINT( '', #1236 ); #1021 = VERTEX_POINT( '', #1237 ); #1022 = LINE( '', #1238, #1239 ); #1023 = VERTEX_POINT( '', #1240 ); #1024 = ELLIPSE( '', #1241, 3.62346663143529, 3.50000000000000 ); #1025 = VERTEX_POINT( '', #1242 ); #1026 = LINE( '', #1243, #1244 ); #1027 = ELLIPSE( '', #1245, 3.62346663143529, 3.50000000000000 ); #1028 = FILL_AREA_STYLE_COLOUR( '', #1246 ); #1029 = VERTEX_POINT( '', #1247 ); #1030 = CIRCLE( '', #1248, 3.40000000000000 ); #1031 = VERTEX_POINT( '', #1249 ); #1032 = VERTEX_POINT( '', #1250 ); #1033 = LINE( '', #1251, #1252 ); #1034 = VERTEX_POINT( '', #1253 ); #1035 = LINE( '', #1254, #1255 ); #1036 = VERTEX_POINT( '', #1256 ); #1037 = LINE( '', #1257, #1258 ); #1038 = LINE( '', #1259, #1260 ); #1039 = FILL_AREA_STYLE_COLOUR( '', #1261 ); #1040 = VERTEX_POINT( '', #1262 ); #1041 = VERTEX_POINT( '', #1263 ); #1042 = ELLIPSE( '', #1264, 3.62346663143529, 3.50000000000000 ); #1043 = VERTEX_POINT( '', #1265 ); #1044 = LINE( '', #1266, #1267 ); #1045 = VERTEX_POINT( '', #1268 ); #1046 = LINE( '', #1269, #1270 ); #1047 = VERTEX_POINT( '', #1271 ); #1048 = LINE( '', #1272, #1273 ); #1049 = VERTEX_POINT( '', #1274 ); #1050 = LINE( '', #1275, #1276 ); #1051 = VERTEX_POINT( '', #1277 ); #1052 = LINE( '', #1278, #1279 ); #1053 = VERTEX_POINT( '', #1280 ); #1054 = LINE( '', #1281, #1282 ); #1055 = LINE( '', #1283, #1284 ); #1056 = VERTEX_POINT( '', #1285 ); #1057 = LINE( '', #1286, #1287 ); #1058 = LINE( '', #1288, #1289 ); #1059 = VERTEX_POINT( '', #1290 ); #1060 = LINE( '', #1291, #1292 ); #1061 = VERTEX_POINT( '', #1293 ); #1062 = LINE( '', #1294, #1295 ); #1063 = VERTEX_POINT( '', #1296 ); #1064 = LINE( '', #1297, #1298 ); #1065 = LINE( '', #1299, #1300 ); #1066 = FILL_AREA_STYLE_COLOUR( '', #1301 ); #1067 = VERTEX_POINT( '', #1302 ); #1068 = CIRCLE( '', #1303, 7.00000000000000 ); #1069 = VERTEX_POINT( '', #1304 ); #1070 = CIRCLE( '', #1305, 8.00000000000000 ); #1071 = FILL_AREA_STYLE_COLOUR( '', #1306 ); #1072 = VERTEX_POINT( '', #1307 ); #1073 = VERTEX_POINT( '', #1308 ); #1074 = LINE( '', #1309, #1310 ); #1075 = VERTEX_POINT( '', #1311 ); #1076 = LINE( '', #1312, #1313 ); #1077 = VERTEX_POINT( '', #1314 ); #1078 = LINE( '', #1315, #1316 ); #1079 = LINE( '', #1317, #1318 ); #1080 = FILL_AREA_STYLE_COLOUR( '', #1319 ); #1081 = VERTEX_POINT( '', #1320 ); #1082 = LINE( '', #1321, #1322 ); #1083 = VERTEX_POINT( '', #1323 ); #1084 = LINE( '', #1324, #1325 ); #1085 = LINE( '', #1326, #1327 ); #1086 = FILL_AREA_STYLE_COLOUR( '', #1328 ); #1087 = VERTEX_POINT( '', #1329 ); #1088 = CIRCLE( '', #1330, 3.40000000000000 ); #1089 = VERTEX_POINT( '', #1331 ); #1090 = LINE( '', #1332, #1333 ); #1091 = VERTEX_POINT( '', #1334 ); #1092 = LINE( '', #1335, #1336 ); #1093 = LINE( '', #1337, #1338 ); #1094 = FILL_AREA_STYLE_COLOUR( '', #1339 ); #1095 = VERTEX_POINT( '', #1340 ); #1096 = LINE( '', #1341, #1342 ); #1097 = VERTEX_POINT( '', #1343 ); #1098 = ELLIPSE( '', #1344, 3.62346663143529, 3.50000000000000 ); #1099 = LINE( '', #1345, #1346 ); #1100 = FILL_AREA_STYLE_COLOUR( '', #1347 ); #1101 = VERTEX_POINT( '', #1348 ); #1102 = LINE( '', #1349, #1350 ); #1103 = VERTEX_POINT( '', #1351 ); #1104 = LINE( '', #1352, #1353 ); #1105 = LINE( '', #1354, #1355 ); #1106 = FILL_AREA_STYLE_COLOUR( '', #1356 ); #1107 = VERTEX_POINT( '', #1357 ); #1108 = LINE( '', #1358, #1359 ); #1109 = VERTEX_POINT( '', #1360 ); #1110 = LINE( '', #1361, #1362 ); #1111 = LINE( '', #1363, #1364 ); #1112 = FILL_AREA_STYLE_COLOUR( '', #1365 ); #1113 = VERTEX_POINT( '', #1366 ); #1114 = LINE( '', #1367, #1368 ); #1115 = VERTEX_POINT( '', #1369 ); #1116 = LINE( '', #1370, #1371 ); #1117 = VERTEX_POINT( '', #1372 ); #1118 = LINE( '', #1373, #1374 ); #1119 = VERTEX_POINT( '', #1375 ); #1120 = LINE( '', #1376, #1377 ); #1121 = LINE( '', #1378, #1379 ); #1122 = VERTEX_POINT( '', #1380 ); #1123 = LINE( '', #1381, #1382 ); #1124 = LINE( '', #1383, #1384 ); #1125 = VERTEX_POINT( '', #1385 ); #1126 = LINE( '', #1386, #1387 ); #1127 = LINE( '', #1388, #1389 ); #1128 = VERTEX_POINT( '', #1390 ); #1129 = LINE( '', #1391, #1392 ); #1130 = VERTEX_POINT( '', #1393 ); #1131 = LINE( '', #1394, #1395 ); #1132 = LINE( '', #1396, #1397 ); #1133 = FILL_AREA_STYLE_COLOUR( '', #1398 ); #1134 = VERTEX_POINT( '', #1399 ); #1135 = VERTEX_POINT( '', #1400 ); #1136 = LINE( '', #1401, #1402 ); #1137 = VERTEX_POINT( '', #1403 ); #1138 = LINE( '', #1404, #1405 ); #1139 = VERTEX_POINT( '', #1406 ); #1140 = LINE( '', #1407, #1408 ); #1141 = LINE( '', #1409, #1410 ); #1142 = FILL_AREA_STYLE_COLOUR( '', #1411 ); #1143 = LINE( '', #1412, #1413 ); #1144 = FILL_AREA_STYLE_COLOUR( '', #1414 ); #1145 = VERTEX_POINT( '', #1415 ); #1146 = LINE( '', #1416, #1417 ); #1147 = VERTEX_POINT( '', #1418 ); #1148 = LINE( '', #1419, #1420 ); #1149 = LINE( '', #1421, #1422 ); #1150 = FILL_AREA_STYLE_COLOUR( '', #1423 ); #1151 = LINE( '', #1424, #1425 ); #1152 = LINE( '', #1426, #1427 ); #1153 = FILL_AREA_STYLE_COLOUR( '', #1428 ); #1154 = LINE( '', #1429, #1430 ); #1155 = LINE( '', #1431, #1432 ); #1156 = FILL_AREA_STYLE_COLOUR( '', #1433 ); #1157 = VERTEX_POINT( '', #1434 ); #1158 = CIRCLE( '', #1435, 4.25000000000000 ); #1159 = VERTEX_POINT( '', #1436 ); #1160 = CIRCLE( '', #1437, 4.25000000000000 ); #1161 = FILL_AREA_STYLE_COLOUR( '', #1438 ); #1162 = VERTEX_POINT( '', #1439 ); #1163 = LINE( '', #1440, #1441 ); #1164 = VERTEX_POINT( '', #1442 ); #1165 = LINE( '', #1443, #1444 ); #1166 = LINE( '', #1445, #1446 ); #1167 = FILL_AREA_STYLE_COLOUR( '', #1447 ); #1168 = LINE( '', #1448, #1449 ); #1169 = LINE( '', #1450, #1451 ); #1170 = FILL_AREA_STYLE_COLOUR( '', #1452 ); #1171 = LINE( '', #1453, #1454 ); #1172 = FILL_AREA_STYLE_COLOUR( '', #1455 ); #1173 = LINE( '', #1456, #1457 ); #1174 = FILL_AREA_STYLE_COLOUR( '', #1458 ); #1175 = FILL_AREA_STYLE_COLOUR( '', #1459 ); #1176 = LINE( '', #1460, #1461 ); #1177 = LINE( '', #1462, #1463 ); #1178 = FILL_AREA_STYLE_COLOUR( '', #1464 ); #1179 = LINE( '', #1465, #1466 ); #1180 = FILL_AREA_STYLE_COLOUR( '', #1467 ); #1181 = FILL_AREA_STYLE_COLOUR( '', #1468 ); #1182 = LINE( '', #1469, #1470 ); #1183 = FILL_AREA_STYLE_COLOUR( '', #1471 ); #1184 = LINE( '', #1472, #1473 ); #1185 = LINE( '', #1474, #1475 ); #1186 = FILL_AREA_STYLE_COLOUR( '', #1476 ); #1187 = FILL_AREA_STYLE_COLOUR( '', #1477 ); #1188 = FILL_AREA_STYLE_COLOUR( '', #1478 ); #1189 = LINE( '', #1479, #1480 ); #1190 = FILL_AREA_STYLE_COLOUR( '', #1481 ); #1191 = FILL_AREA_STYLE_COLOUR( '', #1482 ); #1192 = LINE( '', #1483, #1484 ); #1193 = FILL_AREA_STYLE_COLOUR( '', #1485 ); #1194 = FILL_AREA_STYLE_COLOUR( '', #1486 ); #1195 = FILL_AREA_STYLE_COLOUR( '', #1487 ); #1196 = FILL_AREA_STYLE_COLOUR( '', #1488 ); #1197 = FILL_AREA_STYLE_COLOUR( '', #1489 ); #1198 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1199 = CARTESIAN_POINT( '', ( -24.7500000000000, -12.0000000000000, 10.0561832521965 ) ); #1200 = CARTESIAN_POINT( '', ( -24.7500000000000, -6.42500000000000, -10.7500000000000 ) ); #1201 = CARTESIAN_POINT( '', ( -24.7500000000000, -6.79845418695087, -9.35625000000000 ) ); #1202 = VECTOR( '', #1490, 1000.00000000000 ); #1203 = CARTESIAN_POINT( '', ( -24.7500000000000, -12.0000000000000, 10.7500000000000 ) ); #1204 = CARTESIAN_POINT( '', ( -24.7500000000000, -12.0000000000000, 10.7500000000000 ) ); #1205 = VECTOR( '', #1491, 1000.00000000000 ); #1206 = CARTESIAN_POINT( '', ( -24.7500000000000, 12.0000000000000, 10.7500000000000 ) ); #1207 = CARTESIAN_POINT( '', ( -24.7500000000000, 12.0000000000000, 10.7500000000000 ) ); #1208 = VECTOR( '', #1492, 1000.00000000000 ); #1209 = CARTESIAN_POINT( '', ( -24.7500000000000, 12.0000000000000, 10.0561832521965 ) ); #1210 = CARTESIAN_POINT( '', ( -24.7500000000000, 12.0000000000000, -10.7500000000000 ) ); #1211 = VECTOR( '', #1493, 1000.00000000000 ); #1212 = CARTESIAN_POINT( '', ( -24.7500000000000, 6.42500000000000, -10.7500000000000 ) ); #1213 = CARTESIAN_POINT( '', ( -24.7500000000000, 5.19075903236415, -15.3562500000000 ) ); #1214 = VECTOR( '', #1494, 1000.00000000000 ); #1215 = CARTESIAN_POINT( '', ( -24.7500000000000, -12.0000000000000, -10.7500000000000 ) ); #1216 = VECTOR( '', #1495, 1000.00000000000 ); #1217 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1218 = CARTESIAN_POINT( '', ( 13.0000000000000, 7.00000000000000, -9.50000000000000 ) ); #1219 = CARTESIAN_POINT( '', ( 13.0000000000000, 7.00000000000000, 0.500000000000000 ) ); #1220 = CARTESIAN_POINT( '', ( 13.0000000000000, 7.00000000000000, -9.50000000000000 ) ); #1221 = VECTOR( '', #1496, 1000.00000000000 ); #1222 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, 0.500000000000000 ) ); #1223 = CARTESIAN_POINT( '', ( 13.0000000000000, 28.1140997321589, 0.500000000000000 ) ); #1224 = VECTOR( '', #1497, 1000.00000000000 ); #1225 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #1226 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #1227 = VECTOR( '', #1498, 1000.00000000000 ); #1228 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #1229 = VECTOR( '', #1499, 1000.00000000000 ); #1230 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1231 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 4.75000000000001, 2.75000000000000 ) ); #1232 = AXIS2_PLACEMENT_3D( '', #1500, #1501, #1502 ); #1233 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, -6.99999999999999, 2.75000000000000 ) ); #1234 = AXIS2_PLACEMENT_3D( '', #1503, #1504, #1505 ); #1235 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1236 = CARTESIAN_POINT( '', ( -14.5000000000000, -7.49679676972449, -6.75000000000000 ) ); #1237 = CARTESIAN_POINT( '', ( -14.5000000000000, 7.49679676972449, -6.75000000000000 ) ); #1238 = CARTESIAN_POINT( '', ( -14.5000000000000, -15.0000000000000, -6.75000000000000 ) ); #1239 = VECTOR( '', #1506, 1000.00000000000 ); #1240 = CARTESIAN_POINT( '', ( -21.5000000000000, -7.49679676972449, -6.75000000000000 ) ); #1241 = AXIS2_PLACEMENT_3D( '', #1507, #1508, #1509 ); #1242 = CARTESIAN_POINT( '', ( -21.5000000000000, 7.49679676972449, -6.75000000000000 ) ); #1243 = CARTESIAN_POINT( '', ( -21.5000000000000, -15.0000000000000, -6.75000000000000 ) ); #1244 = VECTOR( '', #1510, 1000.00000000000 ); #1245 = AXIS2_PLACEMENT_3D( '', #1511, #1512, #1513 ); #1246 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1247 = CARTESIAN_POINT( '', ( 3.40000000000000, 0.000000000000000, -7.50000000000000 ) ); #1248 = AXIS2_PLACEMENT_3D( '', #1514, #1515, #1516 ); #1249 = CARTESIAN_POINT( '', ( -5.00000000000000, -7.00000000000000, -7.50000000000000 ) ); #1250 = CARTESIAN_POINT( '', ( -5.00000000000000, 7.00000000000000, -7.50000000000000 ) ); #1251 = CARTESIAN_POINT( '', ( -5.00000000000000, -28.1140997321589, -7.50000000000000 ) ); #1252 = VECTOR( '', #1517, 1000.00000000000 ); #1253 = CARTESIAN_POINT( '', ( 5.00000000000000, 7.00000000000000, -7.50000000000000 ) ); #1254 = CARTESIAN_POINT( '', ( 5.00000000000000, 7.00000000000000, -7.50000000000000 ) ); #1255 = VECTOR( '', #1518, 1000.00000000000 ); #1256 = CARTESIAN_POINT( '', ( 5.00000000000000, -7.00000000000000, -7.50000000000000 ) ); #1257 = CARTESIAN_POINT( '', ( 5.00000000000000, -28.1140997321589, -7.50000000000000 ) ); #1258 = VECTOR( '', #1519, 1000.00000000000 ); #1259 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -7.50000000000000 ) ); #1260 = VECTOR( '', #1520, 1000.00000000000 ); #1261 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1262 = CARTESIAN_POINT( '', ( 21.5000000000000, 7.49679676972449, -6.75000000000000 ) ); #1263 = CARTESIAN_POINT( '', ( 14.5000000000000, 7.49679676972449, -6.75000000000000 ) ); #1264 = AXIS2_PLACEMENT_3D( '', #1521, #1522, #1523 ); #1265 = CARTESIAN_POINT( '', ( 14.5000000000000, 6.42500000000000, -10.7500000000000 ) ); #1266 = CARTESIAN_POINT( '', ( 14.5000000000000, 6.42500000000000, -10.7500000000000 ) ); #1267 = VECTOR( '', #1524, 1000.00000000000 ); #1268 = CARTESIAN_POINT( '', ( 7.00000000000000, 6.42500000000000, -10.7500000000000 ) ); #1269 = CARTESIAN_POINT( '', ( -34.3135251233788, 6.42500000000000, -10.7500000000000 ) ); #1270 = VECTOR( '', #1525, 1000.00000000000 ); #1271 = CARTESIAN_POINT( '', ( 7.00000000000000, 7.49679676972449, -6.75000000000000 ) ); #1272 = CARTESIAN_POINT( '', ( 7.00000000000000, 6.42500000000000, -10.7500000000000 ) ); #1273 = VECTOR( '', #1526, 1000.00000000000 ); #1274 = CARTESIAN_POINT( '', ( -7.00000000000000, 7.49679676972449, -6.75000000000000 ) ); #1275 = CARTESIAN_POINT( '', ( -34.3135251233788, 7.49679676972450, -6.75000000000000 ) ); #1276 = VECTOR( '', #1527, 1000.00000000000 ); #1277 = CARTESIAN_POINT( '', ( -7.00000000000000, 6.42500000000000, -10.7500000000000 ) ); #1278 = CARTESIAN_POINT( '', ( -7.00000000000000, 6.42500000000000, -10.7500000000000 ) ); #1279 = VECTOR( '', #1528, 1000.00000000000 ); #1280 = CARTESIAN_POINT( '', ( -14.5000000000000, 6.42500000000000, -10.7500000000000 ) ); #1281 = CARTESIAN_POINT( '', ( -34.3135251233788, 6.42500000000000, -10.7500000000000 ) ); #1282 = VECTOR( '', #1529, 1000.00000000000 ); #1283 = CARTESIAN_POINT( '', ( -14.5000000000000, 6.42500000000000, -10.7500000000000 ) ); #1284 = VECTOR( '', #1530, 1000.00000000000 ); #1285 = CARTESIAN_POINT( '', ( -21.5000000000000, 6.42500000000000, -10.7500000000000 ) ); #1286 = CARTESIAN_POINT( '', ( -21.5000000000000, 6.42500000000000, -10.7500000000000 ) ); #1287 = VECTOR( '', #1531, 1000.00000000000 ); #1288 = CARTESIAN_POINT( '', ( -34.3135251233788, 6.42500000000000, -10.7500000000000 ) ); #1289 = VECTOR( '', #1532, 1000.00000000000 ); #1290 = CARTESIAN_POINT( '', ( 24.7500000000000, 12.0000000000000, 10.0561832521965 ) ); #1291 = CARTESIAN_POINT( '', ( -34.3135251233788, 12.0000000000000, 10.0561832521965 ) ); #1292 = VECTOR( '', #1533, 1000.00000000000 ); #1293 = CARTESIAN_POINT( '', ( 24.7500000000000, 6.42500000000000, -10.7500000000000 ) ); #1294 = CARTESIAN_POINT( '', ( 24.7500000000000, 6.42500000000000, -10.7500000000000 ) ); #1295 = VECTOR( '', #1534, 1000.00000000000 ); #1296 = CARTESIAN_POINT( '', ( 21.5000000000000, 6.42500000000000, -10.7500000000000 ) ); #1297 = CARTESIAN_POINT( '', ( -34.3135251233788, 6.42500000000000, -10.7500000000000 ) ); #1298 = VECTOR( '', #1535, 1000.00000000000 ); #1299 = CARTESIAN_POINT( '', ( 21.5000000000000, 6.42500000000000, -10.7500000000000 ) ); #1300 = VECTOR( '', #1536, 1000.00000000000 ); #1301 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1302 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 7.00000000000001, 9.75000000000000 ) ); #1303 = AXIS2_PLACEMENT_3D( '', #1537, #1538, #1539 ); #1304 = CARTESIAN_POINT( '', ( -8.00000000000000, 7.37257477290143E-015, 10.7500000000000 ) ); #1305 = AXIS2_PLACEMENT_3D( '', #1540, #1541, #1542 ); #1306 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1307 = CARTESIAN_POINT( '', ( -9.50000000000000, 7.00000000000000, 9.50000000000000 ) ); #1308 = CARTESIAN_POINT( '', ( -9.50000000000000, 7.00000000000000, 0.500000000000000 ) ); #1309 = CARTESIAN_POINT( '', ( -9.50000000000000, 7.00000000000000, 9.50000000000000 ) ); #1310 = VECTOR( '', #1543, 1000.00000000000 ); #1311 = CARTESIAN_POINT( '', ( -9.50000000000000, -7.00000000000000, 0.500000000000000 ) ); #1312 = CARTESIAN_POINT( '', ( -9.50000000000000, 28.1140997321589, 0.500000000000000 ) ); #1313 = VECTOR( '', #1544, 1000.00000000000 ); #1314 = CARTESIAN_POINT( '', ( -9.50000000000000, -7.00000000000000, 9.50000000000000 ) ); #1315 = CARTESIAN_POINT( '', ( -9.50000000000000, -7.00000000000000, 0.500000000000000 ) ); #1316 = VECTOR( '', #1545, 1000.00000000000 ); #1317 = CARTESIAN_POINT( '', ( -9.50000000000000, 28.1140997321589, 9.50000000000000 ) ); #1318 = VECTOR( '', #1546, 1000.00000000000 ); #1319 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1320 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, 10.7500000000000 ) ); #1321 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, 10.7500000000000 ) ); #1322 = VECTOR( '', #1547, 1000.00000000000 ); #1323 = CARTESIAN_POINT( '', ( 24.7500000000000, 12.0000000000000, 10.7500000000000 ) ); #1324 = CARTESIAN_POINT( '', ( 24.7500000000000, 12.0000000000000, 10.7500000000000 ) ); #1325 = VECTOR( '', #1548, 1000.00000000000 ); #1326 = CARTESIAN_POINT( '', ( 24.7500000000000, 12.0000000000000, 10.7500000000000 ) ); #1327 = VECTOR( '', #1549, 1000.00000000000 ); #1328 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1329 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, -3.40000000000000, 9.50000000000000 ) ); #1330 = AXIS2_PLACEMENT_3D( '', #1550, #1551, #1552 ); #1331 = CARTESIAN_POINT( '', ( 9.50000000000000, -7.00000000000000, 9.50000000000000 ) ); #1332 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, 9.50000000000000 ) ); #1333 = VECTOR( '', #1553, 1000.00000000000 ); #1334 = CARTESIAN_POINT( '', ( 9.50000000000000, 7.00000000000000, 9.50000000000000 ) ); #1335 = CARTESIAN_POINT( '', ( 9.50000000000000, 28.1140997321589, 9.50000000000000 ) ); #1336 = VECTOR( '', #1554, 1000.00000000000 ); #1337 = CARTESIAN_POINT( '', ( 13.0000000000000, 7.00000000000000, 9.50000000000000 ) ); #1338 = VECTOR( '', #1555, 1000.00000000000 ); #1339 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1340 = CARTESIAN_POINT( '', ( 21.5000000000000, -7.49679676972449, -6.75000000000000 ) ); #1341 = CARTESIAN_POINT( '', ( 21.5000000000000, -15.0000000000000, -6.75000000000000 ) ); #1342 = VECTOR( '', #1556, 1000.00000000000 ); #1343 = CARTESIAN_POINT( '', ( 14.5000000000000, -7.49679676972449, -6.75000000000000 ) ); #1344 = AXIS2_PLACEMENT_3D( '', #1557, #1558, #1559 ); #1345 = CARTESIAN_POINT( '', ( 14.5000000000000, -15.0000000000000, -6.75000000000000 ) ); #1346 = VECTOR( '', #1560, 1000.00000000000 ); #1347 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1348 = CARTESIAN_POINT( '', ( -7.00000000000000, -7.49679676972449, -6.75000000000000 ) ); #1349 = CARTESIAN_POINT( '', ( -7.00000000000000, -10.0000000000000, -6.75000000000000 ) ); #1350 = VECTOR( '', #1561, 1000.00000000000 ); #1351 = CARTESIAN_POINT( '', ( -7.00000000000000, -6.42500000000000, -10.7500000000000 ) ); #1352 = CARTESIAN_POINT( '', ( -7.00000000000000, -6.42500000000000, -10.7500000000000 ) ); #1353 = VECTOR( '', #1562, 1000.00000000000 ); #1354 = CARTESIAN_POINT( '', ( -7.00000000000000, -10.0000000000000, -10.7500000000000 ) ); #1355 = VECTOR( '', #1563, 1000.00000000000 ); #1356 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1357 = CARTESIAN_POINT( '', ( 9.50000000000000, 7.00000000000000, 0.500000000000000 ) ); #1358 = CARTESIAN_POINT( '', ( 9.50000000000000, 7.00000000000000, 9.50000000000000 ) ); #1359 = VECTOR( '', #1564, 1000.00000000000 ); #1360 = CARTESIAN_POINT( '', ( 9.50000000000000, -7.00000000000000, 0.500000000000000 ) ); #1361 = CARTESIAN_POINT( '', ( 9.50000000000000, -7.00000000000000, 9.50000000000000 ) ); #1362 = VECTOR( '', #1565, 1000.00000000000 ); #1363 = CARTESIAN_POINT( '', ( 9.50000000000000, 28.1140997321589, 0.500000000000000 ) ); #1364 = VECTOR( '', #1566, 1000.00000000000 ); #1365 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1366 = CARTESIAN_POINT( '', ( 14.5000000000000, -6.42500000000000, -10.7500000000000 ) ); #1367 = CARTESIAN_POINT( '', ( 14.5000000000000, -6.42500000000000, -10.7500000000000 ) ); #1368 = VECTOR( '', #1567, 1000.00000000000 ); #1369 = CARTESIAN_POINT( '', ( 21.5000000000000, -6.42500000000000, -10.7500000000000 ) ); #1370 = CARTESIAN_POINT( '', ( 21.5000000000000, -6.42500000000000, -10.7500000000000 ) ); #1371 = VECTOR( '', #1568, 1000.00000000000 ); #1372 = CARTESIAN_POINT( '', ( 24.7500000000000, -6.42500000000000, -10.7500000000000 ) ); #1373 = CARTESIAN_POINT( '', ( -34.3135251233788, -6.42500000000000, -10.7500000000000 ) ); #1374 = VECTOR( '', #1569, 1000.00000000000 ); #1375 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, 10.0561832521965 ) ); #1376 = CARTESIAN_POINT( '', ( 24.7500000000000, -6.42500000000000, -10.7500000000000 ) ); #1377 = VECTOR( '', #1570, 1000.00000000000 ); #1378 = CARTESIAN_POINT( '', ( -34.3135251233788, -12.0000000000000, 10.0561832521965 ) ); #1379 = VECTOR( '', #1571, 1000.00000000000 ); #1380 = CARTESIAN_POINT( '', ( -21.5000000000000, -6.42500000000000, -10.7500000000000 ) ); #1381 = CARTESIAN_POINT( '', ( -34.3135251233788, -6.42500000000000, -10.7500000000000 ) ); #1382 = VECTOR( '', #1572, 1000.00000000000 ); #1383 = CARTESIAN_POINT( '', ( -21.5000000000000, -6.42500000000000, -10.7500000000000 ) ); #1384 = VECTOR( '', #1573, 1000.00000000000 ); #1385 = CARTESIAN_POINT( '', ( -14.5000000000000, -6.42500000000000, -10.7500000000000 ) ); #1386 = CARTESIAN_POINT( '', ( -14.5000000000000, -6.42500000000000, -10.7500000000000 ) ); #1387 = VECTOR( '', #1574, 1000.00000000000 ); #1388 = CARTESIAN_POINT( '', ( -34.3135251233788, -6.42500000000000, -10.7500000000000 ) ); #1389 = VECTOR( '', #1575, 1000.00000000000 ); #1390 = CARTESIAN_POINT( '', ( 7.00000000000000, -7.49679676972449, -6.75000000000000 ) ); #1391 = CARTESIAN_POINT( '', ( -34.3135251233788, -7.49679676972449, -6.75000000000000 ) ); #1392 = VECTOR( '', #1576, 1000.00000000000 ); #1393 = CARTESIAN_POINT( '', ( 7.00000000000000, -6.42500000000000, -10.7500000000000 ) ); #1394 = CARTESIAN_POINT( '', ( 7.00000000000000, -6.42500000000000, -10.7500000000000 ) ); #1395 = VECTOR( '', #1577, 1000.00000000000 ); #1396 = CARTESIAN_POINT( '', ( -34.3135251233788, -6.42500000000000, -10.7500000000000 ) ); #1397 = VECTOR( '', #1578, 1000.00000000000 ); #1398 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1399 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, 0.500000000000000 ) ); #1400 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #1401 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, 9.50000000000000 ) ); #1402 = VECTOR( '', #1579, 1000.00000000000 ); #1403 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, 0.500000000000000 ) ); #1404 = CARTESIAN_POINT( '', ( -13.0000000000000, 28.1140997321589, 0.500000000000000 ) ); #1405 = VECTOR( '', #1580, 1000.00000000000 ); #1406 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, -9.50000000000000 ) ); #1407 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, 9.50000000000000 ) ); #1408 = VECTOR( '', #1581, 1000.00000000000 ); #1409 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #1410 = VECTOR( '', #1582, 1000.00000000000 ); #1411 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1412 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, 10.7500000000000 ) ); #1413 = VECTOR( '', #1583, 1000.00000000000 ); #1414 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1415 = CARTESIAN_POINT( '', ( -7.00000000000000, 7.00000000000000, -9.50000000000000 ) ); #1416 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, -9.50000000000000 ) ); #1417 = VECTOR( '', #1584, 1000.00000000000 ); #1418 = CARTESIAN_POINT( '', ( -7.00000000000000, -7.00000000000000, -9.50000000000000 ) ); #1419 = CARTESIAN_POINT( '', ( -7.00000000000000, -28.1140997321589, -9.50000000000000 ) ); #1420 = VECTOR( '', #1585, 1000.00000000000 ); #1421 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #1422 = VECTOR( '', #1586, 1000.00000000000 ); #1423 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1424 = CARTESIAN_POINT( '', ( -7.00000000000000, 7.00000000000000, -9.50000000000000 ) ); #1425 = VECTOR( '', #1587, 1000.00000000000 ); #1426 = CARTESIAN_POINT( '', ( -0.500000000000000, -7.00000000000000, -3.00000000000000 ) ); #1427 = VECTOR( '', #1588, 1000.00000000000 ); #1428 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1429 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, 0.500000000000000 ) ); #1430 = VECTOR( '', #1589, 1000.00000000000 ); #1431 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, 0.500000000000000 ) ); #1432 = VECTOR( '', #1590, 1000.00000000000 ); #1433 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1434 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 4.25000000000001, 2.25000000000000 ) ); #1435 = AXIS2_PLACEMENT_3D( '', #1591, #1592, #1593 ); #1436 = CARTESIAN_POINT( '', ( -4.25000000000000, 9.90237984203427E-015, -6.75000000000000 ) ); #1437 = AXIS2_PLACEMENT_3D( '', #1594, #1595, #1596 ); #1438 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1439 = CARTESIAN_POINT( '', ( 7.00000000000000, 7.00000000000000, -9.50000000000000 ) ); #1440 = CARTESIAN_POINT( '', ( 7.00000000000000, 7.00000000000000, -9.50000000000000 ) ); #1441 = VECTOR( '', #1597, 1000.00000000000 ); #1442 = CARTESIAN_POINT( '', ( 7.00000000000000, -7.00000000000000, -9.50000000000000 ) ); #1443 = CARTESIAN_POINT( '', ( 7.00000000000000, -28.1140997321589, -9.50000000000000 ) ); #1444 = VECTOR( '', #1598, 1000.00000000000 ); #1445 = CARTESIAN_POINT( '', ( -12.5000000000000, -7.00000000000000, 10.0000000000000 ) ); #1446 = VECTOR( '', #1599, 1000.00000000000 ); #1447 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1448 = CARTESIAN_POINT( '', ( 7.00000000000000, -10.0000000000000, -10.7500000000000 ) ); #1449 = VECTOR( '', #1600, 1000.00000000000 ); #1450 = CARTESIAN_POINT( '', ( 7.00000000000000, -10.0000000000000, -6.75000000000000 ) ); #1451 = VECTOR( '', #1601, 1000.00000000000 ); #1452 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1453 = CARTESIAN_POINT( '', ( 14.5000000000000, -15.0000000000000, -10.7500000000000 ) ); #1454 = VECTOR( '', #1602, 1000.00000000000 ); #1455 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1456 = CARTESIAN_POINT( '', ( -14.5000000000000, -15.0000000000000, -10.7500000000000 ) ); #1457 = VECTOR( '', #1603, 1000.00000000000 ); #1458 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1459 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1460 = CARTESIAN_POINT( '', ( 9.50000000000000, -7.00000000000000, 0.500000000000000 ) ); #1461 = VECTOR( '', #1604, 1000.00000000000 ); #1462 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #1463 = VECTOR( '', #1605, 1000.00000000000 ); #1464 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1465 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, -9.50000000000000 ) ); #1466 = VECTOR( '', #1606, 1000.00000000000 ); #1467 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1468 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1469 = CARTESIAN_POINT( '', ( -21.5000000000000, -15.0000000000000, -10.7500000000000 ) ); #1470 = VECTOR( '', #1607, 1000.00000000000 ); #1471 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1472 = CARTESIAN_POINT( '', ( 21.5000000000000, -15.0000000000000, -10.7500000000000 ) ); #1473 = VECTOR( '', #1608, 1000.00000000000 ); #1474 = CARTESIAN_POINT( '', ( 24.7500000000000, -12.0000000000000, -10.7500000000000 ) ); #1475 = VECTOR( '', #1609, 1000.00000000000 ); #1476 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1477 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1478 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1479 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, 0.500000000000000 ) ); #1480 = VECTOR( '', #1610, 1000.00000000000 ); #1481 = COLOUR_RGB( '', 0.200000002980232, 0.200000002980232, 0.200000002980232 ); #1482 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1483 = CARTESIAN_POINT( '', ( 24.7500000000000, 12.0000000000000, -10.7500000000000 ) ); #1484 = VECTOR( '', #1611, 1000.00000000000 ); #1485 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1486 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1487 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1488 = COLOUR_RGB( '', 1.00000000000000, 1.00000000000000, 1.00000000000000 ); #1489 = COLOUR_RGB( '', 0.396078497171402, 0.941176474094391, 0.450980395078659 ); #1490 = DIRECTION( '', ( 1.58475723561393E-017, 0.258819045102520, -0.965925826289068 ) ); #1491 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1492 = DIRECTION( '', ( -6.12303176911189E-017, -1.00000000000000, 0.000000000000000 ) ); #1493 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1494 = DIRECTION( '', ( -1.58475723561393E-017, -0.258819045102520, -0.965925826289068 ) ); #1495 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, 0.000000000000000 ) ); #1496 = DIRECTION( '', ( -1.82602471155453E-016, 0.000000000000000, 1.00000000000000 ) ); #1497 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1498 = DIRECTION( '', ( -1.82602471155453E-016, 0.000000000000000, 1.00000000000000 ) ); #1499 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1500 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 8.52905709021930E-015, 2.75000000000000 ) ); #1501 = DIRECTION( '', ( 0.000000000000000, 1.44560289664734E-016, -1.00000000000000 ) ); #1502 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 1.44560289664734E-016 ) ); #1503 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 8.52905709021930E-015, 2.75000000000000 ) ); #1504 = DIRECTION( '', ( 0.000000000000000, -1.44560289664734E-016, 1.00000000000000 ) ); #1505 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -1.44560289664734E-016 ) ); #1506 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1507 = CARTESIAN_POINT( '', ( -18.0000000000000, -7.49679676972449, -6.75000000000000 ) ); #1508 = DIRECTION( '', ( -5.91439452097361E-017, -0.965925826289068, -0.258819045102521 ) ); #1509 = DIRECTION( '', ( -2.20728208482805E-016, 0.258819045102521, -0.965925826289068 ) ); #1510 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1511 = CARTESIAN_POINT( '', ( -18.0000000000000, 7.49679676972450, -6.75000000000000 ) ); #1512 = DIRECTION( '', ( -5.91439452097361E-017, -0.965925826289068, 0.258819045102520 ) ); #1513 = DIRECTION( '', ( -2.20728208482805E-016, 0.258819045102520, 0.965925826289068 ) ); #1514 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 0.000000000000000, -7.50000000000000 ) ); #1515 = DIRECTION( '', ( -2.66880534765664E-016, 0.000000000000000, 1.00000000000000 ) ); #1516 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765664E-016 ) ); #1517 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1518 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765664E-016 ) ); #1519 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1520 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765664E-016 ) ); #1521 = CARTESIAN_POINT( '', ( 18.0000000000000, 7.49679676972449, -6.75000000000000 ) ); #1522 = DIRECTION( '', ( -5.91439452097361E-017, -0.965925826289068, 0.258819045102520 ) ); #1523 = DIRECTION( '', ( -2.20728208482805E-016, 0.258819045102520, 0.965925826289068 ) ); #1524 = DIRECTION( '', ( 0.000000000000000, -0.258819045102520, -0.965925826289068 ) ); #1525 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1526 = DIRECTION( '', ( 0.000000000000000, -0.258819045102520, -0.965925826289068 ) ); #1527 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1528 = DIRECTION( '', ( 0.000000000000000, 0.258819045102520, 0.965925826289068 ) ); #1529 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1530 = DIRECTION( '', ( 0.000000000000000, 0.258819045102520, 0.965925826289068 ) ); #1531 = DIRECTION( '', ( 0.000000000000000, -0.258819045102520, -0.965925826289068 ) ); #1532 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1533 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1534 = DIRECTION( '', ( -1.49659824523080E-017, -0.258819045102521, -0.965925826289068 ) ); #1535 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1536 = DIRECTION( '', ( 0.000000000000000, 0.258819045102520, 0.965925826289068 ) ); #1537 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 7.51713506256616E-015, 9.75000000000000 ) ); #1538 = DIRECTION( '', ( 0.000000000000000, 1.44560289664733E-016, -1.00000000000000 ) ); #1539 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 1.44560289664733E-016 ) ); #1540 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 7.37257477290143E-015, 10.7500000000000 ) ); #1541 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1542 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1543 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1544 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1545 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1546 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1547 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1548 = DIRECTION( '', ( -6.12303176911189E-017, -1.00000000000000, 0.000000000000000 ) ); #1549 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1550 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 0.000000000000000, 9.50000000000000 ) ); #1551 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1552 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1553 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1554 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1555 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1556 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1557 = CARTESIAN_POINT( '', ( 18.0000000000000, -7.49679676972449, -6.75000000000000 ) ); #1558 = DIRECTION( '', ( -5.91439452097361E-017, -0.965925826289068, -0.258819045102521 ) ); #1559 = DIRECTION( '', ( -2.20728208482805E-016, 0.258819045102521, -0.965925826289068 ) ); #1560 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1561 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1562 = DIRECTION( '', ( 0.000000000000000, -0.258819045102520, 0.965925826289068 ) ); #1563 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1564 = DIRECTION( '', ( -1.92747052886312E-016, 0.000000000000000, 1.00000000000000 ) ); #1565 = DIRECTION( '', ( 1.92747052886312E-016, 0.000000000000000, -1.00000000000000 ) ); #1566 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1567 = DIRECTION( '', ( 0.000000000000000, 0.258819045102520, -0.965925826289068 ) ); #1568 = DIRECTION( '', ( 0.000000000000000, -0.258819045102520, 0.965925826289068 ) ); #1569 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1570 = DIRECTION( '', ( 1.49659824523081E-017, 0.258819045102521, -0.965925826289068 ) ); #1571 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1572 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1573 = DIRECTION( '', ( 0.000000000000000, 0.258819045102520, -0.965925826289068 ) ); #1574 = DIRECTION( '', ( 0.000000000000000, -0.258819045102520, 0.965925826289068 ) ); #1575 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1576 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1577 = DIRECTION( '', ( 0.000000000000000, 0.258819045102520, -0.965925826289068 ) ); #1578 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1579 = DIRECTION( '', ( 9.13012355777267E-017, 0.000000000000000, -1.00000000000000 ) ); #1580 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1581 = DIRECTION( '', ( 9.13012355777267E-017, 0.000000000000000, -1.00000000000000 ) ); #1582 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1583 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1584 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765662E-016 ) ); #1585 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1586 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765662E-016 ) ); #1587 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, 0.707106781186547 ) ); #1588 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, 0.707106781186547 ) ); #1589 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1590 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1591 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 8.60133723505167E-015, 2.25000000000000 ) ); #1592 = DIRECTION( '', ( 0.000000000000000, 1.44560289664735E-016, -1.00000000000000 ) ); #1593 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 1.44560289664735E-016 ) ); #1594 = CARTESIAN_POINT( '', ( 3.46944695195362E-015, 9.90237984203427E-015, -6.75000000000000 ) ); #1595 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1596 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1597 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186547 ) ); #1598 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1599 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186547 ) ); #1600 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1601 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1602 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1603 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1604 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1605 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765662E-016 ) ); #1606 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765662E-016 ) ); #1607 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1608 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1609 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, 0.000000000000000 ) ); #1610 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1611 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); ENDSEC; END-ISO-10303-21;