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