ISO-10303-21;
HEADER;
FILE_DESCRIPTION( ( 'STEP AP203' ), '1' );
FILE_NAME( '//expscmdclustefs.cadenas.external/client_exchange/iodir/jobs/output/wkb75254185_no0/STEP/RSD-Ms_1_077_1613_01_2_03.stp', '  ', ( '  ' ), ( '  ' ), 'PSStep 15.0.47', 'PARTsolutions', '  ' );
FILE_SCHEMA( ( 'CONFIG_CONTROL_DESIGN' ) );
ENDSEC;
DATA;
#1 = DESIGN_CONTEXT( '', #55, 'design' );
#2 = APPLICATION_PROTOCOL_DEFINITION( 'international standard', 'config_control_design', 1994, #55 );
#3 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #56, #57 );
#4 = DATE_AND_TIME( #58, #59 );
#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( #60, #61, #62 );
#12 = APPROVAL_DATE_TIME( #4, #61 );
#13 = CC_DESIGN_APPROVAL( #61, ( #63, #64, #65 ) );
#14 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #4, #5, ( #65 ) );
#15 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #4, #6, ( #63 ) );
#16 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #10, ( #66 ) );
#17 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #7, ( #65 ) );
#18 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #7, ( #64 ) );
#19 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #8, ( #64 ) );
#20 = CC_DESIGN_SECURITY_CLASSIFICATION( #63, ( #64 ) );
#21 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #9, ( #63 ) );
#22 = SHAPE_DEFINITION_REPRESENTATION( #67, #68 );
#23 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #56, #69 );
#24 = DATE_AND_TIME( #70, #71 );
#25 = APPROVAL_DATE_TIME( #24, #61 );
#26 = CC_DESIGN_APPROVAL( #61, ( #63, #72, #73 ) );
#27 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #24, #5, ( #73 ) );
#28 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #24, #6, ( #63 ) );
#29 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #10, ( #74 ) );
#30 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #7, ( #73 ) );
#31 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #7, ( #72 ) );
#32 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #8, ( #72 ) );
#33 = CC_DESIGN_SECURITY_CLASSIFICATION( #63, ( #72 ) );
#34 = CONTEXT_DEPENDENT_SHAPE_REPRESENTATION( #75, #76 );
#35 = SHAPE_DEFINITION_REPRESENTATION( #77, #78 );
#36 = SHAPE_REPRESENTATION_RELATIONSHIP( 'NONE', 'NONE', #78, #79 );
#37 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #56, #80 );
#38 = DATE_AND_TIME( #81, #82 );
#39 = APPROVAL_DATE_TIME( #38, #61 );
#40 = CC_DESIGN_APPROVAL( #61, ( #63, #83, #84 ) );
#41 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #38, #5, ( #84 ) );
#42 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #38, #6, ( #63 ) );
#43 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #10, ( #85 ) );
#44 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #7, ( #84 ) );
#45 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #7, ( #83 ) );
#46 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #60, #8, ( #83 ) );
#47 = CC_DESIGN_SECURITY_CLASSIFICATION( #63, ( #83 ) );
#48 = CONTEXT_DEPENDENT_SHAPE_REPRESENTATION( #86, #87 );
#49 = SHAPE_DEFINITION_REPRESENTATION( #88, #89 );
#50 = SHAPE_REPRESENTATION_RELATIONSHIP( 'NONE', 'NONE', #89, #90 );
#51 =  ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #93 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #95, #96, #97 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) );
#55 = APPLICATION_CONTEXT( 'configuration controlled 3D designs of mechanical parts and assemblies' );
#56 = PRODUCT_CATEGORY( 'part', 'NONE' );
#57 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #66 ) );
#58 = CALENDAR_DATE( 2014, 24, 5 );
#59 = LOCAL_TIME( 18, 54, 56.0000000000000, #99 );
#60 = PERSON_AND_ORGANIZATION( #100, #101 );
#61 = APPROVAL( #102, 'SOLID MODEL' );
#62 = APPROVAL_ROLE( 'APPROVED' );
#63 = SECURITY_CLASSIFICATION( '', '', #103 );
#64 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #66, .NOT_KNOWN. );
#65 = PRODUCT_DEFINITION( 'NONE', 'NONE', #64, #1 );
#66 = PRODUCT( 'RSD-Ms 1.077.1613.01', 'RSD-Ms 1.077.1613.01', 'PART-RSD-Ms 1.077.1613.01-DESC', ( #104 ) );
#67 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #65 );
#68 = SHAPE_REPRESENTATION( 'RSD-Ms 1.077.1613.01', ( #105, #106, #107 ), #108 );
#69 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #74 ) );
#70 = CALENDAR_DATE( 2014, 24, 5 );
#71 = LOCAL_TIME( 18, 54, 56.0000000000000, #109 );
#72 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #74, .NOT_KNOWN. );
#73 = PRODUCT_DEFINITION( 'HI_RSD-Ms 1.077.1613.01-Reduction', 'HI_RSD-Ms 1.077.1613.01-Reduction', #72, #1 );
#74 = PRODUCT( 'HI_RSD-Ms 1.077.1613.01-Reduction', 'HI_RSD-Ms 1.077.1613.01-Reduction', 'PART-HI_RSD-Ms 1.077.1613.01-Reduction-DESC', ( #104 ) );
#75 = ( REPRESENTATION_RELATIONSHIP( '', '', #78, #68 )REPRESENTATION_RELATIONSHIP_WITH_TRANSFORMATION( #112 )SHAPE_REPRESENTATION_RELATIONSHIP(  ) );
#76 = PRODUCT_DEFINITION_SHAPE( 'NAUO-PROD-DEF', 'NAUO-PROD-DEF', #114 );
#77 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #73 );
#78 = SHAPE_REPRESENTATION( 'HI_RSD-Ms 1.077.1613.01-Reduction', ( #105 ), #108 );
#79 = ADVANCED_BREP_SHAPE_REPRESENTATION( 'HI_RSD-Ms 1.077.1613.01-Reduction', ( #115 ), #51 );
#80 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #85 ) );
#81 = CALENDAR_DATE( 2014, 24, 5 );
#82 = LOCAL_TIME( 18, 54, 56.0000000000000, #116 );
#83 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #85, .NOT_KNOWN. );
#84 = PRODUCT_DEFINITION( 'HI_RSD-Ms 1.077.1613.01-O-Ring', 'HI_RSD-Ms 1.077.1613.01-O-Ring', #83, #1 );
#85 = PRODUCT( 'HI_RSD-Ms 1.077.1613.01-O-Ring', 'HI_RSD-Ms 1.077.1613.01-O-Ring', 'PART-HI_RSD-Ms 1.077.1613.01-O-Ring-DESC', ( #104 ) );
#86 = ( REPRESENTATION_RELATIONSHIP( '', '', #89, #68 )REPRESENTATION_RELATIONSHIP_WITH_TRANSFORMATION( #119 )SHAPE_REPRESENTATION_RELATIONSHIP(  ) );
#87 = PRODUCT_DEFINITION_SHAPE( 'NAUO-PROD-DEF', 'NAUO-PROD-DEF', #121 );
#88 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #84 );
#89 = SHAPE_REPRESENTATION( 'HI_RSD-Ms 1.077.1613.01-O-Ring', ( #105 ), #108 );
#90 = ADVANCED_BREP_SHAPE_REPRESENTATION( 'HI_RSD-Ms 1.077.1613.01-O-Ring', ( #122 ), #51 );
#93 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 0.00100000000000000 ), #95, '', '' );
#95 =  ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #125 )LENGTH_UNIT(  )NAMED_UNIT( #128 ) );
#96 =  ( NAMED_UNIT( #130 )PLANE_ANGLE_UNIT(  )SI_UNIT( $, .RADIAN. ) );
#97 =  ( NAMED_UNIT( #130 )SI_UNIT( $, .STERADIAN. )SOLID_ANGLE_UNIT(  ) );
#99 = COORDINATED_UNIVERSAL_TIME_OFFSET( 1, 0, .AHEAD. );
#100 = PERSON( '', 'UNSPECIFIED', $, $, $, $ );
#101 = ORGANIZATION( 'UNSPECIFIED', 'UNSPECIFIED', 'UNSPECIFIED' );
#102 = APPROVAL_STATUS( 'approved' );
#103 = SECURITY_CLASSIFICATION_LEVEL( 'unclassified' );
#104 = MECHANICAL_CONTEXT( '', #55, 'mechanical' );
#105 = AXIS2_PLACEMENT_3D( '', #136, #137, #138 );
#106 = AXIS2_PLACEMENT_3D( '', #139, #140, #141 );
#107 = AXIS2_PLACEMENT_3D( '', #142, #143, #144 );
#108 =  ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #147 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #149, #150, #151 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) );
#109 = COORDINATED_UNIVERSAL_TIME_OFFSET( 1, 0, .AHEAD. );
#112 = ITEM_DEFINED_TRANSFORMATION( '', '', #105, #106 );
#114 = NEXT_ASSEMBLY_USAGE_OCCURRENCE( 'NAUO1', 'NAUO1', 'NAUO1', #65, #73, $ );
#115 = MANIFOLD_SOLID_BREP( 'HI_RSD-Ms 1.077.1613.01-Reduction', #153 );
#116 = COORDINATED_UNIVERSAL_TIME_OFFSET( 1, 0, .AHEAD. );
#119 = ITEM_DEFINED_TRANSFORMATION( '', '', #105, #107 );
#121 = NEXT_ASSEMBLY_USAGE_OCCURRENCE( 'NAUO2', 'NAUO2', 'NAUO2', #65, #84, $ );
#122 = MANIFOLD_SOLID_BREP( 'HI_RSD-Ms 1.077.1613.01-O-Ring', #154 );
#125 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #155 );
#128 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#130 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#136 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#137 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#138 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#139 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#140 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#141 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#142 = CARTESIAN_POINT( '', ( 3.51070000000000, 0.000000000000000, 0.000000000000000 ) );
#143 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#144 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#147 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 0.00100000000000000 ), #149, '', '' );
#149 =  ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #158 )LENGTH_UNIT(  )NAMED_UNIT( #161 ) );
#150 =  ( NAMED_UNIT( #163 )PLANE_ANGLE_UNIT(  )SI_UNIT( $, .RADIAN. ) );
#151 =  ( NAMED_UNIT( #163 )SI_UNIT( $, .STERADIAN. )SOLID_ANGLE_UNIT(  ) );
#153 = CLOSED_SHELL( '', ( #169, #170, #171, #172, #173, #174, #175, #176, #177, #178, #179, #180, #181, #182, #183, #184, #185, #186, #187, #188, #189, #190, #191, #192, #193, #194, #195, #196, #197, #198 ) );
#154 = CLOSED_SHELL( '', ( #199 ) );
#155 =  ( LENGTH_UNIT(  )NAMED_UNIT( #128 )SI_UNIT( .MILLI., .METRE. ) );
#158 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #201 );
#161 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#163 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#169 = ADVANCED_FACE( '', ( #202 ), #203, .T. );
#170 = ADVANCED_FACE( '', ( #204, #205 ), #206, .F. );
#171 = ADVANCED_FACE( '', ( #207 ), #208, .F. );
#172 = ADVANCED_FACE( '', ( #209 ), #210, .T. );
#173 = ADVANCED_FACE( '', ( #211, #212 ), #213, .F. );
#174 = ADVANCED_FACE( '', ( #214 ), #215, .F. );
#175 = ADVANCED_FACE( '', ( #216 ), #217, .T. );
#176 = ADVANCED_FACE( '', ( #218 ), #219, .T. );
#177 = ADVANCED_FACE( '', ( #220 ), #221, .F. );
#178 = ADVANCED_FACE( '', ( #222 ), #223, .F. );
#179 = ADVANCED_FACE( '', ( #224, #225 ), #226, .F. );
#180 = ADVANCED_FACE( '', ( #227, #228 ), #229, .F. );
#181 = ADVANCED_FACE( '', ( #230, #231 ), #232, .F. );
#182 = ADVANCED_FACE( '', ( #233, #234 ), #235, .T. );
#183 = ADVANCED_FACE( '', ( #236, #237 ), #238, .F. );
#184 = ADVANCED_FACE( '', ( #239, #240 ), #241, .T. );
#185 = ADVANCED_FACE( '', ( #242, #243 ), #244, .T. );
#186 = ADVANCED_FACE( '', ( #245, #246 ), #247, .T. );
#187 = ADVANCED_FACE( '', ( #248, #249 ), #250, .F. );
#188 = ADVANCED_FACE( '', ( #251, #252 ), #253, .F. );
#189 = ADVANCED_FACE( '', ( #254 ), #255, .T. );
#190 = ADVANCED_FACE( '', ( #256 ), #257, .T. );
#191 = ADVANCED_FACE( '', ( #258 ), #259, .T. );
#192 = ADVANCED_FACE( '', ( #260 ), #261, .T. );
#193 = ADVANCED_FACE( '', ( #262 ), #263, .T. );
#194 = ADVANCED_FACE( '', ( #264 ), #265, .T. );
#195 = ADVANCED_FACE( '', ( #266 ), #267, .T. );
#196 = ADVANCED_FACE( '', ( #268 ), #269, .F. );
#197 = ADVANCED_FACE( '', ( #270 ), #271, .F. );
#198 = ADVANCED_FACE( '', ( #272 ), #273, .T. );
#199 = ADVANCED_FACE( '', ( #274 ), #275, .T. );
#201 =  ( LENGTH_UNIT(  )NAMED_UNIT( #161 )SI_UNIT( .MILLI., .METRE. ) );
#202 = FACE_OUTER_BOUND( '', #277, .T. );
#203 = CONICAL_SURFACE( '', #278, 12.0000000000000, 1.30899693899575 );
#204 = FACE_OUTER_BOUND( '', #279, .T. );
#205 = FACE_BOUND( '', #280, .T. );
#206 = PLANE( '', #281 );
#207 = FACE_OUTER_BOUND( '', #282, .T. );
#208 = PLANE( '', #283 );
#209 = FACE_OUTER_BOUND( '', #284, .T. );
#210 = CONICAL_SURFACE( '', #285, 12.0000000000000, 1.30899693899575 );
#211 = FACE_BOUND( '', #286, .T. );
#212 = FACE_OUTER_BOUND( '', #287, .T. );
#213 = PLANE( '', #288 );
#214 = FACE_OUTER_BOUND( '', #289, .T. );
#215 = PLANE( '', #290 );
#216 = FACE_OUTER_BOUND( '', #291, .T. );
#217 = CYLINDRICAL_SURFACE( '', #292, 13.2500000000000 );
#218 = FACE_OUTER_BOUND( '', #293, .T. );
#219 = CONICAL_SURFACE( '', #294, 12.0000000000000, 1.30899693899575 );
#220 = FACE_OUTER_BOUND( '', #295, .T. );
#221 = PLANE( '', #296 );
#222 = FACE_OUTER_BOUND( '', #297, .T. );
#223 = PLANE( '', #298 );
#224 = FACE_OUTER_BOUND( '', #299, .T. );
#225 = FACE_BOUND( '', #300, .T. );
#226 = CONICAL_SURFACE( '', #301, 9.53000000000000, 0.785398163397448 );
#227 = FACE_OUTER_BOUND( '', #302, .T. );
#228 = FACE_OUTER_BOUND( '', #303, .T. );
#229 = CYLINDRICAL_SURFACE( '', #304, 9.53000000000000 );
#230 = FACE_BOUND( '', #305, .T. );
#231 = FACE_OUTER_BOUND( '', #306, .T. );
#232 = CONICAL_SURFACE( '', #307, 10.2000000000000, 0.785398163397447 );
#233 = FACE_BOUND( '', #308, .T. );
#234 = FACE_OUTER_BOUND( '', #309, .T. );
#235 = CONICAL_SURFACE( '', #310, 11.2500000000000, 0.785398163397448 );
#236 = FACE_BOUND( '', #311, .T. );
#237 = FACE_OUTER_BOUND( '', #312, .T. );
#238 = PLANE( '', #313 );
#239 = FACE_OUTER_BOUND( '', #314, .T. );
#240 = FACE_OUTER_BOUND( '', #315, .T. );
#241 = CYLINDRICAL_SURFACE( '', #316, 11.2500000000000 );
#242 = FACE_OUTER_BOUND( '', #317, .T. );
#243 = FACE_BOUND( '', #318, .T. );
#244 = CONICAL_SURFACE( '', #319, 10.4500000000000, 0.785398163397448 );
#245 = FACE_OUTER_BOUND( '', #320, .T. );
#246 = FACE_OUTER_BOUND( '', #321, .T. );
#247 = CYLINDRICAL_SURFACE( '', #322, 10.4500000000000 );
#248 = FACE_OUTER_BOUND( '', #323, .T. );
#249 = FACE_OUTER_BOUND( '', #324, .T. );
#250 = TOROIDAL_SURFACE( '', #325, 10.6500000000000, 0.199999999999999 );
#251 = FACE_BOUND( '', #326, .T. );
#252 = FACE_OUTER_BOUND( '', #327, .T. );
#253 = CONICAL_SURFACE( '', #328, 11.7484271247462, 0.785398163397450 );
#254 = FACE_OUTER_BOUND( '', #329, .T. );
#255 = CYLINDRICAL_SURFACE( '', #330, 13.2500000000000 );
#256 = FACE_OUTER_BOUND( '', #331, .T. );
#257 = CYLINDRICAL_SURFACE( '', #332, 13.2500000000000 );
#258 = FACE_OUTER_BOUND( '', #333, .T. );
#259 = CYLINDRICAL_SURFACE( '', #334, 13.2500000000000 );
#260 = FACE_OUTER_BOUND( '', #335, .T. );
#261 = CYLINDRICAL_SURFACE( '', #336, 13.2500000000000 );
#262 = FACE_OUTER_BOUND( '', #337, .T. );
#263 = CONICAL_SURFACE( '', #338, 12.0000000000000, 1.30899693899575 );
#264 = FACE_OUTER_BOUND( '', #339, .T. );
#265 = CONICAL_SURFACE( '', #340, 12.0000000000000, 1.30899693899575 );
#266 = FACE_OUTER_BOUND( '', #341, .T. );
#267 = CONICAL_SURFACE( '', #342, 12.0000000000000, 1.30899693899575 );
#268 = FACE_OUTER_BOUND( '', #343, .T. );
#269 = PLANE( '', #344 );
#270 = FACE_OUTER_BOUND( '', #345, .T. );
#271 = PLANE( '', #346 );
#272 = FACE_OUTER_BOUND( '', #347, .T. );
#273 = CYLINDRICAL_SURFACE( '', #348, 13.2500000000000 );
#274 = FACE_BOUND( '', #349, .T. );
#275 = TOROIDAL_SURFACE( '', #350, 11.2000000000000, 0.750000000000000 );
#277 = EDGE_LOOP( '', ( #351, #352, #353, #354 ) );
#278 = AXIS2_PLACEMENT_3D( '', #355, #356, #357 );
#279 = EDGE_LOOP( '', ( #358, #359, #360, #361, #362, #363 ) );
#280 = EDGE_LOOP( '', ( #364 ) );
#281 = AXIS2_PLACEMENT_3D( '', #365, #366, #367 );
#282 = EDGE_LOOP( '', ( #368, #369, #370, #371, #372 ) );
#283 = AXIS2_PLACEMENT_3D( '', #373, #374, #375 );
#284 = EDGE_LOOP( '', ( #376, #377, #378, #379 ) );
#285 = AXIS2_PLACEMENT_3D( '', #380, #381, #382 );
#286 = EDGE_LOOP( '', ( #383 ) );
#287 = EDGE_LOOP( '', ( #384, #385, #386, #387, #388, #389, #390, #391, #392, #393, #394, #395 ) );
#288 = AXIS2_PLACEMENT_3D( '', #396, #397, #398 );
#289 = EDGE_LOOP( '', ( #399, #400, #401, #402, #403 ) );
#290 = AXIS2_PLACEMENT_3D( '', #404, #405, #406 );
#291 = EDGE_LOOP( '', ( #407, #408, #409, #410 ) );
#292 = AXIS2_PLACEMENT_3D( '', #411, #412, #413 );
#293 = EDGE_LOOP( '', ( #414, #415, #416, #417 ) );
#294 = AXIS2_PLACEMENT_3D( '', #418, #419, #420 );
#295 = EDGE_LOOP( '', ( #421, #422, #423, #424, #425 ) );
#296 = AXIS2_PLACEMENT_3D( '', #426, #427, #428 );
#297 = EDGE_LOOP( '', ( #429, #430, #431, #432, #433 ) );
#298 = AXIS2_PLACEMENT_3D( '', #434, #435, #436 );
#299 = EDGE_LOOP( '', ( #437 ) );
#300 = EDGE_LOOP( '', ( #438 ) );
#301 = AXIS2_PLACEMENT_3D( '', #439, #440, #441 );
#302 = EDGE_LOOP( '', ( #442 ) );
#303 = EDGE_LOOP( '', ( #443 ) );
#304 = AXIS2_PLACEMENT_3D( '', #444, #445, #446 );
#305 = EDGE_LOOP( '', ( #447 ) );
#306 = EDGE_LOOP( '', ( #448 ) );
#307 = AXIS2_PLACEMENT_3D( '', #449, #450, #451 );
#308 = EDGE_LOOP( '', ( #452 ) );
#309 = EDGE_LOOP( '', ( #453 ) );
#310 = AXIS2_PLACEMENT_3D( '', #454, #455, #456 );
#311 = EDGE_LOOP( '', ( #457 ) );
#312 = EDGE_LOOP( '', ( #458 ) );
#313 = AXIS2_PLACEMENT_3D( '', #459, #460, #461 );
#314 = EDGE_LOOP( '', ( #462 ) );
#315 = EDGE_LOOP( '', ( #463 ) );
#316 = AXIS2_PLACEMENT_3D( '', #464, #465, #466 );
#317 = EDGE_LOOP( '', ( #467 ) );
#318 = EDGE_LOOP( '', ( #468 ) );
#319 = AXIS2_PLACEMENT_3D( '', #469, #470, #471 );
#320 = EDGE_LOOP( '', ( #472 ) );
#321 = EDGE_LOOP( '', ( #473 ) );
#322 = AXIS2_PLACEMENT_3D( '', #474, #475, #476 );
#323 = EDGE_LOOP( '', ( #477 ) );
#324 = EDGE_LOOP( '', ( #478 ) );
#325 = AXIS2_PLACEMENT_3D( '', #479, #480, #481 );
#326 = EDGE_LOOP( '', ( #482 ) );
#327 = EDGE_LOOP( '', ( #483 ) );
#328 = AXIS2_PLACEMENT_3D( '', #484, #485, #486 );
#329 = EDGE_LOOP( '', ( #487, #488, #489, #490 ) );
#330 = AXIS2_PLACEMENT_3D( '', #491, #492, #493 );
#331 = EDGE_LOOP( '', ( #494, #495, #496, #497 ) );
#332 = AXIS2_PLACEMENT_3D( '', #498, #499, #500 );
#333 = EDGE_LOOP( '', ( #501, #502, #503, #504 ) );
#334 = AXIS2_PLACEMENT_3D( '', #505, #506, #507 );
#335 = EDGE_LOOP( '', ( #508, #509, #510, #511 ) );
#336 = AXIS2_PLACEMENT_3D( '', #512, #513, #514 );
#337 = EDGE_LOOP( '', ( #515, #516, #517, #518 ) );
#338 = AXIS2_PLACEMENT_3D( '', #519, #520, #521 );
#339 = EDGE_LOOP( '', ( #522, #523, #524, #525 ) );
#340 = AXIS2_PLACEMENT_3D( '', #526, #527, #528 );
#341 = EDGE_LOOP( '', ( #529, #530, #531, #532 ) );
#342 = AXIS2_PLACEMENT_3D( '', #533, #534, #535 );
#343 = EDGE_LOOP( '', ( #536, #537, #538, #539, #540 ) );
#344 = AXIS2_PLACEMENT_3D( '', #541, #542, #543 );
#345 = EDGE_LOOP( '', ( #544, #545, #546, #547, #548 ) );
#346 = AXIS2_PLACEMENT_3D( '', #549, #550, #551 );
#347 = EDGE_LOOP( '', ( #552, #553, #554, #555 ) );
#348 = AXIS2_PLACEMENT_3D( '', #556, #557, #558 );
#349 = VERTEX_LOOP( '', #559 );
#350 = AXIS2_PLACEMENT_3D( '', #560, #561, #562 );
#351 = ORIENTED_EDGE( '', *, *, #563, .F. );
#352 = ORIENTED_EDGE( '', *, *, #564, .T. );
#353 = ORIENTED_EDGE( '', *, *, #565, .T. );
#354 = ORIENTED_EDGE( '', *, *, #566, .T. );
#355 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#356 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#357 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#358 = ORIENTED_EDGE( '', *, *, #567, .F. );
#359 = ORIENTED_EDGE( '', *, *, #568, .F. );
#360 = ORIENTED_EDGE( '', *, *, #569, .F. );
#361 = ORIENTED_EDGE( '', *, *, #570, .F. );
#362 = ORIENTED_EDGE( '', *, *, #571, .F. );
#363 = ORIENTED_EDGE( '', *, *, #565, .F. );
#364 = ORIENTED_EDGE( '', *, *, #572, .T. );
#365 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#366 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#367 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#368 = ORIENTED_EDGE( '', *, *, #573, .F. );
#369 = ORIENTED_EDGE( '', *, *, #574, .F. );
#370 = ORIENTED_EDGE( '', *, *, #575, .F. );
#371 = ORIENTED_EDGE( '', *, *, #566, .F. );
#372 = ORIENTED_EDGE( '', *, *, #576, .F. );
#373 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.92820323027551, 12.0000000000000 ) );
#374 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#375 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#376 = ORIENTED_EDGE( '', *, *, #571, .T. );
#377 = ORIENTED_EDGE( '', *, *, #577, .T. );
#378 = ORIENTED_EDGE( '', *, *, #578, .F. );
#379 = ORIENTED_EDGE( '', *, *, #576, .T. );
#380 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#381 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#382 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#383 = ORIENTED_EDGE( '', *, *, #579, .F. );
#384 = ORIENTED_EDGE( '', *, *, #580, .T. );
#385 = ORIENTED_EDGE( '', *, *, #581, .T. );
#386 = ORIENTED_EDGE( '', *, *, #582, .T. );
#387 = ORIENTED_EDGE( '', *, *, #574, .T. );
#388 = ORIENTED_EDGE( '', *, *, #583, .T. );
#389 = ORIENTED_EDGE( '', *, *, #584, .T. );
#390 = ORIENTED_EDGE( '', *, *, #585, .T. );
#391 = ORIENTED_EDGE( '', *, *, #586, .T. );
#392 = ORIENTED_EDGE( '', *, *, #587, .T. );
#393 = ORIENTED_EDGE( '', *, *, #588, .T. );
#394 = ORIENTED_EDGE( '', *, *, #589, .T. );
#395 = ORIENTED_EDGE( '', *, *, #590, .T. );
#396 = CARTESIAN_POINT( '', ( 3.00000000000000, 13.2500000000000, 0.000000000000000 ) );
#397 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#398 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#399 = ORIENTED_EDGE( '', *, *, #591, .F. );
#400 = ORIENTED_EDGE( '', *, *, #590, .F. );
#401 = ORIENTED_EDGE( '', *, *, #592, .F. );
#402 = ORIENTED_EDGE( '', *, *, #593, .F. );
#403 = ORIENTED_EDGE( '', *, *, #594, .F. );
#404 = CARTESIAN_POINT( '', ( 5.00000000000000, 6.92820323027551, -12.0000000000000 ) );
#405 = DIRECTION( '', ( 0.000000000000000, -0.866025403784439, 0.500000000000000 ) );
#406 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, -0.866025403784439 ) );
#407 = ORIENTED_EDGE( '', *, *, #595, .T. );
#408 = ORIENTED_EDGE( '', *, *, #592, .T. );
#409 = ORIENTED_EDGE( '', *, *, #589, .F. );
#410 = ORIENTED_EDGE( '', *, *, #596, .T. );
#411 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#412 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#413 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#414 = ORIENTED_EDGE( '', *, *, #567, .T. );
#415 = ORIENTED_EDGE( '', *, *, #597, .T. );
#416 = ORIENTED_EDGE( '', *, *, #598, .F. );
#417 = ORIENTED_EDGE( '', *, *, #594, .T. );
#418 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#419 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#420 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#421 = ORIENTED_EDGE( '', *, *, #599, .F. );
#422 = ORIENTED_EDGE( '', *, *, #581, .F. );
#423 = ORIENTED_EDGE( '', *, *, #600, .F. );
#424 = ORIENTED_EDGE( '', *, *, #597, .F. );
#425 = ORIENTED_EDGE( '', *, *, #564, .F. );
#426 = CARTESIAN_POINT( '', ( 5.00000000000000, 13.8564064605510, 0.000000000000000 ) );
#427 = DIRECTION( '', ( 0.000000000000000, -0.866025403784439, -0.500000000000000 ) );
#428 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, -0.866025403784439 ) );
#429 = ORIENTED_EDGE( '', *, *, #596, .F. );
#430 = ORIENTED_EDGE( '', *, *, #588, .F. );
#431 = ORIENTED_EDGE( '', *, *, #601, .F. );
#432 = ORIENTED_EDGE( '', *, *, #602, .F. );
#433 = ORIENTED_EDGE( '', *, *, #603, .F. );
#434 = CARTESIAN_POINT( '', ( 5.00000000000000, -6.92820323027551, -12.0000000000000 ) );
#435 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#436 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#437 = ORIENTED_EDGE( '', *, *, #604, .T. );
#438 = ORIENTED_EDGE( '', *, *, #605, .F. );
#439 = CARTESIAN_POINT( '', ( 8.83000000000000, 0.000000000000000, 0.000000000000000 ) );
#440 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#441 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#442 = ORIENTED_EDGE( '', *, *, #605, .T. );
#443 = ORIENTED_EDGE( '', *, *, #606, .F. );
#444 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#445 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#446 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#447 = ORIENTED_EDGE( '', *, *, #606, .T. );
#448 = ORIENTED_EDGE( '', *, *, #572, .F. );
#449 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#450 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#451 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#452 = ORIENTED_EDGE( '', *, *, #607, .F. );
#453 = ORIENTED_EDGE( '', *, *, #608, .T. );
#454 = CARTESIAN_POINT( '', ( 8.83000000000000, 0.000000000000000, 0.000000000000000 ) );
#455 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#456 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#457 = ORIENTED_EDGE( '', *, *, #604, .F. );
#458 = ORIENTED_EDGE( '', *, *, #607, .T. );
#459 = CARTESIAN_POINT( '', ( 9.50000000000000, 10.5800000000000, 0.000000000000000 ) );
#460 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#461 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#462 = ORIENTED_EDGE( '', *, *, #608, .F. );
#463 = ORIENTED_EDGE( '', *, *, #609, .T. );
#464 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#465 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#466 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#467 = ORIENTED_EDGE( '', *, *, #609, .F. );
#468 = ORIENTED_EDGE( '', *, *, #610, .T. );
#469 = CARTESIAN_POINT( '', ( 4.53000000000000, 0.000000000000000, 0.000000000000000 ) );
#470 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#471 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#472 = ORIENTED_EDGE( '', *, *, #610, .F. );
#473 = ORIENTED_EDGE( '', *, *, #611, .T. );
#474 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#475 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#476 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#477 = ORIENTED_EDGE( '', *, *, #611, .F. );
#478 = ORIENTED_EDGE( '', *, *, #612, .T. );
#479 = CARTESIAN_POINT( '', ( 2.18441558772843, 0.000000000000000, 0.000000000000000 ) );
#480 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#481 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#482 = ORIENTED_EDGE( '', *, *, #612, .F. );
#483 = ORIENTED_EDGE( '', *, *, #579, .T. );
#484 = CARTESIAN_POINT( '', ( 3.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#485 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#486 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#487 = ORIENTED_EDGE( '', *, *, #580, .F. );
#488 = ORIENTED_EDGE( '', *, *, #591, .T. );
#489 = ORIENTED_EDGE( '', *, *, #598, .T. );
#490 = ORIENTED_EDGE( '', *, *, #600, .T. );
#491 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#492 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#493 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#494 = ORIENTED_EDGE( '', *, *, #582, .F. );
#495 = ORIENTED_EDGE( '', *, *, #599, .T. );
#496 = ORIENTED_EDGE( '', *, *, #563, .T. );
#497 = ORIENTED_EDGE( '', *, *, #575, .T. );
#498 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#499 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#500 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#501 = ORIENTED_EDGE( '', *, *, #613, .T. );
#502 = ORIENTED_EDGE( '', *, *, #601, .T. );
#503 = ORIENTED_EDGE( '', *, *, #587, .F. );
#504 = ORIENTED_EDGE( '', *, *, #614, .T. );
#505 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#506 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#507 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#508 = ORIENTED_EDGE( '', *, *, #578, .T. );
#509 = ORIENTED_EDGE( '', *, *, #615, .T. );
#510 = ORIENTED_EDGE( '', *, *, #583, .F. );
#511 = ORIENTED_EDGE( '', *, *, #573, .T. );
#512 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#513 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#514 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#515 = ORIENTED_EDGE( '', *, *, #568, .T. );
#516 = ORIENTED_EDGE( '', *, *, #593, .T. );
#517 = ORIENTED_EDGE( '', *, *, #595, .F. );
#518 = ORIENTED_EDGE( '', *, *, #603, .T. );
#519 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#520 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#521 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#522 = ORIENTED_EDGE( '', *, *, #569, .T. );
#523 = ORIENTED_EDGE( '', *, *, #602, .T. );
#524 = ORIENTED_EDGE( '', *, *, #613, .F. );
#525 = ORIENTED_EDGE( '', *, *, #616, .T. );
#526 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#527 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#528 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#529 = ORIENTED_EDGE( '', *, *, #570, .T. );
#530 = ORIENTED_EDGE( '', *, *, #617, .T. );
#531 = ORIENTED_EDGE( '', *, *, #618, .F. );
#532 = ORIENTED_EDGE( '', *, *, #619, .T. );
#533 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#534 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#535 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#536 = ORIENTED_EDGE( '', *, *, #620, .F. );
#537 = ORIENTED_EDGE( '', *, *, #584, .F. );
#538 = ORIENTED_EDGE( '', *, *, #615, .F. );
#539 = ORIENTED_EDGE( '', *, *, #577, .F. );
#540 = ORIENTED_EDGE( '', *, *, #619, .F. );
#541 = CARTESIAN_POINT( '', ( 5.00000000000000, -6.92820323027551, 12.0000000000000 ) );
#542 = DIRECTION( '', ( 0.000000000000000, 0.866025403784439, -0.500000000000000 ) );
#543 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, 0.866025403784439 ) );
#544 = ORIENTED_EDGE( '', *, *, #614, .F. );
#545 = ORIENTED_EDGE( '', *, *, #586, .F. );
#546 = ORIENTED_EDGE( '', *, *, #621, .F. );
#547 = ORIENTED_EDGE( '', *, *, #617, .F. );
#548 = ORIENTED_EDGE( '', *, *, #616, .F. );
#549 = CARTESIAN_POINT( '', ( 5.00000000000000, -13.8564064605510, 0.000000000000000 ) );
#550 = DIRECTION( '', ( -0.000000000000000, 0.866025403784439, 0.500000000000000 ) );
#551 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, 0.866025403784439 ) );
#552 = ORIENTED_EDGE( '', *, *, #618, .T. );
#553 = ORIENTED_EDGE( '', *, *, #621, .T. );
#554 = ORIENTED_EDGE( '', *, *, #585, .F. );
#555 = ORIENTED_EDGE( '', *, *, #620, .T. );
#556 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#557 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#558 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#559 = VERTEX_POINT( '', #622 );
#560 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#561 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#562 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#563 = EDGE_CURVE( '', #623, #624, #625, .T. );
#564 = EDGE_CURVE( '', #623, #626, #627, .T. );
#565 = EDGE_CURVE( '', #626, #628, #629, .T. );
#566 = EDGE_CURVE( '', #628, #624, #630, .T. );
#567 = EDGE_CURVE( '', #631, #626, #632, .T. );
#568 = EDGE_CURVE( '', #633, #631, #634, .T. );
#569 = EDGE_CURVE( '', #635, #633, #636, .T. );
#570 = EDGE_CURVE( '', #637, #635, #638, .T. );
#571 = EDGE_CURVE( '', #628, #637, #639, .T. );
#572 = EDGE_CURVE( '', #640, #640, #641, .T. );
#573 = EDGE_CURVE( '', #642, #643, #644, .F. );
#574 = EDGE_CURVE( '', #645, #642, #646, .T. );
#575 = EDGE_CURVE( '', #624, #645, #647, .T. );
#576 = EDGE_CURVE( '', #643, #628, #648, .T. );
#577 = EDGE_CURVE( '', #637, #649, #650, .T. );
#578 = EDGE_CURVE( '', #643, #649, #651, .T. );
#579 = EDGE_CURVE( '', #652, #652, #653, .T. );
#580 = EDGE_CURVE( '', #654, #655, #656, .T. );
#581 = EDGE_CURVE( '', #655, #657, #658, .T. );
#582 = EDGE_CURVE( '', #657, #645, #659, .T. );
#583 = EDGE_CURVE( '', #642, #660, #661, .T. );
#584 = EDGE_CURVE( '', #660, #662, #663, .T. );
#585 = EDGE_CURVE( '', #662, #664, #665, .T. );
#586 = EDGE_CURVE( '', #664, #666, #667, .T. );
#587 = EDGE_CURVE( '', #666, #668, #669, .T. );
#588 = EDGE_CURVE( '', #668, #670, #671, .T. );
#589 = EDGE_CURVE( '', #670, #672, #673, .T. );
#590 = EDGE_CURVE( '', #672, #654, #674, .T. );
#591 = EDGE_CURVE( '', #654, #675, #676, .F. );
#592 = EDGE_CURVE( '', #677, #672, #678, .T. );
#593 = EDGE_CURVE( '', #631, #677, #679, .T. );
#594 = EDGE_CURVE( '', #675, #631, #680, .T. );
#595 = EDGE_CURVE( '', #681, #677, #682, .T. );
#596 = EDGE_CURVE( '', #670, #681, #683, .F. );
#597 = EDGE_CURVE( '', #626, #684, #685, .T. );
#598 = EDGE_CURVE( '', #675, #684, #686, .T. );
#599 = EDGE_CURVE( '', #657, #623, #687, .F. );
#600 = EDGE_CURVE( '', #684, #655, #688, .T. );
#601 = EDGE_CURVE( '', #689, #668, #690, .T. );
#602 = EDGE_CURVE( '', #633, #689, #691, .T. );
#603 = EDGE_CURVE( '', #681, #633, #692, .T. );
#604 = EDGE_CURVE( '', #693, #693, #694, .T. );
#605 = EDGE_CURVE( '', #695, #695, #696, .T. );
#606 = EDGE_CURVE( '', #697, #697, #698, .T. );
#607 = EDGE_CURVE( '', #699, #699, #700, .T. );
#608 = EDGE_CURVE( '', #701, #701, #702, .T. );
#609 = EDGE_CURVE( '', #703, #703, #704, .T. );
#610 = EDGE_CURVE( '', #705, #705, #706, .T. );
#611 = EDGE_CURVE( '', #707, #707, #708, .T. );
#612 = EDGE_CURVE( '', #709, #709, #710, .T. );
#613 = EDGE_CURVE( '', #711, #689, #712, .T. );
#614 = EDGE_CURVE( '', #666, #711, #713, .F. );
#615 = EDGE_CURVE( '', #649, #660, #714, .T. );
#616 = EDGE_CURVE( '', #711, #635, #715, .T. );
#617 = EDGE_CURVE( '', #635, #716, #717, .T. );
#618 = EDGE_CURVE( '', #718, #716, #719, .T. );
#619 = EDGE_CURVE( '', #718, #637, #720, .T. );
#620 = EDGE_CURVE( '', #662, #718, #721, .F. );
#621 = EDGE_CURVE( '', #716, #664, #722, .T. );
#622 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -11.9500000000000 ) );
#623 = VERTEX_POINT( '', #723 );
#624 = VERTEX_POINT( '', #724 );
#625 = CIRCLE( '', #725, 13.2500000000000 );
#626 = VERTEX_POINT( '', #726 );
#627 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #727, #728, #729, #730 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 1.76015911213850E-006, 0.00561981142267320 ), .UNSPECIFIED. );
#628 = VERTEX_POINT( '', #731 );
#629 = CIRCLE( '', #732, 12.0000000000000 );
#630 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #733, #734, #735, #736 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 0.0185398268210722, 0.0242024796215998 ), .UNSPECIFIED. );
#631 = VERTEX_POINT( '', #737 );
#632 = CIRCLE( '', #738, 12.0000000000000 );
#633 = VERTEX_POINT( '', #739 );
#634 = CIRCLE( '', #740, 12.0000000000000 );
#635 = VERTEX_POINT( '', #741 );
#636 = CIRCLE( '', #742, 12.0000000000000 );
#637 = VERTEX_POINT( '', #743 );
#638 = CIRCLE( '', #744, 12.0000000000000 );
#639 = CIRCLE( '', #745, 12.0000000000000 );
#640 = VERTEX_POINT( '', #746 );
#641 = CIRCLE( '', #747, 10.2000000000000 );
#642 = VERTEX_POINT( '', #748 );
#643 = VERTEX_POINT( '', #749 );
#644 = LINE( '', #750, #751 );
#645 = VERTEX_POINT( '', #752 );
#646 = LINE( '', #753, #754 );
#647 = LINE( '', #755, #756 );
#648 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #757, #758, #759, #760, #761, #762 ), .UNSPECIFIED., .F., .F., ( 4, 2, 4 ), ( 0.0128967705813123, 0.0157182987011922, 0.0185398268210722 ), .UNSPECIFIED. );
#649 = VERTEX_POINT( '', #763 );
#650 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #764, #765, #766, #767 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 0.00561981142267320, 0.0112378626862343 ), .UNSPECIFIED. );
#651 = CIRCLE( '', #768, 13.2500000000000 );
#652 = VERTEX_POINT( '', #769 );
#653 = CIRCLE( '', #770, 11.7484271247462 );
#654 = VERTEX_POINT( '', #771 );
#655 = VERTEX_POINT( '', #772 );
#656 = CIRCLE( '', #773, 13.2500000000000 );
#657 = VERTEX_POINT( '', #774 );
#658 = LINE( '', #775, #776 );
#659 = CIRCLE( '', #777, 13.2500000000000 );
#660 = VERTEX_POINT( '', #778 );
#661 = CIRCLE( '', #779, 13.2500000000000 );
#662 = VERTEX_POINT( '', #780 );
#663 = LINE( '', #781, #782 );
#664 = VERTEX_POINT( '', #783 );
#665 = CIRCLE( '', #784, 13.2500000000000 );
#666 = VERTEX_POINT( '', #785 );
#667 = LINE( '', #786, #787 );
#668 = VERTEX_POINT( '', #788 );
#669 = CIRCLE( '', #789, 13.2500000000000 );
#670 = VERTEX_POINT( '', #790 );
#671 = LINE( '', #791, #792 );
#672 = VERTEX_POINT( '', #793 );
#673 = CIRCLE( '', #794, 13.2500000000000 );
#674 = LINE( '', #795, #796 );
#675 = VERTEX_POINT( '', #797 );
#676 = LINE( '', #798, #799 );
#677 = VERTEX_POINT( '', #800 );
#678 = LINE( '', #801, #802 );
#679 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #803, #804, #805, #806 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 0.00561981142267320, 0.0112378626862343 ), .UNSPECIFIED. );
#680 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #807, #808, #809, #810 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 1.76015911213969E-006, 0.00561981142267320 ), .UNSPECIFIED. );
#681 = VERTEX_POINT( '', #811 );
#682 = CIRCLE( '', #812, 13.2500000000000 );
#683 = LINE( '', #813, #814 );
#684 = VERTEX_POINT( '', #815 );
#685 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #816, #817, #818, #819 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 0.00561981142267320, 0.0112378626862343 ), .UNSPECIFIED. );
#686 = CIRCLE( '', #820, 13.2500000000000 );
#687 = LINE( '', #821, #822 );
#688 = LINE( '', #823, #824 );
#689 = VERTEX_POINT( '', #825 );
#690 = LINE( '', #826, #827 );
#691 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #828, #829, #830, #831, #832, #833 ), .UNSPECIFIED., .F., .F., ( 4, 2, 4 ), ( 0.00824840858946310, 0.0110514227627248, 0.0138544369359864 ), .UNSPECIFIED. );
#692 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #834, #835, #836, #837 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 0.00262291226840792, 0.00824840858946310 ), .UNSPECIFIED. );
#693 = VERTEX_POINT( '', #838 );
#694 = CIRCLE( '', #839, 10.2000000000000 );
#695 = VERTEX_POINT( '', #840 );
#696 = CIRCLE( '', #841, 9.53000000000000 );
#697 = VERTEX_POINT( '', #842 );
#698 = CIRCLE( '', #843, 9.53000000000000 );
#699 = VERTEX_POINT( '', #844 );
#700 = CIRCLE( '', #845, 10.5800000000000 );
#701 = VERTEX_POINT( '', #846 );
#702 = CIRCLE( '', #847, 11.2500000000000 );
#703 = VERTEX_POINT( '', #848 );
#704 = CIRCLE( '', #849, 11.2500000000000 );
#705 = VERTEX_POINT( '', #850 );
#706 = CIRCLE( '', #851, 10.4500000000000 );
#707 = VERTEX_POINT( '', #852 );
#708 = CIRCLE( '', #853, 10.4500000000000 );
#709 = VERTEX_POINT( '', #854 );
#710 = CIRCLE( '', #855, 10.7914213562373 );
#711 = VERTEX_POINT( '', #856 );
#712 = CIRCLE( '', #857, 13.2500000000000 );
#713 = LINE( '', #858, #859 );
#714 = LINE( '', #860, #861 );
#715 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #862, #863, #864, #865 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 1.76015911213850E-006, 0.00561981142267320 ), .UNSPECIFIED. );
#716 = VERTEX_POINT( '', #866 );
#717 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #867, #868, #869, #870 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 0.00561981142267320, 0.0112378626862343 ), .UNSPECIFIED. );
#718 = VERTEX_POINT( '', #871 );
#719 = CIRCLE( '', #872, 13.2500000000000 );
#720 = B_SPLINE_CURVE_WITH_KNOTS( '', 3, ( #873, #874, #875, #876 ), .UNSPECIFIED., .F., .F., ( 4, 4 ), ( 1.76015911213969E-006, 0.00561981142267320 ), .UNSPECIFIED. );
#721 = LINE( '', #877, #878 );
#722 = LINE( '', #879, #880 );
#723 = CARTESIAN_POINT( '', ( 0.334936490538902, 7.58327921363273, 10.8653751140071 ) );
#724 = CARTESIAN_POINT( '', ( 0.334936490538902, 5.61805126356106, 12.0000000000000 ) );
#725 = AXIS2_PLACEMENT_3D( '', #881, #882, #883 );
#726 = CARTESIAN_POINT( '', ( 0.000000000000000, 10.3923048454133, 6.00000000000000 ) );
#727 = CARTESIAN_POINT( '', ( 0.334936490538904, 7.58327921363273, 10.8653751140071 ) );
#728 = CARTESIAN_POINT( '', ( 0.122178090888405, 8.51962109089291, 9.24358340933810 ) );
#729 = CARTESIAN_POINT( '', ( -3.13127752709356E-016, 9.45596296815309, 7.62179170466905 ) );
#730 = CARTESIAN_POINT( '', ( -2.32411282347799E-016, 10.3923048454133, 6.00000000000000 ) );
#731 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 12.0000000000000 ) );
#732 = AXIS2_PLACEMENT_3D( '', #884, #885, #886 );
#733 = CARTESIAN_POINT( '', ( 0.000000000000000, -1.39456248453524E-015, 12.0000000000000 ) );
#734 = CARTESIAN_POINT( '', ( -5.84169061427155E-017, 1.87598502753288, 12.0000000000000 ) );
#735 = CARTESIAN_POINT( '', ( 0.122516632887937, 3.74834733077178, 12.0000000000000 ) );
#736 = CARTESIAN_POINT( '', ( 0.334936490538904, 5.61805126356106, 12.0000000000000 ) );
#737 = CARTESIAN_POINT( '', ( 0.000000000000000, 10.3923048454133, -6.00000000000000 ) );
#738 = AXIS2_PLACEMENT_3D( '', #887, #888, #889 );
#739 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -12.0000000000000 ) );
#740 = AXIS2_PLACEMENT_3D( '', #890, #891, #892 );
#741 = CARTESIAN_POINT( '', ( 0.000000000000000, -10.3923048454133, -6.00000000000000 ) );
#742 = AXIS2_PLACEMENT_3D( '', #893, #894, #895 );
#743 = CARTESIAN_POINT( '', ( 0.000000000000000, -10.3923048454133, 6.00000000000000 ) );
#744 = AXIS2_PLACEMENT_3D( '', #896, #897, #898 );
#745 = AXIS2_PLACEMENT_3D( '', #899, #900, #901 );
#746 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -10.2000000000000 ) );
#747 = AXIS2_PLACEMENT_3D( '', #902, #903, #904 );
#748 = CARTESIAN_POINT( '', ( 3.00000000000000, -5.61805126356106, 12.0000000000000 ) );
#749 = CARTESIAN_POINT( '', ( 0.334936490538902, -5.61805126356106, 12.0000000000000 ) );
#750 = CARTESIAN_POINT( '', ( 9.50000000000000, -5.61805126356106, 12.0000000000000 ) );
#751 = VECTOR( '', #905, 1000.00000000000 );
#752 = CARTESIAN_POINT( '', ( 3.00000000000000, 5.61805126356106, 12.0000000000000 ) );
#753 = CARTESIAN_POINT( '', ( 3.00000000000000, 13.2500000000000, 12.0000000000000 ) );
#754 = VECTOR( '', #906, 1000.00000000000 );
#755 = CARTESIAN_POINT( '', ( 9.50000000000000, 5.61805126356106, 12.0000000000000 ) );
#756 = VECTOR( '', #907, 1000.00000000000 );
#757 = CARTESIAN_POINT( '', ( 0.334936490538904, -5.61805126356106, 12.0000000000000 ) );
#758 = CARTESIAN_POINT( '', ( 0.228542162991935, -4.68157623320914, 12.0000000000000 ) );
#759 = CARTESIAN_POINT( '', ( 0.143932139129822, -3.74324169737754, 12.0000000000000 ) );
#760 = CARTESIAN_POINT( '', ( 0.0296376444153509, -1.87036922912904, 12.0000000000000 ) );
#761 = CARTESIAN_POINT( '', ( 2.79520872593919E-017, -0.934746433184943, 12.0000000000000 ) );
#762 = CARTESIAN_POINT( '', ( -1.50056588956714E-032, -7.71896277150339E-016, 12.0000000000000 ) );
#763 = CARTESIAN_POINT( '', ( 0.334936490538902, -7.58327921363273, 10.8653751140071 ) );
#764 = CARTESIAN_POINT( '', ( 2.32411282347799E-016, -10.3923048454133, 6.00000000000000 ) );
#765 = CARTESIAN_POINT( '', ( 1.78600302106761E-016, -9.45596296815309, 7.62179170466905 ) );
#766 = CARTESIAN_POINT( '', ( 0.122178090888405, -8.51962109089291, 9.24358340933809 ) );
#767 = CARTESIAN_POINT( '', ( 0.334936490538904, -7.58327921363274, 10.8653751140071 ) );
#768 = AXIS2_PLACEMENT_3D( '', #908, #909, #910 );
#769 = CARTESIAN_POINT( '', ( 3.00000000000000, 0.000000000000000, -11.7484271247462 ) );
#770 = AXIS2_PLACEMENT_3D( '', #911, #912, #913 );
#771 = CARTESIAN_POINT( '', ( 3.00000000000000, 13.2013304771938, -1.13462488599287 ) );
#772 = CARTESIAN_POINT( '', ( 3.00000000000000, 13.2013304771938, 1.13462488599286 ) );
#773 = AXIS2_PLACEMENT_3D( '', #914, #915, #916 );
#774 = CARTESIAN_POINT( '', ( 3.00000000000000, 7.58327921363274, 10.8653751140071 ) );
#775 = CARTESIAN_POINT( '', ( 3.00000000000000, 13.7048048454133, 0.262581699928094 ) );
#776 = VECTOR( '', #917, 1000.00000000000 );
#777 = AXIS2_PLACEMENT_3D( '', #918, #919, #920 );
#778 = CARTESIAN_POINT( '', ( 3.00000000000000, -7.58327921363274, 10.8653751140071 ) );
#779 = AXIS2_PLACEMENT_3D( '', #921, #922, #923 );
#780 = CARTESIAN_POINT( '', ( 3.00000000000000, -13.2013304771938, 1.13462488599286 ) );
#781 = CARTESIAN_POINT( '', ( 3.00000000000000, -7.07980484541326, 11.7374183000719 ) );
#782 = VECTOR( '', #924, 1000.00000000000 );
#783 = CARTESIAN_POINT( '', ( 3.00000000000000, -13.2013304771938, -1.13462488599286 ) );
#784 = AXIS2_PLACEMENT_3D( '', #925, #926, #927 );
#785 = CARTESIAN_POINT( '', ( 3.00000000000000, -7.58327921363274, -10.8653751140071 ) );
#786 = CARTESIAN_POINT( '', ( 3.00000000000000, -7.07980484541326, -11.7374183000719 ) );
#787 = VECTOR( '', #928, 1000.00000000000 );
#788 = CARTESIAN_POINT( '', ( 3.00000000000000, -5.61805126356106, -12.0000000000000 ) );
#789 = AXIS2_PLACEMENT_3D( '', #929, #930, #931 );
#790 = CARTESIAN_POINT( '', ( 3.00000000000000, 5.61805126356106, -12.0000000000000 ) );
#791 = CARTESIAN_POINT( '', ( 3.00000000000000, 13.2500000000000, -12.0000000000000 ) );
#792 = VECTOR( '', #932, 1000.00000000000 );
#793 = CARTESIAN_POINT( '', ( 3.00000000000000, 7.58327921363274, -10.8653751140071 ) );
#794 = AXIS2_PLACEMENT_3D( '', #933, #934, #935 );
#795 = CARTESIAN_POINT( '', ( 3.00000000000000, 13.7048048454133, -0.262581699928094 ) );
#796 = VECTOR( '', #936, 1000.00000000000 );
#797 = CARTESIAN_POINT( '', ( 0.334936490538902, 13.2013304771938, -1.13462488599286 ) );
#798 = CARTESIAN_POINT( '', ( 9.50000000000000, 13.2013304771938, -1.13462488599286 ) );
#799 = VECTOR( '', #937, 1000.00000000000 );
#800 = CARTESIAN_POINT( '', ( 0.334936490538902, 7.58327921363273, -10.8653751140071 ) );
#801 = CARTESIAN_POINT( '', ( 9.50000000000000, 7.58327921363273, -10.8653751140071 ) );
#802 = VECTOR( '', #938, 1000.00000000000 );
#803 = CARTESIAN_POINT( '', ( 2.32411282347799E-016, 10.3923048454133, -6.00000000000000 ) );
#804 = CARTESIAN_POINT( '', ( 1.78600302106761E-016, 9.45596296815309, -7.62179170466905 ) );
#805 = CARTESIAN_POINT( '', ( 0.122178090888405, 8.51962109089291, -9.24358340933809 ) );
#806 = CARTESIAN_POINT( '', ( 0.334936490538904, 7.58327921363274, -10.8653751140071 ) );
#807 = CARTESIAN_POINT( '', ( 0.334936490538903, 13.2013304771938, -1.13462488599286 ) );
#808 = CARTESIAN_POINT( '', ( 0.122178090888405, 12.2649885999336, -2.75641659066190 ) );
#809 = CARTESIAN_POINT( '', ( 2.86222262588837E-016, 11.3286467226734, -4.37820829533095 ) );
#810 = CARTESIAN_POINT( '', ( 2.32411282347799E-016, 10.3923048454133, -6.00000000000000 ) );
#811 = CARTESIAN_POINT( '', ( 0.334936490538902, 5.61805126356106, -12.0000000000000 ) );
#812 = AXIS2_PLACEMENT_3D( '', #939, #940, #941 );
#813 = CARTESIAN_POINT( '', ( 9.50000000000000, 5.61805126356106, -12.0000000000000 ) );
#814 = VECTOR( '', #942, 1000.00000000000 );
#815 = CARTESIAN_POINT( '', ( 0.334936490538902, 13.2013304771938, 1.13462488599285 ) );
#816 = CARTESIAN_POINT( '', ( -2.32411282347799E-016, 10.3923048454133, 6.00000000000000 ) );
#817 = CARTESIAN_POINT( '', ( -1.51694811986242E-016, 11.3286467226734, 4.37820829533095 ) );
#818 = CARTESIAN_POINT( '', ( 0.122178090888406, 12.2649885999336, 2.75641659066190 ) );
#819 = CARTESIAN_POINT( '', ( 0.334936490538905, 13.2013304771938, 1.13462488599285 ) );
#820 = AXIS2_PLACEMENT_3D( '', #943, #944, #945 );
#821 = CARTESIAN_POINT( '', ( 9.50000000000000, 7.58327921363273, 10.8653751140071 ) );
#822 = VECTOR( '', #946, 1000.00000000000 );
#823 = CARTESIAN_POINT( '', ( 9.50000000000000, 13.2013304771938, 1.13462488599285 ) );
#824 = VECTOR( '', #947, 1000.00000000000 );
#825 = CARTESIAN_POINT( '', ( 0.334936490538902, -5.61805126356106, -12.0000000000000 ) );
#826 = CARTESIAN_POINT( '', ( 9.50000000000000, -5.61805126356106, -12.0000000000000 ) );
#827 = VECTOR( '', #948, 1000.00000000000 );
#828 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.21598892299945E-015, -12.0000000000000 ) );
#829 = CARTESIAN_POINT( '', ( -2.28698895758661E-017, -0.934746433184941, -12.0000000000000 ) );
#830 = CARTESIAN_POINT( '', ( 0.0296376444153510, -1.87036922912903, -12.0000000000000 ) );
#831 = CARTESIAN_POINT( '', ( 0.143932139129822, -3.74324169737754, -12.0000000000000 ) );
#832 = CARTESIAN_POINT( '', ( 0.228542162991934, -4.68157623320914, -12.0000000000000 ) );
#833 = CARTESIAN_POINT( '', ( 0.334936490538904, -5.61805126356106, -12.0000000000000 ) );
#834 = CARTESIAN_POINT( '', ( 0.334936490538904, 5.61805126356106, -12.0000000000000 ) );
#835 = CARTESIAN_POINT( '', ( 0.122516632887937, 3.74834733077178, -12.0000000000000 ) );
#836 = CARTESIAN_POINT( '', ( 5.09366282064544E-017, 1.87598502753288, -12.0000000000000 ) );
#837 = CARTESIAN_POINT( '', ( 0.000000000000000, 1.21598892299945E-015, -12.0000000000000 ) );
#838 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, -10.2000000000000 ) );
#839 = AXIS2_PLACEMENT_3D( '', #949, #950, #951 );
#840 = CARTESIAN_POINT( '', ( 8.83000000000000, 0.000000000000000, -9.53000000000000 ) );
#841 = AXIS2_PLACEMENT_3D( '', #952, #953, #954 );
#842 = CARTESIAN_POINT( '', ( 0.670000000000000, 0.000000000000000, -9.53000000000000 ) );
#843 = AXIS2_PLACEMENT_3D( '', #955, #956, #957 );
#844 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, -10.5800000000000 ) );
#845 = AXIS2_PLACEMENT_3D( '', #958, #959, #960 );
#846 = CARTESIAN_POINT( '', ( 8.83000000000000, 0.000000000000000, -11.2500000000000 ) );
#847 = AXIS2_PLACEMENT_3D( '', #961, #962, #963 );
#848 = CARTESIAN_POINT( '', ( 5.33000000000000, 0.000000000000000, -11.2500000000000 ) );
#849 = AXIS2_PLACEMENT_3D( '', #964, #965, #966 );
#850 = CARTESIAN_POINT( '', ( 4.53000000000000, 0.000000000000000, -10.4500000000000 ) );
#851 = AXIS2_PLACEMENT_3D( '', #967, #968, #969 );
#852 = CARTESIAN_POINT( '', ( 2.18441558772843, 0.000000000000000, -10.4500000000000 ) );
#853 = AXIS2_PLACEMENT_3D( '', #970, #971, #972 );
#854 = CARTESIAN_POINT( '', ( 2.04299423149112, 0.000000000000000, -10.7914213562373 ) );
#855 = AXIS2_PLACEMENT_3D( '', #973, #974, #975 );
#856 = CARTESIAN_POINT( '', ( 0.334936490538902, -7.58327921363273, -10.8653751140071 ) );
#857 = AXIS2_PLACEMENT_3D( '', #976, #977, #978 );
#858 = CARTESIAN_POINT( '', ( 9.50000000000000, -7.58327921363273, -10.8653751140071 ) );
#859 = VECTOR( '', #979, 1000.00000000000 );
#860 = CARTESIAN_POINT( '', ( 9.50000000000000, -7.58327921363273, 10.8653751140071 ) );
#861 = VECTOR( '', #980, 1000.00000000000 );
#862 = CARTESIAN_POINT( '', ( 0.334936490538904, -7.58327921363273, -10.8653751140071 ) );
#863 = CARTESIAN_POINT( '', ( 0.122178090888405, -8.51962109089291, -9.24358340933810 ) );
#864 = CARTESIAN_POINT( '', ( -3.13127752709356E-016, -9.45596296815309, -7.62179170466905 ) );
#865 = CARTESIAN_POINT( '', ( -2.32411282347799E-016, -10.3923048454133, -6.00000000000000 ) );
#866 = CARTESIAN_POINT( '', ( 0.334936490538902, -13.2013304771938, -1.13462488599285 ) );
#867 = CARTESIAN_POINT( '', ( -2.32411282347799E-016, -10.3923048454133, -6.00000000000000 ) );
#868 = CARTESIAN_POINT( '', ( -1.51694811986242E-016, -11.3286467226734, -4.37820829533095 ) );
#869 = CARTESIAN_POINT( '', ( 0.122178090888406, -12.2649885999336, -2.75641659066190 ) );
#870 = CARTESIAN_POINT( '', ( 0.334936490538905, -13.2013304771938, -1.13462488599285 ) );
#871 = CARTESIAN_POINT( '', ( 0.334936490538902, -13.2013304771938, 1.13462488599286 ) );
#872 = AXIS2_PLACEMENT_3D( '', #981, #982, #983 );
#873 = CARTESIAN_POINT( '', ( 0.334936490538903, -13.2013304771938, 1.13462488599286 ) );
#874 = CARTESIAN_POINT( '', ( 0.122178090888405, -12.2649885999336, 2.75641659066190 ) );
#875 = CARTESIAN_POINT( '', ( 2.86222262588837E-016, -11.3286467226734, 4.37820829533095 ) );
#876 = CARTESIAN_POINT( '', ( 2.32411282347799E-016, -10.3923048454133, 6.00000000000000 ) );
#877 = CARTESIAN_POINT( '', ( 9.50000000000000, -13.2013304771938, 1.13462488599286 ) );
#878 = VECTOR( '', #984, 1000.00000000000 );
#879 = CARTESIAN_POINT( '', ( 9.50000000000000, -13.2013304771938, -1.13462488599285 ) );
#880 = VECTOR( '', #985, 1000.00000000000 );
#881 = CARTESIAN_POINT( '', ( 0.334936490538904, 0.000000000000000, 0.000000000000000 ) );
#882 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#883 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#884 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#885 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#886 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#887 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#888 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#889 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#890 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#891 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#892 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#893 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#894 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#895 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#896 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#897 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#898 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#899 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#900 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#901 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#902 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#903 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#904 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#905 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#906 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#907 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#908 = CARTESIAN_POINT( '', ( 0.334936490538904, 0.000000000000000, 0.000000000000000 ) );
#909 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#910 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#911 = CARTESIAN_POINT( '', ( 3.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#912 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#913 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#914 = CARTESIAN_POINT( '', ( 3.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#915 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#916 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#917 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, 0.866025403784439 ) );
#918 = CARTESIAN_POINT( '', ( 3.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#919 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#920 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#921 = CARTESIAN_POINT( '', ( 3.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#922 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#923 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#924 = DIRECTION( '', ( 0.000000000000000, -0.500000000000000, -0.866025403784439 ) );
#925 = CARTESIAN_POINT( '', ( 3.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#926 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#927 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#928 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, -0.866025403784439 ) );
#929 = CARTESIAN_POINT( '', ( 3.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#930 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#931 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#932 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#933 = CARTESIAN_POINT( '', ( 3.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#934 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#935 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#936 = DIRECTION( '', ( 0.000000000000000, 0.500000000000000, 0.866025403784439 ) );
#937 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#938 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#939 = CARTESIAN_POINT( '', ( 0.334936490538904, 0.000000000000000, 0.000000000000000 ) );
#940 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#941 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#942 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#943 = CARTESIAN_POINT( '', ( 0.334936490538904, 0.000000000000000, 0.000000000000000 ) );
#944 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#945 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#946 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#947 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#948 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#949 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#950 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#951 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#952 = CARTESIAN_POINT( '', ( 8.83000000000000, 0.000000000000000, 0.000000000000000 ) );
#953 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#954 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#955 = CARTESIAN_POINT( '', ( 0.670000000000000, 0.000000000000000, 0.000000000000000 ) );
#956 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#957 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#958 = CARTESIAN_POINT( '', ( 9.50000000000000, 0.000000000000000, 0.000000000000000 ) );
#959 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#960 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#961 = CARTESIAN_POINT( '', ( 8.83000000000000, 0.000000000000000, 0.000000000000000 ) );
#962 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#963 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#964 = CARTESIAN_POINT( '', ( 5.33000000000000, 0.000000000000000, 0.000000000000000 ) );
#965 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#966 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#967 = CARTESIAN_POINT( '', ( 4.53000000000000, 0.000000000000000, 0.000000000000000 ) );
#968 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#969 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#970 = CARTESIAN_POINT( '', ( 2.18441558772843, 0.000000000000000, 0.000000000000000 ) );
#971 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#972 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#973 = CARTESIAN_POINT( '', ( 2.04299423149112, 0.000000000000000, 0.000000000000000 ) );
#974 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#975 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#976 = CARTESIAN_POINT( '', ( 0.334936490538904, 0.000000000000000, 0.000000000000000 ) );
#977 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#978 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#979 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#980 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#981 = CARTESIAN_POINT( '', ( 0.334936490538904, 0.000000000000000, 0.000000000000000 ) );
#982 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#983 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#984 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#985 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
ENDSEC;
END-ISO-10303-21;