ISO-10303-21;
HEADER;
FILE_DESCRIPTION( ( '' ), '1' );
FILE_NAME( 'D:/Katalogbilder/STEP/1_41_E346_2.stp', '2012-04-10T08:27:02', ( '' ), ( '' ), ' ', ' ', ' ' );
FILE_SCHEMA( ( 'automotive_design' ) );
ENDSEC;
DATA;
#1 = MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION( ' ', ( #10, #11, #12, #13, #14, #15, #16, #17, #18, #19, #20, #21, #22, #23, #24, #25, #26, #27, #28, #29, #30, #31, #32, #33, #34, #35, #36, #37, #38, #39, #40, #41, #42, #43, #44, #45, #46, #47, #48, #49, #50, #51, #52, #53, #54, #55, #56, #57, #58, #59, #60, #61, #62, #63, #64, #65, #66, #67, #68, #69, #70, #71, #72, #73, #74, #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, #122, #123, #124, #125, #126, #127, #128, #129, #130, #131, #132, #133, #134, #135, #136, #137, #138, #139, #140, #141, #142, #143, #144, #145, #146, #147, #148, #149, #150, #151, #152, #153, #154, #155, #156, #157, #158, #159, #160, #161, #162, #163, #164, #165, #166, #167, #168, #169, #170, #171, #172, #173, #174, #175, #176, #177, #178, #179, #180, #181, #182, #183, #184, #185, #186, #187, #188, #189, #190, #191, #192, #193, #194, #195, #196, #197, #198, #199, #200, #201, #202, #203, #204, #205, #206, #207, #208, #209, #210, #211, #212, #213, #214, #215, #216, #217, #218, #219, #220, #221, #222 ), #6 );
#2 = PRODUCT_DEFINITION_CONTEXT( '', #223, 'design' );
#3 = APPLICATION_PROTOCOL_DEFINITION( 'INTERNATIONAL STANDARD', 'automotive_design', 1994, #223 );
#4 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #224, #225 );
#5 = SHAPE_DEFINITION_REPRESENTATION( #226, #227 );
#6 =  ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #230 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #232, #233, #234 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) );
#10 = STYLED_ITEM( '', ( #236 ), #237 );
#11 = STYLED_ITEM( '', ( #238 ), #239 );
#12 = STYLED_ITEM( '', ( #240 ), #241 );
#13 = STYLED_ITEM( '', ( #242 ), #243 );
#14 = STYLED_ITEM( '', ( #244 ), #245 );
#15 = STYLED_ITEM( '', ( #246 ), #247 );
#16 = STYLED_ITEM( '', ( #248 ), #249 );
#17 = STYLED_ITEM( '', ( #250 ), #251 );
#18 = STYLED_ITEM( '', ( #252 ), #253 );
#19 = STYLED_ITEM( '', ( #254 ), #255 );
#20 = STYLED_ITEM( '', ( #256 ), #257 );
#21 = STYLED_ITEM( '', ( #258 ), #259 );
#22 = STYLED_ITEM( '', ( #260 ), #261 );
#23 = STYLED_ITEM( '', ( #262 ), #263 );
#24 = STYLED_ITEM( '', ( #264 ), #265 );
#25 = STYLED_ITEM( '', ( #266 ), #267 );
#26 = STYLED_ITEM( '', ( #268 ), #269 );
#27 = STYLED_ITEM( '', ( #270 ), #271 );
#28 = STYLED_ITEM( '', ( #272 ), #273 );
#29 = STYLED_ITEM( '', ( #274 ), #275 );
#30 = STYLED_ITEM( '', ( #276 ), #277 );
#31 = STYLED_ITEM( '', ( #278 ), #279 );
#32 = STYLED_ITEM( '', ( #280 ), #281 );
#33 = STYLED_ITEM( '', ( #282 ), #283 );
#34 = STYLED_ITEM( '', ( #284 ), #285 );
#35 = STYLED_ITEM( '', ( #286 ), #287 );
#36 = STYLED_ITEM( '', ( #288 ), #289 );
#37 = STYLED_ITEM( '', ( #290 ), #291 );
#38 = STYLED_ITEM( '', ( #292 ), #293 );
#39 = STYLED_ITEM( '', ( #294 ), #295 );
#40 = STYLED_ITEM( '', ( #296 ), #297 );
#41 = STYLED_ITEM( '', ( #298 ), #299 );
#42 = STYLED_ITEM( '', ( #300 ), #301 );
#43 = STYLED_ITEM( '', ( #302 ), #303 );
#44 = STYLED_ITEM( '', ( #304 ), #305 );
#45 = STYLED_ITEM( '', ( #306 ), #307 );
#46 = STYLED_ITEM( '', ( #308 ), #309 );
#47 = STYLED_ITEM( '', ( #310 ), #311 );
#48 = STYLED_ITEM( '', ( #312 ), #313 );
#49 = STYLED_ITEM( '', ( #314 ), #315 );
#50 = STYLED_ITEM( '', ( #316 ), #317 );
#51 = STYLED_ITEM( '', ( #318 ), #319 );
#52 = STYLED_ITEM( '', ( #320 ), #321 );
#53 = STYLED_ITEM( '', ( #322 ), #323 );
#54 = STYLED_ITEM( '', ( #324 ), #325 );
#55 = STYLED_ITEM( '', ( #326 ), #327 );
#56 = STYLED_ITEM( '', ( #328 ), #329 );
#57 = STYLED_ITEM( '', ( #330 ), #331 );
#58 = STYLED_ITEM( '', ( #332 ), #333 );
#59 = STYLED_ITEM( '', ( #334 ), #335 );
#60 = STYLED_ITEM( '', ( #336 ), #337 );
#61 = STYLED_ITEM( '', ( #338 ), #339 );
#62 = STYLED_ITEM( '', ( #340 ), #341 );
#63 = STYLED_ITEM( '', ( #342 ), #343 );
#64 = STYLED_ITEM( '', ( #344 ), #345 );
#65 = STYLED_ITEM( '', ( #346 ), #347 );
#66 = STYLED_ITEM( '', ( #348 ), #349 );
#67 = STYLED_ITEM( '', ( #350 ), #351 );
#68 = STYLED_ITEM( '', ( #352 ), #353 );
#69 = STYLED_ITEM( '', ( #354 ), #355 );
#70 = STYLED_ITEM( '', ( #356 ), #357 );
#71 = STYLED_ITEM( '', ( #358 ), #359 );
#72 = STYLED_ITEM( '', ( #360 ), #361 );
#73 = STYLED_ITEM( '', ( #362 ), #363 );
#74 = STYLED_ITEM( '', ( #364 ), #365 );
#75 = STYLED_ITEM( '', ( #366 ), #367 );
#76 = STYLED_ITEM( '', ( #368 ), #369 );
#77 = STYLED_ITEM( '', ( #370 ), #371 );
#78 = STYLED_ITEM( '', ( #372 ), #373 );
#79 = STYLED_ITEM( '', ( #374 ), #375 );
#80 = STYLED_ITEM( '', ( #376 ), #377 );
#81 = STYLED_ITEM( '', ( #378 ), #379 );
#82 = STYLED_ITEM( '', ( #380 ), #381 );
#83 = STYLED_ITEM( '', ( #382 ), #383 );
#84 = STYLED_ITEM( '', ( #384 ), #385 );
#85 = STYLED_ITEM( '', ( #386 ), #387 );
#86 = STYLED_ITEM( '', ( #388 ), #389 );
#87 = STYLED_ITEM( '', ( #390 ), #391 );
#88 = STYLED_ITEM( '', ( #392 ), #393 );
#89 = STYLED_ITEM( '', ( #394 ), #395 );
#90 = STYLED_ITEM( '', ( #396 ), #397 );
#91 = STYLED_ITEM( '', ( #398 ), #399 );
#92 = STYLED_ITEM( '', ( #400 ), #401 );
#93 = STYLED_ITEM( '', ( #402 ), #403 );
#94 = STYLED_ITEM( '', ( #404 ), #405 );
#95 = STYLED_ITEM( '', ( #406 ), #407 );
#96 = STYLED_ITEM( '', ( #408 ), #409 );
#97 = STYLED_ITEM( '', ( #410 ), #411 );
#98 = STYLED_ITEM( '', ( #412 ), #413 );
#99 = STYLED_ITEM( '', ( #414 ), #415 );
#100 = STYLED_ITEM( '', ( #416 ), #417 );
#101 = STYLED_ITEM( '', ( #418 ), #419 );
#102 = STYLED_ITEM( '', ( #420 ), #421 );
#103 = STYLED_ITEM( '', ( #422 ), #423 );
#104 = STYLED_ITEM( '', ( #424 ), #425 );
#105 = STYLED_ITEM( '', ( #426 ), #427 );
#106 = STYLED_ITEM( '', ( #428 ), #429 );
#107 = STYLED_ITEM( '', ( #430 ), #431 );
#108 = STYLED_ITEM( '', ( #432 ), #433 );
#109 = STYLED_ITEM( '', ( #434 ), #435 );
#110 = STYLED_ITEM( '', ( #436 ), #437 );
#111 = STYLED_ITEM( '', ( #438 ), #439 );
#112 = STYLED_ITEM( '', ( #440 ), #441 );
#113 = STYLED_ITEM( '', ( #442 ), #443 );
#114 = STYLED_ITEM( '', ( #444 ), #445 );
#115 = STYLED_ITEM( '', ( #446 ), #447 );
#116 = STYLED_ITEM( '', ( #448 ), #449 );
#117 = STYLED_ITEM( '', ( #450 ), #451 );
#118 = STYLED_ITEM( '', ( #452 ), #453 );
#119 = STYLED_ITEM( '', ( #454 ), #455 );
#120 = STYLED_ITEM( '', ( #456 ), #457 );
#121 = STYLED_ITEM( '', ( #458 ), #459 );
#122 = STYLED_ITEM( '', ( #460 ), #461 );
#123 = STYLED_ITEM( '', ( #462 ), #463 );
#124 = STYLED_ITEM( '', ( #464 ), #465 );
#125 = STYLED_ITEM( '', ( #466 ), #467 );
#126 = STYLED_ITEM( '', ( #468 ), #469 );
#127 = STYLED_ITEM( '', ( #470 ), #471 );
#128 = STYLED_ITEM( '', ( #472 ), #473 );
#129 = STYLED_ITEM( '', ( #474 ), #475 );
#130 = STYLED_ITEM( '', ( #476 ), #477 );
#131 = STYLED_ITEM( '', ( #478 ), #479 );
#132 = STYLED_ITEM( '', ( #480 ), #481 );
#133 = STYLED_ITEM( '', ( #482 ), #483 );
#134 = STYLED_ITEM( '', ( #484 ), #485 );
#135 = STYLED_ITEM( '', ( #486 ), #487 );
#136 = STYLED_ITEM( '', ( #488 ), #489 );
#137 = STYLED_ITEM( '', ( #490 ), #491 );
#138 = STYLED_ITEM( '', ( #492 ), #493 );
#139 = STYLED_ITEM( '', ( #494 ), #495 );
#140 = STYLED_ITEM( '', ( #496 ), #497 );
#141 = STYLED_ITEM( '', ( #498 ), #499 );
#142 = STYLED_ITEM( '', ( #500 ), #501 );
#143 = STYLED_ITEM( '', ( #502 ), #503 );
#144 = STYLED_ITEM( '', ( #504 ), #505 );
#145 = STYLED_ITEM( '', ( #506 ), #507 );
#146 = STYLED_ITEM( '', ( #508 ), #509 );
#147 = STYLED_ITEM( '', ( #510 ), #511 );
#148 = STYLED_ITEM( '', ( #512 ), #513 );
#149 = STYLED_ITEM( '', ( #514 ), #515 );
#150 = STYLED_ITEM( '', ( #516 ), #517 );
#151 = STYLED_ITEM( '', ( #518 ), #519 );
#152 = STYLED_ITEM( '', ( #520 ), #521 );
#153 = STYLED_ITEM( '', ( #522 ), #523 );
#154 = STYLED_ITEM( '', ( #524 ), #525 );
#155 = STYLED_ITEM( '', ( #526 ), #527 );
#156 = STYLED_ITEM( '', ( #528 ), #529 );
#157 = STYLED_ITEM( '', ( #530 ), #531 );
#158 = STYLED_ITEM( '', ( #532 ), #533 );
#159 = STYLED_ITEM( '', ( #534 ), #535 );
#160 = STYLED_ITEM( '', ( #536 ), #537 );
#161 = STYLED_ITEM( '', ( #538 ), #539 );
#162 = STYLED_ITEM( '', ( #540 ), #541 );
#163 = STYLED_ITEM( '', ( #542 ), #543 );
#164 = STYLED_ITEM( '', ( #544 ), #545 );
#165 = STYLED_ITEM( '', ( #546 ), #547 );
#166 = STYLED_ITEM( '', ( #548 ), #549 );
#167 = STYLED_ITEM( '', ( #550 ), #551 );
#168 = STYLED_ITEM( '', ( #552 ), #553 );
#169 = STYLED_ITEM( '', ( #554 ), #555 );
#170 = STYLED_ITEM( '', ( #556 ), #557 );
#171 = STYLED_ITEM( '', ( #558 ), #559 );
#172 = STYLED_ITEM( '', ( #560 ), #561 );
#173 = STYLED_ITEM( '', ( #562 ), #563 );
#174 = STYLED_ITEM( '', ( #564 ), #565 );
#175 = STYLED_ITEM( '', ( #566 ), #567 );
#176 = STYLED_ITEM( '', ( #568 ), #569 );
#177 = STYLED_ITEM( '', ( #570 ), #571 );
#178 = STYLED_ITEM( '', ( #572 ), #573 );
#179 = STYLED_ITEM( '', ( #574 ), #575 );
#180 = STYLED_ITEM( '', ( #576 ), #577 );
#181 = STYLED_ITEM( '', ( #578 ), #579 );
#182 = STYLED_ITEM( '', ( #580 ), #581 );
#183 = STYLED_ITEM( '', ( #582 ), #583 );
#184 = STYLED_ITEM( '', ( #584 ), #585 );
#185 = STYLED_ITEM( '', ( #586 ), #587 );
#186 = STYLED_ITEM( '', ( #588 ), #589 );
#187 = STYLED_ITEM( '', ( #590 ), #591 );
#188 = STYLED_ITEM( '', ( #592 ), #593 );
#189 = STYLED_ITEM( '', ( #594 ), #595 );
#190 = STYLED_ITEM( '', ( #596 ), #597 );
#191 = STYLED_ITEM( '', ( #598 ), #599 );
#192 = STYLED_ITEM( '', ( #600 ), #601 );
#193 = STYLED_ITEM( '', ( #602 ), #603 );
#194 = STYLED_ITEM( '', ( #604 ), #605 );
#195 = STYLED_ITEM( '', ( #606 ), #607 );
#196 = STYLED_ITEM( '', ( #608 ), #609 );
#197 = STYLED_ITEM( '', ( #610 ), #611 );
#198 = STYLED_ITEM( '', ( #612 ), #613 );
#199 = STYLED_ITEM( '', ( #614 ), #615 );
#200 = STYLED_ITEM( '', ( #616 ), #617 );
#201 = STYLED_ITEM( '', ( #618 ), #619 );
#202 = STYLED_ITEM( '', ( #620 ), #621 );
#203 = STYLED_ITEM( '', ( #622 ), #623 );
#204 = STYLED_ITEM( '', ( #624 ), #625 );
#205 = STYLED_ITEM( '', ( #626 ), #627 );
#206 = STYLED_ITEM( '', ( #628 ), #629 );
#207 = STYLED_ITEM( '', ( #630 ), #631 );
#208 = STYLED_ITEM( '', ( #632 ), #633 );
#209 = STYLED_ITEM( '', ( #634 ), #635 );
#210 = STYLED_ITEM( '', ( #636 ), #637 );
#211 = STYLED_ITEM( '', ( #638 ), #639 );
#212 = STYLED_ITEM( '', ( #640 ), #641 );
#213 = STYLED_ITEM( '', ( #642 ), #643 );
#214 = STYLED_ITEM( '', ( #644 ), #645 );
#215 = STYLED_ITEM( '', ( #646 ), #647 );
#216 = STYLED_ITEM( '', ( #648 ), #649 );
#217 = STYLED_ITEM( '', ( #650 ), #651 );
#218 = STYLED_ITEM( '', ( #652 ), #653 );
#219 = STYLED_ITEM( '', ( #654 ), #655 );
#220 = STYLED_ITEM( '', ( #656 ), #657 );
#221 = STYLED_ITEM( '', ( #658 ), #659 );
#222 = STYLED_ITEM( '', ( #660 ), #661 );
#223 = APPLICATION_CONTEXT( ' ' );
#224 = PRODUCT_CATEGORY( 'part', 'NONE' );
#225 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #662 ) );
#226 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #663 );
#227 = ADVANCED_BREP_SHAPE_REPRESENTATION( '1', ( #379, #664 ), #6 );
#230 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000E-006 ), #232, '', '' );
#232 =  ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #667 )LENGTH_UNIT(  )NAMED_UNIT( #670 ) );
#233 =  ( NAMED_UNIT( #672 )PLANE_ANGLE_UNIT(  )SI_UNIT( $, .RADIAN. ) );
#234 =  ( NAMED_UNIT( #672 )SOLID_ANGLE_UNIT(  )SI_UNIT( $, .STERADIAN. ) );
#236 = PRESENTATION_STYLE_ASSIGNMENT( ( #678 ) );
#237 = EDGE_CURVE( '', #527, #567, #679, .T. );
#238 = PRESENTATION_STYLE_ASSIGNMENT( ( #680 ) );
#239 = VERTEX_POINT( '', #681 );
#240 = PRESENTATION_STYLE_ASSIGNMENT( ( #682 ) );
#241 = EDGE_CURVE( '', #333, #369, #683, .T. );
#242 = PRESENTATION_STYLE_ASSIGNMENT( ( #684 ) );
#243 = ADVANCED_FACE( '', ( #685 ), #686, .T. );
#244 = PRESENTATION_STYLE_ASSIGNMENT( ( #687 ) );
#245 = EDGE_CURVE( '', #405, #429, #688, .T. );
#246 = PRESENTATION_STYLE_ASSIGNMENT( ( #689 ) );
#247 = EDGE_CURVE( '', #479, #281, #690, .T. );
#248 = PRESENTATION_STYLE_ASSIGNMENT( ( #691 ) );
#249 = EDGE_CURVE( '', #239, #435, #692, .T. );
#250 = PRESENTATION_STYLE_ASSIGNMENT( ( #693 ) );
#251 = EDGE_CURVE( '', #495, #389, #694, .T. );
#252 = PRESENTATION_STYLE_ASSIGNMENT( ( #695 ) );
#253 = EDGE_CURVE( '', #583, #601, #696, .T. );
#254 = PRESENTATION_STYLE_ASSIGNMENT( ( #697 ) );
#255 = EDGE_CURVE( '', #657, #509, #698, .T. );
#256 = PRESENTATION_STYLE_ASSIGNMENT( ( #699 ) );
#257 = ADVANCED_FACE( '', ( #700 ), #701, .T. );
#258 = PRESENTATION_STYLE_ASSIGNMENT( ( #702 ) );
#259 = EDGE_CURVE( '', #503, #527, #703, .T. );
#260 = PRESENTATION_STYLE_ASSIGNMENT( ( #704 ) );
#261 = VERTEX_POINT( '', #705 );
#262 = PRESENTATION_STYLE_ASSIGNMENT( ( #706 ) );
#263 = EDGE_CURVE( '', #661, #343, #707, .T. );
#264 = PRESENTATION_STYLE_ASSIGNMENT( ( #708 ) );
#265 = VERTEX_POINT( '', #709 );
#266 = PRESENTATION_STYLE_ASSIGNMENT( ( #710 ) );
#267 = EDGE_CURVE( '', #307, #485, #711, .T. );
#268 = PRESENTATION_STYLE_ASSIGNMENT( ( #712 ) );
#269 = EDGE_CURVE( '', #499, #393, #713, .T. );
#270 = PRESENTATION_STYLE_ASSIGNMENT( ( #714 ) );
#271 = EDGE_CURVE( '', #459, #391, #715, .T. );
#272 = PRESENTATION_STYLE_ASSIGNMENT( ( #716 ) );
#273 = VERTEX_POINT( '', #717 );
#274 = PRESENTATION_STYLE_ASSIGNMENT( ( #718 ) );
#275 = EDGE_CURVE( '', #601, #627, #719, .T. );
#276 = PRESENTATION_STYLE_ASSIGNMENT( ( #720 ) );
#277 = ADVANCED_FACE( '', ( #721 ), #722, .T. );
#278 = PRESENTATION_STYLE_ASSIGNMENT( ( #723 ) );
#279 = ADVANCED_FACE( '', ( #724 ), #725, .T. );
#280 = PRESENTATION_STYLE_ASSIGNMENT( ( #726 ) );
#281 = VERTEX_POINT( '', #727 );
#282 = PRESENTATION_STYLE_ASSIGNMENT( ( #728 ) );
#283 = EDGE_CURVE( '', #393, #577, #729, .T. );
#284 = PRESENTATION_STYLE_ASSIGNMENT( ( #730 ) );
#285 = ADVANCED_FACE( '', ( #731 ), #732, .T. );
#286 = PRESENTATION_STYLE_ASSIGNMENT( ( #733 ) );
#287 = EDGE_CURVE( '', #495, #641, #734, .T. );
#288 = PRESENTATION_STYLE_ASSIGNMENT( ( #735 ) );
#289 = EDGE_CURVE( '', #497, #319, #736, .T. );
#290 = PRESENTATION_STYLE_ASSIGNMENT( ( #737 ) );
#291 = EDGE_CURVE( '', #445, #619, #738, .T. );
#292 = PRESENTATION_STYLE_ASSIGNMENT( ( #739 ) );
#293 = VERTEX_POINT( '', #740 );
#294 = PRESENTATION_STYLE_ASSIGNMENT( ( #741 ) );
#295 = EDGE_CURVE( '', #621, #645, #742, .T. );
#296 = PRESENTATION_STYLE_ASSIGNMENT( ( #743 ) );
#297 = ADVANCED_FACE( '', ( #744 ), #745, .T. );
#298 = PRESENTATION_STYLE_ASSIGNMENT( ( #746 ) );
#299 = ADVANCED_FACE( '', ( #747 ), #748, .F. );
#300 = PRESENTATION_STYLE_ASSIGNMENT( ( #749 ) );
#301 = EDGE_CURVE( '', #435, #661, #750, .T. );
#302 = PRESENTATION_STYLE_ASSIGNMENT( ( #751 ) );
#303 = VERTEX_POINT( '', #752 );
#304 = PRESENTATION_STYLE_ASSIGNMENT( ( #753 ) );
#305 = VERTEX_POINT( '', #754 );
#306 = PRESENTATION_STYLE_ASSIGNMENT( ( #755 ) );
#307 = VERTEX_POINT( '', #756 );
#308 = PRESENTATION_STYLE_ASSIGNMENT( ( #757 ) );
#309 = EDGE_CURVE( '', #323, #333, #758, .T. );
#310 = PRESENTATION_STYLE_ASSIGNMENT( ( #759 ) );
#311 = ADVANCED_FACE( '', ( #760 ), #761, .T. );
#312 = PRESENTATION_STYLE_ASSIGNMENT( ( #762 ) );
#313 = EDGE_CURVE( '', #265, #583, #763, .T. );
#314 = PRESENTATION_STYLE_ASSIGNMENT( ( #764 ) );
#315 = ADVANCED_FACE( '', ( #765 ), #766, .F. );
#316 = PRESENTATION_STYLE_ASSIGNMENT( ( #767 ) );
#317 = EDGE_CURVE( '', #363, #643, #768, .T. );
#318 = PRESENTATION_STYLE_ASSIGNMENT( ( #769 ) );
#319 = VERTEX_POINT( '', #770 );
#320 = PRESENTATION_STYLE_ASSIGNMENT( ( #771 ) );
#321 = VERTEX_POINT( '', #772 );
#322 = PRESENTATION_STYLE_ASSIGNMENT( ( #773 ) );
#323 = VERTEX_POINT( '', #774 );
#324 = PRESENTATION_STYLE_ASSIGNMENT( ( #775 ) );
#325 = EDGE_CURVE( '', #619, #345, #776, .T. );
#326 = PRESENTATION_STYLE_ASSIGNMENT( ( #777 ) );
#327 = EDGE_CURVE( '', #513, #545, #778, .T. );
#328 = PRESENTATION_STYLE_ASSIGNMENT( ( #779 ) );
#329 = EDGE_CURVE( '', #273, #577, #780, .T. );
#330 = PRESENTATION_STYLE_ASSIGNMENT( ( #781 ) );
#331 = VERTEX_POINT( '', #782 );
#332 = PRESENTATION_STYLE_ASSIGNMENT( ( #783 ) );
#333 = VERTEX_POINT( '', #784 );
#334 = PRESENTATION_STYLE_ASSIGNMENT( ( #785 ) );
#335 = EDGE_CURVE( '', #389, #499, #786, .T. );
#336 = PRESENTATION_STYLE_ASSIGNMENT( ( #787 ) );
#337 = VERTEX_POINT( '', #788 );
#338 = PRESENTATION_STYLE_ASSIGNMENT( ( #789 ) );
#339 = EDGE_CURVE( '', #307, #365, #790, .T. );
#340 = PRESENTATION_STYLE_ASSIGNMENT( ( #791 ) );
#341 = EDGE_CURVE( '', #273, #539, #792, .T. );
#342 = PRESENTATION_STYLE_ASSIGNMENT( ( #793 ) );
#343 = VERTEX_POINT( '', #794 );
#344 = PRESENTATION_STYLE_ASSIGNMENT( ( #795 ) );
#345 = VERTEX_POINT( '', #796 );
#346 = PRESENTATION_STYLE_ASSIGNMENT( ( #797 ) );
#347 = VERTEX_POINT( '', #798 );
#348 = PRESENTATION_STYLE_ASSIGNMENT( ( #799 ) );
#349 = VERTEX_POINT( '', #800 );
#350 = PRESENTATION_STYLE_ASSIGNMENT( ( #801 ) );
#351 = EDGE_CURVE( '', #553, #265, #802, .T. );
#352 = PRESENTATION_STYLE_ASSIGNMENT( ( #803 ) );
#353 = EDGE_CURVE( '', #643, #645, #804, .T. );
#354 = PRESENTATION_STYLE_ASSIGNMENT( ( #805 ) );
#355 = ADVANCED_FACE( '', ( #806 ), #807, .T. );
#356 = PRESENTATION_STYLE_ASSIGNMENT( ( #808 ) );
#357 = EDGE_CURVE( '', #409, #563, #809, .T. );
#358 = PRESENTATION_STYLE_ASSIGNMENT( ( #810 ) );
#359 = EDGE_CURVE( '', #553, #345, #811, .T. );
#360 = PRESENTATION_STYLE_ASSIGNMENT( ( #812 ) );
#361 = EDGE_CURVE( '', #567, #479, #813, .T. );
#362 = PRESENTATION_STYLE_ASSIGNMENT( ( #814 ) );
#363 = VERTEX_POINT( '', #815 );
#364 = PRESENTATION_STYLE_ASSIGNMENT( ( #816 ) );
#365 = VERTEX_POINT( '', #817 );
#366 = PRESENTATION_STYLE_ASSIGNMENT( ( #818 ) );
#367 = EDGE_CURVE( '', #369, #567, #819, .T. );
#368 = PRESENTATION_STYLE_ASSIGNMENT( ( #820 ) );
#369 = VERTEX_POINT( '', #821 );
#370 = PRESENTATION_STYLE_ASSIGNMENT( ( #822 ) );
#371 = ADVANCED_FACE( '', ( #823 ), #824, .T. );
#372 = PRESENTATION_STYLE_ASSIGNMENT( ( #825 ) );
#373 = ADVANCED_FACE( '', ( #826 ), #827, .T. );
#374 = PRESENTATION_STYLE_ASSIGNMENT( ( #828 ) );
#375 = EDGE_CURVE( '', #509, #419, #829, .T. );
#376 = PRESENTATION_STYLE_ASSIGNMENT( ( #830 ) );
#377 = EDGE_CURVE( '', #577, #407, #831, .T. );
#378 = PRESENTATION_STYLE_ASSIGNMENT( ( #832 ) );
#379 = MANIFOLD_SOLID_BREP( '1', #833 );
#380 = PRESENTATION_STYLE_ASSIGNMENT( ( #834 ) );
#381 = VERTEX_POINT( '', #835 );
#382 = PRESENTATION_STYLE_ASSIGNMENT( ( #836 ) );
#383 = ADVANCED_FACE( '', ( #837 ), #838, .T. );
#384 = PRESENTATION_STYLE_ASSIGNMENT( ( #839 ) );
#385 = EDGE_CURVE( '', #629, #303, #840, .T. );
#386 = PRESENTATION_STYLE_ASSIGNMENT( ( #841 ) );
#387 = ADVANCED_FACE( '', ( #842 ), #843, .T. );
#388 = PRESENTATION_STYLE_ASSIGNMENT( ( #844 ) );
#389 = VERTEX_POINT( '', #845 );
#390 = PRESENTATION_STYLE_ASSIGNMENT( ( #846 ) );
#391 = VERTEX_POINT( '', #847 );
#392 = PRESENTATION_STYLE_ASSIGNMENT( ( #848 ) );
#393 = VERTEX_POINT( '', #849 );
#394 = PRESENTATION_STYLE_ASSIGNMENT( ( #850 ) );
#395 = EDGE_CURVE( '', #555, #331, #851, .T. );
#396 = PRESENTATION_STYLE_ASSIGNMENT( ( #852 ) );
#397 = EDGE_CURVE( '', #411, #343, #853, .T. );
#398 = PRESENTATION_STYLE_ASSIGNMENT( ( #854 ) );
#399 = EDGE_CURVE( '', #485, #363, #855, .T. );
#400 = PRESENTATION_STYLE_ASSIGNMENT( ( #856 ) );
#401 = EDGE_CURVE( '', #445, #553, #857, .T. );
#402 = PRESENTATION_STYLE_ASSIGNMENT( ( #858 ) );
#403 = EDGE_CURVE( '', #511, #627, #859, .T. );
#404 = PRESENTATION_STYLE_ASSIGNMENT( ( #860 ) );
#405 = VERTEX_POINT( '', #861 );
#406 = PRESENTATION_STYLE_ASSIGNMENT( ( #862 ) );
#407 = VERTEX_POINT( '', #863 );
#408 = PRESENTATION_STYLE_ASSIGNMENT( ( #864 ) );
#409 = VERTEX_POINT( '', #865 );
#410 = PRESENTATION_STYLE_ASSIGNMENT( ( #866 ) );
#411 = VERTEX_POINT( '', #867 );
#412 = PRESENTATION_STYLE_ASSIGNMENT( ( #868 ) );
#413 = ADVANCED_FACE( '', ( #869 ), #870, .T. );
#414 = PRESENTATION_STYLE_ASSIGNMENT( ( #871 ) );
#415 = EDGE_CURVE( '', #303, #585, #872, .T. );
#416 = PRESENTATION_STYLE_ASSIGNMENT( ( #873 ) );
#417 = ADVANCED_FACE( '', ( #874 ), #875, .F. );
#418 = PRESENTATION_STYLE_ASSIGNMENT( ( #876 ) );
#419 = VERTEX_POINT( '', #877 );
#420 = PRESENTATION_STYLE_ASSIGNMENT( ( #878 ) );
#421 = EDGE_CURVE( '', #389, #349, #879, .T. );
#422 = PRESENTATION_STYLE_ASSIGNMENT( ( #880 ) );
#423 = EDGE_CURVE( '', #409, #445, #881, .T. );
#424 = PRESENTATION_STYLE_ASSIGNMENT( ( #882 ) );
#425 = ADVANCED_FACE( '', ( #883 ), #884, .T. );
#426 = PRESENTATION_STYLE_ASSIGNMENT( ( #885 ) );
#427 = ADVANCED_FACE( '', ( #886 ), #887, .F. );
#428 = PRESENTATION_STYLE_ASSIGNMENT( ( #888 ) );
#429 = VERTEX_POINT( '', #889 );
#430 = PRESENTATION_STYLE_ASSIGNMENT( ( #890 ) );
#431 = ADVANCED_FACE( '', ( #891 ), #892, .T. );
#432 = PRESENTATION_STYLE_ASSIGNMENT( ( #893 ) );
#433 = EDGE_CURVE( '', #585, #509, #894, .T. );
#434 = PRESENTATION_STYLE_ASSIGNMENT( ( #895 ) );
#435 = VERTEX_POINT( '', #896 );
#436 = PRESENTATION_STYLE_ASSIGNMENT( ( #897 ) );
#437 = EDGE_CURVE( '', #319, #333, #898, .T. );
#438 = PRESENTATION_STYLE_ASSIGNMENT( ( #899 ) );
#439 = EDGE_CURVE( '', #319, #503, #900, .T. );
#440 = PRESENTATION_STYLE_ASSIGNMENT( ( #901 ) );
#441 = ADVANCED_FACE( '', ( #902 ), #903, .T. );
#442 = PRESENTATION_STYLE_ASSIGNMENT( ( #904 ) );
#443 = EDGE_CURVE( '', #435, #411, #905, .T. );
#444 = PRESENTATION_STYLE_ASSIGNMENT( ( #906 ) );
#445 = VERTEX_POINT( '', #907 );
#446 = PRESENTATION_STYLE_ASSIGNMENT( ( #908 ) );
#447 = EDGE_CURVE( '', #563, #619, #909, .T. );
#448 = PRESENTATION_STYLE_ASSIGNMENT( ( #910 ) );
#449 = EDGE_CURVE( '', #363, #621, #911, .T. );
#450 = PRESENTATION_STYLE_ASSIGNMENT( ( #912 ) );
#451 = EDGE_CURVE( '', #239, #581, #913, .T. );
#452 = PRESENTATION_STYLE_ASSIGNMENT( ( #914 ) );
#453 = EDGE_CURVE( '', #643, #459, #915, .T. );
#454 = PRESENTATION_STYLE_ASSIGNMENT( ( #916 ) );
#455 = EDGE_CURVE( '', #365, #579, #917, .T. );
#456 = PRESENTATION_STYLE_ASSIGNMENT( ( #918 ) );
#457 = EDGE_CURVE( '', #429, #563, #919, .T. );
#458 = PRESENTATION_STYLE_ASSIGNMENT( ( #920 ) );
#459 = VERTEX_POINT( '', #921 );
#460 = PRESENTATION_STYLE_ASSIGNMENT( ( #922 ) );
#461 = ADVANCED_FACE( '', ( #923 ), #924, .T. );
#462 = PRESENTATION_STYLE_ASSIGNMENT( ( #925 ) );
#463 = ADVANCED_FACE( '', ( #926 ), #927, .T. );
#464 = PRESENTATION_STYLE_ASSIGNMENT( ( #928 ) );
#465 = EDGE_CURVE( '', #639, #629, #929, .T. );
#466 = PRESENTATION_STYLE_ASSIGNMENT( ( #930 ) );
#467 = EDGE_CURVE( '', #645, #475, #931, .T. );
#468 = PRESENTATION_STYLE_ASSIGNMENT( ( #932 ) );
#469 = ADVANCED_FACE( '', ( #933 ), #934, .T. );
#470 = PRESENTATION_STYLE_ASSIGNMENT( ( #935 ) );
#471 = EDGE_CURVE( '', #527, #261, #936, .T. );
#472 = PRESENTATION_STYLE_ASSIGNMENT( ( #937 ) );
#473 = EDGE_CURVE( '', #459, #475, #938, .T. );
#474 = PRESENTATION_STYLE_ASSIGNMENT( ( #939 ) );
#475 = VERTEX_POINT( '', #940 );
#476 = PRESENTATION_STYLE_ASSIGNMENT( ( #941 ) );
#477 = EDGE_CURVE( '', #475, #305, #942, .T. );
#478 = PRESENTATION_STYLE_ASSIGNMENT( ( #943 ) );
#479 = VERTEX_POINT( '', #944 );
#480 = PRESENTATION_STYLE_ASSIGNMENT( ( #945 ) );
#481 = EDGE_CURVE( '', #331, #585, #946, .T. );
#482 = PRESENTATION_STYLE_ASSIGNMENT( ( #947 ) );
#483 = VERTEX_POINT( '', #948 );
#484 = PRESENTATION_STYLE_ASSIGNMENT( ( #949 ) );
#485 = VERTEX_POINT( '', #950 );
#486 = PRESENTATION_STYLE_ASSIGNMENT( ( #951 ) );
#487 = EDGE_CURVE( '', #561, #281, #952, .T. );
#488 = PRESENTATION_STYLE_ASSIGNMENT( ( #953 ) );
#489 = ADVANCED_FACE( '', ( #954 ), #955, .T. );
#490 = PRESENTATION_STYLE_ASSIGNMENT( ( #956 ) );
#491 = EDGE_CURVE( '', #345, #347, #957, .T. );
#492 = PRESENTATION_STYLE_ASSIGNMENT( ( #958 ) );
#493 = EDGE_CURVE( '', #513, #381, #959, .T. );
#494 = PRESENTATION_STYLE_ASSIGNMENT( ( #960 ) );
#495 = VERTEX_POINT( '', #961 );
#496 = PRESENTATION_STYLE_ASSIGNMENT( ( #962 ) );
#497 = VERTEX_POINT( '', #963 );
#498 = PRESENTATION_STYLE_ASSIGNMENT( ( #964 ) );
#499 = VERTEX_POINT( '', #965 );
#500 = PRESENTATION_STYLE_ASSIGNMENT( ( #966 ) );
#501 = EDGE_CURVE( '', #661, #307, #967, .T. );
#502 = PRESENTATION_STYLE_ASSIGNMENT( ( #968 ) );
#503 = VERTEX_POINT( '', #969 );
#504 = PRESENTATION_STYLE_ASSIGNMENT( ( #970 ) );
#505 = ADVANCED_FACE( '', ( #971 ), #972, .T. );
#506 = PRESENTATION_STYLE_ASSIGNMENT( ( #973 ) );
#507 = ADVANCED_FACE( '', ( #974 ), #975, .T. );
#508 = PRESENTATION_STYLE_ASSIGNMENT( ( #976 ) );
#509 = VERTEX_POINT( '', #977 );
#510 = PRESENTATION_STYLE_ASSIGNMENT( ( #978 ) );
#511 = VERTEX_POINT( '', #979 );
#512 = PRESENTATION_STYLE_ASSIGNMENT( ( #980 ) );
#513 = VERTEX_POINT( '', #981 );
#514 = PRESENTATION_STYLE_ASSIGNMENT( ( #982 ) );
#515 = ADVANCED_FACE( '', ( #983 ), #984, .T. );
#516 = PRESENTATION_STYLE_ASSIGNMENT( ( #985 ) );
#517 = EDGE_CURVE( '', #293, #323, #986, .T. );
#518 = PRESENTATION_STYLE_ASSIGNMENT( ( #987 ) );
#519 = EDGE_CURVE( '', #419, #293, #988, .T. );
#520 = PRESENTATION_STYLE_ASSIGNMENT( ( #989 ) );
#521 = EDGE_CURVE( '', #581, #411, #990, .T. );
#522 = PRESENTATION_STYLE_ASSIGNMENT( ( #991 ) );
#523 = EDGE_CURVE( '', #539, #407, #992, .T. );
#524 = PRESENTATION_STYLE_ASSIGNMENT( ( #993 ) );
#525 = EDGE_CURVE( '', #503, #369, #994, .T. );
#526 = PRESENTATION_STYLE_ASSIGNMENT( ( #995 ) );
#527 = VERTEX_POINT( '', #996 );
#528 = PRESENTATION_STYLE_ASSIGNMENT( ( #997 ) );
#529 = EDGE_CURVE( '', #337, #321, #998, .T. );
#530 = PRESENTATION_STYLE_ASSIGNMENT( ( #999 ) );
#531 = ADVANCED_FACE( '', ( #1000 ), #1001, .F. );
#532 = PRESENTATION_STYLE_ASSIGNMENT( ( #1002 ) );
#533 = EDGE_CURVE( '', #261, #561, #1003, .T. );
#534 = PRESENTATION_STYLE_ASSIGNMENT( ( #1004 ) );
#535 = EDGE_CURVE( '', #261, #479, #1005, .T. );
#536 = PRESENTATION_STYLE_ASSIGNMENT( ( #1006 ) );
#537 = EDGE_CURVE( '', #381, #483, #1007, .T. );
#538 = PRESENTATION_STYLE_ASSIGNMENT( ( #1008 ) );
#539 = VERTEX_POINT( '', #1009 );
#540 = PRESENTATION_STYLE_ASSIGNMENT( ( #1010 ) );
#541 = EDGE_CURVE( '', #391, #305, #1011, .T. );
#542 = PRESENTATION_STYLE_ASSIGNMENT( ( #1012 ) );
#543 = EDGE_CURVE( '', #601, #513, #1013, .T. );
#544 = PRESENTATION_STYLE_ASSIGNMENT( ( #1014 ) );
#545 = VERTEX_POINT( '', #1015 );
#546 = PRESENTATION_STYLE_ASSIGNMENT( ( #1016 ) );
#547 = EDGE_CURVE( '', #483, #555, #1017, .T. );
#548 = PRESENTATION_STYLE_ASSIGNMENT( ( #1018 ) );
#549 = EDGE_CURVE( '', #349, #273, #1019, .T. );
#550 = PRESENTATION_STYLE_ASSIGNMENT( ( #1020 ) );
#551 = ADVANCED_FACE( '', ( #1021 ), #1022, .T. );
#552 = PRESENTATION_STYLE_ASSIGNMENT( ( #1023 ) );
#553 = VERTEX_POINT( '', #1024 );
#554 = PRESENTATION_STYLE_ASSIGNMENT( ( #1025 ) );
#555 = VERTEX_POINT( '', #1026 );
#556 = PRESENTATION_STYLE_ASSIGNMENT( ( #1027 ) );
#557 = ADVANCED_FACE( '', ( #1028 ), #1029, .T. );
#558 = PRESENTATION_STYLE_ASSIGNMENT( ( #1030 ) );
#559 = ADVANCED_FACE( '', ( #1031 ), #1032, .T. );
#560 = PRESENTATION_STYLE_ASSIGNMENT( ( #1033 ) );
#561 = VERTEX_POINT( '', #1034 );
#562 = PRESENTATION_STYLE_ASSIGNMENT( ( #1035 ) );
#563 = VERTEX_POINT( '', #1036 );
#564 = PRESENTATION_STYLE_ASSIGNMENT( ( #1037 ) );
#565 = EDGE_CURVE( '', #347, #511, #1038, .T. );
#566 = PRESENTATION_STYLE_ASSIGNMENT( ( #1039 ) );
#567 = VERTEX_POINT( '', #1040 );
#568 = PRESENTATION_STYLE_ASSIGNMENT( ( #1041 ) );
#569 = ADVANCED_FACE( '', ( #1042 ), #1043, .T. );
#570 = PRESENTATION_STYLE_ASSIGNMENT( ( #1044 ) );
#571 = EDGE_CURVE( '', #321, #293, #1045, .T. );
#572 = PRESENTATION_STYLE_ASSIGNMENT( ( #1046 ) );
#573 = EDGE_CURVE( '', #281, #581, #1047, .T. );
#574 = PRESENTATION_STYLE_ASSIGNMENT( ( #1048 ) );
#575 = EDGE_CURVE( '', #321, #497, #1049, .T. );
#576 = PRESENTATION_STYLE_ASSIGNMENT( ( #1050 ) );
#577 = VERTEX_POINT( '', #1051 );
#578 = PRESENTATION_STYLE_ASSIGNMENT( ( #1052 ) );
#579 = VERTEX_POINT( '', #1053 );
#580 = PRESENTATION_STYLE_ASSIGNMENT( ( #1054 ) );
#581 = VERTEX_POINT( '', #1055 );
#582 = PRESENTATION_STYLE_ASSIGNMENT( ( #1056 ) );
#583 = VERTEX_POINT( '', #1057 );
#584 = PRESENTATION_STYLE_ASSIGNMENT( ( #1058 ) );
#585 = VERTEX_POINT( '', #1059 );
#586 = PRESENTATION_STYLE_ASSIGNMENT( ( #1060 ) );
#587 = EDGE_CURVE( '', #641, #499, #1061, .T. );
#588 = PRESENTATION_STYLE_ASSIGNMENT( ( #1062 ) );
#589 = EDGE_CURVE( '', #391, #495, #1063, .T. );
#590 = PRESENTATION_STYLE_ASSIGNMENT( ( #1064 ) );
#591 = EDGE_CURVE( '', #305, #641, #1065, .T. );
#592 = PRESENTATION_STYLE_ASSIGNMENT( ( #1066 ) );
#593 = ADVANCED_FACE( '', ( #1067 ), #1068, .T. );
#594 = PRESENTATION_STYLE_ASSIGNMENT( ( #1069 ) );
#595 = EDGE_CURVE( '', #497, #323, #1070, .T. );
#596 = PRESENTATION_STYLE_ASSIGNMENT( ( #1071 ) );
#597 = EDGE_CURVE( '', #627, #381, #1072, .T. );
#598 = PRESENTATION_STYLE_ASSIGNMENT( ( #1073 ) );
#599 = EDGE_CURVE( '', #407, #429, #1074, .T. );
#600 = PRESENTATION_STYLE_ASSIGNMENT( ( #1075 ) );
#601 = VERTEX_POINT( '', #1076 );
#602 = PRESENTATION_STYLE_ASSIGNMENT( ( #1077 ) );
#603 = EDGE_CURVE( '', #639, #555, #1078, .T. );
#604 = PRESENTATION_STYLE_ASSIGNMENT( ( #1079 ) );
#605 = EDGE_CURVE( '', #265, #347, #1080, .T. );
#606 = PRESENTATION_STYLE_ASSIGNMENT( ( #1081 ) );
#607 = EDGE_CURVE( '', #545, #639, #1082, .T. );
#608 = PRESENTATION_STYLE_ASSIGNMENT( ( #1083 ) );
#609 = EDGE_CURVE( '', #393, #349, #1084, .T. );
#610 = PRESENTATION_STYLE_ASSIGNMENT( ( #1085 ) );
#611 = EDGE_CURVE( '', #303, #657, #1086, .T. );
#612 = PRESENTATION_STYLE_ASSIGNMENT( ( #1087 ) );
#613 = EDGE_CURVE( '', #545, #483, #1088, .T. );
#614 = PRESENTATION_STYLE_ASSIGNMENT( ( #1089 ) );
#615 = EDGE_CURVE( '', #337, #419, #1090, .T. );
#616 = PRESENTATION_STYLE_ASSIGNMENT( ( #1091 ) );
#617 = ADVANCED_FACE( '', ( #1092 ), #1093, .T. );
#618 = PRESENTATION_STYLE_ASSIGNMENT( ( #1094 ) );
#619 = VERTEX_POINT( '', #1095 );
#620 = PRESENTATION_STYLE_ASSIGNMENT( ( #1096 ) );
#621 = VERTEX_POINT( '', #1097 );
#622 = PRESENTATION_STYLE_ASSIGNMENT( ( #1098 ) );
#623 = EDGE_CURVE( '', #657, #337, #1099, .T. );
#624 = PRESENTATION_STYLE_ASSIGNMENT( ( #1100 ) );
#625 = EDGE_CURVE( '', #583, #511, #1101, .T. );
#626 = PRESENTATION_STYLE_ASSIGNMENT( ( #1102 ) );
#627 = VERTEX_POINT( '', #1103 );
#628 = PRESENTATION_STYLE_ASSIGNMENT( ( #1104 ) );
#629 = VERTEX_POINT( '', #1105 );
#630 = PRESENTATION_STYLE_ASSIGNMENT( ( #1106 ) );
#631 = EDGE_CURVE( '', #579, #621, #1107, .T. );
#632 = PRESENTATION_STYLE_ASSIGNMENT( ( #1108 ) );
#633 = ADVANCED_FACE( '', ( #1109 ), #1110, .T. );
#634 = PRESENTATION_STYLE_ASSIGNMENT( ( #1111 ) );
#635 = EDGE_CURVE( '', #343, #365, #1112, .T. );
#636 = PRESENTATION_STYLE_ASSIGNMENT( ( #1113 ) );
#637 = EDGE_CURVE( '', #485, #579, #1114, .T. );
#638 = PRESENTATION_STYLE_ASSIGNMENT( ( #1115 ) );
#639 = VERTEX_POINT( '', #1116 );
#640 = PRESENTATION_STYLE_ASSIGNMENT( ( #1117 ) );
#641 = VERTEX_POINT( '', #1118 );
#642 = PRESENTATION_STYLE_ASSIGNMENT( ( #1119 ) );
#643 = VERTEX_POINT( '', #1120 );
#644 = PRESENTATION_STYLE_ASSIGNMENT( ( #1121 ) );
#645 = VERTEX_POINT( '', #1122 );
#646 = PRESENTATION_STYLE_ASSIGNMENT( ( #1123 ) );
#647 = ADVANCED_FACE( '', ( #1124 ), #1125, .T. );
#648 = PRESENTATION_STYLE_ASSIGNMENT( ( #1126 ) );
#649 = EDGE_CURVE( '', #539, #405, #1127, .T. );
#650 = PRESENTATION_STYLE_ASSIGNMENT( ( #1128 ) );
#651 = ADVANCED_FACE( '', ( #1129 ), #1130, .T. );
#652 = PRESENTATION_STYLE_ASSIGNMENT( ( #1131 ) );
#653 = EDGE_CURVE( '', #405, #409, #1132, .T. );
#654 = PRESENTATION_STYLE_ASSIGNMENT( ( #1133 ) );
#655 = EDGE_CURVE( '', #561, #239, #1134, .T. );
#656 = PRESENTATION_STYLE_ASSIGNMENT( ( #1135 ) );
#657 = VERTEX_POINT( '', #1136 );
#658 = PRESENTATION_STYLE_ASSIGNMENT( ( #1137 ) );
#659 = EDGE_CURVE( '', #629, #331, #1138, .T. );
#660 = PRESENTATION_STYLE_ASSIGNMENT( ( #1139 ) );
#661 = VERTEX_POINT( '', #1140 );
#662 = PRODUCT( '1', '1', 'PART-1-DESC', ( #1141 ) );
#663 = PRODUCT_DEFINITION( 'NONE', 'NONE', #1142, #2 );
#664 = AXIS2_PLACEMENT_3D( '', #1143, #1144, #1145 );
#667 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #1146 );
#670 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#672 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#678 = CURVE_STYLE( '', #1147, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1148 );
#679 = LINE( '', #1149, #1150 );
#680 = POINT_STYLE( ' ', #1151, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1152 );
#681 = CARTESIAN_POINT( '', ( 3.50000000000000, 3.14852813742384, 0.000000000000000 ) );
#682 = CURVE_STYLE( '', #1153, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1154 );
#683 = LINE( '', #1155, #1156 );
#684 = SURFACE_STYLE_USAGE( .BOTH., #1157 );
#685 = FACE_OUTER_BOUND( '', #1158, .T. );
#686 = CYLINDRICAL_SURFACE( '', #1159, 0.199999999999937 );
#687 = CURVE_STYLE( '', #1160, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1161 );
#688 = LINE( '', #1162, #1163 );
#689 = CURVE_STYLE( '', #1164, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1165 );
#690 = LINE( '', #1166, #1167 );
#691 = CURVE_STYLE( '', #1168, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1169 );
#692 = LINE( '', #1170, #1171 );
#693 = CURVE_STYLE( '', #1172, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1173 );
#694 = CIRCLE( '', #1174, 0.300000000001242 );
#695 = CURVE_STYLE( '', #1175, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1176 );
#696 = LINE( '', #1177, #1178 );
#697 = CURVE_STYLE( '', #1179, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1180 );
#698 = LINE( '', #1181, #1182 );
#699 = SURFACE_STYLE_USAGE( .BOTH., #1183 );
#700 = FACE_OUTER_BOUND( '', #1184, .T. );
#701 = PLANE( '', #1185 );
#702 = CURVE_STYLE( '', #1186, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1187 );
#703 = LINE( '', #1188, #1189 );
#704 = POINT_STYLE( ' ', #1190, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1191 );
#705 = CARTESIAN_POINT( '', ( 4.00000000000000, 6.65147186257612, 0.000000000000000 ) );
#706 = CURVE_STYLE( '', #1192, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1193 );
#707 = LINE( '', #1194, #1195 );
#708 = POINT_STYLE( ' ', #1196, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1197 );
#709 = CARTESIAN_POINT( '', ( -4.10000000000002, 7.40000000000000, 0.000000000000000 ) );
#710 = CURVE_STYLE( '', #1198, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1199 );
#711 = CIRCLE( '', #1200, 0.100000000000028 );
#712 = CURVE_STYLE( '', #1201, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1202 );
#713 = CIRCLE( '', #1203, 0.300000000000211 );
#714 = CURVE_STYLE( '', #1204, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1205 );
#715 = LINE( '', #1206, #1207 );
#716 = POINT_STYLE( ' ', #1208, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1209 );
#717 = CARTESIAN_POINT( '', ( -3.05262206783209, 10.1233616770344, 0.000000000000000 ) );
#718 = CURVE_STYLE( '', #1210, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1211 );
#719 = LINE( '', #1212, #1213 );
#720 = SURFACE_STYLE_USAGE( .BOTH., #1214 );
#721 = FACE_OUTER_BOUND( '', #1215, .T. );
#722 = PLANE( '', #1216 );
#723 = SURFACE_STYLE_USAGE( .BOTH., #1217 );
#724 = FACE_OUTER_BOUND( '', #1218, .T. );
#725 = PLANE( '', #1219 );
#726 = POINT_STYLE( ' ', #1220, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1221 );
#727 = CARTESIAN_POINT( '', ( 4.00000000000000, 3.64852813742388, -50.0000000000000 ) );
#728 = CURVE_STYLE( '', #1222, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1223 );
#729 = CIRCLE( '', #1224, 0.300000000000211 );
#730 = SURFACE_STYLE_USAGE( .BOTH., #1225 );
#731 = FACE_OUTER_BOUND( '', #1226, .T. );
#732 = PLANE( '', #1227 );
#733 = CURVE_STYLE( '', #1228, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1229 );
#734 = LINE( '', #1230, #1231 );
#735 = CURVE_STYLE( '', #1232, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1233 );
#736 = LINE( '', #1234, #1235 );
#737 = CURVE_STYLE( '', #1236, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1237 );
#738 = LINE( '', #1238, #1239 );
#739 = POINT_STYLE( ' ', #1240, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1241 );
#740 = CARTESIAN_POINT( '', ( 4.60000000000002, 6.90000000000000, -50.0000000000000 ) );
#741 = CURVE_STYLE( '', #1242, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1243 );
#742 = LINE( '', #1244, #1245 );
#743 = SURFACE_STYLE_USAGE( .BOTH., #1246 );
#744 = FACE_OUTER_BOUND( '', #1247, .T. );
#745 = PLANE( '', #1248 );
#746 = SURFACE_STYLE_USAGE( .BOTH., #1249 );
#747 = FACE_OUTER_BOUND( '', #1250, .T. );
#748 = CYLINDRICAL_SURFACE( '', #1251, 0.300000000000211 );
#749 = CURVE_STYLE( '', #1252, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1253 );
#750 = CIRCLE( '', #1254, 0.0999999999999943 );
#751 = POINT_STYLE( ' ', #1255, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1256 );
#752 = CARTESIAN_POINT( '', ( 4.10000000000002, -0.399999999999977, 0.000000000000000 ) );
#753 = POINT_STYLE( ' ', #1257, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1258 );
#754 = CARTESIAN_POINT( '', ( -3.50000000000000, 7.15147186257617, -50.0000000000000 ) );
#755 = POINT_STYLE( ' ', #1259, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1260 );
#756 = CARTESIAN_POINT( '', ( -3.39999999999998, 0.000000000000000, 0.000000000000000 ) );
#757 = CURVE_STYLE( '', #1261, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1262 );
#758 = LINE( '', #1263, #1264 );
#759 = SURFACE_STYLE_USAGE( .BOTH., #1265 );
#760 = FACE_OUTER_BOUND( '', #1266, .T. );
#761 = PLANE( '', #1267 );
#762 = CURVE_STYLE( '', #1268, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1269 );
#763 = LINE( '', #1270, #1271 );
#764 = SURFACE_STYLE_USAGE( .BOTH., #1272 );
#765 = FACE_OUTER_BOUND( '', #1273, .T. );
#766 = CYLINDRICAL_SURFACE( '', #1274, 0.100000000000028 );
#767 = CURVE_STYLE( '', #1275, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1276 );
#768 = LINE( '', #1277, #1278 );
#769 = POINT_STYLE( ' ', #1279, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1280 );
#770 = CARTESIAN_POINT( '', ( 4.10000000000002, 10.9000000000000, 0.000000000000000 ) );
#771 = POINT_STYLE( ' ', #1281, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1282 );
#772 = CARTESIAN_POINT( '', ( 4.60000000000002, 6.90000000000000, 0.000000000000000 ) );
#773 = POINT_STYLE( ' ', #1283, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1284 );
#774 = CARTESIAN_POINT( '', ( 4.10000000000002, 7.39999999999999, -50.0000000000000 ) );
#775 = CURVE_STYLE( '', #1285, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1286 );
#776 = CIRCLE( '', #1287, 0.761746172640244 );
#777 = CURVE_STYLE( '', #1288, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1289 );
#778 = LINE( '', #1290, #1291 );
#779 = CURVE_STYLE( '', #1292, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1293 );
#780 = LINE( '', #1294, #1295 );
#781 = POINT_STYLE( ' ', #1296, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1297 );
#782 = CARTESIAN_POINT( '', ( 3.89999999999998, -0.599999999999994, -50.0000000000000 ) );
#783 = POINT_STYLE( ' ', #1298, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1299 );
#784 = CARTESIAN_POINT( '', ( 4.10000000000002, 10.9000000000000, -50.0000000000000 ) );
#785 = CURVE_STYLE( '', #1300, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1301 );
#786 = LINE( '', #1302, #1303 );
#787 = POINT_STYLE( ' ', #1304, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1305 );
#788 = CARTESIAN_POINT( '', ( 4.60000000000002, 3.40000000000000, 0.000000000000000 ) );
#789 = CURVE_STYLE( '', #1306, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1307 );
#790 = LINE( '', #1308, #1309 );
#791 = CURVE_STYLE( '', #1310, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1311 );
#792 = CIRCLE( '', #1312, 0.299986738865782 );
#793 = POINT_STYLE( ' ', #1313, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1314 );
#794 = CARTESIAN_POINT( '', ( 3.39999999999998, -1.38777878078145E-017, -50.0000000000000 ) );
#795 = POINT_STYLE( ' ', #1315, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1316 );
#796 = CARTESIAN_POINT( '', ( -4.10000000000002, 10.0449086144145, -50.0000000000000 ) );
#797 = POINT_STYLE( ' ', #1317, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1318 );
#798 = CARTESIAN_POINT( '', ( -4.10000000000002, 7.40000000000000, -50.0000000000000 ) );
#799 = POINT_STYLE( ' ', #1319, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1320 );
#800 = CARTESIAN_POINT( '', ( -3.12518514934881, 10.2832244302414, 0.000000000000000 ) );
#801 = CURVE_STYLE( '', #1321, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1322 );
#802 = LINE( '', #1323, #1324 );
#803 = CURVE_STYLE( '', #1325, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1326 );
#804 = LINE( '', #1327, #1328 );
#805 = SURFACE_STYLE_USAGE( .BOTH., #1329 );
#806 = FACE_OUTER_BOUND( '', #1330, .T. );
#807 = PLANE( '', #1331 );
#808 = CURVE_STYLE( '', #1332, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1333 );
#809 = LINE( '', #1334, #1335 );
#810 = CURVE_STYLE( '', #1336, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1337 );
#811 = LINE( '', #1338, #1339 );
#812 = CURVE_STYLE( '', #1340, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1341 );
#813 = LINE( '', #1342, #1343 );
#814 = POINT_STYLE( ' ', #1344, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1345 );
#815 = CARTESIAN_POINT( '', ( -3.50000000000000, 3.14852813742384, 0.000000000000000 ) );
#816 = POINT_STYLE( ' ', #1346, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1347 );
#817 = CARTESIAN_POINT( '', ( -3.39999999999998, 0.000000000000000, -50.0000000000000 ) );
#818 = CURVE_STYLE( '', #1348, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1349 );
#819 = LINE( '', #1350, #1351 );
#820 = POINT_STYLE( ' ', #1352, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1353 );
#821 = CARTESIAN_POINT( '', ( 3.50000000000000, 10.9000000000000, -50.0000000000000 ) );
#822 = SURFACE_STYLE_USAGE( .BOTH., #1354 );
#823 = FACE_OUTER_BOUND( '', #1355, .T. );
#824 = PLANE( '', #1356 );
#825 = SURFACE_STYLE_USAGE( .BOTH., #1357 );
#826 = FACE_OUTER_BOUND( '', #1358, .T. );
#827 = PLANE( '', #1359 );
#828 = CURVE_STYLE( '', #1360, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1361 );
#829 = LINE( '', #1362, #1363 );
#830 = CURVE_STYLE( '', #1364, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1365 );
#831 = CIRCLE( '', #1366, 0.299986738865782 );
#832 = SURFACE_STYLE_USAGE( .BOTH., #1367 );
#833 = CLOSED_SHELL( '', ( #299, #285, #257, #243, #413, #507, #425, #489, #383, #515, #463, #431, #505, #469, #277, #441, #355, #427, #593, #315, #311, #633, #387, #371, #297, #461, #531, #551, #557, #569, #373, #559, #279, #651, #617, #417, #647 ) );
#834 = POINT_STYLE( ' ', #1368, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1369 );
#835 = CARTESIAN_POINT( '', ( -4.10000000000002, 2.90000000000000, -50.0000000000000 ) );
#836 = SURFACE_STYLE_USAGE( .BOTH., #1370 );
#837 = FACE_OUTER_BOUND( '', #1371, .T. );
#838 = PLANE( '', #1372 );
#839 = CURVE_STYLE( '', #1373, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1374 );
#840 = CIRCLE( '', #1375, 0.200000000000056 );
#841 = SURFACE_STYLE_USAGE( .BOTH., #1376 );
#842 = FACE_OUTER_BOUND( '', #1377, .T. );
#843 = PLANE( '', #1378 );
#844 = POINT_STYLE( ' ', #1379, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1380 );
#845 = CARTESIAN_POINT( '', ( -3.57506171644965, 9.88622181768821, 0.000000000000000 ) );
#846 = POINT_STYLE( ' ', #1381, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1382 );
#847 = CARTESIAN_POINT( '', ( -3.50000000000000, 7.15147186257617, 0.000000000000000 ) );
#848 = POINT_STYLE( ' ', #1383, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1384 );
#849 = CARTESIAN_POINT( '', ( -3.12518514934881, 10.2832244302414, -50.0000000000000 ) );
#850 = CURVE_STYLE( '', #1385, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1386 );
#851 = LINE( '', #1387, #1388 );
#852 = CURVE_STYLE( '', #1389, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1390 );
#853 = CIRCLE( '', #1391, 0.0999999999999943 );
#854 = CURVE_STYLE( '', #1392, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1393 );
#855 = LINE( '', #1394, #1395 );
#856 = CURVE_STYLE( '', #1396, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1397 );
#857 = CIRCLE( '', #1398, 0.761746172640244 );
#858 = CURVE_STYLE( '', #1399, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1400 );
#859 = LINE( '', #1401, #1402 );
#860 = POINT_STYLE( ' ', #1403, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1404 );
#861 = CARTESIAN_POINT( '', ( -0.387852616042436, 8.08881938548394, 0.000000000000000 ) );
#862 = POINT_STYLE( ' ', #1405, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1406 );
#863 = CARTESIAN_POINT( '', ( -2.93035278738524, 9.91849971857463, -50.0000000000000 ) );
#864 = POINT_STYLE( ' ', #1407, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1408 );
#865 = CARTESIAN_POINT( '', ( -0.0965073657122278, 8.47021150895038, 0.000000000000000 ) );
#866 = POINT_STYLE( ' ', #1409, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1410 );
#867 = CARTESIAN_POINT( '', ( 3.50000000000000, 0.100000000000009, -50.0000000000000 ) );
#868 = SURFACE_STYLE_USAGE( .BOTH., #1411 );
#869 = FACE_OUTER_BOUND( '', #1412, .T. );
#870 = PLANE( '', #1413 );
#871 = CURVE_STYLE( '', #1414, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1415 );
#872 = LINE( '', #1416, #1417 );
#873 = SURFACE_STYLE_USAGE( .BOTH., #1418 );
#874 = FACE_OUTER_BOUND( '', #1419, .T. );
#875 = PLANE( '', #1420 );
#876 = POINT_STYLE( ' ', #1421, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1422 );
#877 = CARTESIAN_POINT( '', ( 4.60000000000002, 3.40000000000000, -50.0000000000000 ) );
#878 = CURVE_STYLE( '', #1423, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1424 );
#879 = CIRCLE( '', #1425, 0.300000000000211 );
#880 = CURVE_STYLE( '', #1426, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1427 );
#881 = LINE( '', #1428, #1429 );
#882 = SURFACE_STYLE_USAGE( .BOTH., #1430 );
#883 = FACE_OUTER_BOUND( '', #1431, .T. );
#884 = PLANE( '', #1432 );
#885 = SURFACE_STYLE_USAGE( .BOTH., #1433 );
#886 = FACE_OUTER_BOUND( '', #1434, .T. );
#887 = CYLINDRICAL_SURFACE( '', #1435, 0.0999999999999943 );
#888 = POINT_STYLE( ' ', #1436, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1437 );
#889 = CARTESIAN_POINT( '', ( -0.387852616042436, 8.08881938548394, -50.0000000000000 ) );
#890 = SURFACE_STYLE_USAGE( .BOTH., #1438 );
#891 = FACE_OUTER_BOUND( '', #1439, .T. );
#892 = PLANE( '', #1440 );
#893 = CURVE_STYLE( '', #1441, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1442 );
#894 = LINE( '', #1443, #1444 );
#895 = POINT_STYLE( ' ', #1445, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1446 );
#896 = CARTESIAN_POINT( '', ( 3.50000000000000, 0.100000000000009, 0.000000000000000 ) );
#897 = CURVE_STYLE( '', #1447, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1448 );
#898 = LINE( '', #1449, #1450 );
#899 = CURVE_STYLE( '', #1451, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1452 );
#900 = LINE( '', #1453, #1454 );
#901 = SURFACE_STYLE_USAGE( .BOTH., #1455 );
#902 = FACE_OUTER_BOUND( '', #1456, .T. );
#903 = PLANE( '', #1457 );
#904 = CURVE_STYLE( '', #1458, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1459 );
#905 = LINE( '', #1460, #1461 );
#906 = POINT_STYLE( ' ', #1462, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1463 );
#907 = CARTESIAN_POINT( '', ( -3.02400542158081, 10.7684817573419, 0.000000000000000 ) );
#908 = CURVE_STYLE( '', #1464, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1465 );
#909 = LINE( '', #1466, #1467 );
#910 = CURVE_STYLE( '', #1468, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1469 );
#911 = LINE( '', #1470, #1471 );
#912 = CURVE_STYLE( '', #1472, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1473 );
#913 = LINE( '', #1474, #1475 );
#914 = CURVE_STYLE( '', #1476, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1477 );
#915 = LINE( '', #1478, #1479 );
#916 = CURVE_STYLE( '', #1480, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1481 );
#917 = CIRCLE( '', #1482, 0.100000000000028 );
#918 = CURVE_STYLE( '', #1483, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1484 );
#919 = CIRCLE( '', #1485, 0.239969793272099 );
#920 = POINT_STYLE( ' ', #1486, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1487 );
#921 = CARTESIAN_POINT( '', ( -4.00000000000000, 6.65147186257612, 0.000000000000000 ) );
#922 = SURFACE_STYLE_USAGE( .BOTH., #1488 );
#923 = FACE_OUTER_BOUND( '', #1489, .T. );
#924 = CYLINDRICAL_SURFACE( '', #1490, 0.300000000001242 );
#925 = SURFACE_STYLE_USAGE( .BOTH., #1491 );
#926 = FACE_OUTER_BOUND( '', #1492, .T. );
#927 = PLANE( '', #1493 );
#928 = CURVE_STYLE( '', #1494, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1495 );
#929 = LINE( '', #1496, #1497 );
#930 = CURVE_STYLE( '', #1498, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1499 );
#931 = LINE( '', #1500, #1501 );
#932 = SURFACE_STYLE_USAGE( .BOTH., #1502 );
#933 = FACE_OUTER_BOUND( '', #1503, .T. );
#934 = PLANE( '', #1504 );
#935 = CURVE_STYLE( '', #1505, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1506 );
#936 = LINE( '', #1507, #1508 );
#937 = CURVE_STYLE( '', #1509, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1510 );
#938 = LINE( '', #1511, #1512 );
#939 = POINT_STYLE( ' ', #1513, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1514 );
#940 = CARTESIAN_POINT( '', ( -4.00000000000000, 6.65147186257612, -50.0000000000000 ) );
#941 = CURVE_STYLE( '', #1515, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1516 );
#942 = LINE( '', #1517, #1518 );
#943 = POINT_STYLE( ' ', #1519, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1520 );
#944 = CARTESIAN_POINT( '', ( 4.00000000000000, 6.65147186257612, -50.0000000000000 ) );
#945 = CURVE_STYLE( '', #1521, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1522 );
#946 = CIRCLE( '', #1523, 0.200000000000056 );
#947 = POINT_STYLE( ' ', #1524, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1525 );
#948 = CARTESIAN_POINT( '', ( -4.10000000000002, -0.400000000000006, -50.0000000000000 ) );
#949 = POINT_STYLE( ' ', #1526, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1527 );
#950 = CARTESIAN_POINT( '', ( -3.50000000000000, 0.100000000000009, 0.000000000000000 ) );
#951 = CURVE_STYLE( '', #1528, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1529 );
#952 = LINE( '', #1530, #1531 );
#953 = SURFACE_STYLE_USAGE( .BOTH., #1532 );
#954 = FACE_OUTER_BOUND( '', #1533, .T. );
#955 = PLANE( '', #1534 );
#956 = CURVE_STYLE( '', #1535, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1536 );
#957 = LINE( '', #1537, #1538 );
#958 = CURVE_STYLE( '', #1539, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1540 );
#959 = LINE( '', #1541, #1542 );
#960 = POINT_STYLE( ' ', #1543, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1544 );
#961 = CARTESIAN_POINT( '', ( -3.50000000000001, 9.68772051141161, 0.000000000000000 ) );
#962 = POINT_STYLE( ' ', #1545, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1546 );
#963 = CARTESIAN_POINT( '', ( 4.10000000000002, 7.39999999999999, 0.000000000000000 ) );
#964 = POINT_STYLE( ' ', #1547, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1548 );
#965 = CARTESIAN_POINT( '', ( -3.57506171644965, 9.88622181768821, -50.0000000000000 ) );
#966 = CURVE_STYLE( '', #1549, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1550 );
#967 = LINE( '', #1551, #1552 );
#968 = POINT_STYLE( ' ', #1553, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1554 );
#969 = CARTESIAN_POINT( '', ( 3.50000000000000, 10.9000000000000, 0.000000000000000 ) );
#970 = SURFACE_STYLE_USAGE( .BOTH., #1555 );
#971 = FACE_OUTER_BOUND( '', #1556, .T. );
#972 = PLANE( '', #1557 );
#973 = SURFACE_STYLE_USAGE( .BOTH., #1558 );
#974 = FACE_OUTER_BOUND( '', #1559, .T. );
#975 = CYLINDRICAL_SURFACE( '', #1560, 0.200000000000056 );
#976 = POINT_STYLE( ' ', #1561, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1562 );
#977 = CARTESIAN_POINT( '', ( 4.10000000000002, 2.90000000000000, -50.0000000000000 ) );
#978 = POINT_STYLE( ' ', #1563, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1564 );
#979 = CARTESIAN_POINT( '', ( -4.60000000000002, 6.90000000000000, -50.0000000000000 ) );
#980 = POINT_STYLE( ' ', #1565, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1566 );
#981 = CARTESIAN_POINT( '', ( -4.10000000000002, 2.90000000000000, 0.000000000000000 ) );
#982 = SURFACE_STYLE_USAGE( .BOTH., #1567 );
#983 = FACE_OUTER_BOUND( '', #1568, .T. );
#984 = PLANE( '', #1569 );
#985 = CURVE_STYLE( '', #1570, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1571 );
#986 = LINE( '', #1572, #1573 );
#987 = CURVE_STYLE( '', #1574, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1575 );
#988 = LINE( '', #1576, #1577 );
#989 = CURVE_STYLE( '', #1578, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1579 );
#990 = LINE( '', #1580, #1581 );
#991 = CURVE_STYLE( '', #1582, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1583 );
#992 = LINE( '', #1584, #1585 );
#993 = CURVE_STYLE( '', #1586, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1587 );
#994 = LINE( '', #1588, #1589 );
#995 = POINT_STYLE( ' ', #1590, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1591 );
#996 = CARTESIAN_POINT( '', ( 3.50000000000000, 7.15147186257616, 0.000000000000000 ) );
#997 = CURVE_STYLE( '', #1592, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1593 );
#998 = LINE( '', #1594, #1595 );
#999 = SURFACE_STYLE_USAGE( .BOTH., #1596 );
#1000 = FACE_OUTER_BOUND( '', #1597, .T. );
#1001 = CYLINDRICAL_SURFACE( '', #1598, 0.300000000000211 );
#1002 = CURVE_STYLE( '', #1599, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1600 );
#1003 = LINE( '', #1601, #1602 );
#1004 = CURVE_STYLE( '', #1603, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1604 );
#1005 = LINE( '', #1605, #1606 );
#1006 = CURVE_STYLE( '', #1607, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1608 );
#1007 = LINE( '', #1609, #1610 );
#1008 = POINT_STYLE( ' ', #1611, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1612 );
#1009 = CARTESIAN_POINT( '', ( -2.93035278738524, 9.91849971857463, 0.000000000000000 ) );
#1010 = CURVE_STYLE( '', #1613, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1614 );
#1011 = LINE( '', #1615, #1616 );
#1012 = CURVE_STYLE( '', #1617, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1618 );
#1013 = LINE( '', #1619, #1620 );
#1014 = POINT_STYLE( ' ', #1621, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1622 );
#1015 = CARTESIAN_POINT( '', ( -4.10000000000002, -0.400000000000006, 0.000000000000000 ) );
#1016 = CURVE_STYLE( '', #1623, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1624 );
#1017 = CIRCLE( '', #1625, 0.199999999999937 );
#1018 = CURVE_STYLE( '', #1626, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1627 );
#1019 = CIRCLE( '', #1628, 0.300000000000211 );
#1020 = SURFACE_STYLE_USAGE( .BOTH., #1629 );
#1021 = FACE_OUTER_BOUND( '', #1630, .T. );
#1022 = CYLINDRICAL_SURFACE( '', #1631, 0.299986738865782 );
#1023 = POINT_STYLE( ' ', #1632, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1633 );
#1024 = CARTESIAN_POINT( '', ( -4.10000000000002, 10.0449086144145, 0.000000000000000 ) );
#1025 = POINT_STYLE( ' ', #1634, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1635 );
#1026 = CARTESIAN_POINT( '', ( -3.89999999999998, -0.599999999999994, -50.0000000000000 ) );
#1027 = SURFACE_STYLE_USAGE( .BOTH., #1636 );
#1028 = FACE_OUTER_BOUND( '', #1637, .T. );
#1029 = PLANE( '', #1638 );
#1030 = SURFACE_STYLE_USAGE( .BOTH., #1639 );
#1031 = FACE_OUTER_BOUND( '', #1640, .T. );
#1032 = CYLINDRICAL_SURFACE( '', #1641, 0.761746172640244 );
#1033 = POINT_STYLE( ' ', #1642, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1643 );
#1034 = CARTESIAN_POINT( '', ( 4.00000000000000, 3.64852813742388, 0.000000000000000 ) );
#1035 = POINT_STYLE( ' ', #1644, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1645 );
#1036 = CARTESIAN_POINT( '', ( -0.0965073657122278, 8.47021150895038, -50.0000000000000 ) );
#1037 = CURVE_STYLE( '', #1646, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1647 );
#1038 = LINE( '', #1648, #1649 );
#1039 = POINT_STYLE( ' ', #1650, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1651 );
#1040 = CARTESIAN_POINT( '', ( 3.50000000000000, 7.15147186257616, -50.0000000000000 ) );
#1041 = SURFACE_STYLE_USAGE( .BOTH., #1652 );
#1042 = FACE_OUTER_BOUND( '', #1653, .T. );
#1043 = CYLINDRICAL_SURFACE( '', #1654, 0.239969793272099 );
#1044 = CURVE_STYLE( '', #1655, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1656 );
#1045 = LINE( '', #1657, #1658 );
#1046 = CURVE_STYLE( '', #1659, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1660 );
#1047 = LINE( '', #1661, #1662 );
#1048 = CURVE_STYLE( '', #1663, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1664 );
#1049 = LINE( '', #1665, #1666 );
#1050 = POINT_STYLE( ' ', #1667, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1668 );
#1051 = CARTESIAN_POINT( '', ( -3.05262206783209, 10.1233616770344, -50.0000000000000 ) );
#1052 = POINT_STYLE( ' ', #1669, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1670 );
#1053 = CARTESIAN_POINT( '', ( -3.50000000000000, 0.100000000000009, -50.0000000000000 ) );
#1054 = POINT_STYLE( ' ', #1671, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1672 );
#1055 = CARTESIAN_POINT( '', ( 3.50000000000000, 3.14852813742384, -50.0000000000000 ) );
#1056 = POINT_STYLE( ' ', #1673, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1674 );
#1057 = CARTESIAN_POINT( '', ( -4.60000000000002, 6.90000000000000, 0.000000000000000 ) );
#1058 = POINT_STYLE( ' ', #1675, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1676 );
#1059 = CARTESIAN_POINT( '', ( 4.10000000000002, -0.399999999999977, -50.0000000000000 ) );
#1060 = CURVE_STYLE( '', #1677, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1678 );
#1061 = CIRCLE( '', #1679, 0.300000000001242 );
#1062 = CURVE_STYLE( '', #1680, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1681 );
#1063 = LINE( '', #1682, #1683 );
#1064 = CURVE_STYLE( '', #1684, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1685 );
#1065 = LINE( '', #1686, #1687 );
#1066 = SURFACE_STYLE_USAGE( .BOTH., #1688 );
#1067 = FACE_OUTER_BOUND( '', #1689, .T. );
#1068 = PLANE( '', #1690 );
#1069 = CURVE_STYLE( '', #1691, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1692 );
#1070 = LINE( '', #1693, #1694 );
#1071 = CURVE_STYLE( '', #1695, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1696 );
#1072 = LINE( '', #1697, #1698 );
#1073 = CURVE_STYLE( '', #1699, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1700 );
#1074 = LINE( '', #1701, #1702 );
#1075 = POINT_STYLE( ' ', #1703, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1704 );
#1076 = CARTESIAN_POINT( '', ( -4.60000000000002, 3.40000000000000, 0.000000000000000 ) );
#1077 = CURVE_STYLE( '', #1705, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1706 );
#1078 = LINE( '', #1707, #1708 );
#1079 = CURVE_STYLE( '', #1709, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1710 );
#1080 = LINE( '', #1711, #1712 );
#1081 = CURVE_STYLE( '', #1713, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1714 );
#1082 = CIRCLE( '', #1715, 0.199999999999937 );
#1083 = CURVE_STYLE( '', #1716, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1717 );
#1084 = LINE( '', #1718, #1719 );
#1085 = CURVE_STYLE( '', #1720, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1721 );
#1086 = LINE( '', #1722, #1723 );
#1087 = CURVE_STYLE( '', #1724, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1725 );
#1088 = LINE( '', #1726, #1727 );
#1089 = CURVE_STYLE( '', #1728, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1729 );
#1090 = LINE( '', #1730, #1731 );
#1091 = SURFACE_STYLE_USAGE( .BOTH., #1732 );
#1092 = FACE_OUTER_BOUND( '', #1733, .T. );
#1093 = PLANE( '', #1734 );
#1094 = POINT_STYLE( ' ', #1735, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1736 );
#1095 = CARTESIAN_POINT( '', ( -3.02400542158081, 10.7684817573419, -50.0000000000000 ) );
#1096 = POINT_STYLE( ' ', #1737, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1738 );
#1097 = CARTESIAN_POINT( '', ( -3.50000000000000, 3.14852813742384, -50.0000000000000 ) );
#1098 = CURVE_STYLE( '', #1739, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1740 );
#1099 = LINE( '', #1741, #1742 );
#1100 = CURVE_STYLE( '', #1743, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1744 );
#1101 = LINE( '', #1745, #1746 );
#1102 = POINT_STYLE( ' ', #1747, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1748 );
#1103 = CARTESIAN_POINT( '', ( -4.60000000000002, 3.40000000000000, -50.0000000000000 ) );
#1104 = POINT_STYLE( ' ', #1749, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1750 );
#1105 = CARTESIAN_POINT( '', ( 3.89999999999998, -0.599999999999994, 0.000000000000000 ) );
#1106 = CURVE_STYLE( '', #1751, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1752 );
#1107 = LINE( '', #1753, #1754 );
#1108 = SURFACE_STYLE_USAGE( .BOTH., #1755 );
#1109 = FACE_OUTER_BOUND( '', #1756, .T. );
#1110 = PLANE( '', #1757 );
#1111 = CURVE_STYLE( '', #1758, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1759 );
#1112 = LINE( '', #1760, #1761 );
#1113 = CURVE_STYLE( '', #1762, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1763 );
#1114 = LINE( '', #1764, #1765 );
#1115 = POINT_STYLE( ' ', #1766, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1767 );
#1116 = CARTESIAN_POINT( '', ( -3.89999999999998, -0.599999999999994, 0.000000000000000 ) );
#1117 = POINT_STYLE( ' ', #1768, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1769 );
#1118 = CARTESIAN_POINT( '', ( -3.50000000000001, 9.68772051141161, -50.0000000000000 ) );
#1119 = POINT_STYLE( ' ', #1770, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1771 );
#1120 = CARTESIAN_POINT( '', ( -4.00000000000000, 3.64852813742388, 0.000000000000000 ) );
#1121 = POINT_STYLE( ' ', #1772, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1773 );
#1122 = CARTESIAN_POINT( '', ( -4.00000000000000, 3.64852813742388, -50.0000000000000 ) );
#1123 = SURFACE_STYLE_USAGE( .BOTH., #1774 );
#1124 = FACE_OUTER_BOUND( '', #1775, .T. );
#1125 = PLANE( '', #1776 );
#1126 = CURVE_STYLE( '', #1777, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1778 );
#1127 = LINE( '', #1779, #1780 );
#1128 = SURFACE_STYLE_USAGE( .BOTH., #1781 );
#1129 = FACE_OUTER_BOUND( '', #1782, .T. );
#1130 = PLANE( '', #1783 );
#1131 = CURVE_STYLE( '', #1784, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1785 );
#1132 = CIRCLE( '', #1786, 0.239969793272099 );
#1133 = CURVE_STYLE( '', #1787, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1788 );
#1134 = LINE( '', #1789, #1790 );
#1135 = POINT_STYLE( ' ', #1791, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1792 );
#1136 = CARTESIAN_POINT( '', ( 4.10000000000002, 2.90000000000000, 0.000000000000000 ) );
#1137 = CURVE_STYLE( '', #1793, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1794 );
#1138 = LINE( '', #1795, #1796 );
#1139 = POINT_STYLE( ' ', #1797, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1798 );
#1140 = CARTESIAN_POINT( '', ( 3.39999999999998, -1.38777878078145E-017, 0.000000000000000 ) );
#1141 = PRODUCT_CONTEXT( '', #223, 'mechanical' );
#1142 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #662, .NOT_KNOWN. );
#1143 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#1144 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1145 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1146 =  ( NAMED_UNIT( #670 )LENGTH_UNIT(  )SI_UNIT( .MILLI., .METRE. ) );
#1147 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1148 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1149 = CARTESIAN_POINT( '', ( 3.50000000000000, 7.15147186257616, 0.000000000000000 ) );
#1150 = VECTOR( '', #1800, 1.00000000000000 );
#1151 = PRE_DEFINED_MARKER( '' );
#1152 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1153 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1154 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1155 = CARTESIAN_POINT( '', ( 4.10000000000002, 10.9000000000000, -50.0000000000000 ) );
#1156 = VECTOR( '', #1801, 1.00000000000000 );
#1157 = SURFACE_SIDE_STYLE( '', ( #1802 ) );
#1158 = EDGE_LOOP( '', ( #1803, #1804, #1805, #1806 ) );
#1159 = AXIS2_PLACEMENT_3D( '', #1807, #1808, #1809 );
#1160 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1161 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1162 = CARTESIAN_POINT( '', ( -0.387852616042436, 8.08881938548394, 0.000000000000000 ) );
#1163 = VECTOR( '', #1810, 1.00000000000000 );
#1164 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1165 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1166 = CARTESIAN_POINT( '', ( 4.00000000000000, 6.65147186257612, -50.0000000000000 ) );
#1167 = VECTOR( '', #1811, 1.00000000000000 );
#1168 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1169 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1170 = CARTESIAN_POINT( '', ( 3.50000000000000, 3.14852813742384, 0.000000000000000 ) );
#1171 = VECTOR( '', #1812, 1.00000000000000 );
#1172 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1173 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1174 = AXIS2_PLACEMENT_3D( '', #1813, #1814, #1815 );
#1175 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1176 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1177 = CARTESIAN_POINT( '', ( -4.60000000000002, 6.90000000000000, 0.000000000000000 ) );
#1178 = VECTOR( '', #1816, 1.00000000000000 );
#1179 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1180 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1181 = CARTESIAN_POINT( '', ( 4.10000000000002, 2.90000000000000, 0.000000000000000 ) );
#1182 = VECTOR( '', #1817, 1.00000000000000 );
#1183 = SURFACE_SIDE_STYLE( '', ( #1818 ) );
#1184 = EDGE_LOOP( '', ( #1819, #1820, #1821, #1822 ) );
#1185 = AXIS2_PLACEMENT_3D( '', #1823, #1824, #1825 );
#1186 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1187 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1188 = CARTESIAN_POINT( '', ( 3.50000000000000, 10.9000000000000, 0.000000000000000 ) );
#1189 = VECTOR( '', #1826, 1.00000000000000 );
#1190 = PRE_DEFINED_MARKER( '' );
#1191 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1192 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1193 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1194 = CARTESIAN_POINT( '', ( 3.39999999999998, -1.38777878078145E-017, 0.000000000000000 ) );
#1195 = VECTOR( '', #1827, 1.00000000000000 );
#1196 = PRE_DEFINED_MARKER( '' );
#1197 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1198 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1199 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1200 = AXIS2_PLACEMENT_3D( '', #1828, #1829, #1830 );
#1201 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1202 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1203 = AXIS2_PLACEMENT_3D( '', #1831, #1832, #1833 );
#1204 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1205 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1206 = CARTESIAN_POINT( '', ( -4.00000000000000, 6.65147186257612, 0.000000000000000 ) );
#1207 = VECTOR( '', #1834, 1.00000000000000 );
#1208 = PRE_DEFINED_MARKER( '' );
#1209 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1210 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1211 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1212 = CARTESIAN_POINT( '', ( -4.60000000000002, 3.40000000000000, 0.000000000000000 ) );
#1213 = VECTOR( '', #1835, 1.00000000000000 );
#1214 = SURFACE_SIDE_STYLE( '', ( #1836 ) );
#1215 = EDGE_LOOP( '', ( #1837, #1838, #1839, #1840 ) );
#1216 = AXIS2_PLACEMENT_3D( '', #1841, #1842, #1843 );
#1217 = SURFACE_SIDE_STYLE( '', ( #1844 ) );
#1218 = EDGE_LOOP( '', ( #1845, #1846, #1847, #1848 ) );
#1219 = AXIS2_PLACEMENT_3D( '', #1849, #1850, #1851 );
#1220 = PRE_DEFINED_MARKER( '' );
#1221 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1222 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1223 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1224 = AXIS2_PLACEMENT_3D( '', #1852, #1853, #1854 );
#1225 = SURFACE_SIDE_STYLE( '', ( #1855 ) );
#1226 = EDGE_LOOP( '', ( #1856, #1857, #1858, #1859 ) );
#1227 = AXIS2_PLACEMENT_3D( '', #1860, #1861, #1862 );
#1228 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1229 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1230 = CARTESIAN_POINT( '', ( -3.50000000000001, 9.68772051141161, 0.000000000000000 ) );
#1231 = VECTOR( '', #1863, 1.00000000000000 );
#1232 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1233 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1234 = CARTESIAN_POINT( '', ( 4.10000000000002, 7.39999999999999, 0.000000000000000 ) );
#1235 = VECTOR( '', #1864, 1.00000000000000 );
#1236 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1237 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1238 = CARTESIAN_POINT( '', ( -3.02400542158081, 10.7684817573419, 0.000000000000000 ) );
#1239 = VECTOR( '', #1865, 1.00000000000000 );
#1240 = PRE_DEFINED_MARKER( '' );
#1241 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1242 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1243 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1244 = CARTESIAN_POINT( '', ( -3.50000000000000, 3.14852813742384, -50.0000000000000 ) );
#1245 = VECTOR( '', #1866, 1.00000000000000 );
#1246 = SURFACE_SIDE_STYLE( '', ( #1867 ) );
#1247 = EDGE_LOOP( '', ( #1868, #1869, #1870, #1871 ) );
#1248 = AXIS2_PLACEMENT_3D( '', #1872, #1873, #1874 );
#1249 = SURFACE_SIDE_STYLE( '', ( #1875 ) );
#1250 = EDGE_LOOP( '', ( #1876, #1877, #1878, #1879 ) );
#1251 = AXIS2_PLACEMENT_3D( '', #1880, #1881, #1882 );
#1252 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1253 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1254 = AXIS2_PLACEMENT_3D( '', #1883, #1884, #1885 );
#1255 = PRE_DEFINED_MARKER( '' );
#1256 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1257 = PRE_DEFINED_MARKER( '' );
#1258 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1259 = PRE_DEFINED_MARKER( '' );
#1260 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1261 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1262 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1263 = CARTESIAN_POINT( '', ( 4.10000000000002, 7.39999999999999, -50.0000000000000 ) );
#1264 = VECTOR( '', #1886, 1.00000000000000 );
#1265 = SURFACE_SIDE_STYLE( '', ( #1887 ) );
#1266 = EDGE_LOOP( '', ( #1888, #1889, #1890, #1891 ) );
#1267 = AXIS2_PLACEMENT_3D( '', #1892, #1893, #1894 );
#1268 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1269 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1270 = CARTESIAN_POINT( '', ( -4.10000000000002, 7.40000000000000, 0.000000000000000 ) );
#1271 = VECTOR( '', #1895, 1.00000000000000 );
#1272 = SURFACE_SIDE_STYLE( '', ( #1896 ) );
#1273 = EDGE_LOOP( '', ( #1897, #1898, #1899, #1900 ) );
#1274 = AXIS2_PLACEMENT_3D( '', #1901, #1902, #1903 );
#1275 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1276 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1277 = CARTESIAN_POINT( '', ( -3.50000000000000, 3.14852813742384, 0.000000000000000 ) );
#1278 = VECTOR( '', #1904, 1.00000000000000 );
#1279 = PRE_DEFINED_MARKER( '' );
#1280 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1281 = PRE_DEFINED_MARKER( '' );
#1282 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1283 = PRE_DEFINED_MARKER( '' );
#1284 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1285 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1286 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1287 = AXIS2_PLACEMENT_3D( '', #1905, #1906, #1907 );
#1288 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1289 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1290 = CARTESIAN_POINT( '', ( -4.10000000000002, 2.90000000000000, 0.000000000000000 ) );
#1291 = VECTOR( '', #1908, 1.00000000000000 );
#1292 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1293 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1294 = CARTESIAN_POINT( '', ( -3.05262206783209, 10.1233616770344, 0.000000000000000 ) );
#1295 = VECTOR( '', #1909, 1.00000000000000 );
#1296 = PRE_DEFINED_MARKER( '' );
#1297 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1298 = PRE_DEFINED_MARKER( '' );
#1299 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1300 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1301 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1302 = CARTESIAN_POINT( '', ( -3.57506171644965, 9.88622181768821, 0.000000000000000 ) );
#1303 = VECTOR( '', #1910, 1.00000000000000 );
#1304 = PRE_DEFINED_MARKER( '' );
#1305 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1306 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1307 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1308 = CARTESIAN_POINT( '', ( -3.39999999999998, 0.000000000000000, 0.000000000000000 ) );
#1309 = VECTOR( '', #1911, 1.00000000000000 );
#1310 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1311 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1312 = AXIS2_PLACEMENT_3D( '', #1912, #1913, #1914 );
#1313 = PRE_DEFINED_MARKER( '' );
#1314 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1315 = PRE_DEFINED_MARKER( '' );
#1316 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1317 = PRE_DEFINED_MARKER( '' );
#1318 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1319 = PRE_DEFINED_MARKER( '' );
#1320 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1321 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1322 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1323 = CARTESIAN_POINT( '', ( -4.10000000000002, 10.0449086144145, 0.000000000000000 ) );
#1324 = VECTOR( '', #1915, 1.00000000000000 );
#1325 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1326 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1327 = CARTESIAN_POINT( '', ( -4.00000000000000, 3.64852813742388, 0.000000000000000 ) );
#1328 = VECTOR( '', #1916, 1.00000000000000 );
#1329 = SURFACE_SIDE_STYLE( '', ( #1917 ) );
#1330 = EDGE_LOOP( '', ( #1918, #1919, #1920, #1921 ) );
#1331 = AXIS2_PLACEMENT_3D( '', #1922, #1923, #1924 );
#1332 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1333 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1334 = CARTESIAN_POINT( '', ( -0.0965073657122278, 8.47021150895038, 0.000000000000000 ) );
#1335 = VECTOR( '', #1925, 1.00000000000000 );
#1336 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1337 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1338 = CARTESIAN_POINT( '', ( -4.10000000000002, 10.0449086144145, 0.000000000000000 ) );
#1339 = VECTOR( '', #1926, 1.00000000000000 );
#1340 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1341 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1342 = CARTESIAN_POINT( '', ( 3.50000000000000, 7.15147186257616, -50.0000000000000 ) );
#1343 = VECTOR( '', #1927, 1.00000000000000 );
#1344 = PRE_DEFINED_MARKER( '' );
#1345 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1346 = PRE_DEFINED_MARKER( '' );
#1347 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1348 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1349 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1350 = CARTESIAN_POINT( '', ( 3.50000000000000, 10.9000000000000, -50.0000000000000 ) );
#1351 = VECTOR( '', #1928, 1.00000000000000 );
#1352 = PRE_DEFINED_MARKER( '' );
#1353 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1354 = SURFACE_SIDE_STYLE( '', ( #1929 ) );
#1355 = EDGE_LOOP( '', ( #1930, #1931, #1932, #1933 ) );
#1356 = AXIS2_PLACEMENT_3D( '', #1934, #1935, #1936 );
#1357 = SURFACE_SIDE_STYLE( '', ( #1937 ) );
#1358 = EDGE_LOOP( '', ( #1938, #1939, #1940, #1941 ) );
#1359 = AXIS2_PLACEMENT_3D( '', #1942, #1943, #1944 );
#1360 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1361 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1362 = CARTESIAN_POINT( '', ( 4.10000000000002, 2.90000000000000, -50.0000000000000 ) );
#1363 = VECTOR( '', #1945, 1.00000000000000 );
#1364 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1365 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1366 = AXIS2_PLACEMENT_3D( '', #1946, #1947, #1948 );
#1367 = SURFACE_SIDE_STYLE( '', ( #1949 ) );
#1368 = PRE_DEFINED_MARKER( '' );
#1369 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1370 = SURFACE_SIDE_STYLE( '', ( #1950 ) );
#1371 = EDGE_LOOP( '', ( #1951, #1952, #1953, #1954 ) );
#1372 = AXIS2_PLACEMENT_3D( '', #1955, #1956, #1957 );
#1373 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1374 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1375 = AXIS2_PLACEMENT_3D( '', #1958, #1959, #1960 );
#1376 = SURFACE_SIDE_STYLE( '', ( #1961 ) );
#1377 = EDGE_LOOP( '', ( #1962, #1963, #1964, #1965 ) );
#1378 = AXIS2_PLACEMENT_3D( '', #1966, #1967, #1968 );
#1379 = PRE_DEFINED_MARKER( '' );
#1380 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1381 = PRE_DEFINED_MARKER( '' );
#1382 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1383 = PRE_DEFINED_MARKER( '' );
#1384 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1385 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1386 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1387 = CARTESIAN_POINT( '', ( -3.89999999999998, -0.599999999999994, -50.0000000000000 ) );
#1388 = VECTOR( '', #1969, 1.00000000000000 );
#1389 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1390 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1391 = AXIS2_PLACEMENT_3D( '', #1970, #1971, #1972 );
#1392 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1393 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1394 = CARTESIAN_POINT( '', ( -3.50000000000000, 0.100000000000009, 0.000000000000000 ) );
#1395 = VECTOR( '', #1973, 1.00000000000000 );
#1396 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1397 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1398 = AXIS2_PLACEMENT_3D( '', #1974, #1975, #1976 );
#1399 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1400 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1401 = CARTESIAN_POINT( '', ( -4.60000000000002, 6.90000000000000, -50.0000000000000 ) );
#1402 = VECTOR( '', #1977, 1.00000000000000 );
#1403 = PRE_DEFINED_MARKER( '' );
#1404 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1405 = PRE_DEFINED_MARKER( '' );
#1406 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1407 = PRE_DEFINED_MARKER( '' );
#1408 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1409 = PRE_DEFINED_MARKER( '' );
#1410 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1411 = SURFACE_SIDE_STYLE( '', ( #1978 ) );
#1412 = EDGE_LOOP( '', ( #1979, #1980, #1981, #1982 ) );
#1413 = AXIS2_PLACEMENT_3D( '', #1983, #1984, #1985 );
#1414 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1415 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1416 = CARTESIAN_POINT( '', ( 4.10000000000002, -0.399999999999977, 0.000000000000000 ) );
#1417 = VECTOR( '', #1986, 1.00000000000000 );
#1418 = SURFACE_SIDE_STYLE( '', ( #1987 ) );
#1419 = EDGE_LOOP( '', ( #1988, #1989, #1990, #1991, #1992, #1993, #1994, #1995, #1996, #1997, #1998, #1999, #2000, #2001, #2002, #2003, #2004, #2005, #2006, #2007, #2008, #2009, #2010, #2011, #2012, #2013, #2014, #2015, #2016, #2017, #2018, #2019, #2020, #2021, #2022 ) );
#1420 = AXIS2_PLACEMENT_3D( '', #2023, #2024, #2025 );
#1421 = PRE_DEFINED_MARKER( '' );
#1422 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1423 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1424 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1425 = AXIS2_PLACEMENT_3D( '', #2026, #2027, #2028 );
#1426 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1427 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1428 = CARTESIAN_POINT( '', ( -0.0965073657122314, 8.47021150895038, 0.000000000000000 ) );
#1429 = VECTOR( '', #2029, 1.00000000000000 );
#1430 = SURFACE_SIDE_STYLE( '', ( #2030 ) );
#1431 = EDGE_LOOP( '', ( #2031, #2032, #2033, #2034 ) );
#1432 = AXIS2_PLACEMENT_3D( '', #2035, #2036, #2037 );
#1433 = SURFACE_SIDE_STYLE( '', ( #2038 ) );
#1434 = EDGE_LOOP( '', ( #2039, #2040, #2041, #2042 ) );
#1435 = AXIS2_PLACEMENT_3D( '', #2043, #2044, #2045 );
#1436 = PRE_DEFINED_MARKER( '' );
#1437 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1438 = SURFACE_SIDE_STYLE( '', ( #2046 ) );
#1439 = EDGE_LOOP( '', ( #2047, #2048, #2049, #2050 ) );
#1440 = AXIS2_PLACEMENT_3D( '', #2051, #2052, #2053 );
#1441 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1442 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1443 = CARTESIAN_POINT( '', ( 4.10000000000002, -0.399999999999977, -50.0000000000000 ) );
#1444 = VECTOR( '', #2054, 1.00000000000000 );
#1445 = PRE_DEFINED_MARKER( '' );
#1446 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1447 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1448 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1449 = CARTESIAN_POINT( '', ( 4.10000000000002, 10.9000000000000, 0.000000000000000 ) );
#1450 = VECTOR( '', #2055, 1.00000000000000 );
#1451 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1452 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1453 = CARTESIAN_POINT( '', ( 4.10000000000002, 10.9000000000000, 0.000000000000000 ) );
#1454 = VECTOR( '', #2056, 1.00000000000000 );
#1455 = SURFACE_SIDE_STYLE( '', ( #2057 ) );
#1456 = EDGE_LOOP( '', ( #2058, #2059, #2060, #2061 ) );
#1457 = AXIS2_PLACEMENT_3D( '', #2062, #2063, #2064 );
#1458 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1459 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1460 = CARTESIAN_POINT( '', ( 3.50000000000000, 0.100000000000009, 0.000000000000000 ) );
#1461 = VECTOR( '', #2065, 1.00000000000000 );
#1462 = PRE_DEFINED_MARKER( '' );
#1463 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1464 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1465 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1466 = CARTESIAN_POINT( '', ( -0.0965073657122314, 8.47021150895038, -50.0000000000000 ) );
#1467 = VECTOR( '', #2066, 1.00000000000000 );
#1468 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1469 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1470 = CARTESIAN_POINT( '', ( -3.50000000000000, 3.14852813742384, 0.000000000000000 ) );
#1471 = VECTOR( '', #2067, 1.00000000000000 );
#1472 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1473 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1474 = CARTESIAN_POINT( '', ( 3.50000000000000, 3.14852813742384, 0.000000000000000 ) );
#1475 = VECTOR( '', #2068, 1.00000000000000 );
#1476 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1477 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1478 = CARTESIAN_POINT( '', ( -4.00000000000000, 3.64852813742388, 0.000000000000000 ) );
#1479 = VECTOR( '', #2069, 1.00000000000000 );
#1480 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1481 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1482 = AXIS2_PLACEMENT_3D( '', #2070, #2071, #2072 );
#1483 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1484 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1485 = AXIS2_PLACEMENT_3D( '', #2073, #2074, #2075 );
#1486 = PRE_DEFINED_MARKER( '' );
#1487 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1488 = SURFACE_SIDE_STYLE( '', ( #2076 ) );
#1489 = EDGE_LOOP( '', ( #2077, #2078, #2079, #2080 ) );
#1490 = AXIS2_PLACEMENT_3D( '', #2081, #2082, #2083 );
#1491 = SURFACE_SIDE_STYLE( '', ( #2084 ) );
#1492 = EDGE_LOOP( '', ( #2085, #2086, #2087, #2088 ) );
#1493 = AXIS2_PLACEMENT_3D( '', #2089, #2090, #2091 );
#1494 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1495 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1496 = CARTESIAN_POINT( '', ( -3.89999999999998, -0.599999999999994, 0.000000000000000 ) );
#1497 = VECTOR( '', #2092, 1.00000000000000 );
#1498 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1499 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1500 = CARTESIAN_POINT( '', ( -4.00000000000000, 3.64852813742388, -50.0000000000000 ) );
#1501 = VECTOR( '', #2093, 1.00000000000000 );
#1502 = SURFACE_SIDE_STYLE( '', ( #2094 ) );
#1503 = EDGE_LOOP( '', ( #2095, #2096, #2097, #2098 ) );
#1504 = AXIS2_PLACEMENT_3D( '', #2099, #2100, #2101 );
#1505 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1506 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1507 = CARTESIAN_POINT( '', ( 3.50000000000000, 7.15147186257616, 0.000000000000000 ) );
#1508 = VECTOR( '', #2102, 1.00000000000000 );
#1509 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1510 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1511 = CARTESIAN_POINT( '', ( -4.00000000000000, 6.65147186257612, 0.000000000000000 ) );
#1512 = VECTOR( '', #2103, 1.00000000000000 );
#1513 = PRE_DEFINED_MARKER( '' );
#1514 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1515 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1516 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1517 = CARTESIAN_POINT( '', ( -4.00000000000000, 6.65147186257612, -50.0000000000000 ) );
#1518 = VECTOR( '', #2104, 1.00000000000000 );
#1519 = PRE_DEFINED_MARKER( '' );
#1520 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1521 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1522 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1523 = AXIS2_PLACEMENT_3D( '', #2105, #2106, #2107 );
#1524 = PRE_DEFINED_MARKER( '' );
#1525 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1526 = PRE_DEFINED_MARKER( '' );
#1527 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1528 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1529 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1530 = CARTESIAN_POINT( '', ( 4.00000000000000, 3.64852813742388, 0.000000000000000 ) );
#1531 = VECTOR( '', #2108, 1.00000000000000 );
#1532 = SURFACE_SIDE_STYLE( '', ( #2109 ) );
#1533 = EDGE_LOOP( '', ( #2110, #2111, #2112, #2113 ) );
#1534 = AXIS2_PLACEMENT_3D( '', #2114, #2115, #2116 );
#1535 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1536 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1537 = CARTESIAN_POINT( '', ( -4.10000000000002, 10.0449086144145, -50.0000000000000 ) );
#1538 = VECTOR( '', #2117, 1.00000000000000 );
#1539 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1540 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1541 = CARTESIAN_POINT( '', ( -4.10000000000002, 2.90000000000000, 0.000000000000000 ) );
#1542 = VECTOR( '', #2118, 1.00000000000000 );
#1543 = PRE_DEFINED_MARKER( '' );
#1544 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1545 = PRE_DEFINED_MARKER( '' );
#1546 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1547 = PRE_DEFINED_MARKER( '' );
#1548 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1549 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1550 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1551 = CARTESIAN_POINT( '', ( 3.39999999999998, 0.000000000000000, 0.000000000000000 ) );
#1552 = VECTOR( '', #2119, 1.00000000000000 );
#1553 = PRE_DEFINED_MARKER( '' );
#1554 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1555 = SURFACE_SIDE_STYLE( '', ( #2120 ) );
#1556 = EDGE_LOOP( '', ( #2121, #2122, #2123, #2124 ) );
#1557 = AXIS2_PLACEMENT_3D( '', #2125, #2126, #2127 );
#1558 = SURFACE_SIDE_STYLE( '', ( #2128 ) );
#1559 = EDGE_LOOP( '', ( #2129, #2130, #2131, #2132 ) );
#1560 = AXIS2_PLACEMENT_3D( '', #2133, #2134, #2135 );
#1561 = PRE_DEFINED_MARKER( '' );
#1562 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1563 = PRE_DEFINED_MARKER( '' );
#1564 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1565 = PRE_DEFINED_MARKER( '' );
#1566 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1567 = SURFACE_SIDE_STYLE( '', ( #2136 ) );
#1568 = EDGE_LOOP( '', ( #2137, #2138, #2139, #2140 ) );
#1569 = AXIS2_PLACEMENT_3D( '', #2141, #2142, #2143 );
#1570 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1571 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1572 = CARTESIAN_POINT( '', ( 4.60000000000002, 6.90000000000000, -50.0000000000000 ) );
#1573 = VECTOR( '', #2144, 1.00000000000000 );
#1574 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1575 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1576 = CARTESIAN_POINT( '', ( 4.60000000000002, 3.40000000000000, -50.0000000000000 ) );
#1577 = VECTOR( '', #2145, 1.00000000000000 );
#1578 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1579 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1580 = CARTESIAN_POINT( '', ( 3.50000000000000, 3.14852813742384, -50.0000000000000 ) );
#1581 = VECTOR( '', #2146, 1.00000000000000 );
#1582 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1583 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1584 = CARTESIAN_POINT( '', ( -2.93035278738524, 9.91849971857463, 0.000000000000000 ) );
#1585 = VECTOR( '', #2147, 1.00000000000000 );
#1586 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1587 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1588 = CARTESIAN_POINT( '', ( 3.50000000000000, 10.9000000000000, 0.000000000000000 ) );
#1589 = VECTOR( '', #2148, 1.00000000000000 );
#1590 = PRE_DEFINED_MARKER( '' );
#1591 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1592 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1593 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1594 = CARTESIAN_POINT( '', ( 4.60000000000002, 3.40000000000000, 0.000000000000000 ) );
#1595 = VECTOR( '', #2149, 1.00000000000000 );
#1596 = SURFACE_SIDE_STYLE( '', ( #2150 ) );
#1597 = EDGE_LOOP( '', ( #2151, #2152, #2153, #2154 ) );
#1598 = AXIS2_PLACEMENT_3D( '', #2155, #2156, #2157 );
#1599 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1600 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1601 = CARTESIAN_POINT( '', ( 4.00000000000000, 6.65147186257612, 0.000000000000000 ) );
#1602 = VECTOR( '', #2158, 1.00000000000000 );
#1603 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1604 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1605 = CARTESIAN_POINT( '', ( 4.00000000000000, 6.65147186257612, 0.000000000000000 ) );
#1606 = VECTOR( '', #2159, 1.00000000000000 );
#1607 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1608 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1609 = CARTESIAN_POINT( '', ( -4.10000000000002, 2.90000000000000, -50.0000000000000 ) );
#1610 = VECTOR( '', #2160, 1.00000000000000 );
#1611 = PRE_DEFINED_MARKER( '' );
#1612 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1613 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1614 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1615 = CARTESIAN_POINT( '', ( -3.50000000000000, 7.15147186257617, 0.000000000000000 ) );
#1616 = VECTOR( '', #2161, 1.00000000000000 );
#1617 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1618 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1619 = CARTESIAN_POINT( '', ( -4.60000000000002, 3.40000000000000, 0.000000000000000 ) );
#1620 = VECTOR( '', #2162, 1.00000000000000 );
#1621 = PRE_DEFINED_MARKER( '' );
#1622 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1623 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1624 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1625 = AXIS2_PLACEMENT_3D( '', #2163, #2164, #2165 );
#1626 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1627 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1628 = AXIS2_PLACEMENT_3D( '', #2166, #2167, #2168 );
#1629 = SURFACE_SIDE_STYLE( '', ( #2169 ) );
#1630 = EDGE_LOOP( '', ( #2170, #2171, #2172, #2173 ) );
#1631 = AXIS2_PLACEMENT_3D( '', #2174, #2175, #2176 );
#1632 = PRE_DEFINED_MARKER( '' );
#1633 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1634 = PRE_DEFINED_MARKER( '' );
#1635 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1636 = SURFACE_SIDE_STYLE( '', ( #2177 ) );
#1637 = EDGE_LOOP( '', ( #2178, #2179, #2180, #2181 ) );
#1638 = AXIS2_PLACEMENT_3D( '', #2182, #2183, #2184 );
#1639 = SURFACE_SIDE_STYLE( '', ( #2185 ) );
#1640 = EDGE_LOOP( '', ( #2186, #2187, #2188, #2189 ) );
#1641 = AXIS2_PLACEMENT_3D( '', #2190, #2191, #2192 );
#1642 = PRE_DEFINED_MARKER( '' );
#1643 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1644 = PRE_DEFINED_MARKER( '' );
#1645 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1646 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1647 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1648 = CARTESIAN_POINT( '', ( -4.10000000000002, 7.40000000000000, -50.0000000000000 ) );
#1649 = VECTOR( '', #2193, 1.00000000000000 );
#1650 = PRE_DEFINED_MARKER( '' );
#1651 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1652 = SURFACE_SIDE_STYLE( '', ( #2194 ) );
#1653 = EDGE_LOOP( '', ( #2195, #2196, #2197, #2198 ) );
#1654 = AXIS2_PLACEMENT_3D( '', #2199, #2200, #2201 );
#1655 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1656 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1657 = CARTESIAN_POINT( '', ( 4.60000000000002, 6.90000000000000, 0.000000000000000 ) );
#1658 = VECTOR( '', #2202, 1.00000000000000 );
#1659 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1660 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1661 = CARTESIAN_POINT( '', ( 4.00000000000000, 3.64852813742388, -50.0000000000000 ) );
#1662 = VECTOR( '', #2203, 1.00000000000000 );
#1663 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1664 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1665 = CARTESIAN_POINT( '', ( 4.60000000000002, 6.90000000000000, 0.000000000000000 ) );
#1666 = VECTOR( '', #2204, 1.00000000000000 );
#1667 = PRE_DEFINED_MARKER( '' );
#1668 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1669 = PRE_DEFINED_MARKER( '' );
#1670 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1671 = PRE_DEFINED_MARKER( '' );
#1672 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1673 = PRE_DEFINED_MARKER( '' );
#1674 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1675 = PRE_DEFINED_MARKER( '' );
#1676 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1677 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1678 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1679 = AXIS2_PLACEMENT_3D( '', #2205, #2206, #2207 );
#1680 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1681 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1682 = CARTESIAN_POINT( '', ( -3.50000000000000, 7.15147186257617, 0.000000000000000 ) );
#1683 = VECTOR( '', #2208, 1.00000000000000 );
#1684 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1685 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1686 = CARTESIAN_POINT( '', ( -3.50000000000000, 7.15147186257617, -50.0000000000000 ) );
#1687 = VECTOR( '', #2209, 1.00000000000000 );
#1688 = SURFACE_SIDE_STYLE( '', ( #2210 ) );
#1689 = EDGE_LOOP( '', ( #2211, #2212, #2213, #2214 ) );
#1690 = AXIS2_PLACEMENT_3D( '', #2215, #2216, #2217 );
#1691 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1692 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1693 = CARTESIAN_POINT( '', ( 4.10000000000002, 7.39999999999999, 0.000000000000000 ) );
#1694 = VECTOR( '', #2218, 1.00000000000000 );
#1695 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1696 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1697 = CARTESIAN_POINT( '', ( -4.60000000000002, 3.40000000000000, -50.0000000000000 ) );
#1698 = VECTOR( '', #2219, 1.00000000000000 );
#1699 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1700 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1701 = CARTESIAN_POINT( '', ( -2.93035278738524, 9.91849971857463, -50.0000000000000 ) );
#1702 = VECTOR( '', #2220, 1.00000000000000 );
#1703 = PRE_DEFINED_MARKER( '' );
#1704 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1705 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1706 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1707 = CARTESIAN_POINT( '', ( -3.89999999999998, -0.599999999999994, 0.000000000000000 ) );
#1708 = VECTOR( '', #2221, 1.00000000000000 );
#1709 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1710 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1711 = CARTESIAN_POINT( '', ( -4.10000000000002, 7.40000000000000, 0.000000000000000 ) );
#1712 = VECTOR( '', #2222, 1.00000000000000 );
#1713 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1714 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1715 = AXIS2_PLACEMENT_3D( '', #2223, #2224, #2225 );
#1716 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1717 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1718 = CARTESIAN_POINT( '', ( -3.12518514934881, 10.2832244302414, 0.000000000000000 ) );
#1719 = VECTOR( '', #2226, 1.00000000000000 );
#1720 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1721 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1722 = CARTESIAN_POINT( '', ( 4.10000000000002, -0.399999999999977, 0.000000000000000 ) );
#1723 = VECTOR( '', #2227, 1.00000000000000 );
#1724 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1725 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1726 = CARTESIAN_POINT( '', ( -4.10000000000002, -0.400000000000006, 0.000000000000000 ) );
#1727 = VECTOR( '', #2228, 1.00000000000000 );
#1728 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1729 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1730 = CARTESIAN_POINT( '', ( 4.60000000000002, 3.40000000000000, 0.000000000000000 ) );
#1731 = VECTOR( '', #2229, 1.00000000000000 );
#1732 = SURFACE_SIDE_STYLE( '', ( #2230 ) );
#1733 = EDGE_LOOP( '', ( #2231, #2232, #2233, #2234 ) );
#1734 = AXIS2_PLACEMENT_3D( '', #2235, #2236, #2237 );
#1735 = PRE_DEFINED_MARKER( '' );
#1736 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1737 = PRE_DEFINED_MARKER( '' );
#1738 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1739 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1740 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1741 = CARTESIAN_POINT( '', ( 4.10000000000002, 2.90000000000000, 0.000000000000000 ) );
#1742 = VECTOR( '', #2238, 1.00000000000000 );
#1743 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1744 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1745 = CARTESIAN_POINT( '', ( -4.60000000000002, 6.90000000000000, 0.000000000000000 ) );
#1746 = VECTOR( '', #2239, 1.00000000000000 );
#1747 = PRE_DEFINED_MARKER( '' );
#1748 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1749 = PRE_DEFINED_MARKER( '' );
#1750 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1751 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1752 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1753 = CARTESIAN_POINT( '', ( -3.50000000000000, 0.100000000000009, -50.0000000000000 ) );
#1754 = VECTOR( '', #2240, 1.00000000000000 );
#1755 = SURFACE_SIDE_STYLE( '', ( #2241 ) );
#1756 = EDGE_LOOP( '', ( #2242, #2243, #2244, #2245 ) );
#1757 = AXIS2_PLACEMENT_3D( '', #2246, #2247, #2248 );
#1758 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1759 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1760 = CARTESIAN_POINT( '', ( 3.39999999999998, 0.000000000000000, -50.0000000000000 ) );
#1761 = VECTOR( '', #2249, 1.00000000000000 );
#1762 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1763 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1764 = CARTESIAN_POINT( '', ( -3.50000000000000, 0.100000000000009, 0.000000000000000 ) );
#1765 = VECTOR( '', #2250, 1.00000000000000 );
#1766 = PRE_DEFINED_MARKER( '' );
#1767 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1768 = PRE_DEFINED_MARKER( '' );
#1769 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1770 = PRE_DEFINED_MARKER( '' );
#1771 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1772 = PRE_DEFINED_MARKER( '' );
#1773 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1774 = SURFACE_SIDE_STYLE( '', ( #2251 ) );
#1775 = EDGE_LOOP( '', ( #2252, #2253, #2254, #2255, #2256, #2257, #2258, #2259, #2260, #2261, #2262, #2263, #2264, #2265, #2266, #2267, #2268, #2269, #2270, #2271, #2272, #2273, #2274, #2275, #2276, #2277, #2278, #2279, #2280, #2281, #2282, #2283, #2284, #2285, #2286 ) );
#1776 = AXIS2_PLACEMENT_3D( '', #2287, #2288, #2289 );
#1777 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1778 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1779 = CARTESIAN_POINT( '', ( -2.93035278738524, 9.91849971857463, 0.000000000000000 ) );
#1780 = VECTOR( '', #2290, 1.00000000000000 );
#1781 = SURFACE_SIDE_STYLE( '', ( #2291 ) );
#1782 = EDGE_LOOP( '', ( #2292, #2293, #2294, #2295 ) );
#1783 = AXIS2_PLACEMENT_3D( '', #2296, #2297, #2298 );
#1784 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1785 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1786 = AXIS2_PLACEMENT_3D( '', #2299, #2300, #2301 );
#1787 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1788 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1789 = CARTESIAN_POINT( '', ( 4.00000000000000, 3.64852813742388, 0.000000000000000 ) );
#1790 = VECTOR( '', #2302, 1.00000000000000 );
#1791 = PRE_DEFINED_MARKER( '' );
#1792 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1793 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' );
#1794 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1795 = CARTESIAN_POINT( '', ( 3.89999999999998, -0.599999999999994, 0.000000000000000 ) );
#1796 = VECTOR( '', #2303, 1.00000000000000 );
#1797 = PRE_DEFINED_MARKER( '' );
#1798 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#1800 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1801 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1802 = SURFACE_STYLE_FILL_AREA( #2304 );
#1803 = ORIENTED_EDGE( '', *, *, #547, .T. );
#1804 = ORIENTED_EDGE( '', *, *, #603, .F. );
#1805 = ORIENTED_EDGE( '', *, *, #607, .F. );
#1806 = ORIENTED_EDGE( '', *, *, #613, .T. );
#1807 = CARTESIAN_POINT( '', ( -3.90000000000008, -0.400000000000057, 0.000000000000000 ) );
#1808 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1809 = DIRECTION( '', ( -1.00000000000000, 2.55351295663867E-013, 0.000000000000000 ) );
#1810 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1811 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1812 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1813 = CARTESIAN_POINT( '', ( -3.80000000000125, 9.68772051141138, 0.000000000000000 ) );
#1814 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1815 = DIRECTION( '', ( 1.00000000000000, 7.57912251474303E-013, 0.000000000000000 ) );
#1816 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1817 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1818 = SURFACE_STYLE_FILL_AREA( #2305 );
#1819 = ORIENTED_EDGE( '', *, *, #537, .T. );
#1820 = ORIENTED_EDGE( '', *, *, #613, .F. );
#1821 = ORIENTED_EDGE( '', *, *, #327, .F. );
#1822 = ORIENTED_EDGE( '', *, *, #493, .T. );
#1823 = CARTESIAN_POINT( '', ( -4.10000000000002, 2.90000000000000, 0.000000000000000 ) );
#1824 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1825 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1826 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1827 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1828 = CARTESIAN_POINT( '', ( -3.39999999999997, 0.100000000000028, 0.000000000000000 ) );
#1829 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1830 = DIRECTION( '', ( -7.99360577729890E-014, -1.00000000000000, 0.000000000000000 ) );
#1831 = CARTESIAN_POINT( '', ( -3.35012343289923, 10.0847231239648, -50.0000000000000 ) );
#1832 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1833 = DIRECTION( '', ( -0.749794278500872, -0.661671020921543, 0.000000000000000 ) );
#1834 = DIRECTION( '', ( 0.707106781186512, 0.707106781186583, 0.000000000000000 ) );
#1835 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1836 = SURFACE_STYLE_FILL_AREA( #2306 );
#1837 = ORIENTED_EDGE( '', *, *, #247, .T. );
#1838 = ORIENTED_EDGE( '', *, *, #487, .F. );
#1839 = ORIENTED_EDGE( '', *, *, #533, .F. );
#1840 = ORIENTED_EDGE( '', *, *, #535, .T. );
#1841 = CARTESIAN_POINT( '', ( 4.00000000000000, 6.65147186257612, 0.000000000000000 ) );
#1842 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1843 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1844 = SURFACE_STYLE_FILL_AREA( #2307 );
#1845 = ORIENTED_EDGE( '', *, *, #491, .T. );
#1846 = ORIENTED_EDGE( '', *, *, #605, .F. );
#1847 = ORIENTED_EDGE( '', *, *, #351, .F. );
#1848 = ORIENTED_EDGE( '', *, *, #359, .T. );
#1849 = CARTESIAN_POINT( '', ( -4.10000000000002, 10.0449086144145, 0.000000000000000 ) );
#1850 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1851 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1852 = CARTESIAN_POINT( '', ( -3.35012343289923, 10.0847231239648, -50.0000000000000 ) );
#1853 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1854 = DIRECTION( '', ( -0.749794278500872, -0.661671020921543, 0.000000000000000 ) );
#1855 = SURFACE_STYLE_FILL_AREA( #2308 );
#1856 = ORIENTED_EDGE( '', *, *, #597, .T. );
#1857 = ORIENTED_EDGE( '', *, *, #493, .F. );
#1858 = ORIENTED_EDGE( '', *, *, #543, .F. );
#1859 = ORIENTED_EDGE( '', *, *, #275, .T. );
#1860 = CARTESIAN_POINT( '', ( -4.60000000000002, 3.40000000000000, 0.000000000000000 ) );
#1861 = DIRECTION( '', ( -0.707106781186548, -0.707106781186548, 0.000000000000000 ) );
#1862 = DIRECTION( '', ( -0.707106781186548, 0.707106781186548, 0.000000000000000 ) );
#1863 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1864 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1865 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1866 = DIRECTION( '', ( -0.707106781186519, 0.707106781186576, 0.000000000000000 ) );
#1867 = SURFACE_STYLE_FILL_AREA( #2309 );
#1868 = ORIENTED_EDGE( '', *, *, #591, .T. );
#1869 = ORIENTED_EDGE( '', *, *, #287, .F. );
#1870 = ORIENTED_EDGE( '', *, *, #589, .F. );
#1871 = ORIENTED_EDGE( '', *, *, #541, .T. );
#1872 = CARTESIAN_POINT( '', ( -3.50000000000000, 7.15147186257617, 0.000000000000000 ) );
#1873 = DIRECTION( '', ( 1.00000000000000, 4.02722809975330E-015, 0.000000000000000 ) );
#1874 = DIRECTION( '', ( 4.02722809975330E-015, -1.00000000000000, 0.000000000000000 ) );
#1875 = SURFACE_STYLE_FILL_AREA( #2310 );
#1876 = ORIENTED_EDGE( '', *, *, #609, .F. );
#1877 = ORIENTED_EDGE( '', *, *, #283, .T. );
#1878 = ORIENTED_EDGE( '', *, *, #329, .F. );
#1879 = ORIENTED_EDGE( '', *, *, #549, .F. );
#1880 = CARTESIAN_POINT( '', ( -3.35012343289923, 10.0847231239648, 0.000000000000000 ) );
#1881 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1882 = DIRECTION( '', ( -0.749794278500872, -0.661671020921543, 0.000000000000000 ) );
#1883 = CARTESIAN_POINT( '', ( 3.40000000000001, 0.0999999999999943, 0.000000000000000 ) );
#1884 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1885 = DIRECTION( '', ( 1.00000000000000, 1.46688217128607E-013, 0.000000000000000 ) );
#1886 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1887 = SURFACE_STYLE_FILL_AREA( #2311 );
#1888 = ORIENTED_EDGE( '', *, *, #631, .T. );
#1889 = ORIENTED_EDGE( '', *, *, #449, .F. );
#1890 = ORIENTED_EDGE( '', *, *, #399, .F. );
#1891 = ORIENTED_EDGE( '', *, *, #637, .T. );
#1892 = CARTESIAN_POINT( '', ( -3.50000000000000, 0.100000000000009, 0.000000000000000 ) );
#1893 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1894 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1895 = DIRECTION( '', ( -0.707106781186548, -0.707106781186548, 0.000000000000000 ) );
#1896 = SURFACE_STYLE_FILL_AREA( #2312 );
#1897 = ORIENTED_EDGE( '', *, *, #455, .T. );
#1898 = ORIENTED_EDGE( '', *, *, #637, .F. );
#1899 = ORIENTED_EDGE( '', *, *, #267, .F. );
#1900 = ORIENTED_EDGE( '', *, *, #339, .T. );
#1901 = CARTESIAN_POINT( '', ( -3.39999999999997, 0.100000000000028, 0.000000000000000 ) );
#1902 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1903 = DIRECTION( '', ( -7.99360577729890E-014, -1.00000000000000, 0.000000000000000 ) );
#1904 = DIRECTION( '', ( -0.707106781186519, 0.707106781186576, 0.000000000000000 ) );
#1905 = CARTESIAN_POINT( '', ( -3.33884221276321, 10.0748427831990, -50.0000000000000 ) );
#1906 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1907 = DIRECTION( '', ( 0.413309318104171, 0.910590691566889, 0.000000000000000 ) );
#1908 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1909 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1910 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1911 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1912 = CARTESIAN_POINT( '', ( -2.75513347142402, 10.1619955805711, 0.000000000000000 ) );
#1913 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1914 = DIRECTION( '', ( -0.991672490366885, -0.128785371255980, 0.000000000000000 ) );
#1915 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1916 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1917 = SURFACE_STYLE_FILL_AREA( #2313 );
#1918 = ORIENTED_EDGE( '', *, *, #521, .T. );
#1919 = ORIENTED_EDGE( '', *, *, #443, .F. );
#1920 = ORIENTED_EDGE( '', *, *, #249, .F. );
#1921 = ORIENTED_EDGE( '', *, *, #451, .T. );
#1922 = CARTESIAN_POINT( '', ( 3.50000000000000, 3.14852813742384, 0.000000000000000 ) );
#1923 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1924 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1925 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1926 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1927 = DIRECTION( '', ( 0.707106781186519, -0.707106781186576, 0.000000000000000 ) );
#1928 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1929 = SURFACE_STYLE_FILL_AREA( #2314 );
#1930 = ORIENTED_EDGE( '', *, *, #477, .T. );
#1931 = ORIENTED_EDGE( '', *, *, #541, .F. );
#1932 = ORIENTED_EDGE( '', *, *, #271, .F. );
#1933 = ORIENTED_EDGE( '', *, *, #473, .T. );
#1934 = CARTESIAN_POINT( '', ( -4.00000000000000, 6.65147186257612, 0.000000000000000 ) );
#1935 = DIRECTION( '', ( 0.707106781186583, -0.707106781186512, 0.000000000000000 ) );
#1936 = DIRECTION( '', ( -0.707106781186512, -0.707106781186583, 0.000000000000000 ) );
#1937 = SURFACE_STYLE_FILL_AREA( #2315 );
#1938 = ORIENTED_EDGE( '', *, *, #447, .T. );
#1939 = ORIENTED_EDGE( '', *, *, #291, .F. );
#1940 = ORIENTED_EDGE( '', *, *, #423, .F. );
#1941 = ORIENTED_EDGE( '', *, *, #357, .T. );
#1942 = CARTESIAN_POINT( '', ( -0.0965073657122278, 8.47021150895038, 0.000000000000000 ) );
#1943 = DIRECTION( '', ( 0.617504734658305, 0.786567163486105, 0.000000000000000 ) );
#1944 = DIRECTION( '', ( 0.786567163486105, -0.617504734658305, 0.000000000000000 ) );
#1945 = DIRECTION( '', ( 0.707106781186547, 0.707106781186547, 0.000000000000000 ) );
#1946 = CARTESIAN_POINT( '', ( -2.75513347142402, 10.1619955805711, -50.0000000000000 ) );
#1947 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1948 = DIRECTION( '', ( -0.991672490366885, -0.128785371255980, 0.000000000000000 ) );
#1949 = SURFACE_STYLE_FILL_AREA( #2316 );
#1950 = SURFACE_STYLE_FILL_AREA( #2317 );
#1951 = ORIENTED_EDGE( '', *, *, #519, .T. );
#1952 = ORIENTED_EDGE( '', *, *, #571, .F. );
#1953 = ORIENTED_EDGE( '', *, *, #529, .F. );
#1954 = ORIENTED_EDGE( '', *, *, #615, .T. );
#1955 = CARTESIAN_POINT( '', ( 4.60000000000002, 3.40000000000000, 0.000000000000000 ) );
#1956 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1957 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1958 = CARTESIAN_POINT( '', ( 3.89999999999996, -0.399999999999938, 0.000000000000000 ) );
#1959 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1960 = DIRECTION( '', ( 8.21565038222384E-014, -1.00000000000000, 0.000000000000000 ) );
#1961 = SURFACE_STYLE_FILL_AREA( #2318 );
#1962 = ORIENTED_EDGE( '', *, *, #467, .T. );
#1963 = ORIENTED_EDGE( '', *, *, #473, .F. );
#1964 = ORIENTED_EDGE( '', *, *, #453, .F. );
#1965 = ORIENTED_EDGE( '', *, *, #353, .T. );
#1966 = CARTESIAN_POINT( '', ( -4.00000000000000, 3.64852813742388, 0.000000000000000 ) );
#1967 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1968 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1969 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1970 = CARTESIAN_POINT( '', ( 3.40000000000001, 0.0999999999999943, -50.0000000000000 ) );
#1971 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1972 = DIRECTION( '', ( 1.00000000000000, 1.46688217128607E-013, 0.000000000000000 ) );
#1973 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#1974 = CARTESIAN_POINT( '', ( -3.33884221276321, 10.0748427831990, 0.000000000000000 ) );
#1975 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#1976 = DIRECTION( '', ( 0.413309318104171, 0.910590691566889, 0.000000000000000 ) );
#1977 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1978 = SURFACE_STYLE_FILL_AREA( #2319 );
#1979 = ORIENTED_EDGE( '', *, *, #395, .T. );
#1980 = ORIENTED_EDGE( '', *, *, #659, .F. );
#1981 = ORIENTED_EDGE( '', *, *, #465, .F. );
#1982 = ORIENTED_EDGE( '', *, *, #603, .T. );
#1983 = CARTESIAN_POINT( '', ( -3.89999999999998, -0.599999999999994, 0.000000000000000 ) );
#1984 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#1985 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#1986 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#1987 = SURFACE_STYLE_FILL_AREA( #2320 );
#1988 = ORIENTED_EDGE( '', *, *, #597, .F. );
#1989 = ORIENTED_EDGE( '', *, *, #403, .F. );
#1990 = ORIENTED_EDGE( '', *, *, #565, .F. );
#1991 = ORIENTED_EDGE( '', *, *, #491, .F. );
#1992 = ORIENTED_EDGE( '', *, *, #325, .F. );
#1993 = ORIENTED_EDGE( '', *, *, #447, .F. );
#1994 = ORIENTED_EDGE( '', *, *, #457, .F. );
#1995 = ORIENTED_EDGE( '', *, *, #599, .F. );
#1996 = ORIENTED_EDGE( '', *, *, #377, .F. );
#1997 = ORIENTED_EDGE( '', *, *, #283, .F. );
#1998 = ORIENTED_EDGE( '', *, *, #269, .F. );
#1999 = ORIENTED_EDGE( '', *, *, #587, .F. );
#2000 = ORIENTED_EDGE( '', *, *, #591, .F. );
#2001 = ORIENTED_EDGE( '', *, *, #477, .F. );
#2002 = ORIENTED_EDGE( '', *, *, #467, .F. );
#2003 = ORIENTED_EDGE( '', *, *, #295, .F. );
#2004 = ORIENTED_EDGE( '', *, *, #631, .F. );
#2005 = ORIENTED_EDGE( '', *, *, #455, .F. );
#2006 = ORIENTED_EDGE( '', *, *, #635, .F. );
#2007 = ORIENTED_EDGE( '', *, *, #397, .F. );
#2008 = ORIENTED_EDGE( '', *, *, #521, .F. );
#2009 = ORIENTED_EDGE( '', *, *, #573, .F. );
#2010 = ORIENTED_EDGE( '', *, *, #247, .F. );
#2011 = ORIENTED_EDGE( '', *, *, #361, .F. );
#2012 = ORIENTED_EDGE( '', *, *, #367, .F. );
#2013 = ORIENTED_EDGE( '', *, *, #241, .F. );
#2014 = ORIENTED_EDGE( '', *, *, #309, .F. );
#2015 = ORIENTED_EDGE( '', *, *, #517, .F. );
#2016 = ORIENTED_EDGE( '', *, *, #519, .F. );
#2017 = ORIENTED_EDGE( '', *, *, #375, .F. );
#2018 = ORIENTED_EDGE( '', *, *, #433, .F. );
#2019 = ORIENTED_EDGE( '', *, *, #481, .F. );
#2020 = ORIENTED_EDGE( '', *, *, #395, .F. );
#2021 = ORIENTED_EDGE( '', *, *, #547, .F. );
#2022 = ORIENTED_EDGE( '', *, *, #537, .F. );
#2023 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -50.0000000000000 ) );
#2024 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2025 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2026 = CARTESIAN_POINT( '', ( -3.35012343289923, 10.0847231239648, 0.000000000000000 ) );
#2027 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2028 = DIRECTION( '', ( -0.749794278500872, -0.661671020921543, 0.000000000000000 ) );
#2029 = DIRECTION( '', ( -0.786567163486105, 0.617504734658305, 0.000000000000000 ) );
#2030 = SURFACE_STYLE_FILL_AREA( #2321 );
#2031 = ORIENTED_EDGE( '', *, *, #433, .T. );
#2032 = ORIENTED_EDGE( '', *, *, #255, .F. );
#2033 = ORIENTED_EDGE( '', *, *, #611, .F. );
#2034 = ORIENTED_EDGE( '', *, *, #415, .T. );
#2035 = CARTESIAN_POINT( '', ( 4.10000000000002, -0.399999999999977, 0.000000000000000 ) );
#2036 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2037 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#2038 = SURFACE_STYLE_FILL_AREA( #2322 );
#2039 = ORIENTED_EDGE( '', *, *, #397, .T. );
#2040 = ORIENTED_EDGE( '', *, *, #263, .F. );
#2041 = ORIENTED_EDGE( '', *, *, #301, .F. );
#2042 = ORIENTED_EDGE( '', *, *, #443, .T. );
#2043 = CARTESIAN_POINT( '', ( 3.40000000000001, 0.0999999999999943, 0.000000000000000 ) );
#2044 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2045 = DIRECTION( '', ( 1.00000000000000, 1.46688217128607E-013, 0.000000000000000 ) );
#2046 = SURFACE_STYLE_FILL_AREA( #2323 );
#2047 = ORIENTED_EDGE( '', *, *, #241, .T. );
#2048 = ORIENTED_EDGE( '', *, *, #525, .F. );
#2049 = ORIENTED_EDGE( '', *, *, #439, .F. );
#2050 = ORIENTED_EDGE( '', *, *, #437, .T. );
#2051 = CARTESIAN_POINT( '', ( 4.10000000000002, 10.9000000000000, 0.000000000000000 ) );
#2052 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2053 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2054 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2055 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2056 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2057 = SURFACE_STYLE_FILL_AREA( #2324 );
#2058 = ORIENTED_EDGE( '', *, *, #573, .T. );
#2059 = ORIENTED_EDGE( '', *, *, #451, .F. );
#2060 = ORIENTED_EDGE( '', *, *, #655, .F. );
#2061 = ORIENTED_EDGE( '', *, *, #487, .T. );
#2062 = CARTESIAN_POINT( '', ( 4.00000000000000, 3.64852813742388, 0.000000000000000 ) );
#2063 = DIRECTION( '', ( -0.707106781186576, 0.707106781186519, 0.000000000000000 ) );
#2064 = DIRECTION( '', ( 0.707106781186519, 0.707106781186576, 0.000000000000000 ) );
#2065 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2066 = DIRECTION( '', ( -0.786567163486105, 0.617504734658305, 0.000000000000000 ) );
#2067 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2068 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2069 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2070 = CARTESIAN_POINT( '', ( -3.39999999999997, 0.100000000000028, -50.0000000000000 ) );
#2071 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2072 = DIRECTION( '', ( -7.99360577729890E-014, -1.00000000000000, 0.000000000000000 ) );
#2073 = CARTESIAN_POINT( '', ( -0.242179990877332, 8.27951544721716, -50.0000000000000 ) );
#2074 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2075 = DIRECTION( '', ( -0.607045675119317, -0.794666941755433, 0.000000000000000 ) );
#2076 = SURFACE_STYLE_FILL_AREA( #2325 );
#2077 = ORIENTED_EDGE( '', *, *, #587, .T. );
#2078 = ORIENTED_EDGE( '', *, *, #335, .F. );
#2079 = ORIENTED_EDGE( '', *, *, #251, .F. );
#2080 = ORIENTED_EDGE( '', *, *, #287, .T. );
#2081 = CARTESIAN_POINT( '', ( -3.80000000000125, 9.68772051141138, 0.000000000000000 ) );
#2082 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2083 = DIRECTION( '', ( 1.00000000000000, 7.57912251474303E-013, 0.000000000000000 ) );
#2084 = SURFACE_STYLE_FILL_AREA( #2326 );
#2085 = ORIENTED_EDGE( '', *, *, #309, .T. );
#2086 = ORIENTED_EDGE( '', *, *, #437, .F. );
#2087 = ORIENTED_EDGE( '', *, *, #289, .F. );
#2088 = ORIENTED_EDGE( '', *, *, #595, .T. );
#2089 = CARTESIAN_POINT( '', ( 4.10000000000002, 7.39999999999999, 0.000000000000000 ) );
#2090 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2091 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#2092 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2093 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2094 = SURFACE_STYLE_FILL_AREA( #2327 );
#2095 = ORIENTED_EDGE( '', *, *, #361, .T. );
#2096 = ORIENTED_EDGE( '', *, *, #535, .F. );
#2097 = ORIENTED_EDGE( '', *, *, #471, .F. );
#2098 = ORIENTED_EDGE( '', *, *, #237, .T. );
#2099 = CARTESIAN_POINT( '', ( 3.50000000000000, 7.15147186257616, 0.000000000000000 ) );
#2100 = DIRECTION( '', ( -0.707106781186576, -0.707106781186519, 0.000000000000000 ) );
#2101 = DIRECTION( '', ( -0.707106781186519, 0.707106781186576, 0.000000000000000 ) );
#2102 = DIRECTION( '', ( 0.707106781186519, -0.707106781186576, 0.000000000000000 ) );
#2103 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2104 = DIRECTION( '', ( 0.707106781186512, 0.707106781186583, 0.000000000000000 ) );
#2105 = CARTESIAN_POINT( '', ( 3.89999999999996, -0.399999999999938, -50.0000000000000 ) );
#2106 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2107 = DIRECTION( '', ( 8.21565038222384E-014, -1.00000000000000, 0.000000000000000 ) );
#2108 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2109 = SURFACE_STYLE_FILL_AREA( #2328 );
#2110 = ORIENTED_EDGE( '', *, *, #375, .T. );
#2111 = ORIENTED_EDGE( '', *, *, #615, .F. );
#2112 = ORIENTED_EDGE( '', *, *, #623, .F. );
#2113 = ORIENTED_EDGE( '', *, *, #255, .T. );
#2114 = CARTESIAN_POINT( '', ( 4.10000000000002, 2.90000000000000, 0.000000000000000 ) );
#2115 = DIRECTION( '', ( 0.707106781186548, -0.707106781186548, 0.000000000000000 ) );
#2116 = DIRECTION( '', ( -0.707106781186548, -0.707106781186548, 0.000000000000000 ) );
#2117 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#2118 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2119 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2120 = SURFACE_STYLE_FILL_AREA( #2329 );
#2121 = ORIENTED_EDGE( '', *, *, #367, .T. );
#2122 = ORIENTED_EDGE( '', *, *, #237, .F. );
#2123 = ORIENTED_EDGE( '', *, *, #259, .F. );
#2124 = ORIENTED_EDGE( '', *, *, #525, .T. );
#2125 = CARTESIAN_POINT( '', ( 3.50000000000000, 10.9000000000000, 0.000000000000000 ) );
#2126 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2127 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2128 = SURFACE_STYLE_FILL_AREA( #2330 );
#2129 = ORIENTED_EDGE( '', *, *, #481, .T. );
#2130 = ORIENTED_EDGE( '', *, *, #415, .F. );
#2131 = ORIENTED_EDGE( '', *, *, #385, .F. );
#2132 = ORIENTED_EDGE( '', *, *, #659, .T. );
#2133 = CARTESIAN_POINT( '', ( 3.89999999999996, -0.399999999999938, 0.000000000000000 ) );
#2134 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2135 = DIRECTION( '', ( 8.21565038222384E-014, -1.00000000000000, 0.000000000000000 ) );
#2136 = SURFACE_STYLE_FILL_AREA( #2331 );
#2137 = ORIENTED_EDGE( '', *, *, #517, .T. );
#2138 = ORIENTED_EDGE( '', *, *, #595, .F. );
#2139 = ORIENTED_EDGE( '', *, *, #575, .F. );
#2140 = ORIENTED_EDGE( '', *, *, #571, .T. );
#2141 = CARTESIAN_POINT( '', ( 4.60000000000002, 6.90000000000000, 0.000000000000000 ) );
#2142 = DIRECTION( '', ( 0.707106781186540, 0.707106781186555, 0.000000000000000 ) );
#2143 = DIRECTION( '', ( 0.707106781186555, -0.707106781186540, 0.000000000000000 ) );
#2144 = DIRECTION( '', ( -0.707106781186555, 0.707106781186540, 0.000000000000000 ) );
#2145 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2146 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#2147 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2148 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2149 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2150 = SURFACE_STYLE_FILL_AREA( #2332 );
#2151 = ORIENTED_EDGE( '', *, *, #609, .T. );
#2152 = ORIENTED_EDGE( '', *, *, #421, .F. );
#2153 = ORIENTED_EDGE( '', *, *, #335, .T. );
#2154 = ORIENTED_EDGE( '', *, *, #269, .T. );
#2155 = CARTESIAN_POINT( '', ( -3.35012343289923, 10.0847231239648, 0.000000000000000 ) );
#2156 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2157 = DIRECTION( '', ( -0.749794278500872, -0.661671020921543, 0.000000000000000 ) );
#2158 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#2159 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2160 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) );
#2161 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2162 = DIRECTION( '', ( 0.707106781186548, -0.707106781186548, 0.000000000000000 ) );
#2163 = CARTESIAN_POINT( '', ( -3.90000000000008, -0.400000000000057, -50.0000000000000 ) );
#2164 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2165 = DIRECTION( '', ( -1.00000000000000, 2.55351295663867E-013, 0.000000000000000 ) );
#2166 = CARTESIAN_POINT( '', ( -3.35012343289923, 10.0847231239648, 0.000000000000000 ) );
#2167 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2168 = DIRECTION( '', ( -0.749794278500872, -0.661671020921543, 0.000000000000000 ) );
#2169 = SURFACE_STYLE_FILL_AREA( #2333 );
#2170 = ORIENTED_EDGE( '', *, *, #377, .T. );
#2171 = ORIENTED_EDGE( '', *, *, #523, .F. );
#2172 = ORIENTED_EDGE( '', *, *, #341, .F. );
#2173 = ORIENTED_EDGE( '', *, *, #329, .T. );
#2174 = CARTESIAN_POINT( '', ( -2.75513347142402, 10.1619955805711, 0.000000000000000 ) );
#2175 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2176 = DIRECTION( '', ( -0.991672490366885, -0.128785371255980, 0.000000000000000 ) );
#2177 = SURFACE_STYLE_FILL_AREA( #2334 );
#2178 = ORIENTED_EDGE( '', *, *, #599, .T. );
#2179 = ORIENTED_EDGE( '', *, *, #245, .F. );
#2180 = ORIENTED_EDGE( '', *, *, #649, .F. );
#2181 = ORIENTED_EDGE( '', *, *, #523, .T. );
#2182 = CARTESIAN_POINT( '', ( -2.93035278738524, 9.91849971857463, 0.000000000000000 ) );
#2183 = DIRECTION( '', ( -0.584111324148334, -0.811673555687063, 0.000000000000000 ) );
#2184 = DIRECTION( '', ( -0.811673555687063, 0.584111324148334, 0.000000000000000 ) );
#2185 = SURFACE_STYLE_FILL_AREA( #2335 );
#2186 = ORIENTED_EDGE( '', *, *, #325, .T. );
#2187 = ORIENTED_EDGE( '', *, *, #359, .F. );
#2188 = ORIENTED_EDGE( '', *, *, #401, .F. );
#2189 = ORIENTED_EDGE( '', *, *, #291, .T. );
#2190 = CARTESIAN_POINT( '', ( -3.33884221276321, 10.0748427831990, 0.000000000000000 ) );
#2191 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2192 = DIRECTION( '', ( 0.413309318104171, 0.910590691566889, 0.000000000000000 ) );
#2193 = DIRECTION( '', ( -0.707106781186547, -0.707106781186547, 0.000000000000000 ) );
#2194 = SURFACE_STYLE_FILL_AREA( #2336 );
#2195 = ORIENTED_EDGE( '', *, *, #457, .T. );
#2196 = ORIENTED_EDGE( '', *, *, #357, .F. );
#2197 = ORIENTED_EDGE( '', *, *, #653, .F. );
#2198 = ORIENTED_EDGE( '', *, *, #245, .T. );
#2199 = CARTESIAN_POINT( '', ( -0.242179990877332, 8.27951544721716, 0.000000000000000 ) );
#2200 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2201 = DIRECTION( '', ( -0.607045675119317, -0.794666941755433, 0.000000000000000 ) );
#2202 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2203 = DIRECTION( '', ( -0.707106781186519, -0.707106781186576, 0.000000000000000 ) );
#2204 = DIRECTION( '', ( -0.707106781186555, 0.707106781186540, 0.000000000000000 ) );
#2205 = CARTESIAN_POINT( '', ( -3.80000000000125, 9.68772051141138, -50.0000000000000 ) );
#2206 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2207 = DIRECTION( '', ( 1.00000000000000, 7.57912251474303E-013, 0.000000000000000 ) );
#2208 = DIRECTION( '', ( -4.02722809975330E-015, 1.00000000000000, 0.000000000000000 ) );
#2209 = DIRECTION( '', ( -4.02722809975330E-015, 1.00000000000000, 0.000000000000000 ) );
#2210 = SURFACE_STYLE_FILL_AREA( #2337 );
#2211 = ORIENTED_EDGE( '', *, *, #635, .T. );
#2212 = ORIENTED_EDGE( '', *, *, #339, .F. );
#2213 = ORIENTED_EDGE( '', *, *, #501, .F. );
#2214 = ORIENTED_EDGE( '', *, *, #263, .T. );
#2215 = CARTESIAN_POINT( '', ( 3.39999999999998, -1.38777878078145E-017, 0.000000000000000 ) );
#2216 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2217 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2218 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2219 = DIRECTION( '', ( 0.707106781186547, -0.707106781186547, 0.000000000000000 ) );
#2220 = DIRECTION( '', ( 0.811673555687063, -0.584111324148334, 0.000000000000000 ) );
#2221 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2222 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2223 = CARTESIAN_POINT( '', ( -3.90000000000008, -0.400000000000057, 0.000000000000000 ) );
#2224 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2225 = DIRECTION( '', ( -1.00000000000000, 2.55351295663867E-013, 0.000000000000000 ) );
#2226 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2227 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2228 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2229 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2230 = SURFACE_STYLE_FILL_AREA( #2338 );
#2231 = ORIENTED_EDGE( '', *, *, #403, .T. );
#2232 = ORIENTED_EDGE( '', *, *, #275, .F. );
#2233 = ORIENTED_EDGE( '', *, *, #253, .F. );
#2234 = ORIENTED_EDGE( '', *, *, #625, .T. );
#2235 = CARTESIAN_POINT( '', ( -4.60000000000002, 6.90000000000000, 0.000000000000000 ) );
#2236 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2237 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2238 = DIRECTION( '', ( 0.707106781186548, 0.707106781186548, 0.000000000000000 ) );
#2239 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2240 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) );
#2241 = SURFACE_STYLE_FILL_AREA( #2339 );
#2242 = ORIENTED_EDGE( '', *, *, #295, .T. );
#2243 = ORIENTED_EDGE( '', *, *, #353, .F. );
#2244 = ORIENTED_EDGE( '', *, *, #317, .F. );
#2245 = ORIENTED_EDGE( '', *, *, #449, .T. );
#2246 = CARTESIAN_POINT( '', ( -3.50000000000000, 3.14852813742384, 0.000000000000000 ) );
#2247 = DIRECTION( '', ( 0.707106781186576, 0.707106781186519, 0.000000000000000 ) );
#2248 = DIRECTION( '', ( 0.707106781186519, -0.707106781186576, 0.000000000000000 ) );
#2249 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2250 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2251 = SURFACE_STYLE_FILL_AREA( #2340 );
#2252 = ORIENTED_EDGE( '', *, *, #253, .T. );
#2253 = ORIENTED_EDGE( '', *, *, #543, .T. );
#2254 = ORIENTED_EDGE( '', *, *, #327, .T. );
#2255 = ORIENTED_EDGE( '', *, *, #607, .T. );
#2256 = ORIENTED_EDGE( '', *, *, #465, .T. );
#2257 = ORIENTED_EDGE( '', *, *, #385, .T. );
#2258 = ORIENTED_EDGE( '', *, *, #611, .T. );
#2259 = ORIENTED_EDGE( '', *, *, #623, .T. );
#2260 = ORIENTED_EDGE( '', *, *, #529, .T. );
#2261 = ORIENTED_EDGE( '', *, *, #575, .T. );
#2262 = ORIENTED_EDGE( '', *, *, #289, .T. );
#2263 = ORIENTED_EDGE( '', *, *, #439, .T. );
#2264 = ORIENTED_EDGE( '', *, *, #259, .T. );
#2265 = ORIENTED_EDGE( '', *, *, #471, .T. );
#2266 = ORIENTED_EDGE( '', *, *, #533, .T. );
#2267 = ORIENTED_EDGE( '', *, *, #655, .T. );
#2268 = ORIENTED_EDGE( '', *, *, #249, .T. );
#2269 = ORIENTED_EDGE( '', *, *, #301, .T. );
#2270 = ORIENTED_EDGE( '', *, *, #501, .T. );
#2271 = ORIENTED_EDGE( '', *, *, #267, .T. );
#2272 = ORIENTED_EDGE( '', *, *, #399, .T. );
#2273 = ORIENTED_EDGE( '', *, *, #317, .T. );
#2274 = ORIENTED_EDGE( '', *, *, #453, .T. );
#2275 = ORIENTED_EDGE( '', *, *, #271, .T. );
#2276 = ORIENTED_EDGE( '', *, *, #589, .T. );
#2277 = ORIENTED_EDGE( '', *, *, #251, .T. );
#2278 = ORIENTED_EDGE( '', *, *, #421, .T. );
#2279 = ORIENTED_EDGE( '', *, *, #549, .T. );
#2280 = ORIENTED_EDGE( '', *, *, #341, .T. );
#2281 = ORIENTED_EDGE( '', *, *, #649, .T. );
#2282 = ORIENTED_EDGE( '', *, *, #653, .T. );
#2283 = ORIENTED_EDGE( '', *, *, #423, .T. );
#2284 = ORIENTED_EDGE( '', *, *, #401, .T. );
#2285 = ORIENTED_EDGE( '', *, *, #351, .T. );
#2286 = ORIENTED_EDGE( '', *, *, #313, .T. );
#2287 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) );
#2288 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2289 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) );
#2290 = DIRECTION( '', ( 0.811673555687063, -0.584111324148334, 0.000000000000000 ) );
#2291 = SURFACE_STYLE_FILL_AREA( #2341 );
#2292 = ORIENTED_EDGE( '', *, *, #565, .T. );
#2293 = ORIENTED_EDGE( '', *, *, #625, .F. );
#2294 = ORIENTED_EDGE( '', *, *, #313, .F. );
#2295 = ORIENTED_EDGE( '', *, *, #605, .T. );
#2296 = CARTESIAN_POINT( '', ( -4.10000000000002, 7.40000000000000, 0.000000000000000 ) );
#2297 = DIRECTION( '', ( -0.707106781186548, 0.707106781186548, 0.000000000000000 ) );
#2298 = DIRECTION( '', ( 0.707106781186548, 0.707106781186548, 0.000000000000000 ) );
#2299 = CARTESIAN_POINT( '', ( -0.242179990877332, 8.27951544721716, 0.000000000000000 ) );
#2300 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) );
#2301 = DIRECTION( '', ( -0.607045675119317, -0.794666941755433, 0.000000000000000 ) );
#2302 = DIRECTION( '', ( -0.707106781186519, -0.707106781186576, 0.000000000000000 ) );
#2303 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) );
#2304 = FILL_AREA_STYLE( '', ( #2342 ) );
#2305 = FILL_AREA_STYLE( '', ( #2343 ) );
#2306 = FILL_AREA_STYLE( '', ( #2344 ) );
#2307 = FILL_AREA_STYLE( '', ( #2345 ) );
#2308 = FILL_AREA_STYLE( '', ( #2346 ) );
#2309 = FILL_AREA_STYLE( '', ( #2347 ) );
#2310 = FILL_AREA_STYLE( '', ( #2348 ) );
#2311 = FILL_AREA_STYLE( '', ( #2349 ) );
#2312 = FILL_AREA_STYLE( '', ( #2350 ) );
#2313 = FILL_AREA_STYLE( '', ( #2351 ) );
#2314 = FILL_AREA_STYLE( '', ( #2352 ) );
#2315 = FILL_AREA_STYLE( '', ( #2353 ) );
#2316 = FILL_AREA_STYLE( '', ( #2354 ) );
#2317 = FILL_AREA_STYLE( '', ( #2355 ) );
#2318 = FILL_AREA_STYLE( '', ( #2356 ) );
#2319 = FILL_AREA_STYLE( '', ( #2357 ) );
#2320 = FILL_AREA_STYLE( '', ( #2358 ) );
#2321 = FILL_AREA_STYLE( '', ( #2359 ) );
#2322 = FILL_AREA_STYLE( '', ( #2360 ) );
#2323 = FILL_AREA_STYLE( '', ( #2361 ) );
#2324 = FILL_AREA_STYLE( '', ( #2362 ) );
#2325 = FILL_AREA_STYLE( '', ( #2363 ) );
#2326 = FILL_AREA_STYLE( '', ( #2364 ) );
#2327 = FILL_AREA_STYLE( '', ( #2365 ) );
#2328 = FILL_AREA_STYLE( '', ( #2366 ) );
#2329 = FILL_AREA_STYLE( '', ( #2367 ) );
#2330 = FILL_AREA_STYLE( '', ( #2368 ) );
#2331 = FILL_AREA_STYLE( '', ( #2369 ) );
#2332 = FILL_AREA_STYLE( '', ( #2370 ) );
#2333 = FILL_AREA_STYLE( '', ( #2371 ) );
#2334 = FILL_AREA_STYLE( '', ( #2372 ) );
#2335 = FILL_AREA_STYLE( '', ( #2373 ) );
#2336 = FILL_AREA_STYLE( '', ( #2374 ) );
#2337 = FILL_AREA_STYLE( '', ( #2375 ) );
#2338 = FILL_AREA_STYLE( '', ( #2376 ) );
#2339 = FILL_AREA_STYLE( '', ( #2377 ) );
#2340 = FILL_AREA_STYLE( '', ( #2378 ) );
#2341 = FILL_AREA_STYLE( '', ( #2379 ) );
#2342 = FILL_AREA_STYLE_COLOUR( '', #2380 );
#2343 = FILL_AREA_STYLE_COLOUR( '', #2381 );
#2344 = FILL_AREA_STYLE_COLOUR( '', #2382 );
#2345 = FILL_AREA_STYLE_COLOUR( '', #2383 );
#2346 = FILL_AREA_STYLE_COLOUR( '', #2384 );
#2347 = FILL_AREA_STYLE_COLOUR( '', #2385 );
#2348 = FILL_AREA_STYLE_COLOUR( '', #2386 );
#2349 = FILL_AREA_STYLE_COLOUR( '', #2387 );
#2350 = FILL_AREA_STYLE_COLOUR( '', #2388 );
#2351 = FILL_AREA_STYLE_COLOUR( '', #2389 );
#2352 = FILL_AREA_STYLE_COLOUR( '', #2390 );
#2353 = FILL_AREA_STYLE_COLOUR( '', #2391 );
#2354 = FILL_AREA_STYLE_COLOUR( '', #2392 );
#2355 = FILL_AREA_STYLE_COLOUR( '', #2393 );
#2356 = FILL_AREA_STYLE_COLOUR( '', #2394 );
#2357 = FILL_AREA_STYLE_COLOUR( '', #2395 );
#2358 = FILL_AREA_STYLE_COLOUR( '', #2396 );
#2359 = FILL_AREA_STYLE_COLOUR( '', #2397 );
#2360 = FILL_AREA_STYLE_COLOUR( '', #2398 );
#2361 = FILL_AREA_STYLE_COLOUR( '', #2399 );
#2362 = FILL_AREA_STYLE_COLOUR( '', #2400 );
#2363 = FILL_AREA_STYLE_COLOUR( '', #2401 );
#2364 = FILL_AREA_STYLE_COLOUR( '', #2402 );
#2365 = FILL_AREA_STYLE_COLOUR( '', #2403 );
#2366 = FILL_AREA_STYLE_COLOUR( '', #2404 );
#2367 = FILL_AREA_STYLE_COLOUR( '', #2405 );
#2368 = FILL_AREA_STYLE_COLOUR( '', #2406 );
#2369 = FILL_AREA_STYLE_COLOUR( '', #2407 );
#2370 = FILL_AREA_STYLE_COLOUR( '', #2408 );
#2371 = FILL_AREA_STYLE_COLOUR( '', #2409 );
#2372 = FILL_AREA_STYLE_COLOUR( '', #2410 );
#2373 = FILL_AREA_STYLE_COLOUR( '', #2411 );
#2374 = FILL_AREA_STYLE_COLOUR( '', #2412 );
#2375 = FILL_AREA_STYLE_COLOUR( '', #2413 );
#2376 = FILL_AREA_STYLE_COLOUR( '', #2414 );
#2377 = FILL_AREA_STYLE_COLOUR( '', #2415 );
#2378 = FILL_AREA_STYLE_COLOUR( '', #2416 );
#2379 = FILL_AREA_STYLE_COLOUR( '', #2417 );
#2380 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2381 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2382 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2383 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2384 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2385 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2386 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2387 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2388 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2389 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2390 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2391 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2392 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2393 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2394 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2395 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2396 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2397 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2398 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2399 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2400 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2401 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2402 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2403 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2404 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2405 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2406 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2407 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2408 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2409 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2410 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2411 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2412 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2413 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2414 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2415 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2416 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
#2417 = COLOUR_RGB( '', 0.000000000000000, 0.000000000000000, 0.000000000000000 );
ENDSEC;
END-ISO-10303-21;