ISO-10303-21;
HEADER;
FILE_DESCRIPTION( ( 'STEP AP203' ), ' ' );
FILE_NAME( 'p:/temp/worker_2217/1980_3064/app_40_02016060921144982402208192d056f_000000_00_00_000000/format_0/PM08.stp', '2016-06-09T19:14:49', ( '' ), ( '' ), ' ', 'PARTsolutions', ' ' );
FILE_SCHEMA( ( 'CONFIG_CONTROL_DESIGN' ) );
ENDSEC;
DATA;
#1 = DESIGN_CONTEXT( '', #27, 'design' );
#2 = APPLICATION_PROTOCOL_DEFINITION( 'international standard', 'config_control_design', 1994, #27 );
#3 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #28, #29 );
#4 = DATE_AND_TIME( #30, #31 );
#5 = DATE_TIME_ROLE( 'creation_date' );
#6 = DATE_TIME_ROLE( 'classification_date' );
#7 = PERSON_AND_ORGANIZATION_ROLE( 'creator' );
#8 = PERSON_AND_ORGANIZATION_ROLE( 'design_supplier' );
#9 = PERSON_AND_ORGANIZATION_ROLE( 'classification_officer' );
#10 = PERSON_AND_ORGANIZATION_ROLE( 'design_owner' );
#11 = APPROVAL_PERSON_ORGANIZATION( #32, #33, #34 );
#12 = APPROVAL_DATE_TIME( #4, #33 );
#13 = CC_DESIGN_APPROVAL( #33, ( #35, #36, #37 ) );
#14 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #4, #5, ( #37 ) );
#15 = CC_DESIGN_DATE_AND_TIME_ASSIGNMENT( #4, #6, ( #35 ) );
#16 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #32, #10, ( #38 ) );
#17 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #32, #7, ( #37 ) );
#18 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #32, #7, ( #36 ) );
#19 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #32, #8, ( #36 ) );
#20 = CC_DESIGN_SECURITY_CLASSIFICATION( #35, ( #36 ) );
#21 = CC_DESIGN_PERSON_AND_ORGANIZATION_ASSIGNMENT( #32, #9, ( #35 ) );
#22 = SHAPE_DEFINITION_REPRESENTATION( #39, #40 );
#23 =  ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #43 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #45, #46, #47 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) );
#27 = APPLICATION_CONTEXT( 'configuration controlled 3D designs of mechanical parts and assemblies' );
#28 = PRODUCT_CATEGORY( 'part', 'NONE' );
#29 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #38 ) );
#30 = CALENDAR_DATE( 2016, 9, 5 );
#31 = LOCAL_TIME( 21, 14, 49.0000000000000, #49 );
#32 = PERSON_AND_ORGANIZATION( #50, #51 );
#33 = APPROVAL( #52, 'SOLID MODEL' );
#34 = APPROVAL_ROLE( 'APPROVED' );
#35 = SECURITY_CLASSIFICATION( '', '', #53 );
#36 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #38, .NOT_KNOWN. );
#37 = PRODUCT_DEFINITION( 'NONE', 'NONE', #36, #1 );
#38 = PRODUCT( '_PM08', '_PM08', 'PART-_PM08-DESC', ( #54 ) );
#39 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #37 );
#40 = ADVANCED_BREP_SHAPE_REPRESENTATION( '_PM08', ( #55, #56 ), #23 );
#43 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 0.00100000000000000 ), #45, '', '' );
#45 =  ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #59 )LENGTH_UNIT(  )NAMED_UNIT( #62 ) );
#46 =  ( NAMED_UNIT( #64 )PLANE_ANGLE_UNIT(  )SI_UNIT( $, .RADIAN. ) );
#47 =  ( NAMED_UNIT( #64 )SI_UNIT( $, .STERADIAN. )SOLID_ANGLE_UNIT(  ) );
#49 = COORDINATED_UNIVERSAL_TIME_OFFSET( 1, 0, .AHEAD. );
#50 = PERSON( '', 'UNSPECIFIED', $, $, $, $ );
#51 = ORGANIZATION( 'UNSPECIFIED', 'UNSPECIFIED', 'UNSPECIFIED' );
#52 = APPROVAL_STATUS( 'approved' );
#53 = SECURITY_CLASSIFICATION_LEVEL( 'unclassified' );
#54 = MECHANICAL_CONTEXT( '', #27, 'mechanical' );
#55 = BREP_WITH_VOIDS( '_PM08', #70, ( #71, #72, #73, #74 ) );
#56 = AXIS2_PLACEMENT_3D( '', #75, #76, #77 );
#59 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #78 );
#62 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#64 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#70 = CLOSED_SHELL( '', ( #79, #80, #81, #82, #83, #84, #85, #86, #87, #88, #89, #90, #91, #92, #93, #94, #95, #96, #97, #98, #99, #100, #101, #102, #103, #104, #105, #106, #107, #108, #109, #110, #111 ) );
#71 = ORIENTED_CLOSED_SHELL( '', *, #112, .T. );
#72 = ORIENTED_CLOSED_SHELL( '', *, #113, .T. );
#73 = ORIENTED_CLOSED_SHELL( '', *, #114, .T. );
#74 = ORIENTED_CLOSED_SHELL( '', *, #115, .T. );
#75 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#76 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#77 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#78 =  ( LENGTH_UNIT(  )NAMED_UNIT( #62 )SI_UNIT( .MILLI., .METRE. ) );
#79 = ADVANCED_FACE( '', ( #117, #118 ), #119, .F. );
#80 = ADVANCED_FACE( '', ( #120, #121 ), #122, .T. );
#81 = ADVANCED_FACE( '', ( #123, #124 ), #125, .T. );
#82 = ADVANCED_FACE( '', ( #126 ), #127, .F. );
#83 = ADVANCED_FACE( '', ( #128 ), #129, .F. );
#84 = ADVANCED_FACE( '', ( #130 ), #131, .F. );
#85 = ADVANCED_FACE( '', ( #132, #133 ), #134, .T. );
#86 = ADVANCED_FACE( '', ( #135 ), #136, .F. );
#87 = ADVANCED_FACE( '', ( #137 ), #138, .F. );
#88 = ADVANCED_FACE( '', ( #139 ), #140, .F. );
#89 = ADVANCED_FACE( '', ( #141 ), #142, .F. );
#90 = ADVANCED_FACE( '', ( #143, #144, #145 ), #146, .F. );
#91 = ADVANCED_FACE( '', ( #147 ), #148, .F. );
#92 = ADVANCED_FACE( '', ( #149 ), #150, .F. );
#93 = ADVANCED_FACE( '', ( #151, #152 ), #153, .F. );
#94 = ADVANCED_FACE( '', ( #154, #155 ), #156, .T. );
#95 = ADVANCED_FACE( '', ( #157, #158 ), #159, .T. );
#96 = ADVANCED_FACE( '', ( #160, #161 ), #162, .F. );
#97 = ADVANCED_FACE( '', ( #163, #164 ), #165, .T. );
#98 = ADVANCED_FACE( '', ( #166, #167 ), #168, .F. );
#99 = ADVANCED_FACE( '', ( #169, #170 ), #171, .F. );
#100 = ADVANCED_FACE( '', ( #172, #173 ), #174, .F. );
#101 = ADVANCED_FACE( '', ( #175, #176 ), #177, .F. );
#102 = ADVANCED_FACE( '', ( #178, #179 ), #180, .F. );
#103 = ADVANCED_FACE( '', ( #181, #182 ), #183, .F. );
#104 = ADVANCED_FACE( '', ( #184, #185 ), #186, .F. );
#105 = ADVANCED_FACE( '', ( #187, #188 ), #189, .F. );
#106 = ADVANCED_FACE( '', ( #190, #191 ), #192, .T. );
#107 = ADVANCED_FACE( '', ( #193, #194 ), #195, .F. );
#108 = ADVANCED_FACE( '', ( #196, #197 ), #198, .F. );
#109 = ADVANCED_FACE( '', ( #199, #200 ), #201, .F. );
#110 = ADVANCED_FACE( '', ( #202, #203 ), #204, .F. );
#111 = ADVANCED_FACE( '', ( #205, #206 ), #207, .F. );
#112 = CLOSED_SHELL( '', ( #208, #209, #210, #211 ) );
#113 = CLOSED_SHELL( '', ( #212, #213, #214, #215 ) );
#114 = CLOSED_SHELL( '', ( #216, #217, #218, #219 ) );
#115 = CLOSED_SHELL( '', ( #220, #221, #222, #223 ) );
#117 = FACE_OUTER_BOUND( '', #224, .T. );
#118 = FACE_OUTER_BOUND( '', #225, .T. );
#119 = CYLINDRICAL_SURFACE( '', #226, 6.93513333333333 );
#120 = FACE_BOUND( '', #227, .T. );
#121 = FACE_OUTER_BOUND( '', #228, .T. );
#122 = PLANE( '', #229 );
#123 = FACE_BOUND( '', #230, .T. );
#124 = FACE_OUTER_BOUND( '', #231, .T. );
#125 = PLANE( '', #232 );
#126 = FACE_OUTER_BOUND( '', #233, .T. );
#127 = PLANE( '', #234 );
#128 = FACE_OUTER_BOUND( '', #235, .T. );
#129 = PLANE( '', #236 );
#130 = FACE_OUTER_BOUND( '', #237, .T. );
#131 = PLANE( '', #238 );
#132 = FACE_BOUND( '', #239, .T. );
#133 = FACE_OUTER_BOUND( '', #240, .T. );
#134 = PLANE( '', #241 );
#135 = FACE_OUTER_BOUND( '', #242, .T. );
#136 = PLANE( '', #243 );
#137 = FACE_OUTER_BOUND( '', #244, .T. );
#138 = PLANE( '', #245 );
#139 = FACE_OUTER_BOUND( '', #246, .T. );
#140 = PLANE( '', #247 );
#141 = FACE_OUTER_BOUND( '', #248, .T. );
#142 = PLANE( '', #249 );
#143 = FACE_BOUND( '', #250, .T. );
#144 = FACE_BOUND( '', #251, .T. );
#145 = FACE_OUTER_BOUND( '', #252, .T. );
#146 = PLANE( '', #253 );
#147 = FACE_OUTER_BOUND( '', #254, .T. );
#148 = PLANE( '', #255 );
#149 = FACE_OUTER_BOUND( '', #256, .T. );
#150 = PLANE( '', #257 );
#151 = FACE_OUTER_BOUND( '', #258, .T. );
#152 = FACE_OUTER_BOUND( '', #259, .T. );
#153 = CYLINDRICAL_SURFACE( '', #260, 3.50000000000000 );
#154 = FACE_BOUND( '', #261, .T. );
#155 = FACE_OUTER_BOUND( '', #262, .T. );
#156 = PLANE( '', #263 );
#157 = FACE_OUTER_BOUND( '', #264, .T. );
#158 = FACE_BOUND( '', #265, .T. );
#159 = PLANE( '', #266 );
#160 = FACE_OUTER_BOUND( '', #267, .T. );
#161 = FACE_OUTER_BOUND( '', #268, .T. );
#162 = CYLINDRICAL_SURFACE( '', #269, 6.93513333333333 );
#163 = FACE_OUTER_BOUND( '', #270, .T. );
#164 = FACE_BOUND( '', #271, .T. );
#165 = PLANE( '', #272 );
#166 = FACE_OUTER_BOUND( '', #273, .T. );
#167 = FACE_OUTER_BOUND( '', #274, .T. );
#168 = CYLINDRICAL_SURFACE( '', #275, 4.01200000000000 );
#169 = FACE_OUTER_BOUND( '', #276, .T. );
#170 = FACE_OUTER_BOUND( '', #277, .T. );
#171 = CYLINDRICAL_SURFACE( '', #278, 7.99550000000000 );
#172 = FACE_OUTER_BOUND( '', #279, .T. );
#173 = FACE_OUTER_BOUND( '', #280, .T. );
#174 = CYLINDRICAL_SURFACE( '', #281, 7.99550000000000 );
#175 = FACE_BOUND( '', #282, .T. );
#176 = FACE_OUTER_BOUND( '', #283, .T. );
#177 = PLANE( '', #284 );
#178 = FACE_OUTER_BOUND( '', #285, .T. );
#179 = FACE_BOUND( '', #286, .T. );
#180 = CONICAL_SURFACE( '', #287, 1.62100000000000, 0.785398163397446 );
#181 = FACE_OUTER_BOUND( '', #288, .T. );
#182 = FACE_OUTER_BOUND( '', #289, .T. );
#183 = CYLINDRICAL_SURFACE( '', #290, 1.62100000000000 );
#184 = FACE_BOUND( '', #291, .T. );
#185 = FACE_OUTER_BOUND( '', #292, .T. );
#186 = CONICAL_SURFACE( '', #293, 2.00000000000000, 0.785398163397448 );
#187 = FACE_OUTER_BOUND( '', #294, .T. );
#188 = FACE_OUTER_BOUND( '', #295, .T. );
#189 = CYLINDRICAL_SURFACE( '', #296, 2.00000000000000 );
#190 = FACE_BOUND( '', #297, .T. );
#191 = FACE_OUTER_BOUND( '', #298, .T. );
#192 = PLANE( '', #299 );
#193 = FACE_OUTER_BOUND( '', #300, .T. );
#194 = FACE_OUTER_BOUND( '', #301, .T. );
#195 = CYLINDRICAL_SURFACE( '', #302, 3.50000000000000 );
#196 = FACE_OUTER_BOUND( '', #303, .T. );
#197 = FACE_BOUND( '', #304, .T. );
#198 = CONICAL_SURFACE( '', #305, 1.62100000000000, 0.785398163397446 );
#199 = FACE_OUTER_BOUND( '', #306, .T. );
#200 = FACE_OUTER_BOUND( '', #307, .T. );
#201 = CYLINDRICAL_SURFACE( '', #308, 1.62100000000000 );
#202 = FACE_BOUND( '', #309, .T. );
#203 = FACE_OUTER_BOUND( '', #310, .T. );
#204 = CONICAL_SURFACE( '', #311, 2.00000000000000, 0.785398163397448 );
#205 = FACE_OUTER_BOUND( '', #312, .T. );
#206 = FACE_OUTER_BOUND( '', #313, .T. );
#207 = CYLINDRICAL_SURFACE( '', #314, 2.00000000000000 );
#208 = ADVANCED_FACE( '', ( #315, #316 ), #317, .T. );
#209 = ADVANCED_FACE( '', ( #318, #319 ), #320, .T. );
#210 = ADVANCED_FACE( '', ( #321, #322 ), #323, .T. );
#211 = ADVANCED_FACE( '', ( #324, #325 ), #326, .F. );
#212 = ADVANCED_FACE( '', ( #327, #328 ), #329, .T. );
#213 = ADVANCED_FACE( '', ( #330, #331 ), #332, .T. );
#214 = ADVANCED_FACE( '', ( #333, #334 ), #335, .T. );
#215 = ADVANCED_FACE( '', ( #336, #337 ), #338, .F. );
#216 = ADVANCED_FACE( '', ( #339, #340 ), #341, .T. );
#217 = ADVANCED_FACE( '', ( #342, #343 ), #344, .T. );
#218 = ADVANCED_FACE( '', ( #345, #346 ), #347, .T. );
#219 = ADVANCED_FACE( '', ( #348, #349 ), #350, .F. );
#220 = ADVANCED_FACE( '', ( #351, #352 ), #353, .T. );
#221 = ADVANCED_FACE( '', ( #354, #355 ), #356, .T. );
#222 = ADVANCED_FACE( '', ( #357, #358 ), #359, .T. );
#223 = ADVANCED_FACE( '', ( #360, #361 ), #362, .F. );
#224 = EDGE_LOOP( '', ( #363 ) );
#225 = EDGE_LOOP( '', ( #364 ) );
#226 = AXIS2_PLACEMENT_3D( '', #365, #366, #367 );
#227 = EDGE_LOOP( '', ( #368 ) );
#228 = EDGE_LOOP( '', ( #369 ) );
#229 = AXIS2_PLACEMENT_3D( '', #370, #371, #372 );
#230 = EDGE_LOOP( '', ( #373 ) );
#231 = EDGE_LOOP( '', ( #374 ) );
#232 = AXIS2_PLACEMENT_3D( '', #375, #376, #377 );
#233 = EDGE_LOOP( '', ( #378, #379, #380, #381 ) );
#234 = AXIS2_PLACEMENT_3D( '', #382, #383, #384 );
#235 = EDGE_LOOP( '', ( #385, #386, #387, #388 ) );
#236 = AXIS2_PLACEMENT_3D( '', #389, #390, #391 );
#237 = EDGE_LOOP( '', ( #392, #393, #394, #395 ) );
#238 = AXIS2_PLACEMENT_3D( '', #396, #397, #398 );
#239 = EDGE_LOOP( '', ( #399 ) );
#240 = EDGE_LOOP( '', ( #400, #401, #402, #403, #404, #405, #406, #407 ) );
#241 = AXIS2_PLACEMENT_3D( '', #408, #409, #410 );
#242 = EDGE_LOOP( '', ( #411, #412, #413, #414, #415, #416, #417, #418 ) );
#243 = AXIS2_PLACEMENT_3D( '', #419, #420, #421 );
#244 = EDGE_LOOP( '', ( #422, #423, #424, #425 ) );
#245 = AXIS2_PLACEMENT_3D( '', #426, #427, #428 );
#246 = EDGE_LOOP( '', ( #429, #430, #431, #432, #433, #434 ) );
#247 = AXIS2_PLACEMENT_3D( '', #435, #436, #437 );
#248 = EDGE_LOOP( '', ( #438, #439, #440, #441 ) );
#249 = AXIS2_PLACEMENT_3D( '', #442, #443, #444 );
#250 = EDGE_LOOP( '', ( #445 ) );
#251 = EDGE_LOOP( '', ( #446 ) );
#252 = EDGE_LOOP( '', ( #447, #448, #449, #450 ) );
#253 = AXIS2_PLACEMENT_3D( '', #451, #452, #453 );
#254 = EDGE_LOOP( '', ( #454, #455, #456, #457 ) );
#255 = AXIS2_PLACEMENT_3D( '', #458, #459, #460 );
#256 = EDGE_LOOP( '', ( #461, #462, #463, #464, #465, #466 ) );
#257 = AXIS2_PLACEMENT_3D( '', #467, #468, #469 );
#258 = EDGE_LOOP( '', ( #470 ) );
#259 = EDGE_LOOP( '', ( #471, #472, #473, #474 ) );
#260 = AXIS2_PLACEMENT_3D( '', #475, #476, #477 );
#261 = EDGE_LOOP( '', ( #478 ) );
#262 = EDGE_LOOP( '', ( #479 ) );
#263 = AXIS2_PLACEMENT_3D( '', #480, #481, #482 );
#264 = EDGE_LOOP( '', ( #483 ) );
#265 = EDGE_LOOP( '', ( #484 ) );
#266 = AXIS2_PLACEMENT_3D( '', #485, #486, #487 );
#267 = EDGE_LOOP( '', ( #488 ) );
#268 = EDGE_LOOP( '', ( #489 ) );
#269 = AXIS2_PLACEMENT_3D( '', #490, #491, #492 );
#270 = EDGE_LOOP( '', ( #493 ) );
#271 = EDGE_LOOP( '', ( #494 ) );
#272 = AXIS2_PLACEMENT_3D( '', #495, #496, #497 );
#273 = EDGE_LOOP( '', ( #498 ) );
#274 = EDGE_LOOP( '', ( #499 ) );
#275 = AXIS2_PLACEMENT_3D( '', #500, #501, #502 );
#276 = EDGE_LOOP( '', ( #503 ) );
#277 = EDGE_LOOP( '', ( #504 ) );
#278 = AXIS2_PLACEMENT_3D( '', #505, #506, #507 );
#279 = EDGE_LOOP( '', ( #508 ) );
#280 = EDGE_LOOP( '', ( #509 ) );
#281 = AXIS2_PLACEMENT_3D( '', #510, #511, #512 );
#282 = EDGE_LOOP( '', ( #513 ) );
#283 = EDGE_LOOP( '', ( #514, #515, #516, #517, #518, #519, #520, #521 ) );
#284 = AXIS2_PLACEMENT_3D( '', #522, #523, #524 );
#285 = EDGE_LOOP( '', ( #525 ) );
#286 = EDGE_LOOP( '', ( #526 ) );
#287 = AXIS2_PLACEMENT_3D( '', #527, #528, #529 );
#288 = EDGE_LOOP( '', ( #530 ) );
#289 = EDGE_LOOP( '', ( #531 ) );
#290 = AXIS2_PLACEMENT_3D( '', #532, #533, #534 );
#291 = EDGE_LOOP( '', ( #535 ) );
#292 = EDGE_LOOP( '', ( #536 ) );
#293 = AXIS2_PLACEMENT_3D( '', #537, #538, #539 );
#294 = EDGE_LOOP( '', ( #540 ) );
#295 = EDGE_LOOP( '', ( #541 ) );
#296 = AXIS2_PLACEMENT_3D( '', #542, #543, #544 );
#297 = EDGE_LOOP( '', ( #545 ) );
#298 = EDGE_LOOP( '', ( #546 ) );
#299 = AXIS2_PLACEMENT_3D( '', #547, #548, #549 );
#300 = EDGE_LOOP( '', ( #550 ) );
#301 = EDGE_LOOP( '', ( #551, #552, #553, #554 ) );
#302 = AXIS2_PLACEMENT_3D( '', #555, #556, #557 );
#303 = EDGE_LOOP( '', ( #558 ) );
#304 = EDGE_LOOP( '', ( #559 ) );
#305 = AXIS2_PLACEMENT_3D( '', #560, #561, #562 );
#306 = EDGE_LOOP( '', ( #563 ) );
#307 = EDGE_LOOP( '', ( #564 ) );
#308 = AXIS2_PLACEMENT_3D( '', #565, #566, #567 );
#309 = EDGE_LOOP( '', ( #568 ) );
#310 = EDGE_LOOP( '', ( #569 ) );
#311 = AXIS2_PLACEMENT_3D( '', #570, #571, #572 );
#312 = EDGE_LOOP( '', ( #573 ) );
#313 = EDGE_LOOP( '', ( #574 ) );
#314 = AXIS2_PLACEMENT_3D( '', #575, #576, #577 );
#315 = FACE_OUTER_BOUND( '', #578, .T. );
#316 = FACE_BOUND( '', #579, .T. );
#317 = PLANE( '', #580 );
#318 = FACE_OUTER_BOUND( '', #581, .T. );
#319 = FACE_OUTER_BOUND( '', #582, .T. );
#320 = CYLINDRICAL_SURFACE( '', #583, 7.60000000000000 );
#321 = FACE_BOUND( '', #584, .T. );
#322 = FACE_OUTER_BOUND( '', #585, .T. );
#323 = PLANE( '', #586 );
#324 = FACE_OUTER_BOUND( '', #587, .T. );
#325 = FACE_OUTER_BOUND( '', #588, .T. );
#326 = CYLINDRICAL_SURFACE( '', #589, 7.99550000000000 );
#327 = FACE_OUTER_BOUND( '', #590, .T. );
#328 = FACE_BOUND( '', #591, .T. );
#329 = PLANE( '', #592 );
#330 = FACE_OUTER_BOUND( '', #593, .T. );
#331 = FACE_OUTER_BOUND( '', #594, .T. );
#332 = CYLINDRICAL_SURFACE( '', #595, 6.60000000000000 );
#333 = FACE_BOUND( '', #596, .T. );
#334 = FACE_OUTER_BOUND( '', #597, .T. );
#335 = PLANE( '', #598 );
#336 = FACE_OUTER_BOUND( '', #599, .T. );
#337 = FACE_OUTER_BOUND( '', #600, .T. );
#338 = CYLINDRICAL_SURFACE( '', #601, 7.99550000000000 );
#339 = FACE_OUTER_BOUND( '', #602, .T. );
#340 = FACE_BOUND( '', #603, .T. );
#341 = PLANE( '', #604 );
#342 = FACE_OUTER_BOUND( '', #605, .T. );
#343 = FACE_OUTER_BOUND( '', #606, .T. );
#344 = CYLINDRICAL_SURFACE( '', #607, 6.60000000000000 );
#345 = FACE_BOUND( '', #608, .T. );
#346 = FACE_OUTER_BOUND( '', #609, .T. );
#347 = PLANE( '', #610 );
#348 = FACE_OUTER_BOUND( '', #611, .T. );
#349 = FACE_OUTER_BOUND( '', #612, .T. );
#350 = CYLINDRICAL_SURFACE( '', #613, 7.99550000000000 );
#351 = FACE_OUTER_BOUND( '', #614, .T. );
#352 = FACE_BOUND( '', #615, .T. );
#353 = PLANE( '', #616 );
#354 = FACE_OUTER_BOUND( '', #617, .T. );
#355 = FACE_OUTER_BOUND( '', #618, .T. );
#356 = CYLINDRICAL_SURFACE( '', #619, 7.60000000000000 );
#357 = FACE_BOUND( '', #620, .T. );
#358 = FACE_OUTER_BOUND( '', #621, .T. );
#359 = PLANE( '', #622 );
#360 = FACE_OUTER_BOUND( '', #623, .T. );
#361 = FACE_OUTER_BOUND( '', #624, .T. );
#362 = CYLINDRICAL_SURFACE( '', #625, 7.99550000000000 );
#363 = ORIENTED_EDGE( '', *, *, #626, .T. );
#364 = ORIENTED_EDGE( '', *, *, #627, .F. );
#365 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#366 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#367 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#368 = ORIENTED_EDGE( '', *, *, #628, .T. );
#369 = ORIENTED_EDGE( '', *, *, #626, .F. );
#370 = CARTESIAN_POINT( '', ( -12.4365000000000, 6.93513333333333, 0.000000000000000 ) );
#371 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#372 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#373 = ORIENTED_EDGE( '', *, *, #627, .T. );
#374 = ORIENTED_EDGE( '', *, *, #629, .T. );
#375 = CARTESIAN_POINT( '', ( -14.4365000000000, 7.99550000000000, 0.000000000000000 ) );
#376 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#377 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#378 = ORIENTED_EDGE( '', *, *, #630, .F. );
#379 = ORIENTED_EDGE( '', *, *, #631, .F. );
#380 = ORIENTED_EDGE( '', *, *, #632, .F. );
#381 = ORIENTED_EDGE( '', *, *, #633, .T. );
#382 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, 10.3300000000000 ) );
#383 = DIRECTION( '', ( 0.000000000000000, -0.765958101855942, -0.642890493164460 ) );
#384 = DIRECTION( '', ( 0.000000000000000, 0.642890493164460, -0.765958101855942 ) );
#385 = ORIENTED_EDGE( '', *, *, #634, .F. );
#386 = ORIENTED_EDGE( '', *, *, #635, .T. );
#387 = ORIENTED_EDGE( '', *, *, #636, .T. );
#388 = ORIENTED_EDGE( '', *, *, #637, .F. );
#389 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, -14.5000000000000 ) );
#390 = DIRECTION( '', ( 0.000000000000000, -0.765958101855942, 0.642890493164460 ) );
#391 = DIRECTION( '', ( 0.000000000000000, -0.642890493164460, -0.765958101855942 ) );
#392 = ORIENTED_EDGE( '', *, *, #638, .F. );
#393 = ORIENTED_EDGE( '', *, *, #639, .T. );
#394 = ORIENTED_EDGE( '', *, *, #640, .T. );
#395 = ORIENTED_EDGE( '', *, *, #641, .F. );
#396 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, 10.3300000000000 ) );
#397 = DIRECTION( '', ( 0.000000000000000, -0.765958101855942, -0.642890493164460 ) );
#398 = DIRECTION( '', ( 0.000000000000000, 0.642890493164460, -0.765958101855942 ) );
#399 = ORIENTED_EDGE( '', *, *, #642, .F. );
#400 = ORIENTED_EDGE( '', *, *, #643, .T. );
#401 = ORIENTED_EDGE( '', *, *, #644, .T. );
#402 = ORIENTED_EDGE( '', *, *, #645, .T. );
#403 = ORIENTED_EDGE( '', *, *, #646, .T. );
#404 = ORIENTED_EDGE( '', *, *, #647, .T. );
#405 = ORIENTED_EDGE( '', *, *, #648, .T. );
#406 = ORIENTED_EDGE( '', *, *, #649, .T. );
#407 = ORIENTED_EDGE( '', *, *, #632, .T. );
#408 = CARTESIAN_POINT( '', ( 16.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#409 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#410 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#411 = ORIENTED_EDGE( '', *, *, #650, .T. );
#412 = ORIENTED_EDGE( '', *, *, #633, .F. );
#413 = ORIENTED_EDGE( '', *, *, #649, .F. );
#414 = ORIENTED_EDGE( '', *, *, #651, .T. );
#415 = ORIENTED_EDGE( '', *, *, #652, .F. );
#416 = ORIENTED_EDGE( '', *, *, #637, .T. );
#417 = ORIENTED_EDGE( '', *, *, #653, .T. );
#418 = ORIENTED_EDGE( '', *, *, #639, .F. );
#419 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, -10.3300000000000 ) );
#420 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#421 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#422 = ORIENTED_EDGE( '', *, *, #654, .F. );
#423 = ORIENTED_EDGE( '', *, *, #651, .F. );
#424 = ORIENTED_EDGE( '', *, *, #648, .F. );
#425 = ORIENTED_EDGE( '', *, *, #655, .T. );
#426 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, -14.5000000000000 ) );
#427 = DIRECTION( '', ( 0.000000000000000, -0.765958101855942, 0.642890493164460 ) );
#428 = DIRECTION( '', ( 0.000000000000000, -0.642890493164460, -0.765958101855942 ) );
#429 = ORIENTED_EDGE( '', *, *, #656, .F. );
#430 = ORIENTED_EDGE( '', *, *, #655, .F. );
#431 = ORIENTED_EDGE( '', *, *, #647, .F. );
#432 = ORIENTED_EDGE( '', *, *, #657, .T. );
#433 = ORIENTED_EDGE( '', *, *, #658, .T. );
#434 = ORIENTED_EDGE( '', *, *, #635, .F. );
#435 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, -17.5000000000000 ) );
#436 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#437 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#438 = ORIENTED_EDGE( '', *, *, #659, .T. );
#439 = ORIENTED_EDGE( '', *, *, #657, .F. );
#440 = ORIENTED_EDGE( '', *, *, #646, .F. );
#441 = ORIENTED_EDGE( '', *, *, #660, .T. );
#442 = CARTESIAN_POINT( '', ( 16.0000000000000, -15.0000000000000, -17.5000000000000 ) );
#443 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#444 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#445 = ORIENTED_EDGE( '', *, *, #661, .F. );
#446 = ORIENTED_EDGE( '', *, *, #662, .F. );
#447 = ORIENTED_EDGE( '', *, *, #663, .T. );
#448 = ORIENTED_EDGE( '', *, *, #660, .F. );
#449 = ORIENTED_EDGE( '', *, *, #645, .F. );
#450 = ORIENTED_EDGE( '', *, *, #664, .T. );
#451 = CARTESIAN_POINT( '', ( 16.0000000000000, -15.0000000000000, 17.5000000000000 ) );
#452 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#453 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#454 = ORIENTED_EDGE( '', *, *, #665, .T. );
#455 = ORIENTED_EDGE( '', *, *, #664, .F. );
#456 = ORIENTED_EDGE( '', *, *, #644, .F. );
#457 = ORIENTED_EDGE( '', *, *, #666, .T. );
#458 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, 17.5000000000000 ) );
#459 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#460 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#461 = ORIENTED_EDGE( '', *, *, #667, .F. );
#462 = ORIENTED_EDGE( '', *, *, #641, .T. );
#463 = ORIENTED_EDGE( '', *, *, #668, .T. );
#464 = ORIENTED_EDGE( '', *, *, #666, .F. );
#465 = ORIENTED_EDGE( '', *, *, #643, .F. );
#466 = ORIENTED_EDGE( '', *, *, #631, .T. );
#467 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, 14.5000000000000 ) );
#468 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#469 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#470 = ORIENTED_EDGE( '', *, *, #669, .T. );
#471 = ORIENTED_EDGE( '', *, *, #634, .T. );
#472 = ORIENTED_EDGE( '', *, *, #652, .T. );
#473 = ORIENTED_EDGE( '', *, *, #654, .T. );
#474 = ORIENTED_EDGE( '', *, *, #656, .T. );
#475 = CARTESIAN_POINT( '', ( 10.0750000000000, -15.0000000000000, -12.5750000000000 ) );
#476 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#477 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#478 = ORIENTED_EDGE( '', *, *, #670, .T. );
#479 = ORIENTED_EDGE( '', *, *, #669, .F. );
#480 = CARTESIAN_POINT( '', ( 10.0750000000000, -0.500000000000000, -16.0750000000000 ) );
#481 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#482 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#483 = ORIENTED_EDGE( '', *, *, #671, .T. );
#484 = ORIENTED_EDGE( '', *, *, #672, .F. );
#485 = CARTESIAN_POINT( '', ( 14.4365000000000, 6.93513333333333, 0.000000000000000 ) );
#486 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#487 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#488 = ORIENTED_EDGE( '', *, *, #672, .T. );
#489 = ORIENTED_EDGE( '', *, *, #673, .F. );
#490 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#491 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#492 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#493 = ORIENTED_EDGE( '', *, *, #673, .T. );
#494 = ORIENTED_EDGE( '', *, *, #674, .F. );
#495 = CARTESIAN_POINT( '', ( 12.4365000000000, 4.01200000000000, 0.000000000000000 ) );
#496 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#497 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#498 = ORIENTED_EDGE( '', *, *, #674, .T. );
#499 = ORIENTED_EDGE( '', *, *, #628, .F. );
#500 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#501 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#502 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#503 = ORIENTED_EDGE( '', *, *, #671, .F. );
#504 = ORIENTED_EDGE( '', *, *, #642, .T. );
#505 = CARTESIAN_POINT( '', ( 16.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#506 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#507 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#508 = ORIENTED_EDGE( '', *, *, #629, .F. );
#509 = ORIENTED_EDGE( '', *, *, #675, .F. );
#510 = CARTESIAN_POINT( '', ( 16.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#511 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#512 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#513 = ORIENTED_EDGE( '', *, *, #675, .T. );
#514 = ORIENTED_EDGE( '', *, *, #668, .F. );
#515 = ORIENTED_EDGE( '', *, *, #640, .F. );
#516 = ORIENTED_EDGE( '', *, *, #653, .F. );
#517 = ORIENTED_EDGE( '', *, *, #636, .F. );
#518 = ORIENTED_EDGE( '', *, *, #658, .F. );
#519 = ORIENTED_EDGE( '', *, *, #659, .F. );
#520 = ORIENTED_EDGE( '', *, *, #663, .F. );
#521 = ORIENTED_EDGE( '', *, *, #665, .F. );
#522 = CARTESIAN_POINT( '', ( -16.0000000000000, 0.000000000000000, -0.000000000000000 ) );
#523 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#524 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#525 = ORIENTED_EDGE( '', *, *, #661, .T. );
#526 = ORIENTED_EDGE( '', *, *, #676, .F. );
#527 = CARTESIAN_POINT( '', ( -10.0750000000000, -14.6210000000000, 12.5750000000000 ) );
#528 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#529 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#530 = ORIENTED_EDGE( '', *, *, #676, .T. );
#531 = ORIENTED_EDGE( '', *, *, #677, .F. );
#532 = CARTESIAN_POINT( '', ( -10.0750000000000, -15.0000000000000, 12.5750000000000 ) );
#533 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#534 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#535 = ORIENTED_EDGE( '', *, *, #677, .T. );
#536 = ORIENTED_EDGE( '', *, *, #678, .F. );
#537 = CARTESIAN_POINT( '', ( -10.0750000000000, -6.00000000000000, 12.5750000000000 ) );
#538 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#539 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#540 = ORIENTED_EDGE( '', *, *, #678, .T. );
#541 = ORIENTED_EDGE( '', *, *, #679, .F. );
#542 = CARTESIAN_POINT( '', ( -10.0750000000000, -15.0000000000000, 12.5750000000000 ) );
#543 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#544 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#545 = ORIENTED_EDGE( '', *, *, #679, .T. );
#546 = ORIENTED_EDGE( '', *, *, #680, .F. );
#547 = CARTESIAN_POINT( '', ( -10.0750000000000, -0.500000000000000, 9.07500000000000 ) );
#548 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#549 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#550 = ORIENTED_EDGE( '', *, *, #680, .T. );
#551 = ORIENTED_EDGE( '', *, *, #630, .T. );
#552 = ORIENTED_EDGE( '', *, *, #650, .F. );
#553 = ORIENTED_EDGE( '', *, *, #638, .T. );
#554 = ORIENTED_EDGE( '', *, *, #667, .T. );
#555 = CARTESIAN_POINT( '', ( -10.0750000000000, -15.0000000000000, 12.5750000000000 ) );
#556 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#557 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#558 = ORIENTED_EDGE( '', *, *, #662, .T. );
#559 = ORIENTED_EDGE( '', *, *, #681, .F. );
#560 = CARTESIAN_POINT( '', ( 10.0750000000000, -14.6210000000000, -12.5750000000000 ) );
#561 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#562 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#563 = ORIENTED_EDGE( '', *, *, #681, .T. );
#564 = ORIENTED_EDGE( '', *, *, #682, .F. );
#565 = CARTESIAN_POINT( '', ( 10.0750000000000, -15.0000000000000, -12.5750000000000 ) );
#566 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#567 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#568 = ORIENTED_EDGE( '', *, *, #682, .T. );
#569 = ORIENTED_EDGE( '', *, *, #683, .F. );
#570 = CARTESIAN_POINT( '', ( 10.0750000000000, -6.00000000000000, -12.5750000000000 ) );
#571 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#572 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#573 = ORIENTED_EDGE( '', *, *, #683, .T. );
#574 = ORIENTED_EDGE( '', *, *, #670, .F. );
#575 = CARTESIAN_POINT( '', ( 10.0750000000000, -15.0000000000000, -12.5750000000000 ) );
#576 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#577 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#578 = EDGE_LOOP( '', ( #684 ) );
#579 = EDGE_LOOP( '', ( #685 ) );
#580 = AXIS2_PLACEMENT_3D( '', #686, #687, #688 );
#581 = EDGE_LOOP( '', ( #689 ) );
#582 = EDGE_LOOP( '', ( #690 ) );
#583 = AXIS2_PLACEMENT_3D( '', #691, #692, #693 );
#584 = EDGE_LOOP( '', ( #694 ) );
#585 = EDGE_LOOP( '', ( #695 ) );
#586 = AXIS2_PLACEMENT_3D( '', #696, #697, #698 );
#587 = EDGE_LOOP( '', ( #699 ) );
#588 = EDGE_LOOP( '', ( #700 ) );
#589 = AXIS2_PLACEMENT_3D( '', #701, #702, #703 );
#590 = EDGE_LOOP( '', ( #704 ) );
#591 = EDGE_LOOP( '', ( #705 ) );
#592 = AXIS2_PLACEMENT_3D( '', #706, #707, #708 );
#593 = EDGE_LOOP( '', ( #709 ) );
#594 = EDGE_LOOP( '', ( #710 ) );
#595 = AXIS2_PLACEMENT_3D( '', #711, #712, #713 );
#596 = EDGE_LOOP( '', ( #714 ) );
#597 = EDGE_LOOP( '', ( #715 ) );
#598 = AXIS2_PLACEMENT_3D( '', #716, #717, #718 );
#599 = EDGE_LOOP( '', ( #719 ) );
#600 = EDGE_LOOP( '', ( #720 ) );
#601 = AXIS2_PLACEMENT_3D( '', #721, #722, #723 );
#602 = EDGE_LOOP( '', ( #724 ) );
#603 = EDGE_LOOP( '', ( #725 ) );
#604 = AXIS2_PLACEMENT_3D( '', #726, #727, #728 );
#605 = EDGE_LOOP( '', ( #729 ) );
#606 = EDGE_LOOP( '', ( #730 ) );
#607 = AXIS2_PLACEMENT_3D( '', #731, #732, #733 );
#608 = EDGE_LOOP( '', ( #734 ) );
#609 = EDGE_LOOP( '', ( #735 ) );
#610 = AXIS2_PLACEMENT_3D( '', #736, #737, #738 );
#611 = EDGE_LOOP( '', ( #739 ) );
#612 = EDGE_LOOP( '', ( #740 ) );
#613 = AXIS2_PLACEMENT_3D( '', #741, #742, #743 );
#614 = EDGE_LOOP( '', ( #744 ) );
#615 = EDGE_LOOP( '', ( #745 ) );
#616 = AXIS2_PLACEMENT_3D( '', #746, #747, #748 );
#617 = EDGE_LOOP( '', ( #749 ) );
#618 = EDGE_LOOP( '', ( #750 ) );
#619 = AXIS2_PLACEMENT_3D( '', #751, #752, #753 );
#620 = EDGE_LOOP( '', ( #754 ) );
#621 = EDGE_LOOP( '', ( #755 ) );
#622 = AXIS2_PLACEMENT_3D( '', #756, #757, #758 );
#623 = EDGE_LOOP( '', ( #759 ) );
#624 = EDGE_LOOP( '', ( #760 ) );
#625 = AXIS2_PLACEMENT_3D( '', #761, #762, #763 );
#626 = EDGE_CURVE( '', #764, #764, #765, .T. );
#627 = EDGE_CURVE( '', #766, #766, #767, .T. );
#628 = EDGE_CURVE( '', #768, #768, #769, .T. );
#629 = EDGE_CURVE( '', #770, #770, #771, .T. );
#630 = EDGE_CURVE( '', #772, #773, #774, .F. );
#631 = EDGE_CURVE( '', #775, #772, #776, .T. );
#632 = EDGE_CURVE( '', #777, #775, #778, .T. );
#633 = EDGE_CURVE( '', #777, #773, #779, .T. );
#634 = EDGE_CURVE( '', #780, #781, #782, .F. );
#635 = EDGE_CURVE( '', #780, #783, #784, .T. );
#636 = EDGE_CURVE( '', #783, #785, #786, .T. );
#637 = EDGE_CURVE( '', #781, #785, #787, .T. );
#638 = EDGE_CURVE( '', #788, #789, #790, .F. );
#639 = EDGE_CURVE( '', #788, #791, #792, .T. );
#640 = EDGE_CURVE( '', #791, #793, #794, .T. );
#641 = EDGE_CURVE( '', #789, #793, #795, .T. );
#642 = EDGE_CURVE( '', #796, #796, #797, .T. );
#643 = EDGE_CURVE( '', #775, #798, #799, .T. );
#644 = EDGE_CURVE( '', #798, #800, #801, .T. );
#645 = EDGE_CURVE( '', #800, #802, #803, .T. );
#646 = EDGE_CURVE( '', #802, #804, #805, .T. );
#647 = EDGE_CURVE( '', #804, #806, #807, .T. );
#648 = EDGE_CURVE( '', #806, #808, #809, .T. );
#649 = EDGE_CURVE( '', #808, #777, #810, .T. );
#650 = EDGE_CURVE( '', #788, #773, #811, .T. );
#651 = EDGE_CURVE( '', #808, #812, #813, .T. );
#652 = EDGE_CURVE( '', #781, #812, #814, .F. );
#653 = EDGE_CURVE( '', #785, #791, #815, .T. );
#654 = EDGE_CURVE( '', #812, #816, #817, .F. );
#655 = EDGE_CURVE( '', #806, #816, #818, .T. );
#656 = EDGE_CURVE( '', #816, #780, #819, .F. );
#657 = EDGE_CURVE( '', #804, #820, #821, .T. );
#658 = EDGE_CURVE( '', #820, #783, #822, .T. );
#659 = EDGE_CURVE( '', #823, #820, #824, .T. );
#660 = EDGE_CURVE( '', #802, #823, #825, .T. );
#661 = EDGE_CURVE( '', #826, #826, #827, .T. );
#662 = EDGE_CURVE( '', #828, #828, #829, .T. );
#663 = EDGE_CURVE( '', #830, #823, #831, .T. );
#664 = EDGE_CURVE( '', #800, #830, #832, .T. );
#665 = EDGE_CURVE( '', #833, #830, #834, .T. );
#666 = EDGE_CURVE( '', #798, #833, #835, .T. );
#667 = EDGE_CURVE( '', #789, #772, #836, .F. );
#668 = EDGE_CURVE( '', #793, #833, #837, .T. );
#669 = EDGE_CURVE( '', #838, #838, #839, .T. );
#670 = EDGE_CURVE( '', #840, #840, #841, .T. );
#671 = EDGE_CURVE( '', #842, #842, #843, .T. );
#672 = EDGE_CURVE( '', #844, #844, #845, .T. );
#673 = EDGE_CURVE( '', #846, #846, #847, .T. );
#674 = EDGE_CURVE( '', #848, #848, #849, .T. );
#675 = EDGE_CURVE( '', #850, #850, #851, .T. );
#676 = EDGE_CURVE( '', #852, #852, #853, .T. );
#677 = EDGE_CURVE( '', #854, #854, #855, .T. );
#678 = EDGE_CURVE( '', #856, #856, #857, .T. );
#679 = EDGE_CURVE( '', #858, #858, #859, .T. );
#680 = EDGE_CURVE( '', #860, #860, #861, .T. );
#681 = EDGE_CURVE( '', #862, #862, #863, .T. );
#682 = EDGE_CURVE( '', #864, #864, #865, .T. );
#683 = EDGE_CURVE( '', #866, #866, #867, .T. );
#684 = ORIENTED_EDGE( '', *, *, #868, .T. );
#685 = ORIENTED_EDGE( '', *, *, #869, .F. );
#686 = CARTESIAN_POINT( '', ( 7.00000000000000, 7.60000000000000, 0.000000000000000 ) );
#687 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#688 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#689 = ORIENTED_EDGE( '', *, *, #869, .T. );
#690 = ORIENTED_EDGE( '', *, *, #870, .F. );
#691 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#692 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#693 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#694 = ORIENTED_EDGE( '', *, *, #870, .T. );
#695 = ORIENTED_EDGE( '', *, *, #871, .T. );
#696 = CARTESIAN_POINT( '', ( 8.14000000000000, 7.99550000000000, 0.000000000000000 ) );
#697 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#698 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#699 = ORIENTED_EDGE( '', *, *, #871, .F. );
#700 = ORIENTED_EDGE( '', *, *, #868, .F. );
#701 = CARTESIAN_POINT( '', ( 16.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#702 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#703 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#704 = ORIENTED_EDGE( '', *, *, #872, .T. );
#705 = ORIENTED_EDGE( '', *, *, #873, .F. );
#706 = CARTESIAN_POINT( '', ( 2.66500000000000, 6.60000000000000, 0.000000000000000 ) );
#707 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#708 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#709 = ORIENTED_EDGE( '', *, *, #873, .T. );
#710 = ORIENTED_EDGE( '', *, *, #874, .F. );
#711 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#712 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#713 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#714 = ORIENTED_EDGE( '', *, *, #874, .T. );
#715 = ORIENTED_EDGE( '', *, *, #875, .T. );
#716 = CARTESIAN_POINT( '', ( 4.66500000000000, 7.99550000000000, 0.000000000000000 ) );
#717 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#718 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#719 = ORIENTED_EDGE( '', *, *, #875, .F. );
#720 = ORIENTED_EDGE( '', *, *, #872, .F. );
#721 = CARTESIAN_POINT( '', ( 16.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#722 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#723 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#724 = ORIENTED_EDGE( '', *, *, #876, .T. );
#725 = ORIENTED_EDGE( '', *, *, #877, .F. );
#726 = CARTESIAN_POINT( '', ( -4.66500000000000, 6.60000000000000, 0.000000000000000 ) );
#727 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#728 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#729 = ORIENTED_EDGE( '', *, *, #877, .T. );
#730 = ORIENTED_EDGE( '', *, *, #878, .F. );
#731 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#732 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#733 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#734 = ORIENTED_EDGE( '', *, *, #878, .T. );
#735 = ORIENTED_EDGE( '', *, *, #879, .T. );
#736 = CARTESIAN_POINT( '', ( -2.66500000000000, 7.99550000000000, 0.000000000000000 ) );
#737 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#738 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#739 = ORIENTED_EDGE( '', *, *, #879, .F. );
#740 = ORIENTED_EDGE( '', *, *, #876, .F. );
#741 = CARTESIAN_POINT( '', ( 16.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#742 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#743 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#744 = ORIENTED_EDGE( '', *, *, #880, .T. );
#745 = ORIENTED_EDGE( '', *, *, #881, .F. );
#746 = CARTESIAN_POINT( '', ( -8.14000000000000, 7.60000000000000, 0.000000000000000 ) );
#747 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#748 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#749 = ORIENTED_EDGE( '', *, *, #881, .T. );
#750 = ORIENTED_EDGE( '', *, *, #882, .F. );
#751 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#752 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, 0.000000000000000 ) );
#753 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#754 = ORIENTED_EDGE( '', *, *, #882, .T. );
#755 = ORIENTED_EDGE( '', *, *, #883, .T. );
#756 = CARTESIAN_POINT( '', ( -7.00000000000000, 7.99550000000000, 0.000000000000000 ) );
#757 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#758 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#759 = ORIENTED_EDGE( '', *, *, #883, .F. );
#760 = ORIENTED_EDGE( '', *, *, #880, .F. );
#761 = CARTESIAN_POINT( '', ( 16.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#762 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#763 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#764 = VERTEX_POINT( '', #884 );
#765 = CIRCLE( '', #885, 6.93513333333333 );
#766 = VERTEX_POINT( '', #886 );
#767 = CIRCLE( '', #887, 6.93513333333333 );
#768 = VERTEX_POINT( '', #888 );
#769 = CIRCLE( '', #889, 4.01200000000000 );
#770 = VERTEX_POINT( '', #890 );
#771 = CIRCLE( '', #891, 7.99550000000000 );
#772 = VERTEX_POINT( '', #892 );
#773 = VERTEX_POINT( '', #893 );
#774 = ELLIPSE( '', #894, 4.56944053665518, 3.50000000000000 );
#775 = VERTEX_POINT( '', #895 );
#776 = LINE( '', #896, #897 );
#777 = VERTEX_POINT( '', #898 );
#778 = LINE( '', #899, #900 );
#779 = LINE( '', #901, #902 );
#780 = VERTEX_POINT( '', #903 );
#781 = VERTEX_POINT( '', #904 );
#782 = ELLIPSE( '', #905, 4.56944053665518, 3.50000000000000 );
#783 = VERTEX_POINT( '', #906 );
#784 = LINE( '', #907, #908 );
#785 = VERTEX_POINT( '', #909 );
#786 = LINE( '', #910, #911 );
#787 = LINE( '', #912, #913 );
#788 = VERTEX_POINT( '', #914 );
#789 = VERTEX_POINT( '', #915 );
#790 = ELLIPSE( '', #916, 4.56944053665518, 3.50000000000000 );
#791 = VERTEX_POINT( '', #917 );
#792 = LINE( '', #918, #919 );
#793 = VERTEX_POINT( '', #920 );
#794 = LINE( '', #921, #922 );
#795 = LINE( '', #923, #924 );
#796 = VERTEX_POINT( '', #925 );
#797 = CIRCLE( '', #926, 7.99550000000000 );
#798 = VERTEX_POINT( '', #927 );
#799 = LINE( '', #928, #929 );
#800 = VERTEX_POINT( '', #930 );
#801 = LINE( '', #931, #932 );
#802 = VERTEX_POINT( '', #933 );
#803 = LINE( '', #934, #935 );
#804 = VERTEX_POINT( '', #936 );
#805 = LINE( '', #937, #938 );
#806 = VERTEX_POINT( '', #939 );
#807 = LINE( '', #940, #941 );
#808 = VERTEX_POINT( '', #942 );
#809 = LINE( '', #943, #944 );
#810 = LINE( '', #945, #946 );
#811 = CIRCLE( '', #947, 3.50000000000000 );
#812 = VERTEX_POINT( '', #948 );
#813 = LINE( '', #949, #950 );
#814 = CIRCLE( '', #951, 3.50000000000000 );
#815 = LINE( '', #952, #953 );
#816 = VERTEX_POINT( '', #954 );
#817 = ELLIPSE( '', #955, 4.56944053665518, 3.50000000000000 );
#818 = LINE( '', #956, #957 );
#819 = CIRCLE( '', #958, 3.50000000000000 );
#820 = VERTEX_POINT( '', #959 );
#821 = LINE( '', #960, #961 );
#822 = LINE( '', #962, #963 );
#823 = VERTEX_POINT( '', #964 );
#824 = LINE( '', #965, #966 );
#825 = LINE( '', #967, #968 );
#826 = VERTEX_POINT( '', #969 );
#827 = CIRCLE( '', #970, 2.00000000000000 );
#828 = VERTEX_POINT( '', #971 );
#829 = CIRCLE( '', #972, 2.00000000000000 );
#830 = VERTEX_POINT( '', #973 );
#831 = LINE( '', #974, #975 );
#832 = LINE( '', #976, #977 );
#833 = VERTEX_POINT( '', #978 );
#834 = LINE( '', #979, #980 );
#835 = LINE( '', #981, #982 );
#836 = CIRCLE( '', #983, 3.50000000000000 );
#837 = LINE( '', #984, #985 );
#838 = VERTEX_POINT( '', #986 );
#839 = CIRCLE( '', #987, 3.50000000000000 );
#840 = VERTEX_POINT( '', #988 );
#841 = CIRCLE( '', #989, 2.00000000000000 );
#842 = VERTEX_POINT( '', #990 );
#843 = CIRCLE( '', #991, 7.99550000000000 );
#844 = VERTEX_POINT( '', #992 );
#845 = CIRCLE( '', #993, 6.93513333333333 );
#846 = VERTEX_POINT( '', #994 );
#847 = CIRCLE( '', #995, 6.93513333333333 );
#848 = VERTEX_POINT( '', #996 );
#849 = CIRCLE( '', #997, 4.01200000000000 );
#850 = VERTEX_POINT( '', #998 );
#851 = CIRCLE( '', #999, 7.99550000000000 );
#852 = VERTEX_POINT( '', #1000 );
#853 = CIRCLE( '', #1001, 1.62100000000000 );
#854 = VERTEX_POINT( '', #1002 );
#855 = CIRCLE( '', #1003, 1.62100000000000 );
#856 = VERTEX_POINT( '', #1004 );
#857 = CIRCLE( '', #1005, 2.00000000000000 );
#858 = VERTEX_POINT( '', #1006 );
#859 = CIRCLE( '', #1007, 2.00000000000000 );
#860 = VERTEX_POINT( '', #1008 );
#861 = CIRCLE( '', #1009, 3.50000000000000 );
#862 = VERTEX_POINT( '', #1010 );
#863 = CIRCLE( '', #1011, 1.62100000000000 );
#864 = VERTEX_POINT( '', #1012 );
#865 = CIRCLE( '', #1013, 1.62100000000000 );
#866 = VERTEX_POINT( '', #1014 );
#867 = CIRCLE( '', #1015, 2.00000000000000 );
#868 = EDGE_CURVE( '', #1016, #1016, #1017, .T. );
#869 = EDGE_CURVE( '', #1018, #1018, #1019, .T. );
#870 = EDGE_CURVE( '', #1020, #1020, #1021, .T. );
#871 = EDGE_CURVE( '', #1022, #1022, #1023, .T. );
#872 = EDGE_CURVE( '', #1024, #1024, #1025, .T. );
#873 = EDGE_CURVE( '', #1026, #1026, #1027, .T. );
#874 = EDGE_CURVE( '', #1028, #1028, #1029, .T. );
#875 = EDGE_CURVE( '', #1030, #1030, #1031, .T. );
#876 = EDGE_CURVE( '', #1032, #1032, #1033, .T. );
#877 = EDGE_CURVE( '', #1034, #1034, #1035, .T. );
#878 = EDGE_CURVE( '', #1036, #1036, #1037, .T. );
#879 = EDGE_CURVE( '', #1038, #1038, #1039, .T. );
#880 = EDGE_CURVE( '', #1040, #1040, #1041, .T. );
#881 = EDGE_CURVE( '', #1042, #1042, #1043, .T. );
#882 = EDGE_CURVE( '', #1044, #1044, #1045, .T. );
#883 = EDGE_CURVE( '', #1046, #1046, #1047, .T. );
#884 = CARTESIAN_POINT( '', ( -12.4365000000000, 0.000000000000000, -6.93513333333333 ) );
#885 = AXIS2_PLACEMENT_3D( '', #1048, #1049, #1050 );
#886 = CARTESIAN_POINT( '', ( -14.4365000000000, 0.000000000000000, -6.93513333333333 ) );
#887 = AXIS2_PLACEMENT_3D( '', #1051, #1052, #1053 );
#888 = CARTESIAN_POINT( '', ( -12.4365000000000, 0.000000000000000, -4.01200000000000 ) );
#889 = AXIS2_PLACEMENT_3D( '', #1054, #1055, #1056 );
#890 = CARTESIAN_POINT( '', ( -14.4365000000000, 0.000000000000000, 7.99550000000000 ) );
#891 = AXIS2_PLACEMENT_3D( '', #1057, #1058, #1059 );
#892 = CARTESIAN_POINT( '', ( -7.15192370951424, 9.50000000000000, 14.5000000000000 ) );
#893 = CARTESIAN_POINT( '', ( -7.38986033882779, 13.0000000000000, 10.3300000000000 ) );
#894 = AXIS2_PLACEMENT_3D( '', #1060, #1061, #1062 );
#895 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, 14.5000000000000 ) );
#896 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, 14.5000000000000 ) );
#897 = VECTOR( '', #1063, 1000.00000000000 );
#898 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, 10.3300000000000 ) );
#899 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, 10.3300000000000 ) );
#900 = VECTOR( '', #1064, 1000.00000000000 );
#901 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, 10.3300000000000 ) );
#902 = VECTOR( '', #1065, 1000.00000000000 );
#903 = CARTESIAN_POINT( '', ( 7.15192370951424, 9.50000000000000, -14.5000000000000 ) );
#904 = CARTESIAN_POINT( '', ( 7.38986033882779, 13.0000000000000, -10.3300000000000 ) );
#905 = AXIS2_PLACEMENT_3D( '', #1066, #1067, #1068 );
#906 = CARTESIAN_POINT( '', ( -16.0000000000000, 9.50000000000000, -14.5000000000000 ) );
#907 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, -14.5000000000000 ) );
#908 = VECTOR( '', #1069, 1000.00000000000 );
#909 = CARTESIAN_POINT( '', ( -16.0000000000000, 13.0000000000000, -10.3300000000000 ) );
#910 = CARTESIAN_POINT( '', ( -16.0000000000000, 9.50000000000000, -14.5000000000000 ) );
#911 = VECTOR( '', #1070, 1000.00000000000 );
#912 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, -10.3300000000000 ) );
#913 = VECTOR( '', #1071, 1000.00000000000 );
#914 = CARTESIAN_POINT( '', ( -12.7601396611722, 13.0000000000000, 10.3300000000000 ) );
#915 = CARTESIAN_POINT( '', ( -12.9980762904858, 9.50000000000000, 14.5000000000000 ) );
#916 = AXIS2_PLACEMENT_3D( '', #1072, #1073, #1074 );
#917 = CARTESIAN_POINT( '', ( -16.0000000000000, 13.0000000000000, 10.3300000000000 ) );
#918 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, 10.3300000000000 ) );
#919 = VECTOR( '', #1075, 1000.00000000000 );
#920 = CARTESIAN_POINT( '', ( -16.0000000000000, 9.50000000000000, 14.5000000000000 ) );
#921 = CARTESIAN_POINT( '', ( -16.0000000000000, 13.0000000000000, 10.3300000000000 ) );
#922 = VECTOR( '', #1076, 1000.00000000000 );
#923 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, 14.5000000000000 ) );
#924 = VECTOR( '', #1077, 1000.00000000000 );
#925 = CARTESIAN_POINT( '', ( 16.0000000000000, 0.000000000000000, -7.99550000000000 ) );
#926 = AXIS2_PLACEMENT_3D( '', #1078, #1079, #1080 );
#927 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, 17.5000000000000 ) );
#928 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, 14.5000000000000 ) );
#929 = VECTOR( '', #1081, 1000.00000000000 );
#930 = CARTESIAN_POINT( '', ( 16.0000000000000, -15.0000000000000, 17.5000000000000 ) );
#931 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, 17.5000000000000 ) );
#932 = VECTOR( '', #1082, 1000.00000000000 );
#933 = CARTESIAN_POINT( '', ( 16.0000000000000, -15.0000000000000, -17.5000000000000 ) );
#934 = CARTESIAN_POINT( '', ( 16.0000000000000, -15.0000000000000, 17.5000000000000 ) );
#935 = VECTOR( '', #1083, 1000.00000000000 );
#936 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, -17.5000000000000 ) );
#937 = CARTESIAN_POINT( '', ( 16.0000000000000, -15.0000000000000, -17.5000000000000 ) );
#938 = VECTOR( '', #1084, 1000.00000000000 );
#939 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, -14.5000000000000 ) );
#940 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, -17.5000000000000 ) );
#941 = VECTOR( '', #1085, 1000.00000000000 );
#942 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, -10.3300000000000 ) );
#943 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, -14.5000000000000 ) );
#944 = VECTOR( '', #1086, 1000.00000000000 );
#945 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, -10.3300000000000 ) );
#946 = VECTOR( '', #1087, 1000.00000000000 );
#947 = AXIS2_PLACEMENT_3D( '', #1088, #1089, #1090 );
#948 = CARTESIAN_POINT( '', ( 12.7601396611722, 13.0000000000000, -10.3300000000000 ) );
#949 = CARTESIAN_POINT( '', ( 16.0000000000000, 13.0000000000000, -10.3300000000000 ) );
#950 = VECTOR( '', #1091, 1000.00000000000 );
#951 = AXIS2_PLACEMENT_3D( '', #1092, #1093, #1094 );
#952 = CARTESIAN_POINT( '', ( -16.0000000000000, 13.0000000000000, -10.3300000000000 ) );
#953 = VECTOR( '', #1095, 1000.00000000000 );
#954 = CARTESIAN_POINT( '', ( 12.9980762904858, 9.50000000000000, -14.5000000000000 ) );
#955 = AXIS2_PLACEMENT_3D( '', #1096, #1097, #1098 );
#956 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, -14.5000000000000 ) );
#957 = VECTOR( '', #1099, 1000.00000000000 );
#958 = AXIS2_PLACEMENT_3D( '', #1100, #1101, #1102 );
#959 = CARTESIAN_POINT( '', ( -16.0000000000000, 9.50000000000000, -17.5000000000000 ) );
#960 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, -17.5000000000000 ) );
#961 = VECTOR( '', #1103, 1000.00000000000 );
#962 = CARTESIAN_POINT( '', ( -16.0000000000000, 9.50000000000000, -17.5000000000000 ) );
#963 = VECTOR( '', #1104, 1000.00000000000 );
#964 = CARTESIAN_POINT( '', ( -16.0000000000000, -15.0000000000000, -17.5000000000000 ) );
#965 = CARTESIAN_POINT( '', ( -16.0000000000000, -15.0000000000000, -17.5000000000000 ) );
#966 = VECTOR( '', #1105, 1000.00000000000 );
#967 = CARTESIAN_POINT( '', ( 16.0000000000000, -15.0000000000000, -17.5000000000000 ) );
#968 = VECTOR( '', #1106, 1000.00000000000 );
#969 = CARTESIAN_POINT( '', ( -10.0750000000000, -15.0000000000000, 10.5750000000000 ) );
#970 = AXIS2_PLACEMENT_3D( '', #1107, #1108, #1109 );
#971 = CARTESIAN_POINT( '', ( 10.0750000000000, -15.0000000000000, -14.5750000000000 ) );
#972 = AXIS2_PLACEMENT_3D( '', #1110, #1111, #1112 );
#973 = CARTESIAN_POINT( '', ( -16.0000000000000, -15.0000000000000, 17.5000000000000 ) );
#974 = CARTESIAN_POINT( '', ( -16.0000000000000, -15.0000000000000, 17.5000000000000 ) );
#975 = VECTOR( '', #1113, 1000.00000000000 );
#976 = CARTESIAN_POINT( '', ( 16.0000000000000, -15.0000000000000, 17.5000000000000 ) );
#977 = VECTOR( '', #1114, 1000.00000000000 );
#978 = CARTESIAN_POINT( '', ( -16.0000000000000, 9.50000000000000, 17.5000000000000 ) );
#979 = CARTESIAN_POINT( '', ( -16.0000000000000, 9.50000000000000, 17.5000000000000 ) );
#980 = VECTOR( '', #1115, 1000.00000000000 );
#981 = CARTESIAN_POINT( '', ( 16.0000000000000, 9.50000000000000, 17.5000000000000 ) );
#982 = VECTOR( '', #1116, 1000.00000000000 );
#983 = AXIS2_PLACEMENT_3D( '', #1117, #1118, #1119 );
#984 = CARTESIAN_POINT( '', ( -16.0000000000000, 9.50000000000000, 14.5000000000000 ) );
#985 = VECTOR( '', #1120, 1000.00000000000 );
#986 = CARTESIAN_POINT( '', ( 10.0750000000000, -0.500000000000000, -16.0750000000000 ) );
#987 = AXIS2_PLACEMENT_3D( '', #1121, #1122, #1123 );
#988 = CARTESIAN_POINT( '', ( 10.0750000000000, -0.500000000000000, -14.5750000000000 ) );
#989 = AXIS2_PLACEMENT_3D( '', #1124, #1125, #1126 );
#990 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, -7.99550000000000 ) );
#991 = AXIS2_PLACEMENT_3D( '', #1127, #1128, #1129 );
#992 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, -6.93513333333333 ) );
#993 = AXIS2_PLACEMENT_3D( '', #1130, #1131, #1132 );
#994 = CARTESIAN_POINT( '', ( 12.4365000000000, 0.000000000000000, -6.93513333333333 ) );
#995 = AXIS2_PLACEMENT_3D( '', #1133, #1134, #1135 );
#996 = CARTESIAN_POINT( '', ( 12.4365000000000, 0.000000000000000, -4.01200000000000 ) );
#997 = AXIS2_PLACEMENT_3D( '', #1136, #1137, #1138 );
#998 = CARTESIAN_POINT( '', ( -16.0000000000000, 0.000000000000000, -7.99550000000000 ) );
#999 = AXIS2_PLACEMENT_3D( '', #1139, #1140, #1141 );
#1000 = CARTESIAN_POINT( '', ( -10.0750000000000, -14.6210000000000, 10.9540000000000 ) );
#1001 = AXIS2_PLACEMENT_3D( '', #1142, #1143, #1144 );
#1002 = CARTESIAN_POINT( '', ( -10.0750000000000, -6.37900000000000, 10.9540000000000 ) );
#1003 = AXIS2_PLACEMENT_3D( '', #1145, #1146, #1147 );
#1004 = CARTESIAN_POINT( '', ( -10.0750000000000, -6.00000000000000, 10.5750000000000 ) );
#1005 = AXIS2_PLACEMENT_3D( '', #1148, #1149, #1150 );
#1006 = CARTESIAN_POINT( '', ( -10.0750000000000, -0.500000000000000, 10.5750000000000 ) );
#1007 = AXIS2_PLACEMENT_3D( '', #1151, #1152, #1153 );
#1008 = CARTESIAN_POINT( '', ( -10.0750000000000, -0.500000000000000, 9.07500000000000 ) );
#1009 = AXIS2_PLACEMENT_3D( '', #1154, #1155, #1156 );
#1010 = CARTESIAN_POINT( '', ( 10.0750000000000, -14.6210000000000, -14.1960000000000 ) );
#1011 = AXIS2_PLACEMENT_3D( '', #1157, #1158, #1159 );
#1012 = CARTESIAN_POINT( '', ( 10.0750000000000, -6.37900000000000, -14.1960000000000 ) );
#1013 = AXIS2_PLACEMENT_3D( '', #1160, #1161, #1162 );
#1014 = CARTESIAN_POINT( '', ( 10.0750000000000, -6.00000000000000, -14.5750000000000 ) );
#1015 = AXIS2_PLACEMENT_3D( '', #1163, #1164, #1165 );
#1016 = VERTEX_POINT( '', #1166 );
#1017 = CIRCLE( '', #1167, 7.99550000000000 );
#1018 = VERTEX_POINT( '', #1168 );
#1019 = CIRCLE( '', #1169, 7.60000000000000 );
#1020 = VERTEX_POINT( '', #1170 );
#1021 = CIRCLE( '', #1171, 7.60000000000000 );
#1022 = VERTEX_POINT( '', #1172 );
#1023 = CIRCLE( '', #1173, 7.99550000000000 );
#1024 = VERTEX_POINT( '', #1174 );
#1025 = CIRCLE( '', #1175, 7.99550000000000 );
#1026 = VERTEX_POINT( '', #1176 );
#1027 = CIRCLE( '', #1177, 6.60000000000000 );
#1028 = VERTEX_POINT( '', #1178 );
#1029 = CIRCLE( '', #1179, 6.60000000000000 );
#1030 = VERTEX_POINT( '', #1180 );
#1031 = CIRCLE( '', #1181, 7.99550000000000 );
#1032 = VERTEX_POINT( '', #1182 );
#1033 = CIRCLE( '', #1183, 7.99550000000000 );
#1034 = VERTEX_POINT( '', #1184 );
#1035 = CIRCLE( '', #1185, 6.60000000000000 );
#1036 = VERTEX_POINT( '', #1186 );
#1037 = CIRCLE( '', #1187, 6.60000000000000 );
#1038 = VERTEX_POINT( '', #1188 );
#1039 = CIRCLE( '', #1189, 7.99550000000000 );
#1040 = VERTEX_POINT( '', #1190 );
#1041 = CIRCLE( '', #1191, 7.99550000000000 );
#1042 = VERTEX_POINT( '', #1192 );
#1043 = CIRCLE( '', #1193, 7.60000000000000 );
#1044 = VERTEX_POINT( '', #1194 );
#1045 = CIRCLE( '', #1195, 7.60000000000000 );
#1046 = VERTEX_POINT( '', #1196 );
#1047 = CIRCLE( '', #1197, 7.99550000000000 );
#1048 = CARTESIAN_POINT( '', ( -12.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#1049 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1050 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1051 = CARTESIAN_POINT( '', ( -14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#1052 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1053 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1054 = CARTESIAN_POINT( '', ( -12.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#1055 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1056 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1057 = CARTESIAN_POINT( '', ( -14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#1058 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1059 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1060 = CARTESIAN_POINT( '', ( -10.0750000000000, 11.1157074340528, 12.5750000000000 ) );
#1061 = DIRECTION( '', ( 0.000000000000000, -0.765958101855942, -0.642890493164460 ) );
#1062 = DIRECTION( '', ( -0.000000000000000, -0.642890493164460, 0.765958101855942 ) );
#1063 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1064 = DIRECTION( '', ( 0.000000000000000, -0.642890493164460, 0.765958101855942 ) );
#1065 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1066 = CARTESIAN_POINT( '', ( 10.0750000000000, 11.1157074340528, -12.5750000000000 ) );
#1067 = DIRECTION( '', ( 0.000000000000000, -0.765958101855942, 0.642890493164460 ) );
#1068 = DIRECTION( '', ( 0.000000000000000, -0.642890493164460, -0.765958101855942 ) );
#1069 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1070 = DIRECTION( '', ( 0.000000000000000, 0.642890493164460, 0.765958101855942 ) );
#1071 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1072 = CARTESIAN_POINT( '', ( -10.0750000000000, 11.1157074340528, 12.5750000000000 ) );
#1073 = DIRECTION( '', ( 0.000000000000000, -0.765958101855942, -0.642890493164460 ) );
#1074 = DIRECTION( '', ( -0.000000000000000, -0.642890493164460, 0.765958101855942 ) );
#1075 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1076 = DIRECTION( '', ( 0.000000000000000, -0.642890493164460, 0.765958101855942 ) );
#1077 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1078 = CARTESIAN_POINT( '', ( 16.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#1079 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1080 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1081 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1082 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1083 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1084 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1085 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1086 = DIRECTION( '', ( 0.000000000000000, 0.642890493164460, 0.765958101855942 ) );
#1087 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1088 = CARTESIAN_POINT( '', ( -10.0750000000000, 13.0000000000000, 12.5750000000000 ) );
#1089 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1090 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1091 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1092 = CARTESIAN_POINT( '', ( 10.0750000000000, 13.0000000000000, -12.5750000000000 ) );
#1093 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1094 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1095 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1096 = CARTESIAN_POINT( '', ( 10.0750000000000, 11.1157074340528, -12.5750000000000 ) );
#1097 = DIRECTION( '', ( 0.000000000000000, -0.765958101855942, 0.642890493164460 ) );
#1098 = DIRECTION( '', ( 0.000000000000000, -0.642890493164460, -0.765958101855942 ) );
#1099 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1100 = CARTESIAN_POINT( '', ( 10.0750000000000, 9.50000000000000, -12.5750000000000 ) );
#1101 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1102 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1103 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1104 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1105 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1106 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1107 = CARTESIAN_POINT( '', ( -10.0750000000000, -15.0000000000000, 12.5750000000000 ) );
#1108 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1109 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1110 = CARTESIAN_POINT( '', ( 10.0750000000000, -15.0000000000000, -12.5750000000000 ) );
#1111 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1112 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1113 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1114 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1115 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1116 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#1117 = CARTESIAN_POINT( '', ( -10.0750000000000, 9.50000000000000, 12.5750000000000 ) );
#1118 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1119 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1120 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1121 = CARTESIAN_POINT( '', ( 10.0750000000000, -0.500000000000000, -12.5750000000000 ) );
#1122 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1123 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1124 = CARTESIAN_POINT( '', ( 10.0750000000000, -0.500000000000000, -12.5750000000000 ) );
#1125 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1126 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1127 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#1128 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1129 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1130 = CARTESIAN_POINT( '', ( 14.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#1131 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1132 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1133 = CARTESIAN_POINT( '', ( 12.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#1134 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1135 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1136 = CARTESIAN_POINT( '', ( 12.4365000000000, 0.000000000000000, 0.000000000000000 ) );
#1137 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1138 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1139 = CARTESIAN_POINT( '', ( -16.0000000000000, 0.000000000000000, 0.000000000000000 ) );
#1140 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1141 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1142 = CARTESIAN_POINT( '', ( -10.0750000000000, -14.6210000000000, 12.5750000000000 ) );
#1143 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1144 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1145 = CARTESIAN_POINT( '', ( -10.0750000000000, -6.37900000000000, 12.5750000000000 ) );
#1146 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1147 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1148 = CARTESIAN_POINT( '', ( -10.0750000000000, -6.00000000000000, 12.5750000000000 ) );
#1149 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1150 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1151 = CARTESIAN_POINT( '', ( -10.0750000000000, -0.500000000000000, 12.5750000000000 ) );
#1152 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1153 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1154 = CARTESIAN_POINT( '', ( -10.0750000000000, -0.500000000000000, 12.5750000000000 ) );
#1155 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1156 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1157 = CARTESIAN_POINT( '', ( 10.0750000000000, -14.6210000000000, -12.5750000000000 ) );
#1158 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1159 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1160 = CARTESIAN_POINT( '', ( 10.0750000000000, -6.37900000000000, -12.5750000000000 ) );
#1161 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1162 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1163 = CARTESIAN_POINT( '', ( 10.0750000000000, -6.00000000000000, -12.5750000000000 ) );
#1164 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#1165 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1166 = CARTESIAN_POINT( '', ( 7.00000000000000, 0.000000000000000, -7.99550000000000 ) );
#1167 = AXIS2_PLACEMENT_3D( '', #1198, #1199, #1200 );
#1168 = CARTESIAN_POINT( '', ( 7.00000000000000, 0.000000000000000, -7.60000000000000 ) );
#1169 = AXIS2_PLACEMENT_3D( '', #1201, #1202, #1203 );
#1170 = CARTESIAN_POINT( '', ( 8.14000000000000, 0.000000000000000, -7.60000000000000 ) );
#1171 = AXIS2_PLACEMENT_3D( '', #1204, #1205, #1206 );
#1172 = CARTESIAN_POINT( '', ( 8.14000000000000, 0.000000000000000, 7.99550000000000 ) );
#1173 = AXIS2_PLACEMENT_3D( '', #1207, #1208, #1209 );
#1174 = CARTESIAN_POINT( '', ( 2.66500000000000, 0.000000000000000, -7.99550000000000 ) );
#1175 = AXIS2_PLACEMENT_3D( '', #1210, #1211, #1212 );
#1176 = CARTESIAN_POINT( '', ( 2.66500000000000, 0.000000000000000, -6.60000000000000 ) );
#1177 = AXIS2_PLACEMENT_3D( '', #1213, #1214, #1215 );
#1178 = CARTESIAN_POINT( '', ( 4.66500000000000, 0.000000000000000, -6.60000000000000 ) );
#1179 = AXIS2_PLACEMENT_3D( '', #1216, #1217, #1218 );
#1180 = CARTESIAN_POINT( '', ( 4.66500000000000, 0.000000000000000, 7.99550000000000 ) );
#1181 = AXIS2_PLACEMENT_3D( '', #1219, #1220, #1221 );
#1182 = CARTESIAN_POINT( '', ( -4.66500000000000, 0.000000000000000, -7.99550000000000 ) );
#1183 = AXIS2_PLACEMENT_3D( '', #1222, #1223, #1224 );
#1184 = CARTESIAN_POINT( '', ( -4.66500000000000, 0.000000000000000, -6.60000000000000 ) );
#1185 = AXIS2_PLACEMENT_3D( '', #1225, #1226, #1227 );
#1186 = CARTESIAN_POINT( '', ( -2.66500000000000, 0.000000000000000, -6.60000000000000 ) );
#1187 = AXIS2_PLACEMENT_3D( '', #1228, #1229, #1230 );
#1188 = CARTESIAN_POINT( '', ( -2.66500000000000, 0.000000000000000, 7.99550000000000 ) );
#1189 = AXIS2_PLACEMENT_3D( '', #1231, #1232, #1233 );
#1190 = CARTESIAN_POINT( '', ( -8.14000000000000, 0.000000000000000, -7.99550000000000 ) );
#1191 = AXIS2_PLACEMENT_3D( '', #1234, #1235, #1236 );
#1192 = CARTESIAN_POINT( '', ( -8.14000000000000, 0.000000000000000, -7.60000000000000 ) );
#1193 = AXIS2_PLACEMENT_3D( '', #1237, #1238, #1239 );
#1194 = CARTESIAN_POINT( '', ( -7.00000000000000, 0.000000000000000, -7.60000000000000 ) );
#1195 = AXIS2_PLACEMENT_3D( '', #1240, #1241, #1242 );
#1196 = CARTESIAN_POINT( '', ( -7.00000000000000, 0.000000000000000, 7.99550000000000 ) );
#1197 = AXIS2_PLACEMENT_3D( '', #1243, #1244, #1245 );
#1198 = CARTESIAN_POINT( '', ( 7.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1199 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1200 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1201 = CARTESIAN_POINT( '', ( 7.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1202 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1203 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1204 = CARTESIAN_POINT( '', ( 8.14000000000000, 0.000000000000000, 0.000000000000000 ) );
#1205 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1206 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1207 = CARTESIAN_POINT( '', ( 8.14000000000000, 0.000000000000000, 0.000000000000000 ) );
#1208 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1209 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1210 = CARTESIAN_POINT( '', ( 2.66500000000000, 0.000000000000000, 0.000000000000000 ) );
#1211 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1212 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1213 = CARTESIAN_POINT( '', ( 2.66500000000000, 0.000000000000000, 0.000000000000000 ) );
#1214 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1215 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1216 = CARTESIAN_POINT( '', ( 4.66500000000000, 0.000000000000000, 0.000000000000000 ) );
#1217 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1218 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1219 = CARTESIAN_POINT( '', ( 4.66500000000000, 0.000000000000000, 0.000000000000000 ) );
#1220 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1221 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1222 = CARTESIAN_POINT( '', ( -4.66500000000000, 0.000000000000000, 0.000000000000000 ) );
#1223 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1224 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1225 = CARTESIAN_POINT( '', ( -4.66500000000000, 0.000000000000000, 0.000000000000000 ) );
#1226 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1227 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1228 = CARTESIAN_POINT( '', ( -2.66500000000000, 0.000000000000000, 0.000000000000000 ) );
#1229 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1230 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1231 = CARTESIAN_POINT( '', ( -2.66500000000000, 0.000000000000000, 0.000000000000000 ) );
#1232 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1233 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1234 = CARTESIAN_POINT( '', ( -8.14000000000000, 0.000000000000000, 0.000000000000000 ) );
#1235 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1236 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1237 = CARTESIAN_POINT( '', ( -8.14000000000000, 0.000000000000000, 0.000000000000000 ) );
#1238 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1239 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1240 = CARTESIAN_POINT( '', ( -7.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1241 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#1242 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1243 = CARTESIAN_POINT( '', ( -7.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1244 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1245 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
ENDSEC;
END-ISO-10303-21;