ISO-10303-21;
HEADER;
FILE_DESCRIPTION( ( 'STEP AP203' ), '1' );
FILE_NAME( 'p:/temp/worker_9/temp/exporttempdir_4092_165_xtFMr/format_0/SCE20UU.stp', '2020-05-08T01:50:17', ( 'License CC BY-ND 4.0' ), ( 'CADENAS' ), ' ', 'PARTsolutions', ' ' );
FILE_SCHEMA( ( 'CONFIG_CONTROL_DESIGN' ) );
ENDSEC;
DATA;
#1 = DESIGN_CONTEXT( '', #27, 'design' );
#2 = APPLICATION_PROTOCOL_DEFINITION( 'international standard', 'config_control_design', 1994, #27 );
#3 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #28, #29 );
#4 = DATE_AND_TIME( #30, #31 );
#5 = DATE_TIME_ROLE( 'creation_date' );
#6 = DATE_TIME_ROLE( 'classification_date' );
#7 = PERSON_AND_ORGANIZATION_ROLE( 'creator' );
#8 = PERSON_AND_ORGANIZATION_ROLE( 'design_supplier' );
#9 = PERSON_AND_ORGANIZATION_ROLE( 'classification_officer' );
#10 = PERSON_AND_ORGANIZATION_ROLE( 'design_owner' );
#11 = APPROVAL_PERSON_ORGANIZATION( #32, #33, #34 );
#12 = APPROVAL_DATE_TIME( #4, #33 );
#13 = CC_DESIGN_APPROVAL( #33, ( #35, #36, #37 ) );
#14 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #4, #5, ( #37 ) );
#15 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #4, #6, ( #35 ) );
#16 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #32, #10, ( #38 ) );
#17 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #32, #7, ( #37 ) );
#18 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #32, #7, ( #36 ) );
#19 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #32, #8, ( #36 ) );
#20 = CC_DESIGN_SECURITY_CLASSIFICATION( #35, ( #36 ) );
#21 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #32, #9, ( #35 ) );
#22 = SHAPE_DEFINITION_REPRESENTATION( #39, #40 );
#23 =  ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #43 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #45, #46, #47 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) );
#27 = APPLICATION_CONTEXT( 'configuration controlled 3D designs of mechanical parts and assemblies' );
#28 = PRODUCT_CATEGORY( 'part', 'NONE' );
#29 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #38 ) );
#30 = CALENDAR_DATE( 2020, 8, 4 );
#31 = LOCAL_TIME( 3, 50, 17.0000000000000, #49 );
#32 = PERSON_AND_ORGANIZATION( #50, #51 );
#33 = APPROVAL( #52, 'SOLID MODEL' );
#34 = APPROVAL_ROLE( 'APPROVED' );
#35 = SECURITY_CLASSIFICATION( '', '', #53 );
#36 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #38, .NOT_KNOWN. );
#37 = PRODUCT_DEFINITION( 'NONE', 'NONE', #36, #1 );
#38 = PRODUCT( '_SCE20UU', '_SCE20UU', 'PART-_SCE20UU-DESC', ( #54 ) );
#39 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #37 );
#40 = ADVANCED_BREP_SHAPE_REPRESENTATION( '_SCE20UU', ( #55, #56 ), #23 );
#43 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 0.00100000000000000 ), #45, '', '' );
#45 =  ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #59 )LENGTH_UNIT(  )NAMED_UNIT( #62 ) );
#46 =  ( NAMED_UNIT( #64 )PLANE_ANGLE_UNIT(  )SI_UNIT( $, .RADIAN. ) );
#47 =  ( NAMED_UNIT( #64 )SI_UNIT( $, .STERADIAN. )SOLID_ANGLE_UNIT(  ) );
#49 = COORDINATED_UNIVERSAL_TIME_OFFSET( 1, 0, .AHEAD. );
#50 = PERSON( '', 'UNSPECIFIED', $, $, $, $ );
#51 = ORGANIZATION( 'UNSPECIFIED', 'UNSPECIFIED', 'UNSPECIFIED' );
#52 = APPROVAL_STATUS( 'approved' );
#53 = SECURITY_CLASSIFICATION_LEVEL( 'unclassified' );
#54 = MECHANICAL_CONTEXT( '', #27, 'mechanical' );
#55 = MANIFOLD_SOLID_BREP( '_SCE20UU', #70 );
#56 = AXIS2_PLACEMENT_3D( '', #71, #72, #73 );
#59 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #74 );
#62 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#64 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#70 = CLOSED_SHELL( '', ( #75, #76, #77, #78, #79, #80, #81, #82, #83, #84, #85, #86, #87, #88, #89, #90, #91, #92, #93, #94, #95, #96, #97, #98, #99, #100, #101, #102, #103, #104, #105, #106, #107, #108, #109, #110, #111, #112, #113 ) );
#71 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#72 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#73 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#74 =  ( LENGTH_UNIT(  )NAMED_UNIT( #62 )SI_UNIT( .MILLI., .METRE. ) );
#75 = ADVANCED_FACE( '', ( #115, #116 ), #117, .F. );
#76 = ADVANCED_FACE( '', ( #118, #119 ), #120, .F. );
#77 = ADVANCED_FACE( '', ( #121, #122 ), #123, .T. );
#78 = ADVANCED_FACE( '', ( #124, #125, #126 ), #127, .F. );
#79 = ADVANCED_FACE( '', ( #128 ), #129, .F. );
#80 = ADVANCED_FACE( '', ( #130, #131, #132 ), #133, .F. );
#81 = ADVANCED_FACE( '', ( #134, #135 ), #136, .F. );
#82 = ADVANCED_FACE( '', ( #137 ), #138, .F. );
#83 = ADVANCED_FACE( '', ( #139, #140 ), #141, .F. );
#84 = ADVANCED_FACE( '', ( #142, #143 ), #144, .T. );
#85 = ADVANCED_FACE( '', ( #145, #146 ), #147, .F. );
#86 = ADVANCED_FACE( '', ( #148, #149 ), #150, .F. );
#87 = ADVANCED_FACE( '', ( #151, #152 ), #153, .T. );
#88 = ADVANCED_FACE( '', ( #154, #155 ), #156, .F. );
#89 = ADVANCED_FACE( '', ( #157, #158 ), #159, .T. );
#90 = ADVANCED_FACE( '', ( #160, #161 ), #162, .F. );
#91 = ADVANCED_FACE( '', ( #163 ), #164, .F. );
#92 = ADVANCED_FACE( '', ( #165 ), #166, .F. );
#93 = ADVANCED_FACE( '', ( #167 ), #168, .F. );
#94 = ADVANCED_FACE( '', ( #169 ), #170, .F. );
#95 = ADVANCED_FACE( '', ( #171 ), #172, .F. );
#96 = ADVANCED_FACE( '', ( #173 ), #174, .F. );
#97 = ADVANCED_FACE( '', ( #175 ), #176, .F. );
#98 = ADVANCED_FACE( '', ( #177 ), #178, .F. );
#99 = ADVANCED_FACE( '', ( #179 ), #180, .F. );
#100 = ADVANCED_FACE( '', ( #181 ), #182, .F. );
#101 = ADVANCED_FACE( '', ( #183 ), #184, .F. );
#102 = ADVANCED_FACE( '', ( #185 ), #186, .F. );
#103 = ADVANCED_FACE( '', ( #187 ), #188, .F. );
#104 = ADVANCED_FACE( '', ( #189 ), #190, .F. );
#105 = ADVANCED_FACE( '', ( #191 ), #192, .F. );
#106 = ADVANCED_FACE( '', ( #193 ), #194, .F. );
#107 = ADVANCED_FACE( '', ( #195, #196 ), #197, .F. );
#108 = ADVANCED_FACE( '', ( #198, #199 ), #200, .T. );
#109 = ADVANCED_FACE( '', ( #201, #202 ), #203, .F. );
#110 = ADVANCED_FACE( '', ( #204, #205 ), #206, .F. );
#111 = ADVANCED_FACE( '', ( #207, #208 ), #209, .F. );
#112 = ADVANCED_FACE( '', ( #210, #211 ), #212, .F. );
#113 = ADVANCED_FACE( '', ( #213, #214 ), #215, .F. );
#115 = FACE_OUTER_BOUND( '', #216, .T. );
#116 = FACE_OUTER_BOUND( '', #217, .T. );
#117 = CYLINDRICAL_SURFACE( '', #218, 2.45850000000000 );
#118 = FACE_OUTER_BOUND( '', #219, .T. );
#119 = FACE_BOUND( '', #220, .T. );
#120 = CONICAL_SURFACE( '', #221, 2.45850000000000, 0.785398163400000 );
#121 = FACE_BOUND( '', #222, .T. );
#122 = FACE_OUTER_BOUND( '', #223, .T. );
#123 = PLANE( '', #224 );
#124 = FACE_BOUND( '', #225, .T. );
#125 = FACE_BOUND( '', #226, .T. );
#126 = FACE_OUTER_BOUND( '', #227, .T. );
#127 = PLANE( '', #228 );
#128 = FACE_OUTER_BOUND( '', #229, .T. );
#129 = PLANE( '', #230 );
#130 = FACE_BOUND( '', #231, .T. );
#131 = FACE_BOUND( '', #232, .T. );
#132 = FACE_OUTER_BOUND( '', #233, .T. );
#133 = PLANE( '', #234 );
#134 = FACE_OUTER_BOUND( '', #235, .T. );
#135 = FACE_OUTER_BOUND( '', #236, .T. );
#136 = CYLINDRICAL_SURFACE( '', #237, 10.0000000000000 );
#137 = FACE_OUTER_BOUND( '', #238, .T. );
#138 = PLANE( '', #239 );
#139 = FACE_OUTER_BOUND( '', #240, .T. );
#140 = FACE_OUTER_BOUND( '', #241, .T. );
#141 = CYLINDRICAL_SURFACE( '', #242, 2.60000000000000 );
#142 = FACE_BOUND( '', #243, .T. );
#143 = FACE_OUTER_BOUND( '', #244, .T. );
#144 = PLANE( '', #245 );
#145 = FACE_OUTER_BOUND( '', #246, .T. );
#146 = FACE_BOUND( '', #247, .T. );
#147 = CONICAL_SURFACE( '', #248, 2.45850000000000, 0.785398163400000 );
#148 = FACE_OUTER_BOUND( '', #249, .T. );
#149 = FACE_OUTER_BOUND( '', #250, .T. );
#150 = CYLINDRICAL_SURFACE( '', #251, 2.45850000000000 );
#151 = FACE_BOUND( '', #252, .T. );
#152 = FACE_OUTER_BOUND( '', #253, .T. );
#153 = PLANE( '', #254 );
#154 = FACE_OUTER_BOUND( '', #255, .T. );
#155 = FACE_OUTER_BOUND( '', #256, .T. );
#156 = CYLINDRICAL_SURFACE( '', #257, 2.60000000000000 );
#157 = FACE_OUTER_BOUND( '', #258, .T. );
#158 = FACE_BOUND( '', #259, .T. );
#159 = PLANE( '', #260 );
#160 = FACE_BOUND( '', #261, .T. );
#161 = FACE_OUTER_BOUND( '', #262, .T. );
#162 = PLANE( '', #263 );
#163 = FACE_OUTER_BOUND( '', #264, .T. );
#164 = PLANE( '', #265 );
#165 = FACE_OUTER_BOUND( '', #266, .T. );
#166 = PLANE( '', #267 );
#167 = FACE_OUTER_BOUND( '', #268, .T. );
#168 = PLANE( '', #269 );
#169 = FACE_OUTER_BOUND( '', #270, .T. );
#170 = PLANE( '', #271 );
#171 = FACE_OUTER_BOUND( '', #272, .T. );
#172 = PLANE( '', #273 );
#173 = FACE_OUTER_BOUND( '', #274, .T. );
#174 = PLANE( '', #275 );
#175 = FACE_OUTER_BOUND( '', #276, .T. );
#176 = PLANE( '', #277 );
#177 = FACE_OUTER_BOUND( '', #278, .T. );
#178 = PLANE( '', #279 );
#179 = FACE_OUTER_BOUND( '', #280, .T. );
#180 = PLANE( '', #281 );
#181 = FACE_OUTER_BOUND( '', #282, .T. );
#182 = PLANE( '', #283 );
#183 = FACE_OUTER_BOUND( '', #284, .T. );
#184 = PLANE( '', #285 );
#185 = FACE_OUTER_BOUND( '', #286, .T. );
#186 = PLANE( '', #287 );
#187 = FACE_OUTER_BOUND( '', #288, .T. );
#188 = PLANE( '', #289 );
#189 = FACE_OUTER_BOUND( '', #290, .T. );
#190 = PLANE( '', #291 );
#191 = FACE_OUTER_BOUND( '', #292, .T. );
#192 = PLANE( '', #293 );
#193 = FACE_OUTER_BOUND( '', #294, .T. );
#194 = PLANE( '', #295 );
#195 = FACE_OUTER_BOUND( '', #296, .T. );
#196 = FACE_OUTER_BOUND( '', #297, .T. );
#197 = CYLINDRICAL_SURFACE( '', #298, 2.60000000000000 );
#198 = FACE_BOUND( '', #299, .T. );
#199 = FACE_OUTER_BOUND( '', #300, .T. );
#200 = PLANE( '', #301 );
#201 = FACE_OUTER_BOUND( '', #302, .T. );
#202 = FACE_BOUND( '', #303, .T. );
#203 = CONICAL_SURFACE( '', #304, 2.45850000000000, 0.785398163400000 );
#204 = FACE_OUTER_BOUND( '', #305, .T. );
#205 = FACE_OUTER_BOUND( '', #306, .T. );
#206 = CYLINDRICAL_SURFACE( '', #307, 2.45850000000000 );
#207 = FACE_OUTER_BOUND( '', #308, .T. );
#208 = FACE_OUTER_BOUND( '', #309, .T. );
#209 = CYLINDRICAL_SURFACE( '', #310, 2.45850000000000 );
#210 = FACE_OUTER_BOUND( '', #311, .T. );
#211 = FACE_BOUND( '', #312, .T. );
#212 = CONICAL_SURFACE( '', #313, 2.45850000000000, 0.785398163400000 );
#213 = FACE_OUTER_BOUND( '', #314, .T. );
#214 = FACE_OUTER_BOUND( '', #315, .T. );
#215 = CYLINDRICAL_SURFACE( '', #316, 2.60000000000000 );
#216 = EDGE_LOOP( '', ( #317 ) );
#217 = EDGE_LOOP( '', ( #318 ) );
#218 = AXIS2_PLACEMENT_3D( '', #319, #320, #321 );
#219 = EDGE_LOOP( '', ( #322 ) );
#220 = EDGE_LOOP( '', ( #323 ) );
#221 = AXIS2_PLACEMENT_3D( '', #324, #325, #326 );
#222 = EDGE_LOOP( '', ( #327 ) );
#223 = EDGE_LOOP( '', ( #328 ) );
#224 = AXIS2_PLACEMENT_3D( '', #329, #330, #331 );
#225 = EDGE_LOOP( '', ( #332 ) );
#226 = EDGE_LOOP( '', ( #333 ) );
#227 = EDGE_LOOP( '', ( #334, #335, #336, #337 ) );
#228 = AXIS2_PLACEMENT_3D( '', #338, #339, #340 );
#229 = EDGE_LOOP( '', ( #341, #342, #343, #344 ) );
#230 = AXIS2_PLACEMENT_3D( '', #345, #346, #347 );
#231 = EDGE_LOOP( '', ( #348 ) );
#232 = EDGE_LOOP( '', ( #349 ) );
#233 = EDGE_LOOP( '', ( #350, #351, #352, #353 ) );
#234 = AXIS2_PLACEMENT_3D( '', #354, #355, #356 );
#235 = EDGE_LOOP( '', ( #357 ) );
#236 = EDGE_LOOP( '', ( #358 ) );
#237 = AXIS2_PLACEMENT_3D( '', #359, #360, #361 );
#238 = EDGE_LOOP( '', ( #362, #363, #364, #365 ) );
#239 = AXIS2_PLACEMENT_3D( '', #366, #367, #368 );
#240 = EDGE_LOOP( '', ( #369 ) );
#241 = EDGE_LOOP( '', ( #370, #371 ) );
#242 = AXIS2_PLACEMENT_3D( '', #372, #373, #374 );
#243 = EDGE_LOOP( '', ( #375 ) );
#244 = EDGE_LOOP( '', ( #376 ) );
#245 = AXIS2_PLACEMENT_3D( '', #377, #378, #379 );
#246 = EDGE_LOOP( '', ( #380 ) );
#247 = EDGE_LOOP( '', ( #381 ) );
#248 = AXIS2_PLACEMENT_3D( '', #382, #383, #384 );
#249 = EDGE_LOOP( '', ( #385 ) );
#250 = EDGE_LOOP( '', ( #386 ) );
#251 = AXIS2_PLACEMENT_3D( '', #387, #388, #389 );
#252 = EDGE_LOOP( '', ( #390 ) );
#253 = EDGE_LOOP( '', ( #391 ) );
#254 = AXIS2_PLACEMENT_3D( '', #392, #393, #394 );
#255 = EDGE_LOOP( '', ( #395 ) );
#256 = EDGE_LOOP( '', ( #396, #397 ) );
#257 = AXIS2_PLACEMENT_3D( '', #398, #399, #400 );
#258 = EDGE_LOOP( '', ( #401, #402, #403, #404, #405, #406, #407, #408, #409, #410, #411, #412, #413, #414, #415, #416, #417, #418, #419, #420 ) );
#259 = EDGE_LOOP( '', ( #421 ) );
#260 = AXIS2_PLACEMENT_3D( '', #422, #423, #424 );
#261 = EDGE_LOOP( '', ( #425 ) );
#262 = EDGE_LOOP( '', ( #426, #427, #428, #429, #430, #431, #432, #433, #434, #435, #436, #437, #438, #439, #440, #441, #442, #443, #444, #445 ) );
#263 = AXIS2_PLACEMENT_3D( '', #446, #447, #448 );
#264 = EDGE_LOOP( '', ( #449, #450, #451, #452 ) );
#265 = AXIS2_PLACEMENT_3D( '', #453, #454, #455 );
#266 = EDGE_LOOP( '', ( #456, #457, #458, #459 ) );
#267 = AXIS2_PLACEMENT_3D( '', #460, #461, #462 );
#268 = EDGE_LOOP( '', ( #463, #464, #465, #466 ) );
#269 = AXIS2_PLACEMENT_3D( '', #467, #468, #469 );
#270 = EDGE_LOOP( '', ( #470, #471, #472, #473 ) );
#271 = AXIS2_PLACEMENT_3D( '', #474, #475, #476 );
#272 = EDGE_LOOP( '', ( #477, #478, #479, #480 ) );
#273 = AXIS2_PLACEMENT_3D( '', #481, #482, #483 );
#274 = EDGE_LOOP( '', ( #484, #485, #486, #487 ) );
#275 = AXIS2_PLACEMENT_3D( '', #488, #489, #490 );
#276 = EDGE_LOOP( '', ( #491, #492, #493, #494 ) );
#277 = AXIS2_PLACEMENT_3D( '', #495, #496, #497 );
#278 = EDGE_LOOP( '', ( #498, #499, #500, #501 ) );
#279 = AXIS2_PLACEMENT_3D( '', #502, #503, #504 );
#280 = EDGE_LOOP( '', ( #505, #506, #507, #508 ) );
#281 = AXIS2_PLACEMENT_3D( '', #509, #510, #511 );
#282 = EDGE_LOOP( '', ( #512, #513, #514, #515 ) );
#283 = AXIS2_PLACEMENT_3D( '', #516, #517, #518 );
#284 = EDGE_LOOP( '', ( #519, #520, #521, #522 ) );
#285 = AXIS2_PLACEMENT_3D( '', #523, #524, #525 );
#286 = EDGE_LOOP( '', ( #526, #527, #528, #529, #530, #531, #532, #533 ) );
#287 = AXIS2_PLACEMENT_3D( '', #534, #535, #536 );
#288 = EDGE_LOOP( '', ( #537, #538, #539, #540, #541, #542, #543, #544 ) );
#289 = AXIS2_PLACEMENT_3D( '', #545, #546, #547 );
#290 = EDGE_LOOP( '', ( #548, #549, #550, #551 ) );
#291 = AXIS2_PLACEMENT_3D( '', #552, #553, #554 );
#292 = EDGE_LOOP( '', ( #555, #556, #557, #558, #559, #560, #561, #562 ) );
#293 = AXIS2_PLACEMENT_3D( '', #563, #564, #565 );
#294 = EDGE_LOOP( '', ( #566, #567, #568, #569, #570, #571, #572, #573 ) );
#295 = AXIS2_PLACEMENT_3D( '', #574, #575, #576 );
#296 = EDGE_LOOP( '', ( #577 ) );
#297 = EDGE_LOOP( '', ( #578, #579 ) );
#298 = AXIS2_PLACEMENT_3D( '', #580, #581, #582 );
#299 = EDGE_LOOP( '', ( #583 ) );
#300 = EDGE_LOOP( '', ( #584 ) );
#301 = AXIS2_PLACEMENT_3D( '', #585, #586, #587 );
#302 = EDGE_LOOP( '', ( #588 ) );
#303 = EDGE_LOOP( '', ( #589 ) );
#304 = AXIS2_PLACEMENT_3D( '', #590, #591, #592 );
#305 = EDGE_LOOP( '', ( #593 ) );
#306 = EDGE_LOOP( '', ( #594 ) );
#307 = AXIS2_PLACEMENT_3D( '', #595, #596, #597 );
#308 = EDGE_LOOP( '', ( #598 ) );
#309 = EDGE_LOOP( '', ( #599 ) );
#310 = AXIS2_PLACEMENT_3D( '', #600, #601, #602 );
#311 = EDGE_LOOP( '', ( #603 ) );
#312 = EDGE_LOOP( '', ( #604 ) );
#313 = AXIS2_PLACEMENT_3D( '', #605, #606, #607 );
#314 = EDGE_LOOP( '', ( #608 ) );
#315 = EDGE_LOOP( '', ( #609, #610 ) );
#316 = AXIS2_PLACEMENT_3D( '', #611, #612, #613 );
#317 = ORIENTED_EDGE( '', *, *, #614, .T. );
#318 = ORIENTED_EDGE( '', *, *, #615, .F. );
#319 = CARTESIAN_POINT( '', ( 46.5000000000000, 0.000000000000000, -20.0000000000000 ) );
#320 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#321 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#322 = ORIENTED_EDGE( '', *, *, #616, .T. );
#323 = ORIENTED_EDGE( '', *, *, #614, .F. );
#324 = CARTESIAN_POINT( '', ( 46.5000000000000, 0.541500000000000, -20.0000000000000 ) );
#325 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#326 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#327 = ORIENTED_EDGE( '', *, *, #615, .T. );
#328 = ORIENTED_EDGE( '', *, *, #617, .F. );
#329 = CARTESIAN_POINT( '', ( 46.5000000000000, 12.0000000000000, -22.6000000000000 ) );
#330 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#331 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#332 = ORIENTED_EDGE( '', *, *, #618, .F. );
#333 = ORIENTED_EDGE( '', *, *, #616, .F. );
#334 = ORIENTED_EDGE( '', *, *, #619, .T. );
#335 = ORIENTED_EDGE( '', *, *, #620, .F. );
#336 = ORIENTED_EDGE( '', *, *, #621, .F. );
#337 = ORIENTED_EDGE( '', *, *, #622, .T. );
#338 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 27.0000000000000 ) );
#339 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#340 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#341 = ORIENTED_EDGE( '', *, *, #623, .T. );
#342 = ORIENTED_EDGE( '', *, *, #624, .F. );
#343 = ORIENTED_EDGE( '', *, *, #625, .F. );
#344 = ORIENTED_EDGE( '', *, *, #626, .T. );
#345 = CARTESIAN_POINT( '', ( 53.0000000000000, 41.0000000000000, -27.0000000000000 ) );
#346 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#347 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#348 = ORIENTED_EDGE( '', *, *, #627, .F. );
#349 = ORIENTED_EDGE( '', *, *, #628, .F. );
#350 = ORIENTED_EDGE( '', *, *, #629, .T. );
#351 = ORIENTED_EDGE( '', *, *, #630, .F. );
#352 = ORIENTED_EDGE( '', *, *, #631, .F. );
#353 = ORIENTED_EDGE( '', *, *, #632, .T. );
#354 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 27.0000000000000 ) );
#355 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#356 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#357 = ORIENTED_EDGE( '', *, *, #633, .T. );
#358 = ORIENTED_EDGE( '', *, *, #634, .F. );
#359 = CARTESIAN_POINT( '', ( 53.0000000000000, 21.0000000000000, 0.000000000000000 ) );
#360 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#361 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#362 = ORIENTED_EDGE( '', *, *, #635, .F. );
#363 = ORIENTED_EDGE( '', *, *, #636, .T. );
#364 = ORIENTED_EDGE( '', *, *, #637, .T. );
#365 = ORIENTED_EDGE( '', *, *, #638, .F. );
#366 = CARTESIAN_POINT( '', ( 53.0000000000000, 41.0000000000000, 27.0000000000000 ) );
#367 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#368 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#369 = ORIENTED_EDGE( '', *, *, #639, .T. );
#370 = ORIENTED_EDGE( '', *, *, #640, .F. );
#371 = ORIENTED_EDGE( '', *, *, #641, .F. );
#372 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.000000000000000, -20.0000000000000 ) );
#373 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#374 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#375 = ORIENTED_EDGE( '', *, *, #642, .T. );
#376 = ORIENTED_EDGE( '', *, *, #639, .F. );
#377 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.0000000000000, -22.6000000000000 ) );
#378 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#379 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#380 = ORIENTED_EDGE( '', *, *, #628, .T. );
#381 = ORIENTED_EDGE( '', *, *, #643, .F. );
#382 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.541500000000000, 20.0000000000000 ) );
#383 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#384 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#385 = ORIENTED_EDGE( '', *, *, #643, .T. );
#386 = ORIENTED_EDGE( '', *, *, #644, .F. );
#387 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.000000000000000, 20.0000000000000 ) );
#388 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#389 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#390 = ORIENTED_EDGE( '', *, *, #644, .T. );
#391 = ORIENTED_EDGE( '', *, *, #645, .F. );
#392 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.0000000000000, 17.4000000000000 ) );
#393 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#394 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#395 = ORIENTED_EDGE( '', *, *, #645, .T. );
#396 = ORIENTED_EDGE( '', *, *, #646, .F. );
#397 = ORIENTED_EDGE( '', *, *, #647, .F. );
#398 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.000000000000000, 20.0000000000000 ) );
#399 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#400 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#401 = ORIENTED_EDGE( '', *, *, #648, .T. );
#402 = ORIENTED_EDGE( '', *, *, #635, .T. );
#403 = ORIENTED_EDGE( '', *, *, #649, .T. );
#404 = ORIENTED_EDGE( '', *, *, #631, .T. );
#405 = ORIENTED_EDGE( '', *, *, #650, .T. );
#406 = ORIENTED_EDGE( '', *, *, #651, .T. );
#407 = ORIENTED_EDGE( '', *, *, #652, .T. );
#408 = ORIENTED_EDGE( '', *, *, #621, .T. );
#409 = ORIENTED_EDGE( '', *, *, #653, .T. );
#410 = ORIENTED_EDGE( '', *, *, #654, .T. );
#411 = ORIENTED_EDGE( '', *, *, #655, .T. );
#412 = ORIENTED_EDGE( '', *, *, #656, .T. );
#413 = ORIENTED_EDGE( '', *, *, #657, .T. );
#414 = ORIENTED_EDGE( '', *, *, #658, .T. );
#415 = ORIENTED_EDGE( '', *, *, #659, .T. );
#416 = ORIENTED_EDGE( '', *, *, #625, .T. );
#417 = ORIENTED_EDGE( '', *, *, #660, .T. );
#418 = ORIENTED_EDGE( '', *, *, #661, .T. );
#419 = ORIENTED_EDGE( '', *, *, #662, .T. );
#420 = ORIENTED_EDGE( '', *, *, #663, .T. );
#421 = ORIENTED_EDGE( '', *, *, #633, .F. );
#422 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#423 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#424 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#425 = ORIENTED_EDGE( '', *, *, #634, .T. );
#426 = ORIENTED_EDGE( '', *, *, #637, .F. );
#427 = ORIENTED_EDGE( '', *, *, #664, .F. );
#428 = ORIENTED_EDGE( '', *, *, #665, .F. );
#429 = ORIENTED_EDGE( '', *, *, #666, .F. );
#430 = ORIENTED_EDGE( '', *, *, #667, .F. );
#431 = ORIENTED_EDGE( '', *, *, #668, .F. );
#432 = ORIENTED_EDGE( '', *, *, #623, .F. );
#433 = ORIENTED_EDGE( '', *, *, #669, .F. );
#434 = ORIENTED_EDGE( '', *, *, #670, .F. );
#435 = ORIENTED_EDGE( '', *, *, #671, .F. );
#436 = ORIENTED_EDGE( '', *, *, #672, .F. );
#437 = ORIENTED_EDGE( '', *, *, #673, .F. );
#438 = ORIENTED_EDGE( '', *, *, #674, .F. );
#439 = ORIENTED_EDGE( '', *, *, #675, .F. );
#440 = ORIENTED_EDGE( '', *, *, #619, .F. );
#441 = ORIENTED_EDGE( '', *, *, #676, .F. );
#442 = ORIENTED_EDGE( '', *, *, #677, .F. );
#443 = ORIENTED_EDGE( '', *, *, #678, .F. );
#444 = ORIENTED_EDGE( '', *, *, #629, .F. );
#445 = ORIENTED_EDGE( '', *, *, #679, .F. );
#446 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -0.000000000000000 ) );
#447 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#448 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#449 = ORIENTED_EDGE( '', *, *, #674, .T. );
#450 = ORIENTED_EDGE( '', *, *, #680, .F. );
#451 = ORIENTED_EDGE( '', *, *, #654, .F. );
#452 = ORIENTED_EDGE( '', *, *, #681, .T. );
#453 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, -27.0000000000000 ) );
#454 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#455 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#456 = ORIENTED_EDGE( '', *, *, #672, .T. );
#457 = ORIENTED_EDGE( '', *, *, #682, .F. );
#458 = ORIENTED_EDGE( '', *, *, #656, .F. );
#459 = ORIENTED_EDGE( '', *, *, #683, .T. );
#460 = CARTESIAN_POINT( '', ( 53.0000000000000, 12.0000000000000, -24.0000000000000 ) );
#461 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#462 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#463 = ORIENTED_EDGE( '', *, *, #669, .T. );
#464 = ORIENTED_EDGE( '', *, *, #626, .F. );
#465 = ORIENTED_EDGE( '', *, *, #659, .F. );
#466 = ORIENTED_EDGE( '', *, *, #684, .T. );
#467 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, -13.0000000000000 ) );
#468 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186547 ) );
#469 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, -0.707106781186548 ) );
#470 = ORIENTED_EDGE( '', *, *, #673, .T. );
#471 = ORIENTED_EDGE( '', *, *, #683, .F. );
#472 = ORIENTED_EDGE( '', *, *, #655, .F. );
#473 = ORIENTED_EDGE( '', *, *, #680, .T. );
#474 = CARTESIAN_POINT( '', ( 53.0000000000000, 9.00000000000000, -27.0000000000000 ) );
#475 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186548 ) );
#476 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, -0.707106781186547 ) );
#477 = ORIENTED_EDGE( '', *, *, #675, .T. );
#478 = ORIENTED_EDGE( '', *, *, #681, .F. );
#479 = ORIENTED_EDGE( '', *, *, #653, .F. );
#480 = ORIENTED_EDGE( '', *, *, #620, .T. );
#481 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, -25.5000000000000 ) );
#482 = DIRECTION( '', ( -0.000000000000000, 0.707106781186547, 0.707106781186548 ) );
#483 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186547 ) );
#484 = ORIENTED_EDGE( '', *, *, #676, .T. );
#485 = ORIENTED_EDGE( '', *, *, #622, .F. );
#486 = ORIENTED_EDGE( '', *, *, #652, .F. );
#487 = ORIENTED_EDGE( '', *, *, #685, .T. );
#488 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.00000000000000, -9.50000000000000 ) );
#489 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, -0.707106781186547 ) );
#490 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, 0.707106781186548 ) );
#491 = ORIENTED_EDGE( '', *, *, #677, .T. );
#492 = ORIENTED_EDGE( '', *, *, #685, .F. );
#493 = ORIENTED_EDGE( '', *, *, #651, .F. );
#494 = ORIENTED_EDGE( '', *, *, #686, .T. );
#495 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.00000000000000, 9.50000000000000 ) );
#496 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#497 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#498 = ORIENTED_EDGE( '', *, *, #678, .T. );
#499 = ORIENTED_EDGE( '', *, *, #686, .F. );
#500 = ORIENTED_EDGE( '', *, *, #650, .F. );
#501 = ORIENTED_EDGE( '', *, *, #630, .T. );
#502 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 10.5000000000000 ) );
#503 = DIRECTION( '', ( -0.000000000000000, 0.707106781186548, 0.707106781186547 ) );
#504 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, 0.707106781186548 ) );
#505 = ORIENTED_EDGE( '', *, *, #679, .T. );
#506 = ORIENTED_EDGE( '', *, *, #632, .F. );
#507 = ORIENTED_EDGE( '', *, *, #649, .F. );
#508 = ORIENTED_EDGE( '', *, *, #638, .T. );
#509 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.50000000000000, 27.0000000000000 ) );
#510 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, -0.707106781186548 ) );
#511 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, 0.707106781186547 ) );
#512 = ORIENTED_EDGE( '', *, *, #664, .T. );
#513 = ORIENTED_EDGE( '', *, *, #636, .F. );
#514 = ORIENTED_EDGE( '', *, *, #648, .F. );
#515 = ORIENTED_EDGE( '', *, *, #687, .T. );
#516 = CARTESIAN_POINT( '', ( 53.0000000000000, 12.0000000000000, 24.0000000000000 ) );
#517 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, -0.707106781186548 ) );
#518 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, -0.707106781186547 ) );
#519 = ORIENTED_EDGE( '', *, *, #665, .T. );
#520 = ORIENTED_EDGE( '', *, *, #687, .F. );
#521 = ORIENTED_EDGE( '', *, *, #663, .F. );
#522 = ORIENTED_EDGE( '', *, *, #688, .T. );
#523 = CARTESIAN_POINT( '', ( 53.0000000000000, 33.5000000000000, 24.0000000000000 ) );
#524 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#525 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#526 = ORIENTED_EDGE( '', *, *, #646, .T. );
#527 = ORIENTED_EDGE( '', *, *, #689, .T. );
#528 = ORIENTED_EDGE( '', *, *, #666, .T. );
#529 = ORIENTED_EDGE( '', *, *, #688, .F. );
#530 = ORIENTED_EDGE( '', *, *, #662, .F. );
#531 = ORIENTED_EDGE( '', *, *, #690, .T. );
#532 = ORIENTED_EDGE( '', *, *, #691, .T. );
#533 = ORIENTED_EDGE( '', *, *, #692, .T. );
#534 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, 22.5000000000000 ) );
#535 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, -0.707106781186548 ) );
#536 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, -0.707106781186547 ) );
#537 = ORIENTED_EDGE( '', *, *, #689, .F. );
#538 = ORIENTED_EDGE( '', *, *, #647, .T. );
#539 = ORIENTED_EDGE( '', *, *, #692, .F. );
#540 = ORIENTED_EDGE( '', *, *, #693, .T. );
#541 = ORIENTED_EDGE( '', *, *, #690, .F. );
#542 = ORIENTED_EDGE( '', *, *, #661, .F. );
#543 = ORIENTED_EDGE( '', *, *, #694, .T. );
#544 = ORIENTED_EDGE( '', *, *, #667, .T. );
#545 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, 13.0000000000000 ) );
#546 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#547 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#548 = ORIENTED_EDGE( '', *, *, #668, .T. );
#549 = ORIENTED_EDGE( '', *, *, #694, .F. );
#550 = ORIENTED_EDGE( '', *, *, #660, .F. );
#551 = ORIENTED_EDGE( '', *, *, #624, .T. );
#552 = CARTESIAN_POINT( '', ( 53.0000000000000, 41.0000000000000, 7.00000000000000 ) );
#553 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, -0.707106781186547 ) );
#554 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, -0.707106781186548 ) );
#555 = ORIENTED_EDGE( '', *, *, #640, .T. );
#556 = ORIENTED_EDGE( '', *, *, #695, .T. );
#557 = ORIENTED_EDGE( '', *, *, #670, .T. );
#558 = ORIENTED_EDGE( '', *, *, #684, .F. );
#559 = ORIENTED_EDGE( '', *, *, #658, .F. );
#560 = ORIENTED_EDGE( '', *, *, #696, .T. );
#561 = ORIENTED_EDGE( '', *, *, #697, .T. );
#562 = ORIENTED_EDGE( '', *, *, #698, .T. );
#563 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, -22.5000000000000 ) );
#564 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#565 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#566 = ORIENTED_EDGE( '', *, *, #641, .T. );
#567 = ORIENTED_EDGE( '', *, *, #698, .F. );
#568 = ORIENTED_EDGE( '', *, *, #699, .T. );
#569 = ORIENTED_EDGE( '', *, *, #696, .F. );
#570 = ORIENTED_EDGE( '', *, *, #657, .F. );
#571 = ORIENTED_EDGE( '', *, *, #682, .T. );
#572 = ORIENTED_EDGE( '', *, *, #671, .T. );
#573 = ORIENTED_EDGE( '', *, *, #695, .F. );
#574 = CARTESIAN_POINT( '', ( 53.0000000000000, 33.5000000000000, -24.0000000000000 ) );
#575 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186548 ) );
#576 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, -0.707106781186547 ) );
#577 = ORIENTED_EDGE( '', *, *, #700, .T. );
#578 = ORIENTED_EDGE( '', *, *, #691, .F. );
#579 = ORIENTED_EDGE( '', *, *, #693, .F. );
#580 = CARTESIAN_POINT( '', ( 46.5000000000000, 0.000000000000000, 20.0000000000000 ) );
#581 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#582 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#583 = ORIENTED_EDGE( '', *, *, #701, .T. );
#584 = ORIENTED_EDGE( '', *, *, #700, .F. );
#585 = CARTESIAN_POINT( '', ( 46.5000000000000, 12.0000000000000, 17.4000000000000 ) );
#586 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#587 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#588 = ORIENTED_EDGE( '', *, *, #618, .T. );
#589 = ORIENTED_EDGE( '', *, *, #702, .F. );
#590 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.541500000000000, -20.0000000000000 ) );
#591 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#592 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#593 = ORIENTED_EDGE( '', *, *, #702, .T. );
#594 = ORIENTED_EDGE( '', *, *, #642, .F. );
#595 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.000000000000000, -20.0000000000000 ) );
#596 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#597 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#598 = ORIENTED_EDGE( '', *, *, #703, .T. );
#599 = ORIENTED_EDGE( '', *, *, #701, .F. );
#600 = CARTESIAN_POINT( '', ( 46.5000000000000, 0.000000000000000, 20.0000000000000 ) );
#601 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#602 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#603 = ORIENTED_EDGE( '', *, *, #627, .T. );
#604 = ORIENTED_EDGE( '', *, *, #703, .F. );
#605 = CARTESIAN_POINT( '', ( 46.5000000000000, 0.541500000000000, 20.0000000000000 ) );
#606 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#607 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#608 = ORIENTED_EDGE( '', *, *, #617, .T. );
#609 = ORIENTED_EDGE( '', *, *, #697, .F. );
#610 = ORIENTED_EDGE( '', *, *, #699, .F. );
#611 = CARTESIAN_POINT( '', ( 46.5000000000000, 0.000000000000000, -20.0000000000000 ) );
#612 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#613 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#614 = EDGE_CURVE( '', #704, #704, #705, .T. );
#615 = EDGE_CURVE( '', #706, #706, #707, .T. );
#616 = EDGE_CURVE( '', #708, #708, #709, .T. );
#617 = EDGE_CURVE( '', #710, #710, #711, .T. );
#618 = EDGE_CURVE( '', #712, #712, #713, .T. );
#619 = EDGE_CURVE( '', #714, #715, #716, .T. );
#620 = EDGE_CURVE( '', #717, #715, #718, .T. );
#621 = EDGE_CURVE( '', #719, #717, #720, .T. );
#622 = EDGE_CURVE( '', #719, #714, #721, .T. );
#623 = EDGE_CURVE( '', #722, #723, #724, .T. );
#624 = EDGE_CURVE( '', #725, #723, #726, .T. );
#625 = EDGE_CURVE( '', #727, #725, #728, .T. );
#626 = EDGE_CURVE( '', #727, #722, #729, .T. );
#627 = EDGE_CURVE( '', #730, #730, #731, .T. );
#628 = EDGE_CURVE( '', #732, #732, #733, .T. );
#629 = EDGE_CURVE( '', #734, #735, #736, .T. );
#630 = EDGE_CURVE( '', #737, #735, #738, .T. );
#631 = EDGE_CURVE( '', #739, #737, #740, .T. );
#632 = EDGE_CURVE( '', #739, #734, #741, .T. );
#633 = EDGE_CURVE( '', #742, #742, #743, .T. );
#634 = EDGE_CURVE( '', #744, #744, #745, .T. );
#635 = EDGE_CURVE( '', #746, #747, #748, .T. );
#636 = EDGE_CURVE( '', #746, #749, #750, .T. );
#637 = EDGE_CURVE( '', #749, #751, #752, .T. );
#638 = EDGE_CURVE( '', #747, #751, #753, .T. );
#639 = EDGE_CURVE( '', #754, #754, #755, .T. );
#640 = EDGE_CURVE( '', #756, #757, #758, .T. );
#641 = EDGE_CURVE( '', #757, #756, #759, .T. );
#642 = EDGE_CURVE( '', #760, #760, #761, .T. );
#643 = EDGE_CURVE( '', #762, #762, #763, .T. );
#644 = EDGE_CURVE( '', #764, #764, #765, .T. );
#645 = EDGE_CURVE( '', #766, #766, #767, .T. );
#646 = EDGE_CURVE( '', #768, #769, #770, .T. );
#647 = EDGE_CURVE( '', #769, #768, #771, .T. );
#648 = EDGE_CURVE( '', #772, #746, #773, .T. );
#649 = EDGE_CURVE( '', #747, #739, #774, .T. );
#650 = EDGE_CURVE( '', #737, #775, #776, .T. );
#651 = EDGE_CURVE( '', #775, #777, #778, .T. );
#652 = EDGE_CURVE( '', #777, #719, #779, .T. );
#653 = EDGE_CURVE( '', #717, #780, #781, .T. );
#654 = EDGE_CURVE( '', #780, #782, #783, .T. );
#655 = EDGE_CURVE( '', #782, #784, #785, .T. );
#656 = EDGE_CURVE( '', #784, #786, #787, .T. );
#657 = EDGE_CURVE( '', #786, #788, #789, .T. );
#658 = EDGE_CURVE( '', #788, #790, #791, .T. );
#659 = EDGE_CURVE( '', #790, #727, #792, .T. );
#660 = EDGE_CURVE( '', #725, #793, #794, .T. );
#661 = EDGE_CURVE( '', #793, #795, #796, .T. );
#662 = EDGE_CURVE( '', #795, #797, #798, .T. );
#663 = EDGE_CURVE( '', #797, #772, #799, .T. );
#664 = EDGE_CURVE( '', #800, #749, #801, .T. );
#665 = EDGE_CURVE( '', #802, #800, #803, .T. );
#666 = EDGE_CURVE( '', #804, #802, #805, .T. );
#667 = EDGE_CURVE( '', #806, #804, #807, .T. );
#668 = EDGE_CURVE( '', #723, #806, #808, .T. );
#669 = EDGE_CURVE( '', #809, #722, #810, .T. );
#670 = EDGE_CURVE( '', #811, #809, #812, .T. );
#671 = EDGE_CURVE( '', #813, #811, #814, .T. );
#672 = EDGE_CURVE( '', #815, #813, #816, .T. );
#673 = EDGE_CURVE( '', #817, #815, #818, .T. );
#674 = EDGE_CURVE( '', #819, #817, #820, .T. );
#675 = EDGE_CURVE( '', #715, #819, #821, .T. );
#676 = EDGE_CURVE( '', #822, #714, #823, .T. );
#677 = EDGE_CURVE( '', #824, #822, #825, .T. );
#678 = EDGE_CURVE( '', #735, #824, #826, .T. );
#679 = EDGE_CURVE( '', #751, #734, #827, .T. );
#680 = EDGE_CURVE( '', #782, #817, #828, .T. );
#681 = EDGE_CURVE( '', #780, #819, #829, .T. );
#682 = EDGE_CURVE( '', #786, #813, #830, .T. );
#683 = EDGE_CURVE( '', #784, #815, #831, .T. );
#684 = EDGE_CURVE( '', #790, #809, #832, .T. );
#685 = EDGE_CURVE( '', #777, #822, #833, .T. );
#686 = EDGE_CURVE( '', #775, #824, #834, .T. );
#687 = EDGE_CURVE( '', #772, #800, #835, .T. );
#688 = EDGE_CURVE( '', #797, #802, #836, .T. );
#689 = EDGE_CURVE( '', #769, #804, #837, .T. );
#690 = EDGE_CURVE( '', #795, #838, #839, .T. );
#691 = EDGE_CURVE( '', #838, #840, #841, .T. );
#692 = EDGE_CURVE( '', #840, #768, #842, .T. );
#693 = EDGE_CURVE( '', #840, #838, #843, .T. );
#694 = EDGE_CURVE( '', #793, #806, #844, .T. );
#695 = EDGE_CURVE( '', #757, #811, #845, .T. );
#696 = EDGE_CURVE( '', #788, #846, #847, .T. );
#697 = EDGE_CURVE( '', #846, #848, #849, .T. );
#698 = EDGE_CURVE( '', #848, #756, #850, .T. );
#699 = EDGE_CURVE( '', #848, #846, #851, .T. );
#700 = EDGE_CURVE( '', #852, #852, #853, .T. );
#701 = EDGE_CURVE( '', #854, #854, #855, .T. );
#702 = EDGE_CURVE( '', #856, #856, #857, .T. );
#703 = EDGE_CURVE( '', #858, #858, #859, .T. );
#704 = VERTEX_POINT( '', #860 );
#705 = CIRCLE( '', #861, 2.45850000000000 );
#706 = VERTEX_POINT( '', #862 );
#707 = CIRCLE( '', #863, 2.45850000000000 );
#708 = VERTEX_POINT( '', #864 );
#709 = CIRCLE( '', #865, 3.00000000000000 );
#710 = VERTEX_POINT( '', #866 );
#711 = CIRCLE( '', #867, 2.60000000000000 );
#712 = VERTEX_POINT( '', #868 );
#713 = CIRCLE( '', #869, 3.00000000000000 );
#714 = VERTEX_POINT( '', #870 );
#715 = VERTEX_POINT( '', #871 );
#716 = LINE( '', #872, #873 );
#717 = VERTEX_POINT( '', #874 );
#718 = LINE( '', #875, #876 );
#719 = VERTEX_POINT( '', #877 );
#720 = LINE( '', #878, #879 );
#721 = LINE( '', #880, #881 );
#722 = VERTEX_POINT( '', #882 );
#723 = VERTEX_POINT( '', #883 );
#724 = LINE( '', #884, #885 );
#725 = VERTEX_POINT( '', #886 );
#726 = LINE( '', #887, #888 );
#727 = VERTEX_POINT( '', #889 );
#728 = LINE( '', #890, #891 );
#729 = LINE( '', #892, #893 );
#730 = VERTEX_POINT( '', #894 );
#731 = CIRCLE( '', #895, 3.00000000000000 );
#732 = VERTEX_POINT( '', #896 );
#733 = CIRCLE( '', #897, 3.00000000000000 );
#734 = VERTEX_POINT( '', #898 );
#735 = VERTEX_POINT( '', #899 );
#736 = LINE( '', #900, #901 );
#737 = VERTEX_POINT( '', #902 );
#738 = LINE( '', #903, #904 );
#739 = VERTEX_POINT( '', #905 );
#740 = LINE( '', #906, #907 );
#741 = LINE( '', #908, #909 );
#742 = VERTEX_POINT( '', #910 );
#743 = CIRCLE( '', #911, 10.0000000000000 );
#744 = VERTEX_POINT( '', #912 );
#745 = CIRCLE( '', #913, 10.0000000000000 );
#746 = VERTEX_POINT( '', #914 );
#747 = VERTEX_POINT( '', #915 );
#748 = LINE( '', #916, #917 );
#749 = VERTEX_POINT( '', #918 );
#750 = LINE( '', #919, #920 );
#751 = VERTEX_POINT( '', #921 );
#752 = LINE( '', #922, #923 );
#753 = LINE( '', #924, #925 );
#754 = VERTEX_POINT( '', #926 );
#755 = CIRCLE( '', #927, 2.60000000000000 );
#756 = VERTEX_POINT( '', #928 );
#757 = VERTEX_POINT( '', #929 );
#758 = CIRCLE( '', #930, 2.60000000000000 );
#759 = ELLIPSE( '', #931, 3.67695526220000, 2.60000000000000 );
#760 = VERTEX_POINT( '', #932 );
#761 = CIRCLE( '', #933, 2.45850000000000 );
#762 = VERTEX_POINT( '', #934 );
#763 = CIRCLE( '', #935, 2.45850000000000 );
#764 = VERTEX_POINT( '', #936 );
#765 = CIRCLE( '', #937, 2.45850000000000 );
#766 = VERTEX_POINT( '', #938 );
#767 = CIRCLE( '', #939, 2.60000000000000 );
#768 = VERTEX_POINT( '', #940 );
#769 = VERTEX_POINT( '', #941 );
#770 = ELLIPSE( '', #942, 3.67695526220000, 2.60000000000000 );
#771 = CIRCLE( '', #943, 2.60000000000000 );
#772 = VERTEX_POINT( '', #944 );
#773 = LINE( '', #945, #946 );
#774 = LINE( '', #947, #948 );
#775 = VERTEX_POINT( '', #949 );
#776 = LINE( '', #950, #951 );
#777 = VERTEX_POINT( '', #952 );
#778 = LINE( '', #953, #954 );
#779 = LINE( '', #955, #956 );
#780 = VERTEX_POINT( '', #957 );
#781 = LINE( '', #958, #959 );
#782 = VERTEX_POINT( '', #960 );
#783 = LINE( '', #961, #962 );
#784 = VERTEX_POINT( '', #963 );
#785 = LINE( '', #964, #965 );
#786 = VERTEX_POINT( '', #966 );
#787 = LINE( '', #967, #968 );
#788 = VERTEX_POINT( '', #969 );
#789 = LINE( '', #970, #971 );
#790 = VERTEX_POINT( '', #972 );
#791 = LINE( '', #973, #974 );
#792 = LINE( '', #975, #976 );
#793 = VERTEX_POINT( '', #977 );
#794 = LINE( '', #978, #979 );
#795 = VERTEX_POINT( '', #980 );
#796 = LINE( '', #981, #982 );
#797 = VERTEX_POINT( '', #983 );
#798 = LINE( '', #984, #985 );
#799 = LINE( '', #986, #987 );
#800 = VERTEX_POINT( '', #988 );
#801 = LINE( '', #989, #990 );
#802 = VERTEX_POINT( '', #991 );
#803 = LINE( '', #992, #993 );
#804 = VERTEX_POINT( '', #994 );
#805 = LINE( '', #995, #996 );
#806 = VERTEX_POINT( '', #997 );
#807 = LINE( '', #998, #999 );
#808 = LINE( '', #1000, #1001 );
#809 = VERTEX_POINT( '', #1002 );
#810 = LINE( '', #1003, #1004 );
#811 = VERTEX_POINT( '', #1005 );
#812 = LINE( '', #1006, #1007 );
#813 = VERTEX_POINT( '', #1008 );
#814 = LINE( '', #1009, #1010 );
#815 = VERTEX_POINT( '', #1011 );
#816 = LINE( '', #1012, #1013 );
#817 = VERTEX_POINT( '', #1014 );
#818 = LINE( '', #1015, #1016 );
#819 = VERTEX_POINT( '', #1017 );
#820 = LINE( '', #1018, #1019 );
#821 = LINE( '', #1020, #1021 );
#822 = VERTEX_POINT( '', #1022 );
#823 = LINE( '', #1023, #1024 );
#824 = VERTEX_POINT( '', #1025 );
#825 = LINE( '', #1026, #1027 );
#826 = LINE( '', #1028, #1029 );
#827 = LINE( '', #1030, #1031 );
#828 = LINE( '', #1032, #1033 );
#829 = LINE( '', #1034, #1035 );
#830 = LINE( '', #1036, #1037 );
#831 = LINE( '', #1038, #1039 );
#832 = LINE( '', #1040, #1041 );
#833 = LINE( '', #1042, #1043 );
#834 = LINE( '', #1044, #1045 );
#835 = LINE( '', #1046, #1047 );
#836 = LINE( '', #1048, #1049 );
#837 = LINE( '', #1050, #1051 );
#838 = VERTEX_POINT( '', #1052 );
#839 = LINE( '', #1053, #1054 );
#840 = VERTEX_POINT( '', #1055 );
#841 = ELLIPSE( '', #1056, 3.67695526220000, 2.60000000000000 );
#842 = LINE( '', #1057, #1058 );
#843 = CIRCLE( '', #1059, 2.60000000000000 );
#844 = LINE( '', #1060, #1061 );
#845 = LINE( '', #1062, #1063 );
#846 = VERTEX_POINT( '', #1064 );
#847 = LINE( '', #1065, #1066 );
#848 = VERTEX_POINT( '', #1067 );
#849 = CIRCLE( '', #1068, 2.60000000000000 );
#850 = LINE( '', #1069, #1070 );
#851 = ELLIPSE( '', #1071, 3.67695526220000, 2.60000000000000 );
#852 = VERTEX_POINT( '', #1072 );
#853 = CIRCLE( '', #1073, 2.60000000000000 );
#854 = VERTEX_POINT( '', #1074 );
#855 = CIRCLE( '', #1075, 2.45850000000000 );
#856 = VERTEX_POINT( '', #1076 );
#857 = CIRCLE( '', #1077, 2.45850000000000 );
#858 = VERTEX_POINT( '', #1078 );
#859 = CIRCLE( '', #1079, 2.45850000000000 );
#860 = CARTESIAN_POINT( '', ( 46.5000000000000, 0.541500000000000, -22.4585000000000 ) );
#861 = AXIS2_PLACEMENT_3D( '', #1080, #1081, #1082 );
#862 = CARTESIAN_POINT( '', ( 46.5000000000000, 12.0000000000000, -22.4585000000000 ) );
#863 = AXIS2_PLACEMENT_3D( '', #1083, #1084, #1085 );
#864 = CARTESIAN_POINT( '', ( 46.5000000000000, 1.08420217248550E-16, -23.0000000000000 ) );
#865 = AXIS2_PLACEMENT_3D( '', #1086, #1087, #1088 );
#866 = CARTESIAN_POINT( '', ( 46.5000000000000, 12.0000000000000, -22.6000000000000 ) );
#867 = AXIS2_PLACEMENT_3D( '', #1089, #1090, #1091 );
#868 = CARTESIAN_POINT( '', ( 6.50000000000000, 1.08420217248550E-16, -23.0000000000000 ) );
#869 = AXIS2_PLACEMENT_3D( '', #1092, #1093, #1094 );
#870 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -10.5000000000000 ) );
#871 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -25.5000000000000 ) );
#872 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 27.0000000000000 ) );
#873 = VECTOR( '', #1095, 1000.00000000000 );
#874 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, -25.5000000000000 ) );
#875 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, -25.5000000000000 ) );
#876 = VECTOR( '', #1096, 1000.00000000000 );
#877 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, -10.5000000000000 ) );
#878 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 27.0000000000000 ) );
#879 = VECTOR( '', #1097, 1000.00000000000 );
#880 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, -10.5000000000000 ) );
#881 = VECTOR( '', #1098, 1000.00000000000 );
#882 = CARTESIAN_POINT( '', ( 0.000000000000000, 41.0000000000000, -7.00000000000000 ) );
#883 = CARTESIAN_POINT( '', ( 0.000000000000000, 41.0000000000000, 7.00000000000000 ) );
#884 = CARTESIAN_POINT( '', ( 0.000000000000000, 41.0000000000000, -27.0000000000000 ) );
#885 = VECTOR( '', #1099, 1000.00000000000 );
#886 = CARTESIAN_POINT( '', ( 53.0000000000000, 41.0000000000000, 7.00000000000000 ) );
#887 = CARTESIAN_POINT( '', ( 53.0000000000000, 41.0000000000000, 7.00000000000000 ) );
#888 = VECTOR( '', #1100, 1000.00000000000 );
#889 = CARTESIAN_POINT( '', ( 53.0000000000000, 41.0000000000000, -7.00000000000000 ) );
#890 = CARTESIAN_POINT( '', ( 53.0000000000000, 41.0000000000000, -27.0000000000000 ) );
#891 = VECTOR( '', #1101, 1000.00000000000 );
#892 = CARTESIAN_POINT( '', ( 53.0000000000000, 41.0000000000000, -7.00000000000000 ) );
#893 = VECTOR( '', #1102, 1000.00000000000 );
#894 = CARTESIAN_POINT( '', ( 46.5000000000000, 1.08420217248550E-16, 17.0000000000000 ) );
#895 = AXIS2_PLACEMENT_3D( '', #1103, #1104, #1105 );
#896 = CARTESIAN_POINT( '', ( 6.50000000000000, 1.08420217248550E-16, 17.0000000000000 ) );
#897 = AXIS2_PLACEMENT_3D( '', #1106, #1107, #1108 );
#898 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 25.5000000000000 ) );
#899 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 10.5000000000000 ) );
#900 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 27.0000000000000 ) );
#901 = VECTOR( '', #1109, 1000.00000000000 );
#902 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 10.5000000000000 ) );
#903 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 10.5000000000000 ) );
#904 = VECTOR( '', #1110, 1000.00000000000 );
#905 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 25.5000000000000 ) );
#906 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 27.0000000000000 ) );
#907 = VECTOR( '', #1111, 1000.00000000000 );
#908 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 25.5000000000000 ) );
#909 = VECTOR( '', #1112, 1000.00000000000 );
#910 = CARTESIAN_POINT( '', ( 53.0000000000000, 21.0000000000000, -10.0000000000000 ) );
#911 = AXIS2_PLACEMENT_3D( '', #1113, #1114, #1115 );
#912 = CARTESIAN_POINT( '', ( 0.000000000000000, 21.0000000000000, -10.0000000000000 ) );
#913 = AXIS2_PLACEMENT_3D( '', #1116, #1117, #1118 );
#914 = CARTESIAN_POINT( '', ( 53.0000000000000, 9.00000000000000, 27.0000000000000 ) );
#915 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.50000000000000, 27.0000000000000 ) );
#916 = CARTESIAN_POINT( '', ( 53.0000000000000, 41.0000000000000, 27.0000000000000 ) );
#917 = VECTOR( '', #1119, 1000.00000000000 );
#918 = CARTESIAN_POINT( '', ( 0.000000000000000, 9.00000000000000, 27.0000000000000 ) );
#919 = CARTESIAN_POINT( '', ( 53.0000000000000, 9.00000000000000, 27.0000000000000 ) );
#920 = VECTOR( '', #1120, 1000.00000000000 );
#921 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.50000000000000, 27.0000000000000 ) );
#922 = CARTESIAN_POINT( '', ( 0.000000000000000, 41.0000000000000, 27.0000000000000 ) );
#923 = VECTOR( '', #1121, 1000.00000000000 );
#924 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.50000000000000, 27.0000000000000 ) );
#925 = VECTOR( '', #1122, 1000.00000000000 );
#926 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.0000000000000, -22.6000000000000 ) );
#927 = AXIS2_PLACEMENT_3D( '', #1123, #1124, #1125 );
#928 = CARTESIAN_POINT( '', ( 7.21414284285431, 35.0000000000000, -22.5000000000000 ) );
#929 = CARTESIAN_POINT( '', ( 5.78585715714570, 35.0000000000000, -22.5000000000000 ) );
#930 = AXIS2_PLACEMENT_3D( '', #1126, #1127, #1128 );
#931 = AXIS2_PLACEMENT_3D( '', #1129, #1130, #1131 );
#932 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.0000000000000, -22.4585000000000 ) );
#933 = AXIS2_PLACEMENT_3D( '', #1132, #1133, #1134 );
#934 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.541500000000000, 17.5415000000000 ) );
#935 = AXIS2_PLACEMENT_3D( '', #1135, #1136, #1137 );
#936 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.0000000000000, 17.5415000000000 ) );
#937 = AXIS2_PLACEMENT_3D( '', #1138, #1139, #1140 );
#938 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.0000000000000, 17.4000000000000 ) );
#939 = AXIS2_PLACEMENT_3D( '', #1141, #1142, #1143 );
#940 = CARTESIAN_POINT( '', ( 7.21414284285430, 35.0000000000000, 22.5000000000000 ) );
#941 = CARTESIAN_POINT( '', ( 5.78585715714571, 35.0000000000000, 22.5000000000000 ) );
#942 = AXIS2_PLACEMENT_3D( '', #1144, #1145, #1146 );
#943 = AXIS2_PLACEMENT_3D( '', #1147, #1148, #1149 );
#944 = CARTESIAN_POINT( '', ( 53.0000000000000, 12.0000000000000, 24.0000000000000 ) );
#945 = CARTESIAN_POINT( '', ( 53.0000000000000, 12.0000000000000, 24.0000000000000 ) );
#946 = VECTOR( '', #1150, 1000.00000000000 );
#947 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.50000000000000, 27.0000000000000 ) );
#948 = VECTOR( '', #1151, 1000.00000000000 );
#949 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.00000000000000, 9.50000000000000 ) );
#950 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, 10.5000000000000 ) );
#951 = VECTOR( '', #1152, 1000.00000000000 );
#952 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.00000000000000, -9.50000000000000 ) );
#953 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.00000000000000, 9.50000000000000 ) );
#954 = VECTOR( '', #1153, 1000.00000000000 );
#955 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.00000000000000, -9.50000000000000 ) );
#956 = VECTOR( '', #1154, 1000.00000000000 );
#957 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.50000000000000, -27.0000000000000 ) );
#958 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, -25.5000000000000 ) );
#959 = VECTOR( '', #1155, 1000.00000000000 );
#960 = CARTESIAN_POINT( '', ( 53.0000000000000, 9.00000000000000, -27.0000000000000 ) );
#961 = CARTESIAN_POINT( '', ( 53.0000000000000, 0.000000000000000, -27.0000000000000 ) );
#962 = VECTOR( '', #1156, 1000.00000000000 );
#963 = CARTESIAN_POINT( '', ( 53.0000000000000, 12.0000000000000, -24.0000000000000 ) );
#964 = CARTESIAN_POINT( '', ( 53.0000000000000, 9.00000000000000, -27.0000000000000 ) );
#965 = VECTOR( '', #1157, 1000.00000000000 );
#966 = CARTESIAN_POINT( '', ( 53.0000000000000, 33.5000000000000, -24.0000000000000 ) );
#967 = CARTESIAN_POINT( '', ( 53.0000000000000, 12.0000000000000, -24.0000000000000 ) );
#968 = VECTOR( '', #1158, 1000.00000000000 );
#969 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, -22.5000000000000 ) );
#970 = CARTESIAN_POINT( '', ( 53.0000000000000, 33.5000000000000, -24.0000000000000 ) );
#971 = VECTOR( '', #1159, 1000.00000000000 );
#972 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, -13.0000000000000 ) );
#973 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, -22.5000000000000 ) );
#974 = VECTOR( '', #1160, 1000.00000000000 );
#975 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, -13.0000000000000 ) );
#976 = VECTOR( '', #1161, 1000.00000000000 );
#977 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, 13.0000000000000 ) );
#978 = CARTESIAN_POINT( '', ( 53.0000000000000, 41.0000000000000, 7.00000000000000 ) );
#979 = VECTOR( '', #1162, 1000.00000000000 );
#980 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, 22.5000000000000 ) );
#981 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, 13.0000000000000 ) );
#982 = VECTOR( '', #1163, 1000.00000000000 );
#983 = CARTESIAN_POINT( '', ( 53.0000000000000, 33.5000000000000, 24.0000000000000 ) );
#984 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, 22.5000000000000 ) );
#985 = VECTOR( '', #1164, 1000.00000000000 );
#986 = CARTESIAN_POINT( '', ( 53.0000000000000, 33.5000000000000, 24.0000000000000 ) );
#987 = VECTOR( '', #1165, 1000.00000000000 );
#988 = CARTESIAN_POINT( '', ( 0.000000000000000, 12.0000000000000, 24.0000000000000 ) );
#989 = CARTESIAN_POINT( '', ( 0.000000000000000, 12.0000000000000, 24.0000000000000 ) );
#990 = VECTOR( '', #1166, 1000.00000000000 );
#991 = CARTESIAN_POINT( '', ( 0.000000000000000, 33.5000000000000, 24.0000000000000 ) );
#992 = CARTESIAN_POINT( '', ( 0.000000000000000, 33.5000000000000, 24.0000000000000 ) );
#993 = VECTOR( '', #1167, 1000.00000000000 );
#994 = CARTESIAN_POINT( '', ( 0.000000000000000, 35.0000000000000, 22.5000000000000 ) );
#995 = CARTESIAN_POINT( '', ( 0.000000000000000, 35.0000000000000, 22.5000000000000 ) );
#996 = VECTOR( '', #1168, 1000.00000000000 );
#997 = CARTESIAN_POINT( '', ( 0.000000000000000, 35.0000000000000, 13.0000000000000 ) );
#998 = CARTESIAN_POINT( '', ( 0.000000000000000, 35.0000000000000, 13.0000000000000 ) );
#999 = VECTOR( '', #1169, 1000.00000000000 );
#1000 = CARTESIAN_POINT( '', ( 0.000000000000000, 41.0000000000000, 7.00000000000000 ) );
#1001 = VECTOR( '', #1170, 1000.00000000000 );
#1002 = CARTESIAN_POINT( '', ( 0.000000000000000, 35.0000000000000, -13.0000000000000 ) );
#1003 = CARTESIAN_POINT( '', ( 0.000000000000000, 35.0000000000000, -13.0000000000000 ) );
#1004 = VECTOR( '', #1171, 1000.00000000000 );
#1005 = CARTESIAN_POINT( '', ( 0.000000000000000, 35.0000000000000, -22.5000000000000 ) );
#1006 = CARTESIAN_POINT( '', ( 0.000000000000000, 35.0000000000000, -22.5000000000000 ) );
#1007 = VECTOR( '', #1172, 1000.00000000000 );
#1008 = CARTESIAN_POINT( '', ( 0.000000000000000, 33.5000000000000, -24.0000000000000 ) );
#1009 = CARTESIAN_POINT( '', ( 0.000000000000000, 33.5000000000000, -24.0000000000000 ) );
#1010 = VECTOR( '', #1173, 1000.00000000000 );
#1011 = CARTESIAN_POINT( '', ( 0.000000000000000, 12.0000000000000, -24.0000000000000 ) );
#1012 = CARTESIAN_POINT( '', ( 0.000000000000000, 12.0000000000000, -24.0000000000000 ) );
#1013 = VECTOR( '', #1174, 1000.00000000000 );
#1014 = CARTESIAN_POINT( '', ( 0.000000000000000, 9.00000000000000, -27.0000000000000 ) );
#1015 = CARTESIAN_POINT( '', ( 0.000000000000000, 9.00000000000000, -27.0000000000000 ) );
#1016 = VECTOR( '', #1175, 1000.00000000000 );
#1017 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.50000000000000, -27.0000000000000 ) );
#1018 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -27.0000000000000 ) );
#1019 = VECTOR( '', #1176, 1000.00000000000 );
#1020 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -25.5000000000000 ) );
#1021 = VECTOR( '', #1177, 1000.00000000000 );
#1022 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.00000000000000, -9.50000000000000 ) );
#1023 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.00000000000000, -9.50000000000000 ) );
#1024 = VECTOR( '', #1178, 1000.00000000000 );
#1025 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.00000000000000, 9.50000000000000 ) );
#1026 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.00000000000000, 9.50000000000000 ) );
#1027 = VECTOR( '', #1179, 1000.00000000000 );
#1028 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 10.5000000000000 ) );
#1029 = VECTOR( '', #1180, 1000.00000000000 );
#1030 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.50000000000000, 27.0000000000000 ) );
#1031 = VECTOR( '', #1181, 1000.00000000000 );
#1032 = CARTESIAN_POINT( '', ( 53.0000000000000, 9.00000000000000, -27.0000000000000 ) );
#1033 = VECTOR( '', #1182, 1000.00000000000 );
#1034 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.50000000000000, -27.0000000000000 ) );
#1035 = VECTOR( '', #1183, 1000.00000000000 );
#1036 = CARTESIAN_POINT( '', ( 53.0000000000000, 33.5000000000000, -24.0000000000000 ) );
#1037 = VECTOR( '', #1184, 1000.00000000000 );
#1038 = CARTESIAN_POINT( '', ( 53.0000000000000, 12.0000000000000, -24.0000000000000 ) );
#1039 = VECTOR( '', #1185, 1000.00000000000 );
#1040 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, -13.0000000000000 ) );
#1041 = VECTOR( '', #1186, 1000.00000000000 );
#1042 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.00000000000000, -9.50000000000000 ) );
#1043 = VECTOR( '', #1187, 1000.00000000000 );
#1044 = CARTESIAN_POINT( '', ( 53.0000000000000, 1.00000000000000, 9.50000000000000 ) );
#1045 = VECTOR( '', #1188, 1000.00000000000 );
#1046 = CARTESIAN_POINT( '', ( 53.0000000000000, 12.0000000000000, 24.0000000000000 ) );
#1047 = VECTOR( '', #1189, 1000.00000000000 );
#1048 = CARTESIAN_POINT( '', ( 53.0000000000000, 33.5000000000000, 24.0000000000000 ) );
#1049 = VECTOR( '', #1190, 1000.00000000000 );
#1050 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, 22.5000000000000 ) );
#1051 = VECTOR( '', #1191, 1000.00000000000 );
#1052 = CARTESIAN_POINT( '', ( 47.2141428428543, 35.0000000000000, 22.5000000000000 ) );
#1053 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, 22.5000000000000 ) );
#1054 = VECTOR( '', #1192, 1000.00000000000 );
#1055 = CARTESIAN_POINT( '', ( 45.7858571571457, 35.0000000000000, 22.5000000000000 ) );
#1056 = AXIS2_PLACEMENT_3D( '', #1193, #1194, #1195 );
#1057 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, 22.5000000000000 ) );
#1058 = VECTOR( '', #1196, 1000.00000000000 );
#1059 = AXIS2_PLACEMENT_3D( '', #1197, #1198, #1199 );
#1060 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, 13.0000000000000 ) );
#1061 = VECTOR( '', #1200, 1000.00000000000 );
#1062 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, -22.5000000000000 ) );
#1063 = VECTOR( '', #1201, 1000.00000000000 );
#1064 = CARTESIAN_POINT( '', ( 47.2141428428543, 35.0000000000000, -22.5000000000000 ) );
#1065 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, -22.5000000000000 ) );
#1066 = VECTOR( '', #1202, 1000.00000000000 );
#1067 = CARTESIAN_POINT( '', ( 45.7858571571457, 35.0000000000000, -22.5000000000000 ) );
#1068 = AXIS2_PLACEMENT_3D( '', #1203, #1204, #1205 );
#1069 = CARTESIAN_POINT( '', ( 53.0000000000000, 35.0000000000000, -22.5000000000000 ) );
#1070 = VECTOR( '', #1206, 1000.00000000000 );
#1071 = AXIS2_PLACEMENT_3D( '', #1207, #1208, #1209 );
#1072 = CARTESIAN_POINT( '', ( 46.5000000000000, 12.0000000000000, 17.4000000000000 ) );
#1073 = AXIS2_PLACEMENT_3D( '', #1210, #1211, #1212 );
#1074 = CARTESIAN_POINT( '', ( 46.5000000000000, 12.0000000000000, 17.5415000000000 ) );
#1075 = AXIS2_PLACEMENT_3D( '', #1213, #1214, #1215 );
#1076 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.541500000000000, -22.4585000000000 ) );
#1077 = AXIS2_PLACEMENT_3D( '', #1216, #1217, #1218 );
#1078 = CARTESIAN_POINT( '', ( 46.5000000000000, 0.541500000000000, 17.5415000000000 ) );
#1079 = AXIS2_PLACEMENT_3D( '', #1219, #1220, #1221 );
#1080 = CARTESIAN_POINT( '', ( 46.5000000000000, 0.541500000000000, -20.0000000000000 ) );
#1081 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1082 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1083 = CARTESIAN_POINT( '', ( 46.5000000000000, 12.0000000000000, -20.0000000000000 ) );
#1084 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1085 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1086 = CARTESIAN_POINT( '', ( 46.5000000000000, 1.08420217248550E-16, -20.0000000000000 ) );
#1087 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1088 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1089 = CARTESIAN_POINT( '', ( 46.5000000000000, 12.0000000000000, -20.0000000000000 ) );
#1090 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1091 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1092 = CARTESIAN_POINT( '', ( 6.50000000000000, 1.08420217248550E-16, -20.0000000000000 ) );
#1093 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1094 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1095 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1096 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1097 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1098 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1099 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1100 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1101 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1102 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1103 = CARTESIAN_POINT( '', ( 46.5000000000000, 1.08420217248550E-16, 20.0000000000000 ) );
#1104 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1105 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1106 = CARTESIAN_POINT( '', ( 6.50000000000000, 1.08420217248550E-16, 20.0000000000000 ) );
#1107 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1108 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1109 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1110 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1111 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1112 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1113 = CARTESIAN_POINT( '', ( 53.0000000000000, 21.0000000000000, 0.000000000000000 ) );
#1114 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1115 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1116 = CARTESIAN_POINT( '', ( 0.000000000000000, 21.0000000000000, 0.000000000000000 ) );
#1117 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1118 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1119 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1120 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1121 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1122 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1123 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.0000000000000, -20.0000000000000 ) );
#1124 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1125 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1126 = CARTESIAN_POINT( '', ( 6.50000000000000, 35.0000000000000, -20.0000000000000 ) );
#1127 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1128 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1129 = CARTESIAN_POINT( '', ( 6.50000000000000, 37.5000000000000, -20.0000000000000 ) );
#1130 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186548 ) );
#1131 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, -0.707106781186547 ) );
#1132 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.0000000000000, -20.0000000000000 ) );
#1133 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1134 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1135 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.541500000000000, 20.0000000000000 ) );
#1136 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1137 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1138 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.0000000000000, 20.0000000000000 ) );
#1139 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1140 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1141 = CARTESIAN_POINT( '', ( 6.50000000000000, 12.0000000000000, 20.0000000000000 ) );
#1142 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1143 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1144 = CARTESIAN_POINT( '', ( 6.50000000000000, 37.5000000000000, 20.0000000000000 ) );
#1145 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, -0.707106781186548 ) );
#1146 = DIRECTION( '', ( -0.000000000000000, -0.707106781186547, 0.707106781186547 ) );
#1147 = CARTESIAN_POINT( '', ( 6.50000000000000, 35.0000000000000, 20.0000000000000 ) );
#1148 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1149 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1150 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, 0.707106781186547 ) );
#1151 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, -0.707106781186547 ) );
#1152 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, -0.707106781186548 ) );
#1153 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1154 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, -0.707106781186548 ) );
#1155 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, -0.707106781186547 ) );
#1156 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1157 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, 0.707106781186547 ) );
#1158 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1159 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, 0.707106781186548 ) );
#1160 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1161 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, 0.707106781186548 ) );
#1162 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, 0.707106781186548 ) );
#1163 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1164 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186548 ) );
#1165 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1166 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, 0.707106781186547 ) );
#1167 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1168 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186548 ) );
#1169 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1170 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, 0.707106781186548 ) );
#1171 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, 0.707106781186548 ) );
#1172 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1173 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, 0.707106781186548 ) );
#1174 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1175 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, 0.707106781186547 ) );
#1176 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1177 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, -0.707106781186547 ) );
#1178 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, -0.707106781186548 ) );
#1179 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1180 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, -0.707106781186548 ) );
#1181 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, -0.707106781186547 ) );
#1182 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1183 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1184 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1185 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1186 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1187 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1188 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1189 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1190 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1191 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1192 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1193 = CARTESIAN_POINT( '', ( 46.5000000000000, 37.5000000000000, 20.0000000000000 ) );
#1194 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, -0.707106781186548 ) );
#1195 = DIRECTION( '', ( -0.000000000000000, -0.707106781186547, 0.707106781186547 ) );
#1196 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1197 = CARTESIAN_POINT( '', ( 46.5000000000000, 35.0000000000000, 20.0000000000000 ) );
#1198 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1199 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1200 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1201 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1202 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1203 = CARTESIAN_POINT( '', ( 46.5000000000000, 35.0000000000000, -20.0000000000000 ) );
#1204 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1205 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1206 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1207 = CARTESIAN_POINT( '', ( 46.5000000000000, 37.5000000000000, -20.0000000000000 ) );
#1208 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186548 ) );
#1209 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, -0.707106781186547 ) );
#1210 = CARTESIAN_POINT( '', ( 46.5000000000000, 12.0000000000000, 20.0000000000000 ) );
#1211 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1212 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1213 = CARTESIAN_POINT( '', ( 46.5000000000000, 12.0000000000000, 20.0000000000000 ) );
#1214 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1215 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1216 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.541500000000000, -20.0000000000000 ) );
#1217 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1218 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1219 = CARTESIAN_POINT( '', ( 46.5000000000000, 0.541500000000000, 20.0000000000000 ) );
#1220 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1221 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
ENDSEC;
END-ISO-10303-21;