ISO-10303-21;
HEADER;
FILE_DESCRIPTION( ( 'STEP AP203' ), ' ' );
FILE_NAME( 'p:/temp/worker_54/3480_4640/app_56_02016031111564653154107192d056f_000000_00_00_000000/format_0/PBG112.025007510.stp', '2016-03-11T10:56: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, 11, 2 );
#31 = LOCAL_TIME( 11, 56, 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( '_PBG112.025007510', '_PBG112.025007510', 'PART-_PBG112.025007510-DESC', ( #54 ) );
#39 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #37 );
#40 = ADVANCED_BREP_SHAPE_REPRESENTATION( '_PBG112.025007510', ( #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 = MANIFOLD_SOLID_BREP( '_PBG112.025007510', #70 );
#56 = AXIS2_PLACEMENT_3D( '', #71, #72, #73 );
#59 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #74 );
#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( '', ( #75, #76, #77, #78, #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 ) );
#71 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#72 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#73 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#74 =  ( LENGTH_UNIT(  )NAMED_UNIT( #62 )SI_UNIT( .MILLI., .METRE. ) );
#75 = ADVANCED_FACE( '', ( #112, #113, #114, #115, #116, #117, #118, #119, #120, #121, #122 ), #123, .F. );
#76 = ADVANCED_FACE( '', ( #124, #125 ), #126, .T. );
#77 = ADVANCED_FACE( '', ( #127 ), #128, .F. );
#78 = ADVANCED_FACE( '', ( #129 ), #130, .F. );
#79 = ADVANCED_FACE( '', ( #131, #132 ), #133, .T. );
#80 = ADVANCED_FACE( '', ( #134, #135 ), #136, .T. );
#81 = ADVANCED_FACE( '', ( #137 ), #138, .F. );
#82 = ADVANCED_FACE( '', ( #139, #140 ), #141, .T. );
#83 = ADVANCED_FACE( '', ( #142 ), #143, .F. );
#84 = ADVANCED_FACE( '', ( #144, #145 ), #146, .F. );
#85 = ADVANCED_FACE( '', ( #147, #148 ), #149, .T. );
#86 = ADVANCED_FACE( '', ( #150, #151 ), #152, .F. );
#87 = ADVANCED_FACE( '', ( #153, #154 ), #155, .F. );
#88 = ADVANCED_FACE( '', ( #156, #157 ), #158, .T. );
#89 = ADVANCED_FACE( '', ( #159, #160 ), #161, .F. );
#90 = ADVANCED_FACE( '', ( #162, #163 ), #164, .F. );
#91 = ADVANCED_FACE( '', ( #165, #166 ), #167, .T. );
#92 = ADVANCED_FACE( '', ( #168, #169 ), #170, .F. );
#93 = ADVANCED_FACE( '', ( #171, #172 ), #173, .F. );
#94 = ADVANCED_FACE( '', ( #174, #175 ), #176, .T. );
#95 = ADVANCED_FACE( '', ( #177, #178 ), #179, .F. );
#96 = ADVANCED_FACE( '', ( #180, #181 ), #182, .F. );
#97 = ADVANCED_FACE( '', ( #183, #184 ), #185, .T. );
#98 = ADVANCED_FACE( '', ( #186, #187 ), #188, .F. );
#99 = ADVANCED_FACE( '', ( #189, #190 ), #191, .F. );
#100 = ADVANCED_FACE( '', ( #192, #193 ), #194, .T. );
#101 = ADVANCED_FACE( '', ( #195, #196 ), #197, .F. );
#102 = ADVANCED_FACE( '', ( #198 ), #199, .T. );
#103 = ADVANCED_FACE( '', ( #200 ), #201, .T. );
#104 = ADVANCED_FACE( '', ( #202 ), #203, .T. );
#105 = ADVANCED_FACE( '', ( #204 ), #205, .F. );
#106 = ADVANCED_FACE( '', ( #206 ), #207, .F. );
#107 = ADVANCED_FACE( '', ( #208, #209, #210, #211, #212, #213, #214 ), #215, .F. );
#108 = ADVANCED_FACE( '', ( #216 ), #217, .F. );
#109 = ADVANCED_FACE( '', ( #218 ), #219, .T. );
#110 = ADVANCED_FACE( '', ( #220 ), #221, .T. );
#112 = FACE_BOUND( '', #222, .T. );
#113 = FACE_BOUND( '', #223, .T. );
#114 = FACE_BOUND( '', #224, .T. );
#115 = FACE_BOUND( '', #225, .T. );
#116 = FACE_BOUND( '', #226, .T. );
#117 = FACE_BOUND( '', #227, .T. );
#118 = FACE_BOUND( '', #228, .T. );
#119 = FACE_BOUND( '', #229, .T. );
#120 = FACE_BOUND( '', #230, .T. );
#121 = FACE_BOUND( '', #231, .T. );
#122 = FACE_OUTER_BOUND( '', #232, .T. );
#123 = PLANE( '', #233 );
#124 = FACE_OUTER_BOUND( '', #234, .T. );
#125 = FACE_OUTER_BOUND( '', #235, .T. );
#126 = CYLINDRICAL_SURFACE( '', #236, 3.75000000000000 );
#127 = FACE_OUTER_BOUND( '', #237, .T. );
#128 = PLANE( '', #238 );
#129 = FACE_OUTER_BOUND( '', #239, .T. );
#130 = PLANE( '', #240 );
#131 = FACE_OUTER_BOUND( '', #241, .T. );
#132 = FACE_OUTER_BOUND( '', #242, .T. );
#133 = CYLINDRICAL_SURFACE( '', #243, 3.74999999999999 );
#134 = FACE_OUTER_BOUND( '', #244, .T. );
#135 = FACE_OUTER_BOUND( '', #245, .T. );
#136 = CYLINDRICAL_SURFACE( '', #246, 3.75000000000000 );
#137 = FACE_OUTER_BOUND( '', #247, .T. );
#138 = PLANE( '', #248 );
#139 = FACE_OUTER_BOUND( '', #249, .T. );
#140 = FACE_OUTER_BOUND( '', #250, .T. );
#141 = CYLINDRICAL_SURFACE( '', #251, 3.75000000000000 );
#142 = FACE_OUTER_BOUND( '', #252, .T. );
#143 = PLANE( '', #253 );
#144 = FACE_OUTER_BOUND( '', #254, .T. );
#145 = FACE_OUTER_BOUND( '', #255, .T. );
#146 = CYLINDRICAL_SURFACE( '', #256, 4.50000000000000 );
#147 = FACE_BOUND( '', #257, .T. );
#148 = FACE_OUTER_BOUND( '', #258, .T. );
#149 = PLANE( '', #259 );
#150 = FACE_OUTER_BOUND( '', #260, .T. );
#151 = FACE_OUTER_BOUND( '', #261, .T. );
#152 = CYLINDRICAL_SURFACE( '', #262, 7.00000000000001 );
#153 = FACE_OUTER_BOUND( '', #263, .T. );
#154 = FACE_OUTER_BOUND( '', #264, .T. );
#155 = CYLINDRICAL_SURFACE( '', #265, 4.50000000000000 );
#156 = FACE_BOUND( '', #266, .T. );
#157 = FACE_OUTER_BOUND( '', #267, .T. );
#158 = PLANE( '', #268 );
#159 = FACE_OUTER_BOUND( '', #269, .T. );
#160 = FACE_OUTER_BOUND( '', #270, .T. );
#161 = CYLINDRICAL_SURFACE( '', #271, 7.00000000000000 );
#162 = FACE_OUTER_BOUND( '', #272, .T. );
#163 = FACE_OUTER_BOUND( '', #273, .T. );
#164 = CYLINDRICAL_SURFACE( '', #274, 4.50000000000000 );
#165 = FACE_BOUND( '', #275, .T. );
#166 = FACE_OUTER_BOUND( '', #276, .T. );
#167 = PLANE( '', #277 );
#168 = FACE_OUTER_BOUND( '', #278, .T. );
#169 = FACE_OUTER_BOUND( '', #279, .T. );
#170 = CYLINDRICAL_SURFACE( '', #280, 7.00000000000001 );
#171 = FACE_OUTER_BOUND( '', #281, .T. );
#172 = FACE_OUTER_BOUND( '', #282, .T. );
#173 = CYLINDRICAL_SURFACE( '', #283, 4.50000000000000 );
#174 = FACE_BOUND( '', #284, .T. );
#175 = FACE_OUTER_BOUND( '', #285, .T. );
#176 = PLANE( '', #286 );
#177 = FACE_OUTER_BOUND( '', #287, .T. );
#178 = FACE_OUTER_BOUND( '', #288, .T. );
#179 = CYLINDRICAL_SURFACE( '', #289, 7.00000000000000 );
#180 = FACE_OUTER_BOUND( '', #290, .T. );
#181 = FACE_OUTER_BOUND( '', #291, .T. );
#182 = CYLINDRICAL_SURFACE( '', #292, 4.50000000000000 );
#183 = FACE_BOUND( '', #293, .T. );
#184 = FACE_OUTER_BOUND( '', #294, .T. );
#185 = PLANE( '', #295 );
#186 = FACE_OUTER_BOUND( '', #296, .T. );
#187 = FACE_OUTER_BOUND( '', #297, .T. );
#188 = CYLINDRICAL_SURFACE( '', #298, 7.00000000000001 );
#189 = FACE_OUTER_BOUND( '', #299, .T. );
#190 = FACE_OUTER_BOUND( '', #300, .T. );
#191 = CYLINDRICAL_SURFACE( '', #301, 4.50000000000000 );
#192 = FACE_BOUND( '', #302, .T. );
#193 = FACE_OUTER_BOUND( '', #303, .T. );
#194 = PLANE( '', #304 );
#195 = FACE_OUTER_BOUND( '', #305, .T. );
#196 = FACE_OUTER_BOUND( '', #306, .T. );
#197 = CYLINDRICAL_SURFACE( '', #307, 7.00000000000000 );
#198 = FACE_OUTER_BOUND( '', #308, .T. );
#199 = CYLINDRICAL_SURFACE( '', #309, 1.99999999999997 );
#200 = FACE_OUTER_BOUND( '', #310, .T. );
#201 = CYLINDRICAL_SURFACE( '', #311, 2.00000000000000 );
#202 = FACE_OUTER_BOUND( '', #312, .T. );
#203 = PLANE( '', #313 );
#204 = FACE_OUTER_BOUND( '', #314, .T. );
#205 = PLANE( '', #315 );
#206 = FACE_OUTER_BOUND( '', #316, .T. );
#207 = PLANE( '', #317 );
#208 = FACE_BOUND( '', #318, .T. );
#209 = FACE_BOUND( '', #319, .T. );
#210 = FACE_BOUND( '', #320, .T. );
#211 = FACE_BOUND( '', #321, .T. );
#212 = FACE_BOUND( '', #322, .T. );
#213 = FACE_BOUND( '', #323, .T. );
#214 = FACE_OUTER_BOUND( '', #324, .T. );
#215 = PLANE( '', #325 );
#216 = FACE_OUTER_BOUND( '', #326, .T. );
#217 = PLANE( '', #327 );
#218 = FACE_OUTER_BOUND( '', #328, .T. );
#219 = CYLINDRICAL_SURFACE( '', #329, 2.00000000000000 );
#220 = FACE_OUTER_BOUND( '', #330, .T. );
#221 = CYLINDRICAL_SURFACE( '', #331, 1.99999999999999 );
#222 = EDGE_LOOP( '', ( #332 ) );
#223 = EDGE_LOOP( '', ( #333 ) );
#224 = EDGE_LOOP( '', ( #334 ) );
#225 = EDGE_LOOP( '', ( #335 ) );
#226 = EDGE_LOOP( '', ( #336 ) );
#227 = EDGE_LOOP( '', ( #337 ) );
#228 = EDGE_LOOP( '', ( #338 ) );
#229 = EDGE_LOOP( '', ( #339 ) );
#230 = EDGE_LOOP( '', ( #340 ) );
#231 = EDGE_LOOP( '', ( #341 ) );
#232 = EDGE_LOOP( '', ( #342, #343, #344, #345 ) );
#233 = AXIS2_PLACEMENT_3D( '', #346, #347, #348 );
#234 = EDGE_LOOP( '', ( #349 ) );
#235 = EDGE_LOOP( '', ( #350 ) );
#236 = AXIS2_PLACEMENT_3D( '', #351, #352, #353 );
#237 = EDGE_LOOP( '', ( #354 ) );
#238 = AXIS2_PLACEMENT_3D( '', #355, #356, #357 );
#239 = EDGE_LOOP( '', ( #358 ) );
#240 = AXIS2_PLACEMENT_3D( '', #359, #360, #361 );
#241 = EDGE_LOOP( '', ( #362 ) );
#242 = EDGE_LOOP( '', ( #363 ) );
#243 = AXIS2_PLACEMENT_3D( '', #364, #365, #366 );
#244 = EDGE_LOOP( '', ( #367 ) );
#245 = EDGE_LOOP( '', ( #368 ) );
#246 = AXIS2_PLACEMENT_3D( '', #369, #370, #371 );
#247 = EDGE_LOOP( '', ( #372 ) );
#248 = AXIS2_PLACEMENT_3D( '', #373, #374, #375 );
#249 = EDGE_LOOP( '', ( #376 ) );
#250 = EDGE_LOOP( '', ( #377 ) );
#251 = AXIS2_PLACEMENT_3D( '', #378, #379, #380 );
#252 = EDGE_LOOP( '', ( #381 ) );
#253 = AXIS2_PLACEMENT_3D( '', #382, #383, #384 );
#254 = EDGE_LOOP( '', ( #385 ) );
#255 = EDGE_LOOP( '', ( #386 ) );
#256 = AXIS2_PLACEMENT_3D( '', #387, #388, #389 );
#257 = EDGE_LOOP( '', ( #390 ) );
#258 = EDGE_LOOP( '', ( #391 ) );
#259 = AXIS2_PLACEMENT_3D( '', #392, #393, #394 );
#260 = EDGE_LOOP( '', ( #395 ) );
#261 = EDGE_LOOP( '', ( #396 ) );
#262 = AXIS2_PLACEMENT_3D( '', #397, #398, #399 );
#263 = EDGE_LOOP( '', ( #400 ) );
#264 = EDGE_LOOP( '', ( #401 ) );
#265 = AXIS2_PLACEMENT_3D( '', #402, #403, #404 );
#266 = EDGE_LOOP( '', ( #405 ) );
#267 = EDGE_LOOP( '', ( #406 ) );
#268 = AXIS2_PLACEMENT_3D( '', #407, #408, #409 );
#269 = EDGE_LOOP( '', ( #410 ) );
#270 = EDGE_LOOP( '', ( #411 ) );
#271 = AXIS2_PLACEMENT_3D( '', #412, #413, #414 );
#272 = EDGE_LOOP( '', ( #415 ) );
#273 = EDGE_LOOP( '', ( #416 ) );
#274 = AXIS2_PLACEMENT_3D( '', #417, #418, #419 );
#275 = EDGE_LOOP( '', ( #420 ) );
#276 = EDGE_LOOP( '', ( #421 ) );
#277 = AXIS2_PLACEMENT_3D( '', #422, #423, #424 );
#278 = EDGE_LOOP( '', ( #425 ) );
#279 = EDGE_LOOP( '', ( #426 ) );
#280 = AXIS2_PLACEMENT_3D( '', #427, #428, #429 );
#281 = EDGE_LOOP( '', ( #430 ) );
#282 = EDGE_LOOP( '', ( #431 ) );
#283 = AXIS2_PLACEMENT_3D( '', #432, #433, #434 );
#284 = EDGE_LOOP( '', ( #435 ) );
#285 = EDGE_LOOP( '', ( #436 ) );
#286 = AXIS2_PLACEMENT_3D( '', #437, #438, #439 );
#287 = EDGE_LOOP( '', ( #440 ) );
#288 = EDGE_LOOP( '', ( #441 ) );
#289 = AXIS2_PLACEMENT_3D( '', #442, #443, #444 );
#290 = EDGE_LOOP( '', ( #445 ) );
#291 = EDGE_LOOP( '', ( #446 ) );
#292 = AXIS2_PLACEMENT_3D( '', #447, #448, #449 );
#293 = EDGE_LOOP( '', ( #450 ) );
#294 = EDGE_LOOP( '', ( #451 ) );
#295 = AXIS2_PLACEMENT_3D( '', #452, #453, #454 );
#296 = EDGE_LOOP( '', ( #455 ) );
#297 = EDGE_LOOP( '', ( #456 ) );
#298 = AXIS2_PLACEMENT_3D( '', #457, #458, #459 );
#299 = EDGE_LOOP( '', ( #460 ) );
#300 = EDGE_LOOP( '', ( #461 ) );
#301 = AXIS2_PLACEMENT_3D( '', #462, #463, #464 );
#302 = EDGE_LOOP( '', ( #465 ) );
#303 = EDGE_LOOP( '', ( #466 ) );
#304 = AXIS2_PLACEMENT_3D( '', #467, #468, #469 );
#305 = EDGE_LOOP( '', ( #470 ) );
#306 = EDGE_LOOP( '', ( #471 ) );
#307 = AXIS2_PLACEMENT_3D( '', #472, #473, #474 );
#308 = EDGE_LOOP( '', ( #475, #476, #477, #478 ) );
#309 = AXIS2_PLACEMENT_3D( '', #479, #480, #481 );
#310 = EDGE_LOOP( '', ( #482, #483, #484, #485 ) );
#311 = AXIS2_PLACEMENT_3D( '', #486, #487, #488 );
#312 = EDGE_LOOP( '', ( #489, #490, #491, #492 ) );
#313 = AXIS2_PLACEMENT_3D( '', #493, #494, #495 );
#314 = EDGE_LOOP( '', ( #496, #497, #498, #499 ) );
#315 = AXIS2_PLACEMENT_3D( '', #500, #501, #502 );
#316 = EDGE_LOOP( '', ( #503, #504, #505, #506 ) );
#317 = AXIS2_PLACEMENT_3D( '', #507, #508, #509 );
#318 = EDGE_LOOP( '', ( #510 ) );
#319 = EDGE_LOOP( '', ( #511 ) );
#320 = EDGE_LOOP( '', ( #512 ) );
#321 = EDGE_LOOP( '', ( #513 ) );
#322 = EDGE_LOOP( '', ( #514 ) );
#323 = EDGE_LOOP( '', ( #515 ) );
#324 = EDGE_LOOP( '', ( #516, #517, #518, #519 ) );
#325 = AXIS2_PLACEMENT_3D( '', #520, #521, #522 );
#326 = EDGE_LOOP( '', ( #523, #524, #525, #526 ) );
#327 = AXIS2_PLACEMENT_3D( '', #527, #528, #529 );
#328 = EDGE_LOOP( '', ( #530, #531, #532, #533 ) );
#329 = AXIS2_PLACEMENT_3D( '', #534, #535, #536 );
#330 = EDGE_LOOP( '', ( #537, #538, #539, #540 ) );
#331 = AXIS2_PLACEMENT_3D( '', #541, #542, #543 );
#332 = ORIENTED_EDGE( '', *, *, #544, .F. );
#333 = ORIENTED_EDGE( '', *, *, #545, .F. );
#334 = ORIENTED_EDGE( '', *, *, #546, .F. );
#335 = ORIENTED_EDGE( '', *, *, #547, .F. );
#336 = ORIENTED_EDGE( '', *, *, #548, .T. );
#337 = ORIENTED_EDGE( '', *, *, #549, .T. );
#338 = ORIENTED_EDGE( '', *, *, #550, .T. );
#339 = ORIENTED_EDGE( '', *, *, #551, .T. );
#340 = ORIENTED_EDGE( '', *, *, #552, .T. );
#341 = ORIENTED_EDGE( '', *, *, #553, .T. );
#342 = ORIENTED_EDGE( '', *, *, #554, .F. );
#343 = ORIENTED_EDGE( '', *, *, #555, .F. );
#344 = ORIENTED_EDGE( '', *, *, #556, .T. );
#345 = ORIENTED_EDGE( '', *, *, #557, .T. );
#346 = CARTESIAN_POINT( '', ( 250.000000000000, 73.0000000000000, 10.0000000000000 ) );
#347 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#348 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#349 = ORIENTED_EDGE( '', *, *, #558, .F. );
#350 = ORIENTED_EDGE( '', *, *, #544, .T. );
#351 = CARTESIAN_POINT( '', ( 56.2500000000000, 37.5000000000000, 10.0600000000000 ) );
#352 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#353 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#354 = ORIENTED_EDGE( '', *, *, #558, .T. );
#355 = CARTESIAN_POINT( '', ( 60.0000000000000, 37.5000000000000, 10.0600000000000 ) );
#356 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#357 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#358 = ORIENTED_EDGE( '', *, *, #559, .T. );
#359 = CARTESIAN_POINT( '', ( 72.5000000000000, 37.5000000000000, 10.0600000000000 ) );
#360 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#361 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#362 = ORIENTED_EDGE( '', *, *, #559, .F. );
#363 = ORIENTED_EDGE( '', *, *, #545, .T. );
#364 = CARTESIAN_POINT( '', ( 68.7500000000000, 37.5000000000000, 10.0600000000000 ) );
#365 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#366 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#367 = ORIENTED_EDGE( '', *, *, #546, .T. );
#368 = ORIENTED_EDGE( '', *, *, #560, .T. );
#369 = CARTESIAN_POINT( '', ( 62.5000000000000, 30.0000000000000, 5.06000000000000 ) );
#370 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#371 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#372 = ORIENTED_EDGE( '', *, *, #560, .F. );
#373 = CARTESIAN_POINT( '', ( 62.5000000000000, 30.0000000000000, 10.0600000000000 ) );
#374 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#375 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#376 = ORIENTED_EDGE( '', *, *, #547, .T. );
#377 = ORIENTED_EDGE( '', *, *, #561, .T. );
#378 = CARTESIAN_POINT( '', ( 62.5000000000000, 45.0000000000000, 5.06000000000000 ) );
#379 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#380 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#381 = ORIENTED_EDGE( '', *, *, #561, .F. );
#382 = CARTESIAN_POINT( '', ( 62.5000000000000, 45.0000000000000, 10.0600000000000 ) );
#383 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#384 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#385 = ORIENTED_EDGE( '', *, *, #562, .T. );
#386 = ORIENTED_EDGE( '', *, *, #563, .F. );
#387 = CARTESIAN_POINT( '', ( 230.000000000000, 60.0000000000000, 0.000000000000000 ) );
#388 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#389 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#390 = ORIENTED_EDGE( '', *, *, #563, .T. );
#391 = ORIENTED_EDGE( '', *, *, #564, .F. );
#392 = CARTESIAN_POINT( '', ( 230.000000000000, 67.0000000000000, 3.50000000000000 ) );
#393 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#394 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#395 = ORIENTED_EDGE( '', *, *, #564, .T. );
#396 = ORIENTED_EDGE( '', *, *, #548, .F. );
#397 = CARTESIAN_POINT( '', ( 230.000000000000, 60.0000000000000, 0.000000000000000 ) );
#398 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#399 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#400 = ORIENTED_EDGE( '', *, *, #565, .T. );
#401 = ORIENTED_EDGE( '', *, *, #566, .F. );
#402 = CARTESIAN_POINT( '', ( 230.000000000000, 15.0000000000000, 0.000000000000000 ) );
#403 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#404 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#405 = ORIENTED_EDGE( '', *, *, #566, .T. );
#406 = ORIENTED_EDGE( '', *, *, #567, .F. );
#407 = CARTESIAN_POINT( '', ( 230.000000000000, 22.0000000000000, 3.50000000000000 ) );
#408 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#409 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#410 = ORIENTED_EDGE( '', *, *, #567, .T. );
#411 = ORIENTED_EDGE( '', *, *, #549, .F. );
#412 = CARTESIAN_POINT( '', ( 230.000000000000, 15.0000000000000, 0.000000000000000 ) );
#413 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#414 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#415 = ORIENTED_EDGE( '', *, *, #568, .T. );
#416 = ORIENTED_EDGE( '', *, *, #569, .F. );
#417 = CARTESIAN_POINT( '', ( 125.000000000000, 60.0000000000000, 0.000000000000000 ) );
#418 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#419 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#420 = ORIENTED_EDGE( '', *, *, #569, .T. );
#421 = ORIENTED_EDGE( '', *, *, #570, .F. );
#422 = CARTESIAN_POINT( '', ( 125.000000000000, 67.0000000000000, 3.50000000000000 ) );
#423 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#424 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#425 = ORIENTED_EDGE( '', *, *, #570, .T. );
#426 = ORIENTED_EDGE( '', *, *, #550, .F. );
#427 = CARTESIAN_POINT( '', ( 125.000000000000, 60.0000000000000, 0.000000000000000 ) );
#428 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#429 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#430 = ORIENTED_EDGE( '', *, *, #571, .T. );
#431 = ORIENTED_EDGE( '', *, *, #572, .F. );
#432 = CARTESIAN_POINT( '', ( 125.000000000000, 15.0000000000000, 0.000000000000000 ) );
#433 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#434 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#435 = ORIENTED_EDGE( '', *, *, #572, .T. );
#436 = ORIENTED_EDGE( '', *, *, #573, .F. );
#437 = CARTESIAN_POINT( '', ( 125.000000000000, 22.0000000000000, 3.50000000000000 ) );
#438 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#439 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#440 = ORIENTED_EDGE( '', *, *, #573, .T. );
#441 = ORIENTED_EDGE( '', *, *, #551, .F. );
#442 = CARTESIAN_POINT( '', ( 125.000000000000, 15.0000000000000, 0.000000000000000 ) );
#443 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#444 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#445 = ORIENTED_EDGE( '', *, *, #574, .T. );
#446 = ORIENTED_EDGE( '', *, *, #575, .F. );
#447 = CARTESIAN_POINT( '', ( 20.0000000000000, 60.0000000000000, 0.000000000000000 ) );
#448 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#449 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#450 = ORIENTED_EDGE( '', *, *, #575, .T. );
#451 = ORIENTED_EDGE( '', *, *, #576, .F. );
#452 = CARTESIAN_POINT( '', ( 20.0000000000000, 67.0000000000000, 3.50000000000000 ) );
#453 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#454 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#455 = ORIENTED_EDGE( '', *, *, #576, .T. );
#456 = ORIENTED_EDGE( '', *, *, #552, .F. );
#457 = CARTESIAN_POINT( '', ( 20.0000000000000, 60.0000000000000, 0.000000000000000 ) );
#458 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#459 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#460 = ORIENTED_EDGE( '', *, *, #577, .T. );
#461 = ORIENTED_EDGE( '', *, *, #578, .F. );
#462 = CARTESIAN_POINT( '', ( 20.0000000000000, 15.0000000000000, 0.000000000000000 ) );
#463 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#464 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#465 = ORIENTED_EDGE( '', *, *, #578, .T. );
#466 = ORIENTED_EDGE( '', *, *, #579, .F. );
#467 = CARTESIAN_POINT( '', ( 20.0000000000000, 22.0000000000000, 3.50000000000000 ) );
#468 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#469 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#470 = ORIENTED_EDGE( '', *, *, #579, .T. );
#471 = ORIENTED_EDGE( '', *, *, #553, .F. );
#472 = CARTESIAN_POINT( '', ( 20.0000000000000, 15.0000000000000, 0.000000000000000 ) );
#473 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#474 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#475 = ORIENTED_EDGE( '', *, *, #555, .T. );
#476 = ORIENTED_EDGE( '', *, *, #580, .F. );
#477 = ORIENTED_EDGE( '', *, *, #581, .F. );
#478 = ORIENTED_EDGE( '', *, *, #582, .F. );
#479 = CARTESIAN_POINT( '', ( 248.000000000000, 75.0000000000000, 8.00000000000003 ) );
#480 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#481 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#482 = ORIENTED_EDGE( '', *, *, #583, .T. );
#483 = ORIENTED_EDGE( '', *, *, #584, .F. );
#484 = ORIENTED_EDGE( '', *, *, #557, .F. );
#485 = ORIENTED_EDGE( '', *, *, #585, .F. );
#486 = CARTESIAN_POINT( '', ( 2.00000000000000, 75.0000000000000, 8.00000000000000 ) );
#487 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#488 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#489 = ORIENTED_EDGE( '', *, *, #581, .T. );
#490 = ORIENTED_EDGE( '', *, *, #586, .T. );
#491 = ORIENTED_EDGE( '', *, *, #587, .T. );
#492 = ORIENTED_EDGE( '', *, *, #588, .T. );
#493 = CARTESIAN_POINT( '', ( 250.000000000000, 73.0000000000000, 8.00000000000001 ) );
#494 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#495 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#496 = ORIENTED_EDGE( '', *, *, #589, .F. );
#497 = ORIENTED_EDGE( '', *, *, #583, .F. );
#498 = ORIENTED_EDGE( '', *, *, #590, .F. );
#499 = ORIENTED_EDGE( '', *, *, #591, .F. );
#500 = CARTESIAN_POINT( '', ( 0.000000000000000, 73.0000000000000, 8.00000000000001 ) );
#501 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#502 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#503 = ORIENTED_EDGE( '', *, *, #590, .T. );
#504 = ORIENTED_EDGE( '', *, *, #592, .F. );
#505 = ORIENTED_EDGE( '', *, *, #588, .F. );
#506 = ORIENTED_EDGE( '', *, *, #593, .T. );
#507 = CARTESIAN_POINT( '', ( 250.000000000000, 75.0000000000000, 0.000000000000000 ) );
#508 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#509 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#510 = ORIENTED_EDGE( '', *, *, #562, .F. );
#511 = ORIENTED_EDGE( '', *, *, #565, .F. );
#512 = ORIENTED_EDGE( '', *, *, #568, .F. );
#513 = ORIENTED_EDGE( '', *, *, #571, .F. );
#514 = ORIENTED_EDGE( '', *, *, #574, .F. );
#515 = ORIENTED_EDGE( '', *, *, #577, .F. );
#516 = ORIENTED_EDGE( '', *, *, #591, .T. );
#517 = ORIENTED_EDGE( '', *, *, #593, .F. );
#518 = ORIENTED_EDGE( '', *, *, #587, .F. );
#519 = ORIENTED_EDGE( '', *, *, #594, .T. );
#520 = CARTESIAN_POINT( '', ( 250.000000000000, 0.000000000000000, 0.000000000000000 ) );
#521 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#522 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, -0.000000000000000 ) );
#523 = ORIENTED_EDGE( '', *, *, #589, .T. );
#524 = ORIENTED_EDGE( '', *, *, #594, .F. );
#525 = ORIENTED_EDGE( '', *, *, #586, .F. );
#526 = ORIENTED_EDGE( '', *, *, #595, .T. );
#527 = CARTESIAN_POINT( '', ( 250.000000000000, 0.000000000000000, 8.00000000000000 ) );
#528 = DIRECTION( '', ( -0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#529 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#530 = ORIENTED_EDGE( '', *, *, #595, .F. );
#531 = ORIENTED_EDGE( '', *, *, #580, .T. );
#532 = ORIENTED_EDGE( '', *, *, #554, .T. );
#533 = ORIENTED_EDGE( '', *, *, #584, .T. );
#534 = CARTESIAN_POINT( '', ( 250.000000000000, 2.00000000000000, 8.00000000000000 ) );
#535 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#536 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#537 = ORIENTED_EDGE( '', *, *, #556, .F. );
#538 = ORIENTED_EDGE( '', *, *, #582, .T. );
#539 = ORIENTED_EDGE( '', *, *, #592, .T. );
#540 = ORIENTED_EDGE( '', *, *, #585, .T. );
#541 = CARTESIAN_POINT( '', ( 250.000000000000, 73.0000000000000, 8.00000000000001 ) );
#542 = DIRECTION( '', ( 1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#543 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#544 = EDGE_CURVE( '', #596, #596, #597, .F. );
#545 = EDGE_CURVE( '', #598, #598, #599, .F. );
#546 = EDGE_CURVE( '', #600, #600, #601, .F. );
#547 = EDGE_CURVE( '', #602, #602, #603, .F. );
#548 = EDGE_CURVE( '', #604, #604, #605, .T. );
#549 = EDGE_CURVE( '', #606, #606, #607, .T. );
#550 = EDGE_CURVE( '', #608, #608, #609, .T. );
#551 = EDGE_CURVE( '', #610, #610, #611, .T. );
#552 = EDGE_CURVE( '', #612, #612, #613, .T. );
#553 = EDGE_CURVE( '', #614, #614, #615, .T. );
#554 = EDGE_CURVE( '', #616, #617, #618, .T. );
#555 = EDGE_CURVE( '', #619, #616, #620, .T. );
#556 = EDGE_CURVE( '', #619, #621, #622, .T. );
#557 = EDGE_CURVE( '', #621, #617, #623, .T. );
#558 = EDGE_CURVE( '', #624, #624, #625, .T. );
#559 = EDGE_CURVE( '', #626, #626, #627, .T. );
#560 = EDGE_CURVE( '', #628, #628, #629, .T. );
#561 = EDGE_CURVE( '', #630, #630, #631, .T. );
#562 = EDGE_CURVE( '', #632, #632, #633, .T. );
#563 = EDGE_CURVE( '', #634, #634, #635, .T. );
#564 = EDGE_CURVE( '', #636, #636, #637, .T. );
#565 = EDGE_CURVE( '', #638, #638, #639, .T. );
#566 = EDGE_CURVE( '', #640, #640, #641, .T. );
#567 = EDGE_CURVE( '', #642, #642, #643, .T. );
#568 = EDGE_CURVE( '', #644, #644, #645, .T. );
#569 = EDGE_CURVE( '', #646, #646, #647, .T. );
#570 = EDGE_CURVE( '', #648, #648, #649, .T. );
#571 = EDGE_CURVE( '', #650, #650, #651, .T. );
#572 = EDGE_CURVE( '', #652, #652, #653, .T. );
#573 = EDGE_CURVE( '', #654, #654, #655, .T. );
#574 = EDGE_CURVE( '', #656, #656, #657, .T. );
#575 = EDGE_CURVE( '', #658, #658, #659, .T. );
#576 = EDGE_CURVE( '', #660, #660, #661, .T. );
#577 = EDGE_CURVE( '', #662, #662, #663, .T. );
#578 = EDGE_CURVE( '', #664, #664, #665, .T. );
#579 = EDGE_CURVE( '', #666, #666, #667, .T. );
#580 = EDGE_CURVE( '', #668, #616, #669, .T. );
#581 = EDGE_CURVE( '', #670, #668, #671, .T. );
#582 = EDGE_CURVE( '', #619, #670, #672, .T. );
#583 = EDGE_CURVE( '', #673, #674, #675, .T. );
#584 = EDGE_CURVE( '', #617, #674, #676, .F. );
#585 = EDGE_CURVE( '', #673, #621, #677, .F. );
#586 = EDGE_CURVE( '', #668, #678, #679, .T. );
#587 = EDGE_CURVE( '', #678, #680, #681, .T. );
#588 = EDGE_CURVE( '', #680, #670, #682, .T. );
#589 = EDGE_CURVE( '', #674, #683, #684, .T. );
#590 = EDGE_CURVE( '', #685, #673, #686, .T. );
#591 = EDGE_CURVE( '', #683, #685, #687, .T. );
#592 = EDGE_CURVE( '', #670, #673, #688, .T. );
#593 = EDGE_CURVE( '', #680, #685, #689, .T. );
#594 = EDGE_CURVE( '', #678, #683, #690, .T. );
#595 = EDGE_CURVE( '', #668, #674, #691, .T. );
#596 = VERTEX_POINT( '', #692 );
#597 = CIRCLE( '', #693, 3.75000000000000 );
#598 = VERTEX_POINT( '', #694 );
#599 = CIRCLE( '', #695, 3.74999999999999 );
#600 = VERTEX_POINT( '', #696 );
#601 = CIRCLE( '', #697, 3.75000000000000 );
#602 = VERTEX_POINT( '', #698 );
#603 = CIRCLE( '', #699, 3.75000000000000 );
#604 = VERTEX_POINT( '', #700 );
#605 = CIRCLE( '', #701, 7.00000000000001 );
#606 = VERTEX_POINT( '', #702 );
#607 = CIRCLE( '', #703, 7.00000000000000 );
#608 = VERTEX_POINT( '', #704 );
#609 = CIRCLE( '', #705, 7.00000000000001 );
#610 = VERTEX_POINT( '', #706 );
#611 = CIRCLE( '', #707, 7.00000000000000 );
#612 = VERTEX_POINT( '', #708 );
#613 = CIRCLE( '', #709, 7.00000000000001 );
#614 = VERTEX_POINT( '', #710 );
#615 = CIRCLE( '', #711, 7.00000000000000 );
#616 = VERTEX_POINT( '', #712 );
#617 = VERTEX_POINT( '', #713 );
#618 = LINE( '', #714, #715 );
#619 = VERTEX_POINT( '', #716 );
#620 = LINE( '', #717, #718 );
#621 = VERTEX_POINT( '', #719 );
#622 = LINE( '', #720, #721 );
#623 = LINE( '', #722, #723 );
#624 = VERTEX_POINT( '', #724 );
#625 = CIRCLE( '', #725, 3.75000000000000 );
#626 = VERTEX_POINT( '', #726 );
#627 = CIRCLE( '', #727, 3.74999999999999 );
#628 = VERTEX_POINT( '', #728 );
#629 = CIRCLE( '', #729, 3.75000000000000 );
#630 = VERTEX_POINT( '', #730 );
#631 = CIRCLE( '', #731, 3.75000000000000 );
#632 = VERTEX_POINT( '', #732 );
#633 = CIRCLE( '', #733, 4.50000000000000 );
#634 = VERTEX_POINT( '', #734 );
#635 = CIRCLE( '', #735, 4.50000000000000 );
#636 = VERTEX_POINT( '', #736 );
#637 = CIRCLE( '', #737, 7.00000000000001 );
#638 = VERTEX_POINT( '', #738 );
#639 = CIRCLE( '', #739, 4.50000000000000 );
#640 = VERTEX_POINT( '', #740 );
#641 = CIRCLE( '', #741, 4.50000000000000 );
#642 = VERTEX_POINT( '', #742 );
#643 = CIRCLE( '', #743, 7.00000000000000 );
#644 = VERTEX_POINT( '', #744 );
#645 = CIRCLE( '', #745, 4.50000000000000 );
#646 = VERTEX_POINT( '', #746 );
#647 = CIRCLE( '', #747, 4.50000000000000 );
#648 = VERTEX_POINT( '', #748 );
#649 = CIRCLE( '', #749, 7.00000000000001 );
#650 = VERTEX_POINT( '', #750 );
#651 = CIRCLE( '', #751, 4.50000000000000 );
#652 = VERTEX_POINT( '', #752 );
#653 = CIRCLE( '', #753, 4.50000000000000 );
#654 = VERTEX_POINT( '', #754 );
#655 = CIRCLE( '', #755, 7.00000000000000 );
#656 = VERTEX_POINT( '', #756 );
#657 = CIRCLE( '', #757, 4.50000000000000 );
#658 = VERTEX_POINT( '', #758 );
#659 = CIRCLE( '', #759, 4.50000000000000 );
#660 = VERTEX_POINT( '', #760 );
#661 = CIRCLE( '', #761, 7.00000000000001 );
#662 = VERTEX_POINT( '', #762 );
#663 = CIRCLE( '', #763, 4.50000000000000 );
#664 = VERTEX_POINT( '', #764 );
#665 = CIRCLE( '', #765, 4.50000000000000 );
#666 = VERTEX_POINT( '', #766 );
#667 = CIRCLE( '', #767, 7.00000000000000 );
#668 = VERTEX_POINT( '', #768 );
#669 = ELLIPSE( '', #769, 2.82842712474617, 1.99999999999998 );
#670 = VERTEX_POINT( '', #770 );
#671 = LINE( '', #771, #772 );
#672 = ELLIPSE( '', #773, 2.82842712474616, 1.99999999999998 );
#673 = VERTEX_POINT( '', #774 );
#674 = VERTEX_POINT( '', #775 );
#675 = LINE( '', #776, #777 );
#676 = ELLIPSE( '', #778, 2.82842712474619, 2.00000000000000 );
#677 = ELLIPSE( '', #779, 2.82842712474618, 1.99999999999999 );
#678 = VERTEX_POINT( '', #780 );
#679 = LINE( '', #781, #782 );
#680 = VERTEX_POINT( '', #783 );
#681 = LINE( '', #784, #785 );
#682 = LINE( '', #786, #787 );
#683 = VERTEX_POINT( '', #788 );
#684 = LINE( '', #789, #790 );
#685 = VERTEX_POINT( '', #791 );
#686 = LINE( '', #792, #793 );
#687 = LINE( '', #794, #795 );
#688 = LINE( '', #796, #797 );
#689 = LINE( '', #798, #799 );
#690 = LINE( '', #800, #801 );
#691 = LINE( '', #802, #803 );
#692 = CARTESIAN_POINT( '', ( 52.5000000000000, 37.5000000000000, 10.0000000000000 ) );
#693 = AXIS2_PLACEMENT_3D( '', #804, #805, #806 );
#694 = CARTESIAN_POINT( '', ( 65.0000000000000, 37.5000000000000, 10.0000000000000 ) );
#695 = AXIS2_PLACEMENT_3D( '', #807, #808, #809 );
#696 = CARTESIAN_POINT( '', ( 58.7500000000000, 30.0000000000000, 10.0000000000000 ) );
#697 = AXIS2_PLACEMENT_3D( '', #810, #811, #812 );
#698 = CARTESIAN_POINT( '', ( 58.7500000000000, 45.0000000000000, 10.0000000000000 ) );
#699 = AXIS2_PLACEMENT_3D( '', #813, #814, #815 );
#700 = CARTESIAN_POINT( '', ( 223.000000000000, 60.0000000000000, 10.0000000000000 ) );
#701 = AXIS2_PLACEMENT_3D( '', #816, #817, #818 );
#702 = CARTESIAN_POINT( '', ( 223.000000000000, 15.0000000000000, 10.0000000000000 ) );
#703 = AXIS2_PLACEMENT_3D( '', #819, #820, #821 );
#704 = CARTESIAN_POINT( '', ( 118.000000000000, 60.0000000000000, 10.0000000000000 ) );
#705 = AXIS2_PLACEMENT_3D( '', #822, #823, #824 );
#706 = CARTESIAN_POINT( '', ( 118.000000000000, 15.0000000000000, 10.0000000000000 ) );
#707 = AXIS2_PLACEMENT_3D( '', #825, #826, #827 );
#708 = CARTESIAN_POINT( '', ( 13.0000000000000, 60.0000000000000, 10.0000000000000 ) );
#709 = AXIS2_PLACEMENT_3D( '', #828, #829, #830 );
#710 = CARTESIAN_POINT( '', ( 13.0000000000000, 15.0000000000000, 10.0000000000000 ) );
#711 = AXIS2_PLACEMENT_3D( '', #831, #832, #833 );
#712 = CARTESIAN_POINT( '', ( 248.000000000000, 2.00000000000000, 10.0000000000000 ) );
#713 = CARTESIAN_POINT( '', ( 2.00000000000000, 2.00000000000000, 10.0000000000000 ) );
#714 = CARTESIAN_POINT( '', ( 250.000000000000, 2.00000000000000, 10.0000000000000 ) );
#715 = VECTOR( '', #834, 1000.00000000000 );
#716 = CARTESIAN_POINT( '', ( 248.000000000000, 73.0000000000000, 10.0000000000000 ) );
#717 = CARTESIAN_POINT( '', ( 248.000000000000, 75.0000000000000, 10.0000000000000 ) );
#718 = VECTOR( '', #835, 1000.00000000000 );
#719 = CARTESIAN_POINT( '', ( 2.00000000000000, 73.0000000000000, 10.0000000000000 ) );
#720 = CARTESIAN_POINT( '', ( 250.000000000000, 73.0000000000000, 10.0000000000000 ) );
#721 = VECTOR( '', #836, 1000.00000000000 );
#722 = CARTESIAN_POINT( '', ( 2.00000000000000, 75.0000000000000, 10.0000000000000 ) );
#723 = VECTOR( '', #837, 1000.00000000000 );
#724 = CARTESIAN_POINT( '', ( 60.0000000000000, 37.5000000000000, 10.0600000000000 ) );
#725 = AXIS2_PLACEMENT_3D( '', #838, #839, #840 );
#726 = CARTESIAN_POINT( '', ( 72.5000000000000, 37.5000000000000, 10.0600000000000 ) );
#727 = AXIS2_PLACEMENT_3D( '', #841, #842, #843 );
#728 = CARTESIAN_POINT( '', ( 58.7500000000000, 30.0000000000000, 10.0600000000000 ) );
#729 = AXIS2_PLACEMENT_3D( '', #844, #845, #846 );
#730 = CARTESIAN_POINT( '', ( 58.7500000000000, 45.0000000000000, 10.0600000000000 ) );
#731 = AXIS2_PLACEMENT_3D( '', #847, #848, #849 );
#732 = CARTESIAN_POINT( '', ( 225.500000000000, 60.0000000000000, 0.000000000000000 ) );
#733 = AXIS2_PLACEMENT_3D( '', #850, #851, #852 );
#734 = CARTESIAN_POINT( '', ( 225.500000000000, 60.0000000000000, 3.50000000000000 ) );
#735 = AXIS2_PLACEMENT_3D( '', #853, #854, #855 );
#736 = CARTESIAN_POINT( '', ( 223.000000000000, 60.0000000000000, 3.50000000000000 ) );
#737 = AXIS2_PLACEMENT_3D( '', #856, #857, #858 );
#738 = CARTESIAN_POINT( '', ( 225.500000000000, 15.0000000000000, 0.000000000000000 ) );
#739 = AXIS2_PLACEMENT_3D( '', #859, #860, #861 );
#740 = CARTESIAN_POINT( '', ( 225.500000000000, 15.0000000000000, 3.50000000000000 ) );
#741 = AXIS2_PLACEMENT_3D( '', #862, #863, #864 );
#742 = CARTESIAN_POINT( '', ( 223.000000000000, 15.0000000000000, 3.50000000000000 ) );
#743 = AXIS2_PLACEMENT_3D( '', #865, #866, #867 );
#744 = CARTESIAN_POINT( '', ( 120.500000000000, 60.0000000000000, 0.000000000000000 ) );
#745 = AXIS2_PLACEMENT_3D( '', #868, #869, #870 );
#746 = CARTESIAN_POINT( '', ( 120.500000000000, 60.0000000000000, 3.50000000000000 ) );
#747 = AXIS2_PLACEMENT_3D( '', #871, #872, #873 );
#748 = CARTESIAN_POINT( '', ( 118.000000000000, 60.0000000000000, 3.50000000000000 ) );
#749 = AXIS2_PLACEMENT_3D( '', #874, #875, #876 );
#750 = CARTESIAN_POINT( '', ( 120.500000000000, 15.0000000000000, 0.000000000000000 ) );
#751 = AXIS2_PLACEMENT_3D( '', #877, #878, #879 );
#752 = CARTESIAN_POINT( '', ( 120.500000000000, 15.0000000000000, 3.50000000000000 ) );
#753 = AXIS2_PLACEMENT_3D( '', #880, #881, #882 );
#754 = CARTESIAN_POINT( '', ( 118.000000000000, 15.0000000000000, 3.50000000000000 ) );
#755 = AXIS2_PLACEMENT_3D( '', #883, #884, #885 );
#756 = CARTESIAN_POINT( '', ( 15.5000000000000, 60.0000000000000, 0.000000000000000 ) );
#757 = AXIS2_PLACEMENT_3D( '', #886, #887, #888 );
#758 = CARTESIAN_POINT( '', ( 15.5000000000000, 60.0000000000000, 3.50000000000000 ) );
#759 = AXIS2_PLACEMENT_3D( '', #889, #890, #891 );
#760 = CARTESIAN_POINT( '', ( 13.0000000000000, 60.0000000000000, 3.50000000000000 ) );
#761 = AXIS2_PLACEMENT_3D( '', #892, #893, #894 );
#762 = CARTESIAN_POINT( '', ( 15.5000000000000, 15.0000000000000, 0.000000000000000 ) );
#763 = AXIS2_PLACEMENT_3D( '', #895, #896, #897 );
#764 = CARTESIAN_POINT( '', ( 15.5000000000000, 15.0000000000000, 3.50000000000000 ) );
#765 = AXIS2_PLACEMENT_3D( '', #898, #899, #900 );
#766 = CARTESIAN_POINT( '', ( 13.0000000000000, 15.0000000000000, 3.50000000000000 ) );
#767 = AXIS2_PLACEMENT_3D( '', #901, #902, #903 );
#768 = CARTESIAN_POINT( '', ( 250.000000000000, 8.67361737988404E-016, 8.00000000000000 ) );
#769 = AXIS2_PLACEMENT_3D( '', #904, #905, #906 );
#770 = CARTESIAN_POINT( '', ( 250.000000000000, 75.0000000000000, 8.00000000000003 ) );
#771 = CARTESIAN_POINT( '', ( 250.000000000000, 75.0000000000000, 8.00000000000003 ) );
#772 = VECTOR( '', #907, 1000.00000000000 );
#773 = AXIS2_PLACEMENT_3D( '', #908, #909, #910 );
#774 = CARTESIAN_POINT( '', ( 0.000000000000000, 75.0000000000000, 8.00000000000000 ) );
#775 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 8.00000000000000 ) );
#776 = CARTESIAN_POINT( '', ( 0.000000000000000, 75.0000000000000, 8.00000000000000 ) );
#777 = VECTOR( '', #911, 1000.00000000000 );
#778 = AXIS2_PLACEMENT_3D( '', #912, #913, #914 );
#779 = AXIS2_PLACEMENT_3D( '', #915, #916, #917 );
#780 = CARTESIAN_POINT( '', ( 250.000000000000, 0.000000000000000, 0.000000000000000 ) );
#781 = CARTESIAN_POINT( '', ( 250.000000000000, 0.000000000000000, 8.00000000000000 ) );
#782 = VECTOR( '', #918, 1000.00000000000 );
#783 = CARTESIAN_POINT( '', ( 250.000000000000, 75.0000000000000, 0.000000000000000 ) );
#784 = CARTESIAN_POINT( '', ( 250.000000000000, 0.000000000000000, 0.000000000000000 ) );
#785 = VECTOR( '', #919, 1000.00000000000 );
#786 = CARTESIAN_POINT( '', ( 250.000000000000, 75.0000000000000, 0.000000000000000 ) );
#787 = VECTOR( '', #920, 1000.00000000000 );
#788 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#789 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 8.00000000000000 ) );
#790 = VECTOR( '', #921, 1000.00000000000 );
#791 = CARTESIAN_POINT( '', ( 0.000000000000000, 75.0000000000000, 0.000000000000000 ) );
#792 = CARTESIAN_POINT( '', ( 0.000000000000000, 75.0000000000000, 0.000000000000000 ) );
#793 = VECTOR( '', #922, 1000.00000000000 );
#794 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#795 = VECTOR( '', #923, 1000.00000000000 );
#796 = CARTESIAN_POINT( '', ( 250.000000000000, 75.0000000000000, 8.00000000000000 ) );
#797 = VECTOR( '', #924, 1000.00000000000 );
#798 = CARTESIAN_POINT( '', ( 250.000000000000, 75.0000000000000, 0.000000000000000 ) );
#799 = VECTOR( '', #925, 1000.00000000000 );
#800 = CARTESIAN_POINT( '', ( 250.000000000000, 0.000000000000000, 0.000000000000000 ) );
#801 = VECTOR( '', #926, 1000.00000000000 );
#802 = CARTESIAN_POINT( '', ( 250.000000000000, 8.67361737988404E-016, 8.00000000000000 ) );
#803 = VECTOR( '', #927, 1000.00000000000 );
#804 = CARTESIAN_POINT( '', ( 56.2500000000000, 37.5000000000000, 10.0000000000000 ) );
#805 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#806 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#807 = CARTESIAN_POINT( '', ( 68.7500000000000, 37.5000000000000, 10.0000000000000 ) );
#808 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#809 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#810 = CARTESIAN_POINT( '', ( 62.5000000000000, 30.0000000000000, 10.0000000000000 ) );
#811 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#812 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#813 = CARTESIAN_POINT( '', ( 62.5000000000000, 45.0000000000000, 10.0000000000000 ) );
#814 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#815 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#816 = CARTESIAN_POINT( '', ( 230.000000000000, 60.0000000000000, 10.0000000000000 ) );
#817 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#818 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#819 = CARTESIAN_POINT( '', ( 230.000000000000, 15.0000000000000, 10.0000000000000 ) );
#820 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#821 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#822 = CARTESIAN_POINT( '', ( 125.000000000000, 60.0000000000000, 10.0000000000000 ) );
#823 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#824 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#825 = CARTESIAN_POINT( '', ( 125.000000000000, 15.0000000000000, 10.0000000000000 ) );
#826 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#827 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#828 = CARTESIAN_POINT( '', ( 20.0000000000000, 60.0000000000000, 10.0000000000000 ) );
#829 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#830 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#831 = CARTESIAN_POINT( '', ( 20.0000000000000, 15.0000000000000, 10.0000000000000 ) );
#832 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#833 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#834 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#835 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#836 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#837 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#838 = CARTESIAN_POINT( '', ( 56.2500000000000, 37.5000000000000, 10.0600000000000 ) );
#839 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#840 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#841 = CARTESIAN_POINT( '', ( 68.7500000000000, 37.5000000000000, 10.0600000000000 ) );
#842 = DIRECTION( '', ( 0.000000000000000, -0.000000000000000, 1.00000000000000 ) );
#843 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#844 = CARTESIAN_POINT( '', ( 62.5000000000000, 30.0000000000000, 10.0600000000000 ) );
#845 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#846 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#847 = CARTESIAN_POINT( '', ( 62.5000000000000, 45.0000000000000, 10.0600000000000 ) );
#848 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#849 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#850 = CARTESIAN_POINT( '', ( 230.000000000000, 60.0000000000000, 0.000000000000000 ) );
#851 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#852 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#853 = CARTESIAN_POINT( '', ( 230.000000000000, 60.0000000000000, 3.50000000000000 ) );
#854 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#855 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#856 = CARTESIAN_POINT( '', ( 230.000000000000, 60.0000000000000, 3.50000000000000 ) );
#857 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#858 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#859 = CARTESIAN_POINT( '', ( 230.000000000000, 15.0000000000000, 0.000000000000000 ) );
#860 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#861 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#862 = CARTESIAN_POINT( '', ( 230.000000000000, 15.0000000000000, 3.50000000000000 ) );
#863 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#864 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#865 = CARTESIAN_POINT( '', ( 230.000000000000, 15.0000000000000, 3.50000000000000 ) );
#866 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#867 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#868 = CARTESIAN_POINT( '', ( 125.000000000000, 60.0000000000000, 0.000000000000000 ) );
#869 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#870 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#871 = CARTESIAN_POINT( '', ( 125.000000000000, 60.0000000000000, 3.50000000000000 ) );
#872 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#873 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#874 = CARTESIAN_POINT( '', ( 125.000000000000, 60.0000000000000, 3.50000000000000 ) );
#875 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#876 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#877 = CARTESIAN_POINT( '', ( 125.000000000000, 15.0000000000000, 0.000000000000000 ) );
#878 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#879 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#880 = CARTESIAN_POINT( '', ( 125.000000000000, 15.0000000000000, 3.50000000000000 ) );
#881 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#882 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#883 = CARTESIAN_POINT( '', ( 125.000000000000, 15.0000000000000, 3.50000000000000 ) );
#884 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#885 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#886 = CARTESIAN_POINT( '', ( 20.0000000000000, 60.0000000000000, 0.000000000000000 ) );
#887 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#888 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#889 = CARTESIAN_POINT( '', ( 20.0000000000000, 60.0000000000000, 3.50000000000000 ) );
#890 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#891 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#892 = CARTESIAN_POINT( '', ( 20.0000000000000, 60.0000000000000, 3.50000000000000 ) );
#893 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#894 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#895 = CARTESIAN_POINT( '', ( 20.0000000000000, 15.0000000000000, 0.000000000000000 ) );
#896 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#897 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#898 = CARTESIAN_POINT( '', ( 20.0000000000000, 15.0000000000000, 3.50000000000000 ) );
#899 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#900 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#901 = CARTESIAN_POINT( '', ( 20.0000000000000, 15.0000000000000, 3.50000000000000 ) );
#902 = DIRECTION( '', ( -0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#903 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#904 = CARTESIAN_POINT( '', ( 248.000000000000, 2.00000000000000, 8.00000000000002 ) );
#905 = DIRECTION( '', ( -0.707106781186548, -0.707106781186548, -0.000000000000000 ) );
#906 = DIRECTION( '', ( -0.707106781186547, 0.707106781186547, 0.000000000000000 ) );
#907 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#908 = CARTESIAN_POINT( '', ( 248.000000000000, 73.0000000000000, 8.00000000000002 ) );
#909 = DIRECTION( '', ( -0.707106781186548, 0.707106781186548, 0.000000000000000 ) );
#910 = DIRECTION( '', ( -0.707106781186547, -0.707106781186547, -0.000000000000000 ) );
#911 = DIRECTION( '', ( -0.000000000000000, -1.00000000000000, -0.000000000000000 ) );
#912 = CARTESIAN_POINT( '', ( 2.00000000000000, 2.00000000000000, 8.00000000000000 ) );
#913 = DIRECTION( '', ( -0.707106781186548, 0.707106781186548, 0.000000000000000 ) );
#914 = DIRECTION( '', ( -0.707106781186548, -0.707106781186548, -0.000000000000000 ) );
#915 = CARTESIAN_POINT( '', ( 2.00000000000000, 73.0000000000000, 8.00000000000000 ) );
#916 = DIRECTION( '', ( -0.707106781186548, -0.707106781186548, -0.000000000000000 ) );
#917 = DIRECTION( '', ( -0.707106781186548, 0.707106781186548, 0.000000000000000 ) );
#918 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#919 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#920 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#921 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#922 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#923 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#924 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#925 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#926 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
#927 = DIRECTION( '', ( -1.00000000000000, -0.000000000000000, -0.000000000000000 ) );
ENDSEC;
END-ISO-10303-21;