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