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