ISO-10303-21; HEADER; FILE_DESCRIPTION( ( 'STEP AP203' ), '1' ); FILE_NAME( 'p:/temp/worker_62/temp/exporttempdir_5668_499_dep3m/format_0/093254.stp', '2021-11-23T15:53:05', ( '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, 23, 10 ); #31 = LOCAL_TIME( 16, 53, 5.00000000000000, #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( '_093254', '_093254', 'PART-_093254-DESC', ( #54 ) ); #39 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #37 ); #40 = ADVANCED_BREP_SHAPE_REPRESENTATION( '_093254', ( #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( '_093254', #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, #115, #116, #117, #118, #119, #120, #121, #122, #123, #124, #125, #126, #127, #128, #129, #130, #131, #132, #133, #134, #135 ) ); #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( '', ( #137 ), #138, .T. ); #76 = ADVANCED_FACE( '', ( #139 ), #140, .F. ); #77 = ADVANCED_FACE( '', ( #141 ), #142, .F. ); #78 = ADVANCED_FACE( '', ( #143 ), #144, .T. ); #79 = ADVANCED_FACE( '', ( #145 ), #146, .F. ); #80 = ADVANCED_FACE( '', ( #147 ), #148, .F. ); #81 = ADVANCED_FACE( '', ( #149 ), #150, .F. ); #82 = ADVANCED_FACE( '', ( #151 ), #152, .F. ); #83 = ADVANCED_FACE( '', ( #153 ), #154, .F. ); #84 = ADVANCED_FACE( '', ( #155 ), #156, .F. ); #85 = ADVANCED_FACE( '', ( #157 ), #158, .F. ); #86 = ADVANCED_FACE( '', ( #159 ), #160, .F. ); #87 = ADVANCED_FACE( '', ( #161 ), #162, .F. ); #88 = ADVANCED_FACE( '', ( #163 ), #164, .T. ); #89 = ADVANCED_FACE( '', ( #165 ), #166, .F. ); #90 = ADVANCED_FACE( '', ( #167 ), #168, .T. ); #91 = ADVANCED_FACE( '', ( #169 ), #170, .T. ); #92 = ADVANCED_FACE( '', ( #171 ), #172, .T. ); #93 = ADVANCED_FACE( '', ( #173 ), #174, .T. ); #94 = ADVANCED_FACE( '', ( #175 ), #176, .T. ); #95 = ADVANCED_FACE( '', ( #177 ), #178, .T. ); #96 = ADVANCED_FACE( '', ( #179 ), #180, .T. ); #97 = ADVANCED_FACE( '', ( #181 ), #182, .F. ); #98 = ADVANCED_FACE( '', ( #183 ), #184, .T. ); #99 = ADVANCED_FACE( '', ( #185 ), #186, .F. ); #100 = ADVANCED_FACE( '', ( #187 ), #188, .F. ); #101 = ADVANCED_FACE( '', ( #189 ), #190, .F. ); #102 = ADVANCED_FACE( '', ( #191 ), #192, .F. ); #103 = ADVANCED_FACE( '', ( #193 ), #194, .T. ); #104 = ADVANCED_FACE( '', ( #195 ), #196, .F. ); #105 = ADVANCED_FACE( '', ( #197 ), #198, .F. ); #106 = ADVANCED_FACE( '', ( #199 ), #200, .F. ); #107 = ADVANCED_FACE( '', ( #201 ), #202, .T. ); #108 = ADVANCED_FACE( '', ( #203 ), #204, .F. ); #109 = ADVANCED_FACE( '', ( #205 ), #206, .F. ); #110 = ADVANCED_FACE( '', ( #207 ), #208, .T. ); #111 = ADVANCED_FACE( '', ( #209 ), #210, .F. ); #112 = ADVANCED_FACE( '', ( #211 ), #212, .T. ); #113 = ADVANCED_FACE( '', ( #213 ), #214, .T. ); #114 = ADVANCED_FACE( '', ( #215 ), #216, .T. ); #115 = ADVANCED_FACE( '', ( #217 ), #218, .T. ); #116 = ADVANCED_FACE( '', ( #219 ), #220, .T. ); #117 = ADVANCED_FACE( '', ( #221 ), #222, .T. ); #118 = ADVANCED_FACE( '', ( #223 ), #224, .F. ); #119 = ADVANCED_FACE( '', ( #225 ), #226, .T. ); #120 = ADVANCED_FACE( '', ( #227 ), #228, .F. ); #121 = ADVANCED_FACE( '', ( #229 ), #230, .T. ); #122 = ADVANCED_FACE( '', ( #231 ), #232, .T. ); #123 = ADVANCED_FACE( '', ( #233 ), #234, .T. ); #124 = ADVANCED_FACE( '', ( #235 ), #236, .F. ); #125 = ADVANCED_FACE( '', ( #237, #238 ), #239, .F. ); #126 = ADVANCED_FACE( '', ( #240 ), #241, .F. ); #127 = ADVANCED_FACE( '', ( #242 ), #243, .F. ); #128 = ADVANCED_FACE( '', ( #244 ), #245, .F. ); #129 = ADVANCED_FACE( '', ( #246 ), #247, .F. ); #130 = ADVANCED_FACE( '', ( #248 ), #249, .F. ); #131 = ADVANCED_FACE( '', ( #250 ), #251, .F. ); #132 = ADVANCED_FACE( '', ( #252 ), #253, .F. ); #133 = ADVANCED_FACE( '', ( #254 ), #255, .F. ); #134 = ADVANCED_FACE( '', ( #256 ), #257, .T. ); #135 = ADVANCED_FACE( '', ( #258 ), #259, .F. ); #137 = FACE_OUTER_BOUND( '', #260, .T. ); #138 = CYLINDRICAL_SURFACE( '', #261, 2.00000000000000 ); #139 = FACE_OUTER_BOUND( '', #262, .T. ); #140 = PLANE( '', #263 ); #141 = FACE_OUTER_BOUND( '', #264, .T. ); #142 = PLANE( '', #265 ); #143 = FACE_OUTER_BOUND( '', #266, .T. ); #144 = CYLINDRICAL_SURFACE( '', #267, 2.00000000000000 ); #145 = FACE_OUTER_BOUND( '', #268, .T. ); #146 = PLANE( '', #269 ); #147 = FACE_OUTER_BOUND( '', #270, .T. ); #148 = PLANE( '', #271 ); #149 = FACE_OUTER_BOUND( '', #272, .T. ); #150 = PLANE( '', #273 ); #151 = FACE_OUTER_BOUND( '', #274, .T. ); #152 = PLANE( '', #275 ); #153 = FACE_OUTER_BOUND( '', #276, .T. ); #154 = PLANE( '', #277 ); #155 = FACE_OUTER_BOUND( '', #278, .T. ); #156 = PLANE( '', #279 ); #157 = FACE_OUTER_BOUND( '', #280, .T. ); #158 = PLANE( '', #281 ); #159 = FACE_OUTER_BOUND( '', #282, .T. ); #160 = PLANE( '', #283 ); #161 = FACE_OUTER_BOUND( '', #284, .T. ); #162 = PLANE( '', #285 ); #163 = FACE_OUTER_BOUND( '', #286, .T. ); #164 = PLANE( '', #287 ); #165 = FACE_OUTER_BOUND( '', #288, .T. ); #166 = PLANE( '', #289 ); #167 = FACE_OUTER_BOUND( '', #290, .T. ); #168 = PLANE( '', #291 ); #169 = FACE_OUTER_BOUND( '', #292, .T. ); #170 = PLANE( '', #293 ); #171 = FACE_OUTER_BOUND( '', #294, .T. ); #172 = CYLINDRICAL_SURFACE( '', #295, 2.00000000000000 ); #173 = FACE_OUTER_BOUND( '', #296, .T. ); #174 = PLANE( '', #297 ); #175 = FACE_OUTER_BOUND( '', #298, .T. ); #176 = PLANE( '', #299 ); #177 = FACE_OUTER_BOUND( '', #300, .T. ); #178 = CYLINDRICAL_SURFACE( '', #301, 2.00000000000000 ); #179 = FACE_OUTER_BOUND( '', #302, .T. ); #180 = PLANE( '', #303 ); #181 = FACE_OUTER_BOUND( '', #304, .T. ); #182 = PLANE( '', #305 ); #183 = FACE_OUTER_BOUND( '', #306, .T. ); #184 = CYLINDRICAL_SURFACE( '', #307, 2.00000000000000 ); #185 = FACE_OUTER_BOUND( '', #308, .T. ); #186 = PLANE( '', #309 ); #187 = FACE_OUTER_BOUND( '', #310, .T. ); #188 = PLANE( '', #311 ); #189 = FACE_OUTER_BOUND( '', #312, .T. ); #190 = PLANE( '', #313 ); #191 = FACE_OUTER_BOUND( '', #314, .T. ); #192 = PLANE( '', #315 ); #193 = FACE_OUTER_BOUND( '', #316, .T. ); #194 = PLANE( '', #317 ); #195 = FACE_OUTER_BOUND( '', #318, .T. ); #196 = PLANE( '', #319 ); #197 = FACE_OUTER_BOUND( '', #320, .T. ); #198 = PLANE( '', #321 ); #199 = FACE_OUTER_BOUND( '', #322, .T. ); #200 = PLANE( '', #323 ); #201 = FACE_OUTER_BOUND( '', #324, .T. ); #202 = PLANE( '', #325 ); #203 = FACE_OUTER_BOUND( '', #326, .T. ); #204 = PLANE( '', #327 ); #205 = FACE_OUTER_BOUND( '', #328, .T. ); #206 = PLANE( '', #329 ); #207 = FACE_OUTER_BOUND( '', #330, .T. ); #208 = PLANE( '', #331 ); #209 = FACE_OUTER_BOUND( '', #332, .T. ); #210 = PLANE( '', #333 ); #211 = FACE_OUTER_BOUND( '', #334, .T. ); #212 = CYLINDRICAL_SURFACE( '', #335, 2.00000000000000 ); #213 = FACE_OUTER_BOUND( '', #336, .T. ); #214 = CYLINDRICAL_SURFACE( '', #337, 2.00000000000000 ); #215 = FACE_OUTER_BOUND( '', #338, .T. ); #216 = PLANE( '', #339 ); #217 = FACE_OUTER_BOUND( '', #340, .T. ); #218 = PLANE( '', #341 ); #219 = FACE_OUTER_BOUND( '', #342, .T. ); #220 = PLANE( '', #343 ); #221 = FACE_OUTER_BOUND( '', #344, .T. ); #222 = PLANE( '', #345 ); #223 = FACE_OUTER_BOUND( '', #346, .T. ); #224 = PLANE( '', #347 ); #225 = FACE_OUTER_BOUND( '', #348, .T. ); #226 = PLANE( '', #349 ); #227 = FACE_OUTER_BOUND( '', #350, .T. ); #228 = PLANE( '', #351 ); #229 = FACE_OUTER_BOUND( '', #352, .T. ); #230 = CYLINDRICAL_SURFACE( '', #353, 4.00000000000000 ); #231 = FACE_OUTER_BOUND( '', #354, .T. ); #232 = CYLINDRICAL_SURFACE( '', #355, 4.00000000000000 ); #233 = FACE_OUTER_BOUND( '', #356, .T. ); #234 = PLANE( '', #357 ); #235 = FACE_OUTER_BOUND( '', #358, .T. ); #236 = PLANE( '', #359 ); #237 = FACE_OUTER_BOUND( '', #360, .T. ); #238 = FACE_BOUND( '', #361, .T. ); #239 = PLANE( '', #362 ); #240 = FACE_OUTER_BOUND( '', #363, .T. ); #241 = PLANE( '', #364 ); #242 = FACE_OUTER_BOUND( '', #365, .T. ); #243 = PLANE( '', #366 ); #244 = FACE_OUTER_BOUND( '', #367, .T. ); #245 = PLANE( '', #368 ); #246 = FACE_OUTER_BOUND( '', #369, .T. ); #247 = PLANE( '', #370 ); #248 = FACE_OUTER_BOUND( '', #371, .T. ); #249 = PLANE( '', #372 ); #250 = FACE_OUTER_BOUND( '', #373, .T. ); #251 = PLANE( '', #374 ); #252 = FACE_OUTER_BOUND( '', #375, .T. ); #253 = PLANE( '', #376 ); #254 = FACE_OUTER_BOUND( '', #377, .T. ); #255 = PLANE( '', #378 ); #256 = FACE_OUTER_BOUND( '', #379, .T. ); #257 = CYLINDRICAL_SURFACE( '', #380, 2.00000000000000 ); #258 = FACE_OUTER_BOUND( '', #381, .T. ); #259 = PLANE( '', #382 ); #260 = EDGE_LOOP( '', ( #383, #384, #385, #386 ) ); #261 = AXIS2_PLACEMENT_3D( '', #387, #388, #389 ); #262 = EDGE_LOOP( '', ( #390, #391, #392, #393, #394 ) ); #263 = AXIS2_PLACEMENT_3D( '', #395, #396, #397 ); #264 = EDGE_LOOP( '', ( #398, #399, #400, #401, #402 ) ); #265 = AXIS2_PLACEMENT_3D( '', #403, #404, #405 ); #266 = EDGE_LOOP( '', ( #406, #407, #408, #409 ) ); #267 = AXIS2_PLACEMENT_3D( '', #410, #411, #412 ); #268 = EDGE_LOOP( '', ( #413, #414, #415, #416 ) ); #269 = AXIS2_PLACEMENT_3D( '', #417, #418, #419 ); #270 = EDGE_LOOP( '', ( #420, #421, #422, #423 ) ); #271 = AXIS2_PLACEMENT_3D( '', #424, #425, #426 ); #272 = EDGE_LOOP( '', ( #427, #428, #429, #430, #431 ) ); #273 = AXIS2_PLACEMENT_3D( '', #432, #433, #434 ); #274 = EDGE_LOOP( '', ( #435, #436, #437, #438 ) ); #275 = AXIS2_PLACEMENT_3D( '', #439, #440, #441 ); #276 = EDGE_LOOP( '', ( #442, #443, #444, #445 ) ); #277 = AXIS2_PLACEMENT_3D( '', #446, #447, #448 ); #278 = EDGE_LOOP( '', ( #449, #450, #451, #452 ) ); #279 = AXIS2_PLACEMENT_3D( '', #453, #454, #455 ); #280 = EDGE_LOOP( '', ( #456, #457, #458, #459 ) ); #281 = AXIS2_PLACEMENT_3D( '', #460, #461, #462 ); #282 = EDGE_LOOP( '', ( #463, #464, #465, #466 ) ); #283 = AXIS2_PLACEMENT_3D( '', #467, #468, #469 ); #284 = EDGE_LOOP( '', ( #470, #471, #472, #473, #474 ) ); #285 = AXIS2_PLACEMENT_3D( '', #475, #476, #477 ); #286 = EDGE_LOOP( '', ( #478, #479, #480, #481 ) ); #287 = AXIS2_PLACEMENT_3D( '', #482, #483, #484 ); #288 = EDGE_LOOP( '', ( #485, #486, #487, #488 ) ); #289 = AXIS2_PLACEMENT_3D( '', #489, #490, #491 ); #290 = EDGE_LOOP( '', ( #492, #493, #494, #495, #496, #497, #498, #499 ) ); #291 = AXIS2_PLACEMENT_3D( '', #500, #501, #502 ); #292 = EDGE_LOOP( '', ( #503, #504, #505, #506, #507, #508, #509, #510 ) ); #293 = AXIS2_PLACEMENT_3D( '', #511, #512, #513 ); #294 = EDGE_LOOP( '', ( #514, #515, #516, #517 ) ); #295 = AXIS2_PLACEMENT_3D( '', #518, #519, #520 ); #296 = EDGE_LOOP( '', ( #521, #522, #523, #524, #525 ) ); #297 = AXIS2_PLACEMENT_3D( '', #526, #527, #528 ); #298 = EDGE_LOOP( '', ( #529, #530, #531, #532, #533 ) ); #299 = AXIS2_PLACEMENT_3D( '', #534, #535, #536 ); #300 = EDGE_LOOP( '', ( #537, #538, #539, #540 ) ); #301 = AXIS2_PLACEMENT_3D( '', #541, #542, #543 ); #302 = EDGE_LOOP( '', ( #544, #545, #546, #547, #548, #549 ) ); #303 = AXIS2_PLACEMENT_3D( '', #550, #551, #552 ); #304 = EDGE_LOOP( '', ( #553, #554, #555, #556, #557, #558 ) ); #305 = AXIS2_PLACEMENT_3D( '', #559, #560, #561 ); #306 = EDGE_LOOP( '', ( #562, #563, #564, #565 ) ); #307 = AXIS2_PLACEMENT_3D( '', #566, #567, #568 ); #308 = EDGE_LOOP( '', ( #569, #570, #571, #572 ) ); #309 = AXIS2_PLACEMENT_3D( '', #573, #574, #575 ); #310 = EDGE_LOOP( '', ( #576, #577, #578, #579, #580, #581 ) ); #311 = AXIS2_PLACEMENT_3D( '', #582, #583, #584 ); #312 = EDGE_LOOP( '', ( #585, #586, #587, #588, #589, #590, #591, #592 ) ); #313 = AXIS2_PLACEMENT_3D( '', #593, #594, #595 ); #314 = EDGE_LOOP( '', ( #596, #597, #598, #599, #600 ) ); #315 = AXIS2_PLACEMENT_3D( '', #601, #602, #603 ); #316 = EDGE_LOOP( '', ( #604, #605, #606, #607, #608, #609, #610, #611, #612, #613, #614, #615 ) ); #317 = AXIS2_PLACEMENT_3D( '', #616, #617, #618 ); #318 = EDGE_LOOP( '', ( #619, #620, #621, #622, #623, #624, #625, #626, #627, #628, #629, #630 ) ); #319 = AXIS2_PLACEMENT_3D( '', #631, #632, #633 ); #320 = EDGE_LOOP( '', ( #634, #635, #636, #637 ) ); #321 = AXIS2_PLACEMENT_3D( '', #638, #639, #640 ); #322 = EDGE_LOOP( '', ( #641, #642, #643, #644 ) ); #323 = AXIS2_PLACEMENT_3D( '', #645, #646, #647 ); #324 = EDGE_LOOP( '', ( #648, #649, #650, #651, #652, #653, #654, #655, #656, #657, #658, #659 ) ); #325 = AXIS2_PLACEMENT_3D( '', #660, #661, #662 ); #326 = EDGE_LOOP( '', ( #663, #664, #665, #666 ) ); #327 = AXIS2_PLACEMENT_3D( '', #667, #668, #669 ); #328 = EDGE_LOOP( '', ( #670, #671, #672, #673 ) ); #329 = AXIS2_PLACEMENT_3D( '', #674, #675, #676 ); #330 = EDGE_LOOP( '', ( #677, #678, #679, #680, #681, #682 ) ); #331 = AXIS2_PLACEMENT_3D( '', #683, #684, #685 ); #332 = EDGE_LOOP( '', ( #686, #687, #688, #689, #690, #691 ) ); #333 = AXIS2_PLACEMENT_3D( '', #692, #693, #694 ); #334 = EDGE_LOOP( '', ( #695, #696, #697, #698 ) ); #335 = AXIS2_PLACEMENT_3D( '', #699, #700, #701 ); #336 = EDGE_LOOP( '', ( #702, #703, #704, #705 ) ); #337 = AXIS2_PLACEMENT_3D( '', #706, #707, #708 ); #338 = EDGE_LOOP( '', ( #709, #710, #711, #712, #713 ) ); #339 = AXIS2_PLACEMENT_3D( '', #714, #715, #716 ); #340 = EDGE_LOOP( '', ( #717, #718, #719, #720, #721 ) ); #341 = AXIS2_PLACEMENT_3D( '', #722, #723, #724 ); #342 = EDGE_LOOP( '', ( #725, #726, #727, #728, #729, #730, #731, #732 ) ); #343 = AXIS2_PLACEMENT_3D( '', #733, #734, #735 ); #344 = EDGE_LOOP( '', ( #736, #737, #738, #739, #740, #741, #742, #743 ) ); #345 = AXIS2_PLACEMENT_3D( '', #744, #745, #746 ); #346 = EDGE_LOOP( '', ( #747, #748, #749, #750 ) ); #347 = AXIS2_PLACEMENT_3D( '', #751, #752, #753 ); #348 = EDGE_LOOP( '', ( #754, #755, #756, #757 ) ); #349 = AXIS2_PLACEMENT_3D( '', #758, #759, #760 ); #350 = EDGE_LOOP( '', ( #761, #762, #763, #764, #765, #766, #767, #768, #769, #770 ) ); #351 = AXIS2_PLACEMENT_3D( '', #771, #772, #773 ); #352 = EDGE_LOOP( '', ( #774, #775, #776, #777 ) ); #353 = AXIS2_PLACEMENT_3D( '', #778, #779, #780 ); #354 = EDGE_LOOP( '', ( #781, #782, #783, #784 ) ); #355 = AXIS2_PLACEMENT_3D( '', #785, #786, #787 ); #356 = EDGE_LOOP( '', ( #788, #789, #790, #791, #792, #793, #794, #795, #796, #797 ) ); #357 = AXIS2_PLACEMENT_3D( '', #798, #799, #800 ); #358 = EDGE_LOOP( '', ( #801, #802, #803, #804, #805, #806 ) ); #359 = AXIS2_PLACEMENT_3D( '', #807, #808, #809 ); #360 = EDGE_LOOP( '', ( #810, #811, #812, #813, #814, #815, #816, #817, #818, #819, #820, #821, #822, #823, #824, #825, #826, #827, #828, #829 ) ); #361 = EDGE_LOOP( '', ( #830, #831, #832, #833, #834, #835 ) ); #362 = AXIS2_PLACEMENT_3D( '', #836, #837, #838 ); #363 = EDGE_LOOP( '', ( #839, #840, #841, #842, #843, #844, #845, #846 ) ); #364 = AXIS2_PLACEMENT_3D( '', #847, #848, #849 ); #365 = EDGE_LOOP( '', ( #850, #851, #852, #853, #854, #855 ) ); #366 = AXIS2_PLACEMENT_3D( '', #856, #857, #858 ); #367 = EDGE_LOOP( '', ( #859, #860, #861, #862, #863, #864 ) ); #368 = AXIS2_PLACEMENT_3D( '', #865, #866, #867 ); #369 = EDGE_LOOP( '', ( #868, #869, #870, #871, #872 ) ); #370 = AXIS2_PLACEMENT_3D( '', #873, #874, #875 ); #371 = EDGE_LOOP( '', ( #876, #877, #878, #879 ) ); #372 = AXIS2_PLACEMENT_3D( '', #880, #881, #882 ); #373 = EDGE_LOOP( '', ( #883, #884, #885, #886 ) ); #374 = AXIS2_PLACEMENT_3D( '', #887, #888, #889 ); #375 = EDGE_LOOP( '', ( #890, #891, #892, #893, #894, #895, #896, #897 ) ); #376 = AXIS2_PLACEMENT_3D( '', #898, #899, #900 ); #377 = EDGE_LOOP( '', ( #901, #902, #903, #904, #905, #906, #907, #908 ) ); #378 = AXIS2_PLACEMENT_3D( '', #909, #910, #911 ); #379 = EDGE_LOOP( '', ( #912, #913, #914, #915 ) ); #380 = AXIS2_PLACEMENT_3D( '', #916, #917, #918 ); #381 = EDGE_LOOP( '', ( #919, #920, #921, #922 ) ); #382 = AXIS2_PLACEMENT_3D( '', #923, #924, #925 ); #383 = ORIENTED_EDGE( '', *, *, #926, .T. ); #384 = ORIENTED_EDGE( '', *, *, #927, .T. ); #385 = ORIENTED_EDGE( '', *, *, #928, .F. ); #386 = ORIENTED_EDGE( '', *, *, #929, .F. ); #387 = CARTESIAN_POINT( '', ( -9.04145188432738, 8.99999999999999, 11.0000000000000 ) ); #388 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #389 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #390 = ORIENTED_EDGE( '', *, *, #930, .F. ); #391 = ORIENTED_EDGE( '', *, *, #931, .F. ); #392 = ORIENTED_EDGE( '', *, *, #932, .F. ); #393 = ORIENTED_EDGE( '', *, *, #933, .F. ); #394 = ORIENTED_EDGE( '', *, *, #934, .T. ); #395 = CARTESIAN_POINT( '', ( 7.30940107675850, 10.0000000000000, 11.0000000000000 ) ); #396 = DIRECTION( '', ( 0.866025403784439, -0.500000000000000, 0.000000000000000 ) ); #397 = DIRECTION( '', ( 0.500000000000000, 0.866025403784439, 0.000000000000000 ) ); #398 = ORIENTED_EDGE( '', *, *, #935, .F. ); #399 = ORIENTED_EDGE( '', *, *, #926, .F. ); #400 = ORIENTED_EDGE( '', *, *, #936, .F. ); #401 = ORIENTED_EDGE( '', *, *, #937, .T. ); #402 = ORIENTED_EDGE( '', *, *, #938, .T. ); #403 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #404 = DIRECTION( '', ( -0.866025403784439, -0.500000000000000, 0.000000000000000 ) ); #405 = DIRECTION( '', ( 0.500000000000000, -0.866025403784439, 0.000000000000000 ) ); #406 = ORIENTED_EDGE( '', *, *, #939, .F. ); #407 = ORIENTED_EDGE( '', *, *, #940, .T. ); #408 = ORIENTED_EDGE( '', *, *, #941, .T. ); #409 = ORIENTED_EDGE( '', *, *, #942, .T. ); #410 = CARTESIAN_POINT( '', ( -9.04145188432738, 8.99999999999999, 11.0000000000000 ) ); #411 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #412 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #413 = ORIENTED_EDGE( '', *, *, #943, .F. ); #414 = ORIENTED_EDGE( '', *, *, #944, .T. ); #415 = ORIENTED_EDGE( '', *, *, #945, .T. ); #416 = ORIENTED_EDGE( '', *, *, #946, .F. ); #417 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, -4.00000000000000 ) ); #418 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #419 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #420 = ORIENTED_EDGE( '', *, *, #947, .F. ); #421 = ORIENTED_EDGE( '', *, *, #948, .F. ); #422 = ORIENTED_EDGE( '', *, *, #949, .F. ); #423 = ORIENTED_EDGE( '', *, *, #950, .T. ); #424 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, 4.00000000000000 ) ); #425 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #426 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #427 = ORIENTED_EDGE( '', *, *, #951, .T. ); #428 = ORIENTED_EDGE( '', *, *, #944, .F. ); #429 = ORIENTED_EDGE( '', *, *, #952, .F. ); #430 = ORIENTED_EDGE( '', *, *, #953, .F. ); #431 = ORIENTED_EDGE( '', *, *, #954, .T. ); #432 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, -8.00000000000000 ) ); #433 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #434 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #435 = ORIENTED_EDGE( '', *, *, #955, .T. ); #436 = ORIENTED_EDGE( '', *, *, #954, .F. ); #437 = ORIENTED_EDGE( '', *, *, #956, .F. ); #438 = ORIENTED_EDGE( '', *, *, #957, .T. ); #439 = CARTESIAN_POINT( '', ( 4.00000000000000, -5.40000000000000, -8.00000000000000 ) ); #440 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #441 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #442 = ORIENTED_EDGE( '', *, *, #958, .T. ); #443 = ORIENTED_EDGE( '', *, *, #957, .F. ); #444 = ORIENTED_EDGE( '', *, *, #959, .F. ); #445 = ORIENTED_EDGE( '', *, *, #960, .T. ); #446 = CARTESIAN_POINT( '', ( 4.00000000000000, -9.40000000000000, -4.00000000000000 ) ); #447 = DIRECTION( '', ( -0.000000000000000, 0.707106781186548, 0.707106781186548 ) ); #448 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, 0.707106781186547 ) ); #449 = ORIENTED_EDGE( '', *, *, #961, .T. ); #450 = ORIENTED_EDGE( '', *, *, #960, .F. ); #451 = ORIENTED_EDGE( '', *, *, #962, .F. ); #452 = ORIENTED_EDGE( '', *, *, #963, .T. ); #453 = CARTESIAN_POINT( '', ( 4.00000000000000, -9.40000000000000, 4.00000000000000 ) ); #454 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #455 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #456 = ORIENTED_EDGE( '', *, *, #964, .T. ); #457 = ORIENTED_EDGE( '', *, *, #963, .F. ); #458 = ORIENTED_EDGE( '', *, *, #965, .F. ); #459 = ORIENTED_EDGE( '', *, *, #966, .T. ); #460 = CARTESIAN_POINT( '', ( 4.00000000000000, -5.40000000000000, 8.00000000000000 ) ); #461 = DIRECTION( '', ( 0.000000000000000, 0.707106781186548, -0.707106781186548 ) ); #462 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, 0.707106781186547 ) ); #463 = ORIENTED_EDGE( '', *, *, #967, .T. ); #464 = ORIENTED_EDGE( '', *, *, #966, .F. ); #465 = ORIENTED_EDGE( '', *, *, #968, .F. ); #466 = ORIENTED_EDGE( '', *, *, #969, .T. ); #467 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, 8.00000000000000 ) ); #468 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #469 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #470 = ORIENTED_EDGE( '', *, *, #970, .T. ); #471 = ORIENTED_EDGE( '', *, *, #969, .F. ); #472 = ORIENTED_EDGE( '', *, *, #971, .F. ); #473 = ORIENTED_EDGE( '', *, *, #948, .T. ); #474 = ORIENTED_EDGE( '', *, *, #972, .F. ); #475 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, 4.00000000000000 ) ); #476 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #477 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #478 = ORIENTED_EDGE( '', *, *, #973, .T. ); #479 = ORIENTED_EDGE( '', *, *, #974, .T. ); #480 = ORIENTED_EDGE( '', *, *, #975, .T. ); #481 = ORIENTED_EDGE( '', *, *, #976, .F. ); #482 = CARTESIAN_POINT( '', ( 9.80000000000000, 0.000000000000000, 0.000000000000000 ) ); #483 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #484 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #485 = ORIENTED_EDGE( '', *, *, #977, .T. ); #486 = ORIENTED_EDGE( '', *, *, #978, .F. ); #487 = ORIENTED_EDGE( '', *, *, #979, .F. ); #488 = ORIENTED_EDGE( '', *, *, #980, .F. ); #489 = CARTESIAN_POINT( '', ( -9.80000000000000, 0.000000000000000, 0.000000000000000 ) ); #490 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #491 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #492 = ORIENTED_EDGE( '', *, *, #981, .T. ); #493 = ORIENTED_EDGE( '', *, *, #982, .T. ); #494 = ORIENTED_EDGE( '', *, *, #983, .T. ); #495 = ORIENTED_EDGE( '', *, *, #984, .T. ); #496 = ORIENTED_EDGE( '', *, *, #985, .F. ); #497 = ORIENTED_EDGE( '', *, *, #978, .T. ); #498 = ORIENTED_EDGE( '', *, *, #986, .F. ); #499 = ORIENTED_EDGE( '', *, *, #987, .T. ); #500 = CARTESIAN_POINT( '', ( 12.0000000000000, 2.00000000000000, -5.20960000000000 ) ); #501 = DIRECTION( '', ( 0.000000000000000, -0.0523282088950755, 0.998629940745737 ) ); #502 = DIRECTION( '', ( 0.000000000000000, -0.998629940745737, -0.0523282088950755 ) ); #503 = ORIENTED_EDGE( '', *, *, #988, .T. ); #504 = ORIENTED_EDGE( '', *, *, #980, .T. ); #505 = ORIENTED_EDGE( '', *, *, #989, .T. ); #506 = ORIENTED_EDGE( '', *, *, #990, .T. ); #507 = ORIENTED_EDGE( '', *, *, #991, .F. ); #508 = ORIENTED_EDGE( '', *, *, #992, .T. ); #509 = ORIENTED_EDGE( '', *, *, #993, .F. ); #510 = ORIENTED_EDGE( '', *, *, #994, .T. ); #511 = CARTESIAN_POINT( '', ( 12.0000000000000, 4.00000000000000, 5.10480000000000 ) ); #512 = DIRECTION( '', ( 0.000000000000000, -0.0523282088950763, -0.998629940745737 ) ); #513 = DIRECTION( '', ( 0.000000000000000, 0.998629940745736, -0.0523282088950763 ) ); #514 = ORIENTED_EDGE( '', *, *, #995, .F. ); #515 = ORIENTED_EDGE( '', *, *, #940, .F. ); #516 = ORIENTED_EDGE( '', *, *, #996, .T. ); #517 = ORIENTED_EDGE( '', *, *, #997, .F. ); #518 = CARTESIAN_POINT( '', ( 12.0000000000000, 8.99999999999999, -9.04145188432738 ) ); #519 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #520 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #521 = ORIENTED_EDGE( '', *, *, #998, .T. ); #522 = ORIENTED_EDGE( '', *, *, #983, .F. ); #523 = ORIENTED_EDGE( '', *, *, #999, .F. ); #524 = ORIENTED_EDGE( '', *, *, #1000, .T. ); #525 = ORIENTED_EDGE( '', *, *, #995, .T. ); #526 = CARTESIAN_POINT( '', ( 12.0000000000000, 6.00000000000000, -5.00000000000000 ) ); #527 = DIRECTION( '', ( -0.000000000000000, 0.500000000000000, 0.866025403784439 ) ); #528 = DIRECTION( '', ( 0.000000000000000, -0.866025403784439, 0.500000000000000 ) ); #529 = ORIENTED_EDGE( '', *, *, #1001, .T. ); #530 = ORIENTED_EDGE( '', *, *, #1002, .F. ); #531 = ORIENTED_EDGE( '', *, *, #935, .T. ); #532 = ORIENTED_EDGE( '', *, *, #1003, .T. ); #533 = ORIENTED_EDGE( '', *, *, #991, .T. ); #534 = CARTESIAN_POINT( '', ( 12.0000000000000, 10.0000000000000, 7.30940107675850 ) ); #535 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, -0.866025403784439 ) ); #536 = DIRECTION( '', ( 0.000000000000000, 0.866025403784439, 0.500000000000000 ) ); #537 = ORIENTED_EDGE( '', *, *, #1004, .F. ); #538 = ORIENTED_EDGE( '', *, *, #927, .F. ); #539 = ORIENTED_EDGE( '', *, *, #1002, .T. ); #540 = ORIENTED_EDGE( '', *, *, #1005, .F. ); #541 = CARTESIAN_POINT( '', ( 12.0000000000000, 8.99999999999999, 9.04145188432738 ) ); #542 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #543 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #544 = ORIENTED_EDGE( '', *, *, #933, .T. ); #545 = ORIENTED_EDGE( '', *, *, #1006, .T. ); #546 = ORIENTED_EDGE( '', *, *, #1007, .T. ); #547 = ORIENTED_EDGE( '', *, *, #1008, .T. ); #548 = ORIENTED_EDGE( '', *, *, #1009, .T. ); #549 = ORIENTED_EDGE( '', *, *, #1010, .T. ); #550 = CARTESIAN_POINT( '', ( 9.04145188432738, 8.99999999999999, 11.0000000000000 ) ); #551 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #552 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #553 = ORIENTED_EDGE( '', *, *, #1011, .F. ); #554 = ORIENTED_EDGE( '', *, *, #1012, .F. ); #555 = ORIENTED_EDGE( '', *, *, #1013, .F. ); #556 = ORIENTED_EDGE( '', *, *, #1014, .F. ); #557 = ORIENTED_EDGE( '', *, *, #1015, .F. ); #558 = ORIENTED_EDGE( '', *, *, #1016, .F. ); #559 = CARTESIAN_POINT( '', ( 9.04145188432738, 8.99999999999999, -11.0000000000000 ) ); #560 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #561 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #562 = ORIENTED_EDGE( '', *, *, #1017, .F. ); #563 = ORIENTED_EDGE( '', *, *, #1018, .T. ); #564 = ORIENTED_EDGE( '', *, *, #1019, .T. ); #565 = ORIENTED_EDGE( '', *, *, #1012, .T. ); #566 = CARTESIAN_POINT( '', ( 9.04145188432738, 8.99999999999999, 11.0000000000000 ) ); #567 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #568 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #569 = ORIENTED_EDGE( '', *, *, #1019, .F. ); #570 = ORIENTED_EDGE( '', *, *, #1020, .F. ); #571 = ORIENTED_EDGE( '', *, *, #1021, .T. ); #572 = ORIENTED_EDGE( '', *, *, #1013, .T. ); #573 = CARTESIAN_POINT( '', ( 11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #574 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #575 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #576 = ORIENTED_EDGE( '', *, *, #1022, .F. ); #577 = ORIENTED_EDGE( '', *, *, #1023, .F. ); #578 = ORIENTED_EDGE( '', *, *, #1024, .T. ); #579 = ORIENTED_EDGE( '', *, *, #1014, .T. ); #580 = ORIENTED_EDGE( '', *, *, #1021, .F. ); #581 = ORIENTED_EDGE( '', *, *, #1025, .T. ); #582 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #583 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #584 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #585 = ORIENTED_EDGE( '', *, *, #1026, .F. ); #586 = ORIENTED_EDGE( '', *, *, #1027, .F. ); #587 = ORIENTED_EDGE( '', *, *, #1028, .T. ); #588 = ORIENTED_EDGE( '', *, *, #1029, .F. ); #589 = ORIENTED_EDGE( '', *, *, #1006, .F. ); #590 = ORIENTED_EDGE( '', *, *, #932, .T. ); #591 = ORIENTED_EDGE( '', *, *, #1030, .T. ); #592 = ORIENTED_EDGE( '', *, *, #1031, .T. ); #593 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #594 = DIRECTION( '', ( 0.998629940745737, 0.0523282088950766, -0.000000000000000 ) ); #595 = DIRECTION( '', ( -0.0523282088950766, 0.998629940745736, 0.000000000000000 ) ); #596 = ORIENTED_EDGE( '', *, *, #1032, .F. ); #597 = ORIENTED_EDGE( '', *, *, #1017, .T. ); #598 = ORIENTED_EDGE( '', *, *, #1011, .T. ); #599 = ORIENTED_EDGE( '', *, *, #1033, .F. ); #600 = ORIENTED_EDGE( '', *, *, #1034, .F. ); #601 = CARTESIAN_POINT( '', ( 7.30940107675850, 10.0000000000000, 11.0000000000000 ) ); #602 = DIRECTION( '', ( 0.866025403784439, -0.500000000000000, 0.000000000000000 ) ); #603 = DIRECTION( '', ( 0.500000000000000, 0.866025403784439, 0.000000000000000 ) ); #604 = ORIENTED_EDGE( '', *, *, #1035, .F. ); #605 = ORIENTED_EDGE( '', *, *, #1036, .F. ); #606 = ORIENTED_EDGE( '', *, *, #1037, .T. ); #607 = ORIENTED_EDGE( '', *, *, #1034, .T. ); #608 = ORIENTED_EDGE( '', *, *, #1038, .T. ); #609 = ORIENTED_EDGE( '', *, *, #1039, .F. ); #610 = ORIENTED_EDGE( '', *, *, #999, .T. ); #611 = ORIENTED_EDGE( '', *, *, #1040, .T. ); #612 = ORIENTED_EDGE( '', *, *, #1003, .F. ); #613 = ORIENTED_EDGE( '', *, *, #938, .F. ); #614 = ORIENTED_EDGE( '', *, *, #1041, .T. ); #615 = ORIENTED_EDGE( '', *, *, #931, .T. ); #616 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.00000000000000, 0.000000000000000 ) ); #617 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) ); #618 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #619 = ORIENTED_EDGE( '', *, *, #1042, .F. ); #620 = ORIENTED_EDGE( '', *, *, #1043, .T. ); #621 = ORIENTED_EDGE( '', *, *, #1031, .F. ); #622 = ORIENTED_EDGE( '', *, *, #1044, .F. ); #623 = ORIENTED_EDGE( '', *, *, #1045, .T. ); #624 = ORIENTED_EDGE( '', *, *, #993, .T. ); #625 = ORIENTED_EDGE( '', *, *, #1046, .T. ); #626 = ORIENTED_EDGE( '', *, *, #981, .F. ); #627 = ORIENTED_EDGE( '', *, *, #1047, .T. ); #628 = ORIENTED_EDGE( '', *, *, #1048, .F. ); #629 = ORIENTED_EDGE( '', *, *, #1049, .F. ); #630 = ORIENTED_EDGE( '', *, *, #1050, .F. ); #631 = CARTESIAN_POINT( '', ( 0.000000000000000, 4.00000000000000, -0.000000000000000 ) ); #632 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) ); #633 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #634 = ORIENTED_EDGE( '', *, *, #1030, .F. ); #635 = ORIENTED_EDGE( '', *, *, #1041, .F. ); #636 = ORIENTED_EDGE( '', *, *, #1051, .T. ); #637 = ORIENTED_EDGE( '', *, *, #1044, .T. ); #638 = CARTESIAN_POINT( '', ( -9.80000000000000, 6.00000000000000, 9.80000000000000 ) ); #639 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #640 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #641 = ORIENTED_EDGE( '', *, *, #1052, .F. ); #642 = ORIENTED_EDGE( '', *, *, #1048, .T. ); #643 = ORIENTED_EDGE( '', *, *, #1053, .T. ); #644 = ORIENTED_EDGE( '', *, *, #1038, .F. ); #645 = CARTESIAN_POINT( '', ( 9.80000000000000, 6.00000000000000, -9.80000000000000 ) ); #646 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #647 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #648 = ORIENTED_EDGE( '', *, *, #1054, .F. ); #649 = ORIENTED_EDGE( '', *, *, #976, .T. ); #650 = ORIENTED_EDGE( '', *, *, #1055, .T. ); #651 = ORIENTED_EDGE( '', *, *, #1056, .T. ); #652 = ORIENTED_EDGE( '', *, *, #1057, .T. ); #653 = ORIENTED_EDGE( '', *, *, #1058, .F. ); #654 = ORIENTED_EDGE( '', *, *, #986, .T. ); #655 = ORIENTED_EDGE( '', *, *, #977, .F. ); #656 = ORIENTED_EDGE( '', *, *, #988, .F. ); #657 = ORIENTED_EDGE( '', *, *, #1059, .F. ); #658 = ORIENTED_EDGE( '', *, *, #1060, .T. ); #659 = ORIENTED_EDGE( '', *, *, #1027, .T. ); #660 = CARTESIAN_POINT( '', ( 0.000000000000000, 2.00000000000000, 0.000000000000000 ) ); #661 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) ); #662 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #663 = ORIENTED_EDGE( '', *, *, #1028, .F. ); #664 = ORIENTED_EDGE( '', *, *, #1060, .F. ); #665 = ORIENTED_EDGE( '', *, *, #1061, .T. ); #666 = ORIENTED_EDGE( '', *, *, #1062, .T. ); #667 = CARTESIAN_POINT( '', ( -9.80000000000000, 2.00000000000000, 9.80000000000000 ) ); #668 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #669 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #670 = ORIENTED_EDGE( '', *, *, #1063, .F. ); #671 = ORIENTED_EDGE( '', *, *, #1064, .T. ); #672 = ORIENTED_EDGE( '', *, *, #1065, .T. ); #673 = ORIENTED_EDGE( '', *, *, #1057, .F. ); #674 = CARTESIAN_POINT( '', ( 9.80000000000000, 2.00000000000000, -9.80000000000000 ) ); #675 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #676 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #677 = ORIENTED_EDGE( '', *, *, #1066, .T. ); #678 = ORIENTED_EDGE( '', *, *, #1067, .T. ); #679 = ORIENTED_EDGE( '', *, *, #1068, .T. ); #680 = ORIENTED_EDGE( '', *, *, #1069, .T. ); #681 = ORIENTED_EDGE( '', *, *, #936, .T. ); #682 = ORIENTED_EDGE( '', *, *, #929, .T. ); #683 = CARTESIAN_POINT( '', ( -9.04145188432738, 8.99999999999999, 11.0000000000000 ) ); #684 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #685 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #686 = ORIENTED_EDGE( '', *, *, #1070, .F. ); #687 = ORIENTED_EDGE( '', *, *, #942, .F. ); #688 = ORIENTED_EDGE( '', *, *, #1071, .F. ); #689 = ORIENTED_EDGE( '', *, *, #1072, .F. ); #690 = ORIENTED_EDGE( '', *, *, #1073, .F. ); #691 = ORIENTED_EDGE( '', *, *, #1074, .F. ); #692 = CARTESIAN_POINT( '', ( -9.04145188432738, 8.99999999999999, -11.0000000000000 ) ); #693 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #694 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #695 = ORIENTED_EDGE( '', *, *, #1075, .T. ); #696 = ORIENTED_EDGE( '', *, *, #1076, .F. ); #697 = ORIENTED_EDGE( '', *, *, #1077, .F. ); #698 = ORIENTED_EDGE( '', *, *, #1078, .F. ); #699 = CARTESIAN_POINT( '', ( 12.0000000000000, 8.99999999999999, 9.04145188432738 ) ); #700 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #701 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #702 = ORIENTED_EDGE( '', *, *, #1020, .T. ); #703 = ORIENTED_EDGE( '', *, *, #1018, .F. ); #704 = ORIENTED_EDGE( '', *, *, #1079, .F. ); #705 = ORIENTED_EDGE( '', *, *, #1025, .F. ); #706 = CARTESIAN_POINT( '', ( 12.0000000000000, 8.99999999999999, -9.04145188432738 ) ); #707 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #708 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #709 = ORIENTED_EDGE( '', *, *, #1032, .T. ); #710 = ORIENTED_EDGE( '', *, *, #1037, .F. ); #711 = ORIENTED_EDGE( '', *, *, #1080, .F. ); #712 = ORIENTED_EDGE( '', *, *, #1022, .T. ); #713 = ORIENTED_EDGE( '', *, *, #1079, .T. ); #714 = CARTESIAN_POINT( '', ( 12.0000000000000, 6.00000000000000, -5.00000000000000 ) ); #715 = DIRECTION( '', ( -0.000000000000000, 0.500000000000000, 0.866025403784439 ) ); #716 = DIRECTION( '', ( 0.000000000000000, -0.866025403784439, 0.500000000000000 ) ); #717 = ORIENTED_EDGE( '', *, *, #930, .T. ); #718 = ORIENTED_EDGE( '', *, *, #1075, .F. ); #719 = ORIENTED_EDGE( '', *, *, #1081, .T. ); #720 = ORIENTED_EDGE( '', *, *, #1082, .T. ); #721 = ORIENTED_EDGE( '', *, *, #1035, .T. ); #722 = CARTESIAN_POINT( '', ( 12.0000000000000, 10.0000000000000, 7.30940107675850 ) ); #723 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, -0.866025403784439 ) ); #724 = DIRECTION( '', ( 0.000000000000000, 0.866025403784439, 0.500000000000000 ) ); #725 = ORIENTED_EDGE( '', *, *, #1023, .T. ); #726 = ORIENTED_EDGE( '', *, *, #1080, .T. ); #727 = ORIENTED_EDGE( '', *, *, #1083, .F. ); #728 = ORIENTED_EDGE( '', *, *, #1050, .T. ); #729 = ORIENTED_EDGE( '', *, *, #1084, .T. ); #730 = ORIENTED_EDGE( '', *, *, #1055, .F. ); #731 = ORIENTED_EDGE( '', *, *, #975, .F. ); #732 = ORIENTED_EDGE( '', *, *, #1085, .T. ); #733 = CARTESIAN_POINT( '', ( 12.0000000000000, 2.00000000000000, -5.20960000000000 ) ); #734 = DIRECTION( '', ( 0.000000000000000, -0.0523282088950755, 0.998629940745737 ) ); #735 = DIRECTION( '', ( 0.000000000000000, -0.998629940745737, -0.0523282088950755 ) ); #736 = ORIENTED_EDGE( '', *, *, #1086, .T. ); #737 = ORIENTED_EDGE( '', *, *, #1087, .F. ); #738 = ORIENTED_EDGE( '', *, *, #973, .F. ); #739 = ORIENTED_EDGE( '', *, *, #1054, .T. ); #740 = ORIENTED_EDGE( '', *, *, #1026, .T. ); #741 = ORIENTED_EDGE( '', *, *, #1043, .F. ); #742 = ORIENTED_EDGE( '', *, *, #1088, .F. ); #743 = ORIENTED_EDGE( '', *, *, #1082, .F. ); #744 = CARTESIAN_POINT( '', ( 12.0000000000000, 4.00000000000000, 5.10480000000000 ) ); #745 = DIRECTION( '', ( 0.000000000000000, -0.0523282088950763, -0.998629940745737 ) ); #746 = DIRECTION( '', ( 0.000000000000000, 0.998629940745736, -0.0523282088950763 ) ); #747 = ORIENTED_EDGE( '', *, *, #992, .F. ); #748 = ORIENTED_EDGE( '', *, *, #1040, .F. ); #749 = ORIENTED_EDGE( '', *, *, #982, .F. ); #750 = ORIENTED_EDGE( '', *, *, #1046, .F. ); #751 = CARTESIAN_POINT( '', ( -9.80000000000000, 0.000000000000000, 0.000000000000000 ) ); #752 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #753 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #754 = ORIENTED_EDGE( '', *, *, #1042, .T. ); #755 = ORIENTED_EDGE( '', *, *, #1083, .T. ); #756 = ORIENTED_EDGE( '', *, *, #1036, .T. ); #757 = ORIENTED_EDGE( '', *, *, #1088, .T. ); #758 = CARTESIAN_POINT( '', ( 9.80000000000000, 0.000000000000000, 0.000000000000000 ) ); #759 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #760 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #761 = ORIENTED_EDGE( '', *, *, #945, .F. ); #762 = ORIENTED_EDGE( '', *, *, #951, .F. ); #763 = ORIENTED_EDGE( '', *, *, #955, .F. ); #764 = ORIENTED_EDGE( '', *, *, #958, .F. ); #765 = ORIENTED_EDGE( '', *, *, #961, .F. ); #766 = ORIENTED_EDGE( '', *, *, #964, .F. ); #767 = ORIENTED_EDGE( '', *, *, #967, .F. ); #768 = ORIENTED_EDGE( '', *, *, #970, .F. ); #769 = ORIENTED_EDGE( '', *, *, #1089, .T. ); #770 = ORIENTED_EDGE( '', *, *, #1090, .F. ); #771 = CARTESIAN_POINT( '', ( -4.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #772 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #773 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #774 = ORIENTED_EDGE( '', *, *, #1091, .F. ); #775 = ORIENTED_EDGE( '', *, *, #1089, .F. ); #776 = ORIENTED_EDGE( '', *, *, #972, .T. ); #777 = ORIENTED_EDGE( '', *, *, #947, .T. ); #778 = CARTESIAN_POINT( '', ( -8.67361737988404E-16, -4.40000000000000, 1.95156391047391E-15 ) ); #779 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) ); #780 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #781 = ORIENTED_EDGE( '', *, *, #1092, .F. ); #782 = ORIENTED_EDGE( '', *, *, #1093, .F. ); #783 = ORIENTED_EDGE( '', *, *, #952, .T. ); #784 = ORIENTED_EDGE( '', *, *, #943, .T. ); #785 = CARTESIAN_POINT( '', ( 8.67361737988404E-16, -4.40000000000000, -1.95156391047391E-15 ) ); #786 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) ); #787 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #788 = ORIENTED_EDGE( '', *, *, #953, .T. ); #789 = ORIENTED_EDGE( '', *, *, #1093, .T. ); #790 = ORIENTED_EDGE( '', *, *, #1094, .T. ); #791 = ORIENTED_EDGE( '', *, *, #949, .T. ); #792 = ORIENTED_EDGE( '', *, *, #971, .T. ); #793 = ORIENTED_EDGE( '', *, *, #968, .T. ); #794 = ORIENTED_EDGE( '', *, *, #965, .T. ); #795 = ORIENTED_EDGE( '', *, *, #962, .T. ); #796 = ORIENTED_EDGE( '', *, *, #959, .T. ); #797 = ORIENTED_EDGE( '', *, *, #956, .T. ); #798 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #799 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #800 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #801 = ORIENTED_EDGE( '', *, *, #1095, .T. ); #802 = ORIENTED_EDGE( '', *, *, #1086, .F. ); #803 = ORIENTED_EDGE( '', *, *, #1081, .F. ); #804 = ORIENTED_EDGE( '', *, *, #1078, .T. ); #805 = ORIENTED_EDGE( '', *, *, #1096, .F. ); #806 = ORIENTED_EDGE( '', *, *, #1008, .F. ); #807 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #808 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #809 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #810 = ORIENTED_EDGE( '', *, *, #974, .F. ); #811 = ORIENTED_EDGE( '', *, *, #1087, .T. ); #812 = ORIENTED_EDGE( '', *, *, #1095, .F. ); #813 = ORIENTED_EDGE( '', *, *, #1007, .F. ); #814 = ORIENTED_EDGE( '', *, *, #1029, .T. ); #815 = ORIENTED_EDGE( '', *, *, #1062, .F. ); #816 = ORIENTED_EDGE( '', *, *, #1097, .F. ); #817 = ORIENTED_EDGE( '', *, *, #1068, .F. ); #818 = ORIENTED_EDGE( '', *, *, #1098, .T. ); #819 = ORIENTED_EDGE( '', *, *, #989, .F. ); #820 = ORIENTED_EDGE( '', *, *, #979, .T. ); #821 = ORIENTED_EDGE( '', *, *, #985, .T. ); #822 = ORIENTED_EDGE( '', *, *, #1099, .T. ); #823 = ORIENTED_EDGE( '', *, *, #1073, .T. ); #824 = ORIENTED_EDGE( '', *, *, #1100, .F. ); #825 = ORIENTED_EDGE( '', *, *, #1064, .F. ); #826 = ORIENTED_EDGE( '', *, *, #1101, .T. ); #827 = ORIENTED_EDGE( '', *, *, #1015, .T. ); #828 = ORIENTED_EDGE( '', *, *, #1024, .F. ); #829 = ORIENTED_EDGE( '', *, *, #1085, .F. ); #830 = ORIENTED_EDGE( '', *, *, #1092, .T. ); #831 = ORIENTED_EDGE( '', *, *, #946, .T. ); #832 = ORIENTED_EDGE( '', *, *, #1090, .T. ); #833 = ORIENTED_EDGE( '', *, *, #1091, .T. ); #834 = ORIENTED_EDGE( '', *, *, #950, .F. ); #835 = ORIENTED_EDGE( '', *, *, #1094, .F. ); #836 = CARTESIAN_POINT( '', ( -11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #837 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #838 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #839 = ORIENTED_EDGE( '', *, *, #994, .F. ); #840 = ORIENTED_EDGE( '', *, *, #1045, .F. ); #841 = ORIENTED_EDGE( '', *, *, #1051, .F. ); #842 = ORIENTED_EDGE( '', *, *, #937, .F. ); #843 = ORIENTED_EDGE( '', *, *, #1069, .F. ); #844 = ORIENTED_EDGE( '', *, *, #1097, .T. ); #845 = ORIENTED_EDGE( '', *, *, #1061, .F. ); #846 = ORIENTED_EDGE( '', *, *, #1059, .T. ); #847 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, 11.0000000000000 ) ); #848 = DIRECTION( '', ( -0.998629940745737, 0.0523282088950766, 0.000000000000000 ) ); #849 = DIRECTION( '', ( -0.0523282088950766, -0.998629940745736, 0.000000000000000 ) ); #850 = ORIENTED_EDGE( '', *, *, #984, .F. ); #851 = ORIENTED_EDGE( '', *, *, #998, .F. ); #852 = ORIENTED_EDGE( '', *, *, #997, .T. ); #853 = ORIENTED_EDGE( '', *, *, #1102, .T. ); #854 = ORIENTED_EDGE( '', *, *, #1074, .T. ); #855 = ORIENTED_EDGE( '', *, *, #1099, .F. ); #856 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #857 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #858 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #859 = ORIENTED_EDGE( '', *, *, #990, .F. ); #860 = ORIENTED_EDGE( '', *, *, #1098, .F. ); #861 = ORIENTED_EDGE( '', *, *, #1067, .F. ); #862 = ORIENTED_EDGE( '', *, *, #1103, .T. ); #863 = ORIENTED_EDGE( '', *, *, #1005, .T. ); #864 = ORIENTED_EDGE( '', *, *, #1001, .F. ); #865 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #866 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #867 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #868 = ORIENTED_EDGE( '', *, *, #1000, .F. ); #869 = ORIENTED_EDGE( '', *, *, #1039, .T. ); #870 = ORIENTED_EDGE( '', *, *, #1104, .T. ); #871 = ORIENTED_EDGE( '', *, *, #1071, .T. ); #872 = ORIENTED_EDGE( '', *, *, #941, .F. ); #873 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #874 = DIRECTION( '', ( -0.866025403784439, -0.500000000000000, 0.000000000000000 ) ); #875 = DIRECTION( '', ( 0.500000000000000, -0.866025403784439, 0.000000000000000 ) ); #876 = ORIENTED_EDGE( '', *, *, #1102, .F. ); #877 = ORIENTED_EDGE( '', *, *, #996, .F. ); #878 = ORIENTED_EDGE( '', *, *, #939, .T. ); #879 = ORIENTED_EDGE( '', *, *, #1070, .T. ); #880 = CARTESIAN_POINT( '', ( -9.04145188432738, 11.0000000000000, 11.0000000000000 ) ); #881 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #882 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #883 = ORIENTED_EDGE( '', *, *, #1004, .T. ); #884 = ORIENTED_EDGE( '', *, *, #1103, .F. ); #885 = ORIENTED_EDGE( '', *, *, #1066, .F. ); #886 = ORIENTED_EDGE( '', *, *, #928, .T. ); #887 = CARTESIAN_POINT( '', ( -9.04145188432738, 11.0000000000000, 11.0000000000000 ) ); #888 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #889 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #890 = ORIENTED_EDGE( '', *, *, #1084, .F. ); #891 = ORIENTED_EDGE( '', *, *, #1049, .T. ); #892 = ORIENTED_EDGE( '', *, *, #1052, .T. ); #893 = ORIENTED_EDGE( '', *, *, #1033, .T. ); #894 = ORIENTED_EDGE( '', *, *, #1016, .T. ); #895 = ORIENTED_EDGE( '', *, *, #1101, .F. ); #896 = ORIENTED_EDGE( '', *, *, #1063, .T. ); #897 = ORIENTED_EDGE( '', *, *, #1056, .F. ); #898 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #899 = DIRECTION( '', ( 0.998629940745737, 0.0523282088950766, -0.000000000000000 ) ); #900 = DIRECTION( '', ( -0.0523282088950766, 0.998629940745736, 0.000000000000000 ) ); #901 = ORIENTED_EDGE( '', *, *, #987, .F. ); #902 = ORIENTED_EDGE( '', *, *, #1058, .T. ); #903 = ORIENTED_EDGE( '', *, *, #1065, .F. ); #904 = ORIENTED_EDGE( '', *, *, #1100, .T. ); #905 = ORIENTED_EDGE( '', *, *, #1072, .T. ); #906 = ORIENTED_EDGE( '', *, *, #1104, .F. ); #907 = ORIENTED_EDGE( '', *, *, #1053, .F. ); #908 = ORIENTED_EDGE( '', *, *, #1047, .F. ); #909 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, 11.0000000000000 ) ); #910 = DIRECTION( '', ( -0.998629940745737, 0.0523282088950766, 0.000000000000000 ) ); #911 = DIRECTION( '', ( -0.0523282088950766, -0.998629940745736, 0.000000000000000 ) ); #912 = ORIENTED_EDGE( '', *, *, #1105, .T. ); #913 = ORIENTED_EDGE( '', *, *, #1076, .T. ); #914 = ORIENTED_EDGE( '', *, *, #934, .F. ); #915 = ORIENTED_EDGE( '', *, *, #1010, .F. ); #916 = CARTESIAN_POINT( '', ( 9.04145188432738, 8.99999999999999, 11.0000000000000 ) ); #917 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) ); #918 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #919 = ORIENTED_EDGE( '', *, *, #1077, .T. ); #920 = ORIENTED_EDGE( '', *, *, #1105, .F. ); #921 = ORIENTED_EDGE( '', *, *, #1009, .F. ); #922 = ORIENTED_EDGE( '', *, *, #1096, .T. ); #923 = CARTESIAN_POINT( '', ( 11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #924 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #925 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #926 = EDGE_CURVE( '', #1106, #1107, #1108, .T. ); #927 = EDGE_CURVE( '', #1107, #1109, #1110, .F. ); #928 = EDGE_CURVE( '', #1111, #1109, #1112, .T. ); #929 = EDGE_CURVE( '', #1106, #1111, #1113, .T. ); #930 = EDGE_CURVE( '', #1114, #1115, #1116, .T. ); #931 = EDGE_CURVE( '', #1117, #1114, #1118, .T. ); #932 = EDGE_CURVE( '', #1119, #1117, #1120, .T. ); #933 = EDGE_CURVE( '', #1121, #1119, #1122, .T. ); #934 = EDGE_CURVE( '', #1121, #1115, #1123, .T. ); #935 = EDGE_CURVE( '', #1107, #1124, #1125, .T. ); #936 = EDGE_CURVE( '', #1126, #1106, #1127, .T. ); #937 = EDGE_CURVE( '', #1126, #1128, #1129, .T. ); #938 = EDGE_CURVE( '', #1128, #1124, #1130, .T. ); #939 = EDGE_CURVE( '', #1131, #1132, #1133, .T. ); #940 = EDGE_CURVE( '', #1131, #1134, #1135, .T. ); #941 = EDGE_CURVE( '', #1134, #1136, #1137, .T. ); #942 = EDGE_CURVE( '', #1136, #1132, #1138, .T. ); #943 = EDGE_CURVE( '', #1139, #1140, #1141, .T. ); #944 = EDGE_CURVE( '', #1139, #1142, #1143, .T. ); #945 = EDGE_CURVE( '', #1142, #1144, #1145, .T. ); #946 = EDGE_CURVE( '', #1140, #1144, #1146, .T. ); #947 = EDGE_CURVE( '', #1147, #1148, #1149, .T. ); #948 = EDGE_CURVE( '', #1150, #1147, #1151, .T. ); #949 = EDGE_CURVE( '', #1152, #1150, #1153, .T. ); #950 = EDGE_CURVE( '', #1152, #1148, #1154, .T. ); #951 = EDGE_CURVE( '', #1155, #1142, #1156, .T. ); #952 = EDGE_CURVE( '', #1157, #1139, #1158, .T. ); #953 = EDGE_CURVE( '', #1159, #1157, #1160, .T. ); #954 = EDGE_CURVE( '', #1159, #1155, #1161, .T. ); #955 = EDGE_CURVE( '', #1162, #1155, #1163, .T. ); #956 = EDGE_CURVE( '', #1164, #1159, #1165, .T. ); #957 = EDGE_CURVE( '', #1164, #1162, #1166, .T. ); #958 = EDGE_CURVE( '', #1167, #1162, #1168, .T. ); #959 = EDGE_CURVE( '', #1169, #1164, #1170, .T. ); #960 = EDGE_CURVE( '', #1169, #1167, #1171, .T. ); #961 = EDGE_CURVE( '', #1172, #1167, #1173, .T. ); #962 = EDGE_CURVE( '', #1174, #1169, #1175, .T. ); #963 = EDGE_CURVE( '', #1174, #1172, #1176, .T. ); #964 = EDGE_CURVE( '', #1177, #1172, #1178, .T. ); #965 = EDGE_CURVE( '', #1179, #1174, #1180, .T. ); #966 = EDGE_CURVE( '', #1179, #1177, #1181, .T. ); #967 = EDGE_CURVE( '', #1182, #1177, #1183, .T. ); #968 = EDGE_CURVE( '', #1184, #1179, #1185, .T. ); #969 = EDGE_CURVE( '', #1184, #1182, #1186, .T. ); #970 = EDGE_CURVE( '', #1187, #1182, #1188, .T. ); #971 = EDGE_CURVE( '', #1150, #1184, #1189, .T. ); #972 = EDGE_CURVE( '', #1187, #1147, #1190, .T. ); #973 = EDGE_CURVE( '', #1191, #1192, #1193, .T. ); #974 = EDGE_CURVE( '', #1192, #1194, #1195, .T. ); #975 = EDGE_CURVE( '', #1194, #1196, #1197, .T. ); #976 = EDGE_CURVE( '', #1191, #1196, #1198, .T. ); #977 = EDGE_CURVE( '', #1199, #1200, #1201, .T. ); #978 = EDGE_CURVE( '', #1202, #1200, #1203, .T. ); #979 = EDGE_CURVE( '', #1204, #1202, #1205, .T. ); #980 = EDGE_CURVE( '', #1199, #1204, #1206, .T. ); #981 = EDGE_CURVE( '', #1207, #1208, #1209, .T. ); #982 = EDGE_CURVE( '', #1208, #1210, #1211, .T. ); #983 = EDGE_CURVE( '', #1210, #1212, #1213, .T. ); #984 = EDGE_CURVE( '', #1212, #1214, #1215, .T. ); #985 = EDGE_CURVE( '', #1202, #1214, #1216, .T. ); #986 = EDGE_CURVE( '', #1217, #1200, #1218, .T. ); #987 = EDGE_CURVE( '', #1217, #1207, #1219, .T. ); #988 = EDGE_CURVE( '', #1220, #1199, #1221, .T. ); #989 = EDGE_CURVE( '', #1204, #1222, #1223, .T. ); #990 = EDGE_CURVE( '', #1222, #1224, #1225, .T. ); #991 = EDGE_CURVE( '', #1226, #1224, #1227, .T. ); #992 = EDGE_CURVE( '', #1226, #1228, #1229, .T. ); #993 = EDGE_CURVE( '', #1230, #1228, #1231, .T. ); #994 = EDGE_CURVE( '', #1230, #1220, #1232, .T. ); #995 = EDGE_CURVE( '', #1134, #1233, #1234, .T. ); #996 = EDGE_CURVE( '', #1131, #1235, #1236, .T. ); #997 = EDGE_CURVE( '', #1233, #1235, #1237, .F. ); #998 = EDGE_CURVE( '', #1233, #1212, #1238, .T. ); #999 = EDGE_CURVE( '', #1239, #1210, #1240, .T. ); #1000 = EDGE_CURVE( '', #1239, #1134, #1241, .T. ); #1001 = EDGE_CURVE( '', #1224, #1242, #1243, .T. ); #1002 = EDGE_CURVE( '', #1107, #1242, #1244, .T. ); #1003 = EDGE_CURVE( '', #1124, #1226, #1245, .T. ); #1004 = EDGE_CURVE( '', #1109, #1246, #1247, .T. ); #1005 = EDGE_CURVE( '', #1246, #1242, #1248, .F. ); #1006 = EDGE_CURVE( '', #1119, #1249, #1250, .T. ); #1007 = EDGE_CURVE( '', #1249, #1251, #1252, .T. ); #1008 = EDGE_CURVE( '', #1251, #1253, #1254, .T. ); #1009 = EDGE_CURVE( '', #1253, #1255, #1256, .T. ); #1010 = EDGE_CURVE( '', #1255, #1121, #1257, .T. ); #1011 = EDGE_CURVE( '', #1258, #1259, #1260, .T. ); #1012 = EDGE_CURVE( '', #1261, #1258, #1262, .T. ); #1013 = EDGE_CURVE( '', #1263, #1261, #1264, .T. ); #1014 = EDGE_CURVE( '', #1265, #1263, #1266, .T. ); #1015 = EDGE_CURVE( '', #1267, #1265, #1268, .T. ); #1016 = EDGE_CURVE( '', #1259, #1267, #1269, .T. ); #1017 = EDGE_CURVE( '', #1270, #1258, #1271, .T. ); #1018 = EDGE_CURVE( '', #1270, #1272, #1273, .T. ); #1019 = EDGE_CURVE( '', #1272, #1261, #1274, .T. ); #1020 = EDGE_CURVE( '', #1275, #1272, #1276, .T. ); #1021 = EDGE_CURVE( '', #1275, #1263, #1277, .T. ); #1022 = EDGE_CURVE( '', #1278, #1279, #1280, .T. ); #1023 = EDGE_CURVE( '', #1281, #1278, #1282, .T. ); #1024 = EDGE_CURVE( '', #1281, #1265, #1283, .T. ); #1025 = EDGE_CURVE( '', #1275, #1279, #1284, .F. ); #1026 = EDGE_CURVE( '', #1285, #1286, #1287, .T. ); #1027 = EDGE_CURVE( '', #1288, #1285, #1289, .T. ); #1028 = EDGE_CURVE( '', #1288, #1290, #1291, .T. ); #1029 = EDGE_CURVE( '', #1249, #1290, #1292, .T. ); #1030 = EDGE_CURVE( '', #1117, #1293, #1294, .T. ); #1031 = EDGE_CURVE( '', #1293, #1286, #1295, .T. ); #1032 = EDGE_CURVE( '', #1270, #1296, #1297, .T. ); #1033 = EDGE_CURVE( '', #1298, #1259, #1299, .T. ); #1034 = EDGE_CURVE( '', #1296, #1298, #1300, .T. ); #1035 = EDGE_CURVE( '', #1301, #1114, #1302, .T. ); #1036 = EDGE_CURVE( '', #1303, #1301, #1304, .T. ); #1037 = EDGE_CURVE( '', #1303, #1296, #1305, .T. ); #1038 = EDGE_CURVE( '', #1298, #1306, #1307, .T. ); #1039 = EDGE_CURVE( '', #1239, #1306, #1308, .T. ); #1040 = EDGE_CURVE( '', #1210, #1226, #1309, .T. ); #1041 = EDGE_CURVE( '', #1128, #1117, #1310, .T. ); #1042 = EDGE_CURVE( '', #1311, #1312, #1313, .T. ); #1043 = EDGE_CURVE( '', #1311, #1286, #1314, .T. ); #1044 = EDGE_CURVE( '', #1315, #1293, #1316, .T. ); #1045 = EDGE_CURVE( '', #1315, #1230, #1317, .T. ); #1046 = EDGE_CURVE( '', #1228, #1208, #1318, .T. ); #1047 = EDGE_CURVE( '', #1207, #1319, #1320, .T. ); #1048 = EDGE_CURVE( '', #1321, #1319, #1322, .T. ); #1049 = EDGE_CURVE( '', #1323, #1321, #1324, .T. ); #1050 = EDGE_CURVE( '', #1312, #1323, #1325, .T. ); #1051 = EDGE_CURVE( '', #1128, #1315, #1326, .T. ); #1052 = EDGE_CURVE( '', #1321, #1298, #1327, .T. ); #1053 = EDGE_CURVE( '', #1319, #1306, #1328, .T. ); #1054 = EDGE_CURVE( '', #1191, #1285, #1329, .T. ); #1055 = EDGE_CURVE( '', #1196, #1330, #1331, .T. ); #1056 = EDGE_CURVE( '', #1330, #1332, #1333, .T. ); #1057 = EDGE_CURVE( '', #1332, #1334, #1335, .T. ); #1058 = EDGE_CURVE( '', #1217, #1334, #1336, .T. ); #1059 = EDGE_CURVE( '', #1337, #1220, #1338, .T. ); #1060 = EDGE_CURVE( '', #1337, #1288, #1339, .T. ); #1061 = EDGE_CURVE( '', #1337, #1340, #1341, .T. ); #1062 = EDGE_CURVE( '', #1340, #1290, #1342, .T. ); #1063 = EDGE_CURVE( '', #1343, #1332, #1344, .T. ); #1064 = EDGE_CURVE( '', #1343, #1345, #1346, .T. ); #1065 = EDGE_CURVE( '', #1345, #1334, #1347, .T. ); #1066 = EDGE_CURVE( '', #1111, #1348, #1349, .T. ); #1067 = EDGE_CURVE( '', #1348, #1350, #1351, .T. ); #1068 = EDGE_CURVE( '', #1350, #1352, #1353, .T. ); #1069 = EDGE_CURVE( '', #1352, #1126, #1354, .T. ); #1070 = EDGE_CURVE( '', #1132, #1355, #1356, .T. ); #1071 = EDGE_CURVE( '', #1357, #1136, #1358, .T. ); #1072 = EDGE_CURVE( '', #1359, #1357, #1360, .T. ); #1073 = EDGE_CURVE( '', #1361, #1359, #1362, .T. ); #1074 = EDGE_CURVE( '', #1355, #1361, #1363, .T. ); #1075 = EDGE_CURVE( '', #1364, #1115, #1365, .T. ); #1076 = EDGE_CURVE( '', #1366, #1115, #1367, .F. ); #1077 = EDGE_CURVE( '', #1368, #1366, #1369, .T. ); #1078 = EDGE_CURVE( '', #1364, #1368, #1370, .F. ); #1079 = EDGE_CURVE( '', #1279, #1270, #1371, .T. ); #1080 = EDGE_CURVE( '', #1278, #1303, #1372, .T. ); #1081 = EDGE_CURVE( '', #1364, #1373, #1374, .T. ); #1082 = EDGE_CURVE( '', #1373, #1301, #1375, .T. ); #1083 = EDGE_CURVE( '', #1312, #1303, #1376, .T. ); #1084 = EDGE_CURVE( '', #1323, #1330, #1377, .T. ); #1085 = EDGE_CURVE( '', #1194, #1281, #1378, .T. ); #1086 = EDGE_CURVE( '', #1373, #1379, #1380, .T. ); #1087 = EDGE_CURVE( '', #1192, #1379, #1381, .T. ); #1088 = EDGE_CURVE( '', #1301, #1311, #1382, .T. ); #1089 = EDGE_CURVE( '', #1187, #1383, #1384, .T. ); #1090 = EDGE_CURVE( '', #1144, #1383, #1385, .T. ); #1091 = EDGE_CURVE( '', #1383, #1148, #1386, .T. ); #1092 = EDGE_CURVE( '', #1387, #1140, #1388, .T. ); #1093 = EDGE_CURVE( '', #1157, #1387, #1389, .T. ); #1094 = EDGE_CURVE( '', #1387, #1152, #1390, .T. ); #1095 = EDGE_CURVE( '', #1251, #1379, #1391, .T. ); #1096 = EDGE_CURVE( '', #1253, #1368, #1392, .T. ); #1097 = EDGE_CURVE( '', #1352, #1340, #1393, .T. ); #1098 = EDGE_CURVE( '', #1350, #1222, #1394, .T. ); #1099 = EDGE_CURVE( '', #1214, #1361, #1395, .T. ); #1100 = EDGE_CURVE( '', #1345, #1359, #1396, .T. ); #1101 = EDGE_CURVE( '', #1343, #1267, #1397, .T. ); #1102 = EDGE_CURVE( '', #1235, #1355, #1398, .T. ); #1103 = EDGE_CURVE( '', #1348, #1246, #1399, .T. ); #1104 = EDGE_CURVE( '', #1306, #1357, #1400, .T. ); #1105 = EDGE_CURVE( '', #1255, #1366, #1401, .T. ); #1106 = VERTEX_POINT( '', #1402 ); #1107 = VERTEX_POINT( '', #1403 ); #1108 = LINE( '', #1404, #1405 ); #1109 = VERTEX_POINT( '', #1406 ); #1110 = ELLIPSE( '', #1407, 2.82842712470000, 2.00000000000000 ); #1111 = VERTEX_POINT( '', #1408 ); #1112 = LINE( '', #1409, #1410 ); #1113 = CIRCLE( '', #1411, 2.00000000000000 ); #1114 = VERTEX_POINT( '', #1412 ); #1115 = VERTEX_POINT( '', #1413 ); #1116 = LINE( '', #1414, #1415 ); #1117 = VERTEX_POINT( '', #1416 ); #1118 = LINE( '', #1417, #1418 ); #1119 = VERTEX_POINT( '', #1419 ); #1120 = LINE( '', #1420, #1421 ); #1121 = VERTEX_POINT( '', #1422 ); #1122 = LINE( '', #1423, #1424 ); #1123 = LINE( '', #1425, #1426 ); #1124 = VERTEX_POINT( '', #1427 ); #1125 = LINE( '', #1428, #1429 ); #1126 = VERTEX_POINT( '', #1430 ); #1127 = LINE( '', #1431, #1432 ); #1128 = VERTEX_POINT( '', #1433 ); #1129 = LINE( '', #1434, #1435 ); #1130 = LINE( '', #1436, #1437 ); #1131 = VERTEX_POINT( '', #1438 ); #1132 = VERTEX_POINT( '', #1439 ); #1133 = LINE( '', #1440, #1441 ); #1134 = VERTEX_POINT( '', #1442 ); #1135 = ELLIPSE( '', #1443, 2.82842712470000, 2.00000000000000 ); #1136 = VERTEX_POINT( '', #1444 ); #1137 = LINE( '', #1445, #1446 ); #1138 = CIRCLE( '', #1447, 2.00000000000000 ); #1139 = VERTEX_POINT( '', #1448 ); #1140 = VERTEX_POINT( '', #1449 ); #1141 = LINE( '', #1450, #1451 ); #1142 = VERTEX_POINT( '', #1452 ); #1143 = LINE( '', #1453, #1454 ); #1144 = VERTEX_POINT( '', #1455 ); #1145 = LINE( '', #1456, #1457 ); #1146 = LINE( '', #1458, #1459 ); #1147 = VERTEX_POINT( '', #1460 ); #1148 = VERTEX_POINT( '', #1461 ); #1149 = LINE( '', #1462, #1463 ); #1150 = VERTEX_POINT( '', #1464 ); #1151 = LINE( '', #1465, #1466 ); #1152 = VERTEX_POINT( '', #1467 ); #1153 = LINE( '', #1468, #1469 ); #1154 = LINE( '', #1470, #1471 ); #1155 = VERTEX_POINT( '', #1472 ); #1156 = LINE( '', #1473, #1474 ); #1157 = VERTEX_POINT( '', #1475 ); #1158 = CIRCLE( '', #1476, 4.00000000000000 ); #1159 = VERTEX_POINT( '', #1477 ); #1160 = LINE( '', #1478, #1479 ); #1161 = LINE( '', #1480, #1481 ); #1162 = VERTEX_POINT( '', #1482 ); #1163 = LINE( '', #1483, #1484 ); #1164 = VERTEX_POINT( '', #1485 ); #1165 = LINE( '', #1486, #1487 ); #1166 = LINE( '', #1488, #1489 ); #1167 = VERTEX_POINT( '', #1490 ); #1168 = LINE( '', #1491, #1492 ); #1169 = VERTEX_POINT( '', #1493 ); #1170 = LINE( '', #1494, #1495 ); #1171 = LINE( '', #1496, #1497 ); #1172 = VERTEX_POINT( '', #1498 ); #1173 = LINE( '', #1499, #1500 ); #1174 = VERTEX_POINT( '', #1501 ); #1175 = LINE( '', #1502, #1503 ); #1176 = LINE( '', #1504, #1505 ); #1177 = VERTEX_POINT( '', #1506 ); #1178 = LINE( '', #1507, #1508 ); #1179 = VERTEX_POINT( '', #1509 ); #1180 = LINE( '', #1510, #1511 ); #1181 = LINE( '', #1512, #1513 ); #1182 = VERTEX_POINT( '', #1514 ); #1183 = LINE( '', #1515, #1516 ); #1184 = VERTEX_POINT( '', #1517 ); #1185 = LINE( '', #1518, #1519 ); #1186 = LINE( '', #1520, #1521 ); #1187 = VERTEX_POINT( '', #1522 ); #1188 = LINE( '', #1523, #1524 ); #1189 = LINE( '', #1525, #1526 ); #1190 = CIRCLE( '', #1527, 4.00000000000000 ); #1191 = VERTEX_POINT( '', #1528 ); #1192 = VERTEX_POINT( '', #1529 ); #1193 = LINE( '', #1530, #1531 ); #1194 = VERTEX_POINT( '', #1532 ); #1195 = LINE( '', #1533, #1534 ); #1196 = VERTEX_POINT( '', #1535 ); #1197 = LINE( '', #1536, #1537 ); #1198 = LINE( '', #1538, #1539 ); #1199 = VERTEX_POINT( '', #1540 ); #1200 = VERTEX_POINT( '', #1541 ); #1201 = LINE( '', #1542, #1543 ); #1202 = VERTEX_POINT( '', #1544 ); #1203 = LINE( '', #1545, #1546 ); #1204 = VERTEX_POINT( '', #1547 ); #1205 = LINE( '', #1548, #1549 ); #1206 = LINE( '', #1550, #1551 ); #1207 = VERTEX_POINT( '', #1552 ); #1208 = VERTEX_POINT( '', #1553 ); #1209 = LINE( '', #1554, #1555 ); #1210 = VERTEX_POINT( '', #1556 ); #1211 = LINE( '', #1557, #1558 ); #1212 = VERTEX_POINT( '', #1559 ); #1213 = LINE( '', #1560, #1561 ); #1214 = VERTEX_POINT( '', #1562 ); #1215 = LINE( '', #1563, #1564 ); #1216 = LINE( '', #1565, #1566 ); #1217 = VERTEX_POINT( '', #1567 ); #1218 = LINE( '', #1568, #1569 ); #1219 = LINE( '', #1570, #1571 ); #1220 = VERTEX_POINT( '', #1572 ); #1221 = LINE( '', #1573, #1574 ); #1222 = VERTEX_POINT( '', #1575 ); #1223 = LINE( '', #1576, #1577 ); #1224 = VERTEX_POINT( '', #1578 ); #1225 = LINE( '', #1579, #1580 ); #1226 = VERTEX_POINT( '', #1581 ); #1227 = LINE( '', #1582, #1583 ); #1228 = VERTEX_POINT( '', #1584 ); #1229 = LINE( '', #1585, #1586 ); #1230 = VERTEX_POINT( '', #1587 ); #1231 = LINE( '', #1588, #1589 ); #1232 = LINE( '', #1590, #1591 ); #1233 = VERTEX_POINT( '', #1592 ); #1234 = LINE( '', #1593, #1594 ); #1235 = VERTEX_POINT( '', #1595 ); #1236 = LINE( '', #1596, #1597 ); #1237 = CIRCLE( '', #1598, 2.00000000000000 ); #1238 = LINE( '', #1599, #1600 ); #1239 = VERTEX_POINT( '', #1601 ); #1240 = LINE( '', #1602, #1603 ); #1241 = LINE( '', #1604, #1605 ); #1242 = VERTEX_POINT( '', #1606 ); #1243 = LINE( '', #1607, #1608 ); #1244 = LINE( '', #1609, #1610 ); #1245 = LINE( '', #1611, #1612 ); #1246 = VERTEX_POINT( '', #1613 ); #1247 = LINE( '', #1614, #1615 ); #1248 = CIRCLE( '', #1616, 2.00000000000000 ); #1249 = VERTEX_POINT( '', #1617 ); #1250 = LINE( '', #1618, #1619 ); #1251 = VERTEX_POINT( '', #1620 ); #1252 = LINE( '', #1621, #1622 ); #1253 = VERTEX_POINT( '', #1623 ); #1254 = LINE( '', #1624, #1625 ); #1255 = VERTEX_POINT( '', #1626 ); #1256 = LINE( '', #1627, #1628 ); #1257 = CIRCLE( '', #1629, 2.00000000000000 ); #1258 = VERTEX_POINT( '', #1630 ); #1259 = VERTEX_POINT( '', #1631 ); #1260 = LINE( '', #1632, #1633 ); #1261 = VERTEX_POINT( '', #1634 ); #1262 = CIRCLE( '', #1635, 2.00000000000000 ); #1263 = VERTEX_POINT( '', #1636 ); #1264 = LINE( '', #1637, #1638 ); #1265 = VERTEX_POINT( '', #1639 ); #1266 = LINE( '', #1640, #1641 ); #1267 = VERTEX_POINT( '', #1642 ); #1268 = LINE( '', #1643, #1644 ); #1269 = LINE( '', #1645, #1646 ); #1270 = VERTEX_POINT( '', #1647 ); #1271 = LINE( '', #1648, #1649 ); #1272 = VERTEX_POINT( '', #1650 ); #1273 = ELLIPSE( '', #1651, 2.82842712470000, 2.00000000000000 ); #1274 = LINE( '', #1652, #1653 ); #1275 = VERTEX_POINT( '', #1654 ); #1276 = LINE( '', #1655, #1656 ); #1277 = LINE( '', #1657, #1658 ); #1278 = VERTEX_POINT( '', #1659 ); #1279 = VERTEX_POINT( '', #1660 ); #1280 = LINE( '', #1661, #1662 ); #1281 = VERTEX_POINT( '', #1663 ); #1282 = LINE( '', #1664, #1665 ); #1283 = LINE( '', #1666, #1667 ); #1284 = CIRCLE( '', #1668, 2.00000000000000 ); #1285 = VERTEX_POINT( '', #1669 ); #1286 = VERTEX_POINT( '', #1670 ); #1287 = LINE( '', #1671, #1672 ); #1288 = VERTEX_POINT( '', #1673 ); #1289 = LINE( '', #1674, #1675 ); #1290 = VERTEX_POINT( '', #1676 ); #1291 = LINE( '', #1677, #1678 ); #1292 = LINE( '', #1679, #1680 ); #1293 = VERTEX_POINT( '', #1681 ); #1294 = LINE( '', #1682, #1683 ); #1295 = LINE( '', #1684, #1685 ); #1296 = VERTEX_POINT( '', #1686 ); #1297 = LINE( '', #1687, #1688 ); #1298 = VERTEX_POINT( '', #1689 ); #1299 = LINE( '', #1690, #1691 ); #1300 = LINE( '', #1692, #1693 ); #1301 = VERTEX_POINT( '', #1694 ); #1302 = LINE( '', #1695, #1696 ); #1303 = VERTEX_POINT( '', #1697 ); #1304 = LINE( '', #1698, #1699 ); #1305 = LINE( '', #1700, #1701 ); #1306 = VERTEX_POINT( '', #1702 ); #1307 = LINE( '', #1703, #1704 ); #1308 = LINE( '', #1705, #1706 ); #1309 = LINE( '', #1707, #1708 ); #1310 = LINE( '', #1709, #1710 ); #1311 = VERTEX_POINT( '', #1711 ); #1312 = VERTEX_POINT( '', #1712 ); #1313 = LINE( '', #1713, #1714 ); #1314 = LINE( '', #1715, #1716 ); #1315 = VERTEX_POINT( '', #1717 ); #1316 = LINE( '', #1718, #1719 ); #1317 = LINE( '', #1720, #1721 ); #1318 = LINE( '', #1722, #1723 ); #1319 = VERTEX_POINT( '', #1724 ); #1320 = LINE( '', #1725, #1726 ); #1321 = VERTEX_POINT( '', #1727 ); #1322 = LINE( '', #1728, #1729 ); #1323 = VERTEX_POINT( '', #1730 ); #1324 = LINE( '', #1731, #1732 ); #1325 = LINE( '', #1733, #1734 ); #1326 = LINE( '', #1735, #1736 ); #1327 = LINE( '', #1737, #1738 ); #1328 = LINE( '', #1739, #1740 ); #1329 = LINE( '', #1741, #1742 ); #1330 = VERTEX_POINT( '', #1743 ); #1331 = LINE( '', #1744, #1745 ); #1332 = VERTEX_POINT( '', #1746 ); #1333 = LINE( '', #1747, #1748 ); #1334 = VERTEX_POINT( '', #1749 ); #1335 = LINE( '', #1750, #1751 ); #1336 = LINE( '', #1752, #1753 ); #1337 = VERTEX_POINT( '', #1754 ); #1338 = LINE( '', #1755, #1756 ); #1339 = LINE( '', #1757, #1758 ); #1340 = VERTEX_POINT( '', #1759 ); #1341 = LINE( '', #1760, #1761 ); #1342 = LINE( '', #1762, #1763 ); #1343 = VERTEX_POINT( '', #1764 ); #1344 = LINE( '', #1765, #1766 ); #1345 = VERTEX_POINT( '', #1767 ); #1346 = LINE( '', #1768, #1769 ); #1347 = LINE( '', #1770, #1771 ); #1348 = VERTEX_POINT( '', #1772 ); #1349 = LINE( '', #1773, #1774 ); #1350 = VERTEX_POINT( '', #1775 ); #1351 = LINE( '', #1776, #1777 ); #1352 = VERTEX_POINT( '', #1778 ); #1353 = LINE( '', #1779, #1780 ); #1354 = LINE( '', #1781, #1782 ); #1355 = VERTEX_POINT( '', #1783 ); #1356 = LINE( '', #1784, #1785 ); #1357 = VERTEX_POINT( '', #1786 ); #1358 = LINE( '', #1787, #1788 ); #1359 = VERTEX_POINT( '', #1789 ); #1360 = LINE( '', #1790, #1791 ); #1361 = VERTEX_POINT( '', #1792 ); #1362 = LINE( '', #1793, #1794 ); #1363 = LINE( '', #1795, #1796 ); #1364 = VERTEX_POINT( '', #1797 ); #1365 = LINE( '', #1798, #1799 ); #1366 = VERTEX_POINT( '', #1800 ); #1367 = ELLIPSE( '', #1801, 2.82842712470000, 2.00000000000000 ); #1368 = VERTEX_POINT( '', #1802 ); #1369 = LINE( '', #1803, #1804 ); #1370 = CIRCLE( '', #1805, 2.00000000000000 ); #1371 = LINE( '', #1806, #1807 ); #1372 = LINE( '', #1808, #1809 ); #1373 = VERTEX_POINT( '', #1810 ); #1374 = LINE( '', #1811, #1812 ); #1375 = LINE( '', #1813, #1814 ); #1376 = LINE( '', #1815, #1816 ); #1377 = LINE( '', #1817, #1818 ); #1378 = LINE( '', #1819, #1820 ); #1379 = VERTEX_POINT( '', #1821 ); #1380 = LINE( '', #1822, #1823 ); #1381 = LINE( '', #1824, #1825 ); #1382 = LINE( '', #1826, #1827 ); #1383 = VERTEX_POINT( '', #1828 ); #1384 = LINE( '', #1829, #1830 ); #1385 = LINE( '', #1831, #1832 ); #1386 = CIRCLE( '', #1833, 4.00000000000000 ); #1387 = VERTEX_POINT( '', #1834 ); #1388 = CIRCLE( '', #1835, 4.00000000000000 ); #1389 = LINE( '', #1836, #1837 ); #1390 = LINE( '', #1838, #1839 ); #1391 = LINE( '', #1840, #1841 ); #1392 = LINE( '', #1842, #1843 ); #1393 = LINE( '', #1844, #1845 ); #1394 = LINE( '', #1846, #1847 ); #1395 = LINE( '', #1848, #1849 ); #1396 = LINE( '', #1850, #1851 ); #1397 = LINE( '', #1852, #1853 ); #1398 = LINE( '', #1854, #1855 ); #1399 = LINE( '', #1856, #1857 ); #1400 = LINE( '', #1858, #1859 ); #1401 = LINE( '', #1860, #1861 ); #1402 = CARTESIAN_POINT( '', ( -7.30940107675850, 10.0000000000000, 11.0000000000000 ) ); #1403 = CARTESIAN_POINT( '', ( -7.30940107675850, 10.0000000000000, 7.30940107675850 ) ); #1404 = CARTESIAN_POINT( '', ( -7.30940107675850, 10.0000000000000, 11.0000000000000 ) ); #1405 = VECTOR( '', #1862, 1000.00000000000 ); #1406 = CARTESIAN_POINT( '', ( -9.04145188432738, 11.0000000000000, 9.04145188432738 ) ); #1407 = AXIS2_PLACEMENT_3D( '', #1863, #1864, #1865 ); #1408 = CARTESIAN_POINT( '', ( -9.04145188432738, 11.0000000000000, 11.0000000000000 ) ); #1409 = CARTESIAN_POINT( '', ( -9.04145188432738, 11.0000000000000, 11.0000000000000 ) ); #1410 = VECTOR( '', #1866, 1000.00000000000 ); #1411 = AXIS2_PLACEMENT_3D( '', #1867, #1868, #1869 ); #1412 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, 5.00000000000000 ) ); #1413 = CARTESIAN_POINT( '', ( 7.30940107675850, 10.0000000000000, 7.30940107675850 ) ); #1414 = CARTESIAN_POINT( '', ( 8.04752086140680, 11.2784609690827, 8.04752086140680 ) ); #1415 = VECTOR( '', #1870, 1000.00000000000 ); #1416 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, 9.80000000000000 ) ); #1417 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, 0.000000000000000 ) ); #1418 = VECTOR( '', #1871, 1000.00000000000 ); #1419 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #1420 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #1421 = VECTOR( '', #1872, 1000.00000000000 ); #1422 = CARTESIAN_POINT( '', ( 7.30940107675850, 10.0000000000000, 11.0000000000000 ) ); #1423 = CARTESIAN_POINT( '', ( 7.30940107675850, 10.0000000000000, 11.0000000000000 ) ); #1424 = VECTOR( '', #1873, 1000.00000000000 ); #1425 = CARTESIAN_POINT( '', ( 7.30940107675850, 10.0000000000000, 11.0000000000000 ) ); #1426 = VECTOR( '', #1874, 1000.00000000000 ); #1427 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, 5.00000000000000 ) ); #1428 = CARTESIAN_POINT( '', ( -6.20000000000000, 8.07846096908265, 6.20000000000000 ) ); #1429 = VECTOR( '', #1875, 1000.00000000000 ); #1430 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #1431 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #1432 = VECTOR( '', #1876, 1000.00000000000 ); #1433 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, 9.80000000000000 ) ); #1434 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #1435 = VECTOR( '', #1877, 1000.00000000000 ); #1436 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #1437 = VECTOR( '', #1878, 1000.00000000000 ); #1438 = CARTESIAN_POINT( '', ( -9.04145188432738, 11.0000000000000, -9.04145188432738 ) ); #1439 = CARTESIAN_POINT( '', ( -9.04145188432738, 11.0000000000000, -11.0000000000000 ) ); #1440 = CARTESIAN_POINT( '', ( -9.04145188432738, 11.0000000000000, 11.0000000000000 ) ); #1441 = VECTOR( '', #1879, 1000.00000000000 ); #1442 = CARTESIAN_POINT( '', ( -7.30940107675850, 10.0000000000000, -7.30940107675850 ) ); #1443 = AXIS2_PLACEMENT_3D( '', #1880, #1881, #1882 ); #1444 = CARTESIAN_POINT( '', ( -7.30940107675850, 10.0000000000000, -11.0000000000000 ) ); #1445 = CARTESIAN_POINT( '', ( -7.30940107675850, 10.0000000000000, 11.0000000000000 ) ); #1446 = VECTOR( '', #1883, 1000.00000000000 ); #1447 = AXIS2_PLACEMENT_3D( '', #1884, #1885, #1886 ); #1448 = CARTESIAN_POINT( '', ( 1.11229109781787E-15, -4.40000000000000, -4.00000000000000 ) ); #1449 = CARTESIAN_POINT( '', ( 1.11229109781787E-15, 0.000000000000000, -4.00000000000000 ) ); #1450 = CARTESIAN_POINT( '', ( 1.11229109781787E-15, -4.40000000000000, -4.00000000000000 ) ); #1451 = VECTOR( '', #1887, 1000.00000000000 ); #1452 = CARTESIAN_POINT( '', ( -4.00000000000000, -4.40000000000000, -4.00000000000000 ) ); #1453 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, -4.00000000000000 ) ); #1454 = VECTOR( '', #1888, 1000.00000000000 ); #1455 = CARTESIAN_POINT( '', ( -4.00000000000000, 0.000000000000000, -4.00000000000000 ) ); #1456 = CARTESIAN_POINT( '', ( -4.00000000000000, -4.40000000000000, -4.00000000000000 ) ); #1457 = VECTOR( '', #1889, 1000.00000000000 ); #1458 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, -4.00000000000000 ) ); #1459 = VECTOR( '', #1890, 1000.00000000000 ); #1460 = CARTESIAN_POINT( '', ( -1.60214981747682E-15, -4.40000000000000, 4.00000000000000 ) ); #1461 = CARTESIAN_POINT( '', ( -1.60214981747682E-15, 0.000000000000000, 4.00000000000000 ) ); #1462 = CARTESIAN_POINT( '', ( -1.60214981747682E-15, -4.40000000000000, 4.00000000000000 ) ); #1463 = VECTOR( '', #1891, 1000.00000000000 ); #1464 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, 4.00000000000000 ) ); #1465 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, 4.00000000000000 ) ); #1466 = VECTOR( '', #1892, 1000.00000000000 ); #1467 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, 4.00000000000000 ) ); #1468 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, 4.00000000000000 ) ); #1469 = VECTOR( '', #1893, 1000.00000000000 ); #1470 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, 4.00000000000000 ) ); #1471 = VECTOR( '', #1894, 1000.00000000000 ); #1472 = CARTESIAN_POINT( '', ( -4.00000000000000, -4.40000000000000, -8.00000000000000 ) ); #1473 = CARTESIAN_POINT( '', ( -4.00000000000000, -4.40000000000000, -8.00000000000000 ) ); #1474 = VECTOR( '', #1895, 1000.00000000000 ); #1475 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, 0.000000000000000 ) ); #1476 = AXIS2_PLACEMENT_3D( '', #1896, #1897, #1898 ); #1477 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, -8.00000000000000 ) ); #1478 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, -8.00000000000000 ) ); #1479 = VECTOR( '', #1899, 1000.00000000000 ); #1480 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, -8.00000000000000 ) ); #1481 = VECTOR( '', #1900, 1000.00000000000 ); #1482 = CARTESIAN_POINT( '', ( -4.00000000000000, -5.40000000000000, -8.00000000000000 ) ); #1483 = CARTESIAN_POINT( '', ( -4.00000000000000, -5.40000000000000, -8.00000000000000 ) ); #1484 = VECTOR( '', #1901, 1000.00000000000 ); #1485 = CARTESIAN_POINT( '', ( 4.00000000000000, -5.40000000000000, -8.00000000000000 ) ); #1486 = CARTESIAN_POINT( '', ( 4.00000000000000, -5.40000000000000, -8.00000000000000 ) ); #1487 = VECTOR( '', #1902, 1000.00000000000 ); #1488 = CARTESIAN_POINT( '', ( 4.00000000000000, -5.40000000000000, -8.00000000000000 ) ); #1489 = VECTOR( '', #1903, 1000.00000000000 ); #1490 = CARTESIAN_POINT( '', ( -4.00000000000000, -9.40000000000000, -4.00000000000000 ) ); #1491 = CARTESIAN_POINT( '', ( -4.00000000000000, -9.40000000000000, -4.00000000000000 ) ); #1492 = VECTOR( '', #1904, 1000.00000000000 ); #1493 = CARTESIAN_POINT( '', ( 4.00000000000000, -9.40000000000000, -4.00000000000000 ) ); #1494 = CARTESIAN_POINT( '', ( 4.00000000000000, -9.40000000000000, -4.00000000000000 ) ); #1495 = VECTOR( '', #1905, 1000.00000000000 ); #1496 = CARTESIAN_POINT( '', ( 4.00000000000000, -9.40000000000000, -4.00000000000000 ) ); #1497 = VECTOR( '', #1906, 1000.00000000000 ); #1498 = CARTESIAN_POINT( '', ( -4.00000000000000, -9.40000000000000, 4.00000000000000 ) ); #1499 = CARTESIAN_POINT( '', ( -4.00000000000000, -9.40000000000000, 4.00000000000000 ) ); #1500 = VECTOR( '', #1907, 1000.00000000000 ); #1501 = CARTESIAN_POINT( '', ( 4.00000000000000, -9.40000000000000, 4.00000000000000 ) ); #1502 = CARTESIAN_POINT( '', ( 4.00000000000000, -9.40000000000000, 4.00000000000000 ) ); #1503 = VECTOR( '', #1908, 1000.00000000000 ); #1504 = CARTESIAN_POINT( '', ( 4.00000000000000, -9.40000000000000, 4.00000000000000 ) ); #1505 = VECTOR( '', #1909, 1000.00000000000 ); #1506 = CARTESIAN_POINT( '', ( -4.00000000000000, -5.40000000000000, 8.00000000000000 ) ); #1507 = CARTESIAN_POINT( '', ( -4.00000000000000, -5.40000000000000, 8.00000000000000 ) ); #1508 = VECTOR( '', #1910, 1000.00000000000 ); #1509 = CARTESIAN_POINT( '', ( 4.00000000000000, -5.40000000000000, 8.00000000000000 ) ); #1510 = CARTESIAN_POINT( '', ( 4.00000000000000, -5.40000000000000, 8.00000000000000 ) ); #1511 = VECTOR( '', #1911, 1000.00000000000 ); #1512 = CARTESIAN_POINT( '', ( 4.00000000000000, -5.40000000000000, 8.00000000000000 ) ); #1513 = VECTOR( '', #1912, 1000.00000000000 ); #1514 = CARTESIAN_POINT( '', ( -4.00000000000000, -4.40000000000000, 8.00000000000000 ) ); #1515 = CARTESIAN_POINT( '', ( -4.00000000000000, -4.40000000000000, 8.00000000000000 ) ); #1516 = VECTOR( '', #1913, 1000.00000000000 ); #1517 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, 8.00000000000000 ) ); #1518 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, 8.00000000000000 ) ); #1519 = VECTOR( '', #1914, 1000.00000000000 ); #1520 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, 8.00000000000000 ) ); #1521 = VECTOR( '', #1915, 1000.00000000000 ); #1522 = CARTESIAN_POINT( '', ( -4.00000000000000, -4.40000000000000, -3.14651648585283E-16 ) ); #1523 = CARTESIAN_POINT( '', ( -4.00000000000000, -4.40000000000000, 4.00000000000000 ) ); #1524 = VECTOR( '', #1916, 1000.00000000000 ); #1525 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, 4.00000000000000 ) ); #1526 = VECTOR( '', #1917, 1000.00000000000 ); #1527 = AXIS2_PLACEMENT_3D( '', #1918, #1919, #1920 ); #1528 = CARTESIAN_POINT( '', ( 9.80000000000000, 2.00000000000000, 5.20960000000000 ) ); #1529 = CARTESIAN_POINT( '', ( 9.80000000000000, 0.000000000000000, 5.31440000000000 ) ); #1530 = CARTESIAN_POINT( '', ( 9.80000000000000, 6.00000000000000, 5.00000000000000 ) ); #1531 = VECTOR( '', #1921, 1000.00000000000 ); #1532 = CARTESIAN_POINT( '', ( 9.80000000000000, 0.000000000000000, -5.31440000000000 ) ); #1533 = CARTESIAN_POINT( '', ( 9.80000000000000, 0.000000000000000, 5.31440000000000 ) ); #1534 = VECTOR( '', #1922, 1000.00000000000 ); #1535 = CARTESIAN_POINT( '', ( 9.80000000000000, 2.00000000000000, -5.20960000000000 ) ); #1536 = CARTESIAN_POINT( '', ( 9.80000000000000, 0.000000000000000, -5.31440000000000 ) ); #1537 = VECTOR( '', #1923, 1000.00000000000 ); #1538 = CARTESIAN_POINT( '', ( 9.80000000000000, 2.00000000000000, 0.000000000000000 ) ); #1539 = VECTOR( '', #1924, 1000.00000000000 ); #1540 = CARTESIAN_POINT( '', ( -9.80000000000000, 2.00000000000000, 5.20960000000000 ) ); #1541 = CARTESIAN_POINT( '', ( -9.80000000000000, 2.00000000000000, -5.20960000000000 ) ); #1542 = CARTESIAN_POINT( '', ( -9.80000000000000, 2.00000000000000, 0.000000000000000 ) ); #1543 = VECTOR( '', #1925, 1000.00000000000 ); #1544 = CARTESIAN_POINT( '', ( -9.80000000000000, 0.000000000000000, -5.31440000000000 ) ); #1545 = CARTESIAN_POINT( '', ( -9.80000000000000, 0.000000000000000, -5.31440000000000 ) ); #1546 = VECTOR( '', #1926, 1000.00000000000 ); #1547 = CARTESIAN_POINT( '', ( -9.80000000000000, 0.000000000000000, 5.31440000000000 ) ); #1548 = CARTESIAN_POINT( '', ( -9.80000000000000, 0.000000000000000, 5.31440000000000 ) ); #1549 = VECTOR( '', #1927, 1000.00000000000 ); #1550 = CARTESIAN_POINT( '', ( -9.80000000000000, 6.00000000000000, 5.00000000000000 ) ); #1551 = VECTOR( '', #1928, 1000.00000000000 ); #1552 = CARTESIAN_POINT( '', ( -5.10480000000000, 4.00000000000000, -5.10480000000000 ) ); #1553 = CARTESIAN_POINT( '', ( -9.80000000000000, 4.00000000000000, -5.10480000000000 ) ); #1554 = CARTESIAN_POINT( '', ( 12.0000000000000, 4.00000000000000, -5.10480000000000 ) ); #1555 = VECTOR( '', #1929, 1000.00000000000 ); #1556 = CARTESIAN_POINT( '', ( -9.80000000000000, 6.00000000000000, -5.00000000000000 ) ); #1557 = CARTESIAN_POINT( '', ( -9.80000000000000, 0.000000000000000, -5.31440000000000 ) ); #1558 = VECTOR( '', #1930, 1000.00000000000 ); #1559 = CARTESIAN_POINT( '', ( -11.0000000000000, 6.00000000000000, -5.00000000000000 ) ); #1560 = CARTESIAN_POINT( '', ( -9.80000000000000, 6.00000000000000, -5.00000000000000 ) ); #1561 = VECTOR( '', #1931, 1000.00000000000 ); #1562 = CARTESIAN_POINT( '', ( -11.0000000000000, 0.000000000000000, -5.31440000000000 ) ); #1563 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.8224130511407, -4.69490555612024 ) ); #1564 = VECTOR( '', #1932, 1000.00000000000 ); #1565 = CARTESIAN_POINT( '', ( -9.80000000000000, 0.000000000000000, -5.31440000000000 ) ); #1566 = VECTOR( '', #1933, 1000.00000000000 ); #1567 = CARTESIAN_POINT( '', ( -5.20960000000000, 2.00000000000000, -5.20960000000000 ) ); #1568 = CARTESIAN_POINT( '', ( 12.0000000000000, 2.00000000000000, -5.20960000000000 ) ); #1569 = VECTOR( '', #1934, 1000.00000000000 ); #1570 = CARTESIAN_POINT( '', ( -5.26984922453051, 0.850205638730779, -5.26984922453051 ) ); #1571 = VECTOR( '', #1935, 1000.00000000000 ); #1572 = CARTESIAN_POINT( '', ( -5.20960000000000, 2.00000000000000, 5.20960000000000 ) ); #1573 = CARTESIAN_POINT( '', ( 12.0000000000000, 2.00000000000000, 5.20960000000000 ) ); #1574 = VECTOR( '', #1936, 1000.00000000000 ); #1575 = CARTESIAN_POINT( '', ( -11.0000000000000, 0.000000000000000, 5.31440000000000 ) ); #1576 = CARTESIAN_POINT( '', ( -9.80000000000000, 0.000000000000000, 5.31440000000000 ) ); #1577 = VECTOR( '', #1937, 1000.00000000000 ); #1578 = CARTESIAN_POINT( '', ( -11.0000000000000, 6.00000000000000, 5.00000000000000 ) ); #1579 = CARTESIAN_POINT( '', ( -11.0000000000000, 10.6727696958798, 4.75514686793590 ) ); #1580 = VECTOR( '', #1938, 1000.00000000000 ); #1581 = CARTESIAN_POINT( '', ( -9.80000000000000, 6.00000000000000, 5.00000000000000 ) ); #1582 = CARTESIAN_POINT( '', ( -9.80000000000000, 6.00000000000000, 5.00000000000000 ) ); #1583 = VECTOR( '', #1939, 1000.00000000000 ); #1584 = CARTESIAN_POINT( '', ( -9.80000000000000, 4.00000000000000, 5.10480000000000 ) ); #1585 = CARTESIAN_POINT( '', ( -9.80000000000000, 6.00000000000000, 5.00000000000000 ) ); #1586 = VECTOR( '', #1940, 1000.00000000000 ); #1587 = CARTESIAN_POINT( '', ( -5.10480000000000, 4.00000000000000, 5.10480000000000 ) ); #1588 = CARTESIAN_POINT( '', ( 12.0000000000000, 4.00000000000000, 5.10480000000000 ) ); #1589 = VECTOR( '', #1941, 1000.00000000000 ); #1590 = CARTESIAN_POINT( '', ( -5.32992603154326, -0.296298311894265, 5.32992603154326 ) ); #1591 = VECTOR( '', #1942, 1000.00000000000 ); #1592 = CARTESIAN_POINT( '', ( -11.0000000000000, 10.0000000000000, -7.30940107675850 ) ); #1593 = CARTESIAN_POINT( '', ( 12.0000000000000, 10.0000000000000, -7.30940107675850 ) ); #1594 = VECTOR( '', #1943, 1000.00000000000 ); #1595 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.0000000000000, -9.04145188432738 ) ); #1596 = CARTESIAN_POINT( '', ( 12.0000000000000, 11.0000000000000, -9.04145188432738 ) ); #1597 = VECTOR( '', #1944, 1000.00000000000 ); #1598 = AXIS2_PLACEMENT_3D( '', #1945, #1946, #1947 ); #1599 = CARTESIAN_POINT( '', ( -11.0000000000000, 2.82179676972450, -3.16506350946110 ) ); #1600 = VECTOR( '', #1948, 1000.00000000000 ); #1601 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, -5.00000000000000 ) ); #1602 = CARTESIAN_POINT( '', ( 12.0000000000000, 6.00000000000000, -5.00000000000000 ) ); #1603 = VECTOR( '', #1949, 1000.00000000000 ); #1604 = CARTESIAN_POINT( '', ( -1.80000000000000, 0.457437415779594, -1.80000000000000 ) ); #1605 = VECTOR( '', #1950, 1000.00000000000 ); #1606 = CARTESIAN_POINT( '', ( -11.0000000000000, 10.0000000000000, 7.30940107675850 ) ); #1607 = CARTESIAN_POINT( '', ( -11.0000000000000, 12.3480762113533, 8.66506350946109 ) ); #1608 = VECTOR( '', #1951, 1000.00000000000 ); #1609 = CARTESIAN_POINT( '', ( 12.0000000000000, 10.0000000000000, 7.30940107675850 ) ); #1610 = VECTOR( '', #1952, 1000.00000000000 ); #1611 = CARTESIAN_POINT( '', ( 12.0000000000000, 6.00000000000000, 5.00000000000000 ) ); #1612 = VECTOR( '', #1953, 1000.00000000000 ); #1613 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.0000000000000, 9.04145188432738 ) ); #1614 = CARTESIAN_POINT( '', ( 12.0000000000000, 11.0000000000000, 9.04145188432738 ) ); #1615 = VECTOR( '', #1954, 1000.00000000000 ); #1616 = AXIS2_PLACEMENT_3D( '', #1955, #1956, #1957 ); #1617 = CARTESIAN_POINT( '', ( 5.31440000000000, 0.000000000000000, 11.0000000000000 ) ); #1618 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #1619 = VECTOR( '', #1958, 1000.00000000000 ); #1620 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #1621 = CARTESIAN_POINT( '', ( 5.31440000000000, 0.000000000000000, 11.0000000000000 ) ); #1622 = VECTOR( '', #1959, 1000.00000000000 ); #1623 = CARTESIAN_POINT( '', ( 11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #1624 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #1625 = VECTOR( '', #1960, 1000.00000000000 ); #1626 = CARTESIAN_POINT( '', ( 9.04145188432738, 11.0000000000000, 11.0000000000000 ) ); #1627 = CARTESIAN_POINT( '', ( 11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #1628 = VECTOR( '', #1961, 1000.00000000000 ); #1629 = AXIS2_PLACEMENT_3D( '', #1962, #1963, #1964 ); #1630 = CARTESIAN_POINT( '', ( 7.30940107675850, 10.0000000000000, -11.0000000000000 ) ); #1631 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, -11.0000000000000 ) ); #1632 = CARTESIAN_POINT( '', ( 7.30940107675850, 10.0000000000000, -11.0000000000000 ) ); #1633 = VECTOR( '', #1965, 1000.00000000000 ); #1634 = CARTESIAN_POINT( '', ( 9.04145188432738, 11.0000000000000, -11.0000000000000 ) ); #1635 = AXIS2_PLACEMENT_3D( '', #1966, #1967, #1968 ); #1636 = CARTESIAN_POINT( '', ( 11.0000000000000, 11.0000000000000, -11.0000000000000 ) ); #1637 = CARTESIAN_POINT( '', ( 11.0000000000000, 11.0000000000000, -11.0000000000000 ) ); #1638 = VECTOR( '', #1969, 1000.00000000000 ); #1639 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.000000000000000, -11.0000000000000 ) ); #1640 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.000000000000000, -11.0000000000000 ) ); #1641 = VECTOR( '', #1970, 1000.00000000000 ); #1642 = CARTESIAN_POINT( '', ( 5.31440000000000, 0.000000000000000, -11.0000000000000 ) ); #1643 = CARTESIAN_POINT( '', ( 5.31440000000000, 0.000000000000000, -11.0000000000000 ) ); #1644 = VECTOR( '', #1971, 1000.00000000000 ); #1645 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, -11.0000000000000 ) ); #1646 = VECTOR( '', #1972, 1000.00000000000 ); #1647 = CARTESIAN_POINT( '', ( 7.30940107675850, 10.0000000000000, -7.30940107675850 ) ); #1648 = CARTESIAN_POINT( '', ( 7.30940107675850, 10.0000000000000, 11.0000000000000 ) ); #1649 = VECTOR( '', #1973, 1000.00000000000 ); #1650 = CARTESIAN_POINT( '', ( 9.04145188432738, 11.0000000000000, -9.04145188432738 ) ); #1651 = AXIS2_PLACEMENT_3D( '', #1974, #1975, #1976 ); #1652 = CARTESIAN_POINT( '', ( 9.04145188432738, 11.0000000000000, 11.0000000000000 ) ); #1653 = VECTOR( '', #1977, 1000.00000000000 ); #1654 = CARTESIAN_POINT( '', ( 11.0000000000000, 11.0000000000000, -9.04145188432738 ) ); #1655 = CARTESIAN_POINT( '', ( 12.0000000000000, 11.0000000000000, -9.04145188432738 ) ); #1656 = VECTOR( '', #1978, 1000.00000000000 ); #1657 = CARTESIAN_POINT( '', ( 11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #1658 = VECTOR( '', #1979, 1000.00000000000 ); #1659 = CARTESIAN_POINT( '', ( 11.0000000000000, 6.00000000000000, -5.00000000000000 ) ); #1660 = CARTESIAN_POINT( '', ( 11.0000000000000, 10.0000000000000, -7.30940107675850 ) ); #1661 = CARTESIAN_POINT( '', ( 11.0000000000000, -5.42820323027551, 1.59807621135331 ) ); #1662 = VECTOR( '', #1980, 1000.00000000000 ); #1663 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.000000000000000, -5.31440000000000 ) ); #1664 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.852533707048516, -5.26972723375066 ) ); #1665 = VECTOR( '', #1981, 1000.00000000000 ); #1666 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #1667 = VECTOR( '', #1982, 1000.00000000000 ); #1668 = AXIS2_PLACEMENT_3D( '', #1983, #1984, #1985 ); #1669 = CARTESIAN_POINT( '', ( 5.20960000000000, 2.00000000000000, 5.20960000000000 ) ); #1670 = CARTESIAN_POINT( '', ( 5.10480000000000, 4.00000000000000, 5.10480000000000 ) ); #1671 = CARTESIAN_POINT( '', ( 5.01638458373075, 5.68731710437498, 5.01638458373075 ) ); #1672 = VECTOR( '', #1986, 1000.00000000000 ); #1673 = CARTESIAN_POINT( '', ( 5.20960000000000, 2.00000000000000, 9.80000000000000 ) ); #1674 = CARTESIAN_POINT( '', ( 5.20960000000000, 2.00000000000000, 0.000000000000000 ) ); #1675 = VECTOR( '', #1987, 1000.00000000000 ); #1676 = CARTESIAN_POINT( '', ( 5.31440000000000, 0.000000000000000, 9.80000000000000 ) ); #1677 = CARTESIAN_POINT( '', ( 5.16850009118961, 2.78434940477834, 9.80000000000000 ) ); #1678 = VECTOR( '', #1988, 1000.00000000000 ); #1679 = CARTESIAN_POINT( '', ( 5.31440000000000, 0.000000000000000, 11.0000000000000 ) ); #1680 = VECTOR( '', #1989, 1000.00000000000 ); #1681 = CARTESIAN_POINT( '', ( 5.10480000000000, 4.00000000000000, 9.80000000000000 ) ); #1682 = CARTESIAN_POINT( '', ( 4.95947402659673, 6.77339643899367, 9.80000000000000 ) ); #1683 = VECTOR( '', #1990, 1000.00000000000 ); #1684 = CARTESIAN_POINT( '', ( 5.10480000000000, 4.00000000000000, 0.000000000000000 ) ); #1685 = VECTOR( '', #1991, 1000.00000000000 ); #1686 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, -5.00000000000000 ) ); #1687 = CARTESIAN_POINT( '', ( 3.64752086140680, 3.65743741577959, -3.64752086140680 ) ); #1688 = VECTOR( '', #1992, 1000.00000000000 ); #1689 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, -9.80000000000000 ) ); #1690 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #1691 = VECTOR( '', #1993, 1000.00000000000 ); #1692 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.00000000000000, 0.000000000000000 ) ); #1693 = VECTOR( '', #1994, 1000.00000000000 ); #1694 = CARTESIAN_POINT( '', ( 9.80000000000000, 6.00000000000000, 5.00000000000000 ) ); #1695 = CARTESIAN_POINT( '', ( 12.0000000000000, 6.00000000000000, 5.00000000000000 ) ); #1696 = VECTOR( '', #1995, 1000.00000000000 ); #1697 = CARTESIAN_POINT( '', ( 9.80000000000000, 6.00000000000000, -5.00000000000000 ) ); #1698 = CARTESIAN_POINT( '', ( 9.80000000000000, 6.00000000000000, -5.00000000000000 ) ); #1699 = VECTOR( '', #1996, 1000.00000000000 ); #1700 = CARTESIAN_POINT( '', ( 12.0000000000000, 6.00000000000000, -5.00000000000000 ) ); #1701 = VECTOR( '', #1997, 1000.00000000000 ); #1702 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, -9.80000000000000 ) ); #1703 = CARTESIAN_POINT( '', ( 9.80000000000000, 6.00000000000000, -9.80000000000000 ) ); #1704 = VECTOR( '', #1998, 1000.00000000000 ); #1705 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #1706 = VECTOR( '', #1999, 1000.00000000000 ); #1707 = CARTESIAN_POINT( '', ( -9.80000000000000, 6.00000000000000, -5.00000000000000 ) ); #1708 = VECTOR( '', #2000, 1000.00000000000 ); #1709 = CARTESIAN_POINT( '', ( -9.80000000000000, 6.00000000000000, 9.80000000000000 ) ); #1710 = VECTOR( '', #2001, 1000.00000000000 ); #1711 = CARTESIAN_POINT( '', ( 9.80000000000000, 4.00000000000000, 5.10480000000000 ) ); #1712 = CARTESIAN_POINT( '', ( 9.80000000000000, 4.00000000000000, -5.10480000000000 ) ); #1713 = CARTESIAN_POINT( '', ( 9.80000000000000, 4.00000000000000, 0.000000000000000 ) ); #1714 = VECTOR( '', #2002, 1000.00000000000 ); #1715 = CARTESIAN_POINT( '', ( 12.0000000000000, 4.00000000000000, 5.10480000000000 ) ); #1716 = VECTOR( '', #2003, 1000.00000000000 ); #1717 = CARTESIAN_POINT( '', ( -5.10480000000000, 4.00000000000000, 9.80000000000000 ) ); #1718 = CARTESIAN_POINT( '', ( -9.80000000000000, 4.00000000000000, 9.80000000000000 ) ); #1719 = VECTOR( '', #2004, 1000.00000000000 ); #1720 = CARTESIAN_POINT( '', ( -5.10480000000000, 4.00000000000000, 11.0000000000000 ) ); #1721 = VECTOR( '', #2005, 1000.00000000000 ); #1722 = CARTESIAN_POINT( '', ( -9.80000000000000, 4.00000000000000, -0.000000000000000 ) ); #1723 = VECTOR( '', #2006, 1000.00000000000 ); #1724 = CARTESIAN_POINT( '', ( -5.10480000000000, 4.00000000000000, -9.80000000000000 ) ); #1725 = CARTESIAN_POINT( '', ( -5.10480000000000, 4.00000000000000, 11.0000000000000 ) ); #1726 = VECTOR( '', #2007, 1000.00000000000 ); #1727 = CARTESIAN_POINT( '', ( 5.10480000000000, 4.00000000000000, -9.80000000000000 ) ); #1728 = CARTESIAN_POINT( '', ( 9.80000000000000, 4.00000000000000, -9.80000000000000 ) ); #1729 = VECTOR( '', #2008, 1000.00000000000 ); #1730 = CARTESIAN_POINT( '', ( 5.10480000000000, 4.00000000000000, -5.10480000000000 ) ); #1731 = CARTESIAN_POINT( '', ( 5.10480000000000, 4.00000000000000, 0.000000000000000 ) ); #1732 = VECTOR( '', #2009, 1000.00000000000 ); #1733 = CARTESIAN_POINT( '', ( 12.0000000000000, 4.00000000000000, -5.10480000000000 ) ); #1734 = VECTOR( '', #2010, 1000.00000000000 ); #1735 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, 9.80000000000000 ) ); #1736 = VECTOR( '', #2011, 1000.00000000000 ); #1737 = CARTESIAN_POINT( '', ( 5.01314355894160, 5.74916872248854, -9.80000000000000 ) ); #1738 = VECTOR( '', #2012, 1000.00000000000 ); #1739 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, -9.80000000000000 ) ); #1740 = VECTOR( '', #2013, 1000.00000000000 ); #1741 = CARTESIAN_POINT( '', ( 12.0000000000000, 2.00000000000000, 5.20960000000000 ) ); #1742 = VECTOR( '', #2014, 1000.00000000000 ); #1743 = CARTESIAN_POINT( '', ( 5.20960000000000, 2.00000000000000, -5.20960000000000 ) ); #1744 = CARTESIAN_POINT( '', ( 12.0000000000000, 2.00000000000000, -5.20960000000000 ) ); #1745 = VECTOR( '', #2015, 1000.00000000000 ); #1746 = CARTESIAN_POINT( '', ( 5.20960000000000, 2.00000000000000, -9.80000000000000 ) ); #1747 = CARTESIAN_POINT( '', ( 5.20960000000000, 2.00000000000000, 0.000000000000000 ) ); #1748 = VECTOR( '', #2016, 1000.00000000000 ); #1749 = CARTESIAN_POINT( '', ( -5.20960000000000, 2.00000000000000, -9.80000000000000 ) ); #1750 = CARTESIAN_POINT( '', ( 9.80000000000000, 2.00000000000000, -9.80000000000000 ) ); #1751 = VECTOR( '', #2017, 1000.00000000000 ); #1752 = CARTESIAN_POINT( '', ( -5.20960000000000, 2.00000000000000, 11.0000000000000 ) ); #1753 = VECTOR( '', #2018, 1000.00000000000 ); #1754 = CARTESIAN_POINT( '', ( -5.20960000000000, 2.00000000000000, 9.80000000000000 ) ); #1755 = CARTESIAN_POINT( '', ( -5.20960000000000, 2.00000000000000, 11.0000000000000 ) ); #1756 = VECTOR( '', #2019, 1000.00000000000 ); #1757 = CARTESIAN_POINT( '', ( -9.80000000000000, 2.00000000000000, 9.80000000000000 ) ); #1758 = VECTOR( '', #2020, 1000.00000000000 ); #1759 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, 9.80000000000000 ) ); #1760 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, 9.80000000000000 ) ); #1761 = VECTOR( '', #2021, 1000.00000000000 ); #1762 = CARTESIAN_POINT( '', ( -9.80000000000000, 0.000000000000000, 9.80000000000000 ) ); #1763 = VECTOR( '', #2022, 1000.00000000000 ); #1764 = CARTESIAN_POINT( '', ( 5.31440000000000, 0.000000000000000, -9.80000000000000 ) ); #1765 = CARTESIAN_POINT( '', ( 5.22216962353448, 1.76012168827321, -9.80000000000000 ) ); #1766 = VECTOR( '', #2023, 1000.00000000000 ); #1767 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, -9.80000000000000 ) ); #1768 = CARTESIAN_POINT( '', ( 9.80000000000000, 0.000000000000000, -9.80000000000000 ) ); #1769 = VECTOR( '', #2024, 1000.00000000000 ); #1770 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, -9.80000000000000 ) ); #1771 = VECTOR( '', #2025, 1000.00000000000 ); #1772 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #1773 = CARTESIAN_POINT( '', ( -9.04145188432738, 11.0000000000000, 11.0000000000000 ) ); #1774 = VECTOR( '', #2026, 1000.00000000000 ); #1775 = CARTESIAN_POINT( '', ( -11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #1776 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #1777 = VECTOR( '', #2027, 1000.00000000000 ); #1778 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, 11.0000000000000 ) ); #1779 = CARTESIAN_POINT( '', ( -11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #1780 = VECTOR( '', #2028, 1000.00000000000 ); #1781 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, 11.0000000000000 ) ); #1782 = VECTOR( '', #2029, 1000.00000000000 ); #1783 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.0000000000000, -11.0000000000000 ) ); #1784 = CARTESIAN_POINT( '', ( -9.04145188432738, 11.0000000000000, -11.0000000000000 ) ); #1785 = VECTOR( '', #2030, 1000.00000000000 ); #1786 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, -11.0000000000000 ) ); #1787 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, -11.0000000000000 ) ); #1788 = VECTOR( '', #2031, 1000.00000000000 ); #1789 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, -11.0000000000000 ) ); #1790 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, -11.0000000000000 ) ); #1791 = VECTOR( '', #2032, 1000.00000000000 ); #1792 = CARTESIAN_POINT( '', ( -11.0000000000000, 0.000000000000000, -11.0000000000000 ) ); #1793 = CARTESIAN_POINT( '', ( -11.0000000000000, 0.000000000000000, -11.0000000000000 ) ); #1794 = VECTOR( '', #2033, 1000.00000000000 ); #1795 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.0000000000000, -11.0000000000000 ) ); #1796 = VECTOR( '', #2034, 1000.00000000000 ); #1797 = CARTESIAN_POINT( '', ( 11.0000000000000, 10.0000000000000, 7.30940107675850 ) ); #1798 = CARTESIAN_POINT( '', ( 12.0000000000000, 10.0000000000000, 7.30940107675850 ) ); #1799 = VECTOR( '', #2035, 1000.00000000000 ); #1800 = CARTESIAN_POINT( '', ( 9.04145188432738, 11.0000000000000, 9.04145188432738 ) ); #1801 = AXIS2_PLACEMENT_3D( '', #2036, #2037, #2038 ); #1802 = CARTESIAN_POINT( '', ( 11.0000000000000, 11.0000000000000, 9.04145188432738 ) ); #1803 = CARTESIAN_POINT( '', ( 12.0000000000000, 11.0000000000000, 9.04145188432738 ) ); #1804 = VECTOR( '', #2039, 1000.00000000000 ); #1805 = AXIS2_PLACEMENT_3D( '', #2040, #2041, #2042 ); #1806 = CARTESIAN_POINT( '', ( 12.0000000000000, 10.0000000000000, -7.30940107675850 ) ); #1807 = VECTOR( '', #2043, 1000.00000000000 ); #1808 = CARTESIAN_POINT( '', ( 12.0000000000000, 6.00000000000000, -5.00000000000000 ) ); #1809 = VECTOR( '', #2044, 1000.00000000000 ); #1810 = CARTESIAN_POINT( '', ( 11.0000000000000, 6.00000000000000, 5.00000000000000 ) ); #1811 = CARTESIAN_POINT( '', ( 11.0000000000000, 4.09807621135331, 3.90192378864668 ) ); #1812 = VECTOR( '', #2045, 1000.00000000000 ); #1813 = CARTESIAN_POINT( '', ( 12.0000000000000, 6.00000000000000, 5.00000000000000 ) ); #1814 = VECTOR( '', #2046, 1000.00000000000 ); #1815 = CARTESIAN_POINT( '', ( 9.80000000000000, 0.000000000000000, -5.31440000000000 ) ); #1816 = VECTOR( '', #2047, 1000.00000000000 ); #1817 = CARTESIAN_POINT( '', ( 4.95630777671800, 6.83382105500003, -4.95630777671800 ) ); #1818 = VECTOR( '', #2048, 1000.00000000000 ); #1819 = CARTESIAN_POINT( '', ( 9.80000000000000, 0.000000000000000, -5.31440000000000 ) ); #1820 = VECTOR( '', #2049, 1000.00000000000 ); #1821 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.000000000000000, 5.31440000000000 ) ); #1822 = CARTESIAN_POINT( '', ( 11.0000000000000, -0.297109648212323, 5.32996854556632 ) ); #1823 = VECTOR( '', #2050, 1000.00000000000 ); #1824 = CARTESIAN_POINT( '', ( 9.80000000000000, 0.000000000000000, 5.31440000000000 ) ); #1825 = VECTOR( '', #2051, 1000.00000000000 ); #1826 = CARTESIAN_POINT( '', ( 9.80000000000000, 6.00000000000000, 5.00000000000000 ) ); #1827 = VECTOR( '', #2052, 1000.00000000000 ); #1828 = CARTESIAN_POINT( '', ( -4.00000000000000, 0.000000000000000, -3.14651648585283E-16 ) ); #1829 = CARTESIAN_POINT( '', ( -4.00000000000000, -4.40000000000000, -3.14651648585283E-16 ) ); #1830 = VECTOR( '', #2053, 1000.00000000000 ); #1831 = CARTESIAN_POINT( '', ( -4.00000000000000, 0.000000000000000, -4.00000000000000 ) ); #1832 = VECTOR( '', #2054, 1000.00000000000 ); #1833 = AXIS2_PLACEMENT_3D( '', #2055, #2056, #2057 ); #1834 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1835 = AXIS2_PLACEMENT_3D( '', #2058, #2059, #2060 ); #1836 = CARTESIAN_POINT( '', ( 4.00000000000000, -4.40000000000000, 0.000000000000000 ) ); #1837 = VECTOR( '', #2061, 1000.00000000000 ); #1838 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, -4.00000000000000 ) ); #1839 = VECTOR( '', #2062, 1000.00000000000 ); #1840 = CARTESIAN_POINT( '', ( 11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #1841 = VECTOR( '', #2063, 1000.00000000000 ); #1842 = CARTESIAN_POINT( '', ( 11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #1843 = VECTOR( '', #2064, 1000.00000000000 ); #1844 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, 11.0000000000000 ) ); #1845 = VECTOR( '', #2065, 1000.00000000000 ); #1846 = CARTESIAN_POINT( '', ( -11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #1847 = VECTOR( '', #2066, 1000.00000000000 ); #1848 = CARTESIAN_POINT( '', ( -11.0000000000000, 0.000000000000000, 11.0000000000000 ) ); #1849 = VECTOR( '', #2067, 1000.00000000000 ); #1850 = CARTESIAN_POINT( '', ( -5.31440000000000, 0.000000000000000, 11.0000000000000 ) ); #1851 = VECTOR( '', #2068, 1000.00000000000 ); #1852 = CARTESIAN_POINT( '', ( 5.31440000000000, 0.000000000000000, 11.0000000000000 ) ); #1853 = VECTOR( '', #2069, 1000.00000000000 ); #1854 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #1855 = VECTOR( '', #2070, 1000.00000000000 ); #1856 = CARTESIAN_POINT( '', ( -11.0000000000000, 11.0000000000000, 11.0000000000000 ) ); #1857 = VECTOR( '', #2071, 1000.00000000000 ); #1858 = CARTESIAN_POINT( '', ( -5.00000000000000, 6.00000000000000, 11.0000000000000 ) ); #1859 = VECTOR( '', #2072, 1000.00000000000 ); #1860 = CARTESIAN_POINT( '', ( 9.04145188432738, 11.0000000000000, 11.0000000000000 ) ); #1861 = VECTOR( '', #2073, 1000.00000000000 ); #1862 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1863 = CARTESIAN_POINT( '', ( -9.04145188432738, 8.99999999999999, 9.04145188432738 ) ); #1864 = DIRECTION( '', ( -0.707106781186548, -0.000000000000000, -0.707106781186548 ) ); #1865 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186548 ) ); #1866 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1867 = CARTESIAN_POINT( '', ( -9.04145188432738, 8.99999999999999, 11.0000000000000 ) ); #1868 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1869 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1870 = DIRECTION( '', ( 0.447213595499958, 0.774596669241484, 0.447213595499958 ) ); #1871 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1872 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1873 = DIRECTION( '', ( -0.500000000000000, -0.866025403784439, 0.000000000000000 ) ); #1874 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1875 = DIRECTION( '', ( 0.447213595499958, -0.774596669241484, -0.447213595499958 ) ); #1876 = DIRECTION( '', ( -0.500000000000000, 0.866025403784439, 0.000000000000000 ) ); #1877 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1878 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1879 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1880 = CARTESIAN_POINT( '', ( -9.04145188432738, 8.99999999999999, -9.04145188432738 ) ); #1881 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186548 ) ); #1882 = DIRECTION( '', ( -0.707106781186547, -0.000000000000000, -0.707106781186547 ) ); #1883 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1884 = CARTESIAN_POINT( '', ( -9.04145188432738, 8.99999999999999, -11.0000000000000 ) ); #1885 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1886 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1887 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1888 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1889 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1890 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1891 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1892 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1893 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1894 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1895 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1896 = CARTESIAN_POINT( '', ( 8.67361737988404E-16, -4.40000000000000, -1.95156391047391E-15 ) ); #1897 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1898 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1899 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1900 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1901 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1902 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1903 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1904 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, -0.707106781186547 ) ); #1905 = DIRECTION( '', ( 0.000000000000000, 0.707106781186547, -0.707106781186547 ) ); #1906 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1907 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1908 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1909 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1910 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, -0.707106781186547 ) ); #1911 = DIRECTION( '', ( 0.000000000000000, -0.707106781186547, -0.707106781186547 ) ); #1912 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1913 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1914 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1915 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1916 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1917 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1918 = CARTESIAN_POINT( '', ( -8.67361737988404E-16, -4.40000000000000, 1.95156391047391E-15 ) ); #1919 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1920 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1921 = DIRECTION( '', ( 0.000000000000000, -0.998629940745736, 0.0523282088950768 ) ); #1922 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1923 = DIRECTION( '', ( 0.000000000000000, 0.998629940745736, 0.0523282088950765 ) ); #1924 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1925 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1926 = DIRECTION( '', ( 0.000000000000000, 0.998629940745736, 0.0523282088950765 ) ); #1927 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1928 = DIRECTION( '', ( 0.000000000000000, -0.998629940745736, 0.0523282088950768 ) ); #1929 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1930 = DIRECTION( '', ( 0.000000000000000, 0.998629940745736, 0.0523282088950765 ) ); #1931 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1932 = DIRECTION( '', ( 0.000000000000000, -0.998629940745737, -0.0523282088950755 ) ); #1933 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1934 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1935 = DIRECTION( '', ( 0.0522567120581190, 0.997265497292346, 0.0522567120581178 ) ); #1936 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1937 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1938 = DIRECTION( '', ( -0.000000000000000, 0.998629940745736, -0.0523282088950763 ) ); #1939 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1940 = DIRECTION( '', ( 0.000000000000000, -0.998629940745736, 0.0523282088950768 ) ); #1941 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1942 = DIRECTION( '', ( -0.0522567120581190, -0.997265497292346, 0.0522567120581187 ) ); #1943 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1944 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1945 = CARTESIAN_POINT( '', ( -11.0000000000000, 8.99999999999999, -9.04145188432738 ) ); #1946 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #1947 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1948 = DIRECTION( '', ( 0.000000000000000, -0.866025403784439, 0.500000000000000 ) ); #1949 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1950 = DIRECTION( '', ( -0.447213595499958, 0.774596669241484, -0.447213595499958 ) ); #1951 = DIRECTION( '', ( 0.000000000000000, 0.866025403784439, 0.500000000000000 ) ); #1952 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1953 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1954 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1955 = CARTESIAN_POINT( '', ( -11.0000000000000, 8.99999999999999, 9.04145188432738 ) ); #1956 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) ); #1957 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1958 = DIRECTION( '', ( 0.0523282088950766, -0.998629940745736, 0.000000000000000 ) ); #1959 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1960 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1961 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1962 = CARTESIAN_POINT( '', ( 9.04145188432738, 8.99999999999999, 11.0000000000000 ) ); #1963 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1964 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1965 = DIRECTION( '', ( -0.500000000000000, -0.866025403784439, 0.000000000000000 ) ); #1966 = CARTESIAN_POINT( '', ( 9.04145188432738, 8.99999999999999, -11.0000000000000 ) ); #1967 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1968 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1969 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1970 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1971 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1972 = DIRECTION( '', ( 0.0523282088950766, -0.998629940745736, 0.000000000000000 ) ); #1973 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1974 = CARTESIAN_POINT( '', ( 9.04145188432738, 8.99999999999999, -9.04145188432738 ) ); #1975 = DIRECTION( '', ( -0.707106781186548, -0.000000000000000, -0.707106781186548 ) ); #1976 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186548 ) ); #1977 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1978 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1979 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1980 = DIRECTION( '', ( 0.000000000000000, 0.866025403784439, -0.500000000000000 ) ); #1981 = DIRECTION( '', ( 0.000000000000000, 0.998629940745737, 0.0523282088950755 ) ); #1982 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1983 = CARTESIAN_POINT( '', ( 11.0000000000000, 8.99999999999999, -9.04145188432738 ) ); #1984 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1985 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1986 = DIRECTION( '', ( -0.0522567120581190, 0.997265497292346, -0.0522567120581187 ) ); #1987 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1988 = DIRECTION( '', ( 0.0523282088950766, -0.998629940745736, 0.000000000000000 ) ); #1989 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1990 = DIRECTION( '', ( 0.0523282088950766, -0.998629940745736, 0.000000000000000 ) ); #1991 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1992 = DIRECTION( '', ( -0.447213595499958, -0.774596669241484, 0.447213595499958 ) ); #1993 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #1994 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1995 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1996 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1997 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #1998 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1999 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2000 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2001 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2002 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2003 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #2004 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2005 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2006 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2007 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2008 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2009 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2010 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #2011 = DIRECTION( '', ( -0.0523282088950766, -0.998629940745736, 0.000000000000000 ) ); #2012 = DIRECTION( '', ( -0.0523282088950766, 0.998629940745736, 0.000000000000000 ) ); #2013 = DIRECTION( '', ( 0.0523282088950766, 0.998629940745736, 0.000000000000000 ) ); #2014 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #2015 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #2016 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2017 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2018 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2019 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2020 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2021 = DIRECTION( '', ( -0.0523282088950766, -0.998629940745736, 0.000000000000000 ) ); #2022 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2023 = DIRECTION( '', ( -0.0523282088950766, 0.998629940745736, 0.000000000000000 ) ); #2024 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2025 = DIRECTION( '', ( 0.0523282088950766, 0.998629940745736, 0.000000000000000 ) ); #2026 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2027 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #2028 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2029 = DIRECTION( '', ( 0.0523282088950766, 0.998629940745736, 0.000000000000000 ) ); #2030 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2031 = DIRECTION( '', ( -0.500000000000000, 0.866025403784439, 0.000000000000000 ) ); #2032 = DIRECTION( '', ( 0.0523282088950766, 0.998629940745736, 0.000000000000000 ) ); #2033 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2034 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #2035 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #2036 = CARTESIAN_POINT( '', ( 9.04145188432738, 8.99999999999999, 9.04145188432738 ) ); #2037 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186548 ) ); #2038 = DIRECTION( '', ( -0.707106781186547, -0.000000000000000, -0.707106781186547 ) ); #2039 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #2040 = CARTESIAN_POINT( '', ( 11.0000000000000, 8.99999999999999, 9.04145188432738 ) ); #2041 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2042 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2043 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #2044 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #2045 = DIRECTION( '', ( 0.000000000000000, -0.866025403784439, -0.500000000000000 ) ); #2046 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) ); #2047 = DIRECTION( '', ( 0.000000000000000, 0.998629940745736, 0.0523282088950765 ) ); #2048 = DIRECTION( '', ( 0.0522567120581190, -0.997265497292346, -0.0522567120581178 ) ); #2049 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2050 = DIRECTION( '', ( 0.000000000000000, -0.998629940745736, 0.0523282088950763 ) ); #2051 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2052 = DIRECTION( '', ( 0.000000000000000, -0.998629940745736, 0.0523282088950768 ) ); #2053 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2054 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2055 = CARTESIAN_POINT( '', ( -8.67361737988404E-16, 0.000000000000000, 1.95156391047391E-15 ) ); #2056 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2057 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2058 = CARTESIAN_POINT( '', ( 8.67361737988404E-16, 0.000000000000000, -1.95156391047391E-15 ) ); #2059 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2060 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2061 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2062 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2063 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2064 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2065 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2066 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2067 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2068 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2069 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2070 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2071 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2072 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); #2073 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) ); ENDSEC; END-ISO-10303-21;