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