ISO-10303-21; HEADER; FILE_DESCRIPTION( ( 'Unknown' ), '1' ); FILE_NAME( 'S://XL-CD/SVF/SVF-3D/SVF-B02/SVF-B02-72.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, 57.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, 57.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, 57.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, 57.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, 57.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 ) ); #257 = CLOSED_SHELL( '', ( #289, #290, #291, #292, #293, #294, #295, #296, #297, #298, #299, #300 ) ); #258 = CLOSED_SHELL( '', ( #301, #302, #303, #304, #305, #306, #307, #308, #309, #310, #311 ) ); #259 = CLOSED_SHELL( '', ( #312, #313, #314, #315, #316, #317, #318, #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( '', ( 1.97335900749943E-014, 57.6782217350897, 17.0000000000000 ) ); #262 = DIRECTION( '', ( -2.34018339276161E-016, 6.45917078746516E-017, 1.00000000000000 ) ); #263 = DIRECTION( '', ( -1.00000000000000, -2.81651572076967E-015, -2.34018339276160E-016 ) ); #264 = CARTESIAN_POINT( '', ( 1.13431640623595E-014, 57.6782217350897, 42.2999999999995 ) ); #265 = DIRECTION( '', ( 5.59985897155312E-015, -1.00000000000000, -2.31125161568428E-016 ) ); #266 = DIRECTION( '', ( 1.00000000000000, 5.59985897155312E-015, -3.85634253541763E-017 ) ); #267 = CARTESIAN_POINT( '', ( 9.54097911787246E-015, 57.6782217350897, 57.6999999999995 ) ); #268 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #269 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #270 = CARTESIAN_POINT( '', ( 1.41669083871439E-014, 57.6782217350897, 9.69999999999952 ) ); #271 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #272 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #273 = ADVANCED_FACE( '', ( #332 ), #333, .F. ); #274 = ADVANCED_FACE( '', ( #334 ), #335, .F. ); #275 = ADVANCED_FACE( '', ( #336 ), #337, .F. ); #276 = ADVANCED_FACE( '', ( #338 ), #339, .F. ); #277 = ADVANCED_FACE( '', ( #340 ), #341, .F. ); #278 = ADVANCED_FACE( '', ( #342, #343 ), #344, .F. ); #279 = ADVANCED_FACE( '', ( #345, #346 ), #347, .F. ); #280 = ADVANCED_FACE( '', ( #348, #349 ), #350, .F. ); #281 = ADVANCED_FACE( '', ( #351, #352 ), #353, .F. ); #282 = ADVANCED_FACE( '', ( #354 ), #355, .F. ); #283 = ADVANCED_FACE( '', ( #356 ), #357, .T. ); #284 = ADVANCED_FACE( '', ( #358 ), #359, .F. ); #285 = ADVANCED_FACE( '', ( #360 ), #361, .F. ); #286 = ADVANCED_FACE( '', ( #362 ), #363, .F. ); #287 = ADVANCED_FACE( '', ( #364 ), #365, .F. ); #288 = ADVANCED_FACE( '', ( #366 ), #367, .F. ); #289 = ADVANCED_FACE( '', ( #368 ), #369, .T. ); #290 = ADVANCED_FACE( '', ( #370 ), #371, .F. ); #291 = ADVANCED_FACE( '', ( #372, #373, #374 ), #375, .F. ); #292 = ADVANCED_FACE( '', ( #376 ), #377, .T. ); #293 = ADVANCED_FACE( '', ( #378 ), #379, .T. ); #294 = ADVANCED_FACE( '', ( #380 ), #381, .T. ); #295 = ADVANCED_FACE( '', ( #382 ), #383, .T. ); #296 = ADVANCED_FACE( '', ( #384, #385, #386 ), #387, .T. ); #297 = ADVANCED_FACE( '', ( #388 ), #389, .T. ); #298 = ADVANCED_FACE( '', ( #390 ), #391, .T. ); #299 = ADVANCED_FACE( '', ( #392, #393 ), #394, .F. ); #300 = ADVANCED_FACE( '', ( #395, #396 ), #397, .F. ); #301 = ADVANCED_FACE( '', ( #398, #399 ), #400, .F. ); #302 = ADVANCED_FACE( '', ( #401 ), #402, .F. ); #303 = ADVANCED_FACE( '', ( #403 ), #404, .T. ); #304 = ADVANCED_FACE( '', ( #405 ), #406, .F. ); #305 = ADVANCED_FACE( '', ( #407 ), #408, .F. ); #306 = ADVANCED_FACE( '', ( #409 ), #410, .F. ); #307 = ADVANCED_FACE( '', ( #411 ), #412, .T. ); #308 = ADVANCED_FACE( '', ( #413, #414 ), #415, .F. ); #309 = ADVANCED_FACE( '', ( #416, #417 ), #418, .F. ); #310 = ADVANCED_FACE( '', ( #419, #420 ), #421, .F. ); #311 = ADVANCED_FACE( '', ( #422, #423 ), #424, .F. ); #312 = ADVANCED_FACE( '', ( #425, #426 ), #427, .F. ); #313 = ADVANCED_FACE( '', ( #428 ), #429, .F. ); #314 = ADVANCED_FACE( '', ( #430 ), #431, .F. ); #315 = ADVANCED_FACE( '', ( #432, #433 ), #434, .T. ); #316 = ADVANCED_FACE( '', ( #435, #436 ), #437, .T. ); #317 = ADVANCED_FACE( '', ( #438, #439 ), #440, .T. ); #318 = ADVANCED_FACE( '', ( #441 ), #442, .T. ); #319 = ADVANCED_FACE( '', ( #443, #444 ), #445, .F. ); #320 = ADVANCED_FACE( '', ( #446, #447 ), #448, .T. ); #321 = ADVANCED_FACE( '', ( #449, #450 ), #451, .F. ); #322 = ADVANCED_FACE( '', ( #452, #453 ), #454, .T. ); #323 = ADVANCED_FACE( '', ( #455 ), #456, .F. ); #324 = ADVANCED_FACE( '', ( #457 ), #458, .F. ); #325 = ADVANCED_FACE( '', ( #459 ), #460, .F. ); #326 = ADVANCED_FACE( '', ( #461 ), #462, .F. ); #327 = ADVANCED_FACE( '', ( #463, #464 ), #465, .T. ); #328 = ADVANCED_FACE( '', ( #466 ), #467, .F. ); #329 = ADVANCED_FACE( '', ( #468, #469 ), #470, .T. ); #330 = ADVANCED_FACE( '', ( #471, #472 ), #473, .T. ); #332 = FACE_OUTER_BOUND( '', #474, .T. ); #333 = PLANE( '', #475 ); #334 = FACE_OUTER_BOUND( '', #476, .T. ); #335 = PLANE( '', #477 ); #336 = FACE_OUTER_BOUND( '', #478, .T. ); #337 = PLANE( '', #479 ); #338 = FACE_OUTER_BOUND( '', #480, .T. ); #339 = PLANE( '', #481 ); #340 = FACE_OUTER_BOUND( '', #482, .T. ); #341 = PLANE( '', #483 ); #342 = FACE_BOUND( '', #484, .T. ); #343 = FACE_OUTER_BOUND( '', #485, .T. ); #344 = PLANE( '', #486 ); #345 = FACE_BOUND( '', #487, .T. ); #346 = FACE_OUTER_BOUND( '', #488, .T. ); #347 = CONICAL_SURFACE( '', #489, 6.10000000000000, 0.785398163397450 ); #348 = FACE_OUTER_BOUND( '', #490, .T. ); #349 = FACE_OUTER_BOUND( '', #491, .T. ); #350 = CYLINDRICAL_SURFACE( '', #492, 5.10000000000000 ); #351 = FACE_BOUND( '', #493, .T. ); #352 = FACE_OUTER_BOUND( '', #494, .T. ); #353 = PLANE( '', #495 ); #354 = FACE_OUTER_BOUND( '', #496, .T. ); #355 = PLANE( '', #497 ); #356 = FACE_OUTER_BOUND( '', #498, .T. ); #357 = PLANE( '', #499 ); #358 = FACE_OUTER_BOUND( '', #500, .T. ); #359 = PLANE( '', #501 ); #360 = FACE_OUTER_BOUND( '', #502, .T. ); #361 = PLANE( '', #503 ); #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_OUTER_BOUND( '', #512, .T. ); #371 = CYLINDRICAL_SURFACE( '', #513, 5.50000000000000 ); #372 = FACE_BOUND( '', #514, .T. ); #373 = FACE_OUTER_BOUND( '', #515, .T. ); #374 = FACE_BOUND( '', #516, .T. ); #375 = PLANE( '', #517 ); #376 = FACE_OUTER_BOUND( '', #518, .T. ); #377 = PLANE( '', #519 ); #378 = FACE_OUTER_BOUND( '', #520, .T. ); #379 = PLANE( '', #521 ); #380 = FACE_OUTER_BOUND( '', #522, .T. ); #381 = PLANE( '', #523 ); #382 = FACE_OUTER_BOUND( '', #524, .T. ); #383 = PLANE( '', #525 ); #384 = FACE_BOUND( '', #526, .T. ); #385 = FACE_OUTER_BOUND( '', #527, .T. ); #386 = FACE_BOUND( '', #528, .T. ); #387 = PLANE( '', #529 ); #388 = FACE_OUTER_BOUND( '', #530, .T. ); #389 = PLANE( '', #531 ); #390 = FACE_OUTER_BOUND( '', #532, .T. ); #391 = CYLINDRICAL_SURFACE( '', #533, 7.10896594792880 ); #392 = FACE_OUTER_BOUND( '', #534, .T. ); #393 = FACE_OUTER_BOUND( '', #535, .T. ); #394 = CYLINDRICAL_SURFACE( '', #536, 0.750000000000000 ); #395 = FACE_OUTER_BOUND( '', #537, .T. ); #396 = FACE_OUTER_BOUND( '', #538, .T. ); #397 = CYLINDRICAL_SURFACE( '', #539, 0.750000000000000 ); #398 = FACE_BOUND( '', #540, .T. ); #399 = FACE_OUTER_BOUND( '', #541, .T. ); #400 = PLANE( '', #542 ); #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 = PLANE( '', #548 ); #407 = FACE_OUTER_BOUND( '', #549, .T. ); #408 = PLANE( '', #550 ); #409 = FACE_OUTER_BOUND( '', #551, .T. ); #410 = PLANE( '', #552 ); #411 = FACE_OUTER_BOUND( '', #553, .T. ); #412 = PLANE( '', #554 ); #413 = FACE_BOUND( '', #555, .T. ); #414 = FACE_OUTER_BOUND( '', #556, .T. ); #415 = PLANE( '', #557 ); #416 = FACE_OUTER_BOUND( '', #558, .T. ); #417 = FACE_OUTER_BOUND( '', #559, .T. ); #418 = CYLINDRICAL_SURFACE( '', #560, 9.50000000000000 ); #419 = FACE_BOUND( '', #561, .T. ); #420 = FACE_OUTER_BOUND( '', #562, .T. ); #421 = PLANE( '', #563 ); #422 = FACE_OUTER_BOUND( '', #564, .T. ); #423 = FACE_OUTER_BOUND( '', #565, .T. ); #424 = CYLINDRICAL_SURFACE( '', #566, 6.50000000000000 ); #425 = FACE_OUTER_BOUND( '', #567, .T. ); #426 = FACE_BOUND( '', #568, .T. ); #427 = PLANE( '', #569 ); #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 = FACE_OUTER_BOUND( '', #575, .T. ); #434 = CYLINDRICAL_SURFACE( '', #576, 9.00000000000000 ); #435 = FACE_OUTER_BOUND( '', #577, .T. ); #436 = FACE_BOUND( '', #578, .T. ); #437 = CONICAL_SURFACE( '', #579, 8.00000000000000, 0.785398163397448 ); #438 = FACE_BOUND( '', #580, .T. ); #439 = FACE_OUTER_BOUND( '', #581, .T. ); #440 = CONICAL_SURFACE( '', #582, 9.00000000000000, 0.785398163397448 ); #441 = FACE_OUTER_BOUND( '', #583, .T. ); #442 = PLANE( '', #584 ); #443 = FACE_OUTER_BOUND( '', #585, .T. ); #444 = FACE_BOUND( '', #586, .T. ); #445 = PLANE( '', #587 ); #446 = FACE_OUTER_BOUND( '', #588, .T. ); #447 = FACE_OUTER_BOUND( '', #589, .T. ); #448 = CYLINDRICAL_SURFACE( '', #590, 5.99999999999999 ); #449 = FACE_BOUND( '', #591, .T. ); #450 = FACE_OUTER_BOUND( '', #592, .T. ); #451 = PLANE( '', #593 ); #452 = FACE_OUTER_BOUND( '', #594, .T. ); #453 = FACE_OUTER_BOUND( '', #595, .T. ); #454 = CYLINDRICAL_SURFACE( '', #596, 5.49999999999999 ); #455 = FACE_OUTER_BOUND( '', #597, .T. ); #456 = PLANE( '', #598 ); #457 = FACE_OUTER_BOUND( '', #599, .T. ); #458 = PLANE( '', #600 ); #459 = FACE_OUTER_BOUND( '', #601, .T. ); #460 = PLANE( '', #602 ); #461 = FACE_OUTER_BOUND( '', #603, .T. ); #462 = PLANE( '', #604 ); #463 = FACE_BOUND( '', #605, .T. ); #464 = FACE_OUTER_BOUND( '', #606, .T. ); #465 = CONICAL_SURFACE( '', #607, 6.00000000000000, 0.785398163397448 ); #466 = FACE_OUTER_BOUND( '', #608, .T. ); #467 = PLANE( '', #609 ); #468 = FACE_OUTER_BOUND( '', #610, .T. ); #469 = FACE_BOUND( '', #611, .T. ); #470 = PLANE( '', #612 ); #471 = FACE_OUTER_BOUND( '', #613, .T. ); #472 = FACE_OUTER_BOUND( '', #614, .T. ); #473 = CYLINDRICAL_SURFACE( '', #615, 6.00000000000000 ); #474 = EDGE_LOOP( '', ( #616, #617, #618, #619 ) ); #475 = AXIS2_PLACEMENT_3D( '', #620, #621, #622 ); #476 = EDGE_LOOP( '', ( #623, #624, #625, #626 ) ); #477 = AXIS2_PLACEMENT_3D( '', #627, #628, #629 ); #478 = EDGE_LOOP( '', ( #630, #631, #632, #633 ) ); #479 = AXIS2_PLACEMENT_3D( '', #634, #635, #636 ); #480 = EDGE_LOOP( '', ( #637, #638, #639, #640, #641, #642, #643, #644, #645, #646, #647, #648 ) ); #481 = AXIS2_PLACEMENT_3D( '', #649, #650, #651 ); #482 = EDGE_LOOP( '', ( #652, #653, #654, #655 ) ); #483 = AXIS2_PLACEMENT_3D( '', #656, #657, #658 ); #484 = EDGE_LOOP( '', ( #659 ) ); #485 = EDGE_LOOP( '', ( #660, #661, #662, #663 ) ); #486 = AXIS2_PLACEMENT_3D( '', #664, #665, #666 ); #487 = EDGE_LOOP( '', ( #667 ) ); #488 = EDGE_LOOP( '', ( #668 ) ); #489 = AXIS2_PLACEMENT_3D( '', #669, #670, #671 ); #490 = EDGE_LOOP( '', ( #672 ) ); #491 = EDGE_LOOP( '', ( #673 ) ); #492 = AXIS2_PLACEMENT_3D( '', #674, #675, #676 ); #493 = EDGE_LOOP( '', ( #677 ) ); #494 = EDGE_LOOP( '', ( #678, #679, #680, #681 ) ); #495 = AXIS2_PLACEMENT_3D( '', #682, #683, #684 ); #496 = EDGE_LOOP( '', ( #685, #686, #687, #688 ) ); #497 = AXIS2_PLACEMENT_3D( '', #689, #690, #691 ); #498 = EDGE_LOOP( '', ( #692, #693, #694, #695, #696, #697, #698, #699, #700, #701, #702, #703 ) ); #499 = AXIS2_PLACEMENT_3D( '', #704, #705, #706 ); #500 = EDGE_LOOP( '', ( #707, #708, #709, #710 ) ); #501 = AXIS2_PLACEMENT_3D( '', #711, #712, #713 ); #502 = EDGE_LOOP( '', ( #714, #715, #716, #717 ) ); #503 = AXIS2_PLACEMENT_3D( '', #718, #719, #720 ); #504 = EDGE_LOOP( '', ( #721, #722, #723, #724 ) ); #505 = AXIS2_PLACEMENT_3D( '', #725, #726, #727 ); #506 = EDGE_LOOP( '', ( #728, #729, #730, #731 ) ); #507 = AXIS2_PLACEMENT_3D( '', #732, #733, #734 ); #508 = EDGE_LOOP( '', ( #735, #736, #737, #738 ) ); #509 = AXIS2_PLACEMENT_3D( '', #739, #740, #741 ); #510 = EDGE_LOOP( '', ( #742, #743, #744, #745 ) ); #511 = AXIS2_PLACEMENT_3D( '', #746, #747, #748 ); #512 = EDGE_LOOP( '', ( #749, #750, #751, #752 ) ); #513 = AXIS2_PLACEMENT_3D( '', #753, #754, #755 ); #514 = EDGE_LOOP( '', ( #756 ) ); #515 = EDGE_LOOP( '', ( #757, #758, #759, #760, #761, #762, #763, #764 ) ); #516 = EDGE_LOOP( '', ( #765 ) ); #517 = AXIS2_PLACEMENT_3D( '', #766, #767, #768 ); #518 = EDGE_LOOP( '', ( #769, #770, #771, #772 ) ); #519 = AXIS2_PLACEMENT_3D( '', #773, #774, #775 ); #520 = EDGE_LOOP( '', ( #776, #777, #778, #779 ) ); #521 = AXIS2_PLACEMENT_3D( '', #780, #781, #782 ); #522 = EDGE_LOOP( '', ( #783, #784, #785, #786 ) ); #523 = AXIS2_PLACEMENT_3D( '', #787, #788, #789 ); #524 = EDGE_LOOP( '', ( #790, #791, #792, #793 ) ); #525 = AXIS2_PLACEMENT_3D( '', #794, #795, #796 ); #526 = EDGE_LOOP( '', ( #797 ) ); #527 = EDGE_LOOP( '', ( #798, #799, #800, #801, #802, #803, #804, #805 ) ); #528 = EDGE_LOOP( '', ( #806 ) ); #529 = AXIS2_PLACEMENT_3D( '', #807, #808, #809 ); #530 = EDGE_LOOP( '', ( #810, #811, #812, #813 ) ); #531 = AXIS2_PLACEMENT_3D( '', #814, #815, #816 ); #532 = EDGE_LOOP( '', ( #817, #818, #819, #820 ) ); #533 = AXIS2_PLACEMENT_3D( '', #821, #822, #823 ); #534 = EDGE_LOOP( '', ( #824 ) ); #535 = EDGE_LOOP( '', ( #825 ) ); #536 = AXIS2_PLACEMENT_3D( '', #826, #827, #828 ); #537 = EDGE_LOOP( '', ( #829 ) ); #538 = EDGE_LOOP( '', ( #830 ) ); #539 = AXIS2_PLACEMENT_3D( '', #831, #832, #833 ); #540 = EDGE_LOOP( '', ( #834 ) ); #541 = EDGE_LOOP( '', ( #835, #836, #837, #838 ) ); #542 = AXIS2_PLACEMENT_3D( '', #839, #840, #841 ); #543 = EDGE_LOOP( '', ( #842, #843, #844, #845 ) ); #544 = AXIS2_PLACEMENT_3D( '', #846, #847, #848 ); #545 = EDGE_LOOP( '', ( #849, #850, #851, #852 ) ); #546 = AXIS2_PLACEMENT_3D( '', #853, #854, #855 ); #547 = EDGE_LOOP( '', ( #856, #857, #858, #859, #860, #861 ) ); #548 = AXIS2_PLACEMENT_3D( '', #862, #863, #864 ); #549 = EDGE_LOOP( '', ( #865, #866, #867, #868 ) ); #550 = AXIS2_PLACEMENT_3D( '', #869, #870, #871 ); #551 = EDGE_LOOP( '', ( #872, #873, #874, #875 ) ); #552 = AXIS2_PLACEMENT_3D( '', #876, #877, #878 ); #553 = EDGE_LOOP( '', ( #879, #880, #881, #882, #883, #884 ) ); #554 = AXIS2_PLACEMENT_3D( '', #885, #886, #887 ); #555 = EDGE_LOOP( '', ( #888 ) ); #556 = EDGE_LOOP( '', ( #889, #890, #891, #892 ) ); #557 = AXIS2_PLACEMENT_3D( '', #893, #894, #895 ); #558 = EDGE_LOOP( '', ( #896 ) ); #559 = EDGE_LOOP( '', ( #897 ) ); #560 = AXIS2_PLACEMENT_3D( '', #898, #899, #900 ); #561 = EDGE_LOOP( '', ( #901 ) ); #562 = EDGE_LOOP( '', ( #902 ) ); #563 = AXIS2_PLACEMENT_3D( '', #903, #904, #905 ); #564 = EDGE_LOOP( '', ( #906 ) ); #565 = EDGE_LOOP( '', ( #907 ) ); #566 = AXIS2_PLACEMENT_3D( '', #908, #909, #910 ); #567 = EDGE_LOOP( '', ( #911 ) ); #568 = EDGE_LOOP( '', ( #912, #913, #914, #915, #916, #917 ) ); #569 = AXIS2_PLACEMENT_3D( '', #918, #919, #920 ); #570 = EDGE_LOOP( '', ( #921, #922, #923, #924 ) ); #571 = AXIS2_PLACEMENT_3D( '', #925, #926, #927 ); #572 = EDGE_LOOP( '', ( #928, #929, #930, #931 ) ); #573 = AXIS2_PLACEMENT_3D( '', #932, #933, #934 ); #574 = EDGE_LOOP( '', ( #935 ) ); #575 = EDGE_LOOP( '', ( #936 ) ); #576 = AXIS2_PLACEMENT_3D( '', #937, #938, #939 ); #577 = EDGE_LOOP( '', ( #940 ) ); #578 = EDGE_LOOP( '', ( #941 ) ); #579 = AXIS2_PLACEMENT_3D( '', #942, #943, #944 ); #580 = EDGE_LOOP( '', ( #945 ) ); #581 = EDGE_LOOP( '', ( #946 ) ); #582 = AXIS2_PLACEMENT_3D( '', #947, #948, #949 ); #583 = EDGE_LOOP( '', ( #950, #951, #952, #953, #954, #955 ) ); #584 = AXIS2_PLACEMENT_3D( '', #956, #957, #958 ); #585 = EDGE_LOOP( '', ( #959 ) ); #586 = EDGE_LOOP( '', ( #960 ) ); #587 = AXIS2_PLACEMENT_3D( '', #961, #962, #963 ); #588 = EDGE_LOOP( '', ( #964 ) ); #589 = EDGE_LOOP( '', ( #965 ) ); #590 = AXIS2_PLACEMENT_3D( '', #966, #967, #968 ); #591 = EDGE_LOOP( '', ( #969 ) ); #592 = EDGE_LOOP( '', ( #970 ) ); #593 = AXIS2_PLACEMENT_3D( '', #971, #972, #973 ); #594 = EDGE_LOOP( '', ( #974 ) ); #595 = EDGE_LOOP( '', ( #975 ) ); #596 = AXIS2_PLACEMENT_3D( '', #976, #977, #978 ); #597 = EDGE_LOOP( '', ( #979, #980, #981, #982 ) ); #598 = AXIS2_PLACEMENT_3D( '', #983, #984, #985 ); #599 = EDGE_LOOP( '', ( #986, #987, #988, #989 ) ); #600 = AXIS2_PLACEMENT_3D( '', #990, #991, #992 ); #601 = EDGE_LOOP( '', ( #993, #994, #995, #996 ) ); #602 = AXIS2_PLACEMENT_3D( '', #997, #998, #999 ); #603 = EDGE_LOOP( '', ( #1000, #1001, #1002, #1003 ) ); #604 = AXIS2_PLACEMENT_3D( '', #1004, #1005, #1006 ); #605 = EDGE_LOOP( '', ( #1007 ) ); #606 = EDGE_LOOP( '', ( #1008 ) ); #607 = AXIS2_PLACEMENT_3D( '', #1009, #1010, #1011 ); #608 = EDGE_LOOP( '', ( #1012 ) ); #609 = AXIS2_PLACEMENT_3D( '', #1013, #1014, #1015 ); #610 = EDGE_LOOP( '', ( #1016 ) ); #611 = EDGE_LOOP( '', ( #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, .T. ); #618 = ORIENTED_EDGE( '', *, *, #1028, .F. ); #619 = ORIENTED_EDGE( '', *, *, #1029, .T. ); #620 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #621 = DIRECTION( '', ( -2.16840434497101E-016, 0.000000000000000, 1.00000000000000 ) ); #622 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.16840434497101E-016 ) ); #623 = ORIENTED_EDGE( '', *, *, #1030, .F. ); #624 = ORIENTED_EDGE( '', *, *, #1031, .F. ); #625 = ORIENTED_EDGE( '', *, *, #1032, .T. ); #626 = ORIENTED_EDGE( '', *, *, #1029, .F. ); #627 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, 14.5000000000000 ) ); #628 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 1.19636101791504E-016 ) ); #629 = DIRECTION( '', ( 1.19636101791504E-016, 0.000000000000000, -1.00000000000000 ) ); #630 = ORIENTED_EDGE( '', *, *, #1033, .T. ); #631 = ORIENTED_EDGE( '', *, *, #1034, .T. ); #632 = ORIENTED_EDGE( '', *, *, #1035, .T. ); #633 = ORIENTED_EDGE( '', *, *, #1036, .F. ); #634 = CARTESIAN_POINT( '', ( 12.0000000000000, 43.7494019104525, -14.5000000000000 ) ); #635 = DIRECTION( '', ( 0.707106781186547, 0.000000000000000, 0.707106781186548 ) ); #636 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186547 ) ); #637 = ORIENTED_EDGE( '', *, *, #1028, .T. ); #638 = ORIENTED_EDGE( '', *, *, #1037, .F. ); #639 = ORIENTED_EDGE( '', *, *, #1038, .F. ); #640 = ORIENTED_EDGE( '', *, *, #1035, .F. ); #641 = ORIENTED_EDGE( '', *, *, #1039, .T. ); #642 = ORIENTED_EDGE( '', *, *, #1040, .T. ); #643 = ORIENTED_EDGE( '', *, *, #1041, .F. ); #644 = ORIENTED_EDGE( '', *, *, #1042, .F. ); #645 = ORIENTED_EDGE( '', *, *, #1043, .T. ); #646 = ORIENTED_EDGE( '', *, *, #1044, .F. ); #647 = ORIENTED_EDGE( '', *, *, #1045, .F. ); #648 = ORIENTED_EDGE( '', *, *, #1030, .T. ); #649 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, 14.5000000000000 ) ); #650 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #651 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #652 = ORIENTED_EDGE( '', *, *, #1039, .F. ); #653 = ORIENTED_EDGE( '', *, *, #1034, .F. ); #654 = ORIENTED_EDGE( '', *, *, #1046, .T. ); #655 = ORIENTED_EDGE( '', *, *, #1047, .F. ); #656 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #657 = DIRECTION( '', ( -2.16840434497101E-016, 0.000000000000000, 1.00000000000000 ) ); #658 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.16840434497101E-016 ) ); #659 = ORIENTED_EDGE( '', *, *, #1048, .T. ); #660 = ORIENTED_EDGE( '', *, *, #1049, .T. ); #661 = ORIENTED_EDGE( '', *, *, #1050, .T. ); #662 = ORIENTED_EDGE( '', *, *, #1043, .F. ); #663 = ORIENTED_EDGE( '', *, *, #1051, .F. ); #664 = CARTESIAN_POINT( '', ( 20.0000000000000, -8.50000000000000, 14.5000000000000 ) ); #665 = DIRECTION( '', ( 4.33680868994202E-017, 0.000000000000000, -1.00000000000000 ) ); #666 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -4.33680868994202E-017 ) ); #667 = ORIENTED_EDGE( '', *, *, #1052, .F. ); #668 = ORIENTED_EDGE( '', *, *, #1048, .F. ); #669 = CARTESIAN_POINT( '', ( 3.46944695195361E-015, 0.000000000000000, 14.5000000000000 ) ); #670 = DIRECTION( '', ( -1.69241314729445E-016, 0.000000000000000, 1.00000000000000 ) ); #671 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 1.69241314729445E-016 ) ); #672 = ORIENTED_EDGE( '', *, *, #1052, .T. ); #673 = ORIENTED_EDGE( '', *, *, #1053, .F. ); #674 = CARTESIAN_POINT( '', ( 3.46944695195361E-015, 0.000000000000000, 14.5000000000000 ) ); #675 = DIRECTION( '', ( -1.69241314729445E-016, 0.000000000000000, 1.00000000000000 ) ); #676 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 1.69241314729445E-016 ) ); #677 = ORIENTED_EDGE( '', *, *, #1053, .T. ); #678 = ORIENTED_EDGE( '', *, *, #1054, .T. ); #679 = ORIENTED_EDGE( '', *, *, #1036, .T. ); #680 = ORIENTED_EDGE( '', *, *, #1038, .T. ); #681 = ORIENTED_EDGE( '', *, *, #1055, .F. ); #682 = CARTESIAN_POINT( '', ( -9.99999999999999, 43.7494019104525, -12.5000000000000 ) ); #683 = DIRECTION( '', ( -8.46206573647224E-017, 0.000000000000000, 1.00000000000000 ) ); #684 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 8.46206573647224E-017 ) ); #685 = ORIENTED_EDGE( '', *, *, #1056, .T. ); #686 = ORIENTED_EDGE( '', *, *, #1057, .T. ); #687 = ORIENTED_EDGE( '', *, *, #1040, .F. ); #688 = ORIENTED_EDGE( '', *, *, #1047, .T. ); #689 = CARTESIAN_POINT( '', ( 20.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #690 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -1.19636101791504E-016 ) ); #691 = DIRECTION( '', ( -1.19636101791504E-016, 0.000000000000000, 1.00000000000000 ) ); #692 = ORIENTED_EDGE( '', *, *, #1058, .F. ); #693 = ORIENTED_EDGE( '', *, *, #1026, .F. ); #694 = ORIENTED_EDGE( '', *, *, #1032, .F. ); #695 = ORIENTED_EDGE( '', *, *, #1059, .F. ); #696 = ORIENTED_EDGE( '', *, *, #1060, .F. ); #697 = ORIENTED_EDGE( '', *, *, #1049, .F. ); #698 = ORIENTED_EDGE( '', *, *, #1061, .F. ); #699 = ORIENTED_EDGE( '', *, *, #1062, .F. ); #700 = ORIENTED_EDGE( '', *, *, #1056, .F. ); #701 = ORIENTED_EDGE( '', *, *, #1046, .F. ); #702 = ORIENTED_EDGE( '', *, *, #1033, .F. ); #703 = ORIENTED_EDGE( '', *, *, #1054, .F. ); #704 = CARTESIAN_POINT( '', ( -20.0000000000000, 8.50000000000000, 14.5000000000000 ) ); #705 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #706 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #707 = ORIENTED_EDGE( '', *, *, #1061, .T. ); #708 = ORIENTED_EDGE( '', *, *, #1051, .T. ); #709 = ORIENTED_EDGE( '', *, *, #1042, .T. ); #710 = ORIENTED_EDGE( '', *, *, #1063, .F. ); #711 = CARTESIAN_POINT( '', ( 15.0000000000000, 43.7494019104525, 14.5000000000000 ) ); #712 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -3.25554473472612E-016 ) ); #713 = DIRECTION( '', ( -3.25554473472612E-016, 0.000000000000000, 1.00000000000000 ) ); #714 = ORIENTED_EDGE( '', *, *, #1062, .T. ); #715 = ORIENTED_EDGE( '', *, *, #1063, .T. ); #716 = ORIENTED_EDGE( '', *, *, #1041, .T. ); #717 = ORIENTED_EDGE( '', *, *, #1057, .F. ); #718 = CARTESIAN_POINT( '', ( 15.0000000000000, 43.7494019104525, 0.0999999999999972 ) ); #719 = DIRECTION( '', ( 1.47239943814617E-015, 0.000000000000000, -1.00000000000000 ) ); #720 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -1.47239943814617E-015 ) ); #721 = ORIENTED_EDGE( '', *, *, #1059, .T. ); #722 = ORIENTED_EDGE( '', *, *, #1031, .T. ); #723 = ORIENTED_EDGE( '', *, *, #1045, .T. ); #724 = ORIENTED_EDGE( '', *, *, #1064, .F. ); #725 = CARTESIAN_POINT( '', ( -20.0000000000000, 43.7494019104525, 0.100000000000001 ) ); #726 = DIRECTION( '', ( -1.30315812341672E-015, 0.000000000000000, -1.00000000000000 ) ); #727 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 1.30315812341672E-015 ) ); #728 = ORIENTED_EDGE( '', *, *, #1060, .T. ); #729 = ORIENTED_EDGE( '', *, *, #1064, .T. ); #730 = ORIENTED_EDGE( '', *, *, #1044, .T. ); #731 = ORIENTED_EDGE( '', *, *, #1050, .F. ); #732 = CARTESIAN_POINT( '', ( -15.0000000000000, 43.7494019104525, 0.0999999999999946 ) ); #733 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 8.46206573647224E-017 ) ); #734 = DIRECTION( '', ( 8.46206573647224E-017, 0.000000000000000, -1.00000000000000 ) ); #735 = ORIENTED_EDGE( '', *, *, #1058, .T. ); #736 = ORIENTED_EDGE( '', *, *, #1055, .T. ); #737 = ORIENTED_EDGE( '', *, *, #1037, .T. ); #738 = ORIENTED_EDGE( '', *, *, #1027, .F. ); #739 = CARTESIAN_POINT( '', ( -12.0000000000000, 43.7494019104525, -14.5000000000000 ) ); #740 = DIRECTION( '', ( -0.707106781186548, 0.000000000000000, 0.707106781186547 ) ); #741 = DIRECTION( '', ( 0.707106781186547, 0.000000000000000, 0.707106781186548 ) ); #742 = ORIENTED_EDGE( '', *, *, #1065, .F. ); #743 = ORIENTED_EDGE( '', *, *, #1066, .F. ); #744 = ORIENTED_EDGE( '', *, *, #1067, .T. ); #745 = ORIENTED_EDGE( '', *, *, #1068, .T. ); #746 = CARTESIAN_POINT( '', ( -0.193692206698883, 1.00000000000000, -5.49658833541899 ) ); #747 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 8.17313903531940E-016 ) ); #748 = DIRECTION( '', ( 8.17313903531940E-016, 0.000000000000000, -1.00000000000000 ) ); #749 = ORIENTED_EDGE( '', *, *, #1069, .F. ); #750 = ORIENTED_EDGE( '', *, *, #1068, .F. ); #751 = ORIENTED_EDGE( '', *, *, #1070, .T. ); #752 = ORIENTED_EDGE( '', *, *, #1071, .T. ); #753 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #754 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #755 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #756 = ORIENTED_EDGE( '', *, *, #1072, .F. ); #757 = ORIENTED_EDGE( '', *, *, #1065, .T. ); #758 = ORIENTED_EDGE( '', *, *, #1069, .T. ); #759 = ORIENTED_EDGE( '', *, *, #1073, .T. ); #760 = ORIENTED_EDGE( '', *, *, #1074, .T. ); #761 = ORIENTED_EDGE( '', *, *, #1075, .T. ); #762 = ORIENTED_EDGE( '', *, *, #1076, .T. ); #763 = ORIENTED_EDGE( '', *, *, #1077, .T. ); #764 = ORIENTED_EDGE( '', *, *, #1078, .T. ); #765 = ORIENTED_EDGE( '', *, *, #1079, .F. ); #766 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) ); #767 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #768 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #769 = ORIENTED_EDGE( '', *, *, #1073, .F. ); #770 = ORIENTED_EDGE( '', *, *, #1071, .F. ); #771 = ORIENTED_EDGE( '', *, *, #1080, .T. ); #772 = ORIENTED_EDGE( '', *, *, #1081, .T. ); #773 = CARTESIAN_POINT( '', ( 0.193692206698880, 1.00000000000000, -8.74661908995598 ) ); #774 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -7.17234650038233E-016 ) ); #775 = DIRECTION( '', ( -7.17234650038233E-016, 0.000000000000000, 1.00000000000000 ) ); #776 = ORIENTED_EDGE( '', *, *, #1074, .F. ); #777 = ORIENTED_EDGE( '', *, *, #1081, .F. ); #778 = ORIENTED_EDGE( '', *, *, #1082, .T. ); #779 = ORIENTED_EDGE( '', *, *, #1083, .T. ); #780 = CARTESIAN_POINT( '', ( 3.39369220669888, 1.00000000000000, -8.74661908995598 ) ); #781 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #782 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #783 = ORIENTED_EDGE( '', *, *, #1077, .F. ); #784 = ORIENTED_EDGE( '', *, *, #1084, .F. ); #785 = ORIENTED_EDGE( '', *, *, #1085, .T. ); #786 = ORIENTED_EDGE( '', *, *, #1086, .T. ); #787 = CARTESIAN_POINT( '', ( -3.39369220669888, 1.00000000000000, -8.74661908995598 ) ); #788 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -4.06575814682064E-016 ) ); #789 = DIRECTION( '', ( -4.06575814682064E-016, 0.000000000000000, 1.00000000000000 ) ); #790 = ORIENTED_EDGE( '', *, *, #1078, .F. ); #791 = ORIENTED_EDGE( '', *, *, #1086, .F. ); #792 = ORIENTED_EDGE( '', *, *, #1087, .T. ); #793 = ORIENTED_EDGE( '', *, *, #1066, .T. ); #794 = CARTESIAN_POINT( '', ( -0.193692206698880, 1.00000000000000, -8.74661908995598 ) ); #795 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #796 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #797 = ORIENTED_EDGE( '', *, *, #1088, .T. ); #798 = ORIENTED_EDGE( '', *, *, #1067, .F. ); #799 = ORIENTED_EDGE( '', *, *, #1087, .F. ); #800 = ORIENTED_EDGE( '', *, *, #1085, .F. ); #801 = ORIENTED_EDGE( '', *, *, #1089, .F. ); #802 = ORIENTED_EDGE( '', *, *, #1090, .F. ); #803 = ORIENTED_EDGE( '', *, *, #1082, .F. ); #804 = ORIENTED_EDGE( '', *, *, #1080, .F. ); #805 = ORIENTED_EDGE( '', *, *, #1070, .F. ); #806 = ORIENTED_EDGE( '', *, *, #1091, .T. ); #807 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #808 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #809 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #810 = ORIENTED_EDGE( '', *, *, #1075, .F. ); #811 = ORIENTED_EDGE( '', *, *, #1083, .F. ); #812 = ORIENTED_EDGE( '', *, *, #1090, .T. ); #813 = ORIENTED_EDGE( '', *, *, #1092, .T. ); #814 = CARTESIAN_POINT( '', ( 3.39369220669888, 1.00000000000000, -5.54661908995598 ) ); #815 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -8.13151629364128E-016 ) ); #816 = DIRECTION( '', ( -8.13151629364128E-016, 0.000000000000000, -1.00000000000000 ) ); #817 = ORIENTED_EDGE( '', *, *, #1076, .F. ); #818 = ORIENTED_EDGE( '', *, *, #1092, .F. ); #819 = ORIENTED_EDGE( '', *, *, #1089, .T. ); #820 = ORIENTED_EDGE( '', *, *, #1084, .T. ); #821 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.00000000000000, 0.700000000000000 ) ); #822 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #823 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #824 = ORIENTED_EDGE( '', *, *, #1088, .F. ); #825 = ORIENTED_EDGE( '', *, *, #1072, .T. ); #826 = CARTESIAN_POINT( '', ( -1.79369220669888, 1.00000000000000, -7.14661908995598 ) ); #827 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #828 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #829 = ORIENTED_EDGE( '', *, *, #1091, .F. ); #830 = ORIENTED_EDGE( '', *, *, #1079, .T. ); #831 = CARTESIAN_POINT( '', ( 1.79369220669888, 1.00000000000000, -7.14661908995598 ) ); #832 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #833 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #834 = ORIENTED_EDGE( '', *, *, #1093, .T. ); #835 = ORIENTED_EDGE( '', *, *, #1094, .T. ); #836 = ORIENTED_EDGE( '', *, *, #1095, .F. ); #837 = ORIENTED_EDGE( '', *, *, #1096, .F. ); #838 = ORIENTED_EDGE( '', *, *, #1097, .T. ); #839 = CARTESIAN_POINT( '', ( 35.5000000000000, -17.5000000000000, -14.5000000000000 ) ); #840 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #841 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #842 = ORIENTED_EDGE( '', *, *, #1098, .T. ); #843 = ORIENTED_EDGE( '', *, *, #1099, .T. ); #844 = ORIENTED_EDGE( '', *, *, #1100, .F. ); #845 = ORIENTED_EDGE( '', *, *, #1101, .T. ); #846 = CARTESIAN_POINT( '', ( 35.5000000000000, -17.5000000000000, 14.5000000000000 ) ); #847 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 1.19636101791504E-016 ) ); #848 = DIRECTION( '', ( 0.000000000000000, -1.19636101791504E-016, 1.00000000000000 ) ); #849 = ORIENTED_EDGE( '', *, *, #1102, .T. ); #850 = ORIENTED_EDGE( '', *, *, #1103, .F. ); #851 = ORIENTED_EDGE( '', *, *, #1094, .F. ); #852 = ORIENTED_EDGE( '', *, *, #1104, .F. ); #853 = CARTESIAN_POINT( '', ( -48.8030248567630, 9.90000000000001, -14.5000000000000 ) ); #854 = DIRECTION( '', ( 5.91439452097362E-017, 0.965925826289068, -0.258819045102520 ) ); #855 = DIRECTION( '', ( 0.000000000000000, 0.258819045102520, 0.965925826289068 ) ); #856 = ORIENTED_EDGE( '', *, *, #1103, .T. ); #857 = ORIENTED_EDGE( '', *, *, #1105, .T. ); #858 = ORIENTED_EDGE( '', *, *, #1106, .T. ); #859 = ORIENTED_EDGE( '', *, *, #1100, .T. ); #860 = ORIENTED_EDGE( '', *, *, #1107, .F. ); #861 = ORIENTED_EDGE( '', *, *, #1095, .T. ); #862 = CARTESIAN_POINT( '', ( 35.5000000000000, -17.5000000000000, 14.5000000000000 ) ); #863 = DIRECTION( '', ( -1.00000000000000, 6.12303176911189E-017, 0.000000000000000 ) ); #864 = DIRECTION( '', ( -6.12303176911189E-017, -1.00000000000000, 0.000000000000000 ) ); #865 = ORIENTED_EDGE( '', *, *, #1102, .F. ); #866 = ORIENTED_EDGE( '', *, *, #1108, .T. ); #867 = ORIENTED_EDGE( '', *, *, #1109, .F. ); #868 = ORIENTED_EDGE( '', *, *, #1105, .F. ); #869 = CARTESIAN_POINT( '', ( 35.5000000000000, 17.5000000000000, -14.5000000000000 ) ); #870 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -2.39272203583008E-016 ) ); #871 = DIRECTION( '', ( 0.000000000000000, 2.39272203583008E-016, -1.00000000000000 ) ); #872 = ORIENTED_EDGE( '', *, *, #1110, .T. ); #873 = ORIENTED_EDGE( '', *, *, #1096, .T. ); #874 = ORIENTED_EDGE( '', *, *, #1107, .T. ); #875 = ORIENTED_EDGE( '', *, *, #1099, .F. ); #876 = CARTESIAN_POINT( '', ( -48.8030248567630, -9.90000000000000, -14.5000000000000 ) ); #877 = DIRECTION( '', ( 5.91439452097362E-017, 0.965925826289068, 0.258819045102520 ) ); #878 = DIRECTION( '', ( 0.000000000000000, -0.258819045102520, 0.965925826289068 ) ); #879 = ORIENTED_EDGE( '', *, *, #1108, .F. ); #880 = ORIENTED_EDGE( '', *, *, #1104, .T. ); #881 = ORIENTED_EDGE( '', *, *, #1097, .F. ); #882 = ORIENTED_EDGE( '', *, *, #1110, .F. ); #883 = ORIENTED_EDGE( '', *, *, #1098, .F. ); #884 = ORIENTED_EDGE( '', *, *, #1111, .F. ); #885 = CARTESIAN_POINT( '', ( -35.5000000000000, -17.5000000000000, 14.5000000000000 ) ); #886 = DIRECTION( '', ( -1.00000000000000, 6.12303176911189E-017, 0.000000000000000 ) ); #887 = DIRECTION( '', ( -6.12303176911189E-017, -1.00000000000000, 0.000000000000000 ) ); #888 = ORIENTED_EDGE( '', *, *, #1112, .T. ); #889 = ORIENTED_EDGE( '', *, *, #1111, .T. ); #890 = ORIENTED_EDGE( '', *, *, #1101, .F. ); #891 = ORIENTED_EDGE( '', *, *, #1106, .F. ); #892 = ORIENTED_EDGE( '', *, *, #1109, .T. ); #893 = CARTESIAN_POINT( '', ( 35.5000000000000, 17.5000000000000, 14.5000000000000 ) ); #894 = DIRECTION( '', ( 0.000000000000000, 1.98254111540206E-016, -1.00000000000000 ) ); #895 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 1.98254111540207E-016 ) ); #896 = ORIENTED_EDGE( '', *, *, #1113, .F. ); #897 = ORIENTED_EDGE( '', *, *, #1112, .F. ); #898 = CARTESIAN_POINT( '', ( 0.000000000000000, 8.42579974045878E-015, 14.5000000000000 ) ); #899 = DIRECTION( '', ( 0.000000000000000, -1.98254111540206E-016, 1.00000000000000 ) ); #900 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -1.98254111540206E-016 ) ); #901 = ORIENTED_EDGE( '', *, *, #1114, .T. ); #902 = ORIENTED_EDGE( '', *, *, #1113, .T. ); #903 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.10031031904815E-014, 1.49999999999999 ) ); #904 = DIRECTION( '', ( 0.000000000000000, 1.98254111540206E-016, -1.00000000000000 ) ); #905 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 1.98254111540207E-016 ) ); #906 = ORIENTED_EDGE( '', *, *, #1114, .F. ); #907 = ORIENTED_EDGE( '', *, *, #1093, .F. ); #908 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.10031031904815E-014, 1.49999999999999 ) ); #909 = DIRECTION( '', ( 0.000000000000000, -1.98254111540206E-016, 1.00000000000000 ) ); #910 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -1.98254111540206E-016 ) ); #911 = ORIENTED_EDGE( '', *, *, #1115, .T. ); #912 = ORIENTED_EDGE( '', *, *, #1116, .F. ); #913 = ORIENTED_EDGE( '', *, *, #1117, .F. ); #914 = ORIENTED_EDGE( '', *, *, #1118, .F. ); #915 = ORIENTED_EDGE( '', *, *, #1119, .F. ); #916 = ORIENTED_EDGE( '', *, *, #1120, .F. ); #917 = ORIENTED_EDGE( '', *, *, #1121, .F. ); #918 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 61.5000000000000 ) ); #919 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #920 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #921 = ORIENTED_EDGE( '', *, *, #1116, .T. ); #922 = ORIENTED_EDGE( '', *, *, #1122, .F. ); #923 = ORIENTED_EDGE( '', *, *, #1123, .F. ); #924 = ORIENTED_EDGE( '', *, *, #1124, .T. ); #925 = CARTESIAN_POINT( '', ( 5.72500043344170, 7.50743167285406E-007, 53.5000000000000 ) ); #926 = DIRECTION( '', ( 0.866025352787812, 0.500000088328737, 0.000000000000000 ) ); #927 = DIRECTION( '', ( -0.500000088328737, 0.866025352787812, 0.000000000000000 ) ); #928 = ORIENTED_EDGE( '', *, *, #1117, .T. ); #929 = ORIENTED_EDGE( '', *, *, #1124, .F. ); #930 = ORIENTED_EDGE( '', *, *, #1125, .F. ); #931 = ORIENTED_EDGE( '', *, *, #1126, .T. ); #932 = CARTESIAN_POINT( '', ( 2.86250072240288, -4.95799501958635, 53.5000000000000 ) ); #933 = DIRECTION( '', ( 0.866025440210595, -0.499999936908042, 0.000000000000000 ) ); #934 = DIRECTION( '', ( 0.499999936908042, 0.866025440210595, 0.000000000000000 ) ); #935 = ORIENTED_EDGE( '', *, *, #1127, .T. ); #936 = ORIENTED_EDGE( '', *, *, #1128, .T. ); #937 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 61.5000000000000 ) ); #938 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #939 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #940 = ORIENTED_EDGE( '', *, *, #1127, .F. ); #941 = ORIENTED_EDGE( '', *, *, #1129, .F. ); #942 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 49.5000000000000 ) ); #943 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #944 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #945 = ORIENTED_EDGE( '', *, *, #1115, .F. ); #946 = ORIENTED_EDGE( '', *, *, #1128, .F. ); #947 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 60.5000000000000 ) ); #948 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #949 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #950 = ORIENTED_EDGE( '', *, *, #1125, .T. ); #951 = ORIENTED_EDGE( '', *, *, #1123, .T. ); #952 = ORIENTED_EDGE( '', *, *, #1130, .T. ); #953 = ORIENTED_EDGE( '', *, *, #1131, .T. ); #954 = ORIENTED_EDGE( '', *, *, #1132, .T. ); #955 = ORIENTED_EDGE( '', *, *, #1133, .T. ); #956 = CARTESIAN_POINT( '', ( 5.72500043344170, 7.50743166634885E-007, 53.5000000000000 ) ); #957 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #958 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #959 = ORIENTED_EDGE( '', *, *, #1129, .T. ); #960 = ORIENTED_EDGE( '', *, *, #1134, .F. ); #961 = CARTESIAN_POINT( '', ( -8.99999999999999, 0.000000000000000, 49.5000000000000 ) ); #962 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #963 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #964 = ORIENTED_EDGE( '', *, *, #1135, .F. ); #965 = ORIENTED_EDGE( '', *, *, #1134, .T. ); #966 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 61.5000000000000 ) ); #967 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #968 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #969 = ORIENTED_EDGE( '', *, *, #1136, .F. ); #970 = ORIENTED_EDGE( '', *, *, #1135, .T. ); #971 = CARTESIAN_POINT( '', ( -5.99999999999998, 0.000000000000000, 33.6000000000000 ) ); #972 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #973 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #974 = ORIENTED_EDGE( '', *, *, #1137, .F. ); #975 = ORIENTED_EDGE( '', *, *, #1136, .T. ); #976 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 61.5000000000000 ) ); #977 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #978 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #979 = ORIENTED_EDGE( '', *, *, #1118, .T. ); #980 = ORIENTED_EDGE( '', *, *, #1126, .F. ); #981 = ORIENTED_EDGE( '', *, *, #1133, .F. ); #982 = ORIENTED_EDGE( '', *, *, #1138, .T. ); #983 = CARTESIAN_POINT( '', ( -2.86249942207765, -4.95799577032949, 53.5000000000000 ) ); #984 = DIRECTION( '', ( 1.31134169988747E-007, -0.999999999999991, 0.000000000000000 ) ); #985 = DIRECTION( '', ( 0.999999999999991, 1.31134169988747E-007, 0.000000000000000 ) ); #986 = ORIENTED_EDGE( '', *, *, #1119, .T. ); #987 = ORIENTED_EDGE( '', *, *, #1138, .F. ); #988 = ORIENTED_EDGE( '', *, *, #1132, .F. ); #989 = ORIENTED_EDGE( '', *, *, #1139, .T. ); #990 = CARTESIAN_POINT( '', ( -5.72499999999998, -5.00495415521347E-007, 53.5000000000000 ) ); #991 = DIRECTION( '', ( -0.866025352787812, -0.500000088328737, 0.000000000000000 ) ); #992 = DIRECTION( '', ( 0.500000088328737, -0.866025352787812, 0.000000000000000 ) ); #993 = ORIENTED_EDGE( '', *, *, #1120, .T. ); #994 = ORIENTED_EDGE( '', *, *, #1139, .F. ); #995 = ORIENTED_EDGE( '', *, *, #1131, .F. ); #996 = ORIENTED_EDGE( '', *, *, #1140, .T. ); #997 = CARTESIAN_POINT( '', ( -2.86250028896116, 4.95799526983410, 53.5000000000000 ) ); #998 = DIRECTION( '', ( -0.866025440210595, 0.499999936908042, 0.000000000000000 ) ); #999 = DIRECTION( '', ( -0.499999936908042, -0.866025440210595, 0.000000000000000 ) ); #1000 = ORIENTED_EDGE( '', *, *, #1121, .T. ); #1001 = ORIENTED_EDGE( '', *, *, #1140, .F. ); #1002 = ORIENTED_EDGE( '', *, *, #1130, .F. ); #1003 = ORIENTED_EDGE( '', *, *, #1122, .T. ); #1004 = CARTESIAN_POINT( '', ( 2.86249985551937, 4.95799602057724, 53.5000000000000 ) ); #1005 = DIRECTION( '', ( -1.31134169837242E-007, 0.999999999999991, 0.000000000000000 ) ); #1006 = DIRECTION( '', ( -0.999999999999991, -1.31134169837242E-007, 0.000000000000000 ) ); #1007 = ORIENTED_EDGE( '', *, *, #1141, .F. ); #1008 = ORIENTED_EDGE( '', *, *, #1142, .F. ); #1009 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.500000000000041 ) ); #1010 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1011 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1012 = ORIENTED_EDGE( '', *, *, #1141, .T. ); #1013 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -0.499999999999959 ) ); #1014 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1015 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1016 = ORIENTED_EDGE( '', *, *, #1143, .T. ); #1017 = ORIENTED_EDGE( '', *, *, #1137, .T. ); #1018 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 32.4000000000000 ) ); #1019 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1020 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1021 = ORIENTED_EDGE( '', *, *, #1142, .T. ); #1022 = ORIENTED_EDGE( '', *, *, #1143, .F. ); #1023 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -0.499999999999959 ) ); #1024 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1025 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1026 = EDGE_CURVE( '', #1144, #1145, #1146, .T. ); #1027 = EDGE_CURVE( '', #1145, #1147, #1148, .T. ); #1028 = EDGE_CURVE( '', #1149, #1147, #1150, .T. ); #1029 = EDGE_CURVE( '', #1149, #1144, #1151, .T. ); #1030 = EDGE_CURVE( '', #1152, #1149, #1153, .T. ); #1031 = EDGE_CURVE( '', #1154, #1152, #1155, .T. ); #1032 = EDGE_CURVE( '', #1154, #1144, #1156, .T. ); #1033 = EDGE_CURVE( '', #1157, #1158, #1159, .T. ); #1034 = EDGE_CURVE( '', #1158, #1160, #1161, .T. ); #1035 = EDGE_CURVE( '', #1160, #1162, #1163, .T. ); #1036 = EDGE_CURVE( '', #1157, #1162, #1164, .T. ); #1037 = EDGE_CURVE( '', #1165, #1147, #1166, .T. ); #1038 = EDGE_CURVE( '', #1162, #1165, #1167, .T. ); #1039 = EDGE_CURVE( '', #1160, #1168, #1169, .T. ); #1040 = EDGE_CURVE( '', #1168, #1170, #1171, .T. ); #1041 = EDGE_CURVE( '', #1172, #1170, #1173, .T. ); #1042 = EDGE_CURVE( '', #1174, #1172, #1175, .T. ); #1043 = EDGE_CURVE( '', #1174, #1176, #1177, .T. ); #1044 = EDGE_CURVE( '', #1178, #1176, #1179, .T. ); #1045 = EDGE_CURVE( '', #1152, #1178, #1180, .T. ); #1046 = EDGE_CURVE( '', #1158, #1181, #1182, .T. ); #1047 = EDGE_CURVE( '', #1168, #1181, #1183, .T. ); #1048 = EDGE_CURVE( '', #1184, #1184, #1185, .T. ); #1049 = EDGE_CURVE( '', #1186, #1187, #1188, .T. ); #1050 = EDGE_CURVE( '', #1187, #1176, #1189, .T. ); #1051 = EDGE_CURVE( '', #1186, #1174, #1190, .T. ); #1052 = EDGE_CURVE( '', #1191, #1191, #1192, .F. ); #1053 = EDGE_CURVE( '', #1193, #1193, #1194, .T. ); #1054 = EDGE_CURVE( '', #1195, #1157, #1196, .T. ); #1055 = EDGE_CURVE( '', #1195, #1165, #1197, .T. ); #1056 = EDGE_CURVE( '', #1181, #1198, #1199, .T. ); #1057 = EDGE_CURVE( '', #1198, #1170, #1200, .T. ); #1058 = EDGE_CURVE( '', #1145, #1195, #1201, .T. ); #1059 = EDGE_CURVE( '', #1202, #1154, #1203, .T. ); #1060 = EDGE_CURVE( '', #1187, #1202, #1204, .T. ); #1061 = EDGE_CURVE( '', #1205, #1186, #1206, .T. ); #1062 = EDGE_CURVE( '', #1198, #1205, #1207, .T. ); #1063 = EDGE_CURVE( '', #1205, #1172, #1208, .T. ); #1064 = EDGE_CURVE( '', #1202, #1178, #1209, .T. ); #1065 = EDGE_CURVE( '', #1210, #1211, #1212, .T. ); #1066 = EDGE_CURVE( '', #1213, #1210, #1214, .T. ); #1067 = EDGE_CURVE( '', #1213, #1215, #1216, .T. ); #1068 = EDGE_CURVE( '', #1215, #1211, #1217, .T. ); #1069 = EDGE_CURVE( '', #1211, #1218, #1219, .T. ); #1070 = EDGE_CURVE( '', #1215, #1220, #1221, .T. ); #1071 = EDGE_CURVE( '', #1220, #1218, #1222, .T. ); #1072 = EDGE_CURVE( '', #1223, #1223, #1224, .T. ); #1073 = EDGE_CURVE( '', #1218, #1225, #1226, .T. ); #1074 = EDGE_CURVE( '', #1225, #1227, #1228, .T. ); #1075 = EDGE_CURVE( '', #1227, #1229, #1230, .T. ); #1076 = EDGE_CURVE( '', #1229, #1231, #1232, .T. ); #1077 = EDGE_CURVE( '', #1231, #1233, #1234, .T. ); #1078 = EDGE_CURVE( '', #1233, #1210, #1235, .T. ); #1079 = EDGE_CURVE( '', #1236, #1236, #1237, .T. ); #1080 = EDGE_CURVE( '', #1220, #1238, #1239, .T. ); #1081 = EDGE_CURVE( '', #1238, #1225, #1240, .T. ); #1082 = EDGE_CURVE( '', #1238, #1241, #1242, .T. ); #1083 = EDGE_CURVE( '', #1241, #1227, #1243, .T. ); #1084 = EDGE_CURVE( '', #1244, #1231, #1245, .T. ); #1085 = EDGE_CURVE( '', #1244, #1246, #1247, .T. ); #1086 = EDGE_CURVE( '', #1246, #1233, #1248, .T. ); #1087 = EDGE_CURVE( '', #1246, #1213, #1249, .T. ); #1088 = EDGE_CURVE( '', #1250, #1250, #1251, .T. ); #1089 = EDGE_CURVE( '', #1252, #1244, #1253, .T. ); #1090 = EDGE_CURVE( '', #1241, #1252, #1254, .T. ); #1091 = EDGE_CURVE( '', #1255, #1255, #1256, .T. ); #1092 = EDGE_CURVE( '', #1252, #1229, #1257, .T. ); #1093 = EDGE_CURVE( '', #1258, #1258, #1259, .T. ); #1094 = EDGE_CURVE( '', #1260, #1261, #1262, .T. ); #1095 = EDGE_CURVE( '', #1263, #1261, #1264, .T. ); #1096 = EDGE_CURVE( '', #1265, #1263, #1266, .T. ); #1097 = EDGE_CURVE( '', #1265, #1260, #1267, .T. ); #1098 = EDGE_CURVE( '', #1268, #1269, #1270, .T. ); #1099 = EDGE_CURVE( '', #1269, #1271, #1272, .T. ); #1100 = EDGE_CURVE( '', #1273, #1271, #1274, .T. ); #1101 = EDGE_CURVE( '', #1273, #1268, #1275, .T. ); #1102 = EDGE_CURVE( '', #1276, #1277, #1278, .T. ); #1103 = EDGE_CURVE( '', #1261, #1277, #1279, .T. ); #1104 = EDGE_CURVE( '', #1276, #1260, #1280, .T. ); #1105 = EDGE_CURVE( '', #1277, #1281, #1282, .T. ); #1106 = EDGE_CURVE( '', #1281, #1273, #1283, .T. ); #1107 = EDGE_CURVE( '', #1263, #1271, #1284, .T. ); #1108 = EDGE_CURVE( '', #1276, #1285, #1286, .T. ); #1109 = EDGE_CURVE( '', #1281, #1285, #1287, .T. ); #1110 = EDGE_CURVE( '', #1269, #1265, #1288, .T. ); #1111 = EDGE_CURVE( '', #1285, #1268, #1289, .T. ); #1112 = EDGE_CURVE( '', #1290, #1290, #1291, .T. ); #1113 = EDGE_CURVE( '', #1292, #1292, #1293, .T. ); #1114 = EDGE_CURVE( '', #1294, #1294, #1295, .T. ); #1115 = EDGE_CURVE( '', #1296, #1296, #1297, .F. ); #1116 = EDGE_CURVE( '', #1298, #1299, #1300, .T. ); #1117 = EDGE_CURVE( '', #1301, #1298, #1302, .T. ); #1118 = EDGE_CURVE( '', #1303, #1301, #1304, .T. ); #1119 = EDGE_CURVE( '', #1305, #1303, #1306, .T. ); #1120 = EDGE_CURVE( '', #1307, #1305, #1308, .T. ); #1121 = EDGE_CURVE( '', #1299, #1307, #1309, .T. ); #1122 = EDGE_CURVE( '', #1310, #1299, #1311, .T. ); #1123 = EDGE_CURVE( '', #1312, #1310, #1313, .T. ); #1124 = EDGE_CURVE( '', #1312, #1298, #1314, .T. ); #1125 = EDGE_CURVE( '', #1315, #1312, #1316, .T. ); #1126 = EDGE_CURVE( '', #1315, #1301, #1317, .T. ); #1127 = EDGE_CURVE( '', #1318, #1318, #1319, .T. ); #1128 = EDGE_CURVE( '', #1320, #1320, #1321, .T. ); #1129 = EDGE_CURVE( '', #1322, #1322, #1323, .F. ); #1130 = EDGE_CURVE( '', #1310, #1324, #1325, .T. ); #1131 = EDGE_CURVE( '', #1324, #1326, #1327, .T. ); #1132 = EDGE_CURVE( '', #1326, #1328, #1329, .T. ); #1133 = EDGE_CURVE( '', #1328, #1315, #1330, .T. ); #1134 = EDGE_CURVE( '', #1331, #1331, #1332, .T. ); #1135 = EDGE_CURVE( '', #1333, #1333, #1334, .T. ); #1136 = EDGE_CURVE( '', #1335, #1335, #1336, .T. ); #1137 = EDGE_CURVE( '', #1337, #1337, #1338, .T. ); #1138 = EDGE_CURVE( '', #1328, #1303, #1339, .T. ); #1139 = EDGE_CURVE( '', #1326, #1305, #1340, .T. ); #1140 = EDGE_CURVE( '', #1324, #1307, #1341, .T. ); #1141 = EDGE_CURVE( '', #1342, #1342, #1343, .F. ); #1142 = EDGE_CURVE( '', #1344, #1344, #1345, .T. ); #1143 = EDGE_CURVE( '', #1346, #1346, #1347, .T. ); #1144 = VERTEX_POINT( '', #1348 ); #1145 = VERTEX_POINT( '', #1349 ); #1146 = LINE( '', #1350, #1351 ); #1147 = VERTEX_POINT( '', #1352 ); #1148 = LINE( '', #1353, #1354 ); #1149 = VERTEX_POINT( '', #1355 ); #1150 = LINE( '', #1356, #1357 ); #1151 = LINE( '', #1358, #1359 ); #1152 = VERTEX_POINT( '', #1360 ); #1153 = LINE( '', #1361, #1362 ); #1154 = VERTEX_POINT( '', #1363 ); #1155 = LINE( '', #1364, #1365 ); #1156 = LINE( '', #1366, #1367 ); #1157 = VERTEX_POINT( '', #1368 ); #1158 = VERTEX_POINT( '', #1369 ); #1159 = LINE( '', #1370, #1371 ); #1160 = VERTEX_POINT( '', #1372 ); #1161 = LINE( '', #1373, #1374 ); #1162 = VERTEX_POINT( '', #1375 ); #1163 = LINE( '', #1376, #1377 ); #1164 = LINE( '', #1378, #1379 ); #1165 = VERTEX_POINT( '', #1380 ); #1166 = LINE( '', #1381, #1382 ); #1167 = LINE( '', #1383, #1384 ); #1168 = VERTEX_POINT( '', #1385 ); #1169 = LINE( '', #1386, #1387 ); #1170 = VERTEX_POINT( '', #1388 ); #1171 = LINE( '', #1389, #1390 ); #1172 = VERTEX_POINT( '', #1391 ); #1173 = LINE( '', #1392, #1393 ); #1174 = VERTEX_POINT( '', #1394 ); #1175 = LINE( '', #1395, #1396 ); #1176 = VERTEX_POINT( '', #1397 ); #1177 = LINE( '', #1398, #1399 ); #1178 = VERTEX_POINT( '', #1400 ); #1179 = LINE( '', #1401, #1402 ); #1180 = LINE( '', #1403, #1404 ); #1181 = VERTEX_POINT( '', #1405 ); #1182 = LINE( '', #1406, #1407 ); #1183 = LINE( '', #1408, #1409 ); #1184 = VERTEX_POINT( '', #1410 ); #1185 = CIRCLE( '', #1411, 6.10000000000000 ); #1186 = VERTEX_POINT( '', #1412 ); #1187 = VERTEX_POINT( '', #1413 ); #1188 = LINE( '', #1414, #1415 ); #1189 = LINE( '', #1416, #1417 ); #1190 = LINE( '', #1418, #1419 ); #1191 = VERTEX_POINT( '', #1420 ); #1192 = CIRCLE( '', #1421, 5.10000000000000 ); #1193 = VERTEX_POINT( '', #1422 ); #1194 = CIRCLE( '', #1423, 5.10000000000000 ); #1195 = VERTEX_POINT( '', #1424 ); #1196 = LINE( '', #1425, #1426 ); #1197 = LINE( '', #1427, #1428 ); #1198 = VERTEX_POINT( '', #1429 ); #1199 = LINE( '', #1430, #1431 ); #1200 = LINE( '', #1432, #1433 ); #1201 = LINE( '', #1434, #1435 ); #1202 = VERTEX_POINT( '', #1436 ); #1203 = LINE( '', #1437, #1438 ); #1204 = LINE( '', #1439, #1440 ); #1205 = VERTEX_POINT( '', #1441 ); #1206 = LINE( '', #1442, #1443 ); #1207 = LINE( '', #1444, #1445 ); #1208 = LINE( '', #1446, #1447 ); #1209 = LINE( '', #1448, #1449 ); #1210 = VERTEX_POINT( '', #1450 ); #1211 = VERTEX_POINT( '', #1451 ); #1212 = LINE( '', #1452, #1453 ); #1213 = VERTEX_POINT( '', #1454 ); #1214 = LINE( '', #1455, #1456 ); #1215 = VERTEX_POINT( '', #1457 ); #1216 = LINE( '', #1458, #1459 ); #1217 = LINE( '', #1460, #1461 ); #1218 = VERTEX_POINT( '', #1462 ); #1219 = CIRCLE( '', #1463, 5.50000000000000 ); #1220 = VERTEX_POINT( '', #1464 ); #1221 = CIRCLE( '', #1465, 5.50000000000000 ); #1222 = LINE( '', #1466, #1467 ); #1223 = VERTEX_POINT( '', #1468 ); #1224 = CIRCLE( '', #1469, 0.750000000000000 ); #1225 = VERTEX_POINT( '', #1470 ); #1226 = LINE( '', #1471, #1472 ); #1227 = VERTEX_POINT( '', #1473 ); #1228 = LINE( '', #1474, #1475 ); #1229 = VERTEX_POINT( '', #1476 ); #1230 = LINE( '', #1477, #1478 ); #1231 = VERTEX_POINT( '', #1479 ); #1232 = CIRCLE( '', #1480, 7.10896594792880 ); #1233 = VERTEX_POINT( '', #1481 ); #1234 = LINE( '', #1482, #1483 ); #1235 = LINE( '', #1484, #1485 ); #1236 = VERTEX_POINT( '', #1486 ); #1237 = CIRCLE( '', #1487, 0.750000000000000 ); #1238 = VERTEX_POINT( '', #1488 ); #1239 = LINE( '', #1489, #1490 ); #1240 = LINE( '', #1491, #1492 ); #1241 = VERTEX_POINT( '', #1493 ); #1242 = LINE( '', #1494, #1495 ); #1243 = LINE( '', #1496, #1497 ); #1244 = VERTEX_POINT( '', #1498 ); #1245 = LINE( '', #1499, #1500 ); #1246 = VERTEX_POINT( '', #1501 ); #1247 = LINE( '', #1502, #1503 ); #1248 = LINE( '', #1504, #1505 ); #1249 = LINE( '', #1506, #1507 ); #1250 = VERTEX_POINT( '', #1508 ); #1251 = CIRCLE( '', #1509, 0.750000000000000 ); #1252 = VERTEX_POINT( '', #1510 ); #1253 = CIRCLE( '', #1511, 7.10896594792880 ); #1254 = LINE( '', #1512, #1513 ); #1255 = VERTEX_POINT( '', #1514 ); #1256 = CIRCLE( '', #1515, 0.750000000000000 ); #1257 = LINE( '', #1516, #1517 ); #1258 = VERTEX_POINT( '', #1518 ); #1259 = CIRCLE( '', #1519, 6.50000000000000 ); #1260 = VERTEX_POINT( '', #1520 ); #1261 = VERTEX_POINT( '', #1521 ); #1262 = LINE( '', #1522, #1523 ); #1263 = VERTEX_POINT( '', #1524 ); #1264 = LINE( '', #1525, #1526 ); #1265 = VERTEX_POINT( '', #1527 ); #1266 = LINE( '', #1528, #1529 ); #1267 = LINE( '', #1530, #1531 ); #1268 = VERTEX_POINT( '', #1532 ); #1269 = VERTEX_POINT( '', #1533 ); #1270 = LINE( '', #1534, #1535 ); #1271 = VERTEX_POINT( '', #1536 ); #1272 = LINE( '', #1537, #1538 ); #1273 = VERTEX_POINT( '', #1539 ); #1274 = LINE( '', #1540, #1541 ); #1275 = LINE( '', #1542, #1543 ); #1276 = VERTEX_POINT( '', #1544 ); #1277 = VERTEX_POINT( '', #1545 ); #1278 = LINE( '', #1546, #1547 ); #1279 = LINE( '', #1548, #1549 ); #1280 = LINE( '', #1550, #1551 ); #1281 = VERTEX_POINT( '', #1552 ); #1282 = LINE( '', #1553, #1554 ); #1283 = LINE( '', #1555, #1556 ); #1284 = LINE( '', #1557, #1558 ); #1285 = VERTEX_POINT( '', #1559 ); #1286 = LINE( '', #1560, #1561 ); #1287 = LINE( '', #1562, #1563 ); #1288 = LINE( '', #1564, #1565 ); #1289 = LINE( '', #1566, #1567 ); #1290 = VERTEX_POINT( '', #1568 ); #1291 = CIRCLE( '', #1569, 9.50000000000000 ); #1292 = VERTEX_POINT( '', #1570 ); #1293 = CIRCLE( '', #1571, 9.50000000000000 ); #1294 = VERTEX_POINT( '', #1572 ); #1295 = CIRCLE( '', #1573, 6.50000000000000 ); #1296 = VERTEX_POINT( '', #1574 ); #1297 = CIRCLE( '', #1575, 8.00000000000000 ); #1298 = VERTEX_POINT( '', #1576 ); #1299 = VERTEX_POINT( '', #1577 ); #1300 = LINE( '', #1578, #1579 ); #1301 = VERTEX_POINT( '', #1580 ); #1302 = LINE( '', #1581, #1582 ); #1303 = VERTEX_POINT( '', #1583 ); #1304 = LINE( '', #1584, #1585 ); #1305 = VERTEX_POINT( '', #1586 ); #1306 = LINE( '', #1587, #1588 ); #1307 = VERTEX_POINT( '', #1589 ); #1308 = LINE( '', #1590, #1591 ); #1309 = LINE( '', #1592, #1593 ); #1310 = VERTEX_POINT( '', #1594 ); #1311 = LINE( '', #1595, #1596 ); #1312 = VERTEX_POINT( '', #1597 ); #1313 = LINE( '', #1598, #1599 ); #1314 = LINE( '', #1600, #1601 ); #1315 = VERTEX_POINT( '', #1602 ); #1316 = LINE( '', #1603, #1604 ); #1317 = LINE( '', #1605, #1606 ); #1318 = VERTEX_POINT( '', #1607 ); #1319 = CIRCLE( '', #1608, 9.00000000000000 ); #1320 = VERTEX_POINT( '', #1609 ); #1321 = CIRCLE( '', #1610, 9.00000000000000 ); #1322 = VERTEX_POINT( '', #1611 ); #1323 = CIRCLE( '', #1612, 8.00000000000000 ); #1324 = VERTEX_POINT( '', #1613 ); #1325 = LINE( '', #1614, #1615 ); #1326 = VERTEX_POINT( '', #1616 ); #1327 = LINE( '', #1617, #1618 ); #1328 = VERTEX_POINT( '', #1619 ); #1329 = LINE( '', #1620, #1621 ); #1330 = LINE( '', #1622, #1623 ); #1331 = VERTEX_POINT( '', #1624 ); #1332 = CIRCLE( '', #1625, 6.00000000000000 ); #1333 = VERTEX_POINT( '', #1626 ); #1334 = CIRCLE( '', #1627, 5.99999999999998 ); #1335 = VERTEX_POINT( '', #1628 ); #1336 = CIRCLE( '', #1629, 5.49999999999999 ); #1337 = VERTEX_POINT( '', #1630 ); #1338 = CIRCLE( '', #1631, 5.49999999999999 ); #1339 = LINE( '', #1632, #1633 ); #1340 = LINE( '', #1634, #1635 ); #1341 = LINE( '', #1636, #1637 ); #1342 = VERTEX_POINT( '', #1638 ); #1343 = CIRCLE( '', #1639, 5.00000000000000 ); #1344 = VERTEX_POINT( '', #1640 ); #1345 = CIRCLE( '', #1641, 6.00000000000000 ); #1346 = VERTEX_POINT( '', #1642 ); #1347 = CIRCLE( '', #1643, 6.00000000000000 ); #1348 = CARTESIAN_POINT( '', ( -20.0000000000000, 8.50000000000000, -14.5000000000000 ) ); #1349 = CARTESIAN_POINT( '', ( -12.0000000000000, 8.50000000000000, -14.5000000000000 ) ); #1350 = CARTESIAN_POINT( '', ( -20.0000000000000, 8.50000000000000, -14.5000000000000 ) ); #1351 = VECTOR( '', #1644, 1000.00000000000 ); #1352 = CARTESIAN_POINT( '', ( -12.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1353 = CARTESIAN_POINT( '', ( -12.0000000000000, 43.7494019104525, -14.5000000000000 ) ); #1354 = VECTOR( '', #1645, 1000.00000000000 ); #1355 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1356 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1357 = VECTOR( '', #1646, 1000.00000000000 ); #1358 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1359 = VECTOR( '', #1647, 1000.00000000000 ); #1360 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, 0.100000000000001 ) ); #1361 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, 14.5000000000000 ) ); #1362 = VECTOR( '', #1648, 1000.00000000000 ); #1363 = CARTESIAN_POINT( '', ( -20.0000000000000, 8.50000000000000, 0.0999999999999977 ) ); #1364 = CARTESIAN_POINT( '', ( -20.0000000000000, 43.7494019104525, 0.100000000000001 ) ); #1365 = VECTOR( '', #1649, 1000.00000000000 ); #1366 = CARTESIAN_POINT( '', ( -20.0000000000000, 8.50000000000000, 14.5000000000000 ) ); #1367 = VECTOR( '', #1650, 1000.00000000000 ); #1368 = CARTESIAN_POINT( '', ( 10.0000000000000, 8.50000000000000, -12.5000000000000 ) ); #1369 = CARTESIAN_POINT( '', ( 12.0000000000000, 8.50000000000000, -14.5000000000000 ) ); #1370 = CARTESIAN_POINT( '', ( -18.5000000000000, 8.50000000000000, 16.0000000000000 ) ); #1371 = VECTOR( '', #1651, 1000.00000000000 ); #1372 = CARTESIAN_POINT( '', ( 12.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1373 = CARTESIAN_POINT( '', ( 12.0000000000000, 43.7494019104525, -14.5000000000000 ) ); #1374 = VECTOR( '', #1652, 1000.00000000000 ); #1375 = CARTESIAN_POINT( '', ( 10.0000000000000, -8.50000000000000, -12.5000000000000 ) ); #1376 = CARTESIAN_POINT( '', ( 12.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1377 = VECTOR( '', #1653, 1000.00000000000 ); #1378 = CARTESIAN_POINT( '', ( 10.0000000000000, 43.7494019104525, -12.5000000000000 ) ); #1379 = VECTOR( '', #1654, 1000.00000000000 ); #1380 = CARTESIAN_POINT( '', ( -9.99999999999999, -8.50000000000000, -12.5000000000000 ) ); #1381 = CARTESIAN_POINT( '', ( -12.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1382 = VECTOR( '', #1655, 1000.00000000000 ); #1383 = CARTESIAN_POINT( '', ( -9.99999999999999, -8.50000000000000, -12.5000000000000 ) ); #1384 = VECTOR( '', #1656, 1000.00000000000 ); #1385 = CARTESIAN_POINT( '', ( 20.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1386 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1387 = VECTOR( '', #1657, 1000.00000000000 ); #1388 = CARTESIAN_POINT( '', ( 20.0000000000000, -8.50000000000000, 0.100000000000005 ) ); #1389 = CARTESIAN_POINT( '', ( 20.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1390 = VECTOR( '', #1658, 1000.00000000000 ); #1391 = CARTESIAN_POINT( '', ( 15.0000000000000, -8.50000000000000, 0.0999999999999972 ) ); #1392 = CARTESIAN_POINT( '', ( 15.0000000000000, -8.50000000000000, 0.0999999999999972 ) ); #1393 = VECTOR( '', #1659, 1000.00000000000 ); #1394 = CARTESIAN_POINT( '', ( 15.0000000000000, -8.50000000000000, 14.5000000000000 ) ); #1395 = CARTESIAN_POINT( '', ( 15.0000000000000, -8.50000000000000, 14.5000000000000 ) ); #1396 = VECTOR( '', #1660, 1000.00000000000 ); #1397 = CARTESIAN_POINT( '', ( -15.0000000000000, -8.50000000000000, 14.5000000000000 ) ); #1398 = CARTESIAN_POINT( '', ( 20.0000000000000, -8.50000000000000, 14.5000000000000 ) ); #1399 = VECTOR( '', #1661, 1000.00000000000 ); #1400 = CARTESIAN_POINT( '', ( -15.0000000000000, -8.50000000000000, 0.0999999999999946 ) ); #1401 = CARTESIAN_POINT( '', ( -15.0000000000000, -8.50000000000000, 0.0999999999999946 ) ); #1402 = VECTOR( '', #1662, 1000.00000000000 ); #1403 = CARTESIAN_POINT( '', ( -20.0000000000000, -8.50000000000000, 0.100000000000001 ) ); #1404 = VECTOR( '', #1663, 1000.00000000000 ); #1405 = CARTESIAN_POINT( '', ( 20.0000000000000, 8.50000000000000, -14.5000000000000 ) ); #1406 = CARTESIAN_POINT( '', ( -20.0000000000000, 8.50000000000000, -14.5000000000000 ) ); #1407 = VECTOR( '', #1664, 1000.00000000000 ); #1408 = CARTESIAN_POINT( '', ( 20.0000000000000, -8.50000000000000, -14.5000000000000 ) ); #1409 = VECTOR( '', #1665, 1000.00000000000 ); #1410 = CARTESIAN_POINT( '', ( -6.10000000000000, 0.000000000000000, 14.5000000000000 ) ); #1411 = AXIS2_PLACEMENT_3D( '', #1666, #1667, #1668 ); #1412 = CARTESIAN_POINT( '', ( 15.0000000000000, 8.50000000000000, 14.5000000000000 ) ); #1413 = CARTESIAN_POINT( '', ( -15.0000000000000, 8.50000000000000, 14.5000000000000 ) ); #1414 = CARTESIAN_POINT( '', ( 20.0000000000000, 8.50000000000000, 14.5000000000000 ) ); #1415 = VECTOR( '', #1669, 1000.00000000000 ); #1416 = CARTESIAN_POINT( '', ( -15.0000000000000, 43.7494019104525, 14.5000000000000 ) ); #1417 = VECTOR( '', #1670, 1000.00000000000 ); #1418 = CARTESIAN_POINT( '', ( 15.0000000000000, 43.7494019104525, 14.5000000000000 ) ); #1419 = VECTOR( '', #1671, 1000.00000000000 ); #1420 = CARTESIAN_POINT( '', ( -5.10000000000000, 0.000000000000000, 13.5000000000000 ) ); #1421 = AXIS2_PLACEMENT_3D( '', #1672, #1673, #1674 ); #1422 = CARTESIAN_POINT( '', ( 5.10000000000001, 0.000000000000000, -12.5000000000000 ) ); #1423 = AXIS2_PLACEMENT_3D( '', #1675, #1676, #1677 ); #1424 = CARTESIAN_POINT( '', ( -9.99999999999999, 8.50000000000000, -12.5000000000000 ) ); #1425 = CARTESIAN_POINT( '', ( -20.0000000000000, 8.50000000000000, -12.5000000000000 ) ); #1426 = VECTOR( '', #1678, 1000.00000000000 ); #1427 = CARTESIAN_POINT( '', ( -9.99999999999999, 43.7494019104525, -12.5000000000000 ) ); #1428 = VECTOR( '', #1679, 1000.00000000000 ); #1429 = CARTESIAN_POINT( '', ( 20.0000000000000, 8.50000000000000, 0.100000000000005 ) ); #1430 = CARTESIAN_POINT( '', ( 20.0000000000000, 8.50000000000000, -14.5000000000000 ) ); #1431 = VECTOR( '', #1680, 1000.00000000000 ); #1432 = CARTESIAN_POINT( '', ( 20.0000000000000, 43.7494019104525, 0.100000000000005 ) ); #1433 = VECTOR( '', #1681, 1000.00000000000 ); #1434 = CARTESIAN_POINT( '', ( -1.49999999999999, 8.50000000000000, -4.00000000000000 ) ); #1435 = VECTOR( '', #1682, 1000.00000000000 ); #1436 = CARTESIAN_POINT( '', ( -15.0000000000000, 8.50000000000000, 0.0999999999999946 ) ); #1437 = CARTESIAN_POINT( '', ( -20.0000000000000, 8.50000000000000, 0.100000000000001 ) ); #1438 = VECTOR( '', #1683, 1000.00000000000 ); #1439 = CARTESIAN_POINT( '', ( -15.0000000000000, 8.50000000000000, 14.5000000000000 ) ); #1440 = VECTOR( '', #1684, 1000.00000000000 ); #1441 = CARTESIAN_POINT( '', ( 15.0000000000000, 8.50000000000000, 0.0999999999999972 ) ); #1442 = CARTESIAN_POINT( '', ( 15.0000000000000, 8.50000000000000, 14.5000000000000 ) ); #1443 = VECTOR( '', #1685, 1000.00000000000 ); #1444 = CARTESIAN_POINT( '', ( -20.0000000000000, 8.50000000000000, 0.0999999999999456 ) ); #1445 = VECTOR( '', #1686, 1000.00000000000 ); #1446 = CARTESIAN_POINT( '', ( 15.0000000000000, 43.7494019104525, 0.0999999999999972 ) ); #1447 = VECTOR( '', #1687, 1000.00000000000 ); #1448 = CARTESIAN_POINT( '', ( -15.0000000000000, 43.7494019104525, 0.0999999999999946 ) ); #1449 = VECTOR( '', #1688, 1000.00000000000 ); #1450 = CARTESIAN_POINT( '', ( -0.193692206698880, 0.000000000000000, -8.74661908995598 ) ); #1451 = CARTESIAN_POINT( '', ( -0.193692206698883, 0.000000000000000, -5.49658833541899 ) ); #1452 = CARTESIAN_POINT( '', ( -0.193692206698883, 0.000000000000000, -5.49658833541899 ) ); #1453 = VECTOR( '', #1689, 1000.00000000000 ); #1454 = CARTESIAN_POINT( '', ( -0.193692206698880, 1.00000000000000, -8.74661908995598 ) ); #1455 = CARTESIAN_POINT( '', ( -0.193692206698880, 1.00000000000000, -8.74661908995598 ) ); #1456 = VECTOR( '', #1690, 1000.00000000000 ); #1457 = CARTESIAN_POINT( '', ( -0.193692206698883, 1.00000000000000, -5.49658833541899 ) ); #1458 = CARTESIAN_POINT( '', ( -0.193692206698883, 1.00000000000000, -5.49658833541899 ) ); #1459 = VECTOR( '', #1691, 1000.00000000000 ); #1460 = CARTESIAN_POINT( '', ( -0.193692206698883, 1.00000000000000, -5.49658833541899 ) ); #1461 = VECTOR( '', #1692, 1000.00000000000 ); #1462 = CARTESIAN_POINT( '', ( 0.193692206698878, 0.000000000000000, -5.49658833541899 ) ); #1463 = AXIS2_PLACEMENT_3D( '', #1693, #1694, #1695 ); #1464 = CARTESIAN_POINT( '', ( 0.193692206698878, 1.00000000000000, -5.49658833541899 ) ); #1465 = AXIS2_PLACEMENT_3D( '', #1696, #1697, #1698 ); #1466 = CARTESIAN_POINT( '', ( 0.193692206698878, 1.00000000000000, -5.49658833541899 ) ); #1467 = VECTOR( '', #1699, 1000.00000000000 ); #1468 = CARTESIAN_POINT( '', ( -1.04369220669888, 0.000000000000000, -7.14661908995598 ) ); #1469 = AXIS2_PLACEMENT_3D( '', #1700, #1701, #1702 ); #1470 = CARTESIAN_POINT( '', ( 0.193692206698880, 0.000000000000000, -8.74661908995598 ) ); #1471 = CARTESIAN_POINT( '', ( 0.193692206698880, 0.000000000000000, -8.74661908995598 ) ); #1472 = VECTOR( '', #1703, 1000.00000000000 ); #1473 = CARTESIAN_POINT( '', ( 3.39369220669888, 0.000000000000000, -8.74661908995598 ) ); #1474 = CARTESIAN_POINT( '', ( 3.39369220669888, 0.000000000000000, -8.74661908995598 ) ); #1475 = VECTOR( '', #1704, 1000.00000000000 ); #1476 = CARTESIAN_POINT( '', ( 3.39369220669888, 0.000000000000000, -5.54661908995598 ) ); #1477 = CARTESIAN_POINT( '', ( 3.39369220669888, 0.000000000000000, -5.54661908995598 ) ); #1478 = VECTOR( '', #1705, 1000.00000000000 ); #1479 = CARTESIAN_POINT( '', ( -3.39369220669888, 0.000000000000000, -5.54661908995598 ) ); #1480 = AXIS2_PLACEMENT_3D( '', #1706, #1707, #1708 ); #1481 = CARTESIAN_POINT( '', ( -3.39369220669888, 0.000000000000000, -8.74661908995598 ) ); #1482 = CARTESIAN_POINT( '', ( -3.39369220669888, 0.000000000000000, -8.74661908995598 ) ); #1483 = VECTOR( '', #1709, 1000.00000000000 ); #1484 = CARTESIAN_POINT( '', ( -0.193692206698880, 0.000000000000000, -8.74661908995598 ) ); #1485 = VECTOR( '', #1710, 1000.00000000000 ); #1486 = CARTESIAN_POINT( '', ( 2.54369220669888, 0.000000000000000, -7.14661908995598 ) ); #1487 = AXIS2_PLACEMENT_3D( '', #1711, #1712, #1713 ); #1488 = CARTESIAN_POINT( '', ( 0.193692206698880, 1.00000000000000, -8.74661908995598 ) ); #1489 = CARTESIAN_POINT( '', ( 0.193692206698880, 1.00000000000000, -8.74661908995598 ) ); #1490 = VECTOR( '', #1714, 1000.00000000000 ); #1491 = CARTESIAN_POINT( '', ( 0.193692206698880, 1.00000000000000, -8.74661908995598 ) ); #1492 = VECTOR( '', #1715, 1000.00000000000 ); #1493 = CARTESIAN_POINT( '', ( 3.39369220669888, 1.00000000000000, -8.74661908995598 ) ); #1494 = CARTESIAN_POINT( '', ( 3.39369220669888, 1.00000000000000, -8.74661908995598 ) ); #1495 = VECTOR( '', #1716, 1000.00000000000 ); #1496 = CARTESIAN_POINT( '', ( 3.39369220669888, 1.00000000000000, -8.74661908995598 ) ); #1497 = VECTOR( '', #1717, 1000.00000000000 ); #1498 = CARTESIAN_POINT( '', ( -3.39369220669888, 1.00000000000000, -5.54661908995598 ) ); #1499 = CARTESIAN_POINT( '', ( -3.39369220669888, 1.00000000000000, -5.54661908995598 ) ); #1500 = VECTOR( '', #1718, 1000.00000000000 ); #1501 = CARTESIAN_POINT( '', ( -3.39369220669888, 1.00000000000000, -8.74661908995598 ) ); #1502 = CARTESIAN_POINT( '', ( -3.39369220669888, 1.00000000000000, -8.74661908995598 ) ); #1503 = VECTOR( '', #1719, 1000.00000000000 ); #1504 = CARTESIAN_POINT( '', ( -3.39369220669888, 1.00000000000000, -8.74661908995598 ) ); #1505 = VECTOR( '', #1720, 1000.00000000000 ); #1506 = CARTESIAN_POINT( '', ( -0.193692206698880, 1.00000000000000, -8.74661908995598 ) ); #1507 = VECTOR( '', #1721, 1000.00000000000 ); #1508 = CARTESIAN_POINT( '', ( -1.04369220669888, 1.00000000000000, -7.14661908995598 ) ); #1509 = AXIS2_PLACEMENT_3D( '', #1722, #1723, #1724 ); #1510 = CARTESIAN_POINT( '', ( 3.39369220669888, 1.00000000000000, -5.54661908995598 ) ); #1511 = AXIS2_PLACEMENT_3D( '', #1725, #1726, #1727 ); #1512 = CARTESIAN_POINT( '', ( 3.39369220669888, 1.00000000000000, -5.54661908995598 ) ); #1513 = VECTOR( '', #1728, 1000.00000000000 ); #1514 = CARTESIAN_POINT( '', ( 2.54369220669888, 1.00000000000000, -7.14661908995598 ) ); #1515 = AXIS2_PLACEMENT_3D( '', #1729, #1730, #1731 ); #1516 = CARTESIAN_POINT( '', ( 3.39369220669888, 1.00000000000000, -5.54661908995598 ) ); #1517 = VECTOR( '', #1732, 1000.00000000000 ); #1518 = CARTESIAN_POINT( '', ( 6.50000000000000, 1.41751689751248E-014, -14.5000000000000 ) ); #1519 = AXIS2_PLACEMENT_3D( '', #1733, #1734, #1735 ); #1520 = CARTESIAN_POINT( '', ( -35.5000000000000, 9.90000000000001, -14.5000000000000 ) ); #1521 = CARTESIAN_POINT( '', ( 35.5000000000000, 9.90000000000000, -14.5000000000000 ) ); #1522 = CARTESIAN_POINT( '', ( -48.8030248567630, 9.90000000000001, -14.5000000000000 ) ); #1523 = VECTOR( '', #1736, 1000.00000000000 ); #1524 = CARTESIAN_POINT( '', ( 35.5000000000000, -9.90000000000000, -14.5000000000000 ) ); #1525 = CARTESIAN_POINT( '', ( 35.5000000000000, -17.5000000000000, -14.5000000000000 ) ); #1526 = VECTOR( '', #1737, 1000.00000000000 ); #1527 = CARTESIAN_POINT( '', ( -35.5000000000000, -9.90000000000000, -14.5000000000000 ) ); #1528 = CARTESIAN_POINT( '', ( -48.8030248567630, -9.90000000000000, -14.5000000000000 ) ); #1529 = VECTOR( '', #1738, 1000.00000000000 ); #1530 = CARTESIAN_POINT( '', ( -35.5000000000000, -17.5000000000000, -14.5000000000000 ) ); #1531 = VECTOR( '', #1739, 1000.00000000000 ); #1532 = CARTESIAN_POINT( '', ( -35.5000000000000, -17.5000000000000, 14.5000000000000 ) ); #1533 = CARTESIAN_POINT( '', ( -35.5000000000000, -17.5000000000000, 13.8635861375235 ) ); #1534 = CARTESIAN_POINT( '', ( -35.5000000000000, -17.5000000000000, 14.5000000000000 ) ); #1535 = VECTOR( '', #1740, 1000.00000000000 ); #1536 = CARTESIAN_POINT( '', ( 35.5000000000000, -17.5000000000000, 13.8635861375235 ) ); #1537 = CARTESIAN_POINT( '', ( -48.8030248567630, -17.5000000000000, 13.8635861375235 ) ); #1538 = VECTOR( '', #1741, 1000.00000000000 ); #1539 = CARTESIAN_POINT( '', ( 35.5000000000000, -17.5000000000000, 14.5000000000000 ) ); #1540 = CARTESIAN_POINT( '', ( 35.5000000000000, -17.5000000000000, 14.5000000000000 ) ); #1541 = VECTOR( '', #1742, 1000.00000000000 ); #1542 = CARTESIAN_POINT( '', ( 35.5000000000000, -17.5000000000000, 14.5000000000000 ) ); #1543 = VECTOR( '', #1743, 1000.00000000000 ); #1544 = CARTESIAN_POINT( '', ( -35.5000000000000, 17.5000000000000, 13.8635861375235 ) ); #1545 = CARTESIAN_POINT( '', ( 35.5000000000000, 17.5000000000000, 13.8635861375235 ) ); #1546 = CARTESIAN_POINT( '', ( -48.8030248567630, 17.5000000000000, 13.8635861375235 ) ); #1547 = VECTOR( '', #1744, 1000.00000000000 ); #1548 = CARTESIAN_POINT( '', ( 35.5000000000000, 9.90000000000000, -14.5000000000000 ) ); #1549 = VECTOR( '', #1745, 1000.00000000000 ); #1550 = CARTESIAN_POINT( '', ( -35.5000000000000, 15.3145480318468, 5.70736835487437 ) ); #1551 = VECTOR( '', #1746, 1000.00000000000 ); #1552 = CARTESIAN_POINT( '', ( 35.5000000000000, 17.5000000000000, 14.5000000000000 ) ); #1553 = CARTESIAN_POINT( '', ( 35.5000000000000, 17.5000000000000, -14.5000000000000 ) ); #1554 = VECTOR( '', #1747, 1000.00000000000 ); #1555 = CARTESIAN_POINT( '', ( 35.5000000000000, 17.5000000000000, 14.5000000000000 ) ); #1556 = VECTOR( '', #1748, 1000.00000000000 ); #1557 = CARTESIAN_POINT( '', ( 35.5000000000000, -9.90000000000000, -14.5000000000000 ) ); #1558 = VECTOR( '', #1749, 1000.00000000000 ); #1559 = CARTESIAN_POINT( '', ( -35.5000000000000, 17.5000000000000, 14.5000000000000 ) ); #1560 = CARTESIAN_POINT( '', ( -35.5000000000000, 17.5000000000000, -14.5000000000000 ) ); #1561 = VECTOR( '', #1750, 1000.00000000000 ); #1562 = CARTESIAN_POINT( '', ( 35.5000000000000, 17.5000000000000, 14.5000000000000 ) ); #1563 = VECTOR( '', #1751, 1000.00000000000 ); #1564 = CARTESIAN_POINT( '', ( -35.5000000000000, -17.6591034656191, 14.4573683548744 ) ); #1565 = VECTOR( '', #1752, 1000.00000000000 ); #1566 = CARTESIAN_POINT( '', ( -35.5000000000000, 17.5000000000000, 14.5000000000000 ) ); #1567 = VECTOR( '', #1753, 1000.00000000000 ); #1568 = CARTESIAN_POINT( '', ( 0.000000000000000, -9.49999999999999, 14.5000000000000 ) ); #1569 = AXIS2_PLACEMENT_3D( '', #1754, #1755, #1756 ); #1570 = CARTESIAN_POINT( '', ( 0.000000000000000, -9.49999999999999, 1.49999999999999 ) ); #1571 = AXIS2_PLACEMENT_3D( '', #1757, #1758, #1759 ); #1572 = CARTESIAN_POINT( '', ( 0.000000000000000, 6.50000000000001, 1.49999999999999 ) ); #1573 = AXIS2_PLACEMENT_3D( '', #1760, #1761, #1762 ); #1574 = CARTESIAN_POINT( '', ( -8.00000000000000, 0.000000000000000, 61.5000000000000 ) ); #1575 = AXIS2_PLACEMENT_3D( '', #1763, #1764, #1765 ); #1576 = CARTESIAN_POINT( '', ( 5.72500043344170, 7.50743167285406E-007, 61.5000000000000 ) ); #1577 = CARTESIAN_POINT( '', ( 2.86249985551937, 4.95799602057724, 61.5000000000000 ) ); #1578 = CARTESIAN_POINT( '', ( 5.72500043344170, 7.50743167285406E-007, 61.5000000000000 ) ); #1579 = VECTOR( '', #1766, 1000.00000000000 ); #1580 = CARTESIAN_POINT( '', ( 2.86250072240288, -4.95799501958635, 61.5000000000000 ) ); #1581 = CARTESIAN_POINT( '', ( 2.86250072240288, -4.95799501958635, 61.5000000000000 ) ); #1582 = VECTOR( '', #1767, 1000.00000000000 ); #1583 = CARTESIAN_POINT( '', ( -2.86249942207765, -4.95799577032949, 61.5000000000000 ) ); #1584 = CARTESIAN_POINT( '', ( -2.86249942207765, -4.95799577032949, 61.5000000000000 ) ); #1585 = VECTOR( '', #1768, 1000.00000000000 ); #1586 = CARTESIAN_POINT( '', ( -5.72499999999998, -5.00495415944879E-007, 61.5000000000000 ) ); #1587 = CARTESIAN_POINT( '', ( -5.72499999999998, -5.00495415521347E-007, 61.5000000000000 ) ); #1588 = VECTOR( '', #1769, 1000.00000000000 ); #1589 = CARTESIAN_POINT( '', ( -2.86250028896116, 4.95799526983410, 61.5000000000000 ) ); #1590 = CARTESIAN_POINT( '', ( -2.86250028896116, 4.95799526983410, 61.5000000000000 ) ); #1591 = VECTOR( '', #1770, 1000.00000000000 ); #1592 = CARTESIAN_POINT( '', ( 2.86249985551937, 4.95799602057724, 61.5000000000000 ) ); #1593 = VECTOR( '', #1771, 1000.00000000000 ); #1594 = CARTESIAN_POINT( '', ( 2.86249985551937, 4.95799602057724, 53.5000000000000 ) ); #1595 = CARTESIAN_POINT( '', ( 2.86249985551937, 4.95799602057724, 53.5000000000000 ) ); #1596 = VECTOR( '', #1772, 1000.00000000000 ); #1597 = CARTESIAN_POINT( '', ( 5.72500043344170, 7.50743167285406E-007, 53.5000000000000 ) ); #1598 = CARTESIAN_POINT( '', ( 5.72500043344170, 7.50743167285406E-007, 53.5000000000000 ) ); #1599 = VECTOR( '', #1773, 1000.00000000000 ); #1600 = CARTESIAN_POINT( '', ( 5.72500043344170, 7.50743167285406E-007, 53.5000000000000 ) ); #1601 = VECTOR( '', #1774, 1000.00000000000 ); #1602 = CARTESIAN_POINT( '', ( 2.86250072240288, -4.95799501958635, 53.5000000000000 ) ); #1603 = CARTESIAN_POINT( '', ( 2.86250072240288, -4.95799501958635, 53.5000000000000 ) ); #1604 = VECTOR( '', #1775, 1000.00000000000 ); #1605 = CARTESIAN_POINT( '', ( 2.86250072240288, -4.95799501958635, 53.5000000000000 ) ); #1606 = VECTOR( '', #1776, 1000.00000000000 ); #1607 = CARTESIAN_POINT( '', ( 9.00000000000000, 0.000000000000000, 50.5000000000000 ) ); #1608 = AXIS2_PLACEMENT_3D( '', #1777, #1778, #1779 ); #1609 = CARTESIAN_POINT( '', ( -9.00000000000000, 0.000000000000000, 60.5000000000000 ) ); #1610 = AXIS2_PLACEMENT_3D( '', #1780, #1781, #1782 ); #1611 = CARTESIAN_POINT( '', ( 8.00000000000000, 0.000000000000000, 49.5000000000000 ) ); #1612 = AXIS2_PLACEMENT_3D( '', #1783, #1784, #1785 ); #1613 = CARTESIAN_POINT( '', ( -2.86250028896116, 4.95799526983410, 53.5000000000000 ) ); #1614 = CARTESIAN_POINT( '', ( 2.86249985551937, 4.95799602057724, 53.5000000000000 ) ); #1615 = VECTOR( '', #1786, 1000.00000000000 ); #1616 = CARTESIAN_POINT( '', ( -5.72499999999998, -5.00495415944879E-007, 53.5000000000000 ) ); #1617 = CARTESIAN_POINT( '', ( -2.86250028896116, 4.95799526983410, 53.5000000000000 ) ); #1618 = VECTOR( '', #1787, 1000.00000000000 ); #1619 = CARTESIAN_POINT( '', ( -2.86249942207765, -4.95799577032949, 53.5000000000000 ) ); #1620 = CARTESIAN_POINT( '', ( -5.72499999999998, -5.00495415521347E-007, 53.5000000000000 ) ); #1621 = VECTOR( '', #1788, 1000.00000000000 ); #1622 = CARTESIAN_POINT( '', ( -2.86249942207765, -4.95799577032949, 53.5000000000000 ) ); #1623 = VECTOR( '', #1789, 1000.00000000000 ); #1624 = CARTESIAN_POINT( '', ( -6.00000000000000, 0.000000000000000, 49.5000000000000 ) ); #1625 = AXIS2_PLACEMENT_3D( '', #1790, #1791, #1792 ); #1626 = CARTESIAN_POINT( '', ( -5.99999999999998, 0.000000000000000, 33.6000000000000 ) ); #1627 = AXIS2_PLACEMENT_3D( '', #1793, #1794, #1795 ); #1628 = CARTESIAN_POINT( '', ( -5.49999999999999, 0.000000000000000, 33.6000000000000 ) ); #1629 = AXIS2_PLACEMENT_3D( '', #1796, #1797, #1798 ); #1630 = CARTESIAN_POINT( '', ( -5.49999999999999, 0.000000000000000, 32.4000000000000 ) ); #1631 = AXIS2_PLACEMENT_3D( '', #1799, #1800, #1801 ); #1632 = CARTESIAN_POINT( '', ( -2.86249942207765, -4.95799577032949, 53.5000000000000 ) ); #1633 = VECTOR( '', #1802, 1000.00000000000 ); #1634 = CARTESIAN_POINT( '', ( -5.72499999999998, -5.00495415944879E-007, 53.5000000000000 ) ); #1635 = VECTOR( '', #1803, 1000.00000000000 ); #1636 = CARTESIAN_POINT( '', ( -2.86250028896116, 4.95799526983410, 53.5000000000000 ) ); #1637 = VECTOR( '', #1804, 1000.00000000000 ); #1638 = CARTESIAN_POINT( '', ( 5.00000000000000, 0.000000000000000, -0.499999999999959 ) ); #1639 = AXIS2_PLACEMENT_3D( '', #1805, #1806, #1807 ); #1640 = CARTESIAN_POINT( '', ( 6.00000000000000, 0.000000000000000, 0.500000000000041 ) ); #1641 = AXIS2_PLACEMENT_3D( '', #1808, #1809, #1810 ); #1642 = CARTESIAN_POINT( '', ( 6.00000000000000, 0.000000000000000, 32.4000000000000 ) ); #1643 = AXIS2_PLACEMENT_3D( '', #1811, #1812, #1813 ); #1644 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.16840434497101E-016 ) ); #1645 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1646 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.16840434497101E-016 ) ); #1647 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1648 = DIRECTION( '', ( 1.19636101791504E-016, 0.000000000000000, -1.00000000000000 ) ); #1649 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1650 = DIRECTION( '', ( 1.19636101791504E-016, 0.000000000000000, -1.00000000000000 ) ); #1651 = DIRECTION( '', ( 0.707106781186548, 0.000000000000000, -0.707106781186547 ) ); #1652 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1653 = DIRECTION( '', ( -0.707106781186548, 0.000000000000000, 0.707106781186547 ) ); #1654 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1655 = DIRECTION( '', ( -0.707106781186547, 0.000000000000000, -0.707106781186548 ) ); #1656 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -8.46206573647224E-017 ) ); #1657 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.16840434497101E-016 ) ); #1658 = DIRECTION( '', ( -1.19636101791504E-016, 0.000000000000000, 1.00000000000000 ) ); #1659 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 1.47239943814617E-015 ) ); #1660 = DIRECTION( '', ( 3.25554473472612E-016, 0.000000000000000, -1.00000000000000 ) ); #1661 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -4.33680868994202E-017 ) ); #1662 = DIRECTION( '', ( -8.46206573647224E-017, 0.000000000000000, 1.00000000000000 ) ); #1663 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -1.30315812341672E-015 ) ); #1664 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 2.16840434497101E-016 ) ); #1665 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1666 = CARTESIAN_POINT( '', ( 3.46944695195361E-015, 0.000000000000000, 14.5000000000000 ) ); #1667 = DIRECTION( '', ( 4.33680868994202E-017, 0.000000000000000, -1.00000000000000 ) ); #1668 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -4.33680868994202E-017 ) ); #1669 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -4.33680868994202E-017 ) ); #1670 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1671 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1672 = CARTESIAN_POINT( '', ( 3.63868826668306E-015, 0.000000000000000, 13.5000000000000 ) ); #1673 = DIRECTION( '', ( 1.69241314729445E-016, 0.000000000000000, -1.00000000000000 ) ); #1674 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -1.69241314729445E-016 ) ); #1675 = CARTESIAN_POINT( '', ( 8.03896244964862E-015, 0.000000000000000, -12.5000000000000 ) ); #1676 = DIRECTION( '', ( -8.46206573647224E-017, 0.000000000000000, 1.00000000000000 ) ); #1677 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 8.46206573647224E-017 ) ); #1678 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 8.46206573647224E-017 ) ); #1679 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1680 = DIRECTION( '', ( -1.19636101791504E-016, 0.000000000000000, 1.00000000000000 ) ); #1681 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1682 = DIRECTION( '', ( 0.707106781186547, 0.000000000000000, 0.707106781186548 ) ); #1683 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 1.30315812341672E-015 ) ); #1684 = DIRECTION( '', ( 8.46206573647224E-017, 0.000000000000000, -1.00000000000000 ) ); #1685 = DIRECTION( '', ( -3.25554473472612E-016, 0.000000000000000, 1.00000000000000 ) ); #1686 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -1.47239943814617E-015 ) ); #1687 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1688 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1689 = DIRECTION( '', ( -8.17313903531940E-016, 0.000000000000000, 1.00000000000000 ) ); #1690 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1691 = DIRECTION( '', ( -8.17313903531940E-016, 0.000000000000000, 1.00000000000000 ) ); #1692 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1693 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) ); #1694 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1695 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1696 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1697 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #1698 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1699 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1700 = CARTESIAN_POINT( '', ( -1.79369220669888, 0.000000000000000, -7.14661908995598 ) ); #1701 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1702 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1703 = DIRECTION( '', ( 7.17234650038233E-016, 0.000000000000000, -1.00000000000000 ) ); #1704 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1705 = DIRECTION( '', ( 8.13151629364128E-016, 0.000000000000000, 1.00000000000000 ) ); #1706 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.700000000000000 ) ); #1707 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1708 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1709 = DIRECTION( '', ( 4.06575814682064E-016, 0.000000000000000, -1.00000000000000 ) ); #1710 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1711 = CARTESIAN_POINT( '', ( 1.79369220669888, 0.000000000000000, -7.14661908995598 ) ); #1712 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1713 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1714 = DIRECTION( '', ( 7.17234650038233E-016, 0.000000000000000, -1.00000000000000 ) ); #1715 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1716 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1717 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1718 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1719 = DIRECTION( '', ( 4.06575814682064E-016, 0.000000000000000, -1.00000000000000 ) ); #1720 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1721 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1722 = CARTESIAN_POINT( '', ( -1.79369220669888, 1.00000000000000, -7.14661908995598 ) ); #1723 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1724 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1725 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.00000000000000, 0.700000000000000 ) ); #1726 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1727 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1728 = DIRECTION( '', ( 8.13151629364128E-016, 0.000000000000000, 1.00000000000000 ) ); #1729 = CARTESIAN_POINT( '', ( 1.79369220669888, 1.00000000000000, -7.14661908995598 ) ); #1730 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1731 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1732 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #1733 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.41751689751248E-014, -14.5000000000000 ) ); #1734 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1735 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1736 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1737 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, 0.000000000000000 ) ); #1738 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1739 = DIRECTION( '', ( 6.12303176911189E-017, 1.00000000000000, 0.000000000000000 ) ); #1740 = DIRECTION( '', ( 7.32535652002082E-033, 1.19636101791504E-016, -1.00000000000000 ) ); #1741 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1742 = DIRECTION( '', ( 7.32535652002082E-033, 1.19636101791504E-016, -1.00000000000000 ) ); #1743 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1744 = DIRECTION( '', ( 1.00000000000000, -6.12303176911189E-017, 0.000000000000000 ) ); #1745 = DIRECTION( '', ( 0.000000000000000, 0.258819045102520, 0.965925826289068 ) ); #1746 = DIRECTION( '', ( -1.58475723561393E-017, -0.258819045102520, -0.965925826289068 ) ); #1747 = DIRECTION( '', ( -1.46507130400416E-032, -2.39272203583008E-016, 1.00000000000000 ) ); #1748 = DIRECTION( '', ( -6.12303176911189E-017, -1.00000000000000, -1.98254111540207E-016 ) ); #1749 = DIRECTION( '', ( 0.000000000000000, -0.258819045102520, 0.965925826289068 ) ); #1750 = DIRECTION( '', ( -1.46507130400416E-032, -2.39272203583008E-016, 1.00000000000000 ) ); #1751 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1752 = DIRECTION( '', ( 1.58475723561393E-017, 0.258819045102520, -0.965925826289068 ) ); #1753 = DIRECTION( '', ( -6.12303176911189E-017, -1.00000000000000, -1.98254111540207E-016 ) ); #1754 = CARTESIAN_POINT( '', ( 0.000000000000000, 8.42579974045878E-015, 14.5000000000000 ) ); #1755 = DIRECTION( '', ( 0.000000000000000, 1.98254111540206E-016, -1.00000000000000 ) ); #1756 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -1.98254111540206E-016 ) ); #1757 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.10031031904815E-014, 1.49999999999999 ) ); #1758 = DIRECTION( '', ( 0.000000000000000, -1.98254111540206E-016, 1.00000000000000 ) ); #1759 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -1.98254111540206E-016 ) ); #1760 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.10031031904815E-014, 1.49999999999999 ) ); #1761 = DIRECTION( '', ( 0.000000000000000, 1.98254111540207E-016, -1.00000000000000 ) ); #1762 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 1.98254111540207E-016 ) ); #1763 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 61.5000000000000 ) ); #1764 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1765 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1766 = DIRECTION( '', ( -0.500000088328737, 0.866025352787812, 0.000000000000000 ) ); #1767 = DIRECTION( '', ( 0.499999936908042, 0.866025440210595, 0.000000000000000 ) ); #1768 = DIRECTION( '', ( 0.999999999999991, 1.31134169988747E-007, 0.000000000000000 ) ); #1769 = DIRECTION( '', ( 0.500000088328737, -0.866025352787812, 0.000000000000000 ) ); #1770 = DIRECTION( '', ( -0.499999936908042, -0.866025440210595, 0.000000000000000 ) ); #1771 = DIRECTION( '', ( -0.999999999999991, -1.31134169837242E-007, 0.000000000000000 ) ); #1772 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1773 = DIRECTION( '', ( -0.500000088328737, 0.866025352787812, 0.000000000000000 ) ); #1774 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1775 = DIRECTION( '', ( 0.499999936908042, 0.866025440210595, 0.000000000000000 ) ); #1776 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1777 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 50.5000000000000 ) ); #1778 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1779 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1780 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 60.5000000000000 ) ); #1781 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1782 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1783 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 49.5000000000000 ) ); #1784 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1785 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1786 = DIRECTION( '', ( -0.999999999999991, -1.31134169837242E-007, 0.000000000000000 ) ); #1787 = DIRECTION( '', ( -0.499999936908042, -0.866025440210595, 0.000000000000000 ) ); #1788 = DIRECTION( '', ( 0.500000088328737, -0.866025352787812, 0.000000000000000 ) ); #1789 = DIRECTION( '', ( 0.999999999999991, 1.31134169988747E-007, 0.000000000000000 ) ); #1790 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 49.5000000000000 ) ); #1791 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1792 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1793 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 33.6000000000000 ) ); #1794 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1795 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1796 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 33.6000000000000 ) ); #1797 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1798 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1799 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 32.4000000000000 ) ); #1800 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #1801 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1802 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1803 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1804 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1805 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -0.499999999999959 ) ); #1806 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1807 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1808 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.500000000000041 ) ); #1809 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1810 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1811 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 32.4000000000000 ) ); #1812 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1813 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); ENDSEC; END-ISO-10303-21;