ISO-10303-21;
HEADER;
FILE_DESCRIPTION (( 'STEP AP203' ),
    '1' );
FILE_NAME ('VRSF-E2-E8.STEP',
    '2008-04-04T09:55:48',
    ( ' ' ),
    ( ' ' ),
    'SwSTEP 2.0',
    'SolidWorks 2006303',
    '' );
FILE_SCHEMA (( 'CONFIG_CONTROL_DESIGN' ));
ENDSEC;

DATA;
#1 = ORIENTED_EDGE ( 'NONE', *, *, #4369, .T. ) ;
#2 = ORIENTED_EDGE ( 'NONE', *, *, #339, .T. ) ;
#3 = ORIENTED_EDGE ( 'NONE', *, *, #304, .F. ) ;
#4 = VERTEX_POINT ( 'NONE', #4442 ) ;
#5 = EDGE_LOOP ( 'NONE', ( #3, #23, #19, #29 ) ) ;
#6 = VERTEX_POINT ( 'NONE', #4441 ) ;
#7 = ORIENTED_EDGE ( 'NONE', *, *, #24, .F. ) ;
#8 = ORIENTED_EDGE ( 'NONE', *, *, #5357, .T. ) ;
#9 = EDGE_CURVE ( 'NONE', #319, #318, #4439, .T. ) ;
#10 = ADVANCED_FACE ( 'NONE', ( #4440 ), #4502, .F. ) ;
#11 = VERTEX_POINT ( 'NONE', #4497 ) ;
#12 = EDGE_CURVE ( 'NONE', #46, #11, #4496, .T. ) ;
#13 = ORIENTED_EDGE ( 'NONE', *, *, #12, .F. ) ;
#14 = ORIENTED_EDGE ( 'NONE', *, *, #15, .T. ) ;
#15 = EDGE_CURVE ( 'NONE', #6, #11, #4491, .T. ) ;
#16 = VERTEX_POINT ( 'NONE', #4487 ) ;
#17 = EDGE_CURVE ( 'NONE', #16, #6, #4486, .T. ) ;
#18 = ORIENTED_EDGE ( 'NONE', *, *, #17, .T. ) ;
#19 = ORIENTED_EDGE ( 'NONE', *, *, #310, .T. ) ;
#20 = VERTEX_POINT ( 'NONE', #4481 ) ;
#21 = EDGE_CURVE ( 'NONE', #13059, #16, #4480, .T. ) ;
#22 = ORIENTED_EDGE ( 'NONE', *, *, #21, .T. ) ;
#23 = ORIENTED_EDGE ( 'NONE', *, *, #31, .F. ) ;
#24 = EDGE_CURVE ( 'NONE', #20, #4456, #4476, .T. ) ;
#25 = EDGE_LOOP ( 'NONE', ( #5332, #5320, #5312, #5330 ) ) ;
#26 = EDGE_LOOP ( 'NONE', ( #28, #8, #7, #5322 ) ) ;
#27 = EDGE_CURVE ( 'NONE', #4448, #4, #4472, .T. ) ;
#28 = ORIENTED_EDGE ( 'NONE', *, *, #27, .F. ) ;
#29 = ORIENTED_EDGE ( 'NONE', *, *, #4423, .T. ) ;
#30 = ADVANCED_FACE ( 'NONE', ( #4535 ), #4533, .T. ) ;
#31 = EDGE_CURVE ( 'NONE', #302, #301, #4528, .T. ) ;
#32 = ADVANCED_FACE ( 'NONE', ( #4524 ), #4523, .F. ) ;
#33 = ADVANCED_FACE ( 'NONE', ( #4518 ), #4517, .F. ) ;
#34 = ORIENTED_EDGE ( 'NONE', *, *, #296, .F. ) ;
#35 = EDGE_LOOP ( 'NONE', ( #34, #5308, #5338, #5336 ) ) ;
#36 = ADVANCED_FACE ( 'NONE', ( #4511 ), #4510, .F. ) ;
#37 = ORIENTED_EDGE ( 'NONE', *, *, #237, .T. ) ;
#38 = EDGE_LOOP ( 'NONE', ( #41, #42, #37, #39 ) ) ;
#39 = ORIENTED_EDGE ( 'NONE', *, *, #40, .T. ) ;
#40 = EDGE_CURVE ( 'NONE', #235, #205, #4568, .T. ) ;
#41 = ORIENTED_EDGE ( 'NONE', *, *, #218, .F. ) ;
#42 = ORIENTED_EDGE ( 'NONE', *, *, #43, .F. ) ;
#43 = EDGE_CURVE ( 'NONE', #286, #285, #4563, .T. ) ;
#44 = EDGE_CURVE ( 'NONE', #288, #368, #4558, .T. ) ;
#45 = ADVANCED_FACE ( 'NONE', ( #4553 ), #4552, .F. ) ;
#46 = VERTEX_POINT ( 'NONE', #4547 ) ;
#47 = EDGE_CURVE ( 'NONE', #50, #49, #4546, .T. ) ;
#48 = ORIENTED_EDGE ( 'NONE', *, *, #47, .T. ) ;
#49 = VERTEX_POINT ( 'NONE', #4541 ) ;
#50 = VERTEX_POINT ( 'NONE', #4540 ) ;
#51 = VERTEX_POINT ( 'NONE', #4539 ) ;
#52 = ORIENTED_EDGE ( 'NONE', *, *, #161, .T. ) ;
#53 = EDGE_LOOP ( 'NONE', ( #52, #48, #1876, #1873, #1868, #1869 ) ) ;
#54 = ORIENTED_EDGE ( 'NONE', *, *, #150, .T. ) ;
#55 = VERTEX_POINT ( 'NONE', #4600 ) ;
#56 = VERTEX_POINT ( 'NONE', #4599 ) ;
#57 = VERTEX_POINT ( 'NONE', #4598 ) ;
#58 = ORIENTED_EDGE ( 'NONE', *, *, #59, .T. ) ;
#59 = EDGE_CURVE ( 'NONE', #57, #84, #4597, .T. ) ;
#60 = VERTEX_POINT ( 'NONE', #4592 ) ;
#61 = ORIENTED_EDGE ( 'NONE', *, *, #62, .T. ) ;
#62 = EDGE_CURVE ( 'NONE', #60, #81, #4591, .T. ) ;
#63 = ADVANCED_FACE ( 'NONE', ( #4586 ), #4585, .F. ) ;
#64 = EDGE_LOOP ( 'NONE', ( #65, #66, #67, #68 ) ) ;
#65 = ORIENTED_EDGE ( 'NONE', *, *, #2585, .F. ) ;
#66 = ORIENTED_EDGE ( 'NONE', *, *, #2644, .F. ) ;
#67 = ORIENTED_EDGE ( 'NONE', *, *, #2591, .T. ) ;
#68 = ORIENTED_EDGE ( 'NONE', *, *, #69, .F. ) ;
#69 = EDGE_CURVE ( 'NONE', #2586, #2589, #4579, .T. ) ;
#70 = ADVANCED_FACE ( 'NONE', ( #4575, #4574 ), #4573, .T. ) ;
#71 = EDGE_LOOP ( 'NONE', ( #72, #54 ) ) ;
#72 = ORIENTED_EDGE ( 'NONE', *, *, #2538, .T. ) ;
#73 = ORIENTED_EDGE ( 'NONE', *, *, #74, .T. ) ;
#74 = EDGE_CURVE ( 'NONE', #55, #56, #4636, .T. ) ;
#75 = ADVANCED_FACE ( 'NONE', ( #4631, #4630 ), #4629, .T. ) ;
#76 = EDGE_LOOP ( 'NONE', ( #78, #79 ) ) ;
#77 = ORIENTED_EDGE ( 'NONE', *, *, #94, .T. ) ;
#78 = ORIENTED_EDGE ( 'NONE', *, *, #2575, .T. ) ;
#79 = ORIENTED_EDGE ( 'NONE', *, *, #2651, .T. ) ;
#80 = EDGE_LOOP ( 'NONE', ( #100, #103, #106, #109, #92, #61 ) ) ;
#81 = VERTEX_POINT ( 'NONE', #4624 ) ;
#82 = ORIENTED_EDGE ( 'NONE', *, *, #83, .T. ) ;
#83 = EDGE_CURVE ( 'NONE', #84, #55, #4623, .T. ) ;
#84 = VERTEX_POINT ( 'NONE', #4618 ) ;
#85 = ADVANCED_FACE ( 'NONE', ( #4617, #4616 ), #4615, .T. ) ;
#86 = ORIENTED_EDGE ( 'NONE', *, *, #2551, .T. ) ;
#87 = EDGE_CURVE ( 'NONE', #114, #156, #4609, .T. ) ;
#88 = ORIENTED_EDGE ( 'NONE', *, *, #89, .T. ) ;
#89 = EDGE_CURVE ( 'NONE', #98, #57, #4604, .T. ) ;
#90 = ORIENTED_EDGE ( 'NONE', *, *, #2725, .T. ) ;
#91 = EDGE_LOOP ( 'NONE', ( #82, #73, #77, #96, #88, #58 ) ) ;
#92 = ORIENTED_EDGE ( 'NONE', *, *, #93, .T. ) ;
#93 = EDGE_CURVE ( 'NONE', #111, #60, #4664, .T. ) ;
#94 = EDGE_CURVE ( 'NONE', #56, #95, #4660, .T. ) ;
#95 = VERTEX_POINT ( 'NONE', #4655 ) ;
#96 = ORIENTED_EDGE ( 'NONE', *, *, #97, .T. ) ;
#97 = EDGE_CURVE ( 'NONE', #95, #98, #4654, .T. ) ;
#98 = VERTEX_POINT ( 'NONE', #4649 ) ;
#99 = EDGE_LOOP ( 'NONE', ( #86, #90 ) ) ;
#100 = ORIENTED_EDGE ( 'NONE', *, *, #101, .T. ) ;
#101 = EDGE_CURVE ( 'NONE', #81, #102, #4648, .T. ) ;
#102 = VERTEX_POINT ( 'NONE', #4643 ) ;
#103 = ORIENTED_EDGE ( 'NONE', *, *, #104, .T. ) ;
#104 = EDGE_CURVE ( 'NONE', #102, #105, #4642, .T. ) ;
#105 = VERTEX_POINT ( 'NONE', #4637 ) ;
#106 = ORIENTED_EDGE ( 'NONE', *, *, #107, .T. ) ;
#107 = EDGE_CURVE ( 'NONE', #105, #108, #4698, .T. ) ;
#108 = VERTEX_POINT ( 'NONE', #4693 ) ;
#109 = ORIENTED_EDGE ( 'NONE', *, *, #110, .T. ) ;
#110 = EDGE_CURVE ( 'NONE', #108, #111, #4692, .T. ) ;
#111 = VERTEX_POINT ( 'NONE', #4687 ) ;
#112 = EDGE_CURVE ( 'NONE', #115, #114, #4686, .T. ) ;
#113 = ORIENTED_EDGE ( 'NONE', *, *, #112, .T. ) ;
#114 = VERTEX_POINT ( 'NONE', #4681 ) ;
#115 = VERTEX_POINT ( 'NONE', #4680 ) ;
#116 = ORIENTED_EDGE ( 'NONE', *, *, #87, .T. ) ;
#117 = EDGE_CURVE ( 'NONE', #120, #118, #4679, .T. ) ;
#118 = VERTEX_POINT ( 'NONE', #4674 ) ;
#119 = ORIENTED_EDGE ( 'NONE', *, *, #121, .T. ) ;
#120 = VERTEX_POINT ( 'NONE', #4673 ) ;
#121 = EDGE_CURVE ( 'NONE', #118, #115, #4671, .T. ) ;
#122 = ORIENTED_EDGE ( 'NONE', *, *, #117, .T. ) ;
#123 = ADVANCED_FACE ( 'NONE', ( #4672 ), #4666, .F. ) ;
#124 = EDGE_LOOP ( 'NONE', ( #125, #273, #276, #279 ) ) ;
#125 = ORIENTED_EDGE ( 'NONE', *, *, #126, .F. ) ;
#126 = EDGE_CURVE ( 'NONE', #127, #128, #4730, .T. ) ;
#127 = VERTEX_POINT ( 'NONE', #4721 ) ;
#128 = VERTEX_POINT ( 'NONE', #4720 ) ;
#129 = ORIENTED_EDGE ( 'NONE', *, *, #130, .T. ) ;
#130 = EDGE_CURVE ( 'NONE', #242, #131, #4719, .T. ) ;
#131 = VERTEX_POINT ( 'NONE', #4715 ) ;
#132 = ORIENTED_EDGE ( 'NONE', *, *, #133, .T. ) ;
#133 = EDGE_CURVE ( 'NONE', #131, #134, #4714, .T. ) ;
#134 = VERTEX_POINT ( 'NONE', #4709 ) ;
#135 = ORIENTED_EDGE ( 'NONE', *, *, #136, .F. ) ;
#136 = EDGE_CURVE ( 'NONE', #243, #134, #4708, .T. ) ;
#137 = ADVANCED_FACE ( 'NONE', ( #4704 ), #4702, .F. ) ;
#138 = EDGE_LOOP ( 'NONE', ( #139, #295, #291, #293 ) ) ;
#139 = ORIENTED_EDGE ( 'NONE', *, *, #140, .F. ) ;
#140 = EDGE_CURVE ( 'NONE', #141, #142, #4703, .T. ) ;
#141 = VERTEX_POINT ( 'NONE', #4757 ) ;
#142 = VERTEX_POINT ( 'NONE', #4756 ) ;
#143 = ORIENTED_EDGE ( 'NONE', *, *, #157, .T. ) ;
#144 = EDGE_LOOP ( 'NONE', ( #146, #153, #154, #151 ) ) ;
#145 = ADVANCED_FACE ( 'NONE', ( #4755 ), #4751, .F. ) ;
#146 = ORIENTED_EDGE ( 'NONE', *, *, #2536, .F. ) ;
#147 = ORIENTED_EDGE ( 'NONE', *, *, #2565, .T. ) ;
#148 = ORIENTED_EDGE ( 'NONE', *, *, #2712, .T. ) ;
#149 = ADVANCED_FACE ( 'NONE', ( #4753, #4752 ), #4747, .T. ) ;
#150 = EDGE_CURVE ( 'NONE', #2625, #2539, #4742, .T. ) ;
#151 = ORIENTED_EDGE ( 'NONE', *, *, #150, .F. ) ;
#152 = EDGE_LOOP ( 'NONE', ( #147, #148 ) ) ;
#153 = ORIENTED_EDGE ( 'NONE', *, *, #2633, .F. ) ;
#154 = ORIENTED_EDGE ( 'NONE', *, *, #2634, .T. ) ;
#155 = EDGE_LOOP ( 'NONE', ( #143, #159, #122, #119, #113, #116 ) ) ;
#156 = VERTEX_POINT ( 'NONE', #4737 ) ;
#157 = EDGE_CURVE ( 'NONE', #156, #158, #4736, .T. ) ;
#158 = VERTEX_POINT ( 'NONE', #4731 ) ;
#159 = ORIENTED_EDGE ( 'NONE', *, *, #160, .T. ) ;
#160 = EDGE_CURVE ( 'NONE', #158, #120, #4791, .T. ) ;
#161 = EDGE_CURVE ( 'NONE', #51, #50, #4786, .T. ) ;
#162 = VERTEX_POINT ( 'NONE', #4782 ) ;
#163 = ORIENTED_EDGE ( 'NONE', *, *, #197, .F. ) ;
#164 = EDGE_LOOP ( 'NONE', ( #199, #202, #203 ) ) ;
#165 = EDGE_LOOP ( 'NONE', ( #166, #230, #233, #221, #224 ) ) ;
#166 = ORIENTED_EDGE ( 'NONE', *, *, #167, .F. ) ;
#167 = EDGE_CURVE ( 'NONE', #228, #229, #4780, .T. ) ;
#168 = ORIENTED_EDGE ( 'NONE', *, *, #169, .F. ) ;
#169 = EDGE_CURVE ( 'NONE', #170, #171, #4775, .T. ) ;
#170 = VERTEX_POINT ( 'NONE', #4771 ) ;
#171 = VERTEX_POINT ( 'NONE', #4770 ) ;
#172 = ORIENTED_EDGE ( 'NONE', *, *, #173, .T. ) ;
#173 = EDGE_CURVE ( 'NONE', #170, #174, #4769, .T. ) ;
#174 = VERTEX_POINT ( 'NONE', #4765 ) ;
#175 = ORIENTED_EDGE ( 'NONE', *, *, #176, .T. ) ;
#176 = EDGE_CURVE ( 'NONE', #174, #818, #4763, .T. ) ;
#177 = ORIENTED_EDGE ( 'NONE', *, *, #178, .T. ) ;
#178 = EDGE_CURVE ( 'NONE', #818, #179, #4822, .T. ) ;
#179 = VERTEX_POINT ( 'NONE', #4817 ) ;
#180 = ORIENTED_EDGE ( 'NONE', *, *, #182, .F. ) ;
#181 = VERTEX_POINT ( 'NONE', #4816 ) ;
#182 = EDGE_CURVE ( 'NONE', #171, #179, #4815, .T. ) ;
#183 = ADVANCED_FACE ( 'NONE', ( #4811 ), #4810, .F. ) ;
#184 = EDGE_LOOP ( 'NONE', ( #185, #189, #192, #195 ) ) ;
#185 = ORIENTED_EDGE ( 'NONE', *, *, #186, .F. ) ;
#186 = EDGE_CURVE ( 'NONE', #187, #188, #4809, .T. ) ;
#187 = VERTEX_POINT ( 'NONE', #4800 ) ;
#188 = VERTEX_POINT ( 'NONE', #4799 ) ;
#189 = ORIENTED_EDGE ( 'NONE', *, *, #190, .T. ) ;
#190 = EDGE_CURVE ( 'NONE', #187, #191, #4798, .T. ) ;
#191 = VERTEX_POINT ( 'NONE', #4794 ) ;
#192 = ORIENTED_EDGE ( 'NONE', *, *, #193, .T. ) ;
#193 = EDGE_CURVE ( 'NONE', #191, #194, #4793, .T. ) ;
#194 = VERTEX_POINT ( 'NONE', #4847 ) ;
#195 = ORIENTED_EDGE ( 'NONE', *, *, #196, .F. ) ;
#196 = EDGE_CURVE ( 'NONE', #188, #194, #4846, .T. ) ;
#197 = EDGE_CURVE ( 'NONE', #213, #162, #4842, .T. ) ;
#198 = ADVANCED_FACE ( 'NONE', ( #4838 ), #4837, .F. ) ;
#199 = ORIENTED_EDGE ( 'NONE', *, *, #200, .T. ) ;
#200 = EDGE_CURVE ( 'NONE', #201, #213, #4832, .T. ) ;
#201 = VERTEX_POINT ( 'NONE', #4831 ) ;
#202 = ORIENTED_EDGE ( 'NONE', *, *, #197, .T. ) ;
#203 = ORIENTED_EDGE ( 'NONE', *, *, #204, .T. ) ;
#204 = EDGE_CURVE ( 'NONE', #162, #201, #4883, .T. ) ;
#205 = VERTEX_POINT ( 'NONE', #4878 ) ;
#206 = ORIENTED_EDGE ( 'NONE', *, *, #207, .F. ) ;
#207 = EDGE_CURVE ( 'NONE', #851, #181, #4877, .T. ) ;
#208 = ADVANCED_FACE ( 'NONE', ( #4873 ), #4871, .F. ) ;
#209 = ADVANCED_FACE ( 'NONE', ( #4866 ), #4865, .F. ) ;
#210 = EDGE_LOOP ( 'NONE', ( #211, #215, #244, #163 ) ) ;
#211 = ORIENTED_EDGE ( 'NONE', *, *, #212, .T. ) ;
#212 = EDGE_CURVE ( 'NONE', #213, #214, #4860, .T. ) ;
#213 = VERTEX_POINT ( 'NONE', #4859 ) ;
#214 = VERTEX_POINT ( 'NONE', #4861 ) ;
#215 = ORIENTED_EDGE ( 'NONE', *, *, #216, .T. ) ;
#216 = EDGE_CURVE ( 'NONE', #214, #217, #4898, .T. ) ;
#217 = VERTEX_POINT ( 'NONE', #4894 ) ;
#218 = EDGE_CURVE ( 'NONE', #285, #205, #4893, .T. ) ;
#219 = ORIENTED_EDGE ( 'NONE', *, *, #220, .T. ) ;
#220 = EDGE_CURVE ( 'NONE', #205, #235, #4888, .T. ) ;
#221 = ORIENTED_EDGE ( 'NONE', *, *, #222, .T. ) ;
#222 = EDGE_CURVE ( 'NONE', #891, #223, #4889, .T. ) ;
#223 = VERTEX_POINT ( 'NONE', #4950 ) ;
#224 = ORIENTED_EDGE ( 'NONE', *, *, #225, .F. ) ;
#225 = EDGE_CURVE ( 'NONE', #229, #223, #4949, .T. ) ;
#226 = ADVANCED_FACE ( 'NONE', ( #4945 ), #4944, .F. ) ;
#227 = EDGE_LOOP ( 'NONE', ( #168, #172, #175, #177, #180 ) ) ;
#228 = VERTEX_POINT ( 'NONE', #4939 ) ;
#229 = VERTEX_POINT ( 'NONE', #4938 ) ;
#230 = ORIENTED_EDGE ( 'NONE', *, *, #231, .T. ) ;
#231 = EDGE_CURVE ( 'NONE', #228, #232, #4937, .T. ) ;
#232 = VERTEX_POINT ( 'NONE', #4933 ) ;
#233 = ORIENTED_EDGE ( 'NONE', *, *, #234, .T. ) ;
#234 = EDGE_CURVE ( 'NONE', #232, #891, #4932, .T. ) ;
#235 = VERTEX_POINT ( 'NONE', #4927 ) ;
#236 = ORIENTED_EDGE ( 'NONE', *, *, #237, .F. ) ;
#237 = EDGE_CURVE ( 'NONE', #286, #235, #4926, .T. ) ;
#238 = ADVANCED_FACE ( 'NONE', ( #4984 ), #4982, .F. ) ;
#239 = EDGE_LOOP ( 'NONE', ( #240, #129, #132, #135 ) ) ;
#240 = ORIENTED_EDGE ( 'NONE', *, *, #241, .F. ) ;
#241 = EDGE_CURVE ( 'NONE', #242, #243, #4977, .T. ) ;
#242 = VERTEX_POINT ( 'NONE', #4973 ) ;
#243 = VERTEX_POINT ( 'NONE', #4972 ) ;
#244 = ORIENTED_EDGE ( 'NONE', *, *, #245, .T. ) ;
#245 = EDGE_CURVE ( 'NONE', #217, #162, #4970, .T. ) ;
#246 = ORIENTED_EDGE ( 'NONE', *, *, #247, .T. ) ;
#247 = EDGE_CURVE ( 'NONE', #330, #248, #4971, .T. ) ;
#248 = VERTEX_POINT ( 'NONE', #4962 ) ;
#249 = ORIENTED_EDGE ( 'NONE', *, *, #250, .T. ) ;
#250 = EDGE_CURVE ( 'NONE', #248, #251, #4961, .T. ) ;
#251 = VERTEX_POINT ( 'NONE', #4956 ) ;
#252 = ORIENTED_EDGE ( 'NONE', *, *, #253, .F. ) ;
#253 = EDGE_CURVE ( 'NONE', #366, #251, #4955, .T. ) ;
#254 = ADVANCED_FACE ( 'NONE', ( #5017 ), #5016, .T. ) ;
#255 = EDGE_LOOP ( 'NONE', ( #701, #754, #750, #688 ) ) ;
#256 = VERTEX_POINT ( 'NONE', #5011 ) ;
#257 = VERTEX_POINT ( 'NONE', #5010 ) ;
#258 = EDGE_CURVE ( 'NONE', #333, #259, #5009, .T. ) ;
#259 = VERTEX_POINT ( 'NONE', #5005 ) ;
#260 = ORIENTED_EDGE ( 'NONE', *, *, #261, .T. ) ;
#261 = EDGE_CURVE ( 'NONE', #259, #262, #5004, .T. ) ;
#262 = VERTEX_POINT ( 'NONE', #4999 ) ;
#263 = ORIENTED_EDGE ( 'NONE', *, *, #264, .T. ) ;
#264 = EDGE_CURVE ( 'NONE', #262, #265, #4998, .T. ) ;
#265 = VERTEX_POINT ( 'NONE', #4994 ) ;
#266 = ORIENTED_EDGE ( 'NONE', *, *, #267, .T. ) ;
#267 = EDGE_CURVE ( 'NONE', #265, #268, #4992, .T. ) ;
#268 = VERTEX_POINT ( 'NONE', #4993 ) ;
#269 = ORIENTED_EDGE ( 'NONE', *, *, #270, .F. ) ;
#270 = EDGE_CURVE ( 'NONE', #8476, #268, #5050, .T. ) ;
#271 = ADVANCED_FACE ( 'NONE', ( #5046 ), #5045, .T. ) ;
#272 = EDGE_LOOP ( 'NONE', ( #316, #320, #323, #326 ) ) ;
#273 = ORIENTED_EDGE ( 'NONE', *, *, #274, .T. ) ;
#274 = EDGE_CURVE ( 'NONE', #127, #275, #5040, .T. ) ;
#275 = VERTEX_POINT ( 'NONE', #5036 ) ;
#276 = ORIENTED_EDGE ( 'NONE', *, *, #277, .T. ) ;
#277 = EDGE_CURVE ( 'NONE', #275, #278, #5035, .T. ) ;
#278 = VERTEX_POINT ( 'NONE', #5030 ) ;
#279 = ORIENTED_EDGE ( 'NONE', *, *, #280, .F. ) ;
#280 = EDGE_CURVE ( 'NONE', #128, #278, #5029, .T. ) ;
#281 = ADVANCED_FACE ( 'NONE', ( #5025 ), #5024, .F. ) ;
#282 = EDGE_LOOP ( 'NONE', ( #283, #287, #219, #236 ) ) ;
#283 = ORIENTED_EDGE ( 'NONE', *, *, #284, .F. ) ;
#284 = EDGE_CURVE ( 'NONE', #285, #286, #5083, .T. ) ;
#285 = VERTEX_POINT ( 'NONE', #5078 ) ;
#286 = VERTEX_POINT ( 'NONE', #5077 ) ;
#287 = ORIENTED_EDGE ( 'NONE', *, *, #218, .T. ) ;
#288 = VERTEX_POINT ( 'NONE', #5076 ) ;
#289 = ORIENTED_EDGE ( 'NONE', *, *, #290, .F. ) ;
#290 = EDGE_CURVE ( 'NONE', #314, #288, #5075, .T. ) ;
#291 = ORIENTED_EDGE ( 'NONE', *, *, #292, .T. ) ;
#292 = EDGE_CURVE ( 'NONE', #256, #257, #5071, .T. ) ;
#293 = ORIENTED_EDGE ( 'NONE', *, *, #294, .F. ) ;
#294 = EDGE_CURVE ( 'NONE', #142, #257, #5066, .T. ) ;
#295 = ORIENTED_EDGE ( 'NONE', *, *, #296, .T. ) ;
#296 = EDGE_CURVE ( 'NONE', #141, #256, #5062, .T. ) ;
#297 = ADVANCED_FACE ( 'NONE', ( #5058 ), #5056, .F. ) ;
#298 = EDGE_LOOP ( 'NONE', ( #299, #303, #306, #309 ) ) ;
#299 = ORIENTED_EDGE ( 'NONE', *, *, #300, .F. ) ;
#300 = EDGE_CURVE ( 'NONE', #301, #302, #5057, .T. ) ;
#301 = VERTEX_POINT ( 'NONE', #5108 ) ;
#302 = VERTEX_POINT ( 'NONE', #5107 ) ;
#303 = ORIENTED_EDGE ( 'NONE', *, *, #304, .T. ) ;
#304 = EDGE_CURVE ( 'NONE', #301, #305, #5106, .T. ) ;
#305 = VERTEX_POINT ( 'NONE', #5102 ) ;
#306 = ORIENTED_EDGE ( 'NONE', *, *, #307, .T. ) ;
#307 = EDGE_CURVE ( 'NONE', #305, #308, #5101, .T. ) ;
#308 = VERTEX_POINT ( 'NONE', #5096 ) ;
#309 = ORIENTED_EDGE ( 'NONE', *, *, #310, .F. ) ;
#310 = EDGE_CURVE ( 'NONE', #302, #308, #5095, .T. ) ;
#311 = ADVANCED_FACE ( 'NONE', ( #5091 ), #5090, .F. ) ;
#312 = EDGE_LOOP ( 'NONE', ( #5347, #8477, #331, #334, #260, #263, #266, #269 ) ) ;
#313 = VERTEX_POINT ( 'NONE', #5085 ) ;
#314 = VERTEX_POINT ( 'NONE', #5084 ) ;
#315 = ORIENTED_EDGE ( 'NONE', *, *, #367, .T. ) ;
#316 = ORIENTED_EDGE ( 'NONE', *, *, #317, .F. ) ;
#317 = EDGE_CURVE ( 'NONE', #318, #319, #5145, .T. ) ;
#318 = VERTEX_POINT ( 'NONE', #5140 ) ;
#319 = VERTEX_POINT ( 'NONE', #5139 ) ;
#320 = ORIENTED_EDGE ( 'NONE', *, *, #321, .T. ) ;
#321 = EDGE_CURVE ( 'NONE', #318, #322, #5138, .T. ) ;
#322 = VERTEX_POINT ( 'NONE', #5134 ) ;
#323 = ORIENTED_EDGE ( 'NONE', *, *, #324, .T. ) ;
#324 = EDGE_CURVE ( 'NONE', #322, #325, #5133, .T. ) ;
#325 = VERTEX_POINT ( 'NONE', #5128 ) ;
#326 = ORIENTED_EDGE ( 'NONE', *, *, #339, .F. ) ;
#327 = EDGE_LOOP ( 'NONE', ( #341, #345, #348, #351 ) ) ;
#328 = ORIENTED_EDGE ( 'NONE', *, *, #329, .T. ) ;
#329 = EDGE_CURVE ( 'NONE', #366, #330, #5127, .T. ) ;
#330 = VERTEX_POINT ( 'NONE', #5122 ) ;
#331 = ORIENTED_EDGE ( 'NONE', *, *, #332, .F. ) ;
#332 = EDGE_CURVE ( 'NONE', #333, #46, #5121, .T. ) ;
#333 = VERTEX_POINT ( 'NONE', #5116 ) ;
#334 = ORIENTED_EDGE ( 'NONE', *, *, #258, .T. ) ;
#335 = ADVANCED_FACE ( 'NONE', ( #5115 ), #5113, .F. ) ;
#336 = EDGE_LOOP ( 'NONE', ( #337, #315, #369, #289 ) ) ;
#337 = ORIENTED_EDGE ( 'NONE', *, *, #338, .F. ) ;
#338 = EDGE_CURVE ( 'NONE', #313, #314, #5175, .T. ) ;
#339 = EDGE_CURVE ( 'NONE', #319, #325, #5167, .T. ) ;
#340 = ADVANCED_FACE ( 'NONE', ( #5163 ), #5162, .T. ) ;
#341 = ORIENTED_EDGE ( 'NONE', *, *, #342, .T. ) ;
#342 = EDGE_CURVE ( 'NONE', #343, #344, #5156, .T. ) ;
#343 = VERTEX_POINT ( 'NONE', #5152 ) ;
#344 = VERTEX_POINT ( 'NONE', #5151 ) ;
#345 = ORIENTED_EDGE ( 'NONE', *, *, #346, .T. ) ;
#346 = EDGE_CURVE ( 'NONE', #344, #347, #5150, .T. ) ;
#347 = VERTEX_POINT ( 'NONE', #5146 ) ;
#348 = ORIENTED_EDGE ( 'NONE', *, *, #349, .T. ) ;
#349 = EDGE_CURVE ( 'NONE', #347, #350, #5209, .T. ) ;
#350 = VERTEX_POINT ( 'NONE', #5204 ) ;
#351 = ORIENTED_EDGE ( 'NONE', *, *, #352, .F. ) ;
#352 = EDGE_CURVE ( 'NONE', #343, #350, #5203, .T. ) ;
#353 = ADVANCED_FACE ( 'NONE', ( #5199 ), #5197, .T. ) ;
#354 = EDGE_LOOP ( 'NONE', ( #355, #359, #361, #362 ) ) ;
#355 = ORIENTED_EDGE ( 'NONE', *, *, #356, .F. ) ;
#356 = EDGE_CURVE ( 'NONE', #357, #358, #5192, .T. ) ;
#357 = VERTEX_POINT ( 'NONE', #5188 ) ;
#358 = VERTEX_POINT ( 'NONE', #5187 ) ;
#359 = ORIENTED_EDGE ( 'NONE', *, *, #360, .T. ) ;
#360 = EDGE_CURVE ( 'NONE', #357, #162, #5186, .T. ) ;
#361 = ORIENTED_EDGE ( 'NONE', *, *, #245, .F. ) ;
#362 = ORIENTED_EDGE ( 'NONE', *, *, #363, .F. ) ;
#363 = EDGE_CURVE ( 'NONE', #358, #217, #5182, .T. ) ;
#364 = ADVANCED_FACE ( 'NONE', ( #5178 ), #5176, .T. ) ;
#365 = EDGE_LOOP ( 'NONE', ( #328, #246, #249, #252 ) ) ;
#366 = VERTEX_POINT ( 'NONE', #5237 ) ;
#367 = EDGE_CURVE ( 'NONE', #313, #368, #5236, .T. ) ;
#368 = VERTEX_POINT ( 'NONE', #5232 ) ;
#369 = ORIENTED_EDGE ( 'NONE', *, *, #370, .T. ) ;
#370 = EDGE_CURVE ( 'NONE', #368, #288, #5231, .T. ) ;
#371 = ORIENTED_EDGE ( 'NONE', *, *, #444, .F. ) ;
#372 = ADVANCED_FACE ( 'NONE', ( #5226 ), #5225, .F. ) ;
#373 = EDGE_LOOP ( 'NONE', ( #374, #375, #429, #431 ) ) ;
#374 = ORIENTED_EDGE ( 'NONE', *, *, #4408, .T. ) ;
#375 = ORIENTED_EDGE ( 'NONE', *, *, #735, .F. ) ;
#376 = VERTEX_POINT ( 'NONE', #5220 ) ;
#377 = ORIENTED_EDGE ( 'NONE', *, *, #378, .F. ) ;
#378 = EDGE_CURVE ( 'NONE', #4430, #403, #5219, .T. ) ;
#379 = ORIENTED_EDGE ( 'NONE', *, *, #4428, .F. ) ;
#380 = ADVANCED_FACE ( 'NONE', ( #5215 ), #5214, .T. ) ;
#381 = EDGE_LOOP ( 'NONE', ( #382, #383, #386, #389 ) ) ;
#382 = ORIENTED_EDGE ( 'NONE', *, *, #378, .T. ) ;
#383 = ORIENTED_EDGE ( 'NONE', *, *, #384, .T. ) ;
#384 = EDGE_CURVE ( 'NONE', #403, #385, #5272, .T. ) ;
#385 = VERTEX_POINT ( 'NONE', #5268 ) ;
#386 = ORIENTED_EDGE ( 'NONE', *, *, #387, .F. ) ;
#387 = EDGE_CURVE ( 'NONE', #388, #385, #5267, .T. ) ;
#388 = VERTEX_POINT ( 'NONE', #5263 ) ;
#389 = ORIENTED_EDGE ( 'NONE', *, *, #444, .T. ) ;
#390 = VERTEX_POINT ( 'NONE', #5262 ) ;
#391 = ORIENTED_EDGE ( 'NONE', *, *, #392, .F. ) ;
#392 = EDGE_CURVE ( 'NONE', #4470, #390, #5261, .T. ) ;
#393 = ORIENTED_EDGE ( 'NONE', *, *, #4468, .F. ) ;
#394 = ORIENTED_EDGE ( 'NONE', *, *, #395, .F. ) ;
#395 = EDGE_CURVE ( 'NONE', #685, #4469, #5256, .T. ) ;
#396 = ADVANCED_FACE ( 'NONE', ( #5251 ), #5250, .F. ) ;
#397 = EDGE_LOOP ( 'NONE', ( #398, #401, #377, #379 ) ) ;
#398 = ORIENTED_EDGE ( 'NONE', *, *, #399, .F. ) ;
#399 = EDGE_CURVE ( 'NONE', #400, #4429, #5245, .T. ) ;
#400 = VERTEX_POINT ( 'NONE', #5241 ) ;
#401 = ORIENTED_EDGE ( 'NONE', *, *, #402, .T. ) ;
#402 = EDGE_CURVE ( 'NONE', #400, #403, #5306, .T. ) ;
#403 = VERTEX_POINT ( 'NONE', #5301 ) ;
#404 = EDGE_CURVE ( 'NONE', #725, #653, #5300, .T. ) ;
#405 = ADVANCED_FACE ( 'NONE', ( #5295 ), #5294, .F. ) ;
#406 = EDGE_LOOP ( 'NONE', ( #407, #410, #13065, #13064 ) ) ;
#407 = ORIENTED_EDGE ( 'NONE', *, *, #408, .T. ) ;
#408 = EDGE_CURVE ( 'NONE', #409, #4469, #5289, .T. ) ;
#409 = VERTEX_POINT ( 'NONE', #5285 ) ;
#410 = ORIENTED_EDGE ( 'NONE', *, *, #4450, .T. ) ;
#411 = ORIENTED_EDGE ( 'NONE', *, *, #5325, .T. ) ;
#412 = ORIENTED_EDGE ( 'NONE', *, *, #338, .T. ) ;
#413 = EDGE_LOOP ( 'NONE', ( #414, #415, #476, #478, #479, #480, #481, #482, #483, #484, #463, #464, #465, #466 ) ) ;
#414 = ORIENTED_EDGE ( 'NONE', *, *, #423, .T. ) ;
#415 = ORIENTED_EDGE ( 'NONE', *, *, #474, .T. ) ;
#416 = ADVANCED_FACE ( 'NONE', ( #5284 ), #5283, .F. ) ;
#417 = EDGE_LOOP ( 'NONE', ( #418, #419, #422, #424 ) ) ;
#418 = ORIENTED_EDGE ( 'NONE', *, *, #442, .F. ) ;
#419 = ORIENTED_EDGE ( 'NONE', *, *, #420, .T. ) ;
#420 = EDGE_CURVE ( 'NONE', #440, #421, #5282, .T. ) ;
#421 = VERTEX_POINT ( 'NONE', #5618 ) ;
#422 = ORIENTED_EDGE ( 'NONE', *, *, #423, .F. ) ;
#423 = EDGE_CURVE ( 'NONE', #748, #421, #5617, .T. ) ;
#424 = ORIENTED_EDGE ( 'NONE', *, *, #4404, .F. ) ;
#425 = ADVANCED_FACE ( 'NONE', ( #5613, #5612, #5611, #5610, #5609 ), #5608, .F. ) ;
#426 = EDGE_LOOP ( 'NONE', ( #427, #428 ) ) ;
#427 = ORIENTED_EDGE ( 'NONE', *, *, #43, .T. ) ;
#428 = ORIENTED_EDGE ( 'NONE', *, *, #284, .T. ) ;
#429 = ORIENTED_EDGE ( 'NONE', *, *, #430, .F. ) ;
#430 = EDGE_CURVE ( 'NONE', #376, #733, #5603, .T. ) ;
#431 = ORIENTED_EDGE ( 'NONE', *, *, #432, .F. ) ;
#432 = EDGE_CURVE ( 'NONE', #4405, #376, #5598, .T. ) ;
#433 = ADVANCED_FACE ( 'NONE', ( #5594 ), #5593, .T. ) ;
#434 = EDGE_LOOP ( 'NONE', ( #435, #438, #441, #443 ) ) ;
#435 = ORIENTED_EDGE ( 'NONE', *, *, #436, .T. ) ;
#436 = EDGE_CURVE ( 'NONE', #376, #437, #5588, .T. ) ;
#437 = VERTEX_POINT ( 'NONE', #5648 ) ;
#438 = ORIENTED_EDGE ( 'NONE', *, *, #439, .T. ) ;
#439 = EDGE_CURVE ( 'NONE', #437, #440, #5647, .T. ) ;
#440 = VERTEX_POINT ( 'NONE', #5643 ) ;
#441 = ORIENTED_EDGE ( 'NONE', *, *, #442, .T. ) ;
#442 = EDGE_CURVE ( 'NONE', #440, #4405, #5642, .T. ) ;
#443 = ORIENTED_EDGE ( 'NONE', *, *, #432, .T. ) ;
#444 = EDGE_CURVE ( 'NONE', #388, #4430, #5638, .T. ) ;
#445 = ADVANCED_FACE ( 'NONE', ( #5634 ), #5632, .F. ) ;
#446 = EDGE_LOOP ( 'NONE', ( #447, #449, #450, #371 ) ) ;
#447 = ORIENTED_EDGE ( 'NONE', *, *, #448, .F. ) ;
#448 = EDGE_CURVE ( 'NONE', #730, #388, #5627, .T. ) ;
#449 = ORIENTED_EDGE ( 'NONE', *, *, #815, .F. ) ;
#450 = ORIENTED_EDGE ( 'NONE', *, *, #4432, .F. ) ;
#451 = EDGE_LOOP ( 'NONE', ( #452, #453, #454, #457 ) ) ;
#452 = ORIENTED_EDGE ( 'NONE', *, *, #5313, .T. ) ;
#453 = ORIENTED_EDGE ( 'NONE', *, *, #5568, .T. ) ;
#454 = ORIENTED_EDGE ( 'NONE', *, *, #455, .T. ) ;
#455 = EDGE_CURVE ( 'NONE', #5576, #456, #5623, .T. ) ;
#456 = VERTEX_POINT ( 'NONE', #5619 ) ;
#457 = ORIENTED_EDGE ( 'NONE', *, *, #458, .F. ) ;
#458 = EDGE_CURVE ( 'NONE', #5310, #456, #5682, .T. ) ;
#459 = ADVANCED_FACE ( 'NONE', ( #5678, #5677 ), #5676, .T. ) ;
#460 = EDGE_LOOP ( 'NONE', ( #461, #512 ) ) ;
#461 = ORIENTED_EDGE ( 'NONE', *, *, #511, .T. ) ;
#462 = EDGE_CURVE ( 'NONE', #390, #400, #5671, .T. ) ;
#463 = ORIENTED_EDGE ( 'NONE', *, *, #399, .T. ) ;
#464 = ORIENTED_EDGE ( 'NONE', *, *, #4462, .T. ) ;
#465 = ORIENTED_EDGE ( 'NONE', *, *, #804, .T. ) ;
#466 = ORIENTED_EDGE ( 'NONE', *, *, #747, .T. ) ;
#467 = ADVANCED_FACE ( 'NONE', ( #5667 ), #5666, .T. ) ;
#468 = EDGE_LOOP ( 'NONE', ( #469, #472, #525, #526 ) ) ;
#469 = ORIENTED_EDGE ( 'NONE', *, *, #470, .T. ) ;
#470 = EDGE_CURVE ( 'NONE', #475, #471, #5661, .T. ) ;
#471 = VERTEX_POINT ( 'NONE', #5656 ) ;
#472 = ORIENTED_EDGE ( 'NONE', *, *, #473, .F. ) ;
#473 = EDGE_CURVE ( 'NONE', #5576, #471, #5655, .T. ) ;
#474 = EDGE_CURVE ( 'NONE', #421, #475, #5717, .T. ) ;
#475 = VERTEX_POINT ( 'NONE', #5713 ) ;
#476 = ORIENTED_EDGE ( 'NONE', *, *, #477, .T. ) ;
#477 = EDGE_CURVE ( 'NONE', #475, #5561, #5712, .T. ) ;
#478 = ORIENTED_EDGE ( 'NONE', *, *, #5577, .T. ) ;
#479 = ORIENTED_EDGE ( 'NONE', *, *, #5566, .T. ) ;
#480 = ORIENTED_EDGE ( 'NONE', *, *, #5575, .T. ) ;
#481 = ORIENTED_EDGE ( 'NONE', *, *, #5355, .T. ) ;
#482 = ORIENTED_EDGE ( 'NONE', *, *, #4444, .T. ) ;
#483 = ORIENTED_EDGE ( 'NONE', *, *, #392, .T. ) ;
#484 = ORIENTED_EDGE ( 'NONE', *, *, #462, .T. ) ;
#485 = EDGE_LOOP ( 'NONE', ( #486, #487 ) ) ;
#486 = ORIENTED_EDGE ( 'NONE', *, *, #4445, .T. ) ;
#487 = ORIENTED_EDGE ( 'NONE', *, *, #241, .T. ) ;
#488 = EDGE_LOOP ( 'NONE', ( #489, #490 ) ) ;
#489 = ORIENTED_EDGE ( 'NONE', *, *, #5339, .T. ) ;
#490 = ORIENTED_EDGE ( 'NONE', *, *, #140, .T. ) ;
#491 = EDGE_LOOP ( 'NONE', ( #411, #412 ) ) ;
#492 = ORIENTED_EDGE ( 'NONE', *, *, #220, .F. ) ;
#493 = EDGE_LOOP ( 'NONE', ( #494, #495 ) ) ;
#494 = ORIENTED_EDGE ( 'NONE', *, *, #4084, .F. ) ;
#495 = ORIENTED_EDGE ( 'NONE', *, *, #133, .F. ) ;
#496 = EDGE_LOOP ( 'NONE', ( #497, #550 ) ) ;
#497 = ORIENTED_EDGE ( 'NONE', *, *, #5335, .F. ) ;
#498 = EDGE_LOOP ( 'NONE', ( #551, #552 ) ) ;
#499 = ADVANCED_FACE ( 'NONE', ( #5707, #5706 ), #5705, .T. ) ;
#500 = ORIENTED_EDGE ( 'NONE', *, *, #501, .T. ) ;
#501 = EDGE_CURVE ( 'NONE', #229, #228, #5700, .T. ) ;
#502 = ORIENTED_EDGE ( 'NONE', *, *, #167, .T. ) ;
#503 = EDGE_LOOP ( 'NONE', ( #504, #505 ) ) ;
#504 = ORIENTED_EDGE ( 'NONE', *, *, #751, .F. ) ;
#505 = ORIENTED_EDGE ( 'NONE', *, *, #11764, .F. ) ;
#506 = ADVANCED_FACE ( 'NONE', ( #5695, #5694 ), #5693, .T. ) ;
#507 = EDGE_LOOP ( 'NONE', ( #508, #510 ) ) ;
#508 = ORIENTED_EDGE ( 'NONE', *, *, #509, .T. ) ;
#509 = EDGE_CURVE ( 'NONE', #851, #850, #5687, .T. ) ;
#510 = ORIENTED_EDGE ( 'NONE', *, *, #849, .T. ) ;
#511 = EDGE_CURVE ( 'NONE', #188, #187, #5750, .T. ) ;
#512 = ORIENTED_EDGE ( 'NONE', *, *, #186, .T. ) ;
#513 = EDGE_LOOP ( 'NONE', ( #514, #515 ) ) ;
#514 = ORIENTED_EDGE ( 'NONE', *, *, #708, .F. ) ;
#515 = ORIENTED_EDGE ( 'NONE', *, *, #11376, .F. ) ;
#516 = ADVANCED_FACE ( 'NONE', ( #5746, #5745 ), #5744, .T. ) ;
#517 = EDGE_LOOP ( 'NONE', ( #518, #520 ) ) ;
#518 = ORIENTED_EDGE ( 'NONE', *, *, #519, .T. ) ;
#519 = EDGE_CURVE ( 'NONE', #171, #170, #5739, .T. ) ;
#520 = ORIENTED_EDGE ( 'NONE', *, *, #169, .T. ) ;
#521 = EDGE_LOOP ( 'NONE', ( #522, #523 ) ) ;
#522 = ORIENTED_EDGE ( 'NONE', *, *, #693, .F. ) ;
#523 = ORIENTED_EDGE ( 'NONE', *, *, #6127, .F. ) ;
#524 = EDGE_LOOP ( 'NONE', ( #500, #502 ) ) ;
#525 = ORIENTED_EDGE ( 'NONE', *, *, #5581, .F. ) ;
#526 = ORIENTED_EDGE ( 'NONE', *, *, #477, .F. ) ;
#527 = ADVANCED_FACE ( 'NONE', ( #5734 ), #5733, .F. ) ;
#528 = EDGE_LOOP ( 'NONE', ( #529, #532, #533, #534 ) ) ;
#529 = ORIENTED_EDGE ( 'NONE', *, *, #530, .T. ) ;
#530 = EDGE_CURVE ( 'NONE', #531, #400, #5728, .T. ) ;
#531 = VERTEX_POINT ( 'NONE', #5723 ) ;
#532 = ORIENTED_EDGE ( 'NONE', *, *, #462, .F. ) ;
#533 = ORIENTED_EDGE ( 'NONE', *, *, #5307, .F. ) ;
#534 = ORIENTED_EDGE ( 'NONE', *, *, #535, .F. ) ;
#535 = EDGE_CURVE ( 'NONE', #531, #685, #5722, .T. ) ;
#536 = ADVANCED_FACE ( 'NONE', ( #5718 ), #5781, .T. ) ;
#537 = EDGE_CURVE ( 'NONE', #456, #538, #5776, .T. ) ;
#538 = VERTEX_POINT ( 'NONE', #5771 ) ;
#539 = ORIENTED_EDGE ( 'NONE', *, *, #540, .T. ) ;
#540 = EDGE_CURVE ( 'NONE', #538, #541, #5770, .T. ) ;
#541 = VERTEX_POINT ( 'NONE', #5766 ) ;
#542 = ORIENTED_EDGE ( 'NONE', *, *, #543, .T. ) ;
#543 = EDGE_CURVE ( 'NONE', #541, #409, #5764, .T. ) ;
#544 = ORIENTED_EDGE ( 'NONE', *, *, #13063, .T. ) ;
#545 = ORIENTED_EDGE ( 'NONE', *, *, #5321, .T. ) ;
#546 = ADVANCED_FACE ( 'NONE', ( #5765 ), #5757, .T. ) ;
#547 = EDGE_LOOP ( 'NONE', ( #548, #604, #605, #606 ) ) ;
#548 = ORIENTED_EDGE ( 'NONE', *, *, #549, .F. ) ;
#549 = EDGE_CURVE ( 'NONE', #685, #541, #5758, .T. ) ;
#550 = ORIENTED_EDGE ( 'NONE', *, *, #292, .F. ) ;
#551 = ORIENTED_EDGE ( 'NONE', *, *, #44, .F. ) ;
#552 = ORIENTED_EDGE ( 'NONE', *, *, #370, .F. ) ;
#553 = EDGE_LOOP ( 'NONE', ( #554, #556 ) ) ;
#554 = ORIENTED_EDGE ( 'NONE', *, *, #555, .F. ) ;
#555 = EDGE_CURVE ( 'NONE', #897, #894, #5815, .T. ) ;
#556 = ORIENTED_EDGE ( 'NONE', *, *, #896, .F. ) ;
#557 = EDGE_LOOP ( 'NONE', ( #558, #559, #560, #561, #539, #542, #544, #545 ) ) ;
#558 = ORIENTED_EDGE ( 'NONE', *, *, #5331, .T. ) ;
#559 = ORIENTED_EDGE ( 'NONE', *, *, #5340, .T. ) ;
#560 = ORIENTED_EDGE ( 'NONE', *, *, #458, .T. ) ;
#561 = ORIENTED_EDGE ( 'NONE', *, *, #537, .T. ) ;
#562 = EDGE_LOOP ( 'NONE', ( #563, #564 ) ) ;
#563 = ORIENTED_EDGE ( 'NONE', *, *, #329, .F. ) ;
#564 = ORIENTED_EDGE ( 'NONE', *, *, #11469, .F. ) ;
#565 = ADVANCED_FACE ( 'NONE', ( #5810, #5809, #5808, #5807, #5806, #5805 ), #5804, .T. ) ;
#566 = EDGE_LOOP ( 'NONE', ( #567, #492 ) ) ;
#567 = ORIENTED_EDGE ( 'NONE', *, *, #40, .F. ) ;
#568 = ORIENTED_EDGE ( 'NONE', *, *, #436, .F. ) ;
#569 = ADVANCED_FACE ( 'NONE', ( #5799 ), #5798, .T. ) ;
#570 = EDGE_LOOP ( 'NONE', ( #571, #572, #575, #577 ) ) ;
#571 = ORIENTED_EDGE ( 'NONE', *, *, #647, .F. ) ;
#572 = ORIENTED_EDGE ( 'NONE', *, *, #573, .F. ) ;
#573 = EDGE_CURVE ( 'NONE', #574, #13058, #5793, .T. ) ;
#574 = VERTEX_POINT ( 'NONE', #5789 ) ;
#575 = ORIENTED_EDGE ( 'NONE', *, *, #576, .F. ) ;
#576 = EDGE_CURVE ( 'NONE', #440, #574, #5788, .T. ) ;
#577 = ORIENTED_EDGE ( 'NONE', *, *, #439, .F. ) ;
#578 = EDGE_LOOP ( 'NONE', ( #634, #635, #638, #640 ) ) ;
#579 = ORIENTED_EDGE ( 'NONE', *, *, #592, .F. ) ;
#580 = ORIENTED_EDGE ( 'NONE', *, *, #581, .F. ) ;
#581 = EDGE_CURVE ( 'NONE', #602, #593, #5783, .T. ) ;
#582 = ADVANCED_FACE ( 'NONE', ( #5846 ), #5845, .T. ) ;
#583 = EDGE_LOOP ( 'NONE', ( #584, #585, #586, #587, #588, #589, #646, #568 ) ) ;
#584 = ORIENTED_EDGE ( 'NONE', *, *, #430, .T. ) ;
#585 = ORIENTED_EDGE ( 'NONE', *, *, #732, .T. ) ;
#586 = ORIENTED_EDGE ( 'NONE', *, *, #448, .T. ) ;
#587 = ORIENTED_EDGE ( 'NONE', *, *, #387, .T. ) ;
#588 = ORIENTED_EDGE ( 'NONE', *, *, #601, .T. ) ;
#589 = ORIENTED_EDGE ( 'NONE', *, *, #13060, .F. ) ;
#590 = EDGE_LOOP ( 'NONE', ( #591, #594, #595, #596 ) ) ;
#591 = ORIENTED_EDGE ( 'NONE', *, *, #592, .T. ) ;
#592 = EDGE_CURVE ( 'NONE', #593, #403, #5840, .T. ) ;
#593 = VERTEX_POINT ( 'NONE', #5835 ) ;
#594 = ORIENTED_EDGE ( 'NONE', *, *, #402, .F. ) ;
#595 = ORIENTED_EDGE ( 'NONE', *, *, #530, .F. ) ;
#596 = ORIENTED_EDGE ( 'NONE', *, *, #597, .F. ) ;
#597 = EDGE_CURVE ( 'NONE', #593, #531, #5833, .T. ) ;
#598 = ADVANCED_FACE ( 'NONE', ( #5834 ), #5826, .T. ) ;
#599 = EDGE_LOOP ( 'NONE', ( #600, #603, #579, #580 ) ) ;
#600 = ORIENTED_EDGE ( 'NONE', *, *, #601, .F. ) ;
#601 = EDGE_CURVE ( 'NONE', #385, #602, #5822, .T. ) ;
#602 = VERTEX_POINT ( 'NONE', #5818 ) ;
#603 = ORIENTED_EDGE ( 'NONE', *, *, #384, .F. ) ;
#604 = ORIENTED_EDGE ( 'NONE', *, *, #395, .T. ) ;
#605 = ORIENTED_EDGE ( 'NONE', *, *, #408, .F. ) ;
#606 = ORIENTED_EDGE ( 'NONE', *, *, #543, .F. ) ;
#607 = ADVANCED_FACE ( 'NONE', ( #5817 ), #5880, .T. ) ;
#608 = ORIENTED_EDGE ( 'NONE', *, *, #680, .T. ) ;
#609 = EDGE_LOOP ( 'NONE', ( #662, #663 ) ) ;
#610 = ORIENTED_EDGE ( 'NONE', *, *, #277, .F. ) ;
#611 = EDGE_LOOP ( 'NONE', ( #612, #613, #614, #615, #616, #617, #618, #619, #673, #674 ) ) ;
#612 = ORIENTED_EDGE ( 'NONE', *, *, #627, .T. ) ;
#613 = ORIENTED_EDGE ( 'NONE', *, *, #645, .T. ) ;
#614 = ORIENTED_EDGE ( 'NONE', *, *, #636, .T. ) ;
#615 = ORIENTED_EDGE ( 'NONE', *, *, #573, .T. ) ;
#616 = ORIENTED_EDGE ( 'NONE', *, *, #13060, .T. ) ;
#617 = ORIENTED_EDGE ( 'NONE', *, *, #581, .T. ) ;
#618 = ORIENTED_EDGE ( 'NONE', *, *, #597, .T. ) ;
#619 = ORIENTED_EDGE ( 'NONE', *, *, #535, .T. ) ;
#620 = ORIENTED_EDGE ( 'NONE', *, *, #470, .F. ) ;
#621 = ORIENTED_EDGE ( 'NONE', *, *, #474, .F. ) ;
#622 = ADVANCED_FACE ( 'NONE', ( #5875 ), #5874, .T. ) ;
#623 = EDGE_LOOP ( 'NONE', ( #624, #625, #626, #628 ) ) ;
#624 = ORIENTED_EDGE ( 'NONE', *, *, #455, .F. ) ;
#625 = ORIENTED_EDGE ( 'NONE', *, *, #473, .T. ) ;
#626 = ORIENTED_EDGE ( 'NONE', *, *, #627, .F. ) ;
#627 = EDGE_CURVE ( 'NONE', #538, #471, #5873, .T. ) ;
#628 = ORIENTED_EDGE ( 'NONE', *, *, #537, .F. ) ;
#629 = ADVANCED_FACE ( 'NONE', ( #5866, #5865 ), #5864, .F. ) ;
#630 = EDGE_LOOP ( 'NONE', ( #631, #610 ) ) ;
#631 = ORIENTED_EDGE ( 'NONE', *, *, #632, .F. ) ;
#632 = EDGE_CURVE ( 'NONE', #278, #275, #5859, .T. ) ;
#633 = ADVANCED_FACE ( 'NONE', ( #5854 ), #5853, .T. ) ;
#634 = ORIENTED_EDGE ( 'NONE', *, *, #576, .T. ) ;
#635 = ORIENTED_EDGE ( 'NONE', *, *, #636, .F. ) ;
#636 = EDGE_CURVE ( 'NONE', #637, #574, #5913, .T. ) ;
#637 = VERTEX_POINT ( 'NONE', #5908 ) ;
#638 = ORIENTED_EDGE ( 'NONE', *, *, #639, .F. ) ;
#639 = EDGE_CURVE ( 'NONE', #421, #637, #5906, .T. ) ;
#640 = ORIENTED_EDGE ( 'NONE', *, *, #420, .F. ) ;
#641 = ADVANCED_FACE ( 'NONE', ( #5907 ), #5899, .T. ) ;
#642 = EDGE_LOOP ( 'NONE', ( #643, #644, #620, #621 ) ) ;
#643 = ORIENTED_EDGE ( 'NONE', *, *, #639, .T. ) ;
#644 = ORIENTED_EDGE ( 'NONE', *, *, #645, .F. ) ;
#645 = EDGE_CURVE ( 'NONE', #471, #637, #5900, .T. ) ;
#646 = ORIENTED_EDGE ( 'NONE', *, *, #647, .T. ) ;
#647 = EDGE_CURVE ( 'NONE', #13058, #437, #5892, .T. ) ;
#648 = ADVANCED_FACE ( 'NONE', ( #5887 ), #5886, .F. ) ;
#649 = EDGE_LOOP ( 'NONE', ( #650, #651, #654 ) ) ;
#650 = ORIENTED_EDGE ( 'NONE', *, *, #824, .T. ) ;
#651 = ORIENTED_EDGE ( 'NONE', *, *, #652, .F. ) ;
#652 = EDGE_CURVE ( 'NONE', #653, #890, #5945, .T. ) ;
#653 = VERTEX_POINT ( 'NONE', #5941 ) ;
#654 = ORIENTED_EDGE ( 'NONE', *, *, #655, .T. ) ;
#655 = EDGE_CURVE ( 'NONE', #653, #879, #5940, .T. ) ;
#656 = ADVANCED_FACE ( 'NONE', ( #5936 ), #5935, .F. ) ;
#657 = EDGE_LOOP ( 'NONE', ( #658, #659 ) ) ;
#658 = ORIENTED_EDGE ( 'NONE', *, *, #13051, .F. ) ;
#659 = ORIENTED_EDGE ( 'NONE', *, *, #887, .T. ) ;
#660 = EDGE_LOOP ( 'NONE', ( #718, #719, #720, #721, #722, #723, #726, #909 ) ) ;
#661 = ORIENTED_EDGE ( 'NONE', *, *, #126, .T. ) ;
#662 = ORIENTED_EDGE ( 'NONE', *, *, #2071, .F. ) ;
#663 = ORIENTED_EDGE ( 'NONE', *, *, #2131, .F. ) ;
#664 = ADVANCED_FACE ( 'NONE', ( #5930 ), #5929, .F. ) ;
#665 = EDGE_LOOP ( 'NONE', ( #666, #667, #669 ) ) ;
#666 = ORIENTED_EDGE ( 'NONE', *, *, #216, .F. ) ;
#667 = ORIENTED_EDGE ( 'NONE', *, *, #668, .T. ) ;
#668 = EDGE_CURVE ( 'NONE', #214, #11745, #5924, .T. ) ;
#669 = ORIENTED_EDGE ( 'NONE', *, *, #11747, .T. ) ;
#670 = ADVANCED_FACE ( 'NONE', ( #5923 ), #5922, .T. ) ;
#671 = EDGE_LOOP ( 'NONE', ( #672, #727 ) ) ;
#672 = ORIENTED_EDGE ( 'NONE', *, *, #11773, .T. ) ;
#673 = ORIENTED_EDGE ( 'NONE', *, *, #549, .T. ) ;
#674 = ORIENTED_EDGE ( 'NONE', *, *, #540, .F. ) ;
#675 = ADVANCED_FACE ( 'NONE', ( #5976 ), #5973, .F. ) ;
#676 = EDGE_LOOP ( 'NONE', ( #677, #678, #681, #682 ) ) ;
#677 = ORIENTED_EDGE ( 'NONE', *, *, #274, .F. ) ;
#678 = ORIENTED_EDGE ( 'NONE', *, *, #680, .F. ) ;
#679 = ORIENTED_EDGE ( 'NONE', *, *, #136, .T. ) ;
#680 = EDGE_CURVE ( 'NONE', #128, #127, #5972, .T. ) ;
#681 = ORIENTED_EDGE ( 'NONE', *, *, #280, .T. ) ;
#682 = ORIENTED_EDGE ( 'NONE', *, *, #632, .T. ) ;
#683 = ADVANCED_FACE ( 'NONE', ( #5963, #5962 ), #5961, .T. ) ;
#684 = EDGE_LOOP ( 'NONE', ( #608, #661 ) ) ;
#685 = VERTEX_POINT ( 'NONE', #5956 ) ;
#686 = EDGE_CURVE ( 'NONE', #755, #687, #5955, .T. ) ;
#687 = VERTEX_POINT ( 'NONE', #5950 ) ;
#688 = ORIENTED_EDGE ( 'NONE', *, *, #689, .F. ) ;
#689 = EDGE_CURVE ( 'NONE', #752, #687, #5949, .T. ) ;
#690 = ADVANCED_FACE ( 'NONE', ( #6008 ), #6007, .T. ) ;
#691 = EDGE_LOOP ( 'NONE', ( #692, #696, #699, #703 ) ) ;
#692 = ORIENTED_EDGE ( 'NONE', *, *, #693, .T. ) ;
#693 = EDGE_CURVE ( 'NONE', #694, #695, #6006, .T. ) ;
#694 = VERTEX_POINT ( 'NONE', #5997 ) ;
#695 = VERTEX_POINT ( 'NONE', #5996 ) ;
#696 = ORIENTED_EDGE ( 'NONE', *, *, #697, .T. ) ;
#697 = EDGE_CURVE ( 'NONE', #695, #698, #5995, .T. ) ;
#698 = VERTEX_POINT ( 'NONE', #5991 ) ;
#699 = ORIENTED_EDGE ( 'NONE', *, *, #700, .T. ) ;
#700 = EDGE_CURVE ( 'NONE', #698, #702, #5990, .T. ) ;
#701 = ORIENTED_EDGE ( 'NONE', *, *, #751, .T. ) ;
#702 = VERTEX_POINT ( 'NONE', #5985 ) ;
#703 = ORIENTED_EDGE ( 'NONE', *, *, #704, .F. ) ;
#704 = EDGE_CURVE ( 'NONE', #694, #702, #5984, .T. ) ;
#705 = ADVANCED_FACE ( 'NONE', ( #5980 ), #5978, .T. ) ;
#706 = EDGE_LOOP ( 'NONE', ( #707, #711, #714, #799 ) ) ;
#707 = ORIENTED_EDGE ( 'NONE', *, *, #708, .T. ) ;
#708 = EDGE_CURVE ( 'NONE', #709, #710, #6036, .T. ) ;
#709 = VERTEX_POINT ( 'NONE', #6032 ) ;
#710 = VERTEX_POINT ( 'NONE', #6031 ) ;
#711 = ORIENTED_EDGE ( 'NONE', *, *, #712, .T. ) ;
#712 = EDGE_CURVE ( 'NONE', #710, #713, #6030, .T. ) ;
#713 = VERTEX_POINT ( 'NONE', #6026 ) ;
#714 = ORIENTED_EDGE ( 'NONE', *, *, #715, .T. ) ;
#715 = EDGE_CURVE ( 'NONE', #713, #716, #6025, .T. ) ;
#716 = VERTEX_POINT ( 'NONE', #6020 ) ;
#717 = ADVANCED_FACE ( 'NONE', ( #6019 ), #6018, .T. ) ;
#718 = ORIENTED_EDGE ( 'NONE', *, *, #822, .F. ) ;
#719 = ORIENTED_EDGE ( 'NONE', *, *, #13057, .F. ) ;
#720 = ORIENTED_EDGE ( 'NONE', *, *, #342, .F. ) ;
#721 = ORIENTED_EDGE ( 'NONE', *, *, #13049, .F. ) ;
#722 = ORIENTED_EDGE ( 'NONE', *, *, #884, .F. ) ;
#723 = ORIENTED_EDGE ( 'NONE', *, *, #724, .T. ) ;
#724 = EDGE_CURVE ( 'NONE', #882, #725, #6013, .T. ) ;
#725 = VERTEX_POINT ( 'NONE', #6009 ) ;
#726 = ORIENTED_EDGE ( 'NONE', *, *, #404, .T. ) ;
#727 = ORIENTED_EDGE ( 'NONE', *, *, #729, .T. ) ;
#728 = ORIENTED_EDGE ( 'NONE', *, *, #5307, .T. ) ;
#729 = EDGE_CURVE ( 'NONE', #11745, #201, #6073, .T. ) ;
#730 = VERTEX_POINT ( 'NONE', #6075 ) ;
#731 = ORIENTED_EDGE ( 'NONE', *, *, #732, .F. ) ;
#732 = EDGE_CURVE ( 'NONE', #733, #730, #6069, .T. ) ;
#733 = VERTEX_POINT ( 'NONE', #6065 ) ;
#734 = ORIENTED_EDGE ( 'NONE', *, *, #735, .T. ) ;
#735 = EDGE_CURVE ( 'NONE', #733, #779, #6045, .T. ) ;
#736 = ADVANCED_FACE ( 'NONE', ( #6041 ), #6040, .F. ) ;
#737 = EDGE_LOOP ( 'NONE', ( #738, #742, #797, #756, #759, #762, #765, #768 ) ) ;
#738 = ORIENTED_EDGE ( 'NONE', *, *, #739, .F. ) ;
#739 = EDGE_CURVE ( 'NONE', #740, #741, #6105, .T. ) ;
#740 = VERTEX_POINT ( 'NONE', #6100 ) ;
#741 = VERTEX_POINT ( 'NONE', #6099 ) ;
#742 = ORIENTED_EDGE ( 'NONE', *, *, #796, .T. ) ;
#743 = EDGE_CURVE ( 'NONE', #806, #812, #6098, .T. ) ;
#744 = ADVANCED_FACE ( 'NONE', ( #6093 ), #6092, .F. ) ;
#745 = EDGE_LOOP ( 'NONE', ( #746, #776, #777, #780 ) ) ;
#746 = ORIENTED_EDGE ( 'NONE', *, *, #747, .F. ) ;
#747 = EDGE_CURVE ( 'NONE', #806, #748, #6087, .T. ) ;
#748 = VERTEX_POINT ( 'NONE', #6082 ) ;
#749 = EDGE_CURVE ( 'NONE', #753, #755, #6080, .T. ) ;
#750 = ORIENTED_EDGE ( 'NONE', *, *, #686, .T. ) ;
#751 = EDGE_CURVE ( 'NONE', #752, #753, #6141, .T. ) ;
#752 = VERTEX_POINT ( 'NONE', #6136 ) ;
#753 = VERTEX_POINT ( 'NONE', #6135 ) ;
#754 = ORIENTED_EDGE ( 'NONE', *, *, #749, .T. ) ;
#755 = VERTEX_POINT ( 'NONE', #6134 ) ;
#756 = ORIENTED_EDGE ( 'NONE', *, *, #757, .F. ) ;
#757 = EDGE_CURVE ( 'NONE', #758, #790, #6133, .T. ) ;
#758 = VERTEX_POINT ( 'NONE', #6128 ) ;
#759 = ORIENTED_EDGE ( 'NONE', *, *, #760, .F. ) ;
#760 = EDGE_CURVE ( 'NONE', #761, #758, #6126, .T. ) ;
#761 = VERTEX_POINT ( 'NONE', #6121 ) ;
#762 = ORIENTED_EDGE ( 'NONE', *, *, #763, .F. ) ;
#763 = EDGE_CURVE ( 'NONE', #764, #761, #6120, .T. ) ;
#764 = VERTEX_POINT ( 'NONE', #6115 ) ;
#765 = ORIENTED_EDGE ( 'NONE', *, *, #766, .F. ) ;
#766 = EDGE_CURVE ( 'NONE', #767, #764, #6114, .T. ) ;
#767 = VERTEX_POINT ( 'NONE', #6173 ) ;
#768 = ORIENTED_EDGE ( 'NONE', *, *, #769, .F. ) ;
#769 = EDGE_CURVE ( 'NONE', #741, #767, #6171, .T. ) ;
#770 = ADVANCED_FACE ( 'NONE', ( #6172 ), #6165, .T. ) ;
#771 = EDGE_LOOP ( 'NONE', ( #773, #1048, #1118, #1119 ) ) ;
#772 = VERTEX_POINT ( 'NONE', #6161 ) ;
#773 = ORIENTED_EDGE ( 'NONE', *, *, #774, .F. ) ;
#774 = EDGE_CURVE ( 'NONE', #775, #772, #6160, .T. ) ;
#775 = VERTEX_POINT ( 'NONE', #6155 ) ;
#776 = ORIENTED_EDGE ( 'NONE', *, *, #743, .T. ) ;
#777 = ORIENTED_EDGE ( 'NONE', *, *, #778, .F. ) ;
#778 = EDGE_CURVE ( 'NONE', #779, #812, #6154, .T. ) ;
#779 = VERTEX_POINT ( 'NONE', #6149 ) ;
#780 = ORIENTED_EDGE ( 'NONE', *, *, #781, .F. ) ;
#781 = EDGE_CURVE ( 'NONE', #748, #779, #6147, .T. ) ;
#782 = ADVANCED_FACE ( 'NONE', ( #6148 ), #6142, .T. ) ;
#783 = EDGE_LOOP ( 'NONE', ( #784, #785, #788, #791, #793, #814, #731, #734 ) ) ;
#784 = ORIENTED_EDGE ( 'NONE', *, *, #778, .T. ) ;
#785 = ORIENTED_EDGE ( 'NONE', *, *, #786, .T. ) ;
#786 = EDGE_CURVE ( 'NONE', #812, #787, #6200, .T. ) ;
#787 = VERTEX_POINT ( 'NONE', #6196 ) ;
#788 = ORIENTED_EDGE ( 'NONE', *, *, #789, .T. ) ;
#789 = EDGE_CURVE ( 'NONE', #787, #790, #6195, .T. ) ;
#790 = VERTEX_POINT ( 'NONE', #6190 ) ;
#791 = ORIENTED_EDGE ( 'NONE', *, *, #792, .F. ) ;
#792 = EDGE_CURVE ( 'NONE', #809, #790, #6189, .T. ) ;
#793 = ORIENTED_EDGE ( 'NONE', *, *, #794, .T. ) ;
#794 = EDGE_CURVE ( 'NONE', #809, #795, #6185, .T. ) ;
#795 = VERTEX_POINT ( 'NONE', #6180 ) ;
#796 = EDGE_CURVE ( 'NONE', #740, #787, #6179, .T. ) ;
#797 = ORIENTED_EDGE ( 'NONE', *, *, #798, .F. ) ;
#798 = EDGE_CURVE ( 'NONE', #790, #787, #6235, .T. ) ;
#799 = ORIENTED_EDGE ( 'NONE', *, *, #800, .F. ) ;
#800 = EDGE_CURVE ( 'NONE', #709, #716, #6230, .T. ) ;
#801 = ADVANCED_FACE ( 'NONE', ( #6226 ), #6224, .F. ) ;
#802 = EDGE_LOOP ( 'NONE', ( #803, #807, #810, #813 ) ) ;
#803 = ORIENTED_EDGE ( 'NONE', *, *, #804, .F. ) ;
#804 = EDGE_CURVE ( 'NONE', #805, #806, #6220, .T. ) ;
#805 = VERTEX_POINT ( 'NONE', #6215 ) ;
#806 = VERTEX_POINT ( 'NONE', #6214 ) ;
#807 = ORIENTED_EDGE ( 'NONE', *, *, #808, .T. ) ;
#808 = EDGE_CURVE ( 'NONE', #805, #809, #6213, .T. ) ;
#809 = VERTEX_POINT ( 'NONE', #6208 ) ;
#810 = ORIENTED_EDGE ( 'NONE', *, *, #811, .F. ) ;
#811 = EDGE_CURVE ( 'NONE', #812, #809, #6207, .T. ) ;
#812 = VERTEX_POINT ( 'NONE', #6264 ) ;
#813 = ORIENTED_EDGE ( 'NONE', *, *, #743, .F. ) ;
#814 = ORIENTED_EDGE ( 'NONE', *, *, #815, .T. ) ;
#815 = EDGE_CURVE ( 'NONE', #795, #730, #6263, .T. ) ;
#816 = ORIENTED_EDGE ( 'NONE', *, *, #817, .F. ) ;
#817 = EDGE_CURVE ( 'NONE', #818, #900, #6259, .T. ) ;
#818 = VERTEX_POINT ( 'NONE', #6254 ) ;
#819 = ORIENTED_EDGE ( 'NONE', *, *, #820, .F. ) ;
#820 = EDGE_CURVE ( 'NONE', #891, #818, #6253, .T. ) ;
#821 = EDGE_LOOP ( 'NONE', ( #848, #852, #855, #206 ) ) ;
#822 = EDGE_CURVE ( 'NONE', #888, #890, #6248, .T. ) ;
#823 = ORIENTED_EDGE ( 'NONE', *, *, #824, .F. ) ;
#824 = EDGE_CURVE ( 'NONE', #879, #890, #6244, .T. ) ;
#825 = EDGE_LOOP ( 'NONE', ( #826, #830, #833, #836, #937, #941, #859, #862 ) ) ;
#826 = ORIENTED_EDGE ( 'NONE', *, *, #827, .T. ) ;
#827 = EDGE_CURVE ( 'NONE', #828, #829, #6239, .T. ) ;
#828 = VERTEX_POINT ( 'NONE', #6297 ) ;
#829 = VERTEX_POINT ( 'NONE', #6296 ) ;
#830 = ORIENTED_EDGE ( 'NONE', *, *, #831, .T. ) ;
#831 = EDGE_CURVE ( 'NONE', #829, #832, #6295, .T. ) ;
#832 = VERTEX_POINT ( 'NONE', #6291 ) ;
#833 = ORIENTED_EDGE ( 'NONE', *, *, #834, .T. ) ;
#834 = EDGE_CURVE ( 'NONE', #832, #835, #6290, .T. ) ;
#835 = VERTEX_POINT ( 'NONE', #6285 ) ;
#836 = ORIENTED_EDGE ( 'NONE', *, *, #837, .F. ) ;
#837 = EDGE_CURVE ( 'NONE', #936, #835, #6284, .T. ) ;
#838 = EDGE_CURVE ( 'NONE', #865, #868, #6280, .T. ) ;
#839 = ORIENTED_EDGE ( 'NONE', *, *, #840, .T. ) ;
#840 = EDGE_CURVE ( 'NONE', #868, #841, #6276, .T. ) ;
#841 = VERTEX_POINT ( 'NONE', #6271 ) ;
#842 = ORIENTED_EDGE ( 'NONE', *, *, #843, .F. ) ;
#843 = EDGE_CURVE ( 'NONE', #866, #841, #6270, .T. ) ;
#844 = ADVANCED_FACE ( 'NONE', ( #6328 ), #6327, .F. ) ;
#845 = EDGE_LOOP ( 'NONE', ( #921, #925, #928, #931 ) ) ;
#846 = EDGE_LOOP ( 'NONE', ( #863, #867, #839, #842 ) ) ;
#847 = ADVANCED_FACE ( 'NONE', ( #6326 ), #6321, .F. ) ;
#848 = ORIENTED_EDGE ( 'NONE', *, *, #849, .F. ) ;
#849 = EDGE_CURVE ( 'NONE', #850, #851, #6315, .T. ) ;
#850 = VERTEX_POINT ( 'NONE', #6311 ) ;
#851 = VERTEX_POINT ( 'NONE', #6310 ) ;
#852 = ORIENTED_EDGE ( 'NONE', *, *, #853, .T. ) ;
#853 = EDGE_CURVE ( 'NONE', #850, #854, #6309, .T. ) ;
#854 = VERTEX_POINT ( 'NONE', #6305 ) ;
#855 = ORIENTED_EDGE ( 'NONE', *, *, #856, .T. ) ;
#856 = EDGE_CURVE ( 'NONE', #854, #181, #6303, .T. ) ;
#857 = EDGE_CURVE ( 'NONE', #858, #939, #6304, .T. ) ;
#858 = VERTEX_POINT ( 'NONE', #6364 ) ;
#859 = ORIENTED_EDGE ( 'NONE', *, *, #860, .F. ) ;
#860 = EDGE_CURVE ( 'NONE', #861, #858, #6363, .T. ) ;
#861 = VERTEX_POINT ( 'NONE', #6358 ) ;
#862 = ORIENTED_EDGE ( 'NONE', *, *, #871, .F. ) ;
#863 = ORIENTED_EDGE ( 'NONE', *, *, #864, .F. ) ;
#864 = EDGE_CURVE ( 'NONE', #865, #866, #6355, .T. ) ;
#865 = VERTEX_POINT ( 'NONE', #6393 ) ;
#866 = VERTEX_POINT ( 'NONE', #6392 ) ;
#867 = ORIENTED_EDGE ( 'NONE', *, *, #838, .T. ) ;
#868 = VERTEX_POINT ( 'NONE', #6391 ) ;
#869 = MANIFOLD_SOLID_BREP ( 'NONE', #1341 ) ;
#870 = ADVANCED_FACE ( 'NONE', ( #6390 ), #6387, .F. ) ;
#871 = EDGE_CURVE ( 'NONE', #828, #861, #6388, .T. ) ;
#872 = ADVANCED_FACE ( 'NONE', ( #6380 ), #6378, .F. ) ;
#873 = EDGE_LOOP ( 'NONE', ( #874, #892, #895, #898, #816, #819 ) ) ;
#874 = ORIENTED_EDGE ( 'NONE', *, *, #875, .F. ) ;
#875 = EDGE_CURVE ( 'NONE', #876, #891, #6373, .T. ) ;
#876 = VERTEX_POINT ( 'NONE', #6369 ) ;
#877 = EDGE_CURVE ( 'NONE', #878, #879, #6368, .T. ) ;
#878 = VERTEX_POINT ( 'NONE', #6442 ) ;
#879 = VERTEX_POINT ( 'NONE', #6441 ) ;
#880 = ORIENTED_EDGE ( 'NONE', *, *, #881, .F. ) ;
#881 = EDGE_CURVE ( 'NONE', #882, #878, #6402, .T. ) ;
#882 = VERTEX_POINT ( 'NONE', #6471 ) ;
#883 = ORIENTED_EDGE ( 'NONE', *, *, #884, .T. ) ;
#884 = EDGE_CURVE ( 'NONE', #882, #885, #6470, .T. ) ;
#885 = VERTEX_POINT ( 'NONE', #6466 ) ;
#886 = ORIENTED_EDGE ( 'NONE', *, *, #887, .F. ) ;
#887 = EDGE_CURVE ( 'NONE', #888, #885, #6465, .T. ) ;
#888 = VERTEX_POINT ( 'NONE', #6461 ) ;
#889 = ORIENTED_EDGE ( 'NONE', *, *, #822, .T. ) ;
#890 = VERTEX_POINT ( 'NONE', #6460 ) ;
#891 = VERTEX_POINT ( 'NONE', #6459 ) ;
#892 = ORIENTED_EDGE ( 'NONE', *, *, #893, .T. ) ;
#893 = EDGE_CURVE ( 'NONE', #876, #894, #6458, .T. ) ;
#894 = VERTEX_POINT ( 'NONE', #6454 ) ;
#895 = ORIENTED_EDGE ( 'NONE', *, *, #896, .T. ) ;
#896 = EDGE_CURVE ( 'NONE', #894, #897, #6453, .T. ) ;
#897 = VERTEX_POINT ( 'NONE', #6448 ) ;
#898 = ORIENTED_EDGE ( 'NONE', *, *, #899, .F. ) ;
#899 = EDGE_CURVE ( 'NONE', #900, #897, #6447, .T. ) ;
#900 = VERTEX_POINT ( 'NONE', #6443 ) ;
#901 = ORIENTED_EDGE ( 'NONE', *, *, #902, .T. ) ;
#902 = EDGE_CURVE ( 'NONE', #16, #861, #6506, .T. ) ;
#903 = ORIENTED_EDGE ( 'NONE', *, *, #860, .T. ) ;
#904 = ORIENTED_EDGE ( 'NONE', *, *, #905, .F. ) ;
#905 = EDGE_CURVE ( 'NONE', #6, #858, #6502, .T. ) ;
#906 = ADVANCED_FACE ( 'NONE', ( #6498 ), #6497, .F. ) ;
#907 = EDGE_LOOP ( 'NONE', ( #908, #963, #965, #966 ) ) ;
#908 = ORIENTED_EDGE ( 'NONE', *, *, #857, .T. ) ;
#909 = ORIENTED_EDGE ( 'NONE', *, *, #652, .T. ) ;
#910 = ADVANCED_FACE ( 'NONE', ( #6492 ), #6491, .F. ) ;
#911 = EDGE_LOOP ( 'NONE', ( #912, #913, #915 ) ) ;
#912 = ORIENTED_EDGE ( 'NONE', *, *, #881, .T. ) ;
#913 = ORIENTED_EDGE ( 'NONE', *, *, #914, .F. ) ;
#914 = EDGE_CURVE ( 'NONE', #725, #878, #6486, .T. ) ;
#915 = ORIENTED_EDGE ( 'NONE', *, *, #724, .F. ) ;
#916 = ADVANCED_FACE ( 'NONE', ( #6482 ), #6481, .F. ) ;
#917 = EDGE_LOOP ( 'NONE', ( #918, #919, #920, #976 ) ) ;
#918 = ORIENTED_EDGE ( 'NONE', *, *, #877, .T. ) ;
#919 = ORIENTED_EDGE ( 'NONE', *, *, #655, .F. ) ;
#920 = ORIENTED_EDGE ( 'NONE', *, *, #404, .F. ) ;
#921 = ORIENTED_EDGE ( 'NONE', *, *, #922, .F. ) ;
#922 = EDGE_CURVE ( 'NONE', #923, #924, #6475, .T. ) ;
#923 = VERTEX_POINT ( 'NONE', #6538 ) ;
#924 = VERTEX_POINT ( 'NONE', #6537 ) ;
#925 = ORIENTED_EDGE ( 'NONE', *, *, #926, .T. ) ;
#926 = EDGE_CURVE ( 'NONE', #923, #927, #6536, .T. ) ;
#927 = VERTEX_POINT ( 'NONE', #6532 ) ;
#928 = ORIENTED_EDGE ( 'NONE', *, *, #929, .T. ) ;
#929 = EDGE_CURVE ( 'NONE', #927, #930, #6531, .T. ) ;
#930 = VERTEX_POINT ( 'NONE', #6526 ) ;
#931 = ORIENTED_EDGE ( 'NONE', *, *, #932, .F. ) ;
#932 = EDGE_CURVE ( 'NONE', #924, #930, #6525, .T. ) ;
#933 = ADVANCED_FACE ( 'NONE', ( #6521, #6520 ), #6519, .T. ) ;
#934 = EDGE_LOOP ( 'NONE', ( #935, #880, #883, #886, #889, #823 ) ) ;
#935 = ORIENTED_EDGE ( 'NONE', *, *, #877, .F. ) ;
#936 = VERTEX_POINT ( 'NONE', #6514 ) ;
#937 = ORIENTED_EDGE ( 'NONE', *, *, #938, .T. ) ;
#938 = EDGE_CURVE ( 'NONE', #936, #939, #6513, .T. ) ;
#939 = VERTEX_POINT ( 'NONE', #6508 ) ;
#940 = ORIENTED_EDGE ( 'NONE', *, *, #1617, .F. ) ;
#941 = ORIENTED_EDGE ( 'NONE', *, *, #857, .F. ) ;
#942 = ORIENTED_EDGE ( 'NONE', *, *, #958, .F. ) ;
#943 = ADVANCED_FACE ( 'NONE', ( #6572, #6571 ), #6507, .F. ) ;
#944 = EDGE_LOOP ( 'NONE', ( #945, #946 ) ) ;
#945 = ORIENTED_EDGE ( 'NONE', *, *, #9, .T. ) ;
#946 = ORIENTED_EDGE ( 'NONE', *, *, #317, .T. ) ;
#947 = EDGE_LOOP ( 'NONE', ( #948, #1004, #1006, #1007 ) ) ;
#948 = ORIENTED_EDGE ( 'NONE', *, *, #1003, .T. ) ;
#949 = VERTEX_POINT ( 'NONE', #6566 ) ;
#950 = ORIENTED_EDGE ( 'NONE', *, *, #951, .F. ) ;
#951 = EDGE_CURVE ( 'NONE', #971, #936, #6564, .T. ) ;
#952 = ADVANCED_FACE ( 'NONE', ( #6565 ), #6559, .F. ) ;
#953 = EDGE_LOOP ( 'NONE', ( #954, #957, #959, #960 ) ) ;
#954 = ORIENTED_EDGE ( 'NONE', *, *, #955, .T. ) ;
#955 = EDGE_CURVE ( 'NONE', #971, #956, #6554, .T. ) ;
#956 = VERTEX_POINT ( 'NONE', #6550 ) ;
#957 = ORIENTED_EDGE ( 'NONE', *, *, #958, .T. ) ;
#958 = EDGE_CURVE ( 'NONE', #956, #259, #6549, .T. ) ;
#959 = ORIENTED_EDGE ( 'NONE', *, *, #258, .F. ) ;
#960 = ORIENTED_EDGE ( 'NONE', *, *, #970, .F. ) ;
#961 = ADVANCED_FACE ( 'NONE', ( #6545 ), #6544, .F. ) ;
#962 = EDGE_LOOP ( 'NONE', ( #1015, #1018, #1020, #942 ) ) ;
#963 = ORIENTED_EDGE ( 'NONE', *, *, #964, .F. ) ;
#964 = EDGE_CURVE ( 'NONE', #11, #939, #6606, .T. ) ;
#965 = ORIENTED_EDGE ( 'NONE', *, *, #15, .F. ) ;
#966 = ORIENTED_EDGE ( 'NONE', *, *, #905, .T. ) ;
#967 = ADVANCED_FACE ( 'NONE', ( #6602 ), #6601, .T. ) ;
#968 = EDGE_LOOP ( 'NONE', ( #969, #972, #973, #974, #975, #950 ) ) ;
#969 = ORIENTED_EDGE ( 'NONE', *, *, #970, .T. ) ;
#970 = EDGE_CURVE ( 'NONE', #971, #333, #6596, .T. ) ;
#971 = VERTEX_POINT ( 'NONE', #6592 ) ;
#972 = ORIENTED_EDGE ( 'NONE', *, *, #332, .T. ) ;
#973 = ORIENTED_EDGE ( 'NONE', *, *, #12, .T. ) ;
#974 = ORIENTED_EDGE ( 'NONE', *, *, #964, .T. ) ;
#975 = ORIENTED_EDGE ( 'NONE', *, *, #938, .F. ) ;
#976 = ORIENTED_EDGE ( 'NONE', *, *, #914, .T. ) ;
#977 = ADVANCED_FACE ( 'NONE', ( #6591 ), #6590, .F. ) ;
#978 = EDGE_LOOP ( 'NONE', ( #979, #901, #903, #904 ) ) ;
#979 = ORIENTED_EDGE ( 'NONE', *, *, #17, .F. ) ;
#980 = ORIENTED_EDGE ( 'NONE', *, *, #196, .T. ) ;
#981 = ORIENTED_EDGE ( 'NONE', *, *, #982, .T. ) ;
#982 = EDGE_CURVE ( 'NONE', #194, #983, #6585, .T. ) ;
#983 = VERTEX_POINT ( 'NONE', #6580 ) ;
#984 = ORIENTED_EDGE ( 'NONE', *, *, #985, .T. ) ;
#985 = EDGE_CURVE ( 'NONE', #983, #191, #6578, .T. ) ;
#986 = ADVANCED_FACE ( 'NONE', ( #6579 ), #6573, .F. ) ;
#987 = EDGE_LOOP ( 'NONE', ( #988, #1256, #1257, #1258 ) ) ;
#988 = ORIENTED_EDGE ( 'NONE', *, *, #173, .F. ) ;
#989 = ORIENTED_EDGE ( 'NONE', *, *, #1348, .F. ) ;
#990 = ORIENTED_EDGE ( 'NONE', *, *, #1005, .F. ) ;
#991 = ORIENTED_EDGE ( 'NONE', *, *, #992, .F. ) ;
#992 = EDGE_CURVE ( 'NONE', #829, #949, #6640, .T. ) ;
#993 = ADVANCED_FACE ( 'NONE', ( #6631, #6630 ), #6629, .F. ) ;
#994 = EDGE_LOOP ( 'NONE', ( #995, #996 ) ) ;
#995 = ORIENTED_EDGE ( 'NONE', *, *, #31, .T. ) ;
#996 = ORIENTED_EDGE ( 'NONE', *, *, #300, .T. ) ;
#997 = EDGE_LOOP ( 'NONE', ( #998, #999, #1000, #1001 ) ) ;
#998 = ORIENTED_EDGE ( 'NONE', *, *, #871, .T. ) ;
#999 = ORIENTED_EDGE ( 'NONE', *, *, #902, .F. ) ;
#1000 = ORIENTED_EDGE ( 'NONE', *, *, #21, .F. ) ;
#1001 = ORIENTED_EDGE ( 'NONE', *, *, #1012, .T. ) ;
#1002 = EDGE_LOOP ( 'NONE', ( #1062, #1063, #980, #981, #984 ) ) ;
#1003 = EDGE_CURVE ( 'NONE', #1017, #949, #6624, .T. ) ;
#1004 = ORIENTED_EDGE ( 'NONE', *, *, #1005, .T. ) ;
#1005 = EDGE_CURVE ( 'NONE', #949, #265, #6620, .T. ) ;
#1006 = ORIENTED_EDGE ( 'NONE', *, *, #264, .F. ) ;
#1007 = ORIENTED_EDGE ( 'NONE', *, *, #1019, .F. ) ;
#1008 = ADVANCED_FACE ( 'NONE', ( #6616 ), #6615, .F. ) ;
#1009 = EDGE_LOOP ( 'NONE', ( #1010, #1011, #1013, #1014, #990, #991 ) ) ;
#1010 = ORIENTED_EDGE ( 'NONE', *, *, #827, .F. ) ;
#1011 = ORIENTED_EDGE ( 'NONE', *, *, #1012, .F. ) ;
#1012 = EDGE_CURVE ( 'NONE', #13059, #828, #6671, .T. ) ;
#1013 = ORIENTED_EDGE ( 'NONE', *, *, #13061, .F. ) ;
#1014 = ORIENTED_EDGE ( 'NONE', *, *, #267, .F. ) ;
#1015 = ORIENTED_EDGE ( 'NONE', *, *, #1016, .T. ) ;
#1016 = EDGE_CURVE ( 'NONE', #956, #1017, #6667, .T. ) ;
#1017 = VERTEX_POINT ( 'NONE', #6662 ) ;
#1018 = ORIENTED_EDGE ( 'NONE', *, *, #1019, .T. ) ;
#1019 = EDGE_CURVE ( 'NONE', #1017, #262, #6661, .T. ) ;
#1020 = ORIENTED_EDGE ( 'NONE', *, *, #261, .F. ) ;
#1021 = VERTEX_POINT ( 'NONE', #6657 ) ;
#1022 = VERTEX_POINT ( 'NONE', #6656 ) ;
#1023 = ORIENTED_EDGE ( 'NONE', *, *, #1024, .T. ) ;
#1024 = EDGE_CURVE ( 'NONE', #1021, #716, #6655, .T. ) ;
#1025 = ORIENTED_EDGE ( 'NONE', *, *, #1026, .T. ) ;
#1026 = EDGE_CURVE ( 'NONE', #1127, #1027, #6651, .T. ) ;
#1027 = VERTEX_POINT ( 'NONE', #6647 ) ;
#1028 = ORIENTED_EDGE ( 'NONE', *, *, #1029, .T. ) ;
#1029 = EDGE_CURVE ( 'NONE', #1027, #1030, #6646, .T. ) ;
#1030 = VERTEX_POINT ( 'NONE', #6641 ) ;
#1031 = ORIENTED_EDGE ( 'NONE', *, *, #1032, .T. ) ;
#1032 = EDGE_CURVE ( 'NONE', #1030, #1033, #6700, .T. ) ;
#1033 = VERTEX_POINT ( 'NONE', #6695 ) ;
#1034 = ORIENTED_EDGE ( 'NONE', *, *, #1035, .T. ) ;
#1035 = EDGE_CURVE ( 'NONE', #1033, #1036, #6694, .T. ) ;
#1036 = VERTEX_POINT ( 'NONE', #6689 ) ;
#1037 = ORIENTED_EDGE ( 'NONE', *, *, #1142, .F. ) ;
#1038 = ORIENTED_EDGE ( 'NONE', *, *, #686, .F. ) ;
#1039 = ORIENTED_EDGE ( 'NONE', *, *, #1040, .F. ) ;
#1040 = EDGE_CURVE ( 'NONE', #1080, #755, #6688, .T. ) ;
#1041 = ADVANCED_FACE ( 'NONE', ( #6684 ), #6683, .T. ) ;
#1042 = EDGE_LOOP ( 'NONE', ( #1043, #1047, #1098, #1099 ) ) ;
#1043 = ORIENTED_EDGE ( 'NONE', *, *, #1044, .F. ) ;
#1044 = EDGE_CURVE ( 'NONE', #1045, #1046, #6682, .T. ) ;
#1045 = VERTEX_POINT ( 'NONE', #6673 ) ;
#1046 = VERTEX_POINT ( 'NONE', #6672 ) ;
#1047 = ORIENTED_EDGE ( 'NONE', *, *, #1097, .T. ) ;
#1048 = ORIENTED_EDGE ( 'NONE', *, *, #1141, .T. ) ;
#1049 = ORIENTED_EDGE ( 'NONE', *, *, #1050, .T. ) ;
#1050 = EDGE_CURVE ( 'NONE', #1077, #1051, #6735, .T. ) ;
#1051 = VERTEX_POINT ( 'NONE', #6730 ) ;
#1052 = ORIENTED_EDGE ( 'NONE', *, *, #1053, .F. ) ;
#1053 = EDGE_CURVE ( 'NONE', #1068, #1051, #6729, .T. ) ;
#1054 = ADVANCED_FACE ( 'NONE', ( #6725 ), #6722, .F. ) ;
#1055 = EDGE_LOOP ( 'NONE', ( #1056, #1129, #1132, #1135 ) ) ;
#1056 = ORIENTED_EDGE ( 'NONE', *, *, #1057, .F. ) ;
#1057 = EDGE_CURVE ( 'NONE', #1058, #1059, #6717, .T. ) ;
#1058 = VERTEX_POINT ( 'NONE', #6713 ) ;
#1059 = VERTEX_POINT ( 'NONE', #6712 ) ;
#1060 = EDGE_CURVE ( 'NONE', #772, #347, #6711, .T. ) ;
#1061 = ADVANCED_FACE ( 'NONE', ( #6707 ), #6706, .F. ) ;
#1062 = ORIENTED_EDGE ( 'NONE', *, *, #190, .F. ) ;
#1063 = ORIENTED_EDGE ( 'NONE', *, *, #511, .F. ) ;
#1064 = EDGE_LOOP ( 'NONE', ( #1065, #1069, #1072, #1075, #1049, #1052 ) ) ;
#1065 = ORIENTED_EDGE ( 'NONE', *, *, #1066, .F. ) ;
#1066 = EDGE_CURVE ( 'NONE', #1067, #1068, #6765, .T. ) ;
#1067 = VERTEX_POINT ( 'NONE', #6761 ) ;
#1068 = VERTEX_POINT ( 'NONE', #6760 ) ;
#1069 = ORIENTED_EDGE ( 'NONE', *, *, #1070, .T. ) ;
#1070 = EDGE_CURVE ( 'NONE', #1067, #1071, #6759, .T. ) ;
#1071 = VERTEX_POINT ( 'NONE', #6755 ) ;
#1072 = ORIENTED_EDGE ( 'NONE', *, *, #1073, .T. ) ;
#1073 = EDGE_CURVE ( 'NONE', #1071, #1074, #6754, .T. ) ;
#1074 = VERTEX_POINT ( 'NONE', #6749 ) ;
#1075 = ORIENTED_EDGE ( 'NONE', *, *, #1076, .T. ) ;
#1076 = EDGE_CURVE ( 'NONE', #1074, #1077, #6748, .T. ) ;
#1077 = VERTEX_POINT ( 'NONE', #6743 ) ;
#1078 = EDGE_CURVE ( 'NONE', #1079, #1080, #6742, .T. ) ;
#1079 = VERTEX_POINT ( 'NONE', #6737 ) ;
#1080 = VERTEX_POINT ( 'NONE', #6736 ) ;
#1081 = ORIENTED_EDGE ( 'NONE', *, *, #1082, .T. ) ;
#1082 = EDGE_CURVE ( 'NONE', #1079, #687, #6797, .T. ) ;
#1083 = EDGE_CURVE ( 'NONE', #1096, #1084, #6793, .T. ) ;
#1084 = VERTEX_POINT ( 'NONE', #6788 ) ;
#1085 = ORIENTED_EDGE ( 'NONE', *, *, #1086, .T. ) ;
#1086 = EDGE_CURVE ( 'NONE', #1096, #251, #6787, .T. ) ;
#1087 = ORIENTED_EDGE ( 'NONE', *, *, #250, .F. ) ;
#1088 = ORIENTED_EDGE ( 'NONE', *, *, #1089, .F. ) ;
#1089 = EDGE_CURVE ( 'NONE', #1084, #248, #6783, .T. ) ;
#1090 = ADVANCED_FACE ( 'NONE', ( #6779 ), #6777, .T. ) ;
#1091 = EDGE_LOOP ( 'NONE', ( #1092, #1081, #1038, #1039 ) ) ;
#1092 = ORIENTED_EDGE ( 'NONE', *, *, #1078, .F. ) ;
#1093 = ADVANCED_FACE ( 'NONE', ( #6772 ), #6771, .T. ) ;
#1094 = EDGE_LOOP ( 'NONE', ( #1095, #1085, #1087, #1088 ) ) ;
#1095 = ORIENTED_EDGE ( 'NONE', *, *, #1083, .F. ) ;
#1096 = VERTEX_POINT ( 'NONE', #6767 ) ;
#1097 = EDGE_CURVE ( 'NONE', #1045, #702, #6766, .T. ) ;
#1098 = ORIENTED_EDGE ( 'NONE', *, *, #700, .F. ) ;
#1099 = ORIENTED_EDGE ( 'NONE', *, *, #1100, .F. ) ;
#1100 = EDGE_CURVE ( 'NONE', #1046, #698, #6821, .T. ) ;
#1101 = ADVANCED_FACE ( 'NONE', ( #6817 ), #6816, .T. ) ;
#1102 = EDGE_LOOP ( 'NONE', ( #1103, #1023, #1120, #1121 ) ) ;
#1103 = ORIENTED_EDGE ( 'NONE', *, *, #1104, .F. ) ;
#1104 = EDGE_CURVE ( 'NONE', #1021, #1022, #6810, .T. ) ;
#1105 = EDGE_CURVE ( 'NONE', #1180, #1183, #6806, .T. ) ;
#1106 = EDGE_CURVE ( 'NONE', #1107, #1195, #6801, .T. ) ;
#1107 = VERTEX_POINT ( 'NONE', #6802 ) ;
#1108 = ORIENTED_EDGE ( 'NONE', *, *, #1109, .F. ) ;
#1109 = EDGE_CURVE ( 'NONE', #1161, #1107, #6852, .T. ) ;
#1110 = ADVANCED_FACE ( 'NONE', ( #6851 ), #6850, .F. ) ;
#1111 = EDGE_LOOP ( 'NONE', ( #1112, #1228, #1231, #1145, #1148, #1151 ) ) ;
#1112 = ORIENTED_EDGE ( 'NONE', *, *, #1113, .F. ) ;
#1113 = EDGE_CURVE ( 'NONE', #1114, #1227, #6839, .T. ) ;
#1114 = VERTEX_POINT ( 'NONE', #6835 ) ;
#1115 = ADVANCED_FACE ( 'NONE', ( #6834 ), #6833, .F. ) ;
#1116 = EDGE_LOOP ( 'NONE', ( #1117, #1272, #1188, #1213, #1216, #1219 ) ) ;
#1117 = ORIENTED_EDGE ( 'NONE', *, *, #1269, .F. ) ;
#1118 = ORIENTED_EDGE ( 'NONE', *, *, #349, .F. ) ;
#1119 = ORIENTED_EDGE ( 'NONE', *, *, #1060, .F. ) ;
#1120 = ORIENTED_EDGE ( 'NONE', *, *, #715, .F. ) ;
#1121 = ORIENTED_EDGE ( 'NONE', *, *, #1122, .F. ) ;
#1122 = EDGE_CURVE ( 'NONE', #1022, #713, #6828, .T. ) ;
#1123 = ADVANCED_FACE ( 'NONE', ( #6886 ), #6884, .F. ) ;
#1124 = EDGE_LOOP ( 'NONE', ( #1125, #1025, #1028, #1031, #1034, #1037 ) ) ;
#1125 = ORIENTED_EDGE ( 'NONE', *, *, #1126, .F. ) ;
#1126 = EDGE_CURVE ( 'NONE', #1127, #1128, #6879, .T. ) ;
#1127 = VERTEX_POINT ( 'NONE', #6875 ) ;
#1128 = VERTEX_POINT ( 'NONE', #6874 ) ;
#1129 = ORIENTED_EDGE ( 'NONE', *, *, #1130, .T. ) ;
#1130 = EDGE_CURVE ( 'NONE', #1058, #1131, #6873, .T. ) ;
#1131 = VERTEX_POINT ( 'NONE', #6869 ) ;
#1132 = ORIENTED_EDGE ( 'NONE', *, *, #1133, .T. ) ;
#1133 = EDGE_CURVE ( 'NONE', #1131, #1134, #6868, .T. ) ;
#1134 = VERTEX_POINT ( 'NONE', #6863 ) ;
#1135 = ORIENTED_EDGE ( 'NONE', *, *, #1136, .F. ) ;
#1136 = EDGE_CURVE ( 'NONE', #1059, #1134, #6862, .T. ) ;
#1137 = ADVANCED_FACE ( 'NONE', ( #6858 ), #6354, .F. ) ;
#1138 = EDGE_LOOP ( 'NONE', ( #1139, #1268, #1181, #1186 ) ) ;
#1139 = ORIENTED_EDGE ( 'NONE', *, *, #1140, .F. ) ;
#1140 = EDGE_CURVE ( 'NONE', #1179, #1180, #6909, .T. ) ;
#1141 = EDGE_CURVE ( 'NONE', #775, #350, #6904, .T. ) ;
#1142 = EDGE_CURVE ( 'NONE', #1128, #1036, #6900, .T. ) ;
#1143 = ADVANCED_FACE ( 'NONE', ( #6896 ), #6895, .F. ) ;
#1144 = VERTEX_POINT ( 'NONE', #6890 ) ;
#1145 = ORIENTED_EDGE ( 'NONE', *, *, #1146, .F. ) ;
#1146 = EDGE_CURVE ( 'NONE', #1147, #1144, #6889, .T. ) ;
#1147 = VERTEX_POINT ( 'NONE', #6888 ) ;
#1148 = ORIENTED_EDGE ( 'NONE', *, *, #1149, .F. ) ;
#1149 = EDGE_CURVE ( 'NONE', #1150, #1147, #6929, .T. ) ;
#1150 = VERTEX_POINT ( 'NONE', #6928 ) ;
#1151 = ORIENTED_EDGE ( 'NONE', *, *, #1152, .F. ) ;
#1152 = EDGE_CURVE ( 'NONE', #1227, #1150, #6919, .T. ) ;
#1153 = EDGE_CURVE ( 'NONE', #1211, #1209, #6912, .T. ) ;
#1154 = ORIENTED_EDGE ( 'NONE', *, *, #1155, .F. ) ;
#1155 = EDGE_CURVE ( 'NONE', #1200, #1211, #6968, .T. ) ;
#1156 = ADVANCED_FACE ( 'NONE', ( #6967 ), #6960, .F. ) ;
#1157 = EDGE_LOOP ( 'NONE', ( #1158, #1162, #1165, #1193, #1196, #1108 ) ) ;
#1158 = ORIENTED_EDGE ( 'NONE', *, *, #1159, .F. ) ;
#1159 = EDGE_CURVE ( 'NONE', #1160, #1161, #6949, .T. ) ;
#1160 = VERTEX_POINT ( 'NONE', #6945 ) ;
#1161 = VERTEX_POINT ( 'NONE', #6944 ) ;
#1162 = ORIENTED_EDGE ( 'NONE', *, *, #1163, .T. ) ;
#1163 = EDGE_CURVE ( 'NONE', #1160, #1164, #6943, .T. ) ;
#1164 = VERTEX_POINT ( 'NONE', #6939 ) ;
#1165 = ORIENTED_EDGE ( 'NONE', *, *, #1166, .F. ) ;
#1166 = EDGE_CURVE ( 'NONE', #1192, #1164, #6938, .T. ) ;
#1167 = ORIENTED_EDGE ( 'NONE', *, *, #1168, .T. ) ;
#1168 = EDGE_CURVE ( 'NONE', #1225, #1169, #6937, .T. ) ;
#1169 = VERTEX_POINT ( 'NONE', #6989 ) ;
#1170 = ORIENTED_EDGE ( 'NONE', *, *, #1171, .T. ) ;
#1171 = EDGE_CURVE ( 'NONE', #1169, #1172, #6988, .T. ) ;
#1172 = VERTEX_POINT ( 'NONE', #6983 ) ;
#1173 = ORIENTED_EDGE ( 'NONE', *, *, #1174, .T. ) ;
#1174 = EDGE_CURVE ( 'NONE', #1172, #1175, #6982, .T. ) ;
#1175 = VERTEX_POINT ( 'NONE', #6977 ) ;
#1176 = ORIENTED_EDGE ( 'NONE', *, *, #1177, .T. ) ;
#1177 = EDGE_CURVE ( 'NONE', #1175, #1178, #6976, .T. ) ;
#1178 = VERTEX_POINT ( 'NONE', #6971 ) ;
#1179 = VERTEX_POINT ( 'NONE', #6970 ) ;
#1180 = VERTEX_POINT ( 'NONE', #6969 ) ;
#1181 = ORIENTED_EDGE ( 'NONE', *, *, #1182, .T. ) ;
#1182 = EDGE_CURVE ( 'NONE', #1191, #1183, #7024, .T. ) ;
#1183 = VERTEX_POINT ( 'NONE', #7019 ) ;
#1184 = ADVANCED_FACE ( 'NONE', ( #7018 ), #7017, .F. ) ;
#1185 = EDGE_LOOP ( 'NONE', ( #1197, #1201, #1204, #1207, #1210, #1154 ) ) ;
#1186 = ORIENTED_EDGE ( 'NONE', *, *, #1105, .F. ) ;
#1187 = VERTEX_POINT ( 'NONE', #7012 ) ;
#1188 = ORIENTED_EDGE ( 'NONE', *, *, #1189, .F. ) ;
#1189 = EDGE_CURVE ( 'NONE', #1212, #1187, #7011, .T. ) ;
#1190 = EDGE_CURVE ( 'NONE', #1179, #1191, #7010, .T. ) ;
#1191 = VERTEX_POINT ( 'NONE', #7000 ) ;
#1192 = VERTEX_POINT ( 'NONE', #6999 ) ;
#1193 = ORIENTED_EDGE ( 'NONE', *, *, #1194, .F. ) ;
#1194 = EDGE_CURVE ( 'NONE', #1195, #1192, #7053, .T. ) ;
#1195 = VERTEX_POINT ( 'NONE', #7052 ) ;
#1196 = ORIENTED_EDGE ( 'NONE', *, *, #1106, .F. ) ;
#1197 = ORIENTED_EDGE ( 'NONE', *, *, #1198, .F. ) ;
#1198 = EDGE_CURVE ( 'NONE', #1199, #1200, #7051, .T. ) ;
#1199 = VERTEX_POINT ( 'NONE', #7039 ) ;
#1200 = VERTEX_POINT ( 'NONE', #7038 ) ;
#1201 = ORIENTED_EDGE ( 'NONE', *, *, #1202, .T. ) ;
#1202 = EDGE_CURVE ( 'NONE', #1199, #1203, #7037, .T. ) ;
#1203 = VERTEX_POINT ( 'NONE', #7033 ) ;
#1204 = ORIENTED_EDGE ( 'NONE', *, *, #1205, .F. ) ;
#1205 = EDGE_CURVE ( 'NONE', #1206, #1203, #7032, .T. ) ;
#1206 = VERTEX_POINT ( 'NONE', #7031 ) ;
#1207 = ORIENTED_EDGE ( 'NONE', *, *, #1208, .F. ) ;
#1208 = EDGE_CURVE ( 'NONE', #1209, #1206, #7076, .T. ) ;
#1209 = VERTEX_POINT ( 'NONE', #7077 ) ;
#1210 = ORIENTED_EDGE ( 'NONE', *, *, #1153, .F. ) ;
#1211 = VERTEX_POINT ( 'NONE', #7075 ) ;
#1212 = VERTEX_POINT ( 'NONE', #7074 ) ;
#1213 = ORIENTED_EDGE ( 'NONE', *, *, #1214, .F. ) ;
#1214 = EDGE_CURVE ( 'NONE', #1215, #1212, #7065, .T. ) ;
#1215 = VERTEX_POINT ( 'NONE', #7064 ) ;
#1216 = ORIENTED_EDGE ( 'NONE', *, *, #1217, .F. ) ;
#1217 = EDGE_CURVE ( 'NONE', #1218, #1215, #7055, .T. ) ;
#1218 = VERTEX_POINT ( 'NONE', #7054 ) ;
#1219 = ORIENTED_EDGE ( 'NONE', *, *, #1220, .F. ) ;
#1220 = EDGE_CURVE ( 'NONE', #1271, #1218, #7103, .T. ) ;
#1221 = ADVANCED_FACE ( 'NONE', ( #7102 ), #7101, .T. ) ;
#1222 = EDGE_LOOP ( 'NONE', ( #1223, #1167, #1170, #1173, #1176, #1361, #1475, #1477, #1326, #1329 ) ) ;
#1223 = ORIENTED_EDGE ( 'NONE', *, *, #1224, .F. ) ;
#1224 = EDGE_CURVE ( 'NONE', #1225, #1226, #7089, .T. ) ;
#1225 = VERTEX_POINT ( 'NONE', #7085 ) ;
#1226 = VERTEX_POINT ( 'NONE', #7084 ) ;
#1227 = VERTEX_POINT ( 'NONE', #7083 ) ;
#1228 = ORIENTED_EDGE ( 'NONE', *, *, #1229, .T. ) ;
#1229 = EDGE_CURVE ( 'NONE', #1114, #1230, #7082, .T. ) ;
#1230 = VERTEX_POINT ( 'NONE', #7078 ) ;
#1231 = ORIENTED_EDGE ( 'NONE', *, *, #1232, .F. ) ;
#1232 = EDGE_CURVE ( 'NONE', #1144, #1230, #7141, .T. ) ;
#1233 = ORIENTED_EDGE ( 'NONE', *, *, #1234, .F. ) ;
#1234 = EDGE_CURVE ( 'NONE', #983, #1250, #7134, .T. ) ;
#1235 = ORIENTED_EDGE ( 'NONE', *, *, #1236, .F. ) ;
#1236 = EDGE_CURVE ( 'NONE', #900, #983, #7129, .T. ) ;
#1237 = ORIENTED_EDGE ( 'NONE', *, *, #899, .T. ) ;
#1238 = ORIENTED_EDGE ( 'NONE', *, *, #555, .T. ) ;
#1239 = ADVANCED_FACE ( 'NONE', ( #7124, #7123 ), #7122, .T. ) ;
#1240 = EDGE_LOOP ( 'NONE', ( #1241, #1242, #1243, #1305, #1306, #1307, #1308, #1309 ) ) ;
#1241 = ORIENTED_EDGE ( 'NONE', *, *, #831, .F. ) ;
#1242 = ORIENTED_EDGE ( 'NONE', *, *, #992, .T. ) ;
#1243 = ORIENTED_EDGE ( 'NONE', *, *, #1003, .F. ) ;
#1244 = ADVANCED_FACE ( 'NONE', ( #7121 ), #7116, .F. ) ;
#1245 = ORIENTED_EDGE ( 'NONE', *, *, #853, .F. ) ;
#1246 = ORIENTED_EDGE ( 'NONE', *, *, #509, .F. ) ;
#1247 = ORIENTED_EDGE ( 'NONE', *, *, #207, .T. ) ;
#1248 = ORIENTED_EDGE ( 'NONE', *, *, #1249, .T. ) ;
#1249 = EDGE_CURVE ( 'NONE', #181, #1250, #7172, .T. ) ;
#1250 = VERTEX_POINT ( 'NONE', #7167 ) ;
#1251 = ORIENTED_EDGE ( 'NONE', *, *, #1252, .T. ) ;
#1252 = EDGE_CURVE ( 'NONE', #1250, #854, #7166, .T. ) ;
#1253 = ADVANCED_FACE ( 'NONE', ( #7161 ), #7160, .F. ) ;
#1254 = EDGE_LOOP ( 'NONE', ( #1255, #1315, #1233, #1235, #1237, #1238 ) ) ;
#1255 = ORIENTED_EDGE ( 'NONE', *, *, #893, .F. ) ;
#1256 = ORIENTED_EDGE ( 'NONE', *, *, #519, .F. ) ;
#1257 = ORIENTED_EDGE ( 'NONE', *, *, #182, .T. ) ;
#1258 = ORIENTED_EDGE ( 'NONE', *, *, #1259, .T. ) ;
#1259 = EDGE_CURVE ( 'NONE', #179, #174, #7159, .T. ) ;
#1260 = ADVANCED_FACE ( 'NONE', ( #7150 ), #7149, .F. ) ;
#1261 = EDGE_LOOP ( 'NONE', ( #1262, #1263, #1264, #1265 ) ) ;
#1262 = ORIENTED_EDGE ( 'NONE', *, *, #231, .F. ) ;
#1263 = ORIENTED_EDGE ( 'NONE', *, *, #501, .F. ) ;
#1264 = ORIENTED_EDGE ( 'NONE', *, *, #225, .T. ) ;
#1265 = ORIENTED_EDGE ( 'NONE', *, *, #1266, .T. ) ;
#1266 = EDGE_CURVE ( 'NONE', #223, #232, #7148, .T. ) ;
#1267 = EDGE_LOOP ( 'NONE', ( #1245, #1246, #1247, #1248, #1251 ) ) ;
#1268 = ORIENTED_EDGE ( 'NONE', *, *, #1190, .T. ) ;
#1269 = EDGE_CURVE ( 'NONE', #1270, #1271, #7204, .T. ) ;
#1270 = VERTEX_POINT ( 'NONE', #7200 ) ;
#1271 = VERTEX_POINT ( 'NONE', #7199 ) ;
#1272 = ORIENTED_EDGE ( 'NONE', *, *, #1273, .T. ) ;
#1273 = EDGE_CURVE ( 'NONE', #1270, #1187, #7198, .T. ) ;
#1274 = ADVANCED_FACE ( 'NONE', ( #7194, #7193 ), #7192, .F. ) ;
#1275 = EDGE_LOOP ( 'NONE', ( #1276, #1277 ) ) ;
#1276 = ORIENTED_EDGE ( 'NONE', *, *, #1310, .F. ) ;
#1277 = ORIENTED_EDGE ( 'NONE', *, *, #834, .F. ) ;
#1278 = EDGE_LOOP ( 'NONE', ( #1279, #1281 ) ) ;
#1279 = ORIENTED_EDGE ( 'NONE', *, *, #1280, .F. ) ;
#1280 = EDGE_CURVE ( 'NONE', #930, #927, #7187, .T. ) ;
#1281 = ORIENTED_EDGE ( 'NONE', *, *, #929, .F. ) ;
#1282 = ADVANCED_FACE ( 'NONE', ( #7182, #7181 ), #7180, .F. ) ;
#1283 = EDGE_LOOP ( 'NONE', ( #1342, #1343, #1344, #1345 ) ) ;
#1284 = ORIENTED_EDGE ( 'NONE', *, *, #222, .F. ) ;
#1285 = ORIENTED_EDGE ( 'NONE', *, *, #820, .T. ) ;
#1286 = ORIENTED_EDGE ( 'NONE', *, *, #176, .F. ) ;
#1287 = ORIENTED_EDGE ( 'NONE', *, *, #1259, .F. ) ;
#1288 = ORIENTED_EDGE ( 'NONE', *, *, #178, .F. ) ;
#1289 = ORIENTED_EDGE ( 'NONE', *, *, #817, .T. ) ;
#1290 = ORIENTED_EDGE ( 'NONE', *, *, #1236, .T. ) ;
#1291 = ORIENTED_EDGE ( 'NONE', *, *, #982, .F. ) ;
#1292 = ORIENTED_EDGE ( 'NONE', *, *, #193, .F. ) ;
#1293 = ORIENTED_EDGE ( 'NONE', *, *, #985, .F. ) ;
#1294 = ORIENTED_EDGE ( 'NONE', *, *, #200, .F. ) ;
#1295 = ADVANCED_FACE ( 'NONE', ( #7174, #7173 ), #7179, .T. ) ;
#1296 = EDGE_LOOP ( 'NONE', ( #1297, #1298, #1299, #1300, #1301, #1302, #1303, #1304, #1284, #1285, #1286, #1287, #1288, #1289, #1290, #1291, #1292, #1293 ) ) ;
#1297 = ORIENTED_EDGE ( 'NONE', *, *, #1234, .T. ) ;
#1298 = ORIENTED_EDGE ( 'NONE', *, *, #1249, .F. ) ;
#1299 = ORIENTED_EDGE ( 'NONE', *, *, #856, .F. ) ;
#1300 = ORIENTED_EDGE ( 'NONE', *, *, #1252, .F. ) ;
#1301 = ORIENTED_EDGE ( 'NONE', *, *, #1316, .T. ) ;
#1302 = ORIENTED_EDGE ( 'NONE', *, *, #875, .T. ) ;
#1303 = ORIENTED_EDGE ( 'NONE', *, *, #234, .F. ) ;
#1304 = ORIENTED_EDGE ( 'NONE', *, *, #1266, .F. ) ;
#1305 = ORIENTED_EDGE ( 'NONE', *, *, #1016, .F. ) ;
#1306 = ORIENTED_EDGE ( 'NONE', *, *, #955, .F. ) ;
#1307 = ORIENTED_EDGE ( 'NONE', *, *, #951, .T. ) ;
#1308 = ORIENTED_EDGE ( 'NONE', *, *, #837, .T. ) ;
#1309 = ORIENTED_EDGE ( 'NONE', *, *, #1310, .T. ) ;
#1310 = EDGE_CURVE ( 'NONE', #835, #832, #7236, .T. ) ;
#1311 = EDGE_LOOP ( 'NONE', ( #1312, #1313, #1314, #1294 ) ) ;
#1312 = ORIENTED_EDGE ( 'NONE', *, *, #729, .F. ) ;
#1313 = ORIENTED_EDGE ( 'NONE', *, *, #668, .F. ) ;
#1314 = ORIENTED_EDGE ( 'NONE', *, *, #212, .F. ) ;
#1315 = ORIENTED_EDGE ( 'NONE', *, *, #1316, .F. ) ;
#1316 = EDGE_CURVE ( 'NONE', #1250, #876, #7231, .T. ) ;
#1317 = EDGE_CURVE ( 'NONE', #1318, #1319, #7226, .T. ) ;
#1318 = VERTEX_POINT ( 'NONE', #7221 ) ;
#1319 = VERTEX_POINT ( 'NONE', #7220 ) ;
#1320 = VERTEX_POINT ( 'NONE', #7219 ) ;
#1321 = ORIENTED_EDGE ( 'NONE', *, *, #1322, .T. ) ;
#1322 = EDGE_CURVE ( 'NONE', #1320, #1323, #7218, .T. ) ;
#1323 = VERTEX_POINT ( 'NONE', #7213 ) ;
#1324 = EDGE_CURVE ( 'NONE', #1390, #1325, #7211, .T. ) ;
#1325 = VERTEX_POINT ( 'NONE', #7212 ) ;
#1326 = ORIENTED_EDGE ( 'NONE', *, *, #1327, .T. ) ;
#1327 = EDGE_CURVE ( 'NONE', #1325, #1328, #7262, .T. ) ;
#1328 = VERTEX_POINT ( 'NONE', #7257 ) ;
#1329 = ORIENTED_EDGE ( 'NONE', *, *, #1330, .F. ) ;
#1330 = EDGE_CURVE ( 'NONE', #1226, #1328, #7256, .T. ) ;
#1331 = ADVANCED_FACE ( 'NONE', ( #7255 ), #7254, .F. ) ;
#1332 = EDGE_LOOP ( 'NONE', ( #1333, #1337, #1440, #1357 ) ) ;
#1333 = ORIENTED_EDGE ( 'NONE', *, *, #1334, .T. ) ;
#1334 = EDGE_CURVE ( 'NONE', #1335, #1336, #7244, .T. ) ;
#1335 = VERTEX_POINT ( 'NONE', #7291 ) ;
#1336 = VERTEX_POINT ( 'NONE', #7290 ) ;
#1337 = ORIENTED_EDGE ( 'NONE', *, *, #1338, .T. ) ;
#1338 = EDGE_CURVE ( 'NONE', #1336, #1439, #7289, .T. ) ;
#1339 = ORIENTED_EDGE ( 'NONE', *, *, #843, .T. ) ;
#1340 = ORIENTED_EDGE ( 'NONE', *, *, #2136, .T. ) ;
#1341 = CLOSED_SHELL ( 'NONE', ( #1260, #499, #1295, #208, #254, #5584, #844, #1061, #1282, #986, #1253, #847, #872, #183, #1244, #226, #1090, #4386, #1274, #459, #870, #1350, #516, #565, #506, #4259, #933, #1239, #5578, #705, #2061, #13062, #690, #5311, #335, #629, #45, #546, #527, #36, #30, #137, #622, #32, #5337, #5329, #238, #281, #405, #11754, #364, #3925, #3993, #4031, #4037, #3975, #3967, #656, #967, #977, #1008, #906, #993, #717, #910, #916, #648, #664, #209, #670, #943, #952, #198, #961, #4319, #1101, #4325, #1041, #5556, #425, #675, #633, #123, #607, #641, #582, #569, #536, #598, #13066, #5358, #4451, #467, #5353, #4465, #4393, #1093, #1156, #3744, #11766, #33, #311, #10, #297, #340, #11698, #353, #11907, #271, #4206, #4271, #396, #416, #801, #744, #4458, #683, #372, #782, #445, #433, #380, #4247, #4379, #4361, #4366, #770, #4374, #3860, #3843, #3866, #3903, #3887, #3851, #3879, #3893, #3935, #3999, #3951, #3943, #4425, #4401, #4395, #2065, #2135, #4410, #4066, #4010, #4059, #4022, #4003, #4050, #4311, #3683, #1115, #3756, #1110, #736, #2084, #2168, #4290, #4336, #4285, #1184, #3730, #4113, #4095, #4158, #4088, #4040, #4104, #4281, #4301, #2134, #4149, #4182, #4199, #4234, #1054, #1137, #1143, #4216, #1123, #4165, #4225, #4135, #4127, #4190, #4173, #4121, #3716, #2140, #2109, #2170, #2154, #2152, #2209, #3763, #3613, #3877, #3665, #3837, #3829, #3648, #3674, #3604, #3555, #3621, #3630, #2183, #2178, #2190, #2237, #2184, #2198, #3445, #3505, #1511, #3460, #3454, #1584, #1458, #3437, #3300, #1221, #3637, #3693, #3702, #3711, #3655, #1359, #1331, #3548, #1394, #1490, #3483, #3539, #3489, #3474, #1552, #3514, #3582, #3528, #3567, #1378, #1363, #3521, #1426, #2052, #2180, #3051, #2438, #3129, #3064, #3039, #3048, #3035, #3043, #3026, #3031, #3075, #3060, #3080, #3090, #3095, #2385, #2347, #2912, #2401, #2864, #2923, #2425, #2879, #2371, #2934, #3432, #3359, #3363, #3472, #3369, #3390, #3374, #3323, #3421, #3407, #3426, #3411, #3417, #1640, #3338, #3188, #3138, #3194, #3144, #3197, #3184, #3202, #3177, #3111, #3109, #3099, #2329, #3154, #3158, #3165, #3170, #3150, #3241, #3228, #3213, #3292, #3252, #3308, #3267, #3302, #3313, #3246, #3262, #3219, #3273, #3277, #3258, #3231, #2343, #1816, #1832, #1661, #1782, #1785, #1763, #1445, #1506, #1497, #1462, #1517, #2971, #2898, #2959, #2985, #3020, #2947, #2789, #2736, #2691, #2707, #2768, #1772, #2886, #2815, #2813, #2802, #2807, #2856, #1925, #1726, #1692, #1860, #1870, #1851, #63, #2542, #1670, #1649, #1657, #1724, #1668, #1609, #1689, #1751, #1743, #1736, #1759, #1698, #1561, #1545, #1572, #1641, #1579, #1728, #149, #2635, #2726, #70, #85, #75, #2555, #2668, #2546, #2673, #145, #2619, #2579, #2717, #2647, #2724, #2489, #2304, #2509, #2596, #2680, #2610, #2296, #2617, #2607, #2457, #1890, #1898, #2469, #1916, #2507, #2459, #1933, #2514, #2005, #2414, #2417, #2454, #2466, #2476, #2486, #2011, #2658, #2322, #1941, #2319, #1989, #2259, #2271, #2047, #2027, #2016, #2268, #2220, #2263, #2283, #2234, #2249 ) ) ;
#1342 = ORIENTED_EDGE ( 'NONE', *, *, #926, .F. ) ;
#1343 = ORIENTED_EDGE ( 'NONE', *, *, #1355, .F. ) ;
#1344 = ORIENTED_EDGE ( 'NONE', *, *, #932, .T. ) ;
#1345 = ORIENTED_EDGE ( 'NONE', *, *, #1280, .T. ) ;
#1346 = EDGE_LOOP ( 'NONE', ( #1347, #1349 ) ) ;
#1347 = ORIENTED_EDGE ( 'NONE', *, *, #1348, .T. ) ;
#1348 = EDGE_CURVE ( 'NONE', #866, #865, #7284, .T. ) ;
#1349 = ORIENTED_EDGE ( 'NONE', *, *, #864, .T. ) ;
#1350 = ADVANCED_FACE ( 'NONE', ( #7285 ), #7303, .F. ) ;
#1351 = EDGE_LOOP ( 'NONE', ( #1352, #989, #1339, #1340 ) ) ;
#1352 = ORIENTED_EDGE ( 'NONE', *, *, #838, .F. ) ;
#1353 = EDGE_LOOP ( 'NONE', ( #1354, #1356 ) ) ;
#1354 = ORIENTED_EDGE ( 'NONE', *, *, #1355, .T. ) ;
#1355 = EDGE_CURVE ( 'NONE', #924, #923, #7298, .T. ) ;
#1356 = ORIENTED_EDGE ( 'NONE', *, *, #922, .T. ) ;
#1357 = ORIENTED_EDGE ( 'NONE', *, *, #1358, .T. ) ;
#1358 = EDGE_CURVE ( 'NONE', #1442, #1335, #7292, .T. ) ;
#1359 = ADVANCED_FACE ( 'NONE', ( #7293 ), #7351, .T. ) ;
#1360 = EDGE_LOOP ( 'NONE', ( #1403, #1407, #1410, #1376 ) ) ;
#1361 = ORIENTED_EDGE ( 'NONE', *, *, #1389, .T. ) ;
#1362 = VERTEX_POINT ( 'NONE', #7346 ) ;
#1363 = ADVANCED_FACE ( 'NONE', ( #7345 ), #7344, .T. ) ;
#1364 = EDGE_LOOP ( 'NONE', ( #1365, #1369, #1372, #1392 ) ) ;
#1365 = ORIENTED_EDGE ( 'NONE', *, *, #1366, .T. ) ;
#1366 = EDGE_CURVE ( 'NONE', #1367, #1368, #7343, .T. ) ;
#1367 = VERTEX_POINT ( 'NONE', #7334 ) ;
#1368 = VERTEX_POINT ( 'NONE', #7333 ) ;
#1369 = ORIENTED_EDGE ( 'NONE', *, *, #1370, .T. ) ;
#1370 = EDGE_CURVE ( 'NONE', #1368, #1371, #7332, .T. ) ;
#1371 = VERTEX_POINT ( 'NONE', #7384 ) ;
#1372 = ORIENTED_EDGE ( 'NONE', *, *, #1373, .F. ) ;
#1373 = EDGE_CURVE ( 'NONE', #1391, #1371, #7383, .T. ) ;
#1374 = EDGE_CURVE ( 'NONE', #1375, #1409, #7378, .T. ) ;
#1375 = VERTEX_POINT ( 'NONE', #7373 ) ;
#1376 = ORIENTED_EDGE ( 'NONE', *, *, #1377, .F. ) ;
#1377 = EDGE_CURVE ( 'NONE', #1405, #1375, #7372, .T. ) ;
#1378 = ADVANCED_FACE ( 'NONE', ( #7368 ), #7366, .T. ) ;
#1379 = EDGE_LOOP ( 'NONE', ( #1380, #1384, #1387, #1321, #1433, #1436, #1430, #1418, #1421, #1424 ) ) ;
#1380 = ORIENTED_EDGE ( 'NONE', *, *, #1381, .F. ) ;
#1381 = EDGE_CURVE ( 'NONE', #1382, #1383, #7361, .T. ) ;
#1382 = VERTEX_POINT ( 'NONE', #7357 ) ;
#1383 = VERTEX_POINT ( 'NONE', #7356 ) ;
#1384 = ORIENTED_EDGE ( 'NONE', *, *, #1385, .T. ) ;
#1385 = EDGE_CURVE ( 'NONE', #1382, #1386, #7417, .T. ) ;
#1386 = VERTEX_POINT ( 'NONE', #7413 ) ;
#1387 = ORIENTED_EDGE ( 'NONE', *, *, #1388, .T. ) ;
#1388 = EDGE_CURVE ( 'NONE', #1386, #1320, #7411, .T. ) ;
#1389 = EDGE_CURVE ( 'NONE', #1178, #1362, #7406, .T. ) ;
#1390 = VERTEX_POINT ( 'NONE', #7402 ) ;
#1391 = VERTEX_POINT ( 'NONE', #7401 ) ;
#1392 = ORIENTED_EDGE ( 'NONE', *, *, #1393, .F. ) ;
#1393 = EDGE_CURVE ( 'NONE', #1367, #1391, #7400, .T. ) ;
#1394 = ADVANCED_FACE ( 'NONE', ( #7396 ), #7395, .T. ) ;
#1395 = EDGE_LOOP ( 'NONE', ( #1396, #1411, #1414, #1417 ) ) ;
#1396 = ORIENTED_EDGE ( 'NONE', *, *, #1317, .F. ) ;
#1397 = VERTEX_POINT ( 'NONE', #7390 ) ;
#1398 = ORIENTED_EDGE ( 'NONE', *, *, #1399, .F. ) ;
#1399 = EDGE_CURVE ( 'NONE', #1400, #1397, #7389, .T. ) ;
#1400 = VERTEX_POINT ( 'NONE', #7439 ) ;
#1401 = ORIENTED_EDGE ( 'NONE', *, *, #1402, .T. ) ;
#1402 = EDGE_CURVE ( 'NONE', #1400, #1429, #7438, .T. ) ;
#1403 = ORIENTED_EDGE ( 'NONE', *, *, #1404, .T. ) ;
#1404 = EDGE_CURVE ( 'NONE', #1405, #1406, #7433, .T. ) ;
#1405 = VERTEX_POINT ( 'NONE', #7428 ) ;
#1406 = VERTEX_POINT ( 'NONE', #7427 ) ;
#1407 = ORIENTED_EDGE ( 'NONE', *, *, #1408, .T. ) ;
#1408 = EDGE_CURVE ( 'NONE', #1406, #1409, #7426, .T. ) ;
#1409 = VERTEX_POINT ( 'NONE', #7422 ) ;
#1410 = ORIENTED_EDGE ( 'NONE', *, *, #1374, .F. ) ;
#1411 = ORIENTED_EDGE ( 'NONE', *, *, #1412, .T. ) ;
#1412 = EDGE_CURVE ( 'NONE', #1318, #1413, #7421, .T. ) ;
#1413 = VERTEX_POINT ( 'NONE', #7465 ) ;
#1414 = ORIENTED_EDGE ( 'NONE', *, *, #1415, .F. ) ;
#1415 = EDGE_CURVE ( 'NONE', #1416, #1413, #7464, .T. ) ;
#1416 = VERTEX_POINT ( 'NONE', #7459 ) ;
#1417 = ORIENTED_EDGE ( 'NONE', *, *, #1555, .F. ) ;
#1418 = ORIENTED_EDGE ( 'NONE', *, *, #1419, .T. ) ;
#1419 = EDGE_CURVE ( 'NONE', #1432, #1420, #7458, .T. ) ;
#1420 = VERTEX_POINT ( 'NONE', #7453 ) ;
#1421 = ORIENTED_EDGE ( 'NONE', *, *, #1422, .T. ) ;
#1422 = EDGE_CURVE ( 'NONE', #1420, #1423, #7452, .T. ) ;
#1423 = VERTEX_POINT ( 'NONE', #7447 ) ;
#1424 = ORIENTED_EDGE ( 'NONE', *, *, #1425, .F. ) ;
#1425 = EDGE_CURVE ( 'NONE', #1383, #1423, #7444, .T. ) ;
#1426 = ADVANCED_FACE ( 'NONE', ( #7446 ), #7445, .F. ) ;
#1427 = EDGE_LOOP ( 'NONE', ( #1478, #1481, #1398, #1401 ) ) ;
#1428 = EDGE_CURVE ( 'NONE', #2430, #2429, #7489, .T. ) ;
#1429 = VERTEX_POINT ( 'NONE', #7485 ) ;
#1430 = ORIENTED_EDGE ( 'NONE', *, *, #1431, .T. ) ;
#1431 = EDGE_CURVE ( 'NONE', #1438, #1432, #7484, .T. ) ;
#1432 = VERTEX_POINT ( 'NONE', #7479 ) ;
#1433 = ORIENTED_EDGE ( 'NONE', *, *, #1434, .T. ) ;
#1434 = EDGE_CURVE ( 'NONE', #1323, #1435, #7478, .T. ) ;
#1435 = VERTEX_POINT ( 'NONE', #7473 ) ;
#1436 = ORIENTED_EDGE ( 'NONE', *, *, #1437, .T. ) ;
#1437 = EDGE_CURVE ( 'NONE', #1435, #1438, #7472, .T. ) ;
#1438 = VERTEX_POINT ( 'NONE', #7467 ) ;
#1439 = VERTEX_POINT ( 'NONE', #7466 ) ;
#1440 = ORIENTED_EDGE ( 'NONE', *, *, #1441, .F. ) ;
#1441 = EDGE_CURVE ( 'NONE', #1442, #1439, #7526, .T. ) ;
#1442 = VERTEX_POINT ( 'NONE', #7521 ) ;
#1443 = ORIENTED_EDGE ( 'NONE', *, *, #1444, .T. ) ;
#1444 = EDGE_CURVE ( 'NONE', #1518, #1447, #7520, .T. ) ;
#1445 = ADVANCED_FACE ( 'NONE', ( #7516, #7515 ), #7514, .T. ) ;
#1446 = EDGE_LOOP ( 'NONE', ( #1448, #1452 ) ) ;
#1447 = VERTEX_POINT ( 'NONE', #7509 ) ;
#1448 = ORIENTED_EDGE ( 'NONE', *, *, #2588, .T. ) ;
#1449 = ORIENTED_EDGE ( 'NONE', *, *, #1450, .F. ) ;
#1450 = EDGE_CURVE ( 'NONE', #1451, #1447, #7508, .T. ) ;
#1451 = VERTEX_POINT ( 'NONE', #7503 ) ;
#1452 = ORIENTED_EDGE ( 'NONE', *, *, #69, .T. ) ;
#1453 = EDGE_LOOP ( 'NONE', ( #1456, #1460 ) ) ;
#1454 = ORIENTED_EDGE ( 'NONE', *, *, #1455, .F. ) ;
#1455 = EDGE_CURVE ( 'NONE', #1520, #1451, #7502, .T. ) ;
#1456 = ORIENTED_EDGE ( 'NONE', *, *, #1457, .T. ) ;
#1457 = EDGE_CURVE ( 'NONE', #2390, #2389, #7498, .T. ) ;
#1458 = ADVANCED_FACE ( 'NONE', ( #7559 ), #7558, .T. ) ;
#1459 = EDGE_LOOP ( 'NONE', ( #1461, #1469, #1544, #1601, #1603, #1523, #1527, #1530, #1576, #1580 ) ) ;
#1460 = ORIENTED_EDGE ( 'NONE', *, *, #2388, .T. ) ;
#1461 = ORIENTED_EDGE ( 'NONE', *, *, #1463, .F. ) ;
#1462 = ADVANCED_FACE ( 'NONE', ( #7552 ), #7557, .T. ) ;
#1463 = EDGE_CURVE ( 'NONE', #1465, #1466, #7547, .T. ) ;
#1464 = EDGE_LOOP ( 'NONE', ( #1467, #1470 ) ) ;
#1465 = VERTEX_POINT ( 'NONE', #7542 ) ;
#1466 = VERTEX_POINT ( 'NONE', #7541 ) ;
#1467 = ORIENTED_EDGE ( 'NONE', *, *, #1468, .T. ) ;
#1468 = EDGE_CURVE ( 'NONE', #2376, #2375, #7540, .T. ) ;
#1469 = ORIENTED_EDGE ( 'NONE', *, *, #1471, .T. ) ;
#1470 = ORIENTED_EDGE ( 'NONE', *, *, #2374, .T. ) ;
#1471 = EDGE_CURVE ( 'NONE', #1465, #1542, #7535, .T. ) ;
#1472 = EDGE_LOOP ( 'NONE', ( #1500, #1505 ) ) ;
#1473 = ORIENTED_EDGE ( 'NONE', *, *, #62, .F. ) ;
#1474 = EDGE_CURVE ( 'NONE', #1686, #1525, #7531, .T. ) ;
#1475 = ORIENTED_EDGE ( 'NONE', *, *, #1476, .T. ) ;
#1476 = EDGE_CURVE ( 'NONE', #1362, #1390, #7586, .T. ) ;
#1477 = ORIENTED_EDGE ( 'NONE', *, *, #1324, .T. ) ;
#1478 = ORIENTED_EDGE ( 'NONE', *, *, #1479, .T. ) ;
#1479 = EDGE_CURVE ( 'NONE', #1429, #1480, #7582, .T. ) ;
#1480 = VERTEX_POINT ( 'NONE', #7577 ) ;
#1481 = ORIENTED_EDGE ( 'NONE', *, *, #1482, .T. ) ;
#1482 = EDGE_CURVE ( 'NONE', #1480, #1397, #7576, .T. ) ;
#1483 = EDGE_CURVE ( 'NONE', #1562, #1484, #7572, .T. ) ;
#1484 = VERTEX_POINT ( 'NONE', #7567 ) ;
#1485 = ORIENTED_EDGE ( 'NONE', *, *, #1486, .T. ) ;
#1486 = EDGE_CURVE ( 'NONE', #1484, #1487, #7566, .T. ) ;
#1487 = VERTEX_POINT ( 'NONE', #7561 ) ;
#1488 = ORIENTED_EDGE ( 'NONE', *, *, #1489, .F. ) ;
#1489 = EDGE_CURVE ( 'NONE', #1537, #1487, #7610, .T. ) ;
#1490 = ADVANCED_FACE ( 'NONE', ( #7612 ), #7611, .F. ) ;
#1491 = EDGE_LOOP ( 'NONE', ( #1492, #1496, #1501, #1507 ) ) ;
#1492 = ORIENTED_EDGE ( 'NONE', *, *, #1493, .T. ) ;
#1493 = EDGE_CURVE ( 'NONE', #1494, #1495, #7600, .T. ) ;
#1494 = VERTEX_POINT ( 'NONE', #7596 ) ;
#1495 = VERTEX_POINT ( 'NONE', #7595 ) ;
#1496 = ORIENTED_EDGE ( 'NONE', *, *, #1498, .T. ) ;
#1497 = ADVANCED_FACE ( 'NONE', ( #7594 ), #7593, .T. ) ;
#1498 = EDGE_CURVE ( 'NONE', #1495, #1499, #7587, .T. ) ;
#1499 = VERTEX_POINT ( 'NONE', #7637 ) ;
#1500 = ORIENTED_EDGE ( 'NONE', *, *, #1502, .T. ) ;
#1501 = ORIENTED_EDGE ( 'NONE', *, *, #1503, .F. ) ;
#1502 = EDGE_CURVE ( 'NONE', #2406, #2405, #7636, .T. ) ;
#1503 = EDGE_CURVE ( 'NONE', #1504, #1499, #7631, .T. ) ;
#1504 = VERTEX_POINT ( 'NONE', #7626 ) ;
#1505 = ORIENTED_EDGE ( 'NONE', *, *, #2404, .T. ) ;
#1506 = ADVANCED_FACE ( 'NONE', ( #7625 ), #7624, .T. ) ;
#1507 = ORIENTED_EDGE ( 'NONE', *, *, #1509, .T. ) ;
#1508 = EDGE_LOOP ( 'NONE', ( #1510, #1515 ) ) ;
#1509 = EDGE_CURVE ( 'NONE', #1504, #1494, #7617, .T. ) ;
#1510 = ORIENTED_EDGE ( 'NONE', *, *, #1513, .T. ) ;
#1511 = ADVANCED_FACE ( 'NONE', ( #7619 ), #7618, .T. ) ;
#1512 = EDGE_LOOP ( 'NONE', ( #1514, #1443, #1449, #1454 ) ) ;
#1513 = EDGE_CURVE ( 'NONE', #2352, #2351, #7667, .T. ) ;
#1514 = ORIENTED_EDGE ( 'NONE', *, *, #1516, .F. ) ;
#1515 = ORIENTED_EDGE ( 'NONE', *, *, #2350, .T. ) ;
#1516 = EDGE_CURVE ( 'NONE', #1518, #1520, #7659, .T. ) ;
#1517 = ADVANCED_FACE ( 'NONE', ( #7654 ), #7653, .T. ) ;
#1518 = VERTEX_POINT ( 'NONE', #7648 ) ;
#1519 = EDGE_LOOP ( 'NONE', ( #1521, #1674 ) ) ;
#1520 = VERTEX_POINT ( 'NONE', #7647 ) ;
#1521 = ORIENTED_EDGE ( 'NONE', *, *, #1428, .T. ) ;
#1522 = VERTEX_POINT ( 'NONE', #7646 ) ;
#1523 = ORIENTED_EDGE ( 'NONE', *, *, #1524, .T. ) ;
#1524 = EDGE_CURVE ( 'NONE', #1522, #1525, #7644, .T. ) ;
#1525 = VERTEX_POINT ( 'NONE', #7645 ) ;
#1526 = EDGE_LOOP ( 'NONE', ( #1644, #1646, #1568 ) ) ;
#1527 = ORIENTED_EDGE ( 'NONE', *, *, #1528, .T. ) ;
#1528 = EDGE_CURVE ( 'NONE', #1525, #1529, #7696, .T. ) ;
#1529 = VERTEX_POINT ( 'NONE', #7691 ) ;
#1530 = ORIENTED_EDGE ( 'NONE', *, *, #1531, .T. ) ;
#1531 = EDGE_CURVE ( 'NONE', #1529, #1532, #7690, .T. ) ;
#1532 = VERTEX_POINT ( 'NONE', #7685 ) ;
#1533 = ORIENTED_EDGE ( 'NONE', *, *, #107, .F. ) ;
#1534 = EDGE_CURVE ( 'NONE', #1535, #1537, #7684, .T. ) ;
#1535 = VERTEX_POINT ( 'NONE', #7679 ) ;
#1536 = ORIENTED_EDGE ( 'NONE', *, *, #1538, .F. ) ;
#1537 = VERTEX_POINT ( 'NONE', #7678 ) ;
#1538 = EDGE_CURVE ( 'NONE', #1539, #105, #7677, .T. ) ;
#1539 = VERTEX_POINT ( 'NONE', #7676 ) ;
#1540 = ORIENTED_EDGE ( 'NONE', *, *, #1615, .T. ) ;
#1541 = ORIENTED_EDGE ( 'NONE', *, *, #1543, .F. ) ;
#1542 = VERTEX_POINT ( 'NONE', #7675 ) ;
#1543 = EDGE_CURVE ( 'NONE', #108, #1539, #7724, .T. ) ;
#1544 = ORIENTED_EDGE ( 'NONE', *, *, #1546, .T. ) ;
#1545 = ADVANCED_FACE ( 'NONE', ( #7726 ), #7725, .T. ) ;
#1546 = EDGE_CURVE ( 'NONE', #1542, #1548, #7710, .T. ) ;
#1547 = EDGE_LOOP ( 'NONE', ( #1549, #1551, #1557 ) ) ;
#1548 = VERTEX_POINT ( 'NONE', #7706 ) ;
#1549 = ORIENTED_EDGE ( 'NONE', *, *, #110, .F. ) ;
#1550 = VERTEX_POINT ( 'NONE', #7705 ) ;
#1551 = ORIENTED_EDGE ( 'NONE', *, *, #1553, .F. ) ;
#1552 = ADVANCED_FACE ( 'NONE', ( #7704 ), #7702, .T. ) ;
#1553 = EDGE_CURVE ( 'NONE', #1554, #108, #7698, .T. ) ;
#1554 = VERTEX_POINT ( 'NONE', #7697 ) ;
#1555 = EDGE_CURVE ( 'NONE', #1319, #1416, #7749, .T. ) ;
#1556 = EDGE_LOOP ( 'NONE', ( #1559, #1540, #1618, #1622, #1625, #1628, #1631, #1563, #1485, #1488 ) ) ;
#1557 = ORIENTED_EDGE ( 'NONE', *, *, #1558, .F. ) ;
#1558 = EDGE_CURVE ( 'NONE', #111, #1554, #7745, .T. ) ;
#1559 = ORIENTED_EDGE ( 'NONE', *, *, #1534, .F. ) ;
#1560 = EDGE_CURVE ( 'NONE', #1630, #1562, #7737, .T. ) ;
#1561 = ADVANCED_FACE ( 'NONE', ( #7733 ), #7732, .T. ) ;
#1562 = VERTEX_POINT ( 'NONE', #7731 ) ;
#1563 = ORIENTED_EDGE ( 'NONE', *, *, #1483, .T. ) ;
#1564 = EDGE_CURVE ( 'NONE', #1565, #102, #7783, .T. ) ;
#1565 = VERTEX_POINT ( 'NONE', #7782 ) ;
#1566 = EDGE_CURVE ( 'NONE', #1406, #1567, #7775, .T. ) ;
#1567 = VERTEX_POINT ( 'NONE', #7771 ) ;
#1568 = ORIENTED_EDGE ( 'NONE', *, *, #1570, .F. ) ;
#1569 = ORIENTED_EDGE ( 'NONE', *, *, #1571, .F. ) ;
#1570 = EDGE_CURVE ( 'NONE', #105, #1565, #7770, .T. ) ;
#1571 = EDGE_CURVE ( 'NONE', #1573, #1567, #7759, .T. ) ;
#1572 = ADVANCED_FACE ( 'NONE', ( #7768 ), #7805, .T. ) ;
#1573 = VERTEX_POINT ( 'NONE', #7801 ) ;
#1574 = EDGE_LOOP ( 'NONE', ( #1533, #1536, #1541 ) ) ;
#1575 = ORIENTED_EDGE ( 'NONE', *, *, #2342, .F. ) ;
#1576 = ORIENTED_EDGE ( 'NONE', *, *, #1577, .T. ) ;
#1577 = EDGE_CURVE ( 'NONE', #1532, #1578, #7800, .T. ) ;
#1578 = VERTEX_POINT ( 'NONE', #7795 ) ;
#1579 = ADVANCED_FACE ( 'NONE', ( #7794 ), #7793, .T. ) ;
#1580 = ORIENTED_EDGE ( 'NONE', *, *, #1582, .F. ) ;
#1581 = ORIENTED_EDGE ( 'NONE', *, *, #101, .F. ) ;
#1582 = EDGE_CURVE ( 'NONE', #1466, #1578, #7788, .T. ) ;
#1583 = EDGE_LOOP ( 'NONE', ( #1581, #1632, #1637 ) ) ;
#1584 = ADVANCED_FACE ( 'NONE', ( #7832 ), #7831, .F. ) ;
#1585 = EDGE_LOOP ( 'NONE', ( #1586, #1593, #1599, #1636 ) ) ;
#1586 = ORIENTED_EDGE ( 'NONE', *, *, #1588, .T. ) ;
#1587 = EDGE_LOOP ( 'NONE', ( #1591, #1592, #1598 ) ) ;
#1588 = EDGE_CURVE ( 'NONE', #1589, #1590, #7825, .T. ) ;
#1589 = VERTEX_POINT ( 'NONE', #7821 ) ;
#1590 = VERTEX_POINT ( 'NONE', #7820 ) ;
#1591 = ORIENTED_EDGE ( 'NONE', *, *, #93, .F. ) ;
#1592 = ORIENTED_EDGE ( 'NONE', *, *, #1594, .F. ) ;
#1593 = ORIENTED_EDGE ( 'NONE', *, *, #1595, .T. ) ;
#1594 = EDGE_CURVE ( 'NONE', #1596, #111, #7819, .T. ) ;
#1595 = EDGE_CURVE ( 'NONE', #1590, #1597, #7818, .T. ) ;
#1596 = VERTEX_POINT ( 'NONE', #7808 ) ;
#1597 = VERTEX_POINT ( 'NONE', #7807 ) ;
#1598 = ORIENTED_EDGE ( 'NONE', *, *, #1600, .F. ) ;
#1599 = ORIENTED_EDGE ( 'NONE', *, *, #1634, .F. ) ;
#1600 = EDGE_CURVE ( 'NONE', #60, #1596, #7863, .T. ) ;
#1601 = ORIENTED_EDGE ( 'NONE', *, *, #1602, .T. ) ;
#1602 = EDGE_CURVE ( 'NONE', #1548, #1550, #7860, .T. ) ;
#1603 = ORIENTED_EDGE ( 'NONE', *, *, #1604, .T. ) ;
#1604 = EDGE_CURVE ( 'NONE', #1550, #1522, #7848, .T. ) ;
#1605 = EDGE_LOOP ( 'NONE', ( #1606, #1652, #1666 ) ) ;
#1606 = ORIENTED_EDGE ( 'NONE', *, *, #47, .F. ) ;
#1607 = ORIENTED_EDGE ( 'NONE', *, *, #1608, .F. ) ;
#1608 = EDGE_CURVE ( 'NONE', #50, #1673, #7844, .T. ) ;
#1609 = ADVANCED_FACE ( 'NONE', ( #7843 ), #7842, .T. ) ;
#1610 = ORIENTED_EDGE ( 'NONE', *, *, #161, .F. ) ;
#1611 = ORIENTED_EDGE ( 'NONE', *, *, #1612, .F. ) ;
#1612 = EDGE_CURVE ( 'NONE', #51, #1613, #7886, .T. ) ;
#1613 = VERTEX_POINT ( 'NONE', #7885 ) ;
#1614 = ORIENTED_EDGE ( 'NONE', *, *, #1716, .F. ) ;
#1615 = EDGE_CURVE ( 'NONE', #1535, #1616, #7884, .T. ) ;
#1616 = VERTEX_POINT ( 'NONE', #7872 ) ;
#1617 = EDGE_CURVE ( 'NONE', #1732, #60, #7871, .T. ) ;
#1618 = ORIENTED_EDGE ( 'NONE', *, *, #1620, .T. ) ;
#1619 = VERTEX_POINT ( 'NONE', #7870 ) ;
#1620 = EDGE_CURVE ( 'NONE', #1616, #1621, #7913, .T. ) ;
#1621 = VERTEX_POINT ( 'NONE', #7908 ) ;
#1622 = ORIENTED_EDGE ( 'NONE', *, *, #1623, .T. ) ;
#1623 = EDGE_CURVE ( 'NONE', #1621, #1624, #7907, .T. ) ;
#1624 = VERTEX_POINT ( 'NONE', #7902 ) ;
#1625 = ORIENTED_EDGE ( 'NONE', *, *, #1626, .T. ) ;
#1626 = EDGE_CURVE ( 'NONE', #1624, #1627, #7901, .T. ) ;
#1627 = VERTEX_POINT ( 'NONE', #7896 ) ;
#1628 = ORIENTED_EDGE ( 'NONE', *, *, #1629, .T. ) ;
#1629 = EDGE_CURVE ( 'NONE', #1627, #1630, #7895, .T. ) ;
#1630 = VERTEX_POINT ( 'NONE', #7890 ) ;
#1631 = ORIENTED_EDGE ( 'NONE', *, *, #1560, .T. ) ;
#1632 = ORIENTED_EDGE ( 'NONE', *, *, #1633, .F. ) ;
#1633 = EDGE_CURVE ( 'NONE', #1619, #81, #7889, .T. ) ;
#1634 = EDGE_CURVE ( 'NONE', #1635, #1597, #7888, .T. ) ;
#1635 = VERTEX_POINT ( 'NONE', #7929 ) ;
#1636 = ORIENTED_EDGE ( 'NONE', *, *, #1638, .T. ) ;
#1637 = ORIENTED_EDGE ( 'NONE', *, *, #1639, .F. ) ;
#1638 = EDGE_CURVE ( 'NONE', #1635, #1589, #7928, .T. ) ;
#1639 = EDGE_CURVE ( 'NONE', #102, #1619, #7922, .T. ) ;
#1640 = ADVANCED_FACE ( 'NONE', ( #7920 ), #7919, .F. ) ;
#1641 = ADVANCED_FACE ( 'NONE', ( #7964 ), #7961, .T. ) ;
#1642 = EDGE_LOOP ( 'NONE', ( #1643, #1647, #1569, #1575 ) ) ;
#1643 = ORIENTED_EDGE ( 'NONE', *, *, #1645, .F. ) ;
#1644 = ORIENTED_EDGE ( 'NONE', *, *, #104, .F. ) ;
#1645 = EDGE_CURVE ( 'NONE', #1406, #1405, #7955, .T. ) ;
#1646 = ORIENTED_EDGE ( 'NONE', *, *, #1564, .F. ) ;
#1647 = ORIENTED_EDGE ( 'NONE', *, *, #1566, .T. ) ;
#1648 = EDGE_LOOP ( 'NONE', ( #1611, #1650, #1669 ) ) ;
#1649 = ADVANCED_FACE ( 'NONE', ( #7951 ), #7950, .T. ) ;
#1650 = ORIENTED_EDGE ( 'NONE', *, *, #1861, .F. ) ;
#1651 = ORIENTED_EDGE ( 'NONE', *, *, #1853, .F. ) ;
#1652 = ORIENTED_EDGE ( 'NONE', *, *, #1653, .F. ) ;
#1653 = EDGE_CURVE ( 'NONE', #1654, #50, #7945, .T. ) ;
#1654 = VERTEX_POINT ( 'NONE', #7944 ) ;
#1655 = ORIENTED_EDGE ( 'NONE', *, *, #1656, .F. ) ;
#1656 = EDGE_CURVE ( 'NONE', #1874, #1721, #7991, .T. ) ;
#1657 = ADVANCED_FACE ( 'NONE', ( #7993 ), #7992, .T. ) ;
#1658 = ORIENTED_EDGE ( 'NONE', *, *, #1872, .F. ) ;
#1659 = VERTEX_POINT ( 'NONE', #7979 ) ;
#1660 = EDGE_CURVE ( 'NONE', #1875, #1659, #7976, .T. ) ;
#1661 = ADVANCED_FACE ( 'NONE', ( #7974 ), #7977, .T. ) ;
#1662 = EDGE_LOOP ( 'NONE', ( #1663, #1679, #1680, #1684, #1687, #1791, #1841 ) ) ;
#1663 = ORIENTED_EDGE ( 'NONE', *, *, #1664, .T. ) ;
#1664 = EDGE_CURVE ( 'NONE', #1665, #1856, #7967, .T. ) ;
#1665 = VERTEX_POINT ( 'NONE', #8019 ) ;
#1666 = ORIENTED_EDGE ( 'NONE', *, *, #1667, .F. ) ;
#1667 = EDGE_CURVE ( 'NONE', #49, #1654, #8016, .T. ) ;
#1668 = ADVANCED_FACE ( 'NONE', ( #8018 ), #8017, .T. ) ;
#1669 = ORIENTED_EDGE ( 'NONE', *, *, #1723, .F. ) ;
#1670 = ADVANCED_FACE ( 'NONE', ( #8002 ), #8001, .T. ) ;
#1671 = ORIENTED_EDGE ( 'NONE', *, *, #1672, .F. ) ;
#1672 = EDGE_CURVE ( 'NONE', #1673, #51, #7996, .T. ) ;
#1673 = VERTEX_POINT ( 'NONE', #8053 ) ;
#1674 = ORIENTED_EDGE ( 'NONE', *, *, #2428, .T. ) ;
#1675 = EDGE_LOOP ( 'NONE', ( #1651, #1614, #1676 ) ) ;
#1676 = ORIENTED_EDGE ( 'NONE', *, *, #1677, .F. ) ;
#1677 = EDGE_CURVE ( 'NONE', #1862, #1678, #8046, .T. ) ;
#1678 = VERTEX_POINT ( 'NONE', #8045 ) ;
#1679 = ORIENTED_EDGE ( 'NONE', *, *, #1855, .T. ) ;
#1680 = ORIENTED_EDGE ( 'NONE', *, *, #1693, .T. ) ;
#1681 = ORIENTED_EDGE ( 'NONE', *, *, #1682, .F. ) ;
#1682 = EDGE_CURVE ( 'NONE', #1659, #1874, #8036, .T. ) ;
#1683 = ORIENTED_EDGE ( 'NONE', *, *, #1660, .F. ) ;
#1684 = ORIENTED_EDGE ( 'NONE', *, *, #1685, .F. ) ;
#1685 = EDGE_CURVE ( 'NONE', #1686, #1707, #8035, .T. ) ;
#1686 = VERTEX_POINT ( 'NONE', #8025 ) ;
#1687 = ORIENTED_EDGE ( 'NONE', *, *, #1474, .T. ) ;
#1688 = EDGE_CURVE ( 'NONE', #55, #1756, #8079, .T. ) ;
#1689 = ADVANCED_FACE ( 'NONE', ( #8078 ), #8077, .T. ) ;
#1690 = EDGE_LOOP ( 'NONE', ( #1701, #1702, #1705 ) ) ;
#1691 = EDGE_CURVE ( 'NONE', #1742, #114, #8065, .T. ) ;
#1692 = ADVANCED_FACE ( 'NONE', ( #8063 ), #8062, .T. ) ;
#1693 = EDGE_CURVE ( 'NONE', #158, #1707, #8103, .T. ) ;
#1694 = EDGE_CURVE ( 'NONE', #1715, #115, #8096, .T. ) ;
#1695 = ORIENTED_EDGE ( 'NONE', *, *, #1696, .F. ) ;
#1696 = EDGE_CURVE ( 'NONE', #1697, #95, #8088, .T. ) ;
#1697 = VERTEX_POINT ( 'NONE', #8087 ) ;
#1698 = ADVANCED_FACE ( 'NONE', ( #8089 ), #8127, .T. ) ;
#1699 = ORIENTED_EDGE ( 'NONE', *, *, #94, .F. ) ;
#1700 = EDGE_LOOP ( 'NONE', ( #1740, #1739, #1735 ) ) ;
#1701 = ORIENTED_EDGE ( 'NONE', *, *, #74, .F. ) ;
#1702 = ORIENTED_EDGE ( 'NONE', *, *, #1703, .F. ) ;
#1703 = EDGE_CURVE ( 'NONE', #1704, #55, #8123, .T. ) ;
#1704 = VERTEX_POINT ( 'NONE', #8122 ) ;
#1705 = ORIENTED_EDGE ( 'NONE', *, *, #1706, .F. ) ;
#1706 = EDGE_CURVE ( 'NONE', #56, #1704, #8115, .T. ) ;
#1707 = VERTEX_POINT ( 'NONE', #8114 ) ;
#1708 = ORIENTED_EDGE ( 'NONE', *, *, #1693, .F. ) ;
#1709 = EDGE_LOOP ( 'NONE', ( #1699, #1710, #1713 ) ) ;
#1710 = ORIENTED_EDGE ( 'NONE', *, *, #1711, .F. ) ;
#1711 = EDGE_CURVE ( 'NONE', #1712, #56, #8104, .T. ) ;
#1712 = VERTEX_POINT ( 'NONE', #8105 ) ;
#1713 = ORIENTED_EDGE ( 'NONE', *, *, #1714, .F. ) ;
#1714 = EDGE_CURVE ( 'NONE', #95, #1712, #8146, .T. ) ;
#1715 = VERTEX_POINT ( 'NONE', #8145 ) ;
#1716 = EDGE_CURVE ( 'NONE', #1678, #1875, #8136, .T. ) ;
#1717 = EDGE_LOOP ( 'NONE', ( #1718, #1719, #1655 ) ) ;
#1718 = ORIENTED_EDGE ( 'NONE', *, *, #1878, .F. ) ;
#1719 = ORIENTED_EDGE ( 'NONE', *, *, #1720, .F. ) ;
#1720 = EDGE_CURVE ( 'NONE', #1721, #49, #8129, .T. ) ;
#1721 = VERTEX_POINT ( 'NONE', #8128 ) ;
#1722 = EDGE_LOOP ( 'NONE', ( #1658, #1681, #1683 ) ) ;
#1723 = EDGE_CURVE ( 'NONE', #1613, #1862, #8177, .T. ) ;
#1724 = ADVANCED_FACE ( 'NONE', ( #8176 ), #8175, .T. ) ;
#1725 = EDGE_LOOP ( 'NONE', ( #1610, #1671, #1607 ) ) ;
#1726 = ADVANCED_FACE ( 'NONE', ( #8166 ), #8163, .T. ) ;
#1727 = ORIENTED_EDGE ( 'NONE', *, *, #1761, .F. ) ;
#1728 = ADVANCED_FACE ( 'NONE', ( #8162 ), #8157, .T. ) ;
#1729 = EDGE_LOOP ( 'NONE', ( #1730, #1473, #940 ) ) ;
#1730 = ORIENTED_EDGE ( 'NONE', *, *, #1731, .F. ) ;
#1731 = EDGE_CURVE ( 'NONE', #81, #1732, #8210, .T. ) ;
#1732 = VERTEX_POINT ( 'NONE', #8209 ) ;
#1733 = EDGE_LOOP ( 'NONE', ( #1734, #1801, #1708 ) ) ;
#1734 = ORIENTED_EDGE ( 'NONE', *, *, #157, .F. ) ;
#1735 = ORIENTED_EDGE ( 'NONE', *, *, #1691, .F. ) ;
#1736 = ADVANCED_FACE ( 'NONE', ( #8211 ), #8208, .T. ) ;
#1737 = EDGE_LOOP ( 'NONE', ( #1738, #1695, #1757 ) ) ;
#1738 = ORIENTED_EDGE ( 'NONE', *, *, #97, .F. ) ;
#1739 = ORIENTED_EDGE ( 'NONE', *, *, #87, .F. ) ;
#1740 = ORIENTED_EDGE ( 'NONE', *, *, #1741, .F. ) ;
#1741 = EDGE_CURVE ( 'NONE', #156, #1742, #8194, .T. ) ;
#1742 = VERTEX_POINT ( 'NONE', #8193 ) ;
#1743 = ADVANCED_FACE ( 'NONE', ( #8195 ), #8242, .T. ) ;
#1744 = EDGE_LOOP ( 'NONE', ( #1745, #1748, #1749 ) ) ;
#1745 = ORIENTED_EDGE ( 'NONE', *, *, #1746, .F. ) ;
#1746 = EDGE_CURVE ( 'NONE', #84, #1747, #8238, .T. ) ;
#1747 = VERTEX_POINT ( 'NONE', #8237 ) ;
#1748 = ORIENTED_EDGE ( 'NONE', *, *, #59, .F. ) ;
#1749 = ORIENTED_EDGE ( 'NONE', *, *, #1750, .F. ) ;
#1750 = EDGE_CURVE ( 'NONE', #1747, #57, #8228, .T. ) ;
#1751 = ADVANCED_FACE ( 'NONE', ( #8227 ), #8226, .T. ) ;
#1752 = EDGE_LOOP ( 'NONE', ( #1753, #1754, #1762 ) ) ;
#1753 = ORIENTED_EDGE ( 'NONE', *, *, #83, .F. ) ;
#1754 = ORIENTED_EDGE ( 'NONE', *, *, #1755, .F. ) ;
#1755 = EDGE_CURVE ( 'NONE', #1756, #84, #8269, .T. ) ;
#1756 = VERTEX_POINT ( 'NONE', #8270 ) ;
#1757 = ORIENTED_EDGE ( 'NONE', *, *, #1758, .F. ) ;
#1758 = EDGE_CURVE ( 'NONE', #98, #1697, #8262, .T. ) ;
#1759 = ADVANCED_FACE ( 'NONE', ( #8261 ), #8260, .T. ) ;
#1760 = EDGE_LOOP ( 'NONE', ( #1794, #1795, #1798 ) ) ;
#1761 = EDGE_CURVE ( 'NONE', #114, #1715, #8247, .T. ) ;
#1762 = ORIENTED_EDGE ( 'NONE', *, *, #1688, .F. ) ;
#1763 = ADVANCED_FACE ( 'NONE', ( #8249 ), #8246, .T. ) ;
#1764 = EDGE_LOOP ( 'NONE', ( #1765, #1805, #1806, #1807, #1808, #1811, #1814 ) ) ;
#1765 = ORIENTED_EDGE ( 'NONE', *, *, #1804, .T. ) ;
#1766 = VERTEX_POINT ( 'NONE', #8295 ) ;
#1767 = ORIENTED_EDGE ( 'NONE', *, *, #1768, .T. ) ;
#1768 = EDGE_CURVE ( 'NONE', #1883, #1769, #8294, .T. ) ;
#1769 = VERTEX_POINT ( 'NONE', #8290 ) ;
#1770 = ORIENTED_EDGE ( 'NONE', *, *, #1843, .T. ) ;
#1771 = EDGE_CURVE ( 'NONE', #1525, #1522, #8289, .T. ) ;
#1772 = ADVANCED_FACE ( 'NONE', ( #8285 ), #8284, .T. ) ;
#1773 = EDGE_LOOP ( 'NONE', ( #1774, #1777, #2693, #2694, #2752, #2747, #2766 ) ) ;
#1774 = ORIENTED_EDGE ( 'NONE', *, *, #1775, .T. ) ;
#1775 = EDGE_CURVE ( 'NONE', #1776, #1712, #8279, .T. ) ;
#1776 = VERTEX_POINT ( 'NONE', #8275 ) ;
#1777 = ORIENTED_EDGE ( 'NONE', *, *, #1711, .T. ) ;
#1778 = ORIENTED_EDGE ( 'NONE', *, *, #1779, .T. ) ;
#1779 = EDGE_CURVE ( 'NONE', #1550, #1548, #8274, .T. ) ;
#1780 = ORIENTED_EDGE ( 'NONE', *, *, #1784, .T. ) ;
#1781 = ORIENTED_EDGE ( 'NONE', *, *, #1866, .T. ) ;
#1782 = ADVANCED_FACE ( 'NONE', ( #8332 ), #8331, .T. ) ;
#1783 = ORIENTED_EDGE ( 'NONE', *, *, #1882, .T. ) ;
#1784 = EDGE_CURVE ( 'NONE', #1548, #1883, #8326, .T. ) ;
#1785 = ADVANCED_FACE ( 'NONE', ( #8322 ), #8321, .T. ) ;
#1786 = EDGE_LOOP ( 'NONE', ( #1787, #1838, #1839, #1840, #1767, #1770, #1845 ) ) ;
#1787 = ORIENTED_EDGE ( 'NONE', *, *, #1788, .T. ) ;
#1788 = EDGE_CURVE ( 'NONE', #1789, #1928, #8316, .T. ) ;
#1789 = VERTEX_POINT ( 'NONE', #8312 ) ;
#1790 = EDGE_CURVE ( 'NONE', #1522, #1665, #8311, .T. ) ;
#1791 = ORIENTED_EDGE ( 'NONE', *, *, #1771, .T. ) ;
#1792 = ORIENTED_EDGE ( 'NONE', *, *, #1793, .T. ) ;
#1793 = EDGE_CURVE ( 'NONE', #1665, #1550, #8307, .T. ) ;
#1794 = ORIENTED_EDGE ( 'NONE', *, *, #89, .F. ) ;
#1795 = ORIENTED_EDGE ( 'NONE', *, *, #1796, .F. ) ;
#1796 = EDGE_CURVE ( 'NONE', #1797, #98, #8360, .T. ) ;
#1797 = VERTEX_POINT ( 'NONE', #8359 ) ;
#1798 = ORIENTED_EDGE ( 'NONE', *, *, #1799, .F. ) ;
#1799 = EDGE_CURVE ( 'NONE', #57, #1797, #8352, .T. ) ;
#1800 = ORIENTED_EDGE ( 'NONE', *, *, #1694, .F. ) ;
#1801 = ORIENTED_EDGE ( 'NONE', *, *, #1802, .F. ) ;
#1802 = EDGE_CURVE ( 'NONE', #1707, #156, #8343, .T. ) ;
#1803 = ORIENTED_EDGE ( 'NONE', *, *, #1864, .T. ) ;
#1804 = EDGE_CURVE ( 'NONE', #1766, #1715, #8342, .T. ) ;
#1805 = ORIENTED_EDGE ( 'NONE', *, *, #1694, .T. ) ;
#1806 = ORIENTED_EDGE ( 'NONE', *, *, #1877, .T. ) ;
#1807 = ORIENTED_EDGE ( 'NONE', *, *, #1788, .F. ) ;
#1808 = ORIENTED_EDGE ( 'NONE', *, *, #1809, .T. ) ;
#1809 = EDGE_CURVE ( 'NONE', #1789, #1810, #8390, .T. ) ;
#1810 = VERTEX_POINT ( 'NONE', #8386 ) ;
#1811 = ORIENTED_EDGE ( 'NONE', *, *, #1812, .T. ) ;
#1812 = EDGE_CURVE ( 'NONE', #1810, #1813, #8385, .T. ) ;
#1813 = VERTEX_POINT ( 'NONE', #8381 ) ;
#1814 = ORIENTED_EDGE ( 'NONE', *, *, #1815, .T. ) ;
#1815 = EDGE_CURVE ( 'NONE', #1813, #1766, #8380, .T. ) ;
#1816 = ADVANCED_FACE ( 'NONE', ( #8376 ), #8375, .T. ) ;
#1817 = EDGE_LOOP ( 'NONE', ( #1818, #1821, #1822, #1823, #1824, #1827, #1830 ) ) ;
#1818 = ORIENTED_EDGE ( 'NONE', *, *, #1819, .T. ) ;
#1819 = EDGE_CURVE ( 'NONE', #1820, #1742, #8370, .T. ) ;
#1820 = VERTEX_POINT ( 'NONE', #8366 ) ;
#1821 = ORIENTED_EDGE ( 'NONE', *, *, #1691, .T. ) ;
#1822 = ORIENTED_EDGE ( 'NONE', *, *, #1761, .T. ) ;
#1823 = ORIENTED_EDGE ( 'NONE', *, *, #1804, .F. ) ;
#1824 = ORIENTED_EDGE ( 'NONE', *, *, #1825, .T. ) ;
#1825 = EDGE_CURVE ( 'NONE', #1766, #1826, #8365, .T. ) ;
#1826 = VERTEX_POINT ( 'NONE', #8361 ) ;
#1827 = ORIENTED_EDGE ( 'NONE', *, *, #1828, .T. ) ;
#1828 = EDGE_CURVE ( 'NONE', #1826, #1829, #8417, .T. ) ;
#1829 = VERTEX_POINT ( 'NONE', #8413 ) ;
#1830 = ORIENTED_EDGE ( 'NONE', *, *, #1831, .T. ) ;
#1831 = EDGE_CURVE ( 'NONE', #1829, #1820, #8412, .T. ) ;
#1832 = ADVANCED_FACE ( 'NONE', ( #8408 ), #8407, .T. ) ;
#1833 = EDGE_LOOP ( 'NONE', ( #1834, #1835, #1836, #1879, #1880, #1884, #1886 ) ) ;
#1834 = ORIENTED_EDGE ( 'NONE', *, *, #1685, .T. ) ;
#1835 = ORIENTED_EDGE ( 'NONE', *, *, #1802, .T. ) ;
#1836 = ORIENTED_EDGE ( 'NONE', *, *, #1741, .T. ) ;
#1837 = EDGE_LOOP ( 'NONE', ( #1783, #1781, #1803, #1842, #1792, #1778, #1780 ) ) ;
#1838 = ORIENTED_EDGE ( 'NONE', *, *, #1849, .T. ) ;
#1839 = ORIENTED_EDGE ( 'NONE', *, *, #1847, .T. ) ;
#1840 = ORIENTED_EDGE ( 'NONE', *, *, #1882, .F. ) ;
#1841 = ORIENTED_EDGE ( 'NONE', *, *, #1790, .T. ) ;
#1842 = ORIENTED_EDGE ( 'NONE', *, *, #1664, .F. ) ;
#1843 = EDGE_CURVE ( 'NONE', #1769, #1844, #8402, .T. ) ;
#1844 = VERTEX_POINT ( 'NONE', #8398 ) ;
#1845 = ORIENTED_EDGE ( 'NONE', *, *, #1846, .T. ) ;
#1846 = EDGE_CURVE ( 'NONE', #1844, #1789, #8397, .T. ) ;
#1847 = EDGE_CURVE ( 'NONE', #118, #1867, #8393, .T. ) ;
#1848 = ORIENTED_EDGE ( 'NONE', *, *, #1849, .F. ) ;
#1849 = EDGE_CURVE ( 'NONE', #1928, #118, #8392, .T. ) ;
#1850 = EDGE_LOOP ( 'NONE', ( #1926, #1848, #1927 ) ) ;
#1851 = ADVANCED_FACE ( 'NONE', ( #8391 ), #8438, .T. ) ;
#1852 = ORIENTED_EDGE ( 'NONE', *, *, #1847, .F. ) ;
#1853 = EDGE_CURVE ( 'NONE', #1875, #1862, #8427, .T. ) ;
#1854 = ORIENTED_EDGE ( 'NONE', *, *, #1864, .F. ) ;
#1855 = EDGE_CURVE ( 'NONE', #1856, #158, #8421, .T. ) ;
#1856 = VERTEX_POINT ( 'NONE', #8420 ) ;
#1857 = ORIENTED_EDGE ( 'NONE', *, *, #160, .F. ) ;
#1858 = ORIENTED_EDGE ( 'NONE', *, *, #1855, .F. ) ;
#1859 = ORIENTED_EDGE ( 'NONE', *, *, #117, .F. ) ;
#1860 = ADVANCED_FACE ( 'NONE', ( #8422 ), #8470, .T. ) ;
#1861 = EDGE_CURVE ( 'NONE', #1862, #51, #8465, .T. ) ;
#1862 = VERTEX_POINT ( 'NONE', #8466 ) ;
#1863 = EDGE_LOOP ( 'NONE', ( #1859, #1865, #1852 ) ) ;
#1864 = EDGE_CURVE ( 'NONE', #120, #1856, #8460, .T. ) ;
#1865 = ORIENTED_EDGE ( 'NONE', *, *, #1866, .F. ) ;
#1866 = EDGE_CURVE ( 'NONE', #1867, #120, #8450, .T. ) ;
#1867 = VERTEX_POINT ( 'NONE', #8504 ) ;
#1868 = ORIENTED_EDGE ( 'NONE', *, *, #1853, .T. ) ;
#1869 = ORIENTED_EDGE ( 'NONE', *, *, #1861, .T. ) ;
#1870 = ADVANCED_FACE ( 'NONE', ( #8503 ), #8500, .T. ) ;
#1871 = EDGE_LOOP ( 'NONE', ( #1857, #1858, #1854 ) ) ;
#1872 = EDGE_CURVE ( 'NONE', #1874, #1875, #8496, .T. ) ;
#1873 = ORIENTED_EDGE ( 'NONE', *, *, #1872, .T. ) ;
#1874 = VERTEX_POINT ( 'NONE', #8492 ) ;
#1875 = VERTEX_POINT ( 'NONE', #8491 ) ;
#1876 = ORIENTED_EDGE ( 'NONE', *, *, #1878, .T. ) ;
#1877 = EDGE_CURVE ( 'NONE', #115, #1928, #8490, .T. ) ;
#1878 = EDGE_CURVE ( 'NONE', #49, #1874, #8482, .T. ) ;
#1879 = ORIENTED_EDGE ( 'NONE', *, *, #1819, .F. ) ;
#1880 = ORIENTED_EDGE ( 'NONE', *, *, #1881, .T. ) ;
#1881 = EDGE_CURVE ( 'NONE', #1820, #1532, #8478, .T. ) ;
#1882 = EDGE_CURVE ( 'NONE', #1883, #1867, #8535, .T. ) ;
#1883 = VERTEX_POINT ( 'NONE', #8531 ) ;
#1884 = ORIENTED_EDGE ( 'NONE', *, *, #1885, .T. ) ;
#1885 = EDGE_CURVE ( 'NONE', #1532, #1529, #8530, .T. ) ;
#1886 = ORIENTED_EDGE ( 'NONE', *, *, #1887, .T. ) ;
#1887 = EDGE_CURVE ( 'NONE', #1529, #1686, #8526, .T. ) ;
#1888 = VERTEX_POINT ( 'NONE', #8522 ) ;
#1889 = ORIENTED_EDGE ( 'NONE', *, *, #1953, .T. ) ;
#1890 = ADVANCED_FACE ( 'NONE', ( #8521 ), #8520, .T. ) ;
#1891 = EDGE_LOOP ( 'NONE', ( #1892, #2008, #1895, #1896 ) ) ;
#1892 = ORIENTED_EDGE ( 'NONE', *, *, #2006, .F. ) ;
#1893 = VERTEX_POINT ( 'NONE', #8515 ) ;
#1894 = EDGE_CURVE ( 'NONE', #1893, #2307, #8514, .T. ) ;
#1895 = ORIENTED_EDGE ( 'NONE', *, *, #2305, .F. ) ;
#1896 = ORIENTED_EDGE ( 'NONE', *, *, #1897, .F. ) ;
#1897 = EDGE_CURVE ( 'NONE', #2007, #2303, #8510, .T. ) ;
#1898 = ADVANCED_FACE ( 'NONE', ( #8570 ), #8569, .F. ) ;
#1899 = EDGE_LOOP ( 'NONE', ( #1900, #1962, #1965, #2009 ) ) ;
#1900 = ORIENTED_EDGE ( 'NONE', *, *, #1901, .F. ) ;
#1901 = EDGE_CURVE ( 'NONE', #1902, #1903, #8564, .T. ) ;
#1902 = VERTEX_POINT ( 'NONE', #8559 ) ;
#1903 = VERTEX_POINT ( 'NONE', #8558 ) ;
#1904 = ORIENTED_EDGE ( 'NONE', *, *, #1968, .F. ) ;
#1905 = EDGE_LOOP ( 'NONE', ( #1917, #1908, #1910, #1932 ) ) ;
#1906 = EDGE_CURVE ( 'NONE', #2560, #2559, #8556, .T. ) ;
#1907 = ORIENTED_EDGE ( 'NONE', *, *, #1906, .T. ) ;
#1908 = ORIENTED_EDGE ( 'NONE', *, *, #1909, .T. ) ;
#1909 = EDGE_CURVE ( 'NONE', #1918, #2629, #8557, .T. ) ;
#1910 = ORIENTED_EDGE ( 'NONE', *, *, #2627, .F. ) ;
#1911 = EDGE_CURVE ( 'NONE', #2307, #2560, #8548, .T. ) ;
#1912 = EDGE_CURVE ( 'NONE', #1918, #1913, #8544, .T. ) ;
#1913 = VERTEX_POINT ( 'NONE', #8539 ) ;
#1914 = ORIENTED_EDGE ( 'NONE', *, *, #1915, .F. ) ;
#1915 = EDGE_CURVE ( 'NONE', #2303, #2559, #8599, .T. ) ;
#1916 = ADVANCED_FACE ( 'NONE', ( #8595 ), #8594, .T. ) ;
#1917 = ORIENTED_EDGE ( 'NONE', *, *, #1912, .F. ) ;
#1918 = VERTEX_POINT ( 'NONE', #8589 ) ;
#1919 = ORIENTED_EDGE ( 'NONE', *, *, #1998, .T. ) ;
#1920 = ORIENTED_EDGE ( 'NONE', *, *, #2073, .T. ) ;
#1921 = ORIENTED_EDGE ( 'NONE', *, *, #2091, .F. ) ;
#1922 = VERTEX_POINT ( 'NONE', #8588 ) ;
#1923 = EDGE_LOOP ( 'NONE', ( #1924, #1800, #1727 ) ) ;
#1924 = ORIENTED_EDGE ( 'NONE', *, *, #112, .F. ) ;
#1925 = ADVANCED_FACE ( 'NONE', ( #8587 ), #8584, .T. ) ;
#1926 = ORIENTED_EDGE ( 'NONE', *, *, #121, .F. ) ;
#1927 = ORIENTED_EDGE ( 'NONE', *, *, #1877, .F. ) ;
#1928 = VERTEX_POINT ( 'NONE', #8585 ) ;
#1929 = EDGE_CURVE ( 'NONE', #1970, #1888, #8580, .T. ) ;
#1930 = EDGE_CURVE ( 'NONE', #1913, #2628, #8575, .T. ) ;
#1931 = EDGE_LOOP ( 'NONE', ( #1904, #1969, #2003, #2004 ) ) ;
#1932 = ORIENTED_EDGE ( 'NONE', *, *, #1930, .F. ) ;
#1933 = ADVANCED_FACE ( 'NONE', ( #8571 ), #8633, .T. ) ;
#1934 = ORIENTED_EDGE ( 'NONE', *, *, #1936, .F. ) ;
#1935 = VERTEX_POINT ( 'NONE', #8628 ) ;
#1936 = EDGE_CURVE ( 'NONE', #1945, #1937, #8627, .T. ) ;
#1937 = VERTEX_POINT ( 'NONE', #8622 ) ;
#1938 = ORIENTED_EDGE ( 'NONE', *, *, #2293, .F. ) ;
#1939 = ORIENTED_EDGE ( 'NONE', *, *, #1940, .F. ) ;
#1940 = EDGE_CURVE ( 'NONE', #1937, #2295, #8621, .T. ) ;
#1941 = ADVANCED_FACE ( 'NONE', ( #8617 ), #8615, .T. ) ;
#1942 = ORIENTED_EDGE ( 'NONE', *, *, #1943, .T. ) ;
#1943 = EDGE_CURVE ( 'NONE', #1944, #1948, #8610, .T. ) ;
#1944 = VERTEX_POINT ( 'NONE', #8606 ) ;
#1945 = VERTEX_POINT ( 'NONE', #8605 ) ;
#1946 = EDGE_CURVE ( 'NONE', #1961, #2528, #8604, .T. ) ;
#1947 = EDGE_LOOP ( 'NONE', ( #1934, #1951, #1938, #1939 ) ) ;
#1948 = VERTEX_POINT ( 'NONE', #8600 ) ;
#1949 = ORIENTED_EDGE ( 'NONE', *, *, #1950, .T. ) ;
#1950 = EDGE_CURVE ( 'NONE', #1948, #1922, #8663, .T. ) ;
#1951 = ORIENTED_EDGE ( 'NONE', *, *, #1952, .T. ) ;
#1952 = EDGE_CURVE ( 'NONE', #1945, #2291, #8659, .T. ) ;
#1953 = EDGE_CURVE ( 'NONE', #1970, #1954, #8655, .T. ) ;
#1954 = VERTEX_POINT ( 'NONE', #8651 ) ;
#1955 = ORIENTED_EDGE ( 'NONE', *, *, #1956, .T. ) ;
#1956 = EDGE_CURVE ( 'NONE', #1954, #1957, #8650, .T. ) ;
#1957 = VERTEX_POINT ( 'NONE', #8645 ) ;
#1958 = ORIENTED_EDGE ( 'NONE', *, *, #1959, .F. ) ;
#1959 = EDGE_CURVE ( 'NONE', #1888, #1957, #8644, .T. ) ;
#1960 = EDGE_LOOP ( 'NONE', ( #1942, #1949, #2001, #1988 ) ) ;
#1961 = VERTEX_POINT ( 'NONE', #8640 ) ;
#1962 = ORIENTED_EDGE ( 'NONE', *, *, #1963, .T. ) ;
#1963 = EDGE_CURVE ( 'NONE', #1902, #1964, #8639, .T. ) ;
#1964 = VERTEX_POINT ( 'NONE', #8634 ) ;
#1965 = ORIENTED_EDGE ( 'NONE', *, *, #1966, .F. ) ;
#1966 = EDGE_CURVE ( 'NONE', #1967, #1964, #8696, .T. ) ;
#1967 = VERTEX_POINT ( 'NONE', #8691 ) ;
#1968 = EDGE_CURVE ( 'NONE', #1935, #1961, #8690, .T. ) ;
#1969 = ORIENTED_EDGE ( 'NONE', *, *, #2002, .T. ) ;
#1970 = VERTEX_POINT ( 'NONE', #8685 ) ;
#1971 = ORIENTED_EDGE ( 'NONE', *, *, #1972, .F. ) ;
#1972 = EDGE_CURVE ( 'NONE', #1973, #1974, #8684, .T. ) ;
#1973 = VERTEX_POINT ( 'NONE', #8680 ) ;
#1974 = VERTEX_POINT ( 'NONE', #8679 ) ;
#1975 = ORIENTED_EDGE ( 'NONE', *, *, #1976, .T. ) ;
#1976 = EDGE_CURVE ( 'NONE', #1973, #1977, #8678, .T. ) ;
#1977 = VERTEX_POINT ( 'NONE', #8674 ) ;
#1978 = ORIENTED_EDGE ( 'NONE', *, *, #1979, .T. ) ;
#1979 = EDGE_CURVE ( 'NONE', #1977, #1980, #8673, .T. ) ;
#1980 = VERTEX_POINT ( 'NONE', #8668 ) ;
#1981 = ORIENTED_EDGE ( 'NONE', *, *, #1982, .T. ) ;
#1982 = EDGE_CURVE ( 'NONE', #2045, #2043, #8667, .T. ) ;
#1983 = ORIENTED_EDGE ( 'NONE', *, *, #1984, .T. ) ;
#1984 = EDGE_CURVE ( 'NONE', #2043, #1985, #8726, .T. ) ;
#1985 = VERTEX_POINT ( 'NONE', #8722 ) ;
#1986 = ORIENTED_EDGE ( 'NONE', *, *, #2046, .F. ) ;
#1987 = VERTEX_POINT ( 'NONE', #8721 ) ;
#1988 = ORIENTED_EDGE ( 'NONE', *, *, #1998, .F. ) ;
#1989 = ADVANCED_FACE ( 'NONE', ( #8720 ), #8718, .T. ) ;
#1990 = EDGE_LOOP ( 'NONE', ( #1995, #1993, #1997, #1986 ) ) ;
#1991 = VERTEX_POINT ( 'NONE', #8714 ) ;
#1992 = EDGE_CURVE ( 'NONE', #1991, #1994, #8713, .T. ) ;
#1993 = ORIENTED_EDGE ( 'NONE', *, *, #1996, .T. ) ;
#1994 = VERTEX_POINT ( 'NONE', #8708 ) ;
#1995 = ORIENTED_EDGE ( 'NONE', *, *, #1992, .F. ) ;
#1996 = EDGE_CURVE ( 'NONE', #1991, #1948, #8707, .T. ) ;
#1997 = ORIENTED_EDGE ( 'NONE', *, *, #1943, .F. ) ;
#1998 = EDGE_CURVE ( 'NONE', #1944, #2000, #8703, .T. ) ;
#1999 = EDGE_CURVE ( 'NONE', #2000, #1922, #8698, .T. ) ;
#2000 = VERTEX_POINT ( 'NONE', #8758 ) ;
#2001 = ORIENTED_EDGE ( 'NONE', *, *, #1999, .F. ) ;
#2002 = EDGE_CURVE ( 'NONE', #1935, #2529, #8757, .T. ) ;
#2003 = ORIENTED_EDGE ( 'NONE', *, *, #2527, .F. ) ;
#2004 = ORIENTED_EDGE ( 'NONE', *, *, #1946, .F. ) ;
#2005 = ADVANCED_FACE ( 'NONE', ( #8753 ), #8751, .T. ) ;
#2006 = EDGE_CURVE ( 'NONE', #1893, #2007, #8746, .T. ) ;
#2007 = VERTEX_POINT ( 'NONE', #8742 ) ;
#2008 = ORIENTED_EDGE ( 'NONE', *, *, #1894, .T. ) ;
#2009 = ORIENTED_EDGE ( 'NONE', *, *, #2010, .F. ) ;
#2010 = EDGE_CURVE ( 'NONE', #1903, #1967, #8740, .T. ) ;
#2011 = ADVANCED_FACE ( 'NONE', ( #8741 ), #8733, .T. ) ;
#2012 = EDGE_LOOP ( 'NONE', ( #2013, #1889, #1955, #1958 ) ) ;
#2013 = ORIENTED_EDGE ( 'NONE', *, *, #1929, .F. ) ;
#2014 = ORIENTED_EDGE ( 'NONE', *, *, #2015, .T. ) ;
#2015 = EDGE_CURVE ( 'NONE', #2096, #2045, #8734, .T. ) ;
#2016 = ADVANCED_FACE ( 'NONE', ( #8786 ), #8784, .T. ) ;
#2017 = EDGE_LOOP ( 'NONE', ( #2018, #2019, #2022, #2025 ) ) ;
#2018 = ORIENTED_EDGE ( 'NONE', *, *, #2040, .F. ) ;
#2019 = ORIENTED_EDGE ( 'NONE', *, *, #2020, .T. ) ;
#2020 = EDGE_CURVE ( 'NONE', #2038, #2021, #8780, .T. ) ;
#2021 = VERTEX_POINT ( 'NONE', #8775 ) ;
#2022 = ORIENTED_EDGE ( 'NONE', *, *, #2023, .F. ) ;
#2023 = EDGE_CURVE ( 'NONE', #2024, #2021, #8774, .T. ) ;
#2024 = VERTEX_POINT ( 'NONE', #8769 ) ;
#2025 = ORIENTED_EDGE ( 'NONE', *, *, #2026, .F. ) ;
#2026 = EDGE_CURVE ( 'NONE', #2041, #2024, #8767, .T. ) ;
#2027 = ADVANCED_FACE ( 'NONE', ( #8768 ), #8766, .T. ) ;
#2028 = EDGE_LOOP ( 'NONE', ( #2029, #2030, #2032, #2050 ) ) ;
#2029 = ORIENTED_EDGE ( 'NONE', *, *, #2020, .F. ) ;
#2030 = ORIENTED_EDGE ( 'NONE', *, *, #2031, .F. ) ;
#2031 = EDGE_CURVE ( 'NONE', #2043, #2038, #8813, .T. ) ;
#2032 = ORIENTED_EDGE ( 'NONE', *, *, #2048, .T. ) ;
#2033 = ORIENTED_EDGE ( 'NONE', *, *, #2034, .T. ) ;
#2034 = EDGE_CURVE ( 'NONE', #1985, #2035, #8808, .T. ) ;
#2035 = VERTEX_POINT ( 'NONE', #8803 ) ;
#2036 = ORIENTED_EDGE ( 'NONE', *, *, #2037, .F. ) ;
#2037 = EDGE_CURVE ( 'NONE', #2038, #2035, #8802, .T. ) ;
#2038 = VERTEX_POINT ( 'NONE', #8798 ) ;
#2039 = ORIENTED_EDGE ( 'NONE', *, *, #2040, .T. ) ;
#2040 = EDGE_CURVE ( 'NONE', #2038, #2041, #8796, .T. ) ;
#2041 = VERTEX_POINT ( 'NONE', #8797 ) ;
#2042 = ORIENTED_EDGE ( 'NONE', *, *, #2092, .T. ) ;
#2043 = VERTEX_POINT ( 'NONE', #8791 ) ;
#2044 = EDGE_LOOP ( 'NONE', ( #1981, #1983, #2033, #2036, #2039, #2042, #2094, #2014 ) ) ;
#2045 = VERTEX_POINT ( 'NONE', #8790 ) ;
#2046 = EDGE_CURVE ( 'NONE', #1994, #1944, #8789, .T. ) ;
#2047 = ADVANCED_FACE ( 'NONE', ( #8850 ), #8849, .T. ) ;
#2048 = EDGE_CURVE ( 'NONE', #2043, #2049, #8843, .T. ) ;
#2049 = VERTEX_POINT ( 'NONE', #8839 ) ;
#2050 = ORIENTED_EDGE ( 'NONE', *, *, #2051, .F. ) ;
#2051 = EDGE_CURVE ( 'NONE', #2021, #2049, #8837, .T. ) ;
#2052 = ADVANCED_FACE ( 'NONE', ( #8838 ), #8830, .F. ) ;
#2053 = EDGE_LOOP ( 'NONE', ( #1971, #1975, #1978, #2090, #2078, #2086 ) ) ;
#2054 = ORIENTED_EDGE ( 'NONE', *, *, #2131, .T. ) ;
#2055 = ORIENTED_EDGE ( 'NONE', *, *, #2056, .F. ) ;
#2056 = EDGE_CURVE ( 'NONE', #2132, #2059, #8831, .T. ) ;
#2057 = ORIENTED_EDGE ( 'NONE', *, *, #2122, .F. ) ;
#2058 = ORIENTED_EDGE ( 'NONE', *, *, #2136, .F. ) ;
#2059 = VERTEX_POINT ( 'NONE', #8823 ) ;
#2060 = EDGE_CURVE ( 'NONE', #2067, #2076, #8822, .T. ) ;
#2061 = ADVANCED_FACE ( 'NONE', ( #8881 ), #8880, .F. ) ;
#2062 = EDGE_LOOP ( 'NONE', ( #2070, #2074, #2063, #2128 ) ) ;
#2063 = ORIENTED_EDGE ( 'NONE', *, *, #2066, .T. ) ;
#2064 = ORIENTED_EDGE ( 'NONE', *, *, #2066, .F. ) ;
#2065 = ADVANCED_FACE ( 'NONE', ( #8875 ), #8874, .T. ) ;
#2066 = EDGE_CURVE ( 'NONE', #2072, #2076, #8868, .T. ) ;
#2067 = VERTEX_POINT ( 'NONE', #8864 ) ;
#2068 = VERTEX_POINT ( 'NONE', #8863 ) ;
#2069 = EDGE_CURVE ( 'NONE', #2089, #2072, #8862, .T. ) ;
#2070 = ORIENTED_EDGE ( 'NONE', *, *, #2071, .T. ) ;
#2071 = EDGE_CURVE ( 'NONE', #2067, #2068, #8858, .T. ) ;
#2072 = VERTEX_POINT ( 'NONE', #8853 ) ;
#2073 = EDGE_CURVE ( 'NONE', #2088, #2076, #8916, .T. ) ;
#2074 = ORIENTED_EDGE ( 'NONE', *, *, #2075, .T. ) ;
#2075 = EDGE_CURVE ( 'NONE', #2068, #2072, #8912, .T. ) ;
#2076 = VERTEX_POINT ( 'NONE', #8908 ) ;
#2077 = ORIENTED_EDGE ( 'NONE', *, *, #2069, .F. ) ;
#2078 = ORIENTED_EDGE ( 'NONE', *, *, #2085, .T. ) ;
#2079 = ORIENTED_EDGE ( 'NONE', *, *, #2080, .F. ) ;
#2080 = EDGE_CURVE ( 'NONE', #2088, #2089, #8907, .T. ) ;
#2081 = VERTEX_POINT ( 'NONE', #8902 ) ;
#2082 = VERTEX_POINT ( 'NONE', #8901 ) ;
#2083 = EDGE_CURVE ( 'NONE', #1980, #2081, #8900, .T. ) ;
#2084 = ADVANCED_FACE ( 'NONE', ( #8895 ), #8894, .T. ) ;
#2085 = EDGE_CURVE ( 'NONE', #2081, #2082, #8888, .T. ) ;
#2086 = ORIENTED_EDGE ( 'NONE', *, *, #2091, .T. ) ;
#2087 = EDGE_LOOP ( 'NONE', ( #2079, #1920, #2064, #2077 ) ) ;
#2088 = VERTEX_POINT ( 'NONE', #8884 ) ;
#2089 = VERTEX_POINT ( 'NONE', #8952 ) ;
#2090 = ORIENTED_EDGE ( 'NONE', *, *, #2083, .T. ) ;
#2091 = EDGE_CURVE ( 'NONE', #2082, #1974, #8950, .T. ) ;
#2092 = EDGE_CURVE ( 'NONE', #2041, #2093, #8951, .T. ) ;
#2093 = VERTEX_POINT ( 'NONE', #8942 ) ;
#2094 = ORIENTED_EDGE ( 'NONE', *, *, #2095, .T. ) ;
#2095 = EDGE_CURVE ( 'NONE', #2093, #2096, #8940, .T. ) ;
#2096 = VERTEX_POINT ( 'NONE', #8939 ) ;
#2097 = ORIENTED_EDGE ( 'NONE', *, *, #2098, .F. ) ;
#2098 = EDGE_CURVE ( 'NONE', #2106, #1980, #8941, .T. ) ;
#2099 = ORIENTED_EDGE ( 'NONE', *, *, #2163, .T. ) ;
#2100 = ORIENTED_EDGE ( 'NONE', *, *, #2108, .F. ) ;
#2101 = ORIENTED_EDGE ( 'NONE', *, *, #2146, .F. ) ;
#2102 = EDGE_CURVE ( 'NONE', #2103, #2112, #8972, .T. ) ;
#2103 = VERTEX_POINT ( 'NONE', #8968 ) ;
#2104 = EDGE_CURVE ( 'NONE', #2112, #2164, #8967, .T. ) ;
#2105 = ORIENTED_EDGE ( 'NONE', *, *, #2102, .F. ) ;
#2106 = VERTEX_POINT ( 'NONE', #8963 ) ;
#2107 = ORIENTED_EDGE ( 'NONE', *, *, #2108, .T. ) ;
#2108 = EDGE_CURVE ( 'NONE', #2106, #2123, #8962, .T. ) ;
#2109 = ADVANCED_FACE ( 'NONE', ( #8958 ), #8956, .F. ) ;
#2110 = EDGE_LOOP ( 'NONE', ( #2099, #2100, #2101, #2151 ) ) ;
#2111 = ORIENTED_EDGE ( 'NONE', *, *, #2104, .F. ) ;
#2112 = VERTEX_POINT ( 'NONE', #9021 ) ;
#2113 = ORIENTED_EDGE ( 'NONE', *, *, #2163, .F. ) ;
#2114 = ORIENTED_EDGE ( 'NONE', *, *, #2073, .F. ) ;
#2115 = ORIENTED_EDGE ( 'NONE', *, *, #2120, .F. ) ;
#2116 = ORIENTED_EDGE ( 'NONE', *, *, #2069, .T. ) ;
#2117 = EDGE_LOOP ( 'NONE', ( #2114, #2115, #2116, #2169 ) ) ;
#2118 = EDGE_CURVE ( 'NONE', #2059, #2103, #9020, .T. ) ;
#2119 = ORIENTED_EDGE ( 'NONE', *, *, #2120, .T. ) ;
#2120 = EDGE_CURVE ( 'NONE', #2089, #2088, #9016, .T. ) ;
#2121 = ORIENTED_EDGE ( 'NONE', *, *, #2060, .T. ) ;
#2122 = EDGE_CURVE ( 'NONE', #2123, #2132, #9011, .T. ) ;
#2123 = VERTEX_POINT ( 'NONE', #9007 ) ;
#2124 = ORIENTED_EDGE ( 'NONE', *, *, #840, .F. ) ;
#2125 = EDGE_LOOP ( 'NONE', ( #2130, #2054, #2121, #2126 ) ) ;
#2126 = ORIENTED_EDGE ( 'NONE', *, *, #2133, .T. ) ;
#2127 = EDGE_LOOP ( 'NONE', ( #2055, #2057, #2113, #2111, #2105, #2165 ) ) ;
#2128 = ORIENTED_EDGE ( 'NONE', *, *, #2060, .F. ) ;
#2129 = EDGE_LOOP ( 'NONE', ( #2058, #2124 ) ) ;
#2130 = ORIENTED_EDGE ( 'NONE', *, *, #2075, .F. ) ;
#2131 = EDGE_CURVE ( 'NONE', #2068, #2067, #9006, .T. ) ;
#2132 = VERTEX_POINT ( 'NONE', #9001 ) ;
#2133 = EDGE_CURVE ( 'NONE', #2076, #2072, #9000, .T. ) ;
#2134 = ADVANCED_FACE ( 'NONE', ( #8995, #8994 ), #8992, .F. ) ;
#2135 = ADVANCED_FACE ( 'NONE', ( #8993 ), #9048, .T. ) ;
#2136 = EDGE_CURVE ( 'NONE', #841, #868, #9044, .T. ) ;
#2137 = EDGE_CURVE ( 'NONE', #2082, #2158, #9040, .T. ) ;
#2138 = ORIENTED_EDGE ( 'NONE', *, *, #2142, .T. ) ;
#2139 = EDGE_LOOP ( 'NONE', ( #2207, #2145, #2143, #2205 ) ) ;
#2140 = ADVANCED_FACE ( 'NONE', ( #9036 ), #9035, .F. ) ;
#2141 = ORIENTED_EDGE ( 'NONE', *, *, #2137, .F. ) ;
#2142 = EDGE_CURVE ( 'NONE', #2082, #2103, #9030, .T. ) ;
#2143 = ORIENTED_EDGE ( 'NONE', *, *, #2144, .F. ) ;
#2144 = EDGE_CURVE ( 'NONE', #2081, #2082, #9025, .T. ) ;
#2145 = ORIENTED_EDGE ( 'NONE', *, *, #2142, .F. ) ;
#2146 = EDGE_CURVE ( 'NONE', #2147, #2106, #9026, .T. ) ;
#2147 = VERTEX_POINT ( 'NONE', #9082 ) ;
#2148 = ORIENTED_EDGE ( 'NONE', *, *, #2149, .T. ) ;
#2149 = EDGE_CURVE ( 'NONE', #2158, #2112, #9081, .T. ) ;
#2150 = ORIENTED_EDGE ( 'NONE', *, *, #2149, .F. ) ;
#2151 = ORIENTED_EDGE ( 'NONE', *, *, #2155, .T. ) ;
#2152 = ADVANCED_FACE ( 'NONE', ( #9077 ), #9076, .F. ) ;
#2153 = EDGE_LOOP ( 'NONE', ( #2162, #2150, #2141, #2138 ) ) ;
#2154 = ADVANCED_FACE ( 'NONE', ( #9071 ), #9070, .F. ) ;
#2155 = EDGE_CURVE ( 'NONE', #2147, #2164, #9065, .T. ) ;
#2156 = EDGE_LOOP ( 'NONE', ( #2159, #2160, #2161, #2148 ) ) ;
#2157 = EDGE_CURVE ( 'NONE', #2158, #2147, #9061, .T. ) ;
#2158 = VERTEX_POINT ( 'NONE', #9057 ) ;
#2159 = ORIENTED_EDGE ( 'NONE', *, *, #2104, .T. ) ;
#2160 = ORIENTED_EDGE ( 'NONE', *, *, #2155, .F. ) ;
#2161 = ORIENTED_EDGE ( 'NONE', *, *, #2157, .F. ) ;
#2162 = ORIENTED_EDGE ( 'NONE', *, *, #2102, .T. ) ;
#2163 = EDGE_CURVE ( 'NONE', #2164, #2123, #9056, .T. ) ;
#2164 = VERTEX_POINT ( 'NONE', #9118 ) ;
#2165 = ORIENTED_EDGE ( 'NONE', *, *, #2118, .F. ) ;
#2166 = EDGE_LOOP ( 'NONE', ( #2119, #2167 ) ) ;
#2167 = ORIENTED_EDGE ( 'NONE', *, *, #2080, .T. ) ;
#2168 = ADVANCED_FACE ( 'NONE', ( #9117 ), #9114, .T. ) ;
#2169 = ORIENTED_EDGE ( 'NONE', *, *, #2133, .F. ) ;
#2170 = ADVANCED_FACE ( 'NONE', ( #9115 ), #9110, .F. ) ;
#2171 = EDGE_LOOP ( 'NONE', ( #2172, #2173, #2097, #2107 ) ) ;
#2172 = ORIENTED_EDGE ( 'NONE', *, *, #2122, .T. ) ;
#2173 = ORIENTED_EDGE ( 'NONE', *, *, #2174, .F. ) ;
#2174 = EDGE_CURVE ( 'NONE', #1980, #2132, #9105, .T. ) ;
#2175 = EDGE_LOOP ( 'NONE', ( #2247, #2285, #2229, #2226 ) ) ;
#2176 = ORIENTED_EDGE ( 'NONE', *, *, #2177, .T. ) ;
#2177 = EDGE_CURVE ( 'NONE', #2158, #2147, #9101, .T. ) ;
#2178 = ADVANCED_FACE ( 'NONE', ( #9096 ), #9095, .T. ) ;
#2179 = ORIENTED_EDGE ( 'NONE', *, *, #1976, .F. ) ;
#2180 = ADVANCED_FACE ( 'NONE', ( #9090 ), #9089, .F. ) ;
#2181 = EDGE_CURVE ( 'NONE', #2147, #2106, #9088, .T. ) ;
#2182 = ORIENTED_EDGE ( 'NONE', *, *, #2144, .T. ) ;
#2183 = ADVANCED_FACE ( 'NONE', ( #9144 ), #9143, .T. ) ;
#2184 = ADVANCED_FACE ( 'NONE', ( #9138 ), #9137, .T. ) ;
#2185 = EDGE_LOOP ( 'NONE', ( #2199, #2200, #1921 ) ) ;
#2186 = ORIENTED_EDGE ( 'NONE', *, *, #2085, .F. ) ;
#2187 = ORIENTED_EDGE ( 'NONE', *, *, #2083, .F. ) ;
#2188 = EDGE_LOOP ( 'NONE', ( #2182, #2186 ) ) ;
#2189 = ORIENTED_EDGE ( 'NONE', *, *, #2201, .T. ) ;
#2190 = ADVANCED_FACE ( 'NONE', ( #9132 ), #9131, .T. ) ;
#2191 = EDGE_LOOP ( 'NONE', ( #2192, #2193, #2195 ) ) ;
#2192 = ORIENTED_EDGE ( 'NONE', *, *, #2098, .T. ) ;
#2193 = ORIENTED_EDGE ( 'NONE', *, *, #1979, .F. ) ;
#2194 = EDGE_CURVE ( 'NONE', #1974, #2158, #9126, .T. ) ;
#2195 = ORIENTED_EDGE ( 'NONE', *, *, #2196, .F. ) ;
#2196 = EDGE_CURVE ( 'NONE', #2106, #1977, #9121, .T. ) ;
#2197 = EDGE_LOOP ( 'NONE', ( #2189, #2187 ) ) ;
#2198 = ADVANCED_FACE ( 'NONE', ( #9181 ), #9180, .T. ) ;
#2199 = ORIENTED_EDGE ( 'NONE', *, *, #2137, .T. ) ;
#2200 = ORIENTED_EDGE ( 'NONE', *, *, #2194, .F. ) ;
#2201 = EDGE_CURVE ( 'NONE', #1980, #2081, #9175, .T. ) ;
#2202 = ORIENTED_EDGE ( 'NONE', *, *, #2174, .T. ) ;
#2203 = ORIENTED_EDGE ( 'NONE', *, *, #2201, .F. ) ;
#2204 = ORIENTED_EDGE ( 'NONE', *, *, #2206, .F. ) ;
#2205 = ORIENTED_EDGE ( 'NONE', *, *, #2206, .T. ) ;
#2206 = EDGE_CURVE ( 'NONE', #2081, #2059, #9171, .T. ) ;
#2207 = ORIENTED_EDGE ( 'NONE', *, *, #2118, .T. ) ;
#2208 = ORIENTED_EDGE ( 'NONE', *, *, #2056, .T. ) ;
#2209 = ADVANCED_FACE ( 'NONE', ( #9167 ), #9166, .F. ) ;
#2210 = EDGE_LOOP ( 'NONE', ( #2208, #2204, #2203, #2202 ) ) ;
#2211 = ORIENTED_EDGE ( 'NONE', *, *, #2051, .T. ) ;
#2212 = EDGE_CURVE ( 'NONE', #2278, #2279, #9161, .T. ) ;
#2213 = ORIENTED_EDGE ( 'NONE', *, *, #2214, .T. ) ;
#2214 = EDGE_CURVE ( 'NONE', #2049, #2216, #9156, .T. ) ;
#2215 = EDGE_CURVE ( 'NONE', #2279, #2216, #9151, .T. ) ;
#2216 = VERTEX_POINT ( 'NONE', #9209 ) ;
#2217 = ORIENTED_EDGE ( 'NONE', *, *, #2215, .F. ) ;
#2218 = ORIENTED_EDGE ( 'NONE', *, *, #2223, .T. ) ;
#2219 = ORIENTED_EDGE ( 'NONE', *, *, #2215, .T. ) ;
#2220 = ADVANCED_FACE ( 'NONE', ( #9208 ), #9207, .F. ) ;
#2221 = EDGE_LOOP ( 'NONE', ( #2288, #2287, #2219, #2218, #2224 ) ) ;
#2222 = ORIENTED_EDGE ( 'NONE', *, *, #2212, .F. ) ;
#2223 = EDGE_CURVE ( 'NONE', #2216, #2045, #9202, .T. ) ;
#2224 = ORIENTED_EDGE ( 'NONE', *, *, #2015, .F. ) ;
#2225 = EDGE_CURVE ( 'NONE', #2230, #1987, #9201, .T. ) ;
#2226 = ORIENTED_EDGE ( 'NONE', *, *, #2225, .T. ) ;
#2227 = EDGE_LOOP ( 'NONE', ( #2232, #2231, #2211, #2213, #2217, #2222 ) ) ;
#2228 = EDGE_CURVE ( 'NONE', #2279, #2230, #9188, .T. ) ;
#2229 = ORIENTED_EDGE ( 'NONE', *, *, #2228, .T. ) ;
#2230 = VERTEX_POINT ( 'NONE', #9184 ) ;
#2231 = ORIENTED_EDGE ( 'NONE', *, *, #2023, .T. ) ;
#2232 = ORIENTED_EDGE ( 'NONE', *, *, #2233, .T. ) ;
#2233 = EDGE_CURVE ( 'NONE', #2278, #2024, #9246, .T. ) ;
#2234 = ADVANCED_FACE ( 'NONE', ( #9242 ), #9241, .T. ) ;
#2235 = ORIENTED_EDGE ( 'NONE', *, *, #2181, .T. ) ;
#2236 = ORIENTED_EDGE ( 'NONE', *, *, #2196, .T. ) ;
#2237 = ADVANCED_FACE ( 'NONE', ( #9236 ), #9235, .T. ) ;
#2238 = ORIENTED_EDGE ( 'NONE', *, *, #2194, .T. ) ;
#2239 = ORIENTED_EDGE ( 'NONE', *, *, #2146, .T. ) ;
#2240 = ORIENTED_EDGE ( 'NONE', *, *, #2181, .F. ) ;
#2241 = EDGE_LOOP ( 'NONE', ( #2179, #2243, #2238, #2176, #2235, #2236 ) ) ;
#2242 = EDGE_LOOP ( 'NONE', ( #2244, #2245 ) ) ;
#2243 = ORIENTED_EDGE ( 'NONE', *, *, #1972, .T. ) ;
#2244 = ORIENTED_EDGE ( 'NONE', *, *, #2157, .T. ) ;
#2245 = ORIENTED_EDGE ( 'NONE', *, *, #2177, .F. ) ;
#2246 = EDGE_LOOP ( 'NONE', ( #2239, #2240 ) ) ;
#2247 = ORIENTED_EDGE ( 'NONE', *, *, #2248, .T. ) ;
#2248 = EDGE_CURVE ( 'NONE', #1987, #2278, #9230, .T. ) ;
#2249 = ADVANCED_FACE ( 'NONE', ( #9226 ), #9225, .F. ) ;
#2250 = ORIENTED_EDGE ( 'NONE', *, *, #1950, .F. ) ;
#2251 = ORIENTED_EDGE ( 'NONE', *, *, #1992, .T. ) ;
#2252 = ORIENTED_EDGE ( 'NONE', *, *, #2260, .F. ) ;
#2253 = ORIENTED_EDGE ( 'NONE', *, *, #2034, .F. ) ;
#2254 = ORIENTED_EDGE ( 'NONE', *, *, #2031, .T. ) ;
#2255 = ORIENTED_EDGE ( 'NONE', *, *, #2037, .T. ) ;
#2256 = ORIENTED_EDGE ( 'NONE', *, *, #1984, .F. ) ;
#2257 = ORIENTED_EDGE ( 'NONE', *, *, #2286, .T. ) ;
#2258 = ORIENTED_EDGE ( 'NONE', *, *, #2095, .F. ) ;
#2259 = ADVANCED_FACE ( 'NONE', ( #9220, #9219 ), #9218, .T. ) ;
#2260 = EDGE_CURVE ( 'NONE', #2035, #1985, #9213, .T. ) ;
#2261 = EDGE_LOOP ( 'NONE', ( #2315, #2251 ) ) ;
#2262 = ORIENTED_EDGE ( 'NONE', *, *, #2260, .T. ) ;
#2263 = ADVANCED_FACE ( 'NONE', ( #9278 ), #9277, .F. ) ;
#2264 = ORIENTED_EDGE ( 'NONE', *, *, #2092, .F. ) ;
#2265 = ORIENTED_EDGE ( 'NONE', *, *, #2281, .T. ) ;
#2266 = ORIENTED_EDGE ( 'NONE', *, *, #2048, .F. ) ;
#2267 = ORIENTED_EDGE ( 'NONE', *, *, #1982, .F. ) ;
#2268 = ADVANCED_FACE ( 'NONE', ( #9272 ), #9271, .T. ) ;
#2269 = EDGE_LOOP ( 'NONE', ( #2266, #2267, #2274, #2272 ) ) ;
#2270 = ORIENTED_EDGE ( 'NONE', *, *, #2233, .F. ) ;
#2271 = ADVANCED_FACE ( 'NONE', ( #9266 ), #9265, .T. ) ;
#2272 = ORIENTED_EDGE ( 'NONE', *, *, #2214, .F. ) ;
#2273 = EDGE_LOOP ( 'NONE', ( #2256, #2254, #2255, #2262 ) ) ;
#2274 = ORIENTED_EDGE ( 'NONE', *, *, #2223, .F. ) ;
#2275 = ORIENTED_EDGE ( 'NONE', *, *, #2248, .F. ) ;
#2276 = ORIENTED_EDGE ( 'NONE', *, *, #2026, .T. ) ;
#2277 = EDGE_LOOP ( 'NONE', ( #2276, #2270, #2275, #2265, #2264 ) ) ;
#2278 = VERTEX_POINT ( 'NONE', #9260 ) ;
#2279 = VERTEX_POINT ( 'NONE', #9259 ) ;
#2280 = ORIENTED_EDGE ( 'NONE', *, *, #2225, .F. ) ;
#2281 = EDGE_CURVE ( 'NONE', #1987, #2093, #9258, .T. ) ;
#2282 = ORIENTED_EDGE ( 'NONE', *, *, #2281, .F. ) ;
#2283 = ADVANCED_FACE ( 'NONE', ( #9254 ), #9253, .F. ) ;
#2284 = EDGE_LOOP ( 'NONE', ( #2282, #2280, #2257, #2258 ) ) ;
#2285 = ORIENTED_EDGE ( 'NONE', *, *, #2212, .T. ) ;
#2286 = EDGE_CURVE ( 'NONE', #2230, #2096, #9248, .T. ) ;
#2287 = ORIENTED_EDGE ( 'NONE', *, *, #2228, .F. ) ;
#2288 = ORIENTED_EDGE ( 'NONE', *, *, #2286, .F. ) ;
#2289 = EDGE_LOOP ( 'NONE', ( #2330, #2332, #2335, #2338, #2341 ) ) ;
#2290 = ORIENTED_EDGE ( 'NONE', *, *, #2301, .T. ) ;
#2291 = VERTEX_POINT ( 'NONE', #9308 ) ;
#2292 = ORIENTED_EDGE ( 'NONE', *, *, #2314, .T. ) ;
#2293 = EDGE_CURVE ( 'NONE', #2295, #2291, #9307, .T. ) ;
#2294 = ORIENTED_EDGE ( 'NONE', *, *, #2293, .T. ) ;
#2295 = VERTEX_POINT ( 'NONE', #9302 ) ;
#2296 = ADVANCED_FACE ( 'NONE', ( #9301 ), #9298, .T. ) ;
#2297 = ORIENTED_EDGE ( 'NONE', *, *, #2298, .F. ) ;
#2298 = EDGE_CURVE ( 'NONE', #2528, #2569, #9299, .T. ) ;
#2299 = EDGE_CURVE ( 'NONE', #2570, #2569, #9291, .T. ) ;
#2300 = EDGE_LOOP ( 'NONE', ( #2294, #2292, #2313, #2312 ) ) ;
#2301 = EDGE_CURVE ( 'NONE', #2529, #2570, #9286, .T. ) ;
#2302 = ORIENTED_EDGE ( 'NONE', *, *, #2305, .T. ) ;
#2303 = VERTEX_POINT ( 'NONE', #9282 ) ;
#2304 = ADVANCED_FACE ( 'NONE', ( #9281 ), #9280, .T. ) ;
#2305 = EDGE_CURVE ( 'NONE', #2303, #2307, #9340, .T. ) ;
#2306 = ORIENTED_EDGE ( 'NONE', *, *, #2299, .T. ) ;
#2307 = VERTEX_POINT ( 'NONE', #9332 ) ;
#2308 = ORIENTED_EDGE ( 'NONE', *, *, #1911, .T. ) ;
#2309 = EDGE_CURVE ( 'NONE', #2295, #2582, #9331, .T. ) ;
#2310 = EDGE_LOOP ( 'NONE', ( #2302, #2308, #1907, #1914 ) ) ;
#2311 = EDGE_CURVE ( 'NONE', #2531, #2582, #9327, .T. ) ;
#2312 = ORIENTED_EDGE ( 'NONE', *, *, #2309, .F. ) ;
#2313 = ORIENTED_EDGE ( 'NONE', *, *, #2311, .T. ) ;
#2314 = EDGE_CURVE ( 'NONE', #2291, #2531, #9322, .T. ) ;
#2315 = ORIENTED_EDGE ( 'NONE', *, *, #2321, .T. ) ;
#2316 = ORIENTED_EDGE ( 'NONE', *, *, #2321, .F. ) ;
#2317 = EDGE_LOOP ( 'NONE', ( #2252, #2253 ) ) ;
#2318 = ORIENTED_EDGE ( 'NONE', *, *, #1996, .F. ) ;
#2319 = ADVANCED_FACE ( 'NONE', ( #9318 ), #9317, .T. ) ;
#2320 = EDGE_LOOP ( 'NONE', ( #2318, #2316, #2323, #2326 ) ) ;
#2321 = EDGE_CURVE ( 'NONE', #1994, #1991, #9312, .T. ) ;
#2322 = ADVANCED_FACE ( 'NONE', ( #9368 ), #9367, .T. ) ;
#2323 = ORIENTED_EDGE ( 'NONE', *, *, #2046, .T. ) ;
#2324 = ORIENTED_EDGE ( 'NONE', *, *, #2325, .T. ) ;
#2325 = EDGE_CURVE ( 'NONE', #1948, #1944, #9361, .T. ) ;
#2326 = ORIENTED_EDGE ( 'NONE', *, *, #2325, .F. ) ;
#2327 = EDGE_LOOP ( 'NONE', ( #2250, #2324, #1919, #2663 ) ) ;
#2328 = VERTEX_POINT ( 'NONE', #9357 ) ;
#2329 = ADVANCED_FACE ( 'NONE', ( #9356 ), #9354, .F. ) ;
#2330 = ORIENTED_EDGE ( 'NONE', *, *, #2331, .T. ) ;
#2331 = EDGE_CURVE ( 'NONE', #1319, #1318, #9350, .T. ) ;
#2332 = ORIENTED_EDGE ( 'NONE', *, *, #2333, .T. ) ;
#2333 = EDGE_CURVE ( 'NONE', #1318, #2334, #9345, .T. ) ;
#2334 = VERTEX_POINT ( 'NONE', #9341 ) ;
#2335 = ORIENTED_EDGE ( 'NONE', *, *, #2336, .F. ) ;
#2336 = EDGE_CURVE ( 'NONE', #2337, #2334, #9405, .T. ) ;
#2337 = VERTEX_POINT ( 'NONE', #9400 ) ;
#2338 = ORIENTED_EDGE ( 'NONE', *, *, #2339, .F. ) ;
#2339 = EDGE_CURVE ( 'NONE', #2340, #2337, #9399, .T. ) ;
#2340 = VERTEX_POINT ( 'NONE', #9394 ) ;
#2341 = ORIENTED_EDGE ( 'NONE', *, *, #2437, .F. ) ;
#2342 = EDGE_CURVE ( 'NONE', #1405, #1573, #9393, .T. ) ;
#2343 = ADVANCED_FACE ( 'NONE', ( #9389 ), #9388, .F. ) ;
#2344 = EDGE_LOOP ( 'NONE', ( #2358, #2360, #2363, #2366, #2369 ) ) ;
#2345 = ORIENTED_EDGE ( 'NONE', *, *, #2346, .F. ) ;
#2346 = EDGE_CURVE ( 'NONE', #2430, #2436, #9383, .T. ) ;
#2347 = ADVANCED_FACE ( 'NONE', ( #9379 ), #9377, .F. ) ;
#2348 = EDGE_LOOP ( 'NONE', ( #2349, #2353, #2356, #2399 ) ) ;
#2349 = ORIENTED_EDGE ( 'NONE', *, *, #2350, .F. ) ;
#2350 = EDGE_CURVE ( 'NONE', #2351, #2352, #9372, .T. ) ;
#2351 = VERTEX_POINT ( 'NONE', #9433 ) ;
#2352 = VERTEX_POINT ( 'NONE', #9432 ) ;
#2353 = ORIENTED_EDGE ( 'NONE', *, *, #2354, .T. ) ;
#2354 = EDGE_CURVE ( 'NONE', #2351, #2355, #9431, .T. ) ;
#2355 = VERTEX_POINT ( 'NONE', #9427 ) ;
#2356 = ORIENTED_EDGE ( 'NONE', *, *, #2398, .T. ) ;
#2357 = VERTEX_POINT ( 'NONE', #9426 ) ;
#2358 = ORIENTED_EDGE ( 'NONE', *, *, #2359, .F. ) ;
#2359 = EDGE_CURVE ( 'NONE', #1368, #1367, #9424, .T. ) ;
#2360 = ORIENTED_EDGE ( 'NONE', *, *, #2361, .T. ) ;
#2361 = EDGE_CURVE ( 'NONE', #1368, #2362, #9425, .T. ) ;
#2362 = VERTEX_POINT ( 'NONE', #9416 ) ;
#2363 = ORIENTED_EDGE ( 'NONE', *, *, #2364, .F. ) ;
#2364 = EDGE_CURVE ( 'NONE', #2365, #2362, #9415, .T. ) ;
#2365 = VERTEX_POINT ( 'NONE', #9410 ) ;
#2366 = ORIENTED_EDGE ( 'NONE', *, *, #2367, .F. ) ;
#2367 = EDGE_CURVE ( 'NONE', #2368, #2365, #9409, .T. ) ;
#2368 = VERTEX_POINT ( 'NONE', #9465 ) ;
#2369 = ORIENTED_EDGE ( 'NONE', *, *, #2370, .F. ) ;
#2370 = EDGE_CURVE ( 'NONE', #1367, #2368, #9464, .T. ) ;
#2371 = ADVANCED_FACE ( 'NONE', ( #9460 ), #9458, .F. ) ;
#2372 = EDGE_LOOP ( 'NONE', ( #2373, #2377, #2380, #2383 ) ) ;
#2373 = ORIENTED_EDGE ( 'NONE', *, *, #2374, .F. ) ;
#2374 = EDGE_CURVE ( 'NONE', #2375, #2376, #9453, .T. ) ;
#2375 = VERTEX_POINT ( 'NONE', #9449 ) ;
#2376 = VERTEX_POINT ( 'NONE', #9448 ) ;
#2377 = ORIENTED_EDGE ( 'NONE', *, *, #2378, .T. ) ;
#2378 = EDGE_CURVE ( 'NONE', #2375, #2379, #9447, .T. ) ;
#2379 = VERTEX_POINT ( 'NONE', #9443 ) ;
#2380 = ORIENTED_EDGE ( 'NONE', *, *, #2381, .T. ) ;
#2381 = EDGE_CURVE ( 'NONE', #2379, #2382, #9442,