ISO-10303-21;
HEADER;
FILE_DESCRIPTION( ( 'Unknown' ), '1' );
FILE_NAME( 'D:/\X2\66AB5B58\X0\/\X2\4FEE653966AB5B58\X0\/SVF-3D/SVF-S(\X2\7279522596444EF6\X0\)/S03/SVF-S03-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 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION( ' ', ( #10, #11, #12, #13, #14, #15, #16, #17, #18, #19, #20, #21, #22, #23, #24, #25, #26, #27, #28, #29, #30, #31, #32, #33, #34, #35 ), #6 );
#2 = PRODUCT_DEFINITION_CONTEXT( '', #36, 'design' );
#3 = APPLICATION_PROTOCOL_DEFINITION( 'international standard', 'automotive_design', 2001, #36 );
#4 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #37, #38 );
#5 = SHAPE_DEFINITION_REPRESENTATION( #39, #40 );
#6 =  ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #43 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #45, #46, #47 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) );
#10 = STYLED_ITEM( '', ( #49 ), #50 );
#11 = STYLED_ITEM( '', ( #51 ), #52 );
#12 = STYLED_ITEM( '', ( #53 ), #54 );
#13 = STYLED_ITEM( '', ( #55 ), #56 );
#14 = STYLED_ITEM( '', ( #57 ), #58 );
#15 = STYLED_ITEM( '', ( #59 ), #60 );
#16 = STYLED_ITEM( '', ( #61 ), #62 );
#17 = STYLED_ITEM( '', ( #63 ), #64 );
#18 = STYLED_ITEM( '', ( #65 ), #66 );
#19 = STYLED_ITEM( '', ( #67 ), #68 );
#20 = STYLED_ITEM( '', ( #69 ), #70 );
#21 = STYLED_ITEM( '', ( #71 ), #72 );
#22 = STYLED_ITEM( '', ( #73 ), #74 );
#23 = STYLED_ITEM( '', ( #75 ), #76 );
#24 = STYLED_ITEM( '', ( #77 ), #78 );
#25 = STYLED_ITEM( '', ( #79 ), #80 );
#26 = STYLED_ITEM( '', ( #81 ), #82 );
#27 = STYLED_ITEM( '', ( #83 ), #84 );
#28 = STYLED_ITEM( '', ( #85 ), #86 );
#29 = STYLED_ITEM( '', ( #87 ), #88 );
#30 = STYLED_ITEM( '', ( #89 ), #90 );
#31 = STYLED_ITEM( '', ( #91 ), #92 );
#32 = STYLED_ITEM( '', ( #93 ), #94 );
#33 = STYLED_ITEM( '', ( #95 ), #96 );
#34 = STYLED_ITEM( '', ( #97 ), #98 );
#35 = STYLED_ITEM( '', ( #99 ), #100 );
#36 = APPLICATION_CONTEXT( 'core data for automotive mechanical design processes' );
#37 = PRODUCT_CATEGORY( 'part', 'NONE' );
#38 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #101 ) );
#39 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #102 );
#40 = ADVANCED_BREP_SHAPE_REPRESENTATION( '1', ( #103, #104 ), #6 );
#43 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 0.00100000000000000 ), #45, '', '' );
#45 =  ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #107 )LENGTH_UNIT(  )NAMED_UNIT( #110 ) );
#46 =  ( NAMED_UNIT( #112 )PLANE_ANGLE_UNIT(  )SI_UNIT( $, .RADIAN. ) );
#47 =  ( NAMED_UNIT( #112 )SI_UNIT( $, .STERADIAN. )SOLID_ANGLE_UNIT(  ) );
#49 = PRESENTATION_STYLE_ASSIGNMENT( ( #118 ) );
#50 = ADVANCED_FACE( '', ( #119 ), #120, .T. );
#51 = PRESENTATION_STYLE_ASSIGNMENT( ( #121 ) );
#52 = ADVANCED_FACE( '', ( #122 ), #123, .F. );
#53 = PRESENTATION_STYLE_ASSIGNMENT( ( #124 ) );
#54 = ADVANCED_FACE( '', ( #125, #126 ), #127, .F. );
#55 = PRESENTATION_STYLE_ASSIGNMENT( ( #128 ) );
#56 = ADVANCED_FACE( '', ( #129 ), #130, .T. );
#57 = PRESENTATION_STYLE_ASSIGNMENT( ( #131 ) );
#58 = ADVANCED_FACE( '', ( #132 ), #133, .T. );
#59 = PRESENTATION_STYLE_ASSIGNMENT( ( #134 ) );
#60 = ADVANCED_FACE( '', ( #135 ), #136, .T. );
#61 = PRESENTATION_STYLE_ASSIGNMENT( ( #137 ) );
#62 = ADVANCED_FACE( '', ( #138, #139 ), #140, .F. );
#63 = PRESENTATION_STYLE_ASSIGNMENT( ( #141 ) );
#64 = ADVANCED_FACE( '', ( #142, #143 ), #144, .F. );
#65 = PRESENTATION_STYLE_ASSIGNMENT( ( #145 ) );
#66 = ADVANCED_FACE( '', ( #146, #147 ), #148, .T. );
#67 = PRESENTATION_STYLE_ASSIGNMENT( ( #149 ) );
#68 = ADVANCED_FACE( '', ( #150, #151 ), #152, .T. );
#69 = PRESENTATION_STYLE_ASSIGNMENT( ( #153 ) );
#70 = ADVANCED_FACE( '', ( #154, #155 ), #156, .F. );
#71 = PRESENTATION_STYLE_ASSIGNMENT( ( #157 ) );
#72 = ADVANCED_FACE( '', ( #158 ), #159, .T. );
#73 = PRESENTATION_STYLE_ASSIGNMENT( ( #160 ) );
#74 = ADVANCED_FACE( '', ( #161 ), #162, .T. );
#75 = PRESENTATION_STYLE_ASSIGNMENT( ( #163 ) );
#76 = ADVANCED_FACE( '', ( #164 ), #165, .T. );
#77 = PRESENTATION_STYLE_ASSIGNMENT( ( #166 ) );
#78 = ADVANCED_FACE( '', ( #167 ), #168, .T. );
#79 = PRESENTATION_STYLE_ASSIGNMENT( ( #169 ) );
#80 = ADVANCED_FACE( '', ( #170 ), #171, .F. );
#81 = PRESENTATION_STYLE_ASSIGNMENT( ( #172 ) );
#82 = ADVANCED_FACE( '', ( #173 ), #174, .T. );
#83 = PRESENTATION_STYLE_ASSIGNMENT( ( #175 ) );
#84 = ADVANCED_FACE( '', ( #176, #177 ), #178, .F. );
#85 = PRESENTATION_STYLE_ASSIGNMENT( ( #179 ) );
#86 = ADVANCED_FACE( '', ( #180, #181 ), #182, .T. );
#87 = PRESENTATION_STYLE_ASSIGNMENT( ( #183 ) );
#88 = ADVANCED_FACE( '', ( #184 ), #185, .F. );
#89 = PRESENTATION_STYLE_ASSIGNMENT( ( #186 ) );
#90 = ADVANCED_FACE( '', ( #187 ), #188, .F. );
#91 = PRESENTATION_STYLE_ASSIGNMENT( ( #189 ) );
#92 = ADVANCED_FACE( '', ( #190, #191 ), #192, .T. );
#93 = PRESENTATION_STYLE_ASSIGNMENT( ( #193 ) );
#94 = ADVANCED_FACE( '', ( #194, #195 ), #196, .F. );
#95 = PRESENTATION_STYLE_ASSIGNMENT( ( #197 ) );
#96 = ADVANCED_FACE( '', ( #198 ), #199, .T. );
#97 = PRESENTATION_STYLE_ASSIGNMENT( ( #200 ) );
#98 = ADVANCED_FACE( '', ( #201 ), #202, .T. );
#99 = PRESENTATION_STYLE_ASSIGNMENT( ( #203 ) );
#100 = ADVANCED_FACE( '', ( #204 ), #205, .T. );
#101 = PRODUCT( '1', '1', 'PART-1-DESC', ( #206 ) );
#102 = PRODUCT_DEFINITION( 'NONE', 'NONE', #207, #2 );
#103 = MANIFOLD_SOLID_BREP( '1', #208 );
#104 = AXIS2_PLACEMENT_3D( '', #209, #210, #211 );
#107 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #212 );
#110 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#112 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#118 = SURFACE_STYLE_USAGE( .BOTH., #213 );
#119 = FACE_OUTER_BOUND( '', #214, .T. );
#120 = PLANE( '', #215 );
#121 = SURFACE_STYLE_USAGE( .BOTH., #216 );
#122 = FACE_OUTER_BOUND( '', #217, .T. );
#123 = PLANE( '', #218 );
#124 = SURFACE_STYLE_USAGE( .BOTH., #219 );
#125 = FACE_OUTER_BOUND( '', #220, .T. );
#126 = FACE_OUTER_BOUND( '', #221, .T. );
#127 = CYLINDRICAL_SURFACE( '', #222, 5.00000000000000 );
#128 = SURFACE_STYLE_USAGE( .BOTH., #223 );
#129 = FACE_OUTER_BOUND( '', #224, .T. );
#130 = PLANE( '', #225 );
#131 = SURFACE_STYLE_USAGE( .BOTH., #226 );
#132 = FACE_OUTER_BOUND( '', #227, .T. );
#133 = PLANE( '', #228 );
#134 = SURFACE_STYLE_USAGE( .BOTH., #229 );
#135 = FACE_OUTER_BOUND( '', #230, .T. );
#136 = PLANE( '', #231 );
#137 = SURFACE_STYLE_USAGE( .BOTH., #232 );
#138 = FACE_OUTER_BOUND( '', #233, .T. );
#139 = FACE_OUTER_BOUND( '', #234, .T. );
#140 = CYLINDRICAL_SURFACE( '', #235, 3.00000000000000 );
#141 = SURFACE_STYLE_USAGE( .BOTH., #236 );
#142 = FACE_OUTER_BOUND( '', #237, .T. );
#143 = FACE_BOUND( '', #238, .T. );
#144 = PLANE( '', #239 );
#145 = SURFACE_STYLE_USAGE( .BOTH., #240 );
#146 = FACE_OUTER_BOUND( '', #241, .T. );
#147 = FACE_BOUND( '', #242, .T. );
#148 = PLANE( '', #243 );
#149 = SURFACE_STYLE_USAGE( .BOTH., #244 );
#150 = FACE_BOUND( '', #245, .T. );
#151 = FACE_OUTER_BOUND( '', #246, .T. );
#152 = PLANE( '', #247 );
#153 = SURFACE_STYLE_USAGE( .BOTH., #248 );
#154 = FACE_OUTER_BOUND( '', #249, .T. );
#155 = FACE_OUTER_BOUND( '', #250, .T. );
#156 = CYLINDRICAL_SURFACE( '', #251, 5.00000000000000 );
#157 = SURFACE_STYLE_USAGE( .BOTH., #252 );
#158 = FACE_OUTER_BOUND( '', #253, .T. );
#159 = PLANE( '', #254 );
#160 = SURFACE_STYLE_USAGE( .BOTH., #255 );
#161 = FACE_OUTER_BOUND( '', #256, .T. );
#162 = PLANE( '', #257 );
#163 = SURFACE_STYLE_USAGE( .BOTH., #258 );
#164 = FACE_OUTER_BOUND( '', #259, .T. );
#165 = PLANE( '', #260 );
#166 = SURFACE_STYLE_USAGE( .BOTH., #261 );
#167 = FACE_OUTER_BOUND( '', #262, .T. );
#168 = PLANE( '', #263 );
#169 = SURFACE_STYLE_USAGE( .BOTH., #264 );
#170 = FACE_OUTER_BOUND( '', #265, .T. );
#171 = PLANE( '', #266 );
#172 = SURFACE_STYLE_USAGE( .BOTH., #267 );
#173 = FACE_OUTER_BOUND( '', #268, .T. );
#174 = PLANE( '', #269 );
#175 = SURFACE_STYLE_USAGE( .BOTH., #270 );
#176 = FACE_OUTER_BOUND( '', #271, .T. );
#177 = FACE_OUTER_BOUND( '', #272, .T. );
#178 = CYLINDRICAL_SURFACE( '', #273, 3.00000000000000 );
#179 = SURFACE_STYLE_USAGE( .BOTH., #274 );
#180 = FACE_OUTER_BOUND( '', #275, .T. );
#181 = FACE_BOUND( '', #276, .T. );
#182 = PLANE( '', #277 );
#183 = SURFACE_STYLE_USAGE( .BOTH., #278 );
#184 = FACE_OUTER_BOUND( '', #279, .T. );
#185 = PLANE( '', #280 );
#186 = SURFACE_STYLE_USAGE( .BOTH., #281 );
#187 = FACE_OUTER_BOUND( '', #282, .T. );
#188 = PLANE( '', #283 );
#189 = SURFACE_STYLE_USAGE( .BOTH., #284 );
#190 = FACE_BOUND( '', #285, .T. );
#191 = FACE_OUTER_BOUND( '', #286, .T. );
#192 = PLANE( '', #287 );
#193 = SURFACE_STYLE_USAGE( .BOTH., #288 );
#194 = FACE_OUTER_BOUND( '', #289, .T. );
#195 = FACE_BOUND( '', #290, .T. );
#196 = PLANE( '', #291 );
#197 = SURFACE_STYLE_USAGE( .BOTH., #292 );
#198 = FACE_OUTER_BOUND( '', #293, .T. );
#199 = PLANE( '', #294 );
#200 = SURFACE_STYLE_USAGE( .BOTH., #295 );
#201 = FACE_OUTER_BOUND( '', #296, .T. );
#202 = PLANE( '', #297 );
#203 = SURFACE_STYLE_USAGE( .BOTH., #298 );
#204 = FACE_OUTER_BOUND( '', #299, .T. );
#205 = PLANE( '', #300 );
#206 = PRODUCT_CONTEXT( '', #36, 'mechanical' );
#207 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #101, .NOT_KNOWN. );
#208 = CLOSED_SHELL( '', ( #86, #74, #66, #52, #78, #92, #58, #82, #72, #100, #60, #76, #50, #96, #84, #94, #54, #90, #62, #64, #70, #88, #98, #56, #80, #68 ) );
#209 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#210 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#211 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#212 =  ( LENGTH_UNIT(  )NAMED_UNIT( #110 )SI_UNIT( .MILLI., .METRE. ) );
#213 = SURFACE_SIDE_STYLE( '', ( #302 ) );
#214 = EDGE_LOOP( '', ( #303, #304, #305, #306 ) );
#215 = AXIS2_PLACEMENT_3D( '', #307, #308, #309 );
#216 = SURFACE_SIDE_STYLE( '', ( #310 ) );
#217 = EDGE_LOOP( '', ( #311, #312, #313, #314, #315, #316, #317, #318, #319, #320, #321, #322, #323, #324, #325, #326, #327, #328 ) );
#218 = AXIS2_PLACEMENT_3D( '', #329, #330, #331 );
#219 = SURFACE_SIDE_STYLE( '', ( #332 ) );
#220 = EDGE_LOOP( '', ( #333 ) );
#221 = EDGE_LOOP( '', ( #334 ) );
#222 = AXIS2_PLACEMENT_3D( '', #335, #336, #337 );
#223 = SURFACE_SIDE_STYLE( '', ( #338 ) );
#224 = EDGE_LOOP( '', ( #339, #340, #341, #342 ) );
#225 = AXIS2_PLACEMENT_3D( '', #343, #344, #345 );
#226 = SURFACE_SIDE_STYLE( '', ( #346 ) );
#227 = EDGE_LOOP( '', ( #347, #348, #349, #350 ) );
#228 = AXIS2_PLACEMENT_3D( '', #351, #352, #353 );
#229 = SURFACE_SIDE_STYLE( '', ( #354 ) );
#230 = EDGE_LOOP( '', ( #355, #356, #357, #358 ) );
#231 = AXIS2_PLACEMENT_3D( '', #359, #360, #361 );
#232 = SURFACE_SIDE_STYLE( '', ( #362 ) );
#233 = EDGE_LOOP( '', ( #363 ) );
#234 = EDGE_LOOP( '', ( #364 ) );
#235 = AXIS2_PLACEMENT_3D( '', #365, #366, #367 );
#236 = SURFACE_SIDE_STYLE( '', ( #368 ) );
#237 = EDGE_LOOP( '', ( #369 ) );
#238 = EDGE_LOOP( '', ( #370 ) );
#239 = AXIS2_PLACEMENT_3D( '', #371, #372, #373 );
#240 = SURFACE_SIDE_STYLE( '', ( #374 ) );
#241 = EDGE_LOOP( '', ( #375, #376, #377, #378 ) );
#242 = EDGE_LOOP( '', ( #379 ) );
#243 = AXIS2_PLACEMENT_3D( '', #380, #381, #382 );
#244 = SURFACE_SIDE_STYLE( '', ( #383 ) );
#245 = EDGE_LOOP( '', ( #384 ) );
#246 = EDGE_LOOP( '', ( #385, #386, #387, #388 ) );
#247 = AXIS2_PLACEMENT_3D( '', #389, #390, #391 );
#248 = SURFACE_SIDE_STYLE( '', ( #392 ) );
#249 = EDGE_LOOP( '', ( #393 ) );
#250 = EDGE_LOOP( '', ( #394 ) );
#251 = AXIS2_PLACEMENT_3D( '', #395, #396, #397 );
#252 = SURFACE_SIDE_STYLE( '', ( #398 ) );
#253 = EDGE_LOOP( '', ( #399, #400, #401, #402 ) );
#254 = AXIS2_PLACEMENT_3D( '', #403, #404, #405 );
#255 = SURFACE_SIDE_STYLE( '', ( #406 ) );
#256 = EDGE_LOOP( '', ( #407, #408, #409, #410 ) );
#257 = AXIS2_PLACEMENT_3D( '', #411, #412, #413 );
#258 = SURFACE_SIDE_STYLE( '', ( #414 ) );
#259 = EDGE_LOOP( '', ( #415, #416, #417, #418 ) );
#260 = AXIS2_PLACEMENT_3D( '', #419, #420, #421 );
#261 = SURFACE_SIDE_STYLE( '', ( #422 ) );
#262 = EDGE_LOOP( '', ( #423, #424, #425, #426, #427, #428, #429, #430, #431, #432, #433, #434, #435, #436 ) );
#263 = AXIS2_PLACEMENT_3D( '', #437, #438, #439 );
#264 = SURFACE_SIDE_STYLE( '', ( #440 ) );
#265 = EDGE_LOOP( '', ( #441, #442, #443, #444, #445, #446, #447, #448 ) );
#266 = AXIS2_PLACEMENT_3D( '', #449, #450, #451 );
#267 = SURFACE_SIDE_STYLE( '', ( #452 ) );
#268 = EDGE_LOOP( '', ( #453, #454, #455, #456 ) );
#269 = AXIS2_PLACEMENT_3D( '', #457, #458, #459 );
#270 = SURFACE_SIDE_STYLE( '', ( #460 ) );
#271 = EDGE_LOOP( '', ( #461 ) );
#272 = EDGE_LOOP( '', ( #462 ) );
#273 = AXIS2_PLACEMENT_3D( '', #463, #464, #465 );
#274 = SURFACE_SIDE_STYLE( '', ( #466 ) );
#275 = EDGE_LOOP( '', ( #467, #468, #469, #470 ) );
#276 = EDGE_LOOP( '', ( #471 ) );
#277 = AXIS2_PLACEMENT_3D( '', #472, #473, #474 );
#278 = SURFACE_SIDE_STYLE( '', ( #475 ) );
#279 = EDGE_LOOP( '', ( #476, #477, #478, #479 ) );
#280 = AXIS2_PLACEMENT_3D( '', #480, #481, #482 );
#281 = SURFACE_SIDE_STYLE( '', ( #483 ) );
#282 = EDGE_LOOP( '', ( #484, #485, #486, #487 ) );
#283 = AXIS2_PLACEMENT_3D( '', #488, #489, #490 );
#284 = SURFACE_SIDE_STYLE( '', ( #491 ) );
#285 = EDGE_LOOP( '', ( #492 ) );
#286 = EDGE_LOOP( '', ( #493, #494, #495, #496 ) );
#287 = AXIS2_PLACEMENT_3D( '', #497, #498, #499 );
#288 = SURFACE_SIDE_STYLE( '', ( #500 ) );
#289 = EDGE_LOOP( '', ( #501 ) );
#290 = EDGE_LOOP( '', ( #502 ) );
#291 = AXIS2_PLACEMENT_3D( '', #503, #504, #505 );
#292 = SURFACE_SIDE_STYLE( '', ( #506 ) );
#293 = EDGE_LOOP( '', ( #507, #508, #509, #510 ) );
#294 = AXIS2_PLACEMENT_3D( '', #511, #512, #513 );
#295 = SURFACE_SIDE_STYLE( '', ( #514 ) );
#296 = EDGE_LOOP( '', ( #515, #516, #517, #518 ) );
#297 = AXIS2_PLACEMENT_3D( '', #519, #520, #521 );
#298 = SURFACE_SIDE_STYLE( '', ( #522 ) );
#299 = EDGE_LOOP( '', ( #523, #524, #525, #526 ) );
#300 = AXIS2_PLACEMENT_3D( '', #527, #528, #529 );
#302 = SURFACE_STYLE_FILL_AREA( #530 );
#303 = ORIENTED_EDGE( '', *, *, #531, .T. );
#304 = ORIENTED_EDGE( '', *, *, #532, .F. );
#305 = ORIENTED_EDGE( '', *, *, #533, .F. );
#306 = ORIENTED_EDGE( '', *, *, #534, .F. );
#307 = CARTESIAN_POINT( '', ( -1.50000000000000, 49.2420922565717, -9.00000000000000 ) );
#308 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#309 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#310 = SURFACE_STYLE_FILL_AREA( #535 );
#311 = ORIENTED_EDGE( '', *, *, #536, .T. );
#312 = ORIENTED_EDGE( '', *, *, #537, .F. );
#313 = ORIENTED_EDGE( '', *, *, #538, .F. );
#314 = ORIENTED_EDGE( '', *, *, #539, .F. );
#315 = ORIENTED_EDGE( '', *, *, #540, .T. );
#316 = ORIENTED_EDGE( '', *, *, #541, .T. );
#317 = ORIENTED_EDGE( '', *, *, #542, .F. );
#318 = ORIENTED_EDGE( '', *, *, #543, .F. );
#319 = ORIENTED_EDGE( '', *, *, #544, .T. );
#320 = ORIENTED_EDGE( '', *, *, #545, .F. );
#321 = ORIENTED_EDGE( '', *, *, #546, .T. );
#322 = ORIENTED_EDGE( '', *, *, #532, .T. );
#323 = ORIENTED_EDGE( '', *, *, #547, .T. );
#324 = ORIENTED_EDGE( '', *, *, #548, .F. );
#325 = ORIENTED_EDGE( '', *, *, #549, .T. );
#326 = ORIENTED_EDGE( '', *, *, #550, .F. );
#327 = ORIENTED_EDGE( '', *, *, #551, .F. );
#328 = ORIENTED_EDGE( '', *, *, #552, .F. );
#329 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#330 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#331 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#332 = SURFACE_STYLE_FILL_AREA( #553 );
#333 = ORIENTED_EDGE( '', *, *, #554, .T. );
#334 = ORIENTED_EDGE( '', *, *, #555, .F. );
#335 = CARTESIAN_POINT( '', ( -15.0000000000000, 0.0850000000000012, -10.0000000000000 ) );
#336 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#337 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#338 = SURFACE_STYLE_FILL_AREA( #556 );
#339 = ORIENTED_EDGE( '', *, *, #557, .F. );
#340 = ORIENTED_EDGE( '', *, *, #558, .F. );
#341 = ORIENTED_EDGE( '', *, *, #559, .T. );
#342 = ORIENTED_EDGE( '', *, *, #552, .T. );
#343 = CARTESIAN_POINT( '', ( 6.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#344 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#345 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#346 = SURFACE_STYLE_FILL_AREA( #560 );
#347 = ORIENTED_EDGE( '', *, *, #561, .F. );
#348 = ORIENTED_EDGE( '', *, *, #543, .T. );
#349 = ORIENTED_EDGE( '', *, *, #562, .T. );
#350 = ORIENTED_EDGE( '', *, *, #563, .F. );
#351 = CARTESIAN_POINT( '', ( -25.0000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#352 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -8.61617620518281E-016 ) );
#353 = DIRECTION( '', ( -8.61617620518281E-016, 0.000000000000000, 1.00000000000000 ) );
#354 = SURFACE_STYLE_FILL_AREA( #564 );
#355 = ORIENTED_EDGE( '', *, *, #537, .T. );
#356 = ORIENTED_EDGE( '', *, *, #565, .T. );
#357 = ORIENTED_EDGE( '', *, *, #566, .F. );
#358 = ORIENTED_EDGE( '', *, *, #567, .F. );
#359 = CARTESIAN_POINT( '', ( 2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#360 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#361 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#362 = SURFACE_STYLE_FILL_AREA( #568 );
#363 = ORIENTED_EDGE( '', *, *, #569, .T. );
#364 = ORIENTED_EDGE( '', *, *, #570, .F. );
#365 = CARTESIAN_POINT( '', ( 15.0000000000000, 0.0850000000000012, 6.93889390390723E-015 ) );
#366 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#367 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#368 = SURFACE_STYLE_FILL_AREA( #571 );
#369 = ORIENTED_EDGE( '', *, *, #572, .T. );
#370 = ORIENTED_EDGE( '', *, *, #569, .F. );
#371 = CARTESIAN_POINT( '', ( 15.0000000000000, 0.0850000000000012, -10.0000000000000 ) );
#372 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#373 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#374 = SURFACE_STYLE_FILL_AREA( #573 );
#375 = ORIENTED_EDGE( '', *, *, #574, .F. );
#376 = ORIENTED_EDGE( '', *, *, #548, .T. );
#377 = ORIENTED_EDGE( '', *, *, #575, .F. );
#378 = ORIENTED_EDGE( '', *, *, #576, .F. );
#379 = ORIENTED_EDGE( '', *, *, #577, .F. );
#380 = CARTESIAN_POINT( '', ( 25.0000000000000, -12.3850000000000, -24.1600000000000 ) );
#381 = DIRECTION( '', ( -0.500000000000000, 0.000000000000000, -0.866025403784439 ) );
#382 = DIRECTION( '', ( -0.866025403784439, 0.000000000000000, 0.500000000000000 ) );
#383 = SURFACE_STYLE_FILL_AREA( #578 );
#384 = ORIENTED_EDGE( '', *, *, #570, .T. );
#385 = ORIENTED_EDGE( '', *, *, #579, .F. );
#386 = ORIENTED_EDGE( '', *, *, #557, .T. );
#387 = ORIENTED_EDGE( '', *, *, #551, .T. );
#388 = ORIENTED_EDGE( '', *, *, #580, .T. );
#389 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#390 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#391 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#392 = SURFACE_STYLE_FILL_AREA( #581 );
#393 = ORIENTED_EDGE( '', *, *, #577, .T. );
#394 = ORIENTED_EDGE( '', *, *, #572, .F. );
#395 = CARTESIAN_POINT( '', ( 15.0000000000000, 0.0850000000000012, -10.0000000000000 ) );
#396 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#397 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#398 = SURFACE_STYLE_FILL_AREA( #582 );
#399 = ORIENTED_EDGE( '', *, *, #583, .T. );
#400 = ORIENTED_EDGE( '', *, *, #584, .F. );
#401 = ORIENTED_EDGE( '', *, *, #580, .F. );
#402 = ORIENTED_EDGE( '', *, *, #550, .T. );
#403 = CARTESIAN_POINT( '', ( 25.0000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#404 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -8.61617620518281E-016 ) );
#405 = DIRECTION( '', ( -8.61617620518281E-016, 0.000000000000000, -1.00000000000000 ) );
#406 = SURFACE_STYLE_FILL_AREA( #585 );
#407 = ORIENTED_EDGE( '', *, *, #586, .T. );
#408 = ORIENTED_EDGE( '', *, *, #587, .F. );
#409 = ORIENTED_EDGE( '', *, *, #588, .T. );
#410 = ORIENTED_EDGE( '', *, *, #539, .T. );
#411 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#412 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#413 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#414 = SURFACE_STYLE_FILL_AREA( #589 );
#415 = ORIENTED_EDGE( '', *, *, #533, .T. );
#416 = ORIENTED_EDGE( '', *, *, #546, .F. );
#417 = ORIENTED_EDGE( '', *, *, #590, .F. );
#418 = ORIENTED_EDGE( '', *, *, #591, .F. );
#419 = CARTESIAN_POINT( '', ( -1.50000000000000, 49.2420922565717, -9.00000000000000 ) );
#420 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -1.36183320084045E-016 ) );
#421 = DIRECTION( '', ( -1.36183320084045E-016, 0.000000000000000, -1.00000000000000 ) );
#422 = SURFACE_STYLE_FILL_AREA( #592 );
#423 = ORIENTED_EDGE( '', *, *, #593, .T. );
#424 = ORIENTED_EDGE( '', *, *, #594, .F. );
#425 = ORIENTED_EDGE( '', *, *, #595, .T. );
#426 = ORIENTED_EDGE( '', *, *, #558, .T. );
#427 = ORIENTED_EDGE( '', *, *, #579, .T. );
#428 = ORIENTED_EDGE( '', *, *, #584, .T. );
#429 = ORIENTED_EDGE( '', *, *, #596, .F. );
#430 = ORIENTED_EDGE( '', *, *, #576, .T. );
#431 = ORIENTED_EDGE( '', *, *, #597, .T. );
#432 = ORIENTED_EDGE( '', *, *, #534, .T. );
#433 = ORIENTED_EDGE( '', *, *, #591, .T. );
#434 = ORIENTED_EDGE( '', *, *, #598, .T. );
#435 = ORIENTED_EDGE( '', *, *, #599, .F. );
#436 = ORIENTED_EDGE( '', *, *, #563, .T. );
#437 = CARTESIAN_POINT( '', ( -2.50000000000000, 12.3850000000000, 2.00000000000000 ) );
#438 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#439 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#440 = SURFACE_STYLE_FILL_AREA( #600 );
#441 = ORIENTED_EDGE( '', *, *, #536, .F. );
#442 = ORIENTED_EDGE( '', *, *, #559, .F. );
#443 = ORIENTED_EDGE( '', *, *, #595, .F. );
#444 = ORIENTED_EDGE( '', *, *, #601, .F. );
#445 = ORIENTED_EDGE( '', *, *, #540, .F. );
#446 = ORIENTED_EDGE( '', *, *, #588, .F. );
#447 = ORIENTED_EDGE( '', *, *, #602, .F. );
#448 = ORIENTED_EDGE( '', *, *, #565, .F. );
#449 = CARTESIAN_POINT( '', ( 2.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#450 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#451 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#452 = SURFACE_STYLE_FILL_AREA( #603 );
#453 = ORIENTED_EDGE( '', *, *, #587, .T. );
#454 = ORIENTED_EDGE( '', *, *, #604, .T. );
#455 = ORIENTED_EDGE( '', *, *, #566, .T. );
#456 = ORIENTED_EDGE( '', *, *, #602, .T. );
#457 = CARTESIAN_POINT( '', ( -2.50000000000000, 9.38500000000000, 2.00000000000000 ) );
#458 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#459 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#460 = SURFACE_STYLE_FILL_AREA( #605 );
#461 = ORIENTED_EDGE( '', *, *, #606, .T. );
#462 = ORIENTED_EDGE( '', *, *, #607, .F. );
#463 = CARTESIAN_POINT( '', ( -15.0000000000000, 0.0850000000000012, 6.93889390390723E-015 ) );
#464 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#465 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#466 = SURFACE_STYLE_FILL_AREA( #608 );
#467 = ORIENTED_EDGE( '', *, *, #609, .T. );
#468 = ORIENTED_EDGE( '', *, *, #598, .F. );
#469 = ORIENTED_EDGE( '', *, *, #590, .T. );
#470 = ORIENTED_EDGE( '', *, *, #545, .T. );
#471 = ORIENTED_EDGE( '', *, *, #554, .F. );
#472 = CARTESIAN_POINT( '', ( -25.0000000000000, -12.3850000000000, -24.1600000000000 ) );
#473 = DIRECTION( '', ( 0.500000000000000, 0.000000000000000, -0.866025403784438 ) );
#474 = DIRECTION( '', ( -0.866025403784438, 0.000000000000000, -0.500000000000000 ) );
#475 = SURFACE_STYLE_FILL_AREA( #610 );
#476 = ORIENTED_EDGE( '', *, *, #596, .T. );
#477 = ORIENTED_EDGE( '', *, *, #583, .F. );
#478 = ORIENTED_EDGE( '', *, *, #549, .F. );
#479 = ORIENTED_EDGE( '', *, *, #574, .T. );
#480 = CARTESIAN_POINT( '', ( 23.8568464670045, -12.3850000000000, -23.5000000000000 ) );
#481 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#482 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#483 = SURFACE_STYLE_FILL_AREA( #611 );
#484 = ORIENTED_EDGE( '', *, *, #599, .T. );
#485 = ORIENTED_EDGE( '', *, *, #609, .F. );
#486 = ORIENTED_EDGE( '', *, *, #544, .F. );
#487 = ORIENTED_EDGE( '', *, *, #561, .T. );
#488 = CARTESIAN_POINT( '', ( -25.0000000000000, -12.3850000000000, -23.5000000000000 ) );
#489 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#490 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#491 = SURFACE_STYLE_FILL_AREA( #612 );
#492 = ORIENTED_EDGE( '', *, *, #607, .T. );
#493 = ORIENTED_EDGE( '', *, *, #542, .T. );
#494 = ORIENTED_EDGE( '', *, *, #613, .T. );
#495 = ORIENTED_EDGE( '', *, *, #593, .F. );
#496 = ORIENTED_EDGE( '', *, *, #562, .F. );
#497 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#498 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#499 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#500 = SURFACE_STYLE_FILL_AREA( #614 );
#501 = ORIENTED_EDGE( '', *, *, #555, .T. );
#502 = ORIENTED_EDGE( '', *, *, #606, .F. );
#503 = CARTESIAN_POINT( '', ( -15.0000000000000, 0.0850000000000012, -10.0000000000000 ) );
#504 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#505 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#506 = SURFACE_STYLE_FILL_AREA( #615 );
#507 = ORIENTED_EDGE( '', *, *, #575, .T. );
#508 = ORIENTED_EDGE( '', *, *, #547, .F. );
#509 = ORIENTED_EDGE( '', *, *, #531, .F. );
#510 = ORIENTED_EDGE( '', *, *, #597, .F. );
#511 = CARTESIAN_POINT( '', ( 1.50000000000000, 49.2420922565717, -9.00000000000000 ) );
#512 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 1.36183320084041E-015 ) );
#513 = DIRECTION( '', ( 1.36183320084041E-015, 0.000000000000000, 1.00000000000000 ) );
#514 = SURFACE_STYLE_FILL_AREA( #616 );
#515 = ORIENTED_EDGE( '', *, *, #613, .F. );
#516 = ORIENTED_EDGE( '', *, *, #541, .F. );
#517 = ORIENTED_EDGE( '', *, *, #601, .T. );
#518 = ORIENTED_EDGE( '', *, *, #594, .T. );
#519 = CARTESIAN_POINT( '', ( -6.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#520 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#521 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#522 = SURFACE_STYLE_FILL_AREA( #617 );
#523 = ORIENTED_EDGE( '', *, *, #567, .T. );
#524 = ORIENTED_EDGE( '', *, *, #604, .F. );
#525 = ORIENTED_EDGE( '', *, *, #586, .F. );
#526 = ORIENTED_EDGE( '', *, *, #538, .T. );
#527 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#528 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#529 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#530 = FILL_AREA_STYLE( '', ( #618 ) );
#531 = EDGE_CURVE( '', #619, #620, #621, .T. );
#532 = EDGE_CURVE( '', #622, #620, #623, .T. );
#533 = EDGE_CURVE( '', #624, #622, #625, .T. );
#534 = EDGE_CURVE( '', #619, #624, #626, .T. );
#535 = FILL_AREA_STYLE( '', ( #627 ) );
#536 = EDGE_CURVE( '', #628, #629, #630, .T. );
#537 = EDGE_CURVE( '', #631, #629, #632, .T. );
#538 = EDGE_CURVE( '', #633, #631, #634, .T. );
#539 = EDGE_CURVE( '', #635, #633, #636, .T. );
#540 = EDGE_CURVE( '', #635, #637, #638, .T. );
#541 = EDGE_CURVE( '', #637, #639, #640, .T. );
#542 = EDGE_CURVE( '', #641, #639, #642, .T. );
#543 = EDGE_CURVE( '', #643, #641, #644, .T. );
#544 = EDGE_CURVE( '', #643, #645, #646, .T. );
#545 = EDGE_CURVE( '', #647, #645, #648, .T. );
#546 = EDGE_CURVE( '', #647, #622, #649, .T. );
#547 = EDGE_CURVE( '', #620, #650, #651, .T. );
#548 = EDGE_CURVE( '', #652, #650, #653, .T. );
#549 = EDGE_CURVE( '', #652, #654, #655, .T. );
#550 = EDGE_CURVE( '', #656, #654, #657, .T. );
#551 = EDGE_CURVE( '', #658, #656, #659, .T. );
#552 = EDGE_CURVE( '', #628, #658, #660, .T. );
#553 = FILL_AREA_STYLE( '', ( #661 ) );
#554 = EDGE_CURVE( '', #662, #662, #663, .T. );
#555 = EDGE_CURVE( '', #664, #664, #665, .T. );
#556 = FILL_AREA_STYLE( '', ( #666 ) );
#557 = EDGE_CURVE( '', #667, #658, #668, .T. );
#558 = EDGE_CURVE( '', #669, #667, #670, .T. );
#559 = EDGE_CURVE( '', #669, #628, #671, .T. );
#560 = FILL_AREA_STYLE( '', ( #672 ) );
#561 = EDGE_CURVE( '', #643, #673, #674, .T. );
#562 = EDGE_CURVE( '', #641, #675, #676, .T. );
#563 = EDGE_CURVE( '', #673, #675, #677, .T. );
#564 = FILL_AREA_STYLE( '', ( #678 ) );
#565 = EDGE_CURVE( '', #629, #679, #680, .T. );
#566 = EDGE_CURVE( '', #681, #679, #682, .T. );
#567 = EDGE_CURVE( '', #631, #681, #683, .T. );
#568 = FILL_AREA_STYLE( '', ( #684 ) );
#569 = EDGE_CURVE( '', #685, #685, #686, .F. );
#570 = EDGE_CURVE( '', #687, #687, #688, .T. );
#571 = FILL_AREA_STYLE( '', ( #689 ) );
#572 = EDGE_CURVE( '', #690, #690, #691, .T. );
#573 = FILL_AREA_STYLE( '', ( #692 ) );
#574 = EDGE_CURVE( '', #652, #693, #694, .T. );
#575 = EDGE_CURVE( '', #695, #650, #696, .T. );
#576 = EDGE_CURVE( '', #693, #695, #697, .T. );
#577 = EDGE_CURVE( '', #698, #698, #699, .T. );
#578 = FILL_AREA_STYLE( '', ( #700 ) );
#579 = EDGE_CURVE( '', #667, #701, #702, .T. );
#580 = EDGE_CURVE( '', #656, #701, #703, .T. );
#581 = FILL_AREA_STYLE( '', ( #704 ) );
#582 = FILL_AREA_STYLE( '', ( #705 ) );
#583 = EDGE_CURVE( '', #654, #706, #707, .T. );
#584 = EDGE_CURVE( '', #701, #706, #708, .T. );
#585 = FILL_AREA_STYLE( '', ( #709 ) );
#586 = EDGE_CURVE( '', #633, #710, #711, .T. );
#587 = EDGE_CURVE( '', #712, #710, #713, .T. );
#588 = EDGE_CURVE( '', #712, #635, #714, .T. );
#589 = FILL_AREA_STYLE( '', ( #715 ) );
#590 = EDGE_CURVE( '', #716, #647, #717, .T. );
#591 = EDGE_CURVE( '', #624, #716, #718, .T. );
#592 = FILL_AREA_STYLE( '', ( #719 ) );
#593 = EDGE_CURVE( '', #675, #720, #721, .T. );
#594 = EDGE_CURVE( '', #722, #720, #723, .T. );
#595 = EDGE_CURVE( '', #722, #669, #724, .T. );
#596 = EDGE_CURVE( '', #693, #706, #725, .T. );
#597 = EDGE_CURVE( '', #695, #619, #726, .T. );
#598 = EDGE_CURVE( '', #716, #727, #728, .T. );
#599 = EDGE_CURVE( '', #673, #727, #729, .T. );
#600 = FILL_AREA_STYLE( '', ( #730 ) );
#601 = EDGE_CURVE( '', #637, #722, #731, .T. );
#602 = EDGE_CURVE( '', #679, #712, #732, .T. );
#603 = FILL_AREA_STYLE( '', ( #733 ) );
#604 = EDGE_CURVE( '', #710, #681, #734, .T. );
#605 = FILL_AREA_STYLE( '', ( #735 ) );
#606 = EDGE_CURVE( '', #736, #736, #737, .F. );
#607 = EDGE_CURVE( '', #738, #738, #739, .T. );
#608 = FILL_AREA_STYLE( '', ( #740 ) );
#609 = EDGE_CURVE( '', #645, #727, #741, .T. );
#610 = FILL_AREA_STYLE( '', ( #742 ) );
#611 = FILL_AREA_STYLE( '', ( #743 ) );
#612 = FILL_AREA_STYLE( '', ( #744 ) );
#613 = EDGE_CURVE( '', #639, #720, #745, .T. );
#614 = FILL_AREA_STYLE( '', ( #746 ) );
#615 = FILL_AREA_STYLE( '', ( #747 ) );
#616 = FILL_AREA_STYLE( '', ( #748 ) );
#617 = FILL_AREA_STYLE( '', ( #749 ) );
#618 = FILL_AREA_STYLE_COLOUR( '', #750 );
#619 = VERTEX_POINT( '', #751 );
#620 = VERTEX_POINT( '', #752 );
#621 = LINE( '', #753, #754 );
#622 = VERTEX_POINT( '', #755 );
#623 = LINE( '', #756, #757 );
#624 = VERTEX_POINT( '', #758 );
#625 = LINE( '', #759, #760 );
#626 = LINE( '', #761, #762 );
#627 = FILL_AREA_STYLE_COLOUR( '', #763 );
#628 = VERTEX_POINT( '', #764 );
#629 = VERTEX_POINT( '', #765 );
#630 = LINE( '', #766, #767 );
#631 = VERTEX_POINT( '', #768 );
#632 = LINE( '', #769, #770 );
#633 = VERTEX_POINT( '', #771 );
#634 = LINE( '', #772, #773 );
#635 = VERTEX_POINT( '', #774 );
#636 = LINE( '', #775, #776 );
#637 = VERTEX_POINT( '', #777 );
#638 = LINE( '', #778, #779 );
#639 = VERTEX_POINT( '', #780 );
#640 = LINE( '', #781, #782 );
#641 = VERTEX_POINT( '', #783 );
#642 = LINE( '', #784, #785 );
#643 = VERTEX_POINT( '', #786 );
#644 = LINE( '', #787, #788 );
#645 = VERTEX_POINT( '', #789 );
#646 = LINE( '', #790, #791 );
#647 = VERTEX_POINT( '', #792 );
#648 = LINE( '', #793, #794 );
#649 = LINE( '', #795, #796 );
#650 = VERTEX_POINT( '', #797 );
#651 = LINE( '', #798, #799 );
#652 = VERTEX_POINT( '', #800 );
#653 = LINE( '', #801, #802 );
#654 = VERTEX_POINT( '', #803 );
#655 = LINE( '', #804, #805 );
#656 = VERTEX_POINT( '', #806 );
#657 = LINE( '', #807, #808 );
#658 = VERTEX_POINT( '', #809 );
#659 = LINE( '', #810, #811 );
#660 = LINE( '', #812, #813 );
#661 = FILL_AREA_STYLE_COLOUR( '', #814 );
#662 = VERTEX_POINT( '', #815 );
#663 = ELLIPSE( '', #816, 5.77350269189626, 4.99999999999999 );
#664 = VERTEX_POINT( '', #817 );
#665 = CIRCLE( '', #818, 5.00000000000000 );
#666 = FILL_AREA_STYLE_COLOUR( '', #819 );
#667 = VERTEX_POINT( '', #820 );
#668 = LINE( '', #821, #822 );
#669 = VERTEX_POINT( '', #823 );
#670 = LINE( '', #824, #825 );
#671 = LINE( '', #826, #827 );
#672 = FILL_AREA_STYLE_COLOUR( '', #828 );
#673 = VERTEX_POINT( '', #829 );
#674 = LINE( '', #830, #831 );
#675 = VERTEX_POINT( '', #832 );
#676 = LINE( '', #833, #834 );
#677 = LINE( '', #835, #836 );
#678 = FILL_AREA_STYLE_COLOUR( '', #837 );
#679 = VERTEX_POINT( '', #838 );
#680 = LINE( '', #839, #840 );
#681 = VERTEX_POINT( '', #841 );
#682 = LINE( '', #842, #843 );
#683 = LINE( '', #844, #845 );
#684 = FILL_AREA_STYLE_COLOUR( '', #846 );
#685 = VERTEX_POINT( '', #847 );
#686 = CIRCLE( '', #848, 3.00000000000000 );
#687 = VERTEX_POINT( '', #849 );
#688 = CIRCLE( '', #850, 3.00000000000000 );
#689 = FILL_AREA_STYLE_COLOUR( '', #851 );
#690 = VERTEX_POINT( '', #852 );
#691 = CIRCLE( '', #853, 5.00000000000000 );
#692 = FILL_AREA_STYLE_COLOUR( '', #854 );
#693 = VERTEX_POINT( '', #855 );
#694 = LINE( '', #856, #857 );
#695 = VERTEX_POINT( '', #858 );
#696 = LINE( '', #859, #860 );
#697 = LINE( '', #861, #862 );
#698 = VERTEX_POINT( '', #863 );
#699 = ELLIPSE( '', #864, 5.77350269189626, 5.00000000000000 );
#700 = FILL_AREA_STYLE_COLOUR( '', #865 );
#701 = VERTEX_POINT( '', #866 );
#702 = LINE( '', #867, #868 );
#703 = LINE( '', #869, #870 );
#704 = FILL_AREA_STYLE_COLOUR( '', #871 );
#705 = FILL_AREA_STYLE_COLOUR( '', #872 );
#706 = VERTEX_POINT( '', #873 );
#707 = LINE( '', #874, #875 );
#708 = LINE( '', #876, #877 );
#709 = FILL_AREA_STYLE_COLOUR( '', #878 );
#710 = VERTEX_POINT( '', #879 );
#711 = LINE( '', #880, #881 );
#712 = VERTEX_POINT( '', #882 );
#713 = LINE( '', #883, #884 );
#714 = LINE( '', #885, #886 );
#715 = FILL_AREA_STYLE_COLOUR( '', #887 );
#716 = VERTEX_POINT( '', #888 );
#717 = LINE( '', #889, #890 );
#718 = LINE( '', #891, #892 );
#719 = FILL_AREA_STYLE_COLOUR( '', #893 );
#720 = VERTEX_POINT( '', #894 );
#721 = LINE( '', #895, #896 );
#722 = VERTEX_POINT( '', #897 );
#723 = LINE( '', #898, #899 );
#724 = LINE( '', #900, #901 );
#725 = LINE( '', #902, #903 );
#726 = LINE( '', #904, #905 );
#727 = VERTEX_POINT( '', #906 );
#728 = LINE( '', #907, #908 );
#729 = LINE( '', #909, #910 );
#730 = FILL_AREA_STYLE_COLOUR( '', #911 );
#731 = LINE( '', #912, #913 );
#732 = LINE( '', #914, #915 );
#733 = FILL_AREA_STYLE_COLOUR( '', #916 );
#734 = LINE( '', #917, #918 );
#735 = FILL_AREA_STYLE_COLOUR( '', #919 );
#736 = VERTEX_POINT( '', #920 );
#737 = CIRCLE( '', #921, 3.00000000000000 );
#738 = VERTEX_POINT( '', #922 );
#739 = CIRCLE( '', #923, 3.00000000000000 );
#740 = FILL_AREA_STYLE_COLOUR( '', #924 );
#741 = LINE( '', #925, #926 );
#742 = FILL_AREA_STYLE_COLOUR( '', #927 );
#743 = FILL_AREA_STYLE_COLOUR( '', #928 );
#744 = FILL_AREA_STYLE_COLOUR( '', #929 );
#745 = LINE( '', #930, #931 );
#746 = FILL_AREA_STYLE_COLOUR( '', #932 );
#747 = FILL_AREA_STYLE_COLOUR( '', #933 );
#748 = FILL_AREA_STYLE_COLOUR( '', #934 );
#749 = FILL_AREA_STYLE_COLOUR( '', #935 );
#750 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#751 = CARTESIAN_POINT( '', ( 1.50000000000000, 12.3850000000000, -9.00000000000000 ) );
#752 = CARTESIAN_POINT( '', ( 1.50000000000000, -12.3850000000000, -9.00000000000000 ) );
#753 = CARTESIAN_POINT( '', ( 1.50000000000000, 49.2420922565717, -9.00000000000000 ) );
#754 = VECTOR( '', #936, 1000.00000000000 );
#755 = CARTESIAN_POINT( '', ( -1.50000000000000, -12.3850000000000, -9.00000000000000 ) );
#756 = CARTESIAN_POINT( '', ( -1.50000000000000, -12.3850000000000, -9.00000000000000 ) );
#757 = VECTOR( '', #937, 1000.00000000000 );
#758 = CARTESIAN_POINT( '', ( -1.50000000000000, 12.3850000000000, -9.00000000000000 ) );
#759 = CARTESIAN_POINT( '', ( -1.50000000000000, 49.2420922565717, -9.00000000000000 ) );
#760 = VECTOR( '', #938, 1000.00000000000 );
#761 = CARTESIAN_POINT( '', ( -2.50000000000000, 12.3850000000000, -9.00000000000000 ) );
#762 = VECTOR( '', #939, 1000.00000000000 );
#763 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#764 = CARTESIAN_POINT( '', ( 6.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#765 = CARTESIAN_POINT( '', ( 2.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#766 = CARTESIAN_POINT( '', ( 6.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#767 = VECTOR( '', #940, 1000.00000000000 );
#768 = CARTESIAN_POINT( '', ( 2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#769 = CARTESIAN_POINT( '', ( 2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#770 = VECTOR( '', #941, 1000.00000000000 );
#771 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#772 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#773 = VECTOR( '', #942, 1000.00000000000 );
#774 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#775 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#776 = VECTOR( '', #943, 1000.00000000000 );
#777 = CARTESIAN_POINT( '', ( -6.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#778 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#779 = VECTOR( '', #944, 1000.00000000000 );
#780 = CARTESIAN_POINT( '', ( -6.50000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#781 = CARTESIAN_POINT( '', ( -6.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#782 = VECTOR( '', #945, 1000.00000000000 );
#783 = CARTESIAN_POINT( '', ( -25.0000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#784 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#785 = VECTOR( '', #946, 1000.00000000000 );
#786 = CARTESIAN_POINT( '', ( -25.0000000000000, -12.3850000000000, -23.5000000000000 ) );
#787 = CARTESIAN_POINT( '', ( -25.0000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#788 = VECTOR( '', #947, 1000.00000000000 );
#789 = CARTESIAN_POINT( '', ( -23.8568464670045, -12.3850000000000, -23.5000000000000 ) );
#790 = CARTESIAN_POINT( '', ( -25.0000000000000, -12.3850000000000, -23.5000000000000 ) );
#791 = VECTOR( '', #948, 1000.00000000000 );
#792 = CARTESIAN_POINT( '', ( -1.50000000000000, -12.3850000000000, -10.5922686740438 ) );
#793 = CARTESIAN_POINT( '', ( -25.0000000000000, -12.3850000000000, -24.1600000000000 ) );
#794 = VECTOR( '', #949, 999.999999999999 );
#795 = CARTESIAN_POINT( '', ( -1.50000000000000, -12.3850000000000, -9.00000000000000 ) );
#796 = VECTOR( '', #950, 1000.00000000000 );
#797 = CARTESIAN_POINT( '', ( 1.50000000000000, -12.3850000000000, -10.5922686740438 ) );
#798 = CARTESIAN_POINT( '', ( 1.50000000000000, -12.3850000000000, -9.00000000000000 ) );
#799 = VECTOR( '', #951, 1000.00000000000 );
#800 = CARTESIAN_POINT( '', ( 23.8568464670045, -12.3850000000000, -23.5000000000000 ) );
#801 = CARTESIAN_POINT( '', ( 25.0000000000000, -12.3850000000000, -24.1600000000000 ) );
#802 = VECTOR( '', #952, 1000.00000000000 );
#803 = CARTESIAN_POINT( '', ( 25.0000000000000, -12.3850000000000, -23.5000000000000 ) );
#804 = CARTESIAN_POINT( '', ( 23.8568464670045, -12.3850000000000, -23.5000000000000 ) );
#805 = VECTOR( '', #953, 1000.00000000000 );
#806 = CARTESIAN_POINT( '', ( 25.0000000000000, -12.3850000000000, 3.46944695195362E-015 ) );
#807 = CARTESIAN_POINT( '', ( 25.0000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#808 = VECTOR( '', #954, 1000.00000000000 );
#809 = CARTESIAN_POINT( '', ( 6.50000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#810 = CARTESIAN_POINT( '', ( 2.50000000000000, -12.3850000000000, 3.46944695195362E-015 ) );
#811 = VECTOR( '', #955, 1000.00000000000 );
#812 = CARTESIAN_POINT( '', ( 6.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#813 = VECTOR( '', #956, 1000.00000000000 );
#814 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#815 = CARTESIAN_POINT( '', ( -20.0000000000000, 0.0850000000000012, -21.2732486540519 ) );
#816 = AXIS2_PLACEMENT_3D( '', #957, #958, #959 );
#817 = CARTESIAN_POINT( '', ( -15.0000000000000, -4.91500000000000, -10.0000000000000 ) );
#818 = AXIS2_PLACEMENT_3D( '', #960, #961, #962 );
#819 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#820 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.3850000000000, 6.93889390390723E-015 ) );
#821 = CARTESIAN_POINT( '', ( 6.50000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#822 = VECTOR( '', #963, 1000.00000000000 );
#823 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.3850000000000, -0.499999999999993 ) );
#824 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.3850000000000, -0.499999999999993 ) );
#825 = VECTOR( '', #964, 1000.00000000000 );
#826 = CARTESIAN_POINT( '', ( 6.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#827 = VECTOR( '', #965, 1000.00000000000 );
#828 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#829 = CARTESIAN_POINT( '', ( -25.0000000000000, 12.3850000000000, -23.5000000000000 ) );
#830 = CARTESIAN_POINT( '', ( -25.0000000000000, -12.3850000000000, -23.5000000000000 ) );
#831 = VECTOR( '', #966, 1000.00000000000 );
#832 = CARTESIAN_POINT( '', ( -25.0000000000000, 12.3850000000000, 6.93889390390723E-015 ) );
#833 = CARTESIAN_POINT( '', ( -25.0000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#834 = VECTOR( '', #967, 1000.00000000000 );
#835 = CARTESIAN_POINT( '', ( -25.0000000000000, 12.3850000000000, 6.93889390390723E-015 ) );
#836 = VECTOR( '', #968, 1000.00000000000 );
#837 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#838 = CARTESIAN_POINT( '', ( 2.50000000000000, 9.38500000000000, -0.499999999999993 ) );
#839 = CARTESIAN_POINT( '', ( 2.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#840 = VECTOR( '', #969, 1000.00000000000 );
#841 = CARTESIAN_POINT( '', ( 2.50000000000000, 9.38500000000000, 2.00000000000000 ) );
#842 = CARTESIAN_POINT( '', ( 2.50000000000000, 9.38500000000000, 2.00000000000000 ) );
#843 = VECTOR( '', #970, 1000.00000000000 );
#844 = CARTESIAN_POINT( '', ( 2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#845 = VECTOR( '', #971, 1000.00000000000 );
#846 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#847 = CARTESIAN_POINT( '', ( 18.0000000000000, 0.0850000000000012, -10.0000000000000 ) );
#848 = AXIS2_PLACEMENT_3D( '', #972, #973, #974 );
#849 = CARTESIAN_POINT( '', ( 15.0000000000000, -2.91500000000000, 6.93889390390723E-015 ) );
#850 = AXIS2_PLACEMENT_3D( '', #975, #976, #977 );
#851 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#852 = CARTESIAN_POINT( '', ( 15.0000000000000, -4.91500000000000, -10.0000000000000 ) );
#853 = AXIS2_PLACEMENT_3D( '', #978, #979, #980 );
#854 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#855 = CARTESIAN_POINT( '', ( 23.8568464670045, 12.3850000000000, -23.5000000000000 ) );
#856 = CARTESIAN_POINT( '', ( 23.8568464670045, -12.3850000000000, -23.5000000000000 ) );
#857 = VECTOR( '', #981, 1000.00000000000 );
#858 = CARTESIAN_POINT( '', ( 1.50000000000000, 12.3850000000000, -10.5922686740438 ) );
#859 = CARTESIAN_POINT( '', ( 1.50000000000000, 49.2420922565717, -10.5922686740438 ) );
#860 = VECTOR( '', #982, 1000.00000000000 );
#861 = CARTESIAN_POINT( '', ( 25.0000000000000, 12.3850000000000, -24.1600000000000 ) );
#862 = VECTOR( '', #983, 1000.00000000000 );
#863 = CARTESIAN_POINT( '', ( 20.0000000000000, 0.0850000000000012, -21.2732486540519 ) );
#864 = AXIS2_PLACEMENT_3D( '', #984, #985, #986 );
#865 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#866 = CARTESIAN_POINT( '', ( 25.0000000000000, 12.3850000000000, 3.46944695195362E-015 ) );
#867 = CARTESIAN_POINT( '', ( -2.50000000000000, 12.3850000000000, 6.93889390390723E-015 ) );
#868 = VECTOR( '', #987, 1000.00000000000 );
#869 = CARTESIAN_POINT( '', ( 25.0000000000000, -12.3850000000000, 3.46944695195362E-015 ) );
#870 = VECTOR( '', #988, 1000.00000000000 );
#871 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#872 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#873 = CARTESIAN_POINT( '', ( 25.0000000000000, 12.3850000000000, -23.5000000000000 ) );
#874 = CARTESIAN_POINT( '', ( 25.0000000000000, -12.3850000000000, -23.5000000000000 ) );
#875 = VECTOR( '', #989, 1000.00000000000 );
#876 = CARTESIAN_POINT( '', ( 25.0000000000000, 12.3850000000000, 6.93889390390723E-015 ) );
#877 = VECTOR( '', #990, 1000.00000000000 );
#878 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#879 = CARTESIAN_POINT( '', ( -2.50000000000000, 9.38500000000000, 2.00000000000000 ) );
#880 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, 2.00000000000000 ) );
#881 = VECTOR( '', #991, 1000.00000000000 );
#882 = CARTESIAN_POINT( '', ( -2.50000000000000, 9.38500000000000, -0.499999999999993 ) );
#883 = CARTESIAN_POINT( '', ( -2.50000000000000, 9.38500000000000, 6.93889390390723E-015 ) );
#884 = VECTOR( '', #992, 1000.00000000000 );
#885 = CARTESIAN_POINT( '', ( -2.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#886 = VECTOR( '', #993, 1000.00000000000 );
#887 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#888 = CARTESIAN_POINT( '', ( -1.50000000000000, 12.3850000000000, -10.5922686740438 ) );
#889 = CARTESIAN_POINT( '', ( -1.50000000000000, 49.2420922565717, -10.5922686740438 ) );
#890 = VECTOR( '', #994, 1000.00000000000 );
#891 = CARTESIAN_POINT( '', ( -1.50000000000000, 12.3850000000000, 2.00000000000000 ) );
#892 = VECTOR( '', #995, 1000.00000000000 );
#893 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#894 = CARTESIAN_POINT( '', ( -6.50000000000000, 12.3850000000000, 6.93889390390723E-015 ) );
#895 = CARTESIAN_POINT( '', ( -2.50000000000000, 12.3850000000000, 6.93889390390723E-015 ) );
#896 = VECTOR( '', #996, 1000.00000000000 );
#897 = CARTESIAN_POINT( '', ( -6.50000000000000, 12.3850000000000, -0.499999999999993 ) );
#898 = CARTESIAN_POINT( '', ( -6.50000000000000, 12.3850000000000, -0.499999999999993 ) );
#899 = VECTOR( '', #997, 1000.00000000000 );
#900 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.3850000000000, -0.499999999999993 ) );
#901 = VECTOR( '', #998, 1000.00000000000 );
#902 = CARTESIAN_POINT( '', ( 23.8568464670045, 12.3850000000000, -23.5000000000000 ) );
#903 = VECTOR( '', #999, 1000.00000000000 );
#904 = CARTESIAN_POINT( '', ( 1.50000000000000, 12.3850000000000, 2.00000000000000 ) );
#905 = VECTOR( '', #1000, 1000.00000000000 );
#906 = CARTESIAN_POINT( '', ( -23.8568464670045, 12.3850000000000, -23.5000000000000 ) );
#907 = CARTESIAN_POINT( '', ( -25.0000000000000, 12.3850000000000, -24.1600000000000 ) );
#908 = VECTOR( '', #1001, 999.999999999999 );
#909 = CARTESIAN_POINT( '', ( -25.0000000000000, 12.3850000000000, -23.5000000000000 ) );
#910 = VECTOR( '', #1002, 1000.00000000000 );
#911 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#912 = CARTESIAN_POINT( '', ( -6.50000000000000, -12.3850000000000, -0.499999999999993 ) );
#913 = VECTOR( '', #1003, 1000.00000000000 );
#914 = CARTESIAN_POINT( '', ( 2.50000000000000, 9.38500000000000, -0.499999999999993 ) );
#915 = VECTOR( '', #1004, 1000.00000000000 );
#916 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#917 = CARTESIAN_POINT( '', ( -2.50000000000000, 9.38500000000000, 2.00000000000000 ) );
#918 = VECTOR( '', #1005, 1000.00000000000 );
#919 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#920 = CARTESIAN_POINT( '', ( -12.0000000000000, 0.0850000000000012, -10.0000000000000 ) );
#921 = AXIS2_PLACEMENT_3D( '', #1006, #1007, #1008 );
#922 = CARTESIAN_POINT( '', ( -15.0000000000000, -2.91500000000000, 6.93889390390723E-015 ) );
#923 = AXIS2_PLACEMENT_3D( '', #1009, #1010, #1011 );
#924 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#925 = CARTESIAN_POINT( '', ( -23.8568464670045, -12.3850000000000, -23.5000000000000 ) );
#926 = VECTOR( '', #1012, 1000.00000000000 );
#927 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#928 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#929 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#930 = CARTESIAN_POINT( '', ( -6.50000000000000, -12.3850000000000, 6.93889390390723E-015 ) );
#931 = VECTOR( '', #1013, 1000.00000000000 );
#932 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#933 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#934 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#935 = COLOUR_RGB( '', 0.752941191196442, 0.752941191196442, 0.752941191196442 );
#936 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#937 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#938 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#939 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#940 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#941 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#942 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#943 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#944 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#945 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#946 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#947 = DIRECTION( '', ( -8.61617620518281E-016, 0.000000000000000, 1.00000000000000 ) );
#948 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#949 = DIRECTION( '', ( -0.866025403784438, 0.000000000000000, -0.500000000000000 ) );
#950 = DIRECTION( '', ( 1.36183320084045E-016, 0.000000000000000, 1.00000000000000 ) );
#951 = DIRECTION( '', ( -1.36183320084041E-015, 0.000000000000000, -1.00000000000000 ) );
#952 = DIRECTION( '', ( -0.866025403784439, 0.000000000000000, 0.500000000000000 ) );
#953 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#954 = DIRECTION( '', ( -8.61617620518281E-016, 0.000000000000000, -1.00000000000000 ) );
#955 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#956 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#957 = CARTESIAN_POINT( '', ( -15.0000000000000, 0.0850000000000012, -18.3864973081037 ) );
#958 = DIRECTION( '', ( 0.500000000000000, 0.000000000000000, -0.866025403784438 ) );
#959 = DIRECTION( '', ( -0.866025403784438, 0.000000000000000, -0.500000000000000 ) );
#960 = CARTESIAN_POINT( '', ( -15.0000000000000, 0.0850000000000012, -10.0000000000000 ) );
#961 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#962 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#963 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#964 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#965 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#966 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#967 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#968 = DIRECTION( '', ( -8.61617620518281E-016, 0.000000000000000, 1.00000000000000 ) );
#969 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#970 = DIRECTION( '', ( 4.98732999343333E-015, 0.000000000000000, -1.00000000000000 ) );
#971 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#972 = CARTESIAN_POINT( '', ( 15.0000000000000, 0.0850000000000012, -10.0000000000000 ) );
#973 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#974 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#975 = CARTESIAN_POINT( '', ( 15.0000000000000, 0.0850000000000012, 6.93889390390723E-015 ) );
#976 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#977 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#978 = CARTESIAN_POINT( '', ( 15.0000000000000, 0.0850000000000012, -10.0000000000000 ) );
#979 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#980 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#981 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#982 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#983 = DIRECTION( '', ( -0.866025403784439, 0.000000000000000, 0.500000000000000 ) );
#984 = CARTESIAN_POINT( '', ( 15.0000000000000, 0.0850000000000012, -18.3864973081037 ) );
#985 = DIRECTION( '', ( -0.500000000000000, 0.000000000000000, -0.866025403784439 ) );
#986 = DIRECTION( '', ( 0.866025403784439, 0.000000000000000, -0.500000000000000 ) );
#987 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#988 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#989 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#990 = DIRECTION( '', ( -8.61617620518281E-016, 0.000000000000000, -1.00000000000000 ) );
#991 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#992 = DIRECTION( '', ( 8.02309607639277E-015, 0.000000000000000, 1.00000000000000 ) );
#993 = DIRECTION( '', ( -1.99210321081397E-017, -1.00000000000000, 0.000000000000000 ) );
#994 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#995 = DIRECTION( '', ( -1.36183320084045E-016, 0.000000000000000, -1.00000000000000 ) );
#996 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#997 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#998 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#999 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1000 = DIRECTION( '', ( 1.36183320084041E-015, 0.000000000000000, 1.00000000000000 ) );
#1001 = DIRECTION( '', ( -0.866025403784438, 0.000000000000000, -0.500000000000000 ) );
#1002 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1003 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1004 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1005 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1006 = CARTESIAN_POINT( '', ( -15.0000000000000, 0.0850000000000012, -10.0000000000000 ) );
#1007 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1008 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1009 = CARTESIAN_POINT( '', ( -15.0000000000000, 0.0850000000000012, 6.93889390390723E-015 ) );
#1010 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1011 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1012 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1013 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
ENDSEC;
END-ISO-10303-21;