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