ISO-10303-21;
HEADER;
FILE_DESCRIPTION( ( 'STEP AP203' ), ' ' );
FILE_NAME( 'p:/temp/worker_199/5064_1232/app_40_02016030110482692727838192d056f_000000_00_00_000000/format_0/Z51-0 Centring element.stp', '2016-03-01T09:48:28', ( '' ), ( '' ), ' ', '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( 2016, 1, 2 );
#59 = LOCAL_TIME( 10, 48, 28.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( 'Z51-0 Centring element', 'Z51-0 Centring element', 'PART-Z51-0 Centring element-DESC', ( #104 ) );
#67 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #65 );
#68 = SHAPE_REPRESENTATION( 'Z51-0 Centring element', ( #105, #106, #107 ), #108 );
#69 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #74 ) );
#70 = CALENDAR_DATE( 2016, 1, 2 );
#71 = LOCAL_TIME( 10, 48, 28.0000000000000, #109 );
#72 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #74, .NOT_KNOWN. );
#73 = PRODUCT_DEFINITION( '_Z51_0L-0 Centring element Z51-0 left', '_Z51_0L-0 Centring element Z51-0 left', #72, #1 );
#74 = PRODUCT( '_Z51_0L-0 Centring element Z51-0 left', '_Z51_0L-0 Centring element Z51-0 left', 'PART-_Z51_0L-0 Centring element Z51-0 left-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( '_Z51_0L-0 Centring element Z51-0 left', ( #105 ), #108 );
#79 = ADVANCED_BREP_SHAPE_REPRESENTATION( '_Z51_0L-0 Centring element Z51-0 left', ( #115 ), #51 );
#80 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #85 ) );
#81 = CALENDAR_DATE( 2016, 1, 2 );
#82 = LOCAL_TIME( 10, 48, 28.0000000000000, #116 );
#83 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #85, .NOT_KNOWN. );
#84 = PRODUCT_DEFINITION( '_Z51_0R-0 Centring element Z51-0 right', '_Z51_0R-0 Centring element Z51-0 right', #83, #1 );
#85 = PRODUCT( '_Z51_0R-0 Centring element Z51-0 right', '_Z51_0R-0 Centring element Z51-0 right', 'PART-_Z51_0R-0 Centring element Z51-0 right-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( '_Z51_0R-0 Centring element Z51-0 right', ( #105 ), #108 );
#90 = ADVANCED_BREP_SHAPE_REPRESENTATION( '_Z51_0R-0 Centring element Z51-0 right', ( #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', '_Z51_0L-0 Centring element Z51-0 left', '_Z51_0L-0 Centring element Z51-0 left', #65, #73, $ );
#115 = MANIFOLD_SOLID_BREP( '_Z51_0L-0 Centring element Z51-0 left', #153 );
#116 = COORDINATED_UNIVERSAL_TIME_OFFSET( 1, 0, .AHEAD. );
#119 = ITEM_DEFINED_TRANSFORMATION( '', '', #105, #107 );
#121 = NEXT_ASSEMBLY_USAGE_OCCURRENCE( 'NAUO2', '_Z51_0R-0 Centring element Z51-0 right', '_Z51_0R-0 Centring element Z51-0 right', #65, #84, $ );
#122 = MANIFOLD_SOLID_BREP( '_Z51_0R-0 Centring element Z51-0 right', #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( '', ( 2.32462766312588E-031, 41.5000000000000, -1.89820253867840E-015 ) );
#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 ) );
#154 = CLOSED_SHELL( '', ( #184, #185, #186, #187, #188, #189, #190, #191, #192, #193, #194, #195, #196, #197, #198 ) );
#155 =  ( LENGTH_UNIT(  )NAMED_UNIT( #128 )SI_UNIT( .MILLI., .METRE. ) );
#158 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #200 );
#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( '', ( #201, #202 ), #203, .F. );
#170 = ADVANCED_FACE( '', ( #204, #205 ), #206, .T. );
#171 = ADVANCED_FACE( '', ( #207, #208 ), #209, .F. );
#172 = ADVANCED_FACE( '', ( #210 ), #211, .T. );
#173 = ADVANCED_FACE( '', ( #212 ), #213, .F. );
#174 = ADVANCED_FACE( '', ( #214 ), #215, .F. );
#175 = ADVANCED_FACE( '', ( #216, #217 ), #218, .F. );
#176 = ADVANCED_FACE( '', ( #219 ), #220, .F. );
#177 = ADVANCED_FACE( '', ( #221 ), #222, .F. );
#178 = ADVANCED_FACE( '', ( #223 ), #224, .T. );
#179 = ADVANCED_FACE( '', ( #225 ), #226, .T. );
#180 = ADVANCED_FACE( '', ( #227 ), #228, .T. );
#181 = ADVANCED_FACE( '', ( #229 ), #230, .T. );
#182 = ADVANCED_FACE( '', ( #231, #232 ), #233, .T. );
#183 = ADVANCED_FACE( '', ( #234 ), #235, .T. );
#184 = ADVANCED_FACE( '', ( #236, #237 ), #238, .F. );
#185 = ADVANCED_FACE( '', ( #239 ), #240, .T. );
#186 = ADVANCED_FACE( '', ( #241, #242 ), #243, .T. );
#187 = ADVANCED_FACE( '', ( #244, #245 ), #246, .T. );
#188 = ADVANCED_FACE( '', ( #247 ), #248, .T. );
#189 = ADVANCED_FACE( '', ( #249, #250 ), #251, .F. );
#190 = ADVANCED_FACE( '', ( #252 ), #253, .F. );
#191 = ADVANCED_FACE( '', ( #254 ), #255, .T. );
#192 = ADVANCED_FACE( '', ( #256 ), #257, .F. );
#193 = ADVANCED_FACE( '', ( #258 ), #259, .F. );
#194 = ADVANCED_FACE( '', ( #260 ), #261, .F. );
#195 = ADVANCED_FACE( '', ( #262 ), #263, .T. );
#196 = ADVANCED_FACE( '', ( #264 ), #265, .T. );
#197 = ADVANCED_FACE( '', ( #266 ), #267, .T. );
#198 = ADVANCED_FACE( '', ( #268, #269 ), #270, .F. );
#200 =  ( LENGTH_UNIT(  )NAMED_UNIT( #161 )SI_UNIT( .MILLI., .METRE. ) );
#201 = FACE_OUTER_BOUND( '', #272, .T. );
#202 = FACE_OUTER_BOUND( '', #273, .T. );
#203 = CYLINDRICAL_SURFACE( '', #274, 5.50000000000000 );
#204 = FACE_OUTER_BOUND( '', #275, .T. );
#205 = FACE_BOUND( '', #276, .T. );
#206 = PLANE( '', #277 );
#207 = FACE_OUTER_BOUND( '', #278, .T. );
#208 = FACE_OUTER_BOUND( '', #279, .T. );
#209 = CYLINDRICAL_SURFACE( '', #280, 3.25000000000000 );
#210 = FACE_OUTER_BOUND( '', #281, .T. );
#211 = CYLINDRICAL_SURFACE( '', #282, 7.99999999999999 );
#212 = FACE_OUTER_BOUND( '', #283, .T. );
#213 = PLANE( '', #284 );
#214 = FACE_OUTER_BOUND( '', #285, .T. );
#215 = PLANE( '', #286 );
#216 = FACE_BOUND( '', #287, .T. );
#217 = FACE_OUTER_BOUND( '', #288, .T. );
#218 = PLANE( '', #289 );
#219 = FACE_OUTER_BOUND( '', #290, .T. );
#220 = PLANE( '', #291 );
#221 = FACE_OUTER_BOUND( '', #292, .T. );
#222 = PLANE( '', #293 );
#223 = FACE_OUTER_BOUND( '', #294, .T. );
#224 = CYLINDRICAL_SURFACE( '', #295, 7.99999999999999 );
#225 = FACE_OUTER_BOUND( '', #296, .T. );
#226 = PLANE( '', #297 );
#227 = FACE_OUTER_BOUND( '', #298, .T. );
#228 = PLANE( '', #299 );
#229 = FACE_OUTER_BOUND( '', #300, .T. );
#230 = PLANE( '', #301 );
#231 = FACE_BOUND( '', #302, .T. );
#232 = FACE_OUTER_BOUND( '', #303, .T. );
#233 = PLANE( '', #304 );
#234 = FACE_OUTER_BOUND( '', #305, .T. );
#235 = PLANE( '', #306 );
#236 = FACE_OUTER_BOUND( '', #307, .T. );
#237 = FACE_OUTER_BOUND( '', #308, .T. );
#238 = CYLINDRICAL_SURFACE( '', #309, 5.50000000000000 );
#239 = FACE_OUTER_BOUND( '', #310, .T. );
#240 = PLANE( '', #311 );
#241 = FACE_OUTER_BOUND( '', #312, .T. );
#242 = FACE_BOUND( '', #313, .T. );
#243 = PLANE( '', #314 );
#244 = FACE_BOUND( '', #315, .T. );
#245 = FACE_OUTER_BOUND( '', #316, .T. );
#246 = PLANE( '', #317 );
#247 = FACE_OUTER_BOUND( '', #318, .T. );
#248 = CYLINDRICAL_SURFACE( '', #319, 8.00000000000000 );
#249 = FACE_BOUND( '', #320, .T. );
#250 = FACE_OUTER_BOUND( '', #321, .T. );
#251 = PLANE( '', #322 );
#252 = FACE_OUTER_BOUND( '', #323, .T. );
#253 = PLANE( '', #324 );
#254 = FACE_OUTER_BOUND( '', #325, .T. );
#255 = CYLINDRICAL_SURFACE( '', #326, 8.00000000000000 );
#256 = FACE_OUTER_BOUND( '', #327, .T. );
#257 = PLANE( '', #328 );
#258 = FACE_OUTER_BOUND( '', #329, .T. );
#259 = PLANE( '', #330 );
#260 = FACE_OUTER_BOUND( '', #331, .T. );
#261 = PLANE( '', #332 );
#262 = FACE_OUTER_BOUND( '', #333, .T. );
#263 = PLANE( '', #334 );
#264 = FACE_OUTER_BOUND( '', #335, .T. );
#265 = PLANE( '', #336 );
#266 = FACE_OUTER_BOUND( '', #337, .T. );
#267 = PLANE( '', #338 );
#268 = FACE_OUTER_BOUND( '', #339, .T. );
#269 = FACE_OUTER_BOUND( '', #340, .T. );
#270 = CYLINDRICAL_SURFACE( '', #341, 3.25000000000000 );
#272 = EDGE_LOOP( '', ( #342 ) );
#273 = EDGE_LOOP( '', ( #343 ) );
#274 = AXIS2_PLACEMENT_3D( '', #344, #345, #346 );
#275 = EDGE_LOOP( '', ( #347 ) );
#276 = EDGE_LOOP( '', ( #348 ) );
#277 = AXIS2_PLACEMENT_3D( '', #349, #350, #351 );
#278 = EDGE_LOOP( '', ( #352 ) );
#279 = EDGE_LOOP( '', ( #353 ) );
#280 = AXIS2_PLACEMENT_3D( '', #354, #355, #356 );
#281 = EDGE_LOOP( '', ( #357, #358, #359, #360, #361, #362 ) );
#282 = AXIS2_PLACEMENT_3D( '', #363, #364, #365 );
#283 = EDGE_LOOP( '', ( #366, #367, #368, #369 ) );
#284 = AXIS2_PLACEMENT_3D( '', #370, #371, #372 );
#285 = EDGE_LOOP( '', ( #373, #374, #375, #376 ) );
#286 = AXIS2_PLACEMENT_3D( '', #377, #378, #379 );
#287 = EDGE_LOOP( '', ( #380 ) );
#288 = EDGE_LOOP( '', ( #381, #382, #383, #384, #385, #386 ) );
#289 = AXIS2_PLACEMENT_3D( '', #387, #388, #389 );
#290 = EDGE_LOOP( '', ( #390, #391, #392, #393 ) );
#291 = AXIS2_PLACEMENT_3D( '', #394, #395, #396 );
#292 = EDGE_LOOP( '', ( #397, #398, #399, #400, #401, #402, #403, #404 ) );
#293 = AXIS2_PLACEMENT_3D( '', #405, #406, #407 );
#294 = EDGE_LOOP( '', ( #408, #409, #410, #411, #412, #413 ) );
#295 = AXIS2_PLACEMENT_3D( '', #414, #415, #416 );
#296 = EDGE_LOOP( '', ( #417, #418, #419, #420 ) );
#297 = AXIS2_PLACEMENT_3D( '', #421, #422, #423 );
#298 = EDGE_LOOP( '', ( #424, #425, #426, #427 ) );
#299 = AXIS2_PLACEMENT_3D( '', #428, #429, #430 );
#300 = EDGE_LOOP( '', ( #431, #432, #433, #434 ) );
#301 = AXIS2_PLACEMENT_3D( '', #435, #436, #437 );
#302 = EDGE_LOOP( '', ( #438 ) );
#303 = EDGE_LOOP( '', ( #439, #440, #441, #442, #443, #444 ) );
#304 = AXIS2_PLACEMENT_3D( '', #445, #446, #447 );
#305 = EDGE_LOOP( '', ( #448, #449, #450, #451 ) );
#306 = AXIS2_PLACEMENT_3D( '', #452, #453, #454 );
#307 = EDGE_LOOP( '', ( #455 ) );
#308 = EDGE_LOOP( '', ( #456 ) );
#309 = AXIS2_PLACEMENT_3D( '', #457, #458, #459 );
#310 = EDGE_LOOP( '', ( #460, #461, #462, #463 ) );
#311 = AXIS2_PLACEMENT_3D( '', #464, #465, #466 );
#312 = EDGE_LOOP( '', ( #467 ) );
#313 = EDGE_LOOP( '', ( #468 ) );
#314 = AXIS2_PLACEMENT_3D( '', #469, #470, #471 );
#315 = EDGE_LOOP( '', ( #472 ) );
#316 = EDGE_LOOP( '', ( #473, #474, #475, #476 ) );
#317 = AXIS2_PLACEMENT_3D( '', #477, #478, #479 );
#318 = EDGE_LOOP( '', ( #480, #481, #482, #483 ) );
#319 = AXIS2_PLACEMENT_3D( '', #484, #485, #486 );
#320 = EDGE_LOOP( '', ( #487 ) );
#321 = EDGE_LOOP( '', ( #488, #489, #490, #491, #492, #493 ) );
#322 = AXIS2_PLACEMENT_3D( '', #494, #495, #496 );
#323 = EDGE_LOOP( '', ( #497, #498, #499, #500 ) );
#324 = AXIS2_PLACEMENT_3D( '', #501, #502, #503 );
#325 = EDGE_LOOP( '', ( #504, #505, #506, #507 ) );
#326 = AXIS2_PLACEMENT_3D( '', #508, #509, #510 );
#327 = EDGE_LOOP( '', ( #511, #512, #513, #514 ) );
#328 = AXIS2_PLACEMENT_3D( '', #515, #516, #517 );
#329 = EDGE_LOOP( '', ( #518, #519, #520, #521 ) );
#330 = AXIS2_PLACEMENT_3D( '', #522, #523, #524 );
#331 = EDGE_LOOP( '', ( #525, #526, #527, #528, #529, #530, #531, #532 ) );
#332 = AXIS2_PLACEMENT_3D( '', #533, #534, #535 );
#333 = EDGE_LOOP( '', ( #536, #537, #538, #539 ) );
#334 = AXIS2_PLACEMENT_3D( '', #540, #541, #542 );
#335 = EDGE_LOOP( '', ( #543, #544, #545, #546 ) );
#336 = AXIS2_PLACEMENT_3D( '', #547, #548, #549 );
#337 = EDGE_LOOP( '', ( #550, #551, #552, #553, #554, #555, #556, #557, #558, #559 ) );
#338 = AXIS2_PLACEMENT_3D( '', #560, #561, #562 );
#339 = EDGE_LOOP( '', ( #563 ) );
#340 = EDGE_LOOP( '', ( #564 ) );
#341 = AXIS2_PLACEMENT_3D( '', #565, #566, #567 );
#342 = ORIENTED_EDGE( '', *, *, #568, .F. );
#343 = ORIENTED_EDGE( '', *, *, #569, .F. );
#344 = CARTESIAN_POINT( '', ( -10.0000000000000, 12.2000000000000, 0.000000000000000 ) );
#345 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#346 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#347 = ORIENTED_EDGE( '', *, *, #569, .T. );
#348 = ORIENTED_EDGE( '', *, *, #570, .F. );
#349 = CARTESIAN_POINT( '', ( -13.2500000000000, 4.80000000000000, 0.000000000000000 ) );
#350 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#351 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#352 = ORIENTED_EDGE( '', *, *, #570, .T. );
#353 = ORIENTED_EDGE( '', *, *, #571, .T. );
#354 = CARTESIAN_POINT( '', ( -10.0000000000000, 12.2000000000000, 0.000000000000000 ) );
#355 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#356 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#357 = ORIENTED_EDGE( '', *, *, #572, .F. );
#358 = ORIENTED_EDGE( '', *, *, #573, .F. );
#359 = ORIENTED_EDGE( '', *, *, #574, .F. );
#360 = ORIENTED_EDGE( '', *, *, #575, .T. );
#361 = ORIENTED_EDGE( '', *, *, #576, .T. );
#362 = ORIENTED_EDGE( '', *, *, #577, .F. );
#363 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, -7.00000000000001 ) );
#364 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#365 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#366 = ORIENTED_EDGE( '', *, *, #578, .F. );
#367 = ORIENTED_EDGE( '', *, *, #577, .T. );
#368 = ORIENTED_EDGE( '', *, *, #579, .T. );
#369 = ORIENTED_EDGE( '', *, *, #580, .F. );
#370 = CARTESIAN_POINT( '', ( -18.0000000000000, 26.0000000000000, -7.00000000000000 ) );
#371 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#372 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#373 = ORIENTED_EDGE( '', *, *, #581, .T. );
#374 = ORIENTED_EDGE( '', *, *, #575, .F. );
#375 = ORIENTED_EDGE( '', *, *, #582, .F. );
#376 = ORIENTED_EDGE( '', *, *, #583, .T. );
#377 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, -15.0000000000000 ) );
#378 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#379 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#380 = ORIENTED_EDGE( '', *, *, #571, .F. );
#381 = ORIENTED_EDGE( '', *, *, #576, .F. );
#382 = ORIENTED_EDGE( '', *, *, #581, .F. );
#383 = ORIENTED_EDGE( '', *, *, #584, .F. );
#384 = ORIENTED_EDGE( '', *, *, #585, .F. );
#385 = ORIENTED_EDGE( '', *, *, #586, .F. );
#386 = ORIENTED_EDGE( '', *, *, #579, .F. );
#387 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, -7.00000000000001 ) );
#388 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#389 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#390 = ORIENTED_EDGE( '', *, *, #585, .T. );
#391 = ORIENTED_EDGE( '', *, *, #587, .F. );
#392 = ORIENTED_EDGE( '', *, *, #588, .F. );
#393 = ORIENTED_EDGE( '', *, *, #589, .T. );
#394 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, 15.0000000000000 ) );
#395 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#396 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#397 = ORIENTED_EDGE( '', *, *, #590, .F. );
#398 = ORIENTED_EDGE( '', *, *, #591, .F. );
#399 = ORIENTED_EDGE( '', *, *, #587, .T. );
#400 = ORIENTED_EDGE( '', *, *, #584, .T. );
#401 = ORIENTED_EDGE( '', *, *, #583, .F. );
#402 = ORIENTED_EDGE( '', *, *, #592, .F. );
#403 = ORIENTED_EDGE( '', *, *, #593, .F. );
#404 = ORIENTED_EDGE( '', *, *, #594, .F. );
#405 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, 15.0000000000000 ) );
#406 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#407 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#408 = ORIENTED_EDGE( '', *, *, #595, .F. );
#409 = ORIENTED_EDGE( '', *, *, #596, .F. );
#410 = ORIENTED_EDGE( '', *, *, #580, .T. );
#411 = ORIENTED_EDGE( '', *, *, #586, .T. );
#412 = ORIENTED_EDGE( '', *, *, #589, .F. );
#413 = ORIENTED_EDGE( '', *, *, #597, .F. );
#414 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, 7.00000000000000 ) );
#415 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#416 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#417 = ORIENTED_EDGE( '', *, *, #591, .T. );
#418 = ORIENTED_EDGE( '', *, *, #598, .T. );
#419 = ORIENTED_EDGE( '', *, *, #597, .T. );
#420 = ORIENTED_EDGE( '', *, *, #588, .T. );
#421 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, -7.00000000000001 ) );
#422 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#423 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#424 = ORIENTED_EDGE( '', *, *, #574, .T. );
#425 = ORIENTED_EDGE( '', *, *, #599, .T. );
#426 = ORIENTED_EDGE( '', *, *, #592, .T. );
#427 = ORIENTED_EDGE( '', *, *, #582, .T. );
#428 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, -7.00000000000001 ) );
#429 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#430 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#431 = ORIENTED_EDGE( '', *, *, #595, .T. );
#432 = ORIENTED_EDGE( '', *, *, #598, .F. );
#433 = ORIENTED_EDGE( '', *, *, #590, .T. );
#434 = ORIENTED_EDGE( '', *, *, #600, .T. );
#435 = CARTESIAN_POINT( '', ( 0.999999999999997, 27.0000000000000, 8.00000000000000 ) );
#436 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#437 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#438 = ORIENTED_EDGE( '', *, *, #568, .T. );
#439 = ORIENTED_EDGE( '', *, *, #572, .T. );
#440 = ORIENTED_EDGE( '', *, *, #578, .T. );
#441 = ORIENTED_EDGE( '', *, *, #596, .T. );
#442 = ORIENTED_EDGE( '', *, *, #600, .F. );
#443 = ORIENTED_EDGE( '', *, *, #594, .T. );
#444 = ORIENTED_EDGE( '', *, *, #601, .T. );
#445 = CARTESIAN_POINT( '', ( 0.999999999999997, 11.2000000000000, 8.00000000000000 ) );
#446 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#447 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#448 = ORIENTED_EDGE( '', *, *, #573, .T. );
#449 = ORIENTED_EDGE( '', *, *, #601, .F. );
#450 = ORIENTED_EDGE( '', *, *, #593, .T. );
#451 = ORIENTED_EDGE( '', *, *, #599, .F. );
#452 = CARTESIAN_POINT( '', ( 0.999999999999997, 11.2000000000000, -8.00000000000000 ) );
#453 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#454 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#455 = ORIENTED_EDGE( '', *, *, #602, .F. );
#456 = ORIENTED_EDGE( '', *, *, #603, .F. );
#457 = CARTESIAN_POINT( '', ( 10.0000000000000, 31.0000000000000, 0.000000000000000 ) );
#458 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#459 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#460 = ORIENTED_EDGE( '', *, *, #604, .F. );
#461 = ORIENTED_EDGE( '', *, *, #605, .F. );
#462 = ORIENTED_EDGE( '', *, *, #606, .T. );
#463 = ORIENTED_EDGE( '', *, *, #607, .F. );
#464 = CARTESIAN_POINT( '', ( 17.0000000000000, 31.0000000000000, 9.00000000000000 ) );
#465 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#466 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#467 = ORIENTED_EDGE( '', *, *, #603, .T. );
#468 = ORIENTED_EDGE( '', *, *, #608, .F. );
#469 = CARTESIAN_POINT( '', ( 6.75000000000000, 22.6000000000000, 0.000000000000000 ) );
#470 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#471 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#472 = ORIENTED_EDGE( '', *, *, #602, .T. );
#473 = ORIENTED_EDGE( '', *, *, #609, .T. );
#474 = ORIENTED_EDGE( '', *, *, #604, .T. );
#475 = ORIENTED_EDGE( '', *, *, #610, .T. );
#476 = ORIENTED_EDGE( '', *, *, #611, .T. );
#477 = CARTESIAN_POINT( '', ( 10.0000000000000, 30.0000000000000, 7.00000000000000 ) );
#478 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#479 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#480 = ORIENTED_EDGE( '', *, *, #612, .F. );
#481 = ORIENTED_EDGE( '', *, *, #613, .F. );
#482 = ORIENTED_EDGE( '', *, *, #614, .T. );
#483 = ORIENTED_EDGE( '', *, *, #615, .T. );
#484 = CARTESIAN_POINT( '', ( 10.0000000000000, 30.0000000000000, 7.00000000000000 ) );
#485 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#486 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#487 = ORIENTED_EDGE( '', *, *, #616, .F. );
#488 = ORIENTED_EDGE( '', *, *, #617, .F. );
#489 = ORIENTED_EDGE( '', *, *, #618, .F. );
#490 = ORIENTED_EDGE( '', *, *, #619, .F. );
#491 = ORIENTED_EDGE( '', *, *, #620, .F. );
#492 = ORIENTED_EDGE( '', *, *, #615, .F. );
#493 = ORIENTED_EDGE( '', *, *, #621, .F. );
#494 = CARTESIAN_POINT( '', ( 10.0000000000000, 0.000000000000000, 7.00000000000000 ) );
#495 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#496 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#497 = ORIENTED_EDGE( '', *, *, #622, .F. );
#498 = ORIENTED_EDGE( '', *, *, #623, .T. );
#499 = ORIENTED_EDGE( '', *, *, #618, .T. );
#500 = ORIENTED_EDGE( '', *, *, #624, .F. );
#501 = CARTESIAN_POINT( '', ( 10.0000000000000, 30.0000000000000, -15.0000000000000 ) );
#502 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#503 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#504 = ORIENTED_EDGE( '', *, *, #625, .F. );
#505 = ORIENTED_EDGE( '', *, *, #626, .T. );
#506 = ORIENTED_EDGE( '', *, *, #619, .T. );
#507 = ORIENTED_EDGE( '', *, *, #623, .F. );
#508 = CARTESIAN_POINT( '', ( 10.0000000000000, 30.0000000000000, -7.00000000000000 ) );
#509 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#510 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#511 = ORIENTED_EDGE( '', *, *, #627, .F. );
#512 = ORIENTED_EDGE( '', *, *, #612, .T. );
#513 = ORIENTED_EDGE( '', *, *, #620, .T. );
#514 = ORIENTED_EDGE( '', *, *, #626, .F. );
#515 = CARTESIAN_POINT( '', ( 18.0000000000000, 30.0000000000000, 7.00000000000000 ) );
#516 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#517 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#518 = ORIENTED_EDGE( '', *, *, #628, .F. );
#519 = ORIENTED_EDGE( '', *, *, #629, .T. );
#520 = ORIENTED_EDGE( '', *, *, #621, .T. );
#521 = ORIENTED_EDGE( '', *, *, #614, .F. );
#522 = CARTESIAN_POINT( '', ( 0.000000000000000, 30.0000000000000, 15.0000000000000 ) );
#523 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#524 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#525 = ORIENTED_EDGE( '', *, *, #630, .F. );
#526 = ORIENTED_EDGE( '', *, *, #631, .F. );
#527 = ORIENTED_EDGE( '', *, *, #611, .F. );
#528 = ORIENTED_EDGE( '', *, *, #632, .F. );
#529 = ORIENTED_EDGE( '', *, *, #633, .F. );
#530 = ORIENTED_EDGE( '', *, *, #624, .T. );
#531 = ORIENTED_EDGE( '', *, *, #617, .T. );
#532 = ORIENTED_EDGE( '', *, *, #629, .F. );
#533 = CARTESIAN_POINT( '', ( 0.000000000000000, 30.0000000000000, -15.0000000000000 ) );
#534 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#535 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#536 = ORIENTED_EDGE( '', *, *, #634, .F. );
#537 = ORIENTED_EDGE( '', *, *, #605, .T. );
#538 = ORIENTED_EDGE( '', *, *, #609, .F. );
#539 = ORIENTED_EDGE( '', *, *, #631, .T. );
#540 = CARTESIAN_POINT( '', ( 19.0000000000000, 15.5000000000000, 8.00000000000000 ) );
#541 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#542 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#543 = ORIENTED_EDGE( '', *, *, #610, .F. );
#544 = ORIENTED_EDGE( '', *, *, #607, .T. );
#545 = ORIENTED_EDGE( '', *, *, #635, .T. );
#546 = ORIENTED_EDGE( '', *, *, #632, .T. );
#547 = CARTESIAN_POINT( '', ( 19.0000000000000, 31.0000000000000, -8.00000000000000 ) );
#548 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#549 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#550 = ORIENTED_EDGE( '', *, *, #635, .F. );
#551 = ORIENTED_EDGE( '', *, *, #606, .F. );
#552 = ORIENTED_EDGE( '', *, *, #634, .T. );
#553 = ORIENTED_EDGE( '', *, *, #630, .T. );
#554 = ORIENTED_EDGE( '', *, *, #628, .T. );
#555 = ORIENTED_EDGE( '', *, *, #613, .T. );
#556 = ORIENTED_EDGE( '', *, *, #627, .T. );
#557 = ORIENTED_EDGE( '', *, *, #625, .T. );
#558 = ORIENTED_EDGE( '', *, *, #622, .T. );
#559 = ORIENTED_EDGE( '', *, *, #633, .T. );
#560 = CARTESIAN_POINT( '', ( 19.0000000000000, 15.5000000000000, -8.00000000000000 ) );
#561 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#562 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#563 = ORIENTED_EDGE( '', *, *, #608, .T. );
#564 = ORIENTED_EDGE( '', *, *, #616, .T. );
#565 = CARTESIAN_POINT( '', ( 10.0000000000000, 31.0000000000000, 0.000000000000000 ) );
#566 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#567 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#568 = EDGE_CURVE( '', #636, #636, #637, .F. );
#569 = EDGE_CURVE( '', #638, #638, #639, .T. );
#570 = EDGE_CURVE( '', #640, #640, #641, .T. );
#571 = EDGE_CURVE( '', #642, #642, #643, .F. );
#572 = EDGE_CURVE( '', #644, #645, #646, .T. );
#573 = EDGE_CURVE( '', #647, #644, #648, .T. );
#574 = EDGE_CURVE( '', #649, #647, #650, .T. );
#575 = EDGE_CURVE( '', #649, #651, #652, .T. );
#576 = EDGE_CURVE( '', #651, #653, #654, .T. );
#577 = EDGE_CURVE( '', #645, #653, #655, .T. );
#578 = EDGE_CURVE( '', #645, #656, #657, .T. );
#579 = EDGE_CURVE( '', #653, #658, #659, .T. );
#580 = EDGE_CURVE( '', #656, #658, #660, .T. );
#581 = EDGE_CURVE( '', #661, #651, #662, .T. );
#582 = EDGE_CURVE( '', #663, #649, #664, .T. );
#583 = EDGE_CURVE( '', #663, #661, #665, .T. );
#584 = EDGE_CURVE( '', #666, #661, #667, .T. );
#585 = EDGE_CURVE( '', #668, #666, #669, .T. );
#586 = EDGE_CURVE( '', #658, #668, #670, .T. );
#587 = EDGE_CURVE( '', #671, #666, #672, .T. );
#588 = EDGE_CURVE( '', #673, #671, #674, .T. );
#589 = EDGE_CURVE( '', #673, #668, #675, .T. );
#590 = EDGE_CURVE( '', #676, #677, #678, .T. );
#591 = EDGE_CURVE( '', #671, #676, #679, .T. );
#592 = EDGE_CURVE( '', #680, #663, #681, .T. );
#593 = EDGE_CURVE( '', #682, #680, #683, .T. );
#594 = EDGE_CURVE( '', #677, #682, #684, .T. );
#595 = EDGE_CURVE( '', #685, #686, #687, .F. );
#596 = EDGE_CURVE( '', #656, #685, #688, .T. );
#597 = EDGE_CURVE( '', #686, #673, #689, .T. );
#598 = EDGE_CURVE( '', #676, #686, #690, .T. );
#599 = EDGE_CURVE( '', #647, #680, #691, .T. );
#600 = EDGE_CURVE( '', #677, #685, #692, .T. );
#601 = EDGE_CURVE( '', #682, #644, #693, .T. );
#602 = EDGE_CURVE( '', #694, #694, #695, .F. );
#603 = EDGE_CURVE( '', #696, #696, #697, .T. );
#604 = EDGE_CURVE( '', #698, #699, #700, .T. );
#605 = EDGE_CURVE( '', #701, #698, #702, .T. );
#606 = EDGE_CURVE( '', #701, #703, #704, .T. );
#607 = EDGE_CURVE( '', #699, #703, #705, .T. );
#608 = EDGE_CURVE( '', #706, #706, #707, .T. );
#609 = EDGE_CURVE( '', #708, #698, #709, .T. );
#610 = EDGE_CURVE( '', #699, #710, #711, .T. );
#611 = EDGE_CURVE( '', #710, #708, #712, .T. );
#612 = EDGE_CURVE( '', #713, #714, #715, .T. );
#613 = EDGE_CURVE( '', #716, #713, #717, .T. );
#614 = EDGE_CURVE( '', #716, #718, #719, .T. );
#615 = EDGE_CURVE( '', #718, #714, #720, .T. );
#616 = EDGE_CURVE( '', #721, #721, #722, .F. );
#617 = EDGE_CURVE( '', #723, #724, #725, .T. );
#618 = EDGE_CURVE( '', #726, #723, #727, .T. );
#619 = EDGE_CURVE( '', #728, #726, #729, .T. );
#620 = EDGE_CURVE( '', #714, #728, #730, .T. );
#621 = EDGE_CURVE( '', #724, #718, #731, .T. );
#622 = EDGE_CURVE( '', #732, #733, #734, .T. );
#623 = EDGE_CURVE( '', #732, #726, #735, .T. );
#624 = EDGE_CURVE( '', #733, #723, #736, .T. );
#625 = EDGE_CURVE( '', #737, #732, #738, .T. );
#626 = EDGE_CURVE( '', #737, #728, #739, .T. );
#627 = EDGE_CURVE( '', #713, #737, #740, .T. );
#628 = EDGE_CURVE( '', #741, #716, #742, .T. );
#629 = EDGE_CURVE( '', #741, #724, #743, .T. );
#630 = EDGE_CURVE( '', #744, #741, #745, .T. );
#631 = EDGE_CURVE( '', #708, #744, #746, .T. );
#632 = EDGE_CURVE( '', #747, #710, #748, .T. );
#633 = EDGE_CURVE( '', #733, #747, #749, .T. );
#634 = EDGE_CURVE( '', #701, #744, #750, .T. );
#635 = EDGE_CURVE( '', #703, #747, #751, .T. );
#636 = VERTEX_POINT( '', #752 );
#637 = CIRCLE( '', #753, 5.50000000000000 );
#638 = VERTEX_POINT( '', #754 );
#639 = CIRCLE( '', #755, 5.50000000000000 );
#640 = VERTEX_POINT( '', #756 );
#641 = CIRCLE( '', #757, 3.25000000000000 );
#642 = VERTEX_POINT( '', #758 );
#643 = CIRCLE( '', #759, 3.25000000000000 );
#644 = VERTEX_POINT( '', #760 );
#645 = VERTEX_POINT( '', #761 );
#646 = CIRCLE( '', #762, 7.99999999999999 );
#647 = VERTEX_POINT( '', #763 );
#648 = LINE( '', #764, #765 );
#649 = VERTEX_POINT( '', #766 );
#650 = CIRCLE( '', #767, 7.99999999999999 );
#651 = VERTEX_POINT( '', #768 );
#652 = LINE( '', #769, #770 );
#653 = VERTEX_POINT( '', #771 );
#654 = CIRCLE( '', #772, 7.99999999999999 );
#655 = LINE( '', #773, #774 );
#656 = VERTEX_POINT( '', #775 );
#657 = LINE( '', #776, #777 );
#658 = VERTEX_POINT( '', #778 );
#659 = LINE( '', #779, #780 );
#660 = LINE( '', #781, #782 );
#661 = VERTEX_POINT( '', #783 );
#662 = LINE( '', #784, #785 );
#663 = VERTEX_POINT( '', #786 );
#664 = LINE( '', #787, #788 );
#665 = LINE( '', #789, #790 );
#666 = VERTEX_POINT( '', #791 );
#667 = LINE( '', #792, #793 );
#668 = VERTEX_POINT( '', #794 );
#669 = LINE( '', #795, #796 );
#670 = CIRCLE( '', #797, 7.99999999999999 );
#671 = VERTEX_POINT( '', #798 );
#672 = LINE( '', #799, #800 );
#673 = VERTEX_POINT( '', #801 );
#674 = LINE( '', #802, #803 );
#675 = LINE( '', #804, #805 );
#676 = VERTEX_POINT( '', #806 );
#677 = VERTEX_POINT( '', #807 );
#678 = LINE( '', #808, #809 );
#679 = LINE( '', #810, #811 );
#680 = VERTEX_POINT( '', #812 );
#681 = LINE( '', #813, #814 );
#682 = VERTEX_POINT( '', #815 );
#683 = LINE( '', #816, #817 );
#684 = LINE( '', #818, #819 );
#685 = VERTEX_POINT( '', #820 );
#686 = VERTEX_POINT( '', #821 );
#687 = LINE( '', #822, #823 );
#688 = CIRCLE( '', #824, 7.99999999999999 );
#689 = CIRCLE( '', #825, 7.99999999999999 );
#690 = LINE( '', #826, #827 );
#691 = LINE( '', #828, #829 );
#692 = LINE( '', #830, #831 );
#693 = LINE( '', #832, #833 );
#694 = VERTEX_POINT( '', #834 );
#695 = CIRCLE( '', #835, 5.50000000000000 );
#696 = VERTEX_POINT( '', #836 );
#697 = CIRCLE( '', #837, 5.50000000000000 );
#698 = VERTEX_POINT( '', #838 );
#699 = VERTEX_POINT( '', #839 );
#700 = LINE( '', #840, #841 );
#701 = VERTEX_POINT( '', #842 );
#702 = LINE( '', #843, #844 );
#703 = VERTEX_POINT( '', #845 );
#704 = LINE( '', #846, #847 );
#705 = LINE( '', #848, #849 );
#706 = VERTEX_POINT( '', #850 );
#707 = CIRCLE( '', #851, 3.25000000000000 );
#708 = VERTEX_POINT( '', #852 );
#709 = LINE( '', #853, #854 );
#710 = VERTEX_POINT( '', #855 );
#711 = LINE( '', #856, #857 );
#712 = LINE( '', #858, #859 );
#713 = VERTEX_POINT( '', #860 );
#714 = VERTEX_POINT( '', #861 );
#715 = LINE( '', #862, #863 );
#716 = VERTEX_POINT( '', #864 );
#717 = CIRCLE( '', #865, 8.00000000000000 );
#718 = VERTEX_POINT( '', #866 );
#719 = LINE( '', #867, #868 );
#720 = CIRCLE( '', #869, 8.00000000000000 );
#721 = VERTEX_POINT( '', #870 );
#722 = CIRCLE( '', #871, 3.25000000000000 );
#723 = VERTEX_POINT( '', #872 );
#724 = VERTEX_POINT( '', #873 );
#725 = LINE( '', #874, #875 );
#726 = VERTEX_POINT( '', #876 );
#727 = LINE( '', #877, #878 );
#728 = VERTEX_POINT( '', #879 );
#729 = CIRCLE( '', #880, 8.00000000000000 );
#730 = LINE( '', #881, #882 );
#731 = LINE( '', #883, #884 );
#732 = VERTEX_POINT( '', #885 );
#733 = VERTEX_POINT( '', #886 );
#734 = LINE( '', #887, #888 );
#735 = LINE( '', #889, #890 );
#736 = LINE( '', #891, #892 );
#737 = VERTEX_POINT( '', #893 );
#738 = CIRCLE( '', #894, 8.00000000000000 );
#739 = LINE( '', #895, #896 );
#740 = LINE( '', #897, #898 );
#741 = VERTEX_POINT( '', #899 );
#742 = LINE( '', #900, #901 );
#743 = LINE( '', #902, #903 );
#744 = VERTEX_POINT( '', #904 );
#745 = LINE( '', #905, #906 );
#746 = LINE( '', #907, #908 );
#747 = VERTEX_POINT( '', #909 );
#748 = LINE( '', #910, #911 );
#749 = LINE( '', #912, #913 );
#750 = LINE( '', #914, #915 );
#751 = LINE( '', #916, #917 );
#752 = CARTESIAN_POINT( '', ( -10.0000000000000, 11.2000000000000, 5.50000000000000 ) );
#753 = AXIS2_PLACEMENT_3D( '', #918, #919, #920 );
#754 = CARTESIAN_POINT( '', ( -10.0000000000000, 4.80000000000000, 5.50000000000000 ) );
#755 = AXIS2_PLACEMENT_3D( '', #921, #922, #923 );
#756 = CARTESIAN_POINT( '', ( -10.0000000000000, 4.80000000000000, 3.25000000000000 ) );
#757 = AXIS2_PLACEMENT_3D( '', #924, #925, #926 );
#758 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 3.25000000000000 ) );
#759 = AXIS2_PLACEMENT_3D( '', #927, #928, #929 );
#760 = CARTESIAN_POINT( '', ( -17.9372539331938, 11.2000000000000, -8.00000000000000 ) );
#761 = CARTESIAN_POINT( '', ( -18.0000000000000, 11.2000000000000, -7.00000000000000 ) );
#762 = AXIS2_PLACEMENT_3D( '', #930, #931, #932 );
#763 = CARTESIAN_POINT( '', ( -17.9372539331938, 26.0000000000000, -8.00000000000000 ) );
#764 = CARTESIAN_POINT( '', ( -17.9372539331938, 26.0000000000000, -8.00000000000000 ) );
#765 = VECTOR( '', #933, 1000.00000000000 );
#766 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, -15.0000000000000 ) );
#767 = AXIS2_PLACEMENT_3D( '', #934, #935, #936 );
#768 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, -15.0000000000000 ) );
#769 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, -15.0000000000000 ) );
#770 = VECTOR( '', #937, 1000.00000000000 );
#771 = CARTESIAN_POINT( '', ( -18.0000000000000, 0.000000000000000, -7.00000000000000 ) );
#772 = AXIS2_PLACEMENT_3D( '', #938, #939, #940 );
#773 = CARTESIAN_POINT( '', ( -18.0000000000000, 26.0000000000000, -7.00000000000000 ) );
#774 = VECTOR( '', #941, 1000.00000000000 );
#775 = CARTESIAN_POINT( '', ( -18.0000000000000, 11.2000000000000, 7.00000000000000 ) );
#776 = CARTESIAN_POINT( '', ( -18.0000000000000, 11.2000000000000, -7.00000000000000 ) );
#777 = VECTOR( '', #942, 1000.00000000000 );
#778 = CARTESIAN_POINT( '', ( -18.0000000000000, 0.000000000000000, 7.00000000000000 ) );
#779 = CARTESIAN_POINT( '', ( -18.0000000000000, 0.000000000000000, -7.00000000000000 ) );
#780 = VECTOR( '', #943, 1000.00000000000 );
#781 = CARTESIAN_POINT( '', ( -18.0000000000000, 26.0000000000000, 7.00000000000000 ) );
#782 = VECTOR( '', #944, 1000.00000000000 );
#783 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -15.0000000000000 ) );
#784 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -15.0000000000000 ) );
#785 = VECTOR( '', #945, 1000.00000000000 );
#786 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, -15.0000000000000 ) );
#787 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, -15.0000000000000 ) );
#788 = VECTOR( '', #946, 1000.00000000000 );
#789 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, -15.0000000000000 ) );
#790 = VECTOR( '', #947, 1000.00000000000 );
#791 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 15.0000000000000 ) );
#792 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 15.0000000000000 ) );
#793 = VECTOR( '', #948, 1000.00000000000 );
#794 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 15.0000000000000 ) );
#795 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 15.0000000000000 ) );
#796 = VECTOR( '', #949, 1000.00000000000 );
#797 = AXIS2_PLACEMENT_3D( '', #950, #951, #952 );
#798 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, 15.0000000000000 ) );
#799 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, 15.0000000000000 ) );
#800 = VECTOR( '', #953, 1000.00000000000 );
#801 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, 15.0000000000000 ) );
#802 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, 15.0000000000000 ) );
#803 = VECTOR( '', #954, 1000.00000000000 );
#804 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, 15.0000000000000 ) );
#805 = VECTOR( '', #955, 1000.00000000000 );
#806 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, 8.00000000000000 ) );
#807 = CARTESIAN_POINT( '', ( 0.000000000000000, 11.2000000000000, 8.00000000000000 ) );
#808 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, 8.00000000000000 ) );
#809 = VECTOR( '', #956, 1000.00000000000 );
#810 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, 15.0000000000000 ) );
#811 = VECTOR( '', #957, 1000.00000000000 );
#812 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, -8.00000000000000 ) );
#813 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, 15.0000000000000 ) );
#814 = VECTOR( '', #958, 1000.00000000000 );
#815 = CARTESIAN_POINT( '', ( 0.000000000000000, 11.2000000000000, -8.00000000000000 ) );
#816 = CARTESIAN_POINT( '', ( 0.000000000000000, 26.0000000000000, -8.00000000000000 ) );
#817 = VECTOR( '', #959, 1000.00000000000 );
#818 = CARTESIAN_POINT( '', ( 0.000000000000000, 11.2000000000000, 15.0000000000000 ) );
#819 = VECTOR( '', #960, 1000.00000000000 );
#820 = CARTESIAN_POINT( '', ( -17.9372539331938, 11.2000000000000, 8.00000000000000 ) );
#821 = CARTESIAN_POINT( '', ( -17.9372539331938, 26.0000000000000, 8.00000000000000 ) );
#822 = CARTESIAN_POINT( '', ( -17.9372539331938, 26.0000000000000, 8.00000000000000 ) );
#823 = VECTOR( '', #961, 1000.00000000000 );
#824 = AXIS2_PLACEMENT_3D( '', #962, #963, #964 );
#825 = AXIS2_PLACEMENT_3D( '', #965, #966, #967 );
#826 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, 8.00000000000000 ) );
#827 = VECTOR( '', #968, 1000.00000000000 );
#828 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, -8.00000000000000 ) );
#829 = VECTOR( '', #969, 1000.00000000000 );
#830 = CARTESIAN_POINT( '', ( 0.999999999999997, 11.2000000000000, 8.00000000000000 ) );
#831 = VECTOR( '', #970, 1000.00000000000 );
#832 = CARTESIAN_POINT( '', ( 0.999999999999997, 11.2000000000000, -8.00000000000000 ) );
#833 = VECTOR( '', #971, 1000.00000000000 );
#834 = CARTESIAN_POINT( '', ( 10.0000000000000, 30.0000000000000, 5.50000000000000 ) );
#835 = AXIS2_PLACEMENT_3D( '', #972, #973, #974 );
#836 = CARTESIAN_POINT( '', ( 10.0000000000000, 22.6000000000000, 5.50000000000000 ) );
#837 = AXIS2_PLACEMENT_3D( '', #975, #976, #977 );
#838 = CARTESIAN_POINT( '', ( 17.0000000000000, 30.0000000000000, 8.00000000000000 ) );
#839 = CARTESIAN_POINT( '', ( 17.0000000000000, 30.0000000000000, -8.00000000000000 ) );
#840 = CARTESIAN_POINT( '', ( 17.0000000000000, 30.0000000000000, 7.00000000000000 ) );
#841 = VECTOR( '', #978, 1000.00000000000 );
#842 = CARTESIAN_POINT( '', ( 17.0000000000000, 15.5000000000000, 8.00000000000000 ) );
#843 = CARTESIAN_POINT( '', ( 17.0000000000000, 15.5000000000000, 8.00000000000000 ) );
#844 = VECTOR( '', #979, 1000.00000000000 );
#845 = CARTESIAN_POINT( '', ( 17.0000000000000, 15.5000000000000, -8.00000000000000 ) );
#846 = CARTESIAN_POINT( '', ( 17.0000000000000, 15.5000000000000, 9.00000000000000 ) );
#847 = VECTOR( '', #980, 1000.00000000000 );
#848 = CARTESIAN_POINT( '', ( 17.0000000000000, 31.0000000000000, -8.00000000000000 ) );
#849 = VECTOR( '', #981, 1000.00000000000 );
#850 = CARTESIAN_POINT( '', ( 10.0000000000000, 22.6000000000000, 3.25000000000000 ) );
#851 = AXIS2_PLACEMENT_3D( '', #982, #983, #984 );
#852 = CARTESIAN_POINT( '', ( 0.000000000000000, 30.0000000000000, 8.00000000000000 ) );
#853 = CARTESIAN_POINT( '', ( 10.0000000000000, 30.0000000000000, 8.00000000000000 ) );
#854 = VECTOR( '', #985, 1000.00000000000 );
#855 = CARTESIAN_POINT( '', ( 0.000000000000000, 30.0000000000000, -8.00000000000000 ) );
#856 = CARTESIAN_POINT( '', ( 10.0000000000000, 30.0000000000000, -8.00000000000000 ) );
#857 = VECTOR( '', #986, 1000.00000000000 );
#858 = CARTESIAN_POINT( '', ( 0.000000000000000, 30.0000000000000, -15.0000000000000 ) );
#859 = VECTOR( '', #987, 1000.00000000000 );
#860 = CARTESIAN_POINT( '', ( 18.0000000000000, 15.5000000000000, 7.00000000000000 ) );
#861 = CARTESIAN_POINT( '', ( 18.0000000000000, 0.000000000000000, 7.00000000000000 ) );
#862 = CARTESIAN_POINT( '', ( 18.0000000000000, 30.0000000000000, 7.00000000000000 ) );
#863 = VECTOR( '', #988, 1000.00000000000 );
#864 = CARTESIAN_POINT( '', ( 10.0000000000000, 15.5000000000000, 15.0000000000000 ) );
#865 = AXIS2_PLACEMENT_3D( '', #989, #990, #991 );
#866 = CARTESIAN_POINT( '', ( 10.0000000000000, 0.000000000000000, 15.0000000000000 ) );
#867 = CARTESIAN_POINT( '', ( 10.0000000000000, 30.0000000000000, 15.0000000000000 ) );
#868 = VECTOR( '', #992, 1000.00000000000 );
#869 = AXIS2_PLACEMENT_3D( '', #993, #994, #995 );
#870 = CARTESIAN_POINT( '', ( 10.0000000000000, 0.000000000000000, 3.25000000000000 ) );
#871 = AXIS2_PLACEMENT_3D( '', #996, #997, #998 );
#872 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -15.0000000000000 ) );
#873 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 15.0000000000000 ) );
#874 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -15.0000000000000 ) );
#875 = VECTOR( '', #999, 1000.00000000000 );
#876 = CARTESIAN_POINT( '', ( 10.0000000000000, 0.000000000000000, -15.0000000000000 ) );
#877 = CARTESIAN_POINT( '', ( 10.0000000000000, 0.000000000000000, -15.0000000000000 ) );
#878 = VECTOR( '', #1000, 1000.00000000000 );
#879 = CARTESIAN_POINT( '', ( 18.0000000000000, 0.000000000000000, -7.00000000000000 ) );
#880 = AXIS2_PLACEMENT_3D( '', #1001, #1002, #1003 );
#881 = CARTESIAN_POINT( '', ( 18.0000000000000, 0.000000000000000, 7.00000000000000 ) );
#882 = VECTOR( '', #1004, 1000.00000000000 );
#883 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 15.0000000000000 ) );
#884 = VECTOR( '', #1005, 1000.00000000000 );
#885 = CARTESIAN_POINT( '', ( 10.0000000000000, 15.5000000000000, -15.0000000000000 ) );
#886 = CARTESIAN_POINT( '', ( 0.000000000000000, 15.5000000000000, -15.0000000000000 ) );
#887 = CARTESIAN_POINT( '', ( 10.0000000000000, 15.5000000000000, -15.0000000000000 ) );
#888 = VECTOR( '', #1006, 1000.00000000000 );
#889 = CARTESIAN_POINT( '', ( 10.0000000000000, 30.0000000000000, -15.0000000000000 ) );
#890 = VECTOR( '', #1007, 1000.00000000000 );
#891 = CARTESIAN_POINT( '', ( 0.000000000000000, 30.0000000000000, -15.0000000000000 ) );
#892 = VECTOR( '', #1008, 1000.00000000000 );
#893 = CARTESIAN_POINT( '', ( 18.0000000000000, 15.5000000000000, -7.00000000000000 ) );
#894 = AXIS2_PLACEMENT_3D( '', #1009, #1010, #1011 );
#895 = CARTESIAN_POINT( '', ( 18.0000000000000, 30.0000000000000, -7.00000000000000 ) );
#896 = VECTOR( '', #1012, 1000.00000000000 );
#897 = CARTESIAN_POINT( '', ( 18.0000000000000, 15.5000000000000, 7.00000000000000 ) );
#898 = VECTOR( '', #1013, 1000.00000000000 );
#899 = CARTESIAN_POINT( '', ( 0.000000000000000, 15.5000000000000, 15.0000000000000 ) );
#900 = CARTESIAN_POINT( '', ( 0.000000000000000, 15.5000000000000, 15.0000000000000 ) );
#901 = VECTOR( '', #1014, 1000.00000000000 );
#902 = CARTESIAN_POINT( '', ( 0.000000000000000, 30.0000000000000, 15.0000000000000 ) );
#903 = VECTOR( '', #1015, 1000.00000000000 );
#904 = CARTESIAN_POINT( '', ( 0.000000000000000, 15.5000000000000, 8.00000000000000 ) );
#905 = CARTESIAN_POINT( '', ( 0.000000000000000, 15.5000000000000, -15.0000000000000 ) );
#906 = VECTOR( '', #1016, 1000.00000000000 );
#907 = CARTESIAN_POINT( '', ( 0.000000000000000, 30.0000000000000, 8.00000000000000 ) );
#908 = VECTOR( '', #1017, 1000.00000000000 );
#909 = CARTESIAN_POINT( '', ( 0.000000000000000, 15.5000000000000, -8.00000000000000 ) );
#910 = CARTESIAN_POINT( '', ( 0.000000000000000, 30.0000000000000, -8.00000000000000 ) );
#911 = VECTOR( '', #1018, 1000.00000000000 );
#912 = CARTESIAN_POINT( '', ( 0.000000000000000, 15.5000000000000, -15.0000000000000 ) );
#913 = VECTOR( '', #1019, 1000.00000000000 );
#914 = CARTESIAN_POINT( '', ( 19.0000000000000, 15.5000000000000, 8.00000000000000 ) );
#915 = VECTOR( '', #1020, 1000.00000000000 );
#916 = CARTESIAN_POINT( '', ( 19.0000000000000, 15.5000000000000, -8.00000000000000 ) );
#917 = VECTOR( '', #1021, 1000.00000000000 );
#918 = CARTESIAN_POINT( '', ( -10.0000000000000, 11.2000000000000, 0.000000000000000 ) );
#919 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#920 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#921 = CARTESIAN_POINT( '', ( -10.0000000000000, 4.80000000000000, 0.000000000000000 ) );
#922 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#923 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#924 = CARTESIAN_POINT( '', ( -10.0000000000000, 4.80000000000000, 0.000000000000000 ) );
#925 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#926 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#927 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#928 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#929 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#930 = CARTESIAN_POINT( '', ( -10.0000000000000, 11.2000000000000, -7.00000000000001 ) );
#931 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#932 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#933 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#934 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, -7.00000000000001 ) );
#935 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#936 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#937 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#938 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, -7.00000000000001 ) );
#939 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#940 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#941 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#942 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#943 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#944 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#945 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#946 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#947 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#948 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#949 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#950 = CARTESIAN_POINT( '', ( -10.0000000000000, 0.000000000000000, 7.00000000000000 ) );
#951 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#952 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#953 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#954 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#955 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#956 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#957 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#958 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#959 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, -0.000000000000000 ) );
#960 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#961 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#962 = CARTESIAN_POINT( '', ( -10.0000000000000, 11.2000000000000, 7.00000000000000 ) );
#963 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#964 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#965 = CARTESIAN_POINT( '', ( -10.0000000000000, 26.0000000000000, 7.00000000000000 ) );
#966 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#967 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#968 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#969 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#970 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#971 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#972 = CARTESIAN_POINT( '', ( 10.0000000000000, 30.0000000000000, 0.000000000000000 ) );
#973 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#974 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#975 = CARTESIAN_POINT( '', ( 10.0000000000000, 22.6000000000000, 0.000000000000000 ) );
#976 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#977 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#978 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#979 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#980 = DIRECTION( '', ( -0.000000000000000, -0.000000000000000, -1.00000000000000 ) );
#981 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#982 = CARTESIAN_POINT( '', ( 10.0000000000000, 22.6000000000000, 0.000000000000000 ) );
#983 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#984 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#985 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#986 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#987 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#988 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#989 = CARTESIAN_POINT( '', ( 10.0000000000000, 15.5000000000000, 7.00000000000000 ) );
#990 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#991 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#992 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#993 = CARTESIAN_POINT( '', ( 10.0000000000000, 0.000000000000000, 7.00000000000000 ) );
#994 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#995 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#996 = CARTESIAN_POINT( '', ( 10.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#997 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#998 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#999 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1000 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1001 = CARTESIAN_POINT( '', ( 10.0000000000000, 0.000000000000000, -7.00000000000000 ) );
#1002 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1003 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1004 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1005 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1006 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1007 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1008 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1009 = CARTESIAN_POINT( '', ( 10.0000000000000, 15.5000000000000, -7.00000000000000 ) );
#1010 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1011 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#1012 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1013 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1014 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1015 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1016 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#1017 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1018 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1019 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#1020 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1021 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
ENDSEC;
END-ISO-10303-21;