ISO-10303-21;
HEADER;
FILE_DESCRIPTION( ( 'STEP AP203' ), ' ' );
FILE_NAME( 'p:/temp/worker_20/4892_5088/app_50_02016030214115183601391192d056f_000000_00_00_000000/format_0/BB20012.stp', '2016-03-02T13:11:52', ( '' ), ( '' ), ' ', '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( 2016, 2, 2 );
#31 = LOCAL_TIME( 14, 11, 52.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( '_BB20012', '_BB20012', 'PART-_BB20012-DESC', ( #54 ) );
#39 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #37 );
#40 = ADVANCED_BREP_SHAPE_REPRESENTATION( '_BB20012', ( #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( '_BB20012', #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 ) );
#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( '', ( #111 ), #112, .T. );
#76 = ADVANCED_FACE( '', ( #113 ), #114, .T. );
#77 = ADVANCED_FACE( '', ( #115 ), #116, .T. );
#78 = ADVANCED_FACE( '', ( #117 ), #118, .F. );
#79 = ADVANCED_FACE( '', ( #119 ), #120, .F. );
#80 = ADVANCED_FACE( '', ( #121 ), #122, .F. );
#81 = ADVANCED_FACE( '', ( #123 ), #124, .F. );
#82 = ADVANCED_FACE( '', ( #125, #126 ), #127, .F. );
#83 = ADVANCED_FACE( '', ( #128, #129 ), #130, .T. );
#84 = ADVANCED_FACE( '', ( #131, #132 ), #133, .T. );
#85 = ADVANCED_FACE( '', ( #134 ), #135, .F. );
#86 = ADVANCED_FACE( '', ( #136 ), #137, .F. );
#87 = ADVANCED_FACE( '', ( #138 ), #139, .T. );
#88 = ADVANCED_FACE( '', ( #140 ), #141, .T. );
#89 = ADVANCED_FACE( '', ( #142 ), #143, .T. );
#90 = ADVANCED_FACE( '', ( #144 ), #145, .T. );
#91 = ADVANCED_FACE( '', ( #146 ), #147, .T. );
#92 = ADVANCED_FACE( '', ( #148 ), #149, .F. );
#93 = ADVANCED_FACE( '', ( #150 ), #151, .F. );
#94 = ADVANCED_FACE( '', ( #152 ), #153, .F. );
#95 = ADVANCED_FACE( '', ( #154 ), #155, .F. );
#96 = ADVANCED_FACE( '', ( #156 ), #157, .F. );
#97 = ADVANCED_FACE( '', ( #158 ), #159, .F. );
#98 = ADVANCED_FACE( '', ( #160 ), #161, .T. );
#99 = ADVANCED_FACE( '', ( #162 ), #163, .F. );
#100 = ADVANCED_FACE( '', ( #164 ), #165, .F. );
#101 = ADVANCED_FACE( '', ( #166 ), #167, .F. );
#102 = ADVANCED_FACE( '', ( #168 ), #169, .F. );
#103 = ADVANCED_FACE( '', ( #170 ), #171, .T. );
#104 = ADVANCED_FACE( '', ( #172 ), #173, .F. );
#105 = ADVANCED_FACE( '', ( #174 ), #175, .T. );
#106 = ADVANCED_FACE( '', ( #176 ), #177, .T. );
#107 = ADVANCED_FACE( '', ( #178 ), #179, .T. );
#108 = ADVANCED_FACE( '', ( #180 ), #181, .T. );
#109 = ADVANCED_FACE( '', ( #182 ), #183, .T. );
#111 = FACE_OUTER_BOUND( '', #184, .T. );
#112 = PLANE( '', #185 );
#113 = FACE_OUTER_BOUND( '', #186, .T. );
#114 = CONICAL_SURFACE( '', #187, 9.47175780852060, 0.785398163397452 );
#115 = FACE_OUTER_BOUND( '', #188, .T. );
#116 = CONICAL_SURFACE( '', #189, 9.47175780852060, 0.785398163397452 );
#117 = FACE_OUTER_BOUND( '', #190, .T. );
#118 = PLANE( '', #191 );
#119 = FACE_OUTER_BOUND( '', #192, .T. );
#120 = PLANE( '', #193 );
#121 = FACE_OUTER_BOUND( '', #194, .T. );
#122 = PLANE( '', #195 );
#123 = FACE_OUTER_BOUND( '', #196, .T. );
#124 = PLANE( '', #197 );
#125 = FACE_BOUND( '', #198, .T. );
#126 = FACE_OUTER_BOUND( '', #199, .T. );
#127 = PLANE( '', #200 );
#128 = FACE_BOUND( '', #201, .T. );
#129 = FACE_OUTER_BOUND( '', #202, .T. );
#130 = CONICAL_SURFACE( '', #203, 10.3593135981359, 0.785398163397431 );
#131 = FACE_BOUND( '', #204, .T. );
#132 = FACE_OUTER_BOUND( '', #205, .T. );
#133 = CONICAL_SURFACE( '', #206, 10.5990940901946, 0.0312413936106986 );
#134 = FACE_OUTER_BOUND( '', #207, .T. );
#135 = PLANE( '', #208 );
#136 = FACE_OUTER_BOUND( '', #209, .T. );
#137 = PLANE( '', #210 );
#138 = FACE_OUTER_BOUND( '', #211, .T. );
#139 = PLANE( '', #212 );
#140 = FACE_OUTER_BOUND( '', #213, .T. );
#141 = PLANE( '', #214 );
#142 = FACE_OUTER_BOUND( '', #215, .T. );
#143 = PLANE( '', #216 );
#144 = FACE_OUTER_BOUND( '', #217, .T. );
#145 = PLANE( '', #218 );
#146 = FACE_OUTER_BOUND( '', #219, .T. );
#147 = PLANE( '', #220 );
#148 = FACE_OUTER_BOUND( '', #221, .T. );
#149 = PLANE( '', #222 );
#150 = FACE_OUTER_BOUND( '', #223, .T. );
#151 = PLANE( '', #224 );
#152 = FACE_OUTER_BOUND( '', #225, .T. );
#153 = PLANE( '', #226 );
#154 = FACE_OUTER_BOUND( '', #227, .T. );
#155 = PLANE( '', #228 );
#156 = FACE_OUTER_BOUND( '', #229, .T. );
#157 = PLANE( '', #230 );
#158 = FACE_OUTER_BOUND( '', #231, .T. );
#159 = PLANE( '', #232 );
#160 = FACE_OUTER_BOUND( '', #233, .T. );
#161 = PLANE( '', #234 );
#162 = FACE_OUTER_BOUND( '', #235, .T. );
#163 = PLANE( '', #236 );
#164 = FACE_OUTER_BOUND( '', #237, .T. );
#165 = CYLINDRICAL_SURFACE( '', #238, 1.00000000000000 );
#166 = FACE_OUTER_BOUND( '', #239, .T. );
#167 = CYLINDRICAL_SURFACE( '', #240, 1.00000000000000 );
#168 = FACE_OUTER_BOUND( '', #241, .T. );
#169 = PLANE( '', #242 );
#170 = FACE_OUTER_BOUND( '', #243, .T. );
#171 = PLANE( '', #244 );
#172 = FACE_OUTER_BOUND( '', #245, .T. );
#173 = PLANE( '', #246 );
#174 = FACE_OUTER_BOUND( '', #247, .T. );
#175 = PLANE( '', #248 );
#176 = FACE_OUTER_BOUND( '', #249, .T. );
#177 = PLANE( '', #250 );
#178 = FACE_OUTER_BOUND( '', #251, .T. );
#179 = PLANE( '', #252 );
#180 = FACE_OUTER_BOUND( '', #253, .T. );
#181 = PLANE( '', #254 );
#182 = FACE_OUTER_BOUND( '', #255, .T. );
#183 = PLANE( '', #256 );
#184 = EDGE_LOOP( '', ( #257, #258, #259, #260, #261 ) );
#185 = AXIS2_PLACEMENT_3D( '', #262, #263, #264 );
#186 = EDGE_LOOP( '', ( #265, #266, #267, #268 ) );
#187 = AXIS2_PLACEMENT_3D( '', #269, #270, #271 );
#188 = EDGE_LOOP( '', ( #272, #273, #274, #275 ) );
#189 = AXIS2_PLACEMENT_3D( '', #276, #277, #278 );
#190 = EDGE_LOOP( '', ( #279, #280, #281, #282, #283, #284 ) );
#191 = AXIS2_PLACEMENT_3D( '', #285, #286, #287 );
#192 = EDGE_LOOP( '', ( #288, #289, #290, #291 ) );
#193 = AXIS2_PLACEMENT_3D( '', #292, #293, #294 );
#194 = EDGE_LOOP( '', ( #295, #296, #297, #298, #299, #300 ) );
#195 = AXIS2_PLACEMENT_3D( '', #301, #302, #303 );
#196 = EDGE_LOOP( '', ( #304, #305, #306, #307, #308 ) );
#197 = AXIS2_PLACEMENT_3D( '', #309, #310, #311 );
#198 = EDGE_LOOP( '', ( #312, #313, #314, #315, #316, #317, #318, #319, #320, #321, #322, #323 ) );
#199 = EDGE_LOOP( '', ( #324 ) );
#200 = AXIS2_PLACEMENT_3D( '', #325, #326, #327 );
#201 = EDGE_LOOP( '', ( #328 ) );
#202 = EDGE_LOOP( '', ( #329 ) );
#203 = AXIS2_PLACEMENT_3D( '', #330, #331, #332 );
#204 = EDGE_LOOP( '', ( #333 ) );
#205 = EDGE_LOOP( '', ( #334, #335, #336, #337, #338, #339, #340, #341 ) );
#206 = AXIS2_PLACEMENT_3D( '', #342, #343, #344 );
#207 = EDGE_LOOP( '', ( #345, #346, #347, #348, #349, #350 ) );
#208 = AXIS2_PLACEMENT_3D( '', #351, #352, #353 );
#209 = EDGE_LOOP( '', ( #354, #355, #356, #357, #358 ) );
#210 = AXIS2_PLACEMENT_3D( '', #359, #360, #361 );
#211 = EDGE_LOOP( '', ( #362, #363, #364, #365 ) );
#212 = AXIS2_PLACEMENT_3D( '', #366, #367, #368 );
#213 = EDGE_LOOP( '', ( #369, #370, #371, #372 ) );
#214 = AXIS2_PLACEMENT_3D( '', #373, #374, #375 );
#215 = EDGE_LOOP( '', ( #376, #377, #378, #379, #380, #381 ) );
#216 = AXIS2_PLACEMENT_3D( '', #382, #383, #384 );
#217 = EDGE_LOOP( '', ( #385, #386, #387, #388, #389, #390 ) );
#218 = AXIS2_PLACEMENT_3D( '', #391, #392, #393 );
#219 = EDGE_LOOP( '', ( #394, #395, #396, #397, #398, #399, #400, #401 ) );
#220 = AXIS2_PLACEMENT_3D( '', #402, #403, #404 );
#221 = EDGE_LOOP( '', ( #405, #406, #407, #408 ) );
#222 = AXIS2_PLACEMENT_3D( '', #409, #410, #411 );
#223 = EDGE_LOOP( '', ( #412, #413, #414, #415, #416 ) );
#224 = AXIS2_PLACEMENT_3D( '', #417, #418, #419 );
#225 = EDGE_LOOP( '', ( #420, #421, #422, #423 ) );
#226 = AXIS2_PLACEMENT_3D( '', #424, #425, #426 );
#227 = EDGE_LOOP( '', ( #427, #428, #429, #430, #431 ) );
#228 = AXIS2_PLACEMENT_3D( '', #432, #433, #434 );
#229 = EDGE_LOOP( '', ( #435, #436, #437, #438 ) );
#230 = AXIS2_PLACEMENT_3D( '', #439, #440, #441 );
#231 = EDGE_LOOP( '', ( #442, #443, #444, #445, #446 ) );
#232 = AXIS2_PLACEMENT_3D( '', #447, #448, #449 );
#233 = EDGE_LOOP( '', ( #450, #451, #452 ) );
#234 = AXIS2_PLACEMENT_3D( '', #453, #454, #455 );
#235 = EDGE_LOOP( '', ( #456, #457, #458 ) );
#236 = AXIS2_PLACEMENT_3D( '', #459, #460, #461 );
#237 = EDGE_LOOP( '', ( #462, #463, #464, #465 ) );
#238 = AXIS2_PLACEMENT_3D( '', #466, #467, #468 );
#239 = EDGE_LOOP( '', ( #469, #470, #471, #472 ) );
#240 = AXIS2_PLACEMENT_3D( '', #473, #474, #475 );
#241 = EDGE_LOOP( '', ( #476, #477, #478 ) );
#242 = AXIS2_PLACEMENT_3D( '', #479, #480, #481 );
#243 = EDGE_LOOP( '', ( #482, #483, #484 ) );
#244 = AXIS2_PLACEMENT_3D( '', #485, #486, #487 );
#245 = EDGE_LOOP( '', ( #488, #489, #490, #491, #492 ) );
#246 = AXIS2_PLACEMENT_3D( '', #493, #494, #495 );
#247 = EDGE_LOOP( '', ( #496, #497, #498, #499, #500 ) );
#248 = AXIS2_PLACEMENT_3D( '', #501, #502, #503 );
#249 = EDGE_LOOP( '', ( #504, #505, #506, #507, #508 ) );
#250 = AXIS2_PLACEMENT_3D( '', #509, #510, #511 );
#251 = EDGE_LOOP( '', ( #512, #513, #514, #515, #516 ) );
#252 = AXIS2_PLACEMENT_3D( '', #517, #518, #519 );
#253 = EDGE_LOOP( '', ( #520, #521, #522, #523, #524, #525 ) );
#254 = AXIS2_PLACEMENT_3D( '', #526, #527, #528 );
#255 = EDGE_LOOP( '', ( #529, #530, #531, #532, #533, #534 ) );
#256 = AXIS2_PLACEMENT_3D( '', #535, #536, #537 );
#257 = ORIENTED_EDGE( '', *, *, #538, .T. );
#258 = ORIENTED_EDGE( '', *, *, #539, .F. );
#259 = ORIENTED_EDGE( '', *, *, #540, .F. );
#260 = ORIENTED_EDGE( '', *, *, #541, .T. );
#261 = ORIENTED_EDGE( '', *, *, #542, .T. );
#262 = CARTESIAN_POINT( '', ( -8.00000000000000, 11.4775000000000, 0.999999999999999 ) );
#263 = DIRECTION( '', ( 0.000000000000000, -5.66779615326772E-017, -1.00000000000000 ) );
#264 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -5.66779615326772E-017 ) );
#265 = ORIENTED_EDGE( '', *, *, #538, .F. );
#266 = ORIENTED_EDGE( '', *, *, #543, .F. );
#267 = ORIENTED_EDGE( '', *, *, #544, .F. );
#268 = ORIENTED_EDGE( '', *, *, #545, .T. );
#269 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#270 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#271 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#272 = ORIENTED_EDGE( '', *, *, #546, .F. );
#273 = ORIENTED_EDGE( '', *, *, #547, .F. );
#274 = ORIENTED_EDGE( '', *, *, #548, .F. );
#275 = ORIENTED_EDGE( '', *, *, #549, .T. );
#276 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#277 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#278 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#279 = ORIENTED_EDGE( '', *, *, #550, .T. );
#280 = ORIENTED_EDGE( '', *, *, #549, .F. );
#281 = ORIENTED_EDGE( '', *, *, #551, .T. );
#282 = ORIENTED_EDGE( '', *, *, #552, .T. );
#283 = ORIENTED_EDGE( '', *, *, #553, .T. );
#284 = ORIENTED_EDGE( '', *, *, #554, .T. );
#285 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#286 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#287 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#288 = ORIENTED_EDGE( '', *, *, #555, .T. );
#289 = ORIENTED_EDGE( '', *, *, #556, .F. );
#290 = ORIENTED_EDGE( '', *, *, #557, .F. );
#291 = ORIENTED_EDGE( '', *, *, #558, .T. );
#292 = CARTESIAN_POINT( '', ( 190.000000000000, 8.35000000000000, 1.20000000000000 ) );
#293 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#294 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#295 = ORIENTED_EDGE( '', *, *, #539, .T. );
#296 = ORIENTED_EDGE( '', *, *, #545, .F. );
#297 = ORIENTED_EDGE( '', *, *, #559, .T. );
#298 = ORIENTED_EDGE( '', *, *, #560, .T. );
#299 = ORIENTED_EDGE( '', *, *, #561, .T. );
#300 = ORIENTED_EDGE( '', *, *, #562, .T. );
#301 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#302 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#303 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#304 = ORIENTED_EDGE( '', *, *, #563, .T. );
#305 = ORIENTED_EDGE( '', *, *, #564, .F. );
#306 = ORIENTED_EDGE( '', *, *, #558, .F. );
#307 = ORIENTED_EDGE( '', *, *, #565, .F. );
#308 = ORIENTED_EDGE( '', *, *, #566, .T. );
#309 = CARTESIAN_POINT( '', ( 190.000000000000, 9.10000000000000, 0.450000000000000 ) );
#310 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, -0.707106781186548 ) );
#311 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, -0.707106781186547 ) );
#312 = ORIENTED_EDGE( '', *, *, #567, .F. );
#313 = ORIENTED_EDGE( '', *, *, #568, .F. );
#314 = ORIENTED_EDGE( '', *, *, #569, .F. );
#315 = ORIENTED_EDGE( '', *, *, #570, .T. );
#316 = ORIENTED_EDGE( '', *, *, #571, .T. );
#317 = ORIENTED_EDGE( '', *, *, #572, .F. );
#318 = ORIENTED_EDGE( '', *, *, #573, .F. );
#319 = ORIENTED_EDGE( '', *, *, #574, .F. );
#320 = ORIENTED_EDGE( '', *, *, #575, .T. );
#321 = ORIENTED_EDGE( '', *, *, #576, .F. );
#322 = ORIENTED_EDGE( '', *, *, #577, .F. );
#323 = ORIENTED_EDGE( '', *, *, #563, .F. );
#324 = ORIENTED_EDGE( '', *, *, #578, .T. );
#325 = CARTESIAN_POINT( '', ( 0.000000000000000, 9.15924219147940, 0.000000000000000 ) );
#326 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#327 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#328 = ORIENTED_EDGE( '', *, *, #578, .F. );
#329 = ORIENTED_EDGE( '', *, *, #579, .T. );
#330 = CARTESIAN_POINT( '', ( -1.20007140665655, 0.000000000000000, 0.000000000000000 ) );
#331 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#332 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#333 = ORIENTED_EDGE( '', *, *, #579, .F. );
#334 = ORIENTED_EDGE( '', *, *, #580, .F. );
#335 = ORIENTED_EDGE( '', *, *, #543, .T. );
#336 = ORIENTED_EDGE( '', *, *, #542, .F. );
#337 = ORIENTED_EDGE( '', *, *, #581, .T. );
#338 = ORIENTED_EDGE( '', *, *, #582, .F. );
#339 = ORIENTED_EDGE( '', *, *, #547, .T. );
#340 = ORIENTED_EDGE( '', *, *, #583, .F. );
#341 = ORIENTED_EDGE( '', *, *, #584, .T. );
#342 = CARTESIAN_POINT( '', ( -8.87266371832601, 0.000000000000000, 0.000000000000000 ) );
#343 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#344 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#345 = ORIENTED_EDGE( '', *, *, #585, .F. );
#346 = ORIENTED_EDGE( '', *, *, #586, .F. );
#347 = ORIENTED_EDGE( '', *, *, #587, .F. );
#348 = ORIENTED_EDGE( '', *, *, #588, .F. );
#349 = ORIENTED_EDGE( '', *, *, #589, .F. );
#350 = ORIENTED_EDGE( '', *, *, #590, .F. );
#351 = CARTESIAN_POINT( '', ( -4.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#352 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#353 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#354 = ORIENTED_EDGE( '', *, *, #591, .F. );
#355 = ORIENTED_EDGE( '', *, *, #592, .T. );
#356 = ORIENTED_EDGE( '', *, *, #593, .T. );
#357 = ORIENTED_EDGE( '', *, *, #594, .F. );
#358 = ORIENTED_EDGE( '', *, *, #584, .F. );
#359 = CARTESIAN_POINT( '', ( -8.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#360 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#361 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#362 = ORIENTED_EDGE( '', *, *, #553, .F. );
#363 = ORIENTED_EDGE( '', *, *, #595, .F. );
#364 = ORIENTED_EDGE( '', *, *, #588, .T. );
#365 = ORIENTED_EDGE( '', *, *, #596, .T. );
#366 = CARTESIAN_POINT( '', ( -4.00000000000000, -2.88675134594813, -5.00000000000000 ) );
#367 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#368 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#369 = ORIENTED_EDGE( '', *, *, #561, .F. );
#370 = ORIENTED_EDGE( '', *, *, #597, .F. );
#371 = ORIENTED_EDGE( '', *, *, #585, .T. );
#372 = ORIENTED_EDGE( '', *, *, #598, .T. );
#373 = CARTESIAN_POINT( '', ( -4.00000000000000, 2.88675134594813, 5.00000000000000 ) );
#374 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#375 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#376 = ORIENTED_EDGE( '', *, *, #552, .F. );
#377 = ORIENTED_EDGE( '', *, *, #599, .T. );
#378 = ORIENTED_EDGE( '', *, *, #600, .F. );
#379 = ORIENTED_EDGE( '', *, *, #601, .F. );
#380 = ORIENTED_EDGE( '', *, *, #589, .T. );
#381 = ORIENTED_EDGE( '', *, *, #595, .T. );
#382 = CARTESIAN_POINT( '', ( -4.00000000000000, -5.77350269189626, 0.000000000000000 ) );
#383 = DIRECTION( '', ( -0.000000000000000, 0.866025403784439, 0.500000000000000 ) );
#384 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, 0.866025403784439 ) );
#385 = ORIENTED_EDGE( '', *, *, #602, .F. );
#386 = ORIENTED_EDGE( '', *, *, #540, .T. );
#387 = ORIENTED_EDGE( '', *, *, #562, .F. );
#388 = ORIENTED_EDGE( '', *, *, #598, .F. );
#389 = ORIENTED_EDGE( '', *, *, #590, .T. );
#390 = ORIENTED_EDGE( '', *, *, #601, .T. );
#391 = CARTESIAN_POINT( '', ( -4.00000000000000, -2.88675134594813, 5.00000000000000 ) );
#392 = DIRECTION( '', ( 0.000000000000000, 0.866025403784439, -0.500000000000000 ) );
#393 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, 0.866025403784439 ) );
#394 = ORIENTED_EDGE( '', *, *, #565, .T. );
#395 = ORIENTED_EDGE( '', *, *, #557, .T. );
#396 = ORIENTED_EDGE( '', *, *, #603, .T. );
#397 = ORIENTED_EDGE( '', *, *, #604, .T. );
#398 = ORIENTED_EDGE( '', *, *, #605, .T. );
#399 = ORIENTED_EDGE( '', *, *, #606, .T. );
#400 = ORIENTED_EDGE( '', *, *, #607, .T. );
#401 = ORIENTED_EDGE( '', *, *, #608, .T. );
#402 = CARTESIAN_POINT( '', ( 190.000000000000, 0.000000000000000, 0.000000000000000 ) );
#403 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#404 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#405 = ORIENTED_EDGE( '', *, *, #609, .T. );
#406 = ORIENTED_EDGE( '', *, *, #567, .T. );
#407 = ORIENTED_EDGE( '', *, *, #566, .F. );
#408 = ORIENTED_EDGE( '', *, *, #608, .F. );
#409 = CARTESIAN_POINT( '', ( 190.000000000000, 9.10000000000000, -0.450000000000000 ) );
#410 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#411 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#412 = ORIENTED_EDGE( '', *, *, #568, .T. );
#413 = ORIENTED_EDGE( '', *, *, #609, .F. );
#414 = ORIENTED_EDGE( '', *, *, #607, .F. );
#415 = ORIENTED_EDGE( '', *, *, #610, .T. );
#416 = ORIENTED_EDGE( '', *, *, #611, .F. );
#417 = CARTESIAN_POINT( '', ( 190.000000000000, 8.35000000000000, -1.20000000000000 ) );
#418 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, 0.707106781186548 ) );
#419 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, -0.707106781186547 ) );
#420 = ORIENTED_EDGE( '', *, *, #612, .T. );
#421 = ORIENTED_EDGE( '', *, *, #613, .F. );
#422 = ORIENTED_EDGE( '', *, *, #610, .F. );
#423 = ORIENTED_EDGE( '', *, *, #606, .F. );
#424 = CARTESIAN_POINT( '', ( 190.000000000000, -8.35000000000000, -1.20000000000000 ) );
#425 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#426 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#427 = ORIENTED_EDGE( '', *, *, #572, .T. );
#428 = ORIENTED_EDGE( '', *, *, #614, .T. );
#429 = ORIENTED_EDGE( '', *, *, #612, .F. );
#430 = ORIENTED_EDGE( '', *, *, #605, .F. );
#431 = ORIENTED_EDGE( '', *, *, #615, .T. );
#432 = CARTESIAN_POINT( '', ( 190.000000000000, -9.10000000000000, -0.450000000000000 ) );
#433 = DIRECTION( '', ( -0.000000000000000, 0.707106781186547, 0.707106781186548 ) );
#434 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186547 ) );
#435 = ORIENTED_EDGE( '', *, *, #573, .T. );
#436 = ORIENTED_EDGE( '', *, *, #615, .F. );
#437 = ORIENTED_EDGE( '', *, *, #604, .F. );
#438 = ORIENTED_EDGE( '', *, *, #616, .T. );
#439 = CARTESIAN_POINT( '', ( 190.000000000000, -9.10000000000000, 0.450000000000000 ) );
#440 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#441 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#442 = ORIENTED_EDGE( '', *, *, #574, .T. );
#443 = ORIENTED_EDGE( '', *, *, #616, .F. );
#444 = ORIENTED_EDGE( '', *, *, #603, .F. );
#445 = ORIENTED_EDGE( '', *, *, #556, .T. );
#446 = ORIENTED_EDGE( '', *, *, #617, .T. );
#447 = CARTESIAN_POINT( '', ( 190.000000000000, -8.35000000000000, 1.20000000000000 ) );
#448 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, -0.707106781186548 ) );
#449 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, 0.707106781186547 ) );
#450 = ORIENTED_EDGE( '', *, *, #577, .T. );
#451 = ORIENTED_EDGE( '', *, *, #618, .F. );
#452 = ORIENTED_EDGE( '', *, *, #564, .T. );
#453 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, 2.20000000000000 ) );
#454 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#455 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#456 = ORIENTED_EDGE( '', *, *, #575, .F. );
#457 = ORIENTED_EDGE( '', *, *, #617, .F. );
#458 = ORIENTED_EDGE( '', *, *, #619, .T. );
#459 = CARTESIAN_POINT( '', ( 1.00000000000000, -8.35000000000000, 2.20000000000000 ) );
#460 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#461 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#462 = ORIENTED_EDGE( '', *, *, #619, .F. );
#463 = ORIENTED_EDGE( '', *, *, #555, .F. );
#464 = ORIENTED_EDGE( '', *, *, #618, .T. );
#465 = ORIENTED_EDGE( '', *, *, #576, .T. );
#466 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, 2.20000000000000 ) );
#467 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#468 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#469 = ORIENTED_EDGE( '', *, *, #620, .F. );
#470 = ORIENTED_EDGE( '', *, *, #570, .F. );
#471 = ORIENTED_EDGE( '', *, *, #621, .T. );
#472 = ORIENTED_EDGE( '', *, *, #613, .T. );
#473 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, -2.20000000000000 ) );
#474 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#475 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#476 = ORIENTED_EDGE( '', *, *, #571, .F. );
#477 = ORIENTED_EDGE( '', *, *, #620, .T. );
#478 = ORIENTED_EDGE( '', *, *, #614, .F. );
#479 = CARTESIAN_POINT( '', ( 1.00000000000000, -8.35000000000000, -2.20000000000000 ) );
#480 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#481 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#482 = ORIENTED_EDGE( '', *, *, #569, .T. );
#483 = ORIENTED_EDGE( '', *, *, #611, .T. );
#484 = ORIENTED_EDGE( '', *, *, #621, .F. );
#485 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, -2.20000000000000 ) );
#486 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#487 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#488 = ORIENTED_EDGE( '', *, *, #541, .F. );
#489 = ORIENTED_EDGE( '', *, *, #602, .T. );
#490 = ORIENTED_EDGE( '', *, *, #600, .T. );
#491 = ORIENTED_EDGE( '', *, *, #622, .F. );
#492 = ORIENTED_EDGE( '', *, *, #581, .F. );
#493 = CARTESIAN_POINT( '', ( -8.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#494 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#495 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#496 = ORIENTED_EDGE( '', *, *, #548, .T. );
#497 = ORIENTED_EDGE( '', *, *, #582, .T. );
#498 = ORIENTED_EDGE( '', *, *, #622, .T. );
#499 = ORIENTED_EDGE( '', *, *, #599, .F. );
#500 = ORIENTED_EDGE( '', *, *, #551, .F. );
#501 = CARTESIAN_POINT( '', ( -8.00000000000000, -11.4775000000000, -0.999999999999999 ) );
#502 = DIRECTION( '', ( -0.000000000000000, 5.66779615326772E-017, 1.00000000000000 ) );
#503 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 5.66779615326772E-017 ) );
#504 = ORIENTED_EDGE( '', *, *, #546, .T. );
#505 = ORIENTED_EDGE( '', *, *, #550, .F. );
#506 = ORIENTED_EDGE( '', *, *, #623, .F. );
#507 = ORIENTED_EDGE( '', *, *, #591, .T. );
#508 = ORIENTED_EDGE( '', *, *, #583, .T. );
#509 = CARTESIAN_POINT( '', ( -8.00000000000000, -11.4775000000000, -0.999999999999999 ) );
#510 = DIRECTION( '', ( -0.000000000000000, 5.66779615326772E-017, 1.00000000000000 ) );
#511 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 5.66779615326772E-017 ) );
#512 = ORIENTED_EDGE( '', *, *, #544, .T. );
#513 = ORIENTED_EDGE( '', *, *, #580, .T. );
#514 = ORIENTED_EDGE( '', *, *, #594, .T. );
#515 = ORIENTED_EDGE( '', *, *, #624, .F. );
#516 = ORIENTED_EDGE( '', *, *, #559, .F. );
#517 = CARTESIAN_POINT( '', ( -8.00000000000000, 11.4775000000000, 0.999999999999999 ) );
#518 = DIRECTION( '', ( 0.000000000000000, -5.66779615326772E-017, -1.00000000000000 ) );
#519 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -5.66779615326772E-017 ) );
#520 = ORIENTED_EDGE( '', *, *, #592, .F. );
#521 = ORIENTED_EDGE( '', *, *, #623, .T. );
#522 = ORIENTED_EDGE( '', *, *, #554, .F. );
#523 = ORIENTED_EDGE( '', *, *, #596, .F. );
#524 = ORIENTED_EDGE( '', *, *, #587, .T. );
#525 = ORIENTED_EDGE( '', *, *, #625, .T. );
#526 = CARTESIAN_POINT( '', ( -4.00000000000000, 2.88675134594813, -5.00000000000000 ) );
#527 = DIRECTION( '', ( 0.000000000000000, -0.866025403784439, 0.500000000000000 ) );
#528 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, -0.866025403784439 ) );
#529 = ORIENTED_EDGE( '', *, *, #560, .F. );
#530 = ORIENTED_EDGE( '', *, *, #624, .T. );
#531 = ORIENTED_EDGE( '', *, *, #593, .F. );
#532 = ORIENTED_EDGE( '', *, *, #625, .F. );
#533 = ORIENTED_EDGE( '', *, *, #586, .T. );
#534 = ORIENTED_EDGE( '', *, *, #597, .T. );
#535 = CARTESIAN_POINT( '', ( -4.00000000000000, 5.77350269189626, 0.000000000000000 ) );
#536 = DIRECTION( '', ( 0.000000000000000, -0.866025403784439, -0.500000000000000 ) );
#537 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, -0.866025403784439 ) );
#538 = EDGE_CURVE( '', #626, #627, #628, .T. );
#539 = EDGE_CURVE( '', #629, #627, #630, .T. );
#540 = EDGE_CURVE( '', #631, #629, #632, .T. );
#541 = EDGE_CURVE( '', #631, #633, #634, .T. );
#542 = EDGE_CURVE( '', #633, #626, #635, .T. );
#543 = EDGE_CURVE( '', #636, #626, #637, .T. );
#544 = EDGE_CURVE( '', #638, #636, #639, .T. );
#545 = EDGE_CURVE( '', #638, #627, #640, .T. );
#546 = EDGE_CURVE( '', #641, #642, #643, .T. );
#547 = EDGE_CURVE( '', #644, #641, #645, .T. );
#548 = EDGE_CURVE( '', #646, #644, #647, .T. );
#549 = EDGE_CURVE( '', #646, #642, #648, .T. );
#550 = EDGE_CURVE( '', #649, #642, #650, .T. );
#551 = EDGE_CURVE( '', #646, #651, #652, .T. );
#552 = EDGE_CURVE( '', #651, #653, #654, .T. );
#553 = EDGE_CURVE( '', #653, #655, #656, .T. );
#554 = EDGE_CURVE( '', #655, #649, #657, .T. );
#555 = EDGE_CURVE( '', #658, #659, #660, .T. );
#556 = EDGE_CURVE( '', #661, #659, #662, .T. );
#557 = EDGE_CURVE( '', #663, #661, #664, .T. );
#558 = EDGE_CURVE( '', #663, #658, #665, .T. );
#559 = EDGE_CURVE( '', #638, #666, #667, .T. );
#560 = EDGE_CURVE( '', #666, #668, #669, .T. );
#561 = EDGE_CURVE( '', #668, #670, #671, .T. );
#562 = EDGE_CURVE( '', #670, #629, #672, .T. );
#563 = EDGE_CURVE( '', #673, #674, #675, .T. );
#564 = EDGE_CURVE( '', #658, #674, #676, .T. );
#565 = EDGE_CURVE( '', #677, #663, #678, .T. );
#566 = EDGE_CURVE( '', #677, #673, #679, .T. );
#567 = EDGE_CURVE( '', #680, #673, #681, .T. );
#568 = EDGE_CURVE( '', #682, #680, #683, .T. );
#569 = EDGE_CURVE( '', #684, #682, #685, .T. );
#570 = EDGE_CURVE( '', #684, #686, #687, .T. );
#571 = EDGE_CURVE( '', #686, #688, #689, .T. );
#572 = EDGE_CURVE( '', #690, #688, #691, .T. );
#573 = EDGE_CURVE( '', #692, #690, #693, .T. );
#574 = EDGE_CURVE( '', #694, #692, #695, .T. );
#575 = EDGE_CURVE( '', #694, #696, #697, .T. );
#576 = EDGE_CURVE( '', #698, #696, #699, .T. );
#577 = EDGE_CURVE( '', #674, #698, #700, .T. );
#578 = EDGE_CURVE( '', #701, #701, #702, .T. );
#579 = EDGE_CURVE( '', #703, #703, #704, .T. );
#580 = EDGE_CURVE( '', #636, #705, #706, .T. );
#581 = EDGE_CURVE( '', #633, #707, #708, .T. );
#582 = EDGE_CURVE( '', #644, #707, #709, .T. );
#583 = EDGE_CURVE( '', #710, #641, #711, .T. );
#584 = EDGE_CURVE( '', #710, #705, #712, .T. );
#585 = EDGE_CURVE( '', #713, #714, #715, .T. );
#586 = EDGE_CURVE( '', #716, #713, #717, .T. );
#587 = EDGE_CURVE( '', #718, #716, #719, .T. );
#588 = EDGE_CURVE( '', #720, #718, #721, .T. );
#589 = EDGE_CURVE( '', #722, #720, #723, .T. );
#590 = EDGE_CURVE( '', #714, #722, #724, .T. );
#591 = EDGE_CURVE( '', #725, #710, #726, .T. );
#592 = EDGE_CURVE( '', #725, #727, #728, .T. );
#593 = EDGE_CURVE( '', #727, #729, #730, .T. );
#594 = EDGE_CURVE( '', #705, #729, #731, .T. );
#595 = EDGE_CURVE( '', #720, #653, #732, .T. );
#596 = EDGE_CURVE( '', #718, #655, #733, .T. );
#597 = EDGE_CURVE( '', #713, #668, #734, .T. );
#598 = EDGE_CURVE( '', #714, #670, #735, .T. );
#599 = EDGE_CURVE( '', #651, #736, #737, .T. );
#600 = EDGE_CURVE( '', #738, #736, #739, .T. );
#601 = EDGE_CURVE( '', #722, #738, #740, .T. );
#602 = EDGE_CURVE( '', #631, #738, #741, .T. );
#603 = EDGE_CURVE( '', #661, #742, #743, .T. );
#604 = EDGE_CURVE( '', #742, #744, #745, .T. );
#605 = EDGE_CURVE( '', #744, #746, #747, .T. );
#606 = EDGE_CURVE( '', #746, #748, #749, .T. );
#607 = EDGE_CURVE( '', #748, #750, #751, .T. );
#608 = EDGE_CURVE( '', #750, #677, #752, .T. );
#609 = EDGE_CURVE( '', #750, #680, #753, .T. );
#610 = EDGE_CURVE( '', #748, #754, #755, .T. );
#611 = EDGE_CURVE( '', #682, #754, #756, .T. );
#612 = EDGE_CURVE( '', #746, #757, #758, .T. );
#613 = EDGE_CURVE( '', #754, #757, #759, .T. );
#614 = EDGE_CURVE( '', #688, #757, #760, .T. );
#615 = EDGE_CURVE( '', #744, #690, #761, .T. );
#616 = EDGE_CURVE( '', #742, #692, #762, .T. );
#617 = EDGE_CURVE( '', #659, #694, #763, .T. );
#618 = EDGE_CURVE( '', #658, #698, #764, .T. );
#619 = EDGE_CURVE( '', #659, #696, #765, .T. );
#620 = EDGE_CURVE( '', #686, #757, #766, .T. );
#621 = EDGE_CURVE( '', #684, #754, #767, .T. );
#622 = EDGE_CURVE( '', #707, #736, #768, .T. );
#623 = EDGE_CURVE( '', #725, #649, #769, .T. );
#624 = EDGE_CURVE( '', #666, #729, #770, .T. );
#625 = EDGE_CURVE( '', #716, #727, #771, .T. );
#626 = VERTEX_POINT( '', #772 );
#627 = VERTEX_POINT( '', #773 );
#628 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #774, #775, #776, #777 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 0.0180312179686484, 0.0196295174143416 ), .UNSPECIFIED. );
#629 = VERTEX_POINT( '', #778 );
#630 = LINE( '', #779, #780 );
#631 = VERTEX_POINT( '', #781 );
#632 = LINE( '', #782, #783 );
#633 = VERTEX_POINT( '', #784 );
#634 = LINE( '', #785, #786 );
#635 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #787, #788, #789, #790, #791, #792, #793 ), .UNSPECIFIED., .F., .F., ( 4, 3, 4 ), ( 0.0201696514589742, 0.0205247090431958, 0.0210427450566878 ), .UNSPECIFIED. );
#636 = VERTEX_POINT( '', #794 );
#637 = CIRCLE( '', #795, 10.5990940901946 );
#638 = VERTEX_POINT( '', #796 );
#639 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #797, #798, #799, #800 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 0.0452310387958404, 0.0468404396071716 ), .UNSPECIFIED. );
#640 = CIRCLE( '', #801, 9.47175780852060 );
#641 = VERTEX_POINT( '', #802 );
#642 = VERTEX_POINT( '', #803 );
#643 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #804, #805, #806, #807 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 0.0180312179686484, 0.0196295174143416 ), .UNSPECIFIED. );
#644 = VERTEX_POINT( '', #808 );
#645 = CIRCLE( '', #809, 10.5990940901946 );
#646 = VERTEX_POINT( '', #810 );
#647 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #811, #812, #813, #814 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 0.0452310387958404, 0.0468404396071716 ), .UNSPECIFIED. );
#648 = CIRCLE( '', #815, 9.47175780852060 );
#649 = VERTEX_POINT( '', #816 );
#650 = LINE( '', #817, #818 );
#651 = VERTEX_POINT( '', #819 );
#652 = LINE( '', #820, #821 );
#653 = VERTEX_POINT( '', #822 );
#654 = LINE( '', #823, #824 );
#655 = VERTEX_POINT( '', #825 );
#656 = LINE( '', #826, #827 );
#657 = LINE( '', #828, #829 );
#658 = VERTEX_POINT( '', #830 );
#659 = VERTEX_POINT( '', #831 );
#660 = LINE( '', #832, #833 );
#661 = VERTEX_POINT( '', #834 );
#662 = LINE( '', #835, #836 );
#663 = VERTEX_POINT( '', #837 );
#664 = LINE( '', #838, #839 );
#665 = LINE( '', #840, #841 );
#666 = VERTEX_POINT( '', #842 );
#667 = LINE( '', #843, #844 );
#668 = VERTEX_POINT( '', #845 );
#669 = LINE( '', #846, #847 );
#670 = VERTEX_POINT( '', #848 );
#671 = LINE( '', #849, #850 );
#672 = LINE( '', #851, #852 );
#673 = VERTEX_POINT( '', #853 );
#674 = VERTEX_POINT( '', #854 );
#675 = LINE( '', #855, #856 );
#676 = LINE( '', #857, #858 );
#677 = VERTEX_POINT( '', #859 );
#678 = LINE( '', #860, #861 );
#679 = LINE( '', #862, #863 );
#680 = VERTEX_POINT( '', #864 );
#681 = LINE( '', #865, #866 );
#682 = VERTEX_POINT( '', #867 );
#683 = LINE( '', #868, #869 );
#684 = VERTEX_POINT( '', #870 );
#685 = LINE( '', #871, #872 );
#686 = VERTEX_POINT( '', #873 );
#687 = LINE( '', #874, #875 );
#688 = VERTEX_POINT( '', #876 );
#689 = LINE( '', #877, #878 );
#690 = VERTEX_POINT( '', #879 );
#691 = LINE( '', #880, #881 );
#692 = VERTEX_POINT( '', #882 );
#693 = LINE( '', #883, #884 );
#694 = VERTEX_POINT( '', #885 );
#695 = LINE( '', #886, #887 );
#696 = VERTEX_POINT( '', #888 );
#697 = LINE( '', #889, #890 );
#698 = VERTEX_POINT( '', #891 );
#699 = LINE( '', #892, #893 );
#700 = LINE( '', #894, #895 );
#701 = VERTEX_POINT( '', #896 );
#702 = CIRCLE( '', #897, 9.15924219147940 );
#703 = VERTEX_POINT( '', #898 );
#704 = CIRCLE( '', #899, 10.3593135981359 );
#705 = VERTEX_POINT( '', #900 );
#706 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #901, #902, #903, #904, #905, #906, #907 ), .UNSPECIFIED., .F., .F., ( 4, 3, 4 ), ( 0.0200066730295141, 0.0205247090430107, 0.0208797666272355 ), .UNSPECIFIED. );
#707 = VERTEX_POINT( '', #908 );
#708 = CIRCLE( '', #909, 10.5718219861544 );
#709 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #910, #911, #912, #913, #914, #915, #916 ), .UNSPECIFIED., .F., .F., ( 4, 3, 4 ), ( 0.0200066730295141, 0.0205247090430107, 0.0208797666272355 ), .UNSPECIFIED. );
#710 = VERTEX_POINT( '', #917 );
#711 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #918, #919, #920, #921, #922, #923, #924 ), .UNSPECIFIED., .F., .F., ( 4, 3, 4 ), ( 0.0201696514589742, 0.0205247090431958, 0.0210427450566878 ), .UNSPECIFIED. );
#712 = CIRCLE( '', #925, 10.5718219861544 );
#713 = VERTEX_POINT( '', #926 );
#714 = VERTEX_POINT( '', #927 );
#715 = LINE( '', #928, #929 );
#716 = VERTEX_POINT( '', #930 );
#717 = LINE( '', #931, #932 );
#718 = VERTEX_POINT( '', #933 );
#719 = LINE( '', #934, #935 );
#720 = VERTEX_POINT( '', #936 );
#721 = LINE( '', #937, #938 );
#722 = VERTEX_POINT( '', #939 );
#723 = LINE( '', #940, #941 );
#724 = LINE( '', #942, #943 );
#725 = VERTEX_POINT( '', #944 );
#726 = LINE( '', #945, #946 );
#727 = VERTEX_POINT( '', #947 );
#728 = LINE( '', #948, #949 );
#729 = VERTEX_POINT( '', #950 );
#730 = LINE( '', #951, #952 );
#731 = LINE( '', #953, #954 );
#732 = LINE( '', #955, #956 );
#733 = LINE( '', #957, #958 );
#734 = LINE( '', #959, #960 );
#735 = LINE( '', #961, #962 );
#736 = VERTEX_POINT( '', #963 );
#737 = LINE( '', #964, #965 );
#738 = VERTEX_POINT( '', #966 );
#739 = LINE( '', #967, #968 );
#740 = LINE( '', #969, #970 );
#741 = LINE( '', #971, #972 );
#742 = VERTEX_POINT( '', #973 );
#743 = LINE( '', #974, #975 );
#744 = VERTEX_POINT( '', #976 );
#745 = LINE( '', #977, #978 );
#746 = VERTEX_POINT( '', #979 );
#747 = LINE( '', #980, #981 );
#748 = VERTEX_POINT( '', #982 );
#749 = LINE( '', #983, #984 );
#750 = VERTEX_POINT( '', #985 );
#751 = LINE( '', #986, #987 );
#752 = LINE( '', #988, #989 );
#753 = LINE( '', #990, #991 );
#754 = VERTEX_POINT( '', #992 );
#755 = LINE( '', #993, #994 );
#756 = LINE( '', #995, #996 );
#757 = VERTEX_POINT( '', #997 );
#758 = LINE( '', #998, #999 );
#759 = LINE( '', #1000, #1001 );
#760 = LINE( '', #1002, #1003 );
#761 = LINE( '', #1004, #1005 );
#762 = LINE( '', #1006, #1007 );
#763 = LINE( '', #1008, #1009 );
#764 = CIRCLE( '', #1010, 1.00000000000000 );
#765 = CIRCLE( '', #1011, 1.00000000000000 );
#766 = CIRCLE( '', #1012, 1.00000000000000 );
#767 = CIRCLE( '', #1013, 1.00000000000000 );
#768 = LINE( '', #1014, #1015 );
#769 = LINE( '', #1016, #1017 );
#770 = LINE( '', #1018, #1019 );
#771 = LINE( '', #1020, #1021 );
#772 = CARTESIAN_POINT( '', ( -8.87266371832601, -10.5518147980714, 1.00000000000000 ) );
#773 = CARTESIAN_POINT( '', ( -10.0000000000000, -9.41882136911360, 1.00000000000000 ) );
#774 = CARTESIAN_POINT( '', ( -8.87266371832601, -10.5518147980714, 1.00000000000000 ) );
#775 = CARTESIAN_POINT( '', ( -9.24854350891869, -10.1742508108961, 1.00000000000000 ) );
#776 = CARTESIAN_POINT( '', ( -9.62433435793281, -9.79659835831429, 1.00000000000000 ) );
#777 = CARTESIAN_POINT( '', ( -10.0000000000000, -9.41882136911360, 1.00000000000000 ) );
#778 = CARTESIAN_POINT( '', ( -10.0000000000000, -5.19615242270663, 1.00000000000000 ) );
#779 = CARTESIAN_POINT( '', ( -10.0000000000000, 11.4775000000000, 0.999999999999999 ) );
#780 = VECTOR( '', #1022, 1000.00000000000 );
#781 = CARTESIAN_POINT( '', ( -8.00000000000000, -5.19615242270663, 1.00000000000000 ) );
#782 = CARTESIAN_POINT( '', ( -4.00000000000000, -5.19615242270663, 1.00000000000000 ) );
#783 = VECTOR( '', #1023, 1000.00000000000 );
#784 = CARTESIAN_POINT( '', ( -8.00000000000000, -10.5244201791328, 1.00000000000000 ) );
#785 = CARTESIAN_POINT( '', ( -8.00000000000000, 11.4775000000000, 0.999999999999999 ) );
#786 = VECTOR( '', #1024, 1000.00000000000 );
#787 = CARTESIAN_POINT( '', ( -7.99999999999999, -10.5244201791328, 1.00000000000000 ) );
#788 = CARTESIAN_POINT( '', ( -8.11829425426061, -10.5281337100037, 1.00000000000000 ) );
#789 = CARTESIAN_POINT( '', ( -8.23658850907276, -10.5318472233059, 1.00000000000000 ) );
#790 = CARTESIAN_POINT( '', ( -8.35488276443467, -10.5355607190951, 1.00000000000000 ) );
#791 = CARTESIAN_POINT( '', ( -8.52747641456327, -10.5409787826437, 1.00000000000000 ) );
#792 = CARTESIAN_POINT( '', ( -8.70007006586219, -10.5463968089118, 1.00000000000000 ) );
#793 = CARTESIAN_POINT( '', ( -8.87266371832601, -10.5518147980714, 1.00000000000000 ) );
#794 = CARTESIAN_POINT( '', ( -8.87266371832601, 10.5518147980714, 0.999999999999999 ) );
#795 = AXIS2_PLACEMENT_3D( '', #1025, #1026, #1027 );
#796 = CARTESIAN_POINT( '', ( -10.0000000000000, 9.41882136911360, 1.00000000000000 ) );
#797 = CARTESIAN_POINT( '', ( -10.0000000000000, 9.41882136911360, 1.00000000000000 ) );
#798 = CARTESIAN_POINT( '', ( -9.62433459013832, 9.79659812480372, 1.00000000000000 ) );
#799 = CARTESIAN_POINT( '', ( -9.24854371642793, 10.1742506024571, 0.999999999999999 ) );
#800 = CARTESIAN_POINT( '', ( -8.87266371832601, 10.5518147980714, 0.999999999999999 ) );
#801 = AXIS2_PLACEMENT_3D( '', #1028, #1029, #1030 );
#802 = CARTESIAN_POINT( '', ( -8.87266371832601, 10.5518147980714, -1.00000000000000 ) );
#803 = CARTESIAN_POINT( '', ( -10.0000000000000, 9.41882136911360, -1.00000000000000 ) );
#804 = CARTESIAN_POINT( '', ( -8.87266371832601, 10.5518147980714, -1.00000000000000 ) );
#805 = CARTESIAN_POINT( '', ( -9.24854350891869, 10.1742508108961, -1.00000000000000 ) );
#806 = CARTESIAN_POINT( '', ( -9.62433435793281, 9.79659835831429, -1.00000000000000 ) );
#807 = CARTESIAN_POINT( '', ( -10.0000000000000, 9.41882136911360, -1.00000000000000 ) );
#808 = CARTESIAN_POINT( '', ( -8.87266371832601, -10.5518147980714, -0.999999999999999 ) );
#809 = AXIS2_PLACEMENT_3D( '', #1031, #1032, #1033 );
#810 = CARTESIAN_POINT( '', ( -10.0000000000000, -9.41882136911360, -1.00000000000000 ) );
#811 = CARTESIAN_POINT( '', ( -10.0000000000000, -9.41882136911360, -1.00000000000000 ) );
#812 = CARTESIAN_POINT( '', ( -9.62433459013832, -9.79659812480372, -1.00000000000000 ) );
#813 = CARTESIAN_POINT( '', ( -9.24854371642793, -10.1742506024571, -0.999999999999999 ) );
#814 = CARTESIAN_POINT( '', ( -8.87266371832601, -10.5518147980714, -0.999999999999999 ) );
#815 = AXIS2_PLACEMENT_3D( '', #1034, #1035, #1036 );
#816 = CARTESIAN_POINT( '', ( -10.0000000000000, 5.19615242270663, -1.00000000000000 ) );
#817 = CARTESIAN_POINT( '', ( -10.0000000000000, -11.4775000000000, -0.999999999999999 ) );
#818 = VECTOR( '', #1037, 1000.00000000000 );
#819 = CARTESIAN_POINT( '', ( -10.0000000000000, -5.19615242270663, -0.999999999999999 ) );
#820 = CARTESIAN_POINT( '', ( -10.0000000000000, -11.4775000000000, -0.999999999999999 ) );
#821 = VECTOR( '', #1038, 1000.00000000000 );
#822 = CARTESIAN_POINT( '', ( -10.0000000000000, -2.88675134594813, -5.00000000000000 ) );
#823 = CARTESIAN_POINT( '', ( -10.0000000000000, -5.77350269189626, 0.000000000000000 ) );
#824 = VECTOR( '', #1039, 1000.00000000000 );
#825 = CARTESIAN_POINT( '', ( -10.0000000000000, 2.88675134594813, -5.00000000000000 ) );
#826 = CARTESIAN_POINT( '', ( -10.0000000000000, -2.88675134594813, -5.00000000000000 ) );
#827 = VECTOR( '', #1040, 1000.00000000000 );
#828 = CARTESIAN_POINT( '', ( -10.0000000000000, 2.88675134594813, -5.00000000000000 ) );
#829 = VECTOR( '', #1041, 1000.00000000000 );
#830 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, 1.20000000000000 ) );
#831 = CARTESIAN_POINT( '', ( 1.00000000000000, -8.35000000000000, 1.20000000000000 ) );
#832 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, 1.20000000000000 ) );
#833 = VECTOR( '', #1042, 1000.00000000000 );
#834 = CARTESIAN_POINT( '', ( 190.000000000000, -8.35000000000000, 1.20000000000000 ) );
#835 = CARTESIAN_POINT( '', ( 190.000000000000, -8.35000000000000, 1.20000000000000 ) );
#836 = VECTOR( '', #1043, 1000.00000000000 );
#837 = CARTESIAN_POINT( '', ( 190.000000000000, 8.35000000000000, 1.20000000000000 ) );
#838 = CARTESIAN_POINT( '', ( 190.000000000000, 8.35000000000000, 1.20000000000000 ) );
#839 = VECTOR( '', #1044, 1000.00000000000 );
#840 = CARTESIAN_POINT( '', ( 190.000000000000, 8.35000000000000, 1.20000000000000 ) );
#841 = VECTOR( '', #1045, 1000.00000000000 );
#842 = CARTESIAN_POINT( '', ( -10.0000000000000, 5.19615242270663, 0.999999999999999 ) );
#843 = CARTESIAN_POINT( '', ( -10.0000000000000, 11.4775000000000, 0.999999999999999 ) );
#844 = VECTOR( '', #1046, 1000.00000000000 );
#845 = CARTESIAN_POINT( '', ( -10.0000000000000, 2.88675134594813, 5.00000000000000 ) );
#846 = CARTESIAN_POINT( '', ( -10.0000000000000, 5.77350269189626, 0.000000000000000 ) );
#847 = VECTOR( '', #1047, 1000.00000000000 );
#848 = CARTESIAN_POINT( '', ( -10.0000000000000, -2.88675134594813, 5.00000000000000 ) );
#849 = CARTESIAN_POINT( '', ( -10.0000000000000, 2.88675134594813, 5.00000000000000 ) );
#850 = VECTOR( '', #1048, 1000.00000000000 );
#851 = CARTESIAN_POINT( '', ( -10.0000000000000, -2.88675134594813, 5.00000000000000 ) );
#852 = VECTOR( '', #1049, 1000.00000000000 );
#853 = CARTESIAN_POINT( '', ( 0.000000000000000, 9.10000000000000, 0.450000000000000 ) );
#854 = CARTESIAN_POINT( '', ( 2.16840434497101E-016, 8.35000000000000, 1.20000000000000 ) );
#855 = CARTESIAN_POINT( '', ( 0.000000000000000, 9.10000000000000, 0.450000000000000 ) );
#856 = VECTOR( '', #1050, 1000.00000000000 );
#857 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, 1.20000000000000 ) );
#858 = VECTOR( '', #1051, 1000.00000000000 );
#859 = CARTESIAN_POINT( '', ( 190.000000000000, 9.10000000000000, 0.450000000000000 ) );
#860 = CARTESIAN_POINT( '', ( 190.000000000000, 9.10000000000000, 0.450000000000000 ) );
#861 = VECTOR( '', #1052, 1000.00000000000 );
#862 = CARTESIAN_POINT( '', ( 190.000000000000, 9.10000000000000, 0.450000000000000 ) );
#863 = VECTOR( '', #1053, 1000.00000000000 );
#864 = CARTESIAN_POINT( '', ( 0.000000000000000, 9.10000000000000, -0.450000000000000 ) );
#865 = CARTESIAN_POINT( '', ( 0.000000000000000, 9.10000000000000, 0.000000000000000 ) );
#866 = VECTOR( '', #1054, 1000.00000000000 );
#867 = CARTESIAN_POINT( '', ( 0.000000000000000, 8.35000000000000, -1.20000000000000 ) );
#868 = CARTESIAN_POINT( '', ( 0.000000000000000, 8.35000000000000, -1.20000000000000 ) );
#869 = VECTOR( '', #1055, 1000.00000000000 );
#870 = CARTESIAN_POINT( '', ( -4.33680868994202E-016, 8.35000000000000, -2.20000000000000 ) );
#871 = CARTESIAN_POINT( '', ( -1.08747255280907E-016, 8.35000000000000, -2.20000000000000 ) );
#872 = VECTOR( '', #1056, 1000.00000000000 );
#873 = CARTESIAN_POINT( '', ( -4.33680868994202E-016, -8.35000000000000, -2.20000000000000 ) );
#874 = CARTESIAN_POINT( '', ( -4.33680868994202E-016, 8.35000000000000, -2.20000000000000 ) );
#875 = VECTOR( '', #1057, 1000.00000000000 );
#876 = CARTESIAN_POINT( '', ( -1.11022302462516E-016, -8.35000000000000, -1.20000000000000 ) );
#877 = CARTESIAN_POINT( '', ( -1.08747255280907E-016, -8.35000000000000, -2.20000000000000 ) );
#878 = VECTOR( '', #1058, 1000.00000000000 );
#879 = CARTESIAN_POINT( '', ( 0.000000000000000, -9.10000000000000, -0.449999999999999 ) );
#880 = CARTESIAN_POINT( '', ( 0.000000000000000, -9.10000000000000, -0.450000000000000 ) );
#881 = VECTOR( '', #1059, 1000.00000000000 );
#882 = CARTESIAN_POINT( '', ( 0.000000000000000, -9.10000000000000, 0.450000000000000 ) );
#883 = CARTESIAN_POINT( '', ( 0.000000000000000, -9.10000000000000, 0.450000000000000 ) );
#884 = VECTOR( '', #1060, 1000.00000000000 );
#885 = CARTESIAN_POINT( '', ( 0.000000000000000, -8.35000000000000, 1.20000000000000 ) );
#886 = CARTESIAN_POINT( '', ( 0.000000000000000, -8.35000000000000, 1.20000000000000 ) );
#887 = VECTOR( '', #1061, 1000.00000000000 );
#888 = CARTESIAN_POINT( '', ( 2.16840434497101E-016, -8.35000000000000, 2.20000000000000 ) );
#889 = CARTESIAN_POINT( '', ( 1.11022302462516E-016, -8.35000000000000, 1.20000000000000 ) );
#890 = VECTOR( '', #1062, 1000.00000000000 );
#891 = CARTESIAN_POINT( '', ( 2.16840434497101E-016, 8.35000000000000, 2.20000000000000 ) );
#892 = CARTESIAN_POINT( '', ( 2.16840434497101E-016, 8.35000000000000, 2.20000000000000 ) );
#893 = VECTOR( '', #1063, 1000.00000000000 );
#894 = CARTESIAN_POINT( '', ( 1.11022302462516E-016, 8.35000000000000, 1.20000000000000 ) );
#895 = VECTOR( '', #1064, 1000.00000000000 );
#896 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -9.15924219147940 ) );
#897 = AXIS2_PLACEMENT_3D( '', #1065, #1066, #1067 );
#898 = CARTESIAN_POINT( '', ( -1.20007140665655, 0.000000000000000, -10.3593135981359 ) );
#899 = AXIS2_PLACEMENT_3D( '', #1068, #1069, #1070 );
#900 = CARTESIAN_POINT( '', ( -8.00000000000000, 10.5244201791328, 0.999999999999999 ) );
#901 = CARTESIAN_POINT( '', ( -8.87266371832600, 10.5518147980714, 0.999999999999999 ) );
#902 = CARTESIAN_POINT( '', ( -8.70007006586219, 10.5463968089118, 0.999999999999999 ) );
#903 = CARTESIAN_POINT( '', ( -8.52747641456327, 10.5409787826437, 0.999999999999999 ) );
#904 = CARTESIAN_POINT( '', ( -8.35488276443467, 10.5355607190951, 0.999999999999999 ) );
#905 = CARTESIAN_POINT( '', ( -8.23658850907276, 10.5318472233059, 0.999999999999999 ) );
#906 = CARTESIAN_POINT( '', ( -8.11829425426062, 10.5281337100037, 0.999999999999999 ) );
#907 = CARTESIAN_POINT( '', ( -8.00000000000000, 10.5244201791328, 0.999999999999999 ) );
#908 = CARTESIAN_POINT( '', ( -8.00000000000000, -10.5244201791328, -0.999999999999999 ) );
#909 = AXIS2_PLACEMENT_3D( '', #1071, #1072, #1073 );
#910 = CARTESIAN_POINT( '', ( -8.87266371832600, -10.5518147980714, -0.999999999999999 ) );
#911 = CARTESIAN_POINT( '', ( -8.70007006586219, -10.5463968089118, -0.999999999999999 ) );
#912 = CARTESIAN_POINT( '', ( -8.52747641456327, -10.5409787826437, -0.999999999999999 ) );
#913 = CARTESIAN_POINT( '', ( -8.35488276443467, -10.5355607190951, -0.999999999999999 ) );
#914 = CARTESIAN_POINT( '', ( -8.23658850907276, -10.5318472233059, -0.999999999999999 ) );
#915 = CARTESIAN_POINT( '', ( -8.11829425426062, -10.5281337100037, -0.999999999999999 ) );
#916 = CARTESIAN_POINT( '', ( -8.00000000000000, -10.5244201791328, -0.999999999999999 ) );
#917 = CARTESIAN_POINT( '', ( -8.00000000000000, 10.5244201791328, -1.00000000000000 ) );
#918 = CARTESIAN_POINT( '', ( -7.99999999999999, 10.5244201791328, -1.00000000000000 ) );
#919 = CARTESIAN_POINT( '', ( -8.11829425426061, 10.5281337100037, -1.00000000000000 ) );
#920 = CARTESIAN_POINT( '', ( -8.23658850907276, 10.5318472233059, -1.00000000000000 ) );
#921 = CARTESIAN_POINT( '', ( -8.35488276443467, 10.5355607190951, -1.00000000000000 ) );
#922 = CARTESIAN_POINT( '', ( -8.52747641456327, 10.5409787826437, -1.00000000000000 ) );
#923 = CARTESIAN_POINT( '', ( -8.70007006586219, 10.5463968089118, -1.00000000000000 ) );
#924 = CARTESIAN_POINT( '', ( -8.87266371832601, 10.5518147980714, -1.00000000000000 ) );
#925 = AXIS2_PLACEMENT_3D( '', #1074, #1075, #1076 );
#926 = CARTESIAN_POINT( '', ( -4.00000000000000, 2.88675134594813, 5.00000000000000 ) );
#927 = CARTESIAN_POINT( '', ( -4.00000000000000, -2.88675134594813, 5.00000000000000 ) );
#928 = CARTESIAN_POINT( '', ( -4.00000000000000, 2.88675134594813, 5.00000000000000 ) );
#929 = VECTOR( '', #1077, 1000.00000000000 );
#930 = CARTESIAN_POINT( '', ( -4.00000000000000, 5.77350269189626, 0.000000000000000 ) );
#931 = CARTESIAN_POINT( '', ( -4.00000000000000, 5.77350269189626, 0.000000000000000 ) );
#932 = VECTOR( '', #1078, 1000.00000000000 );
#933 = CARTESIAN_POINT( '', ( -4.00000000000000, 2.88675134594813, -5.00000000000000 ) );
#934 = CARTESIAN_POINT( '', ( -4.00000000000000, 2.88675134594813, -5.00000000000000 ) );
#935 = VECTOR( '', #1079, 1000.00000000000 );
#936 = CARTESIAN_POINT( '', ( -4.00000000000000, -2.88675134594813, -5.00000000000000 ) );
#937 = CARTESIAN_POINT( '', ( -4.00000000000000, -2.88675134594813, -5.00000000000000 ) );
#938 = VECTOR( '', #1080, 1000.00000000000 );
#939 = CARTESIAN_POINT( '', ( -4.00000000000000, -5.77350269189626, 0.000000000000000 ) );
#940 = CARTESIAN_POINT( '', ( -4.00000000000000, -5.77350269189626, 0.000000000000000 ) );
#941 = VECTOR( '', #1081, 1000.00000000000 );
#942 = CARTESIAN_POINT( '', ( -4.00000000000000, -2.88675134594813, 5.00000000000000 ) );
#943 = VECTOR( '', #1082, 1000.00000000000 );
#944 = CARTESIAN_POINT( '', ( -8.00000000000000, 5.19615242270663, -1.00000000000000 ) );
#945 = CARTESIAN_POINT( '', ( -8.00000000000000, -11.4775000000000, -0.999999999999999 ) );
#946 = VECTOR( '', #1083, 1000.00000000000 );
#947 = CARTESIAN_POINT( '', ( -8.00000000000000, 5.77350269189626, 0.000000000000000 ) );
#948 = CARTESIAN_POINT( '', ( -8.00000000000000, 2.88675134594813, -5.00000000000000 ) );
#949 = VECTOR( '', #1084, 1000.00000000000 );
#950 = CARTESIAN_POINT( '', ( -8.00000000000000, 5.19615242270663, 0.999999999999999 ) );
#951 = CARTESIAN_POINT( '', ( -8.00000000000000, 5.77350269189626, 0.000000000000000 ) );
#952 = VECTOR( '', #1085, 1000.00000000000 );
#953 = CARTESIAN_POINT( '', ( -8.00000000000000, 11.4775000000000, 0.999999999999999 ) );
#954 = VECTOR( '', #1086, 1000.00000000000 );
#955 = CARTESIAN_POINT( '', ( -4.00000000000000, -2.88675134594813, -5.00000000000000 ) );
#956 = VECTOR( '', #1087, 1000.00000000000 );
#957 = CARTESIAN_POINT( '', ( -4.00000000000000, 2.88675134594813, -5.00000000000000 ) );
#958 = VECTOR( '', #1088, 1000.00000000000 );
#959 = CARTESIAN_POINT( '', ( -4.00000000000000, 2.88675134594813, 5.00000000000000 ) );
#960 = VECTOR( '', #1089, 1000.00000000000 );
#961 = CARTESIAN_POINT( '', ( -4.00000000000000, -2.88675134594813, 5.00000000000000 ) );
#962 = VECTOR( '', #1090, 1000.00000000000 );
#963 = CARTESIAN_POINT( '', ( -8.00000000000000, -5.19615242270663, -0.999999999999999 ) );
#964 = CARTESIAN_POINT( '', ( -4.00000000000000, -5.19615242270663, -1.00000000000000 ) );
#965 = VECTOR( '', #1091, 1000.00000000000 );
#966 = CARTESIAN_POINT( '', ( -8.00000000000000, -5.77350269189626, 0.000000000000000 ) );
#967 = CARTESIAN_POINT( '', ( -8.00000000000000, -5.77350269189626, 0.000000000000000 ) );
#968 = VECTOR( '', #1092, 1000.00000000000 );
#969 = CARTESIAN_POINT( '', ( -4.00000000000000, -5.77350269189626, 0.000000000000000 ) );
#970 = VECTOR( '', #1093, 1000.00000000000 );
#971 = CARTESIAN_POINT( '', ( -8.00000000000000, -2.88675134594813, 5.00000000000000 ) );
#972 = VECTOR( '', #1094, 1000.00000000000 );
#973 = CARTESIAN_POINT( '', ( 190.000000000000, -9.10000000000000, 0.450000000000000 ) );
#974 = CARTESIAN_POINT( '', ( 190.000000000000, -8.35000000000000, 1.20000000000000 ) );
#975 = VECTOR( '', #1095, 1000.00000000000 );
#976 = CARTESIAN_POINT( '', ( 190.000000000000, -9.10000000000000, -0.450000000000000 ) );
#977 = CARTESIAN_POINT( '', ( 190.000000000000, -9.10000000000000, 0.450000000000000 ) );
#978 = VECTOR( '', #1096, 1000.00000000000 );
#979 = CARTESIAN_POINT( '', ( 190.000000000000, -8.35000000000000, -1.20000000000000 ) );
#980 = CARTESIAN_POINT( '', ( 190.000000000000, -9.10000000000000, -0.450000000000000 ) );
#981 = VECTOR( '', #1097, 1000.00000000000 );
#982 = CARTESIAN_POINT( '', ( 190.000000000000, 8.35000000000000, -1.20000000000000 ) );
#983 = CARTESIAN_POINT( '', ( 190.000000000000, -8.35000000000000, -1.20000000000000 ) );
#984 = VECTOR( '', #1098, 1000.00000000000 );
#985 = CARTESIAN_POINT( '', ( 190.000000000000, 9.10000000000000, -0.450000000000000 ) );
#986 = CARTESIAN_POINT( '', ( 190.000000000000, 8.35000000000000, -1.20000000000000 ) );
#987 = VECTOR( '', #1099, 1000.00000000000 );
#988 = CARTESIAN_POINT( '', ( 190.000000000000, 9.10000000000000, -0.450000000000000 ) );
#989 = VECTOR( '', #1100, 1000.00000000000 );
#990 = CARTESIAN_POINT( '', ( 190.000000000000, 9.10000000000000, -0.450000000000000 ) );
#991 = VECTOR( '', #1101, 1000.00000000000 );
#992 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, -1.20000000000000 ) );
#993 = CARTESIAN_POINT( '', ( 190.000000000000, 8.35000000000000, -1.20000000000000 ) );
#994 = VECTOR( '', #1102, 1000.00000000000 );
#995 = CARTESIAN_POINT( '', ( -1.11022302462516E-016, 8.35000000000000, -1.20000000000000 ) );
#996 = VECTOR( '', #1103, 1000.00000000000 );
#997 = CARTESIAN_POINT( '', ( 1.00000000000000, -8.35000000000000, -1.20000000000000 ) );
#998 = CARTESIAN_POINT( '', ( 190.000000000000, -8.35000000000000, -1.20000000000000 ) );
#999 = VECTOR( '', #1104, 1000.00000000000 );
#1000 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, -1.20000000000000 ) );
#1001 = VECTOR( '', #1105, 1000.00000000000 );
#1002 = CARTESIAN_POINT( '', ( -1.11022302462516E-016, -8.35000000000000, -1.20000000000000 ) );
#1003 = VECTOR( '', #1106, 1000.00000000000 );
#1004 = CARTESIAN_POINT( '', ( 190.000000000000, -9.10000000000000, -0.450000000000000 ) );
#1005 = VECTOR( '', #1107, 1000.00000000000 );
#1006 = CARTESIAN_POINT( '', ( 190.000000000000, -9.10000000000000, 0.450000000000000 ) );
#1007 = VECTOR( '', #1108, 1000.00000000000 );
#1008 = CARTESIAN_POINT( '', ( 1.00000000000000, -8.35000000000000, 1.20000000000000 ) );
#1009 = VECTOR( '', #1109, 1000.00000000000 );
#1010 = AXIS2_PLACEMENT_3D( '', #1110, #1111, #1112 );
#1011 = AXIS2_PLACEMENT_3D( '', #1113, #1114, #1115 );
#1012 = AXIS2_PLACEMENT_3D( '', #1116, #1117, #1118 );
#1013 = AXIS2_PLACEMENT_3D( '', #1119, #1120, #1121 );
#1014 = CARTESIAN_POINT( '', ( -8.00000000000000, -11.4775000000000, -0.999999999999999 ) );
#1015 = VECTOR( '', #1122, 1000.00000000000 );
#1016 = CARTESIAN_POINT( '', ( -4.00000000000000, 5.19615242270663, -1.00000000000000 ) );
#1017 = VECTOR( '', #1123, 1000.00000000000 );
#1018 = CARTESIAN_POINT( '', ( -4.00000000000000, 5.19615242270663, 1.00000000000000 ) );
#1019 = VECTOR( '', #1124, 1000.00000000000 );
#1020 = CARTESIAN_POINT( '', ( -4.00000000000000, 5.77350269189626, 0.000000000000000 ) );
#1021 = VECTOR( '', #1125, 1000.00000000000 );
#1022 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 5.66779615326772E-017 ) );
#1023 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1024 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 5.66779615326772E-017 ) );
#1025 = CARTESIAN_POINT( '', ( -8.87266371832601, 0.000000000000000, 0.000000000000000 ) );
#1026 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1027 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1028 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#1029 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1030 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1031 = CARTESIAN_POINT( '', ( -8.87266371832601, 0.000000000000000, 0.000000000000000 ) );
#1032 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1033 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1034 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#1035 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1036 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1037 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -5.66779615326772E-017 ) );
#1038 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -5.66779615326772E-017 ) );
#1039 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, -0.866025403784439 ) );
#1040 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1041 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, 0.866025403784439 ) );
#1042 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1043 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1044 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1045 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1046 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 5.66779615326772E-017 ) );
#1047 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, 0.866025403784439 ) );
#1048 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1049 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, -0.866025403784439 ) );
#1050 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186547 ) );
#1051 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1052 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, 0.707106781186547 ) );
#1053 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1054 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1055 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, 0.707106781186547 ) );
#1056 = DIRECTION( '', ( -2.27504718160891E-018, 0.000000000000000, 1.00000000000000 ) );
#1057 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1058 = DIRECTION( '', ( -2.27504718160891E-018, 0.000000000000000, 1.00000000000000 ) );
#1059 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, -0.707106781186547 ) );
#1060 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1061 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, -0.707106781186547 ) );
#1062 = DIRECTION( '', ( -2.27504718160891E-018, 0.000000000000000, 1.00000000000000 ) );
#1063 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1064 = DIRECTION( '', ( -2.27504718160891E-018, 0.000000000000000, 1.00000000000000 ) );
#1065 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#1066 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1067 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1068 = CARTESIAN_POINT( '', ( -1.20007140665655, 0.000000000000000, 0.000000000000000 ) );
#1069 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1070 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1071 = CARTESIAN_POINT( '', ( -8.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1072 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1073 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1074 = CARTESIAN_POINT( '', ( -8.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1075 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1076 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1077 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1078 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, 0.866025403784439 ) );
#1079 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, 0.866025403784439 ) );
#1080 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1081 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, -0.866025403784439 ) );
#1082 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, -0.866025403784439 ) );
#1083 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -5.66779615326772E-017 ) );
#1084 = DIRECTION( '', ( -0.000000000000000, 0.500000000000000, 0.866025403784439 ) );
#1085 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, 0.866025403784439 ) );
#1086 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 5.66779615326772E-017 ) );
#1087 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1088 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1089 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1090 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1091 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1092 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, -0.866025403784439 ) );
#1093 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1094 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, -0.866025403784439 ) );
#1095 = DIRECTION( '', ( 0.000000000000000, -0.707106781186548, -0.707106781186547 ) );
#1096 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1097 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, -0.707106781186547 ) );
#1098 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1099 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, 0.707106781186547 ) );
#1100 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1101 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1102 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1103 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1104 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1105 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1106 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1107 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1108 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1109 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1110 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, 2.20000000000000 ) );
#1111 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1112 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1113 = CARTESIAN_POINT( '', ( 1.00000000000000, -8.35000000000000, 2.20000000000000 ) );
#1114 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1115 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1116 = CARTESIAN_POINT( '', ( 1.00000000000000, -8.35000000000000, -2.20000000000000 ) );
#1117 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1118 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1119 = CARTESIAN_POINT( '', ( 1.00000000000000, 8.35000000000000, -2.20000000000000 ) );
#1120 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1121 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1122 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -5.66779615326772E-017 ) );
#1123 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1124 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1125 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
ENDSEC;
END-ISO-10303-21;