ISO-10303-21; HEADER; FILE_DESCRIPTION( ( 'Unknown' ), '1' ); FILE_NAME( 'S://XL-CD/SVF/SVF-3D/SVF-B02/SVF-B02-50.stp', 'Unknown', ( 'Unknown' ), ( 'Unknown' ), 'XStep 1.0', 'Unknown', ' ' ); FILE_SCHEMA( ( 'CONFIG_CONTROL_DESIGN' ) ); ENDSEC; DATA; #1 = DESIGN_CONTEXT( '', #115, 'design' ); #2 = APPLICATION_PROTOCOL_DEFINITION( 'INTERNATIONAL STANDARD', 'config_control_design', 1994, #115 ); #3 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #116, #117 ); #4 = DATE_AND_TIME( #118, #119 ); #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( #120, #121, #122 ); #12 = APPROVAL_DATE_TIME( #4, #121 ); #13 = CC_DESIGN_APPROVAL( #121, ( #123, #124, #125 ) ); #14 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #4, #5, ( #125 ) ); #15 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #4, #6, ( #123 ) ); #16 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #120, #10, ( #126 ) ); #17 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #120, #7, ( #125 ) ); #18 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #120, #7, ( #124 ) ); #19 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #120, #8, ( #124 ) ); #20 = CC_DESIGN_SECURITY_CLASSIFICATION( #123, ( #124 ) ); #21 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #120, #9, ( #123 ) ); #22 = SHAPE_DEFINITION_REPRESENTATION( #127, #128 ); #23 = DESIGN_CONTEXT( '', #129, 'design' ); #24 = APPLICATION_PROTOCOL_DEFINITION( 'INTERNATIONAL STANDARD', 'config_control_design', 1994, #129 ); #25 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #130, #131 ); #26 = DATE_AND_TIME( #132, #133 ); #27 = DATE_TIME_ROLE( 'creation_date' ); #28 = DATE_TIME_ROLE( 'classification_date' ); #29 = PERSON_AND_ORGANIZATION_ROLE( 'creator' ); #30 = PERSON_AND_ORGANIZATION_ROLE( 'design_supplier' ); #31 = PERSON_AND_ORGANIZATION_ROLE( 'classification_officer' ); #32 = PERSON_AND_ORGANIZATION_ROLE( 'design_owner' ); #33 = APPROVAL_PERSON_ORGANIZATION( #134, #135, #136 ); #34 = APPROVAL_DATE_TIME( #26, #135 ); #35 = CC_DESIGN_APPROVAL( #135, ( #137, #138, #139 ) ); #36 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #26, #27, ( #139 ) ); #37 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #26, #28, ( #137 ) ); #38 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #134, #32, ( #140 ) ); #39 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #134, #29, ( #139 ) ); #40 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #134, #29, ( #138 ) ); #41 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #134, #30, ( #138 ) ); #42 = CC_DESIGN_SECURITY_CLASSIFICATION( #137, ( #138 ) ); #43 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #134, #31, ( #137 ) ); #44 = SHAPE_DEFINITION_REPRESENTATION( #141, #142 ); #45 = DESIGN_CONTEXT( '', #143, 'design' ); #46 = APPLICATION_PROTOCOL_DEFINITION( 'INTERNATIONAL STANDARD', 'config_control_design', 1994, #143 ); #47 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #144, #145 ); #48 = DATE_AND_TIME( #146, #147 ); #49 = DATE_TIME_ROLE( 'creation_date' ); #50 = DATE_TIME_ROLE( 'classification_date' ); #51 = PERSON_AND_ORGANIZATION_ROLE( 'creator' ); #52 = PERSON_AND_ORGANIZATION_ROLE( 'design_supplier' ); #53 = PERSON_AND_ORGANIZATION_ROLE( 'classification_officer' ); #54 = PERSON_AND_ORGANIZATION_ROLE( 'design_owner' ); #55 = APPROVAL_PERSON_ORGANIZATION( #148, #149, #150 ); #56 = APPROVAL_DATE_TIME( #48, #149 ); #57 = CC_DESIGN_APPROVAL( #149, ( #151, #152, #153 ) ); #58 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #48, #49, ( #153 ) ); #59 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #48, #50, ( #151 ) ); #60 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #148, #54, ( #154 ) ); #61 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #148, #51, ( #153 ) ); #62 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #148, #51, ( #152 ) ); #63 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #148, #52, ( #152 ) ); #64 = CC_DESIGN_SECURITY_CLASSIFICATION( #151, ( #152 ) ); #65 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #148, #53, ( #151 ) ); #66 = SHAPE_DEFINITION_REPRESENTATION( #155, #156 ); #67 = DESIGN_CONTEXT( '', #157, 'design' ); #68 = APPLICATION_PROTOCOL_DEFINITION( 'INTERNATIONAL STANDARD', 'config_control_design', 1994, #157 ); #69 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #158, #159 ); #70 = DATE_AND_TIME( #160, #161 ); #71 = DATE_TIME_ROLE( 'creation_date' ); #72 = DATE_TIME_ROLE( 'classification_date' ); #73 = PERSON_AND_ORGANIZATION_ROLE( 'creator' ); #74 = PERSON_AND_ORGANIZATION_ROLE( 'design_supplier' ); #75 = PERSON_AND_ORGANIZATION_ROLE( 'classification_officer' ); #76 = PERSON_AND_ORGANIZATION_ROLE( 'design_owner' ); #77 = APPROVAL_PERSON_ORGANIZATION( #162, #163, #164 ); #78 = APPROVAL_DATE_TIME( #70, #163 ); #79 = CC_DESIGN_APPROVAL( #163, ( #165, #166, #167 ) ); #80 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #70, #71, ( #167 ) ); #81 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #70, #72, ( #165 ) ); #82 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #162, #76, ( #168 ) ); #83 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #162, #73, ( #167 ) ); #84 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #162, #73, ( #166 ) ); #85 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #162, #74, ( #166 ) ); #86 = CC_DESIGN_SECURITY_CLASSIFICATION( #165, ( #166 ) ); #87 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #162, #75, ( #165 ) ); #88 = SHAPE_DEFINITION_REPRESENTATION( #169, #170 ); #89 = DESIGN_CONTEXT( '', #171, 'design' ); #90 = APPLICATION_PROTOCOL_DEFINITION( 'INTERNATIONAL STANDARD', 'config_control_design', 1994, #171 ); #91 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #172, #173 ); #92 = DATE_AND_TIME( #174, #175 ); #93 = DATE_TIME_ROLE( 'creation_date' ); #94 = DATE_TIME_ROLE( 'classification_date' ); #95 = PERSON_AND_ORGANIZATION_ROLE( 'creator' ); #96 = PERSON_AND_ORGANIZATION_ROLE( 'design_supplier' ); #97 = PERSON_AND_ORGANIZATION_ROLE( 'classification_officer' ); #98 = PERSON_AND_ORGANIZATION_ROLE( 'design_owner' ); #99 = APPROVAL_PERSON_ORGANIZATION( #176, #177, #178 ); #100 = APPROVAL_DATE_TIME( #92, #177 ); #101 = CC_DESIGN_APPROVAL( #177, ( #179, #180, #181 ) ); #102 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #92, #93, ( #181 ) ); #103 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #92, #94, ( #179 ) ); #104 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #176, #98, ( #182 ) ); #105 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #176, #95, ( #181 ) ); #106 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #176, #95, ( #180 ) ); #107 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #176, #96, ( #180 ) ); #108 = CC_DESIGN_SECURITY_CLASSIFICATION( #179, ( #180 ) ); #109 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #176, #97, ( #179 ) ); #110 = SHAPE_DEFINITION_REPRESENTATION( #183, #184 ); #111 = ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #187 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #189, #190, #191 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) ); #115 = APPLICATION_CONTEXT( 'CONFIGURATION CONTROLLED 3D DESIGNS OF MECHANICAL PARTS AND ASSEMBLIES' ); #116 = PRODUCT_CATEGORY( 'part', 'NONE' ); #117 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #126 ) ); #118 = CALENDAR_DATE( 2006, 24, 3 ); #119 = LOCAL_TIME( 14, 39, 11.0000000000000, #193 ); #120 = PERSON_AND_ORGANIZATION( #194, #195 ); #121 = APPROVAL( #196, 'SOLID MODEL' ); #122 = APPROVAL_ROLE( 'APPROVED' ); #123 = SECURITY_CLASSIFICATION( '', '', #197 ); #124 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #126, .NOT_KNOWN. ); #125 = PRODUCT_DEFINITION( 'NONE', 'NONE', #124, #1 ); #126 = PRODUCT( 'Assem1', 'Assem1', 'PART-Assem1-DESC', ( #198 ) ); #127 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #125 ); #128 = ADVANCED_BREP_SHAPE_REPRESENTATION( 'Assem1', ( #199, #200, #201, #202, #203 ), #111 ); #129 = APPLICATION_CONTEXT( 'CONFIGURATION CONTROLLED 3D DESIGNS OF MECHANICAL PARTS AND ASSEMBLIES' ); #130 = PRODUCT_CATEGORY( 'part', 'NONE' ); #131 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #140 ) ); #132 = CALENDAR_DATE( 2006, 24, 3 ); #133 = LOCAL_TIME( 14, 39, 11.0000000000000, #204 ); #134 = PERSON_AND_ORGANIZATION( #205, #206 ); #135 = APPROVAL( #207, 'SOLID MODEL' ); #136 = APPROVAL_ROLE( 'APPROVED' ); #137 = SECURITY_CLASSIFICATION( '', '', #208 ); #138 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #140, .NOT_KNOWN. ); #139 = PRODUCT_DEFINITION( 'NONE', 'NONE', #138, #23 ); #140 = PRODUCT( '1', '1', 'PART-1-DESC', ( #209 ) ); #141 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #139 ); #142 = ADVANCED_BREP_SHAPE_REPRESENTATION( '1', ( #210 ), #111 ); #143 = APPLICATION_CONTEXT( 'CONFIGURATION CONTROLLED 3D DESIGNS OF MECHANICAL PARTS AND ASSEMBLIES' ); #144 = PRODUCT_CATEGORY( 'part', 'NONE' ); #145 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #154 ) ); #146 = CALENDAR_DATE( 2006, 24, 3 ); #147 = LOCAL_TIME( 14, 39, 11.0000000000000, #211 ); #148 = PERSON_AND_ORGANIZATION( #212, #213 ); #149 = APPROVAL( #214, 'SOLID MODEL' ); #150 = APPROVAL_ROLE( 'APPROVED' ); #151 = SECURITY_CLASSIFICATION( '', '', #215 ); #152 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #154, .NOT_KNOWN. ); #153 = PRODUCT_DEFINITION( 'NONE', 'NONE', #152, #45 ); #154 = PRODUCT( '2', '2', 'PART-2-DESC', ( #216 ) ); #155 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #153 ); #156 = ADVANCED_BREP_SHAPE_REPRESENTATION( '2', ( #217 ), #111 ); #157 = APPLICATION_CONTEXT( 'CONFIGURATION CONTROLLED 3D DESIGNS OF MECHANICAL PARTS AND ASSEMBLIES' ); #158 = PRODUCT_CATEGORY( 'part', 'NONE' ); #159 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #168 ) ); #160 = CALENDAR_DATE( 2006, 24, 3 ); #161 = LOCAL_TIME( 14, 39, 11.0000000000000, #218 ); #162 = PERSON_AND_ORGANIZATION( #219, #220 ); #163 = APPROVAL( #221, 'SOLID MODEL' ); #164 = APPROVAL_ROLE( 'APPROVED' ); #165 = SECURITY_CLASSIFICATION( '', '', #222 ); #166 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #168, .NOT_KNOWN. ); #167 = PRODUCT_DEFINITION( 'NONE', 'NONE', #166, #67 ); #168 = PRODUCT( '3', '3', 'PART-3-DESC', ( #223 ) ); #169 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #167 ); #170 = ADVANCED_BREP_SHAPE_REPRESENTATION( '3', ( #224 ), #111 ); #171 = APPLICATION_CONTEXT( 'CONFIGURATION CONTROLLED 3D DESIGNS OF MECHANICAL PARTS AND ASSEMBLIES' ); #172 = PRODUCT_CATEGORY( 'part', 'NONE' ); #173 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #182 ) ); #174 = CALENDAR_DATE( 2006, 24, 3 ); #175 = LOCAL_TIME( 14, 39, 11.0000000000000, #225 ); #176 = PERSON_AND_ORGANIZATION( #226, #227 ); #177 = APPROVAL( #228, 'SOLID MODEL' ); #178 = APPROVAL_ROLE( 'APPROVED' ); #179 = SECURITY_CLASSIFICATION( '', '', #229 ); #180 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #182, .NOT_KNOWN. ); #181 = PRODUCT_DEFINITION( 'NONE', 'NONE', #180, #89 ); #182 = PRODUCT( '4', '4', 'PART-4-DESC', ( #230 ) ); #183 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #181 ); #184 = ADVANCED_BREP_SHAPE_REPRESENTATION( '4', ( #231 ), #111 ); #187 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 0.00100000000000000 ), #189, '', '' ); #189 = ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #234 )LENGTH_UNIT( )NAMED_UNIT( #237 ) ); #190 = ( NAMED_UNIT( #239 )PLANE_ANGLE_UNIT( )SI_UNIT( $, .RADIAN. ) ); #191 = ( NAMED_UNIT( #239 )SOLID_ANGLE_UNIT( )SI_UNIT( $, .STERADIAN. ) ); #193 = COORDINATED_UNIVERSAL_TIME_OFFSET( 8, 0, .AHEAD. ); #194 = PERSON( '', 'UNSPECIFIED', $, $, $, $ ); #195 = ORGANIZATION( 'UNSPECIFIED', 'UNSPECIFIED', 'UNSPECIFIED' ); #196 = APPROVAL_STATUS( 'approved' ); #197 = SECURITY_CLASSIFICATION_LEVEL( 'unclassified' ); #198 = MECHANICAL_CONTEXT( '', #115, 'mechanical' ); #199 = MAPPED_ITEM( '', #245, #246 ); #200 = MAPPED_ITEM( '', #247, #248 ); #201 = MAPPED_ITEM( '', #249, #250 ); #202 = MAPPED_ITEM( '', #251, #252 ); #203 = AXIS2_PLACEMENT_3D( '', #253, #254, #255 ); #204 = COORDINATED_UNIVERSAL_TIME_OFFSET( 8, 0, .AHEAD. ); #205 = PERSON( '', 'UNSPECIFIED', $, $, $, $ ); #206 = ORGANIZATION( 'UNSPECIFIED', 'UNSPECIFIED', 'UNSPECIFIED' ); #207 = APPROVAL_STATUS( 'approved' ); #208 = SECURITY_CLASSIFICATION_LEVEL( 'unclassified' ); #209 = MECHANICAL_CONTEXT( '', #129, 'mechanical' ); #210 = MANIFOLD_SOLID_BREP( '1', #256 ); #211 = COORDINATED_UNIVERSAL_TIME_OFFSET( 8, 0, .AHEAD. ); #212 = PERSON( '', 'UNSPECIFIED', $, $, $, $ ); #213 = ORGANIZATION( 'UNSPECIFIED', 'UNSPECIFIED', 'UNSPECIFIED' ); #214 = APPROVAL_STATUS( 'approved' ); #215 = SECURITY_CLASSIFICATION_LEVEL( 'unclassified' ); #216 = MECHANICAL_CONTEXT( '', #143, 'mechanical' ); #217 = MANIFOLD_SOLID_BREP( '2', #257 ); #218 = COORDINATED_UNIVERSAL_TIME_OFFSET( 8, 0, .AHEAD. ); #219 = PERSON( '', 'UNSPECIFIED', $, $, $, $ ); #220 = ORGANIZATION( 'UNSPECIFIED', 'UNSPECIFIED', 'UNSPECIFIED' ); #221 = APPROVAL_STATUS( 'approved' ); #222 = SECURITY_CLASSIFICATION_LEVEL( 'unclassified' ); #223 = MECHANICAL_CONTEXT( '', #157, 'mechanical' ); #224 = MANIFOLD_SOLID_BREP( '3', #258 ); #225 = COORDINATED_UNIVERSAL_TIME_OFFSET( 8, 0, .AHEAD. ); #226 = PERSON( '', 'UNSPECIFIED', $, $, $, $ ); #227 = ORGANIZATION( 'UNSPECIFIED', 'UNSPECIFIED', 'UNSPECIFIED' ); #228 = APPROVAL_STATUS( 'approved' ); #229 = SECURITY_CLASSIFICATION_LEVEL( 'unclassified' ); #230 = MECHANICAL_CONTEXT( '', #171, 'mechanical' ); #231 = MANIFOLD_SOLID_BREP( '4', #259 ); #234 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #260 ); #237 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 ); #239 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 ); #245 = REPRESENTATION_MAP( #203, #142 ); #246 = AXIS2_PLACEMENT_3D( '', #261, #262, #263 ); #247 = REPRESENTATION_MAP( #203, #156 ); #248 = AXIS2_PLACEMENT_3D( '', #264, #265, #266 ); #249 = REPRESENTATION_MAP( #203, #170 ); #250 = AXIS2_PLACEMENT_3D( '', #267, #268, #269 ); #251 = REPRESENTATION_MAP( #203, #184 ); #252 = AXIS2_PLACEMENT_3D( '', #270, #271, #272 ); #253 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) ); #254 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #255 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #256 = CLOSED_SHELL( '', ( #273, #274, #275, #276, #277, #278, #279, #280, #281, #282, #283, #284, #285, #286, #287, #288, #289, #290, #291 ) ); #257 = CLOSED_SHELL( '', ( #292, #293, #294, #295, #296, #297, #298, #299, #300, #301, #302, #303 ) ); #258 = CLOSED_SHELL( '', ( #304, #305, #306, #307, #308, #309, #310, #311, #312, #313, #314, #315, #316, #317, #318 ) ); #259 = CLOSED_SHELL( '', ( #319, #320, #321, #322, #323, #324, #325, #326, #327, #328, #329, #330 ) ); #260 = ( NAMED_UNIT( #237 )LENGTH_UNIT( )SI_UNIT( .MILLI., .METRE. ) ); #261 = CARTESIAN_POINT( '', ( 3.69622911794661E-014, 33.4729097112205, -31.7267143416093 ) ); #262 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #263 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #264 = CARTESIAN_POINT( '', ( 5.70953702053059E-014, 33.4729097112204, 12.2732856583907 ) ); #265 = DIRECTION( '', ( -6.10622663543828E-016, 1.00000000000000, 2.05811415554065E-015 ) ); #266 = DIRECTION( '', ( 1.00000000000000, 6.10622663543829E-016, -4.25976018777098E-016 ) ); #267 = CARTESIAN_POINT( '', ( 3.75486102510696E-014, 33.4729097112205, -5.47671434160929 ) ); #268 = DIRECTION( '', ( 5.68594823136055E-016, -1.99352244766600E-015, 1.00000000000000 ) ); #269 = DIRECTION( '', ( -1.00000000000000, 2.68729796226247E-030, 5.68594823136055E-016 ) ); #270 = CARTESIAN_POINT( '', ( 6.03052742845876E-014, 33.4729097112204, 21.1732856583908 ) ); #271 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #272 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #273 = ADVANCED_FACE( '', ( #332, #333 ), #334, .F. ); #274 = ADVANCED_FACE( '', ( #335 ), #336, .F. ); #275 = ADVANCED_FACE( '', ( #337 ), #338, .F. ); #276 = ADVANCED_FACE( '', ( #339, #340 ), #341, .T. ); #277 = ADVANCED_FACE( '', ( #342, #343 ), #344, .T. ); #278 = ADVANCED_FACE( '', ( #345, #346 ), #347, .T. ); #279 = ADVANCED_FACE( '', ( #348 ), #349, .F. ); #280 = ADVANCED_FACE( '', ( #350, #351 ), #352, .F. ); #281 = ADVANCED_FACE( '', ( #353, #354 ), #355, .T. ); #282 = ADVANCED_FACE( '', ( #356, #357 ), #358, .F. ); #283 = ADVANCED_FACE( '', ( #359, #360 ), #361, .T. ); #284 = ADVANCED_FACE( '', ( #362 ), #363, .F. ); #285 = ADVANCED_FACE( '', ( #364 ), #365, .F. ); #286 = ADVANCED_FACE( '', ( #366 ), #367, .F. ); #287 = ADVANCED_FACE( '', ( #368 ), #369, .F. ); #288 = ADVANCED_FACE( '', ( #370, #371 ), #372, .T. ); #289 = ADVANCED_FACE( '', ( #373 ), #374, .F. ); #290 = ADVANCED_FACE( '', ( #375, #376 ), #377, .T. ); #291 = ADVANCED_FACE( '', ( #378, #379 ), #380, .T. ); #292 = ADVANCED_FACE( '', ( #381 ), #382, .F. ); #293 = ADVANCED_FACE( '', ( #383, #384, #385 ), #386, .T. ); #294 = ADVANCED_FACE( '', ( #387 ), #388, .F. ); #295 = ADVANCED_FACE( '', ( #389 ), #390, .F. ); #296 = ADVANCED_FACE( '', ( #391, #392, #393 ), #394, .F. ); #297 = ADVANCED_FACE( '', ( #395 ), #396, .F. ); #298 = ADVANCED_FACE( '', ( #397 ), #398, .F. ); #299 = ADVANCED_FACE( '', ( #399 ), #400, .T. ); #300 = ADVANCED_FACE( '', ( #401 ), #402, .F. ); #301 = ADVANCED_FACE( '', ( #403 ), #404, .F. ); #302 = ADVANCED_FACE( '', ( #405, #406 ), #407, .F. ); #303 = ADVANCED_FACE( '', ( #408, #409 ), #410, .F. ); #304 = ADVANCED_FACE( '', ( #411 ), #412, .F. ); #305 = ADVANCED_FACE( '', ( #413 ), #414, .F. ); #306 = ADVANCED_FACE( '', ( #415 ), #416, .F. ); #307 = ADVANCED_FACE( '', ( #417 ), #418, .F. ); #308 = ADVANCED_FACE( '', ( #419 ), #420, .F. ); #309 = ADVANCED_FACE( '', ( #421 ), #422, .F. ); #310 = ADVANCED_FACE( '', ( #423 ), #424, .F. ); #311 = ADVANCED_FACE( '', ( #425 ), #426, .T. ); #312 = ADVANCED_FACE( '', ( #427, #428 ), #429, .F. ); #313 = ADVANCED_FACE( '', ( #430 ), #431, .F. ); #314 = ADVANCED_FACE( '', ( #432 ), #433, .F. ); #315 = ADVANCED_FACE( '', ( #434, #435 ), #436, .F. ); #316 = ADVANCED_FACE( '', ( #437 ), #438, .F. ); #317 = ADVANCED_FACE( '', ( #439 ), #440, .F. ); #318 = ADVANCED_FACE( '', ( #441, #442 ), #443, .F. ); #319 = ADVANCED_FACE( '', ( #444, #445 ), #446, .F. ); #320 = ADVANCED_FACE( '', ( #447 ), #448, .F. ); #321 = ADVANCED_FACE( '', ( #449 ), #450, .T. ); #322 = ADVANCED_FACE( '', ( #451 ), #452, .T. ); #323 = ADVANCED_FACE( '', ( #453 ), #454, .F. ); #324 = ADVANCED_FACE( '', ( #455, #456 ), #457, .F. ); #325 = ADVANCED_FACE( '', ( #458, #459 ), #460, .F. ); #326 = ADVANCED_FACE( '', ( #461, #462 ), #463, .F. ); #327 = ADVANCED_FACE( '', ( #464, #465 ), #466, .F. ); #328 = ADVANCED_FACE( '', ( #467 ), #468, .F. ); #329 = ADVANCED_FACE( '', ( #469 ), #470, .F. ); #330 = ADVANCED_FACE( '', ( #471, #472 ), #473, .F. ); #332 = FACE_OUTER_BOUND( '', #474, .T. ); #333 = FACE_BOUND( '', #475, .T. ); #334 = PLANE( '', #476 ); #335 = FACE_OUTER_BOUND( '', #477, .T. ); #336 = PLANE( '', #478 ); #337 = FACE_OUTER_BOUND( '', #479, .T. ); #338 = PLANE( '', #480 ); #339 = FACE_OUTER_BOUND( '', #481, .T. ); #340 = FACE_OUTER_BOUND( '', #482, .T. ); #341 = CYLINDRICAL_SURFACE( '', #483, 6.50000000000000 ); #342 = FACE_OUTER_BOUND( '', #484, .T. ); #343 = FACE_BOUND( '', #485, .T. ); #344 = CONICAL_SURFACE( '', #486, 5.50000000000000, 0.785398163397448 ); #345 = FACE_BOUND( '', #487, .T. ); #346 = FACE_OUTER_BOUND( '', #488, .T. ); #347 = CONICAL_SURFACE( '', #489, 6.50000000000000, 0.785398163397448 ); #348 = FACE_OUTER_BOUND( '', #490, .T. ); #349 = PLANE( '', #491 ); #350 = FACE_OUTER_BOUND( '', #492, .T. ); #351 = FACE_BOUND( '', #493, .T. ); #352 = PLANE( '', #494 ); #353 = FACE_OUTER_BOUND( '', #495, .T. ); #354 = FACE_OUTER_BOUND( '', #496, .T. ); #355 = CYLINDRICAL_SURFACE( '', #497, 3.99999999999999 ); #356 = FACE_BOUND( '', #498, .T. ); #357 = FACE_OUTER_BOUND( '', #499, .T. ); #358 = PLANE( '', #500 ); #359 = FACE_OUTER_BOUND( '', #501, .T. ); #360 = FACE_OUTER_BOUND( '', #502, .T. ); #361 = CYLINDRICAL_SURFACE( '', #503, 3.59999999999999 ); #362 = FACE_OUTER_BOUND( '', #504, .T. ); #363 = PLANE( '', #505 ); #364 = FACE_OUTER_BOUND( '', #506, .T. ); #365 = PLANE( '', #507 ); #366 = FACE_OUTER_BOUND( '', #508, .T. ); #367 = PLANE( '', #509 ); #368 = FACE_OUTER_BOUND( '', #510, .T. ); #369 = PLANE( '', #511 ); #370 = FACE_BOUND( '', #512, .T. ); #371 = FACE_OUTER_BOUND( '', #513, .T. ); #372 = CONICAL_SURFACE( '', #514, 4.00000000000000, 0.785398163397448 ); #373 = FACE_OUTER_BOUND( '', #515, .T. ); #374 = PLANE( '', #516 ); #375 = FACE_OUTER_BOUND( '', #517, .T. ); #376 = FACE_BOUND( '', #518, .T. ); #377 = PLANE( '', #519 ); #378 = FACE_OUTER_BOUND( '', #520, .T. ); #379 = FACE_OUTER_BOUND( '', #521, .T. ); #380 = CYLINDRICAL_SURFACE( '', #522, 4.00000000000000 ); #381 = FACE_OUTER_BOUND( '', #523, .T. ); #382 = PLANE( '', #524 ); #383 = FACE_BOUND( '', #525, .T. ); #384 = FACE_BOUND( '', #526, .T. ); #385 = FACE_OUTER_BOUND( '', #527, .T. ); #386 = PLANE( '', #528 ); #387 = FACE_OUTER_BOUND( '', #529, .T. ); #388 = CYLINDRICAL_SURFACE( '', #530, 3.20000000000000 ); #389 = FACE_OUTER_BOUND( '', #531, .T. ); #390 = PLANE( '', #532 ); #391 = FACE_BOUND( '', #533, .T. ); #392 = FACE_BOUND( '', #534, .T. ); #393 = FACE_OUTER_BOUND( '', #535, .T. ); #394 = PLANE( '', #536 ); #395 = FACE_OUTER_BOUND( '', #537, .T. ); #396 = PLANE( '', #538 ); #397 = FACE_OUTER_BOUND( '', #539, .T. ); #398 = PLANE( '', #540 ); #399 = FACE_OUTER_BOUND( '', #541, .T. ); #400 = CYLINDRICAL_SURFACE( '', #542, 4.57695792599488 ); #401 = FACE_OUTER_BOUND( '', #543, .T. ); #402 = PLANE( '', #544 ); #403 = FACE_OUTER_BOUND( '', #545, .T. ); #404 = PLANE( '', #546 ); #405 = FACE_OUTER_BOUND( '', #547, .T. ); #406 = FACE_OUTER_BOUND( '', #548, .T. ); #407 = CYLINDRICAL_SURFACE( '', #549, 0.500000000000000 ); #408 = FACE_OUTER_BOUND( '', #550, .T. ); #409 = FACE_OUTER_BOUND( '', #551, .T. ); #410 = CYLINDRICAL_SURFACE( '', #552, 0.500000000000000 ); #411 = FACE_OUTER_BOUND( '', #553, .T. ); #412 = PLANE( '', #554 ); #413 = FACE_OUTER_BOUND( '', #555, .T. ); #414 = PLANE( '', #556 ); #415 = FACE_OUTER_BOUND( '', #557, .T. ); #416 = PLANE( '', #558 ); #417 = FACE_OUTER_BOUND( '', #559, .T. ); #418 = PLANE( '', #560 ); #419 = FACE_OUTER_BOUND( '', #561, .T. ); #420 = PLANE( '', #562 ); #421 = FACE_OUTER_BOUND( '', #563, .T. ); #422 = PLANE( '', #564 ); #423 = FACE_OUTER_BOUND( '', #565, .T. ); #424 = PLANE( '', #566 ); #425 = FACE_OUTER_BOUND( '', #567, .T. ); #426 = PLANE( '', #568 ); #427 = FACE_BOUND( '', #569, .T. ); #428 = FACE_OUTER_BOUND( '', #570, .T. ); #429 = PLANE( '', #571 ); #430 = FACE_OUTER_BOUND( '', #572, .T. ); #431 = PLANE( '', #573 ); #432 = FACE_OUTER_BOUND( '', #574, .T. ); #433 = PLANE( '', #575 ); #434 = FACE_BOUND( '', #576, .T. ); #435 = FACE_OUTER_BOUND( '', #577, .T. ); #436 = PLANE( '', #578 ); #437 = FACE_OUTER_BOUND( '', #579, .T. ); #438 = PLANE( '', #580 ); #439 = FACE_OUTER_BOUND( '', #581, .T. ); #440 = PLANE( '', #582 ); #441 = FACE_OUTER_BOUND( '', #583, .T. ); #442 = FACE_OUTER_BOUND( '', #584, .T. ); #443 = CYLINDRICAL_SURFACE( '', #585, 3.40000000000000 ); #444 = FACE_BOUND( '', #586, .T. ); #445 = FACE_OUTER_BOUND( '', #587, .T. ); #446 = PLANE( '', #588 ); #447 = FACE_OUTER_BOUND( '', #589, .T. ); #448 = PLANE( '', #590 ); #449 = FACE_OUTER_BOUND( '', #591, .T. ); #450 = PLANE( '', #592 ); #451 = FACE_OUTER_BOUND( '', #593, .T. ); #452 = PLANE( '', #594 ); #453 = FACE_OUTER_BOUND( '', #595, .T. ); #454 = PLANE( '', #596 ); #455 = FACE_BOUND( '', #597, .T. ); #456 = FACE_OUTER_BOUND( '', #598, .T. ); #457 = PLANE( '', #599 ); #458 = FACE_BOUND( '', #600, .T. ); #459 = FACE_OUTER_BOUND( '', #601, .T. ); #460 = CONICAL_SURFACE( '', #602, 8.00000000000000, 0.785398163397449 ); #461 = FACE_OUTER_BOUND( '', #603, .T. ); #462 = FACE_OUTER_BOUND( '', #604, .T. ); #463 = CYLINDRICAL_SURFACE( '', #605, 7.00000000000000 ); #464 = FACE_BOUND( '', #606, .T. ); #465 = FACE_OUTER_BOUND( '', #607, .T. ); #466 = PLANE( '', #608 ); #467 = FACE_OUTER_BOUND( '', #609, .T. ); #468 = PLANE( '', #610 ); #469 = FACE_OUTER_BOUND( '', #611, .T. ); #470 = PLANE( '', #612 ); #471 = FACE_OUTER_BOUND( '', #613, .T. ); #472 = FACE_OUTER_BOUND( '', #614, .T. ); #473 = CYLINDRICAL_SURFACE( '', #615, 4.50000000000000 ); #474 = EDGE_LOOP( '', ( #616 ) ); #475 = EDGE_LOOP( '', ( #617, #618, #619, #620, #621, #622 ) ); #476 = AXIS2_PLACEMENT_3D( '', #623, #624, #625 ); #477 = EDGE_LOOP( '', ( #626, #627, #628, #629 ) ); #478 = AXIS2_PLACEMENT_3D( '', #630, #631, #632 ); #479 = EDGE_LOOP( '', ( #633, #634, #635, #636 ) ); #480 = AXIS2_PLACEMENT_3D( '', #637, #638, #639 ); #481 = EDGE_LOOP( '', ( #640 ) ); #482 = EDGE_LOOP( '', ( #641 ) ); #483 = AXIS2_PLACEMENT_3D( '', #642, #643, #644 ); #484 = EDGE_LOOP( '', ( #645 ) ); #485 = EDGE_LOOP( '', ( #646 ) ); #486 = AXIS2_PLACEMENT_3D( '', #647, #648, #649 ); #487 = EDGE_LOOP( '', ( #650 ) ); #488 = EDGE_LOOP( '', ( #651 ) ); #489 = AXIS2_PLACEMENT_3D( '', #652, #653, #654 ); #490 = EDGE_LOOP( '', ( #655, #656, #657, #658, #659, #660 ) ); #491 = AXIS2_PLACEMENT_3D( '', #661, #662, #663 ); #492 = EDGE_LOOP( '', ( #664 ) ); #493 = EDGE_LOOP( '', ( #665 ) ); #494 = AXIS2_PLACEMENT_3D( '', #666, #667, #668 ); #495 = EDGE_LOOP( '', ( #669 ) ); #496 = EDGE_LOOP( '', ( #670 ) ); #497 = AXIS2_PLACEMENT_3D( '', #671, #672, #673 ); #498 = EDGE_LOOP( '', ( #674 ) ); #499 = EDGE_LOOP( '', ( #675 ) ); #500 = AXIS2_PLACEMENT_3D( '', #676, #677, #678 ); #501 = EDGE_LOOP( '', ( #679 ) ); #502 = EDGE_LOOP( '', ( #680 ) ); #503 = AXIS2_PLACEMENT_3D( '', #681, #682, #683 ); #504 = EDGE_LOOP( '', ( #684, #685, #686, #687 ) ); #505 = AXIS2_PLACEMENT_3D( '', #688, #689, #690 ); #506 = EDGE_LOOP( '', ( #691, #692, #693, #694 ) ); #507 = AXIS2_PLACEMENT_3D( '', #695, #696, #697 ); #508 = EDGE_LOOP( '', ( #698, #699, #700, #701 ) ); #509 = AXIS2_PLACEMENT_3D( '', #702, #703, #704 ); #510 = EDGE_LOOP( '', ( #705, #706, #707, #708 ) ); #511 = AXIS2_PLACEMENT_3D( '', #709, #710, #711 ); #512 = EDGE_LOOP( '', ( #712 ) ); #513 = EDGE_LOOP( '', ( #713 ) ); #514 = AXIS2_PLACEMENT_3D( '', #714, #715, #716 ); #515 = EDGE_LOOP( '', ( #717 ) ); #516 = AXIS2_PLACEMENT_3D( '', #718, #719, #720 ); #517 = EDGE_LOOP( '', ( #721 ) ); #518 = EDGE_LOOP( '', ( #722 ) ); #519 = AXIS2_PLACEMENT_3D( '', #723, #724, #725 ); #520 = EDGE_LOOP( '', ( #726 ) ); #521 = EDGE_LOOP( '', ( #727 ) ); #522 = AXIS2_PLACEMENT_3D( '', #728, #729, #730 ); #523 = EDGE_LOOP( '', ( #731, #732, #733, #734 ) ); #524 = AXIS2_PLACEMENT_3D( '', #735, #736, #737 ); #525 = EDGE_LOOP( '', ( #738 ) ); #526 = EDGE_LOOP( '', ( #739 ) ); #527 = EDGE_LOOP( '', ( #740, #741, #742, #743, #744, #745, #746, #747 ) ); #528 = AXIS2_PLACEMENT_3D( '', #748, #749, #750 ); #529 = EDGE_LOOP( '', ( #751, #752, #753, #754 ) ); #530 = AXIS2_PLACEMENT_3D( '', #755, #756, #757 ); #531 = EDGE_LOOP( '', ( #758, #759, #760, #761 ) ); #532 = AXIS2_PLACEMENT_3D( '', #762, #763, #764 ); #533 = EDGE_LOOP( '', ( #765 ) ); #534 = EDGE_LOOP( '', ( #766 ) ); #535 = EDGE_LOOP( '', ( #767, #768, #769, #770, #771, #772, #773, #774 ) ); #536 = AXIS2_PLACEMENT_3D( '', #775, #776, #777 ); #537 = EDGE_LOOP( '', ( #778, #779, #780, #781 ) ); #538 = AXIS2_PLACEMENT_3D( '', #782, #783, #784 ); #539 = EDGE_LOOP( '', ( #785, #786, #787, #788 ) ); #540 = AXIS2_PLACEMENT_3D( '', #789, #790, #791 ); #541 = EDGE_LOOP( '', ( #792, #793, #794, #795 ) ); #542 = AXIS2_PLACEMENT_3D( '', #796, #797, #798 ); #543 = EDGE_LOOP( '', ( #799, #800, #801, #802 ) ); #544 = AXIS2_PLACEMENT_3D( '', #803, #804, #805 ); #545 = EDGE_LOOP( '', ( #806, #807, #808, #809 ) ); #546 = AXIS2_PLACEMENT_3D( '', #810, #811, #812 ); #547 = EDGE_LOOP( '', ( #813 ) ); #548 = EDGE_LOOP( '', ( #814 ) ); #549 = AXIS2_PLACEMENT_3D( '', #815, #816, #817 ); #550 = EDGE_LOOP( '', ( #818 ) ); #551 = EDGE_LOOP( '', ( #819 ) ); #552 = AXIS2_PLACEMENT_3D( '', #820, #821, #822 ); #553 = EDGE_LOOP( '', ( #823, #824, #825, #826 ) ); #554 = AXIS2_PLACEMENT_3D( '', #827, #828, #829 ); #555 = EDGE_LOOP( '', ( #830, #831, #832, #833 ) ); #556 = AXIS2_PLACEMENT_3D( '', #834, #835, #836 ); #557 = EDGE_LOOP( '', ( #837, #838, #839, #840 ) ); #558 = AXIS2_PLACEMENT_3D( '', #841, #842, #843 ); #559 = EDGE_LOOP( '', ( #844, #845, #846, #847 ) ); #560 = AXIS2_PLACEMENT_3D( '', #848, #849, #850 ); #561 = EDGE_LOOP( '', ( #851, #852, #853, #854, #855, #856, #857, #858, #859, #860, #861, #862 ) ); #562 = AXIS2_PLACEMENT_3D( '', #863, #864, #865 ); #563 = EDGE_LOOP( '', ( #866, #867, #868, #869 ) ); #564 = AXIS2_PLACEMENT_3D( '', #870, #871, #872 ); #565 = EDGE_LOOP( '', ( #873, #874, #875, #876 ) ); #566 = AXIS2_PLACEMENT_3D( '', #877, #878, #879 ); #567 = EDGE_LOOP( '', ( #880, #881, #882, #883, #884, #885, #886, #887, #888, #889, #890, #891 ) ); #568 = AXIS2_PLACEMENT_3D( '', #892, #893, #894 ); #569 = EDGE_LOOP( '', ( #895 ) ); #570 = EDGE_LOOP( '', ( #896, #897, #898, #899 ) ); #571 = AXIS2_PLACEMENT_3D( '', #900, #901, #902 ); #572 = EDGE_LOOP( '', ( #903, #904, #905, #906 ) ); #573 = AXIS2_PLACEMENT_3D( '', #907, #908, #909 ); #574 = EDGE_LOOP( '', ( #910, #911, #912, #913 ) ); #575 = AXIS2_PLACEMENT_3D( '', #914, #915, #916 ); #576 = EDGE_LOOP( '', ( #917 ) ); #577 = EDGE_LOOP( '', ( #918, #919, #920, #921 ) ); #578 = AXIS2_PLACEMENT_3D( '', #922, #923, #924 ); #579 = EDGE_LOOP( '', ( #925, #926, #927, #928 ) ); #580 = AXIS2_PLACEMENT_3D( '', #929, #930, #931 ); #581 = EDGE_LOOP( '', ( #932, #933, #934, #935 ) ); #582 = AXIS2_PLACEMENT_3D( '', #936, #937, #938 ); #583 = EDGE_LOOP( '', ( #939 ) ); #584 = EDGE_LOOP( '', ( #940 ) ); #585 = AXIS2_PLACEMENT_3D( '', #941, #942, #943 ); #586 = EDGE_LOOP( '', ( #944 ) ); #587 = EDGE_LOOP( '', ( #945, #946, #947, #948 ) ); #588 = AXIS2_PLACEMENT_3D( '', #949, #950, #951 ); #589 = EDGE_LOOP( '', ( #952, #953, #954, #955 ) ); #590 = AXIS2_PLACEMENT_3D( '', #956, #957, #958 ); #591 = EDGE_LOOP( '', ( #959, #960, #961, #962 ) ); #592 = AXIS2_PLACEMENT_3D( '', #963, #964, #965 ); #593 = EDGE_LOOP( '', ( #966, #967, #968, #969, #970, #971 ) ); #594 = AXIS2_PLACEMENT_3D( '', #972, #973, #974 ); #595 = EDGE_LOOP( '', ( #975, #976, #977, #978 ) ); #596 = AXIS2_PLACEMENT_3D( '', #979, #980, #981 ); #597 = EDGE_LOOP( '', ( #982 ) ); #598 = EDGE_LOOP( '', ( #983, #984, #985, #986 ) ); #599 = AXIS2_PLACEMENT_3D( '', #987, #988, #989 ); #600 = EDGE_LOOP( '', ( #990 ) ); #601 = EDGE_LOOP( '', ( #991 ) ); #602 = AXIS2_PLACEMENT_3D( '', #992, #993, #994 ); #603 = EDGE_LOOP( '', ( #995 ) ); #604 = EDGE_LOOP( '', ( #996 ) ); #605 = AXIS2_PLACEMENT_3D( '', #997, #998, #999 ); #606 = EDGE_LOOP( '', ( #1000 ) ); #607 = EDGE_LOOP( '', ( #1001 ) ); #608 = AXIS2_PLACEMENT_3D( '', #1002, #1003, #1004 ); #609 = EDGE_LOOP( '', ( #1005, #1006, #1007, #1008 ) ); #610 = AXIS2_PLACEMENT_3D( '', #1009, #1010, #1011 ); #611 = EDGE_LOOP( '', ( #1012, #1013, #1014, #1015, #1016, #1017 ) ); #612 = AXIS2_PLACEMENT_3D( '', #1018, #1019, #1020 ); #613 = EDGE_LOOP( '', ( #1021 ) ); #614 = EDGE_LOOP( '', ( #1022 ) ); #615 = AXIS2_PLACEMENT_3D( '', #1023, #1024, #1025 ); #616 = ORIENTED_EDGE( '', *, *, #1026, .T. ); #617 = ORIENTED_EDGE( '', *, *, #1027, .F. ); #618 = ORIENTED_EDGE( '', *, *, #1028, .F. ); #619 = ORIENTED_EDGE( '', *, *, #1029, .F. ); #620 = ORIENTED_EDGE( '', *, *, #1030, .F. ); #621 = ORIENTED_EDGE( '', *, *, #1031, .F. ); #622 = ORIENTED_EDGE( '', *, *, #1032, .F. ); #623 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 61.5000000000000 ) ); #624 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #625 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #626 = ORIENTED_EDGE( '', *, *, #1027, .T. ); #627 = ORIENTED_EDGE( '', *, *, #1033, .F. ); #628 = ORIENTED_EDGE( '', *, *, #1034, .F. ); #629 = ORIENTED_EDGE( '', *, *, #1035, .T. ); #630 = CARTESIAN_POINT( '', ( 3.46409934026504, 3.16854123858767E-017, 57.5000000000000 ) ); #631 = DIRECTION( '', ( 0.866025631271699, 0.499999605980301, 0.000000000000000 ) ); #632 = DIRECTION( '', ( -0.499999605980301, 0.866025631271698, 0.000000000000000 ) ); #633 = ORIENTED_EDGE( '', *, *, #1028, .T. ); #634 = ORIENTED_EDGE( '', *, *, #1035, .F. ); #635 = ORIENTED_EDGE( '', *, *, #1036, .F. ); #636 = ORIENTED_EDGE( '', *, *, #1037, .T. ); #637 = CARTESIAN_POINT( '', ( 1.73205035259448, -3.00000000000000, 57.5000000000000 ) ); #638 = DIRECTION( '', ( 0.866025631271698, -0.499999605980302, 0.000000000000000 ) ); #639 = DIRECTION( '', ( 0.499999605980301, 0.866025631271698, 0.000000000000000 ) ); #640 = ORIENTED_EDGE( '', *, *, #1038, .T. ); #641 = ORIENTED_EDGE( '', *, *, #1039, .T. ); #642 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 61.5000000000000 ) ); #643 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #644 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #645 = ORIENTED_EDGE( '', *, *, #1038, .F. ); #646 = ORIENTED_EDGE( '', *, *, #1040, .F. ); #647 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 53.5000000000000 ) ); #648 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #649 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #650 = ORIENTED_EDGE( '', *, *, #1026, .F. ); #651 = ORIENTED_EDGE( '', *, *, #1039, .F. ); #652 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 60.5000000000000 ) ); #653 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #654 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #655 = ORIENTED_EDGE( '', *, *, #1036, .T. ); #656 = ORIENTED_EDGE( '', *, *, #1034, .T. ); #657 = ORIENTED_EDGE( '', *, *, #1041, .T. ); #658 = ORIENTED_EDGE( '', *, *, #1042, .T. ); #659 = ORIENTED_EDGE( '', *, *, #1043, .T. ); #660 = ORIENTED_EDGE( '', *, *, #1044, .T. ); #661 = CARTESIAN_POINT( '', ( 1.73205035259448, -3.00000000000000, 57.5000000000000 ) ); #662 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #663 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #664 = ORIENTED_EDGE( '', *, *, #1040, .T. ); #665 = ORIENTED_EDGE( '', *, *, #1045, .F. ); #666 = CARTESIAN_POINT( '', ( -6.50000000000000, 0.000000000000000, 53.5000000000000 ) ); #667 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #668 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #669 = ORIENTED_EDGE( '', *, *, #1046, .F. ); #670 = ORIENTED_EDGE( '', *, *, #1045, .T. ); #671 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 61.5000000000000 ) ); #672 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #673 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #674 = ORIENTED_EDGE( '', *, *, #1047, .F. ); #675 = ORIENTED_EDGE( '', *, *, #1046, .T. ); #676 = CARTESIAN_POINT( '', ( -3.99999999999999, 0.000000000000000, 44.0000000000000 ) ); #677 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #678 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #679 = ORIENTED_EDGE( '', *, *, #1048, .F. ); #680 = ORIENTED_EDGE( '', *, *, #1047, .T. ); #681 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 61.5000000000000 ) ); #682 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #683 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #684 = ORIENTED_EDGE( '', *, *, #1029, .T. ); #685 = ORIENTED_EDGE( '', *, *, #1037, .F. ); #686 = ORIENTED_EDGE( '', *, *, #1044, .F. ); #687 = ORIENTED_EDGE( '', *, *, #1049, .T. ); #688 = CARTESIAN_POINT( '', ( -1.73205035259448, -3.00000000000000, 57.5000000000000 ) ); #689 = DIRECTION( '', ( -3.75578748341162E-016, -1.00000000000000, 0.000000000000000 ) ); #690 = DIRECTION( '', ( 1.00000000000000, -3.75578748341162E-016, 0.000000000000000 ) ); #691 = ORIENTED_EDGE( '', *, *, #1030, .T. ); #692 = ORIENTED_EDGE( '', *, *, #1049, .F. ); #693 = ORIENTED_EDGE( '', *, *, #1043, .F. ); #694 = ORIENTED_EDGE( '', *, *, #1050, .T. ); #695 = CARTESIAN_POINT( '', ( -3.46409934026503, 1.57447809599063E-015, 57.5000000000000 ) ); #696 = DIRECTION( '', ( -0.866025631271699, -0.499999605980301, 0.000000000000000 ) ); #697 = DIRECTION( '', ( 0.499999605980301, -0.866025631271699, 0.000000000000000 ) ); #698 = ORIENTED_EDGE( '', *, *, #1031, .T. ); #699 = ORIENTED_EDGE( '', *, *, #1050, .F. ); #700 = ORIENTED_EDGE( '', *, *, #1042, .F. ); #701 = ORIENTED_EDGE( '', *, *, #1051, .T. ); #702 = CARTESIAN_POINT( '', ( -1.73205035259447, 3.00000000000000, 57.5000000000000 ) ); #703 = DIRECTION( '', ( -0.866025631271698, 0.499999605980301, 0.000000000000000 ) ); #704 = DIRECTION( '', ( -0.499999605980301, -0.866025631271698, 0.000000000000000 ) ); #705 = ORIENTED_EDGE( '', *, *, #1032, .T. ); #706 = ORIENTED_EDGE( '', *, *, #1051, .F. ); #707 = ORIENTED_EDGE( '', *, *, #1041, .F. ); #708 = ORIENTED_EDGE( '', *, *, #1033, .T. ); #709 = CARTESIAN_POINT( '', ( 1.73205035259448, 3.00000000000000, 57.5000000000000 ) ); #710 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #711 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #712 = ORIENTED_EDGE( '', *, *, #1052, .F. ); #713 = ORIENTED_EDGE( '', *, *, #1053, .F. ); #714 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 22.5000000000000 ) ); #715 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #716 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #717 = ORIENTED_EDGE( '', *, *, #1052, .T. ); #718 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 21.5000000000000 ) ); #719 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #720 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #721 = ORIENTED_EDGE( '', *, *, #1054, .T. ); #722 = ORIENTED_EDGE( '', *, *, #1048, .T. ); #723 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 43.1000000000000 ) ); #724 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #725 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #726 = ORIENTED_EDGE( '', *, *, #1053, .T. ); #727 = ORIENTED_EDGE( '', *, *, #1054, .F. ); #728 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 21.5000000000000 ) ); #729 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #730 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #731 = ORIENTED_EDGE( '', *, *, #1055, .T. ); #732 = ORIENTED_EDGE( '', *, *, #1056, .F. ); #733 = ORIENTED_EDGE( '', *, *, #1057, .F. ); #734 = ORIENTED_EDGE( '', *, *, #1058, .T. ); #735 = CARTESIAN_POINT( '', ( 0.111678389448003, 0.650000000000000, -5.99805064646111 ) ); #736 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #737 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #738 = ORIENTED_EDGE( '', *, *, #1059, .F. ); #739 = ORIENTED_EDGE( '', *, *, #1060, .F. ); #740 = ORIENTED_EDGE( '', *, *, #1055, .F. ); #741 = ORIENTED_EDGE( '', *, *, #1061, .F. ); #742 = ORIENTED_EDGE( '', *, *, #1062, .F. ); #743 = ORIENTED_EDGE( '', *, *, #1063, .F. ); #744 = ORIENTED_EDGE( '', *, *, #1064, .F. ); #745 = ORIENTED_EDGE( '', *, *, #1065, .F. ); #746 = ORIENTED_EDGE( '', *, *, #1066, .F. ); #747 = ORIENTED_EDGE( '', *, *, #1067, .F. ); #748 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) ); #749 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #750 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #751 = ORIENTED_EDGE( '', *, *, #1067, .T. ); #752 = ORIENTED_EDGE( '', *, *, #1068, .F. ); #753 = ORIENTED_EDGE( '', *, *, #1069, .F. ); #754 = ORIENTED_EDGE( '', *, *, #1056, .T. ); #755 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.650000000000000, 0.000000000000000 ) ); #756 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #757 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #758 = ORIENTED_EDGE( '', *, *, #1066, .T. ); #759 = ORIENTED_EDGE( '', *, *, #1070, .F. ); #760 = ORIENTED_EDGE( '', *, *, #1071, .F. ); #761 = ORIENTED_EDGE( '', *, *, #1068, .T. ); #762 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.650000000000000, -3.19805064646111 ) ); #763 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #764 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #765 = ORIENTED_EDGE( '', *, *, #1072, .T. ); #766 = ORIENTED_EDGE( '', *, *, #1073, .T. ); #767 = ORIENTED_EDGE( '', *, *, #1057, .T. ); #768 = ORIENTED_EDGE( '', *, *, #1069, .T. ); #769 = ORIENTED_EDGE( '', *, *, #1071, .T. ); #770 = ORIENTED_EDGE( '', *, *, #1074, .T. ); #771 = ORIENTED_EDGE( '', *, *, #1075, .T. ); #772 = ORIENTED_EDGE( '', *, *, #1076, .T. ); #773 = ORIENTED_EDGE( '', *, *, #1077, .T. ); #774 = ORIENTED_EDGE( '', *, *, #1078, .T. ); #775 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.650000000000000, 0.000000000000000 ) ); #776 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #777 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #778 = ORIENTED_EDGE( '', *, *, #1065, .T. ); #779 = ORIENTED_EDGE( '', *, *, #1079, .F. ); #780 = ORIENTED_EDGE( '', *, *, #1074, .F. ); #781 = ORIENTED_EDGE( '', *, *, #1070, .T. ); #782 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.650000000000000, -5.99805064646111 ) ); #783 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #784 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #785 = ORIENTED_EDGE( '', *, *, #1064, .T. ); #786 = ORIENTED_EDGE( '', *, *, #1080, .F. ); #787 = ORIENTED_EDGE( '', *, *, #1075, .F. ); #788 = ORIENTED_EDGE( '', *, *, #1079, .T. ); #789 = CARTESIAN_POINT( '', ( -2.91167838944800, 0.650000000000000, -5.99805064646111 ) ); #790 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #791 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #792 = ORIENTED_EDGE( '', *, *, #1063, .T. ); #793 = ORIENTED_EDGE( '', *, *, #1081, .F. ); #794 = ORIENTED_EDGE( '', *, *, #1076, .F. ); #795 = ORIENTED_EDGE( '', *, *, #1080, .T. ); #796 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.650000000000000, 0.333333333333333 ) ); #797 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #798 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #799 = ORIENTED_EDGE( '', *, *, #1062, .T. ); #800 = ORIENTED_EDGE( '', *, *, #1082, .F. ); #801 = ORIENTED_EDGE( '', *, *, #1077, .F. ); #802 = ORIENTED_EDGE( '', *, *, #1081, .T. ); #803 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.650000000000000, -3.19805064646111 ) ); #804 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #805 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #806 = ORIENTED_EDGE( '', *, *, #1061, .T. ); #807 = ORIENTED_EDGE( '', *, *, #1058, .F. ); #808 = ORIENTED_EDGE( '', *, *, #1078, .F. ); #809 = ORIENTED_EDGE( '', *, *, #1082, .T. ); #810 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.650000000000000, -5.99805064646111 ) ); #811 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #812 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #813 = ORIENTED_EDGE( '', *, *, #1072, .F. ); #814 = ORIENTED_EDGE( '', *, *, #1059, .T. ); #815 = CARTESIAN_POINT( '', ( -1.51167838944800, 14.2551253435004, -4.59805064646111 ) ); #816 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #817 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #818 = ORIENTED_EDGE( '', *, *, #1073, .F. ); #819 = ORIENTED_EDGE( '', *, *, #1060, .T. ); #820 = CARTESIAN_POINT( '', ( 1.51167838944800, 14.2551253435004, -4.59805064646111 ) ); #821 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #822 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #823 = ORIENTED_EDGE( '', *, *, #1083, .F. ); #824 = ORIENTED_EDGE( '', *, *, #1084, .T. ); #825 = ORIENTED_EDGE( '', *, *, #1085, .T. ); #826 = ORIENTED_EDGE( '', *, *, #1086, .F. ); #827 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000001 ) ); #828 = DIRECTION( '', ( -2.66880534765663E-016, 0.000000000000000, 1.00000000000000 ) ); #829 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765663E-016 ) ); #830 = ORIENTED_EDGE( '', *, *, #1087, .F. ); #831 = ORIENTED_EDGE( '', *, *, #1088, .F. ); #832 = ORIENTED_EDGE( '', *, *, #1089, .T. ); #833 = ORIENTED_EDGE( '', *, *, #1090, .F. ); #834 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, 9.50000000000000 ) ); #835 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 9.13012355777266E-017 ) ); #836 = DIRECTION( '', ( 9.13012355777266E-017, 0.000000000000000, -1.00000000000000 ) ); #837 = ORIENTED_EDGE( '', *, *, #1091, .T. ); #838 = ORIENTED_EDGE( '', *, *, #1092, .T. ); #839 = ORIENTED_EDGE( '', *, *, #1093, .T. ); #840 = ORIENTED_EDGE( '', *, *, #1094, .F. ); #841 = CARTESIAN_POINT( '', ( 9.50000000000001, 28.1140997321589, 0.500000000000000 ) ); #842 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #843 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #844 = ORIENTED_EDGE( '', *, *, #1095, .T. ); #845 = ORIENTED_EDGE( '', *, *, #1096, .T. ); #846 = ORIENTED_EDGE( '', *, *, #1097, .T. ); #847 = ORIENTED_EDGE( '', *, *, #1092, .F. ); #848 = CARTESIAN_POINT( '', ( 9.50000000000000, 28.1140997321589, 9.50000000000000 ) ); #849 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -1.92747052886312E-016 ) ); #850 = DIRECTION( '', ( -1.92747052886312E-016, 0.000000000000000, 1.00000000000000 ) ); #851 = ORIENTED_EDGE( '', *, *, #1093, .F. ); #852 = ORIENTED_EDGE( '', *, *, #1097, .F. ); #853 = ORIENTED_EDGE( '', *, *, #1098, .T. ); #854 = ORIENTED_EDGE( '', *, *, #1099, .F. ); #855 = ORIENTED_EDGE( '', *, *, #1100, .F. ); #856 = ORIENTED_EDGE( '', *, *, #1087, .T. ); #857 = ORIENTED_EDGE( '', *, *, #1101, .T. ); #858 = ORIENTED_EDGE( '', *, *, #1102, .T. ); #859 = ORIENTED_EDGE( '', *, *, #1103, .T. ); #860 = ORIENTED_EDGE( '', *, *, #1104, .T. ); #861 = ORIENTED_EDGE( '', *, *, #1083, .T. ); #862 = ORIENTED_EDGE( '', *, *, #1105, .T. ); #863 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, 9.50000000000000 ) ); #864 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #865 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #866 = ORIENTED_EDGE( '', *, *, #1106, .T. ); #867 = ORIENTED_EDGE( '', *, *, #1107, .T. ); #868 = ORIENTED_EDGE( '', *, *, #1099, .T. ); #869 = ORIENTED_EDGE( '', *, *, #1108, .F. ); #870 = CARTESIAN_POINT( '', ( -9.50000000000000, 28.1140997321589, 0.500000000000000 ) ); #871 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #872 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #873 = ORIENTED_EDGE( '', *, *, #1109, .T. ); #874 = ORIENTED_EDGE( '', *, *, #1088, .T. ); #875 = ORIENTED_EDGE( '', *, *, #1100, .T. ); #876 = ORIENTED_EDGE( '', *, *, #1107, .F. ); #877 = CARTESIAN_POINT( '', ( -13.0000000000000, 28.1140997321589, 0.500000000000000 ) ); #878 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #879 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #880 = ORIENTED_EDGE( '', *, *, #1095, .F. ); #881 = ORIENTED_EDGE( '', *, *, #1091, .F. ); #882 = ORIENTED_EDGE( '', *, *, #1110, .F. ); #883 = ORIENTED_EDGE( '', *, *, #1085, .F. ); #884 = ORIENTED_EDGE( '', *, *, #1111, .F. ); #885 = ORIENTED_EDGE( '', *, *, #1112, .F. ); #886 = ORIENTED_EDGE( '', *, *, #1113, .F. ); #887 = ORIENTED_EDGE( '', *, *, #1114, .F. ); #888 = ORIENTED_EDGE( '', *, *, #1089, .F. ); #889 = ORIENTED_EDGE( '', *, *, #1109, .F. ); #890 = ORIENTED_EDGE( '', *, *, #1106, .F. ); #891 = ORIENTED_EDGE( '', *, *, #1115, .F. ); #892 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, 9.50000000000000 ) ); #893 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #894 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #895 = ORIENTED_EDGE( '', *, *, #1116, .T. ); #896 = ORIENTED_EDGE( '', *, *, #1098, .F. ); #897 = ORIENTED_EDGE( '', *, *, #1096, .F. ); #898 = ORIENTED_EDGE( '', *, *, #1115, .T. ); #899 = ORIENTED_EDGE( '', *, *, #1108, .T. ); #900 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, 9.50000000000000 ) ); #901 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #902 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #903 = ORIENTED_EDGE( '', *, *, #1110, .T. ); #904 = ORIENTED_EDGE( '', *, *, #1094, .T. ); #905 = ORIENTED_EDGE( '', *, *, #1105, .F. ); #906 = ORIENTED_EDGE( '', *, *, #1086, .T. ); #907 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #908 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -1.82602471155453E-016 ) ); #909 = DIRECTION( '', ( -1.82602471155453E-016, 0.000000000000000, 1.00000000000000 ) ); #910 = ORIENTED_EDGE( '', *, *, #1117, .T. ); #911 = ORIENTED_EDGE( '', *, *, #1111, .T. ); #912 = ORIENTED_EDGE( '', *, *, #1084, .F. ); #913 = ORIENTED_EDGE( '', *, *, #1104, .F. ); #914 = CARTESIAN_POINT( '', ( 7.00000000000001, -28.1140997321589, -9.50000000000000 ) ); #915 = DIRECTION( '', ( 0.707106781186547, 0.000000000000000, 0.707106781186548 ) ); #916 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186547 ) ); #917 = ORIENTED_EDGE( '', *, *, #1118, .T. ); #918 = ORIENTED_EDGE( '', *, *, #1119, .T. ); #919 = ORIENTED_EDGE( '', *, *, #1112, .T. ); #920 = ORIENTED_EDGE( '', *, *, #1117, .F. ); #921 = ORIENTED_EDGE( '', *, *, #1103, .F. ); #922 = CARTESIAN_POINT( '', ( 5.00000000000000, -28.1140997321589, -7.50000000000000 ) ); #923 = DIRECTION( '', ( -2.66880534765664E-016, 0.000000000000000, 1.00000000000000 ) ); #924 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765664E-016 ) ); #925 = ORIENTED_EDGE( '', *, *, #1120, .T. ); #926 = ORIENTED_EDGE( '', *, *, #1113, .T. ); #927 = ORIENTED_EDGE( '', *, *, #1119, .F. ); #928 = ORIENTED_EDGE( '', *, *, #1102, .F. ); #929 = CARTESIAN_POINT( '', ( -6.99999999999999, -28.1140997321589, -9.50000000000001 ) ); #930 = DIRECTION( '', ( -0.707106781186547, 0.000000000000000, 0.707106781186548 ) ); #931 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, 0.707106781186547 ) ); #932 = ORIENTED_EDGE( '', *, *, #1114, .T. ); #933 = ORIENTED_EDGE( '', *, *, #1120, .F. ); #934 = ORIENTED_EDGE( '', *, *, #1101, .F. ); #935 = ORIENTED_EDGE( '', *, *, #1090, .T. ); #936 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000001 ) ); #937 = DIRECTION( '', ( -2.66880534765663E-016, 0.000000000000000, 1.00000000000000 ) ); #938 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765663E-016 ) ); #939 = ORIENTED_EDGE( '', *, *, #1116, .F. ); #940 = ORIENTED_EDGE( '', *, *, #1118, .F. ); #941 = CARTESIAN_POINT( '', ( 3.46944695195361E-015, 0.000000000000000, 9.50000000000000 ) ); #942 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #943 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #944 = ORIENTED_EDGE( '', *, *, #1121, .T. ); #945 = ORIENTED_EDGE( '', *, *, #1122, .T. ); #946 = ORIENTED_EDGE( '', *, *, #1123, .F. ); #947 = ORIENTED_EDGE( '', *, *, #1124, .F. ); #948 = ORIENTED_EDGE( '', *, *, #1125, .T. ); #949 = CARTESIAN_POINT( '', ( 24.7500000000000, -11.2500000000000, -8.99999999999999 ) ); #950 = DIRECTION( '', ( 0.000000000000000, 7.70988211545248E-017, 1.00000000000000 ) ); #951 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 7.70988211545248E-017 ) ); #952 = ORIENTED_EDGE( '', *, *, #1126, .T. ); #953 = ORIENTED_EDGE( '', *, *, #1127, .T. ); #954 = ORIENTED_EDGE( '', *, *, #1128, .F. ); #955 = ORIENTED_EDGE( '', *, *, #1129, .T. ); #956 = CARTESIAN_POINT( '', ( 24.7500000000000, -11.2500000000000, 9.00000000000000 ) ); #957 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 9.63735264431560E-017 ) ); #958 = DIRECTION( '', ( 0.000000000000000, -9.63735264431560E-017, 1.00000000000000 ) ); #959 = ORIENTED_EDGE( '', *, *, #1130, .T. ); #960 = ORIENTED_EDGE( '', *, *, #1131, .T. ); #961 = ORIENTED_EDGE( '', *, *, #1132, .F. ); #962 = ORIENTED_EDGE( '', *, *, #1122, .F. ); #963 = CARTESIAN_POINT( '', ( -32.5256492761104, 6.55000000000001, -8.99999999999999 ) ); #964 = DIRECTION( '', ( 5.91439452097362E-017, 0.965925826289068, -0.258819045102521 ) ); #965 = DIRECTION( '', ( 0.000000000000000, 0.258819045102520, 0.965925826289068 ) ); #966 = ORIENTED_EDGE( '', *, *, #1123, .T. ); #967 = ORIENTED_EDGE( '', *, *, #1132, .T. ); #968 = ORIENTED_EDGE( '', *, *, #1133, .T. ); #969 = ORIENTED_EDGE( '', *, *, #1134, .T. ); #970 = ORIENTED_EDGE( '', *, *, #1128, .T. ); #971 = ORIENTED_EDGE( '', *, *, #1135, .F. ); #972 = CARTESIAN_POINT( '', ( 24.7500000000000, -11.2500000000000, -8.99999999999999 ) ); #973 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #974 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, 0.000000000000000 ) ); #975 = ORIENTED_EDGE( '', *, *, #1131, .F. ); #976 = ORIENTED_EDGE( '', *, *, #1136, .T. ); #977 = ORIENTED_EDGE( '', *, *, #1137, .F. ); #978 = ORIENTED_EDGE( '', *, *, #1133, .F. ); #979 = CARTESIAN_POINT( '', ( 24.7500000000000, 11.2500000000000, -9.00000000000000 ) ); #980 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -1.92747052886312E-016 ) ); #981 = DIRECTION( '', ( 0.000000000000000, 1.92747052886312E-016, -1.00000000000000 ) ); #982 = ORIENTED_EDGE( '', *, *, #1138, .T. ); #983 = ORIENTED_EDGE( '', *, *, #1139, .T. ); #984 = ORIENTED_EDGE( '', *, *, #1129, .F. ); #985 = ORIENTED_EDGE( '', *, *, #1134, .F. ); #986 = ORIENTED_EDGE( '', *, *, #1137, .T. ); #987 = CARTESIAN_POINT( '', ( 24.7500000000000, 11.2500000000000, 9.00000000000001 ) ); #988 = DIRECTION( '', ( 0.000000000000000, 3.85494105772624E-016, -1.00000000000000 ) ); #989 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 3.85494105772624E-016 ) ); #990 = ORIENTED_EDGE( '', *, *, #1140, .F. ); #991 = ORIENTED_EDGE( '', *, *, #1138, .F. ); #992 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.03339955640333E-014, 9.00000000000000 ) ); #993 = DIRECTION( '', ( 0.000000000000000, -3.46944695195362E-016, 1.00000000000000 ) ); #994 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -3.46944695195362E-016 ) ); #995 = ORIENTED_EDGE( '', *, *, #1140, .T. ); #996 = ORIENTED_EDGE( '', *, *, #1141, .F. ); #997 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.03339955640333E-014, 9.00000000000000 ) ); #998 = DIRECTION( '', ( 0.000000000000000, -3.46944695195361E-016, 1.00000000000000 ) ); #999 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -3.46944695195361E-016 ) ); #1000 = ORIENTED_EDGE( '', *, *, #1142, .T. ); #1001 = ORIENTED_EDGE( '', *, *, #1141, .T. ); #1002 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.32483310036743E-014, 0.599999999999996 ) ); #1003 = DIRECTION( '', ( 0.000000000000000, 3.46944695195361E-016, -1.00000000000000 ) ); #1004 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 3.46944695195361E-016 ) ); #1005 = ORIENTED_EDGE( '', *, *, #1124, .T. ); #1006 = ORIENTED_EDGE( '', *, *, #1135, .T. ); #1007 = ORIENTED_EDGE( '', *, *, #1127, .F. ); #1008 = ORIENTED_EDGE( '', *, *, #1143, .F. ); #1009 = CARTESIAN_POINT( '', ( -32.5256492761104, -6.55000000000000, -9.00000000000000 ) ); #1010 = DIRECTION( '', ( 5.91439452097362E-017, 0.965925826289068, 0.258819045102521 ) ); #1011 = DIRECTION( '', ( 0.000000000000000, -0.258819045102521, 0.965925826289068 ) ); #1012 = ORIENTED_EDGE( '', *, *, #1130, .F. ); #1013 = ORIENTED_EDGE( '', *, *, #1125, .F. ); #1014 = ORIENTED_EDGE( '', *, *, #1143, .T. ); #1015 = ORIENTED_EDGE( '', *, *, #1126, .F. ); #1016 = ORIENTED_EDGE( '', *, *, #1139, .F. ); #1017 = ORIENTED_EDGE( '', *, *, #1136, .F. ); #1018 = CARTESIAN_POINT( '', ( -24.7500000000000, -11.2500000000000, -8.99999999999999 ) ); #1019 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1020 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, 0.000000000000000 ) ); #1021 = ORIENTED_EDGE( '', *, *, #1142, .F. ); #1022 = ORIENTED_EDGE( '', *, *, #1121, .F. ); #1023 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.32483310036743E-014, 0.599999999999996 ) ); #1024 = DIRECTION( '', ( 0.000000000000000, -3.46944695195361E-016, 1.00000000000000 ) ); #1025 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -3.46944695195361E-016 ) ); #1026 = EDGE_CURVE( '', #1144, #1144, #1145, .F. ); #1027 = EDGE_CURVE( '', #1146, #1147, #1148, .T. ); #1028 = EDGE_CURVE( '', #1149, #1146, #1150, .T. ); #1029 = EDGE_CURVE( '', #1151, #1149, #1152, .T. ); #1030 = EDGE_CURVE( '', #1153, #1151, #1154, .T. ); #1031 = EDGE_CURVE( '', #1155, #1153, #1156, .T. ); #1032 = EDGE_CURVE( '', #1147, #1155, #1157, .T. ); #1033 = EDGE_CURVE( '', #1158, #1147, #1159, .T. ); #1034 = EDGE_CURVE( '', #1160, #1158, #1161, .T. ); #1035 = EDGE_CURVE( '', #1160, #1146, #1162, .T. ); #1036 = EDGE_CURVE( '', #1163, #1160, #1164, .T. ); #1037 = EDGE_CURVE( '', #1163, #1149, #1165, .T. ); #1038 = EDGE_CURVE( '', #1166, #1166, #1167, .T. ); #1039 = EDGE_CURVE( '', #1168, #1168, #1169, .T. ); #1040 = EDGE_CURVE( '', #1170, #1170, #1171, .F. ); #1041 = EDGE_CURVE( '', #1158, #1172, #1173, .T. ); #1042 = EDGE_CURVE( '', #1172, #1174, #1175, .T. ); #1043 = EDGE_CURVE( '', #1174, #1176, #1177, .T. ); #1044 = EDGE_CURVE( '', #1176, #1163, #1178, .T. ); #1045 = EDGE_CURVE( '', #1179, #1179, #1180, .T. ); #1046 = EDGE_CURVE( '', #1181, #1181, #1182, .T. ); #1047 = EDGE_CURVE( '', #1183, #1183, #1184, .T. ); #1048 = EDGE_CURVE( '', #1185, #1185, #1186, .T. ); #1049 = EDGE_CURVE( '', #1176, #1151, #1187, .T. ); #1050 = EDGE_CURVE( '', #1174, #1153, #1188, .T. ); #1051 = EDGE_CURVE( '', #1172, #1155, #1189, .T. ); #1052 = EDGE_CURVE( '', #1190, #1190, #1191, .F. ); #1053 = EDGE_CURVE( '', #1192, #1192, #1193, .T. ); #1054 = EDGE_CURVE( '', #1194, #1194, #1195, .T. ); #1055 = EDGE_CURVE( '', #1196, #1197, #1198, .T. ); #1056 = EDGE_CURVE( '', #1199, #1197, #1200, .T. ); #1057 = EDGE_CURVE( '', #1201, #1199, #1202, .T. ); #1058 = EDGE_CURVE( '', #1201, #1196, #1203, .T. ); #1059 = EDGE_CURVE( '', #1204, #1204, #1205, .T. ); #1060 = EDGE_CURVE( '', #1206, #1206, #1207, .T. ); #1061 = EDGE_CURVE( '', #1208, #1196, #1209, .T. ); #1062 = EDGE_CURVE( '', #1210, #1208, #1211, .T. ); #1063 = EDGE_CURVE( '', #1212, #1210, #1213, .T. ); #1064 = EDGE_CURVE( '', #1214, #1212, #1215, .T. ); #1065 = EDGE_CURVE( '', #1216, #1214, #1217, .T. ); #1066 = EDGE_CURVE( '', #1218, #1216, #1219, .T. ); #1067 = EDGE_CURVE( '', #1197, #1218, #1220, .T. ); #1068 = EDGE_CURVE( '', #1221, #1218, #1222, .T. ); #1069 = EDGE_CURVE( '', #1199, #1221, #1223, .T. ); #1070 = EDGE_CURVE( '', #1224, #1216, #1225, .T. ); #1071 = EDGE_CURVE( '', #1221, #1224, #1226, .T. ); #1072 = EDGE_CURVE( '', #1227, #1227, #1228, .T. ); #1073 = EDGE_CURVE( '', #1229, #1229, #1230, .T. ); #1074 = EDGE_CURVE( '', #1224, #1231, #1232, .T. ); #1075 = EDGE_CURVE( '', #1231, #1233, #1234, .T. ); #1076 = EDGE_CURVE( '', #1233, #1235, #1236, .T. ); #1077 = EDGE_CURVE( '', #1235, #1237, #1238, .T. ); #1078 = EDGE_CURVE( '', #1237, #1201, #1239, .T. ); #1079 = EDGE_CURVE( '', #1231, #1214, #1240, .T. ); #1080 = EDGE_CURVE( '', #1233, #1212, #1241, .T. ); #1081 = EDGE_CURVE( '', #1235, #1210, #1242, .T. ); #1082 = EDGE_CURVE( '', #1237, #1208, #1243, .T. ); #1083 = EDGE_CURVE( '', #1244, #1245, #1246, .T. ); #1084 = EDGE_CURVE( '', #1244, #1247, #1248, .T. ); #1085 = EDGE_CURVE( '', #1247, #1249, #1250, .T. ); #1086 = EDGE_CURVE( '', #1245, #1249, #1251, .T. ); #1087 = EDGE_CURVE( '', #1252, #1253, #1254, .T. ); #1088 = EDGE_CURVE( '', #1255, #1252, #1256, .T. ); #1089 = EDGE_CURVE( '', #1255, #1257, #1258, .T. ); #1090 = EDGE_CURVE( '', #1253, #1257, #1259, .T. ); #1091 = EDGE_CURVE( '', #1260, #1261, #1262, .T. ); #1092 = EDGE_CURVE( '', #1261, #1263, #1264, .T. ); #1093 = EDGE_CURVE( '', #1263, #1265, #1266, .T. ); #1094 = EDGE_CURVE( '', #1260, #1265, #1267, .T. ); #1095 = EDGE_CURVE( '', #1261, #1268, #1269, .T. ); #1096 = EDGE_CURVE( '', #1268, #1270, #1271, .T. ); #1097 = EDGE_CURVE( '', #1270, #1263, #1272, .T. ); #1098 = EDGE_CURVE( '', #1270, #1273, #1274, .T. ); #1099 = EDGE_CURVE( '', #1275, #1273, #1276, .T. ); #1100 = EDGE_CURVE( '', #1252, #1275, #1277, .T. ); #1101 = EDGE_CURVE( '', #1253, #1278, #1279, .T. ); #1102 = EDGE_CURVE( '', #1278, #1280, #1281, .T. ); #1103 = EDGE_CURVE( '', #1280, #1282, #1283, .T. ); #1104 = EDGE_CURVE( '', #1282, #1244, #1284, .T. ); #1105 = EDGE_CURVE( '', #1245, #1265, #1285, .T. ); #1106 = EDGE_CURVE( '', #1286, #1287, #1288, .T. ); #1107 = EDGE_CURVE( '', #1287, #1275, #1289, .T. ); #1108 = EDGE_CURVE( '', #1286, #1273, #1290, .T. ); #1109 = EDGE_CURVE( '', #1287, #1255, #1291, .T. ); #1110 = EDGE_CURVE( '', #1249, #1260, #1292, .T. ); #1111 = EDGE_CURVE( '', #1293, #1247, #1294, .T. ); #1112 = EDGE_CURVE( '', #1295, #1293, #1296, .T. ); #1113 = EDGE_CURVE( '', #1297, #1295, #1298, .T. ); #1114 = EDGE_CURVE( '', #1257, #1297, #1299, .T. ); #1115 = EDGE_CURVE( '', #1268, #1286, #1300, .T. ); #1116 = EDGE_CURVE( '', #1301, #1301, #1302, .T. ); #1117 = EDGE_CURVE( '', #1282, #1293, #1303, .T. ); #1118 = EDGE_CURVE( '', #1304, #1304, #1305, .T. ); #1119 = EDGE_CURVE( '', #1280, #1295, #1306, .T. ); #1120 = EDGE_CURVE( '', #1278, #1297, #1307, .T. ); #1121 = EDGE_CURVE( '', #1308, #1308, #1309, .T. ); #1122 = EDGE_CURVE( '', #1310, #1311, #1312, .T. ); #1123 = EDGE_CURVE( '', #1313, #1311, #1314, .T. ); #1124 = EDGE_CURVE( '', #1315, #1313, #1316, .T. ); #1125 = EDGE_CURVE( '', #1315, #1310, #1317, .T. ); #1126 = EDGE_CURVE( '', #1318, #1319, #1320, .T. ); #1127 = EDGE_CURVE( '', #1319, #1321, #1322, .T. ); #1128 = EDGE_CURVE( '', #1323, #1321, #1324, .T. ); #1129 = EDGE_CURVE( '', #1323, #1318, #1325, .T. ); #1130 = EDGE_CURVE( '', #1310, #1326, #1327, .T. ); #1131 = EDGE_CURVE( '', #1326, #1328, #1329, .T. ); #1132 = EDGE_CURVE( '', #1311, #1328, #1330, .T. ); #1133 = EDGE_CURVE( '', #1328, #1331, #1332, .T. ); #1134 = EDGE_CURVE( '', #1331, #1323, #1333, .T. ); #1135 = EDGE_CURVE( '', #1313, #1321, #1334, .T. ); #1136 = EDGE_CURVE( '', #1326, #1335, #1336, .T. ); #1137 = EDGE_CURVE( '', #1331, #1335, #1337, .T. ); #1138 = EDGE_CURVE( '', #1338, #1338, #1339, .T. ); #1139 = EDGE_CURVE( '', #1335, #1318, #1340, .T. ); #1140 = EDGE_CURVE( '', #1341, #1341, #1342, .F. ); #1141 = EDGE_CURVE( '', #1343, #1343, #1344, .T. ); #1142 = EDGE_CURVE( '', #1345, #1345, #1346, .T. ); #1143 = EDGE_CURVE( '', #1315, #1319, #1347, .T. ); #1144 = VERTEX_POINT( '', #1348 ); #1145 = CIRCLE( '', #1349, 5.50000000000000 ); #1146 = VERTEX_POINT( '', #1350 ); #1147 = VERTEX_POINT( '', #1351 ); #1148 = LINE( '', #1352, #1353 ); #1149 = VERTEX_POINT( '', #1354 ); #1150 = LINE( '', #1355, #1356 ); #1151 = VERTEX_POINT( '', #1357 ); #1152 = LINE( '', #1358, #1359 ); #1153 = VERTEX_POINT( '', #1360 ); #1154 = LINE( '', #1361, #1362 ); #1155 = VERTEX_POINT( '', #1363 ); #1156 = LINE( '', #1364, #1365 ); #1157 = LINE( '', #1366, #1367 ); #1158 = VERTEX_POINT( '', #1368 ); #1159 = LINE( '', #1369, #1370 ); #1160 = VERTEX_POINT( '', #1371 ); #1161 = LINE( '', #1372, #1373 ); #1162 = LINE( '', #1374, #1375 ); #1163 = VERTEX_POINT( '', #1376 ); #1164 = LINE( '', #1377, #1378 ); #1165 = LINE( '', #1379, #1380 ); #1166 = VERTEX_POINT( '', #1381 ); #1167 = CIRCLE( '', #1382, 6.50000000000000 ); #1168 = VERTEX_POINT( '', #1383 ); #1169 = CIRCLE( '', #1384, 6.50000000000000 ); #1170 = VERTEX_POINT( '', #1385 ); #1171 = CIRCLE( '', #1386, 5.50000000000000 ); #1172 = VERTEX_POINT( '', #1387 ); #1173 = LINE( '', #1388, #1389 ); #1174 = VERTEX_POINT( '', #1390 ); #1175 = LINE( '', #1391, #1392 ); #1176 = VERTEX_POINT( '', #1393 ); #1177 = LINE( '', #1394, #1395 ); #1178 = LINE( '', #1396, #1397 ); #1179 = VERTEX_POINT( '', #1398 ); #1180 = CIRCLE( '', #1399, 3.99999999999999 ); #1181 = VERTEX_POINT( '', #1400 ); #1182 = CIRCLE( '', #1401, 3.99999999999999 ); #1183 = VERTEX_POINT( '', #1402 ); #1184 = CIRCLE( '', #1403, 3.59999999999999 ); #1185 = VERTEX_POINT( '', #1404 ); #1186 = CIRCLE( '', #1405, 3.59999999999999 ); #1187 = LINE( '', #1406, #1407 ); #1188 = LINE( '', #1408, #1409 ); #1189 = LINE( '', #1410, #1411 ); #1190 = VERTEX_POINT( '', #1412 ); #1191 = CIRCLE( '', #1413, 3.00000000000000 ); #1192 = VERTEX_POINT( '', #1414 ); #1193 = CIRCLE( '', #1415, 4.00000000000000 ); #1194 = VERTEX_POINT( '', #1416 ); #1195 = CIRCLE( '', #1417, 4.00000000000000 ); #1196 = VERTEX_POINT( '', #1418 ); #1197 = VERTEX_POINT( '', #1419 ); #1198 = LINE( '', #1420, #1421 ); #1199 = VERTEX_POINT( '', #1422 ); #1200 = LINE( '', #1423, #1424 ); #1201 = VERTEX_POINT( '', #1425 ); #1202 = LINE( '', #1426, #1427 ); #1203 = LINE( '', #1428, #1429 ); #1204 = VERTEX_POINT( '', #1430 ); #1205 = CIRCLE( '', #1431, 0.500000000000000 ); #1206 = VERTEX_POINT( '', #1432 ); #1207 = CIRCLE( '', #1433, 0.500000000000000 ); #1208 = VERTEX_POINT( '', #1434 ); #1209 = LINE( '', #1435, #1436 ); #1210 = VERTEX_POINT( '', #1437 ); #1211 = LINE( '', #1438, #1439 ); #1212 = VERTEX_POINT( '', #1440 ); #1213 = CIRCLE( '', #1441, 4.57695792599488 ); #1214 = VERTEX_POINT( '', #1442 ); #1215 = LINE( '', #1443, #1444 ); #1216 = VERTEX_POINT( '', #1445 ); #1217 = LINE( '', #1446, #1447 ); #1218 = VERTEX_POINT( '', #1448 ); #1219 = LINE( '', #1449, #1450 ); #1220 = CIRCLE( '', #1451, 3.20000000000000 ); #1221 = VERTEX_POINT( '', #1452 ); #1222 = LINE( '', #1453, #1454 ); #1223 = CIRCLE( '', #1455, 3.20000000000000 ); #1224 = VERTEX_POINT( '', #1456 ); #1225 = LINE( '', #1457, #1458 ); #1226 = LINE( '', #1459, #1460 ); #1227 = VERTEX_POINT( '', #1461 ); #1228 = CIRCLE( '', #1462, 0.500000000000000 ); #1229 = VERTEX_POINT( '', #1463 ); #1230 = CIRCLE( '', #1464, 0.500000000000000 ); #1231 = VERTEX_POINT( '', #1465 ); #1232 = LINE( '', #1466, #1467 ); #1233 = VERTEX_POINT( '', #1468 ); #1234 = LINE( '', #1469, #1470 ); #1235 = VERTEX_POINT( '', #1471 ); #1236 = CIRCLE( '', #1472, 4.57695792599488 ); #1237 = VERTEX_POINT( '', #1473 ); #1238 = LINE( '', #1474, #1475 ); #1239 = LINE( '', #1476, #1477 ); #1240 = LINE( '', #1478, #1479 ); #1241 = LINE( '', #1480, #1481 ); #1242 = LINE( '', #1482, #1483 ); #1243 = LINE( '', #1484, #1485 ); #1244 = VERTEX_POINT( '', #1486 ); #1245 = VERTEX_POINT( '', #1487 ); #1246 = LINE( '', #1488, #1489 ); #1247 = VERTEX_POINT( '', #1490 ); #1248 = LINE( '', #1491, #1492 ); #1249 = VERTEX_POINT( '', #1493 ); #1250 = LINE( '', #1494, #1495 ); #1251 = LINE( '', #1496, #1497 ); #1252 = VERTEX_POINT( '', #1498 ); #1253 = VERTEX_POINT( '', #1499 ); #1254 = LINE( '', #1500, #1501 ); #1255 = VERTEX_POINT( '', #1502 ); #1256 = LINE( '', #1503, #1504 ); #1257 = VERTEX_POINT( '', #1505 ); #1258 = LINE( '', #1506, #1507 ); #1259 = LINE( '', #1508, #1509 ); #1260 = VERTEX_POINT( '', #1510 ); #1261 = VERTEX_POINT( '', #1511 ); #1262 = LINE( '', #1512, #1513 ); #1263 = VERTEX_POINT( '', #1514 ); #1264 = LINE( '', #1515, #1516 ); #1265 = VERTEX_POINT( '', #1517 ); #1266 = LINE( '', #1518, #1519 ); #1267 = LINE( '', #1520, #1521 ); #1268 = VERTEX_POINT( '', #1522 ); #1269 = LINE( '', #1523, #1524 ); #1270 = VERTEX_POINT( '', #1525 ); #1271 = LINE( '', #1526, #1527 ); #1272 = LINE( '', #1528, #1529 ); #1273 = VERTEX_POINT( '', #1530 ); #1274 = LINE( '', #1531, #1532 ); #1275 = VERTEX_POINT( '', #1533 ); #1276 = LINE( '', #1534, #1535 ); #1277 = LINE( '', #1536, #1537 ); #1278 = VERTEX_POINT( '', #1538 ); #1279 = LINE( '', #1539, #1540 ); #1280 = VERTEX_POINT( '', #1541 ); #1281 = LINE( '', #1542, #1543 ); #1282 = VERTEX_POINT( '', #1544 ); #1283 = LINE( '', #1545, #1546 ); #1284 = LINE( '', #1547, #1548 ); #1285 = LINE( '', #1549, #1550 ); #1286 = VERTEX_POINT( '', #1551 ); #1287 = VERTEX_POINT( '', #1552 ); #1288 = LINE( '', #1553, #1554 ); #1289 = LINE( '', #1555, #1556 ); #1290 = LINE( '', #1557, #1558 ); #1291 = LINE( '', #1559, #1560 ); #1292 = LINE( '', #1561, #1562 ); #1293 = VERTEX_POINT( '', #1563 ); #1294 = LINE( '', #1564, #1565 ); #1295 = VERTEX_POINT( '', #1566 ); #1296 = LINE( '', #1567, #1568 ); #1297 = VERTEX_POINT( '', #1569 ); #1298 = LINE( '', #1570, #1571 ); #1299 = LINE( '', #1572, #1573 ); #1300 = LINE( '', #1574, #1575 ); #1301 = VERTEX_POINT( '', #1576 ); #1302 = CIRCLE( '', #1577, 3.40000000000000 ); #1303 = LINE( '', #1578, #1579 ); #1304 = VERTEX_POINT( '', #1580 ); #1305 = CIRCLE( '', #1581, 3.40000000000000 ); #1306 = LINE( '', #1582, #1583 ); #1307 = LINE( '', #1584, #1585 ); #1308 = VERTEX_POINT( '', #1586 ); #1309 = CIRCLE( '', #1587, 4.50000000000000 ); #1310 = VERTEX_POINT( '', #1588 ); #1311 = VERTEX_POINT( '', #1589 ); #1312 = LINE( '', #1590, #1591 ); #1313 = VERTEX_POINT( '', #1592 ); #1314 = LINE( '', #1593, #1594 ); #1315 = VERTEX_POINT( '', #1595 ); #1316 = LINE( '', #1596, #1597 ); #1317 = LINE( '', #1598, #1599 ); #1318 = VERTEX_POINT( '', #1600 ); #1319 = VERTEX_POINT( '', #1601 ); #1320 = LINE( '', #1602, #1603 ); #1321 = VERTEX_POINT( '', #1604 ); #1322 = LINE( '', #1605, #1606 ); #1323 = VERTEX_POINT( '', #1607 ); #1324 = LINE( '', #1608, #1609 ); #1325 = LINE( '', #1610, #1611 ); #1326 = VERTEX_POINT( '', #1612 ); #1327 = LINE( '', #1613, #1614 ); #1328 = VERTEX_POINT( '', #1615 ); #1329 = LINE( '', #1616, #1617 ); #1330 = LINE( '', #1618, #1619 ); #1331 = VERTEX_POINT( '', #1620 ); #1332 = LINE( '', #1621, #1622 ); #1333 = LINE( '', #1623, #1624 ); #1334 = LINE( '', #1625, #1626 ); #1335 = VERTEX_POINT( '', #1627 ); #1336 = LINE( '', #1628, #1629 ); #1337 = LINE( '', #1630, #1631 ); #1338 = VERTEX_POINT( '', #1632 ); #1339 = CIRCLE( '', #1633, 8.00000000000000 ); #1340 = LINE( '', #1634, #1635 ); #1341 = VERTEX_POINT( '', #1636 ); #1342 = CIRCLE( '', #1637, 7.00000000000000 ); #1343 = VERTEX_POINT( '', #1638 ); #1344 = CIRCLE( '', #1639, 7.00000000000000 ); #1345 = VERTEX_POINT( '', #1640 ); #1346 = CIRCLE( '', #1641, 4.50000000000000 ); #1347 = LINE( '', #1642, #1643 ); #1348 = CARTESIAN_POINT( '', ( -5.50000000000000, 0.000000000000000, 61.5000000000000 ) ); #1349 = AXIS2_PLACEMENT_3D( '', #1644, #1645, #1646 ); #1350 = CARTESIAN_POINT( '', ( 3.46409934026504, 3.16854123858767E-017, 61.5000000000000 ) ); #1351 = CARTESIAN_POINT( '', ( 1.73205035259448, 3.00000000000000, 61.5000000000000 ) ); #1352 = CARTESIAN_POINT( '', ( 3.46409934026504, 3.16854123858767E-017, 61.5000000000000 ) ); #1353 = VECTOR( '', #1647, 1000.00000000000 ); #1354 = CARTESIAN_POINT( '', ( 1.73205035259448, -3.00000000000000, 61.5000000000000 ) ); #1355 = CARTESIAN_POINT( '', ( 1.73205035259448, -3.00000000000000, 61.5000000000000 ) ); #1356 = VECTOR( '', #1648, 1000.00000000000 ); #1357 = CARTESIAN_POINT( '', ( -1.73205035259448, -3.00000000000000, 61.5000000000000 ) ); #1358 = CARTESIAN_POINT( '', ( -1.73205035259448, -3.00000000000000, 61.5000000000000 ) ); #1359 = VECTOR( '', #1649, 1000.00000000000 ); #1360 = CARTESIAN_POINT( '', ( -3.46409934026503, 1.73472347597681E-015, 61.5000000000000 ) ); #1361 = CARTESIAN_POINT( '', ( -3.46409934026503, 1.57447809599063E-015, 61.5000000000000 ) ); #1362 = VECTOR( '', #1650, 1000.00000000000 ); #1363 = CARTESIAN_POINT( '', ( -1.73205035259447, 3.00000000000000, 61.5000000000000 ) ); #1364 = CARTESIAN_POINT( '', ( -1.73205035259447, 3.00000000000000, 61.5000000000000 ) ); #1365 = VECTOR( '', #1651, 1000.00000000000 ); #1366 = CARTESIAN_POINT( '', ( 1.73205035259448, 3.00000000000000, 61.5000000000000 ) ); #1367 = VECTOR( '', #1652, 1000.00000000000 ); #1368 = CARTESIAN_POINT( '', ( 1.73205035259448, 3.00000000000000, 57.5000000000000 ) ); #1369 = CARTESIAN_POINT( '', ( 1.73205035259448, 3.00000000000000, 57.5000000000000 ) ); #1370 = VECTOR( '', #1653, 1000.00000000000 ); #1371 = CARTESIAN_POINT( '', ( 3.46409934026504, 3.16854123858767E-017, 57.5000000000000 ) ); #1372 = CARTESIAN_POINT( '', ( 3.46409934026504, 3.16854123858767E-017, 57.5000000000000 ) ); #1373 = VECTOR( '', #1654, 1000.00000000000 ); #1374 = CARTESIAN_POINT( '', ( 3.46409934026504, 3.16854123858767E-017, 57.5000000000000 ) ); #1375 = VECTOR( '', #1655, 1000.00000000000 ); #1376 = CARTESIAN_POINT( '', ( 1.73205035259448, -3.00000000000000, 57.5000000000000 ) ); #1377 = CARTESIAN_POINT( '', ( 1.73205035259448, -3.00000000000000, 57.5000000000000 ) ); #1378 = VECTOR( '', #1656, 1000.00000000000 ); #1379 = CARTESIAN_POINT( '', ( 1.73205035259448, -3.00000000000000, 57.5000000000000 ) ); #1380 = VECTOR( '', #1657, 1000.00000000000 ); #1381 = CARTESIAN_POINT( '', ( 6.50000000000000, 0.000000000000000, 54.5000000000000 ) ); #1382 = AXIS2_PLACEMENT_3D( '', #1658, #1659, #1660 ); #1383 = CARTESIAN_POINT( '', ( -6.50000000000000, 0.000000000000000, 60.5000000000000 ) ); #1384 = AXIS2_PLACEMENT_3D( '', #1661, #1662, #1663 ); #1385 = CARTESIAN_POINT( '', ( 5.50000000000000, 0.000000000000000, 53.5000000000000 ) ); #1386 = AXIS2_PLACEMENT_3D( '', #1664, #1665, #1666 ); #1387 = CARTESIAN_POINT( '', ( -1.73205035259447, 3.00000000000000, 57.5000000000000 ) ); #1388 = CARTESIAN_POINT( '', ( 1.73205035259448, 3.00000000000000, 57.5000000000000 ) ); #1389 = VECTOR( '', #1667, 1000.00000000000 ); #1390 = CARTESIAN_POINT( '', ( -3.46409934026503, 1.73472347597681E-015, 57.5000000000000 ) ); #1391 = CARTESIAN_POINT( '', ( -1.73205035259447, 3.00000000000000, 57.5000000000000 ) ); #1392 = VECTOR( '', #1668, 1000.00000000000 ); #1393 = CARTESIAN_POINT( '', ( -1.73205035259448, -3.00000000000000, 57.5000000000000 ) ); #1394 = CARTESIAN_POINT( '', ( -3.46409934026503, 1.57447809599063E-015, 57.5000000000000 ) ); #1395 = VECTOR( '', #1669, 1000.00000000000 ); #1396 = CARTESIAN_POINT( '', ( -1.73205035259448, -3.00000000000000, 57.5000000000000 ) ); #1397 = VECTOR( '', #1670, 1000.00000000000 ); #1398 = CARTESIAN_POINT( '', ( -3.99999999999999, 0.000000000000000, 53.5000000000000 ) ); #1399 = AXIS2_PLACEMENT_3D( '', #1671, #1672, #1673 ); #1400 = CARTESIAN_POINT( '', ( -3.99999999999999, 0.000000000000000, 44.0000000000000 ) ); #1401 = AXIS2_PLACEMENT_3D( '', #1674, #1675, #1676 ); #1402 = CARTESIAN_POINT( '', ( -3.59999999999999, 0.000000000000000, 44.0000000000000 ) ); #1403 = AXIS2_PLACEMENT_3D( '', #1677, #1678, #1679 ); #1404 = CARTESIAN_POINT( '', ( -3.59999999999999, 0.000000000000000, 43.1000000000000 ) ); #1405 = AXIS2_PLACEMENT_3D( '', #1680, #1681, #1682 ); #1406 = CARTESIAN_POINT( '', ( -1.73205035259448, -3.00000000000000, 57.5000000000000 ) ); #1407 = VECTOR( '', #1683, 1000.00000000000 ); #1408 = CARTESIAN_POINT( '', ( -3.46409934026503, 1.73472347597681E-015, 57.5000000000000 ) ); #1409 = VECTOR( '', #1684, 1000.00000000000 ); #1410 = CARTESIAN_POINT( '', ( -1.73205035259447, 3.00000000000000, 57.5000000000000 ) ); #1411 = VECTOR( '', #1685, 1000.00000000000 ); #1412 = CARTESIAN_POINT( '', ( 3.00000000000000, 0.000000000000000, 21.5000000000000 ) ); #1413 = AXIS2_PLACEMENT_3D( '', #1686, #1687, #1688 ); #1414 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, 22.5000000000000 ) ); #1415 = AXIS2_PLACEMENT_3D( '', #1689, #1690, #1691 ); #1416 = CARTESIAN_POINT( '', ( 4.00000000000000, 0.000000000000000, 43.1000000000000 ) ); #1417 = AXIS2_PLACEMENT_3D( '', #1692, #1693, #1694 ); #1418 = CARTESIAN_POINT( '', ( 0.111678389448003, 0.000000000000000, -5.99805064646111 ) ); #1419 = CARTESIAN_POINT( '', ( 0.111678389448001, 0.000000000000000, -3.19805064646111 ) ); #1420 = CARTESIAN_POINT( '', ( 0.111678389448003, 0.000000000000000, -5.99805064646111 ) ); #1421 = VECTOR( '', #1695, 1000.00000000000 ); #1422 = CARTESIAN_POINT( '', ( 0.111678389448001, 0.650000000000000, -3.19805064646111 ) ); #1423 = CARTESIAN_POINT( '', ( 0.111678389448001, 0.650000000000000, -3.19805064646111 ) ); #1424 = VECTOR( '', #1696, 1000.00000000000 ); #1425 = CARTESIAN_POINT( '', ( 0.111678389448003, 0.650000000000000, -5.99805064646111 ) ); #1426 = CARTESIAN_POINT( '', ( 0.111678389448003, 0.650000000000000, -5.99805064646111 ) ); #1427 = VECTOR( '', #1697, 1000.00000000000 ); #1428 = CARTESIAN_POINT( '', ( 0.111678389448003, 0.650000000000000, -5.99805064646111 ) ); #1429 = VECTOR( '', #1698, 1000.00000000000 ); #1430 = CARTESIAN_POINT( '', ( -1.01167838944800, 0.000000000000000, -4.59805064646111 ) ); #1431 = AXIS2_PLACEMENT_3D( '', #1699, #1700, #1701 ); #1432 = CARTESIAN_POINT( '', ( 2.01167838944800, 0.000000000000000, -4.59805064646111 ) ); #1433 = AXIS2_PLACEMENT_3D( '', #1702, #1703, #1704 ); #1434 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.000000000000000, -5.99805064646111 ) ); #1435 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.000000000000000, -5.99805064646111 ) ); #1436 = VECTOR( '', #1705, 1000.00000000000 ); #1437 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.000000000000000, -3.19805064646111 ) ); #1438 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.000000000000000, -3.19805064646111 ) ); #1439 = VECTOR( '', #1706, 1000.00000000000 ); #1440 = CARTESIAN_POINT( '', ( -2.91167838944800, 0.000000000000000, -3.19805064646111 ) ); #1441 = AXIS2_PLACEMENT_3D( '', #1707, #1708, #1709 ); #1442 = CARTESIAN_POINT( '', ( -2.91167838944800, 0.000000000000000, -5.99805064646111 ) ); #1443 = CARTESIAN_POINT( '', ( -2.91167838944800, 0.000000000000000, -5.99805064646111 ) ); #1444 = VECTOR( '', #1710, 1000.00000000000 ); #1445 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.000000000000000, -5.99805064646111 ) ); #1446 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.000000000000000, -5.99805064646111 ) ); #1447 = VECTOR( '', #1711, 1000.00000000000 ); #1448 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.000000000000000, -3.19805064646111 ) ); #1449 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.000000000000000, -3.19805064646111 ) ); #1450 = VECTOR( '', #1712, 1000.00000000000 ); #1451 = AXIS2_PLACEMENT_3D( '', #1713, #1714, #1715 ); #1452 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.650000000000000, -3.19805064646111 ) ); #1453 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.650000000000000, -3.19805064646111 ) ); #1454 = VECTOR( '', #1716, 1000.00000000000 ); #1455 = AXIS2_PLACEMENT_3D( '', #1717, #1718, #1719 ); #1456 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.650000000000000, -5.99805064646111 ) ); #1457 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.650000000000000, -5.99805064646111 ) ); #1458 = VECTOR( '', #1720, 1000.00000000000 ); #1459 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.650000000000000, -3.19805064646111 ) ); #1460 = VECTOR( '', #1721, 1000.00000000000 ); #1461 = CARTESIAN_POINT( '', ( -1.51167838944800, 0.650000000000000, -5.09805064646111 ) ); #1462 = AXIS2_PLACEMENT_3D( '', #1722, #1723, #1724 ); #1463 = CARTESIAN_POINT( '', ( 1.51167838944800, 0.650000000000000, -5.09805064646111 ) ); #1464 = AXIS2_PLACEMENT_3D( '', #1725, #1726, #1727 ); #1465 = CARTESIAN_POINT( '', ( -2.91167838944800, 0.650000000000000, -5.99805064646111 ) ); #1466 = CARTESIAN_POINT( '', ( -0.111678389448003, 0.650000000000000, -5.99805064646111 ) ); #1467 = VECTOR( '', #1728, 1000.00000000000 ); #1468 = CARTESIAN_POINT( '', ( -2.91167838944800, 0.650000000000000, -3.19805064646111 ) ); #1469 = CARTESIAN_POINT( '', ( -2.91167838944800, 0.650000000000000, -5.99805064646111 ) ); #1470 = VECTOR( '', #1729, 1000.00000000000 ); #1471 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.650000000000000, -3.19805064646111 ) ); #1472 = AXIS2_PLACEMENT_3D( '', #1730, #1731, #1732 ); #1473 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.650000000000000, -5.99805064646111 ) ); #1474 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.650000000000000, -3.19805064646111 ) ); #1475 = VECTOR( '', #1733, 1000.00000000000 ); #1476 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.650000000000000, -5.99805064646111 ) ); #1477 = VECTOR( '', #1734, 1000.00000000000 ); #1478 = CARTESIAN_POINT( '', ( -2.91167838944800, 0.650000000000000, -5.99805064646111 ) ); #1479 = VECTOR( '', #1735, 1000.00000000000 ); #1480 = CARTESIAN_POINT( '', ( -2.91167838944800, 0.650000000000000, -3.19805064646111 ) ); #1481 = VECTOR( '', #1736, 1000.00000000000 ); #1482 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.650000000000000, -3.19805064646111 ) ); #1483 = VECTOR( '', #1737, 1000.00000000000 ); #1484 = CARTESIAN_POINT( '', ( 2.91167838944800, 0.650000000000000, -5.99805064646111 ) ); #1485 = VECTOR( '', #1738, 1000.00000000000 ); #1486 = CARTESIAN_POINT( '', ( 7.00000000000001, -7.00000000000000, -9.50000000000000 ) ); #1487 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #1488 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000001 ) ); #1489 = VECTOR( '', #1739, 1000.00000000000 ); #1490 = CARTESIAN_POINT( '', ( 7.00000000000000, 7.00000000000000, -9.50000000000000 ) ); #1491 = CARTESIAN_POINT( '', ( 7.00000000000001, -28.1140997321589, -9.50000000000000 ) ); #1492 = VECTOR( '', #1740, 1000.00000000000 ); #1493 = CARTESIAN_POINT( '', ( 13.0000000000000, 7.00000000000000, -9.50000000000000 ) ); #1494 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, -9.50000000000001 ) ); #1495 = VECTOR( '', #1741, 1000.00000000000 ); #1496 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #1497 = VECTOR( '', #1742, 1000.00000000000 ); #1498 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, 0.500000000000000 ) ); #1499 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000001 ) ); #1500 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, 9.50000000000000 ) ); #1501 = VECTOR( '', #1743, 1000.00000000000 ); #1502 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, 0.500000000000000 ) ); #1503 = CARTESIAN_POINT( '', ( -13.0000000000000, 28.1140997321589, 0.500000000000000 ) ); #1504 = VECTOR( '', #1744, 1000.00000000000 ); #1505 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, -9.50000000000001 ) ); #1506 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, 9.50000000000000 ) ); #1507 = VECTOR( '', #1745, 1000.00000000000 ); #1508 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000001 ) ); #1509 = VECTOR( '', #1746, 1000.00000000000 ); #1510 = CARTESIAN_POINT( '', ( 13.0000000000000, 7.00000000000000, 0.500000000000000 ) ); #1511 = CARTESIAN_POINT( '', ( 9.50000000000001, 7.00000000000000, 0.500000000000000 ) ); #1512 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, 0.500000000000000 ) ); #1513 = VECTOR( '', #1747, 1000.00000000000 ); #1514 = CARTESIAN_POINT( '', ( 9.50000000000001, -7.00000000000000, 0.500000000000000 ) ); #1515 = CARTESIAN_POINT( '', ( 9.50000000000001, 28.1140997321589, 0.500000000000000 ) ); #1516 = VECTOR( '', #1748, 1000.00000000000 ); #1517 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, 0.500000000000000 ) ); #1518 = CARTESIAN_POINT( '', ( 9.50000000000001, -7.00000000000000, 0.500000000000000 ) ); #1519 = VECTOR( '', #1749, 1000.00000000000 ); #1520 = CARTESIAN_POINT( '', ( 13.0000000000000, 28.1140997321589, 0.500000000000000 ) ); #1521 = VECTOR( '', #1750, 1000.00000000000 ); #1522 = CARTESIAN_POINT( '', ( 9.50000000000000, 7.00000000000000, 9.50000000000000 ) ); #1523 = CARTESIAN_POINT( '', ( 9.50000000000001, 7.00000000000000, 9.50000000000001 ) ); #1524 = VECTOR( '', #1751, 1000.00000000000 ); #1525 = CARTESIAN_POINT( '', ( 9.50000000000000, -7.00000000000000, 9.50000000000000 ) ); #1526 = CARTESIAN_POINT( '', ( 9.50000000000000, 28.1140997321589, 9.50000000000000 ) ); #1527 = VECTOR( '', #1752, 1000.00000000000 ); #1528 = CARTESIAN_POINT( '', ( 9.50000000000000, -7.00000000000000, 9.50000000000000 ) ); #1529 = VECTOR( '', #1753, 1000.00000000000 ); #1530 = CARTESIAN_POINT( '', ( -9.50000000000000, -7.00000000000000, 9.50000000000000 ) ); #1531 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, 9.50000000000000 ) ); #1532 = VECTOR( '', #1754, 1000.00000000000 ); #1533 = CARTESIAN_POINT( '', ( -9.50000000000000, -7.00000000000000, 0.500000000000000 ) ); #1534 = CARTESIAN_POINT( '', ( -9.50000000000000, -7.00000000000000, 0.500000000000000 ) ); #1535 = VECTOR( '', #1755, 1000.00000000000 ); #1536 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, 0.500000000000000 ) ); #1537 = VECTOR( '', #1756, 1000.00000000000 ); #1538 = CARTESIAN_POINT( '', ( -6.99999999999999, -7.00000000000000, -9.50000000000001 ) ); #1539 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -9.50000000000001 ) ); #1540 = VECTOR( '', #1757, 1000.00000000000 ); #1541 = CARTESIAN_POINT( '', ( -4.99999999999999, -7.00000000000000, -7.50000000000001 ) ); #1542 = CARTESIAN_POINT( '', ( -0.499999999999999, -7.00000000000000, -3.00000000000002 ) ); #1543 = VECTOR( '', #1758, 1000.00000000000 ); #1544 = CARTESIAN_POINT( '', ( 5.00000000000000, -7.00000000000000, -7.50000000000000 ) ); #1545 = CARTESIAN_POINT( '', ( -13.0000000000000, -7.00000000000000, -7.50000000000001 ) ); #1546 = VECTOR( '', #1759, 1000.00000000000 ); #1547 = CARTESIAN_POINT( '', ( -12.5000000000000, -7.00000000000000, 9.99999999999999 ) ); #1548 = VECTOR( '', #1760, 1000.00000000000 ); #1549 = CARTESIAN_POINT( '', ( 13.0000000000000, -7.00000000000000, -9.50000000000000 ) ); #1550 = VECTOR( '', #1761, 1000.00000000000 ); #1551 = CARTESIAN_POINT( '', ( -9.50000000000000, 7.00000000000000, 9.50000000000000 ) ); #1552 = CARTESIAN_POINT( '', ( -9.50000000000000, 7.00000000000000, 0.500000000000000 ) ); #1553 = CARTESIAN_POINT( '', ( -9.50000000000000, 7.00000000000000, 9.50000000000000 ) ); #1554 = VECTOR( '', #1762, 1000.00000000000 ); #1555 = CARTESIAN_POINT( '', ( -9.50000000000000, 28.1140997321589, 0.500000000000000 ) ); #1556 = VECTOR( '', #1763, 1000.00000000000 ); #1557 = CARTESIAN_POINT( '', ( -9.50000000000000, 28.1140997321589, 9.50000000000000 ) ); #1558 = VECTOR( '', #1764, 1000.00000000000 ); #1559 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, 0.500000000000000 ) ); #1560 = VECTOR( '', #1765, 1000.00000000000 ); #1561 = CARTESIAN_POINT( '', ( 13.0000000000000, 7.00000000000000, -9.50000000000000 ) ); #1562 = VECTOR( '', #1766, 1000.00000000000 ); #1563 = CARTESIAN_POINT( '', ( 5.00000000000000, 7.00000000000000, -7.50000000000000 ) ); #1564 = CARTESIAN_POINT( '', ( 7.00000000000001, 7.00000000000000, -9.50000000000000 ) ); #1565 = VECTOR( '', #1767, 1000.00000000000 ); #1566 = CARTESIAN_POINT( '', ( -4.99999999999999, 7.00000000000000, -7.50000000000001 ) ); #1567 = CARTESIAN_POINT( '', ( 5.00000000000000, 7.00000000000000, -7.50000000000000 ) ); #1568 = VECTOR( '', #1768, 1000.00000000000 ); #1569 = CARTESIAN_POINT( '', ( -6.99999999999999, 7.00000000000000, -9.50000000000001 ) ); #1570 = CARTESIAN_POINT( '', ( -6.99999999999999, 7.00000000000000, -9.50000000000001 ) ); #1571 = VECTOR( '', #1769, 1000.00000000000 ); #1572 = CARTESIAN_POINT( '', ( -13.0000000000000, 7.00000000000000, -9.50000000000001 ) ); #1573 = VECTOR( '', #1770, 1000.00000000000 ); #1574 = CARTESIAN_POINT( '', ( 13.0000000000000, 7.00000000000000, 9.50000000000000 ) ); #1575 = VECTOR( '', #1771, 1000.00000000000 ); #1576 = CARTESIAN_POINT( '', ( 3.46944695195361E-015, -3.40000000000000, 9.50000000000000 ) ); #1577 = AXIS2_PLACEMENT_3D( '', #1772, #1773, #1774 ); #1578 = CARTESIAN_POINT( '', ( 5.00000000000000, -28.1140997321589, -7.50000000000000 ) ); #1579 = VECTOR( '', #1775, 1000.00000000000 ); #1580 = CARTESIAN_POINT( '', ( 3.40000000000000, 0.000000000000000, -7.50000000000000 ) ); #1581 = AXIS2_PLACEMENT_3D( '', #1776, #1777, #1778 ); #1582 = CARTESIAN_POINT( '', ( -4.99999999999999, -28.1140997321589, -7.50000000000001 ) ); #1583 = VECTOR( '', #1779, 1000.00000000000 ); #1584 = CARTESIAN_POINT( '', ( -6.99999999999999, -28.1140997321589, -9.50000000000001 ) ); #1585 = VECTOR( '', #1780, 1000.00000000000 ); #1586 = CARTESIAN_POINT( '', ( 0.000000000000000, -4.49999999999998, -9.00000000000000 ) ); #1587 = AXIS2_PLACEMENT_3D( '', #1781, #1782, #1783 ); #1588 = CARTESIAN_POINT( '', ( -24.7500000000000, 6.55000000000001, -8.99999999999999 ) ); #1589 = CARTESIAN_POINT( '', ( 24.7500000000000, 6.55000000000000, -8.99999999999999 ) ); #1590 = CARTESIAN_POINT( '', ( -32.5256492761104, 6.55000000000001, -8.99999999999999 ) ); #1591 = VECTOR( '', #1784, 1000.00000000000 ); #1592 = CARTESIAN_POINT( '', ( 24.7500000000000, -6.55000000000000, -9.00000000000000 ) ); #1593 = CARTESIAN_POINT( '', ( 24.7500000000000, -11.2500000000000, -8.99999999999999 ) ); #1594 = VECTOR( '', #1785, 1000.00000000000 ); #1595 = CARTESIAN_POINT( '', ( -24.7500000000000, -6.55000000000000, -9.00000000000000 ) ); #1596 = CARTESIAN_POINT( '', ( -32.5256492761104, -6.55000000000000, -9.00000000000000 ) ); #1597 = VECTOR( '', #1786, 1000.00000000000 ); #1598 = CARTESIAN_POINT( '', ( -24.7500000000000, -11.2500000000000, -8.99999999999999 ) ); #1599 = VECTOR( '', #1787, 1000.00000000000 ); #1600 = CARTESIAN_POINT( '', ( -24.7500000000000, -11.2500000000000, 9.00000000000000 ) ); #1601 = CARTESIAN_POINT( '', ( -24.7500000000000, -11.2500000000000, 8.54063879557373 ) ); #1602 = CARTESIAN_POINT( '', ( -24.7500000000000, -11.2500000000000, 9.00000000000000 ) ); #1603 = VECTOR( '', #1788, 1000.00000000000 ); #1604 = CARTESIAN_POINT( '', ( 24.7500000000000, -11.2500000000000, 8.54063879557373 ) ); #1605 = CARTESIAN_POINT( '', ( -32.5256492761104, -11.2500000000000, 8.54063879557373 ) ); #1606 = VECTOR( '', #1789, 1000.00000000000 ); #1607 = CARTESIAN_POINT( '', ( 24.7500000000000, -11.2500000000000, 9.00000000000000 ) ); #1608 = CARTESIAN_POINT( '', ( 24.7500000000000, -11.2500000000000, 9.00000000000000 ) ); #1609 = VECTOR( '', #1790, 1000.00000000000 ); #1610 = CARTESIAN_POINT( '', ( 24.7500000000000, -11.2500000000000, 9.00000000000000 ) ); #1611 = VECTOR( '', #1791, 1000.00000000000 ); #1612 = CARTESIAN_POINT( '', ( -24.7500000000000, 11.2500000000000, 8.54063879557373 ) ); #1613 = CARTESIAN_POINT( '', ( -24.7500000000000, 5.35762609368151, -13.4500000000000 ) ); #1614 = VECTOR( '', #1792, 1000.00000000000 ); #1615 = CARTESIAN_POINT( '', ( 24.7500000000000, 11.2500000000000, 8.54063879557373 ) ); #1616 = CARTESIAN_POINT( '', ( -32.5256492761104, 11.2500000000000, 8.54063879557373 ) ); #1617 = VECTOR( '', #1793, 1000.00000000000 ); #1618 = CARTESIAN_POINT( '', ( 24.7500000000000, 6.55000000000000, -8.99999999999999 ) ); #1619 = VECTOR( '', #1794, 1000.00000000000 ); #1620 = CARTESIAN_POINT( '', ( 24.7500000000000, 11.2500000000000, 9.00000000000001 ) ); #1621 = CARTESIAN_POINT( '', ( 24.7500000000000, 11.2500000000000, -9.00000000000000 ) ); #1622 = VECTOR( '', #1795, 1000.00000000000 ); #1623 = CARTESIAN_POINT( '', ( 24.7500000000000, 11.2500000000000, 9.00000000000001 ) ); #1624 = VECTOR( '', #1796, 1000.00000000000 ); #1625 = CARTESIAN_POINT( '', ( 24.7500000000000, -6.55000000000000, -9.00000000000000 ) ); #1626 = VECTOR( '', #1797, 1000.00000000000 ); #1627 = CARTESIAN_POINT( '', ( -24.7500000000000, 11.2500000000000, 9.00000000000001 ) ); #1628 = CARTESIAN_POINT( '', ( -24.7500000000000, 11.2500000000000, -9.00000000000000 ) ); #1629 = VECTOR( '', #1798, 1000.00000000000 ); #1630 = CARTESIAN_POINT( '', ( 24.7500000000000, 11.2500000000000, 9.00000000000001 ) ); #1631 = VECTOR( '', #1799, 1000.00000000000 ); #1632 = CARTESIAN_POINT( '', ( 0.000000000000000, 8.00000000000001, 9.00000000000001 ) ); #1633 = AXIS2_PLACEMENT_3D( '', #1800, #1801, #1802 ); #1634 = CARTESIAN_POINT( '', ( -24.7500000000000, 11.2500000000000, 9.00000000000001 ) ); #1635 = VECTOR( '', #1803, 1000.00000000000 ); #1636 = CARTESIAN_POINT( '', ( 0.000000000000000, 7.00000000000001, 8.00000000000001 ) ); #1637 = AXIS2_PLACEMENT_3D( '', #1804, #1805, #1806 ); #1638 = CARTESIAN_POINT( '', ( 0.000000000000000, -6.99999999999999, 0.599999999999994 ) ); #1639 = AXIS2_PLACEMENT_3D( '', #1807, #1808, #1809 ); #1640 = CARTESIAN_POINT( '', ( 0.000000000000000, 4.50000000000001, 0.599999999999998 ) ); #1641 = AXIS2_PLACEMENT_3D( '', #1810, #1811, #1812 ); #1642 = CARTESIAN_POINT( '', ( -24.7500000000000, -6.86484030110657, -7.82499999999999 ) ); #1643 = VECTOR( '', #1813, 1000.00000000000 ); #1644 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 61.5000000000000 ) ); #1645 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1646 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1647 = DIRECTION( '', ( -0.499999605980301, 0.866025631271698, 0.000000000000000 ) ); #1648 = DIRECTION( '', ( 0.499999605980301, 0.866025631271698, 0.000000000000000 ) ); #1649 = DIRECTION( '', ( 1.00000000000000, -3.75578748341162E-016, 0.000000000000000 ) ); #1650 = DIRECTION( '', ( 0.499999605980301, -0.866025631271699, 0.000000000000000 ) ); #1651 = DIRECTION( '', ( -0.499999605980301, -0.866025631271698, 0.000000000000000 ) ); #1652 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1653 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1654 = DIRECTION( '', ( -0.499999605980301, 0.866025631271698, 0.000000000000000 ) ); #1655 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1656 = DIRECTION( '', ( 0.499999605980301, 0.866025631271698, 0.000000000000000 ) ); #1657 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1658 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 54.5000000000000 ) ); #1659 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1660 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1661 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 60.5000000000000 ) ); #1662 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1663 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1664 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 53.5000000000000 ) ); #1665 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1666 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1667 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1668 = DIRECTION( '', ( -0.499999605980301, -0.866025631271698, 0.000000000000000 ) ); #1669 = DIRECTION( '', ( 0.499999605980301, -0.866025631271699, 0.000000000000000 ) ); #1670 = DIRECTION( '', ( 1.00000000000000, -3.75578748341162E-016, 0.000000000000000 ) ); #1671 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 53.5000000000000 ) ); #1672 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1673 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1674 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 44.0000000000000 ) ); #1675 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1676 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1677 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 44.0000000000000 ) ); #1678 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1679 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1680 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 43.1000000000000 ) ); #1681 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1682 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1683 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1684 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1685 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1686 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 21.5000000000000 ) ); #1687 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1688 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1689 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 22.5000000000000 ) ); #1690 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1691 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1692 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 43.1000000000000 ) ); #1693 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1694 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1695 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1696 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1697 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1698 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1699 = CARTESIAN_POINT( '', ( -1.51167838944800, 0.000000000000000, -4.59805064646111 ) ); #1700 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1701 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1702 = CARTESIAN_POINT( '', ( 1.51167838944800, 0.000000000000000, -4.59805064646111 ) ); #1703 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1704 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1705 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1706 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1707 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.333333333333333 ) ); #1708 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1709 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1710 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1711 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1712 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1713 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) ); #1714 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1715 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1716 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1717 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.650000000000000, 0.000000000000000 ) ); #1718 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1719 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1720 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1721 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1722 = CARTESIAN_POINT( '', ( -1.51167838944800, 0.650000000000000, -4.59805064646111 ) ); #1723 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1724 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1725 = CARTESIAN_POINT( '', ( 1.51167838944800, 0.650000000000000, -4.59805064646111 ) ); #1726 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1727 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1728 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1729 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1730 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.650000000000000, 0.333333333333333 ) ); #1731 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1732 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1733 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1734 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1735 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1736 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1737 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1738 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1739 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765663E-016 ) ); #1740 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1741 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765663E-016 ) ); #1742 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1743 = DIRECTION( '', ( 9.13012355777266E-017, 0.000000000000000, -1.00000000000000 ) ); #1744 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1745 = DIRECTION( '', ( 9.13012355777266E-017, 0.000000000000000, -1.00000000000000 ) ); #1746 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1747 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1748 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1749 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1750 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1751 = DIRECTION( '', ( -1.92747052886312E-016, 0.000000000000000, 1.00000000000000 ) ); #1752 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1753 = DIRECTION( '', ( 1.92747052886312E-016, 0.000000000000000, -1.00000000000000 ) ); #1754 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1755 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1756 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1757 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765663E-016 ) ); #1758 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, 0.707106781186547 ) ); #1759 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765664E-016 ) ); #1760 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186547 ) ); #1761 = DIRECTION( '', ( -1.82602471155453E-016, 0.000000000000000, 1.00000000000000 ) ); #1762 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1763 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1764 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1765 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1766 = DIRECTION( '', ( -1.82602471155453E-016, 0.000000000000000, 1.00000000000000 ) ); #1767 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186547 ) ); #1768 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765664E-016 ) ); #1769 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, 0.707106781186547 ) ); #1770 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765663E-016 ) ); #1771 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1772 = CARTESIAN_POINT( '', ( 3.46944695195361E-015, 0.000000000000000, 9.50000000000000 ) ); #1773 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1774 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1775 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1776 = CARTESIAN_POINT( '', ( 3.46944695195361E-015, 0.000000000000000, -7.50000000000000 ) ); #1777 = DIRECTION( '', ( -2.66880534765664E-016, 0.000000000000000, 1.00000000000000 ) ); #1778 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.66880534765664E-016 ) ); #1779 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1780 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1781 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.65790000775498E-014, -9.00000000000000 ) ); #1782 = DIRECTION( '', ( 0.000000000000000, 7.70988211545248E-017, 1.00000000000000 ) ); #1783 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 7.70988211545247E-017 ) ); #1784 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1785 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, -7.70988211545248E-017 ) ); #1786 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1787 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, -7.70988211545248E-017 ) ); #1788 = DIRECTION( '', ( 5.90098164112789E-033, 9.63735264431560E-017, -1.00000000000000 ) ); #1789 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1790 = DIRECTION( '', ( 5.90098164112789E-033, 9.63735264431560E-017, -1.00000000000000 ) ); #1791 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1792 = DIRECTION( '', ( 1.58475723561393E-017, 0.258819045102520, 0.965925826289068 ) ); #1793 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1794 = DIRECTION( '', ( 3.99092865394883E-017, 0.258819045102520, 0.965925826289068 ) ); #1795 = DIRECTION( '', ( -1.18019632822558E-032, -1.92747052886312E-016, 1.00000000000000 ) ); #1796 = DIRECTION( '', ( -6.12303176911189E-017, -1.00000000000000, -3.85494105772624E-016 ) ); #1797 = DIRECTION( '', ( -3.99092865394883E-017, -0.258819045102521, 0.965925826289068 ) ); #1798 = DIRECTION( '', ( -1.18019632822558E-032, -1.92747052886312E-016, 1.00000000000000 ) ); #1799 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1800 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.03339955640333E-014, 9.00000000000000 ) ); #1801 = DIRECTION( '', ( 0.000000000000000, 3.85494105772624E-016, -1.00000000000000 ) ); #1802 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 3.85494105772624E-016 ) ); #1803 = DIRECTION( '', ( -6.12303176911189E-017, -1.00000000000000, -3.85494105772624E-016 ) ); #1804 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.06809402592286E-014, 8.00000000000000 ) ); #1805 = DIRECTION( '', ( 0.000000000000000, 3.46944695195362E-016, -1.00000000000000 ) ); #1806 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 3.46944695195362E-016 ) ); #1807 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.32483310036743E-014, 0.599999999999996 ) ); #1808 = DIRECTION( '', ( 0.000000000000000, -3.46944695195361E-016, 1.00000000000000 ) ); #1809 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -3.46944695195361E-016 ) ); #1810 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.32483310036743E-014, 0.599999999999996 ) ); #1811 = DIRECTION( '', ( 0.000000000000000, 3.46944695195361E-016, -1.00000000000000 ) ); #1812 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 3.46944695195361E-016 ) ); #1813 = DIRECTION( '', ( -1.58475723561394E-017, -0.258819045102521, 0.965925826289068 ) ); ENDSEC; END-ISO-10303-21;