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