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