ISO-10303-21; HEADER; FILE_DESCRIPTION( ( '' ), '1' ); FILE_NAME( 'D:/Katalogbilder/STEP/1_10_016040_14SP.stp', '2012-03-15T10:38:47', ( '' ), ( '' ), ' ', ' ', ' ' ); 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, #223, #224, #225, #226, #227, #228, #229, #230, #231, #232, #233, #234, #235, #236, #237, #238, #239, #240, #241, #242, #243, #244, #245, #246, #247, #248, #249, #250, #251, #252, #253, #254, #255, #256, #257, #258, #259, #260, #261, #262, #263, #264, #265, #266, #267, #268, #269, #270, #271, #272, #273, #274, #275, #276, #277, #278, #279, #280, #281, #282, #283, #284, #285, #286, #287, #288, #289, #290, #291, #292, #293, #294, #295, #296, #297, #298, #299, #300 ), #6 ); #2 = PRODUCT_DEFINITION_CONTEXT( '', #301, 'design' ); #3 = APPLICATION_PROTOCOL_DEFINITION( 'INTERNATIONAL STANDARD', 'automotive_design', 1994, #301 ); #4 = PRODUCT_CATEGORY_RELATIONSHIP( 'NONE', 'NONE', #302, #303 ); #5 = SHAPE_DEFINITION_REPRESENTATION( #304, #305 ); #6 = ( GEOMETRIC_REPRESENTATION_CONTEXT( 3 )GLOBAL_UNCERTAINTY_ASSIGNED_CONTEXT( ( #308 ) )GLOBAL_UNIT_ASSIGNED_CONTEXT( ( #310, #311, #312 ) )REPRESENTATION_CONTEXT( 'NONE', 'WORKSPACE' ) ); #10 = STYLED_ITEM( '', ( #314 ), #315 ); #11 = STYLED_ITEM( '', ( #316 ), #317 ); #12 = STYLED_ITEM( '', ( #318 ), #319 ); #13 = STYLED_ITEM( '', ( #320 ), #321 ); #14 = STYLED_ITEM( '', ( #322 ), #323 ); #15 = STYLED_ITEM( '', ( #324 ), #325 ); #16 = STYLED_ITEM( '', ( #326 ), #327 ); #17 = STYLED_ITEM( '', ( #328 ), #329 ); #18 = STYLED_ITEM( '', ( #330 ), #331 ); #19 = STYLED_ITEM( '', ( #332 ), #333 ); #20 = STYLED_ITEM( '', ( #334 ), #335 ); #21 = STYLED_ITEM( '', ( #336 ), #337 ); #22 = STYLED_ITEM( '', ( #338 ), #339 ); #23 = STYLED_ITEM( '', ( #340 ), #341 ); #24 = STYLED_ITEM( '', ( #342 ), #343 ); #25 = STYLED_ITEM( '', ( #344 ), #345 ); #26 = STYLED_ITEM( '', ( #346 ), #347 ); #27 = STYLED_ITEM( '', ( #348 ), #349 ); #28 = STYLED_ITEM( '', ( #350 ), #351 ); #29 = STYLED_ITEM( '', ( #352 ), #353 ); #30 = STYLED_ITEM( '', ( #354 ), #355 ); #31 = STYLED_ITEM( '', ( #356 ), #357 ); #32 = STYLED_ITEM( '', ( #358 ), #359 ); #33 = STYLED_ITEM( '', ( #360 ), #361 ); #34 = STYLED_ITEM( '', ( #362 ), #363 ); #35 = STYLED_ITEM( '', ( #364 ), #365 ); #36 = STYLED_ITEM( '', ( #366 ), #367 ); #37 = STYLED_ITEM( '', ( #368 ), #369 ); #38 = STYLED_ITEM( '', ( #370 ), #371 ); #39 = STYLED_ITEM( '', ( #372 ), #373 ); #40 = STYLED_ITEM( '', ( #374 ), #375 ); #41 = STYLED_ITEM( '', ( #376 ), #377 ); #42 = STYLED_ITEM( '', ( #378 ), #379 ); #43 = STYLED_ITEM( '', ( #380 ), #381 ); #44 = STYLED_ITEM( '', ( #382 ), #383 ); #45 = STYLED_ITEM( '', ( #384 ), #385 ); #46 = STYLED_ITEM( '', ( #386 ), #387 ); #47 = STYLED_ITEM( '', ( #388 ), #389 ); #48 = STYLED_ITEM( '', ( #390 ), #391 ); #49 = STYLED_ITEM( '', ( #392 ), #393 ); #50 = STYLED_ITEM( '', ( #394 ), #395 ); #51 = STYLED_ITEM( '', ( #396 ), #397 ); #52 = STYLED_ITEM( '', ( #398 ), #399 ); #53 = STYLED_ITEM( '', ( #400 ), #401 ); #54 = STYLED_ITEM( '', ( #402 ), #403 ); #55 = STYLED_ITEM( '', ( #404 ), #405 ); #56 = STYLED_ITEM( '', ( #406 ), #407 ); #57 = STYLED_ITEM( '', ( #408 ), #409 ); #58 = STYLED_ITEM( '', ( #410 ), #411 ); #59 = STYLED_ITEM( '', ( #412 ), #413 ); #60 = STYLED_ITEM( '', ( #414 ), #415 ); #61 = STYLED_ITEM( '', ( #416 ), #417 ); #62 = STYLED_ITEM( '', ( #418 ), #419 ); #63 = STYLED_ITEM( '', ( #420 ), #421 ); #64 = STYLED_ITEM( '', ( #422 ), #423 ); #65 = STYLED_ITEM( '', ( #424 ), #425 ); #66 = STYLED_ITEM( '', ( #426 ), #427 ); #67 = STYLED_ITEM( '', ( #428 ), #429 ); #68 = STYLED_ITEM( '', ( #430 ), #431 ); #69 = STYLED_ITEM( '', ( #432 ), #433 ); #70 = STYLED_ITEM( '', ( #434 ), #435 ); #71 = STYLED_ITEM( '', ( #436 ), #437 ); #72 = STYLED_ITEM( '', ( #438 ), #439 ); #73 = STYLED_ITEM( '', ( #440 ), #441 ); #74 = STYLED_ITEM( '', ( #442 ), #443 ); #75 = STYLED_ITEM( '', ( #444 ), #445 ); #76 = STYLED_ITEM( '', ( #446 ), #447 ); #77 = STYLED_ITEM( '', ( #448 ), #449 ); #78 = STYLED_ITEM( '', ( #450 ), #451 ); #79 = STYLED_ITEM( '', ( #452 ), #453 ); #80 = STYLED_ITEM( '', ( #454 ), #455 ); #81 = STYLED_ITEM( '', ( #456 ), #457 ); #82 = STYLED_ITEM( '', ( #458 ), #459 ); #83 = STYLED_ITEM( '', ( #460 ), #461 ); #84 = STYLED_ITEM( '', ( #462 ), #463 ); #85 = STYLED_ITEM( '', ( #464 ), #465 ); #86 = STYLED_ITEM( '', ( #466 ), #467 ); #87 = STYLED_ITEM( '', ( #468 ), #469 ); #88 = STYLED_ITEM( '', ( #470 ), #471 ); #89 = STYLED_ITEM( '', ( #472 ), #473 ); #90 = STYLED_ITEM( '', ( #474 ), #475 ); #91 = STYLED_ITEM( '', ( #476 ), #477 ); #92 = STYLED_ITEM( '', ( #478 ), #479 ); #93 = STYLED_ITEM( '', ( #480 ), #481 ); #94 = STYLED_ITEM( '', ( #482 ), #483 ); #95 = STYLED_ITEM( '', ( #484 ), #485 ); #96 = STYLED_ITEM( '', ( #486 ), #487 ); #97 = STYLED_ITEM( '', ( #488 ), #489 ); #98 = STYLED_ITEM( '', ( #490 ), #491 ); #99 = STYLED_ITEM( '', ( #492 ), #493 ); #100 = STYLED_ITEM( '', ( #494 ), #495 ); #101 = STYLED_ITEM( '', ( #496 ), #497 ); #102 = STYLED_ITEM( '', ( #498 ), #499 ); #103 = STYLED_ITEM( '', ( #500 ), #501 ); #104 = STYLED_ITEM( '', ( #502 ), #503 ); #105 = STYLED_ITEM( '', ( #504 ), #505 ); #106 = STYLED_ITEM( '', ( #506 ), #507 ); #107 = STYLED_ITEM( '', ( #508 ), #509 ); #108 = STYLED_ITEM( '', ( #510 ), #511 ); #109 = STYLED_ITEM( '', ( #512 ), #513 ); #110 = STYLED_ITEM( '', ( #514 ), #515 ); #111 = STYLED_ITEM( '', ( #516 ), #517 ); #112 = STYLED_ITEM( '', ( #518 ), #519 ); #113 = STYLED_ITEM( '', ( #520 ), #521 ); #114 = STYLED_ITEM( '', ( #522 ), #523 ); #115 = STYLED_ITEM( '', ( #524 ), #525 ); #116 = STYLED_ITEM( '', ( #526 ), #527 ); #117 = STYLED_ITEM( '', ( #528 ), #529 ); #118 = STYLED_ITEM( '', ( #530 ), #531 ); #119 = STYLED_ITEM( '', ( #532 ), #533 ); #120 = STYLED_ITEM( '', ( #534 ), #535 ); #121 = STYLED_ITEM( '', ( #536 ), #537 ); #122 = STYLED_ITEM( '', ( #538 ), #539 ); #123 = STYLED_ITEM( '', ( #540 ), #541 ); #124 = STYLED_ITEM( '', ( #542 ), #543 ); #125 = STYLED_ITEM( '', ( #544 ), #545 ); #126 = STYLED_ITEM( '', ( #546 ), #547 ); #127 = STYLED_ITEM( '', ( #548 ), #549 ); #128 = STYLED_ITEM( '', ( #550 ), #551 ); #129 = STYLED_ITEM( '', ( #552 ), #553 ); #130 = STYLED_ITEM( '', ( #554 ), #555 ); #131 = STYLED_ITEM( '', ( #556 ), #557 ); #132 = STYLED_ITEM( '', ( #558 ), #559 ); #133 = STYLED_ITEM( '', ( #560 ), #561 ); #134 = STYLED_ITEM( '', ( #562 ), #563 ); #135 = STYLED_ITEM( '', ( #564 ), #565 ); #136 = STYLED_ITEM( '', ( #566 ), #567 ); #137 = STYLED_ITEM( '', ( #568 ), #569 ); #138 = STYLED_ITEM( '', ( #570 ), #571 ); #139 = STYLED_ITEM( '', ( #572 ), #573 ); #140 = STYLED_ITEM( '', ( #574 ), #575 ); #141 = STYLED_ITEM( '', ( #576 ), #577 ); #142 = STYLED_ITEM( '', ( #578 ), #579 ); #143 = STYLED_ITEM( '', ( #580 ), #581 ); #144 = STYLED_ITEM( '', ( #582 ), #583 ); #145 = STYLED_ITEM( '', ( #584 ), #585 ); #146 = STYLED_ITEM( '', ( #586 ), #587 ); #147 = STYLED_ITEM( '', ( #588 ), #589 ); #148 = STYLED_ITEM( '', ( #590 ), #591 ); #149 = STYLED_ITEM( '', ( #592 ), #593 ); #150 = STYLED_ITEM( '', ( #594 ), #595 ); #151 = STYLED_ITEM( '', ( #596 ), #597 ); #152 = STYLED_ITEM( '', ( #598 ), #599 ); #153 = STYLED_ITEM( '', ( #600 ), #601 ); #154 = STYLED_ITEM( '', ( #602 ), #603 ); #155 = STYLED_ITEM( '', ( #604 ), #605 ); #156 = STYLED_ITEM( '', ( #606 ), #607 ); #157 = STYLED_ITEM( '', ( #608 ), #609 ); #158 = STYLED_ITEM( '', ( #610 ), #611 ); #159 = STYLED_ITEM( '', ( #612 ), #613 ); #160 = STYLED_ITEM( '', ( #614 ), #615 ); #161 = STYLED_ITEM( '', ( #616 ), #617 ); #162 = STYLED_ITEM( '', ( #618 ), #619 ); #163 = STYLED_ITEM( '', ( #620 ), #621 ); #164 = STYLED_ITEM( '', ( #622 ), #623 ); #165 = STYLED_ITEM( '', ( #624 ), #625 ); #166 = STYLED_ITEM( '', ( #626 ), #627 ); #167 = STYLED_ITEM( '', ( #628 ), #629 ); #168 = STYLED_ITEM( '', ( #630 ), #631 ); #169 = STYLED_ITEM( '', ( #632 ), #633 ); #170 = STYLED_ITEM( '', ( #634 ), #635 ); #171 = STYLED_ITEM( '', ( #636 ), #637 ); #172 = STYLED_ITEM( '', ( #638 ), #639 ); #173 = STYLED_ITEM( '', ( #640 ), #641 ); #174 = STYLED_ITEM( '', ( #642 ), #643 ); #175 = STYLED_ITEM( '', ( #644 ), #645 ); #176 = STYLED_ITEM( '', ( #646 ), #647 ); #177 = STYLED_ITEM( '', ( #648 ), #649 ); #178 = STYLED_ITEM( '', ( #650 ), #651 ); #179 = STYLED_ITEM( '', ( #652 ), #653 ); #180 = STYLED_ITEM( '', ( #654 ), #655 ); #181 = STYLED_ITEM( '', ( #656 ), #657 ); #182 = STYLED_ITEM( '', ( #658 ), #659 ); #183 = STYLED_ITEM( '', ( #660 ), #661 ); #184 = STYLED_ITEM( '', ( #662 ), #663 ); #185 = STYLED_ITEM( '', ( #664 ), #665 ); #186 = STYLED_ITEM( '', ( #666 ), #667 ); #187 = STYLED_ITEM( '', ( #668 ), #669 ); #188 = STYLED_ITEM( '', ( #670 ), #671 ); #189 = STYLED_ITEM( '', ( #672 ), #673 ); #190 = STYLED_ITEM( '', ( #674 ), #675 ); #191 = STYLED_ITEM( '', ( #676 ), #677 ); #192 = STYLED_ITEM( '', ( #678 ), #679 ); #193 = STYLED_ITEM( '', ( #680 ), #681 ); #194 = STYLED_ITEM( '', ( #682 ), #683 ); #195 = STYLED_ITEM( '', ( #684 ), #685 ); #196 = STYLED_ITEM( '', ( #686 ), #687 ); #197 = STYLED_ITEM( '', ( #688 ), #689 ); #198 = STYLED_ITEM( '', ( #690 ), #691 ); #199 = STYLED_ITEM( '', ( #692 ), #693 ); #200 = STYLED_ITEM( '', ( #694 ), #695 ); #201 = STYLED_ITEM( '', ( #696 ), #697 ); #202 = STYLED_ITEM( '', ( #698 ), #699 ); #203 = STYLED_ITEM( '', ( #700 ), #701 ); #204 = STYLED_ITEM( '', ( #702 ), #703 ); #205 = STYLED_ITEM( '', ( #704 ), #705 ); #206 = STYLED_ITEM( '', ( #706 ), #707 ); #207 = STYLED_ITEM( '', ( #708 ), #709 ); #208 = STYLED_ITEM( '', ( #710 ), #711 ); #209 = STYLED_ITEM( '', ( #712 ), #713 ); #210 = STYLED_ITEM( '', ( #714 ), #715 ); #211 = STYLED_ITEM( '', ( #716 ), #717 ); #212 = STYLED_ITEM( '', ( #718 ), #719 ); #213 = STYLED_ITEM( '', ( #720 ), #721 ); #214 = STYLED_ITEM( '', ( #722 ), #723 ); #215 = STYLED_ITEM( '', ( #724 ), #725 ); #216 = STYLED_ITEM( '', ( #726 ), #727 ); #217 = STYLED_ITEM( '', ( #728 ), #729 ); #218 = STYLED_ITEM( '', ( #730 ), #731 ); #219 = STYLED_ITEM( '', ( #732 ), #733 ); #220 = STYLED_ITEM( '', ( #734 ), #735 ); #221 = STYLED_ITEM( '', ( #736 ), #737 ); #222 = STYLED_ITEM( '', ( #738 ), #739 ); #223 = STYLED_ITEM( '', ( #740 ), #741 ); #224 = STYLED_ITEM( '', ( #742 ), #743 ); #225 = STYLED_ITEM( '', ( #744 ), #745 ); #226 = STYLED_ITEM( '', ( #746 ), #747 ); #227 = STYLED_ITEM( '', ( #748 ), #749 ); #228 = STYLED_ITEM( '', ( #750 ), #751 ); #229 = STYLED_ITEM( '', ( #752 ), #753 ); #230 = STYLED_ITEM( '', ( #754 ), #755 ); #231 = STYLED_ITEM( '', ( #756 ), #757 ); #232 = STYLED_ITEM( '', ( #758 ), #759 ); #233 = STYLED_ITEM( '', ( #760 ), #761 ); #234 = STYLED_ITEM( '', ( #762 ), #763 ); #235 = STYLED_ITEM( '', ( #764 ), #765 ); #236 = STYLED_ITEM( '', ( #766 ), #767 ); #237 = STYLED_ITEM( '', ( #768 ), #769 ); #238 = STYLED_ITEM( '', ( #770 ), #771 ); #239 = STYLED_ITEM( '', ( #772 ), #773 ); #240 = STYLED_ITEM( '', ( #774 ), #775 ); #241 = STYLED_ITEM( '', ( #776 ), #777 ); #242 = STYLED_ITEM( '', ( #778 ), #779 ); #243 = STYLED_ITEM( '', ( #780 ), #781 ); #244 = STYLED_ITEM( '', ( #782 ), #783 ); #245 = STYLED_ITEM( '', ( #784 ), #785 ); #246 = STYLED_ITEM( '', ( #786 ), #787 ); #247 = STYLED_ITEM( '', ( #788 ), #789 ); #248 = STYLED_ITEM( '', ( #790 ), #791 ); #249 = STYLED_ITEM( '', ( #792 ), #793 ); #250 = STYLED_ITEM( '', ( #794 ), #795 ); #251 = STYLED_ITEM( '', ( #796 ), #797 ); #252 = STYLED_ITEM( '', ( #798 ), #799 ); #253 = STYLED_ITEM( '', ( #800 ), #801 ); #254 = STYLED_ITEM( '', ( #802 ), #803 ); #255 = STYLED_ITEM( '', ( #804 ), #805 ); #256 = STYLED_ITEM( '', ( #806 ), #807 ); #257 = STYLED_ITEM( '', ( #808 ), #809 ); #258 = STYLED_ITEM( '', ( #810 ), #811 ); #259 = STYLED_ITEM( '', ( #812 ), #813 ); #260 = STYLED_ITEM( '', ( #814 ), #815 ); #261 = STYLED_ITEM( '', ( #816 ), #817 ); #262 = STYLED_ITEM( '', ( #818 ), #819 ); #263 = STYLED_ITEM( '', ( #820 ), #821 ); #264 = STYLED_ITEM( '', ( #822 ), #823 ); #265 = STYLED_ITEM( '', ( #824 ), #825 ); #266 = STYLED_ITEM( '', ( #826 ), #827 ); #267 = STYLED_ITEM( '', ( #828 ), #829 ); #268 = STYLED_ITEM( '', ( #830 ), #831 ); #269 = STYLED_ITEM( '', ( #832 ), #833 ); #270 = STYLED_ITEM( '', ( #834 ), #835 ); #271 = STYLED_ITEM( '', ( #836 ), #837 ); #272 = STYLED_ITEM( '', ( #838 ), #839 ); #273 = STYLED_ITEM( '', ( #840 ), #841 ); #274 = STYLED_ITEM( '', ( #842 ), #843 ); #275 = STYLED_ITEM( '', ( #844 ), #845 ); #276 = STYLED_ITEM( '', ( #846 ), #847 ); #277 = STYLED_ITEM( '', ( #848 ), #849 ); #278 = STYLED_ITEM( '', ( #850 ), #851 ); #279 = STYLED_ITEM( '', ( #852 ), #853 ); #280 = STYLED_ITEM( '', ( #854 ), #855 ); #281 = STYLED_ITEM( '', ( #856 ), #857 ); #282 = STYLED_ITEM( '', ( #858 ), #859 ); #283 = STYLED_ITEM( '', ( #860 ), #861 ); #284 = STYLED_ITEM( '', ( #862 ), #863 ); #285 = STYLED_ITEM( '', ( #864 ), #865 ); #286 = STYLED_ITEM( '', ( #866 ), #867 ); #287 = STYLED_ITEM( '', ( #868 ), #869 ); #288 = STYLED_ITEM( '', ( #870 ), #871 ); #289 = STYLED_ITEM( '', ( #872 ), #873 ); #290 = STYLED_ITEM( '', ( #874 ), #875 ); #291 = STYLED_ITEM( '', ( #876 ), #877 ); #292 = STYLED_ITEM( '', ( #878 ), #879 ); #293 = STYLED_ITEM( '', ( #880 ), #881 ); #294 = STYLED_ITEM( '', ( #882 ), #883 ); #295 = STYLED_ITEM( '', ( #884 ), #885 ); #296 = STYLED_ITEM( '', ( #886 ), #887 ); #297 = STYLED_ITEM( '', ( #888 ), #889 ); #298 = STYLED_ITEM( '', ( #890 ), #891 ); #299 = STYLED_ITEM( '', ( #892 ), #893 ); #300 = STYLED_ITEM( '', ( #894 ), #895 ); #301 = APPLICATION_CONTEXT( ' ' ); #302 = PRODUCT_CATEGORY( 'part', 'NONE' ); #303 = PRODUCT_RELATED_PRODUCT_CATEGORY( 'detail', ' ', ( #896 ) ); #304 = PRODUCT_DEFINITION_SHAPE( 'NONE', 'NONE', #897 ); #305 = ADVANCED_BREP_SHAPE_REPRESENTATION( '1', ( #755, #898 ), #6 ); #308 = UNCERTAINTY_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000E-006 ), #310, '', '' ); #310 = ( CONVERSION_BASED_UNIT( 'MILLIMETRE', #901 )LENGTH_UNIT( )NAMED_UNIT( #904 ) ); #311 = ( NAMED_UNIT( #906 )PLANE_ANGLE_UNIT( )SI_UNIT( $, .RADIAN. ) ); #312 = ( NAMED_UNIT( #906 )SOLID_ANGLE_UNIT( )SI_UNIT( $, .STERADIAN. ) ); #314 = PRESENTATION_STYLE_ASSIGNMENT( ( #912 ) ); #315 = VERTEX_POINT( '', #913 ); #316 = PRESENTATION_STYLE_ASSIGNMENT( ( #914 ) ); #317 = EDGE_CURVE( '', #693, #401, #915, .T. ); #318 = PRESENTATION_STYLE_ASSIGNMENT( ( #916 ) ); #319 = EDGE_CURVE( '', #887, #783, #917, .T. ); #320 = PRESENTATION_STYLE_ASSIGNMENT( ( #918 ) ); #321 = VERTEX_POINT( '', #919 ); #322 = PRESENTATION_STYLE_ASSIGNMENT( ( #920 ) ); #323 = VERTEX_POINT( '', #921 ); #324 = PRESENTATION_STYLE_ASSIGNMENT( ( #922 ) ); #325 = EDGE_CURVE( '', #871, #389, #923, .T. ); #326 = PRESENTATION_STYLE_ASSIGNMENT( ( #924 ) ); #327 = ADVANCED_FACE( '', ( #925 ), #926, .F. ); #328 = PRESENTATION_STYLE_ASSIGNMENT( ( #927 ) ); #329 = ADVANCED_FACE( '', ( #928 ), #929, .T. ); #330 = PRESENTATION_STYLE_ASSIGNMENT( ( #930 ) ); #331 = EDGE_CURVE( '', #729, #565, #931, .T. ); #332 = PRESENTATION_STYLE_ASSIGNMENT( ( #932 ) ); #333 = EDGE_CURVE( '', #485, #583, #933, .T. ); #334 = PRESENTATION_STYLE_ASSIGNMENT( ( #934 ) ); #335 = EDGE_CURVE( '', #483, #571, #935, .T. ); #336 = PRESENTATION_STYLE_ASSIGNMENT( ( #936 ) ); #337 = EDGE_CURVE( '', #351, #659, #937, .T. ); #338 = PRESENTATION_STYLE_ASSIGNMENT( ( #938 ) ); #339 = EDGE_CURVE( '', #787, #737, #939, .T. ); #340 = PRESENTATION_STYLE_ASSIGNMENT( ( #940 ) ); #341 = VERTEX_POINT( '', #941 ); #342 = PRESENTATION_STYLE_ASSIGNMENT( ( #942 ) ); #343 = ADVANCED_FACE( '', ( #943 ), #944, .F. ); #344 = PRESENTATION_STYLE_ASSIGNMENT( ( #945 ) ); #345 = EDGE_CURVE( '', #369, #633, #946, .T. ); #346 = PRESENTATION_STYLE_ASSIGNMENT( ( #947 ) ); #347 = VERTEX_POINT( '', #948 ); #348 = PRESENTATION_STYLE_ASSIGNMENT( ( #949 ) ); #349 = EDGE_CURVE( '', #683, #401, #950, .T. ); #350 = PRESENTATION_STYLE_ASSIGNMENT( ( #951 ) ); #351 = VERTEX_POINT( '', #952 ); #352 = PRESENTATION_STYLE_ASSIGNMENT( ( #953 ) ); #353 = EDGE_CURVE( '', #729, #779, #954, .T. ); #354 = PRESENTATION_STYLE_ASSIGNMENT( ( #955 ) ); #355 = ADVANCED_FACE( '', ( #956 ), #957, .F. ); #356 = PRESENTATION_STYLE_ASSIGNMENT( ( #958 ) ); #357 = VERTEX_POINT( '', #959 ); #358 = PRESENTATION_STYLE_ASSIGNMENT( ( #960 ) ); #359 = ADVANCED_FACE( '', ( #961 ), #962, .F. ); #360 = PRESENTATION_STYLE_ASSIGNMENT( ( #963 ) ); #361 = EDGE_CURVE( '', #631, #533, #964, .T. ); #362 = PRESENTATION_STYLE_ASSIGNMENT( ( #965 ) ); #363 = VERTEX_POINT( '', #966 ); #364 = PRESENTATION_STYLE_ASSIGNMENT( ( #967 ) ); #365 = EDGE_CURVE( '', #573, #357, #968, .T. ); #366 = PRESENTATION_STYLE_ASSIGNMENT( ( #969 ) ); #367 = VERTEX_POINT( '', #970 ); #368 = PRESENTATION_STYLE_ASSIGNMENT( ( #971 ) ); #369 = VERTEX_POINT( '', #972 ); #370 = PRESENTATION_STYLE_ASSIGNMENT( ( #973 ) ); #371 = VERTEX_POINT( '', #974 ); #372 = PRESENTATION_STYLE_ASSIGNMENT( ( #975 ) ); #373 = EDGE_CURVE( '', #583, #551, #976, .T. ); #374 = PRESENTATION_STYLE_ASSIGNMENT( ( #977 ) ); #375 = EDGE_CURVE( '', #551, #457, #978, .T. ); #376 = PRESENTATION_STYLE_ASSIGNMENT( ( #979 ) ); #377 = EDGE_CURVE( '', #711, #619, #980, .T. ); #378 = PRESENTATION_STYLE_ASSIGNMENT( ( #981 ) ); #379 = VERTEX_POINT( '', #982 ); #380 = PRESENTATION_STYLE_ASSIGNMENT( ( #983 ) ); #381 = ADVANCED_FACE( '', ( #984 ), #985, .F. ); #382 = PRESENTATION_STYLE_ASSIGNMENT( ( #986 ) ); #383 = EDGE_CURVE( '', #487, #581, #987, .T. ); #384 = PRESENTATION_STYLE_ASSIGNMENT( ( #988 ) ); #385 = ADVANCED_FACE( '', ( #989 ), #990, .T. ); #386 = PRESENTATION_STYLE_ASSIGNMENT( ( #991 ) ); #387 = EDGE_CURVE( '', #889, #843, #992, .T. ); #388 = PRESENTATION_STYLE_ASSIGNMENT( ( #993 ) ); #389 = VERTEX_POINT( '', #994 ); #390 = PRESENTATION_STYLE_ASSIGNMENT( ( #995 ) ); #391 = EDGE_CURVE( '', #849, #483, #996, .T. ); #392 = PRESENTATION_STYLE_ASSIGNMENT( ( #997 ) ); #393 = EDGE_CURVE( '', #397, #575, #998, .T. ); #394 = PRESENTATION_STYLE_ASSIGNMENT( ( #999 ) ); #395 = EDGE_CURVE( '', #717, #463, #1000, .T. ); #396 = PRESENTATION_STYLE_ASSIGNMENT( ( #1001 ) ); #397 = VERTEX_POINT( '', #1002 ); #398 = PRESENTATION_STYLE_ASSIGNMENT( ( #1003 ) ); #399 = EDGE_CURVE( '', #573, #729, #1004, .T. ); #400 = PRESENTATION_STYLE_ASSIGNMENT( ( #1005 ) ); #401 = VERTEX_POINT( '', #1006 ); #402 = PRESENTATION_STYLE_ASSIGNMENT( ( #1007 ) ); #403 = EDGE_CURVE( '', #423, #347, #1008, .T. ); #404 = PRESENTATION_STYLE_ASSIGNMENT( ( #1009 ) ); #405 = EDGE_CURVE( '', #415, #763, #1010, .T. ); #406 = PRESENTATION_STYLE_ASSIGNMENT( ( #1011 ) ); #407 = VERTEX_POINT( '', #1012 ); #408 = PRESENTATION_STYLE_ASSIGNMENT( ( #1013 ) ); #409 = ADVANCED_FACE( '', ( #1014 ), #1015, .T. ); #410 = PRESENTATION_STYLE_ASSIGNMENT( ( #1016 ) ); #411 = VERTEX_POINT( '', #1017 ); #412 = PRESENTATION_STYLE_ASSIGNMENT( ( #1018 ) ); #413 = ADVANCED_FACE( '', ( #1019 ), #1020, .F. ); #414 = PRESENTATION_STYLE_ASSIGNMENT( ( #1021 ) ); #415 = VERTEX_POINT( '', #1022 ); #416 = PRESENTATION_STYLE_ASSIGNMENT( ( #1023 ) ); #417 = EDGE_CURVE( '', #571, #627, #1024, .T. ); #418 = PRESENTATION_STYLE_ASSIGNMENT( ( #1025 ) ); #419 = EDGE_CURVE( '', #693, #739, #1026, .T. ); #420 = PRESENTATION_STYLE_ASSIGNMENT( ( #1027 ) ); #421 = ADVANCED_FACE( '', ( #1028 ), #1029, .T. ); #422 = PRESENTATION_STYLE_ASSIGNMENT( ( #1030 ) ); #423 = VERTEX_POINT( '', #1031 ); #424 = PRESENTATION_STYLE_ASSIGNMENT( ( #1032 ) ); #425 = VERTEX_POINT( '', #1033 ); #426 = PRESENTATION_STYLE_ASSIGNMENT( ( #1034 ) ); #427 = VERTEX_POINT( '', #1035 ); #428 = PRESENTATION_STYLE_ASSIGNMENT( ( #1036 ) ); #429 = EDGE_CURVE( '', #623, #495, #1037, .T. ); #430 = PRESENTATION_STYLE_ASSIGNMENT( ( #1038 ) ); #431 = EDGE_CURVE( '', #889, #825, #1039, .T. ); #432 = PRESENTATION_STYLE_ASSIGNMENT( ( #1040 ) ); #433 = EDGE_CURVE( '', #379, #573, #1041, .T. ); #434 = PRESENTATION_STYLE_ASSIGNMENT( ( #1042 ) ); #435 = EDGE_CURVE( '', #717, #849, #1043, .T. ); #436 = PRESENTATION_STYLE_ASSIGNMENT( ( #1044 ) ); #437 = ADVANCED_FACE( '', ( #1045 ), #1046, .T. ); #438 = PRESENTATION_STYLE_ASSIGNMENT( ( #1047 ) ); #439 = VERTEX_POINT( '', #1048 ); #440 = PRESENTATION_STYLE_ASSIGNMENT( ( #1049 ) ); #441 = EDGE_CURVE( '', #771, #571, #1050, .T. ); #442 = PRESENTATION_STYLE_ASSIGNMENT( ( #1051 ) ); #443 = EDGE_CURVE( '', #601, #649, #1052, .T. ); #444 = PRESENTATION_STYLE_ASSIGNMENT( ( #1053 ) ); #445 = EDGE_CURVE( '', #425, #743, #1054, .T. ); #446 = PRESENTATION_STYLE_ASSIGNMENT( ( #1055 ) ); #447 = EDGE_CURVE( '', #843, #567, #1056, .T. ); #448 = PRESENTATION_STYLE_ASSIGNMENT( ( #1057 ) ); #449 = ADVANCED_FACE( '', ( #1058 ), #1059, .F. ); #450 = PRESENTATION_STYLE_ASSIGNMENT( ( #1060 ) ); #451 = ADVANCED_FACE( '', ( #1061 ), #1062, .T. ); #452 = PRESENTATION_STYLE_ASSIGNMENT( ( #1063 ) ); #453 = ADVANCED_FACE( '', ( #1064 ), #1065, .T. ); #454 = PRESENTATION_STYLE_ASSIGNMENT( ( #1066 ) ); #455 = EDGE_CURVE( '', #507, #683, #1067, .T. ); #456 = PRESENTATION_STYLE_ASSIGNMENT( ( #1068 ) ); #457 = VERTEX_POINT( '', #1069 ); #458 = PRESENTATION_STYLE_ASSIGNMENT( ( #1070 ) ); #459 = EDGE_CURVE( '', #609, #597, #1071, .T. ); #460 = PRESENTATION_STYLE_ASSIGNMENT( ( #1072 ) ); #461 = VERTEX_POINT( '', #1073 ); #462 = PRESENTATION_STYLE_ASSIGNMENT( ( #1074 ) ); #463 = VERTEX_POINT( '', #1075 ); #464 = PRESENTATION_STYLE_ASSIGNMENT( ( #1076 ) ); #465 = EDGE_CURVE( '', #659, #795, #1077, .T. ); #466 = PRESENTATION_STYLE_ASSIGNMENT( ( #1078 ) ); #467 = ADVANCED_FACE( '', ( #1079 ), #1080, .F. ); #468 = PRESENTATION_STYLE_ASSIGNMENT( ( #1081 ) ); #469 = EDGE_CURVE( '', #633, #721, #1082, .T. ); #470 = PRESENTATION_STYLE_ASSIGNMENT( ( #1083 ) ); #471 = ADVANCED_FACE( '', ( #1084 ), #1085, .F. ); #472 = PRESENTATION_STYLE_ASSIGNMENT( ( #1086 ) ); #473 = EDGE_CURVE( '', #865, #563, #1087, .T. ); #474 = PRESENTATION_STYLE_ASSIGNMENT( ( #1088 ) ); #475 = VERTEX_POINT( '', #1089 ); #476 = PRESENTATION_STYLE_ASSIGNMENT( ( #1090 ) ); #477 = EDGE_CURVE( '', #479, #887, #1091, .T. ); #478 = PRESENTATION_STYLE_ASSIGNMENT( ( #1092 ) ); #479 = VERTEX_POINT( '', #1093 ); #480 = PRESENTATION_STYLE_ASSIGNMENT( ( #1094 ) ); #481 = EDGE_CURVE( '', #379, #423, #1095, .T. ); #482 = PRESENTATION_STYLE_ASSIGNMENT( ( #1096 ) ); #483 = VERTEX_POINT( '', #1097 ); #484 = PRESENTATION_STYLE_ASSIGNMENT( ( #1098 ) ); #485 = VERTEX_POINT( '', #1099 ); #486 = PRESENTATION_STYLE_ASSIGNMENT( ( #1100 ) ); #487 = VERTEX_POINT( '', #1101 ); #488 = PRESENTATION_STYLE_ASSIGNMENT( ( #1102 ) ); #489 = EDGE_CURVE( '', #863, #341, #1103, .T. ); #490 = PRESENTATION_STYLE_ASSIGNMENT( ( #1104 ) ); #491 = EDGE_CURVE( '', #439, #457, #1105, .T. ); #492 = PRESENTATION_STYLE_ASSIGNMENT( ( #1106 ) ); #493 = ADVANCED_FACE( '', ( #1107 ), #1108, .T. ); #494 = PRESENTATION_STYLE_ASSIGNMENT( ( #1109 ) ); #495 = VERTEX_POINT( '', #1110 ); #496 = PRESENTATION_STYLE_ASSIGNMENT( ( #1111 ) ); #497 = EDGE_CURVE( '', #761, #397, #1112, .T. ); #498 = PRESENTATION_STYLE_ASSIGNMENT( ( #1113 ) ); #499 = EDGE_CURVE( '', #397, #753, #1114, .T. ); #500 = PRESENTATION_STYLE_ASSIGNMENT( ( #1115 ) ); #501 = EDGE_CURVE( '', #885, #743, #1116, .T. ); #502 = PRESENTATION_STYLE_ASSIGNMENT( ( #1117 ) ); #503 = EDGE_CURVE( '', #779, #693, #1118, .T. ); #504 = PRESENTATION_STYLE_ASSIGNMENT( ( #1119 ) ); #505 = VERTEX_POINT( '', #1120 ); #506 = PRESENTATION_STYLE_ASSIGNMENT( ( #1121 ) ); #507 = VERTEX_POINT( '', #1122 ); #508 = PRESENTATION_STYLE_ASSIGNMENT( ( #1123 ) ); #509 = ADVANCED_FACE( '', ( #1124 ), #1125, .F. ); #510 = PRESENTATION_STYLE_ASSIGNMENT( ( #1126 ) ); #511 = ADVANCED_FACE( '', ( #1127, #1128, #1129, #1130, #1131, #1132 ), #1133, .F. ); #512 = PRESENTATION_STYLE_ASSIGNMENT( ( #1134 ) ); #513 = EDGE_CURVE( '', #321, #623, #1135, .T. ); #514 = PRESENTATION_STYLE_ASSIGNMENT( ( #1136 ) ); #515 = EDGE_CURVE( '', #563, #863, #1137, .T. ); #516 = PRESENTATION_STYLE_ASSIGNMENT( ( #1138 ) ); #517 = EDGE_CURVE( '', #389, #351, #1139, .T. ); #518 = PRESENTATION_STYLE_ASSIGNMENT( ( #1140 ) ); #519 = ADVANCED_FACE( '', ( #1141 ), #1142, .T. ); #520 = PRESENTATION_STYLE_ASSIGNMENT( ( #1143 ) ); #521 = ADVANCED_FACE( '', ( #1144, #1145, #1146, #1147, #1148, #1149 ), #1150, .T. ); #522 = PRESENTATION_STYLE_ASSIGNMENT( ( #1151 ) ); #523 = EDGE_CURVE( '', #753, #415, #1152, .T. ); #524 = PRESENTATION_STYLE_ASSIGNMENT( ( #1153 ) ); #525 = ADVANCED_FACE( '', ( #1154 ), #1155, .F. ); #526 = PRESENTATION_STYLE_ASSIGNMENT( ( #1156 ) ); #527 = EDGE_CURVE( '', #401, #411, #1157, .T. ); #528 = PRESENTATION_STYLE_ASSIGNMENT( ( #1158 ) ); #529 = ADVANCED_FACE( '', ( #1159 ), #1160, .T. ); #530 = PRESENTATION_STYLE_ASSIGNMENT( ( #1161 ) ); #531 = EDGE_CURVE( '', #739, #683, #1162, .T. ); #532 = PRESENTATION_STYLE_ASSIGNMENT( ( #1163 ) ); #533 = VERTEX_POINT( '', #1164 ); #534 = PRESENTATION_STYLE_ASSIGNMENT( ( #1165 ) ); #535 = EDGE_CURVE( '', #653, #575, #1166, .T. ); #536 = PRESENTATION_STYLE_ASSIGNMENT( ( #1167 ) ); #537 = EDGE_CURVE( '', #539, #871, #1168, .T. ); #538 = PRESENTATION_STYLE_ASSIGNMENT( ( #1169 ) ); #539 = VERTEX_POINT( '', #1170 ); #540 = PRESENTATION_STYLE_ASSIGNMENT( ( #1171 ) ); #541 = EDGE_CURVE( '', #827, #539, #1172, .T. ); #542 = PRESENTATION_STYLE_ASSIGNMENT( ( #1173 ) ); #543 = EDGE_CURVE( '', #827, #721, #1174, .T. ); #544 = PRESENTATION_STYLE_ASSIGNMENT( ( #1175 ) ); #545 = EDGE_CURVE( '', #609, #461, #1176, .T. ); #546 = PRESENTATION_STYLE_ASSIGNMENT( ( #1177 ) ); #547 = EDGE_CURVE( '', #351, #619, #1178, .T. ); #548 = PRESENTATION_STYLE_ASSIGNMENT( ( #1179 ) ); #549 = EDGE_CURVE( '', #795, #723, #1180, .T. ); #550 = PRESENTATION_STYLE_ASSIGNMENT( ( #1181 ) ); #551 = VERTEX_POINT( '', #1182 ); #552 = PRESENTATION_STYLE_ASSIGNMENT( ( #1183 ) ); #553 = EDGE_CURVE( '', #533, #763, #1184, .T. ); #554 = PRESENTATION_STYLE_ASSIGNMENT( ( #1185 ) ); #555 = EDGE_CURVE( '', #457, #533, #1186, .T. ); #556 = PRESENTATION_STYLE_ASSIGNMENT( ( #1187 ) ); #557 = EDGE_CURVE( '', #723, #581, #1188, .T. ); #558 = PRESENTATION_STYLE_ASSIGNMENT( ( #1189 ) ); #559 = EDGE_CURVE( '', #627, #505, #1190, .T. ); #560 = PRESENTATION_STYLE_ASSIGNMENT( ( #1191 ) ); #561 = EDGE_CURVE( '', #895, #601, #1192, .T. ); #562 = PRESENTATION_STYLE_ASSIGNMENT( ( #1193 ) ); #563 = VERTEX_POINT( '', #1194 ); #564 = PRESENTATION_STYLE_ASSIGNMENT( ( #1195 ) ); #565 = VERTEX_POINT( '', #1196 ); #566 = PRESENTATION_STYLE_ASSIGNMENT( ( #1197 ) ); #567 = VERTEX_POINT( '', #1198 ); #568 = PRESENTATION_STYLE_ASSIGNMENT( ( #1199 ) ); #569 = EDGE_CURVE( '', #475, #551, #1200, .T. ); #570 = PRESENTATION_STYLE_ASSIGNMENT( ( #1201 ) ); #571 = VERTEX_POINT( '', #1202 ); #572 = PRESENTATION_STYLE_ASSIGNMENT( ( #1203 ) ); #573 = VERTEX_POINT( '', #1204 ); #574 = PRESENTATION_STYLE_ASSIGNMENT( ( #1205 ) ); #575 = VERTEX_POINT( '', #1206 ); #576 = PRESENTATION_STYLE_ASSIGNMENT( ( #1207 ) ); #577 = ADVANCED_FACE( '', ( #1208 ), #1209, .T. ); #578 = PRESENTATION_STYLE_ASSIGNMENT( ( #1210 ) ); #579 = EDGE_CURVE( '', #485, #761, #1211, .T. ); #580 = PRESENTATION_STYLE_ASSIGNMENT( ( #1212 ) ); #581 = VERTEX_POINT( '', #1213 ); #582 = PRESENTATION_STYLE_ASSIGNMENT( ( #1214 ) ); #583 = VERTEX_POINT( '', #1215 ); #584 = PRESENTATION_STYLE_ASSIGNMENT( ( #1216 ) ); #585 = VERTEX_POINT( '', #1217 ); #586 = PRESENTATION_STYLE_ASSIGNMENT( ( #1218 ) ); #587 = VERTEX_POINT( '', #1219 ); #588 = PRESENTATION_STYLE_ASSIGNMENT( ( #1220 ) ); #589 = EDGE_CURVE( '', #895, #505, #1221, .T. ); #590 = PRESENTATION_STYLE_ASSIGNMENT( ( #1222 ) ); #591 = ADVANCED_FACE( '', ( #1223 ), #1224, .T. ); #592 = PRESENTATION_STYLE_ASSIGNMENT( ( #1225 ) ); #593 = EDGE_CURVE( '', #721, #869, #1226, .T. ); #594 = PRESENTATION_STYLE_ASSIGNMENT( ( #1227 ) ); #595 = ADVANCED_FACE( '', ( #1228 ), #1229, .T. ); #596 = PRESENTATION_STYLE_ASSIGNMENT( ( #1230 ) ); #597 = VERTEX_POINT( '', #1231 ); #598 = PRESENTATION_STYLE_ASSIGNMENT( ( #1232 ) ); #599 = EDGE_CURVE( '', #735, #587, #1233, .T. ); #600 = PRESENTATION_STYLE_ASSIGNMENT( ( #1234 ) ); #601 = VERTEX_POINT( '', #1235 ); #602 = PRESENTATION_STYLE_ASSIGNMENT( ( #1236 ) ); #603 = EDGE_CURVE( '', #341, #585, #1237, .T. ); #604 = PRESENTATION_STYLE_ASSIGNMENT( ( #1238 ) ); #605 = EDGE_CURVE( '', #871, #315, #1239, .T. ); #606 = PRESENTATION_STYLE_ASSIGNMENT( ( #1240 ) ); #607 = EDGE_CURVE( '', #739, #363, #1241, .T. ); #608 = PRESENTATION_STYLE_ASSIGNMENT( ( #1242 ) ); #609 = VERTEX_POINT( '', #1243 ); #610 = PRESENTATION_STYLE_ASSIGNMENT( ( #1244 ) ); #611 = EDGE_CURVE( '', #367, #865, #1245, .T. ); #612 = PRESENTATION_STYLE_ASSIGNMENT( ( #1246 ) ); #613 = EDGE_CURVE( '', #661, #627, #1247, .T. ); #614 = PRESENTATION_STYLE_ASSIGNMENT( ( #1248 ) ); #615 = EDGE_CURVE( '', #661, #895, #1249, .T. ); #616 = PRESENTATION_STYLE_ASSIGNMENT( ( #1250 ) ); #617 = EDGE_CURVE( '', #649, #633, #1251, .T. ); #618 = PRESENTATION_STYLE_ASSIGNMENT( ( #1252 ) ); #619 = VERTEX_POINT( '', #1253 ); #620 = PRESENTATION_STYLE_ASSIGNMENT( ( #1254 ) ); #621 = EDGE_CURVE( '', #439, #475, #1255, .T. ); #622 = PRESENTATION_STYLE_ASSIGNMENT( ( #1256 ) ); #623 = VERTEX_POINT( '', #1257 ); #624 = PRESENTATION_STYLE_ASSIGNMENT( ( #1258 ) ); #625 = ADVANCED_FACE( '', ( #1259 ), #1260, .T. ); #626 = PRESENTATION_STYLE_ASSIGNMENT( ( #1261 ) ); #627 = VERTEX_POINT( '', #1262 ); #628 = PRESENTATION_STYLE_ASSIGNMENT( ( #1263 ) ); #629 = EDGE_CURVE( '', #369, #827, #1264, .T. ); #630 = PRESENTATION_STYLE_ASSIGNMENT( ( #1265 ) ); #631 = VERTEX_POINT( '', #1266 ); #632 = PRESENTATION_STYLE_ASSIGNMENT( ( #1267 ) ); #633 = VERTEX_POINT( '', #1268 ); #634 = PRESENTATION_STYLE_ASSIGNMENT( ( #1269 ) ); #635 = EDGE_CURVE( '', #505, #649, #1270, .T. ); #636 = PRESENTATION_STYLE_ASSIGNMENT( ( #1271 ) ); #637 = ADVANCED_FACE( '', ( #1272 ), #1273, .T. ); #638 = PRESENTATION_STYLE_ASSIGNMENT( ( #1274 ) ); #639 = ADVANCED_FACE( '', ( #1275 ), #1276, .T. ); #640 = PRESENTATION_STYLE_ASSIGNMENT( ( #1277 ) ); #641 = VERTEX_POINT( '', #1278 ); #642 = PRESENTATION_STYLE_ASSIGNMENT( ( #1279 ) ); #643 = ADVANCED_FACE( '', ( #1280 ), #1281, .F. ); #644 = PRESENTATION_STYLE_ASSIGNMENT( ( #1282 ) ); #645 = ADVANCED_FACE( '', ( #1283 ), #1284, .T. ); #646 = PRESENTATION_STYLE_ASSIGNMENT( ( #1285 ) ); #647 = EDGE_CURVE( '', #737, #371, #1286, .T. ); #648 = PRESENTATION_STYLE_ASSIGNMENT( ( #1287 ) ); #649 = VERTEX_POINT( '', #1288 ); #650 = PRESENTATION_STYLE_ASSIGNMENT( ( #1289 ) ); #651 = EDGE_CURVE( '', #787, #839, #1290, .T. ); #652 = PRESENTATION_STYLE_ASSIGNMENT( ( #1291 ) ); #653 = VERTEX_POINT( '', #1292 ); #654 = PRESENTATION_STYLE_ASSIGNMENT( ( #1293 ) ); #655 = EDGE_CURVE( '', #783, #321, #1294, .T. ); #656 = PRESENTATION_STYLE_ASSIGNMENT( ( #1295 ) ); #657 = ADVANCED_FACE( '', ( #1296 ), #1297, .T. ); #658 = PRESENTATION_STYLE_ASSIGNMENT( ( #1298 ) ); #659 = VERTEX_POINT( '', #1299 ); #660 = PRESENTATION_STYLE_ASSIGNMENT( ( #1300 ) ); #661 = VERTEX_POINT( '', #1301 ); #662 = PRESENTATION_STYLE_ASSIGNMENT( ( #1302 ) ); #663 = EDGE_CURVE( '', #869, #315, #1303, .T. ); #664 = PRESENTATION_STYLE_ASSIGNMENT( ( #1304 ) ); #665 = ADVANCED_FACE( '', ( #1305 ), #1306, .F. ); #666 = PRESENTATION_STYLE_ASSIGNMENT( ( #1307 ) ); #667 = EDGE_CURVE( '', #389, #711, #1308, .T. ); #668 = PRESENTATION_STYLE_ASSIGNMENT( ( #1309 ) ); #669 = EDGE_CURVE( '', #761, #407, #1310, .T. ); #670 = PRESENTATION_STYLE_ASSIGNMENT( ( #1311 ) ); #671 = ADVANCED_FACE( '', ( #1312 ), #1313, .T. ); #672 = PRESENTATION_STYLE_ASSIGNMENT( ( #1314 ) ); #673 = EDGE_CURVE( '', #357, #423, #1315, .T. ); #674 = PRESENTATION_STYLE_ASSIGNMENT( ( #1316 ) ); #675 = EDGE_CURVE( '', #495, #597, #1317, .T. ); #676 = PRESENTATION_STYLE_ASSIGNMENT( ( #1318 ) ); #677 = ADVANCED_FACE( '', ( #1319 ), #1320, .T. ); #678 = PRESENTATION_STYLE_ASSIGNMENT( ( #1321 ) ); #679 = EDGE_CURVE( '', #631, #439, #1322, .T. ); #680 = PRESENTATION_STYLE_ASSIGNMENT( ( #1323 ) ); #681 = EDGE_CURVE( '', #363, #507, #1324, .T. ); #682 = PRESENTATION_STYLE_ASSIGNMENT( ( #1325 ) ); #683 = VERTEX_POINT( '', #1326 ); #684 = PRESENTATION_STYLE_ASSIGNMENT( ( #1327 ) ); #685 = EDGE_CURVE( '', #315, #711, #1328, .T. ); #686 = PRESENTATION_STYLE_ASSIGNMENT( ( #1329 ) ); #687 = VERTEX_POINT( '', #1330 ); #688 = PRESENTATION_STYLE_ASSIGNMENT( ( #1331 ) ); #689 = VERTEX_POINT( '', #1332 ); #690 = PRESENTATION_STYLE_ASSIGNMENT( ( #1333 ) ); #691 = VERTEX_POINT( '', #1334 ); #692 = PRESENTATION_STYLE_ASSIGNMENT( ( #1335 ) ); #693 = VERTEX_POINT( '', #1336 ); #694 = PRESENTATION_STYLE_ASSIGNMENT( ( #1337 ) ); #695 = EDGE_CURVE( '', #587, #849, #1338, .T. ); #696 = PRESENTATION_STYLE_ASSIGNMENT( ( #1339 ) ); #697 = EDGE_CURVE( '', #463, #771, #1340, .T. ); #698 = PRESENTATION_STYLE_ASSIGNMENT( ( #1341 ) ); #699 = EDGE_CURVE( '', #771, #661, #1342, .T. ); #700 = PRESENTATION_STYLE_ASSIGNMENT( ( #1343 ) ); #701 = EDGE_CURVE( '', #601, #369, #1344, .T. ); #702 = PRESENTATION_STYLE_ASSIGNMENT( ( #1345 ) ); #703 = EDGE_CURVE( '', #371, #737, #1346, .T. ); #704 = PRESENTATION_STYLE_ASSIGNMENT( ( #1347 ) ); #705 = EDGE_CURVE( '', #425, #715, #1348, .T. ); #706 = PRESENTATION_STYLE_ASSIGNMENT( ( #1349 ) ); #707 = EDGE_CURVE( '', #539, #869, #1350, .T. ); #708 = PRESENTATION_STYLE_ASSIGNMENT( ( #1351 ) ); #709 = EDGE_CURVE( '', #893, #687, #1352, .T. ); #710 = PRESENTATION_STYLE_ASSIGNMENT( ( #1353 ) ); #711 = VERTEX_POINT( '', #1354 ); #712 = PRESENTATION_STYLE_ASSIGNMENT( ( #1355 ) ); #713 = ADVANCED_FACE( '', ( #1356 ), #1357, .T. ); #714 = PRESENTATION_STYLE_ASSIGNMENT( ( #1358 ) ); #715 = VERTEX_POINT( '', #1359 ); #716 = PRESENTATION_STYLE_ASSIGNMENT( ( #1360 ) ); #717 = VERTEX_POINT( '', #1361 ); #718 = PRESENTATION_STYLE_ASSIGNMENT( ( #1362 ) ); #719 = EDGE_CURVE( '', #691, #723, #1363, .T. ); #720 = PRESENTATION_STYLE_ASSIGNMENT( ( #1364 ) ); #721 = VERTEX_POINT( '', #1365 ); #722 = PRESENTATION_STYLE_ASSIGNMENT( ( #1366 ) ); #723 = VERTEX_POINT( '', #1367 ); #724 = PRESENTATION_STYLE_ASSIGNMENT( ( #1368 ) ); #725 = EDGE_CURVE( '', #363, #427, #1369, .T. ); #726 = PRESENTATION_STYLE_ASSIGNMENT( ( #1370 ) ); #727 = ADVANCED_FACE( '', ( #1371 ), #1372, .F. ); #728 = PRESENTATION_STYLE_ASSIGNMENT( ( #1373 ) ); #729 = VERTEX_POINT( '', #1374 ); #730 = PRESENTATION_STYLE_ASSIGNMENT( ( #1375 ) ); #731 = EDGE_CURVE( '', #843, #893, #1376, .T. ); #732 = PRESENTATION_STYLE_ASSIGNMENT( ( #1377 ) ); #733 = EDGE_CURVE( '', #575, #407, #1378, .T. ); #734 = PRESENTATION_STYLE_ASSIGNMENT( ( #1379 ) ); #735 = VERTEX_POINT( '', #1380 ); #736 = PRESENTATION_STYLE_ASSIGNMENT( ( #1381 ) ); #737 = VERTEX_POINT( '', #1382 ); #738 = PRESENTATION_STYLE_ASSIGNMENT( ( #1383 ) ); #739 = VERTEX_POINT( '', #1384 ); #740 = PRESENTATION_STYLE_ASSIGNMENT( ( #1385 ) ); #741 = EDGE_CURVE( '', #463, #483, #1386, .T. ); #742 = PRESENTATION_STYLE_ASSIGNMENT( ( #1387 ) ); #743 = VERTEX_POINT( '', #1388 ); #744 = PRESENTATION_STYLE_ASSIGNMENT( ( #1389 ) ); #745 = EDGE_CURVE( '', #865, #783, #1390, .T. ); #746 = PRESENTATION_STYLE_ASSIGNMENT( ( #1391 ) ); #747 = ADVANCED_FACE( '', ( #1392 ), #1393, .T. ); #748 = PRESENTATION_STYLE_ASSIGNMENT( ( #1394 ) ); #749 = EDGE_CURVE( '', #763, #653, #1395, .T. ); #750 = PRESENTATION_STYLE_ASSIGNMENT( ( #1396 ) ); #751 = ADVANCED_FACE( '', ( #1397 ), #1398, .T. ); #752 = PRESENTATION_STYLE_ASSIGNMENT( ( #1399 ) ); #753 = VERTEX_POINT( '', #1400 ); #754 = PRESENTATION_STYLE_ASSIGNMENT( ( #1401 ) ); #755 = MANIFOLD_SOLID_BREP( '1', #1402 ); #756 = PRESENTATION_STYLE_ASSIGNMENT( ( #1403 ) ); #757 = EDGE_CURVE( '', #795, #487, #1404, .T. ); #758 = PRESENTATION_STYLE_ASSIGNMENT( ( #1405 ) ); #759 = EDGE_CURVE( '', #825, #567, #1406, .T. ); #760 = PRESENTATION_STYLE_ASSIGNMENT( ( #1407 ) ); #761 = VERTEX_POINT( '', #1408 ); #762 = PRESENTATION_STYLE_ASSIGNMENT( ( #1409 ) ); #763 = VERTEX_POINT( '', #1410 ); #764 = PRESENTATION_STYLE_ASSIGNMENT( ( #1411 ) ); #765 = EDGE_CURVE( '', #487, #889, #1412, .T. ); #766 = PRESENTATION_STYLE_ASSIGNMENT( ( #1413 ) ); #767 = ADVANCED_FACE( '', ( #1414 ), #1415, .F. ); #768 = PRESENTATION_STYLE_ASSIGNMENT( ( #1416 ) ); #769 = EDGE_CURVE( '', #563, #887, #1417, .T. ); #770 = PRESENTATION_STYLE_ASSIGNMENT( ( #1418 ) ); #771 = VERTEX_POINT( '', #1419 ); #772 = PRESENTATION_STYLE_ASSIGNMENT( ( #1420 ) ); #773 = EDGE_CURVE( '', #347, #507, #1421, .T. ); #774 = PRESENTATION_STYLE_ASSIGNMENT( ( #1422 ) ); #775 = EDGE_CURVE( '', #863, #479, #1423, .T. ); #776 = PRESENTATION_STYLE_ASSIGNMENT( ( #1424 ) ); #777 = EDGE_CURVE( '', #687, #689, #1425, .T. ); #778 = PRESENTATION_STYLE_ASSIGNMENT( ( #1426 ) ); #779 = VERTEX_POINT( '', #1427 ); #780 = PRESENTATION_STYLE_ASSIGNMENT( ( #1428 ) ); #781 = ADVANCED_FACE( '', ( #1429 ), #1430, .T. ); #782 = PRESENTATION_STYLE_ASSIGNMENT( ( #1431 ) ); #783 = VERTEX_POINT( '', #1432 ); #784 = PRESENTATION_STYLE_ASSIGNMENT( ( #1433 ) ); #785 = EDGE_CURVE( '', #411, #565, #1434, .T. ); #786 = PRESENTATION_STYLE_ASSIGNMENT( ( #1435 ) ); #787 = VERTEX_POINT( '', #1436 ); #788 = PRESENTATION_STYLE_ASSIGNMENT( ( #1437 ) ); #789 = EDGE_CURVE( '', #715, #425, #1438, .T. ); #790 = PRESENTATION_STYLE_ASSIGNMENT( ( #1439 ) ); #791 = EDGE_CURVE( '', #779, #411, #1440, .T. ); #792 = PRESENTATION_STYLE_ASSIGNMENT( ( #1441 ) ); #793 = EDGE_CURVE( '', #659, #691, #1442, .T. ); #794 = PRESENTATION_STYLE_ASSIGNMENT( ( #1443 ) ); #795 = VERTEX_POINT( '', #1444 ); #796 = PRESENTATION_STYLE_ASSIGNMENT( ( #1445 ) ); #797 = EDGE_CURVE( '', #885, #715, #1446, .T. ); #798 = PRESENTATION_STYLE_ASSIGNMENT( ( #1447 ) ); #799 = ADVANCED_FACE( '', ( #1448 ), #1449, .F. ); #800 = PRESENTATION_STYLE_ASSIGNMENT( ( #1450 ) ); #801 = EDGE_CURVE( '', #581, #825, #1451, .T. ); #802 = PRESENTATION_STYLE_ASSIGNMENT( ( #1452 ) ); #803 = ADVANCED_FACE( '', ( #1453 ), #1454, .F. ); #804 = PRESENTATION_STYLE_ASSIGNMENT( ( #1455 ) ); #805 = EDGE_CURVE( '', #743, #885, #1456, .T. ); #806 = PRESENTATION_STYLE_ASSIGNMENT( ( #1457 ) ); #807 = ADVANCED_FACE( '', ( #1458 ), #1459, .T. ); #808 = PRESENTATION_STYLE_ASSIGNMENT( ( #1460 ) ); #809 = EDGE_CURVE( '', #323, #623, #1461, .T. ); #810 = PRESENTATION_STYLE_ASSIGNMENT( ( #1462 ) ); #811 = EDGE_CURVE( '', #893, #641, #1463, .T. ); #812 = PRESENTATION_STYLE_ASSIGNMENT( ( #1464 ) ); #813 = EDGE_CURVE( '', #641, #735, #1465, .T. ); #814 = PRESENTATION_STYLE_ASSIGNMENT( ( #1466 ) ); #815 = ADVANCED_FACE( '', ( #1467 ), #1468, .T. ); #816 = PRESENTATION_STYLE_ASSIGNMENT( ( #1469 ) ); #817 = EDGE_CURVE( '', #475, #485, #1470, .T. ); #818 = PRESENTATION_STYLE_ASSIGNMENT( ( #1471 ) ); #819 = EDGE_CURVE( '', #839, #787, #1472, .T. ); #820 = PRESENTATION_STYLE_ASSIGNMENT( ( #1473 ) ); #821 = ADVANCED_FACE( '', ( #1474 ), #1475, .F. ); #822 = PRESENTATION_STYLE_ASSIGNMENT( ( #1476 ) ); #823 = ADVANCED_FACE( '', ( #1477 ), #1478, .F. ); #824 = PRESENTATION_STYLE_ASSIGNMENT( ( #1479 ) ); #825 = VERTEX_POINT( '', #1480 ); #826 = PRESENTATION_STYLE_ASSIGNMENT( ( #1481 ) ); #827 = VERTEX_POINT( '', #1482 ); #828 = PRESENTATION_STYLE_ASSIGNMENT( ( #1483 ) ); #829 = EDGE_CURVE( '', #415, #631, #1484, .T. ); #830 = PRESENTATION_STYLE_ASSIGNMENT( ( #1485 ) ); #831 = EDGE_CURVE( '', #753, #653, #1486, .T. ); #832 = PRESENTATION_STYLE_ASSIGNMENT( ( #1487 ) ); #833 = ADVANCED_FACE( '', ( #1488 ), #1489, .F. ); #834 = PRESENTATION_STYLE_ASSIGNMENT( ( #1490 ) ); #835 = ADVANCED_FACE( '', ( #1491 ), #1492, .T. ); #836 = PRESENTATION_STYLE_ASSIGNMENT( ( #1493 ) ); #837 = EDGE_CURVE( '', #461, #323, #1494, .T. ); #838 = PRESENTATION_STYLE_ASSIGNMENT( ( #1495 ) ); #839 = VERTEX_POINT( '', #1496 ); #840 = PRESENTATION_STYLE_ASSIGNMENT( ( #1497 ) ); #841 = EDGE_CURVE( '', #461, #495, #1498, .T. ); #842 = PRESENTATION_STYLE_ASSIGNMENT( ( #1499 ) ); #843 = VERTEX_POINT( '', #1500 ); #844 = PRESENTATION_STYLE_ASSIGNMENT( ( #1501 ) ); #845 = EDGE_CURVE( '', #641, #689, #1502, .T. ); #846 = PRESENTATION_STYLE_ASSIGNMENT( ( #1503 ) ); #847 = EDGE_CURVE( '', #407, #583, #1504, .T. ); #848 = PRESENTATION_STYLE_ASSIGNMENT( ( #1505 ) ); #849 = VERTEX_POINT( '', #1506 ); #850 = PRESENTATION_STYLE_ASSIGNMENT( ( #1507 ) ); #851 = EDGE_CURVE( '', #619, #691, #1508, .T. ); #852 = PRESENTATION_STYLE_ASSIGNMENT( ( #1509 ) ); #853 = EDGE_CURVE( '', #565, #357, #1510, .T. ); #854 = PRESENTATION_STYLE_ASSIGNMENT( ( #1511 ) ); #855 = EDGE_CURVE( '', #735, #717, #1512, .T. ); #856 = PRESENTATION_STYLE_ASSIGNMENT( ( #1513 ) ); #857 = EDGE_CURVE( '', #427, #379, #1514, .T. ); #858 = PRESENTATION_STYLE_ASSIGNMENT( ( #1515 ) ); #859 = EDGE_CURVE( '', #585, #479, #1516, .T. ); #860 = PRESENTATION_STYLE_ASSIGNMENT( ( #1517 ) ); #861 = EDGE_CURVE( '', #427, #347, #1518, .T. ); #862 = PRESENTATION_STYLE_ASSIGNMENT( ( #1519 ) ); #863 = VERTEX_POINT( '', #1520 ); #864 = PRESENTATION_STYLE_ASSIGNMENT( ( #1521 ) ); #865 = VERTEX_POINT( '', #1522 ); #866 = PRESENTATION_STYLE_ASSIGNMENT( ( #1523 ) ); #867 = EDGE_CURVE( '', #597, #585, #1524, .T. ); #868 = PRESENTATION_STYLE_ASSIGNMENT( ( #1525 ) ); #869 = VERTEX_POINT( '', #1526 ); #870 = PRESENTATION_STYLE_ASSIGNMENT( ( #1527 ) ); #871 = VERTEX_POINT( '', #1528 ); #872 = PRESENTATION_STYLE_ASSIGNMENT( ( #1529 ) ); #873 = EDGE_CURVE( '', #371, #839, #1530, .T. ); #874 = PRESENTATION_STYLE_ASSIGNMENT( ( #1531 ) ); #875 = EDGE_CURVE( '', #341, #609, #1532, .T. ); #876 = PRESENTATION_STYLE_ASSIGNMENT( ( #1533 ) ); #877 = EDGE_CURVE( '', #367, #321, #1534, .T. ); #878 = PRESENTATION_STYLE_ASSIGNMENT( ( #1535 ) ); #879 = EDGE_CURVE( '', #689, #587, #1536, .T. ); #880 = PRESENTATION_STYLE_ASSIGNMENT( ( #1537 ) ); #881 = EDGE_CURVE( '', #567, #687, #1538, .T. ); #882 = PRESENTATION_STYLE_ASSIGNMENT( ( #1539 ) ); #883 = ADVANCED_FACE( '', ( #1540 ), #1541, .T. ); #884 = PRESENTATION_STYLE_ASSIGNMENT( ( #1542 ) ); #885 = VERTEX_POINT( '', #1543 ); #886 = PRESENTATION_STYLE_ASSIGNMENT( ( #1544 ) ); #887 = VERTEX_POINT( '', #1545 ); #888 = PRESENTATION_STYLE_ASSIGNMENT( ( #1546 ) ); #889 = VERTEX_POINT( '', #1547 ); #890 = PRESENTATION_STYLE_ASSIGNMENT( ( #1548 ) ); #891 = EDGE_CURVE( '', #323, #367, #1549, .T. ); #892 = PRESENTATION_STYLE_ASSIGNMENT( ( #1550 ) ); #893 = VERTEX_POINT( '', #1551 ); #894 = PRESENTATION_STYLE_ASSIGNMENT( ( #1552 ) ); #895 = VERTEX_POINT( '', #1553 ); #896 = PRODUCT( '1', '1', 'PART-1-DESC', ( #1554 ) ); #897 = PRODUCT_DEFINITION( 'NONE', 'NONE', #1555, #2 ); #898 = AXIS2_PLACEMENT_3D( '', #1556, #1557, #1558 ); #901 = LENGTH_MEASURE_WITH_UNIT( LENGTH_MEASURE( 1.00000000000000 ), #1559 ); #904 = DIMENSIONAL_EXPONENTS( 1.00000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 ); #906 = DIMENSIONAL_EXPONENTS( 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000, 0.000000000000000 ); #912 = POINT_STYLE( ' ', #1560, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1561 ); #913 = CARTESIAN_POINT( '', ( 7.99999999999980, -17.0000000000005, -50.0000000000000 ) ); #914 = CURVE_STYLE( '', #1562, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1563 ); #915 = LINE( '', #1564, #1565 ); #916 = CURVE_STYLE( '', #1566, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1567 ); #917 = LINE( '', #1568, #1569 ); #918 = POINT_STYLE( ' ', #1570, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1571 ); #919 = CARTESIAN_POINT( '', ( 1.49999999999997, -3.86152236891509, -50.0000000000000 ) ); #920 = POINT_STYLE( ' ', #1572, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1573 ); #921 = CARTESIAN_POINT( '', ( 1.49999999999952, 3.86152236891505, 0.000000000000000 ) ); #922 = CURVE_STYLE( '', #1574, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1575 ); #923 = LINE( '', #1576, #1577 ); #924 = SURFACE_STYLE_USAGE( .BOTH., #1578 ); #925 = FACE_OUTER_BOUND( '', #1579, .T. ); #926 = CYLINDRICAL_SURFACE( '', #1580, 3.10000000000000 ); #927 = SURFACE_STYLE_USAGE( .BOTH., #1581 ); #928 = FACE_OUTER_BOUND( '', #1582, .T. ); #929 = PLANE( '', #1583 ); #930 = CURVE_STYLE( '', #1584, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1585 ); #931 = LINE( '', #1586, #1587 ); #932 = CURVE_STYLE( '', #1588, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1589 ); #933 = LINE( '', #1590, #1591 ); #934 = CURVE_STYLE( '', #1592, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1593 ); #935 = LINE( '', #1594, #1595 ); #936 = CURVE_STYLE( '', #1596, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1597 ); #937 = LINE( '', #1598, #1599 ); #938 = CURVE_STYLE( '', #1600, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1601 ); #939 = LINE( '', #1602, #1603 ); #940 = POINT_STYLE( ' ', #1604, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1605 ); #941 = CARTESIAN_POINT( '', ( 5.79999999999930, 7.30000000000025, 0.000000000000000 ) ); #942 = SURFACE_STYLE_USAGE( .BOTH., #1606 ); #943 = FACE_OUTER_BOUND( '', #1607, .T. ); #944 = CYLINDRICAL_SURFACE( '', #1608, 1.99999999999990 ); #945 = CURVE_STYLE( '', #1609, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1610 ); #946 = LINE( '', #1611, #1612 ); #947 = POINT_STYLE( ' ', #1613, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1614 ); #948 = CARTESIAN_POINT( '', ( 4.99999999999560, -18.5000000000011, -50.0000000000000 ) ); #949 = CURVE_STYLE( '', #1615, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1616 ); #950 = LINE( '', #1617, #1618 ); #951 = POINT_STYLE( ' ', #1619, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1620 ); #952 = CARTESIAN_POINT( '', ( 4.99999999999980, 19.9999999999995, 0.000000000000000 ) ); #953 = CURVE_STYLE( '', #1621, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1622 ); #954 = LINE( '', #1623, #1624 ); #955 = SURFACE_STYLE_USAGE( .BOTH., #1625 ); #956 = FACE_OUTER_BOUND( '', #1626, .T. ); #957 = CYLINDRICAL_SURFACE( '', #1627, 1.49999999999998 ); #958 = POINT_STYLE( ' ', #1628, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1629 ); #959 = CARTESIAN_POINT( '', ( 6.49999999999605, -16.6000000000008, -50.0000000000000 ) ); #960 = SURFACE_STYLE_USAGE( .BOTH., #1630 ); #961 = FACE_OUTER_BOUND( '', #1631, .T. ); #962 = CYLINDRICAL_SURFACE( '', #1632, 0.700000000000007 ); #963 = CURVE_STYLE( '', #1633, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1634 ); #964 = LINE( '', #1635, #1636 ); #965 = POINT_STYLE( ' ', #1637, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1638 ); #966 = CARTESIAN_POINT( '', ( -5.00000000000440, -18.4999999999989, 0.000000000000000 ) ); #967 = CURVE_STYLE( '', #1639, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1640 ); #968 = LINE( '', #1641, #1642 ); #969 = POINT_STYLE( ' ', #1643, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1644 ); #970 = CARTESIAN_POINT( '', ( 1.49999999999997, -3.86152236891509, 0.000000000000000 ) ); #971 = POINT_STYLE( ' ', #1645, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1646 ); #972 = CARTESIAN_POINT( '', ( -8.00000000000020, -17.0000000000003, 0.000000000000000 ) ); #973 = POINT_STYLE( ' ', #1647, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1648 ); #974 = CARTESIAN_POINT( '', ( -3.10000000000020, 9.99999999999875, -50.0000000000000 ) ); #975 = CURVE_STYLE( '', #1649, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1650 ); #976 = CIRCLE( '', #1651, 1.50000000000002 ); #977 = CURVE_STYLE( '', #1652, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1653 ); #978 = LINE( '', #1654, #1655 ); #979 = CURVE_STYLE( '', #1656, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1657 ); #980 = CIRCLE( '', #1658, 3.00000000000000 ); #981 = POINT_STYLE( ' ', #1659, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1660 ); #982 = CARTESIAN_POINT( '', ( 6.49999999999593, -17.0000000000016, 0.000000000000000 ) ); #983 = SURFACE_STYLE_USAGE( .BOTH., #1661 ); #984 = FACE_OUTER_BOUND( '', #1662, .T. ); #985 = CYLINDRICAL_SURFACE( '', #1663, 1.49999999999987 ); #986 = CURVE_STYLE( '', #1664, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1665 ); #987 = LINE( '', #1666, #1667 ); #988 = SURFACE_STYLE_USAGE( .BOTH., #1668 ); #989 = FACE_OUTER_BOUND( '', #1669, .T. ); #990 = PLANE( '', #1670 ); #991 = CURVE_STYLE( '', #1671, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1672 ); #992 = LINE( '', #1673, #1674 ); #993 = POINT_STYLE( ' ', #1675, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1676 ); #994 = CARTESIAN_POINT( '', ( 7.99999999999980, 16.9999999999995, 0.000000000000000 ) ); #995 = CURVE_STYLE( '', #1677, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1678 ); #996 = CIRCLE( '', #1679, 1.99999999999996 ); #997 = CURVE_STYLE( '', #1680, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1681 ); #998 = LINE( '', #1682, #1683 ); #999 = CURVE_STYLE( '', #1684, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1685 ); #1000 = CIRCLE( '', #1686, 1.99999999999996 ); #1001 = POINT_STYLE( ' ', #1687, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1688 ); #1002 = CARTESIAN_POINT( '', ( 6.49999999999355, 16.6000000000019, 0.000000000000000 ) ); #1003 = CURVE_STYLE( '', #1689, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1690 ); #1004 = CIRCLE( '', #1691, 1.49999999999987 ); #1005 = POINT_STYLE( ' ', #1692, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1693 ); #1006 = CARTESIAN_POINT( '', ( -6.50000000000395, -16.5999999999976, -50.0000000000000 ) ); #1007 = CURVE_STYLE( '', #1694, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1695 ); #1008 = CIRCLE( '', #1696, 1.50000000000000 ); #1009 = CURVE_STYLE( '', #1697, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1698 ); #1010 = LINE( '', #1699, #1700 ); #1011 = POINT_STYLE( ' ', #1701, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1702 ); #1012 = CARTESIAN_POINT( '', ( 4.99999999999411, 15.1000000000010, -50.0000000000000 ) ); #1013 = SURFACE_STYLE_USAGE( .BOTH., #1703 ); #1014 = FACE_OUTER_BOUND( '', #1704, .T. ); #1015 = PLANE( '', #1705 ); #1016 = POINT_STYLE( ' ', #1706, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1707 ); #1017 = CARTESIAN_POINT( '', ( -5.00000000000366, -15.0999999999981, -50.0000000000000 ) ); #1018 = SURFACE_STYLE_USAGE( .BOTH., #1708 ); #1019 = FACE_OUTER_BOUND( '', #1709, .T. ); #1020 = CYLINDRICAL_SURFACE( '', #1710, 1.50000000000002 ); #1021 = POINT_STYLE( ' ', #1711, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1712 ); #1022 = CARTESIAN_POINT( '', ( 4.99999999999284, 18.5000000000018, 0.000000000000000 ) ); #1023 = CURVE_STYLE( '', #1713, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1714 ); #1024 = CIRCLE( '', #1715, 0.699999999999993 ); #1025 = CURVE_STYLE( '', #1716, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1717 ); #1026 = LINE( '', #1718, #1719 ); #1027 = SURFACE_STYLE_USAGE( .BOTH., #1720 ); #1028 = FACE_OUTER_BOUND( '', #1721, .T. ); #1029 = PLANE( '', #1722 ); #1030 = POINT_STYLE( ' ', #1723, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1724 ); #1031 = CARTESIAN_POINT( '', ( 6.49999999999593, -17.0000000000016, -50.0000000000000 ) ); #1032 = POINT_STYLE( ' ', #1725, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1726 ); #1033 = CARTESIAN_POINT( '', ( -3.10000000000230, -9.99999999999932, -50.0000000000000 ) ); #1034 = POINT_STYLE( ' ', #1727, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1728 ); #1035 = CARTESIAN_POINT( '', ( 4.99999999999560, -18.5000000000011, 0.000000000000000 ) ); #1036 = CURVE_STYLE( '', #1729, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1730 ); #1037 = CIRCLE( '', #1731, 1.99999999999983 ); #1038 = CURVE_STYLE( '', #1732, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1733 ); #1039 = LINE( '', #1734, #1735 ); #1040 = CURVE_STYLE( '', #1736, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1737 ); #1041 = LINE( '', #1738, #1739 ); #1042 = CURVE_STYLE( '', #1740, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1741 ); #1043 = LINE( '', #1742, #1743 ); #1044 = SURFACE_STYLE_USAGE( .BOTH., #1744 ); #1045 = FACE_OUTER_BOUND( '', #1745, .T. ); #1046 = PLANE( '', #1746 ); #1047 = POINT_STYLE( ' ', #1747, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1748 ); #1048 = CARTESIAN_POINT( '', ( -6.50000000000668, 16.9999999999975, 0.000000000000000 ) ); #1049 = CURVE_STYLE( '', #1749, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1750 ); #1050 = LINE( '', #1751, #1752 ); #1051 = CURVE_STYLE( '', #1753, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1754 ); #1052 = LINE( '', #1755, #1756 ); #1053 = CURVE_STYLE( '', #1757, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1758 ); #1054 = LINE( '', #1759, #1760 ); #1055 = CURVE_STYLE( '', #1761, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1762 ); #1056 = LINE( '', #1763, #1764 ); #1057 = SURFACE_STYLE_USAGE( .BOTH., #1765 ); #1058 = FACE_OUTER_BOUND( '', #1766, .T. ); #1059 = CYLINDRICAL_SURFACE( '', #1767, 3.10000000000000 ); #1060 = SURFACE_STYLE_USAGE( .BOTH., #1768 ); #1061 = FACE_OUTER_BOUND( '', #1769, .T. ); #1062 = PLANE( '', #1770 ); #1063 = SURFACE_STYLE_USAGE( .BOTH., #1771 ); #1064 = FACE_OUTER_BOUND( '', #1772, .T. ); #1065 = PLANE( '', #1773 ); #1066 = CURVE_STYLE( '', #1774, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1775 ); #1067 = CIRCLE( '', #1776, 1.49999999999998 ); #1068 = POINT_STYLE( ' ', #1777, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1778 ); #1069 = CARTESIAN_POINT( '', ( -6.50000000000668, 16.9999999999975, -50.0000000000000 ) ); #1070 = CURVE_STYLE( '', #1779, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1780 ); #1071 = LINE( '', #1781, #1782 ); #1072 = POINT_STYLE( ' ', #1783, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1784 ); #1073 = CARTESIAN_POINT( '', ( 2.08578643762629, 5.27573593128806, 0.000000000000000 ) ); #1074 = POINT_STYLE( ' ', #1785, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1786 ); #1075 = CARTESIAN_POINT( '', ( -2.08578643762666, -5.27573593128826, 0.000000000000000 ) ); #1076 = CURVE_STYLE( '', #1787, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1788 ); #1077 = CIRCLE( '', #1789, 3.00000000000002 ); #1078 = SURFACE_STYLE_USAGE( .BOTH., #1790 ); #1079 = FACE_OUTER_BOUND( '', #1791, .T. ); #1080 = CYLINDRICAL_SURFACE( '', #1792, 0.699999999999994 ); #1081 = CURVE_STYLE( '', #1793, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1794 ); #1082 = CIRCLE( '', #1795, 3.00000000000002 ); #1083 = SURFACE_STYLE_USAGE( .BOTH., #1796 ); #1084 = FACE_OUTER_BOUND( '', #1797, .T. ); #1085 = CYLINDRICAL_SURFACE( '', #1798, 1.50000000000000 ); #1086 = CURVE_STYLE( '', #1799, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1800 ); #1087 = LINE( '', #1801, #1802 ); #1088 = POINT_STYLE( ' ', #1803, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1804 ); #1089 = CARTESIAN_POINT( '', ( -6.50000000000651, 16.5999999999967, 0.000000000000000 ) ); #1090 = CURVE_STYLE( '', #1805, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1806 ); #1091 = CIRCLE( '', #1807, 0.699999999999991 ); #1092 = POINT_STYLE( ' ', #1808, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1809 ); #1093 = CARTESIAN_POINT( '', ( 5.80000000000021, -7.29999999999971, -50.0000000000000 ) ); #1094 = CURVE_STYLE( '', #1810, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1811 ); #1095 = LINE( '', #1812, #1813 ); #1096 = POINT_STYLE( ' ', #1814, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1815 ); #1097 = CARTESIAN_POINT( '', ( -2.08578643762666, -5.27573593128826, -50.0000000000000 ) ); #1098 = POINT_STYLE( ' ', #1816, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1817 ); #1099 = CARTESIAN_POINT( '', ( -5.00000000000594, 15.0999999999973, 0.000000000000000 ) ); #1100 = POINT_STYLE( ' ', #1818, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1819 ); #1101 = CARTESIAN_POINT( '', ( -7.99999999999974, 4.09999999999991, 0.000000000000000 ) ); #1102 = CURVE_STYLE( '', #1820, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1821 ); #1103 = LINE( '', #1822, #1823 ); #1104 = CURVE_STYLE( '', #1824, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1825 ); #1105 = LINE( '', #1826, #1827 ); #1106 = SURFACE_STYLE_USAGE( .BOTH., #1828 ); #1107 = FACE_OUTER_BOUND( '', #1829, .T. ); #1108 = PLANE( '', #1830 ); #1109 = POINT_STYLE( ' ', #1831, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1832 ); #1110 = CARTESIAN_POINT( '', ( 2.08578643762629, 5.27573593128806, -50.0000000000000 ) ); #1111 = CURVE_STYLE( '', #1833, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1834 ); #1112 = CIRCLE( '', #1835, 1.50000000000000 ); #1113 = CURVE_STYLE( '', #1836, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1837 ); #1114 = LINE( '', #1838, #1839 ); #1115 = CURVE_STYLE( '', #1840, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1841 ); #1116 = CIRCLE( '', #1842, 3.10000000000000 ); #1117 = CURVE_STYLE( '', #1843, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1844 ); #1118 = CIRCLE( '', #1845, 1.49999999999987 ); #1119 = POINT_STYLE( ' ', #1846, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1847 ); #1120 = CARTESIAN_POINT( '', ( -5.79999999999970, -4.10000000000014, -50.0000000000000 ) ); #1121 = POINT_STYLE( ' ', #1848, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1849 ); #1122 = CARTESIAN_POINT( '', ( -5.00000000000440, -18.4999999999989, -50.0000000000000 ) ); #1123 = SURFACE_STYLE_USAGE( .BOTH., #1850 ); #1124 = FACE_OUTER_BOUND( '', #1851, .T. ); #1125 = CYLINDRICAL_SURFACE( '', #1852, 0.699999999999991 ); #1126 = SURFACE_STYLE_USAGE( .BOTH., #1853 ); #1127 = FACE_OUTER_BOUND( '', #1854, .T. ); #1128 = FACE_BOUND( '', #1855, .T. ); #1129 = FACE_BOUND( '', #1856, .T. ); #1130 = FACE_BOUND( '', #1857, .T. ); #1131 = FACE_BOUND( '', #1858, .T. ); #1132 = FACE_BOUND( '', #1859, .T. ); #1133 = PLANE( '', #1860 ); #1134 = CURVE_STYLE( '', #1861, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1862 ); #1135 = LINE( '', #1863, #1864 ); #1136 = CURVE_STYLE( '', #1865, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1866 ); #1137 = CIRCLE( '', #1867, 0.699999999999991 ); #1138 = CURVE_STYLE( '', #1868, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1869 ); #1139 = CIRCLE( '', #1870, 3.00000000000000 ); #1140 = SURFACE_STYLE_USAGE( .BOTH., #1871 ); #1141 = FACE_OUTER_BOUND( '', #1872, .T. ); #1142 = PLANE( '', #1873 ); #1143 = SURFACE_STYLE_USAGE( .BOTH., #1874 ); #1144 = FACE_OUTER_BOUND( '', #1875, .T. ); #1145 = FACE_BOUND( '', #1876, .T. ); #1146 = FACE_BOUND( '', #1877, .T. ); #1147 = FACE_BOUND( '', #1878, .T. ); #1148 = FACE_BOUND( '', #1879, .T. ); #1149 = FACE_BOUND( '', #1880, .T. ); #1150 = PLANE( '', #1881 ); #1151 = CURVE_STYLE( '', #1882, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1883 ); #1152 = CIRCLE( '', #1884, 1.49999999999987 ); #1153 = SURFACE_STYLE_USAGE( .BOTH., #1885 ); #1154 = FACE_OUTER_BOUND( '', #1886, .T. ); #1155 = CYLINDRICAL_SURFACE( '', #1887, 3.10000000000000 ); #1156 = CURVE_STYLE( '', #1888, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1889 ); #1157 = CIRCLE( '', #1890, 1.49999999999987 ); #1158 = SURFACE_STYLE_USAGE( .BOTH., #1891 ); #1159 = FACE_OUTER_BOUND( '', #1892, .T. ); #1160 = CYLINDRICAL_SURFACE( '', #1893, 3.00000000000000 ); #1161 = CURVE_STYLE( '', #1894, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1895 ); #1162 = LINE( '', #1896, #1897 ); #1163 = POINT_STYLE( ' ', #1898, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1899 ); #1164 = CARTESIAN_POINT( '', ( -5.00000000000714, 18.4999999999982, -50.0000000000000 ) ); #1165 = CURVE_STYLE( '', #1900, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1901 ); #1166 = LINE( '', #1902, #1903 ); #1167 = CURVE_STYLE( '', #1904, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1905 ); #1168 = CIRCLE( '', #1906, 3.00000000000000 ); #1169 = POINT_STYLE( ' ', #1907, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1908 ); #1170 = CARTESIAN_POINT( '', ( 4.99999999999974, -20.0000000000005, 0.000000000000000 ) ); #1171 = CURVE_STYLE( '', #1909, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1910 ); #1172 = LINE( '', #1911, #1912 ); #1173 = CURVE_STYLE( '', #1913, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1914 ); #1174 = LINE( '', #1915, #1916 ); #1175 = CURVE_STYLE( '', #1917, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1918 ); #1176 = LINE( '', #1919, #1920 ); #1177 = CURVE_STYLE( '', #1921, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1922 ); #1178 = LINE( '', #1923, #1924 ); #1179 = CURVE_STYLE( '', #1925, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1926 ); #1180 = LINE( '', #1927, #1928 ); #1181 = POINT_STYLE( ' ', #1929, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1930 ); #1182 = CARTESIAN_POINT( '', ( -6.50000000000651, 16.5999999999967, -50.0000000000000 ) ); #1183 = CURVE_STYLE( '', #1931, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1932 ); #1184 = LINE( '', #1933, #1934 ); #1185 = CURVE_STYLE( '', #1935, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1936 ); #1186 = CIRCLE( '', #1937, 1.50000000000011 ); #1187 = CURVE_STYLE( '', #1938, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1939 ); #1188 = LINE( '', #1940, #1941 ); #1189 = CURVE_STYLE( '', #1942, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1943 ); #1190 = LINE( '', #1944, #1945 ); #1191 = CURVE_STYLE( '', #1946, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1947 ); #1192 = LINE( '', #1948, #1949 ); #1193 = POINT_STYLE( ' ', #1950, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1951 ); #1194 = CARTESIAN_POINT( '', ( 4.60502525316969, -7.79497474683038, 0.000000000000000 ) ); #1195 = POINT_STYLE( ' ', #1952, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1953 ); #1196 = CARTESIAN_POINT( '', ( 4.99999999999645, -15.1000000000004, -50.0000000000000 ) ); #1197 = POINT_STYLE( ' ', #1954, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1955 ); #1198 = CARTESIAN_POINT( '', ( -5.79999999999970, 7.29999999999996, -50.0000000000000 ) ); #1199 = CURVE_STYLE( '', #1956, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1957 ); #1200 = LINE( '', #1958, #1959 ); #1201 = POINT_STYLE( ' ', #1960, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1961 ); #1202 = CARTESIAN_POINT( '', ( -4.60502525316913, -7.79497474683067, -50.0000000000000 ) ); #1203 = POINT_STYLE( ' ', #1962, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1963 ); #1204 = CARTESIAN_POINT( '', ( 6.49999999999605, -16.6000000000008, 0.000000000000000 ) ); #1205 = POINT_STYLE( ' ', #1964, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1965 ); #1206 = CARTESIAN_POINT( '', ( 6.49999999999355, 16.6000000000019, -50.0000000000000 ) ); #1207 = SURFACE_STYLE_USAGE( .BOTH., #1966 ); #1208 = FACE_OUTER_BOUND( '', #1967, .T. ); #1209 = PLANE( '', #1968 ); #1210 = CURVE_STYLE( '', #1969, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1970 ); #1211 = LINE( '', #1971, #1972 ); #1212 = POINT_STYLE( ' ', #1973, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1974 ); #1213 = CARTESIAN_POINT( '', ( -7.99999999999974, 4.09999999999991, -50.0000000000000 ) ); #1214 = POINT_STYLE( ' ', #1975, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1976 ); #1215 = CARTESIAN_POINT( '', ( -5.00000000000594, 15.0999999999973, -50.0000000000000 ) ); #1216 = POINT_STYLE( ' ', #1977, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1978 ); #1217 = CARTESIAN_POINT( '', ( 5.79999999999930, 7.30000000000025, -50.0000000000000 ) ); #1218 = POINT_STYLE( ' ', #1979, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1980 ); #1219 = CARTESIAN_POINT( '', ( -1.49999999999974, 3.86152236891492, -50.0000000000000 ) ); #1220 = CURVE_STYLE( '', #1981, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1982 ); #1221 = LINE( '', #1983, #1984 ); #1222 = SURFACE_STYLE_USAGE( .BOTH., #1985 ); #1223 = FACE_OUTER_BOUND( '', #1986, .T. ); #1224 = PLANE( '', #1987 ); #1225 = CURVE_STYLE( '', #1988, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1989 ); #1226 = LINE( '', #1990, #1991 ); #1227 = SURFACE_STYLE_USAGE( .BOTH., #1992 ); #1228 = FACE_OUTER_BOUND( '', #1993, .T. ); #1229 = CYLINDRICAL_SURFACE( '', #1994, 3.00000000000002 ); #1230 = POINT_STYLE( ' ', #1995, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1996 ); #1231 = CARTESIAN_POINT( '', ( 4.60502525316870, 7.79497474683076, -50.0000000000000 ) ); #1232 = CURVE_STYLE( '', #1997, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #1998 ); #1233 = LINE( '', #1999, #2000 ); #1234 = POINT_STYLE( ' ', #2001, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2002 ); #1235 = CARTESIAN_POINT( '', ( -8.00000000000020, -4.10000000000036, 0.000000000000000 ) ); #1236 = CURVE_STYLE( '', #2003, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2004 ); #1237 = LINE( '', #2005, #2006 ); #1238 = CURVE_STYLE( '', #2007, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2008 ); #1239 = LINE( '', #2009, #2010 ); #1240 = CURVE_STYLE( '', #2011, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2012 ); #1241 = CIRCLE( '', #2013, 1.49999999999998 ); #1242 = POINT_STYLE( ' ', #2014, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2015 ); #1243 = CARTESIAN_POINT( '', ( 4.60502525316870, 7.79497474683076, 0.000000000000000 ) ); #1244 = CURVE_STYLE( '', #2016, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2017 ); #1245 = CIRCLE( '', #2018, 1.99999999999990 ); #1246 = CURVE_STYLE( '', #2019, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2020 ); #1247 = LINE( '', #2021, #2022 ); #1248 = CURVE_STYLE( '', #2023, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2024 ); #1249 = LINE( '', #2025, #2026 ); #1250 = CURVE_STYLE( '', #2027, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2028 ); #1251 = LINE( '', #2029, #2030 ); #1252 = POINT_STYLE( ' ', #2031, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2032 ); #1253 = CARTESIAN_POINT( '', ( 4.99999999999980, 19.9999999999995, -50.0000000000000 ) ); #1254 = CURVE_STYLE( '', #2033, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2034 ); #1255 = LINE( '', #2035, #2036 ); #1256 = POINT_STYLE( ' ', #2037, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2038 ); #1257 = CARTESIAN_POINT( '', ( 1.49999999999952, 3.86152236891505, -50.0000000000000 ) ); #1258 = SURFACE_STYLE_USAGE( .BOTH., #2039 ); #1259 = FACE_OUTER_BOUND( '', #2040, .T. ); #1260 = CYLINDRICAL_SURFACE( '', #2041, 3.00000000000002 ); #1261 = POINT_STYLE( ' ', #2042, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2043 ); #1262 = CARTESIAN_POINT( '', ( -5.79999999999970, -7.30000000000009, -50.0000000000000 ) ); #1263 = CURVE_STYLE( '', #2044, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2045 ); #1264 = CIRCLE( '', #2046, 3.00000000000002 ); #1265 = POINT_STYLE( ' ', #2047, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2048 ); #1266 = CARTESIAN_POINT( '', ( -5.00000000000714, 18.4999999999982, 0.000000000000000 ) ); #1267 = POINT_STYLE( ' ', #2049, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2050 ); #1268 = CARTESIAN_POINT( '', ( -8.00000000000020, -17.0000000000003, -50.0000000000000 ) ); #1269 = CURVE_STYLE( '', #2051, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2052 ); #1270 = LINE( '', #2053, #2054 ); #1271 = SURFACE_STYLE_USAGE( .BOTH., #2055 ); #1272 = FACE_OUTER_BOUND( '', #2056, .T. ); #1273 = PLANE( '', #2057 ); #1274 = SURFACE_STYLE_USAGE( .BOTH., #2058 ); #1275 = FACE_OUTER_BOUND( '', #2059, .T. ); #1276 = CYLINDRICAL_SURFACE( '', #2060, 3.00000000000000 ); #1277 = POINT_STYLE( ' ', #2061, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2062 ); #1278 = CARTESIAN_POINT( '', ( -2.08578643762663, 5.27573593128800, 0.000000000000000 ) ); #1279 = SURFACE_STYLE_USAGE( .BOTH., #2063 ); #1280 = FACE_OUTER_BOUND( '', #2064, .T. ); #1281 = CYLINDRICAL_SURFACE( '', #2065, 1.99999999999996 ); #1282 = SURFACE_STYLE_USAGE( .BOTH., #2066 ); #1283 = FACE_OUTER_BOUND( '', #2067, .T. ); #1284 = PLANE( '', #2068 ); #1285 = CURVE_STYLE( '', #2069, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2070 ); #1286 = CIRCLE( '', #2071, 3.10000000000000 ); #1287 = POINT_STYLE( ' ', #2072, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2073 ); #1288 = CARTESIAN_POINT( '', ( -8.00000000000020, -4.10000000000036, -50.0000000000000 ) ); #1289 = CURVE_STYLE( '', #2074, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2075 ); #1290 = CIRCLE( '', #2076, 3.10000000000000 ); #1291 = POINT_STYLE( ' ', #2077, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2078 ); #1292 = CARTESIAN_POINT( '', ( 6.49999999999332, 17.0000000000028, -50.0000000000000 ) ); #1293 = CURVE_STYLE( '', #2079, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2080 ); #1294 = CIRCLE( '', #2081, 1.99999999999990 ); #1295 = SURFACE_STYLE_USAGE( .BOTH., #2082 ); #1296 = FACE_OUTER_BOUND( '', #2083, .T. ); #1297 = PLANE( '', #2084 ); #1298 = POINT_STYLE( ' ', #2085, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2086 ); #1299 = CARTESIAN_POINT( '', ( -5.00000000000020, 19.9999999999995, 0.000000000000000 ) ); #1300 = POINT_STYLE( ' ', #2087, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2088 ); #1301 = CARTESIAN_POINT( '', ( -5.79999999999970, -7.30000000000009, 0.000000000000000 ) ); #1302 = CURVE_STYLE( '', #2089, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2090 ); #1303 = CIRCLE( '', #2091, 3.00000000000000 ); #1304 = SURFACE_STYLE_USAGE( .BOTH., #2092 ); #1305 = FACE_OUTER_BOUND( '', #2093, .T. ); #1306 = CYLINDRICAL_SURFACE( '', #2094, 1.49999999999987 ); #1307 = CURVE_STYLE( '', #2095, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2096 ); #1308 = LINE( '', #2097, #2098 ); #1309 = CURVE_STYLE( '', #2099, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2100 ); #1310 = LINE( '', #2101, #2102 ); #1311 = SURFACE_STYLE_USAGE( .BOTH., #2103 ); #1312 = FACE_OUTER_BOUND( '', #2104, .T. ); #1313 = PLANE( '', #2105 ); #1314 = CURVE_STYLE( '', #2106, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2107 ); #1315 = LINE( '', #2108, #2109 ); #1316 = CURVE_STYLE( '', #2110, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2111 ); #1317 = LINE( '', #2112, #2113 ); #1318 = SURFACE_STYLE_USAGE( .BOTH., #2114 ); #1319 = FACE_OUTER_BOUND( '', #2115, .T. ); #1320 = PLANE( '', #2116 ); #1321 = CURVE_STYLE( '', #2117, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2118 ); #1322 = CIRCLE( '', #2119, 1.50000000000011 ); #1323 = CURVE_STYLE( '', #2120, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2121 ); #1324 = LINE( '', #2122, #2123 ); #1325 = POINT_STYLE( ' ', #2124, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2125 ); #1326 = CARTESIAN_POINT( '', ( -6.50000000000406, -16.9999999999985, -50.0000000000000 ) ); #1327 = CURVE_STYLE( '', #2126, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2127 ); #1328 = LINE( '', #2128, #2129 ); #1329 = POINT_STYLE( ' ', #2130, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2131 ); #1330 = CARTESIAN_POINT( '', ( -4.60502525316910, 7.79497474683054, -50.0000000000000 ) ); #1331 = POINT_STYLE( ' ', #2132, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2133 ); #1332 = CARTESIAN_POINT( '', ( -2.08578643762663, 5.27573593128800, -50.0000000000000 ) ); #1333 = POINT_STYLE( ' ', #2134, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2135 ); #1334 = CARTESIAN_POINT( '', ( -5.00000000000020, 19.9999999999995, -50.0000000000000 ) ); #1335 = POINT_STYLE( ' ', #2136, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2137 ); #1336 = CARTESIAN_POINT( '', ( -6.50000000000395, -16.5999999999976, 0.000000000000000 ) ); #1337 = CURVE_STYLE( '', #2138, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2139 ); #1338 = LINE( '', #2140, #2141 ); #1339 = CURVE_STYLE( '', #2142, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2143 ); #1340 = LINE( '', #2144, #2145 ); #1341 = CURVE_STYLE( '', #2146, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2147 ); #1342 = CIRCLE( '', #2148, 0.699999999999993 ); #1343 = CURVE_STYLE( '', #2149, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2150 ); #1344 = LINE( '', #2151, #2152 ); #1345 = CURVE_STYLE( '', #2153, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2154 ); #1346 = CIRCLE( '', #2155, 3.10000000000000 ); #1347 = CURVE_STYLE( '', #2156, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2157 ); #1348 = CIRCLE( '', #2158, 3.10000000000000 ); #1349 = CURVE_STYLE( '', #2159, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2160 ); #1350 = LINE( '', #2161, #2162 ); #1351 = CURVE_STYLE( '', #2163, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2164 ); #1352 = LINE( '', #2165, #2166 ); #1353 = POINT_STYLE( ' ', #2167, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2168 ); #1354 = CARTESIAN_POINT( '', ( 7.99999999999980, 16.9999999999995, -50.0000000000000 ) ); #1355 = SURFACE_STYLE_USAGE( .BOTH., #2169 ); #1356 = FACE_OUTER_BOUND( '', #2170, .T. ); #1357 = PLANE( '', #2171 ); #1358 = POINT_STYLE( ' ', #2172, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2173 ); #1359 = CARTESIAN_POINT( '', ( 3.09999999999770, -9.99999999999932, -50.0000000000000 ) ); #1360 = POINT_STYLE( ' ', #2174, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2175 ); #1361 = CARTESIAN_POINT( '', ( -1.49999999999974, -3.86152236891516, 0.000000000000000 ) ); #1362 = CURVE_STYLE( '', #2176, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2177 ); #1363 = CIRCLE( '', #2178, 3.00000000000002 ); #1364 = POINT_STYLE( ' ', #2179, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2180 ); #1365 = CARTESIAN_POINT( '', ( -5.00000000000025, -20.0000000000003, -50.0000000000000 ) ); #1366 = POINT_STYLE( ' ', #2181, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2182 ); #1367 = CARTESIAN_POINT( '', ( -8.00000000000020, 16.9999999999994, -50.0000000000000 ) ); #1368 = CURVE_STYLE( '', #2183, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2184 ); #1369 = LINE( '', #2185, #2186 ); #1370 = SURFACE_STYLE_USAGE( .BOTH., #2187 ); #1371 = FACE_OUTER_BOUND( '', #2188, .T. ); #1372 = CYLINDRICAL_SURFACE( '', #2189, 1.50000000000011 ); #1373 = POINT_STYLE( ' ', #2190, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2191 ); #1374 = CARTESIAN_POINT( '', ( 4.99999999999645, -15.1000000000004, 0.000000000000000 ) ); #1375 = CURVE_STYLE( '', #2192, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2193 ); #1376 = CIRCLE( '', #2194, 0.700000000000007 ); #1377 = CURVE_STYLE( '', #2195, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2196 ); #1378 = CIRCLE( '', #2197, 1.50000000000000 ); #1379 = POINT_STYLE( ' ', #2198, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2199 ); #1380 = CARTESIAN_POINT( '', ( -1.49999999999974, 3.86152236891492, 0.000000000000000 ) ); #1381 = POINT_STYLE( ' ', #2200, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2201 ); #1382 = CARTESIAN_POINT( '', ( 3.09999999999980, 9.99999999999875, -50.0000000000000 ) ); #1383 = POINT_STYLE( ' ', #2202, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2203 ); #1384 = CARTESIAN_POINT( '', ( -6.50000000000406, -16.9999999999985, 0.000000000000000 ) ); #1385 = CURVE_STYLE( '', #2204, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2205 ); #1386 = LINE( '', #2206, #2207 ); #1387 = POINT_STYLE( ' ', #2208, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2209 ); #1388 = CARTESIAN_POINT( '', ( -3.10000000000230, -9.99999999999932, 0.000000000000000 ) ); #1389 = CURVE_STYLE( '', #2210, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2211 ); #1390 = LINE( '', #2212, #2213 ); #1391 = SURFACE_STYLE_USAGE( .BOTH., #2214 ); #1392 = FACE_OUTER_BOUND( '', #2215, .T. ); #1393 = PLANE( '', #2216 ); #1394 = CURVE_STYLE( '', #2217, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2218 ); #1395 = CIRCLE( '', #2219, 1.49999999999987 ); #1396 = SURFACE_STYLE_USAGE( .BOTH., #2220 ); #1397 = FACE_OUTER_BOUND( '', #2221, .T. ); #1398 = PLANE( '', #2222 ); #1399 = POINT_STYLE( ' ', #2223, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2224 ); #1400 = CARTESIAN_POINT( '', ( 6.49999999999332, 17.0000000000028, 0.000000000000000 ) ); #1401 = SURFACE_STYLE_USAGE( .BOTH., #2225 ); #1402 = CLOSED_SHELL( '', ( #449, #525, #657, #665, #385, #471, #519, #413, #677, #727, #381, #437, #799, #645, #821, #421, #355, #409, #767, #327, #577, #467, #637, #509, #883, #343, #835, #803, #595, #329, #529, #781, #639, #751, #625, #671, #815, #493, #359, #747, #823, #713, #643, #807, #833, #453, #591, #451, #511, #521 ) ); #1403 = CURVE_STYLE( '', #2226, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2227 ); #1404 = LINE( '', #2228, #2229 ); #1405 = CURVE_STYLE( '', #2230, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2231 ); #1406 = LINE( '', #2232, #2233 ); #1407 = POINT_STYLE( ' ', #2234, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2235 ); #1408 = CARTESIAN_POINT( '', ( 4.99999999999411, 15.1000000000010, 0.000000000000000 ) ); #1409 = POINT_STYLE( ' ', #2236, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2237 ); #1410 = CARTESIAN_POINT( '', ( 4.99999999999284, 18.5000000000018, -50.0000000000000 ) ); #1411 = CURVE_STYLE( '', #2238, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2239 ); #1412 = LINE( '', #2240, #2241 ); #1413 = SURFACE_STYLE_USAGE( .BOTH., #2242 ); #1414 = FACE_OUTER_BOUND( '', #2243, .T. ); #1415 = CYLINDRICAL_SURFACE( '', #2244, 3.10000000000000 ); #1416 = CURVE_STYLE( '', #2245, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2246 ); #1417 = LINE( '', #2247, #2248 ); #1418 = POINT_STYLE( ' ', #2249, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2250 ); #1419 = CARTESIAN_POINT( '', ( -4.60502525316913, -7.79497474683067, 0.000000000000000 ) ); #1420 = CURVE_STYLE( '', #2251, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2252 ); #1421 = LINE( '', #2253, #2254 ); #1422 = CURVE_STYLE( '', #2255, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2256 ); #1423 = LINE( '', #2257, #2258 ); #1424 = CURVE_STYLE( '', #2259, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2260 ); #1425 = LINE( '', #2261, #2262 ); #1426 = POINT_STYLE( ' ', #2263, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2264 ); #1427 = CARTESIAN_POINT( '', ( -5.00000000000366, -15.0999999999981, 0.000000000000000 ) ); #1428 = SURFACE_STYLE_USAGE( .BOTH., #2265 ); #1429 = FACE_OUTER_BOUND( '', #2266, .T. ); #1430 = PLANE( '', #2267 ); #1431 = POINT_STYLE( ' ', #2268, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2269 ); #1432 = CARTESIAN_POINT( '', ( 2.08578643762698, -5.27573593128812, -50.0000000000000 ) ); #1433 = CURVE_STYLE( '', #2270, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2271 ); #1434 = LINE( '', #2272, #2273 ); #1435 = POINT_STYLE( ' ', #2274, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2275 ); #1436 = CARTESIAN_POINT( '', ( 3.09999999999980, 9.99999999999875, 0.000000000000000 ) ); #1437 = CURVE_STYLE( '', #2276, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2277 ); #1438 = CIRCLE( '', #2278, 3.10000000000000 ); #1439 = CURVE_STYLE( '', #2279, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2280 ); #1440 = LINE( '', #2281, #2282 ); #1441 = CURVE_STYLE( '', #2283, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2284 ); #1442 = LINE( '', #2285, #2286 ); #1443 = POINT_STYLE( ' ', #2287, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2288 ); #1444 = CARTESIAN_POINT( '', ( -8.00000000000020, 16.9999999999994, 0.000000000000000 ) ); #1445 = CURVE_STYLE( '', #2289, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2290 ); #1446 = LINE( '', #2291, #2292 ); #1447 = SURFACE_STYLE_USAGE( .BOTH., #2293 ); #1448 = FACE_OUTER_BOUND( '', #2294, .T. ); #1449 = CYLINDRICAL_SURFACE( '', #2295, 1.49999999999987 ); #1450 = CURVE_STYLE( '', #2296, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2297 ); #1451 = LINE( '', #2298, #2299 ); #1452 = SURFACE_STYLE_USAGE( .BOTH., #2300 ); #1453 = FACE_OUTER_BOUND( '', #2301, .T. ); #1454 = CYLINDRICAL_SURFACE( '', #2302, 1.99999999999983 ); #1455 = CURVE_STYLE( '', #2303, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2304 ); #1456 = CIRCLE( '', #2305, 3.10000000000000 ); #1457 = SURFACE_STYLE_USAGE( .BOTH., #2306 ); #1458 = FACE_OUTER_BOUND( '', #2307, .T. ); #1459 = PLANE( '', #2308 ); #1460 = CURVE_STYLE( '', #2309, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2310 ); #1461 = LINE( '', #2311, #2312 ); #1462 = CURVE_STYLE( '', #2313, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2314 ); #1463 = LINE( '', #2315, #2316 ); #1464 = CURVE_STYLE( '', #2317, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2318 ); #1465 = CIRCLE( '', #2319, 1.99999999999999 ); #1466 = SURFACE_STYLE_USAGE( .BOTH., #2320 ); #1467 = FACE_OUTER_BOUND( '', #2321, .T. ); #1468 = PLANE( '', #2322 ); #1469 = CURVE_STYLE( '', #2323, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2324 ); #1470 = CIRCLE( '', #2325, 1.50000000000002 ); #1471 = CURVE_STYLE( '', #2326, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2327 ); #1472 = CIRCLE( '', #2328, 3.10000000000000 ); #1473 = SURFACE_STYLE_USAGE( .BOTH., #2329 ); #1474 = FACE_OUTER_BOUND( '', #2330, .T. ); #1475 = CYLINDRICAL_SURFACE( '', #2331, 1.50000000000000 ); #1476 = SURFACE_STYLE_USAGE( .BOTH., #2332 ); #1477 = FACE_OUTER_BOUND( '', #2333, .T. ); #1478 = CYLINDRICAL_SURFACE( '', #2334, 1.99999999999999 ); #1479 = POINT_STYLE( ' ', #2335, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2336 ); #1480 = CARTESIAN_POINT( '', ( -5.79999999999970, 4.09999999999991, -50.0000000000000 ) ); #1481 = POINT_STYLE( ' ', #2337, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2338 ); #1482 = CARTESIAN_POINT( '', ( -5.00000000000025, -20.0000000000003, 0.000000000000000 ) ); #1483 = CURVE_STYLE( '', #2339, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2340 ); #1484 = LINE( '', #2341, #2342 ); #1485 = CURVE_STYLE( '', #2343, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2344 ); #1486 = LINE( '', #2345, #2346 ); #1487 = SURFACE_STYLE_USAGE( .BOTH., #2347 ); #1488 = FACE_OUTER_BOUND( '', #2348, .T. ); #1489 = CYLINDRICAL_SURFACE( '', #2349, 0.699999999999993 ); #1490 = SURFACE_STYLE_USAGE( .BOTH., #2350 ); #1491 = FACE_OUTER_BOUND( '', #2351, .T. ); #1492 = PLANE( '', #2352 ); #1493 = CURVE_STYLE( '', #2353, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2354 ); #1494 = CIRCLE( '', #2355, 1.99999999999983 ); #1495 = POINT_STYLE( ' ', #2356, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2357 ); #1496 = CARTESIAN_POINT( '', ( -3.10000000000020, 9.99999999999875, 0.000000000000000 ) ); #1497 = CURVE_STYLE( '', #2358, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2359 ); #1498 = LINE( '', #2360, #2361 ); #1499 = POINT_STYLE( ' ', #2362, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2363 ); #1500 = CARTESIAN_POINT( '', ( -5.79999999999970, 7.29999999999996, 0.000000000000000 ) ); #1501 = CURVE_STYLE( '', #2364, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2365 ); #1502 = LINE( '', #2366, #2367 ); #1503 = CURVE_STYLE( '', #2368, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2369 ); #1504 = LINE( '', #2370, #2371 ); #1505 = POINT_STYLE( ' ', #2372, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2373 ); #1506 = CARTESIAN_POINT( '', ( -1.49999999999974, -3.86152236891516, -50.0000000000000 ) ); #1507 = CURVE_STYLE( '', #2374, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2375 ); #1508 = LINE( '', #2376, #2377 ); #1509 = CURVE_STYLE( '', #2378, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2379 ); #1510 = CIRCLE( '', #2380, 1.49999999999987 ); #1511 = CURVE_STYLE( '', #2381, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2382 ); #1512 = LINE( '', #2383, #2384 ); #1513 = CURVE_STYLE( '', #2385, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2386 ); #1514 = CIRCLE( '', #2387, 1.50000000000000 ); #1515 = CURVE_STYLE( '', #2388, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2389 ); #1516 = LINE( '', #2390, #2391 ); #1517 = CURVE_STYLE( '', #2392, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2393 ); #1518 = LINE( '', #2394, #2395 ); #1519 = POINT_STYLE( ' ', #2396, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2397 ); #1520 = CARTESIAN_POINT( '', ( 5.80000000000021, -7.29999999999971, 0.000000000000000 ) ); #1521 = POINT_STYLE( ' ', #2398, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2399 ); #1522 = CARTESIAN_POINT( '', ( 2.08578643762698, -5.27573593128812, 0.000000000000000 ) ); #1523 = CURVE_STYLE( '', #2400, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2401 ); #1524 = CIRCLE( '', #2402, 0.699999999999994 ); #1525 = POINT_STYLE( ' ', #2403, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2404 ); #1526 = CARTESIAN_POINT( '', ( 4.99999999999974, -20.0000000000005, -50.0000000000000 ) ); #1527 = POINT_STYLE( ' ', #2405, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2406 ); #1528 = CARTESIAN_POINT( '', ( 7.99999999999980, -17.0000000000005, 0.000000000000000 ) ); #1529 = CURVE_STYLE( '', #2407, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2408 ); #1530 = LINE( '', #2409, #2410 ); #1531 = CURVE_STYLE( '', #2411, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2412 ); #1532 = CIRCLE( '', #2413, 0.699999999999994 ); #1533 = CURVE_STYLE( '', #2414, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2415 ); #1534 = LINE( '', #2416, #2417 ); #1535 = CURVE_STYLE( '', #2418, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2419 ); #1536 = CIRCLE( '', #2420, 1.99999999999999 ); #1537 = CURVE_STYLE( '', #2421, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2422 ); #1538 = CIRCLE( '', #2423, 0.700000000000007 ); #1539 = SURFACE_STYLE_USAGE( .BOTH., #2424 ); #1540 = FACE_OUTER_BOUND( '', #2425, .T. ); #1541 = PLANE( '', #2426 ); #1542 = POINT_STYLE( ' ', #2427, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2428 ); #1543 = CARTESIAN_POINT( '', ( 3.09999999999770, -9.99999999999932, 0.000000000000000 ) ); #1544 = POINT_STYLE( ' ', #2429, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2430 ); #1545 = CARTESIAN_POINT( '', ( 4.60502525316969, -7.79497474683038, -50.0000000000000 ) ); #1546 = POINT_STYLE( ' ', #2431, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2432 ); #1547 = CARTESIAN_POINT( '', ( -5.79999999999970, 4.09999999999991, 0.000000000000000 ) ); #1548 = CURVE_STYLE( '', #2433, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2434 ); #1549 = LINE( '', #2435, #2436 ); #1550 = POINT_STYLE( ' ', #2437, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2438 ); #1551 = CARTESIAN_POINT( '', ( -4.60502525316910, 7.79497474683054, 0.000000000000000 ) ); #1552 = POINT_STYLE( ' ', #2439, POSITIVE_LENGTH_MEASURE( 1.00000000000000E-006 ), #2440 ); #1553 = CARTESIAN_POINT( '', ( -5.79999999999970, -4.10000000000014, 0.000000000000000 ) ); #1554 = PRODUCT_CONTEXT( '', #301, 'mechanical' ); #1555 = PRODUCT_DEFINITION_FORMATION_WITH_SPECIFIED_SOURCE( ' ', 'NONE', #896, .NOT_KNOWN. ); #1556 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) ); #1557 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #1558 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #1559 = ( NAMED_UNIT( #904 )LENGTH_UNIT( )SI_UNIT( .MILLI., .METRE. ) ); #1560 = PRE_DEFINED_MARKER( '' ); #1561 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1562 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1563 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1564 = CARTESIAN_POINT( '', ( -6.50000000000395, -16.5999999999976, 0.000000000000000 ) ); #1565 = VECTOR( '', #2442, 1.00000000000000 ); #1566 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1567 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1568 = CARTESIAN_POINT( '', ( 2.08578643762697, -5.27573593128812, -50.0000000000000 ) ); #1569 = VECTOR( '', #2443, 1.00000000000000 ); #1570 = PRE_DEFINED_MARKER( '' ); #1571 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1572 = PRE_DEFINED_MARKER( '' ); #1573 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1574 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1575 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1576 = CARTESIAN_POINT( '', ( 7.99999999999980, -17.0000000000005, 0.000000000000000 ) ); #1577 = VECTOR( '', #2444, 1.00000000000000 ); #1578 = SURFACE_SIDE_STYLE( '', ( #2445 ) ); #1579 = EDGE_LOOP( '', ( #2446, #2447, #2448, #2449 ) ); #1580 = AXIS2_PLACEMENT_3D( '', #2450, #2451, #2452 ); #1581 = SURFACE_SIDE_STYLE( '', ( #2453 ) ); #1582 = EDGE_LOOP( '', ( #2454, #2455, #2456, #2457 ) ); #1583 = AXIS2_PLACEMENT_3D( '', #2458, #2459, #2460 ); #1584 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1585 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1586 = CARTESIAN_POINT( '', ( 4.99999999999645, -15.1000000000004, 0.000000000000000 ) ); #1587 = VECTOR( '', #2461, 1.00000000000000 ); #1588 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1589 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1590 = CARTESIAN_POINT( '', ( -5.00000000000594, 15.0999999999973, 0.000000000000000 ) ); #1591 = VECTOR( '', #2462, 1.00000000000000 ); #1592 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1593 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1594 = CARTESIAN_POINT( '', ( -2.08578643762666, -5.27573593128826, -50.0000000000000 ) ); #1595 = VECTOR( '', #2463, 1.00000000000000 ); #1596 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1597 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1598 = CARTESIAN_POINT( '', ( 4.99999999999980, 19.9999999999995, 0.000000000000000 ) ); #1599 = VECTOR( '', #2464, 1.00000000000000 ); #1600 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1601 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1602 = CARTESIAN_POINT( '', ( 3.09999999999980, 9.99999999999875, 0.000000000000000 ) ); #1603 = VECTOR( '', #2465, 1.00000000000000 ); #1604 = PRE_DEFINED_MARKER( '' ); #1605 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1606 = SURFACE_SIDE_STYLE( '', ( #2466 ) ); #1607 = EDGE_LOOP( '', ( #2467, #2468, #2469, #2470 ) ); #1608 = AXIS2_PLACEMENT_3D( '', #2471, #2472, #2473 ); #1609 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1610 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1611 = CARTESIAN_POINT( '', ( -8.00000000000020, -17.0000000000003, 0.000000000000000 ) ); #1612 = VECTOR( '', #2474, 1.00000000000000 ); #1613 = PRE_DEFINED_MARKER( '' ); #1614 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1615 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1616 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1617 = CARTESIAN_POINT( '', ( -6.50000000000395, -16.5999999999976, -50.0000000000000 ) ); #1618 = VECTOR( '', #2475, 1.00000000000000 ); #1619 = PRE_DEFINED_MARKER( '' ); #1620 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1621 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1622 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1623 = CARTESIAN_POINT( '', ( 4.99999999999645, -15.1000000000004, 0.000000000000000 ) ); #1624 = VECTOR( '', #2476, 1.00000000000000 ); #1625 = SURFACE_SIDE_STYLE( '', ( #2477 ) ); #1626 = EDGE_LOOP( '', ( #2478, #2479, #2480, #2481 ) ); #1627 = AXIS2_PLACEMENT_3D( '', #2482, #2483, #2484 ); #1628 = PRE_DEFINED_MARKER( '' ); #1629 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1630 = SURFACE_SIDE_STYLE( '', ( #2485 ) ); #1631 = EDGE_LOOP( '', ( #2486, #2487, #2488, #2489 ) ); #1632 = AXIS2_PLACEMENT_3D( '', #2490, #2491, #2492 ); #1633 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1634 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1635 = CARTESIAN_POINT( '', ( -5.00000000000714, 18.4999999999982, 0.000000000000000 ) ); #1636 = VECTOR( '', #2493, 1.00000000000000 ); #1637 = PRE_DEFINED_MARKER( '' ); #1638 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1639 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1640 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1641 = CARTESIAN_POINT( '', ( 6.49999999999605, -16.6000000000008, 0.000000000000000 ) ); #1642 = VECTOR( '', #2494, 1.00000000000000 ); #1643 = PRE_DEFINED_MARKER( '' ); #1644 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1645 = PRE_DEFINED_MARKER( '' ); #1646 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1647 = PRE_DEFINED_MARKER( '' ); #1648 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1649 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1650 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1651 = AXIS2_PLACEMENT_3D( '', #2495, #2496, #2497 ); #1652 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1653 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1654 = CARTESIAN_POINT( '', ( -6.50000000000668, 16.9999999999975, -50.0000000000000 ) ); #1655 = VECTOR( '', #2498, 1.00000000000000 ); #1656 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1657 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1658 = AXIS2_PLACEMENT_3D( '', #2499, #2500, #2501 ); #1659 = PRE_DEFINED_MARKER( '' ); #1660 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1661 = SURFACE_SIDE_STYLE( '', ( #2502 ) ); #1662 = EDGE_LOOP( '', ( #2503, #2504, #2505, #2506 ) ); #1663 = AXIS2_PLACEMENT_3D( '', #2507, #2508, #2509 ); #1664 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1665 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1666 = CARTESIAN_POINT( '', ( -7.99999999999974, 4.09999999999991, 0.000000000000000 ) ); #1667 = VECTOR( '', #2510, 1.00000000000000 ); #1668 = SURFACE_SIDE_STYLE( '', ( #2511 ) ); #1669 = EDGE_LOOP( '', ( #2512, #2513, #2514, #2515 ) ); #1670 = AXIS2_PLACEMENT_3D( '', #2516, #2517, #2518 ); #1671 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1672 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1673 = CARTESIAN_POINT( '', ( -5.79999999999970, 4.09999999999991, 0.000000000000000 ) ); #1674 = VECTOR( '', #2519, 1.00000000000000 ); #1675 = PRE_DEFINED_MARKER( '' ); #1676 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1677 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1678 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1679 = AXIS2_PLACEMENT_3D( '', #2520, #2521, #2522 ); #1680 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1681 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1682 = CARTESIAN_POINT( '', ( 6.49999999999355, 16.6000000000019, 0.000000000000000 ) ); #1683 = VECTOR( '', #2523, 1.00000000000000 ); #1684 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1685 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1686 = AXIS2_PLACEMENT_3D( '', #2524, #2525, #2526 ); #1687 = PRE_DEFINED_MARKER( '' ); #1688 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1689 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1690 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1691 = AXIS2_PLACEMENT_3D( '', #2527, #2528, #2529 ); #1692 = PRE_DEFINED_MARKER( '' ); #1693 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1694 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1695 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1696 = AXIS2_PLACEMENT_3D( '', #2530, #2531, #2532 ); #1697 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1698 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1699 = CARTESIAN_POINT( '', ( 4.99999999999284, 18.5000000000018, 0.000000000000000 ) ); #1700 = VECTOR( '', #2533, 1.00000000000000 ); #1701 = PRE_DEFINED_MARKER( '' ); #1702 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1703 = SURFACE_SIDE_STYLE( '', ( #2534 ) ); #1704 = EDGE_LOOP( '', ( #2535, #2536, #2537, #2538 ) ); #1705 = AXIS2_PLACEMENT_3D( '', #2539, #2540, #2541 ); #1706 = PRE_DEFINED_MARKER( '' ); #1707 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1708 = SURFACE_SIDE_STYLE( '', ( #2542 ) ); #1709 = EDGE_LOOP( '', ( #2543, #2544, #2545, #2546 ) ); #1710 = AXIS2_PLACEMENT_3D( '', #2547, #2548, #2549 ); #1711 = PRE_DEFINED_MARKER( '' ); #1712 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1713 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1714 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1715 = AXIS2_PLACEMENT_3D( '', #2550, #2551, #2552 ); #1716 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1717 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1718 = CARTESIAN_POINT( '', ( -6.50000000000395, -16.5999999999976, 0.000000000000000 ) ); #1719 = VECTOR( '', #2553, 1.00000000000000 ); #1720 = SURFACE_SIDE_STYLE( '', ( #2554 ) ); #1721 = EDGE_LOOP( '', ( #2555, #2556, #2557, #2558 ) ); #1722 = AXIS2_PLACEMENT_3D( '', #2559, #2560, #2561 ); #1723 = PRE_DEFINED_MARKER( '' ); #1724 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1725 = PRE_DEFINED_MARKER( '' ); #1726 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1727 = PRE_DEFINED_MARKER( '' ); #1728 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1729 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1730 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1731 = AXIS2_PLACEMENT_3D( '', #2562, #2563, #2564 ); #1732 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1733 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1734 = CARTESIAN_POINT( '', ( -5.79999999999970, 4.09999999999991, 0.000000000000000 ) ); #1735 = VECTOR( '', #2565, 1.00000000000000 ); #1736 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1737 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1738 = CARTESIAN_POINT( '', ( 6.49999999999593, -17.0000000000016, 0.000000000000000 ) ); #1739 = VECTOR( '', #2566, 1.00000000000000 ); #1740 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1741 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1742 = CARTESIAN_POINT( '', ( -1.49999999999974, -3.86152236891516, 0.000000000000000 ) ); #1743 = VECTOR( '', #2567, 1.00000000000000 ); #1744 = SURFACE_SIDE_STYLE( '', ( #2568 ) ); #1745 = EDGE_LOOP( '', ( #2569, #2570, #2571, #2572 ) ); #1746 = AXIS2_PLACEMENT_3D( '', #2573, #2574, #2575 ); #1747 = PRE_DEFINED_MARKER( '' ); #1748 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1749 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1750 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1751 = CARTESIAN_POINT( '', ( -4.60502525316913, -7.79497474683067, 0.000000000000000 ) ); #1752 = VECTOR( '', #2576, 1.00000000000000 ); #1753 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1754 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1755 = CARTESIAN_POINT( '', ( -8.00000000000020, -4.10000000000036, 0.000000000000000 ) ); #1756 = VECTOR( '', #2577, 1.00000000000000 ); #1757 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1758 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1759 = CARTESIAN_POINT( '', ( -3.10000000000230, -9.99999999999932, 0.000000000000000 ) ); #1760 = VECTOR( '', #2578, 1.00000000000000 ); #1761 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1762 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1763 = CARTESIAN_POINT( '', ( -5.79999999999970, 7.29999999999996, 0.000000000000000 ) ); #1764 = VECTOR( '', #2579, 1.00000000000000 ); #1765 = SURFACE_SIDE_STYLE( '', ( #2580 ) ); #1766 = EDGE_LOOP( '', ( #2581, #2582, #2583, #2584 ) ); #1767 = AXIS2_PLACEMENT_3D( '', #2585, #2586, #2587 ); #1768 = SURFACE_SIDE_STYLE( '', ( #2588 ) ); #1769 = EDGE_LOOP( '', ( #2589, #2590, #2591, #2592 ) ); #1770 = AXIS2_PLACEMENT_3D( '', #2593, #2594, #2595 ); #1771 = SURFACE_SIDE_STYLE( '', ( #2596 ) ); #1772 = EDGE_LOOP( '', ( #2597, #2598, #2599, #2600 ) ); #1773 = AXIS2_PLACEMENT_3D( '', #2601, #2602, #2603 ); #1774 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1775 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1776 = AXIS2_PLACEMENT_3D( '', #2604, #2605, #2606 ); #1777 = PRE_DEFINED_MARKER( '' ); #1778 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1779 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1780 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1781 = CARTESIAN_POINT( '', ( 4.60502525316870, 7.79497474683076, 0.000000000000000 ) ); #1782 = VECTOR( '', #2607, 1.00000000000000 ); #1783 = PRE_DEFINED_MARKER( '' ); #1784 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1785 = PRE_DEFINED_MARKER( '' ); #1786 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1787 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1788 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1789 = AXIS2_PLACEMENT_3D( '', #2608, #2609, #2610 ); #1790 = SURFACE_SIDE_STYLE( '', ( #2611 ) ); #1791 = EDGE_LOOP( '', ( #2612, #2613, #2614, #2615 ) ); #1792 = AXIS2_PLACEMENT_3D( '', #2616, #2617, #2618 ); #1793 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1794 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1795 = AXIS2_PLACEMENT_3D( '', #2619, #2620, #2621 ); #1796 = SURFACE_SIDE_STYLE( '', ( #2622 ) ); #1797 = EDGE_LOOP( '', ( #2623, #2624, #2625, #2626 ) ); #1798 = AXIS2_PLACEMENT_3D( '', #2627, #2628, #2629 ); #1799 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1800 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1801 = CARTESIAN_POINT( '', ( 2.08578643762697, -5.27573593128812, 0.000000000000000 ) ); #1802 = VECTOR( '', #2630, 1.00000000000000 ); #1803 = PRE_DEFINED_MARKER( '' ); #1804 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1805 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1806 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1807 = AXIS2_PLACEMENT_3D( '', #2631, #2632, #2633 ); #1808 = PRE_DEFINED_MARKER( '' ); #1809 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1810 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1811 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1812 = CARTESIAN_POINT( '', ( 6.49999999999593, -17.0000000000016, 0.000000000000000 ) ); #1813 = VECTOR( '', #2634, 1.00000000000000 ); #1814 = PRE_DEFINED_MARKER( '' ); #1815 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1816 = PRE_DEFINED_MARKER( '' ); #1817 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1818 = PRE_DEFINED_MARKER( '' ); #1819 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1820 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1821 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1822 = CARTESIAN_POINT( '', ( 5.80000000000021, -7.29999999999971, 0.000000000000000 ) ); #1823 = VECTOR( '', #2635, 1.00000000000000 ); #1824 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1825 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1826 = CARTESIAN_POINT( '', ( -6.50000000000668, 16.9999999999975, 0.000000000000000 ) ); #1827 = VECTOR( '', #2636, 1.00000000000000 ); #1828 = SURFACE_SIDE_STYLE( '', ( #2637 ) ); #1829 = EDGE_LOOP( '', ( #2638, #2639, #2640, #2641 ) ); #1830 = AXIS2_PLACEMENT_3D( '', #2642, #2643, #2644 ); #1831 = PRE_DEFINED_MARKER( '' ); #1832 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1833 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1834 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1835 = AXIS2_PLACEMENT_3D( '', #2645, #2646, #2647 ); #1836 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1837 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1838 = CARTESIAN_POINT( '', ( 6.49999999999355, 16.6000000000019, 0.000000000000000 ) ); #1839 = VECTOR( '', #2648, 1.00000000000000 ); #1840 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1841 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1842 = AXIS2_PLACEMENT_3D( '', #2649, #2650, #2651 ); #1843 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1844 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1845 = AXIS2_PLACEMENT_3D( '', #2652, #2653, #2654 ); #1846 = PRE_DEFINED_MARKER( '' ); #1847 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1848 = PRE_DEFINED_MARKER( '' ); #1849 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1850 = SURFACE_SIDE_STYLE( '', ( #2655 ) ); #1851 = EDGE_LOOP( '', ( #2656, #2657, #2658, #2659 ) ); #1852 = AXIS2_PLACEMENT_3D( '', #2660, #2661, #2662 ); #1853 = SURFACE_SIDE_STYLE( '', ( #2663 ) ); #1854 = EDGE_LOOP( '', ( #2664, #2665, #2666, #2667, #2668, #2669, #2670, #2671, #2672, #2673, #2674, #2675, #2676, #2677, #2678, #2679, #2680, #2681, #2682, #2683 ) ); #1855 = EDGE_LOOP( '', ( #2684, #2685, #2686, #2687, #2688, #2689, #2690, #2691 ) ); #1856 = EDGE_LOOP( '', ( #2692, #2693 ) ); #1857 = EDGE_LOOP( '', ( #2694, #2695 ) ); #1858 = EDGE_LOOP( '', ( #2696, #2697, #2698, #2699, #2700, #2701, #2702, #2703 ) ); #1859 = EDGE_LOOP( '', ( #2704, #2705, #2706, #2707, #2708, #2709, #2710, #2711 ) ); #1860 = AXIS2_PLACEMENT_3D( '', #2712, #2713, #2714 ); #1861 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1862 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1863 = CARTESIAN_POINT( '', ( 1.49999999999952, 3.86152236891505, -50.0000000000000 ) ); #1864 = VECTOR( '', #2715, 1.00000000000000 ); #1865 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1866 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1867 = AXIS2_PLACEMENT_3D( '', #2716, #2717, #2718 ); #1868 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1869 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1870 = AXIS2_PLACEMENT_3D( '', #2719, #2720, #2721 ); #1871 = SURFACE_SIDE_STYLE( '', ( #2722 ) ); #1872 = EDGE_LOOP( '', ( #2723, #2724, #2725, #2726 ) ); #1873 = AXIS2_PLACEMENT_3D( '', #2727, #2728, #2729 ); #1874 = SURFACE_SIDE_STYLE( '', ( #2730 ) ); #1875 = EDGE_LOOP( '', ( #2731, #2732, #2733, #2734, #2735, #2736, #2737, #2738, #2739, #2740, #2741, #2742, #2743, #2744, #2745, #2746, #2747, #2748, #2749, #2750 ) ); #1876 = EDGE_LOOP( '', ( #2751, #2752, #2753, #2754, #2755, #2756, #2757, #2758 ) ); #1877 = EDGE_LOOP( '', ( #2759, #2760 ) ); #1878 = EDGE_LOOP( '', ( #2761, #2762 ) ); #1879 = EDGE_LOOP( '', ( #2763, #2764, #2765, #2766, #2767, #2768, #2769, #2770 ) ); #1880 = EDGE_LOOP( '', ( #2771, #2772, #2773, #2774, #2775, #2776, #2777, #2778 ) ); #1881 = AXIS2_PLACEMENT_3D( '', #2779, #2780, #2781 ); #1882 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1883 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1884 = AXIS2_PLACEMENT_3D( '', #2782, #2783, #2784 ); #1885 = SURFACE_SIDE_STYLE( '', ( #2785 ) ); #1886 = EDGE_LOOP( '', ( #2786, #2787, #2788, #2789 ) ); #1887 = AXIS2_PLACEMENT_3D( '', #2790, #2791, #2792 ); #1888 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1889 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1890 = AXIS2_PLACEMENT_3D( '', #2793, #2794, #2795 ); #1891 = SURFACE_SIDE_STYLE( '', ( #2796 ) ); #1892 = EDGE_LOOP( '', ( #2797, #2798, #2799, #2800 ) ); #1893 = AXIS2_PLACEMENT_3D( '', #2801, #2802, #2803 ); #1894 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1895 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1896 = CARTESIAN_POINT( '', ( -6.50000000000406, -16.9999999999985, 0.000000000000000 ) ); #1897 = VECTOR( '', #2804, 1.00000000000000 ); #1898 = PRE_DEFINED_MARKER( '' ); #1899 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1900 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1901 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1902 = CARTESIAN_POINT( '', ( 6.49999999999355, 16.6000000000019, -50.0000000000000 ) ); #1903 = VECTOR( '', #2805, 1.00000000000000 ); #1904 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1905 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1906 = AXIS2_PLACEMENT_3D( '', #2806, #2807, #2808 ); #1907 = PRE_DEFINED_MARKER( '' ); #1908 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1909 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1910 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1911 = CARTESIAN_POINT( '', ( -5.00000000000025, -20.0000000000003, 0.000000000000000 ) ); #1912 = VECTOR( '', #2809, 1.00000000000000 ); #1913 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1914 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1915 = CARTESIAN_POINT( '', ( -5.00000000000025, -20.0000000000003, 0.000000000000000 ) ); #1916 = VECTOR( '', #2810, 1.00000000000000 ); #1917 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1918 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1919 = CARTESIAN_POINT( '', ( 4.60502525316870, 7.79497474683076, 0.000000000000000 ) ); #1920 = VECTOR( '', #2811, 1.00000000000000 ); #1921 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1922 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1923 = CARTESIAN_POINT( '', ( 4.99999999999980, 19.9999999999995, 0.000000000000000 ) ); #1924 = VECTOR( '', #2812, 1.00000000000000 ); #1925 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1926 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1927 = CARTESIAN_POINT( '', ( -8.00000000000020, 16.9999999999994, 0.000000000000000 ) ); #1928 = VECTOR( '', #2813, 1.00000000000000 ); #1929 = PRE_DEFINED_MARKER( '' ); #1930 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1931 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1932 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1933 = CARTESIAN_POINT( '', ( 4.99999999999284, 18.5000000000018, -50.0000000000000 ) ); #1934 = VECTOR( '', #2814, 1.00000000000000 ); #1935 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1936 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1937 = AXIS2_PLACEMENT_3D( '', #2815, #2816, #2817 ); #1938 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1939 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1940 = CARTESIAN_POINT( '', ( -8.00000000000020, 16.9999999999994, -50.0000000000000 ) ); #1941 = VECTOR( '', #2818, 1.00000000000000 ); #1942 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1943 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1944 = CARTESIAN_POINT( '', ( -5.79999999999970, -7.30000000000009, -50.0000000000000 ) ); #1945 = VECTOR( '', #2819, 1.00000000000000 ); #1946 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1947 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1948 = CARTESIAN_POINT( '', ( -5.79999999999970, -4.10000000000014, 0.000000000000000 ) ); #1949 = VECTOR( '', #2820, 1.00000000000000 ); #1950 = PRE_DEFINED_MARKER( '' ); #1951 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1952 = PRE_DEFINED_MARKER( '' ); #1953 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1954 = PRE_DEFINED_MARKER( '' ); #1955 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1956 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1957 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1958 = CARTESIAN_POINT( '', ( -6.50000000000651, 16.5999999999967, 0.000000000000000 ) ); #1959 = VECTOR( '', #2821, 1.00000000000000 ); #1960 = PRE_DEFINED_MARKER( '' ); #1961 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1962 = PRE_DEFINED_MARKER( '' ); #1963 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1964 = PRE_DEFINED_MARKER( '' ); #1965 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1966 = SURFACE_SIDE_STYLE( '', ( #2822 ) ); #1967 = EDGE_LOOP( '', ( #2823, #2824, #2825, #2826 ) ); #1968 = AXIS2_PLACEMENT_3D( '', #2827, #2828, #2829 ); #1969 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1970 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1971 = CARTESIAN_POINT( '', ( -5.00000000000594, 15.0999999999973, 0.000000000000000 ) ); #1972 = VECTOR( '', #2830, 1.00000000000000 ); #1973 = PRE_DEFINED_MARKER( '' ); #1974 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1975 = PRE_DEFINED_MARKER( '' ); #1976 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1977 = PRE_DEFINED_MARKER( '' ); #1978 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1979 = PRE_DEFINED_MARKER( '' ); #1980 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1981 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1982 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1983 = CARTESIAN_POINT( '', ( -5.79999999999970, -4.10000000000014, 0.000000000000000 ) ); #1984 = VECTOR( '', #2831, 1.00000000000000 ); #1985 = SURFACE_SIDE_STYLE( '', ( #2832 ) ); #1986 = EDGE_LOOP( '', ( #2833, #2834, #2835, #2836 ) ); #1987 = AXIS2_PLACEMENT_3D( '', #2837, #2838, #2839 ); #1988 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1989 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1990 = CARTESIAN_POINT( '', ( -5.00000000000025, -20.0000000000003, -50.0000000000000 ) ); #1991 = VECTOR( '', #2840, 1.00000000000000 ); #1992 = SURFACE_SIDE_STYLE( '', ( #2841 ) ); #1993 = EDGE_LOOP( '', ( #2842, #2843, #2844, #2845 ) ); #1994 = AXIS2_PLACEMENT_3D( '', #2846, #2847, #2848 ); #1995 = PRE_DEFINED_MARKER( '' ); #1996 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1997 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #1998 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #1999 = CARTESIAN_POINT( '', ( -1.49999999999974, 3.86152236891492, 0.000000000000000 ) ); #2000 = VECTOR( '', #2849, 1.00000000000000 ); #2001 = PRE_DEFINED_MARKER( '' ); #2002 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2003 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2004 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2005 = CARTESIAN_POINT( '', ( 5.79999999999930, 7.30000000000025, 0.000000000000000 ) ); #2006 = VECTOR( '', #2850, 1.00000000000000 ); #2007 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2008 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2009 = CARTESIAN_POINT( '', ( 7.99999999999980, -17.0000000000005, 0.000000000000000 ) ); #2010 = VECTOR( '', #2851, 1.00000000000000 ); #2011 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2012 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2013 = AXIS2_PLACEMENT_3D( '', #2852, #2853, #2854 ); #2014 = PRE_DEFINED_MARKER( '' ); #2015 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2016 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2017 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2018 = AXIS2_PLACEMENT_3D( '', #2855, #2856, #2857 ); #2019 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2020 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2021 = CARTESIAN_POINT( '', ( -5.79999999999970, -7.30000000000009, 0.000000000000000 ) ); #2022 = VECTOR( '', #2858, 1.00000000000000 ); #2023 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2024 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2025 = CARTESIAN_POINT( '', ( -5.79999999999970, -7.30000000000009, 0.000000000000000 ) ); #2026 = VECTOR( '', #2859, 1.00000000000000 ); #2027 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2028 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2029 = CARTESIAN_POINT( '', ( -8.00000000000020, -4.10000000000036, -50.0000000000000 ) ); #2030 = VECTOR( '', #2860, 1.00000000000000 ); #2031 = PRE_DEFINED_MARKER( '' ); #2032 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2033 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2034 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2035 = CARTESIAN_POINT( '', ( -6.50000000000668, 16.9999999999975, 0.000000000000000 ) ); #2036 = VECTOR( '', #2861, 1.00000000000000 ); #2037 = PRE_DEFINED_MARKER( '' ); #2038 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2039 = SURFACE_SIDE_STYLE( '', ( #2862 ) ); #2040 = EDGE_LOOP( '', ( #2863, #2864, #2865, #2866 ) ); #2041 = AXIS2_PLACEMENT_3D( '', #2867, #2868, #2869 ); #2042 = PRE_DEFINED_MARKER( '' ); #2043 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2044 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2045 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2046 = AXIS2_PLACEMENT_3D( '', #2870, #2871, #2872 ); #2047 = PRE_DEFINED_MARKER( '' ); #2048 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2049 = PRE_DEFINED_MARKER( '' ); #2050 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2051 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2052 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2053 = CARTESIAN_POINT( '', ( -5.79999999999970, -4.10000000000014, -50.0000000000000 ) ); #2054 = VECTOR( '', #2873, 1.00000000000000 ); #2055 = SURFACE_SIDE_STYLE( '', ( #2874 ) ); #2056 = EDGE_LOOP( '', ( #2875, #2876, #2877, #2878 ) ); #2057 = AXIS2_PLACEMENT_3D( '', #2879, #2880, #2881 ); #2058 = SURFACE_SIDE_STYLE( '', ( #2882 ) ); #2059 = EDGE_LOOP( '', ( #2883, #2884, #2885, #2886 ) ); #2060 = AXIS2_PLACEMENT_3D( '', #2887, #2888, #2889 ); #2061 = PRE_DEFINED_MARKER( '' ); #2062 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2063 = SURFACE_SIDE_STYLE( '', ( #2890 ) ); #2064 = EDGE_LOOP( '', ( #2891, #2892, #2893, #2894 ) ); #2065 = AXIS2_PLACEMENT_3D( '', #2895, #2896, #2897 ); #2066 = SURFACE_SIDE_STYLE( '', ( #2898 ) ); #2067 = EDGE_LOOP( '', ( #2899, #2900, #2901, #2902 ) ); #2068 = AXIS2_PLACEMENT_3D( '', #2903, #2904, #2905 ); #2069 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2070 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2071 = AXIS2_PLACEMENT_3D( '', #2906, #2907, #2908 ); #2072 = PRE_DEFINED_MARKER( '' ); #2073 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2074 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2075 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2076 = AXIS2_PLACEMENT_3D( '', #2909, #2910, #2911 ); #2077 = PRE_DEFINED_MARKER( '' ); #2078 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2079 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2080 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2081 = AXIS2_PLACEMENT_3D( '', #2912, #2913, #2914 ); #2082 = SURFACE_SIDE_STYLE( '', ( #2915 ) ); #2083 = EDGE_LOOP( '', ( #2916, #2917, #2918, #2919 ) ); #2084 = AXIS2_PLACEMENT_3D( '', #2920, #2921, #2922 ); #2085 = PRE_DEFINED_MARKER( '' ); #2086 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2087 = PRE_DEFINED_MARKER( '' ); #2088 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2089 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2090 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2091 = AXIS2_PLACEMENT_3D( '', #2923, #2924, #2925 ); #2092 = SURFACE_SIDE_STYLE( '', ( #2926 ) ); #2093 = EDGE_LOOP( '', ( #2927, #2928, #2929, #2930 ) ); #2094 = AXIS2_PLACEMENT_3D( '', #2931, #2932, #2933 ); #2095 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2096 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2097 = CARTESIAN_POINT( '', ( 7.99999999999980, 16.9999999999995, 0.000000000000000 ) ); #2098 = VECTOR( '', #2934, 1.00000000000000 ); #2099 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2100 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2101 = CARTESIAN_POINT( '', ( 4.99999999999411, 15.1000000000010, 0.000000000000000 ) ); #2102 = VECTOR( '', #2935, 1.00000000000000 ); #2103 = SURFACE_SIDE_STYLE( '', ( #2936 ) ); #2104 = EDGE_LOOP( '', ( #2937, #2938, #2939, #2940 ) ); #2105 = AXIS2_PLACEMENT_3D( '', #2941, #2942, #2943 ); #2106 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2107 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2108 = CARTESIAN_POINT( '', ( 6.49999999999593, -17.0000000000016, -50.0000000000000 ) ); #2109 = VECTOR( '', #2944, 1.00000000000000 ); #2110 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2111 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2112 = CARTESIAN_POINT( '', ( 4.60502525316870, 7.79497474683076, -50.0000000000000 ) ); #2113 = VECTOR( '', #2945, 1.00000000000000 ); #2114 = SURFACE_SIDE_STYLE( '', ( #2946 ) ); #2115 = EDGE_LOOP( '', ( #2947, #2948, #2949, #2950 ) ); #2116 = AXIS2_PLACEMENT_3D( '', #2951, #2952, #2953 ); #2117 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2118 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2119 = AXIS2_PLACEMENT_3D( '', #2954, #2955, #2956 ); #2120 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2121 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2122 = CARTESIAN_POINT( '', ( -5.00000000000440, -18.4999999999989, 0.000000000000000 ) ); #2123 = VECTOR( '', #2957, 1.00000000000000 ); #2124 = PRE_DEFINED_MARKER( '' ); #2125 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2126 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2127 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2128 = CARTESIAN_POINT( '', ( 7.99999999999980, -17.0000000000005, -50.0000000000000 ) ); #2129 = VECTOR( '', #2958, 1.00000000000000 ); #2130 = PRE_DEFINED_MARKER( '' ); #2131 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2132 = PRE_DEFINED_MARKER( '' ); #2133 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2134 = PRE_DEFINED_MARKER( '' ); #2135 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2136 = PRE_DEFINED_MARKER( '' ); #2137 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2138 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2139 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2140 = CARTESIAN_POINT( '', ( -1.49999999999974, 3.86152236891492, -50.0000000000000 ) ); #2141 = VECTOR( '', #2959, 1.00000000000000 ); #2142 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2143 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2144 = CARTESIAN_POINT( '', ( -2.08578643762666, -5.27573593128826, 0.000000000000000 ) ); #2145 = VECTOR( '', #2960, 1.00000000000000 ); #2146 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2147 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2148 = AXIS2_PLACEMENT_3D( '', #2961, #2962, #2963 ); #2149 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2150 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2151 = CARTESIAN_POINT( '', ( -8.00000000000020, -4.10000000000036, 0.000000000000000 ) ); #2152 = VECTOR( '', #2964, 1.00000000000000 ); #2153 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2154 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2155 = AXIS2_PLACEMENT_3D( '', #2965, #2966, #2967 ); #2156 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2157 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2158 = AXIS2_PLACEMENT_3D( '', #2968, #2969, #2970 ); #2159 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2160 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2161 = CARTESIAN_POINT( '', ( 4.99999999999974, -20.0000000000005, 0.000000000000000 ) ); #2162 = VECTOR( '', #2971, 1.00000000000000 ); #2163 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2164 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2165 = CARTESIAN_POINT( '', ( -4.60502525316910, 7.79497474683054, 0.000000000000000 ) ); #2166 = VECTOR( '', #2972, 1.00000000000000 ); #2167 = PRE_DEFINED_MARKER( '' ); #2168 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2169 = SURFACE_SIDE_STYLE( '', ( #2973 ) ); #2170 = EDGE_LOOP( '', ( #2974, #2975, #2976, #2977 ) ); #2171 = AXIS2_PLACEMENT_3D( '', #2978, #2979, #2980 ); #2172 = PRE_DEFINED_MARKER( '' ); #2173 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2174 = PRE_DEFINED_MARKER( '' ); #2175 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2176 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2177 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2178 = AXIS2_PLACEMENT_3D( '', #2981, #2982, #2983 ); #2179 = PRE_DEFINED_MARKER( '' ); #2180 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2181 = PRE_DEFINED_MARKER( '' ); #2182 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2183 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2184 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2185 = CARTESIAN_POINT( '', ( -5.00000000000440, -18.4999999999989, 0.000000000000000 ) ); #2186 = VECTOR( '', #2984, 1.00000000000000 ); #2187 = SURFACE_SIDE_STYLE( '', ( #2985 ) ); #2188 = EDGE_LOOP( '', ( #2986, #2987, #2988, #2989 ) ); #2189 = AXIS2_PLACEMENT_3D( '', #2990, #2991, #2992 ); #2190 = PRE_DEFINED_MARKER( '' ); #2191 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2192 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2193 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2194 = AXIS2_PLACEMENT_3D( '', #2993, #2994, #2995 ); #2195 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2196 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2197 = AXIS2_PLACEMENT_3D( '', #2996, #2997, #2998 ); #2198 = PRE_DEFINED_MARKER( '' ); #2199 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2200 = PRE_DEFINED_MARKER( '' ); #2201 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2202 = PRE_DEFINED_MARKER( '' ); #2203 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2204 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2205 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2206 = CARTESIAN_POINT( '', ( -2.08578643762666, -5.27573593128826, 0.000000000000000 ) ); #2207 = VECTOR( '', #2999, 1.00000000000000 ); #2208 = PRE_DEFINED_MARKER( '' ); #2209 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2210 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2211 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2212 = CARTESIAN_POINT( '', ( 2.08578643762698, -5.27573593128812, 0.000000000000000 ) ); #2213 = VECTOR( '', #3000, 1.00000000000000 ); #2214 = SURFACE_SIDE_STYLE( '', ( #3001 ) ); #2215 = EDGE_LOOP( '', ( #3002, #3003, #3004, #3005 ) ); #2216 = AXIS2_PLACEMENT_3D( '', #3006, #3007, #3008 ); #2217 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2218 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2219 = AXIS2_PLACEMENT_3D( '', #3009, #3010, #3011 ); #2220 = SURFACE_SIDE_STYLE( '', ( #3012 ) ); #2221 = EDGE_LOOP( '', ( #3013, #3014, #3015, #3016 ) ); #2222 = AXIS2_PLACEMENT_3D( '', #3017, #3018, #3019 ); #2223 = PRE_DEFINED_MARKER( '' ); #2224 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2225 = SURFACE_SIDE_STYLE( '', ( #3020 ) ); #2226 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2227 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2228 = CARTESIAN_POINT( '', ( -8.00000000000020, 16.9999999999994, 0.000000000000000 ) ); #2229 = VECTOR( '', #3021, 1.00000000000000 ); #2230 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2231 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2232 = CARTESIAN_POINT( '', ( -5.79999999999970, 4.09999999999991, -50.0000000000000 ) ); #2233 = VECTOR( '', #3022, 1.00000000000000 ); #2234 = PRE_DEFINED_MARKER( '' ); #2235 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2236 = PRE_DEFINED_MARKER( '' ); #2237 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2238 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2239 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2240 = CARTESIAN_POINT( '', ( -7.99999999999974, 4.09999999999991, 0.000000000000000 ) ); #2241 = VECTOR( '', #3023, 1.00000000000000 ); #2242 = SURFACE_SIDE_STYLE( '', ( #3024 ) ); #2243 = EDGE_LOOP( '', ( #3025, #3026, #3027, #3028 ) ); #2244 = AXIS2_PLACEMENT_3D( '', #3029, #3030, #3031 ); #2245 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2246 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2247 = CARTESIAN_POINT( '', ( 4.60502525316969, -7.79497474683038, 0.000000000000000 ) ); #2248 = VECTOR( '', #3032, 1.00000000000000 ); #2249 = PRE_DEFINED_MARKER( '' ); #2250 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2251 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2252 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2253 = CARTESIAN_POINT( '', ( -5.00000000000440, -18.4999999999989, -50.0000000000000 ) ); #2254 = VECTOR( '', #3033, 1.00000000000000 ); #2255 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2256 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2257 = CARTESIAN_POINT( '', ( 5.80000000000021, -7.29999999999971, 0.000000000000000 ) ); #2258 = VECTOR( '', #3034, 1.00000000000000 ); #2259 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2260 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2261 = CARTESIAN_POINT( '', ( -4.60502525316910, 7.79497474683054, -50.0000000000000 ) ); #2262 = VECTOR( '', #3035, 1.00000000000000 ); #2263 = PRE_DEFINED_MARKER( '' ); #2264 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2265 = SURFACE_SIDE_STYLE( '', ( #3036 ) ); #2266 = EDGE_LOOP( '', ( #3037, #3038, #3039, #3040 ) ); #2267 = AXIS2_PLACEMENT_3D( '', #3041, #3042, #3043 ); #2268 = PRE_DEFINED_MARKER( '' ); #2269 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2270 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2271 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2272 = CARTESIAN_POINT( '', ( 4.99999999999645, -15.1000000000004, -50.0000000000000 ) ); #2273 = VECTOR( '', #3044, 1.00000000000000 ); #2274 = PRE_DEFINED_MARKER( '' ); #2275 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2276 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2277 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2278 = AXIS2_PLACEMENT_3D( '', #3045, #3046, #3047 ); #2279 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2280 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2281 = CARTESIAN_POINT( '', ( -5.00000000000366, -15.0999999999981, 0.000000000000000 ) ); #2282 = VECTOR( '', #3048, 1.00000000000000 ); #2283 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2284 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2285 = CARTESIAN_POINT( '', ( -5.00000000000020, 19.9999999999995, 0.000000000000000 ) ); #2286 = VECTOR( '', #3049, 1.00000000000000 ); #2287 = PRE_DEFINED_MARKER( '' ); #2288 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2289 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2290 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2291 = CARTESIAN_POINT( '', ( 3.09999999999770, -9.99999999999932, 0.000000000000000 ) ); #2292 = VECTOR( '', #3050, 1.00000000000000 ); #2293 = SURFACE_SIDE_STYLE( '', ( #3051 ) ); #2294 = EDGE_LOOP( '', ( #3052, #3053, #3054, #3055 ) ); #2295 = AXIS2_PLACEMENT_3D( '', #3056, #3057, #3058 ); #2296 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2297 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2298 = CARTESIAN_POINT( '', ( -7.99999999999974, 4.09999999999991, -50.0000000000000 ) ); #2299 = VECTOR( '', #3059, 1.00000000000000 ); #2300 = SURFACE_SIDE_STYLE( '', ( #3060 ) ); #2301 = EDGE_LOOP( '', ( #3061, #3062, #3063, #3064 ) ); #2302 = AXIS2_PLACEMENT_3D( '', #3065, #3066, #3067 ); #2303 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2304 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2305 = AXIS2_PLACEMENT_3D( '', #3068, #3069, #3070 ); #2306 = SURFACE_SIDE_STYLE( '', ( #3071 ) ); #2307 = EDGE_LOOP( '', ( #3072, #3073, #3074, #3075 ) ); #2308 = AXIS2_PLACEMENT_3D( '', #3076, #3077, #3078 ); #2309 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2310 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2311 = CARTESIAN_POINT( '', ( 1.49999999999952, 3.86152236891505, 0.000000000000000 ) ); #2312 = VECTOR( '', #3079, 1.00000000000000 ); #2313 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2314 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2315 = CARTESIAN_POINT( '', ( -4.60502525316910, 7.79497474683054, 0.000000000000000 ) ); #2316 = VECTOR( '', #3080, 1.00000000000000 ); #2317 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2318 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2319 = AXIS2_PLACEMENT_3D( '', #3081, #3082, #3083 ); #2320 = SURFACE_SIDE_STYLE( '', ( #3084 ) ); #2321 = EDGE_LOOP( '', ( #3085, #3086, #3087, #3088 ) ); #2322 = AXIS2_PLACEMENT_3D( '', #3089, #3090, #3091 ); #2323 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2324 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2325 = AXIS2_PLACEMENT_3D( '', #3092, #3093, #3094 ); #2326 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2327 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2328 = AXIS2_PLACEMENT_3D( '', #3095, #3096, #3097 ); #2329 = SURFACE_SIDE_STYLE( '', ( #3098 ) ); #2330 = EDGE_LOOP( '', ( #3099, #3100, #3101, #3102 ) ); #2331 = AXIS2_PLACEMENT_3D( '', #3103, #3104, #3105 ); #2332 = SURFACE_SIDE_STYLE( '', ( #3106 ) ); #2333 = EDGE_LOOP( '', ( #3107, #3108, #3109, #3110 ) ); #2334 = AXIS2_PLACEMENT_3D( '', #3111, #3112, #3113 ); #2335 = PRE_DEFINED_MARKER( '' ); #2336 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2337 = PRE_DEFINED_MARKER( '' ); #2338 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2339 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2340 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2341 = CARTESIAN_POINT( '', ( 4.99999999999284, 18.5000000000018, 0.000000000000000 ) ); #2342 = VECTOR( '', #3114, 1.00000000000000 ); #2343 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2344 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2345 = CARTESIAN_POINT( '', ( 6.49999999999332, 17.0000000000028, 0.000000000000000 ) ); #2346 = VECTOR( '', #3115, 1.00000000000000 ); #2347 = SURFACE_SIDE_STYLE( '', ( #3116 ) ); #2348 = EDGE_LOOP( '', ( #3117, #3118, #3119, #3120 ) ); #2349 = AXIS2_PLACEMENT_3D( '', #3121, #3122, #3123 ); #2350 = SURFACE_SIDE_STYLE( '', ( #3124 ) ); #2351 = EDGE_LOOP( '', ( #3125, #3126, #3127, #3128 ) ); #2352 = AXIS2_PLACEMENT_3D( '', #3129, #3130, #3131 ); #2353 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2354 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2355 = AXIS2_PLACEMENT_3D( '', #3132, #3133, #3134 ); #2356 = PRE_DEFINED_MARKER( '' ); #2357 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2358 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2359 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2360 = CARTESIAN_POINT( '', ( 2.08578643762629, 5.27573593128806, 0.000000000000000 ) ); #2361 = VECTOR( '', #3135, 1.00000000000000 ); #2362 = PRE_DEFINED_MARKER( '' ); #2363 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2364 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2365 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2366 = CARTESIAN_POINT( '', ( -2.08578643762663, 5.27573593128800, 0.000000000000000 ) ); #2367 = VECTOR( '', #3136, 1.00000000000000 ); #2368 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2369 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2370 = CARTESIAN_POINT( '', ( -5.00000000000594, 15.0999999999973, -50.0000000000000 ) ); #2371 = VECTOR( '', #3137, 1.00000000000000 ); #2372 = PRE_DEFINED_MARKER( '' ); #2373 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2374 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2375 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2376 = CARTESIAN_POINT( '', ( 4.99999999999980, 19.9999999999995, -50.0000000000000 ) ); #2377 = VECTOR( '', #3138, 1.00000000000000 ); #2378 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2379 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2380 = AXIS2_PLACEMENT_3D( '', #3139, #3140, #3141 ); #2381 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2382 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2383 = CARTESIAN_POINT( '', ( -1.49999999999974, 3.86152236891492, 0.000000000000000 ) ); #2384 = VECTOR( '', #3142, 1.00000000000000 ); #2385 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2386 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2387 = AXIS2_PLACEMENT_3D( '', #3143, #3144, #3145 ); #2388 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2389 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2390 = CARTESIAN_POINT( '', ( 5.80000000000021, -7.29999999999971, -50.0000000000000 ) ); #2391 = VECTOR( '', #3146, 1.00000000000000 ); #2392 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2393 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2394 = CARTESIAN_POINT( '', ( 4.99999999999560, -18.5000000000011, 0.000000000000000 ) ); #2395 = VECTOR( '', #3147, 1.00000000000000 ); #2396 = PRE_DEFINED_MARKER( '' ); #2397 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2398 = PRE_DEFINED_MARKER( '' ); #2399 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2400 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2401 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2402 = AXIS2_PLACEMENT_3D( '', #3148, #3149, #3150 ); #2403 = PRE_DEFINED_MARKER( '' ); #2404 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2405 = PRE_DEFINED_MARKER( '' ); #2406 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2407 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2408 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2409 = CARTESIAN_POINT( '', ( -3.10000000000020, 9.99999999999875, 0.000000000000000 ) ); #2410 = VECTOR( '', #3151, 1.00000000000000 ); #2411 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2412 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2413 = AXIS2_PLACEMENT_3D( '', #3152, #3153, #3154 ); #2414 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2415 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2416 = CARTESIAN_POINT( '', ( 1.49999999999997, -3.86152236891509, 0.000000000000000 ) ); #2417 = VECTOR( '', #3155, 1.00000000000000 ); #2418 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2419 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2420 = AXIS2_PLACEMENT_3D( '', #3156, #3157, #3158 ); #2421 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2422 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2423 = AXIS2_PLACEMENT_3D( '', #3159, #3160, #3161 ); #2424 = SURFACE_SIDE_STYLE( '', ( #3162 ) ); #2425 = EDGE_LOOP( '', ( #3163, #3164, #3165, #3166 ) ); #2426 = AXIS2_PLACEMENT_3D( '', #3167, #3168, #3169 ); #2427 = PRE_DEFINED_MARKER( '' ); #2428 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2429 = PRE_DEFINED_MARKER( '' ); #2430 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2431 = PRE_DEFINED_MARKER( '' ); #2432 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2433 = DRAUGHTING_PRE_DEFINED_CURVE_FONT( 'continuous' ); #2434 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2435 = CARTESIAN_POINT( '', ( 1.49999999999952, 3.86152236891505, 0.000000000000000 ) ); #2436 = VECTOR( '', #3170, 1.00000000000000 ); #2437 = PRE_DEFINED_MARKER( '' ); #2438 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2439 = PRE_DEFINED_MARKER( '' ); #2440 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #2442 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2443 = DIRECTION( '', ( -0.707106781186612, 0.707106781186483, 0.000000000000000 ) ); #2444 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2445 = SURFACE_STYLE_FILL_AREA( #3171 ); #2446 = ORIENTED_EDGE( '', *, *, #339, .T. ); #2447 = ORIENTED_EDGE( '', *, *, #647, .T. ); #2448 = ORIENTED_EDGE( '', *, *, #873, .T. ); #2449 = ORIENTED_EDGE( '', *, *, #819, .T. ); #2450 = CARTESIAN_POINT( '', ( -1.99000000000000E-013, 9.99999999999875, 0.000000000000000 ) ); #2451 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2452 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2453 = SURFACE_STYLE_FILL_AREA( #3172 ); #2454 = ORIENTED_EDGE( '', *, *, #593, .T. ); #2455 = ORIENTED_EDGE( '', *, *, #707, .F. ); #2456 = ORIENTED_EDGE( '', *, *, #541, .F. ); #2457 = ORIENTED_EDGE( '', *, *, #543, .T. ); #2458 = CARTESIAN_POINT( '', ( -5.00000000000025, -20.0000000000003, 0.000000000000000 ) ); #2459 = DIRECTION( '', ( -2.02504679691629E-014, -1.00000000000000, 0.000000000000000 ) ); #2460 = DIRECTION( '', ( -1.00000000000000, 2.02504679691629E-014, 0.000000000000000 ) ); #2461 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2462 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2463 = DIRECTION( '', ( -0.707106781186556, -0.707106781186539, 0.000000000000000 ) ); #2464 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2465 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2466 = SURFACE_STYLE_FILL_AREA( #3173 ); #2467 = ORIENTED_EDGE( '', *, *, #655, .T. ); #2468 = ORIENTED_EDGE( '', *, *, #877, .F. ); #2469 = ORIENTED_EDGE( '', *, *, #611, .T. ); #2470 = ORIENTED_EDGE( '', *, *, #745, .T. ); #2471 = CARTESIAN_POINT( '', ( 3.49999999999987, -3.86152236891497, 0.000000000000000 ) ); #2472 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2473 = DIRECTION( '', ( -1.00000000000000, -5.92859095149863E-014, 0.000000000000000 ) ); #2474 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2475 = DIRECTION( '', ( 2.75335310106421E-013, 1.00000000000000, 0.000000000000000 ) ); #2476 = DIRECTION( '', ( -1.00000000000000, 2.29860575018390E-013, 0.000000000000000 ) ); #2477 = SURFACE_STYLE_FILL_AREA( #3174 ); #2478 = ORIENTED_EDGE( '', *, *, #455, .T. ); #2479 = ORIENTED_EDGE( '', *, *, #531, .F. ); #2480 = ORIENTED_EDGE( '', *, *, #607, .T. ); #2481 = ORIENTED_EDGE( '', *, *, #681, .T. ); #2482 = CARTESIAN_POINT( '', ( -5.00000000000408, -16.9999999999989, 0.000000000000000 ) ); #2483 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2484 = DIRECTION( '', ( -1.00000000000000, 2.84217094304043E-013, 0.000000000000000 ) ); #2485 = SURFACE_STYLE_FILL_AREA( #3175 ); #2486 = ORIENTED_EDGE( '', *, *, #881, .T. ); #2487 = ORIENTED_EDGE( '', *, *, #709, .F. ); #2488 = ORIENTED_EDGE( '', *, *, #731, .F. ); #2489 = ORIENTED_EDGE( '', *, *, #447, .T. ); #2490 = CARTESIAN_POINT( '', ( -5.09999999999969, 7.29999999999995, 0.000000000000000 ) ); #2491 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2492 = DIRECTION( '', ( -1.00000000000000, 7.61295788314385E-015, 0.000000000000000 ) ); #2493 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2494 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2495 = CARTESIAN_POINT( '', ( -5.00000000000649, 16.5999999999973, -50.0000000000000 ) ); #2496 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2497 = DIRECTION( '', ( -1.00000000000000, -4.38168020385389E-013, 0.000000000000000 ) ); #2498 = DIRECTION( '', ( -4.24105195405964E-013, 1.00000000000000, 0.000000000000000 ) ); #2499 = CARTESIAN_POINT( '', ( 4.99999999999980, 16.9999999999995, -50.0000000000000 ) ); #2500 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2501 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2502 = SURFACE_STYLE_FILL_AREA( #3176 ); #2503 = ORIENTED_EDGE( '', *, *, #527, .T. ); #2504 = ORIENTED_EDGE( '', *, *, #791, .F. ); #2505 = ORIENTED_EDGE( '', *, *, #503, .T. ); #2506 = ORIENTED_EDGE( '', *, *, #317, .T. ); #2507 = CARTESIAN_POINT( '', ( -5.00000000000409, -16.5999999999980, 0.000000000000000 ) ); #2508 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2509 = DIRECTION( '', ( 2.87177689036400E-013, 1.00000000000000, 0.000000000000000 ) ); #2510 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2511 = SURFACE_STYLE_FILL_AREA( #3177 ); #2512 = ORIENTED_EDGE( '', *, *, #535, .T. ); #2513 = ORIENTED_EDGE( '', *, *, #393, .F. ); #2514 = ORIENTED_EDGE( '', *, *, #499, .T. ); #2515 = ORIENTED_EDGE( '', *, *, #831, .T. ); #2516 = CARTESIAN_POINT( '', ( 6.49999999999332, 17.0000000000028, 0.000000000000000 ) ); #2517 = DIRECTION( '', ( -1.00000000000000, -5.75095526754536E-013, 0.000000000000000 ) ); #2518 = DIRECTION( '', ( -5.75095526754536E-013, 1.00000000000000, 0.000000000000000 ) ); #2519 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2520 = CARTESIAN_POINT( '', ( -3.49999999999970, -3.86152236891516, -50.0000000000000 ) ); #2521 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2522 = DIRECTION( '', ( 1.00000000000000, 1.11022302462518E-015, 0.000000000000000 ) ); #2523 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2524 = CARTESIAN_POINT( '', ( -3.49999999999970, -3.86152236891516, 0.000000000000000 ) ); #2525 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2526 = DIRECTION( '', ( 1.00000000000000, 1.11022302462518E-015, 0.000000000000000 ) ); #2527 = CARTESIAN_POINT( '', ( 4.99999999999618, -16.6000000000003, 0.000000000000000 ) ); #2528 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2529 = DIRECTION( '', ( 1.00000000000000, -3.17375755306205E-013, 0.000000000000000 ) ); #2530 = CARTESIAN_POINT( '', ( 4.99999999999593, -17.0000000000011, -50.0000000000000 ) ); #2531 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2532 = DIRECTION( '', ( -2.20268248085631E-013, -1.00000000000000, 0.000000000000000 ) ); #2533 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2534 = SURFACE_STYLE_FILL_AREA( #3178 ); #2535 = ORIENTED_EDGE( '', *, *, #349, .T. ); #2536 = ORIENTED_EDGE( '', *, *, #317, .F. ); #2537 = ORIENTED_EDGE( '', *, *, #419, .T. ); #2538 = ORIENTED_EDGE( '', *, *, #531, .T. ); #2539 = CARTESIAN_POINT( '', ( -6.50000000000406, -16.9999999999985, 0.000000000000000 ) ); #2540 = DIRECTION( '', ( 1.00000000000000, -2.75335310106421E-013, 0.000000000000000 ) ); #2541 = DIRECTION( '', ( -2.75335310106421E-013, -1.00000000000000, 0.000000000000000 ) ); #2542 = SURFACE_STYLE_FILL_AREA( #3179 ); #2543 = ORIENTED_EDGE( '', *, *, #373, .T. ); #2544 = ORIENTED_EDGE( '', *, *, #569, .F. ); #2545 = ORIENTED_EDGE( '', *, *, #817, .T. ); #2546 = ORIENTED_EDGE( '', *, *, #333, .T. ); #2547 = CARTESIAN_POINT( '', ( -5.00000000000649, 16.5999999999973, 0.000000000000000 ) ); #2548 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2549 = DIRECTION( '', ( -1.00000000000000, -4.38168020385389E-013, 0.000000000000000 ) ); #2550 = CARTESIAN_POINT( '', ( -5.09999999999971, -7.30000000000009, -50.0000000000000 ) ); #2551 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2552 = DIRECTION( '', ( 0.707106781186543, -0.707106781186552, 0.000000000000000 ) ); #2553 = DIRECTION( '', ( -2.75335310106421E-013, -1.00000000000000, 0.000000000000000 ) ); #2554 = SURFACE_STYLE_FILL_AREA( #3180 ); #2555 = ORIENTED_EDGE( '', *, *, #773, .T. ); #2556 = ORIENTED_EDGE( '', *, *, #681, .F. ); #2557 = ORIENTED_EDGE( '', *, *, #725, .T. ); #2558 = ORIENTED_EDGE( '', *, *, #861, .T. ); #2559 = CARTESIAN_POINT( '', ( 4.99999999999560, -18.5000000000011, 0.000000000000000 ) ); #2560 = DIRECTION( '', ( 2.20268248085631E-013, 1.00000000000000, 0.000000000000000 ) ); #2561 = DIRECTION( '', ( 1.00000000000000, -2.20268248085631E-013, 0.000000000000000 ) ); #2562 = CARTESIAN_POINT( '', ( 3.49999999999935, 3.86152236891517, -50.0000000000000 ) ); #2563 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2564 = DIRECTION( '', ( -0.707106781186590, 0.707106781186505, 0.000000000000000 ) ); #2565 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2566 = DIRECTION( '', ( 2.99760216648192E-013, 1.00000000000000, 0.000000000000000 ) ); #2567 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2568 = SURFACE_STYLE_FILL_AREA( #3181 ); #2569 = ORIENTED_EDGE( '', *, *, #785, .T. ); #2570 = ORIENTED_EDGE( '', *, *, #331, .F. ); #2571 = ORIENTED_EDGE( '', *, *, #353, .T. ); #2572 = ORIENTED_EDGE( '', *, *, #791, .T. ); #2573 = CARTESIAN_POINT( '', ( -5.00000000000366, -15.0999999999981, 0.000000000000000 ) ); #2574 = DIRECTION( '', ( -2.29860575018390E-013, -1.00000000000000, 0.000000000000000 ) ); #2575 = DIRECTION( '', ( -1.00000000000000, 2.29860575018390E-013, 0.000000000000000 ) ); #2576 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2577 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2578 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2579 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2580 = SURFACE_STYLE_FILL_AREA( #3182 ); #2581 = ORIENTED_EDGE( '', *, *, #339, .F. ); #2582 = ORIENTED_EDGE( '', *, *, #651, .T. ); #2583 = ORIENTED_EDGE( '', *, *, #873, .F. ); #2584 = ORIENTED_EDGE( '', *, *, #703, .T. ); #2585 = CARTESIAN_POINT( '', ( -1.99000000000000E-013, 9.99999999999875, 0.000000000000000 ) ); #2586 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2587 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2588 = SURFACE_STYLE_FILL_AREA( #3183 ); #2589 = ORIENTED_EDGE( '', *, *, #617, .T. ); #2590 = ORIENTED_EDGE( '', *, *, #345, .F. ); #2591 = ORIENTED_EDGE( '', *, *, #701, .F. ); #2592 = ORIENTED_EDGE( '', *, *, #443, .T. ); #2593 = CARTESIAN_POINT( '', ( -8.00000000000020, -4.10000000000036, 0.000000000000000 ) ); #2594 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2595 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2596 = SURFACE_STYLE_FILL_AREA( #3184 ); #2597 = ORIENTED_EDGE( '', *, *, #559, .T. ); #2598 = ORIENTED_EDGE( '', *, *, #589, .F. ); #2599 = ORIENTED_EDGE( '', *, *, #615, .F. ); #2600 = ORIENTED_EDGE( '', *, *, #613, .T. ); #2601 = CARTESIAN_POINT( '', ( -5.79999999999970, -7.30000000000009, 0.000000000000000 ) ); #2602 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2603 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #2604 = CARTESIAN_POINT( '', ( -5.00000000000408, -16.9999999999989, -50.0000000000000 ) ); #2605 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2606 = DIRECTION( '', ( -1.00000000000000, 2.84217094304043E-013, 0.000000000000000 ) ); #2607 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2608 = CARTESIAN_POINT( '', ( -5.00000000000018, 16.9999999999995, 0.000000000000000 ) ); #2609 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2610 = DIRECTION( '', ( -8.28966525053443E-015, 1.00000000000000, 0.000000000000000 ) ); #2611 = SURFACE_STYLE_FILL_AREA( #3185 ); #2612 = ORIENTED_EDGE( '', *, *, #867, .T. ); #2613 = ORIENTED_EDGE( '', *, *, #603, .F. ); #2614 = ORIENTED_EDGE( '', *, *, #875, .T. ); #2615 = ORIENTED_EDGE( '', *, *, #459, .T. ); #2616 = CARTESIAN_POINT( '', ( 5.09999999999931, 7.30000000000021, 0.000000000000000 ) ); #2617 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2618 = DIRECTION( '', ( 1.00000000000000, 5.83660104374373E-014, 0.000000000000000 ) ); #2619 = CARTESIAN_POINT( '', ( -5.00000000000018, -17.0000000000003, -50.0000000000000 ) ); #2620 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2621 = DIRECTION( '', ( -1.00000000000000, -7.10542735760096E-015, 0.000000000000000 ) ); #2622 = SURFACE_STYLE_FILL_AREA( #3186 ); #2623 = ORIENTED_EDGE( '', *, *, #733, .T. ); #2624 = ORIENTED_EDGE( '', *, *, #669, .F. ); #2625 = ORIENTED_EDGE( '', *, *, #497, .T. ); #2626 = ORIENTED_EDGE( '', *, *, #393, .T. ); #2627 = CARTESIAN_POINT( '', ( 4.99999999999355, 16.6000000000010, 0.000000000000000 ) ); #2628 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2629 = DIRECTION( '', ( 3.71258579434652E-013, -1.00000000000000, 0.000000000000000 ) ); #2630 = DIRECTION( '', ( 0.707106781186612, -0.707106781186483, 0.000000000000000 ) ); #2631 = CARTESIAN_POINT( '', ( 5.10000000000022, -7.29999999999975, -50.0000000000000 ) ); #2632 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2633 = DIRECTION( '', ( -0.707106781186484, -0.707106781186611, 0.000000000000000 ) ); #2634 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2635 = DIRECTION( '', ( -6.23549917940158E-014, 1.00000000000000, 0.000000000000000 ) ); #2636 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2637 = SURFACE_STYLE_FILL_AREA( #3187 ); #2638 = ORIENTED_EDGE( '', *, *, #759, .T. ); #2639 = ORIENTED_EDGE( '', *, *, #447, .F. ); #2640 = ORIENTED_EDGE( '', *, *, #387, .F. ); #2641 = ORIENTED_EDGE( '', *, *, #431, .T. ); #2642 = CARTESIAN_POINT( '', ( -5.79999999999970, 4.09999999999991, 0.000000000000000 ) ); #2643 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2644 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #2645 = CARTESIAN_POINT( '', ( 4.99999999999355, 16.6000000000010, 0.000000000000000 ) ); #2646 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2647 = DIRECTION( '', ( 3.71258579434652E-013, -1.00000000000000, 0.000000000000000 ) ); #2648 = DIRECTION( '', ( -5.75095526754536E-013, 1.00000000000000, 0.000000000000000 ) ); #2649 = CARTESIAN_POINT( '', ( -2.30220000000000E-012, -9.99999999999932, 0.000000000000000 ) ); #2650 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2651 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2652 = CARTESIAN_POINT( '', ( -5.00000000000409, -16.5999999999980, 0.000000000000000 ) ); #2653 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2654 = DIRECTION( '', ( 2.87177689036400E-013, 1.00000000000000, 0.000000000000000 ) ); #2655 = SURFACE_STYLE_FILL_AREA( #3188 ); #2656 = ORIENTED_EDGE( '', *, *, #477, .T. ); #2657 = ORIENTED_EDGE( '', *, *, #769, .F. ); #2658 = ORIENTED_EDGE( '', *, *, #515, .T. ); #2659 = ORIENTED_EDGE( '', *, *, #775, .T. ); #2660 = CARTESIAN_POINT( '', ( 5.10000000000022, -7.29999999999975, 0.000000000000000 ) ); #2661 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2662 = DIRECTION( '', ( -0.707106781186484, -0.707106781186611, 0.000000000000000 ) ); #2663 = SURFACE_STYLE_FILL_AREA( #3189 ); #2664 = ORIENTED_EDGE( '', *, *, #469, .F. ); #2665 = ORIENTED_EDGE( '', *, *, #617, .F. ); #2666 = ORIENTED_EDGE( '', *, *, #635, .F. ); #2667 = ORIENTED_EDGE( '', *, *, #559, .F. ); #2668 = ORIENTED_EDGE( '', *, *, #417, .F. ); #2669 = ORIENTED_EDGE( '', *, *, #335, .F. ); #2670 = ORIENTED_EDGE( '', *, *, #391, .F. ); #2671 = ORIENTED_EDGE( '', *, *, #695, .F. ); #2672 = ORIENTED_EDGE( '', *, *, #879, .F. ); #2673 = ORIENTED_EDGE( '', *, *, #777, .F. ); #2674 = ORIENTED_EDGE( '', *, *, #881, .F. ); #2675 = ORIENTED_EDGE( '', *, *, #759, .F. ); #2676 = ORIENTED_EDGE( '', *, *, #801, .F. ); #2677 = ORIENTED_EDGE( '', *, *, #557, .F. ); #2678 = ORIENTED_EDGE( '', *, *, #719, .F. ); #2679 = ORIENTED_EDGE( '', *, *, #851, .F. ); #2680 = ORIENTED_EDGE( '', *, *, #377, .F. ); #2681 = ORIENTED_EDGE( '', *, *, #685, .F. ); #2682 = ORIENTED_EDGE( '', *, *, #663, .F. ); #2683 = ORIENTED_EDGE( '', *, *, #593, .F. ); #2684 = ORIENTED_EDGE( '', *, *, #675, .F. ); #2685 = ORIENTED_EDGE( '', *, *, #429, .F. ); #2686 = ORIENTED_EDGE( '', *, *, #513, .F. ); #2687 = ORIENTED_EDGE( '', *, *, #655, .F. ); #2688 = ORIENTED_EDGE( '', *, *, #319, .F. ); #2689 = ORIENTED_EDGE( '', *, *, #477, .F. ); #2690 = ORIENTED_EDGE( '', *, *, #859, .F. ); #2691 = ORIENTED_EDGE( '', *, *, #867, .F. ); #2692 = ORIENTED_EDGE( '', *, *, #647, .F. ); #2693 = ORIENTED_EDGE( '', *, *, #703, .F. ); #2694 = ORIENTED_EDGE( '', *, *, #789, .F. ); #2695 = ORIENTED_EDGE( '', *, *, #705, .F. ); #2696 = ORIENTED_EDGE( '', *, *, #527, .F. ); #2697 = ORIENTED_EDGE( '', *, *, #349, .F. ); #2698 = ORIENTED_EDGE( '', *, *, #455, .F. ); #2699 = ORIENTED_EDGE( '', *, *, #773, .F. ); #2700 = ORIENTED_EDGE( '', *, *, #403, .F. ); #2701 = ORIENTED_EDGE( '', *, *, #673, .F. ); #2702 = ORIENTED_EDGE( '', *, *, #853, .F. ); #2703 = ORIENTED_EDGE( '', *, *, #785, .F. ); #2704 = ORIENTED_EDGE( '', *, *, #553, .F. ); #2705 = ORIENTED_EDGE( '', *, *, #555, .F. ); #2706 = ORIENTED_EDGE( '', *, *, #375, .F. ); #2707 = ORIENTED_EDGE( '', *, *, #373, .F. ); #2708 = ORIENTED_EDGE( '', *, *, #847, .F. ); #2709 = ORIENTED_EDGE( '', *, *, #733, .F. ); #2710 = ORIENTED_EDGE( '', *, *, #535, .F. ); #2711 = ORIENTED_EDGE( '', *, *, #749, .F. ); #2712 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, -50.0000000000000 ) ); #2713 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2714 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2715 = DIRECTION( '', ( -5.82781052631185E-014, 1.00000000000000, 0.000000000000000 ) ); #2716 = CARTESIAN_POINT( '', ( 5.10000000000022, -7.29999999999975, 0.000000000000000 ) ); #2717 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2718 = DIRECTION( '', ( -0.707106781186484, -0.707106781186611, 0.000000000000000 ) ); #2719 = CARTESIAN_POINT( '', ( 4.99999999999980, 16.9999999999995, 0.000000000000000 ) ); #2720 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2721 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2722 = SURFACE_STYLE_FILL_AREA( #3190 ); #2723 = ORIENTED_EDGE( '', *, *, #847, .T. ); #2724 = ORIENTED_EDGE( '', *, *, #333, .F. ); #2725 = ORIENTED_EDGE( '', *, *, #579, .T. ); #2726 = ORIENTED_EDGE( '', *, *, #669, .T. ); #2727 = CARTESIAN_POINT( '', ( 4.99999999999411, 15.1000000000010, 0.000000000000000 ) ); #2728 = DIRECTION( '', ( -3.70015129647070E-013, 1.00000000000000, 0.000000000000000 ) ); #2729 = DIRECTION( '', ( 1.00000000000000, 3.70015129647070E-013, 0.000000000000000 ) ); #2730 = SURFACE_STYLE_FILL_AREA( #3191 ); #2731 = ORIENTED_EDGE( '', *, *, #701, .T. ); #2732 = ORIENTED_EDGE( '', *, *, #629, .T. ); #2733 = ORIENTED_EDGE( '', *, *, #541, .T. ); #2734 = ORIENTED_EDGE( '', *, *, #537, .T. ); #2735 = ORIENTED_EDGE( '', *, *, #325, .T. ); #2736 = ORIENTED_EDGE( '', *, *, #517, .T. ); #2737 = ORIENTED_EDGE( '', *, *, #337, .T. ); #2738 = ORIENTED_EDGE( '', *, *, #465, .T. ); #2739 = ORIENTED_EDGE( '', *, *, #757, .T. ); #2740 = ORIENTED_EDGE( '', *, *, #765, .T. ); #2741 = ORIENTED_EDGE( '', *, *, #387, .T. ); #2742 = ORIENTED_EDGE( '', *, *, #731, .T. ); #2743 = ORIENTED_EDGE( '', *, *, #811, .T. ); #2744 = ORIENTED_EDGE( '', *, *, #813, .T. ); #2745 = ORIENTED_EDGE( '', *, *, #855, .T. ); #2746 = ORIENTED_EDGE( '', *, *, #395, .T. ); #2747 = ORIENTED_EDGE( '', *, *, #697, .T. ); #2748 = ORIENTED_EDGE( '', *, *, #699, .T. ); #2749 = ORIENTED_EDGE( '', *, *, #615, .T. ); #2750 = ORIENTED_EDGE( '', *, *, #561, .T. ); #2751 = ORIENTED_EDGE( '', *, *, #837, .F. ); #2752 = ORIENTED_EDGE( '', *, *, #545, .F. ); #2753 = ORIENTED_EDGE( '', *, *, #875, .F. ); #2754 = ORIENTED_EDGE( '', *, *, #489, .F. ); #2755 = ORIENTED_EDGE( '', *, *, #515, .F. ); #2756 = ORIENTED_EDGE( '', *, *, #473, .F. ); #2757 = ORIENTED_EDGE( '', *, *, #611, .F. ); #2758 = ORIENTED_EDGE( '', *, *, #891, .F. ); #2759 = ORIENTED_EDGE( '', *, *, #651, .F. ); #2760 = ORIENTED_EDGE( '', *, *, #819, .F. ); #2761 = ORIENTED_EDGE( '', *, *, #501, .F. ); #2762 = ORIENTED_EDGE( '', *, *, #805, .F. ); #2763 = ORIENTED_EDGE( '', *, *, #419, .F. ); #2764 = ORIENTED_EDGE( '', *, *, #503, .F. ); #2765 = ORIENTED_EDGE( '', *, *, #353, .F. ); #2766 = ORIENTED_EDGE( '', *, *, #399, .F. ); #2767 = ORIENTED_EDGE( '', *, *, #433, .F. ); #2768 = ORIENTED_EDGE( '', *, *, #857, .F. ); #2769 = ORIENTED_EDGE( '', *, *, #725, .F. ); #2770 = ORIENTED_EDGE( '', *, *, #607, .F. ); #2771 = ORIENTED_EDGE( '', *, *, #679, .F. ); #2772 = ORIENTED_EDGE( '', *, *, #829, .F. ); #2773 = ORIENTED_EDGE( '', *, *, #523, .F. ); #2774 = ORIENTED_EDGE( '', *, *, #499, .F. ); #2775 = ORIENTED_EDGE( '', *, *, #497, .F. ); #2776 = ORIENTED_EDGE( '', *, *, #579, .F. ); #2777 = ORIENTED_EDGE( '', *, *, #817, .F. ); #2778 = ORIENTED_EDGE( '', *, *, #621, .F. ); #2779 = CARTESIAN_POINT( '', ( 0.000000000000000, 0.000000000000000, 0.000000000000000 ) ); #2780 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2781 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2782 = CARTESIAN_POINT( '', ( 4.99999999999345, 17.0000000000019, 0.000000000000000 ) ); #2783 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2784 = DIRECTION( '', ( 1.00000000000000, 5.56591809678793E-013, 0.000000000000000 ) ); #2785 = SURFACE_STYLE_FILL_AREA( #3192 ); #2786 = ORIENTED_EDGE( '', *, *, #797, .F. ); #2787 = ORIENTED_EDGE( '', *, *, #501, .T. ); #2788 = ORIENTED_EDGE( '', *, *, #445, .F. ); #2789 = ORIENTED_EDGE( '', *, *, #705, .T. ); #2790 = CARTESIAN_POINT( '', ( -2.30220000000000E-012, -9.99999999999932, 0.000000000000000 ) ); #2791 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2792 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2793 = CARTESIAN_POINT( '', ( -5.00000000000409, -16.5999999999980, -50.0000000000000 ) ); #2794 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2795 = DIRECTION( '', ( 2.87177689036400E-013, 1.00000000000000, 0.000000000000000 ) ); #2796 = SURFACE_STYLE_FILL_AREA( #3193 ); #2797 = ORIENTED_EDGE( '', *, *, #663, .T. ); #2798 = ORIENTED_EDGE( '', *, *, #605, .F. ); #2799 = ORIENTED_EDGE( '', *, *, #537, .F. ); #2800 = ORIENTED_EDGE( '', *, *, #707, .T. ); #2801 = CARTESIAN_POINT( '', ( 4.99999999999980, -17.0000000000005, 0.000000000000000 ) ); #2802 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2803 = DIRECTION( '', ( -2.07241631263362E-014, -1.00000000000000, 0.000000000000000 ) ); #2804 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2805 = DIRECTION( '', ( 5.75095526754536E-013, -1.00000000000000, 0.000000000000000 ) ); #2806 = CARTESIAN_POINT( '', ( 4.99999999999980, -17.0000000000005, 0.000000000000000 ) ); #2807 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2808 = DIRECTION( '', ( -2.07241631263362E-014, -1.00000000000000, 0.000000000000000 ) ); #2809 = DIRECTION( '', ( 1.00000000000000, -2.02504679691629E-014, 0.000000000000000 ) ); #2810 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2811 = DIRECTION( '', ( -0.707106781186507, -0.707106781186588, 0.000000000000000 ) ); #2812 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2813 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2814 = DIRECTION( '', ( 1.00000000000000, 3.60245167030372E-013, 0.000000000000000 ) ); #2815 = CARTESIAN_POINT( '', ( -5.00000000000657, 16.9999999999981, -50.0000000000000 ) ); #2816 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2817 = DIRECTION( '', ( -3.81324601524558E-013, 1.00000000000000, 0.000000000000000 ) ); #2818 = DIRECTION( '', ( 3.57336899088669E-014, -1.00000000000000, 0.000000000000000 ) ); #2819 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2820 = DIRECTION( '', ( -1.00000000000000, -1.00121930947991E-013, 0.000000000000000 ) ); #2821 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2822 = SURFACE_STYLE_FILL_AREA( #3194 ); #2823 = ORIENTED_EDGE( '', *, *, #675, .T. ); #2824 = ORIENTED_EDGE( '', *, *, #459, .F. ); #2825 = ORIENTED_EDGE( '', *, *, #545, .T. ); #2826 = ORIENTED_EDGE( '', *, *, #841, .T. ); #2827 = CARTESIAN_POINT( '', ( 2.08578643762629, 5.27573593128806, 0.000000000000000 ) ); #2828 = DIRECTION( '', ( 0.707106781186588, -0.707106781186507, 0.000000000000000 ) ); #2829 = DIRECTION( '', ( -0.707106781186507, -0.707106781186588, 0.000000000000000 ) ); #2830 = DIRECTION( '', ( 1.00000000000000, 3.70015129647070E-013, 0.000000000000000 ) ); #2831 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2832 = SURFACE_STYLE_FILL_AREA( #3195 ); #2833 = ORIENTED_EDGE( '', *, *, #635, .T. ); #2834 = ORIENTED_EDGE( '', *, *, #443, .F. ); #2835 = ORIENTED_EDGE( '', *, *, #561, .F. ); #2836 = ORIENTED_EDGE( '', *, *, #589, .T. ); #2837 = CARTESIAN_POINT( '', ( -5.79999999999970, -4.10000000000014, 0.000000000000000 ) ); #2838 = DIRECTION( '', ( -1.00121930947991E-013, 1.00000000000000, 0.000000000000000 ) ); #2839 = DIRECTION( '', ( 1.00000000000000, 1.00121930947991E-013, 0.000000000000000 ) ); #2840 = DIRECTION( '', ( 1.00000000000000, -2.02504679691629E-014, 0.000000000000000 ) ); #2841 = SURFACE_STYLE_FILL_AREA( #3196 ); #2842 = ORIENTED_EDGE( '', *, *, #469, .T. ); #2843 = ORIENTED_EDGE( '', *, *, #543, .F. ); #2844 = ORIENTED_EDGE( '', *, *, #629, .F. ); #2845 = ORIENTED_EDGE( '', *, *, #345, .T. ); #2846 = CARTESIAN_POINT( '', ( -5.00000000000018, -17.0000000000003, 0.000000000000000 ) ); #2847 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2848 = DIRECTION( '', ( -1.00000000000000, -7.10542735760096E-015, 0.000000000000000 ) ); #2849 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2850 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2851 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2852 = CARTESIAN_POINT( '', ( -5.00000000000408, -16.9999999999989, 0.000000000000000 ) ); #2853 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2854 = DIRECTION( '', ( -1.00000000000000, 2.84217094304043E-013, 0.000000000000000 ) ); #2855 = CARTESIAN_POINT( '', ( 3.49999999999987, -3.86152236891497, 0.000000000000000 ) ); #2856 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2857 = DIRECTION( '', ( -1.00000000000000, -5.92859095149863E-014, 0.000000000000000 ) ); #2858 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2859 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2860 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #2861 = DIRECTION( '', ( 4.24105195405964E-013, -1.00000000000000, 0.000000000000000 ) ); #2862 = SURFACE_STYLE_FILL_AREA( #3197 ); #2863 = ORIENTED_EDGE( '', *, *, #719, .T. ); #2864 = ORIENTED_EDGE( '', *, *, #549, .F. ); #2865 = ORIENTED_EDGE( '', *, *, #465, .F. ); #2866 = ORIENTED_EDGE( '', *, *, #793, .T. ); #2867 = CARTESIAN_POINT( '', ( -5.00000000000018, 16.9999999999995, 0.000000000000000 ) ); #2868 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2869 = DIRECTION( '', ( -8.28966525053443E-015, 1.00000000000000, 0.000000000000000 ) ); #2870 = CARTESIAN_POINT( '', ( -5.00000000000018, -17.0000000000003, 0.000000000000000 ) ); #2871 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2872 = DIRECTION( '', ( -1.00000000000000, -7.10542735760096E-015, 0.000000000000000 ) ); #2873 = DIRECTION( '', ( -1.00000000000000, -1.00121930947991E-013, 0.000000000000000 ) ); #2874 = SURFACE_STYLE_FILL_AREA( #3198 ); #2875 = ORIENTED_EDGE( '', *, *, #859, .T. ); #2876 = ORIENTED_EDGE( '', *, *, #775, .F. ); #2877 = ORIENTED_EDGE( '', *, *, #489, .T. ); #2878 = ORIENTED_EDGE( '', *, *, #603, .T. ); #2879 = CARTESIAN_POINT( '', ( 5.79999999999930, 7.30000000000025, 0.000000000000000 ) ); #2880 = DIRECTION( '', ( -1.00000000000000, -6.23549917940158E-014, 0.000000000000000 ) ); #2881 = DIRECTION( '', ( -6.23549917940158E-014, 1.00000000000000, 0.000000000000000 ) ); #2882 = SURFACE_STYLE_FILL_AREA( #3199 ); #2883 = ORIENTED_EDGE( '', *, *, #377, .T. ); #2884 = ORIENTED_EDGE( '', *, *, #547, .F. ); #2885 = ORIENTED_EDGE( '', *, *, #517, .F. ); #2886 = ORIENTED_EDGE( '', *, *, #667, .T. ); #2887 = CARTESIAN_POINT( '', ( 4.99999999999980, 16.9999999999995, 0.000000000000000 ) ); #2888 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2889 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2890 = SURFACE_STYLE_FILL_AREA( #3200 ); #2891 = ORIENTED_EDGE( '', *, *, #391, .T. ); #2892 = ORIENTED_EDGE( '', *, *, #741, .F. ); #2893 = ORIENTED_EDGE( '', *, *, #395, .F. ); #2894 = ORIENTED_EDGE( '', *, *, #435, .T. ); #2895 = CARTESIAN_POINT( '', ( -3.49999999999970, -3.86152236891516, 0.000000000000000 ) ); #2896 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2897 = DIRECTION( '', ( 1.00000000000000, 1.11022302462518E-015, 0.000000000000000 ) ); #2898 = SURFACE_STYLE_FILL_AREA( #3201 ); #2899 = ORIENTED_EDGE( '', *, *, #673, .T. ); #2900 = ORIENTED_EDGE( '', *, *, #481, .F. ); #2901 = ORIENTED_EDGE( '', *, *, #433, .T. ); #2902 = ORIENTED_EDGE( '', *, *, #365, .T. ); #2903 = CARTESIAN_POINT( '', ( 6.49999999999605, -16.6000000000008, 0.000000000000000 ) ); #2904 = DIRECTION( '', ( -1.00000000000000, 2.99760216648192E-013, 0.000000000000000 ) ); #2905 = DIRECTION( '', ( 2.99760216648192E-013, 1.00000000000000, 0.000000000000000 ) ); #2906 = CARTESIAN_POINT( '', ( -1.99000000000000E-013, 9.99999999999875, -50.0000000000000 ) ); #2907 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2908 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2909 = CARTESIAN_POINT( '', ( -1.99000000000000E-013, 9.99999999999875, 0.000000000000000 ) ); #2910 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2911 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2912 = CARTESIAN_POINT( '', ( 3.49999999999987, -3.86152236891497, -50.0000000000000 ) ); #2913 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2914 = DIRECTION( '', ( -1.00000000000000, -5.92859095149863E-014, 0.000000000000000 ) ); #2915 = SURFACE_STYLE_FILL_AREA( #3202 ); #2916 = ORIENTED_EDGE( '', *, *, #553, .T. ); #2917 = ORIENTED_EDGE( '', *, *, #405, .F. ); #2918 = ORIENTED_EDGE( '', *, *, #829, .T. ); #2919 = ORIENTED_EDGE( '', *, *, #361, .T. ); #2920 = CARTESIAN_POINT( '', ( -5.00000000000714, 18.4999999999982, 0.000000000000000 ) ); #2921 = DIRECTION( '', ( 3.60245167030372E-013, -1.00000000000000, 0.000000000000000 ) ); #2922 = DIRECTION( '', ( -1.00000000000000, -3.60245167030372E-013, 0.000000000000000 ) ); #2923 = CARTESIAN_POINT( '', ( 4.99999999999980, -17.0000000000005, -50.0000000000000 ) ); #2924 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2925 = DIRECTION( '', ( -2.07241631263362E-014, -1.00000000000000, 0.000000000000000 ) ); #2926 = SURFACE_STYLE_FILL_AREA( #3203 ); #2927 = ORIENTED_EDGE( '', *, *, #749, .T. ); #2928 = ORIENTED_EDGE( '', *, *, #831, .F. ); #2929 = ORIENTED_EDGE( '', *, *, #523, .T. ); #2930 = ORIENTED_EDGE( '', *, *, #405, .T. ); #2931 = CARTESIAN_POINT( '', ( 4.99999999999345, 17.0000000000019, 0.000000000000000 ) ); #2932 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2933 = DIRECTION( '', ( 1.00000000000000, 5.56591809678793E-013, 0.000000000000000 ) ); #2934 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2935 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2936 = SURFACE_STYLE_FILL_AREA( #3204 ); #2937 = ORIENTED_EDGE( '', *, *, #557, .T. ); #2938 = ORIENTED_EDGE( '', *, *, #383, .F. ); #2939 = ORIENTED_EDGE( '', *, *, #757, .F. ); #2940 = ORIENTED_EDGE( '', *, *, #549, .T. ); #2941 = CARTESIAN_POINT( '', ( -8.00000000000020, 16.9999999999994, 0.000000000000000 ) ); #2942 = DIRECTION( '', ( -1.00000000000000, -3.57336899088669E-014, 0.000000000000000 ) ); #2943 = DIRECTION( '', ( -3.57336899088669E-014, 1.00000000000000, 0.000000000000000 ) ); #2944 = DIRECTION( '', ( -2.99760216648192E-013, -1.00000000000000, 0.000000000000000 ) ); #2945 = DIRECTION( '', ( 0.707106781186507, 0.707106781186588, 0.000000000000000 ) ); #2946 = SURFACE_STYLE_FILL_AREA( #3205 ); #2947 = ORIENTED_EDGE( '', *, *, #375, .T. ); #2948 = ORIENTED_EDGE( '', *, *, #491, .F. ); #2949 = ORIENTED_EDGE( '', *, *, #621, .T. ); #2950 = ORIENTED_EDGE( '', *, *, #569, .T. ); #2951 = CARTESIAN_POINT( '', ( -6.50000000000651, 16.5999999999967, 0.000000000000000 ) ); #2952 = DIRECTION( '', ( 1.00000000000000, 4.24105195405964E-013, 0.000000000000000 ) ); #2953 = DIRECTION( '', ( 4.24105195405964E-013, -1.00000000000000, 0.000000000000000 ) ); #2954 = CARTESIAN_POINT( '', ( -5.00000000000657, 16.9999999999981, 0.000000000000000 ) ); #2955 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2956 = DIRECTION( '', ( -3.81324601524558E-013, 1.00000000000000, 0.000000000000000 ) ); #2957 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2958 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2959 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #2960 = DIRECTION( '', ( -0.707106781186556, -0.707106781186539, 0.000000000000000 ) ); #2961 = CARTESIAN_POINT( '', ( -5.09999999999971, -7.30000000000009, 0.000000000000000 ) ); #2962 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2963 = DIRECTION( '', ( 0.707106781186543, -0.707106781186552, 0.000000000000000 ) ); #2964 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #2965 = CARTESIAN_POINT( '', ( -1.99000000000000E-013, 9.99999999999875, -50.0000000000000 ) ); #2966 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2967 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2968 = CARTESIAN_POINT( '', ( -2.30220000000000E-012, -9.99999999999932, -50.0000000000000 ) ); #2969 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2970 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2971 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2972 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2973 = SURFACE_STYLE_FILL_AREA( #3206 ); #2974 = ORIENTED_EDGE( '', *, *, #695, .T. ); #2975 = ORIENTED_EDGE( '', *, *, #435, .F. ); #2976 = ORIENTED_EDGE( '', *, *, #855, .F. ); #2977 = ORIENTED_EDGE( '', *, *, #599, .T. ); #2978 = CARTESIAN_POINT( '', ( -1.49999999999974, 3.86152236891492, 0.000000000000000 ) ); #2979 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #2980 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #2981 = CARTESIAN_POINT( '', ( -5.00000000000018, 16.9999999999995, -50.0000000000000 ) ); #2982 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2983 = DIRECTION( '', ( -8.28966525053443E-015, 1.00000000000000, 0.000000000000000 ) ); #2984 = DIRECTION( '', ( 1.00000000000000, -2.20268248085631E-013, 0.000000000000000 ) ); #2985 = SURFACE_STYLE_FILL_AREA( #3207 ); #2986 = ORIENTED_EDGE( '', *, *, #555, .T. ); #2987 = ORIENTED_EDGE( '', *, *, #361, .F. ); #2988 = ORIENTED_EDGE( '', *, *, #679, .T. ); #2989 = ORIENTED_EDGE( '', *, *, #491, .T. ); #2990 = CARTESIAN_POINT( '', ( -5.00000000000657, 16.9999999999981, 0.000000000000000 ) ); #2991 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #2992 = DIRECTION( '', ( -3.81324601524558E-013, 1.00000000000000, 0.000000000000000 ) ); #2993 = CARTESIAN_POINT( '', ( -5.09999999999969, 7.29999999999995, 0.000000000000000 ) ); #2994 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2995 = DIRECTION( '', ( -1.00000000000000, 7.61295788314385E-015, 0.000000000000000 ) ); #2996 = CARTESIAN_POINT( '', ( 4.99999999999355, 16.6000000000010, -50.0000000000000 ) ); #2997 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #2998 = DIRECTION( '', ( 3.71258579434652E-013, -1.00000000000000, 0.000000000000000 ) ); #2999 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3000 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3001 = SURFACE_STYLE_FILL_AREA( #3208 ); #3002 = ORIENTED_EDGE( '', *, *, #777, .T. ); #3003 = ORIENTED_EDGE( '', *, *, #845, .F. ); #3004 = ORIENTED_EDGE( '', *, *, #811, .F. ); #3005 = ORIENTED_EDGE( '', *, *, #709, .T. ); #3006 = CARTESIAN_POINT( '', ( -4.60502525316910, 7.79497474683054, 0.000000000000000 ) ); #3007 = DIRECTION( '', ( -0.707106781186557, -0.707106781186538, 0.000000000000000 ) ); #3008 = DIRECTION( '', ( -0.707106781186538, 0.707106781186557, 0.000000000000000 ) ); #3009 = CARTESIAN_POINT( '', ( 4.99999999999345, 17.0000000000019, -50.0000000000000 ) ); #3010 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3011 = DIRECTION( '', ( 1.00000000000000, 5.56591809678793E-013, 0.000000000000000 ) ); #3012 = SURFACE_STYLE_FILL_AREA( #3209 ); #3013 = ORIENTED_EDGE( '', *, *, #851, .T. ); #3014 = ORIENTED_EDGE( '', *, *, #793, .F. ); #3015 = ORIENTED_EDGE( '', *, *, #337, .F. ); #3016 = ORIENTED_EDGE( '', *, *, #547, .T. ); #3017 = CARTESIAN_POINT( '', ( 4.99999999999980, 19.9999999999995, 0.000000000000000 ) ); #3018 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #3019 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #3020 = SURFACE_STYLE_FILL_AREA( #3210 ); #3021 = DIRECTION( '', ( 3.57336899088669E-014, -1.00000000000000, 0.000000000000000 ) ); #3022 = DIRECTION( '', ( 0.000000000000000, 1.00000000000000, 0.000000000000000 ) ); #3023 = DIRECTION( '', ( 1.00000000000000, 4.03717463500050E-016, 0.000000000000000 ) ); #3024 = SURFACE_STYLE_FILL_AREA( #3211 ); #3025 = ORIENTED_EDGE( '', *, *, #797, .T. ); #3026 = ORIENTED_EDGE( '', *, *, #789, .T. ); #3027 = ORIENTED_EDGE( '', *, *, #445, .T. ); #3028 = ORIENTED_EDGE( '', *, *, #805, .T. ); #3029 = CARTESIAN_POINT( '', ( -2.30220000000000E-012, -9.99999999999932, 0.000000000000000 ) ); #3030 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3031 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #3032 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3033 = DIRECTION( '', ( -1.00000000000000, 2.20268248085631E-013, 0.000000000000000 ) ); #3034 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3035 = DIRECTION( '', ( 0.707106781186538, -0.707106781186557, 0.000000000000000 ) ); #3036 = SURFACE_STYLE_FILL_AREA( #3212 ); #3037 = ORIENTED_EDGE( '', *, *, #685, .T. ); #3038 = ORIENTED_EDGE( '', *, *, #667, .F. ); #3039 = ORIENTED_EDGE( '', *, *, #325, .F. ); #3040 = ORIENTED_EDGE( '', *, *, #605, .T. ); #3041 = CARTESIAN_POINT( '', ( 7.99999999999980, -17.0000000000005, 0.000000000000000 ) ); #3042 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #3043 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #3044 = DIRECTION( '', ( 1.00000000000000, -2.29860575018390E-013, 0.000000000000000 ) ); #3045 = CARTESIAN_POINT( '', ( -2.30220000000000E-012, -9.99999999999932, -50.0000000000000 ) ); #3046 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3047 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #3048 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3049 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3050 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3051 = SURFACE_STYLE_FILL_AREA( #3213 ); #3052 = ORIENTED_EDGE( '', *, *, #853, .T. ); #3053 = ORIENTED_EDGE( '', *, *, #365, .F. ); #3054 = ORIENTED_EDGE( '', *, *, #399, .T. ); #3055 = ORIENTED_EDGE( '', *, *, #331, .T. ); #3056 = CARTESIAN_POINT( '', ( 4.99999999999618, -16.6000000000003, 0.000000000000000 ) ); #3057 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3058 = DIRECTION( '', ( 1.00000000000000, -3.17375755306205E-013, 0.000000000000000 ) ); #3059 = DIRECTION( '', ( 1.00000000000000, 4.03717463500050E-016, 0.000000000000000 ) ); #3060 = SURFACE_STYLE_FILL_AREA( #3214 ); #3061 = ORIENTED_EDGE( '', *, *, #429, .T. ); #3062 = ORIENTED_EDGE( '', *, *, #841, .F. ); #3063 = ORIENTED_EDGE( '', *, *, #837, .T. ); #3064 = ORIENTED_EDGE( '', *, *, #809, .T. ); #3065 = CARTESIAN_POINT( '', ( 3.49999999999935, 3.86152236891517, 0.000000000000000 ) ); #3066 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3067 = DIRECTION( '', ( -0.707106781186590, 0.707106781186505, 0.000000000000000 ) ); #3068 = CARTESIAN_POINT( '', ( -2.30220000000000E-012, -9.99999999999932, 0.000000000000000 ) ); #3069 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3070 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #3071 = SURFACE_STYLE_FILL_AREA( #3215 ); #3072 = ORIENTED_EDGE( '', *, *, #335, .T. ); #3073 = ORIENTED_EDGE( '', *, *, #441, .F. ); #3074 = ORIENTED_EDGE( '', *, *, #697, .F. ); #3075 = ORIENTED_EDGE( '', *, *, #741, .T. ); #3076 = CARTESIAN_POINT( '', ( -2.08578643762666, -5.27573593128826, 0.000000000000000 ) ); #3077 = DIRECTION( '', ( -0.707106781186539, 0.707106781186556, 0.000000000000000 ) ); #3078 = DIRECTION( '', ( 0.707106781186556, 0.707106781186539, 0.000000000000000 ) ); #3079 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3080 = DIRECTION( '', ( 0.707106781186538, -0.707106781186557, 0.000000000000000 ) ); #3081 = CARTESIAN_POINT( '', ( -3.49999999999973, 3.86152236891492, 0.000000000000000 ) ); #3082 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3083 = DIRECTION( '', ( 0.707106781186554, 0.707106781186542, 0.000000000000000 ) ); #3084 = SURFACE_STYLE_FILL_AREA( #3216 ); #3085 = ORIENTED_EDGE( '', *, *, #801, .T. ); #3086 = ORIENTED_EDGE( '', *, *, #431, .F. ); #3087 = ORIENTED_EDGE( '', *, *, #765, .F. ); #3088 = ORIENTED_EDGE( '', *, *, #383, .T. ); #3089 = CARTESIAN_POINT( '', ( -7.99999999999974, 4.09999999999991, 0.000000000000000 ) ); #3090 = DIRECTION( '', ( 4.03717463500050E-016, -1.00000000000000, 0.000000000000000 ) ); #3091 = DIRECTION( '', ( -1.00000000000000, -4.03717463500050E-016, 0.000000000000000 ) ); #3092 = CARTESIAN_POINT( '', ( -5.00000000000649, 16.5999999999973, 0.000000000000000 ) ); #3093 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3094 = DIRECTION( '', ( -1.00000000000000, -4.38168020385389E-013, 0.000000000000000 ) ); #3095 = CARTESIAN_POINT( '', ( -1.99000000000000E-013, 9.99999999999875, 0.000000000000000 ) ); #3096 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3097 = DIRECTION( '', ( 1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #3098 = SURFACE_STYLE_FILL_AREA( #3217 ); #3099 = ORIENTED_EDGE( '', *, *, #403, .T. ); #3100 = ORIENTED_EDGE( '', *, *, #861, .F. ); #3101 = ORIENTED_EDGE( '', *, *, #857, .T. ); #3102 = ORIENTED_EDGE( '', *, *, #481, .T. ); #3103 = CARTESIAN_POINT( '', ( 4.99999999999593, -17.0000000000011, 0.000000000000000 ) ); #3104 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3105 = DIRECTION( '', ( -2.20268248085631E-013, -1.00000000000000, 0.000000000000000 ) ); #3106 = SURFACE_STYLE_FILL_AREA( #3218 ); #3107 = ORIENTED_EDGE( '', *, *, #879, .T. ); #3108 = ORIENTED_EDGE( '', *, *, #599, .F. ); #3109 = ORIENTED_EDGE( '', *, *, #813, .F. ); #3110 = ORIENTED_EDGE( '', *, *, #845, .T. ); #3111 = CARTESIAN_POINT( '', ( -3.49999999999973, 3.86152236891492, 0.000000000000000 ) ); #3112 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3113 = DIRECTION( '', ( 0.707106781186554, 0.707106781186542, 0.000000000000000 ) ); #3114 = DIRECTION( '', ( -1.00000000000000, -3.60245167030372E-013, 0.000000000000000 ) ); #3115 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3116 = SURFACE_STYLE_FILL_AREA( #3219 ); #3117 = ORIENTED_EDGE( '', *, *, #417, .T. ); #3118 = ORIENTED_EDGE( '', *, *, #613, .F. ); #3119 = ORIENTED_EDGE( '', *, *, #699, .F. ); #3120 = ORIENTED_EDGE( '', *, *, #441, .T. ); #3121 = CARTESIAN_POINT( '', ( -5.09999999999971, -7.30000000000009, 0.000000000000000 ) ); #3122 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3123 = DIRECTION( '', ( 0.707106781186543, -0.707106781186552, 0.000000000000000 ) ); #3124 = SURFACE_STYLE_FILL_AREA( #3220 ); #3125 = ORIENTED_EDGE( '', *, *, #513, .T. ); #3126 = ORIENTED_EDGE( '', *, *, #809, .F. ); #3127 = ORIENTED_EDGE( '', *, *, #891, .T. ); #3128 = ORIENTED_EDGE( '', *, *, #877, .T. ); #3129 = CARTESIAN_POINT( '', ( 1.49999999999997, -3.86152236891509, 0.000000000000000 ) ); #3130 = DIRECTION( '', ( 1.00000000000000, 5.82781052631185E-014, 0.000000000000000 ) ); #3131 = DIRECTION( '', ( 5.82781052631185E-014, -1.00000000000000, 0.000000000000000 ) ); #3132 = CARTESIAN_POINT( '', ( 3.49999999999935, 3.86152236891517, 0.000000000000000 ) ); #3133 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3134 = DIRECTION( '', ( -0.707106781186590, 0.707106781186505, 0.000000000000000 ) ); #3135 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3136 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3137 = DIRECTION( '', ( -1.00000000000000, -3.70015129647070E-013, 0.000000000000000 ) ); #3138 = DIRECTION( '', ( -1.00000000000000, 0.000000000000000, 0.000000000000000 ) ); #3139 = CARTESIAN_POINT( '', ( 4.99999999999618, -16.6000000000003, -50.0000000000000 ) ); #3140 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3141 = DIRECTION( '', ( 1.00000000000000, -3.17375755306205E-013, 0.000000000000000 ) ); #3142 = DIRECTION( '', ( 0.000000000000000, -1.00000000000000, 0.000000000000000 ) ); #3143 = CARTESIAN_POINT( '', ( 4.99999999999593, -17.0000000000011, 0.000000000000000 ) ); #3144 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3145 = DIRECTION( '', ( -2.20268248085631E-013, -1.00000000000000, 0.000000000000000 ) ); #3146 = DIRECTION( '', ( 6.23549917940158E-014, -1.00000000000000, 0.000000000000000 ) ); #3147 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3148 = CARTESIAN_POINT( '', ( 5.09999999999931, 7.30000000000021, -50.0000000000000 ) ); #3149 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3150 = DIRECTION( '', ( 1.00000000000000, 5.83660104374373E-014, 0.000000000000000 ) ); #3151 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3152 = CARTESIAN_POINT( '', ( 5.09999999999931, 7.30000000000021, 0.000000000000000 ) ); #3153 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, 1.00000000000000 ) ); #3154 = DIRECTION( '', ( 1.00000000000000, 5.83660104374373E-014, 0.000000000000000 ) ); #3155 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3156 = CARTESIAN_POINT( '', ( -3.49999999999973, 3.86152236891492, -50.0000000000000 ) ); #3157 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3158 = DIRECTION( '', ( 0.707106781186554, 0.707106781186542, 0.000000000000000 ) ); #3159 = CARTESIAN_POINT( '', ( -5.09999999999969, 7.29999999999995, -50.0000000000000 ) ); #3160 = DIRECTION( '', ( 0.000000000000000, 0.000000000000000, -1.00000000000000 ) ); #3161 = DIRECTION( '', ( -1.00000000000000, 7.61295788314385E-015, 0.000000000000000 ) ); #3162 = SURFACE_STYLE_FILL_AREA( #3221 ); #3163 = ORIENTED_EDGE( '', *, *, #319, .T. ); #3164 = ORIENTED_EDGE( '', *, *, #745, .F. ); #3165 = ORIENTED_EDGE( '', *, *, #473, .T. ); #3166 = ORIENTED_EDGE( '', *, *, #769, .T. ); #3167 = CARTESIAN_POINT( '', ( 4.60502525316969, -7.79497474683038, 0.000000000000000 ) ); #3168 = DIRECTION( '', ( 0.707106781186483, 0.707106781186612, 0.000000000000000 ) ); #3169 = DIRECTION( '', ( 0.707106781186612, -0.707106781186483, 0.000000000000000 ) ); #3170 = DIRECTION( '', ( 5.82781052631185E-014, -1.00000000000000, 0.000000000000000 ) ); #3171 = FILL_AREA_STYLE( '', ( #3222 ) ); #3172 = FILL_AREA_STYLE( '', ( #3223 ) ); #3173 = FILL_AREA_STYLE( '', ( #3224 ) ); #3174 = FILL_AREA_STYLE( '', ( #3225 ) ); #3175 = FILL_AREA_STYLE( '', ( #3226 ) ); #3176 = FILL_AREA_STYLE( '', ( #3227 ) ); #3177 = FILL_AREA_STYLE( '', ( #3228 ) ); #3178 = FILL_AREA_STYLE( '', ( #3229 ) ); #3179 = FILL_AREA_STYLE( '', ( #3230 ) ); #3180 = FILL_AREA_STYLE( '', ( #3231 ) ); #3181 = FILL_AREA_STYLE( '', ( #3232 ) ); #3182 = FILL_AREA_STYLE( '', ( #3233 ) ); #3183 = FILL_AREA_STYLE( '', ( #3234 ) ); #3184 = FILL_AREA_STYLE( '', ( #3235 ) ); #3185 = FILL_AREA_STYLE( '', ( #3236 ) ); #3186 = FILL_AREA_STYLE( '', ( #3237 ) ); #3187 = FILL_AREA_STYLE( '', ( #3238 ) ); #3188 = FILL_AREA_STYLE( '', ( #3239 ) ); #3189 = FILL_AREA_STYLE( '', ( #3240 ) ); #3190 = FILL_AREA_STYLE( '', ( #3241 ) ); #3191 = FILL_AREA_STYLE( '', ( #3242 ) ); #3192 = FILL_AREA_STYLE( '', ( #3243 ) ); #3193 = FILL_AREA_STYLE( '', ( #3244 ) ); #3194 = FILL_AREA_STYLE( '', ( #3245 ) ); #3195 = FILL_AREA_STYLE( '', ( #3246 ) ); #3196 = FILL_AREA_STYLE( '', ( #3247 ) ); #3197 = FILL_AREA_STYLE( '', ( #3248 ) ); #3198 = FILL_AREA_STYLE( '', ( #3249 ) ); #3199 = FILL_AREA_STYLE( '', ( #3250 ) ); #3200 = FILL_AREA_STYLE( '', ( #3251 ) ); #3201 = FILL_AREA_STYLE( '', ( #3252 ) ); #3202 = FILL_AREA_STYLE( '', ( #3253 ) ); #3203 = FILL_AREA_STYLE( '', ( #3254 ) ); #3204 = FILL_AREA_STYLE( '', ( #3255 ) ); #3205 = FILL_AREA_STYLE( '', ( #3256 ) ); #3206 = FILL_AREA_STYLE( '', ( #3257 ) ); #3207 = FILL_AREA_STYLE( '', ( #3258 ) ); #3208 = FILL_AREA_STYLE( '', ( #3259 ) ); #3209 = FILL_AREA_STYLE( '', ( #3260 ) ); #3210 = FILL_AREA_STYLE( '', ( #3261 ) ); #3211 = FILL_AREA_STYLE( '', ( #3262 ) ); #3212 = FILL_AREA_STYLE( '', ( #3263 ) ); #3213 = FILL_AREA_STYLE( '', ( #3264 ) ); #3214 = FILL_AREA_STYLE( '', ( #3265 ) ); #3215 = FILL_AREA_STYLE( '', ( #3266 ) ); #3216 = FILL_AREA_STYLE( '', ( #3267 ) ); #3217 = FILL_AREA_STYLE( '', ( #3268 ) ); #3218 = FILL_AREA_STYLE( '', ( #3269 ) ); #3219 = FILL_AREA_STYLE( '', ( #3270 ) ); #3220 = FILL_AREA_STYLE( '', ( #3271 ) ); #3221 = FILL_AREA_STYLE( '', ( #3272 ) ); #3222 = FILL_AREA_STYLE_COLOUR( '', #3273 ); #3223 = FILL_AREA_STYLE_COLOUR( '', #3274 ); #3224 = FILL_AREA_STYLE_COLOUR( '', #3275 ); #3225 = FILL_AREA_STYLE_COLOUR( '', #3276 ); #3226 = FILL_AREA_STYLE_COLOUR( '', #3277 ); #3227 = FILL_AREA_STYLE_COLOUR( '', #3278 ); #3228 = FILL_AREA_STYLE_COLOUR( '', #3279 ); #3229 = FILL_AREA_STYLE_COLOUR( '', #3280 ); #3230 = FILL_AREA_STYLE_COLOUR( '', #3281 ); #3231 = FILL_AREA_STYLE_COLOUR( '', #3282 ); #3232 = FILL_AREA_STYLE_COLOUR( '', #3283 ); #3233 = FILL_AREA_STYLE_COLOUR( '', #3284 ); #3234 = FILL_AREA_STYLE_COLOUR( '', #3285 ); #3235 = FILL_AREA_STYLE_COLOUR( '', #3286 ); #3236 = FILL_AREA_STYLE_COLOUR( '', #3287 ); #3237 = FILL_AREA_STYLE_COLOUR( '', #3288 ); #3238 = FILL_AREA_STYLE_COLOUR( '', #3289 ); #3239 = FILL_AREA_STYLE_COLOUR( '', #3290 ); #3240 = FILL_AREA_STYLE_COLOUR( '', #3291 ); #3241 = FILL_AREA_STYLE_COLOUR( '', #3292 ); #3242 = FILL_AREA_STYLE_COLOUR( '', #3293 ); #3243 = FILL_AREA_STYLE_COLOUR( '', #3294 ); #3244 = FILL_AREA_STYLE_COLOUR( '', #3295 ); #3245 = FILL_AREA_STYLE_COLOUR( '', #3296 ); #3246 = FILL_AREA_STYLE_COLOUR( '', #3297 ); #3247 = FILL_AREA_STYLE_COLOUR( '', #3298 ); #3248 = FILL_AREA_STYLE_COLOUR( '', #3299 ); #3249 = FILL_AREA_STYLE_COLOUR( '', #3300 ); #3250 = FILL_AREA_STYLE_COLOUR( '', #3301 ); #3251 = FILL_AREA_STYLE_COLOUR( '', #3302 ); #3252 = FILL_AREA_STYLE_COLOUR( '', #3303 ); #3253 = FILL_AREA_STYLE_COLOUR( '', #3304 ); #3254 = FILL_AREA_STYLE_COLOUR( '', #3305 ); #3255 = FILL_AREA_STYLE_COLOUR( '', #3306 ); #3256 = FILL_AREA_STYLE_COLOUR( '', #3307 ); #3257 = FILL_AREA_STYLE_COLOUR( '', #3308 ); #3258 = FILL_AREA_STYLE_COLOUR( '', #3309 ); #3259 = FILL_AREA_STYLE_COLOUR( '', #3310 ); #3260 = FILL_AREA_STYLE_COLOUR( '', #3311 ); #3261 = FILL_AREA_STYLE_COLOUR( '', #3312 ); #3262 = FILL_AREA_STYLE_COLOUR( '', #3313 ); #3263 = FILL_AREA_STYLE_COLOUR( '', #3314 ); #3264 = FILL_AREA_STYLE_COLOUR( '', #3315 ); #3265 = FILL_AREA_STYLE_COLOUR( '', #3316 ); #3266 = FILL_AREA_STYLE_COLOUR( '', #3317 ); #3267 = FILL_AREA_STYLE_COLOUR( '', #3318 ); #3268 = FILL_AREA_STYLE_COLOUR( '', #3319 ); #3269 = FILL_AREA_STYLE_COLOUR( '', #3320 ); #3270 = FILL_AREA_STYLE_COLOUR( '', #3321 ); #3271 = FILL_AREA_STYLE_COLOUR( '', #3322 ); #3272 = FILL_AREA_STYLE_COLOUR( '', #3323 ); #3273 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3274 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3275 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3276 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3277 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3278 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3279 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3280 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3281 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3282 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3283 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3284 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3285 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3286 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3287 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3288 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3289 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3290 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3291 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3292 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3293 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3294 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3295 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3296 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3297 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3298 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3299 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3300 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3301 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3302 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3303 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3304 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3305 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3306 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3307 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3308 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3309 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3310 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3311 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3312 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3313 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3314 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3315 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3316 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3317 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3318 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3319 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3320 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3321 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3322 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); #3323 = COLOUR_RGB( '', 0.800000000000000, 0.800000000000000, 0.800000000000000 ); ENDSEC; END-ISO-10303-21;